t z = -0.03 + t. Let a = z + -2.4. Is a >= 0?
True
Suppose 3*u + 43 = -2*w, 136 = -4*w - w + 2*u. Let k = 15 - w. Which is greater: k or 40?
k
Let g be 6/(-3)*(-2 - -1) + 231. Are 233 and g unequal?
False
Let g = 75 + -76. Let n be (6 + 584/(-96))/((-41)/8). Which is smaller: g or n?
g
Let p = 563 - 670. Do p and -109 have the same value?
False
Suppose -7 = -2*b - 2*s + 3, 5 = -4*b + s. Suppose -1 = -k - b. Let l = 1/28 - 11/112. Which is greater: l or k?
k
Let r = 89 + -87. Let j be (1/(-5)*r)/((-222)/(-10)). Which is bigger: j or -1?
j
Let t(p) = -p**3 + 9*p**2 - p + 12. Let g be t(9). Suppose 12 = -g*y + 7*y. Suppose u - y = -0. Which is bigger: u or 4?
4
Let v = 3629/15 + -883/5. Does 64 = v?
False
Let o = -0.12 - -12.12. Let k = -9 + o. Which is greater: 0.2 or k?
k
Let l = -1.3 - -0.3. Let w = 959 - 960. Let v = l + w. Which is smaller: v or -8?
-8
Let s be 22/16 + (-108)/288. Is s equal to -21/46?
False
Let h = 265 - 316. Is 2/11 smaller than h?
False
Suppose 0 = -4*q + 2*y + 234, 0 = -3*q + 24*y - 25*y + 188. Which is smaller: q or 52?
52
Let b be (2 + (-412)/(-12))*9 - -3. Is 332 at least b?
True
Suppose 38*h + 1029 = 45*h. Is h equal to 146?
False
Let x be 5300/30 - (-2)/6. Suppose 6*y - x = -45. Is y at least 24?
False
Suppose -3*v + 254 = -4*o - o, 0 = 4*v + 4*o - 296. Which is smaller: 75 or v?
75
Let i be (-129)/414 - (8 - 250/30). Is i bigger than -1?
True
Let m be (-7)/(-5) + 22/(-55). Let g be (m - -6)*64/56. Suppose 2*t = -0*t - g, -t = -2*v - 16. Which is smaller: v or -9?
v
Let w = 12.21 - 0.21. Let j = -5 - -20. Let o = j - w. Do -2 and o have different values?
True
Let s(m) = 3*m + 25. Let g be s(-8). Let x be 15 + 6 + -3 - -3 - g. Which is smaller: x or 1?
1
Let o(c) = -4*c + 43. Let n be o(-11). Let p(j) = j**2 - 8*j + 4. Let q be p(-6). Does n = q?
False
Let h = -20 - -31. Suppose -h = -3*v + 4. Let o(g) = g + 9. Let n be o(-6). Do n and v have the same value?
False
Let a = 15 - 15. Suppose a = -5*n + 20 - 5. Suppose 0 = -j - n*j. Which is smaller: j or -3/5?
-3/5
Let i = 10 - 4. Let n = 0.056 + -1.056. Which is smaller: n or i?
n
Let z = 500 - 500. Which is bigger: -32 or z?
z
Let b = -0.76 + 0.29. Let y = -0.79 - b. Is -0.2 != y?
True
Suppose -3*h + 68 + 16 = 0. Suppose 13*r = 3*r - 220. Let y = r + h. Are y and 6 equal?
True
Suppose 0 = x - 2*x + 4*n + 5, 5*n + 25 = 5*x. Suppose -20 = -x*j + 30. Suppose -4*r - 3*z = 30 - j, -4 = z. Is -2 at most as big as r?
True
Let c = -107/339 + -2/113. Let p be 5/(45/10 - 4). Let w be (4/(-6))/(p/75). Is c less than or equal to w?
False
Let l be (-20)/(-25) - (-45)/(-25). Which is greater: l or 4/95?
4/95
Let m = -487 - -504. Suppose 54 = o + 2*o. Is m at least o?
False
Let q = -0.039 + 0.319. Let a = q - -1.52. Are -2/3 and a nonequal?
True
Let q(g) = g**3 - 2*g**2 - g + 1. Let b be q(2). Let o be -1 - b/3*-3. Suppose -5*x - 3*l = 24, -x + 13*l - 14 = 9*l. Which is smaller: x or o?
x
Let c = -428/75 + 17/3. Is c greater than or equal to -1?
True
Let q = 10/3 - 32/9. Are q and -0.289 equal?
False
Let x(i) = i**2 - 3*i + 4. Let v be x(2). Let w be 5/(-14875)*(-2085)/v. Let t = 6/119 - w. Which is bigger: -1 or t?
t
Suppose -204 = -q + 3*r, 0 = -5*q + 2*r + 538 + 521. Is 214 < q?
False
Let m = -9 + -4. Suppose 5*j + 4*g - 9 = 0, -2*j + 31 - 9 = -3*g. Let t = m + j. Which is smaller: t or -1?
t
Let p(h) = -4*h**2 + 23*h + 5. Suppose 9*y = 6*y + 18. Let q be p(y). Is q > -1?
False
Suppose -3*c + 9 = -0*c. Let j(w) = w**2 - 8*w - 5. Let v be j(9). Suppose 0 = -5*x - 2*k + 10, 2*k + 26 = v*x - 0*k. Which is smaller: x or c?
c
Let g = -2625 - -1452. Let q = -50437/43 - g. Which is smaller: q or -2?
-2
Let f be 2/21 - (-96)/(-1008). Which is smaller: f or -2/1977?
-2/1977
Let x = -347 - -353. Suppose -4*u + 21 = -u. Which is greater: u or x?
u
Let p = 6 - 3. Let k = -24 - -29. Suppose 0*h - k*h = 5. Which is smaller: h or p?
h
Let g be (-1 - 2)/((4 - -6) + -8). Suppose -4*r = 4*f, -4*r - 2*f = -14 + 4. Suppose 0 = -r*n - 6 - 9. Are n and g unequal?
True
Let v be 3 + 2*2/(-2). Suppose 3*m - v = 4*m. Let p be (-3)/4*(-1)/3*-5. Is m equal to p?
False
Suppose -68*p - 65*p = -140*p. Is p at least -16/59?
True
Let y(q) = -q**3 + 4*q**2 + 3*q + 11. Let s be y(5). Is 1/65 < s?
True
Suppose w + 1 = -4*j, 3*w = -j + 6*j + 14. Suppose 3*d = -3*h - 135, -d - 4*h = -2*h + 50. Let r be d/84 - 3/(-9). Which is smaller: r or j?
j
Let y = 292 - 228. Is 64 < y?
False
Let p = 0.096 + -0.207. Let f = p + 1.111. Let o = 3 + -4. Is o bigger than f?
False
Suppose 5*l - 54 - 16 = 0. Suppose -g + 13 + 15 = 2*x, -2*x + 20 = -3*g. Does x = l?
False
Let d(m) = -m**3 + 7*m**2 - m + 7. Suppose w = 9 - 2. Let c be d(w). Let u be 10/(-28)*(-4)/(18 + 2). Which is bigger: u or c?
u
Let r be (10 + -8)*(1 + 0). Let m be (-6)/5*25/(-2). Suppose -r*i - m = i. Which is bigger: -4 or i?
-4
Let x(a) be the third derivative of a**5/60 + 7*a**4/24 + a**3/6 + 4*a**2. Let o be x(-7). Which is smaller: o or 2/11?
2/11
Let d = -65 - -64.7. Which is smaller: -26/7 or d?
-26/7
Suppose -17*i + 8 = -15*i. Suppose 14 = b - 0*b - n, b = -4*n + i. Is 9 greater than b?
False
Let o be 240/957 + (-2)/11. Let m(x) = x**3 + 7*x**2 - x - 7. Let k be (-3 - -4) + -4*2. Let g be m(k). Is g at most o?
True
Suppose 7*q = 3*q + 5536. Let x be q/30*12/(-8). Let f = 69 + x. Is 0 <= f?
False
Suppose -j + 6*c - 4 = 2*c, 3*j - 3*c + 3 = 0. Let f = -89/1288 + -1/56. Which is smaller: f or j?
f
Let j = 2/1233 + 1103/80145. Is 1 > j?
True
Let n = -15007/8 - -1880. Is n equal to 3?
False
Let p = -289 + 290. Which is greater: 0.1 or p?
p
Suppose -5*h = u - 26, -4*h - 13 = u - 38. Let k(b) = 3*b + 6. Let v be k(5). Is u > v?
False
Let l be 1574/(-255)*10/(-8). Let z = 47/6 - l. Is z >= -1/3?
True
Let m be ((-10)/(-75)*-5)/((-96)/9). Which is smaller: -9 or m?
-9
Let f = -27 - -18. Let c = f + 9.2. Which is greater: c or 0.3?
0.3
Suppose 41*d - 43*d = -4. Let g be (12*d)/(-2 - (1 + -2)). Which is smaller: -25 or g?
-25
Let o be ((-4)/290)/((-1)/(-10)). Let i be 12/(-108) - (-7)/63. Are i and o unequal?
True
Let j be (1 + 16)*3/(-8 + 5). Is -125/8 <= j?
False
Let u(o) = o**3 + 9*o**2 + 14*o + 5. Suppose -30 = 4*k + d, 2*k - 1 + 5 = 5*d. Let h be u(k). Let s be 4/12 + 26/6. Which is bigger: h or s?
h
Let z be 1/(-5)*160/(-16). Suppose 0 = z*y - 6*y - 8*y. Is y greater than or equal to -3.4?
True
Let p(t) = t**2 - 2*t. Suppose 69 = 5*y - h, -3*h + 5*h - 31 = -3*y. Suppose u = 2*f - y, 5*f - 37 = 2*u - 7. Let x be p(f). Do 6 and x have different values?
True
Let l = 4.3 + -4.7. Which is greater: l or 54?
54
Suppose 3*w + 0*w - 6 = 0. Suppose 2*r = -4*x + 6*r + 4, -5*r = -w*x + 5. Is x != 1/8?
True
Let a be (-33)/55 + (-58)/(-5). Suppose -3*u - 9 = 2*q, 0 = -4*q + 2*u + 15 - 41. Let i(p) = -p + 6. Let n be i(q). Is a greater than n?
False
Let p = 3.0891 + -0.0891. Let n be (-42)/442 - 2/(-13). Is n < p?
True
Suppose 14*o - 4*o - 570 = 0. Which is greater: 58 or o?
58
Let w = 1 + 1.2. Let m = -2.56 + w. Let t = 0.16 + m. Which is smaller: t or -8?
-8
Let p(s) = s**2. Let u be p(6). Let j = -21 + u. Let v be 3/(-3)*9/j. Which is smaller: v or -2?
-2
Let l(z) = -2*z**3 - 5*z**2 + 3*z - 2. Let j be l(-4). Let p be (165/(-220))/((-4)/176). Which is smaller: j or p?
p
Suppose 2*u = -3*u - o + 480, 192 = 2*u - 2*o. Let y(d) = -d**3 + 5*d**2 + 13*d - 75. Let j be y(5). Let t be (3/j)/(u/(-40)). Which is smaller: t or 1?
t
Let p = -1439/6 - -622/3. Which is smaller: p or -33?
-33
Let b(o) = -21 + 34*o - 73*o + 38*o. Let p be b(0). Which is bigger: -19 or p?
-19
Let h = -6 + 17. Let a be 138/24 - (-2)/8. Let m(v) = v**3 - 5*v**2 - 4*v. Let b be m(a). Which is smaller: h or b?
h
Let l(t) = t**2 - 9*t + 10. Suppose 10 = h + 2. Let p be l(h). Which is smaller: p or -4?
-4
Let j = 0.19352 + -0.29352. Let h = -28/51 + 976/663. Are h and j equal?
False
Let w = 5 - 7. Let r = 44.348 + -44.3. Is w at least r?
False
Let z = 147.428 - 19.438. Let a = z - 128. Let t = 0.1 - 0. Which is bigger: a or t?
t
Let a(w) = -w**2 + 23*w - 60. Let b be a(6). Which is smaller: 173/4 or b?
b
Let q = 55544/85 - 3182/5. Which is bigger: q or 18?
18
Let m be (220/30)/(-11)*-408. Which is smaller: 271 or m?
271
Suppose -23 - 57 = -4*h. Let m be 208/(-18)*15/h. Suppose f - 3*s + 7 = -8, 5*f + 3*s = -3