 2*s**3 + 5*s**3 - 7*s**2 + 7 - 4*s**3. Let a be z(u). Is a != 2?
True
Let o be ((-11)/2 + 6)*78. Which is smaller: o or 40?
o
Let o be -1 - -1 - 6/9. Let p = 2 + -4. Is p greater than o?
False
Let j be (-4)/6 + 32/12. Suppose -j = -2*d + 30. Is 17 bigger than d?
True
Suppose 0 = 2*s - i + 5*i - 16, 0 = 3*i - 12. Is s equal to -2?
False
Let n(x) = -x**2 + 5*x + 2. Let l(h) = -6*h**2 + 24*h + 9. Let j(q) = 2*l(q) - 11*n(q). Let w be (-3)/(-6) + 13/(-2). Let b be j(w). Are b and 5/2 unequal?
True
Let j be 6/4 - (-4)/(-8). Suppose -14 = y - 4*a, -4*a - 12 = 3*y - 34. Let q = y + -3. Is j != q?
True
Let i(g) = -g**2 + 13*g - 10. Let s be i(12). Let w be 2 - (0 + s) - 2. Which is greater: -3/5 or w?
-3/5
Suppose -51*p + 45*p = 60. Are p and -11 unequal?
True
Suppose 0 = 5*s - 11 - 29. Let d be 807/(-5) + s/20. Let l = d + 1129/7. Is l smaller than 0?
False
Let y be (-13308)/(-140) - (-2)/(-10). Let r = y - 95. Which is bigger: r or 1?
1
Let o = 1.35 - 1.7. Which is smaller: o or -1?
-1
Let s = 117/35 + -16/5. Is s at least -1?
True
Let s = 11 - 0. Let z be 32/20 + (-6)/3. Is s smaller than z?
False
Let n = -5.7 - -4.7. Is n smaller than 3?
True
Let j be (-4)/(-6)*(2/(-4) + -1). Is j bigger than 1/11?
False
Suppose 4*b = -3*k, 4*k - 5 = 2*b + 17. Which is greater: -2 or b?
-2
Let r be 4/14*2/(-2). Let q(b) = 5*b - 6. Let w(l) = -4*l + 6. Let y(c) = -5*q(c) - 6*w(c). Let d be y(-7). Which is greater: r or d?
d
Suppose 0 = -18*g + 433 + 215. Which is smaller: 0 or g?
0
Let m = 1067 + -7457/7. Are m and 3 non-equal?
True
Let h = 0.2 + -0.21. Let w = h + -0.09. Which is smaller: 10 or w?
w
Let k = 5 - 3. Suppose 5*t - k = 4*t. Does t = 4?
False
Let p = -0.12 + -8.88. Let w = p + 8.8. Let q = 2.2 + 0.8. Which is greater: q or w?
q
Let q = 12 - -3. Which is smaller: 14 or q?
14
Let b be (1 - 2)/(3/3). Let y = 1 + -1. Let l be y - ((-3)/(-7))/(-3). Which is greater: b or l?
l
Suppose -4 = -4*r + 3*b + 6, -2*r + b + 4 = 0. Let c be r/((-4)/6 - -1). Let z be -2 + (-2)/(2/(-5)). Is c smaller than z?
False
Let x(w) be the first derivative of w**4/12 + w**3/6 + w**2 - 2*w - 2. Let q(a) be the first derivative of x(a). Let c be q(0). Is 0 >= c?
False
Let m = 3.1 - 3. Which is smaller: 2/7 or m?
m
Suppose -5*r - 5 = -0*r. Let i = 379/264 + -11/8. Does r = i?
False
Suppose 2*g - 2*b - 3 = 3*b, 3*b - 2 = 5*g. Let h be g/(-6) - (-5)/18. Do h and -1 have different values?
True
Let t(s) = -3*s + 49. Let b be t(18). Is b less than or equal to -1?
True
Let w = 1051/5 + -211. Which is greater: -1 or w?
w
Let c(o) = -o - 9. Let a be c(-5). Let d be ((-64)/4)/a + -4. Let i be 1/(-11)*-2 - 0. Which is greater: d or i?
i
Let n(x) be the second derivative of x**3/6 + 2*x**2 + x. Let c be n(-4). Let j = -6.7 - -7. Which is smaller: c or j?
c
Let v = 5 - 2. Let b = v - 0. Is 1/4 < b?
True
Let s(i) = -i - 1. Let c be s(-1). Is c at most 1/21?
True
Let b = 0.3 + 0. Is -0.03 >= b?
False
Suppose -2*u + 3*u = -21. Let z = u - -13. Let x = z - -5. Which is smaller: x or -0.1?
x
Let x = -66.3 + 66. Which is smaller: x or 0.03?
x
Let d = -7/30 - -1/3. Is d greater than or equal to 0?
True
Let n = 2 + -12. Let s = n + 9. Let x = -2 + 5. Is x != s?
True
Let o = -266/3 - -88. Let v = 3.4 + -3. Do v and o have the same value?
False
Let l = -2.4 - -6.2. Which is smaller: -1/3 or l?
-1/3
Let z(q) = -4 + 8 + 6 - 1 - 2*q. Let k be z(5). Is 4/15 < k?
False
Let y be 2*(1/(-1))/(-2). Let z be 4/6*(-2)/(-8). Do y and z have different values?
True
Let h = 117/5 - 24. Is h at least -2?
True
Let v be (-8)/28 + 12/(-7). Let z be -2 - (-3 - v - 3). Is 1 bigger than z?
False
Suppose -2*t - 10 = 12. Let o(d) = d**2 + 10*d - 10. Let u be o(t). Let m = -3 - -2. Which is smaller: u or m?
m
Suppose -231 = -6*y + 13*y. Is y < -31?
True
Let x = -16/15 + 2/3. Let d = -0.02 - 0.08. Is d > x?
True
Let r = -2 + 2. Let k = r + 0.1. Is -1 at most as big as k?
True
Let j be -2 - (2 - (3 + 1)). Let i = -182/5 - -36. Is j greater than or equal to i?
True
Suppose 0*c + 3*c - 9 = 0, -4*u - 2*c = -30. Suppose 2*o + 2*m = o + 2, 3*o - 2*m - u = 0. Which is smaller: o or 4/7?
4/7
Suppose 3*n = 4*n - 6. Let h = -4 + n. Which is bigger: 3/5 or h?
h
Let a = 84 + -83. Which is smaller: a or 3/40?
3/40
Let k(n) = -n + 4. Let x(z) = 7*z**3 + z**2 + 2*z + 1. Let s be x(-1). Let j be k(s). Is 12 not equal to j?
True
Let d(j) = j**2 + 2*j + 1. Let h be d(4). Let g be h/(-30) - (0 + -1). Is 1 less than g?
False
Let i(k) = k**3 - 20*k**2 - 17*k - 69. Let j be i(21). Suppose -2*v = g - 16, -v = -2*g - 0*v + 27. Which is greater: g or j?
j
Let i be 12*(21/(-6))/(-7). Let l(k) = k + 4. Let r be l(i). Are r and 11 nonequal?
True
Let v = 28 - 27. Which is greater: v or -2/21?
v
Suppose 4 = -3*t + j, 3*t + 4*j + 12 = -2. Let p be (22/6 + t)*3. Suppose -5*q + p*f = -3 - 7, 0 = -2*q - 2*f - 4. Is 5/6 smaller than q?
False
Let t = -5 + 4.7. Let j = -45.4 - -45. Let h = t - j. Which is smaller: 0.2 or h?
h
Let i = 58 - 55.7. Let g = 1.7 + i. Which is greater: g or 2?
g
Suppose 5*t - 129 = 11. Which is smaller: 29 or t?
t
Let f = 2.4 - 5.4. Are f and -3 nonequal?
False
Let q = -18084 + 126926/7. Let g = q - 48. Let d = -5 + 9. Is g less than or equal to d?
True
Suppose -23 = -3*h + 3*p - p, -5*h = 3*p - 51. Which is smaller: h or -2?
-2
Suppose -10 = 2*p - 0*p, 5*j + 2*p = -15. Let v(i) = 3*i**2 + 2*i + 1. Let t be v(j). Let n be 6/7*t/(-6). Is -2/11 smaller than n?
False
Let z = -4.4 + 0.4. Let u = z + 1. Let d = u - -5. Is -2/7 < d?
True
Suppose -2*x - 4*v - 36 = 0, -5*v - 5 = -x - 2. Which is smaller: x or -10?
x
Let i = 17066828 - 597215296/35. Let s = -3533 + i. Let x = s + -9/10. Is x greater than 1?
False
Let o(h) = -2*h + 33. Let g be o(16). Let z be (2/12)/(2/15). Is g less than z?
True
Let f be ((-1)/(-2)*4)/(-4 - -3). Let i(o) = o**2 - 4*o + 1. Let g be i(4). Is f bigger than g?
False
Let u be 2/5 - (-13)/(-20). Let o be -2*(26/(-4) + 2). Let t(q) = q**2 - 10*q + 8. Let a be t(o). Which is greater: a or u?
u
Let z be -2*2 + (15 - 0). Which is smaller: 12 or z?
z
Let d be -1 + 52 - (-1)/(-1 - 0). Is d less than or equal to 0?
False
Let w(s) = 3*s + 3. Let t be w(-5). Let a be (-8)/5 - 18/t. Which is greater: a or 0?
0
Let c be (-5756)/21 - (-1)/(-3). Let v = c + 274. Is 1 at most v?
False
Suppose 0 = -14*w + 19*w + 5. Does w = 10/21?
False
Let r be (-8)/12*-6 - 0. Are -1 and r equal?
False
Let b be 5/(-3)*((-678)/345 - -2). Which is smaller: b or 0?
b
Let w(y) = -y**3 - 3*y**2 + 2. Let b be w(2). Let i = b - -19. Which is smaller: i or -1/5?
-1/5
Let a = -50 + 41. Let s(w) = 0*w - 3 - 4*w + 7. Let t be s(3). Is a > t?
False
Let z = 4.3 + 0.7. Let m = 7 - z. Let k = 1.9 - m. Which is smaller: 0 or k?
k
Let h = 0.5 - 2.2. Let s = -0.52 + 0.22. Let z = h + s. Which is smaller: 0 or z?
z
Let r = 65 - 68.05. Let g = r + 0.05. Is g at least -1/2?
False
Let u be (-2)/(-4) - 21/45. Let m be (-92)/(-60) - -1 - 2. Let g = m - u. Is 1 smaller than g?
False
Suppose 5*m + l = 430, -m - 5*l = -99 + 37. Let g be (-2599)/30 - (-1)/(-2). Let a = m + g. Are a and 1 nonequal?
True
Let u(h) = 4*h + 3. Let i(z) be the first derivative of -4*z**2 - 5*z + 1. Let t(j) = 4*i(j) + 7*u(j). Let a be t(1). Is a less than -0.2?
True
Let k(c) = c**3 - 6*c**2 - 2*c + 9. Let z(r) = -r**2 + 7*r - 4. Let q be z(5). Let l be k(q). Is -2 at least as big as l?
True
Let y = 8 + -8.3. Let k = 0.7 - 1.7. Do y and k have different values?
True
Let v be (-2 + 1)/(-1 + 0). Let w be ((-3)/(-72)*2)/1. Let r = w - 1/4. Which is smaller: v or r?
r
Suppose -5*s = 1 + 4. Let a = s - -3. Which is smaller: 6/11 or a?
6/11
Suppose -k = -5*k. Let g be 1 + 0 - 3/(-3). Suppose g = -d - k. Which is greater: -1/2 or d?
-1/2
Let t be ((-4)/(-10))/((-2)/(-30)). Suppose 0 = 3*b - g - t, -2*b - 5*g - 13 = -0*g. Let i be (-4)/(-5) - 2/(-10). Is i greater than or equal to b?
True
Suppose -4*q + 15 = -q. Let l be (2 - 3)*-2 + 0. Suppose -u + l*u = 6. Is u <= q?
False
Let s be (15/4)/((-2)/(-8)). Let p be (-2)/(-4)*(-12)/s. Suppose -187*v + 183*v = 0. Which is bigger: p or v?
v
Suppose x - 6 = 2*x. Let g be 1/(2/x*-3). Let l(f) = -f**3 - 2*f - 1. Let k be l(-1). Is k not equal to g?
True
Let c be -2 - (339/45 - -1). Let w = 32/3 + c. Is w greater than -1?
True
Suppose -y - 1 = 0, 2*z - y - 5 = 6