ich is bigger: s or -6?
-6
Let d = -12 - -14. Is d bigger than 27/8?
False
Let h be (-2)/9 - (-18)/27. Is -0.03 >= h?
False
Suppose -4*q = 4*m - 40, 5*q + 4*m - m = 48. Suppose -3*r = -3*u + q, u - 17 = -2*u - r. Suppose -2*z - 5*f + 9 = 0, 0 = -2*z + 5*z + u*f - 6. Is -2 < z?
False
Let h(v) = v**3 + 15*v**2 + 15*v + 14. Let b be h(-14). Let w(r) = -2 + b + 4*r + 2*r - 2 + r**2. Let d be w(-7). Is d at least 13/4?
False
Let z = 2735 + -1731. Let o be z/(-60) - (-10)/25. Is o less than or equal to -16?
True
Let n be ((-4)/3)/((-1)/3). Let l = -34 + 18. Let i be l/(-20)*5/(-2). Is i >= n?
False
Let a be ((-1192)/(-24))/(9/27). Which is bigger: 148 or a?
a
Let w = -14 - 0. Let d = -17 - w. Which is smaller: 2/7 or d?
d
Let t be (-2 - (-12 + 4))/1. Let y = t + -2. Suppose -21 = z + 4*i - 4, -14 = 2*z + y*i. Is z at most as big as 3?
True
Let t(o) = 0*o**2 + 2*o**2 + 12 + 12*o + 0*o**2. Let l be t(-11). Let m be (-10)/(-45) + l/18. Are 8 and m unequal?
True
Suppose 0*h = -2*h - 5232. Let f be (-1)/8 - 279/h. Is f <= 0?
True
Let u = -51.181 - 0.019. Let h = -51 - u. Which is smaller: -8 or h?
-8
Let m = 3 + 3. Let j(w) = w**3 - 6*w**2 - 2*w - 4. Let f be j(m). Let t = -24 + 8. Is t bigger than f?
False
Let y(s) = s**2 + 20*s - 43. Let a be y(-22). Is a less than or equal to 60?
True
Let c = 2083 - 2105. Is -1 bigger than c?
True
Let w = 137 + -136. Let h be ((-18)/252)/(w/(-2)). Does -1 = h?
False
Let w be 14 - (4 + -2 + 7). Is -0.24 not equal to w?
True
Let h = 4.76 + -5.86. Let s = -10 - -9. Let q = -1.1 - s. Which is greater: q or h?
q
Suppose -n + 103 = 3*b, 41 = 3*b + 29. Which is greater: 89 or n?
n
Let s = -734 + 736. Let q be (10/(-8))/(1/12). Let u = -22 - q. Is u equal to s?
False
Suppose -28 = 17*j - 19*j. Let g = 14 - j. Is -1/56 less than g?
True
Suppose 5*l - 20 = -5*w, 2*l + w + 11 = 6*l. Suppose 7*q = 9*q + 3*x + l, -3*q - 5*x = 4. Let j be (-6)/(-4)*(-7)/6. Is j >= q?
True
Let g be (2 + -2)/2 - (-6)/(-674). Let u = -15523/2359 - g. Which is smaller: -8 or u?
-8
Let a(u) = u**3 + 4*u**2 + 3*u - 4. Let o be a(-4). Suppose -h = -4*q - 60, -75 = 5*q + 2*h - 0*h. Let t = q - o. Which is bigger: 1/2 or t?
t
Let n be ((5 + -4)/4)/((-50)/(-4208)). Let w = 21 - n. Is w smaller than 1?
True
Let s(m) = -2*m**2 - 9 - m - 2*m**2 + 5*m**2. Let c be s(0). Let x = 755 - 765. Is x <= c?
True
Let v = -46 - -34. Let p = -80 + 80.2. Is p <= v?
False
Let g = -679 - -678. Do -4/97 and g have the same value?
False
Suppose 1112*p = 1101*p + 341. Is 36 equal to p?
False
Let z(r) = -13*r**2 + 0 + 30*r**2 + 10 + 9*r - 18*r**2. Let x be z(10). Suppose -4*g = a + 3*a - 16, 3*a - 2 = 2*g. Which is smaller: a or x?
x
Let p be (88/50 - 2)/(28/595). Which is bigger: -4 or p?
-4
Let l = 3 + -2. Suppose -4*t + 2 + 6 = 0. Suppose i = -0*o + t*o - 5, -i - o + 4 = 0. Are l and i unequal?
False
Suppose -7*m + 881 = 580. Let s(v) = 15*v - 3. Let r be s(3). Is r greater than m?
False
Let r(y) = y + 4. Let b be r(-4). Let g be 0/(-8) - (-604)/(-870). Let l = -24/29 - g. Which is smaller: b or l?
l
Let p = 64 - 65.3. Let x = p + 1.31. Which is smaller: 2/3 or x?
x
Suppose -2*r = 85 - 15. Let v = 38 + r. Is 15/4 at most v?
False
Let u(n) = n**3 - 7*n**2 + 2*n - 10. Let h = 19 - 12. Let q be u(h). Let z be (5 + -1)*q/(-16). Which is greater: -7/4 or z?
z
Let w be (-6 + -1)*(-1800)/(-140). Is w bigger than -89?
False
Let r = -42 - -99. Let g = r + -60. Do 0.1 and g have the same value?
False
Suppose 0 = -f - 5*m + 460, -3*m - 70 = -79. Is 445 greater than or equal to f?
True
Let m be (-8)/(-6)*(-10)/2540*-3. Which is bigger: -1 or m?
m
Suppose -6*c = -2*c + 24. Let j be (2/c)/(1/(-36)). Which is bigger: j or 11?
j
Suppose -190 + 85 = -7*q. Which is smaller: 14 or q?
14
Let b be ((-5)/10)/((-33)/18). Suppose 5*w + 12 = -13. Let m = w - -6. Which is smaller: b or m?
b
Let w be (-10)/(-117)*(-4704)/105 - -4. Are w and 0 equal?
False
Let s = 2.03 + -2. Let g = s + -1.03. Let v = 131 + -115. Are g and v equal?
False
Let t(d) = -5*d - 23. Let j be t(-5). Let c be j*2/(-4)*(-2 + 3). Which is smaller: c or 13?
c
Let n = -44 + 45. Suppose -n + 4 = 3*d. Is d <= -8/7?
False
Let i = 8947 + -1655201/185. Which is greater: i or -1?
i
Suppose -181 = 3*y - z, 4*y - y + 176 = 2*z. Let i = y - -188/3. Is i <= 17?
True
Let o = 1.105 - 0.905. Which is smaller: -186 or o?
-186
Let u = -94 + 98.1. Let h = u + -2.1. Let g be 4/(-14) - 80/(-84). Is h < g?
False
Let u = 1042.9 + -1043. Which is bigger: u or 0.18?
0.18
Let l(o) = 10*o**2 - 9*o + 9. Let a be l(5). Let q = a + -2784/13. Which is bigger: 2 or q?
2
Let s be (14/((-112)/(-24)))/(4 - 3). Which is bigger: 39/11 or s?
39/11
Let g = -419 + 418. Is -5 != g?
True
Let i = 84 + -53. Suppose 0 = -2*b + i + 27. Is b at least 29?
True
Let c = -279/13 - -34927/1625. Do 0 and c have the same value?
False
Suppose -2*f + 4*f + 3*w = -6, -3*f - 2*w = -1. Let b be f/18*(-15)/10. Is b equal to -1?
False
Let d = 447.8 - 502. Let c = 54 + d. Let l = 0.9 + -0.5. Is c at most l?
True
Suppose -4 + 22 = 3*u - 5*h, -4*u + 38 = -2*h. Let i = -18 + 20. Suppose p - i - 9 = 0. Are p and u equal?
True
Let w(p) = 5*p**2 - 17*p - 6. Let f be w(5). Suppose f*s = 32*s + 2. Are s and 3/16 nonequal?
True
Suppose 0 = 2*y - 5*y. Suppose -4*q - q - 61 = -4*n, y = -4*n + 16. Let o be ((-1)/(-12))/(q/(-36)). Which is smaller: o or -1/4?
-1/4
Let c = 121 - 119. Suppose c*v - a = 1 - 15, 3*a = 5*v + 35. Let m be 1/(-4) + 105/(-12). Is m greater than v?
False
Suppose 0 = -b + n, -17*n + 22*n = -2*b. Let g = 2099/9 - 233. Is g greater than or equal to b?
True
Let k = -6955 - -13623/2. Is -145 <= k?
True
Let i(j) = 2*j**3 + 16*j**2 + j + 10. Let d be i(-8). Let g be d/(-2 + 2/1 - -20). Which is smaller: 0 or g?
0
Suppose -4*s + 3*s - 2*h = 35, -110 = 5*s - 3*h. Which is bigger: s or -1.1?
-1.1
Suppose 324 = -3*a + 7*a. Suppose a - 1 = 10*l. Which is bigger: l or 0.2?
l
Let u(h) = -h**2 - 4*h - 3. Let i be u(-2). Let t be 1/(-4) - 36/(-16). Let o be (-17)/(-9) + t/(-9). Which is smaller: i or o?
i
Let o = 0.1599 - -0.7401. Let q = -0.3 + 0.5. Is o != q?
True
Let g(z) = -z**2. Let a be g(0). Let h be (-5)/(-27)*30/75. Is a not equal to h?
True
Let p be (-12)/(-42) + (-72)/56. Which is bigger: p or -1/42?
-1/42
Let k be (-30)/4020*3*4. Which is bigger: k or 1?
1
Let k = -1/88 + 95/616. Suppose 4*c + 9 = -4*a + 1, 0 = 5*a + 4*c + 8. Suppose 0*o + 5*o = a. Which is smaller: o or k?
o
Let d = -0.329 - 0.171. Let s = -1298/27 - -48. Is s at least d?
True
Let v = 138.6 + -155. Let q = -0.3 - -16.3. Let c = q + v. Is c not equal to 0?
True
Let t = -22 - -21. Let z be ((-1)/4)/(t/4). Is z less than -1/20?
False
Suppose 3*f + y + 25 = -18, 10 = 2*y. Let o = 24 + f. Which is bigger: 5 or o?
o
Suppose 6*n + 7 + 95 = 0. Let l be (-5)/(-8)*(-14 - n). Is l smaller than 2?
True
Suppose 85*m - 5832 = 61*m. Do 244 and m have the same value?
False
Let w = -2 - -1.7. Let x = w - -1.3. Let c = -12 + 12. Which is smaller: x or c?
c
Suppose 6 = 4*h - 6. Suppose 3*b - 99 = -a, 5*b + h*a = -4 + 169. Are b and 34 equal?
False
Let a = 60 - 61. Let b = 15 - 16.9. Let u = b - -12.9. Is a at least as big as u?
False
Suppose -4 = 155*z - 154*z. Is -5 greater than z?
False
Let w = -210 + 210.1. Are w and -3 equal?
False
Let q = -1.59 + -0.31. Let x = q - -2.5. Which is smaller: x or -2?
-2
Let r be (0/(-1 + -1))/1. Let i = -1162 + 1160. Is i > r?
False
Let x(i) = 4*i + 3. Let m be x(1). Suppose -m*o = -14*o. Is -0.1 at least as big as o?
False
Suppose 0 = -8*c + 13*c - 525. Let t = 737/7 - c. Which is smaller: -1/5 or t?
-1/5
Let o be 6 + (-1 + -5 + 5 - 12). Suppose -4*i + 17 = 3*m, -5*m - 2*i + 17 = -i. Suppose 0 = 2*z + 4*y + 1 + 11, z + 6 = m*y. Is o <= z?
True
Let z = -127.8 - -128. Which is smaller: -77 or z?
-77
Let k = 1649 - 1975. Which is smaller: k or -325?
k
Let s be (3 - 66/12)*40/5275. Is s <= 0?
True
Let t = 1.72 - 0.12. Let x = t + -0.5. Which is smaller: x or 0.1?
0.1
Let i(c) = -c**3 + 25*c**2 + 5*c - 124. Let p be i(25). Which is smaller: 1/57 or p?
1/57
Suppose -20*a + 18*a = 2*v + 4, 5*v + 3*a + 8 = 0. Which is smaller: -2/7955 or v?
v
Let g be ((-60)/25)/(6/(-15)). Suppose -2*x - 16 = -g*x. Suppose 0 = -x*q - 6 + 2. Is 2/5 equal to q?
False
Suppose 2*p - 2754 = -32*p. Is p at most 82?
True
Sup