se
Let v(i) be the first derivative of i**4/4 + 5*i**3/3 - 1. Let a be v(-4). Let d be ((-3)/(-12))/(9/a). Which is smaller: 0 or d?
0
Suppose 4*i - 66 = -2*v + 22, 0 = 2*i - 5*v - 68. Which is smaller: i or 23?
23
Let z = 4 + -4. Suppose 0 = p + 1 - z. Let k be (-4)/(-6) + 1/3. Is k greater than p?
True
Let m be (-2)/(-4)*(-16)/(-18). Let c(f) = -f**3 + 3*f**2 - 2*f. Let i be c(2). Is m smaller than i?
False
Let k be (2/6)/((-2)/12). Let s(r) = -3*r. Let f be s(k). Are 7 and f equal?
False
Suppose 0 = -2*l - 5*u - 0 - 1, 0 = 5*l - 2*u - 41. Let w = l - 14. Let s(j) = -j**2 - 6*j + 4. Let m be s(w). Which is bigger: -2 or m?
-2
Let w = 251/1540 - 1/77. Is 1 not equal to w?
True
Let i be -1*(2/(-2) + -2). Suppose 0*y + i = -y. Which is greater: y or -2?
-2
Suppose 0*l = 2*l - 2. Let t be l/(1/(-2)) + -1. Let w be (-3)/2*8/3. Which is bigger: w or t?
t
Let y be (-6)/39 + (-48)/26. Let f = -3 - y. Is 1/5 <= f?
False
Suppose 2*x + 70 = 7*x. Do x and 15 have different values?
True
Let k(y) = -y**2 + 5*y + 32. Let p be k(9). Is p > -6?
True
Let c = 16 - 17. Let m = 10 - 4. Suppose m = -4*r + 2. Do c and r have different values?
False
Let v(x) = 8*x**3 + 21*x**2 + 14*x - 38. Let b(k) = -3*k**3 - 7*k**2 - 5*k + 13. Let o(h) = -11*b(h) - 4*v(h). Let t be o(7). Let i = 2 - -1. Is i < t?
False
Let z be -1 - 2*6/4. Suppose -4*i = -5*u + u - 36, -17 = -2*u - 5*i. Is z greater than or equal to u?
True
Suppose 25 = -0*h + 5*h. Let j = 6 - h. Let f = -56 - -283/5. Which is smaller: f or j?
f
Suppose -2*d + 3*h = -16, -3*d - 2*d + 2*h + 40 = 0. Let l(w) = -3*w - 19. Let x be l(-9). Is d bigger than x?
False
Let r(s) be the third derivative of s**6/120 - s**5/5 + s**4/24 - 3*s**3/2 + 3*s**2. Let a be r(12). Which is bigger: -0.2 or a?
a
Let p be (-14)/18 - 2/9. Let x be 0/p*(-3 - -2). Which is smaller: x or -2/9?
-2/9
Let a = 0 - 6. Let g = 10 + a. Which is smaller: 1 or g?
1
Let m(p) = 2*p**2 + 4*p + 1. Let r be m(-2). Is r <= 1/18?
False
Suppose -6 = -4*q - 2. Suppose -390 = 4*g - g. Let d = g + 648/5. Is q smaller than d?
False
Let n = 75 + -82. Is -31/5 >= n?
True
Suppose 3*h - j - 2 = 4*h, h + 2*j + 4 = 0. Suppose -4*y + h = -4. Let g = -173 + 1209/7. Is g < y?
True
Suppose -5*q = 23 + 2, 4*a - q = 57. Let y = a + -18. Which is bigger: -4 or y?
-4
Let p(o) = o**3 - 3*o**2 - 2*o - 6. Let c be p(4). Let f = -6 + c. Do -4 and f have different values?
False
Suppose -2*h + i = 7, h - 5*i = -i - 7. Is -3 at least h?
True
Suppose p + 22 = 4*d, 2*p + d = 5 - 4. Suppose -2*o = -j + 4, 4*o - 22 = -0*j - j. Let w be -2*(j/6)/5. Which is greater: p or w?
w
Suppose c - 3*c = 2. Let i = -0.01 - 2.99. Let k = i + 2.8. Which is greater: k or c?
k
Let z be 20/(-7) - 2/14. Which is bigger: z or -5?
z
Suppose 164 = 4*d - 2*n, 3*n = 5 + 1. Let h be 0 + d/9*-4. Let g = h + 19. Which is smaller: -2/5 or g?
-2/5
Suppose 2*v = 2*i - 0*i - 2, -4*i + 6 = -5*v. Is i greater than or equal to -5/7?
False
Suppose 0 = -p + 2*p - 5*a + 13, -6 = -2*a. Which is smaller: p or 0.06?
0.06
Let q be (-4)/(-9) + 506/(-207). Let s = 2 - 1. Let m = s - 3. Is q >= m?
True
Let n be (-1)/(-2) - (-427)/(-910). Which is greater: n or 1?
1
Let d = -3 - -5. Let j be 11/d*(5 + 2). Let q = j + -40. Is q < 1/3?
True
Suppose -3*y - 20 = y, 5 = 4*o - y. Is o less than or equal to -1/26?
False
Let o(f) = f**3 + 7*f**2 - 9*f + 3. Let m be o(-6). Let l be (-3)/4 - m/(-12). Which is bigger: l or -1?
l
Let i be 45/(-6)*(-12)/9. Let h be (1/i)/(8/(-60)). Is -2 at most as big as h?
True
Let c = 0.7 - 1.1. Let n = 0.5 + c. Does n = 1/4?
False
Suppose -3*b - 5 = -4*o, o - b = 3*o - 5. Let h be (-2 + 1 + o)/1. Let z = 0.2 - 0.1. Which is smaller: h or z?
z
Let y = 2 + 4. Let o be (-2)/y - 42/(-72). Let l be (-2)/24 + (-1)/4. Is l not equal to o?
True
Suppose 3*h + k = 12 - 2, 0 = -5*h - k + 14. Suppose h*s + 3*p + 26 = 0, 17 + 37 = -5*s - 2*p. Let l be (-24)/10 + (-4)/s. Is -1 greater than l?
True
Let k be ((-24)/50)/(2/5). Is k <= -2?
False
Let x = 323 - 184. Let p = 14388 + -145267/10. Let o = x + p. Which is bigger: o or 1?
1
Let u be 1 + (-3)/(-3*1). Let y be u/6*(-2 - -1). Let d(c) = c**2 + 4*c + 4. Let o be d(-3). Is o < y?
False
Let k = -88 - -618/7. Let l = 0.2 + -3.2. Which is smaller: l or k?
l
Let h = -0.2 + 0.3. Let b = -5 + 3. Let o be ((-13)/5 - b) + 1. Is o >= h?
True
Let d(i) = -2*i**2 + 5*i + 2. Let f be d(4). Let u = 28 + -39. Which is greater: f or u?
f
Let a(x) = x**3 - 5*x**2 + 2*x. Let o be a(5). Suppose 0 = j + 4*y - o, -3 = 5*j - y + 10. Let u = 2 + -6. Which is bigger: j or u?
j
Let f be (1/(-1))/(2/(-2)). Let g = f + -2. Are g and -1 nonequal?
False
Suppose -o - 12 = -4*y, 0*o - 14 = -3*o + 2*y. Let f = -7 + o. Is -1/5 > f?
False
Suppose -2*q - 5 = 5*w, 0 = -2*q - 0*q - 2*w + 4. Which is smaller: q or 3?
3
Suppose 16 = 3*s + s. Suppose -s = -3*i + i. Let r be 6/i*6/(-9). Is -1 > r?
True
Suppose 71 = -4*n - 3*x, 2*x - 3*x = 4*n + 77. Which is greater: -21 or n?
n
Suppose -5*l + 8 = -0*w + 4*w, 10 = -5*l + 5*w. Are -2/33 and l equal?
False
Let x be 0*2/(-6) - 1. Let a be 0/(-1)*x/2. Let s = 1 - 1. Is s > a?
False
Suppose a + 3*k + 25 = 1, 2*a = 3*k - 12. Let u be (-2 - 28/a)*-6. Which is bigger: 1/2 or u?
1/2
Let g = -0.58 - -0.78. Is g at most 0.9?
True
Suppose 3*o - 249 = 3*t, 2*o + 3*o - 424 = 2*t. Let h be o/40 - (-5 - -6). Let s = -1/20 - h. Which is bigger: -1 or s?
-1
Let f = -1816/2091 - -34/41. Is 1 < f?
False
Suppose 6 + 4 = 5*q. Let h be 4*3/((-108)/q). Which is smaller: h or 0?
h
Let s = 3 - 5. Let f be ((-4)/s - 2)/(-2). Is 1 bigger than f?
True
Let c(a) = a**3 - 7*a**2 + 8*a - 8. Let v be c(6). Suppose -4*z = -3*z - v. Which is smaller: 1 or z?
1
Suppose -3*q - 11 - 38 = 5*m, -2*m - 2*q = 22. Is -0.5 at most m?
False
Let l = 3.07 + -0.07. Let x = l - -1. Is 2 at least x?
False
Let d = 1 + -2. Let o = -3649/19 + 192. Is o greater than or equal to d?
True
Let m be ((-3)/10)/((-6)/295). Let b = m - 617/60. Let z = b + -22/5. Is -1 equal to z?
False
Let b = 35 - 10. Is 25 != b?
False
Let z = 0.75 + 68.25. Which is greater: z or 0?
z
Suppose -4*p + 2*h - 14 = 0, -4 = 4*p - 2*p + 2*h. Is p > -7/5?
False
Let x = 382731244 + -40188301316/105. Let j = x + 14483. Let n = 2/105 + j. Which is smaller: n or 1?
n
Let u be 0/((-16)/(-4) - (-40)/(-5)). Let w = -183/4 - -46. Which is bigger: w or u?
w
Let c(m) = m**3 + 7*m**2 - 7*m - 1. Let h be c(-8). Let g be h/4*8/12. Are -3 and g non-equal?
True
Let b = 3 - 0. Suppose 5*t + 2 = b*t. Is 2 greater than t?
True
Let p = 1/257 + -1289/1028. Which is greater: p or -2?
p
Suppose -3*r + r + 4*p = 32, -r - 5*p + 5 = 0. Let t = r - -11. Which is bigger: t or -3/10?
t
Let o = 36 + -35. Which is smaller: o or -2/17?
-2/17
Let h = -3 + 5. Let i(x) = 4*x - 2*x - 1 - 3*x + 8. Let c be i(5). Is h > c?
False
Let z = -4/39 + -22/39. Let s = -0.13 + -0.37. Which is bigger: s or z?
s
Let k be (170/51)/(4/6). Which is smaller: k or -1?
-1
Let q be 1 + 4 + -4 - -2. Is q <= 2?
False
Let k(h) = h + 3. Let v be (-2)/(-8)*0 + 3. Let o be k(v). Is o not equal to 7?
True
Let l = -0.92 + 1. Let r = 3.92 + l. Which is smaller: -3 or r?
-3
Let c be (-4)/(-14) - 130/(-35). Let h = 6 - c. Let j be h/(-8) + (-33)/12. Which is bigger: j or -4?
j
Suppose 4*u + u = -x + 50, -11 = -4*u + 5*x. Is 7 greater than or equal to u?
False
Suppose 5 = 4*z + 29. Is z less than -9?
False
Let m = 105 + -163. Which is smaller: -59 or m?
-59
Suppose -3*u = -2*u - 1. Let v be (u + -11)/(9/24). Let i = 27 + v. Which is bigger: -0.1 or i?
i
Let r be (-51)/(-18) + (-1)/(-6). Suppose 49 = 3*w + 5*a, -5*a + a + 47 = r*w. Is 13 greater than w?
False
Let b be 1/(-2 - 10/(-4)). Suppose -3*f - 19 = j - 8, -2*j - b = -4*f. Which is smaller: f or -1?
f
Suppose -u + 7 = 6. Suppose -1 + 0 = w. Let c = 2 + w. Is u greater than or equal to c?
True
Let m be (-20)/64*6/(-15). Is 1 greater than or equal to m?
True
Let a = 34 + -37. Do 1 and a have different values?
True
Let p(s) = s - 1. Let k(h) = h + 2. Let g(d) = k(d) - 2*p(d). Let w be g(5). Let q be (-3)/24*-6 + w. Which is smaller: 1 or q?
q
Let j = 157/231 + -1/77. Suppose 3*b + 6 = s, -2*s - 8 = 4*b - 5*s. Let m be b - (0 - (-14)/(-6)). Which is smaller: j or m?
m
Let h = -10.5 - -12.66. Let b = -0.16 + h. Which is smaller: b or 2/43?
2/43
Let p be 2/