an x?
True
Let q be (-27 - -22) + (0 - -8). Suppose 0 = q*m + 2 + 4. Which is smaller: m or -11/5?
-11/5
Let y = 39790 - 796013/20. Let w = -41/4 - y. Which is smaller: w or 20?
w
Let x = 40.637 - -0.763. Is x >= -1?
True
Let d = 976 - 955. Which is bigger: d or -23?
d
Suppose 0 = -l - b, l + 0*l - 2*b + 3 = 0. Let u be (l/2)/(35/14). Let q(y) = y**3 + 4*y**2 + y + 4. Let n be q(-4). Which is smaller: n or u?
u
Let f = -318 + 331. Let t be (1/2)/((-3)/(-84)). Which is bigger: t or f?
t
Let h be 248/(-24) + 8/6. Let z = h - -9. Let p(t) = -t**2 - t + 1. Let f be p(z). Which is bigger: f or 0?
f
Suppose -44*t = -43*t - 1. Does t = 2/821?
False
Suppose 0 = -0*c - 5*c. Suppose 0 = 5*s - c*s - 15. Suppose 46 = s*i + 5*m, -4*i - 2*m + 40 = -i. Is i < 12?
False
Let u = -16.9 - -17. Let t = -1.1 + u. Let p = 9 + -13. Which is smaller: t or p?
p
Let p = 0.747 - -0.253. Is p at least as big as -138?
True
Let c be (1/2)/((-2)/4). Let q be -6*(-16)/(-8) + 38. Which is bigger: q or c?
q
Let c be 69/(-92) - (-1)/(-4). Let u = 11 - 12. Is c greater than u?
False
Suppose 10 = -5*c + h - 2*h, 3*c + 18 = -3*h. Is 5/422 >= c?
True
Let t(b) = -b**3 - 11*b**2 - 15*b - 47. Let o be t(-10). Is o less than 3?
False
Let n = -251297/1001 + 3269/13. Let f = 10/21 - n. Suppose 2*l + 6 + 4 = 2*z, -3*l + z - 7 = 0. Does f = l?
False
Suppose 5*p + 7*x = 3*x + 8, 4*p + 4*x = 4. Suppose -k = k - p. Suppose 5*u + 12 = -3*l, 4*l = -4*u + 1 - 17. Which is smaller: k or u?
u
Let y = -14.8 + -50. Let x = y + 65. Which is bigger: -14 or x?
x
Let b = -227 + 119. Which is smaller: b or -106?
b
Let q be ((-8)/10)/(4/20). Let b be -20*-2*q/(-32). Suppose -5*c - 25 = -0*c, 31 = 2*i - b*c. Is i greater than 3?
False
Let n = -546 - -5998/11. Let k = -3 - -2. Which is smaller: k or n?
k
Let z = 1/220 + -6169/1980. Let b(o) = 24*o + 2*o**2 - 3 + o**2 - 3*o**2 - o**2. Let s be b(24). Which is bigger: z or s?
s
Let i = -11345/18 + 630. Are i and -1 unequal?
True
Let q = -354/7 - -50. Which is smaller: q or -2?
-2
Let t(z) = -29*z + 16. Let x be t(4). Let q = x + 99. Which is greater: q or -4/3?
q
Let p = -973/2 + 489. Do 15 and p have the same value?
False
Let k = 22 + -4. Let v = 16 - k. Is v != 1/3?
True
Let i be 8 + -12 - (-46)/(-3). Let m = -19 - i. Is 0 not equal to m?
True
Suppose 3*k + w = 9, -w + 6 = 2*k - 0. Let i be k/(((-18)/(-4))/(-3)). Which is greater: i or -1/2?
-1/2
Let p be (-6648)/744 + 9/((-1116)/8). Which is smaller: p or -207/20?
-207/20
Let n be (3 - 0)*((-288)/135 - -2). Is -1/50 at least n?
True
Let q = 48 + -40. Let a = q - 7.3. Is a < 2?
True
Let t be (14/(-2))/(-1 - 0). Let m be 3/t + 927/1876. Let x = m - 25/28. Is x greater than 1?
False
Let l = 1.9 - 1.93. Which is smaller: l or 2/13?
l
Let z be (6/8)/(3/2). Suppose 0 = -2*j + 3*c - 14, 2*c + 0*c - 9 = j. Let a be j*(1 + (-6)/5). Which is greater: a or z?
z
Let i(n) = -n**3 + 9*n - 2. Let j be i(-4). Which is bigger: j or 28?
28
Let p = 28/3 - 10. Suppose -5*h = -0*h. Suppose z = 5*s + 1, 4*s - 5 = -5*z - h. Which is smaller: p or s?
p
Let n = 94.8 - -7.2. Let f = n - 105.6. Which is smaller: 0.2 or f?
f
Suppose -93 = 2*j - 4*g + 15, 2*g = 2*j + 102. Let k be 38/4 + 24/j. Which is bigger: -0.2 or k?
k
Let r be (-11)/(22/6) - 50/(-18). Let y = 0.3 - -0.7. Let u = -5 + y. Which is greater: u or r?
r
Let t = -14557/33 - -441. Which is smaller: t or 1?
t
Let g(w) = w**3 + 11*w**2 - 2*w - 18. Let v be g(-11). Is 0 greater than v?
False
Suppose 4*a + 0 - 4 = 0. Suppose -7*d - 27 = 43. Let x be d/5*2/(-26). Which is smaller: x or a?
x
Suppose 1031*q - 1030*q = 0. Which is smaller: q or 126?
q
Let x = -15220/208247 - -6/83. Let l = 37619/20072 - x. Is 2 greater than or equal to l?
True
Let h = -50 - -53. Suppose -4 = 2*j - m, 2*j - 5*m - 1 = h. Do j and -5 have the same value?
False
Let s = 214 - 215. Are s and -30/101 equal?
False
Let n = 16 - 11. Suppose -3 = n*h + 2. Let b = 47/2 + -25. Is b <= h?
True
Let u be (-390)/(-36) - (4 - 15). Which is bigger: 21 or u?
u
Let n = 345 - 340. Which is smaller: n or -14/11?
-14/11
Let y = -3413/6 - -567. Which is bigger: y or -1?
-1
Let f(h) = h**2 - 4*h + 1. Let d(b) = -b**2 + 3*b + 2. Let w be d(2). Let q be f(w). Which is bigger: q or 12/5?
12/5
Let r = 3338/35 - 509/5. Let c = -23370 - -23363. Which is greater: r or c?
r
Let w be (-76)/(-95) + 94/(-130). Suppose 0 = 4*c - c - 4*k - 19, -c + 17 = -4*k. Which is greater: w or c?
c
Let a be 1*4/(-12)*-27. Suppose u + a = 3*h, -5*h + 0*u + 13 = -u. Is h less than -2/3?
False
Let c be ((4 - 1) + -1)/(14/119). Is 186/11 at most as big as c?
True
Let z(w) = -3*w - 1. Let d be z(-2). Let i(m) = m**2 - 7*m + 10. Let s be i(d). Suppose 4*g + g = s. Is g greater than 8?
False
Let u(l) = l**3 - 3*l**2 + 8*l - 7. Let m be u(1). Which is bigger: m or 1/73?
1/73
Let p be 3*116/1488 + (-3)/12. Let v(g) = -2*g**3 + 51*g**2 + 27*g - 25. Let u be v(26). Is u != p?
True
Let w be 718 - 14/21*12. Is w greater than 710?
False
Let w = -2.34 + 2.44. Which is smaller: w or -9?
-9
Let a(y) be the first derivative of -y**4/4 + 7*y**3 + 21*y**2/2 + 26*y + 12. Let z be a(22). Which is smaller: 0.5 or z?
0.5
Let r = 23 - 45/2. Let j(f) = f - 1. Let v(w) = 5*w - 9. Let t(d) = 4*j(d) - v(d). Let p be t(5). Which is smaller: r or p?
p
Suppose 2*b - 19 + 197 = 2*m, 5*b = -4*m - 400. Which is smaller: -85 or b?
-85
Let b be 346 + 12 + -12 + -3. Is b less than or equal to 343?
True
Suppose -1824 = 16*v + 3*v. Let c = 99 + v. Which is smaller: 1 or c?
1
Let m = 29 + -24. Suppose -5*t - 5 = 0, 4*l - t - 5 = 3*l. Suppose 4*b = 8 + l. Which is smaller: b or m?
b
Let a be (-1)/(-3) + 19/(-3). Suppose 5*j - 5*q + 7 = 2*j, 2*j = 3*q - 5. Is a not equal to j?
True
Let r(v) = 56*v + 577. Let u be r(-10). Suppose 5*q = -0*q + 70. Are q and u equal?
False
Let t = 3/3886 + -394435/7772. Let c = 9939/196 + t. Are c and 0 unequal?
True
Suppose -2*f + q + 124 = -q, 2*f - 121 = 5*q. Let d = f + -60. Let k be (1/(-2))/((-2)/24). Which is smaller: d or k?
d
Suppose 8 = -4*b + 8*b. Suppose -4*i = b*g + 46, -4*g + 5*g - 2*i = -27. Is -25 greater than g?
False
Suppose 134*i - 139*i = 45. Is -94/11 >= i?
True
Suppose 2*b - 36 = -b. Let y be -9*(400/b)/(-5). Let c = y - 302/5. Is c at least as big as -1?
True
Let j(d) = -d**3 - 9*d**2 - 7*d + 14. Let l be j(-8). Suppose 0 = -l*w + 8*w - 44. Suppose -4 = 2*b, 4*h = -2*b + b - w. Is h >= -3?
False
Let q(a) = a - 2*a**2 + 24 - a + 2*a - 19. Let l be q(0). Let g(i) = i**2 + 5*i + 4. Let s be g(-5). Which is greater: s or l?
l
Suppose 0*o + 859 = -5*o - 2*u, 5*u - 15 = 0. Is o greater than -174?
True
Let t = 25.2 + -29. Let p = 4 + t. Which is smaller: p or 1?
p
Suppose -8*x + 618 = -2*x. Suppose -4*c = -23 + x. Which is greater: -17 or c?
-17
Let y = -0.47 - -1.74. Is y at least 0.1?
True
Let x = -2.77 - -2.97. Which is bigger: -1 or x?
x
Let h = -798 - -797. Do h and 1/796 have different values?
True
Let r be (-6)/(-3) + 438/(-24). Let p = r + 16. Which is bigger: p or 10?
10
Let r be (-3)/(-4) + ((-250)/(-40) - (-30)/(-5)). Let x be -1 + (41/14 - 1). Which is greater: x or r?
r
Let n = 62 + -76. Is n smaller than -14?
False
Let h be (-6)/4*4/(-3). Let d = 199333 - 1598219/8. Let n = d - -445. Which is smaller: h or n?
n
Let j(q) = q**3 - 16*q**2 + 27*q. Let n be j(15). Suppose 0 = 7*o + 5*o - n. Do o and 15 have different values?
False
Let i = -0.1 + -0.9. Let f be 1/(-2)*-1*456/(-570). Is f < i?
False
Suppose 3*h + 3*y + 138 = 0, -14*h - 67 = -12*h - 3*y. Is -6 at most as big as h?
False
Let x be 2/(-7) - (-2)/7. Let k(y) = -22 - 32 - 2*y + 53. Let s be k(x). Are s and -1/2 unequal?
True
Let r(k) = -k**2 - 5*k + 1. Let m be r(-6). Let d = 35 + -12. Suppose -w - d = 4*t, -t - 25 = 5*w + 14. Which is smaller: w or m?
w
Suppose -9*m + 192 - 210 = 0. Which is smaller: m or 115?
m
Let k = -19 - -17. Let o = 3 + k. Is -2/13 != o?
True
Let b = -3 - -5. Suppose 3*t + b*t - 30 = 0. Suppose -w = -t - 2. Is 8 bigger than w?
False
Let s(k) = -k + 9. Let r be s(-8). Let a = r + -12. Let b(j) = j**2 - 6*j + 6. Let t be b(a). Is 6/7 <= t?
True
Let i(g) = 2*g**3 - 14*g**2 - 5*g + 13. Let o be i(6). Is -7/6 < o?
False
Let n be ((-32)/(-252))/((-2)/(-3)). Let z = 29/42 - n. Let w = -2217/7 + 316. Which is greater: w or z?
z
Let i = 1 + 0. Let l = 7