Question: 'Let b = -4.98 - 0.02. Let c = -129 + 128. Let i = -1 + 0.9. What is the second smallest value in c, i, b?\n'

Answer: 'c\n'


Question: 'Let f = 82 + -81.5. What is the third smallest value in 0, 6/7, f?\n'

Answer: '6/7\n'


Question: 'Let t be ((-36)/9)/20*(-20)/12. Which is the third biggest value?  (a) 2  (b) -1/16  (c) t  (d) 1/4\n'

Answer: 'd\n'


Question: 'Let a = -3/1996 + -250489/5988. Let i = a - -71/2. Let h = 7 + i. What is the third biggest value in h, 0.3, 0.2?\n'

Answer: '0.2\n'


Question: 'Let t = -14 + 29/2. Let s = -26 + 26.4. Which is the smallest value?  (a) s  (b) 0.2  (c) t\n'

Answer: 'b\n'


Question: 'Let s = -0.18 + -0.02. Let t be 4/34 + 201/(-408). Let b = -0.3 - -0.6. What is the smallest value in t, b, s?\n'

Answer: 't\n'


Question: 'Let p = 4 - -86. Let b be (-4)/(-10) - 171/p. What is the smallest value in 1, b, -2/15, 0.2?\n'

Answer: 'b\n'


Question: 'Let o be (6/24)/(9/(-12)). Let s be (3/(-42))/((-2)/(-8)). What is the biggest value in o, -28, s?\n'

Answer: 's\n'


Question: 'Suppose 0 = y - 2*n - 2, 4*n + 10 = 5*y + 6*n. What is the smallest value in 3, y, -4?\n'

Answer: '-4\n'


Question: 'Let p be 6/(-9) + 8/(-54)*-3. Let l = -163 - -493/3. Let j = -0.03 + 1.03. What is the biggest value in p, j, l?\n'

Answer: 'l\n'


Question: 'Let f = 168.9 + -169. Which is the fourth biggest value?  (a) -0.3  (b) 6  (c) -3  (d) f\n'

Answer: 'c\n'


Question: 'Let a = -0.11937 - 6.88063. Let z = -7 - -4. What is the biggest value in 4, z, -5, a?\n'

Answer: '4\n'


Question: 'Suppose 4*v = -4*w + 12, 5*w + v + 20 = 3*v. Let x be 7/(441/(-12))*(-3)/w. Which is the third biggest value?  (a) 1  (b) x  (c) -3\n'

Answer: 'c\n'


Question: 'Suppose -3*f = -4*j + 1, -5 = 5*f + 2*j + 14. Which is the third biggest value?  (a) f  (b) -0.1  (c) 6\n'

Answer: 'a\n'


Question: 'Let n = -1270.2 - -1270. What is the third smallest value in n, -2/9, -3/4, 191?\n'

Answer: 'n\n'


Question: 'Let y = 579 + -2321/4. What is the third biggest value in y, 0.04, 1/3?\n'

Answer: 'y\n'


Question: 'Let l(z) = 5*z + 7. Let r be l(12). Let h = -135/2 + r. Which is the third smallest value?  (a) h  (b) 2/5  (c) 3  (d) 5\n'

Answer: 'c\n'


Question: 'Let p = 6 - 3. Which is the smallest value?  (a) -5/4  (b) 4  (c) 0  (d) p\n'

Answer: 'a\n'


Question: 'Let h = 853 - 853. Which is the second biggest value?  (a) -2/5  (b) h  (c) -9.4\n'

Answer: 'a\n'


Question: 'Let u be (-1 - -9) + (-1098)/135. Let s = -12 + 17. Suppose -k - 14 = -4*z, -4*z - k + 22 = 4. Which is the smallest value?  (a) s  (b) z  (c) u\n'

Answer: 'c\n'


Question: 'Let o = 127 - 509/4. Which is the second biggest value?  (a) o  (b) 2/3  (c) -1/8\n'

Answer: 'c\n'


Question: 'Let a be ((-8)/10)/(-9 - (-23)/5). What is the smallest value in -0.2, 0.6, a, -0.3?\n'

Answer: '-0.3\n'


Question: 'Suppose 0 = -37*j - 11*j + 48. What is the third smallest value in j, -34, 0.4, -1?\n'

Answer: '0.4\n'


Question: 'Suppose -16*x + 14*x - 20 = -4*n, 2*x = 0. Let h be (-1)/(-2 - 2*4). Which is the fourth smallest value?  (a) 1/15  (b) 2/17  (c) n  (d) h\n'

Answer: 'c\n'


Question: 'Let l be 0/(-8) + (-1 - (-727)/5). Let i = l - 145. Which is the biggest value?  (a) 3  (b) i  (c) -2\n'

Answer: 'a\n'


Question: 'Let n = 0.3 - 0.1. Let p = -49706621/68592540 + -4/217065. Let t = -2/79 + p. Which is the second smallest value?  (a) 2  (b) n  (c) t\n'

Answer: 'b\n'


Question: 'Let p(l) = l - 3. Let g be p(1). Let v be (-2*(-2)/(-24))/(1/g). Let n be ((-12)/165)/(2/5). Which is the second smallest value?  (a) v  (b) 1/9  (c) n\n'

Answer: 'b\n'


Question: 'Let j(b) = 229*b - 2290. Let g be j(10). Let l = -2 - -1. What is the third smallest value in g, l, -0.5?\n'

Answer: 'g\n'


Question: 'Let p = -23/15 + 11/15. Let j be (-4 + 2)/(1 + 1). Which is the smallest value?  (a) 0  (b) -0.4  (c) j  (d) p\n'

Answer: 'c\n'


Question: 'Let z = -11 + 9. Let g = -5 + 9. Which is the third smallest value?  (a) 0.4  (b) g  (c) z\n'

Answer: 'b\n'


Question: 'Suppose 31*d + 33 = 188. Suppose 0 = -5*f - 5, -4*f + 1 = -2*w - 1. Let p = 2 - 7. What is the smallest value in d, p, w?\n'

Answer: 'p\n'


Question: 'Let d = 198.5 + -198. Which is the second smallest value?  (a) d  (b) -21  (c) -0.5\n'

Answer: 'c\n'


Question: 'Let p = -14 + 18. Let q = p - 2. What is the third smallest value in -3/2, q, -6?\n'

Answer: 'q\n'


Question: 'Let c = 2 - 2.01. What is the second biggest value in 0, c, -0.2, -1?\n'

Answer: 'c\n'


Question: 'Let k = 0.63 + -0.53. What is the smallest value in -48, 3, 0.3, k?\n'

Answer: '-48\n'


Question: 'Let g = -3 - 0. Suppose 0 = -11*h + 12*h + 5. Let z be 10/7*6/(-15). Which is the second smallest value?  (a) z  (b) g  (c) h\n'

Answer: 'b\n'


Question: 'Let q = 0.02 - 0.12. Let u(i) = -4*i + 24. Let w be u(13). Let z = w - -30. What is the biggest value in 4, q, z?\n'

Answer: '4\n'


Question: 'Let p = 295 - 294.6. What is the biggest value in 4, 2/7, 0.5, p?\n'

Answer: '4\n'


Question: 'Let o = 0.021 + -2.321. Let i = -2.4 - o. Let b be (-4)/10*(-10)/(-6). What is the third biggest value in 5, i, b?\n'

Answer: 'b\n'


Question: 'Let g = -0.294 + 0.164. What is the second biggest value in g, 3, 5, 2/21?\n'

Answer: '3\n'


Question: 'Let m = -85/4 - -417/20. Which is the second biggest value?  (a) -0.05  (b) m  (c) 2  (d) -2\n'

Answer: 'a\n'


Question: 'Let x = -429/862 - 1/431. Which is the third biggest value?  (a) 1/13  (b) x  (c) -0.3\n'

Answer: 'b\n'


Question: 'Let k = -2716/55 - -246/5. Which is the third smallest value?  (a) -31  (b) k  (c) -2\n'

Answer: 'b\n'


Question: 'Suppose 25 = 5*z + 6*b - 3*b, -2*b + 6 = -2*z. What is the third smallest value in -0.5, -2/5, z, 1?\n'

Answer: '1\n'


Question: 'Let d = 7 - 12. Let y = 34 + -44. Let h = y + 14. What is the second biggest value in -2/21, h, d?\n'

Answer: '-2/21\n'


Question: 'Let s = 0.016 - 0.516. Let d(r) be the second derivative of -r**3/6 + r**2/2 + 2*r. Let m be d(3). Which is the third biggest value?  (a) -4  (b) s  (c) m\n'

Answer: 'a\n'


Question: 'Let b = 6 + -4.6. Let i = -1.7 + b. Let r = -4.1 - -2.1. What is the biggest value in i, 1, r?\n'

Answer: '1\n'


Question: 'Suppose 3*n = -g - 9, -4 = -g - 3*g - 4*n. Suppose g*z - 7*z + 4 = 0. Let q = -73/21 + 22/7. What is the biggest value in 0.2, z, q?\n'

Answer: 'z\n'


Question: 'Let x be (0 - -2) + -19 + 9. Let d = -12 - x. What is the third smallest value in 2, d, 1?\n'

Answer: '2\n'


Question: 'Let d = -6.1 + 2.6. Let r = 20.5 + d. Let y = 13 - r. Which is the third smallest value?  (a) -1  (b) 1/3  (c) y\n'

Answer: 'b\n'


Question: 'Suppose 0*k = 14*k - 28. Suppose k*x - 2 = -0*x. Which is the third biggest value?  (a) 2/9  (b) -2/7  (c) -0.2  (d) x\n'

Answer: 'c\n'


Question: 'Let x = 0.04 - -0.36. Let y = 58 - 57.543. Let j = 0.057 - y. Which is the third smallest value?  (a) j  (b) 2/3  (c) x\n'

Answer: 'b\n'


Question: 'Let q = -746 - -745.661. Let l = 0.061 - q. What is the biggest value in 6, 0.5, l?\n'

Answer: '6\n'


Question: 'Let j = 1.2 - 1.6. Let b = -23.962 + -0.038. Let x = 29 + b. What is the second smallest value in x, j, 2.6?\n'

Answer: '2.6\n'


Question: 'Let v(t) = -t**3 + 18*t**2 + 23*t - 72. Let k be v(19). Which is the biggest value?  (a) k  (b) 2/3  (c) 0  (d) -0.4\n'

Answer: 'a\n'


Question: 'Let a be 62/8 + (64 - 72). Let z = 0.08 - 4.08. What is the smallest value in 0, a, z, -1?\n'

Answer: 'z\n'


Question: 'Let y = -504 + 2512/5. Let q = -144.52 - -149. Let w = q + 0.52. Which is the second biggest value?  (a) y  (b) 2  (c) w\n'

Answer: 'b\n'


Question: 'Let t be (-56)/(-182) - (1 - -1 - 2). Which is the third biggest value?  (a) 4/7  (b) t  (c) 1/2  (d) -3\n'

Answer: 'b\n'


Question: 'Let g be (-8)/(-28) - 3931342/154. Let m = g - -25457. Let w = 71 + m. What is the biggest value in w, -1, 0.5?\n'

Answer: '0.5\n'


Question: 'Let f = 0.3 - 0.2. Let u = -13262 - -13261. Let s be 2/8*6*-2. Which is the third biggest value?  (a) s  (b) u  (c) f\n'

Answer: 'a\n'


Question: 'Suppose 9 = 3*z, g + 8*z - 15 = 4*z. Suppose 4*b = 2*b - 16. Let f = -6 - b. What is the biggest value in g, -1/6, f?\n'

Answer: 'g\n'


Question: 'Let w = -2448 + 2451. What is the second biggest value in w, -3, 2/67, -0.2?\n'

Answer: '2/67\n'


Question: 'Let n = 3.7 + 0.3. Let w(x) = 7*x**2 + 3*x - 3. Let o be w(1). Let v be (25/50)/(o/2). What is the third biggest value in n, v, -3?\n'

Answer: '-3\n'


Question: 'Let m = -0.9704 - 0.0296. Which is the third biggest value?  (a) -22  (b) m  (c) 1/9\n'

Answer: 'a\n'


Question: 'Let g be 14/84 - (-26)/(-12). Let s be (4/14)/(g/4). Suppose 0*y = 4*y - 32. What is the third smallest value in y, s, 0.5?\n'

Answer: 'y\n'


Question: 'Let k = -3.9107 - 0.0893. What is the third smallest value in 40, -3/5, k, 4?\n'

Answer: '4\n'


Question: 'Suppose -2*z + y = 6, 24 - 22 = -5*z - 4*y. What is the third biggest value in 13, -4, z?\n'

Answer: '-4\n'


Question: 'Let x be 1/2*(624/36 - 17). What is the third smallest value in 0.6, 4, x?\n'

Answer: '4\n'


Question: 'Let s be (7 + -5 - -12) + 2. Suppose -17*k - s = -21*k. What is the smallest value in -2/9, -4, 0.5, k?\n'

Answer: '-4\n'


Question: 'Let j be (-32)/(-112) + (-38)/(-14). Suppose -2*p + 1 = -j. Suppose -2 = -p*u + 8. Which is the smallest value?  (a) -6  (b) u  (c) 0.5\n'

Answer: 'a\n'


Question: 'Let s = 139 - 139.5. What is the fourth biggest value in s, -2/7, 1/2, -5?\n'

Answer: '-5\n'


Question: 'Let i = 0.354 + -0.054. Let z = -15 - -16. What is the second biggest value in 0.1, z, 2/9, i?\n'

Answer: 'i\n'


Question: 'Let t = 416 + -416.327. Let j = t + -0.073. Which is the second smallest value?  (a) 1/25  (b) 2/7  (c) j\n'

Answer: 'a\n'


Question: 'Let h = 4519/2 - 2261. Which is the biggest value?  (a) -5/6  (b) h  (c) 12\n'

Answer: 'c\n'


Question: 'Let b = 8 + -11. Let r = -14 + 14.9. Let y = r - 1.3. What is the third smallest value in b, y, 0.1?\n'

Answer: '0.1\n'


Question: 'Let y = -0.3 - -0.5. Let j = -39 - -38.67. Let b = 0.03 + j. What is the second smallest value in b, y, -1?\n'

Answer: 'b\n'


Question: 'Let i = -0.45 + 0.55. Suppose 4*m = 21 - 5. What is the fourth smallest value in m, -5, -0.4, i?\n'

Answer: 'm\n'


Question: 'Suppose -12 = -3*o + 3*q, -o + 2*o + 8 = -5*q. Which is the third biggest value?  (a) 2/7  (b) -1/3  (c) -0.5  (d) o\n'

Answer: 'b\n'


Question: 'Let z be 2/(-12) - 21/(-70). Which is the biggest value?  (a) -0.3  (b) -0.1  (c) z  (d) -5\n'

Answer: 'c\n'


Question: 'Let k = 1615.97 - 1605. Let i = -11 + k. Let c = 0.97 - i. What is the biggest value in c, 0.4, -0.4?\n'

Answer: 'c\n'


Question: 'Let h = 1548976745969/27802047735 - -724/8023679. Let d = h - 5226/77. Let u = d - -122/9. Which is the third smallest value?  (a) -1/9  (b) u  (c) 3\n'

Answer: 'c\n'


Question: 'Suppose 2*y = y + 4. Let w be 84/39 - y/26. Let z(i) = 2*i**3 - 2*i**2 - 3*i - 2. Let x be z(-1). What is the second biggest value in x, 0.4, w?\n'

Answer: '0.4\n'


Question: 'Let o = -2.1 + 1.1. Let r be 9/15*(-5)/(-15). What is the third biggest value in o, 1, 2, r?\n'

Answer: 'r\n'


Question: 'Let m be (2/5)/(6/10). Let u = -1178 + 1176. Which is the third biggest value?  (a) -0.04  (b) m  (c) u  (d) 2\n'

Answer: 'a\n'


Question: 'Suppose 0 = -21*t + 11 + 493. Suppose 12 = -t*c + 28*c. Let p be 1/((-4)/3*-3). What is the smallest value in c, -1/4, p?\n'

Answer: '-1/4\n'


Question: 'Let r = 63.36 + -63.3. What is the second smallest value in 5/2, 0.01, 1/3, r?\n'

Answer: 'r\n'


Question: 'Let h = -4.31 + 4. Which is the smallest value?  (a) -0.2  (b) 5  (c) h\n'

Answer: 'c\n'


Question: 'Let v be (-9 + (-639)/(-72))*-6*1. Let g = 5 + -4. Let n = 1 + g. Which is the second biggest value?  (a) v  (b) -0.4  (c) n\n'

Answer: 'a\n'


Question: 'Suppose -80 = 4*a - j, -2*a - 2*j + 6 - 56 = 0. What is the third smallest value in -1, 5, a?\n'

Answer: '5\n'


Question: 'Let u = -38.92 + 0.92. Let n = 34 + u. Which is the biggest value?  (a) -2/9  (b) 4  (c) n\n'

Answer: 'b\n'


Question: 'Let u = -101.8 - -79. Let f = -23 - u. Let v = 29 - 57/2. Which is the third smallest value?  (a) -0.1  (b) v  (c) f\n'

Answer: 'b\n'


Question: 'Let h be (966/56)/(9/(-2)). Which is the smallest value?  (a) -5  (b) -3  (c) h\n'

Answer: 'a\n'


Question: 'Let r = 17/135 + 2/27. What is the second smallest value in r, -1/5, 12, -1/2?\n'

Answer: '-1/5\n'


Question: 'Let o = -13.6268 + 13.57. What is the biggest value in o, -2/19, -0.4?\n'

Answer: 'o\n'


Question: 'Let o be 4/6*(-63)/(-6). Let m be (o/(-14))/((-6)/4). Let y = -8 - -8. Which is the third biggest value?  (a) y  (b) m  (c) 1/4\n'

Answer: 'a\n'


Question: 'Let f = -2089 + 2086. What is the biggest value in 0.2, f, 57?\n'

Answer: '57\n'


Question: 'Let w = 0.16 + -0.07. Let x = w + 0.21. Let p = -41 - -45. What is the second smallest value in x, -0.1, p?\n'

Answer: 'x\n'


