t x(w) = -3*h(w) - q(w). Let m be x(-10). Let o be (-16)/(-60)*51 - m. Is o bigger than 17?
False
Let x = 0.1159 - 3.1159. Are 715 and x nonequal?
True
Let a be -11 + 7 + -2 + -2. Let h be -3*(a/5)/(-8). Is h <= 2/7?
True
Let k(f) = 5*f - 20. Let a be k(0). Suppose -4*h + z = 43, -5*h - 2*z - 3*z - 60 = 0. Let u be (h/(-55))/((-6)/a). Are -0.4 and u equal?
False
Let y(h) = -3*h + 13. Let z be y(6). Let c(k) = k**3 + 6*k**2 + 12*k + 12. Let f be c(z). Is -25 less than or equal to f?
True
Let m be ((-975)/(-105) + -9)*(-21)/(-9714). Is m smaller than 2?
True
Suppose 5*k + 202 - 232 = 0, 0 = -s + 3*k + 41. Is s greater than or equal to 0.02?
True
Let n = -61 + 60.02. Let b = n + -8.12. Let k = -2.9 - b. Are 2/5 and k non-equal?
True
Let t(o) = 5*o**3 + 7*o**2 - 8*o + 5. Let q be t(4). Suppose 4*h = 7*h + q. Let j be h/(-98) - (-2 + 7/2). Is 1 equal to j?
False
Let z = -219 + 358. Let c = -83 - -223. Is c at least z?
True
Let s = -24452 - -24452. Are 7140 and s nonequal?
True
Let f = -16559/7 + 2366. Which is smaller: -43 or f?
-43
Suppose -18*x + 19*x - 3 = 0. Suppose -2*g - x*g + 35 = 0. Suppose 2*h + 10 = 0, -2*h - 5 = y - 1. Is y > g?
False
Let y be (-2)/(-7) + 118872/(-42). Let r = y + 195260/69. Is r at most as big as 0?
True
Let x = 15860 - 9102. Which is smaller: x or -1?
-1
Suppose -116*d + 35*d = 100*d - 362. Is d less than 170/91?
False
Let l(k) = k**2 + 108*k + 2916. Let h be l(-54). Which is smaller: 10/6417 or h?
h
Let b = 11417/29 - 13748/29. Is b greater than or equal to -80?
False
Let a(n) = n**3 + 5*n**2 - 3. Let k(t) = -2*t**2 - 33*t + 13. Let p be k(-17). Let x be a(p). Suppose o - x = 5*c, -2*c - c - 12 = -2*o. Is o <= 17/4?
True
Let v(t) = -t**3 + 3*t**2 + 13*t - 36. Let f be v(4). Suppose f*d = -13*d - 1677. Which is smaller: -130 or d?
-130
Suppose -3*k + 144 = k. Let g be 8/k + 44/(-36). Let r be ((-30)/(-9))/(g + (-34)/(-30)). Which is smaller: r or 24?
24
Let c(h) be the third derivative of h**6/120 - h**5/12 + h**4/12 - 7*h**3/3 + 3*h**2 + 7*h. Let r be c(5). Which is bigger: r or -38/9?
r
Let w be ((-20)/(-9))/(-2) - (-723)/6507. Which is smaller: w or 39/89?
w
Suppose -u - 2*u - 2*w = -5, 3*w - 6 = -4*u. Suppose 0 = -2*i - u*i + 5*f + 90, 4*f = 2*i - 34. Suppose 14 - i = -o. Which is greater: 14/3 or o?
o
Let t(p) = -10*p**3 - p**2 - 2*p - 1. Let i be t(3). Suppose 13*k + 35*k + 3*k + 14586 = 0. Are k and i nonequal?
False
Let j = 355 + -358. Suppose -5*w + 30 = -4*w. Let n be 64/w + 2 + -4. Which is bigger: j or n?
n
Let b = 174/11 + -729/44. Do b and 74 have the same value?
False
Let x be (-5 - (-91)/14) + (-66)/(-4). Let h be ((-16)/3)/(x/54). Is h at most as big as -182/11?
False
Let b be (-15)/((-35)/7) - (-2)/1. Suppose 321 = 5*d - 4*y, -3*y + b*y + 313 = 5*d. Let z = d - 72. Is z < -9?
True
Let d = -2951 + 678731/230. Which is bigger: -1/2 or d?
d
Let d = 103.7 + -103.72. Let h = -3.9 + 2.1. Are d and h non-equal?
True
Let i = -2574 - -2573. Which is smaller: i or -1/570?
i
Suppose -21*y + 20*y - 1 = 0. Suppose 88 - 368 = -14*a. Suppose -5*c = -170 + a. Is y < c?
True
Let v = 10 - 14. Let c = -4.06 - v. Let f = 2449 + -2447. Is f less than or equal to c?
False
Suppose 104*l - 115*l + 35 = -2*j, 4*j - 3*l = -13. Let c = 3/13 - 628/2665. Which is smaller: j or c?
j
Let t = -1453 + 3107. Let s = t + -335764/203. Let h be (-14)/(-18) - 2/(-9). Is h smaller than s?
False
Suppose 4*h = -66 - 26. Let u be ((-3)/(-26 + 32))/((1/(-1))/(-44)). Is h bigger than u?
False
Let x be -1*(17 + (-560)/96) - -7. Let d be (-2)/(-3)*(-8 + 2). Are x and d non-equal?
True
Let d = 29.35 - -125.65. Which is smaller: 4 or d?
4
Suppose 3*k - 6*k = 4*c + 3, c = k + 1. Let m be 5 + (-19410)/(42/(-7)). Let u be -2 - (5 + m/(-464)). Which is smaller: u or c?
u
Let k = -54139/77 - -7297/11. Let n = -1107/7 + 825/7. Let x = k - n. Which is bigger: 2/7 or x?
x
Suppose -z - 2*d = -259, 6*z = -4*d - 341 + 1919. Is z less than 794/3?
False
Let s = -24 + 29. Suppose 2*x + 14 = -2*p, s*x + 3*p + 1 = -28. Let n be x/6*(-8)/24. Is n bigger than 30?
False
Let s be -10 + 940/95 + 13766/456 + 2. Is 31 bigger than s?
False
Suppose 2*o + 10 = -3*o. Suppose -19*y = -643 - 1523. Let n be 117/y*o/3 - -1. Is 0 greater than n?
False
Let m be (56/(-7) - -9)/((-7)/4186). Which is smaller: m or -4?
m
Let p be (3/(-3) - (-11)/(-22))*(-2)/(-3). Which is smaller: 7/436 or p?
p
Let r = -920 - 506. Which is smaller: -1427 or r?
-1427
Let l be (55/10)/((-6)/(-192)). Suppose 17*y = 15*y - 2*c - l, -324 = 4*y - 3*c. Do -82 and y have the same value?
False
Let o(n) = n**2 + 25*n + 257. Let t be o(-22). Is 569/3 at most t?
True
Suppose 120*m = 108*m - 48. Let a be 12/28 - (-2)/m. Let j = 2 - 1. Which is smaller: a or j?
a
Let u(x) = -x**2 + 6*x + 1. Let r be u(7). Let z be 6 - ((-24)/(-7) + 9/(-21)). Suppose -l + 2 = -j, -5*j + z*l - 10 = -l. Which is greater: j or r?
j
Suppose 4 = v + 2. Let w be -53 - -53 - (-3598)/60. Let c = w - 343/6. Which is smaller: v or c?
v
Suppose 4*x - 5*n = 35, -47*x - 2*n = -43*x + 14. Suppose r = 89 + 58. Which is bigger: r or x?
r
Let f be (3 - 4/2)/(-3). Let z = 1714.6 - 1929.62. Let y = z + 215. Is y at most f?
False
Let o(z) = -z**2 - 5*z - 6. Let y be o(-2). Let a = 11 + 99. Suppose 0*l = -5*n + 5*l + a, 4*n - 2*l - 80 = y. Is n >= 18?
True
Let o(a) = -6*a**3 + 17*a**2 + 46*a - 145. Let b be o(8). Which is smaller: -1763 or b?
-1763
Let h = 188 + -60. Suppose 0 = 8*d + 72 + h. Let i(c) = -4*c - 1. Let j be i(6). Is d greater than j?
False
Let p = -177.4 - -181. Let u = 3 - 6. Let q = p + u. Which is bigger: q or 0.3?
q
Let k = 3824 + -2267. Is -2/7 > k?
False
Let w(h) = -h**3 - 8*h**2 - 5*h - 10. Let x be w(-7). Suppose d = 4*s - 49, d = -s + 64 - 83. Which is bigger: d or x?
x
Let l(g) = -295*g - 13. Let t be l(-6). Let q = t - 592108/337. Let z = -683/3033 + q. Is z > -1/2?
True
Let j = -40.96 - 0.04. Let m = 124 + j. Which is bigger: m or 0.1?
m
Let d(t) = -5*t**3 - 10*t**2 - 41*t - 52. Let i(l) = 3*l**3 + 5*l**2 + 21*l + 27. Let z(m) = 4*d(m) + 7*i(m). Let c be z(8). Which is greater: c or 35?
c
Let u be (2/(-16))/((-21)/868). Suppose -13355*y + 66 = -13344*y. Which is bigger: u or y?
y
Suppose 2*c - 5*t = -9, 0 = -21*c + 20*c - 2*t + 9. Suppose 3*d = -4*q + 7, d + 2 = -0*d + c*q. Is -1/99 < d?
True
Let m be (-56)/8 - 352650/(-50370). Which is greater: m or 1?
1
Let o = -857078 - -218554543/255. Let u be (70/(-595))/(6/70). Let b = o - u. Which is smaller: 1 or b?
b
Suppose 3*o = -62*o. Is 2/911 greater than o?
True
Let c be (-1)/(-103)*(-1 - 788/(-796)). Let d = c + 1169617/13200068. Let p = d + -1/644. Which is bigger: p or -1?
p
Let m(b) = -b**3 + 5*b**2 + 6*b - 5. Let u be m(6). Let t = 7 + u. Let j(r) = 3*r**3 + 35*r**2 - 14*r - 21. Let w be j(-12). Which is smaller: w or t?
t
Let l(n) = -n**3 - 13*n**2 - 3*n - 16. Let a be l(-13). Let d = a - 18. Suppose 0 = -0*q + 3*q - 2*i - 11, -d*i - 5 = -3*q. Which is bigger: q or 6?
6
Let g = -53505 + 373780/7. Let l = -108 - g. Let o = 15 + -16. Is o > l?
False
Let u = -32 - -64. Suppose 33 = 4*i - 5*j - 33, -u = -2*i + 2*j. Suppose -5*x = -371 - i. Are x and 77 unequal?
False
Let a be ((-2345)/(-777) - 3)*-3. Let y = 0.1 - 1.3. Let d = y - -2.2. Which is greater: d or a?
d
Let u = 538.3 - 333.3. Is u at most as big as 3/2?
False
Let t = 115 - -22. Which is smaller: t or 135?
135
Let t = 660 + -621. Suppose -556 = t*x - 41*x. Are 276 and x non-equal?
True
Let w(m) = -m**3 - 6*m**2 - 6*m + 1. Let s(k) = -k**3 + 4*k**2 - k - 1. Let j be s(4). Let z be w(j). Are 10 and z nonequal?
True
Let x = -35396.9 - -35397. Which is bigger: -4327 or x?
x
Let i = 461 + -454. Let d(l) = -l**3 + 4*l**2 + 7*l + 35. Let z be d(i). Which is greater: z or -64?
z
Suppose 24*n - 118 = 602. Let z be -5 + (6/n)/((-12)/(-308)). Is z bigger than -5?
True
Suppose -114*u - 93*u + 135966 = -238*u. Is -4386 > u?
False
Let n = 378 + -144. Suppose b + 842 = 5*i + 1012, -3*i = -3*b + 666. Which is bigger: n or b?
b
Suppose 4*p - 5*g = -36 - 94, -5*p + 3*g = 156. Let v = 20 + p. Let q = v - -9. Which is smaller: q or -1.4?
-1.4
Suppose 0 = 14*p - 12*p - 4. Let v be ((-120)/(-32)*2)/(p/(-4)). Which is smaller: -16 or v?
-16
Let g(d) = 2*d - 11. Let z be g(5). Suppose -6*k + 18 = -15*k. Let w be (0 + (-2)/250)/(k/(-5)).