
True
Let m = -42 - -30. Let b be 27/6*2/m. Is b bigger than -2?
True
Suppose 4*w - 32 = 3*p, -4*w + 16 = p - 0*p. Let h be 6/4 - w/10. Let t = 0 - h. Which is greater: t or 2/7?
2/7
Let y = -14 - -23/2. Suppose -3*l = 4*o - o - 45, 3*l = 12. Suppose -5*c - o = 4. Is y >= c?
True
Let p = 187/14 - 93/7. Does p = 0?
False
Let y = 27 - 244/9. Let s = y + 1/3. Suppose 2*x - 3*x = 1. Which is bigger: s or x?
s
Let q(y) = -2*y**2 + 40*y - 1. Let c be q(20). Let n = 0.9 + -0.83. Is n >= c?
True
Suppose -2*x - 94 = -4*s, -2*x + 5*x - 5*s = -139. Are x and -44 unequal?
True
Let q(n) = 2*n + 6. Let z be q(-4). Let u(r) be the third derivative of r**6/120 + r**5/30 + r**4/12 + r**3/3 + r**2. Let t be u(z). Are t and -2 nonequal?
False
Let r be 2 - (-4 + -3)*-2. Do r and -10 have the same value?
False
Let x = -3 + -2. Let n = -30 + 18. Let q = -17 - n. Are x and q non-equal?
False
Suppose -5*n + 5 = 0, 3*n = -3*o + 5 + 10. Let j be (o - 1) + (9 - 10). Which is smaller: 1 or j?
1
Suppose 0 = -g + 4*d - 19, 3*d - 5*d = g - 5. Is -2/7 at least as big as g?
True
Let d be (-82)/(-123) + 676/(-42). Is -16 at most as big as d?
True
Let m = -0.012 - -0.172. Which is greater: m or 1/4?
1/4
Let f be -1*((-4 + 8 - 4) + -4). Is f at most as big as 3?
False
Let n(o) = -o**3 - 19*o**2 - 17*o + 22. Let m be n(-18). Which is smaller: m or 3?
3
Let x = 226 + -101. Is x bigger than 125?
False
Let c be ((-1)/3)/(16/12). Let g = -18847/5 + 3824. Let v = g - 55. Which is smaller: c or v?
v
Let w be (-1706)/(-1840) + (-2)/4. Let i = -343626/115 + 2988. Let x = w + i. Is -1 at most as big as x?
True
Let h = 90931559 - 324352867205/3567. Let c = h + -2/123. Let d = c + -152/203. Which is bigger: d or 0?
d
Let c be (-15 + -1 - 1)/(-2). Let x = -10 + c. Which is smaller: x or -3?
-3
Let c = 2/97 + 156/1843. Is c equal to 0?
False
Suppose 0 = -4*b - 4*r + 8, 11 = -0*b - 2*b + r. Let s be (-1)/(-1 - 6/b). Let w be (1 + 2)/s - -1. Is -2 less than or equal to w?
True
Let p = 64/5 + -12. Is 5 less than p?
False
Let p be 2/12 + 7/(-54). Let b = 1452 - 39223/27. Let j = b + p. Which is smaller: -1 or j?
-1
Let f be (-68)/(-2)*3/(-9). Which is smaller: -11 or f?
f
Let s(o) = 16*o - 9. Let y be s(6). Suppose -4*r + 189 = -3*h, -3*r + y = -r + h. Let n be (-8)/(-20) + (-8)/r. Do n and 1 have different values?
True
Let b = 8 + -12. Suppose 0 = -0*m + m - 3. Suppose 4*w + 14 = m*a, -a + 8 = -5*a. Are w and b equal?
False
Suppose 4*c - 5 = -c. Is c > 4/7?
True
Suppose 4*z = 5*b - 1, -5*z - 3*b + 4 = -4. Let d be ((-2)/(-4))/(z/(-4)). Is -3 at least as big as d?
False
Let b = 38 + -75. Is b at least as big as -37?
True
Let p(a) = a**3 - 4*a**2 + a - 2. Let t be p(4). Suppose t*n + n - 6 = 0. Are n and 3 nonequal?
True
Let r = 7 - 7. Let x be 70/6*(-20)/42. Let v = -191/36 - x. Is v smaller than r?
False
Let a be (72/42)/((-2)/(-7)). Suppose a*b = 8 - 26. Suppose 3*c - 6 = 4*c + 2*v, -5*c = -5*v. Which is smaller: c or b?
b
Let u = 37 - 34. Is 1/4 at least u?
False
Let b = -1389/4 + 781/2. Let q = b - 43. Which is smaller: 0 or q?
0
Suppose -2 = 2*i - 0. Let n = -27 - -24. Is n greater than or equal to i?
False
Let d be 12/(-8)*(0 + 2). Let w(t) = t**2 + 2*t - 2. Let k be w(2). Suppose 7*p - 4*p + k = 0. Which is smaller: d or p?
d
Let z = 2 + 2. Let b be 6/z*4/(-6). Is b <= 0?
True
Let u = 7 - -4. Let m(i) = -i**2 - 8*i + 11. Let t be m(-8). Let z be (-2)/t + 13/u. Is 0.1 smaller than z?
True
Let v = 3 - -1. Let b = v + -4. Let i(x) = -2*x - 12. Let p be i(-7). Is b greater than p?
False
Suppose 4*u + 50 = -10. Is -13 at most as big as u?
False
Let q be 3 + 96/(-15) + 3. Let v = 11 - 10.8. Which is bigger: q or v?
v
Let r(x) = x**3 + 8*x**2 + 8*x + 10. Let m be r(-7). Suppose 5*q + 8 = m*d - 4, -5*d - 2*q = 11. Let i be (-2 - 0) + 16/7. Which is smaller: d or i?
d
Let k = -15.04 + 14. Let l = k + 1. Let t = l + -0.06. Is -1/2 at least t?
False
Suppose 4 = -8*p + 12*p. Let u = -36 - -21. Let n = u - -11. Which is greater: n or p?
p
Let b = 6/23 - 112/253. Which is smaller: -1 or b?
-1
Suppose n = 4*a - 5, -4 = -2*n + n + a. Suppose -8 = -4*q + 12. Suppose -5*p = d + 10 + 1, -2*d = q*p + n. Is -3 less than or equal to p?
True
Let u = 147 - 146. Which is smaller: u or -3/17?
-3/17
Let m = -0.3 + -8.7. Let j = 8.7 + m. Do j and 1/3 have different values?
True
Suppose 0 = 4*x - 4, -5*x = -3*m - 2*x + 9. Let z = 6 - m. Let i = -17/2 - -9. Which is smaller: i or z?
i
Let d be 8/(-60) + (-116)/30. Let v(f) = f**2 + 3*f - 4. Let b be v(-4). Suppose b = 5*g - 0 + 25. Which is smaller: g or d?
g
Let z = 3.96 + -4. Let n = -0.06 + z. Let l = -0.1 - 0. Is n greater than or equal to l?
True
Let s = 317/1134 - -1/162. Let v = -1.2 - -7.2. Let k = 3 - v. Is s at least as big as k?
True
Suppose 4*j - o = 14, 4*j + 6*o = o + 2. Suppose 5*i - 30 = -j*l - 3, -5*l + i = -17. Which is greater: l or 5?
5
Let y = 0.14 - 1.34. Which is greater: 1 or y?
1
Let k(p) = -p**3 - 8*p**2 - 10*p - 6. Let b be k(-6). Is -18 < b?
False
Let d(p) = -p**3 + p**2 + 2*p. Let m be d(2). Is 6/7 less than m?
False
Let h = 0.3 - 0.3. Let g = -660 + 13203/20. Let s = g + 1/10. Which is smaller: s or h?
h
Let b = 0.14 + -0.54. Let k = 0.1 + 0. Which is greater: b or k?
k
Let a be (-6)/(-24) + 27/4. Let m be (-1 + 1)/(a/7). Is m >= -5?
True
Let h be 1/18*(-12)/(-16). Let s = 2207/5400 - 4/675. Let x = h + s. Which is bigger: -1 or x?
x
Let j = -0.355 - 16.005. Let l = 18.3 + j. Let f = -0.06 - l. Is f < -2?
False
Let u be (-130)/35 - (-4)/(-14). Let v = u + 3. Let y = -8 - -6. Is v != y?
True
Let p be -3*1 - 7/7. Let k be (-3)/p*96/252. Which is smaller: -0.3 or k?
-0.3
Let h = -9.9 - -0.9. Let d = 9 + h. Let q = 2.9 - 3. Which is smaller: q or d?
q
Let i(t) = -t**3 - 4*t**2 - 4*t - 6. Let p be i(-4). Let u be 4 - (2 - p - 0). Is u less than 13?
True
Suppose -10 = -4*w - 2*r, -2*w = 3*r - 3 - 8. Let v(d) = d**3 - 7*d**2 + 5*d + 7. Let q be v(6). Is w at least as big as q?
True
Let u = 2.5 + 0.5. Let w = -0.7 - 3.3. Let d = w + u. Which is greater: d or -2/5?
-2/5
Suppose -19*d - 32 = -18*d. Is -31 less than d?
False
Suppose 7*d = 3*d + 8. Suppose 2*a - d*t - 8 = 0, -2*a + 2*t = -a - 8. Suppose 8 = 3*p - a*p - 4*z, -z = -2*p + 2. Which is bigger: -2 or p?
p
Let i = 0 - -1. Suppose -2*k + 16 = 3*d, 24 = 2*k + k - 4*d. Let l = k - 9. Which is bigger: l or i?
i
Suppose -5*w - 68 = -2*n, 2*w + 0*w - 5*n = -44. Let i = 21 + w. Let b be ((-6)/9)/(21/i). Is b >= 0?
False
Let y be 2/(-3) + (-542)/6. Let l = 457/5 + y. Which is greater: 1 or l?
1
Let w = 7.3 - 5.3. Let x = -9 - -8.1. Let p = x + 1. Is w at most p?
False
Let b = 0.4 - 0. Let n be (4 - 50/12)/((-9)/(-12)). Is n at least as big as b?
False
Let a be (-2)/8 - 15/(-12). Suppose -4*z = -3*b - 31, 3*z + b - 6 - a = 0. Let q be (2*-1)/z*-2. Is 2 greater than or equal to q?
True
Let v = -3.23 - -0.53. Let y = 0.3 - v. Which is bigger: y or 1?
y
Let k = 26 - 44. Let h = -17 - k. Is 2/3 at least h?
False
Let g = -17 + 13. Let q be (-2)/7 + 38/(-14). Are q and g non-equal?
True
Let b = 166.9 + -167. Let s(z) = z**3 + 3*z**2 - 6*z - 3. Let d be s(-4). Which is greater: b or d?
d
Let s(j) = j**3 - 7*j**2 + 3*j - 11. Let a be s(7). Which is greater: a or 28/3?
a
Let d(t) = t**2 - 9*t - 18. Let p be d(11). Let h be -1*(-3)/((-3)/2). Let i be 4*h/(-4) - p. Which is smaller: -3 or i?
-3
Suppose -7 = 3*f + 5, 0 = -b - 4*f. Which is greater: b or 15?
b
Suppose -4*x - 11 - 7 = -5*k, 8 = -4*x. Let h be k + 4/(-4)*3. Which is bigger: h or -8/5?
h
Suppose -u = -4*u + 15. Suppose 3*j + f = u*f, -4*f = -12. Is 5 != j?
True
Suppose 4*y - 2*y = -o, -5*y = 2*o. Suppose 5*q - q = o. Let t be (-1)/4*(-128)/(-144). Is t at most as big as q?
True
Let p = -0.42 - -0.51. Is 0.2 smaller than p?
False
Let j(b) = -b**3 + 4*b**2 + 2*b - 6. Let t be j(4). Let h be -3 + 825/77*(-2)/(-6). Which is smaller: h or t?
h
Let z(j) = j. Let r be z(1). Let c(q) = -q**3 + 4*q**2 - 3*q - 2. Let n be c(3). Let p = n + r. Is 0 <= p?
False
Let y be ((-3)/9)/((-4)/24). Suppose 0 = 4*n - y*n + 2. Is -2/17 < n?
False
Let m be (6/4)/(8/32). Suppose 3*d = -2 + 23. Do m and d have different values?
True
Let c be 3*(-2)/5*7/(-84). Suppose x = -2*b + 5, -x - 1 = -3*b + 4. Which is smaller: x or c?
c
Let h = -18 - -29. Let y = -5 + h. Is 4 at 