p = -3*m + p, -d*p = 4*m for m.
0
Let t = 4 + -4. Let k = 3 + t. Solve -k*l = w - 6*w - 19, 3*w - 4*l = -18 for w.
-2
Let b = -8 - -8. Suppose -2*t - t + 9 = b. Solve -f + v = 0, t*f + 3*v - 8 = 4 for f.
2
Let p = -18 + 18. Suppose 0*y - b - 3 = -2*y, -y + b = p. Solve y*n + 15 = -3*g - n, 0 = -4*g - 5*n - 19 for g.
-1
Suppose 2*y + 6 = 38. Let r be (-4 + 2)/((-2)/23). Suppose 30 = 5*z - 3*s, -2*z + 3 + r = -4*s. Solve -j + y = -z*d + j, -j = -2 for d.
-4
Let r = 4 - 3. Suppose -4*j + 27 = 3*p, -j - j + r = -p. Solve c + 0*c + z = -j, -c = 4*z + 12 for c.
0
Let z(u) be the first derivative of u**2/2 - 10*u - 1. Let x be z(0). Let a = 12 - x. Solve a = 5*o - v, -o + v + 17 = 5*v for o.
5
Suppose -3*i + 4 = -i. Let t be (192/(-64))/(3/(-5)). Solve i*o = -8, t*o - 2*o = 5*q - 22 for q.
2
Let y = -19 + 18. Let t(f) = -3*f. Let b be t(y). Solve -5*g - 18 = b*s + 10, g - 3*s = -2 for g.
-5
Let w(x) be the third derivative of x**6/120 + x**5/20 + x**4/8 + x**3/3 - 5*x**2. Let f be w(-2). Solve d + 2*s = 3, -3*d - 2 = -5*s - f*s for d.
1
Let a be -9*2*(-1)/6. Solve 3*v + v = 5*j + 24, a*j = -12 for v.
1
Suppose a - 231 = -5*c, -4*c + a = -2*a - 181. Suppose 5*f - c = 4*p, -f - 36 = -5*f + 3*p. Solve 4*v + f = 3*l - v, -5*l - 2*v = -10 for l.
2
Let p be (1 + 1)/(0 - 2) - -3. Solve 10 = p*l, a = -3*l - l + 18 for a.
-2
Let s(w) = -w**2 + 6*w + 1. Let m be s(6). Let v be 5*(m/(-1))/(-1). Solve -3*q = -5*p + 17 - 1, v*p = -5*q for p.
2
Let f = -4 + 5. Suppose 0 = -a + 3*q - f - 9, 0 = a - q + 2. Solve z - a + 27 = -5*b, 3*z = 0 for b.
-5
Suppose 0*p + 5*p = 0. Solve -2*n + t - 8 = 7, 2*n - 3*t + 25 = p for n.
-5
Suppose 3*u + a - 8 = 0, -3*u - 2*a - a + 12 = 0. Solve -4*j - 4 = -6*j - u*s, 3*s - 11 = 2*j for j.
-1
Let q(i) = -i**3 + i**2 - 2*i + 3. Let r be q(4). Let t = 77 + r. Suppose -4*p + t = -p. Solve 5*s = 3*a + 10 + 12, -4*s - p = 4*a for a.
-4
Let r = -13 - -13. Suppose r*x = -2*x + 10. Let l(t) = 2*t - 5. Let a be l(4). Solve -2*i = a*i + x*d, 1 = -d for i.
1
Suppose -g - 12 = -3*n - 0*g, -3*n + 12 = -3*g. Suppose 2*t = n*x + 24, -t + 0*x = x + 3. Solve 3*b + 6 = 3*w, -w = t*b - 0*w - 2 for b.
0
Suppose z = 1 + 1. Let t(w) = 0*w + w**3 + 6*w**2 + w**2 - z - w. Let x be t(-7). Solve -j - 20 = -x*j + 4*o, 0 = 3*j + o - 11 for j.
4
Suppose 5*h - 34 = 3*q, -4*h = -h + 5*q. Solve 0*f + 2*d = -3*f - 15, 4*f + h*d + 20 = 0 for f.
-5
Let z = -18 - -16. Let g be z*(16/(-4) - -2). Solve 0*q + q = 5*b - 29, 4*q - g = -4*b for b.
5
Suppose 3*h = -4*y - 4, 2*h = 6*h + 2*y + 2. Solve -3*p - 24 = -3*s, -p - 3*p - s - 17 = h for p.
-5
Let s = -2 + 1. Let d = s - -4. Suppose 5*a - 24 = d*l - 0*l, a + 3*l = -6. Solve 5*f = 2*j + a, 2*f + j - 3 = -0*f for f.
1
Let u = -23 + 15. Let c be (-7)/(-3) - u/12. Suppose 3*r + c = 4*r. Solve -5*p + 25 = -5*a, -a = -r*p + 23 - 8 for a.
0
Suppose 0 = 5*b - 11 + 1. Solve t = -b*j - 10, 2*j + 6*t - t = -26 for j.
-3
Let f(l) = l**3 - 8*l**2 + 5*l + 9. Let d be f(7). Let y = 10 + d. Let v(u) = -u + 1. Let h be v(-3). Solve h*x + 3*w = 5*x - 14, 37 = y*x - 4*w for x.
5
Suppose 4*n - 8 = -0*n. Let u = n + 2. Solve 4*t = -3*o + 19, 1 + 20 = u*t + 5*o for t.
4
Suppose -3 - 9 = -2*c. Let x = 2 - 4. Let s be (x + 1)*(0 + -3). Solve s*f - c = 3*u, -1 + 3 = -3*u - f for u.
-1
Suppose -10 = 2*x, -2*r + x - 3 = -4*r. Let i(h) = -h**3 + h**2 + h - 3. Let c be i(-3). Suppose c = 6*d - d. Solve 3*b = -4*o - 7 - 7, -o + r*b + d = 0 for o.
-2
Let j be (-3 + (-39)/(-15))/(1/(-10)). Solve 5*b + 0 = -j*i + 12, i + 4*b = 14 for i.
-2
Let t be 132/55 + (0 - 4/10). Solve -t*x = -3*d + 10, -5*x = -d - 2*x + 8 for d.
2
Let i(k) = -16*k - 1. Let h be i(1). Let z = 29 + h. Solve 4*n + z = 2*t, n - 5*t = -0*n + 15 for n.
-5
Let c(q) be the third derivative of -q**5/60 - 3*q**4/8 - q**3 - q**2. Suppose 2*o + 5 + 11 = 0. Let p be c(o). Solve 2*f - g = -p, 3*g - 4 = f + g for f.
0
Let g = 17 + -17. Solve -o - 4*i = g, -4*o - i - 22 = -7 for o.
-4
Suppose -14*q + 214 = -66. Solve w = 5*d - 2*w + 8, q = -5*w for d.
-4
Suppose -3 = -2*u + u. Let y be 1/(0 + (-4)/(-92)). Solve -4*j - 5*w - y = 0, j + 11 = u*w - 6*w for j.
-2
Let u = 8 - 5. Suppose -u*s = -8*s + 80. Solve -4*g + s = 2*n, -4*g + 2*n + n = -6 for g.
3
Suppose -8*q - 9*q = -20*q. Solve 2*j = -s + 13, 3*s - s - 10 = q for j.
4
Let w(a) = -a**2 + 9*a - 3. Let x be w(8). Suppose x*b = -5*j + 5, -3*j - 3 = 5*b - 2. Solve v = 2*v + 5*q - 24, j*v + 18 = 3*q for v.
-1
Suppose 8*q = 5*q. Solve y = -q*y + 2*z + 1, -2*y - 7 = 5*z for y.
-1
Let w = 73 + -38. Solve -2*j + 3*r = 2*j - w, 2*j - r = 15 for j.
5
Suppose -4*s + 220 = s. Suppose -5*t + 164 = s. Solve 0 = -3*y - 4*r - t, -y - r = 2*y + 15 for y.
-4
Let y be 1/((-3)/(-6)*1). Let h = 3 + y. Solve 0 = 3*n - 4*n + h*u + 9, -u = n - 3 for n.
4
Let f(v) = -v**3 + 1 - 2 + 3 - 9*v**2 - 8*v. Let n be f(-8). Let o be 0/2 - (n + -6). Solve -3*s - z + 1 = -0*z, -2*s = -o*z - 24 for s.
2
Let q be 15 - -1 - (-4)/(-4). Solve -3*y = 2*i + 10, 3*i - 2*y = -y - q for i.
-5
Let v = 0 - 0. Suppose a + 14 = -4*w, -4*a - 4 = -v*w + 3*w. Suppose 4*b = -b + 45. Solve 3*c - 5 = -4*n + 2*n, a*n - c = b for n.
4
Suppose -2*u = -5*u + 6. Suppose -13 = -u*r - 3. Suppose 0 = 3*i - r*i - j + 4, -i + 3*j + 2 = 0. Solve 4*s - 5*g - i = -1, 3*g + 6 = -3*s for s.
-1
Suppose i = -3*m + 15, 5*i - 3 - 8 = m. Solve 2*k - 1 = q + 6, q - m*k = -15 for q.
1
Let p be (-1 - 0)/(2/(-26)). Solve 5*a = -3*b - p, -3*a = -b - 3*b + 31 for b.
4
Suppose -506*f = -503*f - 9. Solve 7 = 2*p + 4*c - 1, p = -f*c + 4 for p.
4
Let o be 1/(28/(-16) - -2). Suppose 4*y - 100 = o*g, 0 = -4*y + 2*g - 4*g + 100. Solve -5 = v + 4*i - 7*i, 5*v + y = -5*i for v.
-5
Let i(p) = -p**3 + 6*p**2 - 4. Let h(y) = -y**3 + 6*y**2 - y - 5. Let q(c) = -4*h(c) + 5*i(c). Let b be q(6). Solve -2*z = 3*g + 16, 0 = -3*z + 9 - b for g.
-2
Let c = 1 - 3. Let x be 6 - (c + (-9)/(-3)). Solve x*u + 2*y + 3*y + 10 = 0, 0 = 2*u + 5*y + 19 for u.
3
Suppose a + a - 54 = -2*p, p = -2*a + 55. Let n = a + -13. Let w(l) = l. Let i be w(5). Solve -2 = f, -i*v - f = -6*f - n for v.
1
Suppose 2*p = -0*p + 6. Suppose -p*r + 6*r = 27. Suppose 8*w - 4*w - 16 = 0. Solve w = x + r, 5*d + 3*x + 35 = 0 for d.
-4
Let g(y) = 0 - 5*y + 3 + 6*y. Let b be g(-2). Let c be b/(-3) + 91/3. Solve -6*f + c = -f + 2*s, -21 = f - 5*s for f.
4
Let l be 55/20 + 1/4. Let z be (6/4)/((-9)/(-42)). Suppose -z = -5*a + l. Solve 5*k - p - 16 = 0, -a*k - p + 0*p + 12 = 0 for k.
4
Suppose 15 = 4*o - o. Let r be (4 - 3)*(-12)/(-2). Let k(p) = p**3 - 6*p**2 + p - 3. Let z be k(r). Solve -8 = z*x - h - h, 4*x + o*h = -3 for x.
-2
Suppose -3*y = -0 - 3. Let w = y + 3. Let a(b) = 2*b**2 + 2*b - 1. Let v be a(1). Solve 0 = 3*z + v*r - 9, -2*z - w + 22 = 5*r for z.
-1
Let f(r) = -11 - 3*r - r**3 + 0*r**3 + 0*r**2 + 4*r + 8*r**2. Let w be f(8). Let n = -3 - w. Solve 3*q = -3*z - 4 + 1, -4*q - 12 = n for z.
2
Let q(f) = -f + 6. Let v be q(3). Suppose -4*k + 16 = 4*n, -8 = -5*k - v*n + n. Suppose -3*d + 7 = -2. Solve -b - 6 = l, 2*b + k*l - d = l for b.
-1
Suppose 0 = -2*d - d + 9. Suppose 2*w + 3 = d*w. Solve 0 = -l + 1, w*y - 4*l + 9 = -2*y for y.
-1
Suppose -2*i + 4*i - 4 = 0. Let b(t) be the second derivative of 4*t**3/3 - t**2/2 + t. Let c be b(3). Solve -c = -2*r - 3*r - 4*h, 2*r - 4*h = -i for r.
3
Let z be (49 + -5)*1/(-1). Let g be 6/10 + z/(-10). Let a = 3 - 0. Solve -2*o + 5*v = -1, -a*o - 2 = -g*v - 1 for o.
-2
Let o(v) = v**2 - 9*v + 22. Let u be o(4). Solve g + 4*a - 20 = 0, 0 = 5*g - a + 3 + u for g.
0
Suppose -4*g - g = -5*k, 0 = -5*g - k + 12. Suppose -v = -7 + g. Solve -v*f = -2*a + 14, -4*a = 2*f - 5 + 1 for a.
2
Suppose 14*h - 50 = 4*h. Solve 17 = -5*l - f + 4, 0 = h*l - 2*f + 4 for l.
-2
Suppose -5*r = -m + 2, 12*m - 13*m = r - 2. Solve 3*k + 2*n + m*n = -9, 3*k + 9 = 3*n for k.
-3
Let f(v) = -v**2 - 4*v + 4. Let l be f(3). Let n = -9 - l. Let s(c) = c - 6. Let u be s(n). Solve -b + 5*w = -8 + u, 0 = -5*b - 5*w for b.
1
Let r be (4/(-3))/(2/(-6)). Solve n = 2, -3*s + r*s + 4*n = 4 for s.
-4
Suppose 5*s - i - 3*i = 53, 0 = 3*s - 2*i - 33. Solve -2*g + x - s = 0, 2*x + x - 29 = 4*g for g.
-5
Suppose -3*m = -0*m. Suppose -5*t + m*t = 0. Let z(h) = -2*h - 10. Let a be z(-7). Solve -4*i + 36 = -n + 5*n, t = -n + a*i - 16 for n.
4
Suppose -x - 1 = -10. Solve -4*n + 