). Which is smaller: o or a?
a
Let k(v) = -9*v**2 - 73*v + 5. Let x be k(-11). Which is greater: 2/9 or x?
2/9
Let v be (3/(-3) + 15)/10. Let u be (-235)/15 - (-6)/9. Let p = -15 - u. Which is smaller: v or p?
p
Let x = 364 - 2547/7. Which is bigger: -2/21 or x?
x
Suppose -q - 4*x - x = -7, 0 = 2*q - x - 3. Suppose -6*w + 4*w + q = 0. Let r be ((-10)/15)/((-8)/18). Which is smaller: w or r?
w
Let d = -3312/5 + 195528/295. Which is smaller: 0 or d?
0
Let j(z) = 2*z**3 - 17*z**2 + 29*z + 1. Let l be j(2). Which is smaller: l or 0.18?
0.18
Let b = -5 + 9. Suppose 2 = -3*s + b*s. Let l(k) = -k**3 - 3*k**2 - 3*k + 1. Let h be l(-2). Is h <= s?
False
Suppose 0 = a + 2*a + 2*o + 217, 5*a - 2*o = -335. Let j = a + 51. Does -18 = j?
True
Let p = -4.8256 - 28.1674. Let z = p + -0.007. Let u = -32.9 - z. Which is smaller: 0.4 or u?
u
Suppose -6 = 5*f - n, -2*n - 2 = -3*f - 0. Which is bigger: 62 or f?
62
Let p be (16 + -15)/((-2)/4*1). Which is smaller: 2.6 or p?
p
Let b be 6/(-24)*8/686. Which is greater: b or -1?
b
Let z = -1513 + 19671/13. Which is smaller: z or -165?
-165
Let p = 1262/7 + -180. Which is greater: -12 or p?
p
Let f(u) = u - 11. Let i be f(-7). Let h be (-1)/(-2) + (i/4)/9. Which is bigger: h or 5?
5
Let r = 4.04 - 3.7. Let x = -0.08 + -0.16. Let i = x + r. Is i smaller than -0.07?
False
Suppose -1 - 20 = -7*j. Suppose -j*g - 15 = 2*g, -4*g = 3*b + 12. Let a = 0.3 - 0.6. Which is smaller: b or a?
a
Suppose 13*v + 612 = 92. Does -43 = v?
False
Let k(h) = -h**3 + 8*h**2 - 6*h + 4. Let r be k(7). Let i(q) = 3*q. Let v be i(2). Let b be v/r*(-4)/84. Which is greater: -1 or b?
b
Suppose -6*i = -4*i - 4, -5*i = -4*v - 18. Let x be v/8 + 118/(-8). Let t = x + 21. Are t and 6 equal?
True
Suppose -5*h - 56 = -86. Let c be 0*(1/2 - 1). Let g = c + 6. Is h greater than or equal to g?
True
Let d = 653 + -660. Which is smaller: 17/7 or d?
d
Suppose 3*c + 7 = 4*q - 12, 2*q = 4*c + 12. Let i be ((q - 3) + 1)/2. Suppose 3*l - 7 - 2 = 0. Which is smaller: i or l?
i
Let n = -72.37 + 73. Let r = n - 16.63. Is 2 at most r?
False
Let z be 5 + (2/4*-14 - -3). Which is greater: z or -1/20?
z
Let i be (3 + -17 + 2)*(-692)/16. Is 519 != i?
False
Let v = -1615/4 + 399. Let n = 30 - 19. Let i be (-64)/n + (-2)/11. Does i = v?
False
Let q be 3/6 - 789/1554. Which is bigger: q or 0?
0
Let m be 69/4*(-16)/(-6) - -2. Let s = 47 - m. Which is greater: s or -15?
s
Let u = -10 - -25. Let s = -1198 - -1200. Do s and u have the same value?
False
Let g = 0 + 26. Let p = g - 12. Is p greater than or equal to 15?
False
Suppose -2*r + 4*a - 34 = -3*r, -4*r - 5*a = -147. Suppose r - 117 = 5*p + 2*s, 20 = -p + s. Which is smaller: p or -15?
p
Let l = 5.7246 - 0.0546. Let x = 6 - l. Which is greater: x or -3?
x
Let d = 3 - 1. Let t be 1/(-6*3/(-414)). Suppose j + 0*j = -5, 4*j = a - t. Which is smaller: a or d?
d
Let j be ((-6)/(-5))/(306/(-54060)). Is -212 greater than or equal to j?
True
Let x(o) = o + 1. Let c(n) = n**2 - 5*n - 3. Let l = -13 + 14. Let a(p) = l*c(p) + 4*x(p). Let m be a(0). Is m < 0?
False
Let t = 0.258 + -0.088. Which is smaller: 4 or t?
t
Suppose 0 = 9*n - 12*n - 2*g - 64, -5*n + 3*g - 113 = 0. Let b(f) = -3*f + 4. Let s be b(8). Which is smaller: n or s?
n
Let w = 2.8 - 2.6. Suppose -4*s + 2 = -6. Suppose 3*o = -s*o. Is o bigger than w?
False
Let k be (-4)/(-20) + (2 - 136/5). Suppose 3*t = -p - p - 80, 0 = 3*t + 3*p + 84. Is k < t?
True
Let z = 86 + -56. Let p be (-3)/5 - (-63)/z. Is p at least 3?
False
Suppose -5*p = 0, 24 - 6 = -3*g - 2*p. Which is bigger: g or -3?
-3
Suppose 0 = -5*s - 0*s - 15. Let d be (s - -2) + 0 + 2. Does 3/29 = d?
False
Let n be ((-27)/18)/((-2)/12). Suppose 3*x = -n - 0. Let y be (-2)/(-15) + (1 - (-177)/(-45)). Which is greater: y or x?
y
Let d be (-4319)/21*((-45)/(-12) + -3). Is d equal to -155?
False
Suppose 6*f - 4*f = 2. Let a be (-209)/969 + f/3. Do 0 and a have the same value?
False
Suppose 4*p = 3*i + 12 + 9, 0 = -2*p + 2*i + 12. Let t = -21 + p. Is -17 less than t?
False
Suppose 15*b + 6623 = -3652. Does b = -683?
False
Let k(p) = -p + 1. Let w(z) = -1. Let q(h) = -4*k(h) + w(h). Let v be q(2). Let y be (-3 + v + -1)*10. Is y less than or equal to -8?
True
Let m(r) = 2*r**2 - 9*r + 4. Suppose 221*a - 25 = 216*a. Let l be m(a). Which is smaller: l or -5?
-5
Let j be (5 + -2 - 2)*-3. Let g = 2 - j. Suppose -5*k - 15 = g*f - 5, -4*k - 5 = f. Which is greater: 0 or f?
0
Let s(w) = -w**3 - 6*w**2 - 2*w + 40. Let h be s(-6). Is h not equal to 1?
True
Let o be (40/26)/(-14 - (-85)/6). Is 9 less than o?
True
Let i = -1.47 - -104.47. Is i not equal to -3?
True
Let u = -233 + 223. Let x(b) be the second derivative of b**5/20 + 5*b**4/6 - 2*b**2 - b. Let s be x(u). Is s greater than or equal to -3?
False
Let u = -8 - 0. Let x = u - -3. Let k = -5 - x. Is 3 at least as big as k?
True
Let r be (-344)/266 - (12/21)/2. Let f = r - -267/133. Let l = 100/477 - -2/159. Which is smaller: l or f?
l
Suppose 2*a = a - 2. Suppose 0 = -2*l - 5*y + 28, 5*l = -3*y + 39 - 7. Is l >= a?
True
Let n = -62 - -63.6. Let w = 1.7 - n. Does -1/10 = w?
False
Suppose 8*a = 492 - 12. Suppose h = -n - a, -3*h - 3*n = -8*h - 292. Is h at least as big as -60?
True
Let d be ((-3)/(-4) - 1)/(24 + -26). Let n be (-3 + 3)*(-2)/(-4). Which is smaller: n or d?
n
Let m = 2 + 0. Suppose 2*o + m*o = 8. Suppose 7 - o = q. Are q and 3 equal?
False
Let s = -289 - -293. Let g be 208/(-39)*9/(-4). Are g and s unequal?
True
Let h(z) = -z**2 + z + 30. Let w be h(-5). Suppose 3*b = k + 17, w*k - 12 = -2*b + k. Is b at most as big as 13/3?
False
Suppose -4*h - 40 - 16 = -4*x, 0 = -5*h - 5*x - 70. Let k(f) = -2*f - 6. Let y be k(5). Is h > y?
True
Let b = 265 - 262. Let v(n) = 2*n**2 + n - 1. Let f be v(1). Suppose f*o = -b*o. Which is smaller: o or 0.11?
o
Let b = -28471/11 - -2587. Suppose 3*a = a - 4. Is b at most as big as a?
False
Let y = 261 - 261.3. Let s = 7 + -14. Is s at least as big as y?
False
Let z = -5.41 + 17.41. Suppose 12 = 3*h - 3*k, h - 5*h + 10 = -2*k. Which is greater: h or z?
z
Let y = -150 - -151.5. Which is bigger: 1/7 or y?
y
Let t be (1 + 2 - -1)*(-1)/542. Is -1/4 at least t?
False
Let l(u) = u**3 - 4*u**2 + u - 1. Let r be (-1 + 6)/(2 - 1). Suppose -6*z + r*z = -3. Let f be l(z). Are f and -20/3 nonequal?
True
Let w be 15850/325 + (-6)/(-26). Is w at least as big as -3/5?
True
Suppose 102*y = 4*b + 98*y + 4, -5*b + 4*y - 10 = 0. Is -138 at most as big as b?
True
Suppose q = 6*q - 30. Suppose -5*v + 89 = -q. Let o = v - 18. Is o greater than or equal to 2?
False
Let b = 0.2 - 1.2. Let c = 0.09 - -0.03. Let g = 0.52 - c. Which is smaller: g or b?
b
Suppose 6*y - 3*y - 117 = -4*z, 3*z - 90 = -3*y. Suppose -11*j = z + 17. Is j at most -26/5?
False
Let p = 579 + -577. Let b = 5 + -5.03. Which is smaller: p or b?
b
Let j = 26.16 - 0.16. Let p = 4.2 - -20.8. Let t = j - p. Is t equal to 2?
False
Let z be 2 + 34956/(-24528) + (-8)/14. Which is bigger: z or 0?
z
Let s = -0.016 + 0.016. Is -5 < s?
True
Let j = 115.1 - 115. Let s = -63.76 + 64. Is j bigger than s?
False
Let s = 64 - 63. Which is smaller: s or 126.3?
s
Let t be (-28461)/716*(-2)/(-15). Is -4 <= t?
False
Suppose -v + 9*w = 14*w + 466, -3*w + 1398 = -3*v. Is -467 less than or equal to v?
True
Let v be (-260)/(-39)*(-24)/(-10). Let q = v + -4. Suppose 0 = -3*w - 5*a - 17, -4*a - 4 = -q. Is -9 bigger than w?
False
Suppose -15*j = -17*j + 24. Suppose -3*q - q - j = 0. Let f be (42/9)/(q/9). Is f at most as big as -14?
True
Let x = 0.07 + 0.62. Let q = x - -4.31. Is 4/7 <= q?
True
Let r(m) = -5*m - 1. Let a be r(-3). Let t = a + -11. Suppose -2*u + 5*u = t. Which is smaller: -1 or u?
-1
Let g be (11/22)/(6/(-28)). Let q = 5 + -2. Suppose q*r = 6*r + 6. Is g at most r?
True
Let l = -17 + 26. Suppose -4*b + 2 = 3*p - l, 2*b = -5*p + 23. Suppose 3*c = p*c. Which is smaller: 4/23 or c?
c
Let h(z) = -z**2 - 4*z - 2. Let g be h(-4). Suppose x - 13 = -2*n, -2*x = -x - n - 7. Which is bigger: x or g?
x
Let s be 34/(-153)*(-3)/94*2. Is s > -1?
True
Let f(p) = 7*p + 8. Let w be f(4). Let o = 36 - w. Which is smaller: o or -1?
-1
Let x be -9 - (27 - 32 - (-129)/(-39)). Let c be ((-2)/(-4))/(2/(-8)). Which is smaller: x or c?
c
Let n(p) = -p**3 - 21*p**2 - 35*p + 43. Let f be n(-19). Which is greater: -13 or 