-902/4747. Suppose -7*c = -2*c + 5. Is c smaller than m?
True
Let h = 19.1 + -21. Let m = 0.049 - -28.951. Let o = m - 28. Which is smaller: o or h?
h
Let d(h) = 7*h + 178. Let y be d(-37). Is y less than or equal to -80?
True
Let g = 0.63 + -0.03. Let y = 0.116 - -5.784. Let x = -6 + y. Is x <= g?
True
Let o = -17472/5 + 3472. Which is greater: o or -21?
-21
Let d = 5 - 3. Is 3/193 greater than d?
False
Let x = 867 - 881. Which is smaller: x or -127/10?
x
Let f = 10462/23 + -455. Does 1 = f?
False
Let b be (-4)/(1/(488/(-2))). Let y = 6856/7 - b. Let o = y - 4. Which is smaller: o or 1/2?
o
Suppose -10 = h - 4. Let w = 736.3 + -881. Let d = w - -145. Which is smaller: d or h?
h
Let o be ((-16)/(-2478))/(7550/(-1092000405)). Let b = -1512/8909 + o. Let t = b + 934. Are 1 and t nonequal?
True
Let p(b) = 2*b**3 - 1. Let f be p(1). Suppose c = i - 0 + f, -5*i - 37 = 3*c. Let o(k) = k + 1. Let r be o(-7). Is r >= c?
False
Let d = -28093/11 + 2550. Is d != -4?
True
Let w be 0/6 - (3 - 29/9). Let l = 86.2 - 86. Is l > w?
False
Let v = 15394 + -16025156/1041. Is v bigger than 1?
False
Let j = -3.9956 - 0.0144. Let g = 0.69 - j. Let y = g - 5. Which is bigger: -2/3 or y?
y
Let h = 466 + -464. Is h != 21/20?
True
Let c = 211 - 210.6. Let n = -94/3 + 31. Is c bigger than n?
True
Let y = 0.1 + -0.11. Let q = y + -1.19. Let r = q - -1.5. Which is smaller: r or -0.1?
-0.1
Let p be (3/36)/((-18)/162). Let u(w) = w + 1. Let t be u(3). Suppose -5*o = -4*k - 13, 5*k + 0*o = t*o - 14. Which is bigger: k or p?
p
Let m be 3 - 1 - (5 + -6). Let p = m + -1. Suppose -6*g + p*g - 40 = 0. Which is bigger: -9 or g?
-9
Let g be 6/(-330)*-5 - (-6)/176. Is g smaller than -59?
False
Let u = -1253/74549 + -4/587. Which is greater: u or 0?
0
Let v be (1 - 6)*1184/80. Is v bigger than -70?
False
Let w be -6 - (0 - 9110/1515). Which is bigger: w or -1?
w
Let p = 1 + -0.6. Let k = -0.1 + 0. Is p less than or equal to k?
False
Let o(w) = -2*w - 3*w - w + 7*w. Let y be o(-2). Let q be 4 + -18 - (-5 - y). Is -10 less than or equal to q?
False
Let h be (-622)/9*(-3)/(-8). Let t = 80/3 + h. Is t at least 1?
False
Let r(u) = -u**3 + 11*u**2 + 12*u + 2. Let c be (1 - 2)/(7/77). Let m = 1 - c. Let p be r(m). Is -1 at most p?
True
Let x(v) = -2*v**2 + 3*v - 5. Let c be x(0). Let z be ((-1)/(-3))/(3/(-33)). Which is smaller: c or z?
c
Let g(n) = 4*n**2 - 4*n + 1. Let x = -7 - -10. Let o be g(x). Let s = o - 76/3. Which is bigger: s or -1?
s
Let d(u) = -11*u - 1. Let w be d(-1). Let j(p) = p**2 - 9*p - 9. Let o be j(w). Let b = -201 + 5428/27. Does o = b?
False
Let p be 642/9 - (-8)/12. Suppose 6*z = 36 - p. Is -5 at least z?
True
Let i = -795 + 992. Which is greater: i or -1?
i
Let s(n) = -2*n**2 - 11*n - 2. Let i be s(1). Is i != -13?
True
Let z(y) = y**3 + 25*y**2 + 45*y - 19. Let c be z(-23). Which is bigger: 25/9 or c?
c
Suppose -311 = 6*s + 13. Which is smaller: s or -56?
-56
Let p = 0.145 - 0.145. Which is smaller: -153 or p?
-153
Let s(n) = -3*n**2 - 18*n - 5. Let p(r) = -r**2. Let g(h) = 2*p(h) - s(h). Let m be g(-14). Let z = m + 359/7. Which is greater: -3 or z?
z
Suppose 2*g + a = -3*a - 20, 4*a + 20 = 5*g. Suppose g = -3*u - 1 + 4. Is 5/12 < u?
True
Suppose -3*h = -5*t - 553, 2*t - h + 111 = t. Let u = -184 - t. Is -75 != u?
True
Let d = -18 + 18. Suppose d = 4*i + 4*v + 4, 5*i - 3*v - 19 = -0*i. Which is smaller: i or 5/2?
i
Let h(b) = 3*b**2 + 36*b - 7. Let m be h(-13). Let o = -162/5 + m. Which is smaller: -2/9 or o?
o
Suppose 656*l - 664*l = -7296. Which is smaller: l or 913?
l
Suppose -1 = 2*k - 3. Suppose -92 = -4*j + 76. Let b be (-15)/j + 2/4. Which is smaller: k or b?
b
Suppose 69*a - 23 = 46. Is a > 2/231?
True
Suppose h = 5*p + 2085, h - 831 = 2*p - 0*h. Which is greater: -417 or p?
-417
Let f(s) = -s**3 + 5*s**2 + 5*s + 7. Suppose -3*z = -12 - 6. Let p be f(z). Let q = 23 + -49/2. Which is bigger: p or q?
p
Let g = 7870 - 55266/7. Let o = g - -25. Is 0 at least as big as o?
True
Let a = 0.1 + 26.9. Let o = -19 + a. Let f = -8 + o. Which is greater: -1 or f?
f
Let z(s) = 20*s + 24. Let k be z(-2). Are k and 3 nonequal?
True
Let x = -11 + 10.7. Let u = x + 1.3. Let v = -14.01 + 14. Which is bigger: v or u?
u
Let r = 0.041 + 32.959. Let m = 33.1 - r. Let h = 0.25 + 11.75. Which is bigger: h or m?
h
Let v = -54 - -23. Let h = -19 - v. Let y = -16 - -28. Is h less than y?
False
Let t = -24.2 - -23.2. Is 13 greater than or equal to t?
True
Let i = 14 - 18. Let l be 1/i + (-92)/(-496) + 0. Do l and 1 have different values?
True
Let p = 20 + -36. Let o = 1 + p. Is -11 at least as big as o?
True
Let p be (5 + -3)*(-2 - (-22)/4). Let m(s) = -s**3 - 4*s**2 - 2*s - 5. Let v be m(-4). Is v bigger than p?
False
Let a be (47/(-94))/(22/4). Let c = 13 - 11. Which is bigger: c or a?
c
Let d(c) be the first derivative of c**4/24 + 17*c**3/6 - 9*c**2/2 + 7. Let k(u) be the second derivative of d(u). Let b be k(-19). Which is bigger: b or -3?
b
Suppose 2*o - 7 - 1 = 0. Let j be 798/(-945) - o/(-10). Is 1 <= j?
False
Let o = -13 - -33. Let y be ((-2)/(-5))/(1*1/50). Is o equal to y?
True
Let l = 2 - -2. Suppose 3 = -l*i - 1. Let y be 12/10 + -1 + (-2 - -2). Which is smaller: y or i?
i
Let v(t) = t - 40. Let r be v(5). Let u be r/525*(-3)/((-18)/8). Are u and 0.1 unequal?
True
Let k = 0.0787 - 2.0787. Let d = -8 - -11. Let y be (d/9)/((-1)/(-9)). Which is greater: k or y?
y
Let x = 2657/15 - 177. Suppose 3*c = b + 13, -2*b - c = 1 - 10. Suppose 0 = -5*g + 2*i - 7, -b*g + 3*i - i - 4 = 0. Is g less than x?
True
Suppose 0 = -5*k - p + 402, 0 = -6*k + 3*k + 2*p + 236. Let u be k/(-8)*(-1)/(-3). Let o be ((-32)/12)/((-5)/((-15)/2)). Is u at least as big as o?
True
Let p = -1970 - -1150. Which is smaller: p or 1/3?
p
Let p(n) = 2*n**2 + n + 2. Let s be p(-1). Let z be (-1 + 7)/((-9)/(-6)) - s. Which is smaller: 2/15 or z?
2/15
Let q be 1/3 + (-5)/15. Let b be (-1 - q)*(-28 - -18). Is b greater than or equal to 9?
True
Suppose 7*l + 4 = -3. Suppose 2*w = -0*w, 4*s = 5*w - 20. Let r be ((1/s)/(-1))/1. Which is bigger: r or l?
r
Let o = 932/5247 + 2/477. Let i(u) = -u**3 - 1. Let z be i(-1). Is o less than z?
False
Suppose -1 - 4 = -5*a + 5*x, 2*x - 28 = -4*a. Suppose 2*m = -u - 7, 0*m + 41 = -a*u - 4*m. Suppose 2*s + 2*s = -32. Are u and s unequal?
True
Let u = -536 - -556. Are 36 and u nonequal?
True
Let h = 3.889 + 0.111. Is h less than 0.14?
False
Suppose 0 = -4*o - 4*f + 5*f - 12, -2*o + 4*f = 6. Let w be (o/(-4))/(-3) + 0. Which is smaller: w or 11?
w
Let c(b) = 1 - 5 + 0 - b. Let q(w) = -w**3 - 7*w**2 + 8*w - 3. Let h be q(-8). Let s be c(h). Is s != -1?
False
Let m = 2/1127 + -116099/10143. Which is bigger: m or -11?
-11
Let c = 33 - 48. Let b = -16 - c. Which is smaller: -17 or b?
-17
Suppose -3*n = -4*n + 20. Suppose 2*s + n = 6*s. Is s != 0?
True
Let p(c) = c**2 + 7*c + 3. Let r be p(-6). Let b be 2/3 + (-22)/6. Are r and b unequal?
False
Suppose y + 9 = 5*n, y - 1 - 2 = n. Let m be 9/y + (-51)/18. Which is greater: -2 or m?
m
Suppose 70 = -27*p + 20*p. Is p less than -47/5?
True
Let b = 2 + 0. Let a be 0/((-1)/(1/b)). Let u = 45/2 - 231/10. Is a > u?
True
Let r = -2/1365 + 7171/236145. Which is smaller: r or 1?
r
Suppose m - 4 = -k - 0*k, -4*m + 21 = 5*k. Let q(z) = z**2 + 10*z + 9. Suppose 5*l = n - 47, 2*l - 8 = n - 28. Let x be q(l). Does m = x?
False
Suppose -4*r + 0*n + n = 33, 2*r = -5*n - 11. Let p(i) = i + 10. Let g be p(-5). Suppose -6*o + g*o + 3*a - 8 = 0, -2*o - 5*a - 5 = 0. Are r and o equal?
False
Suppose q = 3*x - 4*x + 3, 3*q + 23 = 5*x. Let h be ((-6)/9)/(4/(-15)). Which is smaller: x or h?
h
Let j = 39 + -40. Let a be 38*(-2)/82 - j. Which is greater: a or 1/2?
1/2
Let s = -32/111 + 3164/9435. Which is smaller: s or 0?
0
Let v = 38 - 92. Let q = -222 - -167. Which is smaller: q or v?
q
Let m = 4 - -3. Let y = -4/581 - -13379/2324. Is y greater than or equal to m?
False
Let h = 2.9 + -3. Let a = 142 - 80. Let l = a - 61.5. Do h and l have different values?
True
Suppose 6*s = 7 - 31. Let g be (s/12)/1*-1. Which is smaller: 0.7 or g?
g
Suppose 2*j + 36 = -8. Let g = -24 - j. Let d be ((-2)/(-4))/((-3)/4). Is d smaller than g?
False
Let g = 416 - 414. Let i = -0.6 + 1. Is g at least i?
True
Let n = -0.4 - -16.4. Let u = 193 + -208.6. Let b = u + n. Which is bigge