. Is 0 smaller than b?
False
Let z(y) = y**3 + 11*y**2 + 19*y + 11. Let q = -8 - 1. Let j be z(q). Let h be 1 - (j/30 + 1). Which is smaller: 1 or h?
h
Let r = 11 - 4. Let s = -6.3 + r. Let d = s + 4.3. Do -2/5 and d have the same value?
False
Let u(c) = -46*c**2 - 3*c - 2. Let v be u(-2). Let w be ((-284)/v)/1*-2. Let q = 18/5 + w. Is 2 at most as big as q?
False
Let s = 69.99 - 0.99. Which is bigger: s or 1?
s
Suppose -15*v + 288 + 132 = 0. Is v greater than or equal to 202/7?
False
Suppose 0 = 10*u - 213 - 1597. Which is smaller: 2 or u?
2
Let i(d) = d**2 + 4*d + 6. Let c be i(-2). Suppose 3*h + c*a - 4 + 0 = 0, -5*h = 3*a - 8. Which is greater: h or 13/5?
h
Let m be (5 - 20)*-1*1. Let b be m/(-6)*(-2)/(-5). Which is bigger: 1/55 or b?
1/55
Let x = 381/5 - 77. Suppose -2*r = 2*t + 28, -5*t + 43 - 112 = 4*r. Does x = t?
False
Let c be (-3604)/(-1512) - 2/14. Let z = c + 5/54. Which is smaller: 0.1 or z?
0.1
Let t(q) = q**3 - 8*q**2 - 8*q - 6. Let d be 2/(3 - (-50)/(-18)). Let c be t(d). Is 0 >= c?
False
Let u be 6/(-3) - (-5354)/10. Let n = 536 - u. Suppose -4*m + 39*r - 37*r + 16 = 0, 3*r = 4*m - 16. Which is greater: m or n?
m
Let f be ((-20)/(-2 + 0))/2. Suppose -3*t - 422 = -f*t. Let w = 1063/5 - t. Are w and 2 unequal?
True
Suppose 0 = -2*u + h - 4*h + 132, 4*h + 307 = 5*u. Suppose y + 3*x + 23 = 0, -3*y - 2*x - u = 2*y. Which is bigger: -12 or y?
y
Let o(u) = -u + 97. Let r be o(17). Is r bigger than 80?
False
Let b = 167 + 337. Suppose 3*m + 0 = -b. Let g be 3/4*128/m. Which is smaller: 0.2 or g?
g
Let o = -1979601929 - -2276541837221/1150. Let q = o + 5523/50. Let h = q + 221. Is 0 < h?
True
Let t = -541/3 - -175. Suppose -18 + 0 = 3*c. Which is bigger: t or c?
t
Let v be ((-19)/(190/(-15)))/((-6)/(-92)). Are 19 and v equal?
False
Let y = 14.6 - -2.4. Let o = -389.8 + 390. Do o and y have the same value?
False
Let j = -3 + 3.1. Let l = 0.093 + -0.042. Let m = l - -0.449. Which is greater: j or m?
m
Suppose j = 15 + 1. Let z be (-5)/(-10) + (-12)/j. Is 8 at most z?
False
Let r be (-15)/20*12/(-39). Let v be 3/2 - 30/12. Which is smaller: v or r?
v
Suppose x - 4 = -2*s, 6*x + 3*s - 34 = x. Suppose x*i + 25 = 7*i. Which is smaller: i or -23?
i
Let c(k) = k + 12. Let s(o) = -o**2 + 3*o + 1. Let p be s(-2). Let d be c(p). Let q be 1 - (d - (0 + 3)). Is 1/12 less than q?
True
Let l = -5323052/379 + 14045. Which is bigger: l or 1?
1
Suppose -1 = -3*q + c, q = -4*c + 8*c + 4. Suppose -3*b + 12 = -q. Which is bigger: 3 or b?
b
Let z = -3.4 - -1.7. Let o = -157 + 155.3. Let h = z - o. Which is smaller: 4/7 or h?
h
Suppose 0 = -v + 6*k - 7*k - 31, 5*v - 3*k + 115 = 0. Are v and -76/3 unequal?
True
Let b = -1490 + 5959/4. Are b and -33/4 non-equal?
True
Let j = -0.27 + 0.07. Let v = -15.959 - 0.041. Is j < v?
False
Suppose -5*m + v = -4, -8*v - 2 = -10*v. Is 12/5 >= m?
True
Suppose -c - 3*c = -32. Let x(z) = -z**2 + 7*z - 4. Let v be x(c). Let h be 0/(v/(6/2)). Which is greater: -3/17 or h?
h
Let q = 1061.95 + -1041. Let m = 2 + -23. Let f = q + m. Which is smaller: f or 1/3?
f
Let w = 15.0775 + 0.0125. Let z = -15 + w. Is 0 less than or equal to z?
True
Let v = -11.678 + -0.022. Let i = v + 12.7. Which is smaller: 2/33 or i?
2/33
Let r be (31 + -79)/(486/72). Suppose -33 = 5*v + 7. Which is bigger: r or v?
r
Let t = 137 + -134. Let b be ((-4)/(-10)*5)/(t - 2). Which is smaller: 3 or b?
b
Suppose 3*f - 133 + 133 = 0. Are f and 3/70 nonequal?
True
Suppose o = 3*o + 6. Let j(r) = r**3 - r**2 + r - 1. Suppose 0 = -w - 3*k, 2*w - 5*w = 3*k. Let s be j(w). Is o smaller than s?
True
Let r(x) = 3*x**2 - 2*x - 7. Let i be r(2). Which is smaller: i or -43?
-43
Let r(j) = -2*j**2 + 11*j - 2. Let b be r(6). Let a(m) = -m - 2. Let o be a(5). Is o equal to b?
False
Let z(d) = -8*d**3 + 2*d**2 + d. Let s be z(2). Let u be s/72 - 1/(-2). Which is smaller: -1/25 or u?
u
Suppose 2*a + p - 28 = 15, 4*p = -12. Is 1 smaller than a?
True
Let t(g) = 2*g + 41. Let f be t(-19). Let r be -3*(-1)/(f/1). Which is bigger: r or -3/47?
r
Suppose 58*j - 384 = 46*j. Is 284/9 < j?
True
Let z be 4/(-22) - 11172/627. Is z > -16?
False
Let d be -1*61444/527574 - 2/(-6). Let a = -2/3823 - d. Is 1 at least a?
True
Let v = -20615 + 12843151/623. Which is bigger: 0 or v?
v
Suppose -27*g + 6435 = -82*g. Is -118 smaller than g?
True
Let z = -5055 + 5092. Suppose 0 = -0*o + 5*o - 195. Is z > o?
False
Let f = 0.66 - 0.16. Let x = -5/64 - 53/960. Which is greater: x or f?
f
Let y be (0 - (-6 + 4))/(-2). Is -2/2467 <= y?
False
Let x = 4 - 3. Let j(f) = 3*f**2 - 17*f + 6. Let s be j(5). Is s at least as big as x?
False
Suppose 180 = -b - 2*b. Let k be b/(-18)*1/15. Is k <= 0.2?
False
Let u = 1.476 + -1.52. Is -1/5 equal to u?
False
Let d = 0.086 - -29.814. Let o = 30 - d. Is -5 <= o?
True
Let g = 5958 - 5956. Let v = -4 + 7. Are g and v unequal?
True
Let v(h) = -4*h + 8. Suppose -2*u = 5*d + 25, 4*u = -d - 4*d - 45. Let y be v(u). Do y and 49 have the same value?
False
Let k be (280/(-12))/((-160)/30). Is k >= 4?
True
Let y(q) = q**2 + 15*q + 14. Let w be y(-13). Let h = w - -18. Let m = -74 - -79. Which is smaller: m or h?
m
Let h be 2*5/(-5)*(-2)/(-17). Which is smaller: h or -1/2?
-1/2
Let u = -17 + 22. Suppose u*i + 0 + 15 = 0. Let j = 11/9 - 17/9. Are i and j nonequal?
True
Suppose 45 = f + 38. Let h(g) = -3*g - 7. Let q be h(-6). Is q > f?
True
Let d = -0.626 + 10.626. Is d less than 24?
True
Let v(b) be the first derivative of -3*b**2/2 - 8*b - 2. Let u be v(-6). Let y(t) = t**2 - 11*t + 10. Let l be y(u). Which is bigger: -5/6 or l?
l
Suppose 85*d - 2370 = 79*d. Which is smaller: -1/3 or d?
-1/3
Let q be 7 - (7 + 8/(-58)). Which is smaller: q or 0.4?
q
Let p = 1394 + -1393.99. Let g = 2.9 + -3. Is p smaller than g?
False
Suppose 10 = 6*h - h - 4*a, -2*a = 2*h - 4. Is h at least as big as 0.29?
True
Let j(b) = -b - 10. Let n be j(-16). Let w be 4/n - (-10)/(-15). Is -3/4 equal to w?
False
Let u(t) = -t + 27. Let i = -32 - -23. Let w be u(i). Which is smaller: w or 35?
35
Let y(t) = -20*t + 23. Let f be y(4). Let j = 66 + f. Which is smaller: j or 7?
7
Let r = 40 - 41. Is r smaller than -22/13?
False
Let u be (-13)/(-208) + 668/(-8640). Is 1 less than u?
False
Let v be ((-54)/(-189))/((-9)/7). Let h = 5.6 - 25.5. Let z = h - -20. Which is greater: v or z?
z
Suppose b + 24 = 4*d + d, 5*b + 20 = 0. Let j(u) = -u**3 + 4*u**2 - 5*u + 20. Let f be j(d). Which is smaller: -1/31 or f?
-1/31
Let o = 0 + -36. Let r = o - -32. Which is smaller: r or -18/5?
r
Let p be (-1)/(-1) - (-10)/(-6). Let s(o) = 25*o + 2*o**2 - 13*o + o**3 - 11*o - 2 + 4. Let v be s(-2). Which is smaller: v or p?
p
Let j be 9/(-24)*-4*14. Suppose -u = 3*h + 8 + 5, 0 = -u - 5*h - j. Which is smaller: 2/75 or u?
u
Let u(h) = -h**2 - 1. Let n be u(0). Let d(c) = -48*c - 21. Let j be d(-5). Let r = j + -3505/16. Which is bigger: n or r?
r
Let q = -26 + 8. Suppose 12*p - 82 = 98. Let k = q + p. Are -7/3 and k equal?
False
Let r = 0 + -12. Let s = 13 + r. Let a = s + -2. Is a at most 0?
True
Let j = 641 - 3204/5. Which is smaller: -0.35 or j?
-0.35
Suppose y + y = 0. Suppose y = 3*d - 4*d + 1. Is d greater than -1/19?
True
Let n be 1/((-5)/(2 + -172)). Let m = n - 63/2. Is 2 not equal to m?
True
Let l(k) = -6*k - 9. Let z be l(-3). Let n = z + -10. Which is smaller: -3 or n?
-3
Let m = 11 - 31. Let x = m - -15. Which is smaller: x or -4?
x
Suppose -4*m + 0 = 28. Let n = -6 + m. Let a be 18/(-12) + n/(-6). Is -2/11 bigger than a?
False
Suppose -6*r = -4*r + 32. Let y be (-20)/r*(-1)/(3/12). Which is smaller: -4/7 or y?
y
Let i(v) = 4*v - 19. Let a be i(5). Let t = 1180 + -133339/113. Which is smaller: a or t?
t
Suppose 105 = 4*g - 55. Suppose -41 = 3*h - 4*h. Which is greater: g or h?
h
Let l(j) = -j**3 + 2*j**2 + 6*j + 5. Let n be l(4). Let c = 6 - 6. Which is smaller: n or c?
n
Suppose -4*l + 4*v = -8, -l + 6*l + v = -2. Is l >= -3/49?
True
Let d(x) = -x**3 + 10*x**2 - 2*x + 11. Let g be d(11). Let p be 2/(-3)*18/g. Is p greater than 0?
True
Let g(k) = -2*k**3 - 5*k**2 + 2*k + 11. Let n(u) = -3*u**3 - 11*u**2 + 3*u + 21. Let b(r) = 5*g(r) - 3*n(r). Let j be b(8). Is j > 6/11?
False
Let f(x) = -6*x - 28. Let u be f(-7). Is 16 smaller than u?
False
Let x be (2/425)/((-20)/100). Let b = -32/7 - -71/14. Do x and b have the sam