 be 1*(22 + -9 - (-16)/(-2)). Is h at least 4?
True
Let a be (-10)/(-95) - (-40672)/(-1558). Let t = 50 - 25. Let f = -50 + t. Which is smaller: a or f?
a
Let f = -1975.054 - -1975. Let y = 80 - 79. Which is bigger: y or f?
y
Suppose 3*l + i + 1 = 0, l - 5*l - 3*i = -7. Let j be 655/130 - (l + 10 - 3). Is j greater than -1?
True
Let u = -21849 + 21852. Is u greater than or equal to -1855?
True
Let u = -34 + 24. Let s be 4 + (30/u)/((-6)/(-8)). Is s equal to 2/2203?
False
Let z(n) = -n**3 + 15*n**2 - n - 4. Let a be z(15). Let w = 39 + a. Let o(v) = -2*v + 3. Let c be o(-8). Are w and c unequal?
True
Let z(a) = 43*a - 139. Let n be z(2). Suppose -4*u + 537 - 77 = 0. Let s = -168 + u. Is n >= s?
True
Suppose 550 = d + 2*x, 0 = 2*d - 7*d + 4*x + 2778. Suppose -5*b + d + 6 = 0. Let g = b - 72. Is g at most 41?
True
Let x(r) = -11*r**3 + 2*r**2 + 6*r + 13. Let g be x(-3). Let z be (6/15)/((-2)/g). Which is greater: -63 or z?
z
Suppose 31615 = 26*i - 46177. Which is smaller: i or 2993?
i
Let o = -27.4 - -28.57. Let s = o + -3.17. Is 15 at least as big as s?
True
Suppose 35 = -5*k - 35. Let j be (-6)/k - 77/(-49). Let i be (-464)/76 + j/19. Is i greater than or equal to -11/2?
False
Let w(g) = -g**2 - 53*g - 445. Let t be w(-10). Let r(n) = -21 - 19*n + 14*n**2 + n**3 + 0*n**3 - 8. Let c be r(t). Is 33 less than c?
False
Let q(s) = 2*s + 3. Let z be q(-2). Let n = -20051/3 - -401021/60. Are z and n nonequal?
True
Suppose 2*f - 3*f = -5*i - 1746, 5*i + 1750 = 5*f. Let u = -349 - i. Let s = 1/200 - 461/12200. Which is smaller: s or u?
s
Suppose -2*w - 343 + 1079 = 0. Let z = 393 - w. Which is greater: z or 143/6?
z
Let a = 286.8 + -285.8. Which is bigger: 2336 or a?
2336
Let w = -351 + 12283/35. Let m be 1/(-2)*(-7 + 9). Let l be m/(-5) - (-4)/5. Which is smaller: w or l?
w
Let d = -150.6 + 3.6. Let u = -71 - d. Let c = -79 + u. Which is greater: c or -0.03?
-0.03
Suppose 4*j = -4*r - 116, -3*r - 5 = -2. Let a be (-59)/j + 2 - (-7)/(-28). Let g be (-10)/(-25)*1*10. Is a equal to g?
False
Let o(c) = 41*c + 61. Let v be o(-2). Is v at least -43/2?
True
Suppose -7*y = -0*y - 2184. Suppose -5*b = -4*m - b - y, -2*b + 232 = -3*m. Let d be 12/(-8)*m/6. Do 20 and d have different values?
True
Let c be 2/10 - 34*12/40. Let u(w) = w**2 + 11*w + 9. Let i be u(c). Is -22 less than or equal to i?
True
Let p be ((-2609)/(-2))/(50247/30). Let r = -2/1861 + p. Let s(x) = x**3 - 3*x**2 + 3*x. Let f be s(2). Are r and f equal?
False
Let o(u) = 2919*u - 5837. Let l be o(2). Is l smaller than -2/4981?
False
Let m = 10946 - 10700. Is 233 < m?
True
Let m be (-1 - 23042/38)*16/(-20). Let d = 1399 + -913. Let r = d - m. Which is smaller: 1 or r?
r
Let q = 63452/45 + -12694/9. Which is bigger: 0.09757 or q?
0.09757
Suppose 62*b - 38*b - 648 = 0. Suppose -25*d = -b*d. Which is greater: d or 3/82?
3/82
Let c be (2703/(-636))/((-1)/(-4)). Which is smaller: c or -7/6?
c
Let o be (-5)/4*(792/1392)/(-33). Does 0 = o?
False
Let h = 9 + -5. Suppose 2*t + 313*x = 315*x + 106, 217 = -t - 26*x. Which is smaller: t or h?
h
Suppose -3*a - 5*a = -8. Suppose -3*f - a - 8 = 0. Let b be (-1)/((-14)/4 + (-9)/f). Is 2 greater than b?
False
Suppose -23*c + 87 + 28 = 0. Suppose -6*g + c*g - 41 = -5*u, 0 = -u. Which is smaller: g or -42?
-42
Let z(a) = a**2 - 14*a - 1. Let d be ((-140)/(-84))/((-5)/(-42)). Let q be z(d). Which is bigger: 4/139 or q?
4/139
Let a = -270.326 - 0.674. Let x = -265 - a. Is -0.14 < x?
True
Let s = 32567 - 35944. Is -3372 bigger than s?
True
Suppose 0 = -5*n + 9*n. Let w be 2 + -6*2/(-3). Let l be -3 + ((-218)/111)/((-4)/w). Is l at least n?
False
Suppose 0 = -3*x - 2*w + 108 - 6, -4*w = 5*x - 172. Let v be x/80 - (-106)/10. Which is bigger: 10 or v?
v
Let d(n) be the first derivative of 31*n**2/2 + 32*n - 156. Let x be d(-5). Is x >= -123?
True
Let v(q) = -26*q - 129. Let c be v(-5). Which is bigger: c or -15/241?
c
Let j be ((-534736)/(-53472) + -10)/(-4 - -1). Which is smaller: 0 or j?
j
Let u(a) be the first derivative of -10*a - 1/3*a**3 + 3*a**2 + 11. Let x be u(3). Which is bigger: 20 or x?
20
Let z = 2889/10 + -290. Let d be (-1 + (-206)/4)/((-192)/640). Let c be (-70)/d + 2 + (-16)/10. Is c equal to z?
False
Let r(c) = 8707*c + c**3 + 2*c**3 - 8696*c - 17 - 5*c**2 - 5*c**3. Let n be r(-6). Is n >= 168?
True
Let j = -15167 + 15402. Which is greater: 43 or j?
j
Suppose 100 = 2*t - 33*j + 29*j, -t = -3*j - 50. Which is bigger: 1900/37 or t?
1900/37
Let q = -21 - -67. Let v = q - 50.8. Let n = v + 4.4. Which is bigger: n or -0.2?
-0.2
Suppose 0 = 4*f + j - 383 + 242, 0 = 3*f - 4*j - 139. Is 240 greater than or equal to f?
True
Let w = -8.51 - -572.51. Let h = w - 564.11. Is h greater than 1/12?
False
Let k be (9 - (-62)/(-6))*(-1)/(-6). Let z = 14 - 10. Suppose -z*s + 66 = 14. Is s equal to k?
False
Suppose 0 = -330*z + 51*z - 558. Let y = 401179 + -2803056/7. Let d = y - 744. Are z and d nonequal?
True
Let y be 53314/(-340) - (4172/280 + -15). Is -156 at least as big as y?
True
Let w(d) = -2*d**2 + d + 18. Let l = -49 - -53. Let q be w(l). Let v be 12/30 + 38/q - -2. Which is smaller: v or 0?
v
Let a = 1970852/129 + -15278. Which is greater: -1 or a?
a
Let j = -0.017 + 0.074. Let t = 0.138 - j. Let i = t + 0.019. Which is bigger: i or -37?
i
Let x = 1973 - 315. Which is smaller: x or 1659?
x
Let w be (-56)/6 + 1 + 1. Let c(b) = -b + 2. Let d(h) = 6*h - 10. Let z(u) = -22*c(u) - 4*d(u). Let t be z(2). Which is smaller: t or w?
t
Let w(x) = -x**2 - 188*x + 733. Let r be w(4). Is -37 at least r?
False
Let g = 160.056 - 176. Let l = g - 0.656. Is l greater than -2/3?
False
Suppose -86*q = -81*q + 245. Let s be 7/q*40 + 6. Is -85 >= s?
False
Let w be 2*(-441)/35*(-20)/24. Let c = -489/52 - -132/13. Is w equal to c?
False
Let o(g) be the first derivative of -g**3/3 - 4*g**2 + 5*g - 1. Let h be o(-7). Let r be 4 + (-46)/h - (-58)/(-456). Which is smaller: -1 or r?
-1
Suppose 1 = -m - 3. Suppose 45 - 141 = 4*z. Let n be (z/(-16))/((-21)/m). Is n at most 1?
True
Let z(w) = w**2 - 28*w + 122. Let a be z(23). Suppose -22*p + 95 = a. Is p at least 30/11?
True
Let g = -8063.08 - -8063. Do 281 and g have the same value?
False
Let c = 135 + -275/2. Suppose -34*w + 10*w + 192 = 0. Suppose -6*b - 8 = -w. Which is smaller: b or c?
c
Suppose 0 = -2*i - 4*c + 54, 4*c + 44 = -3*i + 123. Is 52 equal to i?
False
Let y(l) = -13*l**2 - 4. Let b be y(5). Let q = b - -329. Is 3/157 < q?
False
Let w(b) = -b**3 + 25*b**2 + 26*b + 9. Let i be w(26). Let f be 6/(-2) + (i - 9). Let r(d) = 5*d**2 + d - 6. Let m be r(f). Which is bigger: m or 37?
37
Suppose 0*q + 51*q - 139485 = 0. Is q at most as big as 5471/2?
True
Suppose -22*z = 101*z - 492. Is 84 less than z?
False
Let n = -2975 + 2974.9. Which is greater: n or -17/79?
n
Let p = 28 - 29.7. Suppose -3*r - 145 = -28*h + 30*h, 0 = h + 4*r + 65. Let g be ((-3)/21)/((-22)/h). Is g <= p?
False
Suppose 5*j - 42 = -5*j - 52. Is 1381 <= j?
False
Suppose -b + 10 - 4 = -2*a, -5*a = -b - 3. Let t(x) be the third derivative of -x**4/12 + 41*x**3/6 - 24*x**2. Let l be t(b). Which is bigger: l or 18?
18
Suppose 0 = -c - c + 12. Let h = 736 + -731. Which is bigger: c or h?
c
Let h be 31975/(-25) + (-5 - 2). Is -1288 >= h?
False
Suppose 9*n + 5*n - 588 = 0. Suppose 430 = 47*r - n*r. Is 89 >= r?
True
Let c(w) = w**3 - 24*w**2 - 27*w + 16. Let a be c(25). Suppose 2*u = 5*u - 5*d + 111, 5*d = -3*u - 81. Let m = a - u. Does -12 = m?
False
Let u = -1699570/407 - -4176. Let k = u - 9/37. Is k > -3?
True
Let a = -7129 + 21385/3. Which is smaller: 50.72 or a?
a
Let d be 152/57 + (-29165)/10920. Do 1 and d have different values?
True
Let h = -32 - -32. Suppose h = 14*c - 10*c + 52. Let l be c*(-2 + 3)*1. Which is greater: -12 or l?
-12
Suppose 16*w + 12 = 10*w. Let n be (8/((-5)/(-5)))/w - -13. Which is bigger: n or 84/11?
n
Let f be (-7)/14 - (-3 - 1134/4). Is 279 <= f?
True
Suppose -8*p = -23*p + 15. Let i be (2 - -1)/(3/(-14)). Which is bigger: p or i?
p
Let b = 6.023 - 5.923. Is 6439 less than or equal to b?
False
Suppose 1103*l = 1248*l + 154860. Which is smaller: l or -1071?
-1071
Suppose -3*y - 33 = -s - 16, -2*s - 8 = y. Are s and 5/234 equal?
False
Let l = 119.738 + 0.262. Let v = l - 223. Is 1 less than v?
False
Suppose 4663 = 5*c + 2*a - 2862, -2*c - 2*