+ f*z, -5*p - z = 20 for p.
-3
Suppose 12*x - 4 = 32. Solve 4*q - x*a + 12 = 0, -q + 3*a + a = 16 for q.
0
Let d = -87 + 95. Suppose d = 3*z - y, -5*z = -2*y + 4*y - 17. Solve -5*m = -20, -3*h = -0*h - z*m + 12 for h.
0
Let r(d) = d**2 + 1. Let w be r(1). Let a be w/8 + 15/4. Suppose 5*p - 14 - 6 = 0. Solve -p*l + l = n - 7, -a*n - 24 = -l for n.
-5
Let t be (-1)/2*-1*6. Let x(l) = -l**2 + 6*l + 13. Let p be x(7). Suppose -f - 3*q = f + p, 3*q = -5*f + t. Solve 5*a - 27 = f*k, k + 4*a - 32 = 6*k for k.
-4
Suppose 11 = -16*h - 149. Let y = -2 - 4. Let d be (h/y)/((-1)/(-3)). Solve 5*t - 5 + 35 = -d*n, -4 = 2*t for n.
-4
Let b(c) = c**3 - 6*c**2 + 7*c + 5. Let t be b(4). Let y be ((-36)/(-96))/(t/8) - -4. Solve 3*h - y = 3*f + h, -h + 5 = -3*f for f.
-1
Let o(d) = -4*d - 5. Let f be o(-2). Suppose -f*z + 4*s + 9 = s, 7 = z - 3*s. Solve -3*m = -4*c - z - 1, 4*m - 7 = c for m.
2
Let h be (-7 - 150/(-22)) + (-2)/(-11). Solve h = 3*y - 5*c + 2*c - 21, -2*c - 9 = -y for y.
5
Suppose -98*q = -31*q. Let b(i) = -2*i - 6. Let l be b(-4). Solve -l*n + 4*x + 4 + 4 = q, n + x + 5 = 0 for n.
-2
Let b = -105 - -104. Let j be (-3)/3 - (-1 + b + -2). Solve 2 = 5*g + 3*a - 3, 2*g + j*a = -7 for g.
4
Let v(a) = -4*a + 42. Let d be v(7). Solve 4*q - d = 2*f, -5*f - 2*q = 3*q + 20 for f.
-5
Let u be 6/27 + (-214)/(-9). Suppose 2*a - u = -a. Suppose 0 = -y + 2 + a. Solve 5*z - 10 = -4*v, 4*v + 5*z - y = -v for v.
0
Let g = 5 + -3. Let c = g - -13. Solve 2*h + a = -7, -5*h - a - c = 4 for h.
-4
Suppose 0 = 2*b + 3*b. Let n = 0 - b. Suppose 5*q - 18 = 2. Solve -q*d - 3*i - 35 = 0, -2*d + 3*i = -n*d - 5 for d.
-5
Suppose 0 = -p + 2*p - 2. Suppose -3*f = p*f. Suppose -w - 2 = 3*m, w = 4*m - 37 + 49. Solve -8 = -2*u + w*x, f*u = 2*u - 5*x - 9 for u.
2
Let u = 37 + -32. Let q(k) = 12*k - 44. Let r be q(u). Solve -2*s + 4 + 0 = -m, 0 = 4*m - s + r for m.
-4
Let x = -7 - -19. Let t(c) = c**2 + 5*c - 2. Let z be t(-6). Solve 3*m + 4*f = -m - x, 2*m = z*f for m.
-2
Let g = 104 + -99. Solve 3*y - 2*f + 7 = 0, -3*y + g*f = -2*y - 15 for y.
-5
Let r be 0/((-3)/12*(-16)/4). Let g be (-8)/(-3) + 4/12. Let w = 8 - g. Solve -w*i + r = -2*a + 11, -15 = 5*i for a.
-2
Let l(b) = b**3 - 4*b**2 - 4*b + 6. Let f be l(4). Let u(z) = 2*z**2 + 19*z - 8. Let r be u(f). Solve -4*s - r*j = -j - 18, 0 = 2*s - 4*j for s.
4
Let i(b) = b**2 + b. Let t(a) = -a**3 - 3*a + 2. Let n(w) = 4*i(w) + t(w). Let x be n(5). Let m be x/63 - 23/(-7). Solve 2 - m = c, 4*q = 3*c + 23 for q.
5
Suppose -3*q = 5*b - 2, 0 = 2*q + 5*b - 4 + 6. Let c be -2 - (0/q + -4). Solve -4*a - 3*h = c*h - 41, 5*h = a + 21 for a.
4
Let t be -2*(-6)/(-15)*-5. Solve -4*f + t*q = -12, -2*f + f - 3*q + 11 = 0 for f.
5
Suppose 0 = -5*d + d - 3*k - 8, -d + 9 = -2*k. Let a = d - -1. Solve -2*p - 4*t - 20 = -6*p, -6 = a*p + 2*t for p.
1
Let a = 258 + -256. Solve 5*n - 2*n = -a*t - 8, -5*n - 20 = 0 for t.
2
Suppose -15 = 2*k - 3. Let j(a) = -a**2 - 5*a. Let v be j(-4). Let r be (-15)/10*v/k. Solve -3*s = 2*f - 17, 0 = -2*s + 2*f + 7 + r for s.
5
Let z(j) = j**3 - 5*j**2 - j + 9. Let p = -30 - -35. Let r be z(p). Suppose 4*o - 2*u = 2*u - 4, -2*u = -r*o. Solve 5*n - 5*a - 40 = 0, 3 = 3*n + a - o for n.
3
Let j = 34 + -10. Suppose a = j - 8. Let o = -12 + a. Solve 0 = -2*p - 4*s - 26, -3*p - 3 = -2*s + o for p.
-5
Let a be 3*-1 + (-253)/(-23). Suppose a*o = 24 + 48. Solve o + 23 = -3*z - 5*r, 4 = -4*z + 3*r for z.
-4
Suppose h = -4*j + 2, -6*h + h - 2*j + 10 = 0. Suppose -2*w + l = -7, 0*l = -h*w - 3*l + 11. Solve -w*u = 2*a - u - 17, -5*a = -4*u - 8 for a.
4
Let z(w) be the third derivative of 0*w + 0 + 1/120*w**6 - w**3 + 1/3*w**4 + 1/6*w**5 - 7*w**2. Let u be z(-9). Solve 0*y + 2*y = -p, u*y = -p + 1 for p.
-2
Suppose 2*s + n + 45 = -s, -5*s + 5*n = 55. Let c = s - -19. Solve 5*k + 14 = 2*m, -4 = 2*m - k + c*k for m.
2
Suppose -u = 9 - 30. Let i(p) = -p**3 + 5*p**2 - 2*p - 2. Let q be i(2). Solve q*s = 4*m + s + u, 5*s = 5 for m.
-4
Suppose 34 + 148 = 13*z. Solve u - 4*u - z = k, 0 = 3*k - 2*u - 2 for k.
-2
Suppose 6 = -2*z - o - 4, 0 = 3*o + 12. Let l be 8/24 - 5/z. Suppose -l - 3 = -5*m. Solve 4*y - 2 = 3*d + m, 5*d = -2*y - 31 for d.
-5
Let o(l) = -l**3 + 33*l**2 - 31*l + 33. Let b be o(32). Let s = 67 - b. Solve 5*u + s*n = 0, 2*n - 4*n = 4*u for u.
0
Let i be 2/18 + ((-153)/(-81) - 2). Solve r + 3*b + 0*b - 9 = 0, i = 2*r + 5*b - 15 for r.
0
Let y(t) = -t**2 + 7*t + 6. Let a be y(7). Let p be -2 - a*(-12)/18. Solve 17 = u - 0*d - 3*d, -2*u - 6 = p*d for u.
2
Let t be ((-74)/4)/(2/(-4)). Let v = 159 - 159. Solve 6*p - 41 = 2*p - 5*y, v = -3*p - 5*y + t for p.
4
Suppose l = 5*u + 7 - 25, 26 = 4*u + 5*l. Solve 2*p - u = -3*c, 4*c = -p + 3*p + 10 for c.
2
Let q be 2*(2/4 - -1). Let t = 43 + -45. Let v be ((-1)/t)/(q/12). Solve 0 = -3*w + 3*s + 9, 0*w + 3*s = -v*w - 9 for w.
0
Let q(v) = v**2 - 3*v - 17. Let a be q(6). Let f be 20/(-2)*a*10/(-25). Solve 0 = 3*s - f*m + 14, -m - 8 = 5*s - 0*m for s.
-2
Suppose 360 = -d + 13*d. Solve -5*g + d = -2*m, g = -2*m - 3*g + 6 for m.
-5
Let n be (-18)/27*(-4 - 2). Solve n*m = p + 12, -p + 0*p - 3*m = -9 for p.
0
Let w(l) = l**3 + 7*l**2 + 6*l. Let f be w(-6). Suppose -58*x + 201 = 9*x. Solve -3*p + f + 6 = 2*b, 5*p = x*b + 29 for b.
-3
Let c be -2*(-3 + (1 - 0))*1. Let x be (0 - 3) + 1 + c. Solve 4*r = 2*j - 0 + 12, -x*r = j - 14 for r.
5
Let d be 13 + (2/(-5))/((-6)/(-30)). Solve -3*l - 4 = n, -n + 5*l + d + 1 = 0 for n.
2
Let q be 7/((-56)/48) - -12. Solve 4*d - 4*f - 16 = 0, f + q = 11*d - 9*d for d.
2
Let k(z) = z + 5. Let o be k(-11). Let d be ((-6)/o)/(2/1 + -1). Solve 2*m - m + 4 = -4*r, r = 5*m - d for m.
0
Suppose 5*s + 6 = -9. Let z = 7 - s. Suppose -11*o = -9*o - 4. Solve -z = -o*c, r + 3*c + 10 = 5*c for r.
0
Let r = 9 + -6. Let h be r + 25/(-5) - -6. Solve 5*l - 3*g = -9 + 26, -h*l + 5*g = -11 for l.
4
Let q(y) be the third derivative of -y**5/60 + y**4/2 - 7*y**3/6 - 11*y**2. Let c be q(11). Solve 7 - 19 = -5*b - p, -c*p - 15 = -b for b.
3
Let l = 0 - -4. Let n be 30/l + 1/2. Let f(r) = r**3 - 21*r**2 + 116*r - 93. Let q be f(12). Solve 0 = 5*a - q*x - 3, 0 = 2*x - n for a.
3
Let f be (2 + -2)/(-2*5/(-10)). Solve 4*k - h = 25, f*h - 30 = -4*k + 2*h for k.
5
Let u be (40/30)/(2/45). Let k = u + -10. Solve -3*a - k = -4*q - 4*a, 2*a - 8 = 0 for q.
4
Let v = 316 - 303. Solve 0 = 4*d + a + v, -2 = 5*d - 5*a - 17 for d.
-2
Let x(c) = -5*c - 49. Let n be x(-10). Solve 3*k + n = b - 2, 2*b = 2*k + 6 for b.
3
Let n(g) = -g**2 + 24*g + 4. Let t be n(24). Solve -3*c - 2*c - 14 = 3*y, -22 = t*c - 3*y for c.
-4
Let u(n) be the second derivative of -n**3/6 - n**2 + n. Let o be u(-7). Let h(m) = -4*m + 4. Let d be h(0). Solve -f - 21 = d*t - 6*f, -2*t + o*f = 13 for t.
-4
Let g(y) = y**3 + 13*y**2 + 26*y + 49. Let j be g(-11). Solve 21 = j*r + 4*z, 0*r - 3*r + 12 = 3*z for r.
5
Suppose -17*j - 2 = -36. Solve l = 5*l + 5*q + 11, 2*q = j*l - 8 for l.
1
Let c = -11 + 15. Let n be (8/(-5))/((-1)/5). Let b(r) = r**2 - 7*r - 1. Let a be b(n). Solve a*m + 4 = 3*m - 4*k, 3*m + c*k + 1 = 0 for m.
-3
Let d(x) = -x**3 - x**2 - x + 5. Let i be 1 + 2 + -4 - -11. Let c = i - 10. Let f be d(c). Solve -4 = 2*t - t, -f*k + 11 = -4*t for k.
-1
Let p = -99 - -99. Solve p = 3*n + 3*w, -2*w - 4 + 1 = -n for n.
1
Suppose 4*a + 12 = 7*a. Solve 2*o - 2*h = 2*h - 4, 2*h + 18 = -a*o for o.
-4
Let i be (-3 - -7)*(-1)/2. Let x(p) = -20*p + 2. Let l be x(i). Suppose -18 - l = -5*b. Solve 3*h + j + b = 0, j - 3 + 20 = -4*h for h.
-5
Let o(k) = -93*k + 469. Let g be o(5). Solve -4*w = d - 23, -2 = g*d - 14 for w.
5
Suppose 22*h - 27*h + 55 = 0. Suppose -30 = n - h*n. Solve -n*p = 2*z + 4, -5*p - 3*z + 2 - 10 = 0 for p.
-4
Suppose -4*k = -68 + 32. Let t be 0 + -1 - (6 - k). Let o = 28 + -18. Solve t*x = 15 - 5, 2*u + o = 4*x for u.
5
Suppose -139*j + 146*j = 35. Solve j*q + 20 = 3*s - 15, 4*s = -3*q + 8 for q.
-4
Let o = -820 - -823. Solve o*g - 11 = -g + 5*u, -2*g = u - 9 for g.
4
Suppose 0 = -4*s + 4*t + 60, -9 = -2*s - 5*t - 0*t. Suppose 0*b + 4*b = s. Solve 4*g = l + 8, 0 = -l + b*l - 2*g + 4 for l.
0
Let f = -22 + 24. Suppose f*o + 5 - 17 = 0. Suppose o*m - 10 = m. Solve m*w = 4*k - 1 - 1, 0 = -3*k for w.
-1
Suppose 4*f + 4 = -s, 3*s - 17 = 4*f + 3. Suppose s*n + 42 = 102. Let x be 2*(-3)/(-6) + n. Solve -3*c + 6 = 3*m,