14*s = 11*s + 3. Let f be (-4)/(-15)*5*(-4 + s). Let m(n) = n + 5. Let b be m(f). Which is bigger: 1/6 or b?
b
Let h be 65*(-8)/840 + 2/6. Suppose -2*a = a. Is h < a?
True
Let s(f) = -f**3 + 6*f**2 + 5*f + 14. Let j be s(7). Suppose j = 5*c - 23*c - 3582. Which is bigger: -200 or c?
c
Suppose 6*f - 5*f = 30. Let z(i) = -i**2 - 34*i + 418. Let u be z(-43). Which is smaller: f or u?
f
Let g = -12480.718 - -12491. Let x = g - 10.4. Let o = 0.382 - x. Is -8 greater than or equal to o?
False
Let b(z) = -220*z**3 + 13*z**2 - 12*z - 9. Let w be b(2). Which is bigger: -1740 or w?
-1740
Suppose 0 = 4*m - 9*m - 2*a + 5815, -3*m + 3493 = 2*a. Which is bigger: -1 or m?
m
Let p = -8006 + 23414/3. Which is smaller: -202 or p?
-202
Suppose -5*f - 23 = -8, 6 = 3*t - 3*f. Let v be -1 - 58/(t + -1). Let s be (160/3)/(-20)*(-702)/72. Is v at least s?
True
Let t be (-6)/(-9) + (-5750)/8598. Let g = 75982/15763 + t. Is g < 5?
True
Suppose 5*y + 18 = -x + 6*y, x - 18 = -5*y. Suppose -40 = -0*h + 5*h. Which is smaller: x or h?
x
Suppose -p + 4*y = -20, -25 = -4*p + 76*y - 71*y. Which is smaller: 2/1917 or p?
p
Suppose -j - 4*u + 51 = 14, -3*j + 4*u + 143 = 0. Let x be j/(-4)*(5 + -1). Let k be (6/(-20))/(3 + (-243)/x). Is -1 not equal to k?
True
Suppose 0 = 2*j - 3*g - 664, -j + 5*g + 0*g = -318. Let v = j + -327. Is v at least 12?
False
Let b be 0 + 4 - 2/1. Let v be (-2)/(1 - (1 - b)). Let n be 3303/(-270) + 13 + 3/(-6). Which is bigger: v or n?
n
Let g be (34/3)/(606/(-2727)). Let l(n) = -6*n**3 - n**2 + n + 1. Let o be l(2). Which is smaller: o or g?
g
Suppose -3*h + 6*h = 54. Let n = 0.01252 - 0.41252. Is h >= n?
True
Suppose -12051 = -4*x - 5*r, -2*x + 1591 = 5*r - 4422. Is x bigger than 3021?
False
Let k = -58.9 + -0.1. Let w = k + 104. Let s = w + -44.8. Is -30 greater than s?
False
Suppose -5*z + 11 = -24. Suppose 16 = 11*r - z*r. Let x be (-15)/(-2)*r/48. Are x and 2 nonequal?
True
Suppose -6*v = -4*i - 9*v + 9, i - 7*v = -21. Which is bigger: i or -3/202?
i
Let s = -2616 + 2475. Is s greater than or equal to -149?
True
Suppose 3*f - 3 = -8*c + 10*c, -15 = -3*f. Let w = 12 - 26. Let v = c + w. Is -9 < v?
True
Let k = 11 + -7. Let q be (0/112)/(2/(-2)). Suppose q = 8*p - k*p - 52. Is p < 13?
False
Let m = 4467 - 71503/16. Let q be ((-18)/54)/((-1)/(-6)). Is m greater than or equal to q?
True
Let w = 2.24 + -0.34. Let i = w - 2. Let l = -361081 - -361081. Is i greater than l?
False
Let d(f) = f**3 + 7*f**2 + f - 1. Let l be d(-5). Let j be l*4/64 + (-1 - -1). Which is greater: 1/3 or j?
j
Let p be -1 - 6 - (-18)/4*16236/22. Are p and 9943/3 equal?
False
Let k be ((-60)/25)/4 - 26/(-10). Suppose 3*z - 9 = -4*g, k*g = -4*z - 2*g + 12. Suppose -z*d - 54 = 144. Is -65 greater than or equal to d?
True
Let b be (6/(-15))/((-2264976)/945). Which is greater: b or -1?
b
Let d = -91 - -453/5. Let j = 2/24069 + -192662/1323795. Is j equal to d?
False
Let l be (-5)/15*-9 - (3 + 0). Suppose 5*f + 28 + 2 = l. Let g be -1 + -1 - (f - (-3 - 1)). Which is greater: -2/19 or g?
g
Let d be ((-155)/10)/(-31)*(-13 - 1) - -82. Is 44 at most as big as d?
True
Let r be (-6)/(-39) - (-1876)/(-26). Let q = 81 + r. Suppose -q*d + 4 - 67 = 0. Which is smaller: d or -6?
d
Let q(b) = b**3 + 7*b**2 + 9*b - 7. Let h be q(-7). Suppose -17*l + 8*l = 621. Which is smaller: l or h?
h
Let n = 0.4843 - 1.4843. Which is smaller: n or 11449?
n
Let s = 0.12 + -0.05. Suppose 0 = 10*w - 232 + 712. Let z be 4/3 + (-10)/w*-4. Are s and z equal?
False
Let p(b) = 17*b - 39. Let r be p(10). Let x = 51 - r. Let f = -404/5 - x. Does -2 = f?
False
Let o = 124 + -157. Let a = 26 + o. Is 6 greater than or equal to a?
True
Suppose -2*q - o - 127 = -838, 3*q + 7*o = 1050. Is 1 at most q?
True
Let u = -4073 + 4056. Which is smaller: u or -46?
-46
Let f be ((-372)/279)/((-2)/(-15)). Let y(w) = w**2 - 2*w - 121. Let b be y(f). Which is greater: -1/686 or b?
-1/686
Suppose 3*c + 4*o = o, c - 3*o + 8 = 0. Let z be (-2 - 8/c)/((-8)/(-96)). Let x be 24*1 + 0/(-5). Is z != x?
False
Let i(y) = 6*y**2 + 32 + 2*y**3 - 3*y**3 + 2*y - 36. Let j be i(6). Suppose 4 = -4*r + 3*d, 2*r + 0*d - j = 4*d. Is r at most -4?
True
Let o = 9591 - 9592. Let x = 1/1840731 - 655302715/4563172149. Let p = 6/67 + x. Is o greater than or equal to p?
False
Let x = -4778 - -71638/15. Suppose -21*y + 2003 = 2066. Is y at least x?
False
Let l be ((147/(-9))/(-7))/(442/(-78)). Suppose 0 = -2*d - 10, 0*j - 18 = 2*j + 4*d. Is j <= l?
False
Let g be 0/2 - 0/(-2). Suppose -5*x = -g*x - 190. Suppose 3*b - l - 38 = 2*b, 3*b + l = 114. Is x greater than or equal to b?
True
Let j(b) = -19*b + 13. Let c be j(8). Let o = 138 + c. Is o at least -76?
True
Let k(o) = -o**2 - 2*o + 4. Let v be k(-2). Suppose -4*i + 9*i - 8 = 2*a, -v*a - 4*i = 16. Let c = -19 - a. Which is bigger: c or -14?
-14
Suppose 5352*i - 2665 = 5365*i. Which is smaller: i or -202?
i
Suppose -9*i + 8839 + 2465 = 0. Which is smaller: 1258 or i?
i
Let h = 2020 - 2017. Is h >= 728?
False
Let f = 0 + -2. Let j = -1668.07 + 1668. Which is smaller: f or j?
f
Let v = 78 + -72. Let x be (3 - 15/9)/((-10)/v). Let t = -7 + 6.9. Is t less than or equal to x?
False
Let s = -610 + 840. Let z = -226 + s. Which is greater: z or 0.4?
z
Let j(o) = -21*o**2 + 55*o - 22. Let k be j(8). Which is smaller: k or -925?
k
Let j = 348.49 + -348.59191. Which is greater: 2 or j?
2
Let f = -14709 + 58835/4. Let s = 0.82 + -0.55. Is s less than or equal to f?
False
Let u(p) = 2*p**2 - 15*p - 8. Let z be u(8). Suppose s - 4*f + 27 = 0, 4*f - 41 = -z*s + 3*s. Let j be 2/8*(-2 - 25). Which is smaller: s or j?
s
Let r be (146/(-292))/((-26547)/(-6)). Is r at least 1?
False
Let d = 1515.114 - 1515.7. Which is smaller: 4 or d?
d
Suppose -11*h - 40*h = -0*h. Which is greater: h or -1/1927?
h
Let z(w) = 89*w + 2397. Let u be z(-27). Which is smaller: -1159 or u?
-1159
Let s be 1060/1325*5/806. Is s smaller than -1?
False
Let f = -0.06 - 1.94. Let s be 12*(-18*(-91)/336)/(3/(-4)). Which is bigger: f or s?
f
Suppose -3*o - 20 = -0*o + d, -16 = 3*o + 2*d. Let m be (3 + 1)*30/o. Let c be (-5)/m*((-120)/(-33) + -2). Is c < 0?
False
Let q(d) be the first derivative of -d**3/3 - 2*d**2 + d - 11. Let f be q(-4). Let n = 1435/649 - 50/59. Do f and n have the same value?
False
Let v(h) = 50*h + 5399. Let g be v(-108). Is 1/13801 less than or equal to g?
False
Suppose -10*b - 11 = -21. Suppose 3*x + 2*f + 32 = -314, -f + 340 = -3*x. Let u be x/(-95)*5/2. Is b smaller than u?
True
Let m(h) = -7*h**3 - h - 10. Let p be m(-3). Suppose -20*r = -6*r + p. Which is greater: -9 or r?
-9
Let l = -444/5 + 4834/55. Let r(x) = -8*x + 74. Let w be r(9). Let n(u) = -4*u + 6. Let j be n(w). Which is greater: l or j?
l
Suppose 5*y - 3534 = 3*d, y - 14*d - 704 = -12*d. Is 710 <= y?
False
Suppose 0 = -3*w - 2*h + 56, -3*w + 15 = -2*h - 61. Suppose 0 = -s + w + 9. Which is smaller: s or 29?
29
Let o be ((-57)/1482)/(5/(-2) - (-3 - -1)). Is o bigger than 43?
False
Suppose 0*d - 3*d = -3*a + 54, 0 = -4*a - d + 47. Let v be 0 + 1 - (-1 + a + -5). Let c be ((-40)/(-26))/((-4)/v). Is c less than 3?
True
Let v be 4 - ((-24)/228 + 1148/(-646)). Is 6 != v?
True
Let x = -0.12 + 0.12. Let a = 256.39 + -342.39. Which is bigger: a or x?
x
Suppose 2*z + 24 = -10. Let g(l) = -37*l - 110. Let p be g(-4). Suppose -15*m + 345 = -p*m. Which is bigger: z or m?
m
Let d = 3834 + -823. Is d <= -1/2?
False
Suppose 0 = -3*k - 39605 + 39704. Suppose 2*s - 14 = -d + 48, -4 = d. Is k equal to s?
True
Let g = 80 + -80. Suppose g = 8*m - 6659 + 19555. Let r be ((-78)/m)/((-12)/2). Which is smaller: -1 or r?
-1
Let x = 6.858 - 6.948. Let u = 2 - 2.21. Is x > u?
True
Suppose -n - 2*f = 3*f - 1030, 3*n + 3*f - 3102 = 0. Are 1033 and n unequal?
True
Let n be 90*(-1 + (-12)/(-9)). Let u be n + -28 + (-11)/2*6. Which is smaller: 2 or u?
u
Let x = -49 - -50. Let p = x - 7/5. Let z = 23 + -7. Do z and p have the same value?
False
Let w = 103898665/2664 + -39001. Which is smaller: w or 1?
w
Suppose 2*i = -2*u - 6, -i = 2*u + 4 - 1. Suppose u = s + z, -5*z - 32 = -3*s - 0*z. Let l be (-4)/44*-46 + -4. Is s > l?
True
Let y = -1353 + 600. Is -755 bigger than y?
False
Let y = -2139 + 2557. Which is bigger: 416 or y?
y
Let h = -126629/30 - -4221. Are -6/47 and h nonequal?
True
Let t = 6422 - 642