Question: 'Suppose w - 10 = -3*m, 2*m + w + 3*w = 10. Let o = -82/5 - -17. Which is the smallest value?  (a) o  (b) -1/5  (c) m\n'

Answer: 'b\n'


Question: 'Let m = -13.45 + 10.55. What is the third smallest value in -4, m, 0, -1?\n'

Answer: '-1\n'


Question: 'Let z(p) = -p - 5. Let i be z(-9). Suppose -3*x = -2*s - 8 - 3, -18 = -i*s - 2*x. What is the second smallest value in -1/3, 1, s, -0.2?\n'

Answer: '-0.2\n'


Question: 'Let j = 0 - -0.2. Let s = 279 - 276. Which is the third biggest value?  (a) s  (b) 3/2  (c) j  (d) 2/5\n'

Answer: 'd\n'


Question: 'Let b = 3103 + -3103.3. Let m be -3 - (1 + -2)*-1. What is the third smallest value in m, -1/5, b, -2?\n'

Answer: 'b\n'


Question: 'Let d = -130 - -135. Which is the third smallest value?  (a) -1/23  (b) d  (c) -8\n'

Answer: 'b\n'


Question: 'Let t be (31 + -36)*(-4)/(-130). What is the fourth smallest value in 3, 2, t, -4?\n'

Answer: '3\n'


Question: 'Let f = -1/819 - 817/1638. What is the third smallest value in f, -0.2, -4, 0.3?\n'

Answer: '-0.2\n'


Question: 'Let f = -54 - -23. Let w = f + 34. Suppose 2*s + w + 1 = -z, 4*s + 12 = 0. What is the third smallest value in z, 0.4, 0.3?\n'

Answer: 'z\n'


Question: 'Let b = 277 - 830/3. What is the fourth smallest value in -2, b, -3, 1/5?\n'

Answer: 'b\n'


Question: 'Let f = -310 + 309.96. Which is the third biggest value?  (a) -3  (b) 0.5  (c) 2  (d) f\n'

Answer: 'd\n'


Question: 'Let d = -391 - -391.2. Which is the second smallest value?  (a) d  (b) 50  (c) 0.02\n'

Answer: 'a\n'


Question: 'Suppose g + 1 = 3. Suppose 5*w + g = 3*w - 2*u, -2*w - 5*u = 2. Let v = 0.2 + -0.2. Which is the smallest value?  (a) 1/6  (b) w  (c) v\n'

Answer: 'b\n'


Question: 'Let l(d) = -4*d + 24. Let q be l(12). Let v be (-6)/4*80/q. Let y = -0.3 + 0.8. Which is the biggest value?  (a) 1/8  (b) v  (c) y\n'

Answer: 'b\n'


Question: 'Let u = 1.4716 - 0.1916. What is the smallest value in 1, 2, u?\n'

Answer: '1\n'


Question: 'Let k = -0.7835 - 0.1165. Which is the second biggest value?  (a) 0.2  (b) -1/4  (c) k\n'

Answer: 'b\n'


Question: 'Let x be ((-18)/(-6))/(21/(-2)). What is the fourth smallest value in 0.5, -4, x, -0.4?\n'

Answer: '0.5\n'


Question: 'Let b = 0.7 + -1. Suppose 242*g = 239*g. What is the second biggest value in 2/7, 2/11, g, b?\n'

Answer: '2/11\n'


Question: 'Let z = 0.01 + 3.99. Let n = -22.6 + 18.6. Let r be (2/3)/((-1)/(-2)). What is the second smallest value in z, r, n?\n'

Answer: 'r\n'


Question: 'Let h be 6/(-51) - (-156)/5083. What is the second smallest value in -0.04, h, -2/13?\n'

Answer: 'h\n'


Question: 'Let u(l) = -l**2 - 2*l + 11. Let h be u(-5). Let c be (-78)/(-20) + h + 0. What is the smallest value in -5, -3, c?\n'

Answer: '-5\n'


Question: 'Suppose -12 = -2*m - 2*m. Suppose -52 = -7*p + m*p. Let u = -14 + p. Which is the smallest value?  (a) u  (b) -1/4  (c) 0.1\n'

Answer: 'a\n'


Question: 'Suppose q - 1 = -0. Suppose -18*g + 3 = -9*g - 8*g. Which is the smallest value?  (a) -0.9  (b) -0.3  (c) g  (d) q\n'

Answer: 'a\n'


Question: 'Let s be (-135)/(-300)*4/6. What is the fourth biggest value in 1, s, -2, -1?\n'

Answer: '-2\n'


Question: 'Let f = -12 + 8. Let j = 3.6 + f. Let t = 2283 + -2280. Which is the smallest value?  (a) j  (b) -2/9  (c) t\n'

Answer: 'a\n'


Question: 'Let q(k) = -27*k**2 - 79*k + 1. Let o be q(-3). Let w = 5.4 - 5. Let s = w - -0.2. Which is the smallest value?  (a) o  (b) s  (c) -2\n'

Answer: 'a\n'


Question: 'Suppose 2*k - 3*f + 49 = 0, -17*f = -13*f + 12. Which is the fourth biggest value?  (a) k  (b) 1  (c) 2/17  (d) -4\n'

Answer: 'a\n'


Question: 'Let l be (-5 + (-1205)/(-240))*(-136)/66. Let i = l + -5/36. What is the smallest value in 5/2, -0.08, i?\n'

Answer: 'i\n'


Question: 'Let f = -116.836 + -0.164. Let t = -116.7 - f. Suppose 3 = 6*h - 3*h. What is the biggest value in h, t, 5/4?\n'

Answer: '5/4\n'


Question: 'Suppose 9*k - 4 = 7*k. Suppose 3*h - 7 = k. Which is the third biggest value?  (a) h  (b) -1/5  (c) 0\n'

Answer: 'b\n'


Question: 'Let t = 514/855 - 1/855. What is the second biggest value in 3, -6, t, -2?\n'

Answer: 't\n'


Question: 'Let g = 218 - 218.4. What is the smallest value in g, -5, -4.57?\n'

Answer: '-5\n'


Question: 'Let t be -12*(1593/198 + -8). What is the smallest value in 31, 0.8, t?\n'

Answer: 't\n'


Question: 'Let o = 71 + -164. Let g = 89 + o. Which is the third smallest value?  (a) 2/27  (b) g  (c) -5/3  (d) 4/5\n'

Answer: 'a\n'


Question: 'Suppose 5*y = 2*y - 3423. Let c = -10259/9 - y. What is the fourth smallest value in 0, c, 5, 3?\n'

Answer: '5\n'


Question: 'Let x = -230 - -162. Let r = -66 - x. Which is the fourth smallest value?  (a) r  (b) 0  (c) 0.2  (d) 2/5\n'

Answer: 'a\n'


Question: 'Let c = 4.98 + -4.78. Let v be (-14)/10 - (-2)/5. What is the third biggest value in 0.4, c, v?\n'

Answer: 'v\n'


Question: 'Let p be (-5)/(-6)*8/30. Let j = 19520 + -19515. What is the second smallest value in j, p, 2, 0.1?\n'

Answer: 'p\n'


Question: 'Let t = -34.55 + -0.45. Let p = t - -31. What is the third biggest value in 2/9, -0.1, p, 0.3?\n'

Answer: '-0.1\n'


Question: 'Let s be 4*(6 + (-133)/21). Suppose 6 - 24 = -9*j. What is the second biggest value in -0.4, 0.2, j, s?\n'

Answer: '0.2\n'


Question: 'Let o be (-4)/6 - (-26)/(-24). Let g be (-2 - 54/(-24))/1. Which is the biggest value?  (a) g  (b) o  (c) -0.2  (d) -0.1\n'

Answer: 'a\n'


Question: 'Let n = 7 + -7.2. Suppose 2*o - 2 = 0, 12*y - o = 13*y - 1. What is the third smallest value in y, -14/5, n?\n'

Answer: 'y\n'


Question: 'Let w = -113/1068 + 2/89. Suppose 0 = -n - 56*n - 57. What is the smallest value in n, -1/11, -3, w?\n'

Answer: '-3\n'


Question: 'Let d = 1712 + -1715.8. What is the smallest value in 0.4, d, 0.03?\n'

Answer: 'd\n'


Question: 'Let j = -612 + 674.8. Let k = -63 + j. Let q = 7 + -10. What is the second biggest value in q, 0.5, k?\n'

Answer: 'k\n'


Question: 'Let m be 2160/660 - 3/11. Which is the third smallest value?  (a) -1/6  (b) -1  (c) 0.13  (d) m\n'

Answer: 'c\n'


Question: 'Suppose -172*p + 155*p + 85 = 0. Let v be 11/4 + -1 + -2. Which is the second biggest value?  (a) 3/2  (b) v  (c) p\n'

Answer: 'a\n'


Question: 'Let x = -158 + 152. What is the third biggest value in x, 2, -13?\n'

Answer: '-13\n'


Question: 'Let h be 1/3 + 184/(-48). Which is the third smallest value?  (a) 5  (b) -0.5  (c) 0.02  (d) h\n'

Answer: 'c\n'


Question: 'Let h = -8.04 - -15.02. Let d = 0.02 + h. Let s = 0.03 - -0.07. What is the smallest value in 5, s, d?\n'

Answer: 's\n'


Question: 'Suppose -5*r + 3*r + 4*l = 10, l = 4. Let q = 9.9 - 9.5. Let y = -121/840 - -2/105. Which is the third biggest value?  (a) q  (b) r  (c) y\n'

Answer: 'c\n'


Question: 'Let f = 155 - 155.5. Let j = -0.2 + 0.2. What is the smallest value in f, j, 2/13?\n'

Answer: 'f\n'


Question: 'Let t = 138 - 2068/15. Let i = 10 - 9.5. What is the second smallest value in t, -0.02, i?\n'

Answer: 't\n'


Question: 'Suppose 3 - 9 = -3*r. Which is the second smallest value?  (a) 6  (b) -4/7  (c) r\n'

Answer: 'c\n'


Question: 'Let f = 10.75 + -12. Let s = -0.15 - f. Let i = -5.1 + s. Which is the smallest value?  (a) 0.2  (b) i  (c) -1/4\n'

Answer: 'b\n'


Question: 'Let v = 7 - 8. Let t = 9 - 13. Which is the biggest value?  (a) -0.1  (b) t  (c) v\n'

Answer: 'a\n'


Question: 'Let x = -31 + 37. Let t = 7.97 - -0.03. Let p = t - x. Which is the third biggest value?  (a) 1  (b) p  (c) -4\n'

Answer: 'c\n'


Question: 'Let k be (-1418)/(-168) - (4 - (-51)/(-12)). Let h = k - 53/6. Which is the third smallest value?  (a) 5  (b) h  (c) 0  (d) -1.7\n'

Answer: 'c\n'


Question: 'Let w = 3663 - 3667. Suppose 3*q - 3*x = 0, 0 = -3*x + x - 6. Which is the smallest value?  (a) 8  (b) 0.1  (c) q  (d) w\n'

Answer: 'd\n'


Question: 'Let u = -22 - -17. Let r(w) = -2*w - 8. Let g be r(u). Suppose -3*o + g = j - 4, -o = j. Which is the third biggest value?  (a) 0.3  (b) -5  (c) o\n'

Answer: 'b\n'


Question: 'Let w = 1/10 - 3/10. What is the second smallest value in w, 4/7, 0.1?\n'

Answer: '0.1\n'


Question: 'Let l = 0.106 + -0.126. Let m = -177.1 + 177. Which is the second biggest value?  (a) l  (b) -4  (c) m\n'

Answer: 'c\n'


Question: 'Let x be (2/30*-3)/1. Suppose 4*i - h - 4*h - 65 = 0, -4*i + 3*h + 55 = 0. Let t = 14 - i. Which is the biggest value?  (a) 3  (b) x  (c) t\n'

Answer: 'c\n'


Question: 'Let d be 819/342 + 6/57 + -4. What is the biggest value in d, -16, -15?\n'

Answer: 'd\n'


Question: 'Let u = -0.762 - -1.662. Which is the biggest value?  (a) 0.7  (b) u  (c) 2\n'

Answer: 'c\n'


Question: 'Suppose 5*x - 7*x + 4 = -2*s, x + 5*s = -16. What is the smallest value in 0.1, -20, x?\n'

Answer: '-20\n'


Question: 'Let q be 3/24*8*(-1)/(-3). Which is the third smallest value?  (a) 17  (b) q  (c) 4\n'

Answer: 'a\n'


Question: 'Let l be ((-4)/6)/(15/9). Suppose 5*r + 4*w = 10 + 7, -r - 11 = -4*w. Which is the third biggest value?  (a) -7/13  (b) r  (c) l\n'

Answer: 'a\n'


Question: 'Let g(u) = -u - 19. Let y be g(-14). Let k = -51.3 + 54. Let v = k - 2.5. Which is the second smallest value?  (a) -2/9  (b) y  (c) v\n'

Answer: 'a\n'


Question: 'Let v be (6/(-8))/(70/(-40)). Which is the smallest value?  (a) 7  (b) v  (c) 1  (d) 2\n'

Answer: 'b\n'


Question: 'Let q = 89.9 - 92.9. Which is the second biggest value?  (a) -5  (b) 8.4  (c) q  (d) -2/5\n'

Answer: 'd\n'


Question: 'Let v = 78 - 78. Let d = -5 - -3. What is the smallest value in d, 6, v?\n'

Answer: 'd\n'


Question: 'Let y = -6.08 - -5.88. What is the second smallest value in 2, 5/7, y?\n'

Answer: '5/7\n'


Question: 'Let x(z) be the first derivative of z**3/3 + 5*z**2/2 - 10*z - 22. Let s be x(-7). Which is the biggest value?  (a) -23  (b) s  (c) -5\n'

Answer: 'b\n'


Question: 'Let g = 28 + -18. Let k = g - 5. Let q be 39/26*8/6. Which is the second biggest value?  (a) k  (b) q  (c) -0.2\n'

Answer: 'b\n'


Question: 'Let j = 2568.43 + -2568. Which is the smallest value?  (a) 4  (b) -0.5  (c) j\n'

Answer: 'b\n'


Question: 'Suppose 2 = -5*w + 12. Suppose -2*v - 3*v = a - 6, 4*v - 6*a = 32. Suppose v*n - 20 = -w*n. What is the smallest value in 4, n, 2?\n'

Answer: '2\n'


Question: 'Let o = -7470 + 7467. Let d = -107/140 - -1/70. Which is the second smallest value?  (a) o  (b) d  (c) -0.1\n'

Answer: 'b\n'


Question: 'Suppose -32*g - 6 + 102 = 0. What is the biggest value in -12, 5, g?\n'

Answer: '5\n'


Question: 'Let u = -2.5 - -2.53. Let o = -3.47 - u. Let n = o + -0.5. Which is the smallest value?  (a) 2/5  (b) n  (c) -2\n'

Answer: 'b\n'


Question: 'Let u = 7.12 + -2.12. What is the fourth smallest value in u, -6/7, -0.3, 1?\n'

Answer: 'u\n'


Question: 'Let f = 0.072 - 0.172. Let l = 5/61 - -47/915. What is the third smallest value in l, 5, f?\n'

Answer: '5\n'


Question: 'Let w = -24524/41 - -598. Which is the second smallest value?  (a) -4  (b) w  (c) -5\n'

Answer: 'a\n'


Question: 'Suppose 2 = -2*o - 4*l, o = 3*l + 2 + 2. Which is the biggest value?  (a) -2/9  (b) -0.08  (c) o\n'

Answer: 'c\n'


Question: 'Let w = 285 - 163. Let b = w - 134.9. Let x = 13 + b. What is the second smallest value in 3, -0.4, x?\n'

Answer: 'x\n'


Question: 'Let q = 13 - 13.3. Let g = 330.2 + -331. What is the third smallest value in -3, g, q?\n'

Answer: 'q\n'


Question: 'Let i be (13/2)/(9/(-18)). Let o = i - -16. Let z = 3 + 1. What is the biggest value in o, z, -2?\n'

Answer: 'z\n'


Question: 'Let v = 0.6 + -0.2. Let n = 133 + -142. Which is the second smallest value?  (a) 0  (b) n  (c) v\n'

Answer: 'a\n'


Question: 'Let h = -300 + 300.3. What is the second smallest value in -101, h, 2, 0.2?\n'

Answer: '0.2\n'


Question: 'Let k be (-2)/(-4) + 9/(-10). Let t(y) = y**3 - 6*y**2 - y + 9. Let o be t(6). Let z be 1/(-6)*o + 1. What is the biggest value in k, 2/9, z?\n'

Answer: 'z\n'


Question: 'Let z = -66 - -47. Let l = z - -19.12. Which is the second smallest value?  (a) 0.4  (b) -5  (c) l  (d) 3\n'

Answer: 'c\n'


Question: 'Let k = -9.62 - -8.9. Let b = 0.42 + k. What is the fourth biggest value in 10, 2, b, 2/5?\n'

Answer: 'b\n'


Question: 'Let g = -36.965 + -0.035. Let z = 37.2 + g. Let p = 2 + -2.05. Which is the smallest value?  (a) z  (b) -4  (c) p\n'

Answer: 'b\n'


Question: 'Let s = 5 + -4.6. Let k(d) = 83*d - 1241. Let l be k(15). What is the third biggest value in s, 2/23, 2, l?\n'

Answer: 's\n'


Question: 'Let s(k) = -k**3 + 4*k**2 + 2*k - 7. Let n be s(1). Which is the third biggest value?  (a) 0.1  (b) 2  (c) n  (d) -0.014\n'

Answer: 'd\n'


Question: 'Let q = -2923/4 - -730. Which is the fourth smallest value?  (a) 2/45  (b) -0.5  (c) q  (d) -3/2\n'

Answer: 'a\n'


Question: 'Let v = 57663 + -403643/7. Suppose 2*d = -8 + 2. Which is the second biggest value?  (a) d  (b) 2  (c) v\n'

Answer: 'c\n'


Question: 'Let y = -90.8 + 91. Which is the second smallest value?  (a) 0.3  (b) y  (c) -2  (d) 25\n'

Answer: 'b\n'


