Let o = -4 - u. Let y = 1 - 1. Is y at most o?
False
Let s(p) = -p**3 + 7*p**2 - p + 6. Let b be s(7). Which is greater: b or 6?
6
Let f = -7 - -15. Suppose -3*o + f = -28. Let c be (2/(-7))/(o/28). Is -2/3 at most as big as c?
True
Let z be (-2)/(-4) + 35/14. Suppose z*v = -5 - 4. Is v less than or equal to -1/2?
True
Let t(i) = -i**3 - i**2 + i. Suppose 7*p - 2*p - 4*k = -8, 5*k = 4*p + 10. Let z be t(p). Which is smaller: 5 or z?
z
Let t be 477/60 - (1 + 0). Let c = t + -31/4. Do 0.1 and c have different values?
True
Let a = -2.8 + 2.9. Is 2 > a?
True
Let g = 75 + -227/3. Are -2 and g nonequal?
True
Let a(x) = x**2 - 6*x + 1. Let n be a(6). Let y = 2 + n. Suppose k = -4*k - 5*r, 4*k = y*r. Is -1 less than or equal to k?
True
Let n = -35 + 37. Let z be 4 + (-4 - 1 - -3). Is z smaller than n?
False
Let s(i) = i**3 + 8*i**2 + 5*i - 6. Let g be s(-7). Let t be g/2 - (1 - 0). Is t at most as big as 2?
False
Let w(r) = 2*r - 8. Let s be w(6). Suppose 3*l + 1 + 11 = 3*p, -s = -3*p - l. Is p bigger than 3?
False
Suppose -3 = -3*y, -j + y = -2 + 6. Which is smaller: -2/9 or j?
j
Let m be -1 + (-226)/(-62) - 2. Let t = 2/93 + m. Is 1 less than or equal to t?
False
Suppose -5*j + 20 = -x, -4*j + 3*x + 4 + 1 = 0. Suppose j*n + 14 = -16. Which is greater: n or 1?
1
Suppose -5*n + 6 = -m - 14, -4 = -3*n - m. Suppose -2*w - 7 = 4*f - n*f, 2*f = 2*w - 2. Is 0 smaller than f?
False
Suppose i + 7 = 1. Let p = i - -6. Which is smaller: p or 1?
p
Suppose 4*n = n. Suppose -8*u + 4*u - 4*t + 4 = 0, -4*u + 3*t - 10 = n. Let q be 0/(-2 + 0 + u). Which is greater: 1 or q?
1
Let b = 48 + -22. Let c = 43 - b. Suppose 0 = -3*m + y + c, m - 30 = -m - 4*y. Is 6 at most m?
True
Suppose 0*y = -4*y. Suppose 0*d - 2*d - 4 = y. Let h = -3 + 2. Are d and h unequal?
True
Let b = 71 - 72. Let p be 21/50 - (-7)/(-14). Is p at most as big as b?
False
Let z(o) = o**3 + 2*o**2 - 2*o - 2. Let q be z(-2). Suppose 3*h - 5 = 13. Suppose i = -q*i - h. Is i bigger than -1?
False
Suppose 4*n - 3 = 5. Suppose -c = 3*c + m - 9, 0 = n*c - 4*m. Suppose c*r + 1 = r. Which is smaller: -1/2 or r?
r
Suppose 0*t - p = -2*t + 18, -t + 14 = 2*p. Let q be 0/(-3) + (-2)/t. Are q and 1 non-equal?
True
Let i be 0 + 0 + 1 + -7. Let y be i/4 + (-21)/(-10). Which is bigger: 1 or y?
1
Suppose 2*d = -6, 0 = -3*o - o - 2*d - 34. Which is smaller: o or -10?
-10
Suppose -z = -3*y - 0*y + 22, 0 = 5*y + 5*z - 50. Let d be -1*2/y*4. Are d and 2 unequal?
True
Let x = -4 + 4.6. Let t = x + -2.6. Let i = -1.6 - t. Is -2/5 at least i?
False
Let h(u) = -u**2 - 6*u - 7. Let a be h(-3). Let x(d) = -2*d + 5. Let n be x(4). Let j be -2*n/((-3)/(-2)). Which is smaller: a or j?
a
Let y = 0.8 + -0.79. Let n = 0.01 - y. Which is greater: n or 0.2?
0.2
Let h be (30/(-140))/(3/4). Which is bigger: -1 or h?
h
Let b = -1/60 - 29/60. Which is bigger: b or -2?
b
Let t = 32 - 155. Let i be 1 - 129/t - 2. Does i = 0?
False
Let v = -2.3 - -20.3. Is -1 less than or equal to v?
True
Let q(z) = -4*z - 3. Let u = 1 + -3. Let f be q(u). Let r = f - 6. Which is smaller: 1 or r?
r
Let h = 12/17 - 347/612. Is 0 > h?
False
Let h be ((-2)/36)/((-34)/8 + 4). Let s = -0.4 + 0.3. Which is greater: s or h?
h
Let n be ((-27)/(-171))/(0 + 1). Which is bigger: -1 or n?
n
Suppose -5*n = u + 4, -4*u - 3*n = -0*u - 52. Which is smaller: 0.4 or u?
0.4
Let f = 160 - 158. Which is smaller: -1 or f?
-1
Let n = -451 - -9473/21. Is 2 at least as big as n?
True
Let i(d) = d**2 - d - 11. Let w be i(5). Let r = 1 - w. Let u = -14 + 6. Is u less than r?
False
Let q be (-3)/2*56/3. Which is smaller: q or -29?
-29
Suppose 4*p + 0*p - 43 = 5*u, p - 2*u - 13 = 0. Suppose -p = f + 5. Let i be (-14)/(-30) + f/18. Which is smaller: i or -1?
-1
Let s be (9185/252)/(-11) - -3. Let l = s - -1/36. Is 1 bigger than l?
True
Let k be 3/2*(-4)/(-6). Suppose k = -g - 0. Suppose 3 + 2 = -5*t. Is g greater than t?
False
Suppose 0 = 2*m - k - 19, 1 + 3 = 4*k. Let b be 15/m*(-12)/9. Do b and -1 have different values?
True
Suppose 2*v + v = 36. Let h = -9 - -13. Let d be 1/3 - h/v. Which is bigger: d or 1?
1
Suppose -7*b + 9 = -4*b. Suppose b*c + 35 = 8*c. Let l(m) = -m**3 - 5*m**2 + 4*m - 4. Let k be l(-6). Is c greater than k?
False
Let u = -27 + 12. Is u equal to -16?
False
Let o be (-30)/56 + (-2)/(-8). Let y(z) = -z**3 - 5*z**2 - 5*z - 5. Suppose -a = 4*m, 0*m - 4*m = -5*a - 24. Let p be y(a). Are p and o nonequal?
True
Let x = -0.5 - 0. Let m = 0.2 + x. Let g = m + 0.1. Which is bigger: 2/7 or g?
2/7
Let k = 285 - 283. Let l = -0.3 - -0.7. Which is smaller: l or k?
l
Let n = 20 - 64/3. Let c = -8 - -2. Let i be (-2)/(-3) - (-4)/c. Is i at most as big as n?
False
Suppose -3*d = 5*j + 209, -2*j + 270 = -8*d + 4*d. Let a = 332/5 + d. Let g = -9/5 - a. Is -1 greater than g?
False
Let d = 15 - 1. Let a = d - 13. Is a != 3/2?
True
Let s be 0 - 0/(2 - 1). Suppose s = -2*y - 2 + 4. Let b = -9 + 11. Which is smaller: y or b?
y
Suppose -3*s + 2*c + 20 = 2*s, 4*s - 2*c - 18 = 0. Which is smaller: s or 5/6?
5/6
Let t(c) = 2*c - 6. Let n be t(4). Suppose -n*z - 6 = 3*u, -z + 4*z - 4 = 2*u. Is -3/4 smaller than z?
True
Suppose 5*t - 5 = -2*y, -2*y = 4*t - 0*t - 4. Let o be (1 - (-57)/(-58))*-2. Which is greater: y or o?
y
Let v be (-4)/14 - 4/(-14). Suppose v = -4*r + 3*r. Let b be (-17)/(-85)*(-1)/1. Which is smaller: b or r?
b
Let q = 0.43 - -6.57. Do q and -0.5 have the same value?
False
Suppose -7*a - 5*o = -3*a + 17, 3*o = -2*a - 11. Let f(s) = -s + 3. Let q be f(a). Is 3 equal to q?
False
Let r be (-1)/2*2/(-11). Are r and -1 nonequal?
True
Suppose 0 = -0*q + 3*q + 3. Let z = -0.09 + 5.09. Let u = 4 - z. Is u >= q?
True
Let c = 0.2 - 0.15. Let y = -53/122 + -4/61. Is c < y?
False
Suppose 4*x + 27 = -2*g - 5, 5*x - g = -47. Which is bigger: -23/3 or x?
-23/3
Let s(q) = -q**3 - 7*q**2 - 14*q + 4. Let t be s(-6). Which is smaller: 51 or t?
51
Let u(o) = -52*o**2. Let d be u(-1). Let x = 261/5 + d. Is x < 0?
False
Let p = 22 + -43/2. Let k be (-966)/36 + 3/6. Let y = k - -27. Which is smaller: y or p?
p
Let i = 1.69 + -1.3. Let a = -0.09 + i. Are -1/2 and a nonequal?
True
Let b = -98 + 93. Do 4 and b have the same value?
False
Suppose 6 = 3*d - u, 0 = 3*d + u - 4*u - 6. Suppose -l - 2 = d*z, 0 = -z + 3*l - 2*l - 4. Let a be (z/4)/(1/(-2)). Is -1/5 equal to a?
False
Let c(k) = 4*k**3 - k**2 + k - 1. Let v be c(1). Let f = 3.3 + -0.3. Let z = 3 - f. Are v and z nonequal?
True
Let b(q) = -4*q + 3. Let f(t) = -1. Let d(m) = b(m) + 4*f(m). Let s be d(-2). Are 8 and s nonequal?
True
Let t(l) = -l**3 + 3*l**2 + 4*l + 3. Let f be t(4). Let r be 25*(26/10 - f). Let g be ((-12)/(-15))/(4/r). Which is smaller: g or -1?
g
Let y be 64/(-78) + (-2)/(-3). Suppose -6*m = -4*m. Are y and m non-equal?
True
Let s(f) = f - 8. Let w be s(6). Which is bigger: -4/3 or w?
-4/3
Let i = 0.04 + -1.04. Let t be 4/16 + (-25)/4. Let r be (4/6)/(t/(-18)). Which is greater: r or i?
r
Let x = -0.1 - -0.1. Let j = 7.81 + 0.19. Let f = j + -8.2. Is f less than or equal to x?
True
Let g = 12335/73 + -169. Is g greater than 1?
False
Let c(f) = f**3 - 10*f**2 + 8*f + 2. Let s be c(9). Let o = 5 + s. Which is smaller: o or 0.1?
o
Let a = 129 - 117. Which is smaller: a or 18?
a
Let n = 3 + -4. Let k = 2 + 1. Let f be -3*k/((-18)/(-4)). Is n >= f?
True
Let h be (-2)/(-2 + 1 - -15). Which is smaller: 1 or h?
h
Let z = -19 - -17. Let k(m) = -3*m**2 + 3*m + 1. Let y be k(z). Is -16 > y?
True
Let b(k) = k**3 - 7*k**2 - 8*k + 3. Let l be b(8). Let m(n) = n. Let u be m(l). Suppose 3*p + 0 + u = 0. Is p bigger than -2/13?
False
Let u = 3.1 - -0.9. Let m = -5 + u. Which is smaller: m or -2/7?
m
Let l be 5/(-2)*(-12)/15. Suppose 0 = -l*x - 0*k + 3*k + 7, 0 = 3*x - 3*k - 9. Let n be (2/4)/((-1)/(-1)). Is n at most x?
True
Let w = 90 - 193. Is w bigger than -102?
False
Let d = 4 + 2. Let v be 0 + d/4*-2. Let u(m) = -m. Let i be u(3). Is v at least i?
True
Let w = 57 + -55. Is w at least as big as 28/9?
False
Let l = -35/51 - -352/1479. Let w = 539/1073 + l. Which is smaller: -1 or w?
-1
Let l = 0 + -6. Do -6 and l have the same value?
True
Let s(q) = -q**3 - 14*q**2 - q - 10. Let r be s(-14). Suppose -r*t = t. Is t < 1/6?
True
Let v(q) = q - 7. Let s be v(6). Let c be (-1)/(15/6)*-15. Suppose -4*k + c = -6*g + g, 5*g + 12 = -2*k. Are k a