 or 84?
l
Let h(n) = -n**3 - n**2 + 4*n + 4. Let x be h(-2). Let l(s) = s + 5. Let t be l(x). Suppose -4*c + 1 = -d, 2*d - t = -3*c + 4. Which is smaller: c or 0?
0
Let h = -1057 + 1080. Let w = -0.5 - -2.5. Which is smaller: h or w?
w
Let m(n) = -n**2 + 8*n + 13. Let f be m(9). Let w(q) = -f + 2*q - q + 0*q. Let x be w(6). Are x and 3 equal?
False
Let l = 1132 - 1133. Is l >= 0.444?
False
Let v = 71.9 - 72. Which is smaller: v or 1/6?
v
Let y = 74.8 - 67.8. Which is bigger: y or -7?
y
Suppose -3*o - 7*o = -2090. Is o at most as big as 209?
True
Let o(j) = -4*j**2 - 9*j - 10. Let g(h) = 3*h**2 + 9*h + 9. Let b(n) = -5*g(n) - 4*o(n). Let r be b(9). Let z be 9/(-15) - (-12)/(-5). Which is smaller: r or z?
r
Suppose 14*y - 414 = -4*y. Is 24 less than y?
False
Suppose -3*j - 6*x - 48 = -7*x, 0 = -5*j + 4*x - 80. Let w be (-2)/9 - j/(-90). Are 1 and w nonequal?
True
Let g be 1/((-1)/(-3)) + -2. Let t = -19/11 - -885/506. Which is smaller: t or g?
t
Let p be 3/(-8)*(-30)/9. Let x be (12/60 + 2/(-10))/1. Which is bigger: x or p?
p
Let a(h) = 4*h - 1. Let p be a(-1). Let w(f) = -4*f**3 - 3*f**3 - 6 + 8*f**3 - f + f**2. Let x be w(0). Which is greater: x or p?
p
Let o(a) = 2*a**3 + 41*a**2 + 22*a + 41. Let x be o(-20). Is -2/19 at least x?
False
Let i = 34 + -34.3. Let m = -1.8 - 2.2. Do m and i have the same value?
False
Let a = -79 + 140. Let c = a - 63. Which is smaller: c or -40?
-40
Let x be 2/6*(26 + -20). Let g = 7 - 3. Let f = g + -3. Is x < f?
False
Let k = 4 - 2. Suppose k*w = 3*m - w + 9, 5*m = -w + 15. Suppose -f - 3*h + 5 = 0, -f + m = 2*h - 3. Which is bigger: 7 or f?
7
Let a = -7 - 19. Let f = 1928 - 1952. Which is bigger: a or f?
f
Let k = -111.95 + 112. Is -7/3 <= k?
True
Let p be 3 - 3/(6/4). Let d = 42 - 71. Let k = -552/19 - d. Which is smaller: k or p?
k
Let u = -1594.7 - -1468. Let o = u - -127. Is o at least 24?
False
Let o be (-275)/18 - 2/9. Let c(a) = -a**3 + 33*a**2 - 61*a - 47. Let n be c(31). Are o and n unequal?
True
Let x be (-2414)/4*(-11 + 5 + 8). Is -1206 >= x?
True
Suppose -2*f - 5 = 6*w - 5*w, 3*w = -3*f - 12. Which is smaller: f or -1/118?
f
Let t = -76.2 - -106.2. Do t and -18 have different values?
True
Let t = -0.928 + -0.242. Let f = t - -1.1. Let i = f - -0.27. Which is smaller: 8 or i?
i
Let v(m) = m**2 - 4*m + 3. Let d be v(3). Let t = 2079304 + -3025387447/1455. Let j = t + 2/97. Is d > j?
True
Let z = 2477/4635 + -1/927. Let x = 109/750 - 3/250. Let j = x + z. Which is smaller: j or -0.5?
-0.5
Let d be -3 + (-9)/(-6)*4. Suppose -s + 1 = -5*u, d*u - 1 - 3 = -4*s. Which is smaller: u or -1?
-1
Suppose -6*b = 5*s - 3*b + 32, 5*s + 5*b + 40 = 0. Which is smaller: 12 or s?
s
Let j(g) = -2*g + 38. Let x be j(19). Which is greater: x or -9/8?
x
Let w be 6/(-2) - ((-276)/(-2))/3. Let v = -50 - w. Is v at least -1/17?
False
Let g = 8/41 + -268/533. Let k be (2/(-6))/(5/60). Let n be k - ((3 - 1) + -7). Is g <= n?
True
Let d(r) = -10*r - 28. Let l(m) = m - 1. Let o(z) = d(z) + l(z). Let j be o(-7). Is j not equal to 34?
False
Let d be ((-15)/(-3))/((-6)/(-6)). Let n be 2/d - 74/10. Which is greater: -6 or n?
-6
Let q = 488 - 1393. Do q and -906 have the same value?
False
Let s = -190 - -190. Let j = 16/19 + -595/684. Which is bigger: j or s?
s
Let t = -2 - -4.7. Let n = t + -2.89. Let a = 0.81 - n. Which is smaller: 14 or a?
a
Suppose 3*b + 0*b - 12 = 0. Suppose b*z = -1 + 5. Let u(s) = 26*s - 312. Let x be u(12). Which is bigger: x or z?
z
Let m = 0.7 + 3.3. Let l = m + -5. Let u = 0.006 - -0.094. Is l smaller than u?
True
Let q = -1709.8 + 1710. Which is smaller: 157/3 or q?
q
Let c(z) = 0*z - 7*z - 7 + 2*z + 2*z. Let q be c(-3). Let m = 31/16 - q. Which is bigger: m or -1?
m
Suppose 3*m = -0 + 9. Let n = m - 8. Let y = -130 + 128. Is y greater than n?
True
Let g = 38 - 18. Let t(m) = -2*m**3 - 3*m**2 + 5*m + 6. Let a be t(-2). Suppose a = -5*x + 5*o + 100, 5*o + 97 = 5*x + 3*o. Is x != g?
True
Suppose 3*m - 10 - 23 = 0. Let p(w) = w**3 + w**2 + 2*w - 3. Let y be p(0). Let v(g) = -g**3 - 2*g**2 - 2*g - 3. Let j be v(y). Which is smaller: m or j?
m
Let j be (-4 - (1 + 0)) + 57 + 2. Which is smaller: 58 or j?
j
Suppose -15 = -5*d, d = 3*i + 5 + 1. Let f(g) = g**2 - 12*g - 10. Let k be f(13). Suppose -h = -2*t + 3, k*t - 4*h + 2*h - 6 = 0. Which is greater: t or i?
t
Let x = -1963.1 + 1963. Which is bigger: 1292 or x?
1292
Let y(l) = -l**3 - 10*l**2 - 9*l - 3. Let d be y(-9). Let c be ((-13)/(-39))/(2/(-3)). Do d and c have the same value?
False
Let f be 1/(-2) + 9/2. Suppose 43 - 7 = 4*d. Suppose -f*g + 5 = -d*g. Does g = -1?
True
Let j be ((-207)/(-12))/((-507)/(-24) + -5). Is j < 0?
False
Suppose -9*a + 170 = -73. Is 27 less than a?
False
Let v be 2 + 19/(-4) - 4. Let w = 37/4 + v. Which is greater: w or 3?
3
Suppose -5*h - 7 - 33 = 0. Let i(k) = -k**2 + 17*k + 1. Let t be i(19). Let z = t + 35. Is z < h?
False
Let a(h) = -h**3 - 5*h**2 - 2*h - 10. Suppose -2*c - 13 = i + 2*i, -3*c = 5*i + 20. Let j be a(c). Is j greater than -4/49?
True
Suppose 4*p + 3*u = -97, 0 = -4*u + 3 + 1. Let y = p + 17. Which is smaller: -27/4 or y?
y
Let w = -113048/801 + 1270/9. Suppose 0 = -3*y + 29 - 32. Which is greater: w or y?
w
Suppose q + 0*q = -6. Suppose -22 = -17*k + 12. Suppose 4*t - k*c = -14, -4*c - 38 = -t + 4*t. Is t <= q?
True
Let c = -45/2 - -769/34. Suppose -y + 9 = 7. Let v(a) = a - 1. Let d be v(y). Which is bigger: c or d?
d
Suppose -3*n = -2*n - 3*i + 6283, -i = 2*n + 12594. Let r = n - -2108823/335. Is r greater than 0?
False
Let c(d) = d**2 + 4*d - 3. Let r be c(-5). Let a = 2/10895 + 32447/1296505. Let k = a - -461/595. Which is smaller: k or r?
k
Suppose -4*c - 27 = u + c, 0 = -2*u - c - 18. Let r be 153/4 - 8/32. Let b = 30 - r. Is b >= u?
False
Let o = -427 + 291. Let c = 1226/9 + o. Which is greater: -4/7 or c?
c
Let j = 528 + -529. Let o = -64 - -18. Is j < o?
False
Let m be ((-2)/6)/(2/(-18)). Let t(h) = 7*h**3 - 4*h**2 - 2*h - 13. Let k(v) = 6*v**3 - 4*v**2 - v - 12. Let l(s) = -6*k(s) + 5*t(s). Let j be l(m). Is j <= 3?
False
Suppose 0 = -y - 777 + 786. Do y and 15 have different values?
True
Let l = -309 + 331. Is 28 less than l?
False
Let d(p) = -7*p - 15. Let h(k) = -k. Let t(v) = d(v) - 6*h(v). Let q be t(-7). Suppose 117*w - 38*w = -711. Which is greater: q or w?
q
Let h = 13.241 + 32.74. Let x = h - 46. Is x >= 0?
False
Suppose 3*o - 12 = -4*i, 5*i = i - 4*o + 16. Suppose y - s = -10, 0 = -y - i*y + 4*s - 4. Let b be y/20 + (-174)/(-315). Which is bigger: 1 or b?
1
Let t = 210 - 202. Is t at most as big as 35/4?
True
Let w = -2727738/223 + 12232. Suppose n + 4 = 3. Is n != w?
True
Suppose 0 = -4*d + 2*d + 292. Let q = d + -162. Which is smaller: -9 or q?
q
Let z = 1022076/83 + -12314. Which is smaller: -1 or z?
-1
Let v be 12129/120 - (-2)/(-10). Let y = -101 + v. Let w = 0 + 1. Are w and y non-equal?
True
Suppose -6*a - 3 = -3. Suppose -3*k + 3*v = a, -4*k - v + 3*v = 0. Is k greater than -1?
True
Let j(b) = 6*b + 192. Let t be j(-32). Which is smaller: t or -2/309?
-2/309
Let o be 6/(-4) - (-7)/(-2). Let n be (2/(-8))/(2 + (-605)/308). Is n equal to o?
False
Let x(l) = -l**3 - 5*l**2 - 4*l. Let j be x(-3). Let o be (70/75)/(4/j). Is o > 0?
False
Let m(u) = 3*u - 7. Let t be m(1). Which is greater: t or 2/15?
2/15
Let g(k) = k + 158. Let n be g(-9). Which is bigger: n or 150?
150
Let i = 28 - 28. Suppose z - 4*b + 3*b = i, 4*z + 2*b = 0. Which is bigger: -1 or z?
z
Let l be (9/(-6))/(10/60). Let h(x) = -7*x - 9. Let c be h(l). Is 54 at least as big as c?
True
Let j(p) = p**2 + 13*p + 4. Let g be j(-13). Suppose g*x - 4*c + 14 = -6*c, x - 10 = 4*c. Let u = 2 - 1. Are x and u equal?
False
Suppose 625 = -2*k - 385. Let d = k - -2566/5. Is d > 7?
True
Let t(k) = -5 + 2*k - 8 - 3 + 10. Let f be t(3). Suppose f = -3*a + 6*a + 6. Which is smaller: a or -6?
-6
Let c be 4/(60/5) + 18/27. Which is greater: c or -67?
c
Let r(n) = -668*n + 7. Let y be r(5). Let d be -1 + (-3 - y/(-21)). Let l = -163 - d. Are l and 0.1 non-equal?
True
Let o = -61 + 61.24. Let y = -16.24 + o. Which is bigger: y or 2?
2
Let i = 112.885 - -0.115. Let u = -179 + i. Which is bigger: -1 or u?
-1
Suppose -32 = n + 3*n. Let k be 2/n + 51/12. Let u be k/18*(-4 - 2). Which is greater: -2 or u?
u
Let s be ((-18)/(-6))/((-3)/(-11)). W