 -2*b + 4*c - 124 = 0, -c + 220 = -2*b - 2*b. Let m be ((-2)/20)/(15/b). Let z = 111/100 - m. Is z < -0.1?
False
Let y = -10 + 9. Let k = 1964/229515 - -2/1177. Which is smaller: k or y?
y
Let s = -30 - -42. Let a = s - 17. Let t be 1/7 - 24/21. Which is bigger: t or a?
t
Let r = 46.5 - 35.52. Let l = -0.02 - r. Let s = l + 10.94. Which is smaller: -1 or s?
-1
Let a = -58.354 + 58. Let g = a - -0.154. Suppose -1 + 5 = 3*x - h, x + 3*h = -2. Which is bigger: x or g?
x
Suppose 3*l = l - 492284. Let x = 20921687/85 + l. Let p = x - -46/17. Which is bigger: p or -3?
p
Suppose -4*u = -v - 0*u + 180, -5*u + 950 = 5*v. Does v = 185?
False
Suppose -2*i + a = 3*a - 288, -448 = -3*i + a. Which is smaller: i or 147?
147
Let g be (-12 - (2 - 0)) + 1. Let r = g - -13. Suppose r*p = -p. Is p greater than 1?
False
Let w be (-3*16/6)/(1 + -3). Let v be ((-2)/10)/(w/50). Is v greater than 1?
False
Let b(v) = -8*v**3 + 2*v**2 + 2*v + 1. Let d be b(-1). Let g(a) = 2*a + 15. Suppose 3*k = -i - 18, -3*k = -3*i + 2*i + 12. Let x be g(i). Is x > d?
False
Let l be 5852/1225 - 1*-1. Let c = -41/7 + l. Suppose 2 = -m - 2*p, -4*m + 0*m - 4*p - 4 = 0. Which is smaller: c or m?
c
Let r = 200 + -186. Which is greater: 17 or r?
17
Suppose -3 = -2*r + 7, -4*j + 294 = -2*r. Let h = j - 48. Let y be (-20)/h - 2/7. Is y less than or equal to 2/9?
True
Let p be ((-42)/112)/((-3)/2). Which is bigger: 209 or p?
209
Let q(s) = -5*s + 24. Suppose 0 = 23*n - 29*n + 30. Let o be q(n). Which is smaller: 4 or o?
o
Let b(o) = -o + 6. Let a be b(6). Let r be 30*2 + -1 + 20/5. Let p be 4/18 - (-76)/r. Which is bigger: a or p?
p
Let n(l) = 3*l**2 + 9*l + 99. Let w be n(-9). Do w and 0 have different values?
True
Let l be (30/10)/((-3)/(-5)). Let n(z) = -6*z + 1 + 3*z**2 + 2 - 2*z**2. Let q be n(l). Is -9/5 greater than q?
True
Suppose 2688 = -5*a + 718. Which is smaller: a or -393?
a
Suppose 0 = -405*v + 402*v - 90. Which is greater: v or -27?
-27
Let n = -77 + 78. Which is bigger: n or -1/81?
n
Let b(q) = -119 - 2*q + 7*q + 130. Let o be b(-3). Is -4 != o?
False
Let z(k) = -6 - k + 14 - 6. Let i be z(1). Let a = 0.2 - 0.2. Which is bigger: i or a?
i
Let m(k) = 4*k**2 + 3*k - 9. Let n be m(-12). Let o be (n/(-525) - -1)*5. Let c be ((-2)/(-3))/((-6)/9). Are c and o non-equal?
True
Let i = -1016 - -930. Which is bigger: -87 or i?
i
Let g(i) = i - 8. Let q be g(5). Let a be (q - (-25 - -3)) + -1. Let o be -3*4/a*3. Which is greater: o or -1?
-1
Let u(p) = p - 10. Let l be u(7). Let b(g) = g**3 - 14*g**2 + 26*g. Let k be b(12). Let n be 2/l - k/(-27). Is -1 greater than n?
False
Suppose 0 = k + k - 12. Suppose -k + 66 = -5*i. Let q = -12 - i. Which is bigger: q or 1/3?
1/3
Suppose 2*i + 4 = 14. Suppose -4*t = -3*z - 110, 4*z - i*z = -2*t + 38. Let o = -30 - z. Which is greater: 8/3 or o?
o
Let j be 14/(-3)*228/(-133). Let u(l) = -3*l. Suppose 2*o + 4*w = -w - 21, -o - 5*w - 18 = 0. Let n be u(o). Do n and j have the same value?
False
Let p = 0.05 + -0.55. Let v = -3.74 - -0.24. Let y = p + v. Which is smaller: y or 2/7?
y
Let h be (-44)/(-55) + (-1742)/(-10). Let q = 63 - h. Let i be (1/(-2))/(8/q). Which is bigger: 6 or i?
i
Let r be (-1920)/(-240) + (-1358)/171. Are r and -2 non-equal?
True
Let f be (-2)/(-2)*12/(-60)*1. Let m(u) = u**3 - 5*u**2 - 5*u - 5. Let o = 9 - 3. Let a be m(o). Is f at most a?
True
Let l = 114 - 225. Which is smaller: -112 or l?
-112
Let v = 9.7 + -9.726. Let q = 0.526 + v. Is 1/7 greater than or equal to q?
False
Suppose -4*f = -27*f - 138. Are f and -40/7 equal?
False
Let i = -30 - -61. Let w = i - 14. Let s = 17 - w. Is 1/4 bigger than s?
True
Let n = 567 - 2289/4. Is -4 at least as big as n?
True
Let g = 0.3 + -0.4. Let r = -24 - -72. Let z = r - 47. Is g != z?
True
Let w be (-15 - 0)/(-22 + 13 - -10). Is w greater than or equal to -55/4?
False
Let z(w) = -6 - 4*w + 2*w + 2. Let i be z(15). Is -35 <= i?
True
Let m = 8 + -7.96. Let l = -32.96 - -34. Let x = l - m. Is x at most as big as -3/2?
False
Let g = 83/222 - -41267/2442. Which is bigger: 18 or g?
18
Let z(l) = l**2 + 30. Let x be z(0). Let t be 4 + -62 + -7 + 4. Let u = -32 - t. Which is bigger: u or x?
x
Let c = -7994/27 + 296. Suppose 15 = -28*j - 13. Which is greater: c or j?
c
Let o = -432 + 1252. Let y be 2/12 + 1 + o/24. Is 34 < y?
True
Let q(p) = -p + 27. Let g(s) = s - 28. Let z(k) = 3*g(k) + 4*q(k). Let c be z(21). Is c at most as big as 1?
False
Let u = 3/443 + -985/14619. Which is greater: -4/5 or u?
u
Let c = 10 - 2. Let k(z) = 5*z - 23. Let o be k(c). Which is greater: 16 or o?
o
Let y be 62/(-3348)*(-4)/82. Which is greater: y or -1?
y
Suppose -31*o = -28*o - 12. Suppose 4*u - 4*h + 12 = 0, 2*h - o = 4*u + 2. Which is smaller: -2 or u?
-2
Let i = 62 - 63.55. Let h = -0.55 - i. Which is smaller: 1/4 or h?
1/4
Let r = -316/345 - -8/69. Which is smaller: r or -2?
-2
Let z(a) = a**3 - 4*a**2 - a + 5. Let d be z(4). Let t be (-1355)/335 + -4*1/(-1). Let k = 167/737 + t. Which is smaller: d or k?
k
Let y be (0/10)/(0 - 1). Which is smaller: 1/275 or y?
y
Let s = -89/77 + 1/77. Suppose -2*b + 4*f = -0*b - 30, -3*b = 5*f + 10. Suppose -1 = b*k + 4. Is s at least k?
False
Suppose 4*z + 30 = 10*z. Suppose 5*b - z = 5*y, 14 = 2*b - 3*y - 2*y. Let j be (10/b - -2)*3. Which is greater: -2 or j?
-2
Let n be (3 + 1 - 1) + -1. Let b = 0.2 - 104.2. Let j = b + 100. Do n and j have the same value?
False
Let y = -178.7 - -180. Which is bigger: 2 or y?
2
Let r be 8 + 3 + 6*-1. Suppose -a - 2*p = 3*a + 20, -a = -5*p - 6. Let d be ((-6)/a)/(3/10). Is r smaller than d?
False
Let c(i) = 90*i + 2. Let z be c(2). Let s be 2/6 - z/(-21). Let k = -17 + s. Is -6 <= k?
False
Let w(a) = -a**2 - 5*a + 6. Let t(k) = k**2 + 5*k - 6. Let y(i) = -3*t(i) - 2*w(i). Let h be y(3). Is h equal to -19?
False
Let h = -8 + 9. Suppose 16 = 4*v - 0*v. Which is smaller: h or v?
h
Suppose -104*i + 108*i - 24 = 0. Are 0.05 and i unequal?
True
Let l = -1 + 1. Let p be (-2)/6 + (110/(-15) - -7). Is p >= l?
False
Suppose -3*m = -2*n - 28, 0 = -0*m - 2*m + 2*n + 22. Let p be (1 + -3)/(-6)*m. Suppose -5*c + 7 = -y - y, p*y - 23 = -5*c. Which is smaller: y or 10/3?
10/3
Let x(g) = 33*g - 24. Let j be x(3). Let c = -76 + j. Is -1 bigger than c?
False
Let h be (-49)/(-2) - 6/12. Let o be (-44)/6*(-12)/h. Which is smaller: 5 or o?
o
Let z = -517 + 362. Which is greater: -619/4 or z?
-619/4
Let l = 271 + -562. Is -1 less than or equal to l?
False
Let k = 115 - 116. Is -3/65 less than k?
False
Let o = -0.03 - 2.67. Let x = -2.7 - o. Let r = -3 + 3.2. Are r and x equal?
False
Let k = -0.364 - -0.264. Let u = 3.3 + -3. Let t = -0.7 - u. Do t and k have the same value?
False
Suppose -1 = -5*m - 11. Let i(f) = f - 2*f**2 - 5*f**3 + 1 + 6*f**3 - 2*f**3. Let u be i(m). Which is smaller: -2 or u?
-2
Let k(z) be the first derivative of -1/3*z**3 - 1 - 2*z**2 - 4*z. Let p be k(-3). Which is greater: 2/13 or p?
2/13
Let h = 5.953 - 0.953. Which is smaller: -11 or h?
-11
Let b = -8 + 7.09. Let h = 0.81 + b. Which is smaller: -0.06 or h?
h
Suppose 4*f - 24 + 8 = 0. Let d be (((-474)/(-88))/1)/(3/2). Let q = d + -1/11. Is q bigger than f?
False
Let v be 15/10 + 2/(-4). Let g be ((4 - 2) + -2)/1. Suppose g = 2*w + 2*w. Which is bigger: w or v?
v
Let k(s) = 2*s**2 + s + 1. Let h be k(-1). Let g(u) = u**3 - 3*u**2 + 2*u + 2. Let v be g(h). Suppose 0 = 3*j - v*j. Do 0 and j have the same value?
True
Let f = -6485047/13747 + -57141/233. Let s = -717 - f. Which is greater: s or 1?
1
Let s(f) = f**3 + 4*f**2 + 2*f + 3. Let k be s(-4). Let t = k + 8. Suppose 0 = -t*m - 3 - 0. Is 1/5 >= m?
True
Let z = -122 - -97. Is z greater than -27?
True
Let b = 6784 + -6791. Let u be 22/(-6) + 2/(-6). Is b at most u?
True
Suppose 658 = u + 657. Which is bigger: 18/181 or u?
u
Let k be 2/(-3 + 20/12). Let a = -7/6 - k. Let q be (-1)/(9/(1 + 2)). Which is bigger: a or q?
a
Let r be 6 + ((-1)/917)/(3/16503). Which is greater: 0 or r?
r
Suppose -5*f = -4*m + 4, 2*f - 4*f = 8. Suppose -j - 48 = -3*o + 2*o, o = 2*j + 91. Let k = j - -39. Is m equal to k?
True
Let y be (-5)/3 - (-3)/(-9). Let k be y/42*3*-2. Which is smaller: 0.3 or k?
k
Let n be (-2 - -624)/(-2)*5/(-5). Does 312 = n?
False
Suppose 0 = 3*o + r - 140, -o + 0*o - 5*r = -42. Suppose 43*z - o*z = -4. Is -1/61 bigger than z?
