 - -2)/(3/9). Let s(p) = p**3 - 4*p**2 + 2*p + 2. Let n be s(m). Which is bigger: n or 2/129?
2/129
Let v = -6 - -6. Suppose -3 = o - v*o. Let s(u) = -u + 3. Let x be s(5). Which is smaller: x or o?
o
Let i(u) = u**2 + 15*u + 14. Let x be i(-5). Is x less than -37?
False
Suppose 476 = 5*q + 2696. Let c be (-2)/36*q/(-20). Let l = c + 5/6. Which is greater: 0 or l?
0
Let i = -61 + 33. Let k = -28 - i. Which is smaller: 3/4 or k?
k
Let o(n) = -5 + 3*n**2 - 59*n + 0*n**3 + n**3 + 51*n. Let k be o(-4). Is 12 smaller than k?
False
Suppose 3*w = 2*w - 1. Let t be 1785/3502 - (21/6 + -3). Is w greater than t?
False
Let n = 15.1 + 9.9. Let y = -26.04 + 0.04. Let p = y + n. Is p greater than or equal to 24?
False
Let m = 9 + 3. Let u = -12.5 + -0.5. Let l = u + m. Which is greater: 10 or l?
10
Let p = 35 - 39. Let v be (-78)/4*(48/9)/p. Is -1 >= v?
False
Suppose 0 = 3*x + 6, -4 + 2 = 2*h - 5*x. Let z be h - -30 - 2/1. Let p = 17 - z. Is p bigger than -4?
False
Let v be (5/105)/((-245)/15). Is 1 >= v?
True
Let m(k) = k**3 - 15*k**2 + 6*k - 22. Let x be m(10). Which is smaller: x or -464?
-464
Let s(u) = -2*u - 4. Let z(m) = -2*m - 5. Let a(y) = 4*s(y) - 5*z(y). Let c be a(-5). Which is greater: c or 2/47?
2/47
Suppose 2*k + 6 = 0, 8*j - 15 = 4*j + 5*k. Which is smaller: j or -3/62?
-3/62
Let a = 433 + -28579/66. Is 1 <= a?
False
Let c be 16/(-5) + 16/(-20). Is -267 greater than or equal to c?
False
Let i = -4/57 + 14/19. Let x be (-5 + -1)*(-1)/3. Suppose 0 = -o - x*o - 2*y + 22, -2*y = -2*o + 8. Do i and o have the same value?
False
Let o = -4 - -4. Suppose o*r = 4*r. Which is bigger: 6/25 or r?
6/25
Let o be (-2)/12*(-153)/(-21). Let t = o - -181/126. Which is greater: 2/3 or t?
2/3
Suppose -35*m = -13*m - 13200. Which is smaller: 601 or m?
m
Let n be (-35)/(-14)*1/2. Let g be (-4)/(-6)*(-18 + 21). Is n not equal to g?
True
Let w(l) = 28*l + 198. Let q be w(-7). Is -111 smaller than q?
True
Let b = 74 - 65. Suppose -b*y + 4*y + 5 = 0. Is -1/29 < y?
True
Let u = 450 + -2248/5. Is 276 less than u?
False
Suppose 2*c = 5*c + 48. Let q be (91/52)/(5/c). Which is bigger: q or -5?
-5
Suppose 3 + 0 = -b. Suppose 81 = 18*y - 15*y. Let q be 2/(-2)*y/9. Is b at least q?
True
Let c(g) = 3 - 5 + 5*g - 3*g - 5*g. Let h be c(-2). Let s be h/(((-116)/2)/(-1)). Which is bigger: 1 or s?
1
Let f be ((-2)/38)/((-11)/44). Which is smaller: f or 3?
f
Let v = -1782 + 2679. Let h = v - 34089/38. Which is bigger: h or 1?
1
Let s(k) = k**3 + 22*k**2 + 2*k + 43. Let f be s(-22). Let x(h) = 3*h + 1. Let m be x(-1). Does m = f?
False
Let d(v) be the third derivative of v**5/60 + v**4/4 + v**3 - 11*v**2. Let r be d(-6). Which is smaller: 13/2 or r?
r
Suppose 0 = 2*u - 33 - 15. Let a be (-2 - 4)/(u/18). Let j(f) = 2*f + 5. Let v be j(-5). Which is bigger: a or v?
a
Let t = 164.6 - 130. Let f = -35 + t. Is -3 >= f?
False
Let j be ((-1196)/(-368))/(1330/3912). Let q be 3894/(-399) + (-2)/(-7). Let d = q + j. Is -1 >= d?
False
Let g(i) = -58*i**2 + 4*i + 3. Let l be g(-2). Let c = l + 1653/7. Suppose 10*k + 21 = 1. Which is smaller: k or c?
k
Let h be (-2)/(-8) - (525/(-60) - -9). Let g = 2 - 4. Let t = h - g. Is t less than or equal to 3?
True
Let k = 2382724/139 - 17142. Is k greater than 0?
False
Suppose 2*l = d + 2, l = 4*d - 2*d - 8. Is d not equal to -8?
True
Let p(u) = 28*u - 116. Let q be p(8). Which is greater: q or 1/5?
q
Suppose -3*m = f - 105, 2*f = -12 + 6. Is 178/5 at most m?
True
Suppose 6*v - 97 = -7. Let n be (1/14)/(v/(-10)). Is n at least as big as 0?
False
Suppose 0 = 2*v + 348 + 52. Is v greater than or equal to -201?
True
Let d(n) = 11*n - 282. Let j be d(26). Is j < 2?
False
Suppose -7*z + 1393 - 315 = 0. Is 154 equal to z?
True
Let v be (-1)/4 + 236388/592. Let a = v - 399. Let q(j) = -j - 6. Let w be q(-6). Is a at most w?
False
Let s = -39.039 + 39. Let z = -1.039 - s. Which is smaller: 17 or z?
z
Suppose j - 2*j = 0. Suppose 1 = l - j. Which is smaller: -2/29 or l?
-2/29
Let v = -0.2 + 0. Let i = v - -1.4. Let h = 1 - i. Which is greater: h or -4?
h
Suppose -v + 4883 = -k + 5*k, -2*k + v + 2437 = 0. Is k smaller than 1/4?
False
Let u = -7.6 - 63.4. Let j = 101 + u. Let i = j - 37. Is i greater than or equal to -1?
False
Let q be 7*18/(-145)*(-65)/91. Is 2 < q?
False
Let p = -18 - -14. Let l be (p/(-24))/((-18)/(-33)). Let b = -1/18 + l. Is 2/27 bigger than b?
False
Suppose 0 = 3*s - 2*p - 45, -2*s + 6 = -p - 24. Which is smaller: s or 10?
10
Let q = -15 - -16. Let w = q - -6. Let r = w + -6.6. Which is bigger: -1 or r?
r
Let t be (-4)/(-8) - (-45)/(-102). Let p = 39/85 - t. Let d = 0.06 - 1.06. Do p and d have different values?
True
Let c = -370.3 - -42.3. Let t = 330.07 + c. Let q = t - 0.07. Is q <= -0.1?
False
Let t = 147 + -140.9. Let b = t - 6. Let a = 2.6 + -1.4. Which is greater: b or a?
a
Let s(h) = -h**3 + 14*h**2 + 32*h + 21. Let l be s(16). Which is greater: l or -4?
l
Let t(w) = w**2 + 22*w + 48. Let d be t(-20). Let u(s) = -s**3 + 6*s**2 + 8*s. Let v be u(7). Is v at least as big as d?
False
Let f = 6.9 - 6.8. Which is bigger: f or 71?
71
Suppose -4*j = j + 200. Let y = -85/2 - j. Which is smaller: -2 or y?
y
Let k(i) = 13*i - 9. Let b(l) = 4*l - 3. Let r(a) = -7*b(a) + 2*k(a). Let o = 0 + -3. Let g be r(o). Which is bigger: 8 or g?
g
Let k = 86841/10 - 8692. Let j = -8 - k. Let x(r) = -r**2 - 7*r + 1. Let v be x(-7). Which is smaller: v or j?
j
Let g(c) = c + 118. Let m be g(34). Is 152 bigger than m?
False
Let v = -2/103287 + 6507217/7023516. Let z be ((-501039)/6188)/9 + 9. Let j = v - z. Which is bigger: 0 or j?
j
Let q(c) = -23*c**2 + c - 1. Let r be q(1). Let j(k) = 82*k + 141. Let y be j(-2). Is y bigger than r?
False
Suppose -222 = -772*c + 766*c. Which is smaller: 32 or c?
32
Suppose -j + 0*r = -r - 39, -3*j = -4*r - 121. Is j < 35?
False
Let w = 31/3 + -11. Suppose 2 - 14 = 2*k. Let h be (k/(-8))/((-12)/(-16)). Which is bigger: h or w?
h
Let b(w) = w**3 + 21*w**2 + 17*w + 3. Let k be b(-20). Let p be 2*(k/12)/(6/16). Is 29 < p?
False
Let h = -9 + 4. Let d = h + 7. Suppose -d*l - l - 9 = 0. Which is smaller: -4 or l?
-4
Suppose 5*c - 3*d = 14, 0 = 4*c + 4*d - 1 + 9. Let b = 13 + -8. Suppose 4 = -b*a - 1. Which is greater: c or a?
c
Suppose -t - t = 14. Which is smaller: -61/9 or t?
t
Suppose 8*a - 4*a = 4. Let l be 1/a - 24/33. Suppose -6*s + 5 = -i - 4*s, s - 6 = 4*i. Which is bigger: i or l?
l
Let k(p) = p**3 - 10*p**2 - 5*p - 254. Let s be k(12). Which is smaller: s or 8/5?
s
Let y = 2099/9 + -233. Do y and 6 have the same value?
False
Suppose 3*u = -5*z - 10, -8 = 4*z - 2*u - u. Let g(j) = j**3 - 11*j**2 + j + 11. Let d be g(11). Let x be (d/(-4))/(z/4). Is x bigger than 1?
True
Let g(p) = 2*p**2 + 25*p - 12. Let z be g(-13). Let y be z + -4 - 14/(-7). Is 5 < y?
False
Let g be (-278)/14 - 5/35. Let m = g - -10. Is -8 < m?
False
Let b be 9*3/(-18)*4. Let d be 13 + (-3 - b)/(-1). Let z be (2/(-185))/((-2)/d). Which is smaller: 1 or z?
z
Suppose 13 = 155*r - 168*r. Are -36/41 and r unequal?
True
Let q be (48 + -51)/((63/(-2))/3). Which is smaller: q or -133?
-133
Let f = 19 + -20. Let s be 2 + (f/(-4)*-2)/1. Which is smaller: -11 or s?
-11
Let o = 80 + 379. Let g = -7805/17 + o. Suppose -s - 2 = -3. Which is smaller: s or g?
g
Let o be 11 + -12 + 22/(-4)*-2. Is 13 bigger than o?
True
Let w = 0.1 + -0.082. Let u = -145/3 + 48. Which is smaller: u or w?
u
Let i be -8 + 21 + 7 + -7. Do -23 and i have different values?
True
Let r(o) = -o**3 - 2*o**2 - o + 5 - 4 + 5*o. Let k be r(3). Do k and -31 have different values?
True
Let v = -129/2 - -62. Suppose -11*x - 27 = 17. Do v and x have different values?
True
Let w = 21 - 13. Let u = -6 + w. Let y be 2/(0 - u/4). Is -2 smaller than y?
False
Let t = 35 - 55. Let w = t + 22. Which is bigger: w or -4/3?
w
Let k be 18/24 - ((-4221)/(-1484) - 2). Which is smaller: k or -3?
-3
Let z = 371596165/1798 + -206672. Let n = -1/62 - z. Which is greater: 1 or n?
1
Let j(w) = 12*w + 15 + 5*w - 16*w. Let i be j(9). Is i bigger than 23?
True
Let a be 2/(-7) + 23/7. Suppose -2*b = 5*u - 40 + 180, 112 = -4*u - 5*b. Let h be (u/49)/(-2 - 12/(-7)). Is h > a?
False
Suppose -10*p = -43 - 77. Suppose -5 = -7*v - p. Is -1/19 less than or equal to v?
False
Suppose 3 = 3*k - 2*t, 5*t + 14 = -2*k - 3. Let s be 0 +