5 + 513. Which is smaller: y or -2?
-2
Let l = -311 + 290. Which is smaller: l or -1?
l
Let f = -1195/447 + 1/149. Is -17 >= f?
False
Let o be (-8)/60*3 - 3/5. Which is bigger: 4/51 or o?
4/51
Let i be 38 - (2 + -4 - -1). Suppose 4*c + i = -77. Is c <= -30?
False
Suppose 5*f + 8231 = 28*y - 27*y, 3*f - 2*y + 4940 = 0. Is -1646 not equal to f?
False
Let w = 73 - 73. Is w equal to 6/619?
False
Suppose 5*r - 17 - 13 = 0. Suppose 24 = -29*p + 24. Are p and r equal?
False
Let x = -92.4 + 92.5. Which is greater: x or -0.062?
x
Suppose -h - 6 = 2*n, -3*n - 24 = 4*h - 10. Suppose l + 1 = -0. Is l at most as big as n?
False
Let j be 36/(-38) - 1/(-1). Suppose i - 2*i - x = 3, 5*i - 13 = 2*x. Are i and j non-equal?
True
Let k be (2/(-4))/(2/(-4)). Let l be 12*(-4 - 1)/(-5). Let f be 8/6*3/24*l. Is k smaller than f?
True
Suppose 5*k - 5*s - 215 = 0, -s = 2*k - 4*k + 89. Let r = -51 + k. Is r bigger than -6?
True
Let v be ((-192)/237216)/(3/7). Are 0 and v equal?
False
Let q = -1498 - -1498.45. Which is smaller: 0.15 or q?
0.15
Suppose -2*m = 5*k - 2, 7*m - 3*m + 14 = -k. Let j be k/(-2) + (-1 - 0). Let b = 276 + -555/2. Which is bigger: b or j?
b
Let s = 51 - 46. Suppose -1 - 4 = -s*f. Is -1/9 less than f?
True
Suppose 2*z = 5 - 311. Is -153 < z?
False
Let d = 1.239 + -1.139. Which is smaller: -62 or d?
-62
Let d = -5737/1532 - 2/383. Which is smaller: -5 or d?
-5
Let k(h) = 3*h**2 + 17*h - 2. Let g be k(-6). Which is bigger: g or -1?
g
Let b = 1/170 - 361/3570. Which is bigger: -3 or b?
b
Let s be (-238)/(-153) + 1/(-1). Suppose 0 = -2*r + r. Which is smaller: r or s?
r
Suppose -2*d - 32 = 4*w, 5*w - 5 = -10*d + 12*d. Are d and -57/5 unequal?
True
Suppose 12 = 7*d + 5. Let n be (-2)/((6/57)/d). Which is greater: 2/3 or n?
2/3
Suppose 0*f = f + 3*h - 19, -2*h = -2*f + 14. Let v be f/(-6) + 11415/6795. Which is greater: 0 or v?
v
Suppose -y = 3*i + 190, -5*i = -i + 5*y + 235. Let c be i/20 + 3 - 47/4. Is -12 bigger than c?
False
Suppose 4*v - 20 = 5*u, u - 21 = -3*v - 6. Let o(x) = -3*x + 13. Let n be o(-5). Let z = -31 + n. Is z less than u?
True
Suppose 3*u + 12 = 0, -3*u = 3*k + 24 + 30. Let n be 67/77 - (-2)/k. Is 1 > n?
True
Let b = 14 - -3. Suppose g + 6*g - 126 = 0. Are g and b equal?
False
Let j be ((-132)/(-133) - 1)/(-54 + 53). Which is smaller: j or -1?
-1
Let i(p) = -18*p + 106. Let n be i(6). Let l = -89/2 - -8993/202. Let w = -620/707 + l. Are w and n equal?
False
Let j be (15/9)/5*-3. Suppose -5*k = -10*k + 35. Let l be 2/(-33)*(k - 4). Which is smaller: l or j?
j
Let w = 2.2 - 2.2. Let p = -2447215/11241531 + 25/43071. Let z = 4/27 + p. Which is smaller: w or z?
z
Let a(q) = -2*q + 2. Let m be a(0). Suppose -34 = 4*l - m*w, 3*l - w + 27 - 3 = 0. Is -7 less than or equal to l?
True
Let r(p) = p**2 - 12*p + 4. Let y be r(10). Suppose -3*s + 70 = -8*s. Which is greater: s or y?
s
Let h(t) = -t**3 - 15*t**2 - 15*t - 5. Let r be h(-14). Let g(i) = i**2 - 15*i - 12. Let j be g(r). Does -67 = j?
False
Let t = -214 + 211. Which is greater: t or -33/13?
-33/13
Let t(a) be the third derivative of -a**5/60 - a**4/6 + 5*a**3/6 + a**2. Let y be t(-6). Is -8 less than or equal to y?
True
Let a = -26 - -18. Let g be a/(-10) + (-141)/120. Is -1 bigger than g?
False
Let v(m) = m**2 - m. Let l(t) = -3*t**2 - 10*t + 24. Let g(c) = -l(c) - 4*v(c). Let b be g(10). Is b bigger than 16?
False
Suppose -132 = -4*h - 32. Suppose 0 = -11*s + 6*s + h. Is 6 > s?
True
Let y be -3 - 2/6*(3 - -18). Is -190/17 > y?
False
Let s be 0/(24/14 + (-6)/(-21)). Suppose -4*d + d + 3 = s. Is -2/91 bigger than d?
False
Let p(n) = n**2 + 7*n + 6. Let a be p(-4). Let t(y) = 15*y + 10 - 5*y - 8*y. Let j be t(-7). Which is smaller: j or a?
a
Suppose -2*t = -0*t - 16. Suppose -t*c = -3*c - 20. Suppose 4 = -m - 2*v + c*v, -2*v - 8 = 5*m. Which is greater: -4 or m?
m
Let s = 2.3 + -1.3. Let b = s - -20. Let u = b + -18. Is u != 0.3?
True
Let y be 12/4*(-4)/(-6). Let k be (2 + -8)*-2*2/12. Suppose y*x - 3 = -j, k - 12 = -4*x + 2*j. Which is bigger: x or -2/9?
x
Let o = 113/1025 + 2/205. Suppose -2*j = 2*j - 4. Is j at most as big as o?
False
Let s = 148/33 + -53/11. Is s at most -1?
False
Let l(w) = w**3 + 8*w**2 + 8*w + 11. Let g be l(-7). Suppose 0 = r + g*r - 50. Let p be (-2)/(-4) + (-17)/(-2). Which is smaller: p or r?
p
Suppose -4*l + 107 - 79 = 3*h, -5*h - 3*l + 21 = 0. Let n = 2082/95 + -108/5. Is h less than or equal to n?
True
Let u be (-28)/3115*18/24. Is 0 greater than or equal to u?
True
Let j be 2/8 - (52 - 52). Which is greater: j or 0.05?
j
Let y = 2 + 48. Suppose -y = -4*t + 3*r, -5*t - 2*r - 9 = -60. Are t and -3 equal?
False
Suppose 0 = -4*h - 3*c + 2*c, -2*h = -4*c. Let k = -15 - -25. Let a be (-8)/15 + k/15. Does a = h?
False
Let j be ((-12)/(-14))/(2/(-14)). Let g be (-1)/3 + 28/3. Let l be -3*(j/g)/(-2). Is 1 bigger than l?
True
Let p be (-30)/(-150) + (-26)/5. Is p at most -168/31?
False
Let y(n) = -7*n + 17. Let i be y(8). Which is greater: 0 or i?
0
Let o = -209/5 + 42. Let u = 3952 - 3955. Are u and o equal?
False
Suppose 0*y + 1 = y. Let b = 1/853 + -1723/14501. Is y at least as big as b?
True
Let g = -828 - -738. Which is smaller: -88 or g?
g
Suppose 2*h + 90 = -4*h. Is h at most as big as -15?
True
Let h be -4 + (-3*8)/(-3). Suppose -h*w = -w - 54. Is 18 < w?
False
Let k = -25 + 19.1. Let g = k + 4.9. Is -0.12 less than or equal to g?
False
Let p = -6.9 + 6.8. Let a be ((-18)/57 - 0)/4. Which is bigger: a or p?
a
Let f = -70 + 68.3. Let o = f - -1.2. Let w = -0.2 - -0.3. Is o != w?
True
Let r(j) = 3*j - 26. Let f(g) = 7*g - 53. Let u(w) = -6*f(w) + 13*r(w). Let s be u(-8). Suppose -d + s = 6. Is d at most -12/5?
False
Suppose 10 = 28*y - 18. Is 106/3 bigger than y?
True
Let y(r) = r**3 - 7*r**2 + 11*r + 5. Let l be y(4). Which is smaller: l or 40/21?
l
Suppose -8*d - 17 = 15. Which is bigger: 12 or d?
12
Let g(y) = -27*y - 2. Let o be g(-1). Is -0.09 less than or equal to o?
True
Let s(o) = o**3 - 8*o**2 + 9*o - 9. Let m be s(7). Suppose -4*f - m*d = 18, 2 = 4*f + 3*d - 8*d. Let l = -171/334 + 2/167. Is l <= f?
False
Suppose 2*w - 4*w + 20 = 0. Let x be w/4 + -3 + -23. Let c = -23 - x. Which is greater: c or 2?
2
Suppose -2*k = -0 + 20. Let u be -1 - (k/(-55) + 39/(-33)). Let b = -2/509 + 1128/27995. Which is bigger: b or u?
b
Let d = 0 + 0.02. Suppose 2*r = -5*r + 28. Let z be r/(-3)*31/186. Is d less than z?
False
Suppose 0 = 3*t - 4*j - 0*j - 35, -j - 81 = -5*t. Suppose -2*p = -5*b + 4*b - t, 42 = 5*p - 3*b. Let g be (-2)/((-6)/p*1). Is 7/3 != g?
True
Let b = 59.72 - 60. Let x = 2 - 2.08. Let l = x - b. Which is greater: 2/5 or l?
2/5
Let p be 4 - 4*(-15)/(-12). Let v be 5943/(-5901) - 2/(-2). Which is greater: p or v?
v
Let s = 44 - 43.25. Let h = 2.25 + s. Which is smaller: 5 or h?
h
Let h(z) = z - 26. Let l be h(14). Is l equal to -10?
False
Let x be 2/(-3)*(-9)/(-1). Let v(z) = -2*z**3 - 11*z**2 + 9*z + 4. Let j be v(x). Which is greater: -13 or j?
-13
Let r = 446 + -446. Which is greater: -2/11 or r?
r
Let m(x) = -x**3 + 8*x**2 - 6*x - 10. Let d be m(7). Let l = d + 27. Let u be l/(-108)*18/(-8). Is 0.5 bigger than u?
False
Let t = 0.14 + 4.86. Let j = t + -4. Is -4 at most as big as j?
True
Let c be (18/3)/((-24)/(-512)). Which is bigger: 127 or c?
c
Let u(b) be the second derivative of -b**4/6 + b**3/6 - b. Let i be u(2). Let k = 3915 - 3922. Is k at most i?
True
Let t = 0.24 - 1.74. Let f = t + -12.9. Let m = f + 1.4. Which is smaller: m or -2/3?
m
Let f be 0/(-2) + 43/3. Let b = 3583 + -3569. Which is smaller: f or b?
b
Let x be 1/7*-3 - (-185)/7. Which is bigger: x or 20?
x
Let n = 18 - 17.65. Let j = -0.35 + n. Which is smaller: j or -11?
-11
Let v = 38.054 + -0.054. Let l = v - 39. Is l > 20?
False
Let f = 2 + -4. Let u be (2/5 + 51/10)*f. Let q be 1*18*6/(-9). Is q >= u?
False
Suppose 8 = 5*w - 12. Let f(d) = -d**3 + d + 1. Let k(z) = 2*z**3 + z**2 + 4*z + 1. Let o(l) = -3*f(l) + k(l). Let t be o(1). Which is bigger: t or w?
t
Suppose -4*u = -f - f + 18, -2*f = -2*u - 12. Suppose 0 = -f*h + k + 4*k + 25, -k = -2*h + 5. Let t = 573/26 - 45/2. Which is greater: h or t?
h
Let l = -1609/3787 - 2/541. Let j = 8.4 - 0.4. Is l less than or equal to j?
True
Let f = -22 + 27. Suppose -f*t = -20, 4*t = 5*v - 17 - 7. Which is smaller: v or 3?
3
Let w 