/45 or m?
-1/45
Let d(m) be the second derivative of -m**3/6 + 9*m**2/2 - 5*m. Suppose 0 = 3*z - 2*z - 6. Let k be d(z). Which is smaller: 4 or k?
k
Suppose 2*o - 4*b + 4 = 0, -3*o - 3*b = -b - 18. Suppose -s = o*s - 30. Is s at least as big as 6?
True
Let v be (-12)/54 + (-7)/9. Which is smaller: -5/3 or v?
-5/3
Let o = 11 + -10. Let q be (12/(-15) + 1)*o. Which is greater: q or -3?
q
Let i = -3 + 3.6. Let s = i - 2.6. Let o = 0 + 0. Is o greater than or equal to s?
True
Let k = -11.9 + 12. Is 0.8 > k?
True
Let t(n) = -n**2 + 13*n + 15. Let x be t(12). Which is greater: 28 or x?
28
Suppose 0 = 2*h + 3 - 7. Suppose h*v + 2*v - 4 = 0. Which is greater: v or 1/2?
v
Suppose -7 = 10*r - 3*r. Let p(x) = -5*x**3 + x**2. Let u be p(-2). Let w be (-1)/2 + 14/u. Is w at least r?
True
Let w be (-6)/(-4)*(-24)/(-9). Suppose k = w*i + 4, -k = -5*i - 3 - 1. Suppose 0 = -o + 4*o - 3*j, -k*j = 2*o + 18. Which is smaller: o or -1?
o
Let u = 1 - -1. Let q be 12/(-27)*3/(-2). Which is smaller: u or q?
q
Let r be (0 - -3) + 7/(-3). Let u = -4 - -4. Is u smaller than r?
True
Let v = 9 + -3. Let o(t) = -t**2 + 6*t. Let d be o(v). Suppose -w + 3*i - 3 = d, 2*i + 2 = 3*i. Do w and 3 have the same value?
True
Let k = 86 + -87. Is 33 at most k?
False
Let n be (2/(-28))/((-1)/4). Let o = 0.2 - -0.8. Let m = 0 - o. Which is smaller: m or n?
m
Let p = -0.01 - -0.14. Let b = p + -0.23. Which is smaller: 6 or b?
b
Let h be (-3)/(22/(-8) + 2). Suppose 6*z = h*z + 14. Let o = 5 - z. Is o < -1?
True
Suppose -4*k - 5 - 2 = -3*c, 2*c - 4 = 2*k. Let b be ((-6)/4)/(((-33)/(-6))/11). Do k and b have the same value?
False
Let c = -4508/85 + 684/17. Which is bigger: c or -14?
c
Suppose 0*d + 2*d - 12 = 0. Let n be (-1)/((63/d)/3). Let x = 3 + -2. Is n at least as big as x?
False
Suppose 2*j + 4 = 10. Which is smaller: j or 2?
2
Suppose -5*w = -4*w - 4*q + 1, 6 = 2*w - 4*q. Is w != 5?
True
Let m = -2356/11 + 214. Let z(t) = 1 + 0 + 4*t + t**2 - t**2 - t**2. Let c be z(4). Is c < m?
False
Let j(a) = -a**2 - 3*a - 4. Let r(o) = -o - 2. Let y(q) = -2*j(q) + 5*r(q). Let u be y(-4). Let w = -155/6 + u. Which is greater: w or -1?
w
Let a = -1 - 6. Which is greater: -6 or a?
-6
Let w = -5 - -10. Suppose -w*d - 15 = -435. Let s be 2/5 - d/135. Which is smaller: s or -1?
-1
Suppose 5*g - 4*b = -6, 2*b + 5 = -3*b. Which is smaller: -3 or g?
-3
Let f(z) = -z**2 - z - 1. Let c be f(3). Which is smaller: -14 or c?
-14
Let b be (2/3)/((-2)/(-9)). Suppose -5*x + 22 = -3*w, -w + 0*w = -x + 6. Let t = b - x. Is t at least -1/4?
True
Suppose 267 = -4*q + 79. Let p = 64133/1372 + 2/343. Let s = p + q. Are s and 0 non-equal?
True
Let x be -31 - 1/1 - -1. Let w = x - -48. Is 18 greater than or equal to w?
True
Let i = -0.62 - -0.02. Let x = i + -4.4. Which is smaller: x or -1?
x
Let l = 18 + -13. Suppose 6*m = m + l. Does m = -1/6?
False
Let j = 36/11 + -83/22. Are 19/9 and j non-equal?
True
Let b = -24 + 6. Which is greater: -19 or b?
b
Let d = 0 + -1. Suppose 64 = -5*f - 26. Let j be 6/f*(2 - d). Does -1 = j?
True
Suppose -5*i + 0*i = 45. Let w be (2 - 1)*(-1 + -8). Is w greater than i?
False
Let m = -2.1 + -10.9. Let o = -13.2 - m. Is o bigger than 4?
False
Let h(u) = -u**3 + 8*u**2 - 8*u + 1. Let p be h(7). Let f = -8 - p. Let a be -2 + 2 - 6/3. Is f at most a?
True
Let k(y) = 7*y**2 - 4*y**3 - 8 + 2*y**3 + 1 - 5*y + y**3. Let p be k(6). Is -3/7 != p?
True
Let s = 0.893 - -0.027. Let g = s + 0.08. Which is smaller: g or 5?
g
Suppose 0 = 4*i - 6 - 14. Let t(o) = -o**3 + 5*o**2 + 13*o + 1. Let r be t(7). Let u = r + i. Are u and 2 equal?
False
Let r be (-2)/(-3)*(-60)/(-8). Suppose r = t + 2. Suppose t*g = 3*o - 7 + 16, -g + 2*o = -7. Which is smaller: 0 or g?
g
Let a(z) = -2*z - 8. Let k be a(-5). Let v be -4 - (-1 + -2 + k). Let w be (1 - 0) + (-8)/2. Is w > v?
False
Let n = -317/1925 - 3/175. Let y = -12/55 + n. Let j(a) = -a**2 + a + 1. Let z be j(0). Which is bigger: y or z?
z
Let b be 2 - 0 - (6 + -1). Suppose 2 + 2 = 2*y. Let k = y + b. Which is smaller: k or 1?
k
Let p be 3/(6/(-4)) + 5. Let f(y) = 6 - y + p*y - y. Let k be f(-6). Which is greater: k or 2/9?
2/9
Let l(m) = 2*m**2 - 10*m - 7. Let w = 16 + -9. Let q(f) = -f**2 + 5*f + 3. Let s(x) = w*q(x) + 3*l(x). Let z be s(5). Is z at most 0?
True
Suppose -2*k + 7 = 5. Let h = 109/4 - 27. Which is bigger: h or k?
k
Suppose -48 - 52 = -5*o. Let v = o + -18. Which is smaller: v or -1/2?
-1/2
Let o be ((-6)/4)/((-12)/(-80)). Is -9 < o?
False
Let o = -6 - -9. Suppose t = -r - o + 1, r + 3*t = -4. Let h be 0 + 0/((-1)/r). Do h and 2/5 have the same value?
False
Suppose 6 = -5*u - 4. Let m = 4 + u. Suppose -m = 3*f - f. Which is smaller: f or -2/11?
f
Let c = 0.7 - 0.4. Let h = 117.1 - 117. Is c > h?
True
Suppose l + 4*r = -3*l + 108, -3*l + 3*r + 51 = 0. Is 24 smaller than l?
False
Suppose -44*i + 48*i + 84 = 0. Is i equal to -19?
False
Let b = 156 - 152. Which is smaller: 44/13 or b?
44/13
Let f = -3.1 + 24.1. Let y = -25 + f. Which is bigger: y or 1/3?
1/3
Let q(l) = -l**2 + 7*l - 6. Let w be q(6). Is w less than or equal to -5/9?
False
Let d = -3 + 8. Suppose -d*u = 2*p + 5, u + 2*u + 3 = 3*p. Which is greater: p or -2/31?
p
Let i = -0.61 + -0.09. Let v = -0.5 - i. Is 0 at least as big as v?
False
Let s = -7 - -3. Let i be 296/(-360) - s/18. Which is smaller: -1 or i?
-1
Let r = 66 + -66. Which is smaller: r or -1/36?
-1/36
Suppose 2*q + 2 + 0 = 0. Let x = -997 - -1937/2. Let j = x + 745/26. Is j <= q?
False
Let c = -7 - -9. Let h = -24 + 74/3. Which is smaller: h or c?
h
Let l = -8 - -8.1. Which is bigger: 0.049 or l?
l
Let d = -263/4082 - 8/157. Is 0 <= d?
False
Let n = -2873/33 - -87. Which is smaller: n or 1?
n
Suppose 3 = -5*t + 13, -5*t = -y - 8. Let r be (-4)/(-6) - 32/(-6). Let i(s) = -s**2 + 6*s + 1. Let m be i(r). Which is smaller: m or y?
m
Let b = -18 - -19. Let u be ((-1)/((-4)/3))/(-3). Which is smaller: u or b?
u
Suppose 1 + 4 = 5*v. Let c be 2/(-2 + v) - -4. Let b be (c + -4 - -1)*0. Is b less than 1?
True
Let y = -1 - -7. Let m be -1 - 0 - (y - 4). Suppose -3*u + 7*u + 4 = 0. Which is bigger: u or m?
u
Suppose 8*v - 20 = 4. Let r = 3 - -2. Which is smaller: r or v?
v
Let w = 0.64 - 0.01. Let z = w + -5.83. Let t = z + 5. Is t less than or equal to 0?
True
Suppose k - 4 = -2*n - 14, 4*n = -16. Which is bigger: -0.7 or k?
-0.7
Let n = -3.8 + 3. Let h = 8.8 + n. Let u = 8 - h. Which is smaller: -0.05 or u?
-0.05
Suppose z + z + 4*j + 6 = 0, 3*z = 3*j + 9. Suppose 2*f = s - z, 2*f + 4*s - 5 = -s. Does 0 = f?
True
Let x = 17 + -18. Which is bigger: -2/17 or x?
-2/17
Let k = 90 - 48. Let l be (-2)/(-6) - 32/k. Which is smaller: l or 1?
l
Let u = 3.64 - 3.7. Which is smaller: u or -8?
-8
Let u be (77/26 - 3)*2*30. Which is greater: -1 or u?
-1
Let k = 68 + -478/7. Let b = 0.81 + -0.11. Is k <= b?
True
Let d = -1.29 - 0.71. Which is smaller: 32 or d?
d
Let k = 575/286 + -29/22. Is k at most 0?
False
Let j(h) = -h**2 + 3*h + 33. Let p be j(8). Let z be (1 + 1)*(-4)/1. Is p bigger than z?
True
Let o be (8 + -7)/((-2)/(-20)). Let p = -13 + o. Is -4 less than p?
True
Let c be ((-1)/(196/16))/2. Is 3 at most as big as c?
False
Let h = 0.14 - 0.35. Let q = -0.31 - h. Let a be 2/7 + 18/(-14). Which is smaller: a or q?
a
Let g(h) = 2*h**2 - 2*h - 1. Let f be g(-1). Let b(p) = p**2 - 4*p + 2. Let q be b(f). Let n be 7/(-5) + (-2)/q. Is n less than 0?
False
Let l = -1 + 2. Let y = 7 - 5. Let t = -1.9 + y. Are t and l nonequal?
True
Let c = 0.5 + -0.5. Let l = 1 + -0.4. Let h = l + -0.3. Does c = h?
False
Suppose 6*q - 4*i - 21 = q, i + 14 = 3*q. Suppose -q*h - 7 = 3. Let o = 1 + h. Is o at most as big as -1?
True
Let h(f) = f**2 - 4*f + 3. Let t be h(2). Which is smaller: t or 4?
t
Let p be 1/((-6)/9 + 1). Suppose -4*w - c + 13 = 0, -w + 4 = 4*c - p*c. Is w at least 3?
True
Let n = 31 + -50. Let o = -11 - n. Let s = 8.3 - o. Is s at most 0?
False
Let y = 26/15 - 4/3. Let k(w) = w**3 - 6*w**2 - w + 6. Let x be k(6). Suppose x = 2*t - 0 + 2. Which is bigger: t or y?
y
Let g = 30633/55 - 557. Which is bigger: -1 or g?
g
Let o be (-70)/216 - 10/(-40). Let w = -3 - -4. Which is smaller: o or w?
o
Suppose 4*g + 25 = 3*u, -3*u = 2*g - 0*g + 17. Which is smaller: g or -10?
-10
Let h be 31/(-2) - (-16 - -16). Let v = h - -159/10. Is v smaller than -1