 x?
3/37
Suppose 0 = -4*r + 21 - 45. Is -9/2 >= r?
True
Let c(j) = -j**3 + 15*j**2 - 2*j + 32. Let x be c(15). Let b be (x/(-12))/((-5)/20). Which is smaller: b or 56?
b
Let f(a) = -2*a**3 - 5*a**2 + 20*a - 51. Let w be f(4). Is w less than -179?
False
Let k(w) = 2 - w**3 - 44*w**2 + 46*w**2 + 4*w - 5. Let m be 7/3 + (-2)/(-3). Let x be k(m). Which is greater: 1/8 or x?
1/8
Let a be 538/(-2838) - 14/(-77). Let v = a + -233/3225. Is 0 less than v?
False
Let r(m) = -m**2 + 14*m - 27. Let p be r(11). Let o be (-350)/(-85) - p/51. Which is bigger: o or 7?
7
Let f = 1748 + -1749. Is 0.1581 smaller than f?
False
Let b = -59 + 27. Let k = b + 32.8. Which is greater: 3 or k?
3
Let l be (8/20 - 0)*(-55)/13101. Is l greater than or equal to -1?
True
Let j(r) = 3*r**2 + 39*r + 123. Let a be j(-3). Is 36 < a?
False
Let m(k) = -k**3 + k**2 - 3*k + 5. Let t be m(5). Which is smaller: t or -112?
-112
Let p be (-228)/8*(-210)/45. Is p <= 1?
False
Let q(h) = 2*h**3 - 21*h**2 + 13*h - 24. Let b be q(10). Let m be (-2)/(-4)*1*(32 + b). Let n = -47 - -66. Is m equal to n?
True
Suppose -19*t = -16*t - 3. Suppose z - 132 = -3*z. Let i be 84/z - 4/2. Is t equal to i?
False
Let n = -4.16 + -0.34. Let z = 4.3 + n. Let f(q) = 3*q - 10. Let d be f(4). Are z and d non-equal?
True
Let n = -1680.31 + 1680. Which is smaller: n or -2/13?
n
Let n(r) = 3*r - 36. Let y be n(13). Suppose -4*i - s - 6 = y, -5*i = 5*s + 30. Are i and -2/79 equal?
False
Let l = 14.6 - -82.4. Let o = 97.4 - l. Which is smaller: 10 or o?
o
Let m(g) = 2*g + 2. Let s be m(1). Suppose -5*x = s*r - 145, 3*r = 2*x - 21 - 14. Which is bigger: x or 24?
x
Let n be -3 + (-108)/(-9) + -13. Does -29/8 = n?
False
Let j = -114.752 - 0.248. Let m = j + 131. Which is smaller: m or -2/5?
-2/5
Let b = -3392/107177 - 2/1757. Which is smaller: 14 or b?
b
Suppose 40 + 42 = -2*k. Let y = k + 122/3. Is 3 greater than y?
True
Let v = 1865 - 1868. Let y(h) = -2*h**2 - 3 - 2*h**2 + h**3 - 2*h**3. Let s be y(-4). Is s > v?
False
Let a(p) = 7*p - 17. Let o(c) = 8*c - 18. Let b(y) = -7*a(y) + 6*o(y). Suppose 0 = 4*j + 8, -2*x + 7*x - 2*j - 44 = 0. Let t be b(x). Is t less than 0?
False
Let i(a) = -a**2 + 6*a + 18. Let v be i(15). Let f be -118 + 1 + 10 + -9. Is f greater than or equal to v?
True
Let g(q) = q. Let j(r) = -r**2 + 7*r. Let k(l) = 4*g(l) - j(l). Let u be k(3). Is u != -0.1?
True
Let x = 344 + -345. Are -1 and x nonequal?
False
Let k = 35 + -24. Suppose 25 = 6*z - k. Which is smaller: 7 or z?
z
Let b be (1/1 - 14)*-1. Let w(a) = 11*a - 1. Let m be w(-1). Let f = m + b. Do f and 1 have different values?
False
Suppose 2*a = 6*a - 2*z - 420, -z = 3*a - 315. Is a >= 105?
True
Let p = 29.8 - -0.2. Let j = -560 + 590. Let d = p - j. Is d less than -1?
False
Let t = 490592/237 + -2070. Is 0 != t?
True
Let x(c) = 4*c + 15. Let j be x(-10). Let u = j - -24. Let v be (-1 - 3)*(-2)/36. Which is bigger: u or v?
v
Suppose v - 7 = 34. Suppose -s = -5*s + 2*j - 6, v = -4*s - 5*j. Which is greater: -6 or s?
s
Let j = -52.43 + 0.43. Let n = j + 51. Is -0.5 at least n?
True
Let x be (-21)/14*47*-2. Is 139 >= x?
False
Let w be -1 + 3/4 - 10450/88. Which is smaller: -120 or w?
-120
Let u = -4.9 + 3.9. Let f = 1.11 + -0.11. Let l = f - 5. Is u equal to l?
False
Let g(l) = 9 + 1 + 7 - 4*l - l**2 + 0*l**2. Let x be g(-7). Let z be 3/(6/(-10)) - -1. Is z equal to x?
True
Let x be (3 - 0/(-8))*1*-1. Is -8 less than x?
True
Let k(w) = -w**2 + 8*w + 8. Suppose 5*n - 21 = -4*j, -3*j + n = 3*n - 21. Let v be k(j). Is v > 3?
False
Let j = -32 - -52. Suppose -5*h = -h - j, 519 = s + 4*h. Let b = -23951/48 + s. Is b < 0?
False
Let g = -14.08 - -14. Let b = -1.12 + g. Let t = -1 - b. Which is smaller: 0 or t?
0
Let q be 9/(-2)*126/27. Let j be (-2)/(-48)*q/28. Which is smaller: -1 or j?
-1
Let w = 6591/7 - 942. Is 10.2 > w?
True
Let g = 157 - 82. Let x be -80*((-55)/g + 3/9). Does x = 31?
False
Suppose 0 = 419*f - 413*f - 6. Which is bigger: 56 or f?
56
Let u = 3/35 + -16/7. Which is smaller: u or -3?
-3
Let l be -2 - 10 - (2 - 14). Let h be (-4)/(-21) - (-1)/(-3). Is l at most as big as h?
False
Let z(a) = a**3 - 14*a**2 + 3. Let u be z(14). Let p = -1 + u. Suppose -4*w = -p*w. Is 8 >= w?
True
Let u = -49 - -54. Let h = 15 + u. Which is smaller: 21 or h?
h
Let r be 10/(-4)*6/(-5). Let k be ((r - 2) + -1)/(-5). Which is smaller: k or 5?
k
Let s be 1 + -2 + 456/112. Let y = -4/7 + s. Which is smaller: 0.3 or y?
0.3
Let m = -57 - -15. Let w = 20 + m. Is -2 bigger than w?
True
Let b = -659/1927 - -21/41. Which is smaller: 0 or b?
0
Let c be (-5)/(-25) + 98/10. Suppose 2*m - r + 1 = -0, -2*m = 2*r + c. Suppose -q - 4 = -1. Which is bigger: q or m?
m
Suppose -h + 6 = 5. Let n be -2*(h + (-50)/16). Which is smaller: n or 5?
n
Let u = -359 - -388. Which is smaller: 35 or u?
u
Let c = -21 + 21. Suppose -3*v + v + 12 = c. Is v < 6?
False
Let z(s) = 3*s**3 + 4*s**2 + 11*s - 31. Let l be z(4). Which is smaller: l or 271?
l
Let f = 6 + 1. Let r = -5 - f. Let x = -12.3 - r. Which is greater: x or -0.1?
-0.1
Let k = -20 + 20. Let b be k*12/(-16)*4/(-6). Is -1/20 at least as big as b?
False
Let u(g) = -g**3 + 3*g**2 - 3. Suppose -4*h + 3*o + 3 = 0, 0 = -h - 0*h - 4*o + 15. Let l be u(h). Let y = 5 - 4. Which is bigger: l or y?
y
Suppose -2*v = -0*u - 4*u - 208, -4*u - 204 = -v. Suppose -214*z = -119*z + 4750. Is z less than u?
False
Let f(y) = 2*y + 31. Let c be f(-14). Suppose 0 = -3*q, -3*j + 0*q - 15 = -c*q. Does j = -6?
False
Let j = 29 - 19. Let p be 2 + 1 + (-158)/j. Let q = -62/5 - p. Which is smaller: -1 or q?
-1
Let k = 1.6 - 0.5. Let n = 2.53 + 8.57. Let m = k - n. Is -1 at least as big as m?
True
Let b = 35 - 20. Suppose 6*x - b = x. Suppose 4*c + 3*r = -1, -1 = 2*r - x. Do -3 and c have the same value?
False
Suppose -3*q - 2*q - 15 = 0. Let l = -0.012 + 23.012. Let f = -23 + l. Is q not equal to f?
True
Let f be ((-70)/(-28))/(10/72). Which is bigger: 77/4 or f?
77/4
Let v be 16/12*(285/(-42) + 7). Let i = -11 - -16. Which is smaller: v or i?
v
Let s be (-8)/28 - (-24)/(-28)*2. Suppose -j + 22 = -4*k, -2*k - 23 = -4*j + k. Let f be (-16)/6 + j/1. Is f not equal to s?
True
Let p be -1 + 2 + (-2)/(-2). Let i = 16 + -17. Let l be -3*5/(-20) - i. Which is bigger: p or l?
p
Let d = -2216 - -150691/68. Let u = d - 53/1972. Is 1 smaller than u?
False
Let c = -520 - -1310. Are c and 790 non-equal?
False
Let q(r) = r**3 - 23*r**2 - 49*r + 33. Let s be q(25). Suppose 0 = -l + 57 - s. Is l at least as big as 1/91?
False
Let w = 31 + -84. Let y = -37 - w. Is 5 less than y?
True
Suppose 5*a + 6*p - 408 = 4*p, p - 4 = 0. Let g = a - 1283/16. Do g and 0 have different values?
True
Suppose 3*z - 74 = -20. Let m be (-2)/11 - z/22. Is m less than -5/4?
False
Suppose -24 = 6*g - 36. Are g and 11 equal?
False
Let u(y) = -2*y + 9. Let k = 6 + -1. Suppose -37 = -3*i - k*m, -5*m + 25 = -0*m. Let s be u(i). Is s at most as big as -3?
False
Let a = -13.7 + 13.3. Which is greater: 22 or a?
22
Suppose -45 = 3*x + 2*v, -4*x - 9*v - 55 = -8*v. Let c be (-3 - (x - -6))*(-15)/(-4). Which is greater: 46/3 or c?
46/3
Suppose 3*u = 2*r + 1 + 6, -5*u - 3*r = -18. Suppose -3*g + 50 = 2*c + u*c, -5*g = -2*c - 104. Is -0.1 at most as big as g?
True
Let p = 144 - 71. Which is bigger: p or 77?
77
Suppose d = -2*n + 2, -5*d - 3 + 6 = 3*n. Suppose -q - 8 = -2*h - 2, -5*h = q - 22. Let l be q - ((-896)/114)/(-4). Do n and l have the same value?
False
Let g = -42/341 - 21451/5797. Is g less than or equal to -4?
False
Let g = -13.4 + 0.4. Which is smaller: g or -0.1?
g
Suppose -8*u - 292 = 1396. Is 0 at least as big as u?
True
Let v(f) be the third derivative of 0*f + 1/12*f**4 - 9*f**2 - 1/60*f**5 - 1/6*f**3 - 1/120*f**6 + 0. Let a be v(1). Which is smaller: -2/45 or a?
a
Let v be (3/(-3))/((-2)/6). Let l(j) = -j**2 - j + 2. Let g be l(1). Suppose 4*a - 18 + 2 = g. Which is greater: a or v?
a
Let p be (-2)/4*(3 + -5). Let u be 57/48*(p - -1). Is u > 1?
True
Let p = -0.226 + 10.226. Do -1/14 and p have different values?
True
Let u = -1.923 + 17.303. Let g = -0.38 + u. Let o = -15.1 + g. Which is greater: o or 10?
10
Let d = -2019 - -1947. Which is smaller: d or -3/5?
d
Let b = -1475/28712 + 3/296. Which is greater: b or 0?
0
Let o = 229 + -145. Is -1/3 equal to o?
False
Let f = -310 - -282.