h is bigger: y or -2?
y
Let h = 1 - 1. Let u be (-370)/(-12) - (-3)/(-6). Let b = 457/15 - u. Is h != b?
True
Let c = -9 + 13. Suppose -4*k + 2*k = c. Which is smaller: 0 or k?
k
Let c = -27/440 + 1/88. Are c and 1 non-equal?
True
Let j = 0.02 - 0.15. Let i = j + -2.87. Is 1/3 at most as big as i?
False
Let n = -10 - -15. Let c = 3.95 - -0.05. Let b = c - n. Which is greater: b or 5?
5
Suppose 0 = 3*q - 3. Suppose -4*v = v. Let j(w) = -w**3 + 2. Let u be j(v). Is q >= u?
False
Suppose 0*a = 2*l - a, -l - 3*a = 7. Suppose -5*s + 10 = -3*q, -4 = -0*s - 2*s - 3*q. Let b be (-2)/s*2 - 0. Which is greater: l or b?
l
Let w = -5.8 + 6. Which is smaller: -5 or w?
-5
Let l = -417/1558 + 9/82. Is 0.4 smaller than l?
False
Suppose -4*x + 8 = -6*x. Which is bigger: -8 or x?
x
Suppose -f + l + 3*l = 14, 4*l - 26 = 3*f. Let s(z) = z - 2. Let g be s(4). Let x be (3/f)/(g/(-12)). Is x at most as big as 3?
True
Suppose -3*q - 2 = d - 3*d, -3*d + q = 4. Suppose b + 2 = 1. Which is bigger: b or d?
b
Let d = 0.22 - 0.12. Is d smaller than 8/7?
True
Let c = -56/65 - -6/13. Let n(a) = a**3 + a**2 - a - 2. Let s be 0/((-1)/(-1) - 3). Let p be n(s). Is c <= p?
False
Let g = -77 + 83.2. Let n = g - 7. Let j = n - -1. Is j greater than -1?
True
Let o = 1 + -0.99. Let w = -145.2 - -145. Are o and w equal?
False
Let x = 2 - 1.98. Let d = -0.24 + 0.25. Let w = x - d. Is w smaller than -1/3?
False
Let w(a) = -a - 11. Let m be w(-8). Let s be (-1 + 15/9)*m. Suppose 0 = 3*h + 3*q + 9, 7 = -3*h - q - 0*q. Do s and h have the same value?
True
Suppose -4*n - 8 = 0, -6*n + 3*n = 3*v - 6. Let m(l) = -l**2 - 10*l + 2. Let o be m(-10). Is o at least v?
False
Let x be 2/3 + (-44)/3. Which is bigger: -12 or x?
-12
Let p be (7/(-14))/((-1)/(-2)). Let x be p/(-4) + (-1)/2. Let t be (-2 + 0)/1 + 2. Does x = t?
False
Let x = 27 + -27.2. Which is bigger: x or 1.1?
1.1
Let d = 12 - 17. Is -14/3 < d?
False
Let s = -208.05 - -203. Let q = -5 - s. Let g = -0.6 - -0.6. Is q smaller than g?
False
Let f = 37/7 - 335/63. Is 0 at most as big as f?
False
Let k = 14.02 + -15. Let h = -1.02 + 1. Let c = k + h. Does 2 = c?
False
Let w = 23.2 + -23. Which is smaller: 3 or w?
w
Let c be ((-8)/(-10))/((-70)/(-25)). Let v = 0 + 0. Which is smaller: c or v?
v
Let m = 8 - 3. Let t = m - -7. Let a be -2 + t/(-10) + 3. Is 0 < a?
False
Suppose 2*r - 6 = -3*o, -3*o - 18 = 4*r - 42. Let x be ((-3)/3)/3*r. Let g be 4*3/((-9)/x). Which is smaller: 5 or g?
g
Let a be 2/4 + 507/18. Let z = 29 - a. Is z at least as big as -5?
True
Suppose -2*f + 5*f = 0. Is f bigger than -1/4?
True
Let n = 1985 - 9253/5. Let r = n + -134. Suppose 3*p + p = -5*h - 4, -5*h - 3*p = 3. Is r less than or equal to h?
False
Let v(g) = 53*g - 2. Let d be v(-5). Let c = d + 1341/5. Suppose 4*z - 3 = 1. Is z > c?
False
Suppose -2*j + 4 = -2*b - 2*b, -3*j - 1 = b. Suppose 0*n + 3*n - 6 = 0. Is j smaller than n?
True
Let f = -29 - -28. Which is greater: 0 or f?
0
Let g = 2.2 - -0.8. Let u = g - 3. Are 2 and u unequal?
True
Suppose 0*c = -2*c - 14. Let u be (-1 - 1)*c/(-2). Let p = u - -3. Is p at least as big as -3?
False
Let d(u) = u**3 - 2*u**2 - 11*u + 11. Let g be d(5). Let o = 1651 - 3241/2. Let k = g - o. Which is smaller: k or 0.1?
0.1
Let c be (-75)/125*8/(-18). Do -1 and c have the same value?
False
Let q = -123 + 123. Is -0.28 less than q?
True
Let g be ((-1)/2 - 1)/(12/496). Is 2 not equal to g?
True
Let m(r) = -r + 6. Let y be m(5). Let o = -1 + y. Are o and 0 unequal?
False
Let q = -11 - -11. Let r(f) = -6*f**2 + 4 + 7*f**2 + 0*f + f. Let k be r(q). Is k equal to 4?
True
Let g = -2 + -7. Suppose 2*q = 6*q - 16. Let l = q + -12. Is g smaller than l?
True
Let y be 9/(-2)*(-4)/(-6). Let r be ((-19)/(-3))/((-1)/y). Suppose -2*p + 5*d = p - r, 4*d = -4*p - 28. Which is bigger: p or -3?
p
Let o = 9 - 5. Let d = 4 - 9. Let a = d + o. Is a equal to 1?
False
Suppose -3 = v, 4*v - 2 = -b - 0*v. Which is bigger: -3 or b?
b
Suppose 5*v - 5 = 4*v. Let m = v + -4. Is 2 bigger than m?
True
Suppose -3*t + 48 = t. Suppose 4*c + 19 = 3*w, -t = 2*c + c. Let d be (-16)/(-10) + -1 + 0. Which is greater: w or d?
w
Let v be -3*1 - (-45 + 2). Let w be 6/(-8) + 22/v. Is -1 >= w?
False
Suppose -12*r + 15*r - 3 = 0. Is 22 > r?
True
Let s = -37/3 - -12. Is 2/47 equal to s?
False
Let w = -0.06 + 0.16. Let x = 7 - 4. Which is smaller: w or x?
w
Let x(k) = -5*k + 105. Let h be x(21). Let v = -305/1738 - 1/158. Are v and h nonequal?
True
Let z = -1/897 + -10757/6279. Which is smaller: -2 or z?
-2
Let s = -30 - -46. Which is bigger: s or 15?
s
Let r be (-252)/(-77) + (-3 - 0). Let y(s) = s**2 + 2*s - 3. Let m be y(-3). Do r and m have different values?
True
Let f = 14 + -15.1. Let c = 46.1 - 41. Let v = f + c. Do 0.1 and v have the same value?
False
Let w(l) = l + 5. Let x be w(-5). Let g(s) = -s**3 - s**2 + 3*s + 3. Let o be g(-2). Let f be ((1 - 1) + 0)/o. Does f = x?
True
Let s = 0.05 - -8.95. Let b = -11 + s. Are b and -1 equal?
False
Let g(o) = o - 1. Let w be g(1). Suppose w = 2*s - 3*l - 4, 5*l - 2*l = -4*s + 26. Let i = 7 - s. Which is bigger: i or 3?
3
Let z = 7 + -5. Suppose 5*h + 212 = z*u + 2*u, -u + 40 = 2*h. Let c = u + -338/7. Which is smaller: 0 or c?
c
Let d = 9 + -8.8. Let h = 3 + -4. Is d greater than h?
True
Let j be 1*-1*(-2 - 7). Let z(w) = w**2 - 10*w + 7. Let t be z(j). Which is smaller: -3 or t?
-3
Suppose 81 = -4*l - 15. Which is smaller: l or -23?
l
Let f = -59 + 37. Is 2 greater than f?
True
Let l be (-3 + 2)/((-3)/(-6)). Which is smaller: l or -1/3?
l
Let i = 17.9 - 18. Which is smaller: 16 or i?
i
Let t be (96/(-20) + 4)*(-2)/2. Let q be 2/7 + 5/7. Is t greater than or equal to q?
False
Suppose -5*g - 9 = -4. Let k be 3/(1 - 4) - -43. Let j be (-2)/8 + k/104. Which is smaller: j or g?
g
Let p(c) = c**2 + 2*c + 3. Let m be p(6). Let q be (-1)/(-3) + m/9. Let u(n) = -n**3 + 7*n**2 - 7*n + 6. Let j be u(q). Is j equal to -1/2?
False
Suppose -2*x = -0*x - 3*o - 1, 0 = -3*x - 5*o - 8. Let y = 3 + x. Suppose -y*s + 1 = -i, -2*s + 2 = -2*i - 5*s. Is -3/2 <= i?
True
Let x = -0.05 - 0.05. Is -2/7 at least x?
False
Let c = -36 + 24. Let d = c - 0. Let a be 2 + 45/d - -2. Which is bigger: -1 or a?
a
Suppose 4*g + 4*n = 53 + 51, -5*g + 4*n + 85 = 0. Let m be g/(-14)*2/(-7). Suppose 2*l = 1 + 1. Does m = l?
False
Let y = 1904757/932330 + -2/13319. Let p = y - 15/7. Let m = p - -3/10. Which is smaller: m or 0?
0
Let x(t) = t - 14. Let l be x(13). Let i = -0.2 + 0.6. Let c = i - 3.4. Is l > c?
True
Let b = 67/2470 - 3/380. Let n = 211/156 - b. Which is bigger: 1 or n?
n
Let k = 205/4 + -52. Which is smaller: 0 or k?
k
Suppose 5 + 13 = 3*m. Suppose -3*g + 2*h - m = -33, 12 = -4*h. Suppose g = -2*p + 1. Is -3/2 > p?
True
Let j = -4 + 8. Suppose 3*b + j*h = -0*h - 4, 0 = -2*b + 3*h + 3. Is -2 greater than or equal to b?
False
Let f be (16 - 4)*(-6)/(-8). Is f less than 12?
True
Suppose f + 4 = 4*z - 9*z, -4*z + 8 = -2*f. Let p(v) be the third derivative of -v**5/60 - v**4/6 + v**3/6 + 2*v**2. Let l be p(f). Which is bigger: l or 0?
l
Suppose 5*g + 2 - 7 = 0. Let p = -2 + 0. Let z = -2.1 - p. Is g bigger than z?
True
Let w = 294 - 2642/9. Let u(q) be the third derivative of -q**5/60 + q**4/12 + 7*q**3/6 + 5*q**2. Let p be u(4). Is p smaller than w?
True
Let m(c) = c**3 - 8*c**2 - 8 - c + 7 + 8. Let w be m(8). Let g = -4 + 4. Is g != w?
True
Let u = 90535 + -632620/7. Let i = u + -161. Which is smaller: i or 0.3?
i
Suppose -2*g = -g. Suppose -h - h + 8 = s, -5*s = -5*h - 10. Let p = h - g. Is p <= 4/7?
False
Let m = -35.5 - -32. Are m and 1 unequal?
True
Let r be (-8)/2 - (3 - (2 - -4)). Is 6/13 greater than r?
True
Let b = -3 + 2. Let m = 0.9 + b. Which is smaller: m or 1?
m
Let c = 6 - 6.5. Let q = -0.46 - c. Is -1 at most as big as q?
True
Let n be (-4)/40 - (-2)/(-4). Suppose u + 3*u + 60 = 0. Let r be (-1)/(-2) + u/6. Is r at least as big as n?
False
Let p = 113 - 110. Are 30/19 and p unequal?
True
Let s = -18 + 22. Suppose 4*p + 4*o + 20 = 0, s*p = p + 5*o - 15. Let t = 1 + -5. Which is smaller: t or p?
p
Suppose -5*x - 11 = 5*m - x, m + 15 = -4*x. Suppose -2*s - 5*y - m = 0, -17 = s - 5*y + 21. Which is smaller: -12 or s?
s
Let k be ((-26)/1)/(-2) - -2. Let w be (-2)/(-6) - (-10)/k. Are w and 1/15 nonequal?
True
Let w be (-2)/(-6)*(-12)/(-2). 