 b(s) = -s**3 - 6*s**2 + 5*s - 9. Let p be b(-7). Let u be 3*p/(-10)*48/(-9). Do u and 7 have the same value?
False
Let u = 70 - 16. Suppose -53*c = -u*c - 8. Which is bigger: -11 or c?
c
Let t be (-2)/6 + (-66)/(-9). Suppose -3*n - 1 = 5*p - t, -n - p + 2 = 0. Let j be n/(-8)*2 + 0. Which is greater: -2 or j?
j
Let s = -0.403 - 0.097. Which is smaller: s or 16?
s
Let f(n) = -n**3 - 6*n**2 - 3*n - 6. Suppose -5 = -2*g + 3*g. Let j be f(g). Let v be j/72 + 20/9. Which is bigger: 1 or v?
v
Let g = -20 + 29. Let d = 37/4 - g. Which is greater: d or 0.06?
d
Suppose q + 16 = -15*q. Which is smaller: q or -2/443?
q
Let q = 156 - 147.5. Is -2 at least as big as q?
False
Let l = -21 + 37. Suppose 2*i + 2*i - l = 0. Is i at least as big as 10/3?
True
Let s = 87.1 + -87. Which is greater: s or 280?
280
Let i = 999/7 + -143. Let f(x) = x**2 - x. Let t be f(2). Suppose t*r + 6 = 0, -b + 2 + 2 = -r. Which is bigger: b or i?
b
Let y(r) = 8*r. Let x be y(4). Let c = x - 24. Let v be -4 + c + (-3)/1. Is v smaller than -2/9?
False
Let w be (-5 + 4 + 82)/((-2)/6). Which is smaller: w or 1?
w
Let p = 113 + -112.97. Is p > -13?
True
Let y = 33.37 - 22.97. Is -3 greater than y?
False
Let a be ((-18456)/15)/(-8) + 9. Let x = 2675385587/6540 - 4907011/12. Let z = a - x. Which is smaller: 0.1 or z?
z
Let v be 1 + (-1 - -2) + 0. Let l be (1 + (-4)/10)*(-90)/(-72). Which is greater: l or v?
v
Suppose -3*k + o = 48, 9*k - 12*k + 3*o = 54. Which is smaller: 14 or k?
k
Let b be 1 + ((-6)/8 - 106/(-56)). Which is greater: b or 3?
3
Suppose -2*v - 2308 = -6*v - 4*u, 2*v - 2*u = 1162. Let c = 1191/2 - v. Does c = 18?
False
Let h be (4 - 3)*(2 - 12/3). Which is greater: h or -4/7?
-4/7
Suppose 74 = -a - 5*d, 0 = a + a + 4*d + 160. Let x be ((-3)/(-20))/(3/a). Which is bigger: -1 or x?
-1
Suppose 5*c + 4*n = 488, -9*c + 6*c + 3*n = -309. Let m = c + -95. Is 6 at most m?
False
Let x = -9 + 7.5. Let a = x + 1.59. Let q = a + -0.12. Is q at most 2?
True
Let i be 3 + -8 + (-2 - -6). Let d = 14 - i. Let l be ((-9)/(-765))/((-6)/d). Are l and -1 nonequal?
True
Suppose -13*q + 36 = -q. Let x be (1/q)/((-78)/90 + 1). Let m = -7 - -10. Which is bigger: x or m?
m
Suppose 12*y - 3*y - 108 = 0. Let x(i) = 16 + 4*i - 4 - i**3 + 12*i**2 - 5*i. Let g be x(y). Is 0 smaller than g?
False
Let v be (-2)/(-8) - 6/(-8). Let i be 5 + (-6)/(-252)*-206. Which is greater: v or i?
v
Let i(m) = m**2 + 16*m + 29. Let s be i(-14). Which is greater: 2/239 or s?
s
Let s = 58.58 + -59. Let i = s + -0.58. Which is smaller: -0.4 or i?
i
Suppose 3*a - 3*y = -12, -13 - 4 = 5*a - 4*y. Let p = 2841/98210 - 1/2806. Is a at least as big as p?
False
Let o be (45/(-30))/((-6)/20 - 0). Suppose 3*s + 4*k + 82 = 0, 5*s = -o*k - 167 + 22. Are -34 and s non-equal?
False
Let r(s) = 4*s - 4*s - 1 + 3*s**2 + 6*s. Let d be r(-4). Which is greater: 22 or d?
d
Let h be (-6)/(12 - (-1876)/(-154)). Which is greater: h or 273/8?
273/8
Let z = -1 + -23. Let t(s) = -5*s + 17. Let f be t(8). Is f >= z?
True
Let u = 6509/22 - 296. Which is bigger: 1 or u?
1
Let w = 62 + -33. Let u = w - 36. Does u = -0.1?
False
Let q be 164/(-1435)*7/114. Which is greater: q or -1?
q
Let i(x) = 2*x**3 - 9*x**2 - 3*x - 7. Let a be i(5). Let c(q) = -q**3 + q**2 + 6*q - 2. Let l be c(a). Is -12/19 at most as big as l?
False
Let f be (-1)/(15/6 - 2). Let z be 0/(f/(-2)*2). Let x = 183/7 - 26. Is x greater than z?
True
Suppose -9*l + 5*l = -20. Suppose l*p + 54 = -16. Let o = 1/413 + -10327/826. Are p and o nonequal?
True
Let i(x) = -44*x**3 - x - 1. Let s be i(-1). Suppose 9*f - 36 = -0*f. Suppose -4*l - s = -4*u - 4, f*u - 38 = 2*l. Is u smaller than 11?
True
Suppose 4*v - 664 = 2*w, 0 = -3*v + 4*w - 2*w + 496. Is v greater than or equal to 168?
True
Let w = -6.23 - -5.23. Let r = 4 + 1. Suppose r*f - 2*f = 69. Which is greater: w or f?
f
Let s(x) = x**3 - x**2 + x - 1. Let y(h) = 3*h**3 - 8*h**2 + 5*h + 7. Let l(p) = 2*s(p) - y(p). Let r be l(5). Let w = 67 - 403/6. Which is greater: r or w?
r
Suppose 6*k = 11*k + 4*j + 15, -2*j - 14 = -4*k. Which is greater: k or 4/5?
k
Let m = 2 + -1. Suppose -3*w = 5*j - 2*j + 6, w = -4*j - 14. Suppose -w*b = 7 + 3. Which is smaller: m or b?
b
Let h be 2*2 - (-1 + 7 - 7). Suppose -q - h*v = -34, 0 = q - 4*v - 28 - 24. Is 44 at least as big as q?
True
Let a = 973 - 1283. Is -309 at least as big as a?
True
Let v be 7/(98/(-3))*(-4)/45. Is v less than 1?
True
Suppose 0 = 4*b + 2*s - 54, -4*b = -0*s - s - 63. Which is bigger: 10 or b?
b
Suppose -4*t + 73 = -2007. Which is bigger: t or 518?
t
Let u = 87 + -86. Let o = 4 - 7. Is u smaller than o?
False
Let b = -0.942 - 0.058. Which is greater: b or -87?
b
Let a be 3/(-12) - (-2259)/(-12). Which is greater: a or -190?
a
Let t(m) = -m**2 + 13*m - 12. Let x be t(12). Which is smaller: 1/1583 or x?
x
Let t = 1592 - 1661. Is -72 at most as big as t?
True
Let s = 0 + -11. Let h = s + 11.1. Is 19 at most h?
False
Let i be 32/(-6) - (8 - 14). Is i >= -2/179?
True
Let k = -996 - -967. Is k less than or equal to -31?
False
Suppose -54*c + 1328 = -70*c. Is c at least -83?
True
Let x(m) = -103*m - 32. Let o be x(-2). Which is smaller: o or 175?
o
Let o = 2523 + -2526. Is -3 < o?
False
Let m = -4.555 - -0.055. Let w = m - -9.5. Are 0 and w nonequal?
True
Let z be 2*(22/(-4) + -1). Let b = z - -14. Do b and 12 have different values?
True
Let b(n) = n**2 - n - 1. Let g(t) = 10*t + 2. Let q(y) = -b(y) + g(y). Let l be q(12). Let o = -10 - l. Which is smaller: -3/2 or o?
-3/2
Suppose -b + 0*b + 9 = -n, b - 4*n = 24. Let c be (0 + -12)*8/(-12). Suppose -12 = -2*y - 5*d, 4*y + 3*d - b = -c. Which is bigger: y or -2?
-2
Suppose -5*n + 2*g + 12 = 6*g, 0 = g - 3. Let r be (n/17)/((-1)/(-1)). Which is smaller: r or -27?
-27
Let r(v) = -30*v + 612. Let z be r(11). Which is greater: z or 283?
283
Let m be (-12)/(-2)*(-2)/(-4). Let x be 10/4 + (m - 5). Which is smaller: x or 11?
x
Let o = -31 - -58. Let j = o - 26.96. Is -1/4 equal to j?
False
Suppose 0*c + 4*c - 496 = 5*y, 4*c + y = 496. Which is greater: c or 123?
c
Suppose -4*r = -r - 6. Suppose 0 = -n - a - r, -5*n - a + 3*a - 10 = 0. Let m = -121/87 + -8/29. Is n at least m?
False
Let v = 216 - 231. Suppose -2*u + 19 = -9. Let d = v + u. Which is greater: d or 0.1?
0.1
Let w = 0.259 + 0.741. Is w >= 22?
False
Let x(i) = -i**2 + 2*i + 25. Let u be x(6). Is 30/17 > u?
True
Let t = 587.4 + -586. Is 15 equal to t?
False
Let n = 108 - 135. Is n equal to 0.5?
False
Let a be (-15)/(-10) - 41/(-2). Which is greater: 29 or a?
29
Let m be -10 + 9 + 0 + 10/6. Suppose 0 = 3*i - 3*s + 7 + 2, 0 = 4*s - 16. Is i > m?
True
Let r = 41232857/184735 + -1/36947. Let y = r + -224. Which is smaller: y or -1?
-1
Let u be (22 - 22) + 0/2. Suppose u*x - 7*x - 35 = 0. Which is bigger: x or -8?
x
Let t = -0.018 - 0.282. Is t greater than -7/5?
True
Let t(q) = -3*q**2 + 3*q**2 + 5*q**2 - 3*q**2 - 5. Let k be t(3). Suppose 0 = -3*z + 4*c - 5, 2*z = 7*z + 4*c - k. Which is smaller: z or 0.01?
0.01
Let s = -10.82 + 11.8. Let t = 0.62 + s. Is t greater than 1?
True
Let w(a) = a**3 - 9*a**2 - 6*a + 108. Let s be w(8). Which is smaller: s or 43?
s
Let l = -701 - -3506/5. Which is smaller: l or 0.07?
0.07
Let b(u) = u**3 - 7*u**2 + u + 1. Let q be b(7). Suppose -2*v = 10 - q. Which is greater: v or -2/27?
-2/27
Let s = 3932/3 + -1311. Are 0.9 and s unequal?
True
Let x = -9 - -8. Let f = 132 + -131. Do f and x have different values?
True
Let r(x) = -x**3 - 8*x**2 - 7*x - 5. Let a be r(-6). Let d be (-4)/(-45)*a/(-2). Which is smaller: 1 or d?
1
Let k be (-36)/(-6*((-33)/12 + 3)). Suppose k*b + 52 = 28*b. Which is smaller: 10 or b?
10
Let n = -47 + 51. Let c be (-8 - -6)/(n - 2). Which is smaller: -1/88 or c?
c
Let k = 1283 - 1284. Is k > -223?
True
Let s = 93/4 + -23. Let y = 0 - 0.02. Let j = y - 0.03. Is s < j?
False
Let d(o) = o**3 - 5*o**2 + 5*o - 6. Let f be d(4). Let l be 0/(-1) + (-22)/f. Which is smaller: -0.1 or l?
-0.1
Let t(b) = -2*b**2 + 37*b + 23. Let z be t(17). Is 74 greater than z?
False
Let n = 2.1 - 0.1. Let d = -68 - 2. Let u = d - -71. Is n < u?
False
Let w = -11 + 10. Let z be (2/4)/(w/(-16)). Which is greater: z or 22/3?
z
Suppose 4*h - h + 2*v = 0, 0 = -h - 4*v. Which is greater: -6/41 or h?
h
Let c(t) = -4*t - 10. Let a(m) = -9*m - 21. Let p(w) = 6*a(