 Let c = -1 - -8. Let k be w(c). Is k != 1/11?
True
Let p = 11 + -8. Let o = -2 + 6. Suppose -o*y = y + 4*u - 10, 3*y = -4*u + 6. Which is bigger: p or y?
p
Suppose 5*l + 2*u = 3, -3*l - 5*u + 7 = -10. Suppose 3*g = 4*p - 10, 3*g + 10 = 4*g + 2*p. Let c = 0 - g. Which is smaller: l or c?
c
Suppose 2*z = 5 - 3. Let s be z/((42/(-4))/3). Let t = -41/148 + 1/37. Is s < t?
True
Suppose 2*x - 5*v + 1 = -5, 3*v = 0. Is x at least -2?
False
Suppose -19 = 2*l + 4*p + p, -l = p + 2. Let v = l - 5. Let k = v - -1. Which is bigger: -1/13 or k?
-1/13
Let w = 9 - 7. Let a be 2/4*w/10. Which is smaller: 0 or a?
0
Suppose 10 - 52 = 6*g. Let v be 2/g*(-7)/(-9). Is -2 less than or equal to v?
True
Let i = 232/1397 - -2/127. Is i < -1/16?
False
Suppose 0 = -0*z + 2*z - o - 36, 0 = -4*o. Is z != 18?
False
Let f be (-4)/3 - (-1)/3. Let y = -5 + 7. Let h(z) = z**3 - 3*z**2 + z + 1. Let o be h(y). Does o = f?
True
Let a = 14 + -17. Which is smaller: -18/5 or a?
-18/5
Let y = 4 + -25. Let d = y + 20. Which is smaller: -6 or d?
-6
Let h = -2373/25 - -95. Which is bigger: h or 1/2?
1/2
Suppose -2*p + 9 - 2 = -5*j, 2*p + 5*j = -3. Let i = p + 2. Does 2 = i?
False
Let g be ((-1)/(-2) + 0)*8. Suppose -5*f + q = 1 + 14, 12 = -g*f - 4*q. Is -3 smaller than f?
False
Let g(d) = -5 + 4 + d - 5. Suppose 25 = s + 4*s. Let i be g(s). Which is greater: 1/7 or i?
1/7
Let b(t) = t**2 + t - 1. Let f(m) be the third derivative of m**4/24 - m**3/6 - 2*m**2. Let q be f(-1). Let l be b(q). Which is smaller: l or -3/7?
-3/7
Suppose 0*k - k = 0. Let f = 3 + -1. Suppose -2*o + j = 6*j - 22, -f*j + 12 = 4*o. Which is greater: k or o?
o
Let f be 5/5 - 172/164. Which is bigger: 0 or f?
0
Suppose -6*w - 2 = -4*w. Which is bigger: -3/14 or w?
-3/14
Let k(r) = r**2 - 15*r + 14. Let b be k(14). Is b less than 0?
False
Let j = 5 + -9. Let f be ((-1)/(-6))/(((-152)/(-48))/19). Is j less than f?
True
Suppose w + 2*x = -4*w + 6, 15 = -5*w + 5*x. Let h be (-11)/(-2)*2/7. Let y = 19/21 - h. Which is smaller: y or w?
y
Let g = 23 + -16. Suppose 14 = -4*a + 42. Is g less than or equal to a?
True
Let s be 3*(-1 - 4/(-12)) - 11. Is s greater than or equal to -13?
True
Suppose 3*r - 11 = 2*g, -g + 4 = r - 3. Suppose 4*z - 2 = g*d - 5*d, -z + 10 = -4*d. Suppose 17 = -4*t + a, -3*t - 2*t - 20 = -a. Is t less than or equal to d?
True
Let s be (1 + 140/(-138))/((-10)/(-30)). Is s >= 0?
False
Let j = 64 + -61. Which is smaller: -0.6 or j?
-0.6
Suppose 3*c + 4 = y + 7, 15 = 3*y + 3*c. Let a be (-1)/y + 11/33. Let w be (-2 - 12/(-5))*-1. Is w greater than a?
False
Suppose 6*q - 2*q + 52 = 0. Let s = -16 - q. Are s and -2 nonequal?
True
Let v = -8 + 4. Let l = v + 4.1. Let q = 0 + l. Is -2/7 greater than or equal to q?
False
Let h be -3 + (2 - (-1 + -1)). Is -3/7 > h?
False
Suppose -7 = -3*c + 8. Suppose c*y = 7*y. Is y less than 1/7?
True
Let o be 3/(-9) - 10/(-3). Suppose -c = -4*p - 42, o*p + c - 2*c + 31 = 0. Let a be -2 - (31/p + 1). Is 1 <= a?
False
Suppose 6 = g + 4. Let y = -1 - -5. Let m(t) = t**2 - 4*t + 4. Let d be m(y). Is g equal to d?
False
Let t = -5.06 + -90.86. Let o = 98 + t. Let r = 0.08 - o. Which is greater: r or 1/8?
1/8
Let r be -3*((-15)/9 - 2). Suppose 2*x - 1 = r. Let k be x/(-27)*-6*-3. Does -3 = k?
False
Let a = -574165 - -19779410087/34449. Let l = a + 18981385/241143. Let r = l + -79. Is r at most as big as -1?
False
Suppose 3 = -v - 1, 3*v + 15 = 3*x. Let s = -22814609/110 - -207407. Let q = s - -2/55. Are x and q unequal?
True
Suppose -30 = 2*u - 4. Is u bigger than -11?
False
Let u = -256 + 1263/5. Let k = u - -3. Which is smaller: 0 or k?
k
Let m = 3.7 - 7.7. Is m smaller than 0.02?
True
Suppose 3*o + 0*b + 13 = -2*b, 5*b + 20 = 5*o. Which is smaller: o or 1/4?
o
Suppose -k - 3*k + v - 160 = 0, 3*v + 200 = -5*k. Is k at least -41?
True
Let r(o) = 2*o - 40. Let s be r(20). Does 5/21 = s?
False
Let g(u) = 5*u - 2. Let l(f) = 2*f**2 - 2*f - 2. Let w be l(-1). Let x be g(w). Which is greater: x or 7?
x
Let f(z) = z**3 + 3*z**2 + 3*z + 3. Let n(p) = p**2 - 1. Let i(s) = 3*s - 2. Let t(j) = i(j) - 2*n(j). Let y be t(2). Let x be f(y). Is 1 equal to x?
True
Let o = 3798/7 + -544. Are 0 and o unequal?
True
Let b = 3.9 - -14.9. Let q = b - 19. Is 8 at least as big as q?
True
Let t = 14.2 + -14.2. Are -8.6 and t nonequal?
True
Let l = -8 + 11. Let p be 2/(-1)*l/(-6). Are -2/5 and p non-equal?
True
Suppose -3 = 6*l + 3. Which is greater: l or -2/5?
-2/5
Suppose -18 = -4*g + 30. Which is greater: 10 or g?
g
Suppose 3*f = 12, -3*f - 1 = y - 5*f. Let a be (-7 + 0)*(-4)/14. Suppose 3*k - 27 = -3*u, -3*u - a*u = -2*k + 11. Which is bigger: y or k?
k
Let m = -15 + 18. Which is greater: -0.02 or m?
m
Let j(h) = 2*h**3 - 14*h**2 + 5*h + 5. Let p(s) = s**3 - 7*s**2 + 3*s + 3. Let i(c) = -2*j(c) + 5*p(c). Let u be i(6). Is u < 1?
True
Suppose b = 4*g - 21, -2*b = 2*g - 11 + 3. Is 1 smaller than b?
False
Let s = 2/11 - -7/22. Let c = 0.03 - 0.06. Which is greater: s or c?
s
Let i = -31 + 21. Let b = i - -8. Which is bigger: b or 2?
2
Suppose 2*o + 8 = -0*o. Let u be (o + 2)/(6 - 2). Is u not equal to -1?
True
Let j = 17 - 22. Which is greater: j or 0.06?
0.06
Let z = 1/5 - -2/15. Let k = -5 - -4. Let x be 0/(-2 - k - 1). Is x > z?
False
Let d be (3 - 3 - 4)*1. Is d at most as big as 0.1?
True
Let b = -0.25 - -0.3. Suppose 4*q - 5*p + 1 = 0, 5 = p + 4. Is q <= b?
False
Let v = -7 + 9. Let o = 7 - 4. Suppose -3 = -o*x + 3*t, -v*t = -2*x - 5*t + 2. Does 2 = x?
False
Let b = 3.25 + -0.15. Let x = -3 + b. Which is smaller: -0.15 or x?
-0.15
Let r(z) = z**2 + 2*z - 4. Let u be r(-4). Let p(y) = y**3 - 16*y**2 - 3*y + 52. Let m be p(16). Is u != m?
False
Let y be 0 + 3 - (5 - 1). Does y = 12?
False
Let c = 7 - -9. Let k be 3/2*c/60. Are k and -1 equal?
False
Suppose 0 = -4*o + 2*o - 18. Let g = 101 + -101.1. Do g and o have the same value?
False
Let v(x) = -3*x - 9. Let q be v(-4). Suppose a - 2 + 0 = 0, q*a = -5*p + 11. Is 2/45 > p?
False
Let j be ((-4)/(-24))/(3/12). Let b be 8/(-6)*(-6)/4. Are b and j equal?
False
Suppose -x - 135 = -143. Suppose -3*j + 11 = -s + 3, 5*j + 3 = 4*s. Which is bigger: s or x?
x
Let w be ((-3)/(6/(-4)))/(-7). Let a be 1/3*(57 + 3). Suppose -4*n = -20, -a = 4*l - 5*n + 5. Is w != l?
True
Let c = 78/25 - 796/175. Which is smaller: 0 or c?
c
Suppose 3*d + 2*j + 14 = 2*d, 0 = 2*d - j + 18. Let r = d + 0. Is -10 less than or equal to r?
True
Let b = 4 - 3. Let w = -155/306 + 1/153. Is w at most as big as b?
True
Suppose 0 = 5*g - 7*g - 6. Is 1 at most as big as g?
False
Let l = 4 - 3.6. Suppose -d + 2 = -3. Suppose -d*u + 4 = 4*w, 4*u - 6*w + 2*w + 4 = 0. Which is greater: u or l?
l
Suppose -40 = 6*p - 136. Are 17 and p nonequal?
True
Let b(m) = 2*m**3 + 3*m**2 - 1. Let z be b(-2). Let v = -7 - -5. Let u be 9/6*(v - 0). Is z >= u?
False
Suppose -2*v = v. Let j(i) = i**2 - 2*i - 1. Let p be j(3). Suppose p*b = 3*b. Are v and b unequal?
False
Let n be (-4)/(-2) + 17 + 1. Let s be (-8)/n - 8/(-45). Let p = 3 - 2. Is s != p?
True
Let v be 2/(-6) - 728/39. Let r = v + 20. Is 3 at least as big as r?
True
Suppose 5*k = -5*y, 3*y = 4*k - k - 18. Is -6 < k?
True
Suppose -9 + 1 = -4*m. Let l be 1/(-2)*3*m. Let n = l - -3. Is -2 equal to n?
False
Let s = -11/42 - 1/14. Let v(u) = u - 3. Let m be v(3). Is m <= s?
False
Let p = 1 + -1. Suppose p = 3*v + 4*b + 18, -v - b - 2 = 3. Let f be ((-2 - -1) + 1)/v. Is -4/7 at most f?
True
Let c = -30 + 21. Let k be (-3)/(-18)*(-24)/c. Is 1 at most as big as k?
False
Suppose -4*d - 6 = -2*s, -4*d - 5 = -3*s - 2*d. Let p be -2 + (-27)/(-33) + s. Is 0.1 less than p?
False
Let l be 4/((-36)/(-123)) + 1/3. Which is smaller: l or 16?
l
Let c = 14.2 - 14. Let w = -0.1 - -0.1. Let v = -0.1 + w. Are v and c equal?
False
Let a be (3/(-7))/(6/4). Suppose 5*c - 4*c + 1 = 0. Which is bigger: a or c?
a
Suppose 4*d + 0 - 8 = 0. Suppose -3*y - 15 = d*y. Is y <= -3?
True
Let c be -7*(2/1 + -4). Is c bigger than 11?
True
Suppose -4*k - 12 - 4 = 2*x, 0 = -4*x - 4*k - 12. Is x less than 0.05?
False
Let x = -3 - -5. Let v = x + -2.2. Which is smaller: v or 1/4?
v
Let o = -174 - -1924/11. Let k = o + -2/99. Is k greater than or equal to 2?
False
Let z = 15 + -15. Do 1 and z have the same value?
False
Suppose 4*s + 9 = -7. Let r be s/8 + 181/2. Let t be -2*1 - (-200)/r. Wh