 j be m(-8). Let b = -282/5 + j. Which is bigger: 0 or b?
0
Let c be 0 + (77/(-21))/((-14)/6). Is c less than 1?
False
Suppose 0 = 2*c + 2*l - 10, 3*c + 4*l - 24 = -4. Let s be (-15)/(-20) - 2204/80. Let i = s + 27. Which is smaller: i or c?
c
Suppose 0 = 4*k - 3*s + 129 - 2, -2*k - 59 = -3*s. Is -35 greater than or equal to k?
False
Let h = -0.217 + 0.017. Which is smaller: 7 or h?
h
Let h = 4 - 4. Suppose -3*o - 5*p - 3 - 3 = h, -24 = -3*o + 5*p. Let b(j) = j**2 - 2*j - 2. Let f be b(3). Which is bigger: o or f?
o
Let s be 6/(-21)*2/(-70). Is 0 greater than s?
False
Suppose 0*z + 2 = 2*z. Let l = -3/4 + 25/44. Is l < z?
True
Let v be (4/(-8))/((-2)/4). Let g be v + 2/(-15)*9. Suppose 0 = 2*a + 2*a. Is a greater than or equal to g?
True
Suppose 6*o + 133 = -35. Are -55/2 and o non-equal?
True
Suppose -4*o - 9 = -5*a - 5*o, 3*o - 15 = -3*a. Which is smaller: 4/17 or a?
4/17
Let o = 1 + 0. Let k = 325 - 4877/15. Which is smaller: k or o?
k
Let w(j) = -j**2 - 11*j - 28. Let l be w(-5). Let c = 3/82 - -231/410. Which is smaller: c or l?
c
Let z = -19 - -18. Which is greater: z or 14?
14
Let n = 3 + -2. Let y = -7 + 17. Let s = y + -12. Which is smaller: n or s?
s
Let q = 3.12 + -3. Let g = q + 1.98. Let b = -2 + g. Which is smaller: b or -5?
-5
Let s be (5 - 2) + (-6 - -3). Is 28 equal to s?
False
Let x be ((-30)/(-4))/((-1)/(-2)). Suppose -x = -5*w - 5*j, -4*j = 5*w - 0*j - 11. Which is bigger: -2 or w?
w
Let x(h) = h**2 - 7*h + 3. Suppose 4*s + 16 = 4*o, 4*o - s - 17 = 2*s. Let y be x(o). Let u be (y + 3)*(-3)/(-4). Is u < -4?
False
Let u = -16.3 - -3.3. Let n = u + 13.2. Which is greater: -1/2 or n?
n
Let a = -2 + 2. Let i = a - -0.3. Let l = 18 + -18. Are l and i equal?
False
Suppose 2*a - 7*a = -5. Suppose 0 = -4*x - 40 - 0. Let t be (10 + x)*(a + 0). Is 1 greater than t?
True
Let r = -17/46 + -3/23. Let s be (-1 - 0)/(3/(-15)). Let k = s + -7. Which is smaller: k or r?
k
Suppose -4*b = -4*t + 12, t - 2*t = 2*b. Which is greater: b or -1/6?
-1/6
Let y be -4 - (-2 - -1 - 1). Are y and 5/7 equal?
False
Suppose 0 = 5*c - 0*c - 15, 4*i - 53 = c. Let v be -6*(i/(-6) - -2). Suppose -v*a + 6 = a. Which is smaller: 1 or a?
1
Suppose 2*a = -2*a + 5*m - 120, 2*a + 2*m + 42 = 0. Is a less than -26?
False
Let x be 2/4*(4 - 0). Let p(m) = -m**2 + 9*m + 7. Let i be p(7). Suppose -2*k + i = x*j - 5*k, 10 = -2*k. Is 3 < j?
False
Let i be (-1)/3*3*-2. Let d = 104 - 103. Which is smaller: d or i?
d
Let f = -87 - -91. Let y = 20/33 + 2/33. Is y at least f?
False
Let s = -15 - -6. Let u = s - -9.1. Let w = 1 - 0. Is w less than u?
False
Suppose -6*k = -3*k - 3, i - k + 10 = 0. Let r be 4 + -2 + -8 - 2. Is i != r?
True
Let b(w) = w - 6. Let j be b(6). Suppose -4 = 2*q, 2*m + 0*q - 5*q = 18. Suppose 0*y - 4 = -m*y. Which is smaller: y or j?
j
Let x = -12 - -13. Which is smaller: x or -1?
-1
Let d(y) = 3*y**2 + 24*y - 2. Let b be d(-8). Which is bigger: -1 or b?
-1
Let t = 123 - 122.9. Which is bigger: 130 or t?
130
Let i be (-8)/10*6/(-12). Is 1 < i?
False
Let a(g) = -2*g - 7. Let v be a(-6). Let n = 14 - v. Which is greater: 10 or n?
10
Let i be (-3)/(-3) + -7 + -3. Let q(t) = t**3 + 9*t**2 + t + 13. Let w be q(i). Which is greater: w or 2?
w
Let g = -2.4 - -2. Let v = g - 0.6. Is v != -0.3?
True
Suppose 0 = -3*x - 3, 5*z + 0*x = -4*x + 1. Let n(o) = -o**2 - 4*o. Let q be n(-3). Let g be 20/12 - (-2 + q). Is z < g?
False
Let q be 1 - 2 - 24/(-10). Does q = 1?
False
Let o be ((-1257)/(-6))/((-1)/2242). Let q = 67636985/144 + o. Let h = -33/16 + q. Which is smaller: -1 or h?
-1
Let d(q) = -6*q**3 + 2*q - 1. Suppose -2*k + 2 - 12 = 3*c, 2*c + 7 = -k. Let o be d(k). Which is bigger: -2/3 or o?
-2/3
Let j(l) = -2*l - 4*l + 3 + 7*l. Let u be j(-2). Is -2 smaller than u?
True
Suppose 0 = -5*r - 6 + 1. Let b be 1/((-14)/(-6)*r). Which is bigger: 0 or b?
0
Let q = -191061 - -579193/3. Let p = 1969 - q. Let s = p + 35. Which is greater: s or 1?
1
Let g be (1/(-5))/((-4)/(-12)). Let i = -23 - -23.09. Let q = i - -0.91. Which is smaller: q or g?
g
Let h(b) = b - 1. Let i be h(1). Suppose 4*y + 21 = -19. Let x = -10 - y. Are i and x equal?
True
Let l = 0.015 + -1.015. Is l at most -1/52?
True
Let t(d) = -2*d**2 - 4*d + 1. Let j be t(-4). Is j at least -15?
True
Let v(d) = -d + 7. Let l(j) = j + 4. Let s be l(-4). Let u be v(s). Let x be 2/u + (-4)/14. Is x less than 3/7?
True
Let z = 1 + 0. Let l be (-1)/(-3 - (-15 - 0)). Which is greater: l or z?
z
Let u(a) = -a**2 - a - 1. Let j(d) = -d**2 - 6*d - 7. Let k(m) = -j(m) + 2*u(m). Let w be k(5). Let r be (1/8)/((-1)/(-2)). Which is greater: r or w?
r
Let l be 2/6*3/(-2). Let b = 0 - 0. Which is bigger: b or l?
b
Let p = 5113/31 - 165. Is 0 greater than or equal to p?
True
Let z = -4 - -6. Let d = z + -2.1. Let w = d + 0.2. Is -0.2 < w?
True
Let i = -0.8 + 0.9. Let f = 2.8 + -3. Let w = f - 0. Which is greater: i or w?
i
Suppose -2*s = -3*o - 48, 0 = -3*o + 3*s - 5*s - 36. Let c be 2 - (3 - 1)*o. Let b be -1 + 56/c - 1. Which is smaller: -1 or b?
-1
Let n = 1 - 8. Let l = n + 12. Which is bigger: -1 or l?
l
Let x be 2/4*(-2)/6. Let l(n) = -n**3 + 5*n**2. Let c be l(5). Suppose c = 3*v + 3*t + 3, 2*v = t - 1 + 5. Is x smaller than v?
True
Let i = 0.37 + -0.37. Let q = 6 + -8. Does i = q?
False
Let u be (-3)/(54/(-1))*-52. Which is bigger: u or -2?
-2
Let m = 1 + -1. Let x(c) = -c**2 + 6*c - 4. Let d(r) = -r**2 - 4*r + 10. Let y be d(-5). Let i be x(y). Is i smaller than m?
False
Let p(m) = -m**3 - 12*m**2 + 13*m + 1. Let l be p(-13). Let k be 0/(2/l*1). Suppose k = -0*i + 2*i. Does i = 0?
True
Let x = 8 + -7. Suppose 4*p = 3*p + x. Let t = -5 - -3. Is p bigger than t?
True
Let j be 0 + ((-12)/(-21) - 1). Let f(b) = b**2 - b - 1. Let u be f(0). Which is smaller: u or j?
u
Let p = -1.9 + -0.1. Let g = p + 2.3. Let t = g - 0.1. Is 2/7 < t?
False
Let h = 10 + -11. Which is greater: 2/13 or h?
2/13
Let k be 6/(-10) + 39/15. Suppose 0 = -3*s + 4*s + 10. Let a = -7 - s. Is a <= k?
False
Let b be ((-1)/14)/(2/16). Let p = 103.1 - 103. Which is bigger: p or b?
p
Suppose -4*g + 1 = -5*g. Is -10/9 greater than g?
False
Let o = -12 - 53. Is -66 equal to o?
False
Let x be 10/25 - (-2 + (-12)/(-5)). Which is smaller: 2/251 or x?
x
Let w = 192 + -191. Is 3/56 at least w?
False
Let w = 2 - 2. Let p be (w - 7/3)*-15. Let v be 1/3 - p/60. Is v at least as big as 0?
False
Let m be 8/(-14) + 12/(-28). Is -2/47 not equal to m?
True
Let x be 133/48 + (-18)/(-27) - 3. Which is bigger: x or 0?
x
Let h be 0 + (-4 + -532)/2. Let w be h/132*2 - -4. Which is smaller: w or -0.1?
-0.1
Let l be 6/(-7)*(-1)/(-2). Let m be (-2)/(1 - 1 - 2). Which is smaller: l or m?
l
Suppose 5*y + 11 = -2*q, 5*y - 5*q = y + 11. Let r be y/((1/(-1))/1). Let x be 3/6 + r/4. Which is bigger: x or 2?
2
Let d = -4 - 1. Let c = d - -6. Which is greater: c or -3/10?
c
Let y be 2/(-2) - (-7 + 0). Which is greater: 8 or y?
8
Let h(d) = -d**3 + 5*d**2 + d - 2. Let m be h(5). Let o(r) = -r - 27. Let a be o(-26). Is m greater than a?
True
Let g be 2/(-8) - 10/(-8). Let p(b) = b**2 + 12*b + 11. Let u be p(-11). Which is greater: u or g?
g
Let w(h) be the third derivative of h**5/60 + 5*h**4/24 - h**3 + 2*h**2. Let q be w(-6). Suppose -6 = -b - 4*g + 1, 0 = -2*b - g. Is b > q?
False
Let g = 0.2 + 0.8. Let x = 0.2 + -0.17. Let o = x + -0.03. Which is smaller: g or o?
o
Let b(i) be the second derivative of i**5/120 - i**4/6 - i**3/2 + 4*i. Let v(m) be the second derivative of b(m). Let c be v(5). Which is smaller: -1 or c?
-1
Suppose -v = -s - 5*v - 7, -10 = 5*v. Is 12/11 not equal to s?
True
Let m(n) = n**3 + 4*n**2 + 2*n - 3. Let w be m(-3). Which is bigger: w or 2/25?
2/25
Let i be 2 + -1 - (-9)/3. Let w be i/15*5/(-2). Which is smaller: -8 or w?
-8
Let l be 1*-31 + 10 + -5. Do l and -2 have the same value?
False
Let r be (2 + 0 + -2)/1. Let a(o) = 3*o**3 - o**2 + o + 2. Let l be a(-2). Let b = 142/5 + l. Which is greater: r or b?
b
Suppose 4*r + 1 = -3*k, -2*r + 28 = -4*r + 4*k. Let h = -83 + 81. Let o be (-10)/h + 8/r. Is 1 at least as big as o?
False
Let g(f) be the first derivative of -3*f**2/2 - 7*f - 1. Let a be g(-5). Let q be (-14)/a + (3 - 1). Which is smaller: 2/3 or q?
q
Let r be (-14)/(-10) + -1 + (-896)/(-35). Is 25 equal to r?
False
Suppose -2*m - 2*c = -m - 2, 2*c - 2 =