 d(m) = 44*m**2 - 21119*m - 488. Let r be d(480). Which is greater: r or w?
r
Let p = 3650 - 3648. Let x = -119.6 + 129.67. Let l = x - 10. Is p less than or equal to l?
False
Let f(a) = -a**2 - 5*a + 2. Let q be f(-5). Let d be -1*(q + (-54)/28). Let r = -6055 - -6055. Which is bigger: r or d?
r
Suppose -1974 = 32*n + 6378. Let d = n - -288. Let y be -3 - 13/(-5) - -27. Is y not equal to d?
True
Suppose 3*q - 5*q = -938. Suppose -21*u = -39*u + u + 7956. Are u and q equal?
False
Let m(f) = f**3 + 6*f**2 + 7*f + 4. Suppose -3*k - 2*s - 9 = s, -4*k = s + 12. Let l be m(k). Which is smaller: 1 or l?
1
Let o be ((-291)/(-14) + (-15)/(-5))*144/12. Is o > 284?
True
Let w = 2135 - 2304. Which is bigger: -158 or w?
-158
Let p(i) = -i - 14. Let v be p(-11). Let n be -1 - v - (-1 - -1). Let w(y) = -3*y**3 + 2*y**2 + 2*y - 4. Let t be w(n). Is t smaller than -16?
False
Let p be 972/(-364) - -5 - 2. Let o = p + 218/1547. Is 0 <= o?
True
Let x = -8406 + -2987. Let v = 11443.89 + x. Let p = -51 + v. Which is smaller: -0.1 or p?
p
Suppose n = 3*q + 2 + 6, -3*n + 2*q + 10 = 0. Suppose -3*z = -5*g + 75, -3*z + 7 = n*g - 2. Let v be (-124)/(-10) - 6/15. Is g smaller than v?
False
Let v be (614616/10989)/(-8) - (-4)/18. Let l = 221/33 + v. Is l smaller than -1?
False
Let i be 1735/(-1041)*(-2)/6. Which is bigger: -66 or i?
i
Let h = 0.014 + -3.744. Let p = 3.83 + h. Do -28/13 and p have the same value?
False
Let w = -40.9292 - 0.1108. Let y = 42 + w. Let j = y - 0.9. Which is smaller: j or 0.2?
j
Suppose 4*m + 52*i - 34388 = 53*i, -5*m = i - 43003. Which is smaller: 8597 or m?
8597
Suppose 0 = 6*v - 2*v - 8. Let b(k) = 2*k**2 - 4*k - 40. Let z be b(0). Let s = 52 + z. Which is bigger: s or v?
s
Suppose -202*g + 223 + 118 = -467. Let k = -144 - -158.15. Let l = k + -14. Is l at least g?
False
Suppose 5*b + 300 = 345. Let l(a) = -12*a - 10. Let t be l(-6). Suppose -4*h - 18 = -2*i - t, -h = i - 8. Which is greater: b or h?
h
Let l = 5788/15 + -386. Suppose -g + 932 = -0*g - 2*j, -4*g = -5*j - 3716. Let h be 5 + (g/392)/(2/(-4)). Are h and l unequal?
True
Let h(w) = -w**3 - 19*w**2 - 17*w - 9. Let c be h(-11). Is c bigger than -2366/3?
False
Let p(q) = -q**3 - 5*q**2 - q - 37. Let u be p(0). Let h = -0.0258 - -2.0358. Let i = -0.01 + h. Which is bigger: i or u?
i
Let n = 199 - 185. Suppose -8*z = -5*z + n*z. Which is greater: -4/285 or z?
z
Suppose j + 3*s - 2*s - 33 = 0, 159 = 5*j + 3*s. Let b = 500 + -495. Suppose -r = 4*v + 6 + 18, b*v + j = r. Which is smaller: -9/2 or v?
v
Suppose u + 7 = 2*k, -3*u + 2*k = 3*k + 56. Let g be (-2)/2 - (-7 - 14). Let a = g + u. Is a at least 3?
True
Let b = -1.6 - -5.26. Let n = b + -3.06. Which is bigger: n or 21?
21
Let v = 146 - 122. Let g be (-124)/(-7) + (-12)/(-42). Which is smaller: v or g?
g
Let n = -23086 + 23085. Which is smaller: n or 8935?
n
Let y be (-21 + 20)*186209/13. Let n = 14331 + y. Is n at least as big as 6?
True
Let a = -12574 - -13488. Is a smaller than 919?
True
Suppose -4*q = -3*i + 389, 3*q = -4*i - 435 + 112. Which is smaller: q or -98?
q
Let p = -539 - -576.7. Let r = p + -37.859. Are r and -1 unequal?
True
Suppose 4523 = -136*i + 138*i - h, -5*i + 4*h = -11312. Which is smaller: 7 or i?
7
Let f(s) = -3*s**3 - 200*s**2 - 131*s + 106. Let y be f(-66). Suppose -q = -3*q + 80. Is q != y?
False
Suppose 96 = 5*r + 3*x, -4*r + 9*r - 88 = x. Let h be (r + -3)/(-5) - -4. Let q = -1.2 - -2.3. Which is smaller: q or h?
h
Let s = 270 - 266. Suppose -s*t = -4*f + 20, -3*t - 4*f + 11 = 2*t. Is 12/29 greater than t?
True
Let u be ((-20)/(-12) + -4)*12/(-1952) + 0. Which is bigger: u or -1?
u
Let i(n) = 16 - 11 - 12*n - 85. Let j be i(-4). Is -1 >= j?
True
Suppose -11*d + 3 = 14. Let a be 15/(-6) + 2 + (-146)/(-316). Let o = 32/2923 + a. Is d < o?
True
Let h = 7228 + -7228. Let y = -58 - -34. Let i = y - -73/3. Is h less than i?
True
Let u be ((-5)/(-10))/((-2)/(-24)). Suppose 11*l = u*l - 5. Let q = -9327/10256 - 18/641. Are q and l unequal?
True
Suppose 3*o - 3*x + 909 = -2*x, 0 = -o - x - 307. Let u be 2/19 + (-880)/o. Suppose 0 = 3*n - u*g, -7*n + 12 = -2*n - g. Is 3 less than or equal to n?
True
Let l be 3 - ((-3 + 3)/(-2))/1. Let f be ((-1)/1)/(12/((-84)/77)). Is l <= f?
False
Suppose 821*c - 8 = 813*c. Is -0.09237 at most c?
True
Suppose -1065 = -34*l + 975. Which is smaller: 59 or l?
59
Let n(u) = -114*u - 227. Let a be n(-2). Which is smaller: a or 6/149?
6/149
Let p = -7373/3 - -2437. Let z be (25/35 + (-2)/(-7))/(28/(-560)). Is p bigger than z?
False
Let m = -2047 - -2044. Which is smaller: 1203 or m?
m
Let z = -338 + 340. Let b(u) = -126*u**2 - 4*u + 4. Let q be b(z). Is q greater than or equal to -507?
False
Let d = 94/335 - 8437/14070. Let w be 4 + -6 + (-61)/(-30). Let x = w + d. Which is greater: 2 or x?
2
Let x(u) be the first derivative of -5*u**2/2 - 14*u + 36. Let n be x(-3). Is 14/111 at most as big as n?
True
Suppose -7*t + 30 = -2*t. Let q(v) = -v**3 + 7*v**2 - 4*v - 8. Let o be q(t). Suppose 34 = o*n - 2*n - 4*j, -36 = -3*n + j. Is 14 equal to n?
False
Suppose 4*b - 5*p = -6*p - 422, -322 = 3*b - 2*p. Is b at most -527/5?
True
Let u = -120 - -194. Let c = -45 + u. Let m = -65 + 66. Which is bigger: c or m?
c
Let r = 328/9 - 3590/99. Is 13/178 at most r?
True
Let m be (-15)/(-12) - (-3)/(-12). Let o be (-2)/14 + (-8)/(-56) + 236. Let c be 1*-4 + 932/o. Is m at most as big as c?
False
Let l be (-1)/4 + 2646/(-168). Let m be (15/(-3) + 5)/(l/(-4)). Is m greater than or equal to -31?
True
Suppose 48 = 7*b - 8. Let l = 1791 + -1786. Is b > l?
True
Suppose 0 = -3*s + 5*j - 88, -320*s + 315*s - 2*j = 64. Which is greater: s or 43?
43
Let v(t) = 5 + t**2 + t - 2 + 58*t**3 + t**2 - 57*t**3. Let q be v(-2). Let d be q/(5 + -3 - 1). Is d bigger than -1/6?
True
Let p be 53000/(-300)*(-6)/(-4). Which is greater: -266 or p?
p
Let d = 2768 + -2718. Which is smaller: 40 or d?
40
Let a = -18589 - -99042193/5328. Is a at least 0?
True
Let f = 55 - 54. Let i = f + -211. Is -208 equal to i?
False
Let w = -98627/44 - -9041/4. Is 19 at most w?
False
Let o = -909 + 909. Let s be o/(8*9/24). Is 1/18 greater than s?
True
Suppose -f - 10 = -n, 4*f - 5*n - 11 + 50 = 0. Is 63/2 at most f?
False
Let k = -11035 - -8198.4. Let m = k - -2854.581. Let d = m + 0.019. Is d bigger than 2/3?
True
Let c be -5 - 4*(-385)/(-28). Let a be (15/c)/(3/6). Let o = 0.04 + 1.46. Which is smaller: o or a?
a
Suppose 0 = 20*u + 12*u - 128. Suppose 5 = -4*j - u*q - 11, -j = -3*q + 4. Is 0 less than or equal to j?
False
Let f be -4*9/(-6)*1. Suppose 0*d + f*d + 294 = 0. Let t = d + 47. Is -3 equal to t?
False
Let k = 265.8 + -11.4. Let n = k + -254. Is -4/23 <= n?
True
Let u = -2624 + 1602. Let x be 2 - (6/(-3) - 4095/u). Which is smaller: -1 or x?
-1
Let u = 45642756/587 - 77756. Is u greater than -1?
True
Let q be (-4)/(-26)*266/(-28). Let x = -27441 - -27441. Which is smaller: q or x?
q
Let d(p) = -p + 2. Let a be d(8). Let i be ((-60)/(-8))/(-5) + a/4. Let h be i/15 + 76/(-70). Is h at most as big as 0?
True
Let s = 14693 + -14502. Which is greater: s or 203?
203
Let d = -0.15 + -78.85. Let g = 12729 - 12816. Let b = d - g. Is -6/7 <= b?
True
Let w = 0.02 + -0.05. Suppose -22 = 2*m - 2*i - 50, -3*m + 72 = 3*i. Let b(p) = -2*p**2 + 47*p - 170. Let x be b(m). Which is smaller: w or x?
w
Let j(t) = -30*t**3 + 7*t**2 + 4*t - 27. Let m(g) = 7*g**3 - 2*g**2 - g + 7. Let x(n) = -2*j(n) - 9*m(n). Let b be x(-3). Is b less than 105?
False
Suppose -h = -5*a - 407, 0 = -8*h + 6*h + 4. Let w be -3 + (-57)/a*3. Are 0 and w non-equal?
True
Let i(z) = 80*z + 719. Let r be i(-9). Does 4/651 = r?
False
Let v be (-2)/((-4)/(-250))*(280/(-25) - -2). Is v > -0.4?
True
Suppose 4*o + 2*z = 42, 1 + 17 = 2*o - 2*z. Let y be (93/1410)/((-42)/(-5944)). Let a = y + -2/1645. Are o and a non-equal?
True
Let g(i) = i**3 - i**2 + 7*i + 25. Let s be g(-5). Suppose -80*f + 483 = -83*f. Which is greater: s or f?
s
Let c = -72/2069 - 15613375/39311. Let r = -397 - c. Suppose 4*n - 16 = -4*j - 4, 5*n - 11 = -j. Which is smaller: r or j?
r
Let h = -12317.845 + 12317. Which is smaller: h or -5?
-5
Suppose 3*u - 16 = 7*u. Let w be (18/u)/(42/12). Suppose 3*v = -5*z + 3, -9*z + 3*v - 3 = -8*z. Which is greater: z or w?
z
Let h(o) = -o**2 + 4*o + 47. Let n = 192 + -197. Let