 + 5*z**2. Let r be m(4). Let s = 12 + -11.8. Which is smaller: r or s?
s
Let l = -0.2 - -0.3. Let z(a) = -a**2 - 4. Let i be z(10). Let g = 103 + i. Is g bigger than l?
False
Let b(w) = -w**3 + 10*w - 11. Let c be b(5). Let y = c + 260/3. Is 0.57 > y?
False
Let p(w) = -w**2 - 8*w - 4. Let y be p(-5). Let j = -14 + y. Suppose 3*x + 2*c + 12 = 0, 5*x - 2 = 5*c + 3. Is j not equal to x?
True
Let i = -2738 + 19212/7. Is -1 > i?
False
Let b be (6/(-1*2))/((-45)/600). Suppose -4*w = 4*w + b. Suppose -6*h - 24 = -3*h. Is w > h?
True
Let b = 149.42 - 172. Let m = b - 0.42. Let z = m + 36. Which is smaller: z or 1?
1
Let t be 5 + -6 + 199/35. Let s = 27/5 - t. Let y be 6 - (-3)/(6/(-8)). Is s > y?
False
Let p be 10*(-4)/(-18) - 4. Which is greater: -3 or p?
p
Let v = -677 - -810. Which is greater: v or 138?
138
Let g = -1/3380 + 529/30420. Let k(b) = b + 4. Let h be k(-3). Which is smaller: g or h?
g
Let m = 16.14 + -16. Let c = m + 0.06. Let i = -1.8 - c. Which is bigger: i or 1?
1
Let t be (-13 - -11)/((-161)/3). Let s = 5/46 - t. Is -1 greater than s?
False
Suppose 41*d - 26109 = 16162. Is 1030 < d?
True
Let t = 3563 + -11065/3. Is t greater than -126?
True
Let y(v) = 11*v**3 + 2*v**2 - 1. Let o be y(-1). Let t(w) = w**2 + 10*w - 15. Let s be t(o). Is s less than -15?
False
Suppose -4*v + 5*w - 54 = 0, 0 = -4*v - v + 3*w - 61. Are -13 and v unequal?
True
Let h = -102 + 103. Is h at least 1082?
False
Let y = 63 + -62.38. Let o = -0.38 - y. Which is smaller: 1/2 or o?
o
Suppose h + 145 = -4*b - 414, -1692 = 3*h - 3*b. Which is smaller: h or -1127/2?
-1127/2
Let v be 0/(2 + -6 + 2). Let o be (3 - v) + 7/(28/(-120)). Is -27 at least as big as o?
True
Suppose -2*u = 2*c - 6*u - 14, -5*c - u + 46 = 0. Suppose 3*p = 2*m - 20, m - 18 = -m + 2*p. Suppose -3*i = m*i - 80. Which is smaller: c or i?
i
Let v(k) = -18*k**2 + 5*k + 11. Let m be v(5). Does m = -414?
True
Let i = 6487 - 5338799/823. Is -1 >= i?
False
Let k be (6/(-30)*0)/(-3). Which is smaller: k or 7/152?
k
Suppose 2*b - 4 = 0, d + 3*d - 5*b = -2. Suppose u + d*g = g + 5, -3*u + 2*g = 5. Which is greater: -6/47 or u?
u
Let d = 184 + -183. Which is smaller: -1/30 or d?
-1/30
Suppose 0 = -4*s - 0 + 4. Let c be (s - 18/15)*24. Let r = 82/15 + c. Is r smaller than 2?
True
Let k be (-2)/(-3)*5*(-234)/10. Is k at least as big as -555/7?
True
Suppose 4*p + 28 = -5*z + 80, 36 = 5*p - z. Let b be (6/p)/((-45)/400). Is b at most as big as -7?
False
Let m(b) = b**2 - 9*b - 15. Let f(q) = q**3 + 3*q + 11. Let j be f(0). Let x be m(j). Suppose -x*t + 11 = -17. Is -2 greater than t?
False
Suppose -27*k - 32 = -545. Is -5/4 at most as big as k?
True
Suppose -69*o + 71*o = 8. Suppose 4*k - 48 = a, -3*k + 5*a + 35 = o*a. Is 0 smaller than k?
True
Let v be (-57)/(-95) - 3/5. Suppose -2*q + f + 33 = v, 5*q - 22 = -5*f + 53. Let p = 15 + -15. Is p greater than q?
False
Let m = -0.3 - 0.3. Let u = 1321.9 - 1245. Let h = -77 + u. Are m and h nonequal?
True
Let d be (-3 - 1)/1 + 18. Suppose 9*s - d*s = 0. Are s and -2/21 non-equal?
True
Suppose 3*a + 351 = -2*f, -3*a - 22*f = -26*f + 333. Which is greater: -112 or a?
-112
Let g = -13/36 + 11/18. Are 121/5 and g unequal?
True
Let g = 525122/7 - 74779. Let n = -239 + g. Are -3 and n equal?
False
Let q = -0.46 - -0.12. Let f = 0.3 + q. Let k = -2301 - -2301. Which is smaller: k or f?
f
Let q(n) = -n**3 + 3*n**2 - 5*n + 3. Let c be q(3). Suppose 20*b - 26 = 18*b. Let u = b + c. Does -4 = u?
False
Let v be (54/(-45))/(21/14770). Is v equal to -844?
True
Let z = -190 - -214. Which is smaller: z or 145/6?
z
Suppose 5*t = 54*q - 58*q + 318, -5*t + 336 = -2*q. Let k = -12 - -77. Is t less than k?
False
Let r(k) = k**2 - 9*k - 13. Let t be r(10). Which is greater: t or -0.2?
-0.2
Let f = 25 + -17. Suppose -6*n = -f*n - 6. Does 3 = n?
False
Suppose 29*i = -9 - 20. Let w = -91 + 545/6. Does w = i?
False
Let o = -21.85 + -0.15. Let f = -14 - o. Let q = 8.3 - f. Which is bigger: q or 2?
2
Let f = 8090/11 + -736. Let j be (5/(-105)*-12)/(18/(-63)). Which is smaller: f or j?
j
Suppose -2*f = 2*r - 6, -2*f + f = 1. Suppose 2*v - 1 = 5*h, 2*h = 3*v - 8*v + 17. Suppose v*o = r*o. Which is smaller: 2/11 or o?
o
Let f be (275/10)/(-2 - 6/(-16)). Is 0.1 < f?
False
Let x be (1 - -2) + 41420/204. Let g = x + -206. Suppose -233*p + 234*p = 1. Which is smaller: g or p?
g
Let r be (5/(300/(-32)))/(4/12). Suppose -6 = 3*q - 3. Does q = r?
False
Suppose 2*j = 4*o - 78, j + 5*o + 12 + 13 = 0. Let z = -73 - j. Is -37 less than or equal to z?
False
Suppose -2*i = 5*d - 470, -4*d + 3*i + 279 = -74. Are d and 92 nonequal?
False
Suppose 357 = 3*p - 3*b, -5*p - 5*b = -2*p - 333. Let y = p - 140. Which is greater: -23 or y?
-23
Suppose 36*w = 35*w - 6, 0 = 4*l + 3*w + 14. Let j(t) = -t + 2. Let r be j(5). Let q be (-1)/(-4)*4/r. Is q bigger than l?
False
Let z = -129455133/14 - -9250616. Let o = z - 15243/4. Let g = o - 39/4. Is g bigger than 3?
False
Let n = 123.2 - 1.2. Let b = 121 - n. Which is smaller: b or -2?
-2
Let g(m) = -15*m + 34*m + m**2 - 52 + 0. Let z be g(-21). Is z not equal to -10?
False
Suppose 14 - 34 = -4*a. Let x(w) be the third derivative of -w**4/6 - w**3/2 - 5*w**2. Let c be x(-2). Is a less than c?
False
Let y(n) = 3*n - 3. Let c be y(0). Let m(o) = o**2 + 4*o + 4. Let h be m(c). Which is greater: h or 8/13?
h
Let z = 1618 + -1622. Is z less than -6?
False
Suppose 5*p - 2 - 13 = -t, -5*p + 30 = -2*t. Suppose b - 4*n = 5*b, 9 = -p*b + 5*n. Let g be (-1)/(3 - 4/(-6)). Which is smaller: b or g?
b
Let g be (-3)/(-5) - (-110)/25. Let n be (1/g)/(21/14). Let h = -4 - -3. Is n greater than h?
True
Let z = -27 + 58. Let b = z - 13. Is b >= 19?
False
Suppose 195 = 4*z - c, -5*c - 184 - 7 = -4*z. Let k = z - 48. Which is smaller: -6/17 or k?
-6/17
Suppose 2*p + 175 = 5*u - 294, -3*p = 4*u - 366. Which is greater: 660/7 or u?
660/7
Let i be 6/(-30) - 12/(-10). Suppose 0 = -4*x - 4*n + 24, -2 = -n + 3. Let w be 63/(-432) + x/3. Is w >= i?
False
Let z = -2.09 + 19.39. Let k = -17 + z. Is -6 > k?
False
Let b = 102 - -37. Let i = b - 139.1. Let v = -20.17 - -20. Which is bigger: i or v?
i
Let r = 10 + 95. Let o = -105 + r. Which is smaller: 2 or o?
o
Let r = 3 - 3. Suppose -57*a + 55*a - 22 = r. Which is greater: -12 or a?
a
Let w be 70/26 + -3 + (-2)/1. Which is bigger: w or -3?
w
Let m be 2/12 - 530/(-60). Suppose -w - 8*w = -m. Let n = 35 + -172/5. Do n and w have the same value?
False
Let a be (8/(-50))/((-378)/2055). Let o = -7/45 + a. Which is bigger: -2/5 or o?
o
Let c = 0.2 - 0.3. Let o = -5.8 - -18. Let f = o - 4.2. Which is bigger: f or c?
f
Suppose 2576 = -3*c + 17*h - 22*h, -3453 = 4*c + 3*h. Is -0.2 at least c?
True
Suppose -5 = 15*r - 3 - 2. Let m be (-3)/(14/(3 + -1)). Which is bigger: r or m?
r
Let u = -479 - -478. Is u at least as big as -37?
True
Suppose 4*c - 3 = 9. Let l(p) = -2*p**3 + 4*p**2 + 2*p - 8. Let n be l(c). Are -21 and n equal?
False
Let u = -1053 + 1009. Is u greater than -51?
True
Let b = 6058/11 + -550. Let q = 43/44 - b. Suppose 76 - 21 = -11*p. Are p and q equal?
False
Let w = 2 + 1. Suppose w*f = 10 + 2. Suppose -c + f*c = 18. Which is smaller: c or 7?
c
Let a = 102 - 99. Let b(w) = w**3 - 2*w**2 - 3*w - 4. Let j be b(a). Is -8 <= j?
True
Suppose 816 = -2*m + 11*u - 7*u, -m = -4*u + 406. Which is smaller: -409 or m?
m
Let u(s) = 6*s**2 - 5*s + 5. Let c be 2/(-8) - 4/((-32)/18). Let z be u(c). Let v = 55 - 36. Is z at least v?
True
Let f(j) = -3*j**2 + 6*j**2 + 0*j**2 + 9 - 9*j. Let x be f(4). Is 20 >= x?
False
Suppose -3*n = -4*h + 1 + 12, -3*n - 4*h = -19. Let m be 1*(24 - (n + 0)). Are 23 and m non-equal?
False
Let i = 6.582 + 0.118. Let u = 127 - 128. Are i and u non-equal?
True
Let b = -66 - -66.084. Let m = -0.056 + b. Which is greater: m or -2/3?
m
Suppose -5*r + 0 + 1 = -3*y, 5*y + 4*r = 60. Suppose -y = -4*f + 8*f. Which is bigger: f or -3?
f
Let d(j) = 12795*j + 1. Let h be d(-1). Let w be (-14)/(-7)*h/(-44). Let b = 581 - w. Which is smaller: -1 or b?
-1
Let i be (-1 + -109)*(-12)/30. Let o be -2*i - (-3 - 1). Let a be (o/(-49))/(2/7). Which is smaller: 5 or a?
5
Let p be 4*(43995/(-28))/15. Is p less than -1255/3?
True
Let z = 3 - 5. Suppose 2*v + 4*r = -0*v + 10, 3*v + r = 15. Let q be v/(2/((-6)/21)). Which is bigger: z or q?
q
Let t = 0.1 + 0