o. Let c(u) = -6*u - 1. Let m(l) = -3*c(l) + 4*j(l). Let d be m(w). Is d greater than or equal to 2/5?
False
Let l = 6 + -45. Let n be (-152)/26 + 6/l. Which is greater: -5 or n?
-5
Let x be -14 - 0*2/(-6). Do x and -13 have the same value?
False
Let k = -15 - -15.1. Which is smaller: k or 15?
k
Let n = 0.08 + -1.08. Is n at most 0.02?
True
Let c = 10 + -17. Let u(f) be the second derivative of -f**3/6 - 9*f**2/2 + 5*f. Let g be u(c). Are g and -2 equal?
True
Let o = 4.03 + -4. Let f = o + 0.97. Suppose 4*q - 5 = 11. Which is smaller: f or q?
f
Let w = -125 + 127. Suppose 0 = -7*i + 3*i. Suppose g - w + 0 = i. Is g greater than or equal to 2/7?
True
Let z = -68 - -23. Let y be (-6)/(-15) - (-43)/z. Which is smaller: -1 or y?
-1
Let d = -12 - -12.22. Let q = -0.42 + d. Which is smaller: 4 or q?
q
Let p = 31/3 - 11. Does p = -1/17?
False
Suppose -4*i - 28 = -2*p, -2*p = 2*p - 3*i - 31. Let j be (-2)/p*(-3 + 1). Suppose -3*b - 3 = 2*n - 5*n, 4*n + 4*b + 4 = 0. Is n smaller than j?
True
Let o = -6376 - -44708/7. Which is smaller: 11 or o?
o
Let y = 822 + -3271/4. Is y < 5?
True
Let m(h) = -h**3 + 7*h**2 - 6*h + 4. Let r be m(6). Is r greater than 3?
True
Let m = 0.3 - 81.3. Which is smaller: -1 or m?
m
Suppose 4*a = -t - 0*t, 0 = -4*a - 5*t - 16. Which is greater: a or -1/11?
a
Let g = 1133/3 - 381. Which is greater: -1 or g?
-1
Suppose 0 = -3*s - 4*x - 26, -x = -0*x + 5. Let z = -2 - s. Let h = 3 - 2.9. Is z greater than or equal to h?
False
Let b(o) = o**3 - 6*o**2 + 7*o + 5. Let x be b(4). Let s = 4 - 7. Do x and s have the same value?
False
Suppose 0 = -n - 0*n + 2*n. Which is bigger: n or 19?
19
Let g(d) = d**3 - 6*d - 3 - d**2 - 5*d**2 - 2*d**3. Let u be g(-5). Suppose 5*f - 25 + 15 = 0. Are u and f unequal?
False
Suppose -48*v - 56 = -49*v. Is 55 at most as big as v?
True
Suppose 2 = -p + 1. Let w = p + 4. Suppose -12 = -5*f + 2*f. Which is bigger: w or f?
f
Let b(y) = y - 2 - 1 + 7. Let l be b(-4). Does -4 = l?
False
Let y = -11 - 3. Let v(d) = d**3 + 15*d**2 + 13*d - 15. Let z be v(y). Let m be -1 - -1*z/(-1). Is 2/17 at most m?
False
Let v be (5/(-30))/(2/(-376)). Suppose u - 31 = -0*u. Let x = v - u. Which is smaller: x or -0.1?
-0.1
Suppose 21 = 4*n + 1. Suppose -2 = 3*r - n*r. Is r < 0?
False
Suppose -2*h + o + 13 = 0, -3*h + 4*o = -4*h + 2. Let t be (-1)/h - 1/2. Let q = -12 - -11.8. Which is bigger: t or q?
q
Let o(t) = -t**2 - 5*t + 5. Let q be o(-3). Suppose q = -3*n + 3*c - c, 4*c = n + 17. Suppose -5 + 3 = s. Which is smaller: n or s?
s
Let u be 1158/(-90) + (-4)/30. Which is smaller: u or -12?
u
Suppose -4*u + 2*u - 5*d - 15 = 0, 0 = 5*u + d + 26. Let n be (-12)/(-10)*u/1. Let m(j) = j**3 + j**2 - 3*j + 4. Let x be m(-3). Is x equal to n?
False
Let d(z) = -z**3 - 12*z**2 - 19*z + 11. Let m be d(-10). Is -4/9 greater than or equal to m?
False
Let c = -0.08 + 2.08. Let k = 3 + -3.2. Let o = k - -0.1. Is o bigger than c?
False
Let q(z) = z - 4. Let o be q(4). Do o and 1 have the same value?
False
Let h = 6.3 + -18.26. Let g = -0.04 + h. Are 1 and g non-equal?
True
Suppose -22 = s - 62. Let l be s/(-12)*(-18)/10. Suppose 4*r = -0*r + 28. Which is bigger: l or r?
r
Let o be -3 + 52/(12/3). Is 9 smaller than o?
True
Let w = 3 - 21. Let f(p) = 3*p**3 + 2*p**2 - 1. Let d be f(-2). Which is smaller: d or w?
w
Let c be (-2)/(-7) - 496/1148. Let j = 81/287 - c. Which is bigger: j or 1/5?
j
Let b = -145 + 1157/8. Let x be -1 + (0 - (-2)/(-2))/(-1). Is b at most x?
True
Let m = -14 - -23. Is -0.6 at least as big as m?
False
Let a = -7209 - -129935/18. Let x = 64/9 - a. Which is bigger: x or -2?
-2
Suppose -4*x + 7*x + 4*a = -196, -124 = 2*x - 4*a. Is x not equal to -66?
True
Suppose 4*z + c - 76 = 5*c, 3*z = -5*c + 65. Which is smaller: 19 or z?
19
Let b = 43/6 - 23/3. Which is greater: -1 or b?
b
Let l(a) = -3*a - 1. Let h be l(-1). Do 7 and h have the same value?
False
Let n = -58 - -51. Is n greater than or equal to -14?
True
Suppose -3*g - 3*s + 21 = 0, 0 = 4*g - 8*g + 4*s - 4. Suppose -5 - 1 = g*w. Let k(b) = -b. Let y be k(w). Is 1 equal to y?
False
Let t = -17 + 16.3. Let m = t + 0.6. Let r = 0 - 0. Are r and m non-equal?
True
Suppose 0 = -4*d - l - 2, 6*l - 3*l + 6 = 0. Which is bigger: d or 1?
1
Let i(v) = -v**2 - 3*v + 3. Let d be i(2). Which is bigger: -6 or d?
-6
Let x(n) = n**3 - 13*n**2 - 15*n + 32. Let i be x(14). Do 17 and i have the same value?
False
Let a(z) = -z + 1. Let x be a(-3). Is 1 > x?
False
Let p be 12/20 - (-26)/(-10). Let r(y) = y + 6. Let i be r(-8). Is p greater than i?
False
Let n be (-13)/(-91)*14/8. Is -3 > n?
False
Let l = 5.04 - 0.04. Let g = 4.1 - l. Let n = 0.9 + g. Is 0 greater than or equal to n?
True
Let g = 99 - 113. Do -14 and g have different values?
False
Let m be -1 - (-3 + (-26)/(-8)). Is 0 > m?
True
Let m(y) = y**2 - 8*y - 5. Let f be m(9). Suppose 6*b - f = 2*b. Let z be (0 - b) + 3/4. Do z and 3/4 have the same value?
False
Let d(x) = x**2 + 10*x - 14. Let h be d(-12). Let z = 9 - h. Which is smaller: z or 1/6?
z
Let n = 1 - 6. Let h = -7 - n. Is h > 0.4?
False
Let h = 2 + -4. Suppose 5*y + 8 = y. Let o be -2 + 3 + y/1. Do h and o have different values?
True
Let z = 11 + -6. Let m = 4 - z. Which is greater: m or -2/7?
-2/7
Let f(y) = 3*y - 2*y - 2*y. Let n be f(2). Let b be 6/9*(-1)/n. Which is smaller: -1 or b?
-1
Let g = 5105432/68865 + -16/4591. Let x = g - 74. Is 0 at least as big as x?
False
Suppose 3*b = -4*g - 26, 5*g + 15 + 2 = 4*b. Suppose o - 4*n + 11 = 0, -o + 2*n - 8 = -1. Is o at least g?
True
Let f(k) = k**3 - 11*k**2 - k + 12. Let q be f(11). Suppose -4*o = 2*y + 2, -3*y - 2 = -o + q. Which is smaller: o or 3?
o
Let f be (-27)/(-30) - (-6)/(-15). Let h = -9 + 9.8. Let u = 1 - h. Do f and u have the same value?
False
Let g be (-2)/(-1) + -3 + -11. Let k be (18/g)/(6/8). Let r be (8/(-22))/(k - 0). Which is bigger: 1 or r?
1
Let a(f) = 3*f**3 + 18*f**2 + 10*f + 7. Suppose 3*k - k = 16. Let j(n) = n**3 + 6*n**2 + 3*n + 2. Let b(g) = k*j(g) - 3*a(g). Let y be b(-5). Is y < -1/5?
False
Let p be -3 + -10 - 28/(-7). Is p not equal to -7?
True
Let q(d) = -10*d - 1 - d**2 - 3 - 5. Let u be q(-9). Which is smaller: u or 0.5?
u
Let a be 1*2*(-10)/55. Is 0 >= a?
True
Let b = 0.4 - 4.4. Let d = 2/93 + -64/93. Is d equal to b?
False
Let n(l) = l - 16. Let t(v) = -v + 15. Let w = 9 - 15. Let x(q) = w*t(q) - 5*n(q). Let j be x(11). Which is smaller: 2 or j?
j
Suppose 5*c + 28 = -17. Suppose 0 = s - 3 - 0. Let x be 2/s - (-12)/c. Which is bigger: 1/3 or x?
1/3
Let p(t) = 2*t + 3. Let k be p(5). Let b = -8 + k. Suppose -2*n - n = s - 15, b*n - 25 = 0. Which is greater: s or 2/11?
2/11
Suppose -m - 24 = 4*c + 2*m, m = -2*c - 10. Do c and 0 have different values?
True
Let r(q) be the first derivative of -3*q**2 - 8*q + 8. Let a be r(-4). Are a and 16 non-equal?
False
Let o = 407 - 3251/8. Which is greater: o or 2?
2
Let k be 12/36 - (1 - 1). Is 51 <= k?
False
Suppose x - h - 10 = 0, -19 = -4*x + 2*h + 13. Let f = -5 + x. Let y = -2/23 + 37/161. Does f = y?
False
Suppose -5*j = -2*j - 18. Which is smaller: j or 7?
j
Let h = 1 + -3. Which is smaller: -2.7 or h?
-2.7
Suppose i = -2 + 5. Suppose 0 = -i*a - a - 4. Let n = -489/8 - -61. Which is smaller: a or n?
a
Let o be 1/2*(-2)/4. Let z = 0.08 - -0.22. Let f = -0.3 + z. Is f at least o?
True
Let c be 297/(-36)*7/(63/(-24)). Which is smaller: 21 or c?
21
Let t(l) = l**2 + 2*l - 2. Let b be t(-4). Suppose -3*f = -5*c - 1, 1 = -c + 4*f - b. Suppose -2*p - c = -p. Do 1 and p have the same value?
False
Suppose 0 = -5*d + 5*q + 5, -9 = -2*d - 2*d - q. Let u be 0 - 0*2/(-2). Which is smaller: d or u?
u
Let u be (-13)/(-2) - 3/12. Let y = u - 183/28. Let p(v) = 2*v**2 - 15*v + 10. Let f be p(7). Is y not equal to f?
True
Let x = -0.018 + -0.032. Is -0.1 less than x?
True
Let x = 79 + -76. Is x at least -9?
True
Let l(c) = -2*c + 13. Let r be l(8). Suppose 4 + 5 = 3*j. Is r smaller than j?
True
Suppose -2*t = 4*q - 24, -3*q = t - 4*t. Suppose 5*n = -t*o - 316, 244 = -2*n - 2*n - o. Let u be (-1)/(-6) - n/72. Which is smaller: u or -1/7?
-1/7
Let z = -2 + 3. Let c = 4 - z. Let q = c - 2.7. Is -1 greater than q?
False
Let o be 6/4 - 2/4. Let j be 7 + 749/(-126) - (-6)/(-4). Do o and j have different values?
True
Let r = -8.25 + 8. Let v = r - -0.45. Let 