?
False
Let w be 175/3 + 4/(-8). Let z be (3 - 0)/((-1)/19). Let i = z + w. Which is smaller: 1 or i?
i
Suppose 4*r - 3*r = 9. Let v = r - 11. Let n be -4 + ((-40)/(-9) - (-3)/(-3)). Which is smaller: n or v?
v
Let d = 40.4 + -55.4. Which is smaller: 1 or d?
d
Let t = -0.5 + 0.6. Let l = -0.3 - 0. Let b = l - -0.2. Which is smaller: t or b?
b
Let f be (((-56)/(-12))/(-7))/(22/6). Which is greater: -0.081 or f?
-0.081
Let p(u) = -u**3 - 4*u**2 + 2*u + 3. Let w be p(-3). Are -7 and w unequal?
True
Let p = 1 - 0. Let t = 0.018 + 15.982. Let g = t - 18. Are p and g equal?
False
Let i = 22 - 21. Let p be i/1 + 20 + -25. Let z = -337/120 - -1/120. Is z at most p?
False
Let y = -5 + 1. Let u(i) = i**3 + 5*i**2 + 6*i + 4. Let d be u(y). Suppose 4*x + 2 = 2*l, -20*l - 5*x - 20 = -19*l. Is d at most as big as l?
False
Let v = 136 + -133. Suppose 7*f = -v*f - 20. Let g = -7 + 6.7. Which is smaller: f or g?
f
Let n = 0.4 - 0.3. Let z = -25.7 + 24. Let v = z - 2.3. Is n greater than v?
True
Suppose 2*s + 30 = 4*b, 30 = -2*s - 2*s + 2*b. Which is greater: 6 or s?
6
Let f be 4/(0 - -2) + 0. Let c = 80 + -76. Suppose -7*a - 2*r + 30 = -f*a, -c*a + 5*r + 24 = 0. Is 5 less than a?
True
Let a = 0.3 + -0.6. Let o = -52.3 - -53. Let u = o - a. Is u < 4/3?
True
Let t(c) = -8*c**3. Let u be t(1). Let g(k) = -k - 13. Let q(z) = -z - 12. Let r(d) = 5*g(d) - 6*q(d). Let i be r(u). Are 2 and i unequal?
True
Let i = -11.8 - 0.1. Let w = i + 12. Let y = -23 - -26. Is w < y?
True
Let s be 2 + 1878/(-1120) + 2/(-7). Is s equal to 0.2?
False
Let b = 114.288 + 0.112. Let x = b - 115. Is x > -3?
True
Let l(b) = b**3 + 8*b**2 - 14*b + 48. Let n be l(-10). Which is bigger: n or -56/5?
-56/5
Let h = -223 - -218. Let v be 0 + (1 + 2)/3. Is v != h?
True
Let d = 443 - 2219/5. Do -17 and d have different values?
True
Let r = -10453/7 + 1493. Let q = -20 + 31. Is q bigger than r?
True
Let q be 2/(-9) + (-49)/(-261). Let u = 27865/100804 + 7/869. Let n = q + u. Which is smaller: -9 or n?
-9
Let h be -4*(-6*4/6 + 3). Let a be (-2)/10 + 11/5. Let m = h - a. Is m greater than or equal to 0?
True
Suppose a + 0 = -18. Let b(y) = -5*y + 6. Let j be b(4). Let u = a - j. Is u >= -3?
False
Let n = 83 - 453. Let z = 423.71 + n. Let r = z + -54. Which is smaller: r or 2/5?
r
Let v be ((-3)/9)/((-2)/(-190)). Let g = -33 - v. Do -1 and g have different values?
True
Let t(s) = s**3 - 10*s**2 + 18*s + 3. Let u be t(9). Is u > 2?
True
Let f = -1124 + 1124. Is f bigger than 18/113?
False
Let l = -1/382 + 861/37054. Suppose 4 = 2*k - 3*x, -k - 4*x - 13 = 4*k. Do l and k have different values?
True
Suppose 2*t = 4*s + 6*t - 20, -s + 5 = 5*t. Suppose -5*f = -2*f - 15, 5*y - 3*f + s = 0. Suppose -5*w - 6 = -8*w. Are w and y equal?
True
Suppose -31 + 10 = m. Let g be (-6)/m*(-21)/(-51). Is 0 at most as big as g?
True
Let z = 15 - 33. Let v be ((-8)/z)/2 - 169/(-117). Let a = -568/5 - -114. Is v not equal to a?
True
Suppose -8*l + 38 = 14. Are 3 and l non-equal?
False
Let m = 0.31 - -0.09. Let g be 28/(-10) + (-2)/10. Let s be -1*(-2)/(-2) - g. Are s and m nonequal?
True
Let v = 1.5 - -1.5. Let a = -13.6 + 2.6. Let d = 10.8 + a. Is v smaller than d?
False
Let m = 1055719/197 - 5359. Which is greater: m or 1?
1
Let r = -99/235 + 1/47. Let x = 5.03 + -5. Is r less than or equal to x?
True
Let c(g) = 6*g**2 + 2*g + 1. Let a(d) = 9*d**2 - 2*d + 1. Let n be a(1). Suppose -n*x + 5*x - 3 = 0. Let y be c(x). Which is smaller: 7/2 or y?
7/2
Suppose 3*r = c + 8*r + 33, 5*r = 5*c + 15. Which is smaller: 28 or c?
c
Let w(p) = 120 - 65 - 57 + p. Let b be w(-3). Suppose -2*r + 7 = 19. Which is smaller: b or r?
r
Suppose -4*g + g + 12 = -3*q, 0 = 2*q + 10. Which is greater: g or 1/491?
1/491
Let u = 0 - -2. Suppose -15 = 2*a + 3*a, 0 = -2*j - 5*a - 13. Suppose -2*d = 2*l - 4, -d + 2 + j = u*l. Which is smaller: 3 or l?
l
Let q be (-10)/(-3) - 2/(-3). Let c = -651 + 648.21. Let v = c - -0.79. Which is smaller: q or v?
v
Let g = -126 - -62. Is g less than or equal to -63?
True
Suppose -157 - 2693 = 15*u. Is -192 equal to u?
False
Let l(v) = -v**2 - 29*v + 243. Let u be l(7). Is -28/3 > u?
False
Suppose u = -c - u + 19, 3*c + 2*u - 49 = 0. Suppose -c*k + 11*k = 68. Suppose 2*z + 24 = -10. Is z not equal to k?
False
Suppose -r + 0*z - 5*z + 10 = 0, -3*z = -3*r + 48. Let h be 185/r - 2/6. Let f = -24 + 37. Which is smaller: h or f?
h
Suppose -239*y = -q - 235*y + 20, -4*y = -3*q + 20. Which is smaller: -556 or q?
-556
Suppose 91 - 45 = 46*l. Are l and -6/263 nonequal?
True
Let s be (-68)/16 + (7 - 2). Let t be 524/8 - (-2)/4. Let r be t/30 + (-2)/10. Is s smaller than r?
True
Suppose -1874 = 22*q + 12558. Are -656 and q unequal?
False
Let i = 145 + -162. Let w = 16 + -33. Do i and w have the same value?
True
Let m = 0.053 - 0.06. Let i = -3.007 - m. Which is greater: -5 or i?
i
Let b = -742 + 660.1. Let j = b - -81. Which is greater: 0.1 or j?
0.1
Let d = -0.0208 + -24.7792. Do d and 2/7 have the same value?
False
Let l = 0.05 - 0. Let i = l + -0.35. Let c = -1831.6 + 1832. Which is bigger: i or c?
c
Let y be 114/4*12/9. Let l = -119 + y. Let j be 2 + (-3 - 87/l). Which is greater: j or 1?
1
Let y = 31 - 27. Suppose -3*a - 20 = -5. Let g(s) = s**2 + 5*s + 4. Let h be g(a). Do y and h have different values?
False
Let t(k) = 0*k - 4*k**2 + 3*k + 5*k**2 + 0*k**2. Let f be t(-4). Suppose -q - q + f = 0. Does q = 0?
False
Let d = 125 - 113.7. Let w = d + 1.7. Is -1 < w?
True
Let g(b) = 73*b + 11. Let o be g(-2). Which is greater: -134 or o?
-134
Let y(f) = -f + 12. Let q be y(8). Let c be 1/(1/q*(3 + -7)). Is c bigger than 2/19?
False
Let v = 137 - 131. Let k(d) = -d**3 + 5*d**2 + 10*d - 7. Let w be k(v). Which is smaller: 82/5 or w?
82/5
Let t = 0.477 + -69.477. Which is smaller: t or 3?
t
Suppose -14 + 17 = -3*z. Let b be -2*(-1)/(-2) - z/1. Is -8/9 <= b?
True
Let w be -2 - 14/35*161. Is -67 < w?
True
Let d(y) = y - 17. Suppose 2*x = k - 20, -3*k = -k - 5*x - 43. Let j be d(k). Let w = 0.3 + -1.3. Which is bigger: w or j?
w
Suppose 2 = -6*k - 64. Let w = 5 - 3. Is k < w?
True
Let b be 3/(-6) + 25*65/(-10). Let r = b - -116. Which is bigger: r or -1?
-1
Let y = -17 - -14.91. Let b = y + -8.21. Let u = b - -12. Are u and 1 equal?
False
Suppose 1 = 2*u - 3, 4*u - 18 = 2*a. Let q(t) = t**3 + t**2 - t. Let c(z) = -8*z**3 - 5*z**2 + 3*z. Let k(p) = -c(p) - 4*q(p). Let r be k(-1). Is r >= a?
True
Suppose 5*g + 20 = 0, 0 = 5*b - 5*g - 0*g - 40. Let u = b + -2. Let n = 701/728 - 8/91. Do n and u have different values?
True
Let a(g) = 114*g - 6. Let h be a(1). Let y be (-888)/h - 2/(-9). Is y smaller than -10?
False
Let g(n) = -n**3 + 10*n**2 - 10*n + 4. Let z(o) = -1. Let t(i) = -g(i) + 4*z(i). Let u be t(9). Let m be (2 + u)/((-18)/12). Are -1 and m nonequal?
True
Suppose -f - 1 = s + 4, -3*f - 7 = s. Let v be (2 + (0 - 4))*82/s. Is v != 40?
True
Let p(o) = -14*o - 112. Let s be p(-8). Do -5/186 and s have the same value?
False
Let l = -118.07 + 117. Let p = l + 0.87. Is 23 greater than p?
True
Let p(u) = u**3 - u**2. Let g be p(2). Suppose -g - 26 = -6*t. Suppose 0 = d - 6*d - t. Is d >= -1/10?
False
Let h be 3 + (2 - 2624/8). Which is greater: -324 or h?
h
Let s be 5 + (1/3 - (-6142)/(-111)). Is s != -154/3?
True
Suppose 4*j - 3*j = -10. Suppose 244 = -s + 236. Is j greater than s?
False
Let v = -29 - -34. Let t be (1*110)/v - -2. Is 24 bigger than t?
False
Let w = 173 - 93. Which is smaller: w or 81?
w
Suppose 2*g - g = 35. Suppose -200 - 124 = -9*c. Is g not equal to c?
True
Let c be ((-160)/15)/(-2)*(-2 - -1). Suppose 4*j = -4*m - 40, 20 = j - 5*m - 0*m. Which is bigger: j or c?
j
Let b(j) = 25*j + 4. Let h(k) = -6*k - 2. Let q be h(-1). Let p be b(q). Let r be 2/(p/(-204)) - -4. Is r at most as big as 1?
True
Let h = -2185918/297 + 7360. Is h at least as big as 1?
False
Let a = -16.2 - -18. Which is smaller: 4 or a?
a
Let a = -184.9 - -185. Which is smaller: a or -268?
-268
Let h = 13 + -10. Suppose 12 - 3 = h*u. Is 4 <= u?
False
Let z = -4.74 - 0.26. Let y = 21 - z. Which is smaller: 0 or y?
0
Let u = 18/29 - 472/667. Suppose 30*k - 35*k + 5*a - 30 = 0, 0 = -2*k - 2*a + 8. Are k and u unequal?
True
Suppose -13*j + 17*j = 0. Suppose 2*y - c - 78 = j, y - 1 = 4*c + 52. Is y > 37?
False
Let p be (6/36)/(-2*1 + 1). Is -0.34 less t