et d be z(-1). Which is greater: s or d?
s
Let s = -67/42 + 16/21. Suppose -3*x = -8*x + 30. Suppose 10*p = x*p. Is p at most s?
False
Let y(r) = r + 13. Let t be y(-10). Suppose 0 = -v + t*v + 10. Let o = v + 8. Is o bigger than 1?
True
Let u be (-2 + (-40)/(-5))/(0 + 35). Are 0 and u non-equal?
True
Let i = 4 - 10. Let c be -7*(-7)/(-3 + -4). Which is greater: i or c?
i
Suppose -3 + 7 = -4*b. Let z = -47 - -42. Let c be (-3 + 44/8)*(-8)/z. Is c greater than b?
True
Let f(u) = -u**3 - 4*u**2 + 6*u. Let s be f(-5). Let i be (-4)/26*((-20)/s)/4. Which is greater: 2 or i?
2
Suppose 0 = 11*l - 9*l - 10. Let z = l + -7. Which is bigger: z or -3?
z
Let k be ((-3618)/(-1224))/((-3)/(-8)). Are k and 7 non-equal?
True
Let i = 285170 + -5991236/21. Let h = -127 - i. Which is smaller: -1 or h?
-1
Let v = -1604857131 - -7905526198559/4926. Let y = 2/821 + v. Let c = 379/66 + y. Is 1 less than c?
False
Let i be ((-9)/6)/(3/(-6)). Let n be i/((-18)/520) + -2. Let s = -90 - n. Which is greater: s or -1?
-1
Suppose 4*a + 4*a = 144. Suppose 0 = 5*g - a + 23. Which is bigger: g or -2/73?
-2/73
Let h be (52/78)/((-2)/48). Which is smaller: h or -17?
-17
Suppose 98*t - 97*t = 143. Is t equal to 143?
True
Let s = -559.98 - -560. Which is greater: -23 or s?
s
Let k(c) = -31*c + 35. Let o be k(3). Is o smaller than -58?
False
Suppose -24 + 8 = -8*y. Let u be (-8)/(6/(-3)) + (-8)/y. Which is bigger: u or 2/193?
2/193
Let t(b) = 2*b + 22. Let x be t(-9). Let s be (x/(-45))/(14/175). Suppose d + 7 + 6 = -3*v, 3*d + 5*v = -23. Which is smaller: d or s?
s
Suppose 4 = -2*l - 2. Let y be -3 + 3 + 4 + l + -1. Is y at least -1?
True
Let u = -0.664 - 0.256. Which is greater: 0 or u?
0
Suppose -r - 5*i = -2, 3*i + 2*i = 5*r - 10. Suppose 0 = -h + 5*z - 3*z - 1, -3 = -r*h - z. Is h equal to -6/43?
False
Let i be (-3326)/(-6)*(-6)/(-2204). Let h = i + -29/19. Which is bigger: 0 or h?
0
Let v be 3/((-4)/(-3) - 1). Let h be (v/((-9)/(-430)))/1. Let b = 7313/17 - h. Which is smaller: 0 or b?
0
Let v = 122208 + -828936866/6783. Do v and 1 have the same value?
False
Let h be 0/(-2 - 2) + -5. Let o be h/(0 + 1/(-4)). Is 20 less than or equal to o?
True
Suppose 0 = -5*t + 5, 0*f - 3*f = -4*t + 7. Let q = 36097/1540 - 1864/77. Let g = 1/55 + q. Which is smaller: f or g?
f
Let q be (42/(-35))/(9/30) + 8. Suppose 2*o + 4*n + 26 = -3*o, -q*o - 19 = 5*n. Is o equal to -33/7?
False
Suppose -3*y = -3*f + 11 - 14, -1 = -y - 2*f. Let z = -2/197 + 251/5319. Which is bigger: z or y?
y
Suppose 0 = -3*f - 5*m - 13, 26 = 3*f - 4*m - 6. Let h(v) = v**2 - 6*v + 4. Let d be h(6). Let w be (f - (-1 + 6)) + d. Which is bigger: w or 22/5?
22/5
Let q be ((-24)/3 + 11)*27. Which is bigger: 159/2 or q?
q
Let b = 2 - 1.5. Let s = b - -0.6. Let p = 1.1 - s. Is -1 > p?
False
Suppose -5*x + x - 3*k + 46 = 0, 3*x = -k + 37. Suppose -h + 9 + 6 = 0. Which is smaller: h or x?
x
Let v = 881/544 + -27/17. Let o = -14 - -15. Which is bigger: o or v?
o
Let v(o) = -o**2 + 6*o - 6. Let l be v(5). Let s = -0.301 - -0.291. Which is smaller: l or s?
l
Let r = 8.88 + -9.38. Which is greater: 2 or r?
2
Let o = 5.927 - 6.44. Which is smaller: o or -0.2?
o
Let r(a) = -a - 1. Let t(m) = -m + 8. Let j be t(4). Suppose z + j = -z. Let g be r(z). Is -2/49 <= g?
True
Let f = -24 - -91. Let b = f - 71. Which is bigger: -11/4 or b?
-11/4
Let v = 1.46 + -0.06. Let p = -1.02 - 0.58. Let u = p - v. Which is smaller: u or -1?
u
Suppose -4*c + 4*y + 40 = 0, 0 = 5*c + 4*y - 2*y - 15. Suppose 2*g + 422 = -3*v - 2*v, 4*v = c*g - 331. Which is smaller: -85 or v?
-85
Suppose 86*i - 22*i + 576 = 0. Let d be 0 + ((-30)/4 - 1). Is d at least i?
True
Let c = -0.421 - -0.381. Which is greater: -15 or c?
c
Suppose -4*i + 2*i + 12 = -5*c, -4*i - 4*c + 80 = 0. Let r(z) = z - 62. Let a be r(i). Do -47 and a have the same value?
False
Let q(s) = -70*s - 540. Let u be q(-8). Which is greater: 22 or u?
22
Let a = 2.758 + -0.058. Let q = 16.7 - a. Let p = q - -1. Is p <= -1?
False
Let q(t) = -5*t + 1. Let i(l) = l - 1. Let a(b) = -6*i(b) - q(b). Suppose 6 = -5*z + 21. Let o be a(z). Which is smaller: -1 or o?
-1
Suppose 19*s + 41*s = -7380. Which is bigger: s or -121?
-121
Let l be 5 + 6 + -3 + 1 + -1. Which is smaller: 12 or l?
l
Let n be ((-2)/(-12))/(-1) + 1225/(-30). Is -42 <= n?
True
Suppose 15 = -0*y - 5*y, -60 = 2*v - 2*y. Let t be -4 - 3/(-1) - -3. Which is smaller: t or v?
v
Let o(y) = -y**3 + 7*y**2 - 6*y + 2. Let i be o(6). Suppose w = 2*w + z + i, 2*w - 4*z = 20. Is -19 equal to w?
False
Let t(i) = i**3 + 5*i**2 - 6*i - 4. Let j be t(6). Let p be (-1 - j/(-368))/((-6)/(-4)). Are 1 and p unequal?
True
Let t = -31 + 154/5. Let c = 2.9 - 7.9. Let n = 1 + c. Is n equal to t?
False
Let i(l) = -l**3 + 2*l**2 + 8*l + 5. Let f be i(6). Let g = 869 - 863. Let o be 13/(f/g)*-7. Is o at most 4?
False
Suppose h - m - 69 = 0, -6*h - m + 281 = -2*h. Is 68 at least h?
False
Let s = -112406 - -1460024/13. Do s and -95 have different values?
True
Let t be (-529)/(-2) - 959/137. Is t at most 257?
False
Suppose -5*b + 7 + 13 = 0. Suppose -5*r = 92 + 68. Let k be r/(-6) - b/(-6). Is 6 bigger than k?
False
Suppose -29 - 7 = 2*i. Let s = i - -14. Let c be (3/6)/(s/8). Which is smaller: c or -2/23?
c
Let a = -3.9 - 18.1. Let i = 24 + a. Let c = 0.1 + 0.1. Which is bigger: i or c?
i
Let s = -0.88 - -0.68. Which is smaller: s or 2/71?
s
Let n be (1/(-6))/(-5 - 87/(-18)). Let g = 25 - -11. Let l = -250/7 + g. Which is smaller: n or l?
l
Let x(z) = -3*z + 4. Let w be x(-9). Which is greater: w or 29?
w
Let w be 22/198 + (0 - 1056/27). Is w bigger than -39?
False
Let m = 17 - 6. Which is bigger: m or 13?
13
Suppose 0*h = -5*h. Let k(n) = -65*n - 67. Let b be k(-1). Is h != b?
True
Let m = -0.43 - 0.91. Let g = 29 + -30.3. Let i = m - g. Which is smaller: 1 or i?
i
Suppose 4*d + m - 159 = 150, -2*m + 79 = d. Which is smaller: -0.3 or d?
-0.3
Let k = 53/10 - 523/110. Let y = -4 + 17. Let b = -14 + y. Is k greater than b?
True
Let p = 15 - 28. Let i = -12.76 - p. Let c = 0.64 - i. Is c less than -1/5?
False
Let w = 60.1 - 60.6. Which is greater: w or -0.15?
-0.15
Let b be (-3)/(-15)*48/5760. Which is smaller: 0 or b?
0
Suppose -3*p - 6 = 5*g + 54, -4*p - 72 = 4*g. Let r be p/10*8/(-12). Which is greater: -6/23 or r?
r
Let l = -56.24 + 2.24. Which is smaller: 2/7 or l?
l
Suppose 34 = -g + 2*g - v, 0 = 5*g + 5*v - 150. Let i = g + -40. Which is greater: i or -7?
-7
Let p = -18 - -12. Let u(i) = i + 1. Let s be u(p). Let t be (-5)/(40/36) - (-1)/2. Is t greater than s?
True
Suppose -4*j + 3*n = -168 + 45, j = -n + 36. Suppose -j = 11*b - 14*b. Which is smaller: b or 19/2?
19/2
Let d(y) = -7*y**3 - y**2 - y - 5. Let u(s) = 8*s**3 + 5. Let w(k) = -7*d(k) - 6*u(k). Let g be w(-6). Are g and -1/5 non-equal?
True
Suppose 2*o + 268 = 6*o. Let j = o - 27. Suppose -3*y - j = -4*b, 0 = -y - 4*b - 0*b + 8. Is y >= -1?
False
Suppose -2*y = -v + 4*v - 18, -2*v = 3*y - 27. Let i(b) = -b**3 - b**2 + 5*b + 4. Let t be i(-3). Let x = y - t. Is 4 less than x?
False
Let g = 144033/290 + -1490/3. Let y = -2401/174 + g. Are y and -1 nonequal?
True
Let v(p) = p**3 - 6*p**2 + 5. Let u be v(6). Suppose -9 = -2*t + u. Suppose t = 5*a - 4*a. Which is smaller: -2 or a?
-2
Let a = 37 - 3. Let f = a - 33. Does f = -21?
False
Let f = -157/2 - -78. Which is smaller: -57 or f?
-57
Let k(r) = 14*r + 19. Let m be k(-3). Let d = m - -14. Which is smaller: d or -3?
d
Let j be (1*2/(-10))/(96/120). Let c = -6 - 1. Is c >= j?
False
Let v = 4121/253 + -172/11. Which is greater: 2 or v?
2
Let k(c) = -2*c**3 + 11*c**2 + 25*c - 169. Let m be k(8). Is -288 greater than m?
True
Let n(a) = -37*a - 22. Let o be n(-1). Which is smaller: o or 28?
o
Suppose 180 = 2*j - 2*i, -2*j + 4*i - 336 = -6*j. Let m be 6/(-18) + 4/3. Let c be (0 + 6/j)*m. Is 1 smaller than c?
False
Let n = 25 + -45. Let j = n - -2. Is j >= -18?
True
Let s = 2.7 + -59.7. Which is greater: 2/3 or s?
2/3
Suppose -6*r - 21 = 69. Let x(z) = -z**2 - 14*z + 16. Let a be x(r). Is a less than -4/5?
False
Let q be (4/(-4))/((-16)/4 - -5). Is 2/13 less than q?
False
Let z = -4/27 + -88/135. Let v be 1 + 50/(-46) - 2720/4692. Is z less than v?
True
Let u be (-1)/160*-24 - 1/(-10). Do u and 515/4 have the same value?
False
Let l = 0 - -45. Let n = l + -41. Which