s smaller: -37 or y?
y
Let y = 10.95 - 1.85. Let j = -4.1 + y. Let o be -2 + (-1)/(-2) + 1. Do o and j have the same value?
False
Suppose -3*i - 3*v + 22 = -4*i, -3*v - 13 = 4*i. Let x be i - (4 + (4 - 8) + -1). Suppose -19 = 3*b - f, -b + 5*b + f + 23 = 0. Is x < b?
False
Let s be ((-264)/10)/((-24)/160). Let w = -1224/7 + s. Let d(g) = g**3 + 2*g**2 - g + 6. Let u be d(-3). Is u less than w?
True
Let x be (57521/194)/((-2)/4). Is -595 >= x?
False
Let i(g) = 4*g**3 - g**2 + g - 1. Let d be i(1). Suppose -36 = -d*f - f. Let q be 21/f - (1 - -2). Which is bigger: 5/3 or q?
5/3
Let r be 3*(-2)/(-6)*3. Suppose -r = 4*z + 13. Suppose -x + 4*a = -0*a - 1, 2*x + 5 = a. Are x and z non-equal?
True
Let u be -5 - -10 - 57/13. Which is greater: u or 1?
1
Suppose -2*r + 70 = -4*i - 0*i, 0 = 3*i. Suppose r = 2*l - 3. Are l and 19 non-equal?
False
Let l = -108 - -96. Which is greater: l or -2/7?
-2/7
Let h = -2/6595 - -336373/92330. Does 5 = h?
False
Suppose -4*n - 32 = 4*l, -4*n - 22 = 2*l - 0*l. Let z be n - 1 - (-4 + 0). Suppose 5*q + 0*q = z. Is q > 2/121?
False
Let f = -11.5 - 2.5. Let y = f - -13.3. Let o = y - -1.7. Are 1 and o unequal?
False
Suppose -45 = -3*d - 15. Let s = d - 9. Is 5/13 at most as big as s?
True
Let b be 224/56 - 1*9. Let d = -0.1 + -0.1. Let p = d + 0.2. Is p != b?
True
Let j = 0.863 + -1.863. Is j less than 239/6?
True
Let p be 14/(-4) - (-45)/(-18). Let v be 6/(-5)*(9 - 4). Is v less than p?
False
Let b = 6 - 1. Suppose 5*d = -2*r - 0*r - 92, b*r + 41 = -2*d. Which is smaller: d or -17?
d
Let x = 53 + -46. Let y(s) = -s**3 + 6*s**2 + 8*s + 6. Let q be y(x). Is q greater than 11?
True
Suppose d + 3*x - 3 = -10, 5*x - 10 = 0. Which is smaller: -20 or d?
-20
Let y be 8360/416 + -3 - (-2)/13. Are y and 0 equal?
False
Suppose -2*k = -0*k + 3*j - 9, 14 = 3*k + 4*j. Let s be 14 - 1/(2/10). Is s > k?
True
Let n = 12 - -50. Let j = n - 36. Which is bigger: j or -1/2?
j
Suppose 5*y - 33 = -6*y. Suppose -y*j - 448 = 4*j. Which is smaller: j or -63?
j
Suppose 20*t = -62*t + 23042. Is t at most -3?
False
Let o = -1/30 - -11/30. Is o equal to 54?
False
Let p(a) = 1. Let l be 18/(-12) - (-2)/4. Let y(x) = 3*x - 6. Let t(u) = l*y(u) - 5*p(u). Let q be t(1). Does q = -2?
True
Let r be 24/40 - -3*(-2)/10. Suppose r = -15*y - 0*y + 945. Which is greater: y or 61?
y
Suppose -18*t = -21*t + 24. Let a(j) = j**3 - 8*j**2 + 8. Let k be a(t). Let y be (-5)/(-20) - (-14)/k. Is 3 at least y?
True
Let t = -5611 - -981929/175. Is t less than 0?
False
Suppose -33 = 2*i - 3*i - 3*g, -3*i + 2*g + 88 = 0. Suppose -i = -16*d + 18*d. Is d equal to -15?
True
Let k be (-990)/(-27) + 8/6 + -3. Let w be (3/5)/(7/k). Are w and 16 unequal?
True
Let r = 10/7 - 22/7. Let m = -4/35 - r. Which is smaller: 2 or m?
m
Suppose 2*g - 90 = -34. Suppose 3*n - g = -4*n. Which is smaller: 2 or n?
2
Suppose 5*j - 223 = -3*d, 8 = j + 6. Let c = d + -69. Which is smaller: 9/14 or c?
9/14
Let x be (7/(-119))/((-6)/(-282)). Is x < -2?
True
Suppose -5*s - 24 = 2*l + 121, 4*l - 115 = 5*s. Let a = -22 - s. Is 4 >= a?
False
Let k = 33/5 + -3067/470. Which is bigger: 1 or k?
1
Let k(n) = n**3 + 5*n**2 - 16*n - 57. Let s be k(-6). Which is greater: s or 79/18?
79/18
Let v(p) = -p**3 - 5*p**2 - 7*p - 7. Let i be v(-6). Suppose 4*n = 29 + i. Suppose n = c + 21. Is c bigger than 1/4?
True
Suppose 5*d + 4 + 2 = -3*a, 0 = 3*d + a + 2. Let n = -307.61 + 308. Is d at most n?
True
Suppose -108 = 36*a - 1620. Let p be (55 + 0)/((-1)/3). Let l be 3 + 1 + p/a. Which is smaller: 0 or l?
0
Suppose 9*l - 4*l = -c - 1410, 5*c = -4*l - 1149. Are l and -280 non-equal?
True
Let u(l) = 4*l**2 + 4*l - 5 - 2*l + l. Let r be u(-3). Is 22 at least r?
True
Suppose r = 3*c + 75, 4*r + c = 4*c + 300. Suppose 3*h - 10 = -1. Suppose h*j + r = 5*z, 2*j + 38 = z - 5. Is -21 < j?
True
Let g(l) = -3*l - 10. Let x be g(-8). Suppose -6*t = -t - 65. Is x greater than or equal to t?
True
Let f be 3*((-240)/(-200))/((-9)/(-70)). Is 42 at most f?
False
Suppose 2*j + 2*j = 48. Let h be 84/56 + 23/2. Which is smaller: h or j?
j
Let u = 5 - -2. Let v be -1*u*(0 - 1). Suppose -4*x = -z - 0*x - v, -x = 3*z - 18. Is z at least as big as 5?
True
Let m(y) = 4*y - 6. Let q be m(-5). Let v be 29 + (6 - 0) + -7. Let k = q + v. Is 1 smaller than k?
True
Let c(p) = -2*p**3 - 22*p**2 + 15*p - 38. Let i be c(-11). Which is smaller: i or -201?
i
Let t = 93 - 13. Let v = -109 + t. Is v < -30?
False
Suppose -15*v - 356 = -19*v. Suppose -s + y + 233 = 3*s, -2*s + v = 5*y. Which is smaller: 56 or s?
56
Let z be 18*((-16)/(-6))/4. Suppose -z = 6*q - 2*q. Let j be 0/(-4*q/12). Which is greater: j or 6/7?
6/7
Suppose -4*b + 32 = 3*y - 0*y, 5*b - 71 = 4*y. Which is smaller: 8 or b?
8
Suppose 6*y - 6 = 12. Suppose 4 = y*i - 35. Does 10 = i?
False
Let k = 27.62 - 27.32. Are k and 206 unequal?
True
Let y be 123/(-901) + 6/51. Suppose -5*h + 5*q + 5 = 0, 2 - 1 = -5*h - q. Let g be (h/(3/1))/1. Which is bigger: y or g?
g
Let a = -75 + 62. Let j = 2 + a. Are 0.1 and j non-equal?
True
Let c be -1*(-5)/2 + 2/4. Suppose 14 = 5*l - 2*p, -4*l + 19 + 6 = c*p. Is 3 bigger than l?
False
Let u be ((-4)/(-8))/(5/(-3630)). Let q be (-5 - (-108)/20) + u/(-5). Which is greater: 74 or q?
74
Let g(u) = -2*u**2 + 17*u + 217. Let z be g(-20). Do -923 and z have the same value?
True
Suppose -3*c - 10 = -4*c. Let w = 24998 - 24988. Does w = c?
True
Let z = 57 - 99. Let v = z + 41.95. Is v > 1/7?
False
Let a(u) = -18*u + 117. Let c be a(4). Which is bigger: c or 36?
c
Let x = -13/2767 - -347463/926945. Let o = -2/67 - x. Is o at least -1/11?
False
Let g(q) = -q**2 - 24*q + 51. Let p be g(-26). Which is greater: p or 3/26?
3/26
Suppose -2*j = -4*j - h, -5*j + 5*h - 15 = 0. Let k = -27 - -25. Let p be (k/36)/1 - (-18)/36. Is p < j?
False
Let g = 23191/846940 + -13/470. Which is greater: -1 or g?
g
Let y = 636 + -812. Is -180 at most as big as y?
True
Let m = -5663/12444 + 1/244. Let x = m + 2/17. Is x bigger than -7?
True
Let t = 73 - 212/3. Is 1 at least as big as t?
False
Let x = 837/4 + -209. Let a = 16 + -15.83. Is a bigger than x?
False
Let v(w) = 3*w**2 - 4*w + 3. Let g be v(2). Let y(l) = g + 7*l + 4*l**2 - 3*l**2 - 2*l**2. Let z be y(7). Is 7 less than or equal to z?
True
Suppose -i - 3*i - 204 = 0. Let c = i + 70. Is c greater than 23?
False
Let h be -19 - -14 - (-44)/4. Which is smaller: 10 or h?
h
Let i be -7 + -7 + 30426/2172. Which is greater: 1 or i?
1
Let o be (-18)/(-24) - 1/2. Let d be 1/(2 - 1)*13. Suppose 5*m = -2 - d, -3*s = 4*m + 12. Which is smaller: o or s?
s
Let s be 4/(-6) - 0 - 1. Let m = 84 + -21. Let n = 62.8 - m. Is s < n?
True
Suppose i - 31 = 4*b, 0 = -2*b - 8. Let x be (-3)/i*4/(64/20). Is -2/7 equal to x?
False
Suppose 10*a + 3*c + 96 = 6*a, 147 = -5*a + 3*c. Is 1/16 < a?
False
Let y be 3*-1*(-873)/(-27). Let a = y - -99. Is a > 7?
False
Suppose 4 = -q + 1. Let x(r) be the third derivative of r**4/24 + 2*r**3/3 + 4*r**2. Let t be x(q). Which is smaller: 14/9 or t?
t
Suppose -20 = -a - 4*a, -3*a = -5*n - 7. Is n bigger than 11/9?
False
Let a = 58 + -57.885. Let o = a + -3.115. Is 7 >= o?
True
Let c be 4/6 - 11/3. Let p be (((-156)/(-18))/1)/((-170)/51). Which is greater: c or p?
p
Let q = -43/75 + 10381/18150. Which is greater: -1 or q?
q
Let s = -2 - -12. Let g = 13 - s. Let c(u) = u**3 - 2*u**2 - 2*u - 2. Let k be c(g). Which is smaller: k or 1/5?
1/5
Let n(b) = b**2 - 16*b + 19. Let k be n(17). Suppose 5*a - 87 - 2 = -2*m, -4*m + 151 = a. Is k > m?
False
Suppose -w - 15 + 15 = 0. Let a(y) = y**3 + 9*y**2 + 7*y - 6. Let r be a(-8). Suppose -2*h - r - 2 = 0. Which is bigger: h or w?
w
Let i be -1 + (9/(-12) - -2). Let w be (-1)/(-6) - 35/(-2772)*21. Let x = w - i. Which is greater: x or -1?
x
Suppose 4*u = 3*u + 3*q + 1, 47 = -3*u - q. Which is greater: u or -71/5?
u
Let g = 11 - 8. Which is smaller: 15/7 or g?
15/7
Let j be (10/(-165))/(3/63). Let b = j - -20/33. Let w be (-3)/((-27)/(-20)) - -2. Is b at least as big as w?
False
Suppose 12 = -3*v - 15. Let t be 49/(-5) + (-3)/(-30)*-2. Is t != v?
True
Let n = 1381 + -1021. Which is smaller: 0 or n?
0
Let p = -153 + 189. Which is greater: -4 or p?
p
Let n(q) = -q**2 + 7*q - 4. Let b be n(6). Suppose -x = 0, 2*r - b*x - 4 = 6*r. Which is smaller: r or -1/16?
r
Let v = 142 - 145. Is 20 not equ