n bigger than l?
True
Suppose -5*y = k + 14, -5*y - 8 - 2 = 5*k. Let h be (-1 - 9/(-6))/(y/(-174)). Are 29 and h non-equal?
False
Suppose -4*q + 69 - 49 = 0, 3*b = -3*q + 18. Which is greater: 39/25 or b?
39/25
Suppose -4*a = -m - 1, a + 4 = -a - 4*m. Let z(b) = -10*b + 20. Let w be z(6). Let l be (-54)/w - 36/24. Which is greater: l or a?
a
Let j be ((-4)/10)/((-12)/360). Suppose 3*r = 6*r + j. Let c = r + 9. Are 5 and c unequal?
False
Let i be (-1 - 4/(-6))*(48 + -9). Let t = 9 + i. Are -3 and t equal?
False
Let g = 7.299 + 0.701. Are -7.2 and g unequal?
True
Let z = 476.935 + -477. Which is greater: 0 or z?
0
Suppose -27*x + 72 = -9*x. Which is greater: 16 or x?
16
Suppose -2*w + 30 = w. Let n(x) = x**3 - 8*x**2 - 2. Let a be n(9). Let p = 88 - a. Which is smaller: p or w?
p
Suppose 3*d - 18 = -3*o, -4*o = -3*d - 3*o + 2. Let q = -116 - -352/3. Which is bigger: q or d?
d
Suppose -36 = -29*t + 254. Which is smaller: t or 27?
t
Let a be ((-13)/(-4) - -1)*(-16 - -20). Suppose -y = 4*q + a, y - 4*y + 29 = -4*q. Is -7 > y?
False
Let x be ((-18)/(-4))/(6/8). Let l be 36/21 - x/(-21). Suppose -o + 7 = l. Which is smaller: 3 or o?
3
Let m = -71 + 75.98. Let u = m + -5. Is 3 less than u?
False
Let p be 6/(-5)*(-25)/10. Suppose s + p*g = 3*s - 14, -g = 4*s - 28. Suppose 3 = k - 4*k, -3*r - 4*k = s. Which is smaller: r or -2/11?
r
Suppose 0 = -10*z + 8*z - 40. Let p be ((-8)/20)/((-4)/z). Which is bigger: -3 or p?
p
Let f = 25814/33 + -783. Let n = 1/11 + f. Let q be 3 - (4/14 - 318/(-112)). Are q and n nonequal?
True
Let n = 10 - 11. Let z be (-2)/((-4)/6) + 486/(-117). Which is smaller: z or n?
z
Let k(o) = -o**2 + 8*o - 8. Let s be k(6). Suppose s*w - w - 3*l = 18, -3*w + 14 = -l. Suppose 3*d = -3*c - 9, -d - 4*d = -2*c - 20. Are d and w nonequal?
True
Let k(q) = 2*q**2 - 24*q - 57. Let i be k(14). Which is bigger: -16/13 or i?
i
Let s(d) = d**3 + d**2 - 8*d + 13. Let p be s(4). Which is greater: p or 63?
63
Let g = 44 + -48. Let k be g/(-6)*87/3. Which is bigger: k or 18?
k
Let y = 3.38 - -3.62. Let s = 0.1 + -0.1. Which is smaller: s or y?
s
Let p = 272 - 5714/21. Which is smaller: 0 or p?
p
Let c be 2 - -17*1*3/(-3). Let x(a) = a**2 + 8*a. Let y be x(-8). Let s(l) = -l**3 + l - 1. Let g be s(y). Are g and c equal?
False
Suppose 2*q - 3*a - 544 = 0, -q + 334 = 5*a + 62. Is 273 <= q?
False
Let p = 62056/3987 + -4/443. Which is bigger: -2/5 or p?
p
Let v = -107 - -431/4. Let u be (27/6)/(1/2). Suppose -u*p = -5 - 4. Does p = v?
False
Suppose 0 = 3*x - 36 + 33. Let z be 4/(-6) + (-8)/(-3). Which is smaller: x or z?
x
Let z = -565/651 - -6/7. Let r = z + -259/1860. Let q = -2 - -2. Which is smaller: q or r?
r
Let h(q) = q - q**3 + 23 + 9 - 10. Let j be h(0). Let g be 117/j - (-16)/88. Is g less than or equal to 7?
True
Let p = 28 - 27.97. Let f = p + 26.97. Let b = -27.3 + f. Which is smaller: b or 2?
b
Let p(s) = 7*s + 29. Let g be p(-4). Let a be 8/(-12)*(-1)/20. Which is smaller: g or a?
a
Let l(o) = 5*o + 4*o - 3*o. Let w be l(-4). Suppose u = -2 - 21. Is w greater than u?
False
Let p = -3 + 4. Let o = 1.1 - 1.25. Let a = o + 0.05. Are a and p non-equal?
True
Suppose -w + 5*w + 28 = 0. Let x(l) = 2*l**3 + l. Let y(z) = -7*z**3 - 8*z**2 - 11*z - 6. Let s(m) = 3*x(m) + y(m). Let j be s(w). Which is greater: j or 0?
j
Let p = 39 + -57. Let b = -1496 - -1477. Is b > p?
False
Let r be (5 + -7 - -2)/((-6)/(-2)). Do -6.8 and r have the same value?
False
Suppose -5*y + 3*d - 2861 = -0*y, 4*y + 2305 = -3*d. Let h = y - -6310/11. Which is bigger: h or 1?
1
Suppose 14*n + 6*n + 380 = 0. Is n smaller than -1?
True
Let t = 177/4 + -921/20. Let s(c) = -c**2 - 5*c + 22. Let z be s(-8). Which is smaller: z or t?
z
Let v(d) = d**3 + 10*d**2 + 2*d + 4. Let i(j) = -j**2 + j. Let a(m) = -5*i(m) - v(m). Let z be a(-4). Let s be (-6)/z + 2/(-8). Are 2/17 and s equal?
False
Suppose 5*t + 1 = -4. Suppose 0*f - 3*f = c - 9, 0 = -5*f - 3*c + 19. Suppose -p - f*p + 3 = 0. Are t and p equal?
False
Let n = 2 + -1.8. Let u = -1/170 - 212/85. Is u at most n?
True
Let z(l) = 15*l - 125. Let a be z(8). Let g = -217/60 + -2/15. Are a and g equal?
False
Suppose -3*x - 3 = 5*a + 1, -3*x = -a + 10. Which is smaller: -2/175 or a?
-2/175
Let f be -5*276/420 - -3*1. Is 448 equal to f?
False
Let q be 10/(-3)*24/16. Let t be (-6)/3 + (-17)/q + -2. Is t > -7?
True
Let b(p) = -p**3 - 4*p**2 + 14*p + 7. Let k be b(-6). Suppose 3*i = 3*n - 12, -3*i + 4*n - 19 = 2*i. Which is smaller: k or i?
k
Let j(c) = -c**2 + 10*c - 12. Let w be j(8). Suppose -w*v + s = -4*s - 15, -3*v + 15 = -3*s. Let y = v + -11. Is y greater than 2/33?
False
Suppose 0 = -2*w - 3*d - 14, 4*w + 3*d + 14 + 8 = 0. Suppose -o = -2 - 1. Suppose o*v = 5*v - 6. Which is smaller: v or w?
w
Suppose 8 = 2*j - 8. Let b = -9 + j. Which is greater: b or 1/119?
1/119
Let d = -1081/378 - -39/14. Which is smaller: d or -2?
-2
Let q = 100 + -71. Let f = 0.005 + -31.005. Let h = q + f. Which is bigger: h or 10?
10
Let j = 138.41 + 1.59. Let p = j + -152.4. Let r = 12 + p. Which is smaller: 3 or r?
r
Let f = 4755885/2 - 2329400. Let m = f + -17669675/364. Let n = m - -7/52. Which is bigger: -1 or n?
n
Let t = -866 + 866. Which is smaller: t or -3/73?
-3/73
Let v be 2/(-6) + 6/(-9). Which is greater: -12/25 or v?
-12/25
Let p(x) = x**3 + 8*x**2 - 2*x + 11. Let d be p(-8). Suppose -2*g + 44 = -3*y, -4*y + 85 + 48 = 5*g. Is g greater than or equal to d?
False
Suppose -5*k - 2*w + 110 = 0, 3*w = -2*w + 25. Let p be 1 - (2/k)/((-3)/36). Which is smaller: p or 3?
p
Let m be (-1357)/(-194) + (210/(-3))/10. Which is smaller: 0 or m?
m
Suppose q + 22 = 3*k - 307, 319 = 3*k + 4*q. Let c = 82 - k. Which is greater: c or -25?
-25
Let f(p) = 2*p**2 - 22*p - 5. Let k be f(11). Let g be 58/(-6) - 2/6. Which is smaller: k or g?
g
Suppose -a + 6*a - 35 = 0. Let v = a + -11. Let g = v - -5. Is -2/33 not equal to g?
True
Let l = 4.8 - -0.2. Let o = 61 - 26. Let m = -34 + o. Is l > m?
True
Let v be 175/(-90) - 30/(-36). Which is smaller: v or -1?
v
Let r be (-4)/52*(0 + -4*1). Let z = -8 + 8. Which is smaller: r or z?
z
Let b(r) = -r**2 + 11. Let f be b(8). Which is greater: -107/2 or f?
f
Let p(b) = -5*b**2 + 26*b + 20. Let s be p(5). Is 35 > s?
True
Let x be ((-4)/(-3) - 2)/(17/(-3723)). Are 147 and x nonequal?
True
Let l be -1*0/((-48)/(-8)). Which is bigger: l or 4/129?
4/129
Suppose 2*m = -s - 3 - 3, 3*m + 9 = 0. Suppose 4*v - 5*r - 4 = s, 5*v + 0*r - 5 = -5*r. Suppose -5*k - 15 = -5*w, -4*k + 4*w = 2*w + 6. Which is bigger: k or v?
v
Suppose 17 - 19 = 2*u. Which is smaller: -481 or u?
-481
Suppose -4*j + 136 = -4*q, -3*j + q + 0*q + 98 = 0. Let y be 1/(4*4/j). Suppose 0 = 5*r - w - w + 35, 14 = -y*r - 2*w. Which is bigger: r or -9?
r
Let v = 358 - 4652/13. Let r = -22 - -6. Which is smaller: v or r?
r
Let w = -272 + 2995/11. Is 0 <= w?
True
Let t be -4 - -6 - (-46)/(-20). Suppose 16*s = 21*s. Suppose s = -g - g. Are g and t unequal?
True
Suppose -272 = -12*b + 4*b. Let x be (-53)/17 + 4/b. Is x not equal to -8/3?
True
Suppose -980*o = -986*o - 336. Which is smaller: -58 or o?
-58
Let w = 115 - 125. Does w = 0.1?
False
Suppose 5 = -0*t - 5*t. Let b = 17952/13 + -3606584/2613. Let i = b - 2/201. Which is bigger: t or i?
i
Let s = 4535/4 - 1134. Let a = 1.35 - 0.15. Is a at most as big as s?
False
Let n = -2.01 - -2.11. Which is bigger: -172 or n?
n
Suppose -4*i + g = 1, i + 2*g + 7 = 9. Is 3/7 < i?
False
Let r = -31 - -33. Suppose -u = 2*b - 5, u - 4 = 5*b - r*u. Is b at most as big as -2/47?
False
Suppose 3*s - s = 4*s. Suppose s = 4*u + u - 35. Is 2/3 at least u?
False
Let m = 0 + 12. Suppose -m - 108 = 5*y. Let g be ((-18)/y)/(3/(-2)). Which is smaller: -0.2 or g?
g
Let s = 254/3 - 84. Suppose 5*l = 12 - 2. Suppose l = 2*b - 0. Is s > b?
False
Let w = 70 - 67. Let i be w - -3*(-364)/348. Which is bigger: 1 or i?
1
Let b(u) = -u + 6*u + 3 - 2*u + u**2 + 5*u. Let r be b(-8). Suppose 15 = 2*m - 4*w + 3*w, -4*m - r*w = -35. Is m not equal to 0?
True
Let y(u) be the second derivative of u**3/2 + 3*u**2 - 2*u. Let z be y(-6). Let m = 5/3 - 7/6. Is m bigger than z?
True
Let a be (-2)/4*(-1)/(-8). Let y = -3 + -30. Let t = y + 33. Which is greater: t or a?
t
Let k be 2*2 + 1 + -1. Suppose -k = 2*i, 2*h + 4 = -3*i + 7*i. Which is greater: -84/13 or h?
h
L