 (-4 - 0) + (-1 - -9). Let z be (v + (-219)/54)*-3. Let t(n) = n - 4. Let u be t(4). Is z > u?
True
Let x = -491 + 490. Which is greater: -0.24 or x?
-0.24
Let k be (-9)/(-6)*(-4 - -3). Let c = -40 - -39.79. Let h = c - -2.21. Is k < h?
True
Let w = -14 + 12. Let m = 0.06 - 0.26. Which is bigger: w or m?
m
Suppose 352 = 21*n - 10*n. Suppose -5*j = -1 - 159. Is n at most j?
True
Let a = -481 + 482. Which is bigger: -5/24 or a?
a
Let k(s) = -s**3 + 1. Let t(p) = -7*p**3 + 5*p**2 + 7. Let m(l) = -6*k(l) + t(l). Let a be m(5). Let h = 177/7 + -25. Which is smaller: a or h?
h
Let v = 3 - 3.1. Let t be ((228/40)/(108/90))/(2/(-24)). Which is bigger: t or v?
v
Let q = -0.347 - -0.037. Let c = 1.31 + q. Which is smaller: 2 or c?
c
Let k be 605 - ((2 - 7) + 2). Let m be 3/2 - 8/(k/110). Is m less than or equal to 3?
True
Suppose -81 - 363 = -6*h. Do 73 and h have different values?
True
Let r be (-318)/(-8) - 11/(-44). Suppose -2*d - k = r, -d = -5*d + 4*k - 80. Let t be (-2)/6 - d/(-12). Is 0 != t?
True
Let x(q) = -q**3 + 5*q**2 + 16*q. Let y be x(8). Let s(z) = z**3 + 9*z**2 - 17*z - 8. Let l be s(-11). Is y <= l?
True
Let b = -27 - 5. Let i = -42 - b. Is i less than or equal to -10?
True
Suppose 0 = 3*l - 3*i + 24, -3*i + 1 = -5. Let f = 10505/3 - 3507. Is f at least as big as l?
True
Let v(y) be the third derivative of y**5/60 + 7*y**4/24 + 5*y**3/6 - y**2. Let f be v(-5). Let n be 12/(-20) - (-153)/(-45). Which is greater: n or f?
n
Let u = -30.132 + 30. Let i = -0.032 - u. Is i bigger than 19?
False
Let o be 84/(-392)*(-1 + 63). Which is bigger: -14 or o?
o
Suppose 0 = -2*a - 4*b + 10, 0*b - 3*b = -6. Suppose 2*v = 4*v - 3*t - 3, 0 = 3*v + 5*t - 14. Is v greater than a?
True
Let i = 0.058 + -118.858. Let g = 119 + i. Which is bigger: g or 20?
20
Let q = 8.1 + -55.1. Let h = 49 + q. Is h smaller than -2?
False
Let w = -6 + 6. Let t be -4 + w + 3*16. Suppose -t = 7*l - 3*l. Is l >= -12?
True
Let u = 316073/235 - 1345. Which is smaller: u or -1?
-1
Let b be (72/126)/(7/(10731/(-18))). Which is smaller: b or -49?
-49
Let w(c) = -c**2 - 3*c. Let f be w(-9). Let x be 2/(112/f + 2). Let i be (12/32)/(x/(-6)). Which is greater: i or 1?
1
Let j(q) = 13*q + 102. Let p be j(-10). Is -28 equal to p?
True
Let p(i) = 2*i + 13. Let o be p(-6). Let b = -14958/7 - -2127. Let z = b + 421/42. Which is smaller: z or o?
z
Let h = 408/923 + -15/71. Is -1/6 < h?
True
Let c = 2/85015 - -266011889/1955345. Let u = -136 + c. Which is greater: 1 or u?
1
Let y = -39 + 18. Let h be (12/y)/(2/(-7)). Let n be 60/(-189) - h/(-9). Is n at most 1?
True
Suppose -j + 13 = 2*a - 7, 0 = 4*j - 5*a - 41. Let s be 8/3*1/(-2). Which is smaller: s or j?
s
Suppose -v + 4*u = 7*u - 1, 4*v + 3 = -5*u. Let z be 2*1/(-5)*(-1 - -3). Is v greater than or equal to z?
False
Let b(h) = 18*h - 832. Let w be b(49). Which is bigger: w or 48?
w
Suppose 147*o + 30 = 162*o. Let l = 0.01 - 0. Which is smaller: l or o?
l
Suppose -4*c - 37 = -89. Suppose 5*a = c*a. Are 7/16 and a nonequal?
True
Suppose 4*q - 43 = -5*z, 0*z = q - 2*z - 1. Suppose q*x - 2 + 9 = 0. Is x at most 8?
True
Let o be 3/((-3)/2) + 5 + -2. Is 36/19 less than o?
False
Suppose 111*w = 110*w - 1. Which is smaller: w or -7/472?
w
Let l = 2020/7 - 288. Let r = 670 - 669. Is l less than or equal to r?
True
Let g(b) = b**3 + 6*b**2 + 6*b + 4. Let x be g(-5). Let y be (682/343 - 2)/((-20)/70). Which is smaller: y or x?
x
Let m = 18 - 18.9. Let w = -24 - -21. Let l = -2 - w. Is m less than or equal to l?
True
Let q = -147/5 - -29. Let r(g) = g**3 - 65*g**2 - 668*g. Let l be r(-9). Is q greater than l?
False
Let r(i) = i**2 - i - 4. Let n be r(2). Let k be (250/20)/((-1)/n). Is 24 > k?
False
Let p = -0.051 - 27.949. Let h = p - -28. Are 0 and h equal?
True
Let o = 41365/50084 + -63/76. Is 1 at least o?
True
Let h(o) = -o**3 - 22*o**2 + 21*o - 45. Let d be h(-23). Let x be (-4)/3*(-9)/6. Are d and x non-equal?
True
Let o = 4 - 2. Suppose -3*d = -2*n + 7, -o*n - n = -5*d - 8. Let y = 17 - n. Which is greater: y or 5?
y
Let o = 28 - 55/2. Let t = 0.483 + -0.883. Is o greater than t?
True
Let b(a) = -3*a - 1. Let r be b(-1). Let w be r/(-4)*12/147. Let k be 266/(-38) - 12/2*-1. Is w <= k?
False
Let v be (-14)/35 + (-37)/(-5). Suppose 0 = 2*a - v*a - 5. Let n be ((-10)/(-4))/5*-2. Is n greater than or equal to a?
True
Let x = 857 + -84845/99. Let h(g) = g**2 - 4. Let a be h(2). Which is smaller: a or x?
x
Let d(y) = 5*y**2 + 19*y + 51. Let r(h) = 2*h**2 + 9*h + 26. Let x(o) = 3*d(o) - 7*r(o). Let q be x(10). Which is smaller: q or 8?
8
Suppose k - 5*w - 16 = -0, -k + w + 24 = 0. Suppose k = 5*s - 59. Are s and 18 non-equal?
True
Let x = -0.021 + 17.021. Let i = 15 + -32.1. Let n = i + x. Which is smaller: 3/4 or n?
n
Let r = 62 + -91. Let f = 27 - 31. Let s be f/18 + r/(-9). Which is smaller: s or 8/3?
8/3
Let o be (4/(-16))/1 - 6291/(-12). Is 525 bigger than o?
True
Let s(g) = g + 12. Suppose -2*y = 3*y + 50. Let b be s(y). Suppose 0*p - 2*p - 38 = b*k, -64 = 4*k + p. Is k greater than -0.1?
False
Suppose -20 = -5*v, -5*z + 195 = 6*v - v. Suppose -4*a + 11*a = z. Which is bigger: a or -1/4?
a
Let d be -3*6/(-27) + 206/(-264). Is d at least 1?
False
Let i be (-2)/(-4) - 504/(-16). Let b = i - 33. Which is smaller: b or 3/13?
b
Let c be -10 + 11 - (-1)/(-20). Let o = -13/15 + c. Let g(i) = i**3 + i**2 + 2*i + 1. Let n be g(-1). Is o smaller than n?
False
Let b = -318/91 - 1/182. Let x = b - -17/6. Which is bigger: x or 4?
4
Let q be (1/3)/((-107)/3). Suppose -5*j = 20, -36*m + 37*m = 4*j + 15. Which is bigger: q or m?
q
Let l = -2.33 - 2.67. Let h be (6/4)/(6/(-32)). Is h not equal to l?
True
Let b = -27.273 + 27.1. Which is bigger: b or -2/7?
b
Let r = 1022 - 68472/67. Suppose -3*a = -2 - 1. Are a and r equal?
False
Suppose 2*q = -q + 2*m + 3, -2*q + m + 1 = 0. Which is smaller: q or 1/905?
q
Suppose -300 = 20*s - 10*s. Is -30 at least as big as s?
True
Let y = 158 - 103. Are 55 and y non-equal?
False
Let v(k) = k**3 - 5*k**2 + k - 4. Suppose -x + 6*x - 25 = 0. Let p be v(x). Let w = 11462 - 11456. Which is greater: p or w?
w
Let s be -10*(-4 + (-9)/(-2)). Let o(f) = -7*f + 1. Let b be o(s). Suppose 2*n + 2*n = -b. Are n and -1 equal?
False
Let h be 3 + (5 - 1) + -3. Let l(p) = 5*p**2 + 1. Let u = 51 - 52. Let q be l(u). Is h > q?
False
Let o = 101/340 - -1/340. Let s(j) = j. Suppose -x = 2*n + 1, -4*x = -4*n + x + 19. Let l be s(n). Which is smaller: o or l?
o
Let d = -2.4 + 3.3. Let o = d - 1. Which is bigger: -1.1 or o?
o
Let p be 2/((-4)/(-5)) - 345/144. Do p and -1 have different values?
True
Suppose 0 = -2*h + 7*h - 10. Suppose 5*l + 6*k - 3*k = -39, h*k + 18 = -2*l. Do l and -6 have the same value?
True
Suppose 0 = -4*d + 6*d - 22. Suppose -3*t + d = -2*j, 5*t - 5 = 2*j + 16. Are 8 and t unequal?
True
Let w = 3/1118 - 2401/61490. Suppose -14 = -2*u + 4*j + j, 2*u = -2*j + 28. Let v be 3/(-1) + (u - 9). Which is smaller: v or w?
w
Suppose 4*g - 5*s = 8*g - 3, -4*g = -2*s - 10. Let r(i) = 31*i - 3. Let v be r(1). Let m be (v/70)/((-2)/(-30)). Which is smaller: m or g?
g
Let m = -5749/48 - -957/8. Is -1 at most as big as m?
True
Let t = 23 - 28. Let z = -4 - t. Which is bigger: z or -7?
z
Suppose 16*x = 43*x + 432. Let s = -2 - 7. Is s greater than x?
True
Let k be -13 - -8 - (-11 - 1). Let l = 20 + -12. Which is smaller: l or k?
k
Suppose -2*g - 5*b = 176, 4*b - 2 = 3*b. Let j = 71 + g. Is j at least as big as -21?
False
Let u be 1*(3 - (4 + 0)). Let k be u + 1 - 8/(-32). Is 0.08 not equal to k?
True
Let b = -155 + 160. Is 26 greater than b?
True
Let q(t) be the first derivative of -t**3/3 + 11*t**2/2 + 76*t - 31. Let y be q(0). Do y and 77 have the same value?
False
Let s = -108.99 + 107. Let b = 0.01 - s. Let v = -369 + 373. Which is smaller: b or v?
b
Suppose -h - 122 = -115. Is h bigger than 6?
False
Let s be (1 - -19)*(-30)/20. Let p be (10/(-15))/(-1*(-1)/s). Let b = -5 - -24. Is b at most as big as p?
True
Let i = 13 + -7. Suppose i*l + 84 = -0*l. Do -12 and l have different values?
True
Let r be 6/27 + 212/18. Suppose r*a - 40 = 10*a. Is 21 > a?
True
Suppose -12*v = 2*v + 70. Let g be -1*(v/(-10) + (-3)/2). Is -3/23 equal to g?
False
Let n = 0 - -0.1. Let t = -50 - -54. Let l be 1/t*(-8)/4. Is l < n?
True
Let h = 1.9193 + 0.0807. Is