Question: 'Let z = -140.6 + 141. Which is the smallest value?  (a) 0.12  (b) 1  (c) z\n'

Answer: 'a\n'


Question: 'Let y = -22.2 - -22.7. What is the smallest value in y, -1390, -3?\n'

Answer: '-1390\n'


Question: 'Let x be (3/6)/(145/30 + -5). Which is the second biggest value?  (a) 1  (b) -12  (c) x\n'

Answer: 'c\n'


Question: 'Let h = 771 - 3856/5. What is the third biggest value in h, 2/5, -11?\n'

Answer: '-11\n'


Question: 'Let s = -0.45 + -2.35. Let k = 1.2 - s. What is the smallest value in -0.1, 2/11, k, 1?\n'

Answer: '-0.1\n'


Question: 'Let v = 15 - 11. Suppose -v*g - 16 = -2*u, 0 = 5*u + g + 2 + 2. Let m = -13/15 - -7/15. Which is the second smallest value?  (a) -0.2  (b) m  (c) u\n'

Answer: 'a\n'


Question: 'Let s = -119/6 + 797/42. Let j = 52.3 - 25.4. Let k = 27 - j. Which is the smallest value?  (a) k  (b) s  (c) -2/3\n'

Answer: 'b\n'


Question: 'Let t = 3/52 - 327/260. What is the third smallest value in 2/17, 0, t?\n'

Answer: '2/17\n'


Question: 'Let y = 3.4383 - -0.3397. Let o = y - 0.078. Let t = o - -1.3. Which is the smallest value?  (a) t  (b) -1/5  (c) -4\n'

Answer: 'c\n'


Question: 'Let w = -2261.3 + 2261. Which is the smallest value?  (a) 0.024  (b) -2/3  (c) w\n'

Answer: 'b\n'


Question: 'Let a = -13.47 - 0.53. What is the biggest value in 3, -2, -6, a?\n'

Answer: '3\n'


Question: 'Let z = -120 + 836/7. Which is the second smallest value?  (a) z  (b) 2  (c) -79\n'

Answer: 'a\n'


Question: 'Let v = -2.954 - -2.51. Let j = 0.056 - v. Which is the second smallest value?  (a) 4  (b) 5  (c) j\n'

Answer: 'a\n'


Question: 'Let r = -28.559 - 0.041. Let s = -29 - r. What is the second biggest value in 0.2, s, 0.1?\n'

Answer: '0.1\n'


Question: 'Let x = -161 + 159. Let g(b) = -b**2 + 2*b - 1. Let d be g(1). What is the fourth biggest value in x, -2/7, 1/3, d?\n'

Answer: 'x\n'


Question: 'Let j = -17.1 + 19.68. Let z = j - 0.58. What is the second biggest value in -2/11, -0.5, 0.2, z?\n'

Answer: '0.2\n'


Question: 'Let l(j) = j**3 - 3*j**2 - 5*j + 7. Let n be l(4). Suppose 6 = n*f + 3*z, -10 = -5*f - z - 2*z. Which is the third smallest value?  (a) 0  (b) -0.1  (c) f\n'

Answer: 'c\n'


Question: 'Let x = -1 - 0. Let f = 66/2275 + -32/175. Which is the third smallest value?  (a) f  (b) x  (c) -3/5\n'

Answer: 'a\n'


Question: 'Suppose 4*a + x + 6 = 0, 0 = 4*a - 3*x + 7*x. Let i be a/(-10) - 28/(-35). Let s = i - 3. Is s bigger than -2?\n'

Answer: 'False\n'


Question: 'Let f = -17 - -2. Let p(k) = k**3 - 4*k**2 - k - 13. Let y be p(5). Let g = -10 - y. Is g greater than or equal to f?\n'

Answer: 'False\n'


Question: 'Let c(i) = -5*i**3 + 9*i + 5. Let j(p) = -p**3 + p**2 + p + 1. Let u(k) = c(k) - 6*j(k). Let z be u(5). Is -12 <= z?\n'

Answer: 'True\n'


Question: 'Let p be (13/((-117)/6))/(2/(-3)). Which is smaller: 90 or p?\n'

Answer: 'p\n'


Question: 'Let o = 12379 + -11818.7. Let c = 521 - o. Let f = -39 - c. Are f and 3 nonequal?\n'

Answer: 'True\n'


Question: 'Let n = 0.17 - -0.73. Let a = n - 1.9. Let b = 0 - a. Which is greater: b or 2/7?\n'

Answer: 'b\n'


Question: 'Let x be -2 - (-2 + -1) - -3. Suppose -4*s - 2*i = -20, -x*s - 3*i = 7 - 31. Suppose -3*v = -2*v - 1. Which is smaller: s or v?\n'

Answer: 'v\n'


Question: 'Let u = -1.21 + 106.21. Let j = u - 103. Do j and -14 have different values?\n'

Answer: 'True\n'


Question: 'Let b be (-4)/14 + 102/14. Suppose -b = -4*z + 5. Is z at most 3?\n'

Answer: 'True\n'


Question: 'Suppose 2 = 4*i - 3*i. Suppose 5*q - 1 = i*v, 3*q - 5*q + 4*v + 10 = 0. Which is smaller: q or 2/9?\n'

Answer: 'q\n'


Question: 'Let x = -0.8 + -2.2. Suppose 3*q + 3 - 9 = 0. Suppose 0 = -s - q*s. Which is greater: s or x?\n'

Answer: 's\n'


Question: 'Suppose 5*n - 13 = 4*n. Let h = -33 + n. Let d be (-9)/(-12) + 15/h. Which is bigger: d or -6/13?\n'

Answer: 'd\n'


Question: 'Let d be (-3669)/5*4898/(-8). Let a = d + -449480. Let f = a - -211. Which is greater: -1 or f?\n'

Answer: 'f\n'


Question: 'Let h be (-12)/4 - 96/3. Let w = h - -34. Is -8/9 greater than w?\n'

Answer: 'True\n'


Question: 'Let s = -3 + 2. Let h = -176305/7 + 25186. Which is smaller: h or s?\n'

Answer: 's\n'


Question: 'Let k = 24 - 24. Let a be (-5 + 0)/(-10)*k. Is -2/19 at most as big as a?\n'

Answer: 'True\n'


Question: 'Let a(n) = -n**2 + 11*n - 3. Let i be a(10). Let g = 3 - i. Is g smaller than -29/6?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -5*m - 3*o + 29, -m + 0*m + 4*o = 8. Suppose 3*t - 42 = -m*t. Suppose -20 = -l + t*l. Are l and -4 nonequal?\n'

Answer: 'False\n'


Question: 'Let v(n) = -6*n**2 - 1. Let h = 14 - 23. Let z be 5/15 + (-6)/h. Let k be v(z). Is k at least as big as -6?\n'

Answer: 'False\n'


Question: 'Let f = 136 + -200. Let u = f - -63.9. Do -1 and u have the same value?\n'

Answer: 'False\n'


Question: 'Let b(k) = k**2 - 56*k + 166. Let q be b(3). Are 116/15 and q unequal?\n'

Answer: 'True\n'


Question: 'Let i(b) be the first derivative of -b**2/2 - 15*b - 16. Let r be i(-16). Which is bigger: 2/31 or r?\n'

Answer: 'r\n'


Question: 'Suppose 0*b - 4 = -2*b. Let r = -517/3 - -173. Which is smaller: b or r?\n'

Answer: 'r\n'


Question: 'Let o be -1 + 3 + -1 + 13. Let k be -4*(-12)/o + -3. Suppose 3*l + 5*q - 7 + 30 = 0, q - 1 = 5*l. Is k at least as big as l?\n'

Answer: 'True\n'


Question: 'Let t = 450 - 354. Are t and 191/2 non-equal?\n'

Answer: 'True\n'


Question: 'Suppose 5*p = -5*h - 10, 2*h + 3*p - 2*p = -1. Is 2/39 > h?\n'

Answer: 'False\n'


Question: 'Let p be (7/7)/(1 + -2). Let j be p/(2/(-42)*-3). Let h = -1 - j. Which is smaller: 5 or h?\n'

Answer: '5\n'


Question: 'Let y = 7.4 - 7.6. Let t = y - -1.5. Which is bigger: t or -1/3?\n'

Answer: 't\n'


Question: 'Let q = -1106 + 1107. Which is bigger: q or -5/76?\n'

Answer: 'q\n'


Question: 'Suppose -105*t + 98*t - 28 = 0. Are t and -12 equal?\n'

Answer: 'False\n'


Question: 'Suppose -2*a + 5*a = 3. Let d be -1*(-3 - (-3 + a)). Suppose 3*y = -5 - d. Which is smaller: y or -3?\n'

Answer: '-3\n'


Question: 'Suppose 4*a + 19 = -2*v + 15, a = 3*v - 15. Which is greater: -15/8 or a?\n'

Answer: '-15/8\n'


Question: 'Suppose -4*x = -8*x + 4*r - 28, 2*x + r = -8. Let t be -2 + (4 + 1)*-7. Let i = 63/2 + t. Which is greater: x or i?\n'

Answer: 'x\n'


Question: 'Suppose -3*q = -15 - 3. Suppose -q*z - 2 = 4. Is -3/28 at most z?\n'

Answer: 'False\n'


Question: 'Suppose 0*h - h = 0. Is h greater than -2/31?\n'

Answer: 'True\n'


Question: 'Let y = -1.08 + 0.98. Let c = -0.03 - -0.09. Is c bigger than y?\n'

Answer: 'True\n'


Question: 'Suppose 27*f + 17 = 26*f. Let a(d) = -d**3 - 15*d - 6*d**2 - 12*d**2 + 9 + 0 + 14. Let z be a(f). Are z and 1/2 unequal?\n'

Answer: 'True\n'


Question: 'Let s = -202/15483 + -5/397. Suppose u - 5*u = 0. Is s at most as big as u?\n'

Answer: 'True\n'


Question: 'Let g be 2/(270/(-33)) + (-17)/85. Suppose 0 = -2*t + 4*t. Is g at most t?\n'

Answer: 'True\n'


Question: 'Let c(h) = -h**2 + 24*h - 143. Let l be c(13). Which is bigger: -2/169 or l?\n'

Answer: 'l\n'


Question: 'Let y(h) = -8*h + 111. Let l be y(10). Which is greater: l or 29?\n'

Answer: 'l\n'


Question: 'Let s(b) = b**3 + 7*b**2 + b + 1. Let u be s(-7). Let x = 12 + -14. Let t be -8 - -4 - (-6)/x. Is t != u?\n'

Answer: 'True\n'


Question: 'Let p be (8/6)/((-30)/135). Let c be (p - 4/(-1)) + -2. Let g be -1*c*(-4)/48. Which is bigger: 14 or g?\n'

Answer: '14\n'


Question: 'Let v = 0.12 + -0.02. Which is smaller: v or -3?\n'

Answer: '-3\n'


Question: 'Let o = 1594/165 - 48/5. Let r(v) = v**2 + 59*v - 120. Let u be r(-61). Is u greater than o?\n'

Answer: 'True\n'


Question: 'Let v = 26 + -25.725. Let r = -0.015 - v. Let b = -0.01 + r. Which is bigger: b or -0.4?\n'

Answer: 'b\n'


Question: 'Let d be 4/(-3)*(-3)/14. Let r(b) = -b**3 + 8*b**2 - 11*b - 8. Let h be r(6). Let j be h/(-14) + (-25)/(-70). Is d at most j?\n'

Answer: 'True\n'


Question: 'Let z = -273 + 271. Which is bigger: -4/3 or z?\n'

Answer: '-4/3\n'


Question: 'Suppose -6*k + 2*k + 48 = 0. Let a(c) = 3*c - 20 + 5*c - c**2 + 10*c - 4*c. Let o be a(k). Which is smaller: 11/4 or o?\n'

Answer: '11/4\n'


Question: 'Let c = -293/112 + 3/16. Which is smaller: c or -1?\n'

Answer: 'c\n'


Question: 'Let g(t) = -t**3 + 19*t**2 - 6*t - 19. Let y be g(17). Which is smaller: 455 or y?\n'

Answer: '455\n'


Question: 'Suppose 2*r + 3*d + 39 = 0, 2*d + 82 + 0 = -4*r. Suppose -32 = -4*b - 5*n - 0, 4*b - 4 = 2*n. Suppose b*y + 14 = -52. Which is bigger: y or r?\n'

Answer: 'r\n'


Question: 'Let f(x) = -x**2 - 12*x + 71. Let i be f(-16). Let a = 3 + -1. Suppose 28 = 6*h - a*h. Is i greater than h?\n'

Answer: 'False\n'


Question: 'Let q = 1852 - 1890. Is -38 less than q?\n'

Answer: 'False\n'


Question: 'Let f = 19 + -15. Let d(r) = 7 - f + 10*r - 11*r. Let z be d(-4). Does -2/7 = z?\n'

Answer: 'False\n'


Question: 'Let l(k) = 8*k**2 + k. Let h be l(-1). Suppose 4*s - 2*s - 18 = -t, 0 = -3*t - 4*s + 44. Is t at most as big as h?\n'

Answer: 'False\n'


Question: 'Let l = 19 - 17. Let d be 38 + l*4/(-4). Let b be ((-21)/(-63))/(2/d). Is 6 smaller than b?\n'

Answer: 'False\n'


Question: 'Let j(p) = -2*p + 6. Let i be j(5). Let h be 6/i*4/87. Let n = 18 - 17. Which is bigger: n or h?\n'

Answer: 'n\n'


Question: 'Let j be 2/(-3) + (-5)/(-3). Let v(r) = -r**3 - 5*r**2 - 4*r - 2. Suppose 3*x + 12 + 0 = 0. Let l be v(x). Is l at most j?\n'

Answer: 'True\n'


Question: 'Suppose -13*a + 9*a - 10 = 5*b, 5*a = -25. Suppose -4*c + b*l - 4*l - 28 = 0, 3*c + 35 = -5*l. Suppose 3*f + 18 + 3 = 0. Which is smaller: c or f?\n'

Answer: 'f\n'


Question: 'Let w = 1942593/32485 - -2/6497. Which is greater: 60 or w?\n'

Answer: '60\n'


Question: 'Suppose -5*a + 9 = -2*g + 128, 25 = -5*a. Is g bigger than 236/5?\n'

Answer: 'False\n'


Question: 'Let d = -5.94 + 6. Let k = 0.04 + d. Let i = -6 + 5. Which is greater: k or i?\n'

Answer: 'k\n'


Question: 'Let q = 0 - -1. Let k = 2123327656/1089 - 1949796. Let f = k - 6/121. Is f > q?\n'

Answer: 'False\n'


Question: 'Suppose 0 = 5*d + 2*s + 2*s - 41, -3*d = 5*s - 22. Let f = -1 + d. Let j = 26 + -17. Is f >= j?\n'

Answer: 'False\n'


Question: 'Let j = -469 - -3755/8. Which is bigger: j or 1?\n'

Answer: '1\n'


Question: 'Suppose -4*l = -5*w - 12, 2*l - 6 = 122*w - 123*w. Is l smaller than -53?\n'

Answer: 'False\n'


Question: 'Let p(z) = -z + 7. Let b be p(5). Suppose -b*g + 3*g = 2. Let h = -63 - -64. Which is smaller: h or g?\n'

Answer: 'h\n'


Question: 'Let w = 118/13 + -1103/143. Let x = w + -23/33. Does x = 2?\n'

Answer: 'False\n'


Question: 'Let o = -241.3 + 241. Let t = -0.99 + 1. Is t > o?\n'

Answer: 'True\n'


Question: 'Suppose 9*c = 11*c + 20. Let v be ((-4)/c)/(18/(-20)*1). Which is smaller: 0.4 or v?\n'

Answer: 'v\n'


Question: 'Let d(t) = t + 4. Let o be d(-4). Let b = -116 - -113. Which is smaller: o or b?\n'

Answer: 'b\n'


Question: 'Let k be ((-10 + 11)*(-1 - -1))/(-1). Are k and -2/253 non-equal?\n'

Answer: 'True\n'


Question: 'Let o be 3 + 3/(72/(-4))*-538. Let j = o - 1444/15. Is -4 greater than j?\n'

Answer: 'False\n'


Question: 'Let b = 10 + -6. Let u = 16 - 13. Suppose -3*p + b*p = u*r, 0 = 5*r + 4*p. Do -2/55 and r have different values?\n'

Answer: 'True\n'


Question: 'Suppose -32*p = -14*p - 270. Do p and -6 have different values?\n'

Answer: 'True\n'


Question: 'Let i be (-49)/8 + ((-5)/8)/(-5). Let v be (-11)/(33/i) - (-68)/(-13). Is v at least -3?\n'

Answer: 'False\n'


Question: 'Let y be (12/(-16))/(6517/(-1176)). Which is smaller: 1 or y?\n'

Answer: 'y\n'


Question: 'Let x be (0 - 7/5) + (-2)/(-5). Which is smaller: x or -1/144?\n'

Answer: 'x\n'


Question: 'Let s be ((-2)/(-69))/((-2)/6). Suppose -2*o + 2*h - 8 = 0, 8 = 8*h - 4*h. Let p be 5 - ((o - -2) + 6). Which is smaller: s or p?\n'

Answer: 'p\n'


Question: 'Suppose 4*t + t = -5*h + 80, -3*h + 22 = t. Let d be (-1 - -2) + -2*100/8. Let i be ((-3)/(-6) + -1)*d/1. Is t != i?\n'

Answer: 'True\n'


Question: 'Let g = 21 + -17. Let l = 14 + g. Let r = l - 19. Is r >= -12?\n'

Answer: 'True\n'


Question: 'Let n = -149/244 + 22/61. Is 3.2 at least n?\n'

Answer: 'True\n'


Question: 'Let o(m) = m - 6. Let f be o(6). Let y = -149531 + 9419693/63. Let s = 86/7 + y. Which is smaller: f or s?\n'

Answer: 'f\n'


Question: 'Let q = 4/869 + 35613/3476. Which is smaller: q or 1?\n'

Answer: '1\n'


Question: 'Let n(u) = u**2 - 1. Let m be n(2). Let g be 37/(-26) - m/(-6). Which is bigger: 0 or g?\n'

