Is 15 equal to u?
True
Let a(c) = c - 2. Suppose 11 - 44 = -4*x + 5*v, -2*x = -5*v - 29. Let r be a(x). Is r at least 3/5?
False
Let a(h) = h**2 + 4*h + 9. Let k be a(-6). Let i = -9 + k. Let m be i/9*3/38. Is 1 bigger than m?
True
Let v = 17 + -24. Is v less than -2/5?
True
Let q be (4/(-6))/(44/22). Which is smaller: q or -4/11?
-4/11
Let q(z) = z**3 - 3*z**2 - 2*z - 8. Let s be q(4). Which is smaller: s or -2/25?
-2/25
Suppose 3*x = x - 14. Let y be x/(-2)*(-6)/(-28). Which is smaller: y or 1?
y
Let o be ((-2)/2)/(-12 + -2). Let q be (0/(-3*4/6))/1. Which is bigger: q or o?
o
Let v = -12 + 11.76. Let q = v - -0.04. Suppose 3*d + 2 = d. Is q bigger than d?
True
Let a = 1 + -1.1. Let y = a + 1.1. Let s = y + -1. Is s greater than -1?
True
Let v be (-22)/(-3) + (-8)/24. Let i be ((-14)/(-33))/v*9. Is i > 0?
True
Let n = -11 - -22. Which is smaller: 5 or n?
5
Let h be 9/(-6)*40/(-6). Let n = -5 + h. Do -1 and n have the same value?
False
Let k be 16493/(-16498) + (-1 - -2). Let b = -2144425/1039374 - k. Let l = 16/9 + b. Are 0 and l equal?
False
Let o = 2.1 + -2. Let y = 6 + -6. Let u = y - o. Is -0.1 bigger than u?
False
Let t = -435212/199 + 2187. Let q = t - -393/995. Which is smaller: q or -15?
-15
Suppose -8*j - 30 = -7*j. Is -29 >= j?
True
Let u = -2 - -2. Let b(c) = -c**2 + 5*c + 4. Let m be b(6). Which is bigger: u or m?
u
Let r(i) = i - 6. Let c be r(10). Is 38/7 greater than c?
True
Let i(n) be the second derivative of -n**5/20 + 2*n**4/3 - 4*n**3/3 + 4*n**2 + n. Let p be i(7). Suppose 2*o - 3*o + p = 0. Is -2/5 less than o?
True
Let k be -2 - (286/(-58) - -3). Let s = k - 52/87. Do s and -1 have the same value?
False
Suppose -12 = -3*o + 3*v, -o + v - 5 = 3*v. Let x = 8 - 1. Which is smaller: o or x?
o
Let j = -11 + 13. Let g be (j/(-3))/(8/6). Which is smaller: -1/5 or g?
g
Let g(u) = -3*u**3 - 4*u**2 - 2*u + 2. Let a be g(-2). Is a > 13?
True
Let v(t) = -t**2 - 5*t - 1. Let r be v(-5). Let z = 8 - 4. Let k be ((-1)/((-2)/z))/(-3). Is k equal to r?
False
Suppose 4*r - 16 = -3*i, 0 = -3*i - 2*i + 2*r - 8. Which is bigger: -1/155 or i?
i
Suppose 19 + 5 = 4*i. Let y = i + -3. Let j = 0.5 + -0.5. Is y greater than or equal to j?
True
Let b = 54/83 + 4017/332. Is 12 smaller than b?
True
Let r be (2 + -4)*(-55)/10. Is 12 equal to r?
False
Let q be 3/(-6)*(-8)/18. Is q not equal to -1?
True
Let n be (-36)/(-2)*40/60. Is n at most 1?
False
Let t(n) = -n**2 + 6*n + 7. Suppose -l + 3*l - 10 = 2*v, -3*l + 5*v + 11 = 0. Let d be t(l). Suppose d*a = a + 1. Is -1/5 at most as big as a?
False
Let m = -139/60 + 31/12. Is m greater than or equal to -2/3?
True
Suppose 3*q + 1 - 10 = 0. Which is smaller: q or 4?
q
Suppose 0*f + u = -4*f - 16, 2*f + 4*u - 6 = 0. Which is greater: f or -2?
-2
Let s = 7 - 5. Suppose s*y + 3*y + 15 = 0. Is -1 at least y?
True
Let x = 3 + -5. Is -2 greater than or equal to x?
True
Let b = -309 + 1245/4. Is b at least 1?
True
Let v = -0.088 + -10.912. Is v less than or equal to -1/5?
True
Let a be (-1 + 1)/(-1 + 0). Let d = 2.8 + -3. Let y = 0.4 + d. Which is greater: y or a?
y
Let x = -58 + 54. Are -33/8 and x non-equal?
True
Let b = -697/5 + 139. Are -3 and b non-equal?
True
Suppose -3*z = -4*c - c - 30, -4*z = 4*c + 24. Let r = -12 + 5. Is r bigger than c?
False
Let l = 5.6 + -6. Let x be 51/15 + (2 - 5). Which is smaller: x or l?
l
Let p(n) = -n**3 + 7*n**2 + n - 5. Let y be p(7). Let j be (9/2)/((-105)/(-25)). Let w = j - -10/7. Which is bigger: w or y?
w
Suppose 5*j - 3*w = -23 - 22, -4*w + 20 = 0. Let n be (-2)/10 - (-16)/5. Suppose -z + 3*z + 26 = -3*m, 3*z + n*m + 33 = 0. Are z and j non-equal?
True
Let q = 189/11 - 2912/165. Do q and 1 have the same value?
False
Suppose 0 = -u - 3*u. Suppose -5*l = -u*l. Suppose t + 2*t = l. Is 0 bigger than t?
False
Let i be 40/(-7) + (-6)/21. Is i < 0?
True
Suppose b - 3*k = -2*b + 6, 0 = 2*b + 4*k - 10. Let r = b - 0. Let c be (-86)/(-110) + r/(-5). Which is greater: 1 or c?
1
Let q = -13 - -11. Is 5/6 greater than or equal to q?
True
Let h be (2/(-21))/((-46)/69). Which is bigger: h or -1?
h
Let d be 0 + (-1)/(4/6). Let j = -20 - -21. Is j != d?
True
Suppose -2*z - t = -3, 0 = 3*z - 4*z + 2*t + 9. Suppose z*i - 4*i = 0. Is 0 > i?
False
Let a be -2 + 2*2 + -4. Let b = a + 1. Let u = 111 + -775/7. Which is greater: b or u?
u
Let a = -5213 + 31793/6. Let y = a + -86. Which is smaller: y or -1?
-1
Let t = 2.702 + -0.002. Which is smaller: t or -0.1?
-0.1
Let p = 19 - 28. Let a = p + 6. Is a < 2?
True
Suppose -5*x - 2*v = 2*v - 61, 0 = 4*x + 5*v - 47. Let k be (14/(-42))/(3/(-117)). Is x equal to k?
True
Let s(k) = k + 2. Let t be s(-3). Let w be (-77)/84 - t/4. Are w and 0.1 nonequal?
True
Let g = -8 + 8. Which is greater: g or -2/95?
g
Let i = 1.022 - 0.022. Is -0.041 != i?
True
Let n be ((-1)/4)/((-4)/(-16)) - -7. Do n and 17 have the same value?
False
Let r be 0 + (24/60)/((-2)/10). Is r smaller than -36/13?
False
Let u = 15 + -12. Is u at least -1/4?
True
Let n(x) = x**3 - 3*x**2 + 1. Let y be n(3). Suppose -3*p = -0*p - 3. Let a be 2 - ((3 - 3) + p). Is a less than or equal to y?
True
Let v(z) = -z**2 - 24*z + 17. Let p be v(-25). Which is smaller: p or -12?
-12
Let m = -11 - 2. Let i = m + 11. Is -2 less than i?
False
Let i = 42 + -28. Suppose 2*k + 3*k = -3*z - 21, i = -2*z - 3*k. Let h be z/12 - 1/(-4). Which is smaller: 1/4 or h?
h
Let n = 5 + -10. Let i = 4.8 + n. Which is bigger: -3 or i?
i
Let g(n) = n**3 - 8*n**2 - n + 9. Let o be g(8). Is 3/13 bigger than o?
False
Suppose -3*n - 6 = -3. Let c be n/(-2)*(-4)/2. Suppose 5 = -y - 4*y. Is y at least as big as c?
True
Let b(h) = 4*h - 2. Let d be b(1). Let z be 1 - 3 - (-2 - -4). Let t(f) = -f**3 - 3*f**2 + 4*f + 3. Let n be t(z). Is n equal to d?
False
Let a = -455/102 - -90/17. Is a less than 0?
False
Let n = 14 - 20. Let b be (-2)/n + (-2)/(-3). Which is bigger: b or 0?
b
Let i(j) = j**2 + 7*j + 11. Let s be i(-7). Let t = 11 - s. Is t equal to -3/5?
False
Let m(b) = b**2 + 17*b + 25. Let g be m(-11). Which is smaller: g or 1?
g
Suppose 5*f + 24 = 2*q, 4*q - 5*f - 9 = 19. Suppose -5*g - 5 = -q*p + 21, -2 = p. Let d be g/10 - (-4 - -3). Is 0 > d?
False
Let s = -43/2 - -21. Suppose 4*h = 6*h - 96. Suppose -u = -5*d + 42, 5*d - u - h = 3*u. Is s > d?
False
Suppose 4*m = 3*m + 8. Let b = -18 + 25. Which is greater: b or m?
m
Let k = -0.1 + 0.2. Let n = 0.12 - 0.36. Let d = n + -0.06. Which is smaller: k or d?
d
Let g = 1 - 1. Let h(i) = -i**3 + 3*i**2 + 4*i + 1. Let q be h(4). Suppose -2*k + 3*k - q = 0. Do k and g have the same value?
False
Let g = 5 - 6. Let h = 16 - 26. Let y be ((-24)/(-20))/((-4)/h). Which is bigger: g or y?
y
Let q = 2 - 4. Let m = 0 - -0.1. Is m greater than q?
True
Suppose -3*z + 3*q - 15 = 0, -4*z + 0*z - 2*q - 8 = 0. Let w = 0.1 - -0.9. Which is smaller: z or w?
z
Let m(d) = d**2 + 5*d - 3. Suppose -3*n + 44 = 8. Suppose 2*w - p + n = 2*p, p + 30 = -5*w. Let g be m(w). Are 3 and g non-equal?
False
Let d(o) = -o**3 + 3*o**2 - o. Let x be d(2). Suppose -i - 3*y + 6 = -x, 3*i + 2*y = 3. Which is bigger: 2/9 or i?
2/9
Let y = 1406/1785 + -1/510. Let m = y - 2/7. Let o = -3.9 - -4. Is o greater than m?
False
Let u = -19 + 20. Is -2/5 greater than or equal to u?
False
Let k = 0.5 - 0.7. Let p = 0 + k. Let j = p + 0.1. Is j bigger than 1?
False
Let g(q) = q**2 - 5*q - 6. Let d be g(6). Which is smaller: d or 8/7?
d
Let d = -11 - -11. Suppose -5*z + 14 = -x + 5, -3*x + 21 = z. Suppose -3*l + 3 - x = d. Which is bigger: -2 or l?
l
Suppose -5*n + 12 + 8 = 0. Suppose -2*j - 21 = 3*j - n*f, -4*j - 16 = -4*f. Which is bigger: -2 or j?
-2
Let m be 14/(-4) + 8/16. Which is bigger: -2 or m?
-2
Let m = -1607 + 20911/13. Which is bigger: m or 1?
m
Let g = -0.2 + -3.8. Let f = 4 + g. Do f and -2 have different values?
True
Let o = -1/112 + -325/1232. Are o and 1 unequal?
True
Let k = -2.2 + 1.2. Let z = 31/3 - 211/21. Which is bigger: z or k?
z
Suppose -12 = -0*t - 3*t. Suppose 0 = 5*n + 14 - t. Let h = 0.06 + -0.06. Which is smaller: n or h?
n
Let x = -2 - -4. Which is bigger: x or 6/7?
x
Let i(h) = -10*h**3 + 4*h**2 + 10*h - 7. Let p(g) = 3*g**3 - g**2 - 3*g + 2. Let m(f) = -2*i(f) - 7*p(f). Let c be m(-2). Let y be (2/3)/(4 - 3). Is y > c?
False
Let t(d) = d**2 - 3*d - 5*d + 3*d + d. Let k be t(5). Let j be