 Do s and 2 have the same value?
False
Suppose -11 = -4*o + 9. Suppose -o*g = -3*g - 12. Let k be (-2)/(-6)*(-3 + g). Is 5/3 > k?
True
Let d(n) = n**3 - 8*n**2 + 7*n - 1. Let l be d(7). Which is smaller: l or 3/7?
l
Suppose 9*q - 4 = 10*q, k + 4*q + 15 = 0. Let d = -3 + 9. Let v be (d/(-10))/((-3)/(-2)). Which is greater: k or v?
k
Let m(x) = -x**3 - 3*x**2 - 4*x - 3. Let b be m(-2). Let f = b + -2. Which is greater: f or -3?
f
Suppose 4*f = 4*z - 52, -3 = -z - 0*z - f. Suppose 2*b - z = -2*c, 2*b - 4 - 3 = -3*c. Suppose -b*u = -10*u + 5. Is u bigger than 1?
False
Let x = -765/91 - -82205/10374. Let b = -6/19 - x. Which is smaller: -1 or b?
-1
Let r be 3/(-4)*(-1)/(-3). Let x(n) = 1 + 3*n - n + 2. Let f be x(-2). Is r greater than or equal to f?
True
Suppose -3*z + 6 = 18. Let c = 2 + z. Let x be (c/7 + 0)*-1. Which is smaller: -1 or x?
-1
Let s = 9 - -3. Let g = 4 - s. Is g greater than -9?
True
Let f be (10/15)/(2/(-3)). Is f smaller than -2/19?
True
Suppose 2*p = -5 - 3. Let c be 9/2 - (-6)/p. Suppose -6*h + 3*h + 12 = 0. Which is smaller: c or h?
c
Let z(m) = -m**3 + 2*m**2 - 2*m. Let n be z(2). Let d(g) = -g**2 - 4*g. Let p be d(n). Let x be (1/3)/(48/(-18) + 3). Is x < p?
False
Let n(l) be the second derivative of l**5/20 - l**4/4 - l**3/6 + 2*l. Let b = -1 - -4. Let r be n(b). Which is greater: r or -2?
-2
Let m = -6 - -16. Let x = m - 17. Let i = x - -7.2. Is i at most as big as 3?
True
Let c = -0.03 + 0.53. Let u = c - -1.5. Let j = 0.1 + -0.2. Is u <= j?
False
Let d(p) = p**3 - 3*p**2 + 2*p - 4. Let m be d(3). Suppose 4*s + 8 = -f, 3*f + 13 = -3*s - m. Let o be f*1*3/(-114). Is -1 less than or equal to o?
True
Let k = 26 - 24.3. Let f = k - 0.7. Let r = 3 + -4. Which is greater: r or f?
f
Let r(u) = u**3 + 6*u**2 - u - 8. Let g be r(-6). Let n be -10*(24/(-15))/(-4). Is g != n?
True
Suppose -7*v - 3*c = -10*v - 183, 2 = c. Is -58 equal to v?
False
Let b = 23 + -23. Is -1/3 at least as big as b?
False
Let h = 0.5 + -0.1. Which is smaller: h or 6?
h
Let i = 159 - 151. Which is smaller: i or 78/11?
78/11
Suppose 5*k = -5*g + 140, 0 = 3*g - 2*g - 5*k - 10. Is 25 < g?
False
Let o(c) = 6*c + c**2 + 3*c + 0*c**2 - 2*c**2 - 4. Let u be o(7). Let f be (-14)/(-4) + (-15)/u. Which is bigger: f or 0.2?
f
Let s = -5.3 - -5. Let h = s - -0.5. Suppose -f + 3*d - 6*d = -3, 2*f - d + 1 = 0. Which is smaller: h or f?
f
Suppose 8 = 2*g - 2. Suppose -3*k - 5 = -4*w, g*w - 4*w - 3 = -k. Is w bigger than 2?
False
Let w = 23.26 + -23. Is w equal to 1?
False
Let l = 2 - 4. Let w be 3/12*l*-1. Is -5 <= w?
True
Let o be (-2 + 3/2)*-14. Suppose 0 = 2*c + m - o, 5 = m - 0. Let j = -2 + 0. Is c greater than or equal to j?
True
Suppose -x + 4*r + 10 = 0, 5*x - 2*x = -3*r. Let c be (-1081)/7 + x/(-7). Let m = 155 + c. Which is smaller: 1 or m?
m
Suppose 5*m - 3*m - 2*i = 0, 3*i - 8 = -m. Let g = 27 + -29. Let l = m + g. Is l less than 2/3?
True
Suppose -14*t + 135 = -19*t. Is -26 not equal to t?
True
Let v = 35.8 - 36.8. Let g = 5 + -5.3. Let a = 0.4 + g. Is v at most a?
True
Let l = 13.93 - 14. Let r = 10.93 - l. Is 0 equal to r?
False
Let h = -5 - -8. Suppose 4*m = b + 2*m, -3*b + 2 = -5*m. Let a be (h/b)/(6/4). Is 1 at most as big as a?
False
Let u = -62 + 57. Is -4 != u?
True
Suppose -3*p = o - 7, o + 5*p - 2 - 3 = 0. Suppose 4*h = o + 2. Let b be (h + -2)*(-3)/3. Which is smaller: b or -2?
-2
Let h(u) = -u**3 - 7*u**2 - 6*u + 8. Let m be h(-6). Suppose -5*n + m = -12. Suppose 0*a + n*a - 2*z = -18, -15 = 3*a - z. Which is smaller: a or -7?
-7
Let l = 109 - 113.7. Let u = 1.7 + l. Is -1 less than or equal to u?
False
Suppose i + 5*a - 52 = -3*i, -2*a = -i. Let b = -1 - -10. Is b less than i?
False
Let z = 0 - -1. Let a be 226/4 + (-1)/2. Let f = -391/7 + a. Is z bigger than f?
True
Let x = 2 - -2. Which is bigger: x or 1?
x
Let u = -29 + 34. Let j(k) = -6 - 2*k - 2*k**2 + 5*k**2 - 2*k**2. Let a be j(u). Is a at least 9?
True
Let j = 3/2 + -15/14. Is 7 bigger than j?
True
Suppose -w - 5*f = -31, -f + 35 = 5*w - 6*f. Which is greater: 9 or w?
w
Let l(x) = x**3 - 7*x**2 - x + 9. Let d be l(7). Let v = 1 - d. Is -1/5 bigger than v?
True
Let p = 2 + -3. Let h = -22 + 14. Let k = h + 7. Is k equal to p?
True
Let y be (2 - 1) + (-8)/(-2). Let c = 4 - -4. Let a = y - c. Does a = -4?
False
Let d be (-4)/(-6) + 1/(-3). Let i = 6 - 6. Suppose i*k + 1 = -k. Which is bigger: d or k?
d
Let i be (-147)/36 - (-2)/6. Which is smaller: i or -4?
-4
Let p(b) = -b**2 - 5*b - 3. Let t be p(-5). Let u be 1 - (-1 + 1)/t. Let s be 1/(-7*1/2). Which is bigger: s or u?
u
Let o be (-16)/(-672)*(-8)/(-2). Is 1 smaller than o?
False
Let n = 10655595113/380920 + -2993613/107. Let q = n + 3/1780. Let y = q - -163/40. Is y equal to 1?
False
Suppose -3*c - 6 = 3*t + 6, 2*t = 5*c - 8. Suppose -4*j = -k - 19, -k + 3 = 5*j - 14. Is k greater than t?
True
Let k be ((-3)/(-8))/(-3) + 0. Let o = -58 + 58. Is k smaller than o?
True
Let q be 2*(1 - (-2)/(-3)). Let z = 9 - 9.1. Let c = -0.6 - z. Which is smaller: q or c?
c
Suppose -7*w - 15 + 8 = 0. Which is smaller: 10/3 or w?
w
Let s(a) = a + 4. Let m be s(-4). Do 2/3 and m have the same value?
False
Suppose -23 = -8*f + 41. Suppose 8 = -r + 2*r. Is f less than or equal to r?
True
Let o be 348/(-414) - 3/(9/(-2)). Which is bigger: o or 1?
1
Let w(v) = -2*v + 25. Let b be w(13). Suppose -5*g - 5*y - 4 = -14, g + 13 = 4*y. Do g and b have different values?
False
Let f be (2/(-4))/(2/20). Is -2 greater than f?
True
Suppose -7*s = 3*k - 2*s - 6, -18 = 5*k - s. Let f = k + 0. Let r = -57 + 54. Is f < r?
False
Let p = -44 - -44. Is -4 at least p?
False
Let o(p) be the second derivative of p**5/20 + p**4/3 + p**3/6 - 2*p**2 - 2*p. Let s be o(-4). Let h = 4 + s. Which is smaller: -5 or h?
-5
Let b be (-30)/50 + 2/(-5). Is -2 > b?
False
Let g = -896 - -23299/26. Is 0 less than or equal to g?
True
Let t(z) = 2*z - 1. Let c be t(3). Suppose 3*m - 2*g + 12 = 8*m, 4*m = -5*g - 4. Is c at least m?
True
Let b = -1 + -1. Let f = b - -2. Is f at least as big as 2/23?
False
Let f = -25 + 12. Let j = 7 + f. Let z be ((-2)/j)/((-1)/(-15)). Which is greater: 4 or z?
z
Suppose h + 3 = -2*u, -h + 5 = 3*u + 10. Let y(g) = 2*g**3 - g**2 + 2*g - 1. Let k be y(h). Suppose -k = -5*a + 8. Are a and 0.1 non-equal?
True
Let r = -16 + 18. Let b be r/(-3) - 20/(-21). Let t = 1 + 0. Is b at least as big as t?
False
Let t = -20240/37 - -547. Which is smaller: 1 or t?
t
Let x = -55 - -27. Let g be 3/x + 1/4. Which is smaller: 1 or g?
g
Let x(r) be the third derivative of r**4/24 + r**3/6 + 4*r**2. Let n be x(-2). Which is bigger: n or -10/7?
n
Let b = 17.66 - -0.34. Which is smaller: -0.2 or b?
-0.2
Let o(v) = v**2 - 7*v - 12. Let f = -4 - -13. Let c be o(f). Let u be c/(-3) + 3/1. Does u = -1?
False
Let z(n) = n**3 - 10*n**2 + 8*n + 13. Let l be z(9). Suppose 4*q = -2*w + 14, -w + 6*w - 53 = -l*q. Let o be 41/w - 6/39. Are o and 3 equal?
True
Let g(b) = -b**3 + b**2 - 2. Let i be (12/10)/((-4)/(-30)). Suppose -4*k = -i*k. Let c be g(k). Which is smaller: -3 or c?
-3
Let k = 10082/35 + -1761/5. Let x = k - -64. Which is greater: 0.1 or x?
0.1
Let m(f) = -f + 5. Let p be m(4). Let i be 136/506 + 2/(-11). Is p smaller than i?
False
Let s(u) = -u**3 - 4*u**2 - 2*u + 2. Let y be s(-3). Let k(j) be the first derivative of -3*j**4/4 + j**2/2 + j - 4. Let t be k(y). Which is greater: 2 or t?
t
Suppose -5*t - 4 = -4. Which is greater: 1/31 or t?
1/31
Let u = -1 - -1. Let j = u - -3. Suppose -7*m + 2*m - g + 11 = 0, m - 5*g = -3. Is j >= m?
True
Suppose 2*m - 2 = m. Let c(j) = j**3 - 4*j**2 - j. Let r be c(4). Let w = r + 6. Are w and m equal?
True
Let i = -30.7 + 30. Is 0.3 at least as big as i?
True
Let x = 911/1140 + -14/285. Let l = 2 + -1.8. Let c = 0 - l. Which is smaller: x or c?
c
Let k = 16 + -6. Suppose -3*j = -z + 9, 2 = -4*j + 2*z - k. Let u = -8 - j. Is -5 < u?
False
Let o be 0/1 + 6 + -4. Which is bigger: o or 3?
3
Let s(t) = t**3 - t**2 + t - 2. Let m be s(2). Suppose -4*h + 16 = -8*h - m*o, o - 8 = 2*h. Let u be (1/(-2))/(h/(-8)). Which is bigger: -1/3 or u?
-1/3
Let j be (-4)/(-22) + 24/(-11). Which is bigger: j or -3?
j
Let t = -2.1 - 23.9. Which is smaller: -1/3 or t?
t
Let t = -1092501/121 - -9029. Let x = -1049/605 - t. Which is smaller: -3 or x?
-3
Let v = 9076837/298