uppose -5*m + 10 = 2*b, 13 = -3*m - 7*b + 2*b. Let c(s) = -s**2 + 6*s - 4. Let v be c(m). Let x = v - 0. Which is bigger: x or 5?
5
Let b(o) = 3*o. Let q be b(1). Suppose -u + q = 3*f, -f + 2*u = 6*u + 10. Let l be (-1)/(-2 + (f - -1)). Which is bigger: l or 0?
0
Let u(r) = r**2 - 11*r - 10. Let v be u(12). Suppose 3*l + 11 + 6 = v*m, 4*m + 16 = -4*l. Which is smaller: 3 or m?
m
Suppose 3*x - 4 = 2. Let g = x + -3. Let y = -329 - -2635/8. Which is smaller: g or y?
g
Let d(r) be the first derivative of r**2/2 + r + 6. Let q be d(1). Let a = -66 + 135/2. Is q >= a?
True
Suppose 5*a - 3*m - 15 = -6*m, -5*m = -25. Let q be (1 + a)*6/(-36). Let r(d) = d**2 - 9*d + 7. Let n be r(8). Which is smaller: n or q?
n
Let x = 8 + -10. Let i(z) = -z**2 - 7*z + 1. Let l be i(-7). Which is bigger: x or l?
l
Let h(d) = -2*d - 5. Let w be h(-4). Let q(o) = o**2 + 5*o + 5. Suppose 0*f + 5*u = -3*f, 0 = 4*u - 12. Let p be q(f). Which is greater: p or w?
p
Let k be (-6)/(-36) + (-519)/90 + 1. Is -5 equal to k?
False
Let l(r) = -r**3 - 2*r**2 + 3*r - 1. Let j be l(-4). Let m = 18 - j. Is m greater than 1/30?
False
Let w = 5 + -10. Let z be (-68)/5 - (-2)/w. Let i be (-4)/z - 2/7. Which is smaller: -2 or i?
-2
Suppose 0 = -5*r - 0*x - 2*x + 2, 5*r - 26 = 4*x. Which is smaller: r or 1?
1
Suppose -q + 4 + 2 = -c, -5*c - 2*q = -5. Which is bigger: 2/157 or c?
2/157
Let o = 122/3 + -42. Is o bigger than 8?
False
Let d = 55 - 69. Which is smaller: d or -12?
d
Let p be (-4 - -1 - -2)*-1. Let r be (0 + 1)*(-22)/p. Let n be (-2 + r/(-10))*-2. Which is smaller: 0.2 or n?
n
Let o(s) = s**3 + 7*s**2 + 8. Let f = 9 - 15. Let u be o(f). Let p be 8/u*2/2. Is p smaller than 1?
True
Let g = 1 + 0. Does g = 1/35?
False
Let i be (-4)/(-3) + -1 + (-42)/126. Is i <= 8/25?
True
Let u = 9.1 + -9. Is 2 less than u?
False
Let p = 14/45 - 433/90. Is -4 bigger than p?
True
Suppose -u + 2*u - 2 = 0. Let x be u*(-38)/36 + 2. Let l be (-4)/(-18) + (-14)/(-18). Which is greater: x or l?
l
Let y be 2/(-5) - 3/(36 - 6). Which is smaller: y or -82?
-82
Suppose -5*r + 0*j + 45 = 5*j, -5 = -5*r + 3*j. Let q = 0 + 6. Suppose 5*x = r*o, -q*o + 5*x = -3*o. Which is smaller: -1 or o?
-1
Suppose 76 = -3*j - 5*d, 18 = -j - 5*d - 4. Let g = 20 + j. Is g <= -11/2?
True
Let f be ((-8)/12)/(8/12). Is 3/13 at least as big as f?
True
Let x(l) = -l + 4. Let f be x(4). Let d = 12 + -350/29. Which is bigger: f or d?
f
Let r = 1448/583 + -16/53. Is r greater than 3?
False
Let o = -71 + 71. Let y = -1 - 4. Is o <= y?
False
Let n be (1/2)/((-4)/(-8)). Let l(r) = -r**3 + 3*r**2 + 2*r. Let d be l(3). Which is greater: d or n?
d
Let p(s) = -s**3 - 4*s**2 + s + 2. Let t be p(-4). Suppose -3*k - 6 = 2*j, -4*j + 3*k = -4 - 2. Let b be 1*(j - 6/4). Is t less than or equal to b?
True
Suppose -7*j = -3*j - 20. Suppose -2*d - d = -u + 9, 0 = j*d + u + 7. Are 1 and d nonequal?
True
Let z(y) = -8*y - 3. Let a be z(-3). Suppose -v = 3*i + i + 15, 2*i + a = -5*v. Which is greater: -2 or v?
-2
Let w = 0.58 - 0.87. Let y = w - -0.09. Is -2/3 > y?
False
Suppose -4*b - 2*a = -0*a - 12, -20 = 5*a. Suppose -g = -5*t - b*g + 2, 2*g = -4. Suppose -t*q - 1 = -3*q. Which is smaller: q or 3?
q
Suppose -7 = -2*i - 5*v - 0, 2*i - 27 = -v. Suppose -3*t + s = 8, -5*t - 4*s + 3*s - i = 0. Let y = -1 - 1. Is t >= y?
False
Let z be 38/(-10) + 1/(-5). Is -2 greater than or equal to z?
True
Let g(x) = 2*x + 1. Let z be g(-1). Let a be -3*(11 + -1 + 2). Let o be 2/(-6) - 3/a. Which is bigger: z or o?
o
Let q = 0.33 - 0.14. Let a = q + -0.09. Which is smaller: a or 2/3?
a
Let g = 16 - 14. Suppose 3 = -k, -5 = -5*s + 3*k + g*k. Suppose -2 = -3*t - 5*n, 5*t + 3*n = 2*t. Is s at least t?
False
Suppose 5*l - 5*h - 65 = 0, 0 = -h - 2. Suppose 3*u + 2*u - 25 = 0. Let o = l - u. Which is bigger: -2/7 or o?
o
Let f = 0.6 - -1.4. Let s = -5 - -8. Is s < f?
False
Let d be 4/1 - (1 - 2). Suppose d = -0*b - b. Let j = -9 - -4. Is j less than b?
False
Let h be 0/(-2*(4 + -3)*1). Is -5/36 at most h?
True
Suppose -4*t = 3*r - 3 + 6, -5*t = -3*r + 24. Let x = -2 + r. Let k = 0 - -2. Is x less than or equal to k?
True
Let b be 1*-1*(0 + -2). Let q(j) = j**2 + b*j - 3*j + 4 - 1. Let h be q(0). Is 3 < h?
False
Let p(t) = -2*t**3 - 4*t**2 + 2*t - 4. Let g be p(-4). Let a = 106 - g. Let o = a - 269/5. Are 1 and o nonequal?
True
Suppose 7*c - 2*c + 21 = -k, 2*c + 7 = k. Let w = k + 2. Which is smaller: -2/11 or w?
-2/11
Let a = -0.5331 + 0.0331. Let i = -3 - -2.9. Is a < i?
True
Let l be 0 - (4/(-24))/(1/4). Is l > 17?
False
Let c be (0 + -2)/(-1 - 1). Which is smaller: -3/26 or c?
-3/26
Let h = -1.96 - -2. Let m = 0.06 + h. Let a = m + 0.1. Which is bigger: -0.2 or a?
a
Let z = 356/495 - 42/55. Are z and -1 nonequal?
True
Suppose -2*t + 2*g + 0*g - 32 = 0, -5*t = g + 104. Let a be (4/6)/(t/12). Is 1 less than a?
False
Let j(c) = 3*c - 7. Let v be j(4). Let b = 1 + 1. Let p be (-2)/b - (1 - 6). Is p < v?
True
Let c be (-8)/12 - (-24)/63. Which is smaller: c or -0.4?
-0.4
Let l = 6.1 - 6. Let v = -1 + l. Let i = v - -0.5. Are -1 and i non-equal?
True
Let w(q) be the second derivative of -q**3/6 - 5*q**2/2 - q. Let c be w(-10). Suppose p - 3 = -c*s + 2, 4*p - 2*s = -2. Are -2 and p non-equal?
True
Let l(a) = -a**2 - 14*a + 54. Let b be l(-17). Suppose 3*m - 12 = -0*m. Is m bigger than b?
True
Let a be (-142)/(-10) - (-10)/(-50). Let m be (1 + a/(-10))*-10. Is m not equal to 6?
True
Let b(v) = v**2 - 9*v - 5. Let g be b(9). Let d = g - -5. Which is bigger: -2/17 or d?
d
Suppose -3*z + 6 = 2*t, -3*z + 2*t = -3*t + 15. Which is smaller: z or 5?
z
Suppose 5*n = 2*h - 54, -n + 2*n = -2*h + 42. Do h and 21 have the same value?
False
Suppose -3*h - 9 = 2*n - 0*h, 0 = -2*n - 5*h - 7. Let s be 2/n + (-40)/(-12). Suppose -5*r = -2 - s. Is r at most 1/3?
False
Suppose 4*p - 6 + 10 = 0. Is p < -15/8?
False
Suppose 6 + 0 = 3*y. Let j(c) = y - 2 + 5*c**2 + c**3 - 2 - 6*c. Let w be j(-6). Which is smaller: w or -3?
-3
Let o = -0.9 + 1.1. Which is smaller: o or -2?
-2
Let v = 1.25 + -2.25. Suppose 4 = 2*a + 2. Suppose o - a = -4*o - 3*f, 2 = -4*o - f. Is v less than o?
False
Let d = -1.2 + 1.26. Let i = 0.14 + d. Is i smaller than 0.03?
False
Let g be 10/6 + (-2)/3. Let y be g/7*(1 + -3). Which is smaller: y or 1?
y
Let m be -2*(-3)/18*-9. Let r = 17 + -37/2. Which is smaller: r or m?
m
Let o be ((-4)/(-3))/(272/24). Let t = o + 13/34. Is -2/7 <= t?
True
Suppose -2*h + 3*q = -66, -2*h + q + 82 = 6*q. Are h and 38 unequal?
True
Let p = 1 - -2. Suppose -4*w + 3*f - 16 = 0, -p*w - 4*f + 1 = -12. Let s be (-4)/(-6)*3/6. Which is greater: s or w?
s
Let o = 0.04 - 0.01. Let k = o - 0.53. Let s = 0.3 - 0.2. Is k > s?
False
Suppose 36 = 3*y + y - 3*l, 5*y + l - 26 = 0. Is y <= 10/3?
False
Let s(x) = 5*x**2 - x - 2. Let c be s(-2). Suppose 15 = 2*l - 2*z + 5, -l - 4*z = c. Is l > -1/3?
True
Suppose 0 = 5*n + 3*m - 7, 0 = -0*n + n - m + 5. Are -8/23 and n equal?
False
Let z = 7 + -3. Suppose 0 = -5*q + 20, 16 = -t + 3*t + z*q. Is t at least 2/15?
False
Let s = 2287480063/3680 + -2486391/4. Let b = -1/160 + s. Is b at most as big as 1?
True
Let x = -322 + 9335/29. Which is smaller: x or 1?
x
Let b be (-393)/166 + (-2)/(-1). Let h = b - -34833/830. Let g = h - 42. Which is smaller: 1 or g?
g
Let m be 31/28 - 2/8. Which is smaller: m or 2?
m
Suppose 2*n + 9 = 5*n. Suppose 0 = n*j - 41 - 7. Suppose k - 5*k = j. Is -4 != k?
False
Let w = -10 - -9. Which is bigger: -6/13 or w?
-6/13
Let x = -58 - -50. Is 2 at most x?
False
Let y be 0 + (-2 - -2) + 2. Let t be (45/(-20))/(y/8). Let j be (3/t)/(-2*1). Do j and 0 have the same value?
False
Suppose 3*m - 12 - 3 = 0. Let k = 8 + -2. Which is greater: k or m?
k
Let a(o) = -o**3 + 5*o**2 + o. Let n be a(5). Suppose 5*p = 3*g - 55, n*p + 3*g = p - 44. Which is bigger: p or -12?
p
Suppose -c = -2*c + 4*z - 2, 4*c = -2*z + 10. Suppose -2 = -j + 2. Let a = c - j. Are -2 and a equal?
True
Suppose -5*t + 14 + 6 = 0. Suppose 2*p + 7 = j - 0, t*p = 4*j - 8. Which is smaller: j or -2?
j
Let o be 0 + (-2)/2 - -6. Does o = 5?
True
Let i be -3*(-4 - (-44)/12). Do i and -2/293 have different values?
True
Let g = 16 + -6. Let o = -6 + g. Suppose o*c - 3*c = 0. Is c less than 1?
True
Let t = -33 + 37. Is t less than -1?
False
Suppose 6*r - 15 = -5*i + r, 3*i - r + 11 = 0. Let