Answer: '0\n'


Question: 'Suppose 6*s = 3*s - 5*z + 25, -5*s - 4*z = -46. Suppose s - 38 = -4*f. Suppose 4*h + f = 15. Is 1 > h?\n'

Answer: 'False\n'


Question: 'Let y = -76916/29 - -2652. Is 1 greater than y?\n'

Answer: 'True\n'


Question: 'Let i(f) = -f**2 - 10*f - 4. Let b be i(-10). Suppose 2*v + 81 = 1. Let g be b/(-6)*24/v. Which is bigger: 1 or g?\n'

Answer: '1\n'


Question: 'Let d be (-30)/(-18) + (-2)/3. Let j = 37 - 36. Is j less than or equal to d?\n'

Answer: 'True\n'


Question: 'Let j be ((-8)/(-20))/((-1)/(15/(-3))). Let i = -30 - -17. Which is bigger: j or i?\n'

Answer: 'j\n'


Question: 'Let w = 1448/2255 - 38/55. Is 0.1 less than w?\n'

Answer: 'False\n'


Question: 'Suppose u = i - 4, 2*u + 2 = -6. Let q = 13/150 - -2/25. Which is bigger: q or i?\n'

Answer: 'q\n'


Question: 'Let k(a) = 7*a + 3. Let c be k(-4). Let g(i) = -i**3 - i**2 + 6*i + 5. Let h be g(-2). Let j(u) = u**3 - 2*u**2 - 10*u - 9. Let b be j(h). Does c = b?\n'

Answer: 'False\n'


Question: 'Let j = 861 - 6045/7. Do 2 and j have the same value?\n'

Answer: 'False\n'


Question: 'Suppose 4*r = 2*c + 276, -8*r + c = -7*r - 70. Which is greater: r or 69?\n'

Answer: '69\n'


Question: 'Let c = -12.321 + 1.321. Let m = -3 + 4. Which is smaller: m or c?\n'

Answer: 'c\n'


Question: 'Let w = 3.79 + 0.01. Let q = -3.92 - 0.08. Let y = q + w. Which is bigger: 0.2 or y?\n'

Answer: '0.2\n'


Question: 'Suppose 2*m - 3584 = -26*m. Is m <= 127?\n'

Answer: 'False\n'


Question: 'Let x = 311 - 443. Let d = -133 - x. Which is smaller: d or -8?\n'

Answer: '-8\n'


Question: 'Let t = -0.005 + -9.995. Let r = t + 10.3. Let c = 0.2 + 0. Which is smaller: c or r?\n'

Answer: 'c\n'


Question: 'Suppose -5*b + 18 = 3. Suppose -4*l + 2*m + 13 = -b*l, m = -l + 7. Suppose 22 = 3*v - v. Which is smaller: v or l?\n'

Answer: 'l\n'


Question: 'Let o(c) = c**3 + 10*c**2 - 5*c**3 + 16*c + 5*c**3. Let s be o(-8). Is s at least 1/37?\n'

Answer: 'False\n'


Question: 'Let p be (-2 - -2)*1/(-2). Suppose y + 3 = -4*u, 4*y + u - 5 + 2 = p. Which is smaller: 2/5 or y?\n'

Answer: '2/5\n'


Question: 'Let n = 4.805 - 0.085. Let j = -5 + n. Let p = 0.18 + j. Is 4 at most as big as p?\n'

Answer: 'False\n'


Question: 'Suppose -4*y + 2*h - 1796 = -0*h, 438 = -y - 5*h. Let d be (-4)/(y/(-12))*4. Let n(q) = -2*q**3 + 2*q**2 - q. Let i be n(1). Is i < d?\n'

Answer: 'True\n'


Question: 'Suppose -2*q + 28 = 2*q - 4*p, -11 = -5*q - 3*p. Suppose -2 = -x - 0*x. Suppose u - 3*t - q = -t, u = -4*t - x. Is 2 at least u?\n'

Answer: 'True\n'


Question: 'Suppose -2*k + 6*k - 24 = 4*v, 6 = -2*v + 4*k. Let o be (290/40)/((-2)/(-4)). Let f = 14 - o. Which is smaller: v or f?\n'

Answer: 'v\n'


Question: 'Let q be 65/252 - (-4)/(-18). Let i(a) = a - 9. Let g be i(0). Let y be -2 - (2 + 0)*g/6. Is q at most y?\n'

Answer: 'True\n'


Question: 'Let c = 185 - 236. Let u be ((-8)/(-6))/((-6)/225). Which is smaller: u or c?\n'

Answer: 'c\n'


Question: 'Let t(u) be the third derivative of 5*u**4/24 - 14*u**3/3 + 11*u**2. Let d be t(6). Does 10/17 = d?\n'

Answer: 'False\n'


Question: 'Let m be 5 + (-9 - (-2)/((-6)/(-15))). Let k = -2 + 2.6. Are k and m non-equal?\n'

Answer: 'True\n'


Question: 'Suppose 4 = 2*w - 6. Let m = 5 + -3. Which is smaller: m or w?\n'

Answer: 'm\n'


Question: 'Let b be ((-6)/(-30))/(-2 - (-72)/(-15)). Suppose -4 = 4*r - 0*r. Which is greater: b or r?\n'

Answer: 'b\n'


Question: 'Let n be 107 - (-1 - 0/5)*-2. Which is greater: n or 104?\n'

Answer: 'n\n'


Question: 'Let b(v) = -v**3 + v**2 + 5. Suppose 5*h = -20, -2*y - 2*h = 7 - 3. Let l be b(y). Which is greater: l or 3/8?\n'

Answer: 'l\n'


Question: 'Let f(m) = m**3 + 5*m**2 + 14*m + 121. Let j be f(-9). Are -329 and j equal?\n'

Answer: 'True\n'


Question: 'Let l = 215.9 - 216. Which is smaller: 106 or l?\n'

Answer: 'l\n'


Question: 'Suppose -15 = -5*c + 2*c + 2*u, c = -2*u + 5. Let r(o) = -o**2 - 7*o + 31. Let x be r(c). Which is greater: x or -30?\n'

Answer: 'x\n'


Question: 'Let o(m) = -m**3 - 10*m**2 - 2*m - 22. Let x be o(-10). Let u be x + 7 - (4 + 2). Is -1/13 greater than or equal to u?\n'

Answer: 'True\n'


Question: 'Let y = 6/275 - -16/275. Is 5 greater than y?\n'

Answer: 'True\n'


Question: 'Let q = -4.143 + 4.1. Let s = q + 0.063. Which is bigger: -0.4 or s?\n'

Answer: 's\n'


Question: 'Let m = -337 + 183. Do m and -154 have the same value?\n'

Answer: 'True\n'


Question: 'Let b = -7 - -1. Let z be 20/b*(-36)/(-8). Is 1 > z?\n'

Answer: 'True\n'


Question: 'Let j(i) = i - 5. Let b be j(7). Let n be ((-20)/(-12) - b) + 2/24. Which is smaller: n or -1.1?\n'

Answer: '-1.1\n'


Question: 'Let l be (-69)/6 - (-5)/(-30)*-3. Let q be (-8)/(-40) - (-61)/(-5). Which is smaller: q or l?\n'

Answer: 'q\n'


Question: 'Let k = 524 + -546. Are k and -117/5 equal?\n'

Answer: 'False\n'


Question: 'Let g be (-2)/(-6) - (-11)/3. Let p(o) = -8*o - 44. Let t be p(-8). Suppose 4*q + t = g. Which is smaller: -3 or q?\n'

Answer: 'q\n'


Question: 'Let n = -0.0171 - 2.9829. Which is smaller: 208 or n?\n'

Answer: 'n\n'


Question: 'Let f be -4*15/(-50)*5. Suppose 0 = -5*n + f - 106. Let x = n + 21. Which is greater: -0.1 or x?\n'

Answer: 'x\n'


Question: 'Let g = 223.391 + -257.33. Let t = g - 0.061. Which is smaller: 2 or t?\n'

Answer: 't\n'


Question: 'Let d = -34 - -33.916. Let w = 6.916 - d. Let v = 2.1 + -2. Is v equal to w?\n'

Answer: 'False\n'


Question: 'Let u(v) = 35*v**2 + 73*v + 144. Let z be u(-2). Which is smaller: 140 or z?\n'

Answer: 'z\n'


Question: 'Let f(r) = -r**2 - 4*r + 1. Let z be f(7). Let p = 19 + z. Let o = p + 624/11. Is o bigger than 1?\n'

Answer: 'False\n'


Question: 'Let m be (1/(-10))/(15/(-150)). Which is smaller: 26/27 or m?\n'

Answer: '26/27\n'


Question: 'Suppose -3*s + 52*s = 16023. Is s < 326?\n'

Answer: 'False\n'


Question: 'Let f = -12 - -11. Let w be 9 + -13 + (-1 - f). Let t = -13 + 8. Which is bigger: w or t?\n'

Answer: 'w\n'


Question: 'Let o = 617 - 341. Is o smaller than 276?\n'

Answer: 'False\n'


Question: 'Suppose 0*f + 7*f = 7. Suppose -3*b + i = -8, -2*i = -f - 1. Which is smaller: b or 2?\n'

Answer: '2\n'


Question: 'Let w(v) = 277*v + 454. Let g be w(6). Which is bigger: 2115 or g?\n'

Answer: 'g\n'


Question: 'Let p(w) = -11*w**2 - 1. Let o be p(2). Let i be (-2)/(-10)*o/(-12). Let s be -2*(1 + (-15)/20). Are i and s equal?\n'

Answer: 'False\n'


Question: 'Let y(m) = m + 3. Let p be y(-3). Suppose 4*h - 1 = -3*k + 14, -3*h = 2*k - 11. Is p at least h?\n'

Answer: 'False\n'


Question: 'Let y = -155926/243 - -1925/3. Which is bigger: -1 or y?\n'

Answer: 'y\n'


Question: 'Let u(k) = k - 6. Let j be u(7). Let n be (-54)/(-3) - (j + -1). Which is bigger: 37/2 or n?\n'

Answer: '37/2\n'


Question: 'Let r = 39 + -52.04. Let k = r - -13. Let b = -0.37 + 0.17. Is b > k?\n'

Answer: 'False\n'


Question: 'Let m be (14396/(-1199))/(-4) + -3. Let u = 2324/44363 + m. Let x = 31/111 + u. Which is bigger: x or -1?\n'

Answer: 'x\n'


Question: 'Suppose -15*g - 40 = 25*g. Which is smaller: -9/106 or g?\n'

Answer: 'g\n'


Question: 'Suppose 0 = -3*a + 7 - 1. Let y be ((-16)/(-42))/a - (-2)/14. Let w = 0.19 + -0.2. Is w greater than or equal to y?\n'

Answer: 'False\n'


Question: 'Let o be 1*(-84)/351 - 36/162. Let t = 131/15 - 25/3. Is o at least t?\n'

Answer: 'False\n'


Question: 'Let w be (-78)/(1/4*2). Let g be ((-9)/w)/((-2)/4). Are g and -1 nonequal?\n'

Answer: 'True\n'


Question: 'Let m = -11 - -10.95. Let c = 0.25 + m. Let o = 0.1 - c. Is 8 greater than or equal to o?\n'

Answer: 'True\n'


Question: 'Let w(a) = -a**3 + 9*a**2. Let c be w(9). Let t be ((-130)/363)/((-3)/2). Let b = -2/121 + t. Which is smaller: b or c?\n'

Answer: 'c\n'


Question: 'Let r be ((-28)/(-49))/((-52)/6). Which is smaller: 0 or r?\n'

Answer: 'r\n'


Question: 'Let w = 69130/7 + -9950. Let x = -74 - w. Let v = -4243/11 - -386. Which is greater: v or x?\n'

Answer: 'x\n'


Question: 'Let y = 59 - -55. Which is smaller: y or 0.1?\n'

Answer: '0.1\n'


Question: 'Suppose 17386 = 3*r - 4*g, 2*r - 11588 = g + g. Let a be (r/(-4))/(154/28). Let k = a + 263. Is -1 at least as big as k?\n'

Answer: 'False\n'


Question: 'Let j = -1/30528 - -49609/30528. Let s = 4 + -3. Are j and s nonequal?\n'

Answer: 'True\n'


Question: 'Let p = 19 + -13. Let h be p/4*(-21)/6. Let u = 53/10 + h. Which is greater: u or 0?\n'

Answer: 'u\n'


Question: 'Suppose 2*z + 26 = -3*m + 7*m, 0 = 5*m - z - 25. Suppose 0 = 2*q + m, -n - 18 = -0*n + 3*q. Which is bigger: -1 or n?\n'

Answer: '-1\n'


Question: 'Let r be 35/(-30)*48/252. Let o = 53/473 - -3/43. Which is greater: r or o?\n'

Answer: 'o\n'


Question: 'Suppose 0 = -63*w + 57*w + 6. Let f be (18/(-28))/(3/(-8)). Which is greater: f or w?\n'

Answer: 'f\n'


Question: 'Let m = 241 - 241.2. Is m smaller than 9/17?\n'

Answer: 'True\n'


Question: 'Let l = 4 + 1. Suppose -4*w + 7 = -l. Let q(a) = a - 9. Let h be q(9). Is w at least h?\n'

Answer: 'True\n'


Question: 'Suppose 122 + 18 = -4*b. Is b greater than -4?\n'

Answer: 'False\n'


Question: 'Let y = -0.6 - -0.6. Let l = -6/8477 + -1489524/8477. Let o = 176 + l. Is o at least y?\n'

Answer: 'True\n'


Question: 'Let b be (-1 + (7 - -4))/2. Let i be b/(-10) - (-1 + -1). Which is smaller: i or -0.3?\n'

Answer: '-0.3\n'


Question: 'Let y = 26 - 4. Let p = y - 22.1. Let f = 0 + p. Which is greater: f or 2?\n'

Answer: '2\n'


Question: 'Let z be 0/(-3)*(-2)/4. Suppose z = 3*u + u + 8. Let l be 7/(-6) + (2 + -2)/(-7). Is u less than or equal to l?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -2*w + 5 + 1. Suppose 24 = 3*i - 3*a, w*i + i = 2*a + 36. Let j be i/(-4)*8/30. Are j and 1/6 unequal?\n'

Answer: 'True\n'


Question: 'Let b = 0.176 + 2.704. Let g = b - -0.12. Let v = g + -4. Is 2/13 > v?\n'

Answer: 'True\n'


Question: 'Let c be (4/8)/(1/(-4)). Is c less than or equal to -1?\n'

Answer: 'True\n'


Question: 'Let p(v) = -3*v - 137. Let d be p(-59). Is d at most as big as 27?\n'

Answer: 'False\n'


Question: 'Let q(t) = -t**3 + 3*t**2 - t + 3. Let c be q(3). Suppose 4*l + 18 + 18 = c. Is -1/4 > l?\n'

Answer: 'True\n'


Question: 'Let l = 147 - 143.4. Which is smaller: 1 or l?\n'

Answer: '1\n'


Question: 'Let v = -395 - -411. Is v != 16?\n'

Answer: 'False\n'


Question: 'Let n(r) = -r**3 + 6*r**2 - 5*r + 4. Let i be n(5). Suppose 0 = -3*l + 2*j + i, -j = -l - 3*j - 4. Which is smaller: l or 9/8?\n'

Answer: 'l\n'


Question: 'Suppose 29 = -2*j - 5. Let q = -12 - j. Is q != 5?\n'

Answer: 'False\n'


Question: 'Let x = -12.69 - 6.31. Which is bigger: x or 40?\n'

Answer: '40\n'


Question: 'Let m be 399/77 - 6/33. Let u be -3 + (-3)/(-2)*-2. Let w be u*((-8)/6)/2. Is w smaller than m?\n'

Answer: 'True\n'


Question: 'Let v = -4.8 - -0.8. Let d = -7 - v. Let s = -50.8 - -50.7. Which is smaller: d or s?\n'

Answer: 'd\n'


Question: 'Suppose -1 + 85 = 3*d. Let v be 1/(d/(-64)) - -2*1. Is 6 less than v?\n'

Answer: 'False\n'


Question: 'Suppose -2*d - d = 84. Let q be (-52)/d - (-2)/14. Let k be 0 + 17/9 + -1. Which is smaller: q or k?\n'

Answer: 'k\n'


Question: 'Let j(z) = -z**3 - 10*z**2 + 11*z + 5. Let q be j(-11). Suppose 4*u + 1 = q*u. Do u and -2 have the same value?\n'

Answer: 'False\n'


Question: 'Let a(r) = r**2 + r + 1. Let d be a(0). Suppose -3*g + 3*o + 6 = 3, 0 = -g + 3*o - 9. Let j be -5*3/((-585)/g). Which is smaller: d or j?\n'

Answer: 'j\n'


Question: 'Suppose 65 = -5*o - 10. Let v be 4 - 4/((-20)/o). Which is greater: v or 3?\n'

Answer: '3\n'


Question: 'Let f = -149 + 164. Which is smaller: 12 or f?\n'

Answer: '12\n'


Question: 'Let x = -74/5 + 272/15. Suppose 0 = -3*q - 5*g + 7, 7*q + 3*g - 9 = 4*q. Which is smaller: x or q?\n'

Answer: 'x\n'


Question: 'Let v = -345 - -347. Is v less than or equal to 5/7?\n'

Answer: 'False\n'


Question: 'Let p = 428 + -410. Which is bigger: p or 16?\n'

Answer: 'p\n'


Question: 'Suppose n - 1 = 2*n. Let s be (-208)/279 - (-8)/(-36). Let y = s - -26/155. Is n at least as big as y?\n'

Answer: 'False\n'


Question: 'Let m = 49083 - 23265281/474. Let w = 3/79 + m. Let n(y) = y - 2. Let o be n(3). Which is greater: w or o?\n'

Answer: 'o\n'


Question: 'Let y = -9744 - -146501/15. Let d = -70/3 + y. Which is greater: -1 or d?\n'

Answer: 'd\n'


Question: 'Let g = -4 + -3. Let d = 9 + g. Which is bigger: d or 1?\n'

Answer: 'd\n'


