e -9 = 3*s - 6. Which is smaller: s or v?
s
Let q = -142/9 - -16. Let c(p) be the first derivative of -p**4/4 + 7*p**3/3 - 3*p**2 - 1. Let u be c(6). Is q <= u?
False
Let v = -211/552 + 5/24. Which is greater: 0 or v?
0
Let g = 2 - 3/2. Which is smaller: g or -1.9?
-1.9
Let l = -2.9 - -3. Let n = 6 + -1. Let t = n + -5.2. Are l and t unequal?
True
Let s = -62 - -312/5. Let u = -3124/15 - -662/3. Let k = u + -12. Are k and s unequal?
False
Let w be ((-15)/(-220))/(((-9)/2)/(-3)). Is w bigger than -1?
True
Let b = 15.91 + -16. Let w = b + 1.09. Let p = -0.1 - -0.2. Are p and w nonequal?
True
Suppose 15 = -5*n - 5*u, 5*n + u + 1 - 2 = 0. Is n <= -4/43?
False
Suppose -7*k = -4*k + 30. Which is smaller: k or -9?
k
Suppose 4*k = 0, -2*u = -2*k + 3*k + 18. Let m = -2 - u. Do m and 7 have the same value?
True
Let o = -1.143 + 0.143. Is o not equal to 1/5?
True
Let k be ((-72)/(-28))/(6/28). Let s = k + -17. Which is bigger: -3 or s?
-3
Let u(h) = -h - 1. Let q be u(-2). Let v be 26/(-24) + 1/(-3). Let r = v - -7/4. Are q and r non-equal?
True
Let j = 3 + -3. Let a = 0.05 - 0.05. Is j greater than a?
False
Let m = 30 + -119/4. Let w = -27 - -26. Which is smaller: w or m?
w
Let k be -7*((-5)/(-15))/(7/(-6)). Let p(u) = 4*u + 1. Let h be p(2). Suppose -5*t + 22 = -k*t + 5*l, 4*t - l + h = 0. Is 2/15 not equal to t?
True
Let b be (-45)/3 + (-1 - 0). Let n be 10/25*(b - -1). Let r = -19/3 - n. Are r and 1 nonequal?
True
Let i be 3/1*1/(-3). Let x(v) be the first derivative of -v**3/3 - 3*v**2/2 + v + 1. Let l be x(-4). Which is greater: l or i?
i
Let p = -1 + 2. Let m(v) = -6*v. Let n be m(1). Let s be (p/(-10))/(n/15). Which is greater: 1 or s?
1
Suppose -3*j - 4*n = -18 + 4, 5*j - 3*n - 4 = 0. Suppose 6*u - 3*s = j*u - 17, 0 = -4*u - 3*s + 1. Which is bigger: -8 or u?
u
Let a = 3 - 7. Let r = 5 + -3. Let u be (-3 + 4)*r*-2. Is a at most u?
True
Let v be 2/(-6) - 7/(-3). Let a = -6 + v. Let c be -1 + 5/((-30)/a). Which is bigger: c or -1?
c
Let h = 4672852/99 + -47201. Let w = -4/11 - h. Which is smaller: w or -2/5?
-2/5
Let s be (-6)/(-9) - (-1 - (-232)/60). Are s and -1 nonequal?
True
Suppose 2*c + 3*w - 1 = 0, 2*w = 3*c - 6*c - 6. Suppose 0 = -o + 16 - 18. Is o at most c?
False
Let x be (-6 + 7)*(-3)/(-9). Which is smaller: x or -1?
-1
Let a = 0.5 - 0.5. Let o = a - -1. Which is bigger: o or 3?
3
Let c = 4 + -8. Which is smaller: -6 or c?
-6
Let w be ((-8)/(-42))/((-1)/(12/40)). Which is greater: w or -0.5?
w
Suppose -1 + 7 = -k - 4*r, 4 = -k - 3*r. Is 8/5 less than or equal to k?
True
Let m = -3 + 4. Let a = m + -2. Suppose -5*d + 9*d = 0. Is d less than or equal to a?
False
Let w = 12 + -8. Let v = 0 + -1. Which is bigger: w or v?
w
Let o(n) = -2*n + 15. Let z be o(7). Suppose -w + z = -2*w. Is w != -7/6?
True
Suppose 2*w - 8*w - 228 = 0. Is w less than -37?
True
Let k be (6/(-4))/(-3)*2. Suppose 6*u - 2*u = -8. Which is smaller: k or u?
u
Let l be ((-106)/(-110) - 1)/(102/(-85)). Is l <= 0?
False
Let v(q) = -q**3 + 3*q**2 - 4*q + 1. Let s be v(4). Let g be -1 + -1 + (-64)/s. Let w = g + -49/279. Which is bigger: 0 or w?
0
Let l = -1 - -1.1. Let d be (-2 - -2) + -72 + 0. Let a = 285/4 + d. Which is bigger: l or a?
l
Let z(y) = y**2 - 8*y + 8. Let o be z(6). Is -6 > o?
False
Let p(b) = -4*b - 5. Let g(f) = -2*f - 2. Let d(c) = -7*g(c) + 4*p(c). Let t be d(-4). Suppose -3*r = 2*m + 7, -4*r = t + 10. Which is smaller: -1/10 or m?
-1/10
Let j = -0.1 + 0.14. Let i = j + 4.96. Let o = -7 + i. Does -0.1 = o?
False
Let t = -3 - -4. Which is bigger: -2/13 or t?
t
Suppose -4*r = -13 - 23. Let w = r + -15. Is w greater than or equal to -6?
True
Let s = 2.7 + -3. Is s <= 1/5?
True
Suppose -4*d - d = 0. Let r = -2/81 - -8/81. Are r and d unequal?
True
Suppose 2*u + 2*g - 6*g - 26 = 0, 4*g - 9 = -5*u. Suppose -u*l - 28 = -l. Is -6 equal to l?
False
Suppose w = 5*n + 13, 0*n = 4*w + n - 31. Let g = 10 - w. Suppose 0 = -m - m - g. Is m greater than -4/3?
True
Suppose 2*q - d - 2*d - 7 = 0, -5*q - 2*d - 11 = 0. Suppose 0*n = 2*n - 6. Let a = n + q. Is a < 4/5?
False
Suppose -3*q + 25 + 56 = 0. Suppose -5*m - 2*i - q = 0, -3*m + 0*m + 3*i = 12. Are -4 and m equal?
False
Let p be 4/(-6) + (-1)/(-2). Let c = -30 - -29.8. Which is smaller: p or c?
c
Let c = 11.7 - 6.5. Let f = 0.8 + c. Let v = f + -4. Are v and 2 equal?
True
Let y = 1.1 + -2. Let p = 4.9 + y. Let b = 426/77 - 64/11. Is p at most b?
False
Let z = -6.7 + 7.7. Is -10/13 less than or equal to z?
True
Suppose 3*o = -3*v - 48, 5*v + 17 + 8 = 0. Let a = o - -12. Let b be 2*(-2)/12*1. Which is smaller: a or b?
b
Suppose 0 = 5*a - 33 - 12. Is 9 greater than a?
False
Let u be 2/(-16) - 2109/152. Let c = -2 + -11. Which is greater: u or c?
c
Suppose 2*x - 9 - 3 = 2*g, -x = -3*g - 8. Which is greater: 4 or g?
4
Let y be 15/6*6/(-5). Which is bigger: -6 or y?
y
Let b(i) = -2*i + 2. Let f be b(0). Suppose -f*h = 2*h - 8. Is h < 2?
False
Let u = 0.08 + -3.08. Let c be 1/(-4*(-1)/24). Which is smaller: c or u?
u
Let g be (-5)/3*(1 + -4). Suppose -g*y - 47 = -17. Which is greater: 1 or y?
1
Let s be ((-9)/(-12))/(45/40). Which is greater: s or 0?
s
Let x = 0.088 - 1.088. Let c = 5.8 - 0.8. Which is smaller: x or c?
x
Suppose 2 = -5*t + 7. Suppose -1 = w - 8. Suppose 3*q - w*q = 0. Is q less than or equal to t?
True
Let k(o) = -o - 2. Let n be k(-3). Let v(c) = -c**3 + 9*c**2 + 2. Let r = 0 + 9. Let h be v(r). Which is smaller: n or h?
n
Let k(u) = -2*u**3 - 32*u**2 + 3*u + 21. Let b be k(-16). Are b and -27 unequal?
False
Let t(p) = p**3 - 4*p**2 - 6*p + 4. Let q be t(5). Let l = 1 + 10. Let c(k) = -k**3 + 10*k**2 + 10*k + 9. Let r be c(l). Is q at least r?
True
Let q = 6 + -10. Suppose 5*l = 3*s - 4*s - 5, -5*l = 2*s + 10. Which is smaller: s or q?
s
Suppose 4*h - 29 - 15 = 0. Let b be -14*(h/10 + -1). Do 1 and b have the same value?
False
Let q(p) = -p**3 - 3*p**2 - 5*p. Let v be q(-4). Let u be 20/v - (-2)/(-9). Do 1 and u have the same value?
False
Let f = 0.104 - 0.004. Which is greater: f or -33?
f
Let a(d) = 4*d - 2 - 4*d + d + 0. Let h be a(1). Let f be (-4)/(-18) + 8/18. Is f less than or equal to h?
False
Let l be (-10)/35*1/(-2). Is l bigger than 2/5?
False
Let q = -9/143 - 69/143. Which is greater: q or -2?
q
Let r = -36 + 35. Is -6/31 != r?
True
Let r = -13.4 + 6.2. Let y = -9 - -2. Let l = r - y. Is -2 at least as big as l?
False
Let q = -5 + 4. Suppose 5*m - 8 - 2 = 0. Let f be (-2 + 2 - 2) + m. Which is smaller: f or q?
q
Let j be (10/35)/(3/(-7)). Let c = -7/6 - j. Is -0.04 < c?
False
Let i be 4/((-26)/10 - -3). Let l be -3 - -1 - (-12)/i. Which is bigger: -2 or l?
l
Suppose -4*l - 2*u + 14 = 0, 5*l - 25 = -8*u + 3*u. Let s be 2 + -2 - (-3 + l). Is 0 at least as big as s?
False
Suppose -3*m + 5*p - 23 = 10, 36 = -4*m + 4*p. Let o be 2/m + (-2)/(-15). Suppose -2*d = -5*t, 5*t = d - 2*d. Is o at least d?
False
Let q be -6 + 3 + 7 - (-2 - -10). Which is smaller: q or -2?
q
Let p = 779 + -8563/11. Is 0 >= p?
False
Let p = -11/10 + 3/2. Which is bigger: 0 or p?
p
Suppose 3*n - n = 0. Suppose -2*j + 4*k = 20, 0 = -3*j + 2*k - 18 - n. Suppose -h = -6*h - 20. Is h smaller than j?
False
Let m be ((-8)/6)/(2/6). Let t be 2 + 2 - (1 + 1). Let f be (m/36)/(1/t). Are f and 1 non-equal?
True
Suppose 0 = 2*w - 9*w + 14. Let z = 1 - -2. Is z equal to w?
False
Let m = -92/9 + 487/45. Let g be (-2)/(-2) + 0 + -1. Let x = g - 0. Which is bigger: m or x?
m
Suppose 3*y + 2*y + 4*i - 8 = 0, -3*y = 5*i + 3. Let m be (0 + y)*(-1)/(-5). Let w(k) = -k**2 - 7*k + 8. Let c be w(-8). Is m at least c?
True
Let y = 60 - 60.1. Which is smaller: y or 55?
y
Suppose -157 = 24*g + 11. Suppose 0 = -0*z + z + 5. Is z >= g?
True
Let d be (-9)/18*(-13 + 1). Let i = d + -5. Which is greater: i or 1/8?
i
Let t be ((-84)/196)/(23/(-7)). Suppose o + 3 = -3*x - 0, 0 = -5*o. Which is smaller: x or t?
x
Suppose 5*h + 5*a + 0 = -15, -5*a - 19 = 3*h. Which is bigger: h or 5?
5
Let x = -4 - -2. Let a = 7 + x. Is 5 greater than a?
False
Let a = -0.06 - -0.11. Let x = -0.95 - a. Is x at least as big as 0?
False
Let z(q) = -q**3 + 9*q**2 - 8*q + 1. Let r be z(8). Suppose -5*t - 7 = -u + 2*u, -4*t - 3*u = -r. Is t less than -2?
False
Let m(p) = -p**2 - 3*p + 5. Suppose y + n - 1 - 1 = 0, -y + 5*n = 16. Let r(c) = -3*c**2 - 1. Let i be r(y). Let f be m(