= -9 - -20. Let f be c(w). Which is smaller: f or g?
g
Suppose p = -4*k - 57, -11*p + 13*p - 68 = 5*k. Suppose 4*m - 2*m = -28. Let i = k - m. Does i = 0?
True
Suppose -4*n + 128 = -9*n + y, 3*n = -y - 80. Is -27 greater than n?
False
Let w = -76 + 77. Suppose -l + 4*v - 8 = 0, -w + 5 = 2*l + 2*v. Is 1/7 >= l?
True
Let x = -336917 - -218549. Let s = -945299/8 - x. Let c = s + -206. Is c > 0?
False
Let m = -2/5881 - 629057/617505. Let l = m + 11/15. Suppose 0 = 2*i + 2. Is l equal to i?
False
Let p = -160/7 - -9746/427. Are 1 and p unequal?
True
Suppose 343*q - 367*q - 4080 = 0. Are q and -168 nonequal?
True
Suppose -4*v - 4*d = 8260, v = -0*v + 2*d - 2065. Let t = v - -452237/219. Which is bigger: -1 or t?
t
Let k(w) = -w**3 + 5*w**2 - 28*w + 16. Let v be k(11). Does -1018 = v?
True
Let t be 243/(-45) + 5 - 57/5. Are -13 and t equal?
False
Suppose 2*m = 5*m. Suppose 9*d - 4*d + 70 = m. Is -15 < d?
True
Let f = 181 + -198. Let q(w) = 3*w**3 + 2*w**2 + 3*w + 3. Let y be q(-2). Is y <= f?
True
Let o(p) = p - 1. Let r be o(4). Suppose z = r*z. Which is smaller: -2/31 or z?
-2/31
Let m = -18 + 3. Let g = 26 + m. Let h = g - 13. Is h not equal to -2?
False
Let m(q) = 5*q - 9 + 2*q + 3*q - 4*q. Let g be m(2). Suppose g*z - 3 = 6*z. Is z less than or equal to 3/14?
True
Let m(p) = p - 16 + 28 - 14. Let t be m(8). Is t at least as big as 11?
False
Let v be (-2)/9 + 2692/(-36). Let i = -1127/15 - v. Let q(r) = r**3 - r**2 - r + 1. Let b be q(0). Which is greater: b or i?
b
Let r be (728232/34680 - 21)/((-6)/5). Is r <= -1?
False
Let o = 1.95 - 2.95. Is 153 smaller than o?
False
Let w(k) = k**3 - 4*k**2. Let m(d) = -4*d - 12. Let a be m(-4). Let s be w(a). Which is smaller: 2/113 or s?
s
Let r = -47 - -30. Let a = 16 - 32. Which is greater: r or a?
a
Let h(f) = 6*f**2 - 6*f - 33. Let n be h(-7). Suppose 0 = -8*d - n + 95. Is d != -26?
False
Let l = -812 + 814. Let d be 90/(-4) + (-7)/(-14). Is d >= l?
False
Suppose 0 = 5*q - 5. Suppose -q = -3*a - b, -b + 1 + 0 = 0. Are -5 and a nonequal?
True
Let p = -93 - -144. Let y = p + -58. Are y and 1 unequal?
True
Let c = -613 - -609. Is 96 smaller than c?
False
Let d = 1228/8985 - 2/599. Do d and -0.46 have the same value?
False
Let x(z) = 0*z**2 + 2*z - 8 + 5*z + z**2 + 0*z. Let n be x(-8). Which is bigger: n or 2/67?
2/67
Let r = -65 - 72. Let c = r + 138. Is -3/16 smaller than c?
True
Let m = 14 + -12. Let f be 12/m*(-34)/(-4). Let s be -2 - ((-96)/f - 0). Is s less than or equal to 1?
True
Let s = 129 - 129.8. Is -1/4 at least s?
True
Let o(r) = r**3 + 5*r**2 - 10*r - 5. Suppose -7 = g - 4*w, 3*g + 2*w + 20 = -1. Let j be o(g). Let q = j + 1355/41. Which is bigger: q or -1?
q
Let n = -402 - -401.9. Let a(k) = -3*k + 2. Let i be a(-2). Are i and n equal?
False
Let z = 4.64 + -4.3. Let l = z + 13.66. Let n = -14.1 + l. Is n at most as big as 9?
True
Suppose -4 = -3*b + 2. Suppose 0 = l + 4*o + 10, 0 = -b*l + 3*o - 19 - 34. Let z = l - -21. Which is greater: -2 or z?
z
Let o be (-4 - 12975/(-3168)) + 8/(-84). Which is greater: 0 or o?
o
Let i be (-5 - -6) + (-9)/3. Let w be ((-56)/(-10))/i - -2. Is w less than or equal to 1/6?
True
Let h be (-4)/(1024/24)*(-21)/18. Is 0 less than or equal to h?
True
Suppose -2*g = 29 - 19, 2*g + 20 = 5*x. Which is smaller: 80/29 or x?
x
Suppose 6*s - 5*l = s - 1495, -s - 5*l - 281 = 0. Is -297 greater than s?
False
Let q = -0.14 - -0.04. Let o(l) = l**2 + 4*l + 6. Let m be o(-4). Let g be (m/10)/(8/(-10)). Do g and q have different values?
True
Let z be ((440/(-8170))/(-11))/(-1). Is -1 at least as big as z?
False
Let h(w) = 0*w + 0*w - 32*w**3 - w**3 + 1 - 2*w**2. Let b be h(-1). Let o = -161/5 + b. Do o and -4 have the same value?
False
Let m = 445 - 264. Which is greater: 182 or m?
182
Let l = -97/9 + 31/3. Is l greater than or equal to -15?
True
Suppose -2 = 2*d - 10. Suppose -d*l = -7*l. Suppose -7 = -l*s + s. Are s and -7 unequal?
False
Let l(x) = -x**2 - 24*x - 48. Let i be l(-22). Are i and 0.03 nonequal?
True
Suppose -4*p = -2*b + 16, 47 = -3*b - 4*p + 31. Which is smaller: b or 13/29?
b
Let b be (-4 - -3)*-1*93. Let z = -61 + b. Let t = z - 31. Which is greater: t or 0?
t
Let w = -399.6 + 400. Is w greater than 28?
False
Suppose h = -0*h + 2. Let c = 2 - h. Let s be (-5 - -4)*0 + 2/18. Which is smaller: c or s?
c
Let i = 36 - 44. Let b(c) = c**3 + 2*c**2 - 2*c - 4. Let m be b(-3). Is m at most as big as i?
False
Let t = 56 + 10. Let g = t + -68. Which is smaller: 17 or g?
g
Let c = -70012/39 - -1795. Is -1 at least c?
False
Let l = 0.18 + -0.08. Let k = 43.81 + 0.19. Let v = k + -25. Which is greater: l or v?
v
Let u(l) = 3 + 8*l - 5*l - 2*l. Let d be u(3). Suppose 0 = -18*g + 21*g + d. Which is smaller: g or -3?
-3
Let w(z) = -123*z. Let s be w(-2). Let v = s + -1742/7. Which is bigger: -3 or v?
v
Let o be (-470)/(-525) + 2/(-21). Let h be -3*(4/6 + -2). Suppose -h*d = -d - 3. Is o smaller than d?
True
Let l = -213 - -208. Let g = 0.32 - 0.3. Is l < g?
True
Let o = -0.047 + 0.002. Let i = -0.055 + o. Which is greater: 34 or i?
34
Let o = -631 - -528. Which is greater: o or -99?
-99
Let y be (4 - (76 + 0))/1. Let r = -293/4 - y. Is 0 equal to r?
False
Let n(a) = -a**3 - a**2 + 3*a + 2. Let q be n(-1). Let s = -61 - -27. Is s < q?
True
Let s be (0 + -17)*(8 + (-3 - 0)). Suppose 24*n - 25*n - 86 = 0. Is s smaller than n?
False
Let b = -5 - -5.2. Let f = 2.2 - b. Which is smaller: f or -22/5?
-22/5
Let v be (-57)/(-12) - (-4)/16. Suppose 0 = -v*u + 25 + 35. Let h = -9 + u. Is 1 less than h?
True
Let d be -1 + 1 - 2/5. Suppose 0 = -w - w - 104. Let c be (-86)/w - (-32)/(-208). Is d < c?
True
Suppose 2324 = 19*q + 310. Is q <= 108?
True
Let q(w) = -w**2 - 32*w - 82. Let n be q(-30). Which is smaller: 0.03 or n?
n
Let b = -363 + 363. Is b less than or equal to -1/218?
False
Suppose 4*y - 23 = -3. Suppose p - y*t = 4*p - 29, -2*p - 3*t = -18. Are 15/7 and p nonequal?
True
Suppose -3260 = -4*b - 3152. Is b >= 28?
False
Let c = -72 + 30. Let f be 7/12*3/c*2. Are -1/3 and f unequal?
True
Let w = 181 + -196. Is -16 greater than w?
False
Let h = 15/79 - 1927/10981. Which is smaller: 1 or h?
h
Let u = -69 + 36. Let f = 23 + u. Which is bigger: -1 or f?
-1
Let j = -13/24 - -37/56. Is 1 <= j?
False
Let b = 1559.927 + -1559. Is b at least -1?
True
Let t = 16 - 11. Suppose 7*y - 4*y + 2 = -t*k, -4*k + 1 = 5*y. Let o be 238/(-68)*(-8)/(-14). Is o at most as big as y?
True
Let o be (1 + 3/(-2))*16/(-44). Let a(r) = -r**2 + r. Let n be a(5). Let x be 4/(-6)*(-30)/n. Which is bigger: o or x?
o
Let j(d) = d**3 - 12*d**2 - 11*d - 16. Let a be j(13). Which is bigger: 22 or a?
22
Let m = 63 + -62. Let l be 72/(-3)*(43/45 - m). Which is smaller: 0 or l?
0
Let w(r) = -r**3 - 4*r**2 + 5*r + 3. Let f be w(-5). Let u = 155/102 + -1/51. Which is smaller: u or f?
u
Let y = -124 - -123.94. Is 5 >= y?
True
Let p(u) = u**2 - 16*u + 19. Let s(t) = -2*t**2 + 31*t - 38. Let y(l) = 11*p(l) + 6*s(l). Let c be y(8). Is -4 at most as big as c?
True
Suppose 2*s - 14 + 56 = a, a = 4*s + 46. Does a = 37?
False
Let f = -50 - -50.7. Let c = -27 - -25. Does c = f?
False
Let y(s) = 12*s**2 - 30*s + 1. Let n be y(6). Which is greater: n or 507/2?
507/2
Let i = -0.0183 - -7.6083. Which is bigger: i or 0?
i
Let y be (4/6)/(9 + 0). Let o be 6/9*(3180/(-8))/(-5). Let g = -52 + o. Is y at least as big as g?
False
Let x = 0.037 + -31.037. Let a = -18 - -20. Which is greater: x or a?
a
Let j = -0.094 - 51.906. Let c = 60 + j. Which is greater: 1 or c?
c
Let p = -0.25 + -0.3. Let c = 0.25 + p. Which is smaller: c or 4?
c
Let p(i) = -i**3 + i**2 - 35*i - 142. Let j be p(-4). Is j at least 14?
True
Let a be (1/12)/(2/44). Suppose 4*i - 5*i - 23 = -5*v, -4*i - 2 = -2*v. Suppose -z - 2*k + v = -8, -4*k = -3*z - 11. Which is smaller: z or a?
a
Let f = 29 - -3. Suppose 17 + f = c. Let j be c/(-504) - (-1)/(-8). Is 0 >= j?
True
Let s be 18/(-111)*4/(-24)*3. Is -0.04 > s?
False
Suppose 0 = o + 2, -h + 3*o + 3 = o. Let p be (1/(-1 - 0))/h. Let k be (-6)/(-6)*(6 + -5). Is p greater than or equal to k?
True
Let g = 1.9 + -2. Let b = -72.89 - -73. Which is greater: g or b?
b
Let u = -7283 - -7273. Let p(n) = n**2 + 7*n - 3. Suppose -z = 4*z + 2*x + 30, -6 = z - 4*x. Let a be p(z). Which is greater: a or u?
a
Let v = -24 - -23.924. 