. Let f(z) = -4*z**3 - z**2 + 2*z - 1. Let a be f(1). Which is smaller: a or c?
a
Let c = -7839 + 1081777/138. Suppose 0 = -3*h + 3*j + 3, 22*h + 5*j - 5 = 17*h. Which is smaller: h or c?
c
Suppose 72*o - 32*o = -86*o + 13860. Is o at most as big as 998/9?
True
Let g = 318.294 - 335.3. Let x = 0.006 + g. Let d = x + 30. Is d bigger than 0.1?
True
Let y = 2.95 - -0.05. Let h = y + -3.7. Let r = 337 + -336. Which is smaller: r or h?
h
Suppose 48*g = 636 + 276. Let a be (3 + -4)/(-1*1). Let f(d) = 16*d**3 + d**2 - d + 1. Let x be f(a). Is x < g?
True
Let m = -38 + 37.07. Let t = 1.4571 + -1.3571. Which is smaller: m or t?
m
Let q = -9 - -101. Let z = q + -92. Let s be -2 - (2 + z + 19). Is s at most as big as -23?
True
Let w = -3241 + 3798. Suppose -4*z = -a - 3*a + 2220, 3*z - 1683 = -3*a. Which is smaller: w or a?
w
Suppose 4*p = -k + 188 + 47, 5*p - 296 = -2*k. Let w = -58 + p. Let x = -3 + w. Which is smaller: -3/2 or x?
x
Let d = -41.7 + 8.7. Let j = d + 48. Let q = -1 - 0. Is j greater than q?
True
Suppose 3*n = -3*j + 5385, 0 = -4*j + 11*n - 7*n + 7244. Which is greater: j or 1799?
j
Let u be -2*(-12)/(-20)*-10. Let z be u/(3 + (-3 - -1)). Let a be 15/(-130)*z/(-9). Is 1 at least as big as a?
True
Let b be ((-7)/(-4))/((-105)/(-20) - 6). Let j(m) = -10*m + 74. Let l be j(6). Suppose 0 = -5*h + l - 19. Is b bigger than h?
False
Let z = -0.492 + 0.505. Let h = z - 3.013. Is h >= -12?
True
Let r(k) = -k**2 - 5*k + 10. Let z be r(4). Let g(s) = -s**3 - 27*s**2 - 25*s + 34. Let x be g(z). Suppose 5*j - 9 = -4*a, -2*j + 7*j = -3*a + x. Is -4/33 > j?
False
Let b be 4/24*-15*14. Let s be ((-182)/b + -5)*5. Which is smaller: -2/119 or s?
-2/119
Suppose a - 9 = -5*g, -4*a = 3*g - 6*g - 13. Let h be (-2)/8 - g/4*-1. Let n(r) = 2*r + 1. Let m be n(h). Is m at least as big as 16/11?
False
Let l = 37 - 100. Let x = 572 - 633. Which is smaller: l or x?
l
Let n be (-8208)/52428 - (12/153)/((-10)/15). Which is bigger: n or -1?
n
Let w(q) = 2*q**3 - 7*q**2 - 19*q + 16. Let h be w(5). Let t be 1/1*(3 - 4). Let z be -1*(t - h) - -6. Are 0.1 and z nonequal?
True
Let n be (61 + (3 - 1))*(-20)/(-3). Let c = n + -413. Which is bigger: 6 or c?
c
Let d = 0.345 + -0.055. Let s = 6.29 - 5.9. Let j = s - d. Is 14 < j?
False
Suppose 3144*k = -11*k - 1174*k + 196496 + 84889. Let l be (-14)/4 - (-2)/(-4). Let i be l/(-14) - (-460)/7. Do i and k have different values?
True
Let a = -29421876034/2835 - -10378087. Let b = a - 1/810. Is b greater than 1?
False
Let w be 20/250 + (-235676)/950. Do -239 and w have the same value?
False
Let q(n) = -3*n - 52. Let v be q(-18). Let c(f) = f - 2. Let t(g) = -2*g + 4. Let i(r) = 13*c(r) + 6*t(r). Let l be i(v). Are l and -27 equal?
False
Suppose -2*l - 4*j = -5*j - 379, 2*l - 5*j - 391 = 0. Is 194 greater than or equal to l?
True
Suppose -4*w = t - 19 + 32, 0 = -w - 4*t - 7. Let v be ((-10)/w)/((-64)/(-1440)). Which is smaller: v or 73?
73
Suppose p = -3*o - 707, -5*o + 24*p - 22*p = 1171. Is o less than -1636/7?
True
Let j(l) = l**2 + 9*l + 15. Let r be j(-6). Suppose 0 = 3*k + 19 - 10. Let x be (-51)/(-16)*(-4)/(-18)*k. Which is bigger: r or x?
x
Suppose -8 = 4*l - 0*l. Let y = 43 + -13.5. Let p = -29.64 + y. Which is bigger: p or l?
p
Let x = -11652 + 14925. Which is smaller: x or 3271?
3271
Let w be (-2)/(-3) + 1516/(-132) - 92/506. Is w != 106?
True
Let o be -4 + 125/20 + (-14153)/68. Is 1/4 smaller than o?
False
Let q = 248 + -196. Let b = q + -50. Which is bigger: -94 or b?
b
Suppose 2*s + 2*s = 0. Let x be (4 - 1)*(26 + (-2485)/95). Which is greater: s or x?
s
Let r(x) = 16*x + 160. Let z(a) = -a**3 - 38*a**2 + 122*a - 50. Let c be z(-41). Let h be r(c). Which is smaller: 15 or h?
15
Let z(b) = 5*b**2 + 148*b - 728. Let p be z(5). Which is bigger: 13/2 or p?
p
Let j(f) = -3*f - 24. Let m be 2/(-6) + (-130)/15. Let i be j(m). Suppose -4*d - 2*x + 60 = -7*x, -5*d + i*x = -75. Do d and 15 have the same value?
True
Let i = -31 - -86. Let w = i - 54.58. Let h = w + -0.52. Is 26 smaller than h?
False
Suppose -3*p - 7 = 3*t + 5, 0 = 4*t + 2*p + 10. Let b be (-2)/(-5) + t/(-5). Suppose 32*y + 23 = 88*y - 33*y. Which is bigger: b or y?
y
Suppose 21*q - 15 = 11 - 5. Which is bigger: q or -19/64?
q
Let q(o) = -o**2 + 2*o - 3. Let d be q(1). Let t be (14/(-287))/(d/80) - 2. Is t greater than or equal to 1?
False
Let z(j) = 53*j**2 - 4*j - 2. Suppose 0 = -4*m - y - 3, -13*m - 4*y + 10 = -8*m. Let r be z(m). Which is smaller: r or 219?
r
Let v = -61 + 373/6. Let q = 127/78 - v. Let l(m) = m - 2. Let o be l(2). Which is greater: q or o?
q
Suppose f - 15 = -4*d, -5*f + 8*f + 15 = 0. Which is smaller: d or 96?
d
Suppose -401 + 155 = -3*s. Let p = s + -61. Suppose 4*k = 4, 3*w = -w - k + p. Is w >= 6?
False
Let n = 238 + -469. Let p = n + 228. Let a = -4.66 + -0.34. Is p bigger than a?
True
Suppose 112*a - 115*a + 33 = 0. Let s be 2*(5 + a/(-2)). Suppose -4*w + 12 = 4*b, 30 = b + 4*b + 2*w. Which is smaller: s or b?
s
Let y(i) = -62*i**2 - i + 35. Let q be y(-11). Let n = q + 1125850/151. Is 0 >= n?
True
Let q = -61 + 28. Let z = 2657.95 - 2658.01. Is z smaller than q?
False
Let a = 36 + -21. Let y(x) = x**2 - 17*x - 22. Let k be y(a). Let o = k - -41. Is o >= -11?
True
Let g(q) = 2*q - 22. Let n be g(15). Suppose n*y + 24 = 10*y. Suppose 0 = 3*a - 4*c + y + 41, -5*a + 2*c = 65. Are -13 and a unequal?
True
Let w = -715 - -1214. Suppose 0 = -4*m + 109 + w. Is 152 bigger than m?
False
Let c be (-21)/18*(-9)/21 + 482/(-4). Suppose -7*h - 9*h = 1920. Is h at least c?
True
Let f(v) = -v**2 - 4*v + 119. Let z be f(-13). Suppose 6*y - z*y = 220. Is 57 greater than or equal to y?
True
Suppose -5*s + 4*j = -20, 2*s + 15*j - 8 = 10*j. Let a(x) = -x**3 + 4*x**2 - 10*x + 10. Let y be a(s). Is 4 > y?
True
Let n = 12639 + -12682. Is n greater than or equal to 4/13?
False
Let i = -1642 - -991. Is i <= 0?
True
Suppose 21 = 5*g + 2*s - 3*s, 0 = 2*g - 2*s - 2. Suppose -d + 2*k + 94 - 267 = 0, 3*d = -g*k - 519. Which is smaller: d or -175?
-175
Let v = 6674/15165 + -21/337. Let b = v - -74/9. Which is smaller: 3/4 or b?
3/4
Let i = 569 - 619.5. Let j = i + 50.1. Which is greater: -0.2 or j?
-0.2
Suppose 2*y = 5*u - 0*y, -2*u = y - 9. Let r be u*4*15/30. Suppose -t + 5*i - 13 = 0, 2*t - 10*i = -11*i + 7. Which is smaller: r or t?
t
Suppose -y + 6 = n, -4*y = -64*n + 63*n - 19. Is n smaller than 2/19897?
False
Let z = 3/22 + -133/88. Let c be (98/760)/((-8)/84). Let v = z - c. Which is bigger: v or 1?
1
Let d be ((-25)/(-10))/(1/(-2)). Let y be (-1 + d)/((-4)/14). Is y greater than or equal to 0?
True
Let l(r) = -9*r - 90. Let w be l(-10). Suppose -8 = -2*k - y, w*k - 3*k = -y - 22. Which is smaller: k or 9?
k
Let f(g) = -g**3 + g**2 + 5*g - 4. Let p be f(-3). Suppose -p = 5*u + 3. Let n be ((-3)/(-9))/(u/(-12)). Is n != -4/17?
True
Suppose 2*l + 97 = -2*u + 21, 2*u = 3*l + 104. Let d = 41 + l. Suppose -s + 5 = 4, 4*s = y + d. Is y != 1/49?
True
Suppose 5*y = -k - 5, 0*y + 3*y + 3 = -3*k. Is -12/319 less than or equal to k?
True
Let c be 20 + (6 + 0)/(-2)*-1. Let g(m) = -m**3 + 9*m**2 + 8*m + 4. Let y be g(9). Suppose -z + 3*z - 4*f - 64 = 0, y = 3*z - 2*f. Is z equal to c?
False
Let g = 59411 - 181129/3. Which is greater: -966 or g?
g
Let v = 194/3 - 65. Let g = -0.29 - 0.11. Let p = -1.4 + g. Which is bigger: p or v?
v
Let h be ((-192)/63 + 3)/(14/(-6)). Which is smaller: h or 1?
h
Suppose -579 = -5*d - x, 3*x = 5*d - 471 - 132. Let f be 8 + -5 - (-228)/2. Is d > f?
False
Let q = -2596 - -2632. Is 0.1 greater than or equal to q?
False
Let i(a) = -7*a - 445. Let k be i(0). Let f be (k/10 + 5)*4. Which is bigger: -157 or f?
-157
Let p be 2/((1/((-8)/(-8)))/2). Is p less than 117/29?
True
Let w be (-25 + 23)/(8/4876). Which is greater: -1218 or w?
-1218
Let u = 52 - 574/11. Let i = -2931 + 2869. Which is bigger: u or i?
u
Suppose -8*a = -22*a + 210. Let m be (-3)/a - (-93)/165. Which is smaller: m or 1?
m
Let g = 8383 + -8383. Which is smaller: -50/549 or g?
-50/549
Let i = -269 + 529. Let t = -261 + i. Which is smaller: t or 328/5?
t
Let j(x) = 4*x**3 + 40*x**2 - 2*x - 24. Let h be j(-10). Let o(k) = 4*k**2 + 12*k - 20. Let w be o(h). Is 59 at most as big as w?
False
Let z be (-1485)/(-60) + -19 + -6. Is z at least as big as -0.1406?
False
Let w(p) = 2*p**2 + 