419 - c. Let l = 444/10475 + j. Do l and 1 have the same value?
False
Let o = -158.784 + -2.216. Which is bigger: o or -0.05?
-0.05
Suppose 4*c + 32*c - 6876 = 0. Let j be ((-38)/(-4)*3)/((-129)/(-860)). Are c and j unequal?
True
Suppose 4*b + 5*d - 28 = 0, 18*b + 5*d = 17*b + 22. Let o be 24/(-8)*2/(-2). Let h be (-2)/6 - (-1)/o. Which is bigger: h or b?
b
Let y(r) = 2*r**3 - 27*r**2 + 5*r - 127. Let f be y(14). Is f at least as big as 127?
True
Let p = 3926020 + -66710985/17. Let v = p + -1845. Which is smaller: v or -4?
-4
Suppose 0 = 9*d - 22*d - 494. Let n be 3 - d/(-12) - (-4)/24. Which is smaller: n or -2/15?
-2/15
Suppose 5*q = 2*f - 21, -7*f + 2*f + 4*q = -78. Suppose u - 3*a - 3 = -0*u, 0 = -4*u - 3*a - f. Let h = 1.29 + -1.2. Is h < u?
False
Let a = -1598 + 1697. Is a > 99?
False
Let y = -16757288/315 + 53198. Is y greater than 1?
False
Let v = -33/294175 - 1337311399/72661225. Let u = v - -6/1235. Is -18 greater than u?
True
Let q = -298.9 + 299. Is q smaller than 1954?
True
Suppose 458*t + 251952 = 574*t. Are t and 2168 equal?
False
Let a = -0.37 + -71.63. Let w = 39 + a. Let d = w + 35. Is d <= -18?
False
Let h = 5001 - 4070. Is -2/21 greater than h?
False
Let l be -3 - (-4)/(8/26). Let w = -49 - -49. Suppose s + l - 19 = w. Is 6 > s?
False
Let s = -2035 + 2237. Which is bigger: -0.1 or s?
s
Suppose -5 = 5*g - 6*g + i, -4*g = 3*i + 15. Suppose 11 = -5*n - l + 6, g = 3*n + 4*l + 3. Is n greater than or equal to 4/73?
False
Let i be (-434)/124*(-4)/91 - (-15518)/26. Which is smaller: i or 603?
i
Suppose -603*g - 1466 - 946 = 0. Let y = 11.4 + 0.6. Let b = y - 7. Is g at most as big as b?
True
Let g = -68 + 180. Let j = -111.9 + g. Let r be 2 - 7 - (1 - 1). Which is smaller: j or r?
r
Let f = 110 - 190. Suppose 0 = -4*k + 14*k + 108*k + 587*k + 53580. Is k > f?
True
Let q = -7 + 6.867. Let u = -0.263 - q. Is -2/7 greater than or equal to u?
False
Let u = 12429 - 12389. Is u <= 170?
True
Let t be (12/10)/(332/80 - 4) - 6. Let h be 1 + 0 + 1 + -4. Let l be 68/30 + h/(-5). Is t at least as big as l?
False
Suppose 3*c = -85 + 82. Are -3/661 and c unequal?
True
Let d = -465 - -459. Let p(y) = -1 - 1 - y + 0*y. Let j be p(d). Which is smaller: 2 or j?
2
Suppose -61*w - 64*w - 604914 = -2*w. Is -4919 at most w?
True
Let n = -1339/15042 - -22/327. Suppose 0 = -5*u - 5. Let b = u + 1. Which is greater: n or b?
b
Let b = -13.8 + 2.8. Let w = b + 9. Let u = 799 + -801. Is u at least w?
True
Suppose 2*s + 2*s - 2*w = 1180, -3*w = -s + 305. Let r = 501 - s. Let v = 141 - r. Which is smaller: -66 or v?
v
Let z = 903 + -1519. Let c be -2*(z/124 - -5). Let g = -3 + 4. Is c less than or equal to g?
True
Let x be (-1322)/(-8)*(-8)/(8 + -6). Which is smaller: -1321/2 or x?
x
Let a = -68.6814 + -0.3186. Which is greater: -1.3 or a?
-1.3
Suppose 3*c + 2*c - 126 = -2*d, -d + c = -70. Suppose 4*k = y + d, 0 = -2*k + 2*y - 0*y + 40. Let b = -22 - -37. Which is greater: k or b?
k
Suppose 3*f = -0*f + 3. Let h(t) = -t**3 + 9*t**2 + 10*t + 12. Let o be h(10). Let p be (-1 + 25)/(1 + o). Is f >= p?
False
Let l(a) = 5*a - 10. Suppose 3*k - 40 = -5*k. Let z be l(k). Are 78/5 and z equal?
False
Let p = 1247 - 1296. Which is bigger: p or -57?
p
Let q = -77843/22 + 14161/4. Which is greater: 1 or q?
q
Let f be (-2)/(-12) - 199/6. Let g be f/(-22)*(-8)/(-3). Suppose -2*s = -10, -g*u + 3*s = u - 35. Which is smaller: 11 or u?
u
Suppose -1 - 17 = -2*k - 4*s, 4*s - 20 = 0. Let x(n) = -17*n**3 + n + 2. Let c be x(k). Do 15 and c have the same value?
False
Let y = -10367 + 10368. Is y smaller than 27/359?
False
Let l be ((-26)/(-4))/((-6)/(-411)). Let v = -13775/28 + l. Is -47 at most v?
True
Let m(r) = r**3 + 7*r**2 - 3*r - 20. Let k be m(6). Is 430 less than or equal to k?
True
Let t be 124 - 12/5*((-441)/(-18) + -22). Is t less than or equal to 587/5?
False
Let v be 20/(-21) - (-14)/21. Let f be (-10)/4*13/(195/18). Let b be (77/(-26) - f)/(2/(-4)). Which is smaller: v or b?
v
Let g = -25495 + 25495. Is g at least as big as -24/2305?
True
Suppose 3*d = 10*d + 7182. Let v be d/3444 + 4/14. Let b be 1 - ((-2)/(-2) + -1). Do b and v have the same value?
False
Suppose 0 = -5*x - i + 27610, 2*x - 5*i - 7312 - 3732 = 0. Which is smaller: 16562/3 or x?
16562/3
Let u be 160/360*9/19666. Is u > 1?
False
Suppose -5*m - 2*f - 25 = 14, f - 21 = 2*m. Let i(l) = 2*l - 1. Let o be i(-4). Is o at least as big as m?
True
Suppose 139 - 244 = -2*n - n. Is 325/9 > n?
True
Suppose 3*q = 4*k + 76, 5*k = 40 - 60. Suppose 4*a + q = -876. Do -224 and a have different values?
False
Let w = -5193/1273 - -69/19. Which is smaller: -1 or w?
-1
Suppose 0 = -4*i + 5*i - 5*l - 11, 0 = -5*i - 2*l + 1. Let t be ((-3 - -1) + i)*-120. Suppose -24*p - t = -18*p. Which is bigger: p or -85/4?
p
Let v = -207 + 183. Let r be (-11)/(308/(-567))*v/(-9). Which is smaller: r or 213/4?
213/4
Let g(d) = d + 1. Let q be g(-1). Suppose -5*l + 2*l + 24 = q. Let j be (l + -6)*(-1)/(-2). Which is greater: 0 or j?
j
Let t(v) = -177*v**2 - 1. Suppose -24*o = -n - 27*o - 5, 3*o = n - 7. Let w be t(n). Is -177 bigger than w?
True
Let f be -2 + (-1223 - 2) - 8. Is f less than -1234?
True
Let r = 4151 + -4160. Do r and -2/33 have different values?
True
Let y = -7.6 + 351.6. Let t = 356.4 - y. Is -2/15 greater than or equal to t?
False
Suppose 0 = 5*l - 26 - 4. Let g = -51889 - -51894. Are l and g nonequal?
True
Let z = 63 + -24. Let s = -112 + z. Let w = 88 + s. Which is smaller: -2/3 or w?
-2/3
Let y be 8 + (-5 - (-7 - -3)). Let d(v) = v**2 - 2*v - 38. Let u be d(y). Is u bigger than 4?
False
Let q be (16/(-14))/(24/(-84)). Let s be (-2 - (-10)/4) + q/(-8). Suppose s*p - 5*l = 3*p - 28, -4*l = 4*p - 24. Is -10 at least p?
False
Let q = 302/13081 + -4/103. Let z(u) = -u**3 + 19*u**2 - 18*u - 1. Suppose -27*v + 24*v = -54. Let s be z(v). Which is smaller: q or s?
s
Let t = 1777/21 - 265/3. Which is greater: 18 or t?
18
Let a(l) = -l + 3. Let p be a(0). Suppose -5*o + 2 = p*n, -o + 6 = -0*n - 5*n. Let w be (-784)/(-400) - (-1)/25. Which is smaller: w or o?
o
Suppose -r - 5*c + 82 = 0, 5*c - 90 = -2*r + 59. Let l(u) = 4*u + 24. Let d be l(11). Which is smaller: r or d?
r
Let y = 2192889/25 - 87687. Which is bigger: y or 29?
29
Let x be ((-9)/(315/(-14)))/(142221/15). Is 1 equal to x?
False
Let y(v) = -19*v**2 - 30*v - 58. Let q be y(-18). Let r = -244002/43 - q. Is 1 equal to r?
False
Suppose 8*z - 2419 = -7835. Which is smaller: -674 or z?
z
Let t be (-3)/6*(6 + -504). Let o = t - 48. Is 200 bigger than o?
False
Suppose -3*m + z - 14 = -4*m, 5*m - 4*z - 115 = 0. Let j = m + -20. Let y be j/((-4)/(-58 + -2)). Which is greater: y or -14?
-14
Let m be (9/21)/(-4 - (-153)/63). Is m <= -286?
False
Let z(m) = -2*m**2 - 9*m + 4. Let q be z(-5). Let w(g) = 40*g**2 - 8*g - 9. Let i be w(q). Is i less than or equal to 39?
True
Let h = -30965 + 17936. Is -13028 at most as big as h?
False
Suppose 0 = 4*a - 2*a. Suppose 3*x - 2*k - 5 = -4*k, -2 = -2*x - 2*k. Suppose -3 = 3*w + 3*v, x*w - 19 = 4*v + 6. Which is smaller: a or w?
a
Let d = 0.3401 + -0.3771. Is d at least as big as -18?
True
Let m(a) = a + 8. Let t be m(-13). Let n be (t/4)/((-2)/8). Let h be 3/n + 636/(-10). Which is bigger: h or -62?
-62
Suppose -n - 2*n + 882 = 0. Let l be n/(-28)*(3 + -1). Let z be (l/(-14))/((-21)/8). Is z < -1?
False
Let v be 2/8 - (-61)/(-52). Let u = 49 + -48. Let w be (-5 + 3)*u + 1. Which is greater: v or w?
v
Suppose 14 = 5*m - 11. Suppose -2*u + 2*z = -40, m*u - 100 = -0*z - 5*z. Let v = 117931 - 117911. Is v greater than or equal to u?
True
Let n = 7552639/46 - 164194. Is n at most -5?
True
Let s = 5.46 - 5.16. Suppose -3*p - 2*o - 1 = 0, 0*o = -4*p + 4*o + 32. Suppose -p*k - 48 = k. Is k at least s?
False
Let n = -364 + 366. Suppose 3*z + 197 = o, -2 = -n*o + 4*o. Is -64 greater than z?
True
Suppose 4*n - 595 = 5*b + 2892, b = -5*n + 4366. Let x = n + -571. Which is smaller: x or 303?
x
Let m = -116155566/1561 - -74411. Which is smaller: m or 1?
m
Let d be (135/(-30))/((-3)/4). Let q = 0.39 + 0.61. Which is greater: d or q?
d
Let v = 1290 - 1273. Let d = -0.2 + 1.3. Let a = -0.1 + d. Which is smaller: a or v?
a
Let y(m) be the third derivative of -m**5/30 - 2*m**4/3 - 3*m**3 + 140*m**2. Let i be y(-6). Is i less than or equal to 15?
True
Let 