t p(c) = c**3 - 2*c**2 + 3*c + 5. Let m be p(5). Let u = 83 - m. Suppose 2*a + 2*n + 6 + 2 = 0, -5*n - 21 = 4*a. Is a < u?
False
Suppose 1496 = 2*z + 2*z. Let p be 27/z + (-2)/17. Which is smaller: p or 1?
p
Let g be (1 - (-80)/(-108))*(-222)/(-964). Let k = g + -1/241. Which is smaller: k or -1?
-1
Let a(c) = c**3 + 3*c**2 - 2*c - 13. Let m be a(-3). Which is bigger: m or 0?
0
Suppose -5*q = -1 - 29. Let i(a) = 2*a + 10. Let h be i(-2). Is h less than q?
False
Let n = -1637 - -1655. Which is smaller: 10 or n?
10
Let x = -0.17 - 25.53. Let r = 26 + x. Suppose -5*y - 10 - 21 = -3*b, -b = 3*y + 13. Is r at least b?
False
Suppose 3*k = 11*k + 4*k. Which is bigger: 1/1261 or k?
1/1261
Let b = -3/331 - 52/30783. Is b not equal to -1?
True
Let u = -51 + 47. Which is bigger: -8 or u?
u
Let q be 1 - (11 - 28)*4. Is 72 at most q?
False
Let w be (-1)/(-2)*(16 + -6) - -1. Suppose -l - w = 5. Is l at most as big as -2?
True
Suppose -h - 4 = k, 4*h - 394*k + 22 = -396*k. Let x = 4 - 11. Is h smaller than x?
False
Let r = -1109 + 1109.2. Which is greater: 242 or r?
242
Suppose -3*o = -8*o + 205. Let a be 27/(-72)*-8 - -37. Is o not equal to a?
True
Let d be 27/5 + (-27)/(-45). Suppose 0 = d*o - 2 + 38. Which is smaller: -1 or o?
o
Suppose -9 - 81 = 5*r - n, 4*r = -4*n - 72. Let b be r/(-12)*(-290)/15. Is -31 >= b?
False
Let i = -148 - -152. Is i smaller than -3?
False
Let f = 0.113 - -0.597. Let z = -0.78 + f. Is z <= -0.1?
False
Let l = 118 + -71. Let u = 34 - l. Which is bigger: u or -14?
u
Suppose 0 = 5*f + 3*z + 19 - 82, 5*f - 62 = -2*z. Let s be (-60 + 61)/(f/13 + -1). Let v = 3 + -17. Which is smaller: s or v?
v
Suppose 4*l - 414 = 3*r + 6*l, r = -l - 137. Is r less than or equal to -140?
True
Let y = -52 + 112. Suppose -95 = -5*g + 4*p, -4*g - 3*p = g - y. Let k = -14 + g. Which is greater: 10 or k?
10
Suppose -4*p - p - 2*a + 21 = 0, -p - a = -3. Suppose -7 = 3*h - p*f, 2*h = -h + 2*f + 8. Let j be (1272/(-100))/h - -2. Which is smaller: j or 1?
j
Suppose -m - 4*m = -0*m. Suppose m = -5*q - p + 3, -3*q + 0*q + 4*p = 12. Is -2/13 at least q?
False
Let z(u) = u**2 + 3*u - 86. Let j be z(8). Is j greater than 25/31?
True
Let z be 5*(-5)/(-650)*-4. Let l = -2.97 - 0.03. Is l >= z?
False
Suppose -3*r = -7*r. Let x = -165 - -170. Let y = x + r. Is -1 at most y?
True
Let n = -2203 + 2379. Which is smaller: n or 178?
n
Let w(z) = -z + 8. Let r be w(4). Let k = r + 1. Suppose -3*f + 4*c = 35, c = k*f + 4*c + 10. Which is smaller: f or 0.1?
f
Let u = -858/5 - -172. Is 2.75 less than u?
False
Suppose 4*x = 2*t + x - 19, 5*t - 10 = -5*x. Suppose -3*o = 3*i + 2*o + 65, 15 = -i - t*o. Which is bigger: -27 or i?
i
Let v = -3 + 1. Let p = v - 17. Is p at most -18?
True
Let o(z) = z + 29. Let w be o(-13). Suppose 0*u + w = -2*u. Let g be (u/(-10))/(10/200). Do g and 16 have the same value?
True
Let i be (-817)/(-6) - 3/18. Let k be (-3)/3 - i/(-144). Is -1 > k?
False
Let d(a) = 5*a - 9. Let f be d(6). Suppose -7 = -7*r + f. Suppose -3*v = -r*v + 9. Do v and 8 have the same value?
False
Let p = 43 - 41. Suppose -2*w - 3*w = 0. Suppose 0 = -p*s - w*s + 2. Which is smaller: -2/7 or s?
-2/7
Let b = 11 - 66. Let r = 67 + b. Which is smaller: 11 or r?
11
Let n = -12.792 + -0.008. Let l = n + 13. Let f = -0.1 + l. Is -6 greater than f?
False
Let o = 345.277 + -345. Let l = -0.047 + o. Which is bigger: 1 or l?
1
Let q(d) = 20*d + 60. Let u be q(-3). Is 0 >= u?
True
Let t = 60 + -182/3. Let x be (4/18)/(-6 + 52/8). Which is bigger: x or t?
x
Suppose -6*s - h - 73 = -s, 0 = 4*s + 2*h + 56. Which is smaller: s or -17?
-17
Suppose 0 = a + 3*g - 8, -2*g = a - 0*a - 6. Suppose 0 = -3*r - a*r + 100. Let i = 43/2 - r. Which is smaller: 0.1 or i?
0.1
Let r = 11.0307 - 0.0307. Is r bigger than 0.02?
True
Let a be (2/(-9) - (-51)/108)/(-1). Are -8/9 and a nonequal?
True
Suppose 3*a = 2*f - 1788, -a + 1203 = -3*a + 5*f. Is a less than or equal to -593?
True
Suppose 0*h + 420 = -5*h. Let m = h + 29. Let g be 20/m*(-3)/4. Which is smaller: g or 0?
0
Let h = -6.92 + -0.08. Let d = h + 7.1. Suppose 5*l + 3 = 3*a - 30, -3*l = 2*a + 16. Is d < l?
False
Let u = -11.513 + 0.113. Let l = -1.6 + u. Is l less than -2?
True
Let r(y) = y**3 - 3*y**2 + 10*y - 55. Let q be r(4). Suppose t - 4 - 1 = 0. Which is smaller: q or t?
q
Let b be (-5)/(-1*1*(-3 - -4)). Is b equal to 12?
False
Suppose 4*g = 2*f - 36, -4*f + 2 = -3*f. Let x be (20/g)/((-11)/(-2)). Let k = x - -9/44. Is k < -1/4?
False
Let j(f) = 2*f - 2. Let b be j(3). Suppose 5*x + b = i - 0, 4*x = 4*i. Suppose 37*p + 36 + 1 = 0. Is i at most p?
True
Let y = 474.2 + -474. Is -2/11 bigger than y?
False
Let x = -435 + 547. Is x greater than 109?
True
Let g(z) = z**2 + 13*z - 26. Let x be g(-15). Suppose -2*u = 4*t - 2, x = 2*u - 6*u. Which is greater: t or 2/7?
t
Let i be ((-4)/5)/(156/(-20)). Is 1 < i?
False
Suppose 0 = 153*i - 161*i - 504. Is -63 not equal to i?
False
Let l be -2 + 63/(-6) + 2/4. Is l greater than -32/3?
False
Let j = 43 - 58. Let r be ((12/15)/4)/((-66)/j). Are 1/2 and r non-equal?
True
Suppose p = -0*p. Suppose -k + 27 + 24 = 0. Let w = k - 203/4. Is p at most w?
True
Let v = -679 - -3393/5. Which is greater: -0.6 or v?
v
Let y = -69 - -59. Let r = y + 13. Is 2 > r?
False
Suppose 3*b + 2*h + 54 = 0, 2*h = -4*b - h - 73. Let v = b + 22. Which is greater: v or 5?
v
Let g = -131372/25 + 5254. Which is smaller: g or 0?
g
Let y(l) = 11*l**2 - 6*l**2 + 5*l + l - l**3. Let h be y(6). Are h and -1 nonequal?
True
Let w = 597.66 + -549. Let q = 0.34 + w. Are q and -1/4 equal?
False
Let t(k) = -2*k**3 + 67*k**2 + 34*k + 9. Let v be t(34). Is -4.7 at most as big as v?
True
Let n(y) = -y**2 - 6*y + 3. Let u be n(-7). Let o(z) = z**3 - 15*z**2 + 2*z - 31. Let h be o(15). Which is smaller: u or h?
u
Suppose 5*b - q + 150 = 2*q, 3*b + 90 = q. Let i = 30 + b. Suppose i = -o - 4, 4*u = 2*o - 0*o - 40. Is u > -1/3?
False
Let v = 142 - 137. Let c be 0 + v - 72/14. Which is smaller: c or 0?
c
Let g = 48 - 29. Let d be (-173)/g*2/(-60). Let n = -9/38 + d. Which is bigger: 0 or n?
n
Let k = 4.9428 + 0.0272. Let q = -0.1 - -0.13. Let d = k + q. Which is smaller: 0.2 or d?
0.2
Let u = 15.07 + -0.07. Let o = u + -21. Let t = o - -15. Which is bigger: t or 2?
t
Let n = 36 - 70. Let b = n - -4. Let p = 22 + b. Is 0.1 greater than or equal to p?
True
Let t be (11 - 11)/(3 + 0). Let d be t - 34/(-72) - (-1)/(-4). Which is smaller: d or 2.9?
d
Let h be -156 + (-5)/(40/64). Is 1/3 equal to h?
False
Suppose -6 = 4*m - 14. Let u be (9/(-81))/(1/m). Is -9 >= u?
False
Let r be -1 + (-1 + 1 - -1). Let d be -11*1*(3 - 0)/3. Let c = -10 - d. Are r and c equal?
False
Let u = 18.9 - 19. Let j = u - -0.16. Is 0 at least as big as j?
False
Let x(i) = -3*i + 1. Let h be x(-1). Let n be (h/(-6) + 1)*-2. Let f(k) = -k**3 - k**2 + k - 3. Let v be f(-2). Which is smaller: n or v?
v
Let m = 0 - 0.1. Let x = 38.9 - 41. Let o = x - m. Is o bigger than 3/8?
False
Let y = -1208 - -1208.1. Is y at least 0.05?
True
Suppose -2*f - 288 - 56 = 0. Let o = -113 - f. Which is smaller: o or 60?
o
Let b be (7 - 5 - -1)*(-48)/18. Suppose 0 = -5*x - 5*k - 50, 3*x + 5*k - 7 = -39. Which is greater: b or x?
b
Let c = -5/62 + -37/310. Which is greater: 0 or c?
0
Let r = -39.11 - -39. Which is smaller: r or 1?
r
Let k(s) = 16*s + 1. Let m be k(2). Does 31 = m?
False
Let y(f) = f**3 + 14*f**2 - 32*f. Let s be y(-16). Which is smaller: s or 1/144?
s
Let t(x) = x**3 - 18*x**2 - 19*x + 13. Let q be t(19). Suppose 0 = 6*r - q*r. Is r at least as big as 1/12?
False
Let l be (-24)/(-86) - (-4 - -4). Let d be (-2)/(-8)*(25/(-5) - (-2 + 1)). Is l > d?
True
Let y(l) = -7*l**3 + 10*l**2 + 24*l + 20. Let z be y(-4). Is 532 bigger than z?
False
Let w(o) = -6*o**2 - 74*o - 10. Let p be w(-7). Is 212 bigger than p?
False
Let m = -2607 + 2575.42. Let u = -0.42 + m. Let c = -32.1 - u. Which is bigger: c or -17?
c
Let m = 58 + -56. Suppose 2*k = -2*q - 88, 311 = -5*k + m*q + 98. Is -43 greater than or equal to k?
True
Let a be ((-18)/(-8))/((-147)/(-24) + -6). Does a = 228/13?
False
Let i = -69 + 169. Let b be -2 + 1 + i/130. Which is greater: b or 1?
1
Let a = 5/34 + -437/2856. Are 1 and a unequal?
True
Let g be (-2)/(-17*(-1)/5). Is g greater than 0?
False
Suppose 0 = 4*w - 3*v + 7, 2*w = 4*w + 2*v. Let