ller than -29?
False
Let y(l) = -3*l**3 + l**2 + 4*l + 22. Let i(a) = 4*a**3 - 4*a - 22. Let w(x) = 4*i(x) + 5*y(x). Let o be w(-5). Are 4 and o unequal?
True
Let f be ((-1)/3)/((-6)/162). Suppose -4 = -3*n + 5. Let z be 4*4*n/6. Is z <= f?
True
Suppose 5*f = 5*t - 10, 2*t - 6 = -f + t. Let b be (-3)/(3/(-6) + 1). Let c be (-9)/b + -3 - f. Is -4 bigger than c?
False
Let r = 969/4 - 10671/44. Is -5/2 equal to r?
False
Let p = 26 - 73. Let z = -31 - p. Let h = 12 - z. Which is smaller: 0.1 or h?
h
Let k = 9 - 4. Let q = -32 - -24. Let z be (54/(-12))/(6/q). Which is bigger: z or k?
z
Let w(s) = 2*s**2 + 15*s + 8. Let a be w(-7). Is a at least 13/6?
False
Suppose -98*p + 396 = -104*p. Is p < -65?
True
Let y(u) = -u + 10. Let r = 11 + -7. Suppose z = 5*b + r*z - 70, -b = -4*z + 9. Let h be y(b). Is h > -2?
True
Let i(l) = -l + 10. Suppose -5*t - 5*w = -40, 0 = -t - w + 3*w + 20. Let d be i(t). Let r be 0 - 0*(d - -3). Which is bigger: -1 or r?
r
Let t = -2352/13 + 181. Let n = t + 19/91. Which is bigger: 11 or n?
11
Let j = -4 - 8. Let a = j - -8. Let g be a/(-14) + 740/(-630). Is g greater than 0?
False
Suppose -792 = 7*d - 106. Which is smaller: d or -97?
d
Let g(b) = -11*b**2 - 7*b - 19. Let c be g(-2). Which is smaller: c or -45?
c
Suppose -5*l + 13 + 12 = 0. Suppose 2*p = -5*z + 24 + 15, -l*z = -5*p - 25. Suppose 4*j - 4*i = 16, -2*j - 24 = -z*j + 4*i. Is j at least as big as 10?
False
Let o = 411.8 + -412.1. Let g = 2.96 + -3. Which is smaller: o or g?
o
Let p = -7243448 + 1354521636/187. Let o = p - -270/17. Is o smaller than -1?
False
Let y(q) = -q**2 - 6*q + 3. Let k be y(-5). Suppose 2*i - k = -4*u, 4*u = 4*i + 9 - 1. Let g be 62/(-527) + 67/(-153). Which is bigger: i or g?
i
Suppose -3 = -g, 3*u = 4*g - 0 - 6. Suppose -u*h - 4*h = -12. Which is greater: h or 8/3?
8/3
Let l = 224 - 223. Is l at most as big as 3/91?
False
Let l be (-2)/(-20)*(-8)/20. Suppose -j - 5 = 4*j. Which is bigger: j or l?
l
Let z be 1*-1*(-32)/(-6). Let y = 1863 - 1862. Which is smaller: z or y?
z
Let h be 14/(-4)*28260/(-315). Which is smaller: 2/7 or h?
2/7
Let t = -40 + 41. Does t = -0.11?
False
Let t = -66723/52 + 1283. Let d be 158/13*(-1)/16. Let b = t - d. Is b at most 1?
True
Let t = 0.3 + -0.7. Let v = t - -0.29. Let k = -0.09 + v. Is k <= 2/7?
True
Let b be (196/8)/(-1) - 1. Suppose 18 + 9 = -q. Which is bigger: q or b?
b
Let y be ((-10)/(-4))/(4/24). Let b = y - 14. Suppose 7*j - 2*j + 11 = -o, -5*j = 5*o + 15. Which is smaller: b or j?
j
Let q be 2 - (-4 + 7 + 24). Which is smaller: q or -24?
q
Let a be (1 + -7)/3 + -788. Let h = 1615/2 + a. Which is smaller: h or 18?
h
Suppose f - 5*q - 245 = -4*f, 5 = -5*q. Which is smaller: 21 or f?
21
Let u = -4646/87 - -160/3. Let r be (-8)/6*(-30)/20. Suppose 5 = -7*f + r*f. Which is smaller: u or f?
f
Let n(m) = -3*m**2 + 21*m - 50. Let u be n(3). Which is smaller: u or -20?
-20
Let z be 3/(-2)*-6*7/63. Suppose -c - 19 = -5*y, -2*c - 14 = 2*y - 36. Let i be (4 - c)*z/(-8). Which is bigger: 1 or i?
1
Let w = -6.6 + 1.6. Let p = -11/5 + 39/20. Is w at least as big as p?
False
Let k = -0.55 + 0.56. Which is smaller: 17 or k?
k
Let p = -344 + 543. Which is smaller: 201 or p?
p
Suppose 3*j = 3*p, -5*p + 2*p = -5*j + 4. Which is bigger: 34/13 or p?
34/13
Let m = 9.57 + 2.93. Which is bigger: m or -1?
m
Let s = 2128/3 + -719. Let w(k) = 9*k**3 - k**2 + 2*k + 2. Let u be w(-1). Is u greater than s?
False
Let x = 0.13 - 0.02. Let n = 4.11 - x. Let z = -0.1231 - -0.3231. Is z <= n?
True
Let f be -3*(-150)/(-27) + (-8)/(-12). Let n = 4/5 + -153/10. Is f >= n?
False
Let s = -471 - -471. Is 33 less than s?
False
Let m(s) be the second derivative of s**5/20 - 3*s**4/4 + 5*s**3/6 - 4*s**2 + 14*s. Let n be m(9). Do n and 37 have the same value?
True
Let w = 14 - 20. Let c be (-4)/1*w/12. Suppose 2*v = v + c. Which is greater: 3 or v?
3
Suppose 4*m = -3*u - 6 + 2, 2*m + 2 = -4*u. Let w be 240/128 - (1 - m). Which is smaller: w or -1?
-1
Let p = 39 - 39. Suppose 5*w - 35 = -p*w. Is 7 not equal to w?
False
Let v(o) = o**3 - 9*o**2 + 8*o - 2. Let p be v(8). Let g(i) = i**3 - 2*i + 1. Let d be g(p). Let t be (6/14)/(6/(-21)). Which is smaller: t or d?
d
Let j = 19724/23 + -858. Let c = j - 16/69. Let d(o) = -o - 6. Let q be d(-5). Are q and c nonequal?
True
Let c = 8264 - 8259. Suppose 0 = 4*a + 5*u + 48 - 7, 3*a = -4*u - 32. Which is bigger: c or a?
c
Let n(z) = z**3 + 21*z**2 - 124*z - 17. Let c be n(5). Suppose 23 - 6 = m. Is c at most as big as m?
True
Let q(a) = -a**3 - 38*a**2 + a + 53. Let w be q(-38). Which is smaller: 14 or w?
14
Let o = 15 + -14.92. Let w = 3.08 - o. Let d = w + -3. Which is greater: d or -0.03?
d
Let d = -0.073 - 28.927. Let y = d - -31. Which is greater: -19 or y?
y
Suppose q - 149 + 143 = 0. Which is greater: 36 or q?
36
Let v(d) = -3*d + 16 + 7*d - d - 8*d. Let r be v(3). Which is greater: r or -2/139?
r
Suppose 59*l + 112 = 171*l. Let v(j) = -71*j**3 - j**2 + 1. Let o be v(-1). Which is greater: l or o?
o
Let h = -0.0962 + -0.0038. Let v = 0.1 + -0.11. Let q = v + h. Are q and 0 nonequal?
True
Let z be (7 + -2)*(-56)/20. Suppose 11*s = 16*s - 110. Let n = s + -38. Is n at least z?
False
Let q be 1*2 + (11 - 11). Let a be (-7)/q + (-11)/22. Let g be a/8 - 34/(-4). Which is greater: g or 6?
g
Let l = 0.46 + 0.14. Let v = -241.3 + 241. Is l bigger than v?
True
Let u = 80 + -45. Suppose -2*p - 2*p + 22 = a, 5*p - u = -2*a. Let g be 2 + 5 - 12/(-3). Which is smaller: a or g?
a
Let h be ((-9)/(-27))/(4/(-744)). Which is smaller: -63 or h?
-63
Let l = 28 + -26.3. Let y = l - -2.3. Do 0 and y have the same value?
False
Let w = -7241/3 - -2469. Let a = w - 56. Which is bigger: -0.32 or a?
-0.32
Suppose 0 = g - j - 2, g - j = -3*g + 14. Suppose 3*a - 111 = 18. Suppose -g*q = 5*d + a, 2*d + q + 25 = 2*q. Is -12 greater than d?
False
Let z = 11 + -8. Let t be (2 + -1 - -2) + z. Let c be (-8)/(-10)*10/t. Is c != 1?
True
Let i = 153 - 158. Which is greater: i or -9?
i
Suppose 5*x + 4*l + 1721 = 0, l = 3*x - 0*x + 1036. Let c be (-14)/105 - (241/x + 1). Is c at most as big as 0?
True
Let o(q) = 5*q**3 + 18*q**2 - 7*q - 15. Let g(r) = -3*r**3 - 9*r**2 + 3*r + 8. Let y(w) = 7*g(w) + 4*o(w). Let l be y(8). Are l and 9/2 equal?
False
Let s = 108 + -107.803. Is s less than 1/2?
True
Let i be (-688)/7 + 6/21. Let z be -5 - (i/12 + 4). Which is greater: -2 or z?
z
Let l = 38851 + -349087/9. Which is bigger: l or 65?
65
Let j = 766 + -17615/23. Let p = -61/115 + j. Let z(o) = -o**3 + 6*o**2 + o - 5. Let h be z(6). Is p less than h?
True
Let u = 0.18 - -0.27. Let t = u + 0.15. Let c = 1.4 + t. Is -1 greater than c?
False
Let i be (-6 + 9)/(9/(-6)). Let d = 0.6 + -0.1. Let f = d + -0.8. Does f = i?
False
Suppose 5*h = z + 4*h - 2, -z = h. Is z greater than 25/13?
False
Let n = 1058 - 1059. Is n greater than 15/56?
False
Let x = 0.0426 + 0.1574. Which is smaller: -158 or x?
-158
Let v = -78 + 76. Is v > 16?
False
Let s be (-69)/6*(666/84 - 8). Which is bigger: 0 or s?
s
Let w = 0.95 + 0.15. Let j = -38 - -39.2. Let s = w - j. Is -2 < s?
True
Let u = -21.4 + 23.21. Let z = u + -0.81. Is z >= 1?
True
Let d be ((-1)/(3 - 0))/((-3)/(-5202)). Is -578 at most as big as d?
True
Let s(m) = -2*m**2 + 10*m + 14. Let w be s(-1). Which is smaller: 8/11 or w?
8/11
Let w = -135/2 + 979/14. Suppose -13 = -5*k - 8. Which is smaller: w or k?
k
Let n be 2/14*(-2 + 4). Suppose -4*u + 127 = 3. Suppose u*i = 36*i - 5. Does n = i?
False
Let u be 5/(-1) + 246/52. Which is greater: u or -1?
u
Let v = -0.0493 - 0.2507. Which is greater: v or -8?
v
Let o(c) = -c**3 + 5*c**2 - c - 3. Suppose k + 3 = 5. Let f be o(k). Suppose -3*g = -2*u - 11, -f*g - 5*u = -2*g + 15. Which is smaller: g or -2/17?
-2/17
Let t = -1126 - -1139. Do -2/5 and t have the same value?
False
Let m(t) = -1. Let n(h) = -h + 4. Let l(f) = 3*m(f) - n(f). Let g be l(9). Suppose -o + 6*o + 45 = 4*z, 3*z + g = o. Which is greater: o or -14?
o
Let z = -1.4 - 9.6. Let r = 6 + z. Let t = 7 + r. Which is greater: t or -2?
t
Suppose 0 = 6*h - 2*h + 16, 3*h = -5*r - 42. Let c be (8/r)/((-2)/9). Let k be (c/15)/((-1)/10). Which is greater: -3 or k?
-3
Suppose -5 = -2*i + v, 3*i - 3 = v + 2. Suppose -2*d - 3 - 5 = i, 2*s = -d - 4. Which is greater: s or -5?
s
Suppose -9 = 2*s - 3. Let l be 