p = -3*m + 4*d - 0*d for m.
2
Let a = 25 + -13. Suppose a = 2*j + 2*h, 5*j + 11 - 1 = 5*h. Suppose -j*p + 5*p = 15. Solve p*s - 4*c = -6*c - 20, -s - 4 = 2*c for s.
-4
Let y be 25/15*(3 - 0). Solve 1 = 2*g - g + 3*f, 0 = 2*g + y*f - 1 for g.
-2
Let x = 1 - -1. Suppose 0 = k - x. Suppose 4*w = w + 9. Solve 2*d - k*g + 12 = 4*d, 2*d - g = w for d.
3
Let v = -70 - -74. Solve b = -4*u + v + 5, -4*u + 12 = 4*b for u.
2
Let b be 2/(-10) - (-6)/30. Let q = b - -4. Solve -3 = x + 4*f - 2*f, x = -f - q for x.
-5
Suppose -32 = -2*l - 5*b, 5*b + 2 + 2 = 4*l. Solve -7 = v + 3*i, 3*v - 4*i = l*v + 11 for v.
-1
Let f(u) be the third derivative of u**6/120 - u**5/10 + u**4/8 - 3*u**2. Let h be f(5). Let d be -10*(h/4 + 2). Solve -4*z - 13 = -3*x - 0*x, -z - x = d for z.
-4
Let g be -2 + 5 - 5 - (2 + -8). Solve -c = 3*t + g*c + 23, 4*t + 5*c + 24 = 0 for t.
-1
Suppose -4*v + 6 = -v. Suppose -j = -v*j. Suppose 6*b - 3*b - 6 = j. Solve 0 = 5*n - 5*z + 15, -29 = -b*n + z - 6*z for n.
2
Let n(t) = t**3 + 4*t**2 + 4*t + 2. Let j be n(-3). Let m(l) = -15*l**3 - 1. Let u be m(j). Let k = 8 - 6. Solve -5*a - 3 = -h - u, -7 = 3*h - k*a for h.
-1
Suppose -57 = -5*r + 2*r. Suppose 4*u - 10 = -2*d, 2*u - r = -5*d - 2*u. Solve 4*i - z = d*z + 8, 5*z - 20 = -5*i for i.
3
Let g be 4/10 + 18/5. Solve 0 = -a - 2*s + 7, a - 5*s + g = -10 for a.
1
Let g = -25 - -17. Let p = g + 9. Let b be p/(2/(-6))*-1. Solve -l = b*a, -3*l = -5*l for a.
0
Let p be 10/15*-6 + 7. Solve -p*i = z - 9, -3*i + i - 1 = 3*z for i.
4
Let m = 21 - 6. Let g be m/(9/3) - -1. Suppose x + 17 = 4*b + 1, 0 = 5*x - 4*b + 16. Solve a = -x*a + r + g, 5*a + 4*r = -6 for a.
2
Let g(b) = 23*b**2 - b - 1. Let y be (-1)/(-1 - 0) - 2. Let f be g(y). Suppose 3*m = -3 + 15. Solve -m*u - f = -0*u - p, -28 = 5*u - p for u.
-5
Let m be -1*(-2 - 0 - 1). Suppose 5*s + m*f = 2*f + 2, -3*s - 6 = -3*f. Solve 2*c + 4*b + b = -10, s = 5*c + 5*b + 10 for c.
0
Let n(y) = -y**2 + 5*y + 6. Suppose 3*u - 4*u = -6. Let o be n(u). Suppose 44 = 2*t - o. Solve -37 = -4*l - 5*h, l + 3*h - t + 4 = 0 for l.
3
Suppose -w = 2*f + 4, -5*w + 3*f - 10 = -42. Solve -2*u + 2*k + w = 0, -3 - 4 = -2*u + k for u.
5
Let x be 57/21 - 4/(-14). Suppose 3*w - 6 = -0. Suppose -w*m = m. Solve 4*g + 16 = -3*j, m*g + x*g + 2*j + 12 = 0 for g.
-4
Let u = 3 + -3. Let v be 153/3*2/(-6). Let w = v - -24. Solve u*g - w = -3*s + g, -2*s + 23 = 3*g for s.
4
Suppose x = 4*b + 21, -2*x = -3*b - 79 + 12. Suppose x = 5*j + 96. Let w = 16 + j. Solve 3*t = 9, -10 + 1 = -3*i - w*t for i.
-2
Suppose 2*c + 3*p = -6, -3*p + 5*p + 23 = 5*c. Solve 0*n - 6 = -3*a - 3*n, c*a = n + 18 for a.
5
Let i = 23 + -17. Solve -2*s - 6 = 0, -i*s = -2*c - 2*s + 14 for c.
1
Suppose -2*f + 4*f + 10 = 0, -8 = t + 3*f. Let p = 249 - 237. Solve -2*h = 6, t*w + h = 2*w + p for w.
3
Let q(k) = k**2 + 5*k - 6. Let p be q(4). Solve h + 6 = 5*w + p, -w = -4*h + 1 for w.
-5
Let z be 12/(-8)*-4 - 4. Solve -11 = -3*f - z, f - 3 = -3*w for w.
0
Suppose -2*l + 3 = -2*h - 5, -2*h = -l + 2. Solve 0 = 3*t + j + 8, -t - l*j = -2*j + 21 for t.
-1
Suppose 4*d - 3*d = 2. Suppose 0 = 4*f - d*f. Solve 3*i - 3*o - 21 = 0, 3*o = -f*o - 12 for i.
3
Suppose 4*l - 29 - 15 = 0. Let w = l + -6. Solve -3*a = -3*k - 12, -k - 7 - w = -3*a for a.
4
Suppose 4*r = j + 24, -j + 14 = 4*r - 10. Suppose -3*d + 4*d = -2. Let x be d/((r/15)/(-2)). Solve -3*q + x = -2*k, -3*q = -5*k - 8 - 8 for q.
2
Suppose -3*s - 3*u = -3, 8 = s + 5*u - 5. Let y be (3/s)/((-3)/14). Solve -5*o - y = -c, -10 = 4*o - 2*c - c for o.
-1
Suppose -2*u + 2 = -4*v, -7 + 23 = 4*u + 4*v. Solve 3*p + 4*t + 5 = 0, -5*t - 1 - 12 = -u*p for p.
1
Suppose -5*s + s + 8 = 0. Solve -5*y = -s*z - 20, 12 = -2*z + 2 for y.
2
Let n = 11 + 6. Let m = n - 14. Solve -m*y = -x + 3, -x - 1 = -5*y - 6 for x.
0
Let j be ((-12)/20)/((-1)/5). Suppose 4*k = -4*l + 1 + j, -8 = -2*k + 4*l. Solve 2*i - 4*x = -k*i + 24, 0 = -i - 3*x - 2 for i.
4
Let k(b) = -b**2 - 7*b - 3. Let u be k(-7). Let h be u - (-2 + (2 - 3)). Solve -2*n + o + 0*o - 13 = h, -17 = 4*n + o for n.
-5
Let n(g) = g**3 - 7*g**2. Let l be n(7). Solve 5*i - 5*j = l, 2*j - 3*j = -4*i + 6 for i.
2
Suppose -u = -0*u - 39. Suppose u - 11 = 3*s - 4*m, s - 3*m = 16. Solve 0 = 4*q - w - s, 4*q - 2*w = w + 12 for q.
0
Suppose 2 = -4*r + 10. Suppose -2*n - 10 = -18. Solve 2*w + 5*c = -0 - 1, n*c = -r*w for w.
2
Let l(w) = w**3 + 6*w**2 + 9. Let y be l(-6). Let d = -6 + y. Solve -3*c - c = -4*s - 24, 2*s - d*c + 13 = 0 for s.
-5
Suppose 0 = -25*u + 20*u + 20. Solve -4*a = 6*b - 3*b - 23, u*a - 5*b = 15 for a.
5
Let n(r) = -r**2 + 4*r + 1. Let j be n(5). Let y be ((-12)/9)/(j/6). Let h be (-5)/(-2)*(-24)/(-15). Solve -t + 4*u = -h, -y*u + 20 = -3*t - 6*u for t.
-4
Let u be (-2)/(-4) - (-15)/6. Suppose t = -t + 8. Let p = -744 + 748. Solve t*b - p*a + 8 = -a, -b + a = u for b.
1
Let w be (0/((-2)/2))/3 - 0. Solve -22 = -2*b + 5*d, -2*b + 5*b + 3*d + 9 = w for b.
1
Let a be 1 + (-1 - -1) + 36. Suppose a = u - 7. Suppose 0 = 4*j - 20 - u. Solve m + 4 = d - 3*d, -4*m - j = -4*d for d.
0
Let d = 1 - -2. Suppose 0*n + 4*n = -3*b + 15, -4*n + 11 = -b. Let h be (2 - -1) + b + 1. Solve -5 + 25 = 5*c - 3*m, d*c - 28 = h*m for c.
1
Let n(y) = y**2 + 9*y - 7. Let b be n(-11). Solve 3*f - h = -3, -3*h + b = 4*f + 2*h for f.
0
Suppose 3*a - 3*z - 54 = 0, 6 = -0*a + a + 2*z. Suppose -2*g - 5*g + a = 0. Solve x + g = -2*m, 4*m - m + 17 = 2*x for x.
4
Suppose 3*c + 4*q + 2 = 0, 5*c - 5*q - 15 = 5. Suppose -3*d + 3 + 3 = 0. Let z = d - c. Solve 5*m = -2*n - 2, z = 4*m + 3*n - 2*n + 1 for m.
0
Let p(w) = 3 - 2 + 5 - 5 + 4*w. Let o be p(1). Solve -q + 0 = m - 6, -o*m - 2*q = -27 for m.
5
Let o(b) = b**2 + 5*b + 4. Let f be o(-5). Solve -3*u - 2*a = -f*a - 5, -4*u - 24 = 5*a for u.
-1
Let j(q) = q + 4. Let t be j(-4). Suppose 5*p = -t + 10. Solve p*b + 2*u = 4, -5*b - u + 10 = -8 for b.
4
Let u = -10 + 12. Suppose 5 = -z + u*z. Suppose 0*w - 6 = -q - w, -z*w + 9 = -2*q. Solve -3*v + q*l = -0*v + 6, -v - 2*l = -10 for v.
2
Let y = 86 + -48. Let m = -26 + y. Suppose 2*g - m = 12. Solve 0 = 4*t - 4*n - g, 4*t + 0*n - 2*n = 12 for t.
3
Suppose -5*v + 35 = -2*x + 8, 0 = -5*v - 4*x + 21. Solve -4*p + 2*p + 10 = v*t, 3*p + 6 = 3*t for p.
0
Let i(k) = -k**3 + 4*k**2. Let x be i(3). Let a = -6 + x. Solve v + 0*v = 3, 2*q + 17 = a*v for q.
-4
Let z(n) = -3*n**2 + 11*n - 4. Let m be z(3). Solve m*d = 3*l - 1, -2*l - d - 14 = l for l.
-3
Suppose -5*x - a = -20, -36 - 4 = -3*x + 5*a. Solve x*u = -c + 11, 0 = u - 0*u + 5*c - 7 for u.
2
Let f(a) = -2*a. Let d be f(-1). Solve 0 = -y - 4*j, d*y - 4*y = -5*j for y.
0
Let q(y) = y**2 - 1. Let j be q(4). Suppose 7*r - 4*r = j. Let l be (3 - 2)/((-3)/(-9)). Solve r*a = -w, -a + 10 = -6*a - l*w for a.
1
Suppose 0 = 2*h + 2*h. Suppose h = -w - 2*j - 8, -3*w + 9 = -w - j. Solve 3*k + 8 = -w*b, 3*b - b + 4*k = -12 for b.
2
Let x = 15 + -9. Let w be 3/(-9) + 50/x. Solve 0 = -2*b + 4 - w, -b = 5*j - 13 for j.
3
Let h be (4/2 - 3)*-4. Let n be -2*13/(-130)*10. Let i = -8 + 13. Solve -x - i*d = -4, h*x - n*d = 2*d - 8 for x.
-1
Let f = 22 - 12. Solve -3*d - d - 3*t = 0, -t + f = -2*d for d.
-3
Suppose -3*a = 2*b - 5*b + 6, -6 = 4*b + 3*a. Suppose b = -m - 0*m. Solve m*y + y + j = -1, 0 = -4*y - 5*j - 3 for y.
-2
Suppose 3*l - 8 = 5*l + 2*x, 0 = 4*l + 3*x + 12. Solve 4*w + l*w - 2*i + 18 = 0, 5*w = i - 21 for w.
-4
Suppose -q - 2 = -3. Let m be 18 - (-1)/q*1. Solve -2*a - 1 = -4*s - m, 4*a + 4*s = -24 for a.
-1
Suppose 6*g - 21 + 3 = 0. Solve g*q + 8 = -2*q - c, -3*q - 4*c = 15 for q.
-1
Suppose -3*k = 3, 4*k = -2*t + t + 1. Suppose -4*o = -t*p - 106, 2*o + 5*p - 68 = -0*p. Solve l = -5*v + o, -5*v = -l - 9 - 12 for v.
5
Let g be ((-4)/6)/((-2)/6). Suppose -6*c + g*c + 36 = 0. Solve 3 - 23 = -5*u, -r - c = -u for r.
-5
Suppose 0 = 5*u - 2*u - 33. Suppose -z = 5*k - u - 1, -3*z + 12 = 3*k. Solve -3*l - 2*j - k*j - 24 = 0, -5*j - 15 = 0 for l.
-4
Let y(d) = -d + 2. Let v be y(1). Let r be (2 + -2)*v/2. Suppose 2*g + 4 = 2*h, r = -h - 0*g - 4*g + 22. Solve -3*p + 4 = -5*p - 5*j, 3*p + h = -j for p.
-2
Let d be (-12)/(2 - 5) + -1. Suppose 4*b - 3*b - 4*t = -d, -2*t + 29 = 5*b. Solve 0*j + 4*m - 7 = b*j, -4*j - m = -7 for j.
1
Suppose -3*o - 2 + 11 = 0. Suppose -3*u + g - 13 = 0, -4*g - 10 = g. Let r = 9 + u. Solve -o*n - 6 = -3*c, 