 the third derivative of -s**5/60 + 7*s**4/24 + 2*s**2. Let v be p(d). Which is smaller: 1 or v?
v
Let s be 1/4 + (6 - 8). Are s and -1 unequal?
True
Let a = -6 - 8. Which is greater: -12 or a?
-12
Suppose 2*p + 3*j - 15 = 0, 0 = -5*p + 2*j + 2 - 12. Let d be (-171)/(-30)*(-5)/2. Let g = d - -407/28. Which is greater: g or p?
g
Let a(g) = g**2 - 132*g + 132*g. Let x be a(0). Which is bigger: x or -5/11?
x
Let o be 1/(-3) + 10/(-6). Let b be o/7 - (-6)/21. Let d = -0.2 - -1.2. Which is greater: d or b?
d
Suppose 4*f + 0 = 3*k - 4, -10 = f - 3*k. Let v = f + -1. Let l = -33 - -98/3. Which is smaller: v or l?
l
Let w(u) = u**2 - 8*u - 3. Let o be w(8). Which is smaller: o or -4?
-4
Let c = -14/61 + 389/366. Is c at most 1?
True
Suppose 9*q - 14 = -86. Is -1 at least as big as q?
True
Let p = 7.1 - 7. Which is smaller: p or -2?
-2
Let j = -11.9 + 12. Let c = 16 + -15.97. Which is smaller: j or c?
c
Let b = -97 - -683/7. Let x = -43 + 43. Is x < b?
True
Suppose 0*a + 3*a = -2*o + 2, o = -a + 2. Suppose -3*c - c = o. Which is smaller: 1/5 or c?
c
Let z be 3*4/9*-3. Let q(g) = g**3 + 6*g**2 + g. Let j be q(-6). Let m(x) = x**2 + 6*x - 3. Let c be m(j). Which is smaller: c or z?
z
Let t = -46 + 46.22. Which is smaller: 0 or t?
0
Let g be 1*(-3 - -1) - 1. Let w be -10*2/(-8)*(-8)/10. Do g and w have different values?
True
Suppose 0*l - l + 2 = 0. Suppose 2*z + 4*k - 20 = 0, -2*z = -l*k - 2*k + 20. Which is smaller: 3 or z?
z
Let w = 5.4 - 6. Let z = -19 + 20. Is w at least z?
False
Let o be (0/(-1 + 2))/(-2). Let n be 15/1*(-2)/5. Let f be n/(-30)*6/(-2). Is o at most as big as f?
False
Let r be -14 + 1 - (4 + 0). Do r and -18 have the same value?
False
Suppose 15 = 5*t, -5*o + 18 = -t + 2*t. Suppose 4*u - 4*x + 8 = 0, 2*u = 3*u - 3*x + 10. Which is smaller: u or o?
u
Let m = 10.01 + -10. Is m at least 0?
True
Let l = 6 - -6. Suppose -x - l = -3*x. Which is smaller: 5 or x?
5
Let w(n) = -2*n - 22. Let p be w(-11). Is p less than -5/14?
False
Let u(g) = -5*g - 9. Let p be u(-12). Let l be (-1 + p/(-15))*5. Is -22 >= l?
True
Let x be -9*((-50)/915)/5. Which is smaller: 0 or x?
0
Let f = -809/112 - -51/7. Which is smaller: -1 or f?
-1
Let w(o) = o**2 + o. Let p be w(0). Let v = p - 3. Let k = 40 + -43. Is v greater than k?
False
Let w(t) = -t**2 + 3*t - 3. Let s be w(4). Let g be s/4 - (-4)/(-16). Let i(l) = -l - 3. Let h be i(g). Is h <= -2/11?
True
Suppose -4*s = -17 - 3. Let f = 6 - s. Is -1 >= f?
False
Let g = -51/13 - -522/143. Suppose 2*l - 23 - 7 = 0. Suppose -f - 3*m + 13 = 0, l = 3*f - 8*f + 5*m. Does g = f?
False
Let m(z) = z + 8. Let y be m(-7). Let p be (-3 + 2/y)/5. Is -1 at most as big as p?
True
Let s be -2 + -73 + 3 + 1. Is -71 equal to s?
True
Suppose 0 = 2*u - 4 + 8. Let w = u - -3. Let z be -2 + (26/8 - w). Is z bigger than 0?
True
Let s(r) = r**3 - 2*r**2 + r. Let y be s(2). Let w = 0 + y. Suppose 3*n - 20 = -w*n. Which is smaller: n or 0.1?
0.1
Let d be 3*(-2 - (1 + -1)). Let c = d + 13. Suppose -5*y + 50 = 5*p, -4*y = -6*p + 5*p. Which is bigger: p or c?
p
Let r(i) = 4*i + 1. Let o be r(1). Which is smaller: o or 4?
4
Let k be 18/99 + ((-1930)/(-308))/(-5). Is 0 equal to k?
False
Let z(u) = -u**3 + 5 - 2 + 4*u**2 + 4*u + 0*u**3. Let g be z(5). Let m be 5/g*(-8)/10. Is m greater than 2?
False
Let m(j) be the third derivative of -j**4/24 + 5*j**3/6 + 3*j**2. Let a be m(6). Let b be (-2)/7 + -1 - a. Are -1 and b unequal?
True
Suppose 2*h = -y - h - 3, y = -2*h - 5. Let x be y/6*-4*1. Let a be x/(-11)*2/6. Which is smaller: 0 or a?
a
Suppose -2*y = -2*d - 4, -2*d = -2*y + 2*d. Suppose y*i = 5*i. Which is bigger: i or 2/9?
2/9
Let w = -351 - -2463/7. Which is greater: 0 or w?
w
Let z = -4 + 4. Which is smaller: 11 or z?
z
Let m = -1/24 - -7/24. Let v = -5/12 + m. Which is bigger: v or -1?
v
Let j = -67 - -67.8. Is 1/6 bigger than j?
False
Let g be ((-1 + 2)/(-2))/(11/88). Suppose 0*t + 27 = -2*t + 5*d, -5*d + 9 = t. Is g at most t?
False
Let t = -2804/5 - -559. Is -3 equal to t?
False
Suppose 3*r - 3*y = -21, -r + 0*r + 1 = 3*y. Let b = 8 + r. Is 5 less than or equal to b?
False
Let w = 1.25 - 1.3. Let l = -4.05 + 4. Let b = l - w. Which is greater: b or 1?
1
Let u = 0.5 + 0.5. Let j = u + -1.3. Let m = -1.3 - j. Which is smaller: m or 2/5?
m
Let m be 36/16*8/14. Are 0 and m nonequal?
True
Let q = -9 - -3. Let k(m) = -m**2 + 4*m + 7. Let f be k(6). Which is bigger: f or q?
f
Suppose 0 = -5*r - 3*s + 416, -2*r + 5*r - 4*s = 267. Are r and 85 unequal?
False
Suppose 0 = -44*o + 52*o + 8. Is -1/5 < o?
False
Let n = 15 - 19. Is -4 >= n?
True
Let j = 8 + -15. Let n(y) = y**3 + 6*y**2 - 8*y - 4. Let z be n(j). Suppose z*w - 14 = -2*l, l - 3*w + 2 = -0*l. Which is greater: l or 3?
l
Let i = 0.05 + 3.95. Let z = i + 0. Let q = -1.19 - -1.09. Is z <= q?
False
Let q be 3 + 12/(12/(-4)). Are -8/5 and q unequal?
True
Let a(y) = -2*y - 9. Let n be a(-6). Suppose 5*j - 4 = 4*s, 0 = -4*s + n*j - 2 - 2. Let t(k) = 7*k + 12. Let w be t(-2). Which is smaller: s or w?
w
Suppose 2*x - 12 = -2. Suppose -3*s = -x*s. Suppose s = 4*w - 0*w + 8. Is -2 at least w?
True
Let x be (3/(-12))/((-1)/12). Suppose x = 26*r - 23*r. Is r at least -2/11?
True
Suppose 6 - 4 = -i. Let v be (-2)/(i + (-20)/(-8)). Suppose 0 = 5*o - 2*h + 28, -3*o + 5*h = -0*h + 32. Do o and v have the same value?
True
Suppose 6*z + 6*z = -1128. Is -94 smaller than z?
False
Let v = 4 + 3. Let p be (-9)/(-7) - 2/v. Are 1/9 and p equal?
False
Let v = -7 - -12. Suppose -p - 22 = -v*p - 2*s, 3*p - 16 = -s. Let c(u) = u - 5. Let x be c(p). Is x > 0?
False
Let o(f) = -f**3 - 3*f**2 + 4. Suppose -3*h = d, -1 = 2*d + 4*h + 1. Let t be o(d). Suppose 4*y = 4*g - 3*g - 11, -3*g + 1 = -t*y. Which is smaller: g or -3?
g
Suppose -4*u + 6*u - 4 = 0. Suppose -3*k + u*k - 4 = 0. Are -6 and k nonequal?
True
Suppose 2*i = -2*i, -3*w = i - 3. Which is smaller: w or -1/6?
-1/6
Let t(m) = -m - 8. Let y be t(-10). Is y at least as big as 13?
False
Let x = 1085 - 1081.105. Let n = x + 0.005. Let h = 4 - n. Which is greater: h or 2/11?
2/11
Let r = -22 + 22. Which is smaller: -6/7 or r?
-6/7
Let a be 6/15 - 6/40. Suppose -4*r + 5*r = 3, -k - 5*r + 14 = 0. Is k < a?
True
Let t = -42 + 28. Let u = 13 + t. Is -6/11 <= u?
False
Let n = -67/4 - -73/4. Is n less than or equal to 2?
True
Let u = 0.27 + 0.41. Let i = 0.08 - u. Let z = i + 0.5. Is z >= 2?
False
Let w = 5 - 9. Which is bigger: -5 or w?
w
Let f = -4.02 - -4. Let d = 0.08 - f. Do -7 and d have the same value?
False
Suppose 4*k - 5*k - 9 = 0. Is k bigger than -28/3?
True
Let k = -1297/5 - -260. Suppose -l + 6*l = 10. Is l < k?
False
Let v be 8568/(-3564) + (-4)/(-18). Is -2/5 not equal to v?
True
Let d be 3/(-1*3) - -7. Let b be (0 - (d - 2)) + 2. Let a be 2/b - (-28)/24. Which is bigger: a or -1?
a
Suppose -3*x + 3 = -3. Suppose -5*u = -3*v - x, -5*u - 3*v + 7 = -v. Is -2/15 at most as big as u?
True
Let r = -0.12 + -8.88. Let n = -9.2 - r. Is n <= -0.2?
True
Let p(t) = -2*t**2 + 2*t + 2. Suppose 0*w + 6 = -2*w, -3*n - 5*w = 9. Let j be p(n). Which is smaller: j or 0.2?
j
Let z = 42 - 41. Which is smaller: z or -2/77?
-2/77
Let p be (-6)/10 - (-4)/(-10). Let c = p - -2. Which is smaller: 3 or c?
c
Let u = 2.6 + -2.7. Which is smaller: u or 2/9?
u
Let g(s) be the second derivative of s**4/12 - 4*s**3/3 + s**2/2 - 3*s. Let m be g(8). Let i = 1 + 2. Do m and i have the same value?
False
Let u be ((-16)/(-8))/(-1 - (-5)/7). Which is bigger: -8 or u?
u
Let r = 7 + -33/5. Which is greater: 8 or r?
8
Let h be (4 - (0 - -2))/(6 - 127). Do 0 and h have the same value?
False
Let j be (-10)/(-6) - (1 + 0). Let d be 18/(-5) + 4 - (-4)/(-10). Is d equal to j?
False
Let m(z) = -z + 6. Suppose -5*l + d = -22, d = 2*l + 4*d - 19. Let r be m(l). Let u be -1*(2/7)/(-1). Is u at most r?
True
Let v be 22/8 - 1/(-4). Let r be v/(-6) - (-1)/6. Which is smaller: r or 0.1?
r
Let p be 2 - (10 + -4 + -4). Let n = 1 - p. Which is smaller: 2 or n?
n
Let i = -10.04 + 10. Is 1 greater than i?
True
Let m = 45 - 60. Which is smaller: -17 or m?
-17
Suppose 3 = 3*g - 2*n, 1 + 0 = g + 4*n. Do 1/5 and g have different values?
True
Let u(j) = j - 4. Let i be u(3). Let g = -14167/140 + 405/4. Let a = -1/7 - g. Is i at most as big as a?
True
Let c be (2 + -1)*0/1. Let r(b) = -b**3 - b**2 + 1. Let h b