uppose 2*r + b - 6 = 0, -4*b - 15 = -5*r - 13. Suppose -r*l + 29 + 81 = 0. Is 54 not equal to l?
True
Let o(z) = 2*z**3 - z**2 + 4. Let n be o(2). Suppose 2*c = -2*v + n, -v = -6*v + 15. Suppose f + c - 1 = q, q + 20 = -5*f. Is q equal to 0?
True
Suppose 4*j + a - 1652 = 7977, 3*j + 5*a = 7192. Is 2407 smaller than j?
True
Let h be -1*(12/(-108) - 3118/(-27738)). Which is smaller: h or 1?
h
Let d = 38.9 - 119.9. Let b = -83.8 - d. Is 5 < b?
False
Let j(t) be the second derivative of -5*t**3/6 + 239*t**2/2 - 17*t. Let s be j(44). Is s > 16?
True
Let w = -7310/91 - -432/7. Which is smaller: -20 or w?
-20
Let h(z) = -z**2 + 14*z - 9. Let l = 22 + -15. Let y be h(l). Let j = y - -10. Is 50 greater than j?
False
Let f(x) = -x**2 + 6*x - 5. Let g be f(5). Suppose g = t - 13 + 3. Suppose -8*j - 3*o - 30 = -11*j, -j - 4*o + 15 = 0. Which is bigger: t or j?
j
Let r = -359 + 346. Let n(z) = 3*z - 6. Let v be n(3). Does v = r?
False
Let j = 41745/7 - 5963. Is j greater than or equal to 254?
False
Let m be 1/299*2 + 0. Let j be (-802 - -798) + 3/2*2. Which is smaller: m or j?
j
Let a = -324 + 224. Suppose k - 209 = 6*k + 301. Is k != a?
True
Let n = 13.2 + -13.9. Suppose 0*i - i = 5, 3*i + 55 = 4*d. Is n at most d?
True
Let w = -220 + 236. Suppose -w*g = 2239 - 10639. Is g less than or equal to 525?
True
Let l be -15*(-4)/100 - (-7)/5. Let y be (2 - (-5391)/(-2142)) + l/4. Let u(o) = -o - 2. Let x be u(-1). Which is smaller: y or x?
x
Let m(q) = 6*q + 14. Let g be m(8). Suppose -3*j = 2*c - 54, 0 = 4*c + j - g - 56. Let a be 3 + ((-5)/(c/22) - 3). Which is bigger: a or -3?
-3
Let l be (-1948)/(-4872) - (-246)/(-574). Do 0 and l have the same value?
False
Let o be (1 + -3 + 3)/((-8)/(-456)). Suppose -j = 58 - o. Is j not equal to 3/32?
True
Let q be 2/3507*7*351. Is q not equal to 1?
True
Let x = -14066 - -98477/7. Suppose 16 = -3*w - 2*b, -w - 22 = 4*b - 0. Let m(a) = 2*a**2 + 4*a + 3. Let u be m(w). Which is smaller: x or u?
x
Let l = -5535 - -5535.17. Which is smaller: 6/97 or l?
6/97
Suppose 36299 = 73*o + 200914. Is o < -1?
True
Let j = -9 - -11. Suppose a - 2*a = -m + 74, -j*m - 77 = a. Let t be (-66)/10 - (-30)/a. Is t > -7?
False
Let b = 1/350 + 1349/350. Suppose 0 = t - 11. Let j = t + -8. Which is bigger: j or b?
b
Suppose 15 = 5*t - 5*h, -5*t + 3*h = -10 - 5. Let y = -1151 - -2339/2. Is t less than y?
True
Let w = 143 + -147. Let x be 2/w*(-1180)/(-10). Are -60 and x equal?
False
Let z = 227524.241 + -227963. Let c = z - -439. Let f = -0.091 + c. Are f and -1 non-equal?
True
Let r be (-30 - -10)*18/(-8). Let h = r + -134/3. Let t = 100/3 + -33. Is t <= h?
True
Let d be (-26)/(-42) + 10/(12 - 42). Is -135 > d?
False
Let i = 46 + -41. Suppose -i*v + 380 = -20. Which is smaller: 79 or v?
79
Suppose -2*b = 4*a - 256, -12*b + 50 = a - 8*b. Are a and 403/6 nonequal?
True
Let j(a) = 27*a + 553. Let p be j(36). Which is greater: p or 1524?
p
Let o be (-18 - 4 - -20)*2/4. Is o > 2/9553?
False
Suppose 5*b + 4*y - 2 = 4*b, -b + 2*y + 26 = 0. Let m(a) = -20*a**3 + a**2 + 4*a + 3. Let t be m(-1). Suppose -t + 1 = -w. Do w and b have the same value?
False
Suppose 446*x - 464*x = 2250. Which is greater: 6 or x?
6
Let m be 893 - 21/7 - (-4)/(20/35). Does 893 = m?
False
Let k = -3 + 2.98. Let d = 9.6175 - 9.9175. Which is smaller: k or d?
d
Let n be (7/(-3) - -3)*(-9 - (-9 + 3)). Let w(a) = -a + 10. Let d be w(15). Which is smaller: d or n?
d
Let p = 195 + 1602. Is p equal to 1795?
False
Suppose t = 4*b + 4527, 0*t = -3*b - 5*t - 3401. Let u be 4 - 5/(-1400)*b. Which is bigger: 1 or u?
1
Suppose 9*h - 432 = h. Let y be 0 + 1 - 66/h. Let c = -49.4 + 49. Which is smaller: c or y?
c
Let x = 2.729 - -0.271. Let w be (-52495)/150 + 2/(-6). Let f = w + 350. Is x > f?
True
Let n = 65 + -53. Let i = n + 10. Is -0.1 at least as big as i?
False
Suppose -6*u - 5*x = -3*u + 37, -27 = 3*u + 3*x. Let l = -190 + 401.1. Let p = -211.2 + l. Is p at least u?
True
Suppose 0 = -108*x + 109*x - y - 6, 0 = 4*y + 20. Which is smaller: 1/4005 or x?
1/4005
Suppose -12788 = -3*w - 13787. Which is greater: w or -379?
w
Let a = -14222 - -14270. Is 1234/25 greater than a?
True
Suppose -351 = k - 390. Suppose 49 - k = 2*s. Which is smaller: s or -3?
-3
Let r = -0.34 - 0.46. Let o = 0.771 + r. Let g = 1.029 + o. Is g at least as big as 1/3?
True
Suppose -476*h - 36 = -479*h. Let d be (-3)/(h/28*7/(-1)). Which is smaller: d or 3?
d
Let q = 8735 + -11099. Which is bigger: q or -2363?
-2363
Let m be -30*(-36)/(-180) - 1*26082/(-4349). Is -1 <= m?
True
Let a(h) = -h**3 - 2*h**2 + 2*h + 1. Let v be a(0). Let s be (1 - 7)*1*v/(-129). Is s smaller than -1?
False
Suppose 14 + 5 = 5*n + 2*c, -4*n = -3*c - 6. Suppose 5*d + 3*m + 7 = 0, -n*d + 0 - 9 = -3*m. Let g be d + 5 - 4*(-1)/2. Is g greater than or equal to 48/13?
True
Let j(v) = -1378*v**2 - v - v**3 + 2*v**3 + 1384*v**2 - 8. Let z(p) = p**3 - p. Let i be z(-2). Let t be j(i). Do t and 0 have the same value?
False
Let f be -1182*310/2751525 + (94/30 - 3). Which is smaller: 0 or f?
0
Let t be 2 + (0 - 5) - 268. Let j = 298 + t. Is j bigger than 23?
True
Let v be (-20695)/10 + (-4 - 0) + -2. Let f = -2036 - v. Is f at most as big as 39?
False
Suppose -3*s = -842*o + 850*o - 220, o = -s + 65. Let m(t) be the second derivative of -t**3/6 + 30*t**2 + 3*t. Let g be m(0). Is s <= g?
True
Let o(h) be the second derivative of -h**4/12 + h**3/6 + 7*h**2/2 - 3*h. Suppose 1236 - 1224 = 4*x. Let y be o(x). Are y and -10/23 equal?
False
Let i be (2 + -24)*-15*10/(-15). Let r be i*(2 + 1)/(-6). Suppose 0 = -2*a + 7*a + 3*f + r, -4*a - 88 = -5*f. Are -0.2 and a equal?
False
Let p(m) = 22*m + 651. Let o be p(-32). Which is smaller: -36 or o?
o
Suppose 0 = -1226*g + 1254*g + 28. Suppose 3*w = -3, 2*w + 2*w = j - 1. Are g and j non-equal?
True
Suppose 4*k + 4*o = -1440, -3*k - 702 = 2*o + 380. Let s = 691529 - 10378367/15. Let f = k - s. Which is smaller: f or 0?
0
Let p be (-17784)/(-133) - 2/(-7). Suppose 1471 = 15*j - p. Let r = j + -123. Does r = -15?
False
Let j be (-40)/(-4)*(2 - 3) + 4. Let d be 24/6 - j/(-3). Which is smaller: d or 13/9?
13/9
Let o(f) = -2*f**2 - 9*f - 4. Let g be o(-6). Suppose 129*m = -639*m - 16896. Is g less than m?
False
Let z = -160 + 21. Let s = z - -291. Is s smaller than 154?
True
Suppose -15*f - 5*n = -19*f + 373, -3*f - 3*n + 327 = 0. Is 40 at most as big as f?
True
Let g = 860/741 + -217279/13338. Let j = 44/27 + g. Is -2/3 smaller than j?
False
Let r(x) = x - 4. Let t = 59 + -46. Suppose 4*c + 3*b + 3 = 0, 11*b - 6*b = -4*c - t. Let a be r(c). Which is bigger: -5/11 or a?
-5/11
Let g be 114/27 + (-7)/(126/4). Suppose 3*i = -7*i + g*i. Which is bigger: -1/29 or i?
i
Let u = -4 + 1. Let k(h) = -h - 4. Let w be k(u). Let r(n) = -2*n**3 - n**2 + 20*n + 20. Let f be r(-1). Which is smaller: f or w?
w
Let o be (3 - 203/56)*666/45. Let r = 418959/28 - 14954. Let z = o + r. Are z and 4/7 unequal?
True
Let h(r) = 2*r**2 + 24*r - 24. Let b be h(-13). Suppose 2*l - 9 = -5*j, 5*j = b*l - l + 3. Let o = -10.2 + 11. Which is bigger: j or o?
j
Let q(g) = g**3 - 4*g**2 + 5*g - 1. Let u(o) = 2*o + 1. Let i be u(2). Let p be q(i). Let w be (29/9 - 8/36) + (406 - 360). Is p at most as big as w?
True
Let y(l) = 8*l**2 - 45*l + 2. Let p = 222 - 216. Let a be y(p). Which is bigger: 0.1 or a?
a
Let n = 1724/43 + -1714778/42785. Which is greater: n or -1?
n
Let n = 10165 + -335545/33. Let j = n - -26/11. Let q = -546 + 550. Is q at least as big as j?
True
Let s be ((-79)/2 + 2)*485/(-105)*-14. Are -2426 and s equal?
False
Suppose -28*j - 4620 + 1446 - 2118 = 0. Suppose -2*r = 306 + 70. Is r >= j?
True
Let k = -2/7599 + -7355/927078. Which is smaller: k or 0?
k
Let c(j) be the third derivative of j**4/8 - 18*j**3 - 275*j**2. Let q be c(36). Are 155 and q nonequal?
True
Let h be (11/(154/(-36)))/(57/21 + -6). Which is smaller: 5 or h?
h
Suppose 10 = -2*t - 2. Let m be (t*1)/(-15 + 2). Which is bigger: m or 0?
m
Suppose -3*p + 6 = -9. Suppose p*o - 5*s = -582 - 738, -3*o - 796 = -5*s. Are -262 and o equal?
True
Suppose 8*x = 4*x. Suppose 133*y = 40*y - 465. Which is smaller: y or x?
y
Let v be (8835/4 - (-56)/(-224))/(5/(-10)). Which is bigger: v or -13255/3?
v
Let r = 265.91 - 218. Let v = 0.91 - r. Let j = 74 + v. Which is smaller: -1 or j?
-1
Let