 - -83. Is t less than or equal to 30?
False
Suppose -3*a = 35*a + 114. Which is smaller: a or 2?
a
Let h = 120.6 - 6.6. Let l = 108 - h. Is l greater than 1?
False
Let k = 3/26804 + 3645179/1474220. Let u = k + -36/11. Which is smaller: -1 or u?
-1
Let p(q) = -q**2 + 3*q - 2. Let b be p(2). Suppose 0 = -2*m - b*m - 2. Does m = 2/11?
False
Let c be ((-396)/(-55))/(-12)*20/(-6). Which is bigger: 19/9 or c?
19/9
Let a be (15 + -19)/(4/16*-2). Is a != -3?
True
Suppose 3*d - 14 = 4*d + 4*h, 0 = -2*h - 2. Let s be ((-12)/(-10))/(3/d). Suppose 0 = 6*x - 4*x + 8. Do s and x have the same value?
True
Let v = -5.87 - -5.97. Which is bigger: v or 60?
60
Let c be (-36969)/81468 + 1/2. Let i = -7/372 + c. Let g = -152/219 + i. Are 1 and g unequal?
True
Let f = -44.9834 - 0.0166. Is f greater than -2/3?
False
Let g be ((-1)/(-1))/((-1)/((-43)/1)). Is g less than or equal to 43?
True
Let i = -2274 + 2202. Is i at least 4?
False
Let p = -44 + 42. Let l = -5 + 5. Let o = -0.1 + l. Which is bigger: p or o?
o
Let o = 607/20448 - -1/639. Let d be (3/(-9))/((-17)/(-23)). Let v = d + 2/17. Is o greater than v?
True
Let o(r) = r**2 - 3*r - 1. Let z be o(-7). Suppose 4*c + 99 = v, v = -c - 2*c - z. Is -24 <= c?
True
Let a be (-1)/2 + 1/2. Let b be 5/(-130)*-74 - 2/(-13). Suppose b*m - 3 = -a*m. Is m < 0.13?
False
Let j be ((-10)/(-3))/((-8)/(-12)). Let p = 4 + j. Let m be (-12)/p*(-6)/(-148). Are m and 1 non-equal?
True
Let s be (-2)/40 - 3/(-12). Let t be (-110)/10*(-1 - 1 - -7). Let z = -56 - t. Which is smaller: z or s?
z
Suppose 0*w + 2*s = 3*w + 9, -4*w + s = 12. Suppose 4*l = -d + 2*l + 25, 0 = -5*d + 5*l + 65. Let o = d - 14. Which is greater: o or w?
o
Suppose 62*o - 72*o = -120. Which is bigger: 10 or o?
o
Let z = -26 - -26. Suppose 13 = c - 0*q - 4*q, q = c - 13. Is z smaller than c?
True
Let g be (-40)/(-12) + -3 + (-38)/(-6). Let i(q) = q**3 + 6*q**2 - 2*q - 5. Let h be i(-6). Is g > h?
False
Let s(d) = d**2 - 5*d. Let h be s(5). Let x = -1 - 1. Let o be 16/(-12)*x/(-6). Is h at least o?
True
Suppose 7*s - 28 = -42. Let l be (7 - 14) + 5 + s + 1. Is -3 greater than l?
False
Suppose l - 6*m + 46 = -3*m, -l - 2*m = 56. Which is greater: l or -46?
-46
Let g be 129/8 - 9/72. Suppose 21*t - 10 = g*t. Suppose 0 = 2*k - 4 - 0. Is t equal to k?
True
Let r = -66.8 + 49.8. Which is smaller: -5/2 or r?
r
Let a = 69 - 64. Suppose a*n - 15*n = 7*n. Does 10/11 = n?
False
Let j(x) be the first derivative of 3 - 1/4*x**4 - 13*x + 5*x**2 - 10/3*x**3. Let u be j(-11). Is -4 > u?
False
Suppose -756*f = -758*f - 986. Does -493 = f?
True
Suppose -8 = -u - 5*h - 24, -4*u + 26 = 2*h. Which is smaller: u or 10?
u
Let m = 865 + -900. Which is smaller: m or -33?
m
Suppose 7*x = 6*x - 2. Let b = 76/611 - 42/47. Is x less than or equal to b?
True
Let p = 0.874 - 0.174. Let u = 19/35 + -8/7. Which is greater: u or p?
p
Suppose 18*o = 28*o + 190. Let j be -33*7/(-24)*-2. Let r = o - j. Is r greater than 0?
True
Let y = -2.307 - -0.307. Let h = 6.229 - -0.071. Let r = 6 - h. Which is smaller: y or r?
y
Let w = 0.49 - 0.4. Let o = w - -0.01. Is o < -14?
False
Let z = 966 - 965. Is -3.4 < z?
True
Let t be 5*1/(-65)*-2. Let q be (-95)/(-35) + -3 - (-447)/21. Suppose 4*d = -25 + q. Are d and t non-equal?
True
Suppose -38*n - 137 = 205. Which is greater: 1 or n?
1
Let a = 2.1 + -2. Let b = 8.05 - 2. Let l = b - 6. Is a != l?
True
Let t = 85/327 - -8/109. Which is smaller: 28 or t?
t
Suppose -13*c + 16*c = 0. Suppose 0 = 4*r - 2*r + 6. Let g be (r/9)/((-22)/(-72)). Are c and g non-equal?
True
Suppose -127*q = -5*h - 122*q, 0 = -3*h - 2*q. Are 0.029 and h nonequal?
True
Suppose y - 5*t + 17 = 0, t + 0*t = -y + 1. Let p(i) = i - 8. Let w be p(0). Let d = -12 - w. Is d at most as big as y?
True
Suppose 4*c = b + 12, -3*b - 5 + 1 = 4*c. Suppose c*t + 8 = 0, -d + 5*t = d - 128. Is 54 > d?
False
Let v(h) = h**3 - 27*h**2 + 26*h + 20. Let g be v(26). Which is bigger: g or 24?
24
Suppose -22*r - 118 = 718. Is -118/3 at least r?
False
Suppose -60*b = -61*b - 7. Let h(g) = -10*g + 5. Let j be h(b). Is j > 75?
False
Suppose -2*p - 2*p = -12. Suppose p*q - 60 = -18. Is q less than 13?
False
Let g be (-1702)/(-30) - (-6)/10. Let j be (254/24)/(18/96). Let q = g - j. Which is smaller: 2 or q?
q
Let z = 63/16 + -747/80. Suppose -16*d - 84 = -4. Is d at most z?
False
Suppose -5*y = 5*o - 10, o + 2 - 4 = 3*y. Let m = -4 - o. Which is smaller: m or -5?
m
Let q = 3/104 + -1887/520. Let j be (-3 + 1)*(7 + -5). Which is greater: q or j?
q
Let h = 922 + -13849/15. Is h > -1?
False
Let w = -4.7 + 5. Suppose -48 + 8 = -10*h. Suppose h*d - 14 = -42. Is d less than or equal to w?
True
Suppose 0 = 29*t - 27*t - 8. Let j be ((-2 - -4) + -4)/1. Let h be (-2)/(-3)*(-3)/j. Which is bigger: t or h?
t
Suppose 0 = 5*t - 0*t. Let g be 3 + (-5 - 1) - t. Let v be (g/(-2))/(1/(-6)). Which is smaller: -8 or v?
v
Let b = -225 - -2439/11. Which is greater: b or 1/5?
1/5
Let b(l) = -4*l**2 + 2. Suppose 37*c = 36*c - 3. Let y be b(c). Is y greater than -35?
True
Let j = 957/12272 + -1/944. Which is bigger: j or 1?
1
Let y be 70/(-5) + 75*12/60. Let l be -2 + 2 + -3 + -1. Let b be -3*(l/3 - 0). Which is smaller: b or y?
y
Let v(h) be the first derivative of 3*h**2/2 + 10*h - 25. Let r be v(-3). Which is bigger: r or -1/45?
r
Let x = -214.92 - -214.9. Which is bigger: -50 or x?
x
Suppose -5 + 13 = -2*i. Let f be ((-55)/(-10) - 6)/((-3)/(-22)). Is f != i?
True
Suppose -16 = -w + 3*j, 3*w + 3*j = 6*w - 24. Suppose w*s = -6 + 10. Which is smaller: -2/51 or s?
-2/51
Let t(z) = -6*z**2 + z + 1. Suppose 0*v + 2 = -2*v. Let w be t(v). Let i = w - -6. Does i = 0?
True
Let q = 346/175 - 28/25. Is 0 smaller than q?
True
Let o(y) = y**3 + 3*y**2 - 4*y - 1. Let v be o(-4). Let s be 1/9*(-17)/(204/60). Is s bigger than v?
True
Let i = -262 + 258. Which is smaller: -8 or i?
-8
Suppose 3*p + 3*c + 9 = 0, p + 3*c = -0*c - 5. Let t be p + 6/(-1 + 3). Which is smaller: -1/44 or t?
-1/44
Let n be -1*(-1 - (0 + -2))*8. Which is smaller: n or -24?
-24
Let d = 14 - 14. Let a be 3*((-2 - -1) + d). Let r be a - (7 + 1) - 0. Is r != -10?
True
Suppose 4*v + 5*m = -20, 0 = 3*m + 7 + 5. Let r = 37/8 - 9/2. Is v smaller than r?
True
Let x be (-22)/42 + 3/(-9). Let f = 3/575 + -16127/5175. Let h = 158/45 + f. Which is smaller: x or h?
x
Let w = 5 - 4. Let z = 333 + -3660/11. Is z >= w?
False
Let k = 70 + -101. Which is smaller: 0.2 or k?
k
Let n(y) = 31*y + 902. Let o be n(-33). Is o bigger than -120?
False
Let j = 17.2 + -9.1. Let c = -13.9 - j. Is c < -1?
True
Suppose -u = -d - 192, 222 = -17*u + 18*u + 5*d. Is u at least as big as 196?
True
Suppose -y - 5*j = -17, 8*j - 5 = -y + 6*j. Is -45/11 at most as big as y?
True
Suppose 0 = 4*b - r - 45, 8*b - 3*r = 3*b + 65. Let y be (-5)/(-1)*(-24)/b. Which is smaller: y or -11?
y
Let l = 30 + -59/2. Let p = -0.47 - 23.53. Which is smaller: l or p?
p
Let a = -277.835 - -277. Let c = 0.065 + a. Let n = c - 0.23. Is 0 at least n?
True
Let s be ((-1)/(-8730))/((-1)/(-118)). Let u = 230784/679 - 2379/7. Let d = s + u. Is 1 equal to d?
False
Let d = -10 - -11. Let v be 53/215 - 1/5. Which is bigger: v or d?
d
Let j be 2984/(-252)*1 - (-6)/21. Which is smaller: j or -12?
-12
Let v(y) = 4*y**2 + 28*y + 13. Let z be v(-8). Is 45 bigger than z?
False
Let a be (-67 + -3)*3/6. Let o be -9*(3 + a/15). Is o < -4?
True
Let x be 0/(-2) + 3*-3. Let t = x - -14. Suppose 2*w - 1 + 3 = 0, u + 5*w + 3 = 0. Which is smaller: u or t?
u
Let d be (1*18/(-24))/((-186)/4). Which is smaller: 0 or d?
0
Let o = -17 + 16. Let r = -0.01 - 0.49. Which is greater: o or r?
r
Let y be -4 + (1 - (-864)/303). Is 1 smaller than y?
False
Suppose 0 = -23*p - p + 4*p. Which is bigger: p or -1/58?
p
Let s = 2 + -3. Suppose 11*g - 174 = l + 7*g, 4*l + 636 = 4*g. Let h = l - -1077/7. Which is smaller: s or h?
s
Let x(y) = -y**2 - 2*y. Let a be x(-2). Suppose 4 = -4*z + m, a = 4*m - 0*m + 16. Which is smaller: -7 or z?
-7
Suppose 4*n = -4*h + 3*n - 7, h - 2*n - 5 = 0. Which is greater: h or 38/9?
38/9
Suppose 4*w + 15 - 23 = 0. Let x = 1 + -1. Suppose -d - w + x = 0. Does d = -5/2?
False
Let q = 0.25 + -0.42. Let d = -195.6 + 203.43. Let g = q - d. Which is smaller: -1 or g?
g
Suppose 3*n - 2*y - 1924 = 0, -203*y = 5*n - 202*y - 3224. Which is bigger: n or 6