Question: 'Let r(p) = -2*p**2 - 2*p + 12. Let k be r(2). Are 42/17 and k nonequal?\n'

Answer: 'True\n'


Question: 'Let r = 0.049 + -1.049. Let b be 4/((-32)/(-6))*4. Suppose 2*v - 1 = -b, 0 = 4*a - v - 29. Are a and r equal?\n'

Answer: 'False\n'


Question: 'Let h(a) be the second derivative of -a**5/20 - 11*a**4/12 + 13*a**3/6 + 11*a**2/2 + 5*a. Let d be h(-12). Which is bigger: 4 or d?\n'

Answer: '4\n'


Question: 'Let i be (7 - (3 + 1)) + 1. Suppose -6*c - 12 = -i*c. Suppose 5*l + 25 + 5 = 0. Is l greater than or equal to c?\n'

Answer: 'True\n'


Question: 'Let b(j) = -j - 5. Let g be b(-5). Let d = -38.3 - -36. Let k = d + 1.3. Which is greater: g or k?\n'

Answer: 'g\n'


Question: 'Suppose 14 = -10*w + 3*w. Let h(s) = 2*s**3 + 4*s**2 + 4*s + 4. Let j be h(w). Which is bigger: 2 or j?\n'

Answer: '2\n'


Question: 'Suppose -5*k = -19*l + 15*l - 4, 3*k + l = -1. Is k equal to -1/200?\n'

Answer: 'False\n'


Question: 'Suppose -3*f + 2 = -2*n + 3, 0 = -5*n - 3*f + 55. Let g = -9 + n. Which is smaller: g or -11/7?\n'

Answer: '-11/7\n'


Question: 'Let u be (-4)/6 + (-32)/(-12). Let j be (1 - 4)/(u/2). Suppose 2*f - 3*t + 12 - 5 = 0, -2*f - 6 = -2*t. Which is bigger: f or j?\n'

Answer: 'f\n'


Question: 'Let r = 58 - 53.7. Let m = r + -2.3. Let f = -0.8 - -0.3. Which is bigger: m or f?\n'

Answer: 'm\n'


Question: 'Let v = 463 - 792. Let b = -1309/4 - v. Which is greater: 0.1 or b?\n'

Answer: 'b\n'


Question: 'Let n(p) = 2*p + 0*p - 4*p - 3 - 25. Let i be n(-13). Is i greater than or equal to 2?\n'

Answer: 'False\n'


Question: 'Let f be 9*(7/(-9) + 2). Which is smaller: 75/7 or f?\n'

Answer: '75/7\n'


Question: 'Let i = 21.6 + -63.6. Which is bigger: i or 0?\n'

Answer: '0\n'


Question: 'Let k be (-392)/(-280) - (-179)/15. Which is smaller: 12 or k?\n'

Answer: '12\n'


Question: 'Let i(t) = -10 - 39*t + 8 - 12 + 12*t. Let p be i(-3). Is p smaller than 66?\n'

Answer: 'False\n'


Question: 'Let v be -2 + 2/(-3 + 5). Which is bigger: v or 83?\n'

Answer: '83\n'


Question: 'Let n = -0.8 + -0.2. Let b = -2.5 - -1.4. Let p = b - -1.04. Which is smaller: p or n?\n'

Answer: 'n\n'


Question: 'Suppose -s = -2*g + 9, -2*g + s + 11 = -2*s. Suppose -4*c + 5 = 3*l - 3, -5*c = 4*l - 9. Suppose -c*f + 2 = -13. Is f greater than g?\n'

Answer: 'False\n'


Question: 'Suppose 5*z - 3*k + 47 = 0, 30 = -0*z - 2*z + 4*k. Is z <= 3?\n'

Answer: 'True\n'


Question: 'Let s(o) = 3*o**2 - 14*o - 20. Let i be s(10). Is 141 at least as big as i?\n'

Answer: 'True\n'


Question: 'Let g = -290/693 - 2/77. Which is smaller: 2 or g?\n'

Answer: 'g\n'


Question: 'Let b be ((-42)/9)/(-7)*(81 + 0). Is b at most as big as 54?\n'

Answer: 'True\n'


Question: 'Let d(g) = 8*g**3 - 2*g - 2. Let r be d(-1). Suppose 0 = 3*t + 21 - 0. Let j = r - t. Is j less than -1?\n'

Answer: 'False\n'


Question: 'Let a(b) = 0*b**2 - 14*b - 2*b**2 + 6 + 6*b**2 - 5*b**2. Let l be a(-14). Suppose 10*r - 4 = l*r. Which is smaller: r or -2/13?\n'

Answer: '-2/13\n'


Question: 'Suppose 19 = 8*z + 27. Which is greater: z or -6/67?\n'

Answer: '-6/67\n'


Question: 'Let x = 5/111 - 403/1554. Let b = x - 1/14. Let o = 0.08 - 3.08. Is o greater than or equal to b?\n'

Answer: 'False\n'


Question: 'Let x = 200 + 44. Which is smaller: 243 or x?\n'

Answer: '243\n'


Question: 'Let l(c) = -c**3 + c + 9 + 7 + 6 + 2*c - 15*c**2. Let y be l(-15). Is -25 greater than or equal to y?\n'

Answer: 'False\n'


Question: 'Let w be 75/(-10) - (45/6)/(-5). Let z be (3/w - (-2)/4)*-1. Which is greater: 5/23 or z?\n'

Answer: '5/23\n'


Question: 'Let w = 9.3 + -9.38. Which is smaller: -19 or w?\n'

Answer: '-19\n'


Question: 'Suppose -2*u + 36 = 4*r, -2*r - 3*u = -r + 1. Let g = -8 + r. Suppose 0 = -5*l + g*k + 79, -2*l + 38 = 5*k - 3*k. Which is smaller: l or 16?\n'

Answer: '16\n'


Question: 'Let m(s) = -s + 38. Let d be m(-20). Suppose 5*u + 90 = -y, -3*u + u + 4*y = d. Is -21 not equal to u?\n'

Answer: 'True\n'


Question: 'Let m = 112 + -125.3. Let x = m - -14.3. Which is bigger: x or 0.05?\n'

Answer: 'x\n'


Question: 'Let v = 66 - -41. Is v greater than 106?\n'

Answer: 'True\n'


Question: 'Let g be ((-148)/14)/(-3 - 35/(-21)). Which is smaller: 7 or g?\n'

Answer: '7\n'


Question: 'Let d be 3/18 - (2 - 4435/1092). Let n = d + 2/91. Which is greater: 0 or n?\n'

Answer: 'n\n'


Question: 'Let s(i) = 8*i**2 + 13*i - 30. Let h be s(5). Is 235 >= h?\n'

Answer: 'True\n'


Question: 'Suppose -4*c + 2*r = -0*r + 22, 4*c + 4*r - 8 = 0. Let o = 108 - 559/5. Which is smaller: o or c?\n'

Answer: 'o\n'


Question: 'Suppose 0 = -2*l - 4*l + 6. Let m be 1/(4/9) + -5. Which is bigger: l or m?\n'

Answer: 'l\n'


Question: 'Let u(a) = -2*a**2 - 10*a - 11. Let x be u(-2). Which is smaller: -3/298 or x?\n'

Answer: '-3/298\n'


Question: 'Let a be 18/(((-20)/(-3))/10) - 1. Do a and 30 have different values?\n'

Answer: 'True\n'


Question: 'Let h = 2.589 + -0.589. Is h at least -9/4?\n'

Answer: 'True\n'


Question: 'Let m be (-54692)/(-110) + (-36)/6. Are 491 and m nonequal?\n'

Answer: 'True\n'


Question: 'Let x = 21.426 - 0.126. Let r = -36.2 + x. Let c = 14 + r. Do c and -2/3 have different values?\n'

Answer: 'True\n'


Question: 'Let s be (-10 - -11) + 0 + -1. Suppose 2*v - 11 = -s*v + 3*d, -55 = -4*v - 5*d. Let b be (-4)/v + 28/20. Which is bigger: -3 or b?\n'

Answer: 'b\n'


Question: 'Let k = 0.016 + 0.084. Let b(r) = -2*r - 2. Let w be b(7). Is w less than k?\n'

Answer: 'True\n'


Question: 'Let j be ((-6)/4)/(5*1/140). Is -42 smaller than j?\n'

Answer: 'False\n'


Question: 'Let z = -1182 - -1195. Is -2 not equal to z?\n'

Answer: 'True\n'


Question: 'Suppose 16 = 657*z - 673*z. Which is greater: -11/258 or z?\n'

Answer: '-11/258\n'


Question: 'Let a be ((-1)/(-1))/(5128/(-35928)) + 7. Do 1 and a have the same value?\n'

Answer: 'False\n'


Question: 'Let b = 5.9 - 6. Let s = 2058/5 + -417. Let z = s - -5. Are b and z equal?\n'

Answer: 'False\n'


Question: 'Let y = -1162 + 1135. Let z(c) = -4*c**3 + 2*c**2 + 2*c + 1. Let h be z(-1). Let r(i) = i**3 - 5*i**2 - 4*i - 7. Let s be r(h). Is y equal to s?\n'

Answer: 'True\n'


Question: 'Let c = 39.07 + -39. Let s = c - 0.02. Is 2 < s?\n'

Answer: 'False\n'


Question: 'Suppose q + 3 = -2*d + 18, -20 = -q - 3*d. Suppose f + 11 = m + 5*f, -3*f = -5*m + 9. Which is bigger: m or q?\n'

Answer: 'q\n'


Question: 'Let l = 2.21 + -2.51. Suppose -3*f = -2 + 5. Which is bigger: l or f?\n'

Answer: 'l\n'


Question: 'Let z = 3913 - 379554/97. Which is greater: -1 or z?\n'

Answer: 'z\n'


Question: 'Let b = -45 + 67. Suppose 3*u = 3 + 6. Suppose -25*h - u = -b*h. Is h at most -2/27?\n'

Answer: 'True\n'


Question: 'Let m = 11/562 - 86691/7306. Are -12 and m nonequal?\n'

Answer: 'True\n'


Question: 'Let b = 0.67 - 0.48. Let i = -12.81 - b. Which is greater: i or 2?\n'

Answer: '2\n'


Question: 'Let v = -5/4533 - 693499/45330. Which is smaller: -16 or v?\n'

Answer: '-16\n'


Question: 'Suppose 111 = -5*b - 384. Is b bigger than -98?\n'

Answer: 'False\n'


Question: 'Let h be 10/(-35) - (-16)/7. Suppose 2*r + h = -2. Let y = 3 + r. Is y not equal to -1/3?\n'

Answer: 'True\n'


Question: 'Let l = 12221 + -6953747/569. Is 1 equal to l?\n'

Answer: 'False\n'


Question: 'Let s be -7 - (9 - 1557/117). Which is smaller: s or -4?\n'

Answer: '-4\n'


Question: 'Suppose 4*r = 16, -j = -2*r + r + 1. Suppose j*b + 154 - 94 = 0. Suppose 0 = 3*w - 2*v + 66, 4*v = -3*w + 3 - 51. Is w equal to b?\n'

Answer: 'True\n'


Question: 'Let h(p) = 62*p + 3. Let s(k) = -63*k - 2. Let r(b) = -4*h(b) - 5*s(b). Let u be r(1). Let v be 48/(-110) + 26/u. Are v and 1 equal?\n'

Answer: 'False\n'


Question: 'Let m = -169 + 669/4. Suppose -4*n - 2 = 2. Is m less than or equal to n?\n'

Answer: 'True\n'


Question: 'Let x = 119 + -119. Which is smaller: 114 or x?\n'

Answer: 'x\n'


Question: 'Let m be ((-3)/(-54))/(((-1269)/6)/(-9)). Is -1 at least m?\n'

Answer: 'False\n'


Question: 'Let s(h) = h**2 + 6*h. Let i(q) = q**2 + 9*q + 14. Let k be i(-4). Let y be s(k). Let l = 331/3247 + 3/191. Is l <= y?\n'

Answer: 'False\n'


Question: 'Let k be 7/(630/(-970)) + 1. Which is smaller: -9 or k?\n'

Answer: 'k\n'


Question: 'Suppose o + v = -43, 5*v = 3*o + 130 - 17. Which is bigger: -44 or o?\n'

Answer: 'o\n'


Question: 'Let z = 62 + -34. Let c = 27.97 - z. Do c and -1 have different values?\n'

Answer: 'True\n'


Question: 'Let h = 9.135 + -9.2. Let s = h - 1.335. Is s greater than or equal to 3/5?\n'

Answer: 'False\n'


Question: 'Let v be 5 - (5574/1114 + 0). Is v at most as big as -1?\n'

Answer: 'False\n'


Question: 'Let k = -337 - -336. Let v be 5 + 4/(-2) - -2. Do v and k have the same value?\n'

Answer: 'False\n'


Question: 'Let w(r) = -r**3 - 2*r**2 + 1. Let h be w(-1). Which is bigger: h or -26/37?\n'

Answer: 'h\n'


Question: 'Let l(k) = 4*k**3 + 3*k**2 + k - 2. Let c be l(-2). Suppose 2*u - 5*z = -z - 30, 0 = -4*u + 5*z - 75. Is c at most u?\n'

Answer: 'False\n'


Question: 'Let n = -89.1 + 84.1. Which is bigger: n or -7/13?\n'

Answer: '-7/13\n'


Question: 'Suppose 187 - 229 = 3*o. Which is smaller: -21 or o?\n'

Answer: '-21\n'


Question: 'Let u be (-2)/(-26) - 176/(-416). Let o = 14.89 - -0.11. Which is greater: u or o?\n'

Answer: 'o\n'


Question: 'Let l = 13 - 11. Let a be (-2)/6 + l + -2. Is 0 not equal to a?\n'

Answer: 'True\n'


Question: 'Suppose -4*s - 86 = -5*n, -5*s = -5*n + 19 + 71. Let h be 851/1281 + n/(-21). Let v = 181/854 - h. Is v > 0?\n'

Answer: 'True\n'


Question: 'Let z(p) = -3*p**2 + 4*p - 1. Let y be z(-4). Let d = y + 142. Which is bigger: d or 76?\n'

Answer: 'd\n'


Question: 'Suppose 5*m - 2*o + o + 131 = 0, -3*o - 23 = m. Which is smaller: -13 or m?\n'

Answer: 'm\n'


Question: 'Let g = -45.5 + 16.5. Are g and 4 unequal?\n'

Answer: 'True\n'


Question: 'Let h(v) = -v - 15. Let d be h(-17). Suppose 5*o = d*o - 144. Let x be (o/56)/((-1)/14). Which is bigger: 11 or x?\n'

Answer: 'x\n'


Question: 'Let a = -243 + 242. Which is smaller: a or 1005?\n'

Answer: 'a\n'


Question: 'Let t = 3/4 - 41/44. Let y = 0.05259 + -0.05259. Which is greater: t or y?\n'

Answer: 'y\n'


Question: 'Let l be ((-588)/784)/(((-30)/(-32))/(-1)). Let s = -1 - -2. Which is bigger: s or l?\n'

Answer: 's\n'


Question: 'Let n(f) = -2*f**2 - 2*f - 20. Let v be n(-9). Let d = v - -116. Are d and -47 equal?\n'

Answer: 'False\n'


Question: 'Let c = 190 - 3608/19. Let m(d) = 5*d**2 - 2*d**2 + 2 + 0*d**2 + d + d**3. Let k be m(-3). Is k >= c?\n'

Answer: 'False\n'


Question: 'Let x = 124/3 + -35. Let h(l) = l**2 - 5*l + 5. Let r be h(5). Which is bigger: r or x?\n'

Answer: 'x\n'


Question: 'Let i = 1126 - 1112. Is 14 at least i?\n'

Answer: 'True\n'


Question: 'Suppose 14*f - 999 = 625. Suppose -f = 5*z - z. Which is smaller: -30 or z?\n'

Answer: '-30\n'


Question: 'Let t = 2071777/229 - 9047. Let s = 6071/1832 + t. Which is bigger: s or 4?\n'

Answer: '4\n'


Question: 'Let x = -0.31 - -0.349. Let s = x + -4.039. Are -0.12 and s equal?\n'

Answer: 'False\n'


Question: 'Suppose 2*g - 5*q - 20 = 0, 11*g = 7*g - q - 4. Suppose 0 = -5*v - 2*z + 13, 4*v + 0*v + 4*z = 20. Do g and v have the same value?\n'

Answer: 'False\n'


Question: 'Let a be 117 - (-1 - -3 - -4). Are a and 110 equal?\n'

Answer: 'False\n'


Question: 'Let o = 1.939 - 1.96. Which is smaller: o or -1?\n'

Answer: '-1\n'


Question: 'Let t = 12.495 + -12.6. Is -7 greater than or equal to t?\n'

Answer: 'False\n'


Question: 'Let o(f) = 2*f**2 - 12*f - 7. Let k be o(6). Let y be (-2 - k)*4/20. Let a = -879/8 + 110. Is y > a?\n'

Answer: 'True\n'


Question: 'Let l be ((-6)/4)/(12/80). Let z be l/(-2)*1*2. Suppose 5*m = 25, -2*u - 37 = -4*u - 3*m. Which is bigger: u or z?\n'

Answer: 'u\n'


Question: 'Let x = -31.93 + 32. Let s = -0.83 - x. Is -2 > s?\n'

Answer: 'False\n'


Question: 'Let z be 24/(-84) - (-10)/(-14). Let n be (-21 - -20) + (z - -4). Which is bigger: n or 5/2?\n'

Answer: '5/2\n'


Question: 'Let i = 4 - -4. Let f = -8.01 + i. Let d = f - -0.01. Is d smaller than 0?\n'

Answer: 'False\n'


Question: 'Let c(l) = l**2 + 3*l - 10. Let h(m) = 2*m + 12. Let j be h(-7). Let n = -7 - j. Let g be c(n). Are g and -4 unequal?\n'

Answer: 'True\n'


Question: 'Let s be 9/30*(-24)/(-15). Let h = s - 171/200. Let u be 2 - 1*(-1 - -2). Is u smaller than h?\n'

Answer: 'False\n'


Question: 'Let s(y) = -y + 6. Let h be s(-10). Suppose -2*l - h = -6*l. Let k be (21/(-14))/((-3)/l). Which is bigger: k or -0.1?\n'

