 derivative of m**4/24 - 2*m**2. Let l be w(1). Which is smaller: l or 5/9?
5/9
Let o = -1/63 + 446/315. Suppose -2*d - 10 = 5*x, 6*d + 8 = d - 4*x. Is o equal to d?
False
Let o be (6/(-15))/((-21)/(-15)). Is 17 != o?
True
Suppose -2*n - 5*x = -x - 8, 0 = x - 3. Suppose -q + 24 = q. Suppose -y + 3*u + q = 8*u, 2*y - u = -9. Which is bigger: n or y?
n
Let i = -7 - -9. Let m = -3 - -5. Let z = m - i. Is 2/5 at most as big as z?
False
Suppose 3*m - 4*m = 0. Suppose 3*u + 6 = 6*u. Is m < u?
True
Suppose 4*u + 3 = 5*u. Suppose f - 1 = -u*v - 16, -10 = 2*v. Is f less than -2/5?
False
Let h = -173/12 + 31337/2172. Are h and 0 non-equal?
True
Let r = -8 + 26. Let o = -29 + r. Is o at most as big as -12?
False
Let d(r) = r**2 + 4*r + 4. Let v be d(-3). Suppose -4*n - 18 = -5*l, 4*l + 2 = 2*n + 14. Let w = l - v. Which is greater: w or 2/15?
w
Let c = -10/17 + 216/425. Are c and -1 nonequal?
True
Let w be (-58)/(-18) + (-2)/9. Suppose 5*u - 6 = w*u. Suppose -2*z - u*z = 0. Is 1 greater than z?
True
Let h = -197 + 188. Do 0.1 and h have the same value?
False
Suppose 5*v = l + 9*v + 9, 21 = l - 2*v. Is l less than 1?
False
Let n = 0.12 + -6.12. Does -2/7 = n?
False
Let c(u) = u**2 + 4*u - 5. Let j be c(-4). Let k = j + 8. Let q be (k + 0 + -1)/(-2). Which is smaller: -2 or q?
-2
Suppose -3*k - 48 = 12. Let g be (k/(-28) - -4) + -4. Which is smaller: g or 0?
0
Suppose 0 = -0*v + 7*v + 119. Which is greater: v or -16?
-16
Let f be 1/5 + (-44)/20. Let s = 5/2 + f. Which is bigger: 2 or s?
2
Suppose -4*k + 3*z + 6 = 0, -23 = -5*k - 0*k - 4*z. Suppose 0 = 5*r - 2*t + 1, -3 = r + k*t - 2*t. Is r less than -1/5?
True
Let f be 3*((2 - -1) + -2). Let p be 40/16 - f/(-2). Which is smaller: -2 or p?
-2
Let k(b) = -b + 1. Let j(p) = -2*p + 3. Let o(v) = -4*j(v) + 7*k(v). Let n be o(6). Is 13 equal to n?
False
Let s be (1 - (3 - 0))/(2/37). Which is smaller: s or -36?
s
Let l = -8 + 6.04. Let m = l - 0.04. Let z = 3 + m. Which is greater: z or 0.1?
z
Suppose 0*s + 4*s = 0. Let j(b) = b**2 + 9*b + 2. Let l be j(-9). Let y be -4 + l + 0 - -1. Is s greater than y?
True
Let x(c) = c**3 - 5*c**2 + 7*c - 2. Let k be x(3). Which is greater: k or -2/11?
k
Let f = -7.5 + -0.5. Let x = f - -8.3. Let j = -0.8 - 0.2. Do j and x have the same value?
False
Suppose -2*b = -4*x + 168, 129 = -x + 4*x - 3*b. Which is smaller: 42 or x?
x
Let o(d) = d**2 - d. Let k be o(-2). Suppose -3*a + 13 + 9 = 4*i, 0 = 5*a - 5*i - 25. Does k = a?
True
Let p = -5 + 1. Let s = p - -3.7. Is 1/3 less than s?
False
Let p = 56 - 58.9. Let x = p - -3. Let v = 2.135 + -0.135. Which is smaller: x or v?
x
Let s be -6*(-1)/(-2)*-1. Suppose 4*p = s*p - 3. Is -4 != p?
True
Suppose 3 = 3*o + 27. Let p be (-2)/3*21/2. Is o at most p?
True
Let s = 57 - 34. Suppose 50 = -2*c + 5*z, z + s = 3*c + 124. Let l be c/(-42)*4/(-15). Which is smaller: -2/7 or l?
-2/7
Let r = -24 - -27. Let j = 1/9 - -5/36. Which is smaller: r or j?
j
Let g(q) = -q + 3. Let h be g(-3). Let l = h - 7. Is 2 greater than l?
True
Let h = 14 - 6. Let r be 0 + -2 + (-240)/(-105). Is h <= r?
False
Suppose 155*v = 144*v - 66. Suppose -3*y + 0*c = -5*c + 46, -5*y = 4*c + 15. Is v < y?
False
Let n = 0 - -8. Suppose -4 = -r, 2*a - 4*r = -20 - n. Is a less than or equal to 0?
True
Suppose -4*r + 7*r = 21. Let l(h) = h**3 - 8*h**2 + 7*h - 5. Let u be l(r). Is u at least as big as -6?
True
Suppose -5 - 3 = -2*f. Suppose -2*h + 2 = f. Which is greater: 1/3 or h?
1/3
Suppose 0 = 5*o + 2*m - 7*m - 5, -4*o + m - 2 = 0. Is o not equal to -3?
True
Let h be (-9)/(-6) - 1/(-2). Suppose 0 = -b - 1 - h. Is -4 less than b?
True
Let r(y) = -10*y - 4. Let c be r(-6). Suppose 44 + c = -2*p. Let m be 35/p + 2/10. Which is greater: m or -2?
m
Let v(y) = y**2 + 10*y + 10. Let a be v(-7). Let k be 1 + a/2 + 4. Is k < -0.9?
False
Let h be (-876)/1341 - 6/(-9). Is 1 less than h?
False
Suppose -3*k + 4*k + 4*d = -23, -4*k + 4*d - 32 = 0. Let x = k - -7. Which is smaller: x or -3?
x
Suppose 3*q - 5*o + 21 = 6*q, -5*o + 7 = -4*q. Suppose 0 = 4*d - q*v, -d + 0*v - v = -6. Which is smaller: d or 2/3?
2/3
Let c(p) be the first derivative of -p**4/4 + p**2/2 + p + 2. Let l be c(0). Suppose 5*v + 4 = -l. Which is bigger: 2/5 or v?
2/5
Let h(i) = -i**3 - 3*i**2 - 1. Let l(r) = -r**3 + 10*r**2 - 3. Let n be l(10). Let t be h(n). Which is smaller: t or -2?
-2
Let i = -7.886 - 0.264. Let g = 0.15 + i. Let v = g - -8.3. Is -1 >= v?
False
Let s = -302/7 - -5239/119. Which is smaller: 0 or s?
0
Let n(t) be the first derivative of -t**2/2 - 8*t + 8. Let w be n(-8). Do w and 1 have different values?
True
Let i be ((-88)/(-6))/(25/(-15)). Let n = i + 161/20. Let p be (-2)/(-4)*(2 + -6). Which is smaller: p or n?
p
Suppose 0 = -3*j - 6 - 0. Which is greater: j or -3?
j
Let z(c) = -c**3 + 4*c**2 + 2*c + 1. Let o be z(4). Let t be (-3)/(-9)*3 - o. Let f be (-2 + 3)*(-2)/t. Is f <= 1/3?
True
Let s = -7 + 13. Let i(h) = -4 - 9 + h + 9 - 2. Let n be i(s). Is -1/4 at most as big as n?
True
Let v = -5.1 + 1.1. Let j be (-1 - -3) + -8 + 3. Let s = j + 4. Which is greater: v or s?
s
Let r = -14 - -7. Let y = -0.6 - 1.4. Is r at least as big as y?
False
Let q = -49 - -51. Does 10/11 = q?
False
Suppose -2*h + 5 - 1 = 0. Suppose h*q = q. Is -2 greater than or equal to q?
False
Let t = 0.22 + -0.52. Do -0.09 and t have different values?
True
Let g be 6/(-9) - (1 + -2). Is 1 equal to g?
False
Let n = 71 - 78. Is n at most -0.06?
True
Suppose -3*j + 43 = -0*j - v, -4*v = 4*j - 52. Let w be j/6 - 7/21. Let b = w - 4. Which is smaller: b or -1?
b
Let u be 19/(-10) + 6/4. Are -3 and u nonequal?
True
Let r = -36 + 2122/59. Let p = 71/354 + r. Are p and -1 nonequal?
True
Let u = 0.9 + -0.4. Let d = -0.09 - 2.01. Let i = d - -2. Which is smaller: u or i?
i
Let c = 7 + -4. Suppose -3*f + c = -3*i, 3*f + 4 = -2*i + 7*f. Let q = i - 0. Is -2/5 at least as big as q?
False
Let m(k) = 2*k**2 - 4*k**2 + 11*k + 3*k**2 - 6*k - 4. Let v be m(-6). Is v < 2/3?
False
Suppose 7 = 5*v - 8. Suppose 2*m + v*u = 2*u + 5, 3*u = -m + 5. Suppose 3*i = -m*i - 5. Is i at most as big as -2?
False
Let f be 0*-1*(-1)/2. Let x(k) = -2*k + 2. Let j be x(4). Let d be (-4)/18 + j/(-27). Is f less than or equal to d?
True
Let j = -3 - -4. Let d(y) = -6*y**2 - y + 1. Let s be d(j). Which is greater: s or -3?
-3
Let u = 22/3 - 7. Let n be 1 + -1 - 2/(-3). Is n at most u?
False
Let j = 6.87 - -0.13. Let o = 7 - j. Is o > -2/3?
True
Suppose 0 = f - d + 4, 2*d = 3*d + 1. Let q be (-1)/2*28/4. Which is smaller: q or f?
f
Let l be ((-19)/4)/((-2)/8). Let v(h) = -3*h - 5. Let z be v(-10). Suppose 5*q - 4*f = z, 3*f + l = 3*q + q. Is 2 at most q?
False
Let q = 2.05 + -2.1. Let v = 0.05 - q. Do -1.3 and v have different values?
True
Let m be -11 + 1/(-4) + (-5)/(-20). Is -11 >= m?
True
Suppose 7*s - 3 = 8*s. Let r be (-2)/(-24)*s*-4. Are r and 12/11 non-equal?
True
Suppose 15 = -6*o + o. Do o and -3 have the same value?
True
Let l(b) = -b**3 + 5*b**2 + b - 2. Let f be l(4). Let k be (2 - 32/f)*-3. Suppose 23*r - 26*r = 0. Is k at least r?
False
Let v = -105 - -104. Which is greater: v or -30?
v
Let q be 106/(-3) + (-1)/(-3). Let r be 19/(-42) + (-10)/q. Which is smaller: -1 or r?
-1
Let t = 10 + 16. Let w be (-2)/(-6) + t/(-6). Is w less than -3?
True
Let p = -11 + 18. Suppose 7 = -3*r - 5*o, -27 = -2*r + 2*o + o. Which is smaller: p or r?
r
Let o(i) = i**2 - 6*i + 4. Let b be o(6). Let k = b - 5. Which is smaller: k or -0.4?
k
Let g = 199/5 - 40. Which is bigger: 0 or g?
0
Let z = -0.5 + 0.6. Let n = -23495/7 - -3363. Let v = n + -48/7. Which is smaller: v or z?
v
Let m = 0.2 + -1.2. Let b = 2 + -4. Which is smaller: m or b?
b
Let b be -1*(-5 - 1)/2. Are b and -2/25 equal?
False
Let u = -4 + 8. Suppose i + 3*o = -0*o - 13, 3*i - u*o - 26 = 0. Which is smaller: 3/5 or i?
3/5
Let i be 1*(0 + 2*(-3)/(-6)). Is 1/16 bigger than i?
False
Let z = -20.1 - -20. Is z at least -26?
True
Let n = -100 + 168. Is n at least as big as 0?
True
Let c = -18 - -9. Is c smaller than 0.2?
True
Let u(k) = -k**3 + 3*k**2 + k + 3. Let s = 2 - -1. Let a be u(s). Let y be ((-4)/6)/(4/a). Do y and 0 have the same value?
False
Let u(z) = z**3 + 2*z - 4. Let q be u(3). Let t be -5 - -2 - q/(-8). Which is smaller: t or 2?
t
Let v = 1.1 - -3.9. Let j = 18 - 16. Do v and j have th