-2*q - 12. Let c be 4/3*q/(-8). Is c at most as big as -3?
False
Suppose l + 5*k - 520 = -2*l, 2*k - 835 = -5*l. Let i be (-2)/6 + 25/l. Is 0 at most as big as i?
False
Let g = 23 - 77. Let y be 4 - 1/((-15)/g). Is y < 8/5?
True
Let l(x) = 2*x - 10. Let c be l(10). Suppose 3*m = -2*i - 9 + 22, 0 = -5*i + m - c. Let z be 1 - (-1 - -2*2). Is i greater than z?
True
Let s(u) be the second derivative of -u**4/12 + 2*u**3/3 + 2*u**2 + 2*u. Let h be s(5). Let x be (-2)/10*(4 + -1). Is x less than h?
False
Let a = 0.12 + 5.88. Do a and 1/4 have different values?
True
Let d = -353 + 1761/5. Let b = 1 + -3. Is d smaller than b?
False
Suppose 0 = -4*d + 4*t + 4, -2*d - 4 = -5*t. Suppose -5*i - d = 2, -c + 5 = -3*i. Let j = -1 - -2. Is j <= c?
True
Suppose 0 = 4*h + h - t - 15, -t = -3*h + 7. Which is smaller: 7 or h?
h
Let a = 6 + -10. Let k be 2/(-6) - 55/15. Let v(m) = -m - 4. Let o be v(k). Which is bigger: o or a?
o
Suppose 5*q + 4*s - 4 = 3, -4*q + 4*s = -20. Let l = 2 + 0. Suppose 4 = 2*i - l*m, i - 3*m - 11 = q*i. Is 2/9 greater than i?
True
Let a be (-10)/(-35) - (-5)/7. Let b(g) = g. Let f be b(a). Are 3 and f unequal?
True
Let z(h) be the second derivative of h**5/20 - 7*h**4/12 - 4*h**3/3 - 5*h**2 - h. Let i be z(8). Let d be (1/(-5))/(8/i). Are 0 and d unequal?
True
Let d = 4/13 - -14/39. Which is greater: 5/4 or d?
5/4
Let z(h) = 2*h - 7. Let j be z(3). Is j < -1?
False
Suppose 28 = -4*p - 8. Let d = -9 - p. Do d and -3 have different values?
True
Let l = -5.6 + 5. Let j = -6.4 - -7. Let d = l + j. Which is bigger: d or 6/11?
6/11
Let j be (-6)/(-18) + 3206/(-24). Let c = -134 - j. Are 0.2 and c nonequal?
True
Let k = 3.1 + -7.8. Let x = k + 5. Which is smaller: x or 1?
x
Let f be 2/20 - 2/(-5). Let a be (2/21)/((-9)/(-147)). Let n = -65/36 + a. Which is smaller: f or n?
n
Suppose 4*y + 0*b = 5*b + 1, 23 = 2*y + 5*b. Let r be (-22)/y + 1/2. Which is smaller: -3 or r?
r
Let q = 4 - 0. Suppose -8 = -2*f + 2*g - 18, q*f = -2*g + 10. Is f > -2?
True
Let w = 241 + -1207/5. Let a = -0.09 + -3.91. Let l = -2 - a. Is w at most as big as l?
True
Let n = -55 - -107. Is 52 at least as big as n?
True
Suppose -4*h + 19 = -3*y, 4*h = 4*y + h + 37. Let m = 5 + y. Is m bigger than -8?
False
Let c = -54 - -26. Is c != -28?
False
Let a be ((-9467)/(-15))/((-38)/(-4)). Let t = 332/5 - a. Let r = t - -181/285. Are r and 1 non-equal?
True
Let j = -5 + 8. Which is smaller: j or 4?
j
Let h(x) = -8 + 3*x**2 + 6*x + x**2 - 5*x**2. Let c be h(6). Is c greater than or equal to -8?
True
Let a be (8/(-6))/(5/45). Let y be (-8)/a - (-3)/9. Are 4/7 and y equal?
False
Let m = 6 - 10. Let f = m - -8. Let x = 4.3 - f. Is x smaller than -1?
False
Let c = 2 - 3. Let k be 21/75 + 3/(-15). Let v = 49/300 - k. Which is bigger: c or v?
v
Let l = -61/115 + 3/23. Are 0 and l equal?
False
Let u(l) = l**3 - 32*l**2 - 4. Let b be u(32). Is b greater than -19/6?
False
Let p(r) = 2*r**2 - 17*r - 9. Let g be p(8). Is g < -17?
False
Suppose u = -o + 1 + 3, 0 = 4*u - 4*o - 24. Suppose -2*n = -a, -2*a = a + u*n. Is -3/8 > a?
False
Suppose 2*w + 2*w = 84. Suppose 4*a + w = a. Is a greater than or equal to -6?
False
Let i = -1.41 + -0.09. Let r = 0.8 - 0.3. Let d = i + r. Is -0.3 <= d?
False
Let i(g) be the first derivative of g**2/2 + 3*g + 2. Let s = -25 + 21. Let a be i(s). Which is bigger: a or -2/9?
-2/9
Let n = -117/8 - 223/8. Let a = -41 - n. Which is smaller: 3 or a?
a
Let z = -1 + 0. Which is smaller: z or 1/172?
z
Let m be ((-264)/(-5418))/((-2)/(-12)). Let j = 2/301 - m. Which is greater: 0 or j?
0
Let c = 7 - 4. Suppose c*m = 7*m. Suppose b + m + 1 = 0. Which is smaller: -2 or b?
-2
Let v = -26167/12 - -2177. Let s = -724 + 2913/4. Let n = v + s. Which is bigger: -1 or n?
n
Let d = 0.6 + -0.2. Let u = 0 + -0.2. Let j = d + u. Is j at most as big as -1?
False
Suppose -7*w = -w - 18. Is 14/5 <= w?
True
Let z = -4 - -8. Let c = -6 + z. Let g be 9/(-12)*4/1. Which is bigger: c or g?
c
Let p be (-133)/(-49) + (-4)/(-14). Suppose 0 = 2*z - j + 1, p*j - 1 = 5*z + 1. Is z <= -1/7?
True
Let n = -8 + 6. Let c = n - -7. Which is smaller: 6 or c?
c
Let d = 1.8 - 1. Let p = d - 5.8. Let j = 5 + p. Is j < 1/6?
True
Suppose 2*q - 20 = -2. Suppose 5*v - 24 = -q. Are v and 1 nonequal?
True
Suppose -28 + 4 = 4*v. Which is bigger: v or -5?
-5
Let v(y) = 6*y + 2. Let t be v(4). Is t not equal to 0?
True
Suppose 9 = -2*w + 3*i - 15, 2*i - 64 = 4*w. Let l be (w/(-5))/(4/(-20)). Let b be l/4*(-3)/18. Which is bigger: b or 0?
b
Suppose 3*p + 8 = 2*i - 7, 4*p + 20 = 0. Suppose i = 4*u - 1 + 5. Which is bigger: -8/7 or u?
u
Suppose -2*v + 6*v = -4, 4*v = -3*i - 7. Which is smaller: i or -1/5?
i
Let r = 19 + -20. Is 3 < r?
False
Let d = -5 - -8. Let v be d + (-3 - 1)/1. Which is smaller: -0.4 or v?
v
Suppose 1 = z + 2. Let v be 0 + 0 + 4/38. Is z at most as big as v?
True
Let i be 4/(-40)*(-12)/(-7). Let u = i - 132/455. Is 0 > u?
True
Let j = 16 + -15. Let q = 0.3 + -1.3. Let t = q + j. Is t less than 5?
True
Let u = 0.08 + 0.14. Let d = u - 0.12. Suppose 4*q = q + 6. Are d and q nonequal?
True
Let r(l) = l**3 + l**2 - 3*l + 4. Let p be r(-3). Suppose 2*g + 11 + 11 = 0. Let c(q) = q**3 + 12*q**2 + 11*q - 4. Let i be c(g). Is p < i?
True
Let k = 41 - 28. Is 9 less than k?
True
Let d be -2 + 2 + 2/2. Suppose -f - 2*f = -9. Suppose 0 = f*c - c - 2. Is d at most c?
True
Let c be 4/(-24) - (-111)/18. Which is greater: 19/3 or c?
19/3
Suppose 0 = 3*u - 2*h - 0 + 2, 2 = -u + 2*h. Let x = 2 - u. Suppose 5*p = -x*j - 30, p - j - 2 + 1 = 0. Is -5 greater than p?
False
Let x be (0 + -2)*36/(-8). Let w = 17/2 - x. Which is greater: 6 or w?
6
Let v be (-22)/(-8) - 3/(-12). Suppose 0 = -4*h + 3*y + 11, 3 = -h + v*h + y. Let n be h + ((-30)/27 - 1). Is n at most 1?
True
Let j = 8.8 + -9. Is 4 bigger than j?
True
Suppose -1 = -v + 4*a, 0 = 4*v - 5*a + a - 4. Let g = 0 - v. Let b be (-1 - g)/(5 + -3). Is 1/4 > b?
True
Let r = 6.04 + -0.04. Let h = r + -9. Let y = -4 - h. Do -7 and y have different values?
True
Let h = 4 + 0. Let o = 4.8 - 3. Let y = 0.8 - o. Is h at most as big as y?
False
Suppose -49 = 2*o - 19. Suppose -x + 3*n + 1 - 13 = 0, 0 = -2*x - 3*n - 33. Is o bigger than x?
False
Let w = -6 - 1. Let d = w + 6.8. Let h = -0.06 - -0.36. Which is greater: d or h?
h
Let u(z) = -z**3 - 4*z**2 - 2. Let h be u(-4). Let s be 0 + (-2 - (-32)/15). Which is smaller: h or s?
h
Let c = -0.41 - 0.19. Which is greater: c or 0?
0
Let b(t) be the third derivative of t**5/60 - t**4/6 - t**3 - 2*t**2. Let n be (0 + 5)/(-1)*-1. Let u be b(n). Which is smaller: -2/5 or u?
u
Let c = -33 + 37.1. Let n = c - 4. Let o = -2.06 - -0.06. Which is smaller: o or n?
o
Let b = 1.9 + -2.2. Are -3 and b non-equal?
True
Let w be -1*(-1 - 28/(-30)). Suppose 3*b = 98 - 101. Is w != b?
True
Suppose -i + 5*f = 19, -3*i - 1 = -5*i - 3*f. Which is bigger: i or -1?
-1
Let k = -230.08 - -226. Let s = 0.08 + k. Let f = -22 + 43/2. Is s < f?
True
Suppose 2*l + 1 + 1 = 0, p = 2*l - 1. Let o(z) = -z**2 - 5*z - 2. Let a be o(-4). Let j = a + p. Does -2/7 = j?
False
Suppose n = -n. Let g be (12/27)/((-1)/3). Is n equal to g?
False
Let o = -86 + 102. Which is greater: 14 or o?
o
Let s(d) = -d**2 - 5*d + 10. Let z be s(-7). Let n be 18/(-8) - (-6 - z). Is n equal to -1?
False
Let o(z) = 7*z + 1. Let u be o(-1). Let v be (u/(-30))/(0 - -1). Let b(l) = -l**3 + l**2 - l + 1. Let y be b(0). Is v > y?
False
Let m be -1 + 3 + 6/(-3). Which is greater: 3/11 or m?
3/11
Let k = -11267/31178 - -1/31178. Let u = k + 11/17. Let l = u - -4/35. Is l at least -1?
True
Let o(x) = x**2 + 3*x - 7. Let v be o(6). Let i = v - 234/5. Suppose 3*q - 2 = 1. Is i greater than or equal to q?
False
Let p be 1 - -2 - (-74)/(-20). Let h = 41/30 + p. Are -2 and h equal?
False
Let u = 11 + -9.61. Let x = -1.3 + u. Is x greater than 1/4?
False
Let o = -4 - 28. Let p be (-10)/45 + o/18. Let c = -131/45 - -19/9. Is c at most p?
False
Let i be 1/(-3) - 1/(-3). Suppose a - 1 = -d, 0*a - 5 = 4*d + a. Let h be (d - (2 + -3))/1. Which is smaller: i or h?
h
Let y = 0.014 - 4.014. Which is smaller: y or 9?
y
Let g = 4.6 + 0.4. Let a = g + -5. Let i = 0.2 - a. Is i at least as big as 2?
False
Let r = 0.02 + 17.98. Let d = r - 12. Let c = d - 5. Which is smaller: -3 or c?
-3
Let m be -3 + (1 - (1 - 1)