Answer: 'k\n'


Question: 'Let d = -205 + 125. Let s be 90/(-12)*(-2)/d*2. Which is smaller: s or 0?\n'

Answer: 's\n'


Question: 'Let v = 39 - 33. Suppose -v*a + 11*a = 35. Suppose x + 2 = -2*t, -t = 3*x - 3*t - 34. Which is smaller: x or a?\n'

Answer: 'a\n'


Question: 'Let i = 289684/229 + -1265. Which is greater: 1 or i?\n'

Answer: '1\n'


Question: 'Let b be -3 - 2 - ((-390)/(-18))/(-1). Is 17 greater than b?\n'

Answer: 'True\n'


Question: 'Let i(v) = v**2 + 8*v + 7. Let c be i(-6). Let m be 1/c - 6/(-30). Let a be 3/3*1 + -1. Is a bigger than m?\n'

Answer: 'False\n'


Question: 'Let h(g) be the second derivative of g**3/3 - g**2 + 5*g. Let t be h(-9). Which is smaller: -19 or t?\n'

Answer: 't\n'


Question: 'Suppose -i = -0*i - 17. Suppose -i - 3 = 5*r. Let w be (-15)/6*r/(-20). Which is smaller: w or 0?\n'

Answer: 'w\n'


Question: 'Let a(b) = 3*b - 3. Let u be a(2). Let p be u/(-15)*(-1 + 3). Which is smaller: -21 or p?\n'

Answer: '-21\n'


Question: 'Let h = 4 - -1. Suppose 3*v - h = 4. Which is greater: v or 13/5?\n'

Answer: 'v\n'


Question: 'Suppose 7*y = 2*y + 5. Let x be 18/99 - 14*y/44. Is x >= 1?\n'

Answer: 'False\n'


Question: 'Let x(i) = -i**3 + 3*i**2 - i - 2. Let o = -12 - -14. Let t be x(o). Which is smaller: t or -2/11?\n'

Answer: '-2/11\n'


Question: 'Let a(c) = -79*c**2 + 9*c + 16. Let j be a(-2). Is j greater than -318?\n'

Answer: 'False\n'


Question: 'Let h(j) = -j**3 - 6*j**2 + 6*j - 1. Let w be h(-7). Suppose -18 = -5*l + w*s - 2*s, 2*l - 2 = -s. Suppose 0*x + 3*x + 15 = 4*f, -f - x = 5. Is l < f?\n'

Answer: 'False\n'


Question: 'Suppose 5*f = 5*s - 130, 0 = 52*f - 55*f - 6. Is s >= 5?\n'

Answer: 'True\n'


Question: 'Let w = -7.02 + -589.98. Let i = w - -570.9. Let q = -26 - i. Are -11 and q non-equal?\n'

Answer: 'True\n'


Question: 'Let y = 751 - 742. Which is greater: y or 31?\n'

Answer: '31\n'


Question: 'Let q = -709 - -771.8. Let x = q - 63. Are x and -16/3 equal?\n'

Answer: 'False\n'


Question: 'Let s(m) = -12*m - 3. Let l be s(-1). Suppose 5 - l = 4*k. Let b = 122 + -1709/14. Which is greater: b or k?\n'

Answer: 'b\n'


Question: 'Let w be (6 + -7)/(2 - 7/4). Let v be (w + (-18)/(-8))/((-2)/8). Is 8 <= v?\n'

Answer: 'False\n'


Question: 'Let n = 1693/70376 + -2/463. Which is bigger: n or 0?\n'

Answer: 'n\n'


Question: 'Let d be 364/12 + 180/(-135). Is 17 smaller than d?\n'

Answer: 'True\n'


Question: 'Suppose -363*u + 297*u = 0. Let q be (2/(-7))/((-18)/70). Which is bigger: q or u?\n'

Answer: 'q\n'


Question: 'Let b = 22 + -2. Let w = 19 - b. Is -2/71 greater than w?\n'

Answer: 'True\n'


Question: 'Let x = -14 + 15. Let t = 50 + -68. Is t at least x?\n'

Answer: 'False\n'


Question: 'Let y(w) = w**2 - 2*w - 11. Let d be y(6). Suppose d*a + 15 = 2. Let o be (1 + -2)/(10/4). Is a smaller than o?\n'

Answer: 'True\n'


Question: 'Let m(r) = -6*r**2 + 15*r + 201. Let p be m(-11). Are 1 and p nonequal?\n'

Answer: 'True\n'


Question: 'Suppose 36*q - 32*q = 3*n - 1076, n + 3*q - 350 = 0. Is 355 >= n?\n'

Answer: 'False\n'


Question: 'Let b = 6 - -9. Suppose b*k - 19*k = -64. Which is bigger: k or 15?\n'

Answer: 'k\n'


Question: 'Let h = 419.0994 - 0.0994. Which is bigger: -0.2 or h?\n'

Answer: 'h\n'


Question: 'Let y = 1206 + -716. Is y at most 489?\n'

Answer: 'False\n'


Question: 'Suppose 20 = 8*m - 20. Suppose 7*g = m*g - 16. Is g at least -9?\n'

Answer: 'True\n'


Question: 'Let r(c) = -2 + 4 + 1 - c**3 - 2*c + 4*c**2. Let h be r(3). Let u be 4/(-14) + -3 + (-232)/(-28). Is h != u?\n'

Answer: 'True\n'


Question: 'Let b(k) = 2*k**2 + 27*k - 4. Let w be b(-12). Is w greater than or equal to -40?\n'

Answer: 'True\n'


Question: 'Let b = -1/5925 - 3533/130350. Is 2 != b?\n'

Answer: 'True\n'


Question: 'Suppose -104 = -a - 101. Which is greater: 70 or a?\n'

Answer: '70\n'


Question: 'Suppose -37*r = -54*r + 17. Which is smaller: 0.164 or r?\n'

Answer: '0.164\n'


Question: 'Suppose -z = 2*t + 2*t - 3, 4*z - 3*t - 31 = 0. Suppose 3*r = -4*p - r - 20, 5*p = 3*r + z. Which is smaller: -12/11 or p?\n'

Answer: '-12/11\n'


Question: 'Let m = 139 + -41. Let a = -90 + m. Which is smaller: 1/2 or a?\n'

Answer: '1/2\n'


Question: 'Let r(x) = x - 5. Suppose 0 = 5*b - b + 80. Let d be ((-45)/(-75))/((-2)/b). Let v be r(d). Is v at least 1/21?\n'

Answer: 'True\n'


Question: 'Suppose 3*p + 0*p = -2*v + 280, -280 = -2*v + p. Let u = -92 + v. Let o be 113/205 + u/(-80). Is o at least as big as 0?\n'

Answer: 'False\n'


Question: 'Let n = -33.4 + 31. Let z = n + 2.3. Let r = -17/22 - -3/11. Which is smaller: r or z?\n'

Answer: 'r\n'


Question: 'Let x = 240 - 235. Is 13 at most x?\n'

Answer: 'False\n'


Question: 'Let x = 28 - 589/21. Which is smaller: x or 0?\n'

Answer: 'x\n'


Question: 'Let c be 54/36*(-166)/3. Which is smaller: c or 0?\n'

Answer: 'c\n'


Question: 'Suppose 0 = -33*a - 16*a + 3185. Is 1 < a?\n'

Answer: 'True\n'


Question: 'Let u = 4.3 + -4. Suppose z + z + 16 = 0. Let q be z + 4 + (-60)/(-14). Are u and q unequal?\n'

Answer: 'True\n'


Question: 'Suppose -4*v = -3*t - 27, v - 4*t + 9*t = -22. Suppose -1 = -v*i - 7. Which is bigger: i or -17/5?\n'

Answer: 'i\n'


Question: 'Let b be ((-7)/3)/((-2)/24). Let p = b - 22. Let y(j) = j**2 + 3*j - 3. Let n be y(-5). Are p and n nonequal?\n'

Answer: 'True\n'


Question: 'Let b = 28 + -26. Let p be b - 4*4/16. Suppose 3*r = -12, 4*r + 18 = 3*g - p. Which is smaller: g or 2/35?\n'

Answer: '2/35\n'


Question: 'Let v be (-147)/16807*(1 - (-5)/3). Is v > 0?\n'

Answer: 'False\n'


Question: 'Suppose 0*j - 5*j + 4*l = -22, 2*l = j - 8. Suppose 7*r - 3*h - 28 = 2*r, -20 = -j*r - h. Is r at most 2?\n'

Answer: 'False\n'


Question: 'Let s = -332 + 334. Do 8/15 and s have the same value?\n'

Answer: 'False\n'


Question: 'Suppose -24*h = 19*h. Do -2/1019 and h have the same value?\n'

Answer: 'False\n'


Question: 'Let p = -2.7 + -0.1. Let s = p - -2.7. Which is greater: s or -5/4?\n'

Answer: 's\n'


Question: 'Let c(t) = -13*t - 145. Let j be c(-11). Let s = 20/9 - 26/9. Is j equal to s?\n'

Answer: 'False\n'


Question: 'Let c be 56/2*3/6. Let k be 170/12 - 2*(-1)/6. Which is bigger: k or c?\n'

Answer: 'k\n'


Question: 'Let i(o) = o**3 + 4*o**2 - 35*o + 11. Let f be i(-9). Is f less than -80?\n'

Answer: 'False\n'


Question: 'Let x = -19.85 + 10.85. Which is smaller: -1/48 or x?\n'

Answer: 'x\n'


Question: 'Let u be ((-7)/10)/((-4 - -3)/2). Which is bigger: u or 4?\n'

Answer: '4\n'


Question: 'Let x = -7605/2 - -3387. Let b = x - -49033/118. Is b greater than 1?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -47*u - 3621 - 1549. Is u smaller than -219/2?\n'

Answer: 'True\n'


Question: 'Let t = 1.984 - -0.016. Let x be (-5 - (-46)/10)/((-4)/(-16)). Which is smaller: t or x?\n'

Answer: 'x\n'


Question: 'Let b = -63 + 30. Let u = -78 - b. Which is smaller: -46 or u?\n'

Answer: '-46\n'


Question: 'Let n = 3565 + -830637/233. Is -1 at least n?\n'

Answer: 'False\n'


Question: 'Suppose -25*p = -44*p + 3 - 3. Let t(v) = -v**2 + 7*v + 1. Let f be t(-5). Let a = -294/5 - f. Is p less than or equal to a?\n'

Answer: 'True\n'


Question: 'Let o = -3573 + 82176/23. Suppose 0 = 5*v - v. Is o > v?\n'

Answer: 'False\n'


Question: 'Let j = 561 - 562. Is j != -2/417?\n'

Answer: 'True\n'


Question: 'Suppose -r = 5 - 91. Let o = -260/3 + r. Which is smaller: -1 or o?\n'

Answer: '-1\n'


Question: 'Suppose d - 8 = -n, 5*n = -d - 3*d + 35. Suppose -n*u - 2*k = 7, k + 3 = -2. Which is smaller: u or -1/10?\n'

Answer: '-1/10\n'


Question: 'Suppose 2*g + 92 = 4*k, -5*k - 2*g = 2 - 108. Let p be (-33)/7 - k/77. Is -5 at least as big as p?\n'

Answer: 'True\n'


Question: 'Let m(c) = -2 + 7*c**2 - 3*c + 7*c - 3*c**2 - 5*c**2. Let g be m(3). Let h = -81/4 + 21. Are h and g equal?\n'

Answer: 'False\n'


Question: 'Let j = -116 - -118.85. Let t = 2.6 - j. Let b = 0.05 - t. Which is bigger: 5 or b?\n'

Answer: '5\n'


Question: 'Let d be 4/(-7) + (-1350)/210. Which is greater: d or -3/4?\n'

Answer: '-3/4\n'


Question: 'Let q = 37 - 556/15. Suppose -3*g + 3 = 3*l, -40*l - g + 1 = -35*l. Is l equal to q?\n'

Answer: 'False\n'


Question: 'Let b(n) = n**3 + 2*n**2 - 4*n. Let q be b(-3). Suppose -q*p + p = 0. Let t be (2/60)/(126/210). Which is greater: p or t?\n'

Answer: 't\n'


Question: 'Let n be (28/5)/((-2)/(-5)). Suppose -n = -3*w - 17. Is w at least -26?\n'

Answer: 'True\n'


Question: 'Let r = -1225 + 1224. Is r > 1/157?\n'

Answer: 'False\n'


Question: 'Let t be (-9)/(81/18)*(-52)/(-8). Let y(d) = -4*d - 2. Let m be y(3). Is m at least as big as t?\n'

Answer: 'False\n'


Question: 'Let l = -1300.204 + 1300.2. Let r = 0 + -0.1. Are l and r non-equal?\n'

Answer: 'True\n'


Question: 'Let f be (2/5)/((-338)/10). Suppose 4*u - 2*v + 2 + 2 = 0, 3*u + 4*v + 3 = 0. Which is smaller: u or f?\n'

Answer: 'u\n'


Question: 'Let i = -392 + 382. Is -43/5 less than i?\n'

Answer: 'False\n'


Question: 'Suppose q + q = -4. Let x = 28.4 + -31. Let r = -3.1 - x. Is r at least as big as q?\n'

Answer: 'True\n'


Question: 'Let y(o) = 4*o + 1. Let r be y(-1). Let t(n) = -n**3 + 18*n**2 - 35*n + 3. Let u be t(16). Let s be (r - 6/u) + 3. Are 0 and s equal?\n'

Answer: 'False\n'


Question: 'Suppose 0*s - 3*s = -54. Suppose 155 = -5*w + 155. Suppose -y - y - s = -4*p, w = -2*y + p - 6. Are -1/5 and y unequal?\n'

Answer: 'True\n'


Question: 'Let k = 1121 + -1122. Which is bigger: k or -4/215?\n'

Answer: '-4/215\n'


Question: 'Let b = -3091 - -15536/5. Let i be (1/21)/((-4)/8) + 2872/168. Which is bigger: i or b?\n'

Answer: 'i\n'


Question: 'Let r be (-32)/10*(-200)/(-180). Which is smaller: 0 or r?\n'

Answer: 'r\n'


Question: 'Let d = 32 + -30. Suppose -10 = -3*r - 0*z + d*z, -3*z - 15 = -4*r. Which is smaller: -2/7 or r?\n'

Answer: '-2/7\n'


Question: 'Let z = 119341/5 + -23767. Let o = z - 102. Let w = -8 - -7.9. Is w greater than o?\n'

Answer: 'True\n'


Question: 'Let s(q) = -3*q**2 - 5 + 2*q**2 + q**3 + 4*q**2 + 4*q - 3*q**3. Let x be s(4). Is x < 0?\n'

Answer: 'True\n'


Question: 'Let x(t) = -11*t - 244. Let i be x(-28). Is i at most as big as 63?\n'

Answer: 'False\n'


Question: 'Let y = -30.8 - -29. Is y less than 1/9?\n'

Answer: 'True\n'


Question: 'Let m be 4/12*(-3)/(-9)*0. Let t = 66/5 + -1929/145. Are m and t nonequal?\n'

Answer: 'True\n'


Question: 'Let b(t) = t**3 + 3*t**2 - 2. Let l be b(-1). Is -4/31 at least l?\n'

Answer: 'False\n'


Question: 'Let b(s) = 4 - 2 + s - 9. Let q be b(19). Is q bigger than 7?\n'

Answer: 'True\n'


Question: 'Let n be 20/30 - (-2)/1. Let o be -2 - (12/(-4) + (0 - 1)). Which is smaller: n or o?\n'

Answer: 'o\n'


Question: 'Let z = 64 - 207. Is -142 less than z?\n'

Answer: 'False\n'


Question: 'Let u(o) = 14*o - 22. Let d be u(-2). Which is bigger: d or 0.02?\n'

Answer: '0.02\n'


Question: 'Suppose 15*p - 20*p + 10 = 0. Let j = 12 + -10. Let v = j - 3. Which is greater: p or v?\n'

Answer: 'p\n'


Question: 'Suppose -45*p - 2*n - 506 = -48*p, 3*p - 4*n - 514 = 0. Which is greater: 163 or p?\n'

Answer: 'p\n'


Question: 'Suppose 2*r = -35*i + 33*i - 6, -i = 2. Which is smaller: r or -9/19?\n'

Answer: 'r\n'


Question: 'Let h = -9/5 + 13/10. Let b = -0.0713 - -3.0713. Is b <= h?\n'

Answer: 'False\n'


Question: 'Let k(v) = -v**2 + 8*v - 11. Let d be k(5). Let n be 2 + (-3 - 0 - -1). Suppose 4*p - 15 + 3 = n. Which is smaller: d or p?\n'

Answer: 'p\n'


Question: 'Let p(c) = -c + 11. Let s(d) = d - 11. Let g(w) = 4*p(w) + 3*s(w). Let b be g(10). Let m = -1081/9 - -120. Is b less than or equal to m?\n'

Answer: 'False\n'


Question: 'Let o = -221 - -229. Let n(z) = z**3 - 6*z**2 - 6*z + 2. Let u be n(7). Is o at least u?\n'

Answer: 'False\n'


Question: 'Suppose 72 = 2*b - 5*b. Let u be -17 - -1 - b/(-12). Let j be (-4)/u*6/2. Is -1 at least j?\n'

Answer: 'False\n'


Question: 'Let r = -117 - -120.92. Let t = 0.08 + r. Let n = t + -4.05. Is n bigger than 0.2?\n'

Answer: 'False\n'


Question: 'Let y = -208 - -207.4. Which is smaller: -2 or y?\n'

Answer: '-2\n'


Question: 'Let f(t) = 1137*t**2 + 3*t + 5. Let d be f(-1). Let k = d + -96816/85. Which is smaller: k or 0?\n'

Answer: 'k\n'


Question: 'Let z = -5.2242 + 0.2242. Which is smaller: -14 or z?\n'

Answer: '-14\n'


Question: 'Let g = 516 - 522.59. Let c = -0.41 + g. Is 2 less than or equal to c?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -t + 4*l - 6*l - 5, t = 2*l + 3. Let m = -7/3 - -5/6. Let j = 13/8 + m. Is j at least t?\n'

