l) = -l**3 - 7*l**2 - 5*l + 31. Let p be w(-7). Let i = f + p. Is -1/69 at least as big as i?
False
Suppose 31*l + 2294 = -6*l. Let t = l - 270. Which is smaller: -333 or t?
-333
Let l(t) = -2*t**2 + t**3 + 10 - 5*t + t + 0*t + 4*t + t. Let y be l(-3). Which is smaller: -35 or y?
y
Suppose 3*w - 10 = -7. Let h be (2 - 4/7)/(w*-6). Suppose 3*c - 2*c + 1 = 0. Is h >= c?
True
Let r = -75309 + 677783/9. Let c(u) = u**3 - 6*u**2 - u + 5. Let o be c(6). Is o at least r?
False
Suppose -153 = 3*c + w, -41*w = 2*c - 42*w + 97. Let r(s) = -2*s**2 + 4*s - 3. Let j be r(-4). Which is greater: c or j?
c
Let z be ((-6)/14 - (-47)/77) + (-131580)/723327. Do z and 0 have the same value?
False
Suppose -n + 4*f + 81 - 8 = 0, 174 = 3*n + 3*f. Let o = 23 - n. Is o >= -264/7?
False
Let y = -1.64 - 10.96. Let l = -4.6 - y. Which is greater: l or 3/8?
l
Let a = 17.074 + -506.074. Which is smaller: a or -7?
a
Let x be (-22)/(-33)*36/60. Which is bigger: -2.674 or x?
x
Let t(f) = 18*f**3 - 7*f**2 - 3*f - 13. Let h be t(3). Which is greater: -1 or h?
h
Let l(n) be the first derivative of n**3/3 + 19*n**2/2 - 17*n + 68. Let j be l(-20). Do 7 and j have the same value?
False
Let y(a) = a**2 + 14*a + 35. Let w be y(-10). Suppose 3*q = 5*t - 52, 2*t - 46 = 5*q + 9. Which is smaller: q or w?
q
Let z = -29.27 + -35.6. Is 3 bigger than z?
True
Let a be 2 + 0 - 1/4. Let v(d) = d**3 - 5*d**2 - 8*d + 14. Suppose 4*i - u = 20, 0*i + 3*u - 18 = -i. Let l be v(i). Is l at least a?
True
Let s be (-1 + 1)/(4 + -7). Let t = 165/7 - 3051/133. Which is greater: t or s?
t
Let g = 11859/10 + -32659691/27540. Is 1 less than g?
False
Let i(g) = 4*g**3 - 5*g**2 - 20*g + 47. Let q be i(3). Let s be (8/q)/(341/55 + -4). Is s less than 1?
True
Let a be 5 + -6 - (-6 + 1). Let h(q) = -q**3 + 3*q**2 - 7*q + 13. Let s be h(a). Is -31 != s?
False
Let l = 522 - 491. Let t be (-272)/12 - (-2)/(-6). Let d = t + l. Are 6 and d unequal?
True
Suppose -d + 0*d = 3, -5*z + 117 = d. Let k be (-154)/z - (-2)/3. Suppose 28*c - 35*c - 35 = 0. Is c > k?
True
Suppose -14*u + 19*u - 9 = -3*y, -2*y + 6 = 4*u. Is 19/7 at most u?
False
Let p = -2635 - -3053. Is p smaller than 418?
False
Let p = -19582/13 - -184602/91. Which is bigger: p or 521?
p
Suppose 361 = 13*c - 16. Suppose 28 = 3*n - 4*o, 4*n - c = -0*o - 3*o. Let w(z) = 5*z - 25. Let k be w(n). Which is smaller: k or -1?
-1
Let a = 87 + -191. Let f = a + 72. Let t(l) = l**3 + 10*l**2 + 7*l + 39. Let w be t(-10). Which is smaller: f or w?
f
Let o = 522.6 + -494.19. Let p = o + -0.41. Which is greater: p or 0.4?
p
Let a = 218.6 + 53.4. Let m = 272.7 - a. Which is smaller: 7 or m?
m
Let i = 239 - 244. Let o be (-72)/45*i + -106. Which is smaller: o or -395/4?
-395/4
Let c be 108/26 - ((-37)/13 - -3). Suppose 46 = 3*m - x, -c*m + 59 = 9*x - 8*x. Is m smaller than 15?
False
Let t be (2 - 1) + 1 + (12 - -4039) + 8. Is t at least as big as 4059?
True
Let j = -9/50 + 119/50. Let i be (-96)/32*2/(-3). Which is greater: i or j?
j
Suppose -204*b = -200*b + 16. Suppose 4*t - t = 3. Let d be b/8*4 - (t + 1). Which is smaller: -0.8 or d?
d
Suppose -7*s - 32 = -410. Suppose d + 3*d - s = -o, 56 = 4*d + 2*o. Which is smaller: d or 12?
12
Let n(k) = 3*k + 85. Let b be n(-23). Let c be (-1*4*(-5)/(-20))/b. Which is smaller: -1 or c?
-1
Let j = -2 + 7. Suppose -5*s - n + 146 = -59, -135 = -4*s + j*n. Suppose 207*x + 3*t = 208*x - 44, 0 = -5*x + t + 206. Which is greater: x or s?
x
Let b be 428/18 + ((-29)/(-9) - (-84 - -87)). Suppose -9 = -3*h, 4*v - 59 = -0*v - h. Which is smaller: b or v?
v
Let o be -5714*(-288)/(-189)*3/4. Let p = o + 6556. Is p at most 26?
True
Let n = 6656 + -4188. Is n at most as big as 2468?
True
Let t(o) = -2*o + 3. Let n be t(2). Suppose 4*f = 5*z + 1763, f + 2182 - 429 = -5*z. Let w be (-28)/378 + 136/z. Which is smaller: w or n?
n
Let r(c) = -6*c + 411. Let v be r(46). Do 116 and v have different values?
True
Let i(r) = -32*r - 82. Let s be i(-7). Let w = s + -139. Let t(p) = 3*p**2 + 2*p. Let h be t(-2). Does w = h?
False
Let y = -12525/7 - -1785. Let b(i) = 17*i - 233. Let r be b(14). Suppose -9*s = -5*s - r*u + 21, -2*s = -u + 9. Which is smaller: s or y?
y
Let v(q) = -q**2 + 1. Let f be v(-1). Let l = 516 + -273. Let b = l + -241. Is b >= f?
True
Let x = 71 + -45. Let d = -15694 + 78601/5. Is x greater than or equal to d?
False
Suppose 2*a = 4*w + 19476, 4*w + 2*a + 16955 = -2521. Are -4870 and w non-equal?
True
Let v be ((-3)/(-2))/(84/224). Let z = -3 - -6. Suppose z*f = -f + v. Which is smaller: 33 or f?
f
Let a be ((-26)/12)/((-18)/28). Let t = -8/27 - a. Is t smaller than -5?
False
Suppose -2*b = 5*h + 13724, -45*b + 4*h = -44*b + 6810. Is b < -6842?
False
Let f = 258 - 288. Let u be (f/25)/(2/(-5)). Let x(j) = -j - 4. Let b be x(-6). Which is smaller: b or u?
b
Let o be -10 + 22 - (-1 + -2). Let t(z) = -8*z - 8. Let s be t(o). Is s at most -127?
True
Let m = -159 - 189. Let f = m - -247. Let b = f + 101. Which is smaller: b or 5?
b
Let u = -1118312/47 - -23794. Is -4/11 at most as big as u?
True
Let x(h) = -h**2 - 18709 - 5*h + h**3 - 14*h**2 + 18702. Let p be x(14). Does -272 = p?
False
Let d = -144.24 - -145. Let u = 0.5 - d. Let b = 0.3 - 0.3. Is u bigger than b?
False
Let z = -1386 + 1504. Is 106 less than or equal to z?
True
Let y = -291478 + 2103013774/7215. Let m = y - -4660862/50505. Is m less than 92?
False
Let p = 6142 + -6139. Which is smaller: p or 0?
0
Suppose -3*j + 2*c + 1 = 0, 4*c + 1 = 5*j - 0. Let m be 25*j + (-4 - (3 + -6)). Which is bigger: m or 23?
m
Let d be 96/(-1926)*(-21)/28. Is -1 smaller than d?
True
Let c be (1 - -1)*-1*(-61913)/(-202). Which is bigger: -612 or c?
-612
Let f(u) be the third derivative of u**6/120 - u**5/20 - u**4/12 + 5*u**3/6 + 39*u**2 - 2*u. Let j be f(3). Is -28/27 less than j?
True
Let o = 37 - 47. Let k be 3/(12/o)*-4*1. Suppose 0 = -k*u + 1 + 9. Which is smaller: -50 or u?
-50
Let h = 608.17 + -607.6. Is h smaller than -9?
False
Suppose -2*z - 103 = -3*l, l - 41 = 102*z - 100*z. Which is greater: l or 80?
80
Let p = 61225 + -118769/2. Is p smaller than 3?
False
Let y(h) = -22*h**2 + 3*h - 13. Let m(c) = 21*c**2 - 2*c + 14. Let u(g) = 5*m(g) + 6*y(g). Let z be u(4). Let j = -2014/5 - z. Are 4 and j equal?
False
Suppose 5*x - 587 = -4*u, 293 = 2*u + 5*x - 2*x. Suppose 46 = u*i - 149*i. Which is smaller: -142/3 or i?
-142/3
Suppose 229*c - 63*c = 0. Is c > 2/2075?
False
Suppose 149 - 493 = 2*f. Let z be (5/(-20))/(1/f). Suppose 5*j + 3*s = 67, 2*s + z = 5*j - s. Is 8 != j?
True
Suppose 0*t = 11*t + 473. Let o = t + 48. Suppose o*f - 28 = 17. Which is bigger: f or 5?
f
Let v = 37.87 - 23.7. Let l = v - -2.83. Is l less than 1?
False
Suppose 1188 = 5*i + 3*q, 5*i + 2*q = 41 + 1151. Does 1913/8 = i?
False
Suppose 24*h - 23171 + 23195 = 0. Is 4/5881 <= h?
False
Suppose -4*i = k - 7, 3*i + 2*i - 2 = k. Suppose y - k*g = 15, 3*g + 6 = -y - y. Suppose -6 = -6*j + y*j. Is -1 not equal to j?
True
Let y be (236/177)/(0 + (-4)/(-3)). Which is bigger: y or -2/5235?
y
Let z be (-4)/18 + (-86)/18. Let a be 12/30*z/(-39). Suppose 8*i = 181 - 189. Which is smaller: i or a?
i
Let i be 5 + -5 + (1020/1016 - 1). Let q = -703 - -703.1. Are i and q equal?
False
Let o = 2416 + -2448. Is -255/8 at most as big as o?
False
Suppose -2*q = 5*a + 3801, -11*a + q - 5348 = -4*a. Is a at least as big as -747?
False
Suppose 14*q = 1807 + 6845. Let f = 457 - q. Which is bigger: -159 or f?
-159
Let t = -26 - -22. Let w be ((-6)/t)/((-33)/(-28)). Does w = 1?
False
Suppose -g = 5*n + 2 - 0, 2*n - 2*g = -8. Let p = 1906 - 1907. Is n >= p?
True
Let k(h) = h**3 + 7*h**2 + 5*h - 4. Let w be k(-6). Suppose -5*g = -v - 19, 4*g - 3*g - v - 7 = 0. Suppose 5*y + w*d - g = -4, -3*y + 4*d = -15. Does y = 1?
True
Suppose -30*u - 4 = -46*u + 204. Which is smaller: u or 12?
12
Let z(h) = h**3 - 2*h**2 - 4*h - 5. Let p be z(4). Suppose 0 = -5*u + 2*q - 9, -u + p = -6*u + 3*q. Let j be (-2)/(u - 3)*3/3. Are j and 1/3 equal?
False
Let a(y) = -y**3 - 32*y**2 + 117*y + 478. Let f be a(-35). Are -57 and f non-equal?
True
Suppose 5*d + 189 = 4. Let f(a) = 3 - 27 - 5*a - 58 + 6*a + 10*a. Let o be f(4). Is o less than d?
True
Let t = -110.85 - -110.75. Which is smaller: -0.5162 or t?
-0.5162
Let w = 96 - -6. Suppose -72 = 6*t + w. Let p be t/9 + (