False
Let z = -6 - 3. Let p be (-6)/z*2/8. Let j = p - -1/2. Is 0 bigger than j?
False
Suppose -18*o = -17*o + 3. Is o < 1?
True
Suppose -3*a = 4*b - 9, 2*b + 3*b = -3*a + 9. Is b less than or equal to -4?
False
Suppose -8 = -2*f - 4*q, -f + q + 4 = -3*q. Suppose 4*d = 3 + 57. Suppose -d = m - f*m. Is m at most 4?
False
Let i = 116.815 + 0.185. Let p = -113.93 + i. Let n = p + -0.07. Are 1 and n nonequal?
True
Let w = -0.5 - 0.5. Let l = w - 0. Let d = l - 0. Does d = 3?
False
Let b(t) = -t**2 + t - 1. Let h be -3 + 1 + 0 + 2. Suppose 5*n - n - 4 = h. Let j be b(n). Which is greater: -1/4 or j?
-1/4
Let q = 12 + -7. Let u be -2*(-3 - -1) - (-2 - -4). Which is smaller: u or q?
u
Let j be (-2)/5 + (-2)/(-5). Let g = -121 - -361/3. Which is smaller: j or g?
g
Let x be 2/(-7) + 9081/(-189). Let i = 48 + x. Is 0 at least i?
True
Suppose -3*n - 5 = d, -d + 5*d = -3*n - 2. Let m be ((3 - 1)/(-2))/d. Is m < -3/5?
True
Let y = -4 - -5. Let b be 1 + 48/(-27) + y. Let g(l) = -l**2 - 3*l - 2. Let a be g(-2). Is b <= a?
False
Suppose -a + 2 = a. Let s = 208/2337 + 2/123. Is s at least as big as a?
False
Let i = 0.1 - 0. Let q(a) be the third derivative of a**4/24 - 4*a**3/3 + 7*a**2. Let s be q(8). Is i smaller than s?
False
Let u = -3 + 4. Let s be (u + -2)/((-2)/4). Let k be (-4 + 1)*(-7 - -6). Which is greater: k or s?
k
Let n = 122 + 10. Are n and 0 equal?
False
Let r be -14*9*(-4)/(-21). Let q be (r/9)/((-2)/3). Is q less than 4?
False
Let o be 4/2*(-8 + 6). Is -4 at most o?
True
Let y be (-4)/6*3/(-4). Let d be -2*(-9)/2244*-228. Let t = -28/17 - d. Which is bigger: y or t?
y
Let l(u) = -2*u**2 - 4*u. Let r be l(-3). Let o be (9/(-10))/(r/(-405)). Let y = o - -61. Is y <= 0?
False
Let p be 50/8 - 2/8. Suppose 0 = 3*i - p. Let c(j) = -j**2 - 4*j - 2. Let v be c(-3). Which is smaller: i or v?
v
Let h be (3/4)/(3/156). Is 39 bigger than h?
False
Let v(m) = -m**3 - 11*m**2 - m - 3. Let x be v(-11). Suppose 8 = x*f - 0*f. Is 3/19 < f?
True
Let t be (16/(-10))/((-3)/(-15)). Let b = t - -8. Which is smaller: b or 3?
b
Let m be (-56)/42*6/44. Is m greater than 0?
False
Let v(q) = q**2 - 8*q - 8. Let y be v(9). Is 1 at most as big as y?
True
Let p be ((-285)/(-65) - 2) + -2. Is 0 equal to p?
False
Let j be 23/(-7) + 3 + 2/7. Which is bigger: -1/14 or j?
j
Suppose -u - 25 = -2*w - 0*u, -3*w + 3*u + 33 = 0. Is w greater than 15?
False
Let w = -2.1 - -2. Let o = -279 - -279.13. Do w and o have different values?
True
Suppose 14 - 2 = 4*g. Let o = 7 - g. Suppose -x - 4*w + 24 = 0, -2*x + 0*w = -3*w + 7. Is x greater than o?
False
Let s = 2433/13 + -187. Let f(x) = -x - 6. Let j be f(-6). Which is smaller: s or j?
j
Let p = 51 - 50.03. Let b = p - -0.03. Do 0.4 and b have different values?
True
Let t(a) = a**3 + 5*a**2 - 6*a + 4. Let n be t(-6). Suppose 5*m - 3*h - 5 = 0, 3*h = -2*m - h + 28. Is n less than or equal to m?
True
Let q be 0 + ((-3)/(-5) - -2). Is 3 > q?
True
Let a = -12/13 + 14/13. Suppose 0 = -0*w + 4*w. Which is greater: a or w?
a
Let s(g) be the first derivative of -g**2 - g - 3. Let u be s(-1). Is -2/7 >= u?
False
Let i = -1 - -1. Let r = -40 + 44. Suppose s - r*s = i. Which is smaller: s or 1?
s
Suppose -4*k - 1 = w, k - 5*w - 5 = -k. Is k not equal to 0?
False
Let q = 14 - 20. Let x = q + 10. Which is bigger: x or -0.1?
x
Suppose -18 + 3 = -5*q. Let i be 10/(-8) - q/(-12). Let p be ((-32)/36)/((-4)/(-6)). Which is smaller: i or p?
p
Let q(w) = -w + 24. Let o be q(5). Which is bigger: 16 or o?
o
Let a be (2/(-14))/((-2)/14). Is a less than or equal to 1/4?
False
Suppose -l + 0 + 2 = 0. Let x be 0/(2 + (l - 3)). Is x != 1/10?
True
Let x be (-1 - 1) + 5 + 1. Is x bigger than 13/4?
True
Let z be 3 - (-1 + -1 + 0). Suppose z*i + 13 = -2*c - 11, c = -5*i - 22. Which is smaller: -4/5 or c?
c
Let b = -12 + 21. Let a = b + -13. Let c be -6*(a/3)/4. Is 2 > c?
False
Let x(a) = -2*a**2 - 20*a - 16. Let t be x(-9). Is t != 16/9?
True
Suppose 5*q - 2*q - 24 = t, 2*t + 27 = 3*q. Let n be 2/(-8) + (-87)/(-12). Are q and n nonequal?
False
Let m be (3/14)/(6/(-8)). Let k = -8 - -7.8. Is m bigger than k?
False
Let z = 1 - -5. Suppose j - 1 + z = 0. Is -5 greater than j?
False
Let p = -1.017 - -0.017. Are 3/8 and p non-equal?
True
Let i = 17 + -26. Let q be 19/9 + (-2)/i. Which is bigger: 1 or q?
q
Let n be (-1)/(2/1 - 3). Suppose -y = 2*t + 2, y + t - n = 2*t. Suppose s + 0*b - 1 = -4*b, 5*s + 3*b - 5 = y. Which is greater: 3 or s?
3
Suppose -205 - 71 = -4*y. Are y and 69 equal?
True
Let c = 667/1260 + -17/36. Is -1 bigger than c?
False
Let r(m) = -m**3 + 5*m**2 - 5*m + 3. Let y be r(3). Let z be -3 - (-5 - y/(-2)). Which is bigger: z or -2/41?
-2/41
Let x = -43 + 33. Which is smaller: x or -8?
x
Suppose -5*x - 19 = c - 0*c, 4*c - x = 8. Let f be -2 + (-33)/(-12) + c. Is 0.1 at most f?
True
Let k(o) = -o**2 - 9*o - 8. Let m be k(-8). Let g = 62/9 + -523/72. Let l = -7/8 - g. Which is greater: l or m?
m
Let s be (-26)/(-10) + (-4)/(-10). Let r = -4 - -7. Suppose -t - r = l - 2, 0 = -4*l + 2*t + 14. Is l at least as big as s?
False
Suppose 3*m + 5 = 14. Let b = m - 2. Let d = -233 + 3493/15. Which is greater: d or b?
b
Let u = -5 + 7. Suppose 2*c = -4*o - 4, -u*o + 0*o = -2*c + 14. Let h = 5 + -8. Is h at most o?
True
Let u = 3361/15295 - 27/115. Is u > -1?
True
Let l(k) = -k**3 - 4*k**2 - 3*k - 7. Let n be l(-4). Which is smaller: n or 1?
1
Let j = 63 + -56.1. Let g = -2.1 - j. Let l = g + 13. Does 0 = l?
False
Suppose w + 2*w = 3*q - 12, -2*q = -5*w - 5. Is w less than 1?
False
Let b be 2/(-5) + (-32)/(-80). Let i be (1/(-1) + b)/(-1). Let z = 2798/437 - 120/19. Is i greater than z?
True
Suppose -w = -5*s - 315, -s - 2*w = -0*w + 52. Is -62 at most s?
True
Suppose 5*k - 5 = -35. Is k at most -6?
True
Let k = 3 + -2. Let z = -3 - 9. Let n = -16 - z. Which is smaller: n or k?
n
Let r be (-3)/(-1) + -17 + 5. Is r != 0?
True
Let g = -23 + 40. Let m be ((-8)/20)/(g/5). Suppose -5*h = -4*w + 1 - 2, -4 = -5*h + w. Is h greater than m?
True
Let u = -5.02 - -5. Let o = -0.02 - u. Which is smaller: o or -0.3?
-0.3
Suppose -2*q - 2 - 10 = x, -3*x = -5*q - 8. Let m be (-15)/(-2)*10/(-15). Is x at most as big as m?
False
Let v be (-915)/(-6)*(-2)/10. Let h be 2 - (-2 + 36) - -2. Let p = v - h. Is p smaller than -1?
False
Suppose l - 4 + 1 = 0. Suppose -12 = -0*f - l*f. Let p = -8 - -13. Which is greater: p or f?
p
Let n = 11 - -54. Do n and 0.1 have different values?
True
Let v(k) = 2*k**2 - 6*k + 8. Let r(p) = -3*p**2 + 12*p - 16. Let n(d) = 3*r(d) + 5*v(d). Let t be n(-7). Suppose -5 = m - 4. Is t greater than m?
False
Let z = 173/221 - -9534/221. Let u = -44 + z. Is u less than or equal to -1?
False
Let p be 3/(-12) + (-1)/(-4). Suppose p = 3*x - 8 - 1. Let b = -2 + x. Are 1/5 and b unequal?
True
Let i(f) = f**2 + f + 60. Let c be i(0). Let j be (104/c)/(4/6). Does j = 4?
False
Suppose -b + 3 = -4*b. Let h be b/((-4)/((-16)/10)). Suppose f + 0 = 1. Which is smaller: h or f?
h
Let n = -4 - -3. Let q = -39 + 38.7. Is n smaller than q?
True
Let s(g) = g**2 - 2*g - 1. Let d be s(-1). Is d >= 5/6?
True
Let y(h) = 4*h. Let c(f) = 2*f. Let k(z) = 7*c(z) - 4*y(z). Let n be k(-1). Let s be n + (-9)/(2 - -1). Is 2/13 > s?
True
Let c be (4/(-6))/(1/3). Let a be ((-4)/6)/(c/36). Suppose -4 = 4*t - a. Is 0 < t?
True
Let g(u) = u - 2. Let r be g(7). Suppose -18 - 2 = -r*m. Suppose -6 = -m*c + 6. Is 2 >= c?
False
Let h be (-1 - (-45)/36)/((-1)/4). Is -4/3 != h?
True
Let o = 2/405 + -49/81. Is 0 at least as big as o?
True
Let i = 0 + 0. Let h = 13 - 8. Let b(y) = y**3 - 4*y**2 - 3*y - 10. Let w be b(h). Is i != w?
False
Let a(f) be the second derivative of f**5/20 + 2*f**4/3 + 4*f**3/3 + 7*f**2/2 - f. Let y be a(-7). Which is smaller: y or 0.2?
y
Suppose 0 = 3*m + 7 - 1. Let d(y) = -y**2 - 3*y + 3. Let h be d(1). Which is greater: h or m?
h
Let p(t) = t + 3. Suppose -4*f - 4*l - 28 = 0, -5*f = 4*l - 4 + 35. Let x be p(f). Which is smaller: 1 or x?
x
Let s = -0.4 + -4.6. Let i = -6.4 + 0.4. Let p = i - s. Is -1 at least as big as p?
True
Let g be ((-2)/(-4 - -2))/(-2). Let p(j) = 3 - j**2 - 2 + 2 - 1. Let y be p(2). Is y less than g?
True
Let r = 23 - 22.8. Is 4/3 >= r?
True
Let m = 2/297 - -568/3861. Let h = 104 + -938/9. Which is smaller: m or h?
h
Suppose -3*o - 8 = 4*c + 2*o, 10 = 