*w - 10 = -g. Is 1 less than w?
False
Suppose -5*q = -1503 + 338. Suppose q = -4*g + 229. Do g and -3/100 have the same value?
False
Let p = -163 - -162. Let d = -1.599 - 12.401. Is d > p?
False
Suppose -d + 29 = -2*f - 19, -3*d - 5*f + 100 = 0. Suppose 7*l - d = 3*l. Suppose -5*b + l*b + 5 = 0. Is b > -1/3?
False
Let y(k) = 4*k**2 + 3*k - 11. Let q(s) = s**2 + 26*s + 44. Let t be q(-24). Let f be y(t). Which is greater: f or 43?
43
Let m = 75 - -152. Let u = m + -267. Is u greater than -40?
False
Let o = -65645/2 - -31995. Which is smaller: -829 or o?
-829
Let y = -0.11 - -25.11. Let a = -10 + y. Let k = -0.3725 - 1.6275. Which is greater: k or a?
a
Let i be 4/(-18)*3*2052/(-8). Let s = i - 1883/11. Let x = 20 + -8. Which is smaller: x or s?
s
Let z = -1051.3 - -1138. Let s = z + -87. Which is smaller: s or -33?
-33
Let r(z) = -2*z + 27. Let a be r(10). Suppose -o = -a - 2. Suppose -m = 4 - o. Which is smaller: m or 11/2?
m
Let r(p) be the first derivative of -2*p**3/3 - 27*p**2 + 55*p - 9. Let h be r(-28). Which is smaller: h or -8/27?
h
Let w(b) = -b**2 - 4*b + 6. Let x be w(-5). Let z be 1845/(-920) - x - -3. Which is smaller: z or 1?
z
Let d = 991/6 - 502/3. Let x(s) = 2*s**3 - 4*s**2 - 12*s - 2. Let h be x(-5). Let j = 289 + h. Is j <= d?
True
Let i = 525 + -503. Let x be (-3 + 2)*(-7 + 2). Suppose 3*m = -g - i, 0*m + 110 = -x*g + m. Is g at most as big as -22?
True
Let p = -14579 + 12922. Is p != -1660?
True
Let f = -1145 + 578. Let p = 357 + f. Is -211 smaller than p?
True
Let m(h) = -h**3 - 7*h**2 - 5*h + 4. Let l be m(-6). Let o be 2/l + 15 + (-45)/15. Suppose 0 = 5*f - f - 44. Is f greater than o?
False
Let b = 79.0178 + -0.0178. Let i = -52.1 - 27. Let p = i + b. Which is smaller: p or -50?
-50
Let f(v) = 2*v**2 + 7*v - 37. Let c be f(-6). Let x be (-9)/c + 2 - (-24)/(-8). Which is smaller: x or -1?
-1
Let v = 13721 + -126905531/9249. Is v equal to 1?
False
Let g = -731 + 1092. Let j = g + -162. Are j and 199 equal?
True
Let s = -444.42 + 5.42. Let o = s + 290. Which is smaller: o or -0.1?
o
Let x = -250.644 - 0.356. Let n = 251 + x. Are 4 and n equal?
False
Suppose -6981 = 24*p + 8*p - 165. Is p at most -217?
False
Let h(q) = 13*q**3 - 24*q**2 - 14*q**3 + 428 + 51*q - 453. Let n be h(-26). Let g = 863/11252 + -3/388. Is g at least as big as n?
False
Let v = -26.7 - -26.88. Let a = -1.04 - -0.04. Which is bigger: a or v?
v
Let h = -0.7 + 0.69. Let u = h - 0.79. Suppose -y - 9 = -2*b, 0 = 224*b - 221*b - 12. Are u and y unequal?
True
Let g(i) = i**3 + 4*i**2 + 3*i + 1. Let o be (-9)/18 + (20/8 - 3). Let p be g(o). Which is smaller: p or 8/19?
8/19
Let r be ((-3724)/(-1710)*-9)/(1/5). Which is smaller: -1/11 or r?
r
Let h = 7 - 5. Let l(s) = 16*s - 62. Let n be l(4). Let x be (h - n)*4/(-8). Which is smaller: 1.4 or x?
x
Let r = -20 - -21. Let y = -192 - -196. Suppose 3 = -4*n - y*k + 5*k, -k = -2*n - r. Which is bigger: n or 1/30?
1/30
Suppose 0 = -2*f - r + 1862, 179*f - 183*f = -5*r - 3724. Which is smaller: f or 932?
f
Let m(b) = 3*b**2 - 13*b + 4. Let a be m(7). Let y = a + -35. Let d be (y/50)/((-2)/(-4)). Which is smaller: d or 3/5?
3/5
Let k = -7557 - -7556. Is -1138 bigger than k?
False
Let t(r) = r**3 + 38*r**2 - 80*r + 1. Let b be t(-40). Which is bigger: 18/907 or b?
b
Let j be (-2)/(-4)*50/5. Suppose -3 = j*q - 8*q. Let s = 163 + -152. Is q < s?
True
Let t be 1 - 20/2 - -18590. Is t <= 18581?
True
Let q(a) = a**2 - 74*a + 1298. Let i be q(34). Is -2/27 < i?
False
Let q be (1800/(-65))/(4212/(-264) - -16). Is -608 equal to q?
False
Let w = -261427/25 + 10457. Is -538 at least as big as w?
False
Let y = 10.0039 + -0.0039. Which is smaller: -1535 or y?
-1535
Let n = -7973 - -7785. Is n >= -189?
True
Let l = 2.1629 - -9.8371. Let u = -0.5 + 3.5. Is u <= l?
True
Let w = -18809819/360 + 52249. Let u = w - 1/360. Is -27/8 equal to u?
False
Suppose 17*k - 10*k = -21*k + 70*k. Is k greater than or equal to 2/26209?
False
Let f = 1/10764 + -5383/10764. Which is smaller: f or 2641?
f
Let j = 833.795 - 833. Let w = j - -7.205. Which is bigger: -13 or w?
w
Let c = -393.92 - -397. Let t = -2.95 + c. Which is bigger: 0.3 or t?
0.3
Let i(d) = -11*d + 2. Let j(g) = 1. Let r(c) = i(c) - j(c). Let w be r(-1). Let n(f) = -f + 12. Let y be n(w). Is 1/14 > y?
True
Let x(c) = 2*c**3 + c**2 - 11*c + 2. Let j be x(3). Let t(f) = f**3 - 4*f**2 - 8*f + 11. Let v be t(6). Is j not equal to v?
True
Let n = -43484257/13 - -3346965. Suppose 0 = -100*u + 84321 + 117779. Let q = u - n. Which is smaller: q or -2?
-2
Suppose -2 = 6*h + 4 - 0. Which is smaller: -16/83 or h?
h
Let n(x) = -5*x**2 - 4*x - 11. Let i be n(-6). Let w = -159 - i. Is 4 bigger than w?
False
Suppose 5*y - 3*i + 4*i = 815, -2*y + 3*i + 309 = 0. Let n be 5/(9 + 16) + y/(-10). Is -18 smaller than n?
True
Suppose 2 = q + 5, -5*q = 5*l + 75. Let t be (-2 + (-12)/(-4))/((-5)/30*2). Let n be (3/(-12)*-1)/(t/l). Is 2/33 at least as big as n?
False
Let p be 71/(-102) - (5 - 119/21). Let k be 6/21 - 9*(-2)/(-14). Are k and p unequal?
True
Let o(n) = 16*n - 626. Let b be o(39). Which is bigger: -3/5 or b?
-3/5
Let j(z) = -2*z - 2. Let k be j(-1). Let i = -47 + 66. Let n be 15/((-315)/14) - i/(-15). Which is bigger: k or n?
n
Suppose 7*o + 22*o = 12*o - 348908. Which is greater: o or -20523?
-20523
Let v be (-1551)/7260 - (2/55)/((-1)/5). Which is greater: v or -1?
v
Suppose -8*h + 55 + 485 = -4*l, -5*l - 291 = -4*h. Which is bigger: 29/4 or h?
h
Let n = -284 + 290. Let d be (0 + n/(-55))*190/(-57). Is 1 equal to d?
False
Let m = 147.274 - 0.274. Let l = 151.45 - m. Let i = l + 0.55. Which is smaller: i or -6/7?
-6/7
Suppose 2*h + 19 = 12*r - 7*r, -2*r + 10 = 0. Which is smaller: -396 or h?
-396
Suppose -172 = 3*y + 4*k, 5*k - 25 + 0 = 0. Let x = y + 73. Is 41/5 less than or equal to x?
True
Let k = -542 - -1049. Which is smaller: k or 1525/3?
k
Let h be 4/315*-5*(-7)/270. Let k = 812/1215 - h. Are -16 and k unequal?
True
Suppose j + 4*a = -12, -4*j = a - 45 + 33. Suppose 2*w = 4*b - 110, 0 = -j*b - 2*w + 19 + 71. Which is bigger: 30 or b?
30
Let g(f) = 2*f + 10. Let z be g(-5). Suppose -3*m + 102 = -z*m. Let i be -102*(18/27 + -1). Is i > m?
False
Let m(k) = -k**3 - 15*k**2 - 21*k - 12. Let s be m(-14). Let j be s*1 - (85 + -81). Which is bigger: 414/5 or j?
414/5
Let a(b) = -b**3 + 5*b**2 + 5*b + 4. Let w be a(6). Let v be -22 - (w + 8 + -4). Suppose 2*h + h = -69. Is v at most as big as h?
True
Let c = 418/9 + -421/9. Which is smaller: c or -318/13?
-318/13
Let n = 22 + -30. Let l(k) = -5*k - 35. Let o(p) = -15*p - 106. Let a(v) = -17*l(v) + 6*o(v). Let b be a(n). Is -12/5 greater than or equal to b?
False
Let t = -7/1100 - 4639/135300. Let z = -11580 + 34738/3. Which is greater: z or t?
t
Let f be ((-567)/11772)/(12/32). Is f less than 1?
True
Let n(b) = b**3 - 14*b**2 - b + 14. Suppose 55 = 9*h - 10*h. Let g = h + 69. Let m be n(g). Is m at most -1/9?
False
Let l = -0.1047 + -507.8953. Let h = l + 257. Which is bigger: 0 or h?
0
Let j(a) = -3*a - 9. Let h be j(-6). Let r(c) = 11*c**2 - c + 1. Let p be r(1). Which is smaller: p or h?
h
Let u(f) = f**3 - 17*f**2 - 86*f + 12. Let r be u(21). Which is greater: r or 92?
92
Suppose 3*g + r = 2, 4*g + 3*r + 518 = 529. Which is smaller: 518 or g?
g
Let y(v) = -587*v**3 + v**2 + 2*v + 1. Let t be y(-1). Let d = t + -15853/27. Let c = -22 - -23. Is c greater than or equal to d?
True
Let f = 14598 + -14784. Is -0.3 greater than or equal to f?
True
Let q = -267.43 + 189.43. Let f = -140 - -557/4. Which is smaller: q or f?
q
Suppose -2*v - 1206 = -b, -5*v - 4*b = -6*v - 596. Let n = 656 + v. Is n at most as big as 53?
True
Let y = 160 + -477. Let z be y/72 + (-18)/81. Are z and -4 non-equal?
True
Suppose 9*g + 8085 = -0*g - 40*g. Is -170 < g?
True
Let m be (102/(-4))/(-25 - 14074/(-589)). Which is greater: m or 0?
m
Let t be 18/81 - (-16316)/(-97722). Let p = -2/89 + t. Let r be 6/(-4) + (-1)/(-2). Is r less than or equal to p?
True
Let h(g) = 118*g**3 - g**2 + 5*g - 5. Let j be h(1). Let v be 750/26 + 18/j. Is 29 < v?
False
Suppose -2*s + 3*y = 516 - 27, -5*s - 1248 = y. Let u = 11837 + -12085. Which is smaller: s or u?
s
Suppose -4*m + m = 27. Let h(s) = 2*s**2 - 8*s + 10. Let x be h(2). Let p be (24/60)/(x/(-5)) - 9. Which is greater: p or m?
m