z**3 + 8*z**2 + 10*z + 14. Let l be q(-7). Let c be -28 - (-4 - (l - -3)). Which is smaller: c or -29?
-29
Suppose 6*z + 0*z + 54 = 0. Let j be 14/35 - z/15. Which is greater: j or -4/29?
j
Let w(s) = -s**2 + 7*s - 9. Let h be w(4). Let t be (-2)/((-44)/(-86)) + h. Let l be (-5)/(5/(-2)) + -3. Which is smaller: l or t?
l
Let m = 0.37 - 0.27. Does 92 = m?
False
Let o = 159.04 + -159. Let c be ((-2)/(-6))/(35/(-42)). Is c >= o?
False
Let b = -2 + 2. Let a = 10 + -4. Suppose -2*g - g = -4*q - a, 0 = 4*q - g + 2. Is b at least as big as q?
True
Let d(m) = -84*m + 672. Let t be d(8). Is 1/655 at least t?
True
Let o = 15 + -18. Let z(h) = h**3 + 7*h**2 + 6*h. Let p(l) = -l**3 - 4*l**2 + 5*l - 6. Let g be p(-5). Let t be z(g). Is t != o?
True
Let f(z) = 6*z**2 - 13*z + 7. Let v(t) = 5*t**2 - 14*t + 6. Let a(r) = 3*f(r) - 2*v(r). Let n be a(4). Which is greater: n or 94?
94
Let w = 2 - 11. Let n = -2 - w. Let o = n - 8. Which is smaller: -4/9 or o?
o
Let l = -121 - -237. Are l and 116 equal?
True
Suppose -926 = 8*c - 918. Is c <= -2/1487?
True
Suppose -v + 4*v - 3*a + 21 = 0, 3*v + 9 = -3*a. Let w(t) be the second derivative of -t**3/2 - t**2/2 - 4*t. Let l be w(1). Is l smaller than v?
False
Let f = -2531/2 - -1268. Let w be ((-1)/3)/((-2)/24). Is w < f?
False
Let h(f) = 7*f**2 - 10*f - 12. Let m(c) = -8*c**2 + 10*c + 13. Let z(x) = -7*h(x) - 6*m(x). Let v be z(11). Which is smaller: -3 or v?
v
Let l = -27 + 15. Let d = -13.88 - -0.88. Let f = d - l. Which is greater: f or 1/3?
1/3
Let z(k) = 65*k - 15. Let l be z(8). Is l > 505?
False
Let y = -0.059 - 9.741. Let j = -0.2 - -10.2. Let t = y + j. Which is bigger: t or -2?
t
Let y be (1/(-1)*-1)/(-2). Let w = 0.1192 - -0.0508. Is y smaller than w?
True
Let t(o) = -8*o**3 - 3*o**2 - 7*o + 33. Let b be t(4). Is b at most as big as -558?
False
Suppose 3*d - 18 = -15*d. Which is smaller: d or -2/31?
-2/31
Let u = 9.8 + -11. Let l = 372 + -372.9. Let p = l - u. Which is smaller: p or 0?
0
Let m = -1/1329 + 14767/443. Is m at least 33?
True
Let j be (-6)/(((-12)/(-120))/((-8)/(-300))). Is j bigger than -1?
False
Let j = -70.2 - -62.2. Which is smaller: j or 0.008?
j
Let v = 79 + -76. Let x = v - 5. Which is bigger: -1 or x?
-1
Suppose -12 = 4*m, -6*v + 3*v - 3*m = 21. Let p(u) = u**2 - 2*u - 51. Let d be p(8). Which is smaller: d or v?
v
Suppose 2*w - 5*c = 9, -w + 2 = -3*c - 3. Is 23/10 bigger than w?
True
Suppose 0 = -r + 2*t - 33, -4*r + r = -3*t + 90. Let m = 42 + r. Suppose 0*b = -5*b + m. Is b not equal to 3?
False
Let o = -19/33 + 2593/4389. Let p(i) = -i**3 + 4*i**2 + 22*i + 2. Let d be p(-3). Which is smaller: d or o?
d
Let g = 8 + -21. Let k = 385 + -372.3. Let p = k + g. Which is smaller: 0.2 or p?
p
Let o = 0.042 + -0.206. Let g = -0.136 + o. Which is smaller: g or -1.4?
-1.4
Let p = -298 + 2680/9. Does p = 127?
False
Let r = -1/280 + 1147/7560. Which is greater: r or 1?
1
Let n = 29 - 29.1. Let z = -10.6 - -10.33. Which is greater: z or n?
n
Let k be 50/4*(-182)/1729. Which is greater: k or 0?
0
Let t(d) = -d**3 - 2*d + 5. Let c be t(0). Suppose 0 = c*q - 7*q + 8. Let m be (-15)/(-9) + (-2)/(-6). Which is greater: m or q?
q
Let h = -19807/3 + 6513. Is -89 > h?
True
Let b be 13 + -22 - -7 - (0 - 1). Which is greater: -0.94 or b?
-0.94
Let a be 3/2*(-100)/(-45). Suppose 4*p - 10 = -p. Suppose p*x - 4 = 2. Is a at most x?
False
Suppose 3*f - 152 + 673 = -5*l, -3*l = -f + 307. Suppose 5*r = 119 - 634. Is r > l?
False
Let k = -75/11 + 7. Let r = -19/77 - k. Are -0.1 and r equal?
False
Let q be 0 + (0 - (-8)/4). Let t be q/4*2*2. Suppose -47 = -3*u + 6*y - t*y, 0 = 2*y + 10. Which is smaller: u or 10?
u
Let n be 0 + (7 - (-2 - 2)). Suppose 0 = 10*h - n*h. Which is greater: h or -2?
h
Let x = -44 + 44. Suppose -3*t + c = -2188, 2*c - 61 = -5*t + 3593. Let v = -19712/27 + t. Which is greater: v or x?
x
Let i = 2573 - 2600. Is i <= -1/5?
True
Suppose -238 = 7*f - 21*f. Is 79/5 at least f?
False
Suppose -360 = -35*y + 59*y. Is y >= -20?
True
Let k(n) = n**3 - 27*n**2 - 30*n - 8. Let c be k(28). Are -125/2 and c unequal?
True
Let f(o) = -96*o + 159. Let s be f(-2). Is s >= 351?
True
Let s be ((-344)/(-84) - 4)*(-6)/588. Is 0 >= s?
True
Let z be (2 - 1 - -1)/(32/4368). Suppose 0 = 5*c - 8*c - z. Do -91 and c have different values?
False
Let z(g) = -5*g**3 + 3*g**2 - 2*g - 3. Let v be z(-1). Let r = 10 + -4. Suppose 6*b - v*b + r = 0. Is b greater than 16/3?
True
Let x = -1.3 - -15.3. Let o = -19 + x. Let m = -5 - o. Which is greater: m or 1/2?
1/2
Suppose 2*d = 8, -2*d + 10 = -2*j + 12. Let n = -8/1017 - -39719/7119. Which is smaller: j or n?
j
Let c be (54/1278)/((-6)/(-18)). Is c at least 1/3?
False
Suppose 4*v - 13 = -37. Let z(c) = -11*c - 2. Let b be z(-2). Suppose -3*d - b = d - 4*q, 25 = -5*d + 2*q. Is d at most v?
False
Let t = 494 + -390. Which is greater: t or 105?
105
Suppose -3*s - f = -10, 0 = f - 0*f - 4. Suppose 0 = -s*h + 14*h - 492. Does h = 41?
True
Let c be -4*2/6*-3. Suppose 2*y = c*y. Suppose y = -4*l - 4. Is l bigger than -2/25?
False
Let f = 0.05 - 0.25. Suppose 0*r + 3*q - 5 = r, 5*q + 15 = 5*r. Is f less than or equal to r?
True
Let p(n) = 22*n + 307. Let a be p(-14). Which is bigger: a or 2/1197?
2/1197
Suppose 3*k + 5*h - 2 = 0, -3*h + 3 + 3 = k. Let x = -30 + 29. Is x greater than k?
True
Suppose 22*h = 18 + 114. Is h != -2?
True
Let k be -2 + (2439/276 - -1). Let o = k - 31/4. Let n(s) = 3*s**2 + 13*s + 11. Let l be n(-1). Which is bigger: o or l?
l
Suppose -3*u - u = 48. Suppose -n + 5*a + 8 = 0, 2*a = -5*n + 5*a - 26. Do u and n have the same value?
False
Suppose -j - 24 = -3*j. Let k = -12 + j. Let y be (-6)/(-4) - 2/(-4). Which is smaller: y or k?
k
Let k = 0.246 + 1.754. Which is smaller: 0 or k?
0
Let o be (3 - (2 - 0))/1. Let t(w) = -w**2 - 31*w + 99. Let r be t(-34). Which is greater: r or o?
o
Let x = 1842 + -2299. Is -457 equal to x?
True
Suppose 2*n + 2*m - 6*m + 2 = 0, -5*n = 4*m - 51. Suppose -23 = -n*k - 156. Is -19 <= k?
True
Let c(v) = v**3 + 5*v**2 + 9*v + 2. Let t be c(-4). Is t < 2?
True
Let u(z) = z**2 + 2*z - 2. Let j be u(3). Let i be 685/45 - (-2 + (-20)/(-9)). Is j <= i?
True
Let a = -1.65 - -0.65. Let s = -0.4 - -0.45. Which is bigger: s or a?
s
Let d(v) = -v**3 + 7*v**2 + 7*v - 10. Let h be d(8). Let r(w) = -w + 27. Let o be r(-6). Let c = o + h. Is c at most 16?
True
Suppose 2*r = 3*o - 4, 0 = r + 6 - 4. Suppose o = -0*w - w - 4*f + 28, -w - 2*f = -20. Which is bigger: w or 9?
w
Suppose 2*j - 5*j - 129 = 4*g, -j = g + 31. Let w be (-2)/(-8) + 13/g. Let u = -101 + 102. Which is smaller: w or u?
w
Suppose 2*u = 7*u - t + 196, -120 = 3*u - 3*t. Let x = -40 - u. Which is bigger: x or 2/53?
2/53
Let u = -0.174 + -0.126. Is u smaller than 1.1?
True
Let w(z) = -96*z**2 + 3*z + 3. Let v be w(-2). Let d = -102876 + 1127376/11. Let p = v - d. Which is smaller: p or 0?
0
Let f be -1*1 + (12312/9)/9. Is f != 151?
False
Let q = 36269/16 + -2269. Are q and -3 equal?
False
Let b(q) = 2*q**3 + 7*q**2 - 11*q + 6. Let m(c) = c**3 + 4*c**2 - 6*c + 3. Let i(y) = -6*b(y) + 11*m(y). Let u be i(3). Are u and -12 unequal?
False
Suppose -h = 2*h + 4*b - 1571, -4*h = 3*b - 2097. Suppose 15*d - h = 20*d. Which is smaller: d or -1?
d
Let h(z) = z**3 - 7*z**2 - 10*z + 16. Let k be h(8). Let q(f) = -f**2 - 9*f. Let g be q(-8). Let r be 3/g*(-32)/120. Which is smaller: k or r?
r
Suppose -y = -g + 3, g + 0*y - 2*y = 7. Let i = -1573 + 103817/66. Is i at least g?
True
Let k be 2/6 + (-29)/6. Let x be (6/(-45))/((-167)/(-5010)). Is x at least as big as k?
True
Let w be (2 + 0)*((-243)/18)/(-9). Let k be 13*13*2/(-84). Let m = -5/14 - k. Which is smaller: m or w?
w
Let h(l) = 14*l**3 - 2*l**2 + 1. Let u be h(-1). Let t = 13 + u. Let j be t - 2/(-6) - -2. Which is greater: -2/3 or j?
j
Let h be (-4)/22 + 392/(-22). Suppose 16 = -2*n - 2*y - 22, 49 = -3*n + 5*y. Is n at least h?
True
Let y(k) = -k**3 + 6*k**2 - 7*k + 10. Let g be y(5). Let s(h) = 8*h - 5. Let t be s(6). Let f = 646/15 - t. Which is smaller: g or f?
g
Let z = 1060 + -1479. Is -418 at most as big as z?
False
Let o(w) = 2*w**2 + 15*w - 7. Let r be o(-8). Is 1/26 smaller than r?
True
Let m be (-3)/(-3)*7/1582. Is m at most 0?
False
Suppose 3 = -3*g - 9. Let o be (-4 - 0)*7/g. Is 1/4 at most o?
True
Let j = -409 + 409.33.