 2*s + 2*x, -5*s - x = -50. Suppose -2*b = -6*b - 2*l - 30, 3*b + s = l. Is 0.2 <= b?
False
Suppose -4*r - 3*i + 12 = 0, -8 + 2 = -2*r + 4*i. Suppose r*h = 3*v + 21, 1 = -4*v - 4*h - 3. Which is smaller: -5 or v?
-5
Let o = 26 + -27. Which is smaller: -29 or o?
-29
Suppose 0 = -3*n + o - 5*o + 575, n = -3*o + 200. Let k = 5919/32 - n. Let u = -15/32 + k. Is u less than or equal to -2?
False
Suppose -1 = -u + 3. Suppose 5*f = y + 9, -y + 3 = -3*f + u*f. Let g be 0/y - (3 + -4). Does 4/5 = g?
False
Suppose 2*r - 2*k + 4 = 0, r + k + 3 = 1. Let g be 30/(-5)*r/34. Which is bigger: 1 or g?
1
Let o = 5 - 3. Suppose o*v = -v. Suppose 4*p - 6*p - 4 = v. Is p <= -2?
True
Let i = -10 + 10. Suppose p + 5*v + 31 = i, -5*v = -2*p + 19 - 6. Is p bigger than -6?
False
Suppose q - 4*q - 17 = -d, 3 = -d - q. Let a be 2/4 + d/(-4). Suppose 3*g = -s + 10, 4*s + 2 = -0*s + 2*g. Is a bigger than s?
False
Let j = -30 - 98. Let g = 380/3 + j. Is g < -1?
True
Let d be (-21)/(-6) - 9/6. Let h be d*(-3)/(-2) - 1. Is 6/7 greater than h?
False
Let v(h) = -2*h - 5. Let p be v(-4). Let o = p + -2. Are o and 2/3 equal?
False
Let w be (-4)/(-6)*30/4. Let l be 7 - (-2 + 1) - 3. Suppose -z - w*x = -22, -14 = -l*z - 4*x + 12. Which is bigger: 1/2 or z?
z
Let f(s) = s + 4. Let l be f(-5). Let v be 0 - (-663)/88*-2. Let h = -61/4 - v. Which is smaller: h or l?
l
Suppose 2*k + 4 = 10. Is k < 5?
True
Let z = 44 + -43. Is z equal to -2/31?
False
Suppose 2*x + 20 = -2. Let f = x - -56. Suppose -40 = 5*i + 3*j, -6*i + i - 4*j = f. Which is greater: i or -4?
-4
Let n = 5 + -5. Let z(f) = f - 1. Let b be z(n). Let i = -61 + 795/13. Is b bigger than i?
False
Suppose -7*z + 4*z - 6 = 0. Let r(b) = -b**3 + 2*b**2 + 2*b. Let m be r(3). Let x = 2 + m. Which is smaller: z or x?
z
Let m be 0/(3/(-1) - -1). Let p = -1 + 3. Let g = p - 3. Which is bigger: m or g?
m
Suppose 2*f - 4 = 5*n, -2*n - 3 = -f - 0*n. Suppose -5*o = -j - 37, -2*o + 15 = j - 4. Which is bigger: o or f?
o
Let a = -5 - -4. Suppose -2*p - 12 = 4. Let l be 44/(-16) - (-2)/p. Which is greater: l or a?
a
Suppose -f - 1 = 0, -2*m = m + f + 1. Suppose 2*b + 3*b = m. Which is bigger: b or -4/7?
b
Suppose -2*y + f - 14 = -5*y, -4*y + 4*f = -8. Suppose 2*x + 4*a = a - 4, -3*a = 0. Which is greater: x or y?
y
Suppose -2*w + 15 = -3*x, 3*x + x - 3*w + 20 = 0. Let o = 1 + x. Let l be (o/(-8))/(-2 - -1). Is l greater than -4?
True
Let r = -26 + 40. Let i = -13 + r. Which is smaller: 2/7 or i?
2/7
Let j be (-1)/(-4) + 32674/312. Let f = j - 964313/9165. Let y = f + 2/47. Which is smaller: y or 3?
y
Suppose 7*o - 2*o - 2*n = -132, 5*n = 5*o + 135. Let d = o + 77/3. Let i = -82 - -82.2. Which is smaller: i or d?
d
Let z = 314/5 - 63. Is 0 bigger than z?
True
Suppose 4*z + 28 = 5*v, 5*z = 4*v + v - 25. Let u = -8 + v. Which is bigger: -2/7 or u?
u
Suppose 5*w - 2*w = -5*x + 120, -2*w + 79 = 3*x. Is 37 bigger than w?
True
Let f be 6*1*(1 + -49). Let t = -2010/7 - f. Which is smaller: 0 or t?
0
Suppose -4*s + 48 = -4*w, -5*w + 8*w - s = -34. Is -12 < w?
True
Let c = -90/13 - -7. Let o = c + 9/52. Let v = 0.5 + 1.5. Is v < o?
False
Let q(n) = -n**3 - 6*n**2 - 4*n + 6. Let u be q(-5). Suppose 29 = -5*m - u. Let p be 2/8 + (-116)/16. Is m smaller than p?
False
Let k = 13 + -8. Suppose 0 = s - k*s + 4. Let p(i) = i**3 + 2*i**2 - 2*i - 2. Let q be p(-2). Which is smaller: s or q?
s
Suppose 3*n + 0*n - 9 = -u, 2*n - 5 = -u. Suppose 1 + 5 = x. Is n bigger than x?
False
Let i be (-18)/14 + 1 - (-105)/539. Is -1 less than or equal to i?
True
Let v = 25 - 24.79. Let r = v - -1.09. Let p = r + -0.3. Is p >= -0.3?
True
Suppose 3*u = -22 - 17. Is -13 at least u?
True
Suppose 4*g - 10 = 6. Let x be ((-7)/14)/((-2)/8). Which is smaller: g or x?
x
Let m(j) = -j**3 + 3*j**2 + 7*j - 11. Let h be m(4). Let k be (-1)/(5/6)*-1. Which is smaller: k or h?
h
Let z = 2/139 + 1892/3753. Is z < 2?
True
Let z(i) = i + i - 1 - 2. Let l be z(3). Suppose 8 - 4 = -2*m, -l*v + 5 = -4*m. Is -1/13 > v?
True
Let n = -10 + 5. Let f = 3.96 + 0.04. Let t = f + n. Are 1/4 and t nonequal?
True
Let a = -16 - -15. Which is bigger: 17 or a?
17
Suppose 3*c + 13 = 2*z, 0 = 2*c - 6*c + 2*z - 14. Is -1/13 < c?
False
Let o be 1/(2*(-1)/4). Let z be (-1 - 0) + 11 + -3. Let q = 4 - z. Is o > q?
True
Let l = 0.23 + -1.23. Which is greater: 21 or l?
21
Let j be (-16)/210*(-3)/(-4). Is j equal to 1?
False
Let u(j) = -j**3 + 5*j**2 + 7*j + 12. Let y be u(7). Is y bigger than -36?
False
Let s(h) = 2*h. Let o be s(4). Are o and 9 non-equal?
True
Let z be (-3 - (-4)/2)*-2. Do z and 5/4 have different values?
True
Let q = 1 - -1. Are q and 0.1 nonequal?
True
Let o(h) = -h + 5. Suppose -s + 2*i = -7, 5*s - 2*i = s + 22. Let b be o(s). Which is smaller: 1 or b?
b
Let q(r) = 20*r**2 + 17*r + 8. Let u(i) = -7*i**2 - 6*i - 3. Let y(x) = 6*q(x) + 17*u(x). Let h be y(0). Is h at least as big as -5?
True
Suppose 4*o = 5*z - 20, -5*o - 2*z = -z - 4. Which is smaller: o or 7?
o
Let m(v) = v + 2. Let w(c) = -6*c - 11. Let r(x) = 11*m(x) + 2*w(x). Let k be r(-2). Suppose 10*s - 12*s = -4. Is s less than or equal to k?
True
Suppose -2*z - 30 = 14. Is -22 greater than z?
False
Let b = 4/35 - -1357/70. Let s = b + -20. Which is bigger: -1 or s?
s
Suppose 2*m = m + 2*d, -2*m - d = -10. Suppose m*q = -0*q - 88. Let u be -2*(46/q - -2). Which is bigger: u or 1?
1
Let c = -1801/40 + 45. Suppose 2*v + 5*z = -22 - 5, 3*z = -3*v - 18. Is v less than c?
True
Suppose 0 = -5*h + 29 + 11. Let l be 3/12 - 34/h. Let o = -1 - l. Which is bigger: 4 or o?
4
Let m = -0.5 + 0.2. Let n = m - -0.2. Which is smaller: n or -1?
-1
Let o be (2/(-2) - -1)/(-1). Which is bigger: -1/23 or o?
o
Let z = 2437/65 + -189/5. Which is smaller: 1 or z?
z
Let v = -9798842589/193 - -2812424385253843/55394088. Let o = v + 1/23918. Let y = o + 21/8. Are y and -2 non-equal?
True
Let z = -3.9 - -3.8. Let s = 0.1 + -0.3. Which is smaller: s or z?
s
Let n be (-2)/1*(-2)/(-34). Let h be (2/8*0)/(1 + -2). Which is bigger: n or h?
h
Suppose 0*v + 3*v = 486. Let t = 986/131 - 155194/917. Let g = v + t. Is g != -1?
True
Let t = -2 - 3. Let k = -7 + t. Which is smaller: -1 or k?
k
Let y = 74 - 75. Let x be 2 - 2/(26/29). Which is greater: y or x?
x
Suppose 981 = j + 263. Let h = 19388/27 - j. Which is greater: h or 1?
1
Let y = 87 - 88. Let k = -0.9 - 0.1. Is y < k?
False
Let v = -7 - -7. Are v and 1/6 nonequal?
True
Suppose -3 - 3 = 2*q. Let g = -4 - q. Which is greater: 1/26 or g?
1/26
Suppose -3*s + 12 = 5*i, i - 4*i = 0. Let h be ((-30)/50)/(6/s). Which is bigger: 1/3 or h?
1/3
Let v = 0.6 + -0.7. Let y = v - 0. Which is bigger: 5 or y?
5
Suppose 3*c + 109 = -5*v, -15*v - 79 = 2*c - 18*v. Does -38 = c?
True
Let c be 18 + -18 + 126/(-1). Let f = 1142/9 + c. Which is smaller: 1 or f?
f
Let q = 2 + -2. Suppose -4 = -2*o - q. Is o < 1?
False
Let w = 2587/7 + -369. Which is smaller: w or 2?
w
Let c(y) = y**3 + 6*y**2 - y - 17. Let a be c(-5). Let d = 29 - 17. Is a at least as big as d?
True
Suppose -28*p = -22*p + 222. Is p >= -38?
True
Let j = 193 + -306. Are -113 and j unequal?
False
Let w be (2/(-5))/((-117)/(-65)). Which is bigger: 3/5 or w?
3/5
Let f = -8 + 13. Let s = -6 + 12. Let i = s - f. Are i and 1 equal?
True
Let g be 1/3 + 10/6. Let y = -52 - -56.9. Let k = 5 - y. Which is smaller: g or k?
k
Let a(b) be the third derivative of -b**4/24 + 7*b**3/6 - 2*b**2. Let z be a(6). Let l(m) = -m**3 + m**2 - m + 1. Let v be l(z). Is 0 at least as big as v?
True
Suppose -4*j - 32 = 4*l, -5*l = 4*j - 0*l + 34. Let d = j + 6. Does 1/13 = d?
False
Let c be ((-48)/14)/(-3) + -3. Let a = 116/63 + c. Let x = 13/63 - a. Is x greater than or equal to 0?
True
Let a be (2/6)/(56/72). Let z(k) = -k - 6. Let s be z(-11). Suppose -u + s*u = 0. Which is smaller: a or u?
u
Let q be (2 - -5)/(2 - 3). Let l = q + 5. Let m = 4 + -11/2. Which is greater: l or m?
m
Let j be (-11 - -10)*(-1 + 2). Let y = 1565 - 98597/63. Is j bigger than y?
False
Suppose 0 = -19*a + 20*a + 55. Which is smaller: a or -56?
-56
Suppose -2*m + 7*i - 5 = 2*i, -2*i + 1 = -m. Suppose -m*t + 18 = -52. Suppose -4 = 2*y - t. Is 5 at most as big as y?
True
Let q = -0.1 + 0.1. Suppose 5*o + 38 = -p, 5*p + 29 = -4*o - 14. Which is smaller: q or o?
o
Let z = -11 + 16. Let n(p) = p**2 - 11*p + 12. Suppose 0 = 2*