 -12/19?
False
Let h = -3004 - -32996/11. Which is bigger: h or -5?
h
Let r = 3 + -3. Let c = 0.6 + r. Suppose -u = 2*v - 4, -4*v - 5 = -4*u - v. Does u = c?
False
Let y(t) = 5*t**2 + 8. Let n be y(8). Let u be n/(-528) + 4/6. Let l be 12/8*(-6)/9. Is u bigger than l?
True
Let a = 11278 + -55693/5. Which is bigger: a or 139?
a
Suppose -1652 = 3*i - 31*i. Do 62 and i have the same value?
False
Suppose -5*i - 685 + 2605 = 0. Let h = i + -1102/3. Is h greater than 18?
False
Let b(j) = -j**3 + 7*j**2 - 14*j + 6. Let m be b(4). Let q = -11 - -8. Which is bigger: m or q?
m
Let x = -71 + 72. Let t be (-1)/2*x + 0. Suppose -5*b = 3*z - 5, 4*z - 5*b - 41 - 24 = 0. Is t <= z?
True
Suppose 5*f = -2*z - 16, -5*z - 2*f + 1 = -1. Let q be (0*(-1)/(-2))/z. Let j be ((-11)/(-231) - 0)/(-4 - (-194)/48). Which is bigger: j or q?
j
Let u be (472/(-177))/(8/(-18)). Which is smaller: u or -8?
-8
Let z be (-2)/(0 - 3 - -1). Suppose 4*f - 10 = -4*d + 2, -2*f + z = -3*d. Let s = -10667/45 + 237. Which is bigger: s or d?
d
Let r = -138/49 + 33632/11907. Is 1 != r?
True
Let i = 51.1 + -49. Let c = i - 2.2. Let h = -6.1 - c. Which is smaller: h or 1?
h
Suppose 0 = -3*a + 181 + 74. Which is greater: 86 or a?
86
Let t be (-2)/(-5) - 2511/45. Let b = t - -1994/35. Which is greater: b or 2?
2
Let f be (-4 + 6 + -8)*-2. Suppose 0 = 4*x + 2*d - f, 41 = -0*x + 5*x - 4*d. Which is bigger: x or -4?
x
Let m(i) = 2*i**2 - 24*i + 19. Let b be m(11). Which is bigger: -35/8 or b?
b
Suppose -5*a = -3*g + 389 + 301, 0 = -3*g - 3*a + 714. Is g <= 235?
True
Let a = 0.0526 + -0.0526. Is 94 >= a?
True
Let h be (-85)/8 - -4*(-2)/8. Which is greater: -13 or h?
h
Let l(n) = -17*n + 118. Let q be l(7). Suppose -4*f + 18 = 2. Let i = -4 + f. Is q at least i?
False
Let n be ((-945)/3 - 9) + 11. Are -314 and n equal?
False
Let y = -307.61 - -4.61. Which is greater: 3/2 or y?
3/2
Let d be 4 + -2*1/(-2). Suppose -15 = -2*u - 3*u - 5*v, -u = -v - 11. Which is smaller: u or d?
d
Let a = 1 - -2. Suppose a*j + 2 = 5*j. Let m = -361/4 + 92. Is j >= m?
False
Let x = 12.9 + -12.8. Is x bigger than -2.3?
True
Let y(b) = 19*b + 205. Let v be y(-5). Which is smaller: v or 109?
109
Suppose 123 = -0*g - 4*g + 5*l, -5*g - 138 = -l. Let b = -4.8 - -4.9. Is b at most g?
False
Suppose -5*n - 4 - 26 = 0. Let m be 35*1/((-15)/n). Does m = 15?
False
Let i = 64 - 58. Which is smaller: -11 or i?
-11
Let n(f) = -f**2 + 14*f - 21. Let r(g) = -g**2 + 14*g - 4. Let p be r(13). Let o be n(p). Let k = -2 - o. Which is smaller: -27 or k?
-27
Suppose 0 = 4*a + 3*c - 39, -6*a + 11*a = -5*c + 45. Is 11 greater than a?
False
Let j = -213 - -263. Which is bigger: j or 47?
j
Let v be (-4290)/(-594) - 4/18. Is v != 6?
True
Let m = -34.3 + 34.7. Let c = 42 + -28. Is m greater than c?
False
Let l = -1966/3 + 332260/507. Which is bigger: l or -2/7?
l
Let d = -9.22 - -9.12. Let b = 5 + -4.8. Let k = -3.2 + b. Is k < d?
True
Suppose 85 = 2*c - 7*c. Let s = c + 18. Let h be 4 + (111/(-21) - s). Which is smaller: -1 or h?
h
Let z(g) = -g**3 - 14*g**2 - 20*g - 56. Let l be z(-13). Which is smaller: l or 33?
33
Let a = -273 - -343. Is a at least 66?
True
Suppose -5*o + 34 = 9. Suppose -4*c + o*c = 3*i + 25, 0 = -c + 4*i + 29. Is c at most 13?
True
Let m be ((-7)/(-3) - 1)*-6. Let s(t) = -2*t**2 + 2*t + 7. Let q be s(3). Which is bigger: q or m?
q
Let r = 3207/17 + -1388733/7361. Is r at least as big as 1?
False
Let z(l) = l**3 + 4*l**2 - l - 4. Let u be z(-4). Let q be u*((-4)/8 - 0)*2. Let g = 0.7 - 6.7. Are g and q non-equal?
True
Let p(k) = k**2 + 3*k + 3. Let q(z) = -z**2 - 8*z - 5. Let r be q(-8). Let x be p(r). Is x greater than or equal to 15?
False
Let w = -979 - -965. Which is bigger: w or 0?
0
Let m = 1.008 - 0.778. Let i = 1 - 1. Which is smaller: i or m?
i
Let h(n) = n**2 + 9*n - 3. Let d(y) = -y - 19. Let j be (-2)/(-2)*(-14 - -3). Let u be d(j). Let q be h(u). Are -11 and q non-equal?
False
Let b be (-77)/(-33)*(-5)/((-315)/(-6)). Is -0.068 < b?
False
Let l(h) = 7*h + 65. Let g be l(-9). Which is smaller: g or 14?
g
Let f be 0*(6/(-3) + 1). Let l be (-3*(-99)/138)/42. Let s = l + 1/28. Is f at least as big as s?
False
Suppose r + 2*r = -3, r - 79 = 4*w. Let k be w/15 - 357/9. Let z = k - -38. Which is smaller: -16/5 or z?
-16/5
Suppose 5*l - 17 = 2*k, 3*k + k = -l - 23. Suppose 0 = -36*c - 14*c - 300. Is c at most k?
True
Let a = -61 - -83. Let b = a + -83. Which is bigger: b or -60?
-60
Suppose -2*h + 14 = 5*k, h + 5*k - 17 = -0*k. Let b be h + ((-264)/(-87) - 0). Let n = -1 - -1. Which is bigger: n or b?
b
Let m(p) be the first derivative of -5*p**3/3 + p**2 + 3*p + 2. Let c be m(3). Let r be (6/(-8))/(c/24). Is r greater than 2?
False
Let w = -3076/427 + 666/61. Let j(i) = i**2 - 5*i + 4. Let l be j(3). Is w <= l?
False
Suppose 3*w - 37*f = -39*f - 3, 2*f + 6 = 0. Let k = 0.46 + -0.18. Let h = 0.02 + k. Is h less than or equal to w?
True
Let s = -0.01 - -0.18. Let m = 35 + -35.33. Let t = s + m. Is 0 bigger than t?
True
Let f = 7 + -10. Let d = f + 5. Let q = -1158.2 + 1158. Which is bigger: q or d?
d
Let h(m) = m**2 - 4*m + 1. Suppose 6*a = 3*a + 5*r + 66, 3*a + 4*r - 66 = 0. Suppose 0 = -4*u - 6 + a. Let c be h(u). Is -1 at least as big as c?
False
Let g = -141 - -99. Which is greater: g or 10?
10
Let w be 156/8*(20/6 - 2). Suppose 0 = 3*p - 5*j + w, -2*p - 6*j - 30 = -3*j. Suppose 0 = 2*y + 18 + 6. Is p < y?
False
Suppose -3*i = i + 3*j - 115, 2*j - 149 = -5*i. Let s = i + -39. Is s greater than -6?
False
Let t = -0.1254 - -0.1207. Is t bigger than 1/4?
False
Let z(o) = -36*o - 72. Let s be z(-3). Let h be ((-9)/(-2) - 1)*10. Which is smaller: s or h?
h
Let p be (18/12)/(5*2/60). Let v = -7 + 14. Is p at most v?
False
Let z(k) = -8*k + 121. Let f be z(11). Which is greater: 35 or f?
35
Let j = -1 - -3. Let w be ((-1)/((-2)/j))/1. Let c be (-6 - 755/(-100)) + (-10)/(-200). Are w and c nonequal?
True
Let l = -209 - -144. Let a = l + 59. Let u = -2 + -4. Is a <= u?
True
Let b = -9137 + 6012145/658. Is 0 less than b?
False
Let b = -4.1 - -0.6. Let z = -3.45 - b. Is z at least 1?
False
Let g(f) = 5*f**2 + 10*f + 11. Let m(w) = -9*w**2 - 20*w - 22. Let c(q) = 7*g(q) + 4*m(q). Let b be c(-10). Is -11 less than b?
False
Let k = 690 - 8972/13. Suppose -3*t = -2*t - 5*u - 6, 0 = 2*u + 2. Which is greater: t or k?
t
Let a = 19/10 - 2/5. Suppose -3*j = 2*u - 18, -16*j + 8 = -18*j + 2*u. Which is greater: a or j?
j
Suppose 7*s + 68 = 3*s. Let x = 17 + s. Let u be (0 - (-2 + x))*1. Are 4/3 and u non-equal?
True
Let h(b) = -5*b + 237. Let a be h(45). Let s(c) = c + 11. Let k be s(0). Which is bigger: k or a?
a
Let h(f) = f**2 - 15*f + 43. Let l be h(4). Which is smaller: l or -21?
-21
Let b(j) = -j**3 - 24*j**2 - 10*j - 19. Let f be b(-19). Let v = f + 17962/11. Which is smaller: v or -2/3?
v
Let c = -1.1 - 0.9. Let k = c - -1.9. Let l = 0.49 + -0.5. Which is smaller: k or l?
k
Let i be 0/(7/((-35)/10)). Suppose i = 12*s + 2*s + 42. Which is greater: s or -2?
-2
Let x = -49.86 - -52. Let v = -0.2 - -0.06. Let s = x + v. Is -2/9 at most as big as s?
True
Let o(p) = p**3 - 3*p**2 + 2*p - 6. Let b(n) = -n - 2. Let u be b(-6). Let k be o(u). Which is greater: 2/7 or k?
k
Let k be (-12)/9 - (-88)/12. Suppose -j = k*j + j. Are j and 2/105 nonequal?
True
Suppose 110 + 64 = 29*i. Which is greater: i or 61/9?
61/9
Let i(v) = -3*v + 7. Suppose 1 = 3*y - 8. Let f be i(y). Which is smaller: f or -12/7?
f
Suppose -3*g = -g. Suppose -5*l + 0*d - 3*d - 4 = g, -l = -3*d - 10. Is l equal to 8/7?
False
Suppose 0*z = -2*r + 5*z + 107, 0 = -3*r + z + 193. Which is smaller: r or -3?
-3
Let t be ((-4)/16810)/((54/15)/(-18)). Which is smaller: -1 or t?
-1
Let q be (((-280)/16)/(-7))/(3/6). Suppose 4*r = -r - 30. Let o = r - -10. Which is greater: o or q?
q
Let d be 2/(-18)*84/(-36008). Which is smaller: -1 or d?
-1
Suppose p - 2*i + 12 = -75, 5*p - i = -390. Let v be (-64)/11 + 14/p. Let m be v/52*(-4)/(-3). Which is greater: 0 or m?
0
Let z = -0.32 - -0.3. Let k = z + 0.13. Let g = 0.09 + k. Is g smaller than 0.5?
True
Let b = -1345.2 + 1345. Is b >= -269?
True
Suppose -4*z - z = 25, -2*m = -3*z - 29. Suppose -13*i - 2*p = -8*i - 31, 0 = -3*i - 5*p + 30. Which is smaller: m or i?
i
Suppose -30 = -3*l - 4*v + 2*v, 2*l = 2*v + 20. Let k be (18/l + (-1)/(-