Answer: 'True\n'


Question: 'Let y = 22/15 - 2/15. Is y greater than -2/7?\n'

Answer: 'True\n'


Question: 'Suppose -3*n = -3*y + 3, 0 = -n + 2*y - 0 - 2. Suppose p - 4 = -2*u, n = 5*u - 0*u - 4*p + 16. Suppose -5*l + 0*l = -5. Which is smaller: u or l?\n'

Answer: 'u\n'


Question: 'Let v = -0.023 + -23.977. Let g = -23.97 - v. Which is greater: -2 or g?\n'

Answer: 'g\n'


Question: 'Let j be 1152/3885 + 4/(-14). Let u = 220388 + -40771889/185. Let h = u - j. Is h > -2?\n'

Answer: 'True\n'


Question: 'Let q = -13 + 18. Suppose 0 = 4*x + 14 + 6. Let y be (4/x)/(27/30 - 1). Is y greater than q?\n'

Answer: 'True\n'


Question: 'Let g be 1 - 888/1168 - 1/4. Is g >= 1?\n'

Answer: 'False\n'


Question: 'Suppose -12*b + 839 = 227. Which is greater: 5 or b?\n'

Answer: 'b\n'


Question: 'Let s be (-8 - -1)*2/8. Let u be (-9)/6*(5/3 + -1). Which is bigger: s or u?\n'

Answer: 'u\n'


Question: 'Let s = 23 - 45. Is -18 not equal to s?\n'

Answer: 'True\n'


Question: 'Let q = 2337/5 + -466. Let c(o) = -53*o - 52. Let b be c(-1). Is b at least as big as q?\n'

Answer: 'False\n'


Question: 'Suppose -2*p - 43 = -2*i - 3*p, i + 5*p - 26 = 0. Suppose 3*h = i - 0. Suppose 4*m + h + 5 = 0. Is m equal to -7/4?\n'

Answer: 'False\n'


Question: 'Suppose 3 = 4*z - 25. Let d(n) = n**3 - 7*n**2 - 3*n - 12. Let p be d(8). Let x be (p/84)/((-1)/42*-2). Does x = z?\n'

Answer: 'True\n'


Question: 'Let p = -6.223 - -0.023. Let f = -6.4 - p. Is -0.2 at most f?\n'

Answer: 'True\n'


Question: 'Let g = 10560 + -1330571/126. Are g and 0 unequal?\n'

Answer: 'True\n'


Question: 'Let c = -109 + 57. Let z = -51.979 - c. Which is smaller: z or 0.1?\n'

Answer: 'z\n'


Question: 'Let h(o) = 5*o**2 + 3 - 2*o**2 - o**3 + 11*o - 4*o. Let s(l) = l**3 - 3*l**2 - 6*l - 2. Let z(g) = -4*h(g) - 5*s(g). Let t be z(4). Which is smaller: -11 or t?\n'

Answer: '-11\n'


Question: 'Let f be -2 + 4 - (-7 - -2). Let i(r) = -3*r + 2. Let w be i(2). Let k be w/10 + f/5. Which is bigger: k or 2?\n'

Answer: '2\n'


Question: 'Let f be 6/21 - 32/14. Let h be (3/f)/(12/(-160)). Suppose -3*i + h = -2*i - 4*r, -2*i = 3*r + 15. Do i and -2/65 have different values?\n'

Answer: 'True\n'


Question: 'Let a be 4 + (-566)/60 - -4. Let s = a + 1/10. Let m = 1 - 1. Which is greater: m or s?\n'

Answer: 'm\n'


Question: 'Let g = -1/1017 + 3059/8136. Is g smaller than 2/21?\n'

Answer: 'False\n'


Question: 'Let s be (-14)/(-35)*5*(-20 + -3). Which is smaller: -45 or s?\n'

Answer: 's\n'


Question: 'Let v(c) = c**3 - 6*c**2 - 16*c - 16. Let g be v(8). Is g at most as big as -21?\n'

Answer: 'False\n'


Question: 'Let r = -130 + 102. Let o = -36 - r. Does 0 = o?\n'

Answer: 'False\n'


Question: 'Let f = -8377 + 8378. Let a be 4/302*(-1 - 0). Which is greater: f or a?\n'

Answer: 'f\n'


Question: 'Suppose -25*v = -20*v - 330. Suppose 7*i = 135 + 334. Which is greater: v or i?\n'

Answer: 'i\n'


Question: 'Let b = 534 + -534. Is b equal to 1.96?\n'

Answer: 'False\n'


Question: 'Let x = 25 - 3. Let r = 23.5 - x. Which is greater: -1/3 or r?\n'

Answer: 'r\n'


Question: 'Let f = -33/7 + 32/7. Let l = -0.078 - -0.178. Is f at most as big as l?\n'

Answer: 'True\n'


Question: 'Let l be -12*1 - 76857/(-6919). Is l < -2?\n'

Answer: 'False\n'


Question: 'Let w = 0.1 + 0. Let p = -1221/7 - -174. Which is smaller: w or p?\n'

Answer: 'p\n'


Question: 'Let d = -3 - -4. Suppose -3*y + 13 - d = 0. Let w be (-2)/y*(1 + -1). Which is greater: w or 1/4?\n'

Answer: '1/4\n'


Question: 'Let s = 107975828456/3519 + -30683668. Let x = s + 2/391. Which is bigger: x or 2?\n'

Answer: '2\n'


Question: 'Let i = 17 - 16.3. Let j = i - -0.3. Let v be 3 + -2 + 780/(-572). Which is smaller: j or v?\n'

Answer: 'v\n'


Question: 'Let q = -42 + 34. Let u be (-18)/(-12)*q/6. Which is smaller: u or -4?\n'

Answer: '-4\n'


Question: 'Let q(f) = f**2 - 3*f. Suppose 0*o - 3 = b + 2*o, o + 12 = 3*b. Let h be q(b). Which is smaller: -1/6 or h?\n'

Answer: '-1/6\n'


Question: 'Let i = 104.018 + -0.018. Is 0.2 at least as big as i?\n'

Answer: 'False\n'


Question: 'Let w be (-1 - 1)/(-6) - 10/(-6). Suppose 5*c = -4*i + 54, -5*i = w*c - 114 + 38. Is 17 at most as big as i?\n'

Answer: 'False\n'


Question: 'Suppose 0 = 10*v - 14*v + 20. Suppose -v*p - 11 = 19. Is 5 > p?\n'

Answer: 'True\n'


Question: 'Suppose -3*a = 11*a + 5*a. Which is smaller: -13/115 or a?\n'

Answer: '-13/115\n'


Question: 'Let j be 862/(-72) + 124/558. Which is greater: -12 or j?\n'

Answer: 'j\n'


Question: 'Let d be 0/2 - (6 + 1 - 124). Which is smaller: 118 or d?\n'

Answer: 'd\n'


Question: 'Suppose 3 + 13 = 8*a. Suppose 2*b = -a*b + 4. Which is smaller: 2/21 or b?\n'

Answer: '2/21\n'


Question: 'Suppose 14 = -3*n + 4*w, -n - 5*w = -6*n - 15. Suppose -18 = -3*v - 5*i, i = 3*v - n*i - 42. Is v less than 13?\n'

Answer: 'True\n'


Question: 'Let t = -4 - -4. Suppose 3 = y - 5*i - 3, -5*y = -5*i + 10. Let x be (y/(-50))/(7/70). Which is greater: t or x?\n'

Answer: 'x\n'


Question: 'Let g = 330 + -226. Which is smaller: g or 103?\n'

Answer: '103\n'


Question: 'Let r = -7 + 11. Let g = r + 1. Let h = -31528 - -31533. Do h and g have different values?\n'

Answer: 'False\n'


Question: 'Let t be (75/3 - 0) + -4. Let m be t/3*(-1)/(-1). Suppose -m = -5*a + 73. Is 16 < a?\n'

Answer: 'False\n'


Question: 'Let u = 7.5 - 7.346. Let h = u - 0.054. Let l be (-2)/(-56) + 8/(-28). Which is smaller: l or h?\n'

Answer: 'l\n'


Question: 'Let v be ((-6)/(-9))/((-2)/(-3)). Let b be (-1 - 1)*(-2 + 4). Let j be ((-6)/b)/((-429)/52). Which is smaller: j or v?\n'

Answer: 'j\n'


Question: 'Suppose 7*t + 140 = 3*t. Let a = -29 - t. Is a < 10?\n'

Answer: 'True\n'


Question: 'Let q be (-1768)/180 + 24/108. Which is greater: 2/3 or q?\n'

Answer: '2/3\n'


Question: 'Let d = -256 - -264.4. Which is bigger: 2 or d?\n'

Answer: 'd\n'


Question: 'Let a = 9 - 2. Suppose 5*q + a = -o - 3, -20 = -5*q + 5*o. Let g be (-2)/5 - 4/(-10). Which is smaller: g or q?\n'

Answer: 'q\n'


Question: 'Let q = 30 + -36. Let f = q - -5.9. Which is bigger: f or 2?\n'

Answer: '2\n'


Question: 'Let p = -6 - -19. Let i = -12.9 + p. Which is smaller: i or -2/11?\n'

Answer: '-2/11\n'


Question: 'Suppose -2*x + 16 = -0*x. Let r(w) = -w**2 + 5*w + 6. Let m be r(x). Are m and -17 nonequal?\n'

Answer: 'True\n'


Question: 'Let y(b) = -b**3 - 8*b**2 + b + 1. Let k be y(-8). Is -1 smaller than k?\n'

Answer: 'False\n'


Question: 'Suppose -b = 2681 - 2682. Let q = 7541/41 - 184. Which is greater: q or b?\n'

Answer: 'b\n'


Question: 'Let m = 146 + -147.94. Let c = 6.94 - 7. Let r = m + c. Which is bigger: r or -3?\n'

Answer: 'r\n'


Question: 'Suppose -195 = -42*f + 47*f. Which is bigger: f or -41?\n'

Answer: 'f\n'


Question: 'Suppose -61 + 85 = 8*t. Which is greater: t or 52/23?\n'

Answer: 't\n'


Question: 'Let o be (-162)/(-28)*48/(-1224). Which is smaller: 0 or o?\n'

Answer: 'o\n'


Question: 'Suppose 59 - 19 = 4*k. Suppose -k = -r + 2*r + 2*a, 5 = 4*r - a. Is -2/93 < r?\n'

Answer: 'True\n'


Question: 'Suppose -3*w + 11*w = 80. Suppose 5*i - 14 = 4*p + w, 3*p - 13 = -4*i. Is i < 3?\n'

Answer: 'False\n'


Question: 'Suppose -2*j = -0 - 6. Suppose 4*a - 2*m - 6 = 0, -6*a = -2*a + m - 9. Which is bigger: a or j?\n'

Answer: 'j\n'


Question: 'Let f = -10065.29 - -9873. Let z = 207.3 + f. Let x = -15 + z. Which is greater: -0.2 or x?\n'

Answer: 'x\n'


Question: 'Suppose -31037 = 24*t + 3403. Is t equal to -1436?\n'

Answer: 'False\n'


Question: 'Suppose 10*b + 119 = -111. Let v(y) = 2*y**3 + 3*y**2 - y. Let s be v(-3). Is s at least b?\n'

Answer: 'False\n'


Question: 'Suppose 3*x + 735 = -3*w, 3*x - 446 = w - 1181. Which is smaller: -246 or x?\n'

Answer: '-246\n'


Question: 'Let s(r) = r**2 - 5*r + 15. Let j be s(-7). Let t = -102 + j. Is -0.2 smaller than t?\n'

Answer: 'False\n'


Question: 'Let v be 92/602*(-20)/8. Let s = v - 2/43. Suppose 4*d + 5 = -d. Is d smaller than s?\n'

Answer: 'True\n'


Question: 'Let a be ((-118)/72)/(1/(-3)). Let f = -17/4 + a. Suppose -21*y - 17*y = 4*y. Which is bigger: y or f?\n'

Answer: 'f\n'


Question: 'Let a = 691 - 688.018. Let p = a - -0.018. Is -9 <= p?\n'

Answer: 'True\n'


Question: 'Suppose 46*a + 259 = 47*a. Which is bigger: 260 or a?\n'

Answer: '260\n'


Question: 'Let g(k) = 10*k + 14. Let t be g(-2). Let r be (-6)/12 - (-159)/t. Are r and -28 equal?\n'

Answer: 'False\n'


Question: 'Let n = 14 - 6. Let l be 0 - 3/((-9)/n). Let s = -8171 + 8173. Which is bigger: s or l?\n'

Answer: 'l\n'


Question: 'Let d = 190 - 84. Let k = d + -105.9. Are -102 and k equal?\n'

Answer: 'False\n'


Question: 'Let v be 4/4 - 291 - -2. Let w be ((-2)/4)/((-8)/v). Let z be -1 + (w/11)/(-2). Is z < 0?\n'

Answer: 'True\n'


Question: 'Let u = -21 + 21. Suppose u*s + 39 = -3*s. Is -11 greater than s?\n'

Answer: 'True\n'


Question: 'Let p be 5/(1*(-40)/(-56)). Which is greater: p or -4/21?\n'

Answer: 'p\n'


Question: 'Let v = 2/135777889 + 442228581407/208147503837. Let m = v - -4/219. Is m < 1?\n'

Answer: 'False\n'


Question: 'Suppose 393*t - 35 = 398*t. Suppose -r = 2*r + 24. Is r greater than or equal to t?\n'

Answer: 'False\n'


Question: 'Let q = 9 - 8.92. Let w = q + 0.01. Let u = w + -0.09. Which is smaller: u or -0.1?\n'

Answer: '-0.1\n'


Question: 'Let k = 34 + -33.7. Let o be ((-21)/14)/((-2)/4). Let i be o + (-18)/8 - 1. Is k at most as big as i?\n'

Answer: 'False\n'


Question: 'Let s = -46293/5 + 9263. Let u = -0.1 + 0.1. Are s and u equal?\n'

Answer: 'False\n'


Question: 'Let r = -203 + 204. Which is smaller: -1/130 or r?\n'

Answer: '-1/130\n'


Question: 'Let h = -0.0407 - 144.9593. Which is greater: h or -2/3?\n'

Answer: '-2/3\n'


Question: 'Let m = -1438 + 1392.69. Let w = m + 45. Let n = 0.11 + w. Is 1/6 greater than n?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -3*d - 2*d - 85. Suppose 1461*y = 1464*y + 45. Is y >= d?\n'

Answer: 'True\n'


Question: 'Let r be 7/(-180) - 7/63. Is 0 != r?\n'

Answer: 'True\n'


Question: 'Let u be (4/19)/((24/132)/1). Is 0 <= u?\n'

Answer: 'True\n'


Question: 'Let t be 27/(-18)*14/63. Is 3/2 bigger than t?\n'

Answer: 'True\n'


Question: 'Let j be ((-3 - -1) + -613)*-2. Let q = -40598/33 + j. Let s = 34/231 + q. Is 0 not equal to s?\n'

Answer: 'True\n'


Question: 'Let j be (-1)/(2 - 1)*-30. Suppose -z = 2*z + j. Let v be 4/z*(-25)/(-4). Which is bigger: -4 or v?\n'

Answer: 'v\n'


Question: 'Let p be 3/27*-7 + 1. Let d = -0.9 + 3.8. Let f = d - 3.9. Which is smaller: f or p?\n'

Answer: 'f\n'


Question: 'Let l be 0/(2 - 1 - 3). Suppose l*b = 2*b - 22. Which is greater: 10 or b?\n'

Answer: 'b\n'


Question: 'Let m = 36 + -34. Suppose 0*c = -y + m*c, -20 = y + 2*c. Let a be (12/180)/(6/y). Which is smaller: -1 or a?\n'

Answer: '-1\n'


Question: 'Let r = 27503702/1225 + -22452. Is -1 >= r?\n'

Answer: 'False\n'


Question: 'Let s(d) = -4*d + 27. Let h be s(7). Let g = 173/5 - 3643/105. Are g and h unequal?\n'

Answer: 'True\n'


Question: 'Let r(y) = 4*y + 1. Let l be ((-4)/(-5))/((-6)/(-45)). Let w be r(l). Let f be (1/(-2))/(w/20). Is -0.1 smaller than f?\n'

Answer: 'False\n'


Question: 'Let y be (-4)/6 + 2 - (-35)/(-105). Is y less than -1/73?\n'

Answer: 'False\n'


Question: 'Let s = 9.07 - 11.07. Is s > -28?\n'

Answer: 'True\n'


Question: 'Suppose 2*j + 127 + 81 = -4*n, 2*j + 212 = -3*n. Let x = 218 + j. Is x equal to 105?\n'

Answer: 'False\n'


Question: 'Let g be (-2 + 98 + 0)/(190/361). Is 183 > g?\n'

Answer: 'True\n'


Question: 'Let f = -41 + -5. Let r = 42 + f. Which is smaller: r or -0.07?\n'

Answer: 'r\n'


Question: 'Let u be -1 + (-5)/(-60)*321/(-2). Which is smaller: u or -15?\n'

Answer: '-15\n'


Question: 'Let t = 17 + -10. Let o be (2 + 2)/(2 + -3). Let d = 3 - o. Does t = d?\n'

Answer: 'True\n'


Question: 'Let c be (-47)/(-6) - 9/(-18). Is c > 8?\n'

Answer: 'True\n'


Question: 'Let t(b) = -b**3 - 42*b**2 - 38*b + 121. Let p be t(-41). Let s(v) = -2*v. Let c be s(1). Let d = -2 - c. Is d greater than p?\n'

Answer: 'True\n'


Question: 'Let k = -67109/66 - -3052/3. Let z = 4/11 - k. Which is greater: z or 0?\n'

Answer: '0\n'


Question: 'Suppose 0 = -5*c - 5*i - 10, 5*c + 13 = -4*i + 7. Which is bigger: c or -2?\n'

Answer: 'c\n'


Question: 'Let w(c) = -c - 10. Suppose -m + 4*m = -24. Let q be w(m). Let r = q + 17. Are r and 15 equal?\n'

Answer: 'True\n'


