ch is smaller: -3 or w?
w
Let u = 6 - 10. Let k = 92 + -100.4. Let a = 4.4 + k. Is u greater than a?
False
Let k(y) = 2*y - 14 - 5*y + y. Let b be k(-8). Let j be (-4 - (b - 2)) + -3. Which is bigger: -6 or j?
-6
Suppose 21*k - 4971 - 6264 = 0. Which is greater: k or 534?
k
Suppose 376 = 7*j - 23. Suppose 54*u = j*u + 21. Let s = -8 + 5. Is s < u?
False
Let c(a) = 238*a - 61. Let b be c(4). Is b < 891?
False
Let r = 0.06 - 3.06. Let a = 4 + r. Let b = -10 - -15. Is a at least as big as b?
False
Let z be (145/(-58))/(2/(-45)). Let j be (-123)/(-2) - 2/4. Let s = z - j. Which is greater: s or -6?
s
Let y(h) = -16*h + 176. Let b be y(11). Is b bigger than -1/1294?
True
Let p = 0.325 + -12.325. Does p = -2/5?
False
Let n be -1 + 30/(-5) - 41655/(-5955). Which is smaller: n or 0.2?
n
Suppose 0 = -30*g + 1341 - 171. Is 39 at most as big as g?
True
Let c be 4/8 - (-198)/(-4). Is -47 at most c?
False
Let t = -1.9 - -18.9. Let w be 24 + -11 + 203/(-14). Which is greater: t or w?
t
Let y = -81 - -84. Suppose -2*w + g - 6 = -27, 24 = y*w + g. Which is greater: w or 3?
w
Let k = -15 + 16. Let m be (250/(-54))/((-117)/(-54)). Let a = m + 19/9. Which is smaller: k or a?
a
Suppose -5*p - 2*b = 40, 3*p - 4*b = -3*b - 35. Let z be 156/9*(2 + 1). Suppose -4*x + 0*x - 3*d = 24, 4*d = 4*x + z. Is p at least x?
False
Let f = -2.4 - 34.6. Let q = -38.4 - f. Is q less than or equal to -1?
True
Let f(v) = 8*v**3 + v**2 - 2*v + 1. Let o be f(1). Let u = -5 + o. Suppose -h - 4*h = 3*l + 12, -u*l = -h - 6. Which is greater: 12/7 or l?
12/7
Suppose 3*s - 4*s - 2 = 0. Let m be 3/(-18) - (-1 + s + 2). Do m and 1 have different values?
True
Let d = -289 + 196. Is d greater than -278/3?
False
Let p = -20 + 20.9. Let j = p + -0.7. Let n = -13.3 - -13.27. Which is greater: j or n?
j
Suppose -32*z - 3096 = -24*z. Which is smaller: -388 or z?
-388
Let n = -1 - -20. Let f be ((-1)/3)/(1/(-3)) - -17. Is n at least as big as f?
True
Suppose -42*m = -40*m - 4*t - 498, 3*t - 533 = -2*m. Is m bigger than 257?
True
Suppose 0 = -3*d + 4*s - 3*s - 283, -3*d = 4*s + 278. Let r = -98 - d. Is 5 less than r?
False
Let q(a) = a + 3. Let o(g) = 1. Let i(r) = -2*o(r) + q(r). Let l be i(-1). Is l at most -3?
False
Let b be ((-6)/(-9))/(20/(-15)). Suppose -4 = -d - 6, -4*m + 4*d - 24 = 0. Is m <= b?
True
Suppose 0 = -4*r - 3*m - 2 - 5, -3*r + m = 2. Let p be (r/(-2))/((-4)/8). Let d be p/(-5)*(-5 - -2). Is d < 0?
True
Let j(a) = a**2 - 5*a - 1. Let b be j(-2). Suppose r = -2*r - z + 8, 0 = 5*r + 3*z - 16. Suppose 0 = r*o + b - 5. Do -2 and o have the same value?
False
Let n(g) = 12*g - 9. Let q be n(-3). Is -48 greater than q?
False
Let f = 52 + -107/2. Suppose 0 = 5*l + 5, -4*l = -2*o + 2. Are f and o equal?
False
Let m be (-35)/20 + 9/12. Let g be 4 - m/((-2)/(-4)). Let u be (3/g)/(2 + -12). Does 1 = u?
False
Let z be (191255/60 + -3)*4/(-70). Let x = 182 + z. Are -1 and x equal?
False
Let q(a) = a - 8. Let f be q(10). Let k be ((-6)/(-4))/((-21)/112). Let x be (2/k)/(2/(-20)). Is x equal to f?
False
Let p(y) = -y**3 + 10*y**2 + 5*y + 41. Let n be p(10). Which is smaller: -1 or n?
-1
Let u(s) = -s**3 + 11*s - 2 + 9*s + 0 + 7*s**2 - 10*s. Let l be u(8). Let h = l + -6. Is 1 < h?
True
Suppose 3*m - 5*a + 2333 = -3*a, 5*m + 3905 = -5*a. Is m <= -779?
True
Let m(w) = 7*w**2 + 94*w + 90. Let o be m(-21). Is o bigger than 1204?
False
Let h be (-2 + 7 + -12)*92/(-14). Let y = -25 - -70. Which is greater: h or y?
h
Let t = 22 + -24. Is 0.028 at most t?
False
Suppose 4*h - 24 = -i - i, -3*i = -h - 8. Suppose 5*p = i*r + 32, -r + 3*r + p + 2 = 0. Let g be (5/2 - 0) + r. Is -2 < g?
True
Let c = 25595539 + -5042408653/197. Let s = c + 444. Which is greater: s or 1?
1
Let w = 17 + 75. Is w less than or equal to 2?
False
Let c be (-99)/(-4) + (-4)/(-16). Let a = c - 20. Let x be -2*58/(-24) + 14/21. Is a less than x?
True
Let r = 787 - 782. Let x = -0.1 - 0.9. Which is smaller: r or x?
x
Let r be ((-4)/(-20))/((-670)/25). Which is greater: r or 1?
1
Let z(a) = -a - 4. Let q be z(11). Let r be ((-55)/q - 5)/((-44)/(-54)). Is -2 >= r?
False
Let v = -23/5 + 29/5. Which is bigger: 3 or v?
3
Suppose -2 = g - 0*g + 2*y, 0 = g - 3*y - 23. Suppose 4*p = w - 20, -w + 2*p = p - g. Let r be -15*(34/(-10) + w). Is r != -10?
True
Let l = -2.01 + 0.01. Let q = 1.05 + 24.95. Is q less than or equal to l?
False
Suppose -6*c = -c. Let o = 41/1134 - -1/1134. Is c < o?
True
Let n = -1.32 - -12.72. Let s = 2.6 + n. Let q = s + -16. Is 0.4 at most as big as q?
False
Let m be ((-4)/(-6))/(2/(-12)*-2). Suppose -2*n - 2*n - m*l = 8, 3*l = n + 9. Which is greater: -5/2 or n?
-5/2
Suppose u + 0*u = -u. Let p be ((-6)/15)/((-2)/(-10)). Let r be 6/11 + u/p. Are r and 2 non-equal?
True
Let g be (-4)/(-5) - (-1)/5. Let i = 15 + -17. Let v be 0/5 + i/(-17). Which is bigger: g or v?
g
Suppose -5*d = -78 + 73. Which is smaller: d or 44/25?
d
Let t = -3/212 + 517/6572. Which is smaller: t or 4?
t
Let y be 3 + ((-8)/12 - 45/12). Let d = 7/4 + y. Which is greater: 3 or d?
3
Let z be 4/6 + 10/(-15). Let j(p) = p - 3. Let x be j(z). Is x < -4?
False
Suppose 5*j = -z - 16, -5*z - 4*j + 5 = 1. Suppose -45 = -2*s - 3*w, -22 - 54 = -3*s + z*w. Which is bigger: 25 or s?
25
Suppose 9 = -2*t - 7. Let q(d) = d**3 - 7*d**2 + 6*d - 7. Suppose 76 = -y + 82. Let h be q(y). Which is smaller: t or h?
t
Let b = 821/266 + -60/19. Suppose 0 = 4*t, r + 4*t = 53 - 52. Is b at least r?
False
Suppose x + 217 = 3*r - x, 0 = 5*r - 4*x - 365. Let w = -348/5 + r. Is -1 bigger than w?
False
Suppose -2*r - 5*t = 34, 15 = -5*r + 5*t - 0*t. Suppose g - 2*d - 3 = 0, 3*g = -0*g - d - 26. Do r and g have the same value?
True
Let f = -1319 - -1310. Which is greater: -1 or f?
-1
Let h = -80.4 + 78.1. Which is smaller: 0 or h?
h
Suppose 12*q = 24 - 24. Which is greater: 5/18 or q?
5/18
Let b = 36/2527 + 4055439/27797. Let v = 146 - b. Which is smaller: -1 or v?
-1
Let c = -14238.9 + 14239. Suppose 39 = -x + 14. Is x smaller than c?
True
Suppose -d = -5*h + 3*d - 37, 0 = -2*h - 2*d - 22. Is h >= -18?
True
Let f = -433 - -432. Is f greater than or equal to -3/271?
False
Suppose 200 = 4*g + g. Let b be -3*(g/(-12) - -3). Are -8 and b unequal?
True
Suppose -3*r = 5*v - r - 10, -4*r = -2*v + 4. Let o be (((-48)/15)/8)/(1 - v). Does -0.04 = o?
False
Suppose 2794 + 5406 = -20*s. Is s equal to -411?
False
Let c(b) = -28*b + 416. Let m be c(11). Which is bigger: 215/2 or m?
m
Let o be (40/12)/(-10) - (-46)/(-24). Let h = 6 + -9. Is o less than h?
False
Let p = 89 + -89.034. Is 0 at least p?
True
Let g = -45 - -45.02. Let l = -1.4 + 1.32. Let y = g - l. Which is smaller: -13 or y?
-13
Suppose 0*z - 3*z - 3*u = -21, -5*u - 19 = -4*z. Let l be (-65)/30 + 1/z. Let p be ((-30)/((-6)/2))/l. Which is bigger: -4 or p?
-4
Let r = -28 + 16. Let i be (0 + r/(-7))*14. Let y be 0 + (i/(-20))/(-2). Is y at most as big as 0?
False
Let w = 144.1 - 155. Which is greater: -3 or w?
-3
Suppose 0 = 3*r + 5*d - 17, 3*d = r - 6*r + 55. Let y = 14 + r. Is y at least as big as 27?
True
Let o = 1272 - 1263. Is o not equal to 28?
True
Suppose 5*h + 5 - 25 = 0. Suppose 56 = -4*w + 12*w. Suppose -6 = w*o - h*o. Are o and -1 nonequal?
True
Let f be (14 - (-363)/(-27))*1. Let l(c) = c**2 - c - 2. Let r be l(0). Let o be (-1 - r)/((-1)/(-2)). Which is bigger: o or f?
o
Let z be -1 + (2825/(-355) - -9). Is 1 smaller than z?
False
Suppose -d = -5*d. Let s = -105062/45 + 6888196/2925. Let k = 264/13 - s. Are k and d equal?
False
Let k = 4 - 3.5. Let p be (-8)/12*(-6)/(-4). Let i be ((-1)/p)/((-12)/2). Is k equal to i?
False
Let x = -51 - -50. Is x not equal to -10/3?
True
Suppose 1 + 1 = 4*g - 3*h, 5*h - 10 = 0. Let l(k) = 14*k**3 + 3 - k**g + 0*k**2 + 4*k**2 - 16*k**3 + 3*k. Let t be l(3). Which is greater: t or -16?
t
Let j(t) = t**3 - 3*t**2 - t + 2. Let a be j(4). Suppose -n - 34*s + 12 = -37*s, -s - 59 = -4*n. Which is greater: n or a?
n
Let z be ((-12)/(-9) - 0)*-3. Let m be 364/663 + z/6. Suppose 2 = 2*r - 0. Which is smaller: r or m?
m
Let g(o) = o + 10. Let p be g(-5). Suppose r + 1 = -n - 1, 0 = p*n - r - 8. Is n at least 9/10?
True
Let k be -4*(-139)/2992 + 2/(-17). Is 0 at most k?
True
Let s = -18 + 287/16. Suppose 0 = -4*m - 0 + 4. Suppose -1 = -2*c + m. Is c at least as big as s?
True
Let s = -265 - -264