 Which is greater: j or -0.2?
j
Let j = 368 - 495.1. Let m = j - -127. Which is smaller: m or -10?
-10
Let a be -1*(-3 - -2) + 0. Let m be 19/30 - a/2. Let z be 2/(-8) + ((-1946)/(-392) - 5). Which is smaller: m or z?
z
Let j(t) be the second derivative of t**3/3 - t**2 + 5*t. Let h be j(2). Let g be (-3)/2 - (h - 4). Which is greater: 10/3 or g?
10/3
Let g = -1011 + 1023. Do g and 4.9 have the same value?
False
Suppose -15 = 5*c + 2*k, c - 2*k + 0*k = 9. Let y = 342 + -12313/36. Is y smaller than c?
False
Let i = -2/291 - 9011/1455. Which is greater: i or -6?
-6
Let i be ((-1)/34)/(44/13288) - 1. Which is smaller: -0.2 or i?
i
Let p = 49.3 + -47. Let s = -1.3 + p. Is 26 smaller than s?
False
Let n = 0.4 + -0.3. Let p(m) = 19*m**3 - m**2. Let f be p(-1). Let x = -17 - f. Is x smaller than n?
False
Let w(i) = -8*i + 15. Let b be w(-9). Suppose -15 = -2*a - 5*g, -g = -5*a + 3*g + b. Which is smaller: 17 or a?
a
Let y(r) = 4*r - 105. Let v be y(23). Suppose -34 = 4*d + 10. Which is smaller: v or d?
v
Suppose -75 = 7*c + 65. Which is greater: -19 or c?
-19
Let k = 72 + -70. Suppose -15 = -5*n, 0 = -5*r + k*n + 2*n - 42. Which is bigger: r or -51/7?
r
Let w be 115/10 + (-6)/(-4). Let j = -7 + w. Suppose -5*t - 4 - j = 0. Are t and 0.1 nonequal?
True
Let o(k) be the first derivative of -10*k**3 + k**2 + 4*k - 3. Let u be o(2). Which is greater: -113 or u?
u
Let a = -107 - -95. Let v = 21 + a. Let d = -3.1 + 3. Is d < v?
True
Let g = 66.07 + -66. Are -0.19 and g unequal?
True
Let b = -3.391 - 0.109. Let u = b + 3.6. Which is greater: u or -37?
u
Let b = -2 - 0. Let s = b + 6. Suppose -s*y + y = 0. Are y and 3 equal?
False
Let n = -9/10 + 47/55. Is n >= 0?
False
Suppose 13*t + 9 = 880. Which is smaller: t or 68?
t
Let c = -3 - -6. Let g = -2 + c. Let q = 282 - 273. Are g and q nonequal?
True
Let x = 40/33 + -6/11. Let d = -158.96 - -159. Is x less than or equal to d?
False
Let b = 12.8 + -15. Let l = -3.1 + -1.7. Let p = l + b. Is p equal to -1?
False
Let x = -2.3 - -2.45. Let k = -0.09 + x. Let g be 2/((7 + 1)/(-4)). Which is smaller: k or g?
g
Let z(d) = -5*d + 73. Let a be -9*(-10)/18*3. Let o be z(a). Is 11 at most as big as o?
False
Suppose 55 = 16*q + 39. Which is smaller: q or 7/18?
7/18
Let i = -7222 + 7219. Let d = -48 - -28. Are d and i equal?
False
Let n = -711 - -701. Which is bigger: -9/8 or n?
-9/8
Let k(z) = 14*z + 305. Let x be k(-23). Is x < -236/13?
False
Let c(x) be the first derivative of -x**3/3 + 14*x**2 - 31*x + 32. Let w be c(27). Which is bigger: -1 or w?
-1
Suppose 0 = 8*b + 8 - 0. Do b and 1/46 have the same value?
False
Let v = 571.1 + -571. Let m be (6*1 + 0)/(-13). Let q = 55/91 + m. Which is smaller: q or v?
v
Let n = -89 + -54. Let d be -2 + 3 - (-428)/(-3). Let z = n - d. Which is greater: 0 or z?
0
Let n = -11.9 + 11.3. Do 0 and n have the same value?
False
Let i = -17 - -18. Suppose 20*p + i = 19*p. Does 1/34 = p?
False
Let z = -39.66 + 40. Let f = 14.34 - z. Is -0.1 != f?
True
Let y = 27.014 + -27. Let f = 1.986 + y. Are -2 and f nonequal?
True
Let k be -20*(-1)/6 + -3. Let i(n) = 3*n - 8. Let b be i(3). Which is bigger: k or b?
b
Let o = 74 + -78. Let s = -88.05 + 91. Let r = s + 0.05. Which is bigger: r or o?
r
Let b(y) = -y**3 - 3*y**2 + 14*y - 10. Let h be b(6). Which is smaller: h or -251?
-251
Let w be 8/(-20) - 44/140. Which is greater: -0.2 or w?
-0.2
Let m be 4/(14/(-49) - (-660)/7). Which is smaller: m or -6?
-6
Let r = 2 - 2. Let j = 373 + -379. Which is smaller: r or j?
j
Suppose 0 = -8*m - 88 - 784. Is -109 smaller than m?
False
Let i = 0.2 + -13.2. Let t = i - -2. Let u = t + 10.9. Which is greater: 2/9 or u?
2/9
Let g = -10.8481 + -0.0319. Let z = g + -0.12. Are z and 0.2 nonequal?
True
Suppose g + 4*g - 11 = 2*y, -15 = -3*g + 4*y. Let t(n) = n**2 - 7*n - 8. Let h be t(8). Which is smaller: g or h?
h
Let k = 45 + -47. Let s be 41/12 + -6*k/(-18). Is 2 greater than or equal to s?
False
Let b be (-4)/13*(-546)/84. Let y be (-7)/5 + 4 + -2. Which is bigger: y or b?
b
Let x = 0.052 + 0.148. Is x >= 9?
False
Suppose -10*r + 210 = 60*r. Let s(w) = 2*w**2 + w. Let m be s(-2). Let c = m + -2. Is r not equal to c?
True
Suppose 2*s = 10, -5*l + 2*s + 33 = 13. Suppose -2*c - 9 = 5*k - 5*c, -2*k = -2*c + 6. Suppose k*v + 10 = 2*v. Which is bigger: v or l?
l
Let d = -7.0333 + 0.0333. Does d = -7?
True
Let s be (-198)/(-104) + (8 - 3 - 7). Let c = 574/13 + -44. Let a = s - c. Is 1 less than or equal to a?
False
Let z(r) = -33*r + 138. Let g be z(6). Do g and -64 have the same value?
False
Let n(g) = g**2 - 48*g + 193. Let k be n(49). Which is smaller: k or 241?
241
Let j = 0.77 + -0.8. Let t = -0.25 - j. Let b = 7 + -15/2. Is b bigger than t?
False
Suppose -5*c - j - 2*j + 9 = 0, 2*c = -3*j. Suppose 5*p - 295 = 2*x, -4 = -c*x - 19. Is p at most as big as 56?
False
Suppose -3*o + 33 = -4*h, -h + 5*o - 10 = 11. Let t be ((-2)/10)/(h/30). Let g be 32/(-8) + 74/14. Which is smaller: g or t?
t
Let r = 231 - 220. Is r > -3?
True
Let s(p) = p**2 + 4*p - 3. Let y(v) = -v**2 - 5*v + 2. Let j(t) = -4*s(t) - 5*y(t). Let m be j(-10). Suppose n = 5*n - m. Which is smaller: 9/4 or n?
9/4
Let m(a) = -a**3 + 2*a**2 + 2*a + 3. Let x be m(3). Suppose -5*h + 4*j - 10 = 0, h - j - 3*j + 2 = x. Is 12 < h?
False
Let s be 1*(-2 + -1*4). Let h be 2/s - (-207)/540. Suppose -4*v = 7*p - 6*p + 7, 3*p + 3*v + 3 = 0. Which is greater: p or h?
p
Let g = 88/5 - 18. Is g at most as big as 23?
True
Suppose 12*x - 14*x = -2. Suppose -5*v - x = -6*v. Which is bigger: -25 or v?
v
Let p = 61.5 - 62. Let c = p + 0.5. Which is smaller: c or 3/2?
c
Let a be (-137 + -1)*((-1)/1)/2. Which is smaller: 338/5 or a?
338/5
Let u = -164/27 - -4610/27. Suppose 0 = 2*r - 5*l - 351, -555 = -4*r - 2*l + 87. Let y = r - u. Which is bigger: y or -3?
y
Let c(s) = s**3 - 2*s**2 - 2*s - 4. Let y be c(3). Let x = y + 0. Let l = -90 - -100. Is x less than l?
True
Let k = -42 - -464/11. Let p = -49.6 - -50. Which is bigger: k or p?
p
Let a = 2.31 + -65.31. Which is greater: -0.1 or a?
-0.1
Let x = 20.7 - 20.8. Which is bigger: x or -95?
x
Let d = -1514 - -797. Which is bigger: -716 or d?
-716
Suppose 2*q + 5*u - 861 = -0*q, -5*q - 4*u + 2127 = 0. Suppose -q = 10*z + 137. Do -56 and z have the same value?
True
Let n(t) = -24*t**3 - t**2. Let r be n(1). Let c = r - -26. Let f be (-2)/((-6 - c) + 1). Is 17 at least f?
True
Let u = 28/11 + -223/66. Is -1 at most as big as u?
True
Let d = -23 + 19. Let h = d + 1. Which is bigger: h or -0.2?
-0.2
Let l = -899/66 - -79/6. Which is smaller: l or 0?
l
Let a = 1292 - 52975/41. Let i = a - 67/205. Which is greater: 0 or i?
0
Let k = -24 - -17. Let i = k + 8.6. Let x = 6.4 + i. Which is smaller: 0.1 or x?
0.1
Suppose 0 = 2*v - 5*v + 2*v. Suppose v = -2*q + 2*g - 56, -6*q + q = 5*g + 120. Are -27 and q nonequal?
True
Let p = -320.1 + 304. Is 0.1 > p?
True
Let b be (72 - 0)*(86/(-6) + 13). Which is smaller: -98 or b?
-98
Let y = -24 + 25. Let p be (y - 7)*2/(-3). Suppose -p*z = 1 - 5. Which is bigger: -2/7 or z?
z
Let l be 16/(-42) + 0 - 0/21. Which is smaller: l or -3?
-3
Suppose -13 = -f + 3*u, 8*u - 11 = -5*f + 5*u. Let q be -3 + 2/f*10. Let n be (q/5)/(77/(-55)). Are 0 and n non-equal?
True
Suppose 4*d - 2*d = -c - 4, d = -2*c - 8. Let t = 0 - -5. Suppose 2*y = -6, -2*z - 4*y - 24 = -t*z. Is z smaller than d?
False
Suppose -5 = 3*x + 7. Let q = x + 6. Is 12/7 >= q?
False
Let p = -38.1 + 40. Let q = p + -2.9. Let c = q - -4. Which is smaller: c or 0?
0
Let z = 2/575 - -1667/16675. Suppose -9*c - 134 = 253. Let r = c + 42. Is z <= r?
False
Let r = -0.1589 + -0.8411. Do -126 and r have different values?
True
Let d(w) = -128*w - 8. Let k be d(2). Let s be (-36)/k*((-10)/(-3) - 2). Is -0.04 != s?
True
Let s = -1/340 + -1353/2380. Let t(m) = -2*m**2 - 8*m - 7. Suppose -3*f - 1 + 0 = 2*p, 16 = -4*f + p. Let k be t(f). Are k and s equal?
False
Suppose 3*t - 6 = 0, -r - 3*r = 2*t + 32. Let d(x) = 2*x + 14. Let m be d(r). Let i = 12 + -18. Are i and m equal?
False
Let t = -0.0388 - -203.0388. Which is smaller: -2/7 or t?
-2/7
Suppose y = -7 + 1. Suppose -7*x = 5*l - 2*x + 95, -l + 2*x - 22 = 0. Let d = l - -14. Is y > d?
False
Suppose 4*c = 6*a - 8*a - 6, 3*a + 14 = -c. Which is smaller: 13/7 or c?
c
Let u = 5.997 - -0.003. Let i = -8 + 4