
Let q be 19571/25 + (-22)/(-55). Let p = q + -783. Which is smaller: p or -1?
-1
Let q(j) = -38*j - 15. Let t be q(-2). Are 63 and t non-equal?
True
Let g = -1.56 - 0.04. Let o = -0.4 + g. Does -2/5 = o?
False
Suppose 2 = r, -w + r = 3*w + 22. Let h be (2 - 0) + -6 - 1. Is h >= w?
True
Let x be (-2)/2 - (-4 + 2). Let o(w) = w**2 - 6*w. Let l be o(6). Let t = 2 - l. Which is greater: t or x?
t
Let w = 0.1 - -0.6. Is -0.1 less than or equal to w?
True
Let z be (-22)/55 + (-59)/(-10). Which is smaller: 6 or z?
z
Let c be ((-4)/3)/(4/(-6)). Let i(x) = -2*x - 19. Let p be i(-11). Which is smaller: c or p?
c
Suppose 2*w + 4 + 2 = 0. Let x = w + 3. Suppose 2*p + p - 6 = x. Is 3 bigger than p?
True
Let p(c) = -c**3 - 6*c**2 + 9*c + 5. Let n be p(-7). Let r = 16 + n. Is r >= 6?
True
Let l = 15 - 10. Suppose 0 = 6*z - z - l. Let u be (1 - (-1 + z))/(-1). Which is greater: u or -1/3?
-1/3
Suppose 0 = 3*l - 2*s + 4, s = l + 1. Is -2 greater than l?
False
Suppose 4*k + 17 = -3*y, 0 = 2*y - 0*k - k - 7. Let v = 1.03 + -1. Let f = v - -0.05. Is y less than f?
False
Let f = -13 - -7. Let m(t) = -t**3 - 5*t**2 + 5*t - 7. Let y be m(f). Which is bigger: y or 2/5?
2/5
Suppose 0 = -3*o + 15, 0 = 3*b + 3*o - 3 - 3. Which is smaller: b or -19/5?
-19/5
Let p be 24/(-15) - 2/5. Let c(n) = -n - 9. Let o be c(-8). Which is smaller: o or p?
p
Let s be (40/550)/(2/5). Which is smaller: 3 or s?
s
Let n = -0.4 + 0.48. Let m = n + -0.05. Is 1 equal to m?
False
Let o = -14 - -12. Which is smaller: -8/15 or o?
o
Suppose 0 = -2*j + 18 + 8. Suppose 3*a - x = -j, 0 = -2*a + 5*a - 5*x + 17. Which is bigger: -3 or a?
-3
Suppose 0 = y + 3*y - 8. Suppose -2*q + 3*d + 19 = 0, y*q + 3*d + 16 = -d. Let j be (0/3)/(q + 0). Which is smaller: -1 or j?
-1
Let y(w) = -w**3 + 7*w**2 - 6*w + 1. Let j = 3 + 3. Let h be y(j). Suppose 5*o + 5*f - 3 - 2 = 0, -f + 21 = -4*o. Which is bigger: h or o?
h
Let g = 0.1 - 1.1. Let d = -9 - -15. Let n = -6 + d. Which is greater: n or g?
n
Let p be (-6 - -3)/((-6)/4). Suppose -4 = -2*y - p*y. Which is bigger: y or -2/27?
y
Let i = -2.5 + 0.5. Let h = -2 - 6.1. Let g = h - -8. Is i > g?
False
Suppose -2*z + 25 = 9. Let i be (-6)/z*4/6. Are i and -2 unequal?
True
Let u = -0.16 - 4.84. Let o = 4 + u. Are o and 5 nonequal?
True
Let j = -0.05 - -0.08. Let n = -1.97 - j. Let y = n - 0. Is y greater than -1/2?
False
Let f be (18/4 + -4)*1. Which is bigger: f or 0.24?
f
Let w be 3*(2 - (-14)/(-6)). Suppose 0 = 3*m + 3*o + 15, 4*o + 4 = -3*m - 12. Let v = m + 2. Are w and v non-equal?
True
Let h = -1.16 - -1.26. Is h > 0.1?
False
Let k(v) be the second derivative of v**3/6 + 5*v**2 - v. Let o be k(-10). Which is smaller: -0.2 or o?
-0.2
Let w(u) = -2 + u - 1 + 7. Let k be w(-5). Which is smaller: k or 0?
k
Suppose 0 = -2*t - 0 - 10. Let l = -0.073 - 0.027. Is t bigger than l?
False
Let h = -2/33 + -7/66. Let r = -0.8 + 0.9. Which is bigger: r or h?
r
Let c = -28677994166895187/5985 - -4791644791530. Let d = -134717/9 - c. Let b = 6/95 + d. Which is smaller: b or 1/3?
b
Suppose 0 = -4*c - 5*w - 33, 0*c + 3*c - 9 = 3*w. Let j be -3*(c/(-8))/1. Is j at most as big as 0?
True
Let y be -4 + (-1914)/(-15) + 2. Suppose -2*j = 4*d - 514, 3*d = -0*d + 5*j + 353. Let o = y - d. Which is smaller: -1 or o?
-1
Let p = 7 + -8. Let v = 3 - p. Suppose -v*z + 0 = 12. Is -1 > z?
True
Suppose -u = -4*z - 11, 2*z - 5 + 0 = -3*u. Which is greater: 0 or z?
0
Let m = -14 - -15.9. Let k = 2 - m. Is -2/7 less than or equal to k?
True
Let x = 21.45 - -0.55. Which is smaller: -1 or x?
-1
Let u = -296 + 1474/5. Let s = 8/5 + u. Is 1 greater than or equal to s?
True
Let s = 17 + -16. Is 6/29 greater than s?
False
Suppose -3 = j - 8. Suppose -2*c + 6*v = 2*v, j*c - v = -27. Which is smaller: -5 or c?
c
Suppose 2*x + 19 = -y, x + 2*y = -2*x - 29. Let z = 1.1 - 1.1. Which is smaller: x or z?
x
Suppose 4*p + 13 = 5*t, -2*p - 2*t + 25 = 3*p. Suppose -6 = -h + 3*a, -p*h + 2 - 10 = 4*a. Is 1/11 at least as big as h?
True
Let l = 1 + 8. Let x(b) = b**2 + 2*b + 2. Let m be x(-4). Which is smaller: m or l?
l
Let k(g) = 5*g - 2*g - 2 + 3 - 2. Let y be k(4). Suppose -p = -q + p + y, 5 = 3*q + p. Is q greater than or equal to 4?
False
Suppose 5*y = -5*p, 1 - 13 = 2*y - p. Let s be 2 + y - (-1)/1. Which is smaller: s or 2/7?
s
Let b = 9 + -8.8. Let k = 0.1 + -0.1. Let x = k + b. Are x and 1 equal?
False
Let s(y) = y**2 + 4*y - 8. Let g be s(-6). Suppose -5*p + 5 = 0, f = 4*f + g*p - 10. Let d = -0.2 + 0.3. Is f >= d?
True
Let q = -97 + 153. Let i = -278/5 + q. Let b be (-2 + 1)*(1 + -5). Which is bigger: i or b?
b
Suppose 2*o = -4*z + 10, -o + 13 = 3*o + z. Suppose 3*k - 51 = -o*d, 0*k - 4*k = -20. Suppose b + 2*w - 6 = 0, -4*b + 2*w - d = -2*w. Which is bigger: b or 4/5?
4/5
Let b = -8/13 + 101/143. Suppose -2*y - y = 0. Is y equal to b?
False
Suppose q + 2*z - 2 = z, 4*z + 16 = 0. Suppose 4*b - 32 = 3*u, -b - b = 4*u + q. Are b and 5 equal?
True
Suppose -2*n + 10 = -0*n. Suppose -n*w - 6 = 4. Let v = 1 + w. Is -1/6 < v?
False
Suppose -4*y + 2*l + 58 = 0, 4*l - 4 = -5*y + 75. Suppose z + 14 = -2*d - 3*z, y = -3*z. Suppose 3*s - 3 = 3. Is s greater than d?
False
Let k = 6 + 9. Suppose -k = -5*b + 6*l - l, b + 1 = -3*l. Suppose 3*p - 18 = -4*a, 0 = -b*p - 3*a + a + 10. Is p at most as big as 2?
True
Let b(u) = -4*u + 8. Let w be b(6). Let o = w + 8. Does o = -8?
True
Let u = 22.979 - -0.021. Let i = u + -22. Is i not equal to -1/4?
True
Let a(u) = u**3 - 11*u**2 + 10*u - 2. Let q be ((-10)/(-7))/((-4)/(-28)). Let s be a(q). Is s at most as big as -3?
False
Let p = -11 + 15. Let v(u) = -u**2 - u + 5. Let s be v(p). Which is smaller: -16 or s?
-16
Let g(s) = s - 6. Let w be g(3). Which is smaller: w or -5?
-5
Let g(s) = s**2 + s - 5. Let w be g(0). Let a be (-4)/w*(-5)/(-2). Let r be ((-5)/((-15)/6))/a. Is -1 greater than or equal to r?
False
Let r be ((-4)/(-6))/(27/(-486)). Which is bigger: -21/2 or r?
-21/2
Let u be (-2)/5 + 36/15. Let l be -2 + (2 - 1/u). Which is smaller: l or 6?
l
Let k be (3/(-222))/(3 - 22/8). Is k equal to 0?
False
Let q = -7.97 + 8. Let k(p) = -2*p**2 + 3*p - 2. Let c be k(1). Is c greater than q?
False
Suppose 0 = 5*p - 2*a + a + 19, p = -2*a + 5. Which is greater: -5 or p?
p
Let c = -7 - -10. Suppose -b - c*b = -j - 2, -5*b = -j - 2. Is -1/7 > b?
False
Let g = -7 + 8. Let p be 70/(-50) + (g - -1). Let t be 7/5 + (-4)/10. Which is smaller: p or t?
p
Let g be 0 + 8/10 + -1. Suppose 13*q - 12*q = -1. Which is smaller: g or q?
q
Let v = 1/53 + -217/265. Let h = -1 + -1. Which is smaller: h or v?
h
Let g = -0.9 + -0.1. Suppose 0 = -0*r - 5*r + 10. Which is greater: r or g?
r
Suppose 4 = -5*g - 0*g + 2*c, 3*g - 2 = -c. Are g and 0 unequal?
False
Let i = -32 - -19. Let m be i/(-11) + (-4)/22. Is m > -3/2?
True
Let d(w) = -3*w - 4. Let c be d(-3). Suppose n + 1 = -0*p - p, p + 21 = -c*n. Suppose 5 - 1 = p*z. Is z at most 1?
True
Let h be 1/(-2) + (-68)/(-104). Let u(p) = -p**2 + 2*p + 1. Let l be u(2). Let c be 0*(1 - (3 - l)). Which is smaller: h or c?
c
Suppose 5*u + 26 = 1, -11 = a + 4*u. Suppose 4*h - 4*c = 72, 0*h = h + 3*c + 2. Let f = h - a. Is f greater than 4?
False
Let w(o) = o - 1. Let b(p) = p**3 + 3*p**2 - p - 1. Let h be b(-3). Let i be w(h). Which is bigger: i or -1/12?
i
Let r(h) = -h**3 - 2*h**2 - 6*h - 5. Let b be r(-2). Let s be 2/5 + 76/10. Is s at most b?
False
Let f be 0 - 7/((-105)/4). Is f at most 1?
True
Let f = 13 + -13. Let l = f + 0.1. Which is smaller: -5 or l?
-5
Let t = -61 - -59. Which is bigger: 0 or t?
0
Let z = -24.9 - -24. Let k = -1.1 - -0.8. Let f = k + -0.7. Which is greater: z or f?
z
Let b be (-31)/(-2) - (-4)/8. Let l be ((-3)/(-6))/(2/b). Let o be (-1)/l - (-4)/(-112). Do o and 0.2 have the same value?
False
Let g = -4.2 + 3.3. Let h = -0.2 - -0.3. Which is smaller: h or g?
g
Let i = -2/17 + -28/51. Let q = 0 - -1. Is q <= i?
False
Let d(h) = 5*h**2 + h - 1. Let w be d(-2). Let n = w + -19. Which is smaller: n or -3?
-3
Let b(k) = -k**3 + 6*k**2 - 6*k + 5. Let x be b(5). Suppose -5*m - 4*c + 2 = x, 0 = 3*m + 4*c - c. Is 3 >= m?
True
Suppose -2*c = -d - 45, 5*c - 3*d = -4*d + 116. Is c >= 23?
True
Let h = 15.86 + -16. Let w = h - -0.04. Which is smaller: 3 or w?
w
Let a be ((-10)/4)/((-2)/528). Let n be 2/(-11) - (-670)/a. Which is smaller: 1