0?
False
Let k = 1103 - 871. Which is smaller: 0 or k?
0
Let r = 9/8 + -21/8. Let g = 63.66 - -0.34. Let u = -64.2 + g. Which is greater: u or r?
u
Suppose -25 = -5*j - 5, r - 5*j = -18. Let b be (r/(-3))/((-2)/12). Suppose b*f + 4 = -8. Which is bigger: f or -4?
f
Let m = 203 + -190.1. Let t = -3 - 10. Let f = t + m. Are f and -3 non-equal?
True
Let o be (6/(-3) + 0)/(-1). Let u = 27 - 26. Suppose 8*d = -9 + u. Is o greater than d?
True
Suppose 36 - 11 = 5*z. Suppose 0 = 3*l - y - 25, -z*l - 3*y = 2*y - 55. Let d be 23/(-2) + l/3. Is d at most as big as -10?
False
Let m be (-1)/(-1 + -1 - -3)*-1. Let q be 1/38*12/(-54). Is m <= q?
False
Let d be (12 + -14)/(10 + -2). Which is smaller: -0.04 or d?
d
Suppose -i - 3*o + 19 = 2*o, 0 = -2*i - 5*o + 18. Let h be (13 - 11)*i/(-2). Let j = 41 + -45. Which is bigger: j or h?
h
Let j be (-9)/(-2)*(-56)/(-42). Let p = 4 + j. Which is greater: 8 or p?
p
Let f be 1/((-55)/(-945)) + 0 + 10/(-55). Suppose 2 = -3*a - 4. Let k be (0/(a - -1))/1. Which is greater: f or k?
f
Let u = 926.03 + -926. Let t = 0.06 + 1.74. Let l = -2 + t. Which is smaller: l or u?
l
Let n = -1263 - -666. Which is greater: n or 2?
2
Let x = 5936/93 + -64. Are x and -1 non-equal?
True
Suppose -3*d - 72 = 4*w, 4*d - 18 = -0*w + w. Let b be ((-128)/(-288))/(2*(-2)/w). Let k be 3*(20/6 + -2). Which is smaller: b or k?
b
Let z be (-3)/(-9) - (15760/6090)/8. Which is greater: 4 or z?
4
Let m(r) = r - 10. Let z be m(11). Which is smaller: z or 11/24?
11/24
Suppose 500 = -0*u + 4*u + 4*a, -5*u + 640 = 2*a. Let y be ((-5)/u)/((-2)/(-8)). Which is bigger: 1 or y?
1
Let k be 3/((-85)/25 - -4). Suppose z = k*z + 2452. Let t = -3036/5 - z. Which is smaller: t or 7?
t
Suppose 39 - 182 = x. Which is smaller: -144 or x?
-144
Suppose -7 + 5 = -2*q. Let c be q*3 - (-102)/(-3) - 2. Is c greater than -33?
False
Suppose -20 = -5*a - 0*a. Suppose -l - w + a = 0, 4*l + 6*w - 4*w - 10 = 0. Let h be (-6)/8 - 63/(-196). Is h >= l?
False
Let q(a) = -3*a**2 - 46*a + 113. Let z be q(-14). Are z and -1 non-equal?
True
Let h = 0.3 + -0.4. Let n be (5 - 43/8)*10. Which is smaller: n or h?
n
Let t = -25.57 + 21.31. Is 0.2 less than t?
False
Suppose -w + g = 20, -2*w - w - g = 68. Suppose -11*p = -14*p + 15. Suppose -o - 70 = 5*i + 36, 0 = -i + p*o - 42. Do w and i have different values?
False
Let j be 9/582 + 0/(-4 - -5). Which is greater: 1 or j?
1
Let s be (-5)/(20/178)*-12. Suppose 6*c - s = -30. Which is bigger: c or 83?
c
Let f = -43 + 23. Let x = 11 + f. Suppose -i + 3*b - 15 = 0, -4*i - 25 = -0*b - 5*b. Is i less than x?
False
Let x be 4 + 7/((-28)/(-444)). Suppose 7*w - x = -17. Which is bigger: w or 15?
15
Suppose 0*h + z = h - 5, -2 = -h - 2*z. Let p be (189/6)/9 + 6/h. Is p < 6?
True
Let q(l) = -l**2 + 10*l - 22. Let v be q(6). Suppose -15 = v*p - i, -5*i + 12 = -2*p - 7. Let b be 2 + -4 + (-4 - p). Are 2/35 and b nonequal?
True
Suppose 3*q = -5*z + 15, 5*z - 5 = -2*q + 5. Suppose 5*a = 10 + q. Suppose -a*h - 5*v = -4*h - 1, 0 = 4*h - 4*v + 4. Do -1/4 and h have different values?
True
Suppose 14*v - 2608 = -8026. Is -387 smaller than v?
False
Let d = -0.75 - -0.55. Is 55 less than or equal to d?
False
Suppose -4*m - 3*s - 203 = -2*m, 5 = -s. Is -93 at least as big as m?
True
Let c = 71.1 + -27.9. Let f = 44 - c. Does -1/11 = f?
False
Let k(y) be the first derivative of 5*y**4/4 - y**3/3 - y**2/2 + 6. Let c be k(-1). Let x be (-1)/c*(-30)/36. Is x less than or equal to 1?
True
Suppose 3 = 2*k + k. Let o be 10/15*-6 + 41792/9554. Let r = o + -6/281. Is r at most k?
True
Let s = 2.9 - 2.77. Let w = s - -0.37. Which is greater: 0.2 or w?
w
Let h be ((-665)/(-28))/(-19) - (-1 - 0). Which is bigger: 0.24 or h?
0.24
Let f = 43 - 34. Suppose -6*z + 10*z - 32 = 0. Does z = f?
False
Let o be -10 + 2 + -2 + 4. Let f = o - -13. Suppose -10*d + f*d - 3 = 0. Is 5 > d?
True
Suppose 5*t - 2*o + 5 = 0, 18 = t + 4*o - 3. Let g be t/8*6/(-3). Which is smaller: g or 0?
g
Suppose 1199 + 737 = -11*l. Which is bigger: -707/4 or l?
l
Let q = -31.7 - -34. Let j = q + 2.7. Let w = -0.15 + 0.25. Which is bigger: j or w?
j
Let v be (34/(-10) + -1)*(-15)/(-12). Is -6 at most v?
True
Let n = -7.064 + -0.136. Let u = -7 - n. Which is smaller: 5 or u?
u
Suppose -21*i + 63 = -21. Which is greater: i or 25?
25
Let x be 3/5 + (-735)/(-25). Suppose -4*w - 150 + x = 0. Let p be ((-8)/w)/(8/(-20)). Is 3 smaller than p?
False
Suppose 2*l = 5*l + 3. Let i be (-123)/24 + 10 + -6. Let v = i - -11/24. Are l and v non-equal?
True
Suppose 5*k + 12 - 32 = 0. Suppose -2*c - 4*g = -26, 4*c + 2*g - 32 = -2*g. Suppose 0 = -c*a + 14 - 2. Is k bigger than a?
False
Let v(a) = a**3 + a**2 - 7*a - 8. Let r be v(-4). Which is greater: r or -19?
-19
Let l = -0.021 - 12.979. Let y = -0.34 - -13.34. Let r = y + l. Is r <= 0?
True
Let k = 2399/4 - 599. Suppose 3*c + 3 = -2*c + 3*a, 0 = a - 1. Do c and k have different values?
True
Suppose 8*v - 5 = -21. Let z be -8 - v - (1 + 1). Is z at least -9?
True
Let y be (0 - 3/(-2))*12/(-18). Which is bigger: y or -23/19?
y
Let p(u) = 2*u**3 + u**2 - 8*u - 15. Let a be p(3). Suppose 0 = 5*i - 51 - 74. Which is bigger: i or a?
i
Let q = 2.5 + -5.5. Which is greater: q or -26/7?
q
Let a = 360 - 337. Which is bigger: a or -10?
a
Let q = -1.26 - -1.04. Which is smaller: q or -0.2?
q
Suppose -3*s - 12 = -3. Suppose 2*o + 2*d - 6*d = -2, 19 = 5*o + 2*d. Let a be 0/(2 - s - o). Which is smaller: -1/4 or a?
-1/4
Let c = 761 - 780. Are c and -39 nonequal?
True
Let b = -1/109 + 263/4905. Let r = 43 + -35. Let l(w) = w**2 - 4*w - 31. Let m be l(r). Is b < m?
True
Let k(y) be the second derivative of y**4/12 + y**3/6 + 6*y. Let i be k(2). Let v = -0.6 + 2.6. Which is smaller: v or i?
v
Let d be (4 - (-4)/4 - 5)/2. Is 12/19 > d?
True
Let o(w) = w**2 - 2*w - 7. Let p be o(6). Suppose 0 = -2*i + 8, i + i = -3*q + p. Is q greater than or equal to 6?
False
Let v = 8.05 - 8.45. Let u = -14 + 20. Which is smaller: v or u?
v
Let b be (-10)/(4/(16/4)). Let u be (-382)/12 - b/(-60). Let r = 27 + u. Are r and 5 equal?
False
Let g(q) = -4*q**2 + 13*q + 9. Let y be g(-1). Which is greater: y or 9?
9
Let c(s) = -2*s**2 - 3*s - 3. Suppose -34 = -3*t - 28. Suppose -t*x = 8, 4*x - 14 = 3*i + 6*x. Let q be c(i). Is -5 smaller than q?
False
Suppose 8*f - 4*f = -56. Let v = -13 - f. Let h be (-3)/(-1)*4/(-45). Is h < v?
True
Let k(n) = n**2 - 8*n + 7. Let i be k(7). Let c = -120 - -252. Let d = -2510/19 + c. Is d equal to i?
False
Let s(o) = o**2 - 6*o + 9. Let k be s(6). Let t be k/(-12)*(-16)/42. Let z = -2.5 + 2.6. Is t greater than or equal to z?
True
Let n = -17472271/1561 - -11193. Is n not equal to -1?
True
Let a(z) = z**2 - 12*z - 11. Let x be a(14). Suppose -5*u = b + 2*b + x, -4*b = u. Does b = -1/11?
False
Let w(u) = 8*u - 19. Let s be w(3). Suppose -k - s*k = 0. Is -0.03 <= k?
True
Suppose -6 = c + 2*d, c - d - 8 = 1. Suppose -g - g = -4*o + 44, -o = c*g - 20. Let j(k) = -k**2 + 13*k - 13. Let y be j(o). Which is greater: -2 or y?
y
Let q be (-4)/(-10) + (-31536)/240. Do q and -134 have the same value?
False
Suppose -3*r + 15 = 5*b, r = -0*r - 5. Let p be (39/6)/((-14)/(-12)). Is p less than or equal to b?
True
Let c = 39728/133755 + 1/3615. Which is smaller: -1 or c?
-1
Let g(r) = -38 - 2*r - 2*r - 4*r - 2*r. Let a be g(-7). Is a > 33?
False
Let b = 26 - 27. Let l be (38/95)/((-12)/50). Which is smaller: l or b?
l
Suppose h - 62 = -5*o, 2*h = 11*o - 15*o + 52. Are 136/11 and o equal?
False
Let r(l) = l**3 - 7*l**2 - 8*l - 3. Let y be r(8). Let x be (8/(-10))/(1/(-30)). Let v be x/(-18)*(-3)/(-1). Which is bigger: v or y?
y
Suppose -8*h - 24 = -3*h - 3*g, -4*h + 4*g = 24. Suppose 54*k = 330 - 438. Is k at most as big as h?
False
Suppose 19*z + 1200 = -2448. Which is smaller: 0 or z?
z
Let t = -21.17 + -6.73. Let h = -1 + -27. Let y = t - h. Which is smaller: 0.09 or y?
0.09
Let q = -43 - -22. Let z be (-6)/1*-4*5/660. Is z smaller than q?
False
Let q = 39.2 - 43.5. Is q less than -2/5?
True
Let m be 50/13 + -4 - (-3165)/20995. Is m at least as big as -1?
True
Let h = -50553 + 34247. Let t be h/(-42) + (-12)/(-28). Let a = 393 - t. Are a and 3 equal?
False
Suppose -8*n - 120 = 12*n. Let p = 0 + 6. Suppose p = -2*s - 8. Is n > s?
True
Let m = 121 + -127. Let l be 12*(2/4)/(-1). Let g = m -