Let w = 11 + -10. Is w at least 2/11?
True
Let j = 7 - 9. Let s be (-1)/((-1)/(j/4)). Which is smaller: s or 0?
s
Suppose -s - 3*s = -12. Suppose -2*t = -2*p - 4, 40 = 5*t + s*p - 10. Let m = t - 4. Do 3 and m have the same value?
True
Suppose -10 = -3*y + 5*y. Let k(w) be the first derivative of w**4/4 + 5*w**3/3 - w**2/2 - 6*w - 2. Let i be k(y). Which is smaller: i or -3?
-3
Suppose -2*p = -p - 2. Suppose p*o + 2*v = 4*o - 2, -v = -4*o + 16. Suppose 1 + 0 = -o*a - 2*c, 9 = -a + 4*c. Is a greater than or equal to -3/5?
False
Let k(p) = p**3 + 4*p**2 + 3*p + 4. Let z be k(-4). Let n = z - 7. Are n and -15 equal?
True
Suppose -16 = -r - 4*o + 6, 29 = 2*r + 3*o. Which is smaller: r or 11?
r
Let x = 7 - 10. Let t be ((-3)/x)/1 + 1. Which is smaller: t or 1?
1
Let i be 44/30 - ((-117)/(-6))/13. Which is greater: i or 0?
0
Suppose -4*h + 4 = -0. Let d = 5.4 + -5.46. Are h and d unequal?
True
Suppose -22 = 2*u - 4*o, -4*u + 0*o - o = 17. Let c = 7 - 3. Let b be u/7*c/(-10). Is b less than or equal to 1?
True
Let b(c) = -5*c - 1. Let l be b(-1). Let x = -1 + l. Is 4 bigger than x?
True
Let j = -521/6 - -177/2. Which is smaller: j or 3?
j
Suppose 1 + 2 = 3*o. Suppose 5*z - 4 - o = 0. Which is greater: 1/4 or z?
z
Let u be 40/(-220) - 41/(-165). Is 1/2 not equal to u?
True
Suppose -4*r + u - 2*u - 25 = 0, -5*u - 25 = 0. Is r bigger than -5?
False
Let l = -0.14 + -0.06. Let d = l + -1.8. Let p be (-2)/3 - 24/(-90). Is p <= d?
False
Let k = -12.3 + 0.3. Let g = -13 - k. Let o be -2*((-13)/7 - -2). Which is smaller: g or o?
g
Let m = 0.37 + -0.34. Is 0 equal to m?
False
Suppose 0 = -7*u + 3*u - 28. Is -8 less than u?
True
Let j = 5 + -2. Suppose -o - 4*l + 11 = 0, -3*o - 3*l = -l - j. Is o at most as big as -2?
False
Suppose -5*n - k = 2, -2*k = 3*k - 15. Which is bigger: n or -1/4?
-1/4
Let f(h) = -h**3 + 5*h**2 - 10*h + 4. Let o be f(5). Is o greater than -1/4?
False
Let u = -763/5 + 162. Let l = -193/20 + u. Is l at least 1?
False
Let z be (1 - (-11)/(-4))/(21/(-98)). Which is smaller: z or 7?
7
Suppose 0*u - 4*u - 24 = 0. Is u < -5?
True
Let x(b) = -b**2 + 5. Let j be x(0). Is 5 greater than j?
False
Let y = 3 - 0. Let j(x) = -x**3 - 7*x**2 + x + 8. Let u be j(-7). Suppose -o - 8 = 5*w, 4*o + 5*w = -u - 1. Is o > y?
False
Let i = -127/2 + 70. Is 6 less than i?
True
Let h = -0.7 - 4.5. Let m = h + 5. Let g = 149 - 1045/7. Is g smaller than m?
True
Let k be (3 - 2/1)/(-1). Which is smaller: k or 3/13?
k
Let i = -3 + 6. Let g be ((-36)/(-16))/(i/8). Which is smaller: 7 or g?
g
Let w(h) be the third derivative of h**5/60 + h**4/4 + 2*h**3/3 - h**2. Let m be w(-3). Let n be (-2)/(-4) + (-3 - -2). Which is bigger: m or n?
n
Let m be (3/2)/(2010/(-8)). Let s = m + -1334/1005. Is s <= -1?
True
Suppose -n - 3*d + 4 = -0*n, -n = 4*d - 5. Is 9/8 >= n?
True
Suppose 2*a - 4*q = 0, -4*a = 5*q - 37 - 2. Let w(r) = -r + 7. Let s be w(a). Let y be 28/(-6)*(-6)/21. Which is smaller: y or s?
s
Suppose -z = 4*z - 10. Let l(h) = h**3 - 2*h**2 - 2*h + 1. Let c be l(z). Let g be 3/(-3) - 2/2. Which is smaller: g or c?
c
Let j = 0.07 - 0.03. Let r = j - 0.01. Let m = r - 0.13. Which is bigger: 1 or m?
1
Let n = -0.04 - -0.14. Let q = -0.22 - -0.13. Which is smaller: q or n?
q
Suppose -c - 6 = 2. Is c equal to -2?
False
Suppose 4*r = 7*r - 18. Is r at least 19/3?
False
Let l = -0.18 - 6.82. Let j = 7.3 + l. Is 2 equal to j?
False
Let u(v) be the third derivative of v**4/24 + 13*v**3/6 + 3*v**2. Let y be u(-15). Which is smaller: y or 5?
y
Let r = 14 - 8. Let h be 2*(3/r + 1). Suppose -h*d + l - 5 = 0, -3*l + 3 - 6 = 0. Is d less than -3?
False
Suppose -20 = 3*s - c - 3*c, -4*s = -2*c + 20. Is s smaller than -4?
False
Let m = 2109 - 579973/275. Is m at most as big as 0?
False
Suppose -3*k = -4*h - 8, k + 0 = 3*h + 1. Let u = 2 - h. Let b be 1/6*-1*u. Which is smaller: b or -1?
-1
Let q be (-12)/3*(-12)/16. Which is greater: 12 or q?
12
Let l(h) = -6*h**2 + 40*h + 56. Let d(s) = s**2 - 8*s - 11. Let z(n) = 11*d(n) + 2*l(n). Let a be z(-7). Do a and -6/11 have the same value?
False
Suppose 3*s = s. Suppose s = -4*x + 4 - 8. Let m be (x/7)/(2/(-7)). Is -1/4 less than m?
True
Let o be -1 - 0 - (0 + 2). Let c = o + 2. Is c less than or equal to -1/4?
True
Suppose -2*u - 2*u = 2*h - 2, -2*u + 3*h + 5 = 0. Let i = 124 + -2606/21. Is u < i?
False
Let b be (-567527)/(-10)*4/(-34). Let l = b - -6678. Let v = l + -7/17. Which is bigger: 1 or v?
1
Suppose 3*j - 20 = 5*t, -4*t + 3*j + 11 = 6*j. Let q = 0 + 1. Which is greater: t or q?
q
Let n be -1 + (-7)/(-2) - 20/40. Which is smaller: n or 8/5?
8/5
Let n be (10/(-3) - 0)*3. Let t(p) = -p**2 - 11*p - 8. Let v be t(n). Let g = v - 0. Which is bigger: g or 0?
g
Let k be (-5)/(-10) + 5/(-18). Which is smaller: k or 1?
k
Suppose -4*m = -m + 18. Let s be (m - -3)/(-2 + -1). Let v = -98 + 684/7. Which is greater: s or v?
s
Suppose -5*y + 95 + 10 = 0. Let o = y - 29. Which is smaller: o or -9?
-9
Let o(s) = -s - 13. Let l be o(0). Is -13 greater than or equal to l?
True
Let w = -11 + 9. Let f = -2 + 2. Suppose 0*q + 4*q + 4 = f. Do w and q have different values?
True
Let z(d) = d + 3. Let i be z(5). Suppose 0 = s - i + 2. Suppose -s*r - 16 = -2*r - 5*v, 17 = -3*r + 5*v. Which is smaller: r or 0?
0
Let b(k) = k**3 + 4*k**2 + 2*k - 2. Let u be b(-3). Let q be 0/((-1)/4 - 6/8). Is u equal to q?
False
Let k = -5989/1287 - -51/11. Is 1/3 > k?
True
Let a = -14435/6 + 2394. Let g = a + 25/2. Let v = 2 - 2. Which is bigger: v or g?
g
Let a be ((-6)/8)/(15/(-8)). Which is greater: a or -1/13?
a
Let i be 4/14 - 556/(-14). Let g be -3 + 1 + 68/i. Is 0 at most g?
False
Let b be (-1 + 6/(-4))/((-29)/(-58)). Which is smaller: b or -3?
b
Let s = -8 - -11. Is 5 at most s?
False
Let s(l) = 2*l**2 + 14*l - 8. Let v be s(-7). Which is bigger: v or -9?
v
Let f = -5 + 38. Let d be f/(-30) - 6/(-4). Which is smaller: 0 or d?
0
Suppose 5*l + 0*d = -d + 47, 4*l = -2*d + 40. Let r be 2/3 + (-33)/l. Let n be 1 + (0 - r/6). Do 1 and n have the same value?
False
Suppose 16*a - 14 = -30. Is -2 less than or equal to a?
True
Suppose 2*b = -b + 6. Let a = b - 6. Which is bigger: a or -3?
-3
Let y(q) = -q**2 + 5*q. Let k be y(5). Suppose k = -0*x + x. Is x at most as big as 1?
True
Suppose 0 = -b - 4*b + 25. Suppose 4*z - 7 = p, -z + 0 - b = 2*p. Which is smaller: 1/5 or z?
1/5
Let g = 6.7 + -39.7. Let v = 31 + g. Let m = 10 - 6. Is m less than v?
False
Let l = 52995/11 + -4821. Is -4 less than l?
True
Let x = -0.118 - -0.018. Which is smaller: x or 41?
x
Let r(w) = -w**2 + 14*w + 4. Let g be r(15). Is -59/5 != g?
True
Suppose 2*a + 2*y - 8 = -0*y, y - 6 = a. Let b = 13 + -12. Let m = b + -3. Which is smaller: m or a?
m
Let o = 471/5 - 93. Is 0 not equal to o?
True
Let b = -65/9 - -196/27. Do b and 1 have different values?
True
Let t = -107 + 1283/12. Is 0 greater than t?
True
Let d be (-8)/(-24) + (-10)/(-6). Suppose w + 3*r + 26 = -d*r, -5*r = 25. Are w and -3/8 non-equal?
True
Let n = 36 + -37. Which is greater: -3/34 or n?
-3/34
Let o(g) = 7*g**3 - 3*g**2 + 2*g + 6. Let f(n) = -13*n**3 + 6*n**2 - 4*n - 11. Let q(c) = -6*f(c) - 11*o(c). Let p be q(2). Is p at least as big as -1/3?
True
Suppose 2*y = -0*j - j + 15, -3*j + 15 = 3*y. Suppose 6*k = 11*k + y. Which is greater: k or 0?
0
Let i = 2/87 - 271/435. Let q = -1.02 + 0.02. Let l = q + 2. Which is bigger: i or l?
l
Let m be (3/6*0)/(-3). Is 0 < m?
False
Let p be 2*(0 - 1) - 2. Suppose -4*s = -2 + 10. Is s not equal to p?
True
Let p = 13 - 7. Let r = 6 - p. Which is smaller: 2 or r?
r
Let y be 6*(0 - (-1)/(-3)). Which is bigger: y or -10/13?
-10/13
Suppose 5 = i + 6. Suppose 0 = -2*t + 5*k + 10, -k - 2*k - 6 = t. Suppose t = 4*d - 0 - 8. Is i at least d?
False
Let d = -12.02 + 12. Let g = d + 0.02. Is -5 at most g?
True
Let k(p) = p**2 + p. Let h be k(-1). Let m = h + -3. Which is greater: -1 or m?
-1
Let h be ((-56)/(-12))/((-2)/(-18)). Let l be 4/(-22) - h/(-110). Is 0.1 smaller than l?
True
Let a = 6.11 - 0.11. Let t = 3 - a. Is 0 < t?
False
Let b = -11 - -8. Is b greater than -3?
False
Let b be (-1 - 1)/((-2)/3). Suppose 5 = -c + o, 0*c = c + b*o - 7. Which is smaller: c or -4?
-4
Let j(s) = 2*s**3 - 3*s**2 - 4*s + 5. Let v be j(4). Is 68 not equal to v?
True
Suppose -153 = 5*f - 3*z, 5*z + 27 + 26 = -f. Is f les