k + 2 = -z - a*z for k.
0
Suppose 0*n - 2 = 2*n. Let d be 6/(n + 0 + 3). Solve 3*w + 7 = -4*o - 11, 5*o = d*w - 9 for o.
-3
Suppose -u = s - 2 - 2, -4*s + 4*u = 8. Let k be (-92)/(-32) - s/16*-2. Solve 2*p + l = 6, k*l + 10 = -2*p + 3*p for p.
4
Suppose -5*n + 20 = -20. Suppose -n = 2*m, -2*h - m - 4 = 3*h. Suppose -3*v + 6*v - 24 = h. Solve -20 = 5*d, 5*w + v = -2*d - 0 for w.
0
Suppose 2*b - 35 - 17 = 0. Suppose 2*j - 32 = -b. Solve j*m - 9 = 7*m + t, 0 = -5*m - 2*t - 9 for m.
-3
Suppose 0 = 4*d - 31 - 37. Suppose -3*n + 27 = 4*s, -d = -2*s - 3*n - 2*n. Solve -3*f + 12 = 7*z - 4*z, 2*f = -z + s for f.
2
Let l(h) = 2*h. Let g be l(6). Suppose -4*r - 1223 = -391. Let j = 213 + r. Solve j = -5*q, 2*p + 1 = q + g for p.
5
Suppose -5*q = -a - 25, 3*a - 3*q = -213 + 198. Solve -5*d + a - 9 = -m, 9 = -5*m - 2*d for m.
-1
Let d(r) = -r**3 + 2*r**2 - r + 44. Let w be d(0). Let c = 46 - w. Let p = 14 + -8. Solve x + p = c*h, h - 2*h = -4*x - 17 for x.
-4
Suppose 0*a = -5*a + 5. Let w be 15/10 - a/2. Let l(t) = 2*t**2 + 1. Let i be l(w). Solve -2*c + i*x - 1 = 0, -x - 2*x - 1 = -c for c.
-2
Let j(r) = 2*r**2 - 83*r + 43. Let c be j(41). Solve 5*u + 6 = 4*t + 4*u, -4*t - c*u = 0 for t.
1
Suppose 0 = 2*k + k - 6, 2*k = g - 11. Let i = g + -5. Let h = 32 - i. Solve h = 2*o + 4*a, -3*a = -3*o + 2*a for o.
5
Let n be (-24)/(-14) - (-58)/203. Solve -19*p - 11 = -24*p + c, -n*p + c = -5 for p.
2
Suppose -7*l + 8*l + 34 = 0. Let j = 37 + l. Solve 2*f + 24 = 5*w, 6 = j*w - 6 for f.
-2
Suppose 0 = -6*v + 8*v - 6. Let d = 10 + -16. Let p = d + 12. Solve 0 = -3*t + p, 2*l + v*l - 4*t = 2 for l.
2
Let y = 1153 + -1139. Solve -5*f = 5*l - 57 + 22, 5*f = 2*l + y for l.
3
Suppose 0 = 2*w + 5*y + 9, 0 = 4*y - 1 + 13. Solve -3*v = w*h + 6, 3*v - 2*h + 7*h + 6 = 0 for v.
-2
Let k be ((-2)/(-6))/(5/(-15)) - -1. Suppose k = -5*x + 13*x - 40. Solve v = 3*y - 11, 2*y - 3 = x*v - 0*y for v.
1
Let x be 28/6 - (8 - 220/30). Solve 0 = -5*d + x*n - 23, -2 = -d + 5*d + 5*n for d.
-3
Suppose -24*o + 17*o = -35. Solve 2*c - 4 = -x - 7, 0 = -o*c for x.
-3
Let n(c) = -c + 14 - c + 3*c. Let k be n(-11). Suppose -5*o - 11 + 116 = 0. Solve -3*g = 4*y - 0*g + o, 2*g = y - k for y.
-3
Let v(g) = 5*g**3 + 5*g**2 - 3*g - 3. Let w be v(1). Solve -3*z - 2*s = -4*s - 2, 4*s + w = -4*z for z.
0
Let k be 1/4*(7 + 1). Let q(j) = j**2 - 6*j. Let m be q(7). Solve -5*g - m = -v + k*v, 5*v + 4*g + 14 = 0 for v.
-2
Suppose b + 4 - 9 = 0. Solve -2*q - 1 = 3*t + 1, 35 = -b*t + 3*q for t.
-4
Let q(p) = -p**2 + 12*p + 33. Let b be q(14). Solve 0 = 5*o - l - 2 + 1, 4*o + b*l + 5 = 0 for o.
0
Suppose 17 = 4*b - x, 2*x = 2*b + 2 - 12. Suppose 4*q - 370 = q + 5*n, -3*n = 15. Let f = q - 113. Solve 4*u = f*g, -3*u + b*g = u - 4 for u.
-1
Let o(g) = -g**2 - 10*g + 41. Let n be o(-13). Solve -n*y = -y - 4*m + 3, -4 = -5*y + m for y.
1
Let m = 1455 + -1440. Solve 25 = 5*t + m*f - 18*f, -t + 2*f + 12 = 0 for t.
2
Let d be (-39)/4*32/(-24). Solve -6*j + 5*p = -4*j - d, -2 = -j + p for j.
-1
Let g(v) = -v**3 + 3*v**2 + 2*v + 1. Let i be g(-1). Suppose 9*k = -i*k. Solve k = 2*m - o + 2, 4*o = -6*m + 2*m + 20 for m.
1
Let q(j) = -j**3 + 5*j**2 - 8*j + 41. Let t be q(5). Solve 1 = 6*g - 4*g + 3*x, -t = 2*g + x for g.
-1
Let v be (24/9)/((-4)/72). Let b = -45 - v. Solve -b*f + 4*s + 3 = s, 4*s = f - 16 for f.
-4
Let d(u) = -u + 21. Let n be 3*1 - (2 - -8). Let j be d(n). Let a be (-21)/6*(-24)/j. Solve 4*w = -w + 5*l - 20, a*w = -4*l + 16 for w.
0
Suppose r = -3 + 5. Solve 0 = -r*m - 4*n - 6, 5*m - 3*n - 7 = -35 for m.
-5
Let a = 550 + -550. Solve a*b + b = -3*z + 5, 8 = -4*b + 2*z for b.
-1
Suppose u - 3 - 8 = l, 3*u - l - 29 = 0. Solve -25 = 5*t - n, -t = -0*t - n + u for t.
-4
Let b be 0 + (-3)/(-9)*9. Suppose -3*p - 5*u = -34 + 3, -2*p - 11 = -b*u. Solve -3*g + q = 2, -5 = p*g + 5*q - 2*q for g.
-1
Let a = -17 + 17. Suppose 4*z = q - a*q + 17, 0 = 2*q + 2*z - 6. Let k be (-20)/8*(q + -1). Solve 0 = -3*j + 5*p + 22, 3*j + k*p - 3*p + 13 = 0 for j.
-1
Suppose 6*k - 10*k = 16. Let r be (1/k)/((-3)/24). Solve 5*m + v - r*v = -17, 4*v = 3*m + 17 for m.
-3
Let c = 7 + -2. Let h = c + -10. Let o(w) = w**3 + 5*w**2 - w - 5. Let i be o(h). Solve i = -5*b + 3*t - 9, 4*b + 3*t = -2*t - 22 for b.
-3
Let m = 48 + -27. Let o = 26 - m. Solve 2*s - n = 15, -s - o*n - 20 = -0*n for s.
5
Let k(y) = 3*y + 53. Let r be k(-17). Solve -3*u = -4*u - 4*w - 16, -2*u = r*w + 2 for u.
4
Suppose -40*x = -1003 + 123. Solve -2*g = 3*g - 15, 5*a + g = -x for a.
-5
Suppose -12 = -5*v - 4*m, 5*v + 2*m - 9 = 7. Solve a + s - v = 0, 3*s - 3 = -a + 3 for a.
3
Let a(u) = u**2 - 11*u + 15. Let c be a(10). Solve -3*b = c*f + b - 1, 2*f = b - 10 for f.
-3
Suppose 0 = -3*q + 5*c + 3, 5*q + 0*c = -2*c - 26. Let o be 285/76*q/(-3). Solve 11 = 3*d + 5*m, -5*d + 3*m = 22 + o for d.
-3
Let k(n) = -n**2 + n + 11. Let y be k(3). Solve -u - 3*j - j = 15, -30 = -y*u + j for u.
5
Suppose 0 = -155*l + 125*l + 150. Solve 4*s + 5*q - 1 = 0, -6*q = -l*q + 3 for s.
4
Let a be (-26)/(-3) - ((-4)/(-3))/(-4). Suppose m - a = -2*m, -16 = -5*z - 2*m. Solve -z*u + 5*x = 12, 0 = -3*u + x - 0*x + 8 for u.
4
Let w(v) = 41*v + 92. Let t be w(-2). Solve -3*d + 15 = 0, 2*i - 2*d = 4*i - t for i.
0
Let y(f) = 2*f + 19. Let c be y(-7). Solve -v - g = 3*g + 11, c*g - 2 = 4*v for v.
-3
Let f(y) = 4*y - 133. Let h be f(34). Solve 3*i + 2*t = 4, h*t + 6 = -4*i + 12 for i.
0
Let y(a) be the first derivative of -1 + 0 - a + 0*a**2 - 5 + 3*a**2. Let s be y(1). Solve 3*j - 4*c + 12 = -3*c, 5 = -4*j + s*c for j.
-5
Let r = 14 - 89. Let h = r - -78. Solve -17 = -m - h*z, 2*m - 9 = z - 2*z for m.
2
Let r = -6 + 26. Suppose 3*f - 9 = -3*z, -3*f - 2*z + 16 = -6*z. Suppose -3*j + 0*j + a = -r, -j + 24 = f*a. Solve -n + 2 = n + 3*o, 4*n + j = -3*o for n.
-5
Let f be 2 + -4 + 12/3. Let h = 25 - 35. Let k(p) = p**3 + 11*p**2 + 5*p - 10. Let v be k(h). Solve 10 = 4*q - 5*z + v, 0 = -f*q - 2*z - 6 for q.
-5
Let y(b) = -b**2 - 8*b - 4. Let d = -19 - -12. Let c be y(d). Solve -q + 12 = c*q - 2*n, 0 = -5*q + 5*n + 10 for q.
4
Let x be -15*(60/(-270))/((-2)/(-3)). Solve i = -3*k + x, -k + 3 - 6 = -2*i for k.
1
Let r = 9 - 9. Suppose -13*x + 9*x + 32 = r. Let m = 10 + x. Solve 5*i = -2*w + m, -2*w = 3*i - 3*w - 13 for i.
4
Let x = -49 - -52. Solve -x*s + 2 = -4*s + 3*r, 3*s - 4 = 4*r for s.
4
Suppose -2*g = -2*a + 30, 0*a - 2*a - 4*g = -24. Solve -a = r - 5*q + 7, r - 2*q = -9 for r.
-1
Let i be (3 - 4)/((-4)/8). Suppose -6*a = -i*a - 432. Let d be 14/(-3)*a/(-126). Solve 3*n = 3*v + 3 - 0, d*v + 4*n = 4 for v.
0
Let v(h) be the third derivative of h**4/8 - h**3 + 4*h**2. Let r be v(4). Let f be (0 + -2)*(-15)/r. Solve f*j = u + 24, u - 6*u + 4*j - 36 = 0 for u.
-4
Let q be (-10)/2*43/(-43). Solve i = q, 2*i + 0*i + 2 = -4*g for g.
-3
Let z be (-8)/(-28) - (2 + (-3963)/21). Suppose 4*j = 4, 2*h + 2*j - z = -3*h. Let g be (-6)/(-1) + (-3)/3. Solve 4*n - u - 21 = 0, g*n = u - 12 + h for n.
4
Let f = 21 + -24. Let d be (f/(-2))/(6/(-4)). Let w be d + -1 - -6*1. Solve 7 = w*y - n + 20, -3*y + n = 11 for y.
-2
Suppose 20*c - 112 = 6*c. Solve -5*y + 12 = -y + f, -3*f = 5*y - c for y.
4
Let r be (-45)/35*182/(-78). Solve -r*t - 13 = 5*z, 0 = 5*t + 3*z + z + 13 for t.
-1
Let x(o) = 1. Let u(j) = j + 17. Let y(a) = -u(a) - 4*x(a). Let c be y(-23). Solve -c*l - 5*s + 14 + 3 = 0, l = -s + 4 for l.
1
Suppose -2 = -4*s - 18. Let m be (-2)/s*6 - 6. Let z be 14 - 3*m/(-9). Solve 2*t - 3*l + 10 = l, z = -t + 4*l for t.
3
Let p = 11 - 7. Let l be (-507)/(-52) + 1/p. Solve 2*k - 7 = 3*b, -k + l = -3*b - 1 for k.
-4
Let t be 22*(-4)/(-1 - 7). Suppose -t = -j - 7. Suppose -j*p + 11*p - 35 = 0. Solve -4*h + 2*f = -2*h + 8, p*f = 3*h + 22 for h.
1
Suppose u = -3*u + 3*n + 19, -15 = -4*u - n. Solve 11 = -u*y - 5*c, -y - 5 = 2*c - 0 for y.
1
Let j(o) = -o**2 - 26*o + 90. Let u be j(-29). Solve 4*s = -2*n + 4, -u*n + 8 - 2 = s for s.
0
Let f = -19 - -31. Let h be 68/f - (-4)/3. Solve -d + 26 - h = 3*w, 0 = 4*d - 5*w + 9 for d.
4
Let h(x) = -2*x**2 + x + 8. Let z be h(0). Let t(r) = -r + 10 + 0 + 1. Let p be t(z). Solve 4*g - 3*k = 1, p*k = k + 2 for g.
1
Suppose -20*i = -132*i + 2240. Solve 5*s + i = -5*o - 25, -o = -s - 1 for o.
-4
Suppose 0 = 4*f + 42 - 58. Solve -4*r - z - 1 = 16, -f*r - 35 = -5*z for r.
-5
Suppose -63*h = -6