= -0*v - 2*q. Suppose 3*w - 16 = 2*l - 2*w, 4*w - v = 2*l. Suppose -2*t - t + 2*m - l = 0, -2*m = -t + 2. Are t and 2 unequal?
True
Let l = 20 + -8.2. Let z = -11.8 + l. Which is greater: 48 or z?
48
Let i = 3373 + -37143/11. Let u = 914/33 - i. Let b(m) = -35*m**3 - 1262*m**2 - 43*m + 1074. Let a be b(-36). Are a and u equal?
False
Let f = -5255 - -21891. Are 16636 and f equal?
True
Let a = -136 - -173. Let g = a - 21. Does g = 17?
False
Let j = 83 + -125. Let y = 1090 - 1092. Do y and j have the same value?
False
Let b(d) = d**3 - d**2 + 3*d + 1. Let z be b(0). Let w be ((-77)/(-28) - 1/(-4))*z. Let c be ((-9)/6)/w*-10. Is 6 >= c?
True
Let r be 31/(198648/(-89792)) - -14. Is 0 at most r?
False
Let v = -51 - -42. Let z be (-84)/154*(v + -2). Do z and -0.6 have the same value?
False
Let t be 175/(-280) + 6705/40. Which is bigger: 170 or t?
170
Suppose -141 - 413 = -4*w - 2*f, -2*w - 4*f + 280 = 0. Let t = w - 133. Is t at least as big as 7?
False
Let m = -106.85 + -420.15. Is 2/3 not equal to m?
True
Suppose 10593 = -68*m + 71*m - 5*z, z = 3*m - 10605. Which is greater: 2/3 or m?
m
Let x be (3/(-1122))/((-1)/(-2)). Let d be (3/(-2)*-5*4/30)/(-1). Which is smaller: x or d?
d
Let a = -961 + 264. Let z = 686 + a. Which is bigger: 1/18 or z?
1/18
Let f = -231/4 - -237/4. Let u = 43149 - 3969783/92. Let t = u + 3/46. Which is smaller: f or t?
t
Let f = 0.33733 - -1.66267. Which is greater: 18/269 or f?
f
Suppose s + 3*d - 3 = 0, -2*s - 3*d = -5*s + 9. Suppose -j - s = 3*k, -6 = -2*k + 20*j - 18*j. Is k < 5/47?
True
Let c be 480/84 - 2*(-3)/21. Suppose b - m - 2 = 0, 2*m + 26 = 4*b + 7*m. Suppose -b*g + c = 2. Which is smaller: g or -1/65?
-1/65
Let y(z) = 3*z**3 + z**2. Let u be y(1). Let x be (-2)/3*-27 - u. Suppose 5*g - 63 = x*g. Is -10 less than g?
True
Let g = -18000 - -53932/3. Which is smaller: -24 or g?
-24
Let d = 14592 - 3263. Is 11329 less than or equal to d?
True
Let h = -34405 - -34356. Which is smaller: 12 or h?
h
Let p be (-16)/(-6)*39/26. Suppose 5*y + 25 = 0, 5*a - 467 = p*y + 733. Let n = a - 169. Which is smaller: n or 68?
n
Let w(c) = -c**3 - 5*c**2 - c + 8. Let a be w(-3). Let y be -1 - (-524)/(-14) - 3/a. Let k = y - -39. Which is bigger: 0 or k?
k
Let s be (702334/120)/(-37) + (-6)/(-10). Let k = -157 - s. Suppose 0 = -5*r + 1 - 6, -3*j - 4 = 4*r. Are j and k non-equal?
True
Let i be ((2601/255)/51)/((-796)/(-10)). Suppose 3*z + 7*m - 4*m - 15 = 0, 20 = 5*m. Is z < i?
False
Let s = -1331.9 - -1542. Let d = -210 + s. Which is bigger: 164 or d?
164
Suppose -s = 2*y - 5, -7*y + 5*y - 2*s = -4. Suppose -2*m + g = -y*m - 9, -m = 5*g + 29. Are m and -1/38 unequal?
True
Let p = -2649 - -2643. Which is bigger: -384/85 or p?
-384/85
Let k = -1.4295 + -1.1105. Which is greater: -15 or k?
k
Suppose 22 = 2*t + 4. Let w be ((-10)/(-4))/(t/(-36)). Let b = -5 + -7. Does b = w?
False
Suppose 0 = -4*q + 5*l + 180, -184 = -4*q - l + 5*l. Suppose -2*o - q = -5*v, 38 + 33 = -5*o - v. Are -16 and o nonequal?
True
Let s = -4 - -8. Suppose 5*h - 179 = -0*l + 2*l, 4*h - s*l - 136 = 0. Let b = -1392 + 1427. Which is smaller: b or h?
b
Suppose 5*p + 2*f = p + 16, 5*p = 4*f + 7. Suppose -5*q = -3*z + 54, -p*z + 2*q + 40 = -14. Let r be (-6)/4 + (-1449)/z. Which is greater: -1 or r?
-1
Suppose -8*w = 12*w - 480. Let k be 30/4*208/w. Let p = -56 + k. Which is greater: p or 10?
10
Let q be (141/(-6) - -6)*(-12)/(-15). Let u(o) = o**2 + 15*o - 20. Let g be u(q). Which is bigger: -33 or g?
-33
Let x be (864/105)/(2/(-15)). Let w = x + 62. Suppose 0 = 4*f + 28 - 0, -25 = -4*n + 3*f. Which is greater: n or w?
n
Suppose 86*l - 229250 = -39*l. Do l and 1835 have the same value?
False
Let l(p) = -p**2 - 7*p + 16. Let w be l(-8). Let o(z) = 6*z - w*z**2 - 5 + 4 + 9*z**2. Let k be o(-5). Is k bigger than -7?
True
Let r = 337 - 476. Let s = r - -124. Which is greater: s or -0.7?
-0.7
Let f(y) = y - 5. Let l be f(7). Suppose 0 = -p - l*a + 8, 3 = 5*p - 4*a - 9. Let d be ((-95)/30 + p)*2. Which is smaller: 3 or d?
d
Let s be (-63)/84 - 94/(-8). Let d be (-2*1 - -2)*s/(-44). Which is bigger: -4/49 or d?
d
Let u(j) = -43*j - 35. Let o(k) = 43*k + 35. Let z(x) = -2*o(x) - 3*u(x). Let r be z(4). Suppose -12*d = r - 663. Are d and 38 nonequal?
False
Let p = -6.798 - -89.798. Let d = 1.72 + -84.72. Let r = p + d. Is 0 bigger than r?
False
Suppose 0 = -2*x - v + 7 + 4, x - 1 = v. Let s be (-5 - -7)/((-2)/34). Let a be x/s + (0 - (-40)/(-238)). Which is smaller: a or -1/17?
a
Let l be ((-7)/21 + 2/6)/1. Let d be (-9)/(-81) + 57/2403. Which is smaller: d or l?
l
Let s = 2241 - 2386. Is -141 less than s?
False
Let j = 1.423 + -1.4. Let l = 0.454 - 3.454. Does l = j?
False
Let a = -36 + 36.72. Let i = a - 61.72. Let l = -81 - i. Is -1 greater than l?
True
Let c = 5.051 + -5.181. Is 45 > c?
True
Suppose 0 = 4*h - h - 84. Suppose 4*i + v + 29 = -2*v, 4*i + 2*v + 30 = 0. Let z(f) = -f**3 - 7*f**2 + 5*f + 3. Let o be z(i). Which is smaller: o or h?
o
Suppose -2247 = -1578*l + 1533*l + 1758. Suppose -196 - 77 = -3*w. Which is bigger: l or w?
w
Let v = -753 - -759. Does -4/239 = v?
False
Suppose -3630 = 93*s - 83*s. Let o = -292 - s. Is 74 > o?
True
Let h be (-4)/52 - (-633536)/(-416). Which is greater: -1524 or h?
h
Let x be -16 - (-31)/((-32926092)/(-16994136)). Is 0 less than x?
True
Let x = 157.874 + -158. Let g = -81.126 - x. Is g at most as big as -1?
True
Let v(b) = -b**3 - 57*b**2 + 114*b - 266. Let w be v(-59). Let s be 31 - -1*1/1. Let k = s + w. Is -2 > k?
False
Let o = 4830769/4284 + -2733/476. Let p = o - 3331/3. Which is smaller: p or 13?
p
Let g be (510/(-476))/(9/(-24)). Let o be ((-2)/(-5))/((-2)/(-10)). Is o at most as big as g?
True
Let q = -191 + 227. Let v be 152/57*2/q. Which is bigger: 3 or v?
3
Suppose -2*q - q = -3. Let k be 8*(-203)/1862 + (-10)/(-14). Is q at most k?
False
Let t be 20/(-142)*(-14269)/17746. Let g = t - 20/467. Is 1 > g?
True
Let h = -77 + 81. Suppose -3*d = -5*j + 15, 31 - 19 = h*j + 2*d. Let z = 11 + -7. Is j at most as big as z?
True
Let d = -80 - -147. Let m = -56 + d. Let l(w) = -4*w - 1. Let v be l(-3). Is v less than m?
False
Suppose q + 4 = v, 4*v - 53 = -4*q - 5. Let x be -1 - v/(16/130). Let s = x - -79. Is s <= 14?
True
Let y(v) = v + 10. Let b be y(0). Let n be -2 + 14/b + 1. Let m = 101529/4 - 25382. Which is smaller: n or m?
m
Let k(j) = j**3 - 18*j**2 + 41*j + 39. Let s be k(14). Is s >= -172?
True
Let q be -6 - (-396)/(-15)*(19 + -44). Which is greater: q or 652?
q
Let l = 11010 + -7563872/687. Which is smaller: 1 or l?
l
Let s be ((-480)/64)/((-6)/(-4)). Which is greater: s or -95/22?
-95/22
Let i(t) = t - 1. Let o be i(14). Suppose -14*y + o*y - 12 = 0. Suppose -3*j = -q + 6, -6 = 3*j - 0. Which is smaller: y or q?
y
Let l = -73700 - -235176698/3191. Is 1 at least l?
True
Let h = 3015301/186 - 16211. Which is greater: h or 0?
h
Let x be (4/(-6))/((-24)/216). Suppose -2*a - x = 4*b + 14, 3*b = -a - 11. Which is smaller: a or -11?
-11
Let s be (2/(-7))/((-126)/252). Which is smaller: s or 0.587?
s
Suppose 5*s = 4*w - 65, 3*w - s = -2*s + 63. Let b(i) = i**3 - 21*i**2 + 19*i + 22. Let y be b(w). Suppose 0 = -z - y*d, -2*z = -z - d + 6. Is -1/5 < z?
False
Suppose 3*w = -5*o + 1342, 0*o - 2*o - 3*w + 535 = 0. Suppose 6*h = 7 + o. Which is greater: 45 or h?
h
Let a = 98801/12448 - 253/32. Which is bigger: 0 or a?
a
Let r = 140 - 145. Let x = 23440776/578165 - 9/16519. Let p = x + -227/5. Is p bigger than r?
True
Let y(t) = 6*t + t**3 + 417*t**2 - 430*t**2 - 20*t - 1. Let m be y(14). Which is greater: 15/32 or m?
15/32
Let v = 637 + -633. Let r be (-645)/276 - v/(-46). Is -14/3 at most r?
True
Suppose -47*v + 30*v = -119. Let r(c) = 2*c**2 - 16*c + 12. Let i be r(v). Is -31/12 at most as big as i?
True
Let h = 170 + -145. Suppose h*j - 157 = 368. Are 15 and j equal?
False
Suppose -42 + 252 = 3*w. Suppose -73*v = -w*v - 231. Let q = v - 77. Which is bigger: 86 or q?
86
Let r(m) = 5*m**2 + 24*m + 110. Let o(p) = p**2 - 1. Let x(t) = -4*o(t) + r(t). Let d be x(-20). Which is greater: d or 30?
d
Suppose -2*n + 369 = 383, -3*q - 3*n = 18. Let s be (7/3)/(1/(-3)). Let r be -2*(14/24)/s. Which is smaller: r or q?
r
Suppose n + 3 = 4. Let z be (18/24)/(n/4). Suppose 0*x - z*x = 0. Which is greater: x or 2/21?
2/21
Let q = -2140.374 +