 28/(-80). Is x at most as big as 0?
True
Suppose q = -3*i + 2, i - 2*q - 6 = -3. Which is greater: i or -2?
i
Let y(z) be the third derivative of -z**5/60 - 7*z**4/24 + 5*z**3/3 - 2*z**2. Let c be y(-8). Let f = 4 - c. Is f at least as big as 2?
True
Let w = -10 - 10. Let r be 15/w + (-47)/(-36). Which is bigger: r or 0?
r
Suppose -2*n = -n + 2*d + 180, -720 = 4*n - 3*d. Let v = 2701/15 + n. Is -1 at least v?
False
Let f = -7 + -6. Let r = 12 + f. Which is smaller: r or 1?
r
Let h = 2 + 4. Let i be 8/h*(-15)/(-330). Which is smaller: 1 or i?
i
Suppose -1 = 3*l + 2. Let q be l/(3/(-6) + 0). Are q and 2/3 equal?
False
Let h = 12 + -12.7. Let b = -13 + 13.1. Which is smaller: b or h?
h
Let d = -7 - -8. Let v be 24/(-9)*d/(-4). Is v >= 2?
False
Suppose 0 = -3*u + 15, 4*u - 28 = -4*j - 40. Suppose 12 = 3*l + 39. Is l equal to j?
False
Let k = -5 - -15. Suppose 5*d = -0 - k. Let q be 1 + (5/2)/(-1). Which is smaller: q or d?
d
Let g(t) = t**2 - 5*t - 1. Let m be g(4). Suppose 5*z = 4*n + 13, 5*n + 23 = 3*z + z. Let a = n - m. Is 1 greater than or equal to a?
True
Let q(i) = -5*i**2 - 9*i + 9. Let l(j) = 9*j**2 + 18*j - 18. Let x(v) = 4*l(v) + 7*q(v). Let t be x(-10). Let u be (-2)/2 - (-14)/10. Which is greater: u or t?
t
Let y = -754153/10 - -75499. Let u = 84 - y. Is -1 not equal to u?
True
Let y(r) = r**3 - 7*r**2 + 8*r - 8. Let g be y(6). Let u(n) = -3*n**2 + 3*n**2 + 1 + n**2 + 3*n. Let p be u(-4). Which is bigger: g or p?
p
Let x(l) = l**3 - 2*l**2 - 3*l + 1. Let k(w) = -2*w**3 + w**2 - w - 1. Let c be k(-1). Let r be x(c). Which is greater: r or 1/10?
r
Suppose 0 = 5*n - 3*o - 17, 0*n + 2*n + 4*o = 12. Suppose 7*x - 4*x - 14 = -2*l, n*l = -2*x + 20. Which is smaller: l or 8/3?
8/3
Let t(r) be the first derivative of r**2/2 + 2*r + 1. Let b be t(-7). Which is greater: b or -3?
-3
Let x = 49 - 13. Let n = x + -16. Suppose y - 6*y + 26 = 4*j, 2*y - n = -4*j. Is y < 3?
True
Suppose 0 = h + f + 1, 3*h + 2*f + 4 = 1. Let m = -3 + h. Is m <= -4?
True
Let h be (-4 - 60/(-16)) + (-26)/(-88). Which is smaller: 0 or h?
0
Suppose -6*f = 5*f + 209. Which is smaller: f or -20?
-20
Let j be (-3)/((-2)/((-112)/12)). Is 1 < j?
False
Suppose -3*o + i + 4 = 0, 23 = 3*o + 5*i - 11. Suppose -o*z + 160 = z. Suppose -4*r - j + 14 = -r, -5*r = 5*j - z. Is r less than or equal to 1?
False
Let s be (2*-1)/(27/6*-2). Which is bigger: 0 or s?
s
Let j be 1 - ((-6 - -5) + 4*-6). Is 26 >= j?
True
Let c(q) = -q - 17. Let d be c(-8). Which is greater: d or -11?
d
Let k = 2.4 + -2.1. Is k less than -1/9?
False
Let x = 2 + -2.1. Which is smaller: 22 or x?
x
Suppose 7 = 4*z - 1. Let s be (-2 + 3)/(z/4). Which is smaller: 7/3 or s?
s
Let m = 3.84 + -4. Let i = m + 0.06. Is i bigger than -3?
True
Let q = -11458898511 - -240683824838/21. Let u = -2236478 + q. Let v = u - -473. Is -1 less than v?
True
Let x = -0.7 + 0.8. Let v = x + -2.1. Are 2 and v unequal?
True
Suppose 0 = -2*d + 2*o + 1 + 3, 3*d - 4*o = 2. Let y = d - 1. Suppose -y*l + 25 = 0, -a = -6*l + l + 24. Do a and 1/12 have the same value?
False
Let x be (-16)/10 - (-2 + 0). Let k(c) = 2*c + 15. Let p be k(-7). Which is greater: p or x?
p
Let m = -40 - -39. Do m and -1 have different values?
False
Let a(d) = -d**3 - 3*d**2 - d + 2. Suppose 3*x - y + 2 = -4, 0 = 4*y. Let k be a(x). Which is bigger: -2/3 or k?
k
Let t = 1 + -0.9. Let i = -4.2 + 1.2. Does t = i?
False
Let z be 1/((12/15)/(-4)). Is z greater than or equal to -22/5?
False
Let t(f) = -f. Let z be t(-1). Let w be (-3)/z - 33/(-9). Suppose -4 - 1 = -5*j. Is j bigger than w?
True
Let l(x) = -2*x - 4. Let c be l(-4). Suppose -4*q + q - 12 = -c*h, -4 = 5*h + q. Let y = -4 - -4. Is y greater than h?
False
Let m = -4 + 3. Let l = 0 + m. Suppose 18*x - 23*x = 0. Is x <= l?
False
Let h be 5/10 - 26/36. Which is bigger: h or -4?
h
Let a be 54/33 - (1 + 1). Let t = a - 3/22. Is t less than -0.1?
True
Let y(p) = p**2 - 3*p + 2. Let v be y(-3). Suppose 5*a + 8 = -2*l - 0*a, -5*l + 2*a - v = 0. Is 0 >= l?
True
Suppose 1 = 5*h - 4. Let p = -2.2 - -2.2. Which is bigger: h or p?
h
Let c = 12 - 21. Let y = -7 - c. Which is smaller: -2/7 or y?
-2/7
Let k = 23 - 23. Are -8/9 and k unequal?
True
Suppose -k = s - 4*k + 6, 2*k + 52 = -4*s. Which is greater: s or -8?
-8
Let b = -2.9 + 3. Let c(u) = u - 3. Let p = 1 - -3. Let w be c(p). Which is smaller: b or w?
b
Let a = -0.5 + -0.5. Is a < -3/10?
True
Let a be (1 - -6)*(-24)/(-7). Is 25 smaller than a?
False
Let r(b) be the first derivative of b**2/2 - 4*b + 1. Let t be r(5). Let p = -82 + 83. Is p less than t?
False
Let g(x) = -x**3 + 3*x**2 + x - 1. Let w be g(3). Suppose 71 = q + w*p, -5*q - 5*p + 272 = -q. Let i be 2*(q/(-60) + 1). Is 1 <= i?
False
Let r = 0.1 + -0.1. Let g = -2.5 + 2.4. Let t = r - g. Is t > 0.4?
False
Let y = 4 - 4.1. Is 1/4 < y?
False
Let w = 43 - 42. Is w greater than or equal to -0.04?
True
Let y = 154 - 154. Let m be 0 + (-24)/14 - -1. Which is smaller: y or m?
m
Let q = 1864/13 + -5857/39. Let f = -240/13 - q. Let y = f - -12. Is 0 != y?
True
Let o(g) = -g**2 + 5*g - 7. Let n be o(5). Let r be 3*(2 + 13/n). Is -1 bigger than r?
False
Suppose l + p = -68 + 23, 2*l = 3*p - 90. Let h be l/63 - (-4)/(-14). Is -2/5 smaller than h?
False
Suppose 0*o + 5 = o, 16 = 3*n + 2*o. Let c be (-39)/(-8) - n/(-16). Are c and 0 unequal?
True
Let x = -0.29 - -5.29. Is x < 0?
False
Let o be 1*2 + 37/(-11). Is -2 != o?
True
Let x be ((-228)/(-80) - 3)/((-36)/(-30)). Let s = 1 + 0. Is s at most as big as x?
False
Let s be (-292)/(-92) + (-9)/(0 + 3). Which is smaller: s or -1?
-1
Suppose v + 2 = -0*v. Suppose 3*q = 4*q + 2. Is q at most as big as v?
True
Let z = -2 + 11. Is -1 < z?
True
Let f(b) = -b - 2. Let a be f(-7). Let i(h) = -h + 8. Let x be -4*(-1)/2 + 2. Let d be i(x). Which is smaller: d or a?
d
Let g = -3 + -2. Let s be (-90)/12*(-4)/g. Let n = -4 - s. Is 1 <= n?
True
Let d = 81/20 - 15/4. Which is smaller: d or 1?
d
Let u(o) = -o - 3. Let f be u(-4). Let l be f/(-7)*(2 - 1). Which is bigger: -1 or l?
l
Let b(n) = n + 1. Let s be b(-3). Which is smaller: s or 0?
s
Let w be 6/4*-1*2. Let o be (-40)/25*30/(-4). Suppose z + 4*g = o, 3*z + 0*g + 3*g = 0. Is w at most as big as z?
False
Let r(p) = -p**2 + 12*p + 51. Let u be r(16). Do u and -13 have different values?
False
Let z = -14.91 - -15. Let i = z - 6.09. Which is greater: i or 0.1?
0.1
Let c = 43 + -127/3. Let b(j) = 4*j**2 + 7*j + 2. Let x(n) = -7*n**2 - 14*n - 5. Let v(s) = 5*b(s) + 3*x(s). Let m be v(-6). Which is smaller: c or m?
c
Let a be (6/(-10))/((-12)/(-15)). Let c = -5 + 4. Which is bigger: c or a?
a
Let t = 0 - 0.5. Let u = 0.36 - -0.14. Let n = t - u. Do -1 and n have the same value?
True
Let y be -7 + 7 - (-6)/26. Let j = y + 33/26. Which is smaller: -1 or j?
-1
Let l be (-3 - 0)/(21/(-6)). Which is greater: 2 or l?
2
Let p = -2 - -4. Is 0.1 equal to p?
False
Let w = -1.8 - -1.94. Let c = w - -2.86. Is 3 greater than c?
False
Let y = 3.1 + -3. Let w = 11 + -2. Let n = w - 7. Are n and y equal?
False
Let j(y) = y**3 - 4*y**2 - 7*y + 7. Let i be j(5). Is i >= -0.04?
False
Let s be (-2)/8 - 7/(-12). Suppose 5 = 2*l + a, 4*a - 20 + 0 = 4*l. Which is smaller: s or l?
l
Suppose 9 - 12 = -3*a. Is a > -33?
True
Let j be -4 - -4 - 1/(-3). Let i = 0.2 - 0. Is i >= j?
False
Suppose 3*q + q + 16 = 0. Let c = q + 8. Suppose c*h + 10 = -h + s, 4*s - 21 = h. Which is smaller: h or 2?
h
Let i = -46/5 + 9. Let j = -2 + 2. Is j equal to i?
False
Let t(i) = 3*i - 6. Let v be t(6). Let n = v - 12. Suppose -3 + 0 = -3*x. Is n bigger than x?
False
Suppose -4*v + 5*k = -17, -4*v - 2*k = k + 23. Let l be (-5 - v) + (-9)/(-3). Which is smaller: l or -1?
-1
Let w be ((-8)/(-20))/(3/15). Suppose w*z + 9 = -c, -4*z - 6 = 2. Which is smaller: c or -7?
-7
Let d = -14 - -20. Let a = d - 3. Which is smaller: 2 or a?
2
Let d = 0.4 + -0.2. Let t = 359/5 + -72. Which is smaller: d or t?
t
Let g be 6/21 - (-4)/35. Let k = -3/5 + g. Let c = -2 - -2. Is k at least as big as c?
False
Let c(v) = v**2 - 5*v. Let h be c(5). Suppose 0 = -h*x + 5*x + 5. Do x and -3 have the same value?
False
Let w = -19 - -23. Suppose -2*f = -4*k + 4, 5*k = w*f + 2 + 3. Suppose -3*n + n + 18 = -4*i, -4*i = -n + 15. Is n less than k?
False
Let d = 19 - 16. Is d <= 17/4?
True
Suppose 57*l - 58*l = -48. W