Let o = -8 - -7. Let f be (-10 + 9)*(-2 - o). Let z be (-5)/(-10)*1/2. Are z and f non-equal?
True
Let u(i) be the third derivative of i**6/120 + i**5/15 + i**4/12 + i**3/3 + 4*i**2. Let q be 3*(-3)/(-9)*-3. Let s be u(q). Is 6 bigger than s?
True
Let u(c) = -c**3 + 5*c**2 - 5*c + 3. Let j be u(3). Let m be (j/4)/(36/3). Is m > 0?
True
Let k = -0.16 + 0.86. Let p = -0.69 + k. Let c = p + 0.29. Which is smaller: 1 or c?
c
Let c = -7.1 + 80.1. Is c at most as big as -0.1?
False
Let d be ((-44)/10)/2 + 0. Let c = d - -87/35. Which is smaller: -2/7 or c?
-2/7
Let x(c) = -c**2 - 6*c + 1. Let z be x(-6). Let h be (8/16)/(z/52). Which is smaller: 1 or h?
1
Suppose 11 = 4*j - 9. Let n be (-1 - -1)/(-3 + j). Let p = n + 1. Is p greater than 1?
False
Let c be -3 - (2 + (-1 - 1)). Let h be (-8)/(-5)*(-10)/4. Which is greater: h or c?
c
Let r = 304/3 - 72. Let y = 54 - 25. Let p = r - y. Which is smaller: -1 or p?
-1
Let l(v) = 2*v**2 - 4*v. Let z be l(3). Suppose 0 = -3*d + z*d + 3*k + 81, -114 = 5*d - 2*k. Let n be 4/(-22) - d/(-110). Which is smaller: 1 or n?
n
Let y be (-2 - 0)*(-7)/(-2). Suppose -5*l - 6 = -8*l, 11 = -5*k - 2*l. Is y > k?
False
Suppose 4*s = -5*y - 6, -3*y + 5*s - 2*s + 18 = 0. Is 4 at most as big as y?
False
Let d(m) = -2*m**3 - m. Let t = 9 - 10. Let l be d(t). Which is smaller: 7/4 or l?
7/4
Suppose 2 = -b + 9. Suppose b = 5*v - 3. Is 3 < v?
False
Suppose 6 = 4*t - 6. Which is smaller: t or 6?
t
Let h(c) = -15*c**3 - 17*c**2 - 13*c. Let l(d) = 7*d**3 + 8*d**2 + 6*d. Let u(n) = 6*h(n) + 13*l(n). Let o be u(-2). Which is greater: -3 or o?
o
Let m = -60 + 60. Is m not equal to 43/3?
True
Let j = -36.7 - -35. Let r = j - -4.7. Which is smaller: 4 or r?
r
Let k(m) = 3 + m**2 + 2*m + 3*m + 0*m + 2*m. Let n be k(-7). Suppose 2*t - n*t + 2 = 0. Is 2 bigger than t?
False
Suppose -w - 2*k = -44, 3*w - 18 = -k + 114. Are 44 and w equal?
True
Suppose -5*n = m - 25 - 4, -15 = -2*n + 3*m. Which is bigger: n or 2?
n
Let k be 90 + 3/1*(-2 + 1). Is 85 less than k?
True
Let y be 3/(-8) + 23/46. Which is bigger: y or 4?
4
Let w(t) = t**3 + 6*t**2. Let r be w(-6). Let l be 2*(4 + 9/(-3)). Suppose l*s + s = r. Is s bigger than -1/4?
True
Let t be -7 + 0*(-1)/3. Let o be -8*((-7)/(-2))/t. Is 4 > o?
False
Let y(i) = -i**3 - 9*i**2 - 9*i. Let d be y(-8). Are 8 and d equal?
True
Suppose 0 = -4*k - 0*k + 28. Suppose -2*f - 8 = 4*i, k*i + 32 = 2*i + 3*f. Let z be i/(-10) - 16/(-10). Which is greater: 3 or z?
3
Let c be 26/10 + (-12)/(-30). Suppose 0 = -3*r + c + 3. Let j = 4 - 1. Is r < j?
True
Let l(r) = 6*r - 8*r + 13 - r**2 + 3*r - 4*r. Let w be l(-6). Is -4 greater than w?
True
Let l be 0/(0 + 2*-1). Suppose -4*f + 2*f - 3*b - 21 = l, -2*f + 4*b + 14 = 0. Suppose -8 = 2*h + 2*h. Which is greater: h or f?
h
Let t(y) = 2*y - 2. Let b be t(2). Is 7 > b?
True
Let o(c) = c**3 - c**2 - c - 2. Let d be o(0). Let a be -6 + d/1 + 0. Is a greater than -8?
False
Let j = 236/17593 + 167041051/334267. Let z = j - 4502/9. Let k = -5/19 - z. Which is smaller: 1 or k?
k
Let c be (-1)/(-4) + (-5)/(-12). Suppose -12 = -h + 4*h, 5*x = 3*h + 2. Let t = 2 + x. Do t and c have different values?
True
Suppose -4*c + 93 = 57. Is 5 less than c?
True
Let b = 35 - 2. Is 32 bigger than b?
False
Suppose -4*m = -m. Let g = -122761/56 + 2192. Let b = 1/8 - g. Are m and b nonequal?
True
Let m = -34 + 15. Does -20 = m?
False
Let z = 431/2 + -205. Which is greater: z or 12?
12
Let p = -1 - 1. Let a = p + 3. Which is bigger: -2/9 or a?
a
Suppose 3*v = u + 4*u + 3, 2*v = -5*u + 2. Suppose 0 = -2*l - 3*s - 2*s + 32, 0 = 5*l + 2*s - 38. Suppose u = 2*o - 5*o + l. Which is bigger: o or 6/5?
o
Let c(w) = -w**3 - w**2 - w. Let b be c(0). Which is smaller: b or 2/101?
b
Let p = 0.27 + 0.83. Let j = p + 2.9. Which is bigger: 2 or j?
j
Suppose 4*u - 8 = 4. Which is greater: 0 or u?
u
Suppose 216 = 10*q - 18*q. Is q equal to -28?
False
Let x = 3 + -8. Let c(y) = y**2 - 13*y + 31. Let u be c(10). Which is smaller: u or x?
x
Let l be (1 - 2/(-2)) + -2. Suppose 3*z + 15 = 4*y, -4*z - y - 1 = -l*z. Is z at least as big as -1/4?
False
Let v = 12 + -8. Suppose -m - v*a + 19 = 0, -16 = -3*a - 1. Which is smaller: m or 0?
m
Let g = -4/315 + 842/16695. Is g >= 0?
True
Let z = -11 - -7. Let m = z + 5. Is m at most as big as 0.4?
False
Let n = 16 + -17. Let t = 1 - n. Does t = -0.1?
False
Let k = -21/16 + 1/16. Let z = 2 + -4. Let p(y) = -y**2 - 3*y - 2. Let l be p(z). Is k at least as big as l?
False
Let i(a) = a**3 + 6*a**2 - 8*a - 8. Let n be i(-7). Which is smaller: n or -2?
-2
Let l = -0.4 + -1.2. Let c = -0.6 - l. Which is smaller: -1/2 or c?
-1/2
Let w = 696 - 10421/15. Let u = -3/5 + w. Which is smaller: 0.2 or u?
0.2
Let i = 8 - 5. Suppose 8*m - 4*q - 150 = i*m, -2*q = -10. Let y = 308/9 - m. Is y greater than 1?
False
Let x = 7 - 9. Let y = x - -6. Which is bigger: 5 or y?
5
Let q be (5/3)/(2/30). Suppose -l + 24 = 5*t, 3*l - 8 - q = -2*t. Suppose -4*g + l*g + 3*n = -7, -4*g - 4*n - 12 = 0. Is g at most -2/5?
False
Let o be (-46)/14 - (-4 - -1). Let d be (-11 - -12)*(-6 + 0). Which is smaller: d or o?
d
Let d = 1.1 + -1.2. Let w = 2/109 + -288/3815. Let g = 39/70 + w. Which is smaller: d or g?
d
Let w = 20 - 15. Do w and 17/4 have the same value?
False
Let c = 80 - 76. Is 0 at least as big as c?
False
Let b = 4 + -31. Let q be 2/(-9) - (-12)/b. Which is smaller: 0 or q?
q
Suppose 2*q - 4*l + 36 = 0, -3*q - 47 = 2*l - l. Let u = q - -17. Which is bigger: 0 or u?
u
Suppose 5*u - 2*t = 33 + 2, -61 = -4*u - 5*t. Suppose 5*c - u = -24. Is c <= -1?
True
Let d = -123.2 - -124. Are -1/4 and d equal?
False
Let l be -57*(-2 + (-14)/(-6)). Which is bigger: l or 1?
1
Let f = 41.9 - 42. Let i = 18 - 26. Is i greater than or equal to f?
False
Let g be (-2)/(-8) + 14/8. Is g < -46/5?
False
Suppose 0 = -2*d - 8*y + 5*y + 15, 5*d + y = 5. Which is smaller: d or -1/2?
-1/2
Let t(u) = 2*u. Let x be t(1). Let a be (-4)/(-4) - (-3 - -1). Do a and x have the same value?
False
Let r be (1 - (-2)/(-1))*0. Is r at least 3/5?
False
Let m(o) = 34*o - 8. Let q be m(4). Let s be ((-24)/q)/((-15)/4). Which is smaller: s or 0?
0
Suppose -5*f - 2*n + 5 = 0, -4*n = -3*f - 6 - 17. Let g = 2 - f. Let a(u) = u**2 - 5*u - 4. Let c be a(6). Which is greater: g or c?
g
Suppose 0 = 4*r, -5*r = -5*y - r. Let u = 115/1524 + 1/127. Is u less than y?
False
Let x(g) = -g - 2. Let w be x(-5). Suppose w*i = 4*i - 1. Let t = -31/12 + 9/4. Is i less than or equal to t?
False
Suppose 4*g - 33 = 2*x + 3*x, 0 = g + 3. Let y(a) = a**3 - 2*a**2 - 3. Let k be y(3). Let w be (-6)/x - 4/k. Which is smaller: w or 2/15?
w
Let d = 2/17 + 7/85. Let z(o) = o - 1. Let h(m) = 2*m - 3. Let r(x) = -2*h(x) + 5*z(x). Let s be r(-2). Which is bigger: s or d?
d
Let w be (-2)/(-10) + (-63)/15. Let g be 3 + (-1)/1*1. Let y be g + 0 - (7 + -2). Is w less than y?
True
Let q be ((-24)/(-15))/4 - (-96)/(-40). Which is greater: q or 31?
31
Let t(i) = -i**3 + 3*i**2 - i + 1. Let k be t(3). Let p = 0.01 + -0.21. Let g = p - -0.4. Is g <= k?
False
Let q = -4.915 + 0.015. Let v = 7 + q. Let r = v + -2. Which is bigger: r or -0.1?
r
Let p(n) = 7*n**2 - n - 2. Let q be p(-2). Is 28 > q?
False
Let g(c) = -3*c**3 + c**2 + 2*c + 1. Let y be g(-1). Suppose 8*k = 3*k. Suppose 0 = -4*j + a + 16, 3*j - a + k*a - 13 = 0. Is y < j?
False
Let v = 5 + -5. Which is bigger: v or -2/19?
v
Let t = -1.1 - -1.1. Let s = -0.1 - t. Is s >= -1?
True
Let c = -33 - -23. Let x = 11 + c. Is -2/13 equal to x?
False
Let k = 19.8 - 21. Which is smaller: -1 or k?
k
Let y = -3 + 10. Let m = -16 + y. Let d = -10 - m. Which is smaller: d or -2/3?
d
Suppose -3*m = 3*g + 3, -4*g = -m + g + 11. Which is smaller: -4/23 or m?
-4/23
Suppose -5*r - 14 - 1 = 0, -b - 5 = 3*r. Suppose -b*k - 2*p = -k - 3, 3*p - 9 = 0. Let d be 10/(-24) - (-3)/(-12). Is d at most k?
False
Let t = -2.57 - 3.43. Suppose -5 + 1 = 4*u. Let a be 1/(2 - (u + 0)). Which is smaller: t or a?
t
Let i(u) = -u**2 - 4*u + 5. Let a be 1*(2 - -1)/1. Let l = a + -7. Let z be i(l). Is 5 at least z?
True
Let v = 17.02 + -17. Which is bigger: v or 0?
v
Let w = -4.11 + 0.11. Let r = -0.036 - -3.836. Let z = w + r. Is z less than or equal to -2?
False
Let r be (-1)/(-3) - (-56708069)/3639909. Let f = -7540/469 + r. Let c = -2/199 - f. Which is smaller: c