oes x = -1?
False
Let f = -12983/8 + 1625. Let k = 5/8 - f. Suppose 0 = -5*b - 3 - 2. Which is bigger: k or b?
b
Suppose 192*b - 190*b + 4 = 0. Let f be (1 + 1)*(3 + 7/b). Which is bigger: f or 1/13?
1/13
Let t = 0.102 + 2.328. Let w = t + -0.23. Let k = w - 2.6. Which is bigger: 3 or k?
3
Suppose -3*u + 10 = 5*h - 1, -5*u + 15 = 5*h. Suppose m - u = -4. Is 0 <= m?
False
Let h be 1/2*8 + (16 - 19). Are h and 16/17 equal?
False
Let s = 4 - 1. Let m be ((-15)/28)/(11/(-44)). Which is smaller: s or m?
m
Let c = 1.3 + -3.1. Let m = -4.04 - -0.24. Let r = c - m. Which is smaller: 1 or r?
1
Let s(v) = -3*v**2 - 11*v + 33. Let k be s(-7). Are -37 and k equal?
True
Let j = 0.024 + -0.294. Let t = j + -3.73. Which is smaller: t or -3?
t
Let w = 886 - 881. Are w and 98/17 nonequal?
True
Let q be (0 - -3) + 6955/(-2327). Let b = 69 + -70. Is q greater than b?
True
Let m(w) = w - 3. Let r be m(4). Let y be (r/8)/((-1)/6). Let d = 201 + -202. Which is smaller: d or y?
d
Let h be (-9 + -64)/(-1 + 2). Let w = 130 - 204. Which is smaller: h or w?
w
Suppose 24*t = 4*t + 1500. Which is smaller: 74 or t?
74
Let b = -91 - -90. Let g be 10/(-125)*(-30)/16. Which is bigger: b or g?
g
Let p be 4/(-6) - (-164)/12. Do 66/5 and p have different values?
True
Let w be 5 - (6 - (6 + -15)). Let q = -29 + 20. Is w greater than or equal to q?
False
Suppose 0 = -4*x + 4*p + p - 1, p + 3 = 0. Let i be -56*((-14)/8 + (-22 - -23)). Let k be -4 + x*(-39)/i. Which is smaller: k or 8?
k
Let c be -3*-3*(-119)/(-63)*-3. Is c less than -51?
False
Let u be 3/(-12) + 2/8. Let d = 769/2 - 4999/13. Do d and u have different values?
True
Let f = 62 + -43. Let t = -17 + f. Is 17/2 <= t?
False
Let m(j) = -j**3 - 3*j**2 - 2*j + 2. Let f be m(-2). Let b(a) = -a**3 - 8*a**2 - 7*a + 2. Let u be b(-7). Let c be (2 - f)/2 - u. Which is greater: 6 or c?
6
Suppose -30*t - 655 = -3295. Which is smaller: t or 91?
t
Suppose -7*t = -t + 36. Let i(f) = -2*f**2 + 5*f**2 - 2 + 4*f - 2*f**2 - 2*f. Let z be i(0). Which is greater: t or z?
z
Let l be (-3)/2757*((-30)/(-6))/(-5). Is l <= 1?
True
Suppose -27 = -12*x + 14*x - 3*c, -4*c - 24 = 4*x. Is -9 at most as big as x?
True
Suppose 2*y + t - 35 = 0, -2*y + 4*y - 36 = -2*t. Let g be 0/1 - 120/12. Let z = g + y. Which is smaller: 8 or z?
z
Let m be ((-10)/20 + (2 - 2))/1. Is -4.7 bigger than m?
False
Suppose 14*a - 112 = 6*a. Does 11 = a?
False
Let w be 4 + -2 - -11*1. Let t(o) = 2*o**3 - 8*o**2 - 7 + 11 - 3*o**3 + 3 - 6*o. Let y be t(-7). Is y at least w?
False
Let a = -7 - -16. Let s(d) = 5*d - 72. Let h be s(14). Let l be (-140)/(-10) - (h + 7). Is a >= l?
True
Suppose -9*w + 8*w = -9. Which is smaller: w or -6?
-6
Let h = 914 + -912. Is 2 greater than h?
False
Let s = 7/8 - -21/40. Let i = 7 + -3. Suppose i*w + 9 = 5*j, 0 = -4*j + 5*w + 3 + 6. Which is bigger: j or s?
s
Let r = 94 - 67. Let q = r - 28. Let l be (-2)/5 + 2/4. Which is bigger: q or l?
l
Let x(y) = 4*y - 9*y**3 - 7 + 8*y**3 - 5*y**2 + 0*y**3. Let h be x(-6). Suppose m = h*m - 4. Which is greater: 20/9 or m?
20/9
Suppose -6*k - 650 = 4. Let a = k - -102. Is -45/8 > a?
True
Let h(v) = -v**2 - 8*v + 22. Let m(y) = y - 16. Suppose 2*u - 26 = -5*x, 4*x + 5*u - 7 - 7 = 0. Let q be m(x). Let l be h(q). Which is greater: l or 4?
4
Let f be (328/205)/((-2628)/(-10)). Which is smaller: 0 or f?
0
Let j = 662 - 856. Which is greater: -1/3 or j?
-1/3
Suppose 0 = 11*i - 14*i + 9. Suppose 3 = i*l + 6. Which is greater: -2 or l?
l
Let x = -172/5 + 34. Let u = 5.634 - -0.026. Let g = u - -0.34. Is g less than or equal to x?
False
Let n be (-4)/(-2742)*(-141)/(-188). Which is greater: 1 or n?
1
Suppose 52 = -a - 91. Let k = a + 295. Let x be 2 + 9/((-675)/k). Which is smaller: x or -1?
-1
Suppose 0*j - 22 = -3*q - 4*j, 5*j + 20 = q. Do q and 59 have the same value?
False
Let k = -58 + 57.59. Let w = 23.41 + k. Is w < -0.1?
False
Let i(h) = 2*h - 3. Let a be i(6). Let w(q) = q - 4. Let k be w(a). Suppose 12 = 4*n + 4*g, 3*n + n - 21 = k*g. Is n at least as big as 5?
False
Let a(j) = j**2 + 12*j + 3. Let y be a(-12). Suppose 3*z + y*z = -6. Is -2 less than z?
True
Let q = 18 - 18. Let g = q - 13. Which is smaller: g or -0.1?
g
Suppose -4*b - l + 27 = 0, 3*b - l + 10 = 39. Suppose 5*m = 3*u - 4*u + 4, 0 = -4*u + 4*m - b. Let g be (0 + u)*(-60)/24. Is g smaller than 3?
True
Let p be 88/(-12) - -1*(-2)/3. Let w be 49/2 + p/16. Is 24 at most w?
True
Let p = 59456/13515 - -2/2703. Which is greater: 5 or p?
5
Let r = -765 + 766. Does r = 1/178?
False
Let r = 13.3 + -34.2. Let s = r - -19. Let n = 2 + s. Is -1/6 > n?
False
Let u = -1 - -3. Suppose -5*a - 1 - 36 = -4*p, -a + 15 = 2*p. Let c = -10 + p. Which is smaller: u or c?
c
Let n be (-6)/4*2*-1. Suppose n*d = -s - 32, d + 2*s = 3*s - 16. Which is smaller: d or -9?
d
Let j = 0 + -0.1. Let d be 28 + -29 - 5/(10/(-8)). Do d and j have different values?
True
Suppose -16 = 3*v - 7*v. Suppose -v*g - 5*b + 24 = 0, -2*b + 15 = 5*g + 2. Let l be (-1)/(g/(-4)*-4). Is -3 less than l?
True
Let v be (-12)/2*99/22. Do -48 and v have the same value?
False
Let u = 0.1 - 0.2. Let k = -111 + 79. Let p = -42 - k. Which is smaller: u or p?
p
Let h = 15 - 16. Let i = -8 - h. Is -7 at most as big as i?
True
Let b = -500 - -501. Let k be (0 - -1)*14/(-1316). Is b <= k?
False
Let a(m) = m + 6. Let s be a(-4). Suppose -4*h - 3*q + 29 = -s, -3*h + q + 33 = 0. Suppose -3 = -n - v, -2*v + h = -7*v. Which is smaller: n or 0?
0
Let o(v) = -57*v**2. Let a be o(1). Let y = a + 79. Which is smaller: -1 or y?
-1
Let d = -85.9 - -63. Let c = d - -26. Let v = -3 + c. Which is smaller: 2 or v?
v
Let b = -173.11 - -173. Is -0.07 at least b?
True
Let j = -1816 - -1816.4. Let z = 3 + -3. Is z greater than j?
False
Suppose 0 = -3*q + 5*q. Let s be (-1)/1*(q - 3). Suppose -3*r = -6*r - s. Which is smaller: 1/22 or r?
r
Let b = -0.43 - -25.43. Let v = b - 20. Is v at least 0.1?
True
Let f(n) = -6*n + 67. Let y be f(10). Let s be ((-10)/3)/(y - 3249/459). Is s <= 42?
False
Let v = 302/55 + -15962/2915. Are v and 0 equal?
False
Let n = -1435 + 1188. Which is smaller: n or -244?
n
Let l = 418 + -566. Which is smaller: -593/4 or l?
-593/4
Suppose -4*d + 2*d = 0. Let a = -54 - -58.9. Let r = -4.8 + a. Which is bigger: d or r?
r
Let l = 519 + -518.9. Which is greater: 2.76 or l?
2.76
Let v = -955/9 + 106. Let y = -1456/6193 + 30/563. Is y less than v?
True
Let b(p) = -p + 10. Let k be b(9). Let z be 1/k - 39/30. Is z > 1?
False
Let v = 1077539/119 - 9055. Which is greater: v or 1?
1
Suppose -2*r + 4*c + 15 + 5 = 0, 2*c = -4*r + 50. Suppose 0 = 19*b - 24*b + 55. Let h = b - r. Is h less than or equal to -1/2?
True
Let a be 2 + 0 - ((-63405)/2112)/(-15). Let o = a + -1365/30272. Let f be (1*-1)/(-4 + 3). Which is greater: f or o?
f
Let w be (-1904)/(-306) + 4/(-18). Suppose w*a - 23*a + 102 = 0. Which is smaller: 15 or a?
a
Let a be (-128)/252 - (-8)/28. Let v be (-3)/(-1) + (-350)/126. Is a >= v?
False
Let p be 34/(-51)*(-2)/(-16). Which is bigger: -1/26 or p?
-1/26
Let u(a) = -a**3 + 8*a**2 - 8*a + 10. Let o be u(7). Let v = o + -6. Let t be (-2 + 2)*v/9. Which is bigger: -1/4 or t?
t
Let s(m) = 2*m + 7. Let p be s(10). Let j = p + -3. Is 25 less than j?
False
Let j = -667 + 187425/281. Let f = 81 - 81. Is f less than or equal to j?
False
Let a = 174 + 455. Is 629 >= a?
True
Let w be 5154/39 - (4 - (-550)/(-143)). Which is smaller: w or 126?
126
Let l(s) = s**3 + s**2 + s + 1. Let j be l(-2). Let i = 9 - 9. Suppose q + 27 = -3*r - 3*q, i = 3*r + q + 18. Is j at most r?
True
Let u = -390 + 299. Which is bigger: u or -93?
u
Let v(n) = -n**3 + 6*n**2 + 5*n + 17. Let f = 40 - 33. Let c be v(f). Suppose -2*k + k - c*i = -16, -23 = -3*k - 4*i. Which is smaller: k or 1/8?
1/8
Let s = -23 + 111. Are s and 89 nonequal?
True
Let i be 0/(-2)*(-1)/(-2). Suppose -9 + 15 = 3*z. Suppose -5*k + z*a + 26 = 0, -5*k = -k + 5*a - 1. Is i smaller than k?
True
Let r be (-2)/((-110)/15 + 4)*-355. Are r and -214 nonequal?
True
Let w be 26/(-100) - -5*3/30. Which is smaller: 0 or w?
0
Let g be -1 + (-8 - -14) - (-92)/(-17). Is g < 1?
True
Let z = 17061.19 + -15633. Let d = 1440 - z. Let r = -0.19 - d. Is 1 != r?
True
Let d = 0 - 1. Suppose -n - b + 40 = -0*b, 0 = -2*n - 3*b + 81. Let g = 42 - n. Is g greater than or equal to d?
Tru