Question: 'Let j(w) = -w**2 + 2*w + 12. Let d be j(-4). Let n be 39/d - (-1)/4. Which is greater: n or -20/7?\n'

Answer: '-20/7\n'


Question: 'Let t(p) = 14*p - 717. Let x be t(51). Is x at least -32/15?\n'

Answer: 'False\n'


Question: 'Let d(i) = -19*i + 306. Let m be d(16). Do m and 1.3 have different values?\n'

Answer: 'True\n'


Question: 'Let s(z) = 2*z + 4. Let q(j) = -j - 4. Let l be q(-7). Let p be s(l). Let v be ((-15)/p)/((-6)/(-8)). Is v greater than 2?\n'

Answer: 'False\n'


Question: 'Suppose 3*x - 4*x = -2*o + 2, 3*x = 4*o - 8. Let g be (-3 - x) + -2 - -1. Which is greater: g or 12/11?\n'

Answer: '12/11\n'


Question: 'Suppose 7*b - 27 - 50 = 0. Let j = 30 - 31. Let n = j + 0.8. Which is greater: b or n?\n'

Answer: 'b\n'


Question: 'Let h be (238 + 0 + 0)/(54/(-27)). Which is smaller: h or -124?\n'

Answer: '-124\n'


Question: 'Let h(l) = -6*l + 9*l + 9*l + 2*l**2 + 0*l**2 + 4. Let r be h(-8). Let q be 8/r + (-52)/153. Do -1 and q have different values?\n'

Answer: 'True\n'


Question: 'Let g = 0.737 - 11.737. Is g < -0.03?\n'

Answer: 'True\n'


Question: 'Let d(k) be the second derivative of k**5/20 + 11*k**4/12 - 7*k**3/3 - 13*k. Let f be d(-12). Which is smaller: f or 23?\n'

Answer: '23\n'


Question: 'Let d be (-8)/(-3) + 6/(-36). Let k = 81 + -78. Which is smaller: k or d?\n'

Answer: 'd\n'


Question: 'Suppose a + r - 7 = 5*r, -4*a = 2*r - 118. Let h be 78/15*(4 - -1). Let x = a - h. Which is smaller: x or 0?\n'

Answer: '0\n'


Question: 'Let b be (-69)/(-92) + (0 + 1 - 1). Let m(t) = 22*t - 1. Let n be m(1). Suppose -3*h - 17 = -4*g - 4, h + 5*g - n = 0. Which is bigger: h or b?\n'

Answer: 'h\n'


Question: 'Suppose 0 = 5*a + 22 - 52. Suppose -12 = 2*b + 2*m, 0 = -2*b - 0*b - 5*m - a. Are b and -9 non-equal?\n'

Answer: 'True\n'


Question: 'Let i be 0*((-6)/(-3))/(-2). Let h(g) = g**3 - g + 23. Let r be h(i). Are r and 22 nonequal?\n'

Answer: 'True\n'


Question: 'Suppose 7*g + 1 = 113. Suppose -g = 4*b - 104. Is 22 != b?\n'

Answer: 'False\n'


Question: 'Let x be 1 + (0 - 10) + 1. Let b = -5 - x. Suppose -6*q + 12 = -b*q. Which is bigger: 3 or q?\n'

Answer: 'q\n'


Question: 'Let b(m) = -15*m + 331. Let l be b(22). Is l not equal to -11/39?\n'

Answer: 'True\n'


Question: 'Let f = 721/4 - 972631/5396. Is -1 smaller than f?\n'

Answer: 'True\n'


Question: 'Let w = -34 + 52. Is 1/4 < w?\n'

Answer: 'True\n'


Question: 'Let i be ((-6)/(-8))/((-2)/(-8)). Suppose -4*w + i = -r, 4 + 0 = -r + 5*w. Let k = -5.926 - -1.926. Which is smaller: k or r?\n'

Answer: 'k\n'


Question: 'Let o(g) = -g**3 - 8*g**2 + 10*g + 7. Let h be o(-9). Let w be h/(-5)*(-30)/(-48). Let f = 4 + -5. Which is smaller: w or f?\n'

Answer: 'f\n'


Question: 'Let l = -132 + 132.06. Let k = 1.84 + l. Which is bigger: 0 or k?\n'

Answer: 'k\n'


Question: 'Let d be 36/(-8) + 3 + 4470/(-220). Is -22 greater than or equal to d?\n'

Answer: 'False\n'


Question: 'Let r = -109.9 - -107. Let v = -3 - r. Let g = -4 - 0. Is v at least as big as g?\n'

Answer: 'True\n'


Question: 'Let w be 5/((-15)/6) - -10. Let k be 36/w*(-3)/(-18). Let n be -1*(2 - (-2 + 5)). Is k <= n?\n'

Answer: 'True\n'


Question: 'Let c = -0.02 - 41.98. Let v = -47 - c. Are v and 4 nonequal?\n'

Answer: 'True\n'


Question: 'Let b = 73/34 + -2367/374. Is b less than -4?\n'

Answer: 'True\n'


Question: 'Let y = 16 - 12. Suppose -5*j + 3*j - y = 0. Let b be ((1 + -1)/j)/(-1). Which is smaller: 1 or b?\n'

Answer: 'b\n'


Question: 'Let h(x) = x**2 + 8*x + 9. Let p be h(-9). Let k(f) = -f**2 + 18*f + 10. Let c be k(p). Are 11 and c nonequal?\n'

Answer: 'True\n'


Question: 'Suppose 5*m - 10*m = 3*j - 5, 4*j - 3*m - 55 = 0. Let a(q) = -q + 10 - 3*q + 2*q. Let g be a(j). Which is smaller: g or -2?\n'

Answer: 'g\n'


Question: 'Let r = -0.55 - 2.75. Let n = -2.3 - r. Suppose 0 = 5*o - 3 + 8. Is o < n?\n'

Answer: 'True\n'


Question: 'Let x = -14 - -11. Let b = 1.1496 - 0.0496. Are x and b non-equal?\n'

Answer: 'True\n'


Question: 'Let l = 22 - 49. Let j = l + 31. Which is greater: j or 11/3?\n'

Answer: 'j\n'


Question: 'Let d be 2*(4/(-18) + (-45)/162). Which is smaller: -2/9 or d?\n'

Answer: 'd\n'


Question: 'Let k = 286/9 + -32. Let o = k + 37/45. Let z be (((-44)/(-16))/11)/(1/4). Is z smaller than o?\n'

Answer: 'False\n'


Question: 'Let h be 34/(-10) + 2 + 1. Suppose -61*y + 2 = 63. Which is smaller: y or h?\n'

Answer: 'y\n'


Question: 'Let y = 12 - 11. Let o be 6 - (2/y - 1). Let m = -8 + o. Which is greater: m or -1?\n'

Answer: '-1\n'


Question: 'Let o be (-2)/11 + 560/55. Let v be (o/(-4))/((-2)/4). Suppose -6*f + 12 = -4*j - f, -j - v*f = -22. Are -1 and j unequal?\n'

Answer: 'True\n'


Question: 'Let z = 4342/9 + -239116/495. Which is smaller: z or -2?\n'

Answer: '-2\n'


Question: 'Let i = 281295192 + -3091474612/11. Let r = i - 252282. Let m = -236 - r. Which is bigger: 1 or m?\n'

Answer: '1\n'


Question: 'Suppose 33*k - 2416 = -7399. Is -153 at least as big as k?\n'

Answer: 'False\n'


Question: 'Let k = 10 - 9.63. Let a = k + -0.09. Let m = a - 1.28. Is m less than or equal to -20?\n'

Answer: 'False\n'


Question: 'Let o be 26 - (-1)/((-3)/(-12)). Let k = 32 - o. Let s be ((-3)/k)/((-77)/(-14)). Is -1/3 bigger than s?\n'

Answer: 'False\n'


Question: 'Let t = -0.29 - 0.01. Let n = 819 + -818.8. Which is bigger: t or n?\n'

Answer: 'n\n'


Question: 'Let x = -571 - -581. Is -2/3 < x?\n'

Answer: 'True\n'


Question: 'Let y = 26 + -51/2. Let f = -3.28 - -4.28. Which is bigger: y or f?\n'

Answer: 'f\n'


Question: 'Suppose y = -4*x + 135, -y = x - 14 - 22. Suppose 4*k - 22 = -6. Suppose -4*l + 5*w + 30 = l, 0 = -k*l - 5*w + x. Is l greater than 9?\n'

Answer: 'False\n'


Question: 'Let x be 8/(-40)*(-4 + -1). Which is smaller: x or 20/3?\n'

Answer: 'x\n'


Question: 'Suppose -3*h - 10 = h - 5*y, h - 8 = -4*y. Let x be 5349/16554 + (-6)/12. Let m = x - -10/89. Which is smaller: m or h?\n'

Answer: 'm\n'


Question: 'Let i(j) = 56*j - 46. Let z be i(-5). Is z at most -328?\n'

Answer: 'False\n'


Question: 'Let z = -33503/2660 - -9/380. Is -12 equal to z?\n'

Answer: 'False\n'


Question: 'Suppose -4*h - b = -17, 5*h - 6*h - 4*b = -23. Suppose 232 = 11*i - h*i. Is 29 != i?\n'

Answer: 'False\n'


Question: 'Suppose 6 = -4*g + 10. Which is smaller: -120/11 or g?\n'

Answer: '-120/11\n'


Question: 'Let c be ((-12)/(-15))/((-44)/(-1672)). Is c < 0?\n'

Answer: 'False\n'


Question: 'Let r(o) = 86*o + 220. Let p be r(-7). Do -385 and p have the same value?\n'

Answer: 'False\n'


Question: 'Let s = 137 + -144.7. Is 0 <= s?\n'

Answer: 'False\n'


Question: 'Let l(p) = p**2 + 15*p + 27. Let f = -28 - -15. Let w be l(f). Is 1 <= w?\n'

Answer: 'True\n'


Question: 'Let w = 0.11 + -1.21. Let o = -2 - -2. Is w < o?\n'

Answer: 'True\n'


Question: 'Suppose -11 = t + 8. Let c(n) = n**3 - 16*n**2 + 15*n - 19. Let p be c(15). Is t at most as big as p?\n'

Answer: 'True\n'


Question: 'Let h = 11/34 + -133/306. Does 2/25 = h?\n'

Answer: 'False\n'


Question: 'Let g = 389 + -375. Is g < 67/5?\n'

Answer: 'False\n'


Question: 'Let c(q) = 16*q**2 - 27*q - 29. Let y be c(5). Are 469/2 and y nonequal?\n'

Answer: 'True\n'


Question: 'Let v = 566 - 564. Which is bigger: 50/17 or v?\n'

Answer: '50/17\n'


Question: 'Let u = 97 - 100. Which is smaller: u or -6?\n'

Answer: '-6\n'


Question: 'Let r be (-185)/(-25) + 6/10. Which is smaller: 7 or r?\n'

Answer: '7\n'


Question: 'Let c = 6 - 1. Suppose 3*i = -4*w + 23, i + 2*i - 5*w = -22. Let y = c + i. Do 7 and y have the same value?\n'

Answer: 'False\n'


Question: 'Let l(a) = -a**3 - 16*a**2 + 18*a + 33. Let z be l(-17). Does z = 17?\n'

Answer: 'False\n'


Question: 'Suppose 2*t = -c + 36, 2*t = 4*t - 4. Let s = 18 - c. Let p be (-15 - s) + 3/2. Is 0 greater than p?\n'

Answer: 'False\n'


Question: 'Let j(u) = 12*u + 97. Let o be j(-7). Suppose -77 = -o*z + 326. Is 30 bigger than z?\n'

Answer: 'False\n'


Question: 'Suppose 4*d + 447 = 4*q - 33, -5*q = d - 570. Which is smaller: 114 or q?\n'

Answer: '114\n'


Question: 'Let t(s) = 14*s - 60. Let v be t(4). Which is smaller: -18 or v?\n'

Answer: '-18\n'


Question: 'Let c = -6 - -2. Let d = 5.04 + -0.04. Let q = c + d. Which is greater: 0.1 or q?\n'

Answer: 'q\n'


Question: 'Let y = 0.2 + -0.3. Let p be ((-25)/6 + 4)*-24. Which is greater: y or p?\n'

Answer: 'p\n'


Question: 'Let f = 2609177 - 59997636/23. Let n = 584 - f. Is 1 at least n?\n'

Answer: 'True\n'


Question: 'Let f(q) = -2 + q - 3 - 1. Let y be f(7). Let a be ((-5)/(60/(-8)))/3. Is y at most as big as a?\n'

Answer: 'False\n'


Question: 'Let m(r) = 2*r**2 + 21*r - 31. Let w be m(-12). Is 1/4 equal to w?\n'

Answer: 'False\n'


Question: 'Let v = -170 - -361. Suppose -2*t = -0*t + 10, -h - v = -5*t. Let p = 1073/5 + h. Is -1 >= p?\n'

Answer: 'True\n'


Question: 'Let b = 613383/71 - 8639. Which is greater: b or 1?\n'

Answer: '1\n'


Question: 'Let j = -39 + 42. Suppose 2*s - 6 = 0, -9 + 3 = j*z + s. Is z smaller than -1?\n'

Answer: 'True\n'


Question: 'Let d be 3 + (-32)/12 - (-464)/(-6). Are d and -79 equal?\n'

Answer: 'False\n'


Question: 'Let c(a) = -a**3 - 7*a**2 - a - 2. Let m be c(-7). Suppose 4*i + m + 3 = 3*n, 3*i + 15 = 0. Let l(g) = g + 6. Let v be l(n). Is v less than 3/5?\n'

Answer: 'False\n'


Question: 'Suppose 140 = -3*j + 41. Suppose -d - 2*q + 28 = 0, 4*q + 151 = 4*d - q. Let t = d + j. Is -1/20 != t?\n'

Answer: 'True\n'


Question: 'Let m = 7.237 + -0.037. Let v = 2.2 - m. Let k = 1.4 + 0.6. Which is smaller: k or v?\n'

Answer: 'v\n'


Question: 'Let u = -99 - 288. Let t be u/96 + 2*4/2. Do -1 and t have the same value?\n'

Answer: 'False\n'


Question: 'Let m = 0.1 - 0.2. Let y = -143 - -143. Which is greater: m or y?\n'

Answer: 'y\n'


Question: 'Let f = -0.43 - -0.73. Is 2/13 less than or equal to f?\n'

Answer: 'True\n'


Question: 'Suppose -12*s = -w - 17*s - 14, -3*s + 6 = 0. Suppose -4*j + 0*j + 92 = 0. Let r = j + w. Is 2/15 > r?\n'

Answer: 'True\n'


Question: 'Let l = 27.45 + -4.45. Are -1/19 and l equal?\n'

Answer: 'False\n'


Question: 'Suppose -2*b + 113 - 17 = 0. Let j be -2 - b/(-14)*12/18. Do 6 and j have the same value?\n'

Answer: 'False\n'


Question: 'Let r = -108 - -184. Which is bigger: r or -2/3?\n'

Answer: 'r\n'


Question: 'Let r(f) = 0*f + 31 - 2*f - 2*f - 3*f. Let c be r(7). Is -16 > c?\n'

Answer: 'True\n'


Question: 'Suppose 2*z = 10 + 8. Are z and 1.2 unequal?\n'

Answer: 'True\n'


Question: 'Suppose -6*l + 2*l + 34 = 2*f, 0 = l - 2*f - 11. Let s = -5 - -11. Let m be (s/2)/(6/18). Is m equal to l?\n'

Answer: 'True\n'


Question: 'Let z(s) = 2*s + 6. Let d be z(-4). Let k be 20/5 - (d - -1). Let n(u) = -u + 4. Let h be n(k). Is 6/11 at least h?\n'

Answer: 'True\n'


Question: 'Let i(k) = 6*k - 8. Let l be i(6). Let s = l + -27. Is s less than 1/7?\n'

Answer: 'False\n'


Question: 'Let i = -83 + 69.9. Which is bigger: i or -1?\n'

Answer: '-1\n'


Question: 'Let g(d) = -11*d**3 + d**2 + 3*d - 3. Let q be g(2). Let j = -81 - q. Which is greater: 4/21 or j?\n'

Answer: '4/21\n'


Question: 'Suppose 3*p + 2 + 4 = 0. Let x(j) = -j**3 - 2*j**2 - 2*j + 1. Let s be x(p). Suppose s*l = -6 + 1. Which is bigger: l or -2/19?\n'

Answer: '-2/19\n'


Question: 'Let i be (-13)/91 + 2076/13748. Which is smaller: i or 1?\n'

Answer: 'i\n'


Question: 'Let t = -290 - -325. Which is greater: 29 or t?\n'

Answer: 't\n'


Question: 'Let n = -688 + 689. Let i = 10092/17 - 594. Is n less than i?\n'

Answer: 'False\n'


Question: 'Let u be (-2)/(-5) + (7840/650)/(-14). Suppose c + 17 = 5*a, -3*a + 5*c = -0*a - 19. Suppose 0*o - a*o - 3 = 0. Is o bigger than u?\n'

Answer: 'False\n'


Question: 'Suppose -z - 4 = 3*h - 12, 0 = -5*z + 25. Let s be ((-2358)/(-63))/((-92)/(-3)). Let x = s - -3/46. Is h less than or equal to x?\n'

Answer: 'True\n'


Question: 'Let c be 8350/(-147750) + 2/30. Is -1 smaller than c?\n'

Answer: 'True\n'


Question: 'Suppose 8*w = 665 - 201. Let d = w - 48. Is d > 10?\n'

Answer: 'False\n'


Question: 'Let h(x) = -x**3 + 7*x**2 + 8*x + 8. Let c be h(7). Let a(f) = -2*f**3 - 19*f**2 - 9*f - 1. Let j be a(-9). Is j < c?\n'

Answer: 'True\n'


Question: 'Let x(s) = 389*s**2 + 6*s - 5. Let y be x(1). Is 390 at most y?\n'

Answer: 'True\n'


Question: 'Let z = -25 + 27. Let s be 3 - (12/3)/z. Let f be 0 + (0 - 0/2). Which is greater: f or s?\n'

Answer: 's\n'