uppose -2*j = -6, 0*b - j + 24 = b. Let w be (-2 - b/(-18))*12/75. Which is smaller: w or -1?
-1
Suppose -2*w - 2*w = 92. Let k = -1155 - -1131. Is w at most as big as k?
False
Let k be (9/(-5) - -1)/(4/(-30)). Let h be k/4 + (-48)/36. Does h = -1/5?
False
Let i = -28 - -18. Let a = i - -6. Let r = -25 - -15. Which is smaller: r or a?
r
Let x = 95068/331 + -37004458/26149. Let j = x + 1128. Which is smaller: 0 or j?
0
Let o = -9.5 - -8. Let n = o - 0.5. Let h be (-3)/(-9)*(3 + -4). Which is smaller: n or h?
n
Let c = 1 + -2. Let r = 2019/47 + -43. Which is bigger: c or r?
r
Let l = -77 + 2. Let f be ((-41)/l)/((-216)/(-60)). Let j = f + 2/135. Is 0 smaller than j?
True
Let x(k) = 13*k + 2. Let v be x(1). Let q be 29/2 + (-12)/(-16). Which is smaller: q or v?
v
Let p be (-16)/520*-13 - 3104/10. Which is smaller: -309 or p?
p
Suppose -3 = -h, -4*a + 2*h = -h + 25. Let x be (a/(-10))/(22/(-10) - -1). Which is bigger: x or 0?
0
Let n(p) = -19*p - 1. Let x be n(1). Let r be (12/10)/(4/x). Let j be (1*(-8)/12)/r. Is 1 at least j?
True
Let g = 2.056 + -0.056. Let u = -9 + 10. Let l = 4 - u. Which is smaller: l or g?
g
Let v = 204 + -203.97. Which is smaller: 0 or v?
0
Let y be 20/6 - 4/2. Let j = -509/70 + 87/10. Let q = j - y. Which is smaller: q or 0?
0
Let i = -16.82 - -17. Let g = i + -5.18. Let q = 5.5 + g. Is 2 at least as big as q?
True
Let a be (6/12)/(9/6 + -2). Let v be 11/11*3/a. Which is smaller: -4 or v?
-4
Let p(m) = -6 - 13 - 4*m - 6*m - 15*m + 2*m**2. Let j be p(14). Is j equal to 24?
False
Let y(o) = -4*o + 6*o + o + o**2 + 0 + 2. Let g be y(-3). Suppose -2*a = -4*a - 4. Is a not equal to g?
True
Let k = 5 - -1. Let j = k + -6. Is j bigger than 16/7?
False
Let h(i) be the second derivative of -i**5/20 - 7*i**4/12 + 2*i**3 + 5*i**2/2 + 15*i - 1. Let s be h(-9). Is s smaller than 59?
False
Let x be (-144)/56*(-7)/2. Let z = 28/3 - x. Is -0.63 at least as big as z?
False
Let u be 3 + 2 - 6/(594/711). Which is bigger: u or -2?
-2
Suppose 0 = 11*g - 9*g - 6. Let s be (-5)/g - 6/18. Let w(l) = -3*l**2 - l + 1. Let k be w(1). Which is greater: s or k?
s
Let a be (-1)/(-6)*2*-3. Let c be 0 + -1 + 4/6. Let o = -4/15 + c. Which is smaller: a or o?
a
Let w(r) = -r**3 + 9*r**2 + 3*r - 36. Let g be w(9). Which is bigger: -13 or g?
g
Let j(v) = -23*v - 23*v + 47*v + 9. Let q be j(-11). Which is bigger: 11 or q?
11
Let s be ((-2)/(-28))/((-424)/371). Suppose -1 = -5*u + 4. Are s and u equal?
False
Suppose 3*z + 4 = 4*z, 5*i = 3*z - 7. Which is smaller: i or 3?
i
Let s be (3*3)/(24/(-32)). Let i be (-9)/3*(-4)/s. Is -1/4 >= i?
True
Let c(u) = 2*u**2 + 9*u - 28. Let h be c(-8). Is h greater than or equal to 30?
False
Let q = 5.06 + -5.15. Which is smaller: q or 4?
q
Let x = 23 - 21.2. Let d = x - 2.7. Let h = 0.157 - 0.257. Are d and h equal?
False
Let c = -14 + 13.5. Let p = -2.6 + 0.6. Let d = 3 + p. Which is greater: d or c?
d
Suppose 3*j - 66 = -5*u, -2*u + 30 = u - 3*j. Suppose u = 2*h + 6. Is 3 greater than h?
False
Suppose 2*b = 3*b - 1. Is b smaller than 1/205?
False
Let u = -1183494431 - -126127368501421/106572. Let k = u - -1/996. Is k not equal to 0?
True
Let u = 203.4 + -205. Which is smaller: u or 1?
u
Let l be (-152)/57 + (-1)/3. Let r(c) = -c**3 - c**2 + 4*c. Let a be r(l). Which is bigger: 8 or a?
8
Let p = 59 + -52. Let i(z) = z**3 - 6*z**2 - 5*z - 4. Let m be i(p). Is 11 < m?
False
Suppose 40*c - 35*c = 15. Suppose 4*n - 34 = 5*v, 0 = 5*n - c - 2. Suppose 0 = 4*b + 3*f - 8, 0*f + f - 1 = -3*b. Which is bigger: v or b?
b
Let i be (-85 - -13)/12 + 6. Is -19/21 > i?
False
Let q = 2 - 2. Let d be -6 - (1 + (q - 1)). Let x = d + 3. Is x not equal to -3?
False
Let g = 3.03 - 4.13. Is g smaller than 0.1?
True
Let k = -3.65 + 3.797. Are -1 and k unequal?
True
Suppose 0 = 4*c + 2*i - 50, 0*c - c - i = -12. Suppose 0 = 16*z - c*z. Suppose -4*j + j = z. Is j not equal to 2/5?
True
Let u = 0.06 + -0.1. Let c = -5 - 0.6. Let m = c - -5.9. Is u > m?
False
Suppose -43*b + 42*b + 8 = -k, -5*b + k + 28 = 0. Which is greater: 2 or b?
b
Let d = 116 + -115. Let g = -913/23193 - -2/859. Which is smaller: d or g?
g
Let b be 2/(-42)*(-34)/238. Is b greater than or equal to 0?
True
Let n be (-6)/7 + (-602)/98. Suppose -18 = 3*a - j, -2*a = 3*a + 4*j + 47. Is n at least a?
True
Let m be 2/((-10)/(-41)) + -1. Let d be -2 + (-6)/(-1) + 13332/(-1210). Let j = d + m. Is j greater than or equal to 0?
True
Suppose 46 = -5*z + 4*p, 5*z + 4*p + 34 = 5*p. Which is greater: -4 or z?
-4
Let i = 24 - 11. Let z = 15 - i. Suppose 0 = 3*j - d - 6, -9 = j - 4*j + z*d. Is j at most 2/23?
False
Let x be -2 + -4 + 251/(-2). Let u = x + 2873/22. Which is smaller: 0 or u?
u
Let t = 1/4 - 39/28. Suppose 5*n + 5 + 0 = 0. Which is smaller: n or t?
t
Let b = -1157 + 1157.2. Is 0 equal to b?
False
Let b = -64 + -7. Are -71 and b nonequal?
False
Let a = 227 + -274. Which is bigger: 2 or a?
2
Let c be (7 - 472/60) + 6/5. Is c greater than or equal to 115?
False
Let c be 1 + (-16)/10 - (-4480)/7175. Are 0 and c non-equal?
True
Let o = -179 - -438. Which is greater: 1 or o?
o
Let n(q) = q**2 - 4*q - 53. Let w be n(0). Let k = w + 52. Does k = 4/33?
False
Suppose 3*m - 5*y + y = 48, -3*m - 2*y = -30. Suppose 0 = 9*u - 7*u + m. Is -6 > u?
False
Let f be (-24)/(26/(-10) + 3). Let o be (f/7)/((-8)/(-56)). Let j be (0 - 3)*(-16)/o. Is 0 >= j?
True
Let s be ((-20)/15)/((-68)/6). Let d(v) = v - 2. Let c be d(7). Suppose -r = -6*r - c*j + 25, 0 = -r - 5*j + 25. Which is smaller: s or r?
r
Let f = -2.1 + 2.9. Let a = 2.1 - f. Which is bigger: -1 or a?
a
Suppose -q + 4*y = 2*y + 6, 4*y = -q + 6. Let n be (-1 + -1)/(3 + q). Is n != -6/7?
True
Let r be (-927)/(-36) + 2/8. Let s be (-169)/r - (-1)/(-2). Let w = 4 + s. Is 0 <= w?
False
Let u = -725 - -735. Let h = -0.3 + 0.3. Let g = 0.1 - h. Is g <= u?
True
Suppose 2*u - 9 = t, -t = 5*u - 2*t - 18. Let n be 99/(-165) + 4/((-280)/(-262)). Is n less than u?
False
Let m(g) = -g**2 + 4*g + 10. Let t be m(5). Suppose 3*c + c - 142 = -j, 0 = 5*c - t*j - 190. Which is bigger: 37 or c?
37
Suppose 21*x - 2723 = 1456. Is x smaller than 197?
False
Let g = 893 + -916. Is -24 at least g?
False
Suppose -5*v - 643 - 152 = 0. Does v = -1?
False
Let q be (126/1008)/((-1)/(-102)). Let v = -0.8 - 0.2. Which is smaller: q or v?
v
Let l be (-21)/(-12) + 1/4. Let x = -1.09 - 2.05. Let r = x + 0.14. Which is smaller: l or r?
r
Suppose 4*r + 264 = 260. Suppose k - 3 = 3. Suppose 2*w - 10 = -2*o, -k = 3*o - 5*w + 19. Which is greater: r or o?
o
Let p(u) = -5*u + 74. Let a be p(15). Is a equal to 2/687?
False
Let v(j) = -67*j**3 - 4*j - 5. Let s be v(-1). Which is smaller: 65 or s?
65
Let j be (36/20)/(6/4). Let c = 36.9185 - 0.0185. Let y = 37 - c. Is y at least as big as j?
False
Suppose 4*z = z - 9. Let i be 0 + -7 + (-1 - (-1 + -2)). Which is smaller: z or i?
i
Let k = -6010 + 198350/33. Is 0 greater than k?
False
Suppose -2*l - 16 = -h - 12, 5*l - 3 = -4*h. Are -51/19 and l equal?
False
Let o(h) = -h**2 - 18*h + 19. Let l be o(-19). Suppose -y + 5*y - 5*y = l. Which is smaller: 4 or y?
y
Let k = -6 + 8. Let v = 86.1 - 10.1. Let i = v + -87. Which is bigger: k or i?
k
Let m be (8 + -6)/(-1 - -2). Let p(a) = a**3 - 16*a**2 + 14*a + 19. Let k be p(15). Suppose -y + m + k = 0. Are y and 6 unequal?
False
Let v = -18.8 + 5. Let k = 16 + v. Let r = k - 2.7. Do 2/3 and r have the same value?
False
Let y be 1 - ((-52)/(-25) - 1). Let u = -241 - -241.2. Are u and y non-equal?
True
Let y = 45 + -39. Let s = 10.89 + 0.11. Let v = s - y. Which is greater: v or -2?
v
Suppose -5*c - 3*m = -272, -3*c - 5*m = 14 - 174. Suppose 0 = -0*q - 3*q - 2*s + 169, 0 = q - 2*s - 51. Is q at most c?
True
Let g = 128.17 - 129. Let x = g + 0.74. Is x > -3/2?
True
Let c = -42 - 100. Let l = 141.8 + c. Let o = 5.96 + 0.04. Is l != o?
True
Let o be (-31)/(-3) + (-1)/6*2. Suppose 2*h = o + 2. Which is greater: -0.1 or h?
h
Suppose 2*n + 5 + 1 = 0. Let b = -14 - n. Let z(q) = -193*q - 1168. Let i be z(-6). Which is bigger: i or b?
i
Suppose 3*k = 2*x + 3, 4*k + 3*x + 2*x = -19. Let y be -24*(-2 + 3)*k. Suppose -y = -0*g + 3*g. Which is smaller: g or -2/7?
g
Suppose 0 = -4*w + i + 565, -3*w - 2*i + 419 = 2*i. Let n = w + -189. Are n and -49 equal?
False
Let m be (-544)/170*1*220/(-36). Which is bigger