02*w**2 - 17*w + 2. Let d be z(12). Which is smaller: 85 or d?
85
Let t = 1097146865/9822 + -111703. Is 1 >= t?
True
Let d = -0.7908 + -2.2092. Is d >= 2/3245?
False
Suppose 3*n - 99 = -84. Suppose -3*p - r = 6 - 17, 3*p - n*r = 17. Suppose 15 = p*k + k - 4*l, 3*k = -l - 8. Which is smaller: -3/16 or k?
k
Let s = -64 - -65. Let u = 0.1016 + 1.8184. Is u smaller than s?
False
Let x(f) be the second derivative of -f**4/12 - 13*f**3/6 - 36*f**2 - 3*f + 13. Let h be x(-6). Is h < -28?
True
Let p(t) = -t**2 + 20*t - 15. Let v be p(18). Let q be 2 + (-7)/(28/8). Suppose 0 = -3*j, -v + q = 3*k - j. Which is bigger: -8 or k?
k
Let n = 0.09491 - -21.90509. Which is bigger: n or 1/75?
n
Let v = 1 + 3. Let a(p) = 7*p**2 - 82*p + 56. Let m be a(11). Let i be (3 + 1)*m/v. Are i and 5/8 non-equal?
True
Let h = 24 - 11. Suppose -3*k = -2*z - 16, -2*k - h = 3*z - 2. Which is bigger: -16/3 or z?
z
Suppose 300 = 4*d + 4*o, 2*d + o - 3*o - 150 = 0. Let g be 3 + (-10)/d*12. Suppose 2*i = -2 + 6. Is g not equal to i?
True
Let y be ((-33)/(-6)*-1)/(1/34). Let p = y - -178. Which is greater: p or -46/5?
p
Suppose 6*i + 39 = 15. Let p be i/(-8)*(-1 - 3). Which is greater: p or 150?
150
Let s = -7060/2383 + 424628508/655325. Let n = 645 - s. Is n at most as big as 1?
True
Let w be 121/(-33)*4*1773/(-6). Which is bigger: -2/7 or w?
w
Suppose 4*u - 3*l - 2*l + 29 = 0, -3*u - 13 = -2*l. Let p be ((-174)/203)/((-56)/u). Does p = 1?
False
Suppose 371 = -180*n - 5572 + 3. Suppose -4 + 12 = -4*v. Are n and v unequal?
True
Let v = -583 + 867. Suppose 15*k + v = -841. Which is smaller: k or 2?
k
Let t be 2/(-1) - (-1 + 2). Let f be (-1)/t + 110/(-6). Suppose 87*z + 1781 = 128. Which is smaller: z or f?
z
Let t = 414 + -925. Let n = t + 20955/41. Is -1 equal to n?
False
Let a = 1.54 + -73.54. Let k = -106 - a. Let g = k + 33.8. Is g at least as big as -32?
True
Let p = -628 - -657. Let z(n) = n**3 - 31*n**2 + 50*n - 37. Let r be z(p). Is 0 bigger than r?
True
Let p be (5376/17280)/((-12)/(-15)). Let h = 0 - -1. Which is greater: h or p?
h
Suppose -14*m + 8*m = -204. Suppose 3*h - m = -c, h = -4*c + 2*h + 123. Is 30 greater than c?
False
Suppose -491 = -5*i + g - 5*g, 0 = 3*i - 4*g - 301. Is 42 at most as big as i?
True
Let l(r) = -391*r**3 + 2*r**2 + 58*r - 116. Let s be l(2). Which is bigger: -0.3 or s?
-0.3
Suppose 0 = h - 4*i + 120, -4*i - 432 = -20*h + 25*h. Let c(q) = -92*q**2 + 1. Let l be c(1). Which is bigger: h or l?
l
Suppose -5*j - 43 = -2*h, -h + 3*h = -4*j - 2. Suppose -h*t + 15 = -4*t. Suppose 3*l - 2*k - t*k + 5 = 0, -4*k = 2*l - 4. Is -3 at least l?
False
Suppose 2*m - m = -5*x - 3023, 0 = -4*x - 5*m - 2410. Let y = -648 - x. Which is smaller: -39 or y?
y
Let j = -4.87 - -520.87. Let z = j + -517.3. Which is smaller: z or 14?
z
Let h be (-9)/(-12) - ((-34)/612)/(2/(-27)). Which is smaller: h or 24/221?
h
Let f = -230557/7 - -32937. Which is bigger: f or 35.69?
35.69
Let o = -1462427/265 + 27559/5. Is -8 at most as big as o?
True
Suppose -10*o - 18 = -78. Suppose 4*g - o*g + 86 = 0. Let c = 37 - g. Which is bigger: -2 or c?
-2
Let b(l) be the third derivative of -l**5/30 - l**3/6 + 36*l**2. Let z be b(-4). Let u be (z/10)/(44/20 - 2). Which is greater: -17 or u?
u
Let j = 4352 + -4348. Is 24 greater than or equal to j?
True
Let w = 2/173 + -1215/346. Let j be ((-4)/54 - (-427)/(-1647))/(0 - 2). Which is smaller: j or w?
w
Let a = 155 - 153. Suppose 0 = -a*s - 2*l - 1258, -3*l = 5*s - 8*s - 1917. Which is bigger: -633 or s?
-633
Let q be (-5679754055)/3836 + 1 - (-1)/4. Let x = q + 10362014/7. Let a = x - -356. Are a and 0 unequal?
True
Let l(k) = k**3 + 13*k**2 - 16*k - 26. Let i = 125 + -139. Let u be l(i). Let x be (1/(-22))/(11/u - 6). Which is greater: 2 or x?
2
Let x = 1 - 1. Suppose 63*q - 61*q + 2 = x. Let f = 41.9 - 45. Which is greater: f or q?
q
Let x = -0.93 + 1. Let p = -153.672 + 153.632. Which is smaller: p or x?
p
Suppose -11*h + 7*h - 116 = -2*g, -h = g - 64. Let k = -618 - -676. Is g less than k?
False
Let w be (1 - (2 + 37)) + 0. Let s = 50 - 50. Suppose i + 35 + 2 = s. Which is smaller: i or w?
w
Let t(n) = -5*n - 3. Let m be t(-6). Let d be (30/(-7))/5*(-1)/3. Which is smaller: d or m?
d
Suppose 0 = s - i + 7, -3*s + 2*i + 14 = 35. Let v(w) = 3*w**2 + 2*w + 0*w**3 - w**3 - 4*w + 0*w. Let p be v(3). Is s at most as big as p?
True
Let v = 2045 + -2833. Are -2360/3 and v equal?
False
Let k = 371879/105490 + -591/154. Let y = 12/137 - k. Are -1 and y equal?
False
Let x be (780/(-804) + 2 + -1)*(-63)/2226. Are -1 and x unequal?
True
Let v be 1*4 + (-13 - 4267/(-476)). Let d = 21 - 21. Which is greater: d or v?
d
Suppose -10 = 5*b, -3*b + 170 + 310 = 3*w. Suppose 2*z + 188 = -w. Let o = 2799/16 + z. Which is smaller: 1 or o?
o
Let l = -7693.4 + 7689. Is l smaller than -1?
True
Suppose -2*s - 12*m - 16 = -8*m, s - m + 2 = 0. Is s greater than or equal to 2/109?
False
Suppose -31676*c - 146624 = -31660*c. Which is bigger: c or -9163?
-9163
Suppose 3*c = 4*b - 127, -2*b + 2*c + 58 = -6. Suppose 3*u + 16 = b. Let f(a) = a**2 - 2*a + 3. Let m be f(u). Is 18 less than m?
False
Let j = 0.08 + -0.02. Let d = j - -29.94. Let m = d - 27. Is m not equal to -1?
True
Let c(g) = g**2 + 3*g - 1. Let t be c(-3). Let y be 44/(-6) + t/(-3). Suppose -3290 + 3362 = -9*p. Are y and p nonequal?
True
Let f = -128 - -139. Let t = f + -10. Let h = 1.02 - 1. Is h smaller than t?
True
Let m(q) = -q**3 + 6*q**2 - 4*q - 5. Let y be m(5). Let b = -47.02 - -43.781. Let u = -0.239 - b. Is y greater than or equal to u?
False
Let j(o) = o**3 + 4*o**2 + 80*o + 424. Let w be j(-5). Which is bigger: w or 8/569?
8/569
Let w = -75 - -121. Let c = -46 + w. Suppose 2*x + 23 = 5*z, x + 3*x + z - 9 = c. Which is bigger: 2/65 or x?
x
Let o = -1622365/4 - -403272. Let v(p) = p**3 + 2*p**2 + 2*p - 2308. Let s be v(0). Let j = o - s. Which is greater: j or -10?
-10
Suppose -191*b = -189*b - t - 1594, -2*b + 1606 = -3*t. Which is smaller: 791 or b?
791
Let i(j) = 7*j**2 + 57*j - 29. Let f be i(7). Which is bigger: 712 or f?
f
Let y = -135532048 - -3203706552075/23638. Let r = y + -20/223. Does 1 = r?
False
Let g = 108 - 2263/22. Are g and 6 nonequal?
True
Let i(t) = 42*t - 3468. Let h be i(69). Which is smaller: h or -574?
-574
Let g(v) = 133*v + 672. Let b be g(-5). Let c be ((-563)/48)/((-28)/60). Let x = c + -297/16. Is x at least b?
False
Let a = 6225.1 - 6225. Let p = -0.2018 - 0.0212. Is a greater than p?
True
Let g be 2 + 9*-9 + -2. Let d = 10471 - 10553. Is g at most as big as d?
False
Let o be (-73 - -46 - (-2 + 9))*-1. Suppose 4*n + 4*j - 12 = 0, -4*n + 3 = -j - 4*j. Suppose 6*g + n*v - 138 = 2*g, 2*v + 186 = 5*g. Is g less than o?
False
Let c(a) = 74*a + 12. Let u be c(1). Let k = 131 - u. Which is greater: 43 or k?
k
Let n = 38.152 - 39.6. Let s = n - 0.052. Let m = -5.5 + s. Is -5 at least m?
True
Suppose r + 4 = -2*h - 7, -27 = 2*r + 5*h. Is 1/9937 bigger than r?
True
Let a be ((-3 - -3) + 0)/(12/(-4)). Which is bigger: -51/659 or a?
a
Let p = 58655137/808 - 72593. Do -1 and p have different values?
True
Let q be (7/(-294))/((-5)/((-38885)/(-22))). Does 9 = q?
False
Let b be (437/(-57) - -6)*10704/(-28). Which is smaller: b or 638?
b
Suppose -4*k + 34 = 5*r, 3*r - 7 = 2*k + 9. Which is smaller: k or 2423?
k
Let o = -2041 + 2040. Is o at least as big as 11/215?
False
Let m = -1468.9 - -1532. Let k = 63 - m. Which is greater: 10 or k?
10
Let g = 181 - 165. Suppose -g + 14 = 2*r. Let l be (3 - 2)*(-1)/3. Which is bigger: r or l?
l
Let w = 9 - 32. Suppose 9*k + 1142 = -4537. Let b = -653 - k. Is w smaller than b?
True
Let d(g) = -g**3 + 75*g**2 - 148*g + 4. Let i be d(2). Is -1799 smaller than i?
True
Let z(n) = -2*n**3 + 98*n**2 + 4*n + 2. Let q be z(49). Do q and -10 have the same value?
False
Let i be (-1 + -35)*795/(-28620). Which is smaller: 1/27703 or i?
1/27703
Let a = -234.1 + 237. Let v = -2.6 + a. Which is smaller: v or -9.8?
-9.8
Let v = -1853 + 1851.96. Is v smaller than -19?
False
Let d be (-6 + 11)*40284/(-60). Does -3357 = d?
True
Let t(y) = -9*y + 7. Let l be t(-2). Suppose 7*b - 2*b = l. Let p be -31*(b/1 - 4). Is p at most as big as -32?
False
Let y(k) = k**3 + 7*k**2 + 9*k. Let u be y(-2). Suppose 14*c = -61 - 37. Let s be 15/(-75)*(0 + c). Are u and s unequal?
T