38*1/(-2). Let t be 111 + 2/(h/21). Are t and 108 non-equal?
False
Let s(f) be the first derivative of 8*f**3/3 - 4*f**2 - 10*f + 14. Suppose 5*p - 33 = 16*p. Let z be s(p). Is 86 > z?
False
Let x = -148/77 - -18/11. Suppose -81 = -2*a + 3*t, 6*t - 2*t = 5*a - 199. Let g be 258/4*(-26)/a. Which is smaller: x or g?
g
Let d = 2.881 - 1.881. Which is bigger: d or 9/5?
9/5
Let v = 1217/10 - 10517/85. Do -1 and v have the same value?
False
Let g = 123 - 153. Let d be (-20)/g + 8/6. Suppose -d*u - 23 = -81. Is u less than 27?
False
Suppose -5*v - 75 = 3*k - 1128, 2*v = -3*k + 423. Are 210 and v unequal?
False
Suppose -137 = 5*g + 2*s, -2*s - 4 = -2. Let b(p) = 2*p + 14. Let i be b(-20). Is g >= i?
False
Suppose t - 13 = 3*u, t - 5 = 2*t + 3*u. Suppose 0*c + c = t*c. Let b = 25 + -199/8. Which is smaller: b or c?
c
Let s be 7 + (-4)/(-8)*-2. Let x be (s/(-9))/(-1 - -2). Let m = 269 - 273. Is x < m?
False
Let f = 1866/41 + 47723/82. Which is bigger: f or 628?
628
Let u = 1498 + -687. Is u greater than or equal to 812?
False
Let a = -6612 - -6611.9738. Which is bigger: 0.01 or a?
0.01
Let y be -170 - 1 - (6 - 12 - -3). Let k be -6 - (y/15 - -5). Do k and 4 have the same value?
False
Let n be (-256)/35 - (711/90 + -8) - -7. Is n bigger than 1/182?
False
Let x = 378 + -213. Let z = -187240/11 + 3213957/187. Let p = z - x. Which is bigger: p or -1?
p
Suppose 11*p - 1883 - 1538 = 0. Let s = p + -304. Is 14 less than or equal to s?
False
Let g be ((-63)/(-6)*(-18)/54)/(20/(-12184)). Is g at least 2133?
False
Let o(b) = -2*b**2 - 25*b + 65. Let v be o(-21). Is v less than or equal to -283?
True
Suppose 26 = 2*c + 14. Let h be 2/c + 32/(-24). Let p be 4 - -3 - (-70)/(-9). Is p at most h?
False
Let q = 45.987 - -0.013. Let h = 54.3 - q. Let i = 8.6 - h. Is i > -0.3?
True
Let u(l) = -22 - 9*l + 5*l + 10 - 17*l + 7. Let f be 10/(-6) + (-1)/3. Let r be u(f). Which is bigger: 36 or r?
r
Suppose -4*d = 2*t + 2121 - 195, -3*t = 5*d + 2405. Is d at least -485?
True
Let g(f) = f**2 - 4*f - 9. Let l be g(6). Let o be (-196)/(-8) + l/6 - 4. Which is bigger: 3 or o?
o
Suppose -3*u - 2*q = -4 - 9, -5*u = -3*q + 10. Let x = -89 - -44. Let m = -134/3 - x. Which is greater: u or m?
u
Suppose 2*h - 44 = -34. Suppose 2*m = -3*a + 2 - 7, h*m + a = -32. Which is smaller: -8 or m?
-8
Suppose 94*x + 1933 = 44*x + 51*x. Which is greater: x or 1932?
x
Let r = 33 + -28. Let y(h) be the second derivative of 2*h**3/3 - 8*h**2 + 9*h. Let i be y(r). Is -2 at most as big as i?
True
Let t be (2390/(-10)*(-1)/2)/(-1). Let s = 119 + t. Is -2 > s?
False
Let y = 7695 + -7696. Which is greater: y or 1/20850?
1/20850
Let l be 7 - (-5)/(-5)*(446 - 1). Is 0.6 greater than or equal to l?
True
Let o(w) = w**3 + 8*w**2 - 72*w - 574. Let i be o(-8). Let z = 0 - -2. Does i = z?
True
Let a = -2933 - -3068. Is 50 equal to a?
False
Let t = 0.03236 + 0.01764. Is t not equal to -5/2?
True
Let x(u) = u**3 - 5*u**2 - u + 7. Suppose -3*h + 0 = -15. Let b be x(h). Let q be ((-36)/15)/(b/10). Which is smaller: q or -13?
-13
Let i be -14*(40/(-14) + (-3 - -5)) + -2. Is 288 at most i?
False
Let j be (-8)/(-6) - (-14)/3. Let u be j*(-6)/8*(-4)/11. Which is bigger: 3 or u?
3
Let q = 34.078 + -34. Let m = 1945.922 + -1949. Let y = m + q. Is y less than -2?
True
Let s = 517.7 + -69.7. Is 0 greater than s?
False
Let f = 99 + -2869/29. Suppose y = -4*y - 3*r - 9, 3*r = -y - 9. Which is greater: f or y?
f
Let l be ((-1)/(-2)*5)/(1/566). Let h = -97637/69 + l. Which is smaller: 0 or h?
h
Suppose 90*i + 31*i = 54*i. Which is bigger: i or -1/5123?
i
Let o = -13184 - -13185. Which is bigger: 2/9417 or o?
o
Let d(l) = l**3 + 5*l**2 + l + 5. Let w(n) = -3*n + 40. Let o be w(15). Let r be d(o). Suppose -7*f - 65 + 16 = r. Which is smaller: f or -10?
-10
Let m = -191 + 190. Let c(z) = 6*z**3 + z**2 + 4*z + 4. Let v be c(m). Let q = -17 - -9. Which is smaller: v or q?
q
Suppose -561*q + 559*q + 457 = 5*r, 2*q - 466 = -2*r. Is -2 at least q?
False
Suppose -3*m + 31 = 4. Let h(r) be the second derivative of -r**5/20 + 3*r**4/4 - 2*r**3/3 + 14*r**2 - r - 144. Let l be h(m). Which is bigger: -6 or l?
-6
Let b be 9/(-4) + -1 + 1. Let j = -621 + 1208. Let c = 585 - j. Which is smaller: b or c?
b
Suppose -4*w - 260 + 268 = 0. Let l be w/(-5)*(-50)/(-1570). Let b(a) = -a - 6. Let y be b(-6). Is l at most y?
True
Let w(m) = m**3 - 5*m**2 - m - 4. Let r be w(5). Let v be (-13)/(-2) + r/6. Suppose -5*o - j + 5*j - 7 = 0, -v*j + 14 = -o. Is 0.8 smaller than o?
True
Let k(h) = 14*h - 1. Let d be k(4). Let y(b) = -9*b**2 - 11*b + 16. Let l be y(-2). Suppose 5*z - d = -5*g, -l*z + 23 = 4*g - 5*z. Which is bigger: g or 9?
9
Let i = -1544.9 + 1408.9. Are i and 8/3 nonequal?
True
Let w be ((-28)/(-6) + -4)/((-12)/(-90)). Suppose -4*p + p - 3*j = 12, 3*p - 20 = w*j. Which is bigger: p or 77?
77
Let y be (3/(-8) - (-114589)/305176)*(0 + -4). Which is greater: y or -1?
y
Let t = 257 + -581. Let d be 142/(-90) + (-9)/(t/(-8)). Let j(c) = -2*c**2 + 2*c - 2. Let z be j(0). Which is bigger: z or d?
d
Suppose -11 = -h - 2. Let s be 9*1 + (h - 7). Suppose 6*o + 3*i = o - s, -o = -3*i - 5. Which is smaller: -1/65 or o?
o
Let p(f) = -2*f**3 + 2*f**2 - 3*f - 5. Let q be p(-11). Let y be q/(-1752) + (-50)/(-30). Is y smaller than -1?
False
Suppose 23*x + 11*x = -34. Suppose -2*h + k + 9210 = 2*h, -h + 2*k + 2306 = 0. Let r = h + -39146/17. Is r greater than x?
True
Let q be (-131)/(-1965) - (-24)/(-358). Is q less than -1?
False
Suppose 106*b + 13680 = 124*b. Let k be 1088/1614 - (b/60 + -12). Let d be (-6)/(-4)*4/(-6). Which is greater: d or k?
k
Let y = 2872 - 5313. Which is smaller: -2443 or y?
-2443
Let x(c) = -7*c. Let q be x(1). Let t be -15*(2 - 32)/5. Let n = -93 + t. Is q > n?
False
Let n = 0.7237 + 0.2863. Is 3/5 bigger than n?
False
Let m(k) = k**3 - 8*k**2 - 10*k + 10. Let d be m(9). Suppose 3*i + 11 = -10. Let c be 11/d*i + -3. Which is smaller: c or -79?
c
Let o = 935.63 + -111.53. Let f = 824 - o. Is 434 <= f?
False
Let p = -24 - -23.95. Let z = -14787 + 14775. Which is smaller: z or p?
z
Suppose 5*l + 1 = -4. Let s = -186 - -192. Suppose 0 = 8*g - 14*g - s. Is g at least as big as l?
True
Let z = -10 - -4. Let x be 0 + 3*(-2)/837. Let q = x - 8081/1395. Does q = z?
False
Suppose g = 3*s - 38, -g + s - 31 = 11. Let w = 1 + -46. Which is smaller: w or g?
w
Let z = 13 + -1. Let v = -57/5 + z. Let m(h) = 14367*h - 28732. Let s be m(2). Which is greater: s or v?
s
Let g = 13160 + -10296. Which is smaller: g or 1?
1
Let y = 233.75 - 229.65. Which is greater: -33 or y?
y
Let g be 66*-35*(-154)/165. Is 2156 at most g?
True
Let a be (5 - 1)*(-1)/2. Let l be ((-1)/a)/((-2)/4). Let p be (462/121)/(-7)*((-102)/18 + 7). Is p greater than or equal to l?
True
Let y = 3203 + -3395. Suppose 0*z + 4*z - 2*t + 766 = 0, -2*z - 5*t = 377. Which is smaller: z or y?
y
Let m = 4.638 + -0.038. Let r = -20.5 - -16. Let x = m + r. Which is greater: 0.4 or x?
0.4
Let q(f) = 41*f**2 - 85*f**2 - 51 - 42*f + 43*f**2. Let x be q(-36). Which is bigger: 2 or x?
x
Let b = 104300/3 + -35423. Which is smaller: b or -655?
b
Suppose 0 = y + s + 52, y = 6*y - 3*s + 308. Is y greater than or equal to -61?
True
Let a(l) = l**3 - 2*l**2 + 4*l - 2. Let w(m) = 90 - 38 - 39 - m. Let n be w(12). Let j be a(n). Which is greater: j or 7/11?
j
Let t = 11291 + -11435. Which is smaller: t or -10?
t
Suppose -3*g = -177 + 534. Let m = -7816 - -7934. Let d = g + m. Is 1/83 smaller than d?
False
Suppose -46 = -2*i + 30. Suppose -4*w - 3*t + 2 = -23, i = 5*w - 3*t. Let r = -5/134 - -2293/402. Which is smaller: w or r?
r
Let y = 11/2345 + 149717/77385. Let i = -14/11 + y. Let t = 0.0887 + -0.2887. Which is smaller: t or i?
t
Suppose -2*m + 13 = -3*p - 0*p, -2*m + 4*p + 12 = 0. Suppose m*c - 16 + 0 = 0. Let h be 0 + 1/(1/c + 0). Is h > 2?
False
Let h = -1864 - -2909. Let t = 2/328767 - 2061917047/1972602. Let p = h + t. Which is bigger: p or 0?
0
Let p be (27 + -55)*((-39)/(-2))/3. Let w be 16/56*1 + 45/p. Let y = 0 - 0. Which is bigger: y or w?
w
Suppose -41*k = 130 - 89. Which is smaller: -0.26778 or k?
k
Suppose t - 437 = 2*d, t = -4*d + 431 - 1302. Let w = 186 + d. Suppose 14 = 4*y + 150. Are y and w non-equal?
True
Let f = 7 + -3. Suppose -3*m + 29 = 4*k - 9*k, 3*k = -4*m. Let n be 1/(f/2)*0/