t as big as p?
True
Let f be 4*(0 + 5 + (-88)/12). Are f and -9 non-equal?
True
Let q = 1.1985 - -0.8467. Let f = 0.0188 + q. Let c = f + 0.036. Which is bigger: 0 or c?
c
Let x(m) = m**3 - m**2 - m + 38. Let c be x(0). Let d = c + -35. Which is smaller: d or 9/4?
9/4
Let l be -3 - 4/(8/(-10)). Let u(z) = z**2 - 1. Let f be u(-2). Suppose 0 = -l*h + f + 1. Which is bigger: 5/6 or h?
h
Let q = 15 + -27. Let v(c) = c**3 + 5*c**2 + 3*c. Let d be v(-4). Let x be (-1)/(d/q*1). Is 2 at most x?
True
Let c = 6 + -5.94. Let p = 0.06 - c. Suppose -8*t = 8*t + 64. Which is greater: p or t?
p
Let x = 1149/70 - -3/35. Which is bigger: x or 18?
18
Let k = 2 + 0. Suppose 3 - 11 = -k*h. Let v be (-2)/(-37) - (-1991)/814. Which is smaller: h or v?
v
Let v be 790/632*(-1 - 19). Are -26 and v nonequal?
True
Let m be (-168)/(-357)*(-21)/30. Is m equal to 0?
False
Let i = -6.2 + -36.8. Let p = i + 62. Let q = p + -26. Which is smaller: 0.1 or q?
q
Let x = 3 - 1. Suppose 5*c + 4 + 5 = -2*w, w + 3 = -x*c. Suppose -3*b = -6*b - 6. Is b less than or equal to c?
False
Suppose 5*t + 138 = 10*d - 2, 0 = 2*t - 4. Is d smaller than 14?
False
Let v = -302/7 + 43. Suppose 2*y - 11 = 19. Let g = -15 + y. Which is greater: v or g?
g
Let k be ((-6)/(-9))/((-6)/9). Is k at least 2/703?
False
Let r = -5 + 9/2. Let h be (18/12)/(3/4). Let w be h + 5/(10/(-4)). Which is bigger: w or r?
w
Suppose -25*d = -26*d + 3. Let f be ((-3)/(-21) + -2)/(-1). Is f less than or equal to d?
True
Let m = 0.049 - -6.551. Let q = 6.4 + m. Which is greater: q or -0.2?
q
Suppose 5*u + 11 = 3*g, -6 = -u + 4*g + 2. Let i = -8 - -8.3. Which is smaller: u or i?
u
Let r(d) = 7*d**2 - 15. Let n be r(-4). Is 98 less than n?
False
Let r = 10 + -10. Let j be ((-47)/3 - 1)*3. Let h = 899/18 + j. Is r > h?
True
Let y(i) = i**3 - 4*i**2 - 7*i + 2. Let a be y(5). Let f be (68/a)/((-1)/6). Suppose f = -5*n + u, -3*u + 2*u = -1. Is n greater than -11?
True
Let g = -26 - -30. Let f = g + -4.2. Which is smaller: -2 or f?
-2
Let l = -281 - 48. Which is greater: l or -330?
l
Let z = 14 + -43/3. Let x = 4.3 + 30.7. Let o = x - 43. Do o and z have the same value?
False
Let y = 19 + -14. Suppose -y*m + 14 = 2*m. Let j be (4/(-3))/((-10)/6). Which is greater: m or j?
m
Suppose 5*z - 4*z = j + 24, 2*j = -4*z + 72. Suppose 0 = -5*g - w + z, -3*g + 5*w - 11 = w. Are g and 0 nonequal?
True
Let r = -1993 - -21884/11. Which is smaller: -4 or r?
-4
Let c = -1.51 - -1.61. Which is smaller: -33/13 or c?
-33/13
Let z be (-28)/(-48) - (-5)/(-4). Which is greater: 28 or z?
28
Let t(l) = -3*l + 44. Let j be t(10). Suppose -j*g = 4*g - 54. Are g and 0.5 non-equal?
True
Let w be (1*30/(-25))/((-28)/(-20)). Which is smaller: w or 0?
w
Suppose 3*g = 153 + 138. Let q = -1065/11 + g. Is q at least as big as -5?
True
Let k be ((-12)/50)/(1/5). Let a = -76 - -76. Suppose y - 2*y + 4*y = a. Which is greater: y or k?
y
Let k be ((-56)/(-21) + -3)*36/3. Does k = 1.7?
False
Let p(r) = -r**3 - 8*r**2 - 7*r + 1. Let l be p(-7). Let x(o) = o**2 - 11*o + 10. Let y be x(6). Let s be 0/l - y/(-70). Do -1 and s have the same value?
False
Let l(b) = -6*b + 64. Let y be l(8). Suppose 2*m + t - 6 = 0, -t - 8 = -21*m + y*m. Is m bigger than -56?
True
Let q = 8/85 - -3971/255. Suppose -4*n - 16 = -3*n. Let l = q + n. Is 0.6 bigger than l?
True
Suppose 0 = w + m + 71, 2*w + 3*m + 57 = -89. Suppose 5*c = -10*x - 280, 0*c + 4*c - 4*x = -296. Is w > c?
True
Suppose 8 = 5*c - 2. Suppose 0 = -g - c*g. Suppose -4*u - 16 = g, 2*y - 3*u - 8 = 6*y. Are 1 and y unequal?
False
Suppose -10 = -2*f - h, 4*f - 4*h = -h. Suppose 2 = 2*x - 12. Suppose f*b - x*b = 0. Is -2/7 smaller than b?
True
Suppose -13 = 3*s - 4*s. Suppose 0 = 9*i - 4*i. Suppose 4*r + 4*f + i*f - 36 = 0, 0 = 2*r + f - 22. Is s >= r?
True
Let b = 38 + -36. Suppose 5*v - 3*u - 18 = b*v, v = -u + 4. Is 13 less than v?
False
Let j be (-12)/(-18) - 0*(-1)/3. Is j less than -0.012?
False
Suppose 5*s - 2 = 2*d, 0 = -2*s + 2*d + 2 - 6. Let o be 2 + s + 3/(-3). Suppose -o*f + 20 = 2*f. Is 5 less than f?
False
Let q = -1109/15 - -74. Which is greater: q or -1?
q
Let m be (-5 - -8) + -1 + -17. Which is bigger: m or -159/10?
m
Suppose 0 = 3*c - 4*c. Let a = -84 + 82. Let k be a/((-20)/(-26)) + 54/18. Which is smaller: k or c?
c
Let u = -814 - 202. Let s = u + 16251/16. Do s and 0 have the same value?
False
Let f(a) = 9*a**3 + a. Let v be f(1). Let q = v + -10. Is q <= 1/98?
True
Let w be (-2)/27 + (-13650)/(-9315). Is 0 at most as big as w?
True
Suppose 0 = x - 16 + 14. Suppose 30 = 5*n + w, n + x*w - 6 = -w. Which is bigger: 5 or n?
n
Suppose -137*z + 132*z - 30 = 0. Let o be z/4 + 0 + 85/2. Is o greater than or equal to 41?
True
Let o = 5 - 4.9. Let h = -15 - -13. Which is smaller: o or h?
h
Let i = -41 - -33. Let d = i - 16. Let r = 23 + d. Which is greater: -19 or r?
r
Let y(m) = -m**3 - 4*m**2 + 8*m + 25. Let i be y(-5). Suppose 0 = 4*g + 2*n, 4*n = -n - 10. Suppose 3*a = g - i. Which is smaller: a or -8/3?
a
Let m(r) = -27*r. Suppose -28*u + 26*u + 6 = 0. Let f be m(u). Which is smaller: f or -80?
f
Suppose -2*n - t = 2*t + 8, 20 = -5*t. Let g be (n/(-3))/(41 + -12). Which is greater: 0 or g?
0
Let b = -574 + 2869/5. Is 20 > b?
True
Suppose 94*g - 138*g = -1716. Is 75/2 smaller than g?
True
Suppose 16*n - 18*n = 10. Let b(w) = 7*w + 45. Let t be b(n). Is 11 at most as big as t?
False
Suppose 2*t - 122 = -18. Suppose 0 = -0*c + 4*c - 4*l + t, 2*l - 42 = 4*c. Let j = -8 + 1. Which is smaller: j or c?
c
Let y be (-24)/18 - (-187)/12. Which is bigger: y or 14?
y
Suppose -56 = -3*f - 17. Let n = 22 - f. Suppose 4*d = 5*w + 18, w + 3*d = 2*d - n. Which is greater: w or 1/2?
1/2
Suppose 9*s + 83 = 74. Which is greater: s or -2/869?
-2/869
Suppose 0 = -28*i + 29*i - 1. Suppose -1 = -6*l - i. Is l != 14?
True
Let p = -11.27 - -0.27. Let f = 12.8 + p. Let j = f - 1.7. Is j at most as big as -0.05?
False
Let r = 1487 + -573. Let w = r + -1606. Let t = 4852/7 + w. Which is bigger: t or 0?
t
Let n = -12 + 14. Suppose q = n*q + 10. Let m = -9 - q. Is m equal to 2?
False
Let g(y) = -3*y**2 + 27*y - 1. Let l be g(9). Are l and 2/359 non-equal?
True
Let m(t) = -21*t**2 + t + 1. Let i be m(-2). Let x = 509/6 + i. Let l = 8 + -39/5. Is x greater than or equal to l?
False
Let r = -14 + 19. Suppose -65 = -2*h + r*b, -b = -6*b + 5. Is 0 greater than h?
False
Suppose -r - 2*r - 5*x - 11 = 0, 3*r = 5*x - 61. Let s be 10/15*(147/r - -4). Suppose 0 = 4*w + 1 + 27. Is w >= s?
False
Let t = -1970 + 102429/52. Is t greater than -1?
True
Let a = -7191/4 - -1798. Do -116 and a have different values?
True
Let m = -27.3 + 35. Let v = 7.74 - m. Let t = -3 + 2. Is v smaller than t?
False
Suppose 0 = 2*d + 4*p - 20, 20 = -9*d + 5*d + 4*p. Let i be (-54)/(-185) + 2/(-5). Is d at least i?
True
Let b be 2/(-4) + (-143)/(-22). Suppose 0 = -b*s + 4*s - 48. Let h = 25 + s. Are h and 1 nonequal?
False
Let d = -0.02 - -1.42. Let b = d - 1.54. Let w = 0.04 + b. Is w != 10?
True
Let g be 2/(-4) - (-9)/(-2). Let f be (-4)/g*4*-5. Let a = f - -17. Does a = 1/7?
False
Let b(m) = m**2 + 18*m - 63. Let x be b(3). Is 30 less than x?
False
Suppose -4*s + 5*k - 128 = -0*s, 0 = 3*s + 3*k + 69. Let d = 7 + s. Which is bigger: -19 or d?
-19
Let u = 610 - 609.9. Is 1/52 less than or equal to u?
True
Let t be (34/153)/(2/(-96))*3. Are -29 and t non-equal?
True
Let x be (-286725)/(-804) - (-4)/2. Let i = x - -109/67. Let s = i - 363. Is -3 > s?
False
Suppose 8*r - 140 = -20. Suppose 0 = -r*c + 9*c + 336. Which is bigger: 57 or c?
57
Let o(k) = -3*k + 68. Let z be o(20). Let h(d) = -1 + 1 - 5 + 1 + 2*d. Let q be h(6). Is q greater than or equal to z?
True
Let s(o) = -o**3 - 11*o**2 + o + 13. Let b be s(-11). Suppose 3*l = 6 - 0, -b*i = 2*l - 4. Suppose j - 12 = -3*j. Which is smaller: i or j?
i
Suppose -3*w + 16 = -2*d + w, 52 = -3*d - w. Let p = 3961/4 + -974. Let v = p + d. Which is smaller: v or -1?
-1
Let f = 529 - 529.6. Which is smaller: f or -4.2?
-4.2
Let g = 825175/10272 - -3/3424. Let x be (-316)/(-8)*(-1 + -1). Let l = x + g. Is l at least 1?
True
Let f = -9 + 5. Let k = f + 4. Let q be (2 + 1)*55/(-330). Do k and q have different values?
True
Let o = -13 - -23. Suppose o*b + 14 = 4. Let r = -43/35 + 10/7. Is b <= r?
True
Let t(b) be the second derivative o