 h, -2*j = h + p - 0 for j.
0
Suppose n - 1 = 2*w - 5, -2*w + 12 = -3*n. Solve 4 = -2*r - 3*p - w*p, 4*r + 4*p = -4 for r.
1
Let m = 27 + -14. Suppose 2*y - 6 = 2*q - 2, q + 4 = 2*y. Solve 0 = -4*d + 4, 6*j - 3*d - m = y*j for j.
4
Let q be (-1 - -11) + -23 + 18. Solve -4*u - 3*a - 35 = 0, q*u + 5 + 25 = -a for u.
-5
Suppose -3*x - n - 16 = -5*n, x + 3*n - 12 = 0. Solve -2*b = 3*b - m + 6, x = b - 4*m - 14 for b.
-2
Let z be (0 - 0)*(-2)/2. Suppose -2*g + 5*g - 24 = 0. Let i be g/(-14)*(-7)/2. Solve 5*b - v + 3*v + 4 = z, -i*b = -5*v + 19 for b.
-2
Suppose -3*g + 6 = 3*w, -g + 0 = 2. Solve -w*v = -v - 5*f - 16, 5*v - 16 = 3*f for v.
2
Let w(t) = t**2 + 8*t + 6. Let s be w(-7). Let k be (-1 + 3 - -9) + s. Solve 4*a - n = -k, -2*a + 4*n = 3*a + 7 for a.
-3
Let d be (-2)/(-6)*(2 - -16). Solve -4*k - 3*n = d, 23 - 4 = -3*k + 5*n for k.
-3
Suppose 17 = 5*l - 3. Solve -n - 2 = -5*y + 16, 0 = -l*y - 2*n + 6 for y.
3
Let k(z) = z**3 + 4*z**2 + 2*z + 2. Let y be k(-3). Solve 0 = 3*h - 2*i - 7, y + 4 = h - 2*i for h.
-1
Let q = -31 - -43. Let u = 8 + -3. Suppose u*n = n + q. Solve 3*g + 4*k = 3, 0*g = n*g + 3*k - 6 for g.
5
Suppose -4*a = -3*t + 28, a - 3*t + 0 - 2 = 0. Let y = a - -12. Solve -4*x - 6 = y, 5*n - 33 = 4*x for n.
5
Let a(q) be the first derivative of 0*q - 1/2*q**2 + 4/3*q**3 - 2 - 1/4*q**4. Let x be a(3). Solve 3*n - x = i, 4*n - 18 = -3*i + i for i.
3
Suppose 2*k + 3*u - 13 = 0, -5*k + 0*k - 4*u + 29 = 0. Solve c = -5*q - 29, 5*c + 0*q - k = 5*q for c.
-4
Let q(r) = r + 1. Let m = 10 - 6. Let u be q(m). Suppose 0 = -2*x + u*x - 2*l - 127, -5*l - 174 = -4*x. Solve -5*y - 4*h = x, 1 = 2*y - 2*h + 3 for y.
-5
Let c(x) be the second derivative of 0 + 1/2*x**2 - 1/12*x**4 - 3/10*x**5 + 1/6*x**3 - 3*x. Let b be c(-1). Solve 2*j = t + 11, 0*j - b*j = 3*t - 11 for t.
-3
Let j(a) = -5*a. Let k be j(-1). Suppose 0 = -5*z - 13 + 48. Suppose -5*p + 2*c + 2 = -8, 4*c + 20 = 0. Solve -k*u + 2*x = z, 5*x + p*x + 17 = u for u.
-3
Let p be (1/(-2))/((-10)/120). Solve 2*y - 2 = 3*f - 4, p = -3*f for y.
-4
Suppose 0 = -3*w - 5*n + 44, -2*w = -n + 3*n - 24. Let x = w + 1. Solve o - y - 3*y = -3, 0 = -3*o + 4*y - x for o.
-3
Let m(g) = -g**2 - 7*g - 3. Let k be m(-5). Suppose 3*d + 40 = k*d. Solve -5*p + d*p + 12 = 4*a, 2 = -a for p.
-4
Let i = 86 + -122. Let j = i - -58. Solve 0 = -4*y + 2*a + j, -y - 7*a - 12 = -4*a for y.
3
Let u(l) = l**2 + 15*l + 2. Let a be u(-15). Solve 5*r = -3*d - 1, 3*r + 11 - a = d for r.
-2
Let k(j) = 2*j**2 - 14*j - 11. Let u be k(8). Solve l + l = -t + 2, -3*t = u*l - 3 for l.
3
Let n(b) = b**2 + 3*b - 1. Let v be (-2)/4 - 82/(-4). Suppose -6*d = -d + v. Let x be n(d). Solve 5*o + 0*t - t - 7 = 0, x*o - 3*t = -3 for o.
2
Let s(v) = v**2 - 13*v + 12. Let k be s(12). Suppose -4*f + 3*l + 28 = -0*f, k = 5*f - 5*l - 40. Solve 0 = 4*i + 4*o + 16, f*i + 0*i - o + 6 = 0 for i.
-2
Let l be (2 + 36/(-8))*-2. Solve -16 = 4*z + 4*i + 4, 0 = -5*z + l*i + 25 for z.
0
Let p = -2 - 2. Let u be (0 + 0)*(-2)/p. Let y be (1 - -2) + u - -2. Solve -i - 9 = j + j, -3*j + 19 = -y*i for j.
-2
Suppose -4*k = -8 - 8. Let m = -1 + k. Let z = 36 + -24. Solve m*l - z = 0, -2*h - 16 = 3*l - 8*l for h.
2
Let a = -12 - -15. Suppose 3*g - 9 = 0, 13 = p - 0*p + 3*g. Solve -v - 22 = a*o + 2*o, 0 = -p*o - 16 for v.
-2
Let q(n) = n. Let i(o) = 8*o + 4. Let x(u) = 2*i(u) - 18*q(u). Let r be x(-7). Solve m + 4 = -4*y + r, -4*m = 3*y - 7 for y.
5
Suppose d = 4*d. Let b(g) = -5*g + 11. Let a(r) = r + 1. Let v(x) = 4*a(x) + b(x). Let k be v(0). Solve -3*z - z + 5*w + k = d, 2*w - 22 = -4*z for z.
5
Let p(l) = -2*l**2 + 16*l - 19. Let d be p(6). Solve -3*t + 5*k = -29, -4*k - d = -3*t - 5*k for t.
3
Let u be 4 + -1 + -6 + -3. Let l be 6 + -2 + -1 + u. Let f = l - -7. Solve -7 = q - 4*v, -f*q + v - 6*v + 14 = 0 for q.
1
Let t be (2 + -6)/(-1) + 2. Let o = 8 - t. Solve 4*d - 6*p + 4 = -o*p, 4*p = 3*d + 4 for d.
0
Let x = 20 + -20. Solve 4*i = -2*g - 4, 4*g + 5*i - 4*i - 13 = x for g.
4
Let p = -9 + 11. Solve n = 5*j + 6*n + 20, -p*j + n + 1 = 0 for j.
-1
Let w be ((-8)/5)/((-2)/5). Let g(b) = 2*b + 2. Let s be g(7). Solve 0*x + 12 = -4*x + 4*r, 3*r - s = -w*x for x.
1
Let i(s) = s**3 + 5*s**2 + 7*s + 10. Let u be i(-3). Solve 10*v - 20 = 5*v, 0 = 3*m + v - u for m.
1
Let l(n) = -n**2 + 5*n + 22. Let z be l(9). Let h = -9 - z. Solve h*u = 3*k - 2, 5*k + 2 = u - 2 for u.
-1
Let v(r) = -r - 3. Let i be v(-7). Solve 0 = -2*n + 2*u + i, 0 = -3*n - u - 4 + 14 for n.
3
Suppose 2*o = 6*o. Suppose o = -g + 3*g. Solve 2*j + 5*l - 4 - 13 = g, -24 = j - 4*l for j.
-4
Suppose p = -2*p. Suppose f - 8 = 3*f. Let y = p - f. Solve 2*q + 5*j - 1 = 3, -2*j = 2*q - y for q.
2
Suppose 0 = -3*t + 95 - 29. Solve 4*v = -2*g + t, -6 = -g - 4*v + 3*v for g.
1
Let x(n) = -n**3 - 10*n**2 - n - 6. Let b be x(-10). Solve -b*g + 22 = w + w, g - 19 = -5*w for g.
4
Let g(y) = -y + 13. Let n be g(7). Let m be ((-3)/5)/(n/(-30)). Solve 5*l + 18 = m*z, -4*z - 2 = 3*l + 3 for l.
-3
Let x be (-4)/8*4/(-2). Let l(d) = 20*d + 1. Let v be l(x). Solve 2*q + 5*f = v, -q + 2*q + f = 3 for q.
-2
Let g(n) = 2*n**3 + 2*n**2 - 3*n + 2. Let b = 0 + 2. Let t be g(b). Let u be 1/5 + (-4)/t. Solve 0 = 3*d + 4*k - 7, u*d - 2*d = -3*k + 18 for d.
-3
Let d be (-3 - -2)/((-1 + -2)/3). Solve -3*u = -p + 7, u = p - d - 0 for p.
-2
Let j be (-15)/(-4) - 5/((-40)/(-6)). Suppose -2*n = n + 27. Let h = n + 15. Solve -3*x + h = c, -3*c - j = 4*x - 2*x for c.
-3
Suppose 0 = -4*w - 0*w - 12. Let h be 2 + (-2 - 0/w). Solve 0 = -h*q - q - 3*p - 10, 4*p + 8 = 0 for q.
-4
Let z be (-2)/(4/(-2)) - -1. Solve -d + 1 = -2*c - z*c, 2*c + 8 = -2*d for c.
-1
Suppose -h - 5*n - 12 = 0, 5*h - 3*n = 4*h + 20. Let u(m) = -m**3 - 4*m**2 - 6*m - 2. Let x be u(-4). Solve 0 = 4*p - 4*q - 28, -5*q = 2*p + x - h for p.
3
Let s = -26 + 51. Solve 0 = 3*f - 2*p - 10 + s, -f - 6 = -p for f.
-3
Let a be (4 - 5/1)*-4 + 24. Solve 3*u = -3*l, 3*u - l = 3*l + a for u.
4
Let f(z) = 1. Let q(p) = -p**2 + 2. Let d(n) = 2*f(n) - q(n). Let b be d(-2). Suppose g = 4, -b*g + 12 + 10 = 2*y. Solve 12 = 2*l + y*a - a, 1 = a for l.
5
Suppose -6 = a - 10. Solve 0 = -s - s - a*v + 28, s - 5*v = -21 for s.
4
Let v be (-2)/1*(-1)/(-2)*-5. Solve v*t - 3 = 2*m - 14, 5*m = 4*t + 2 for t.
-3
Suppose -2*r = 2*r - 2*f - 110, 5*r = -f + 155. Suppose -2*h - h = -r. Solve 2*j + 4 = 4*n, -j - h + 2 = -4*n for j.
4
Let x be -2*1*((-50)/4)/5. Solve -x*w + t = 21, 2*t + 13 + 10 = -3*w for w.
-5
Let s(g) be the third derivative of g**6/120 + g**5/10 - g**4/12 - 4*g**3/3 + 2*g**2. Let c be s(-6). Solve 3*i + 8 = c*v, 4*i - v - 6 = v for i.
4
Let l(z) = 2*z**2 + 2*z - 1. Suppose 0 = 4*i + 3*n - 3 + 23, i = -5*n - 22. Let c be l(i). Solve 2*b = c*m - 13, 3*b + 0*b + m = -14 for b.
-5
Let k(i) = 6*i**3 - i**2 + 2*i - 2. Let u be k(2). Suppose x - 7 = 4*o, 5*x = -2*o + u + 33. Solve -3*t = -2*q + x, -5*t - 2*q - 11 = -2 for t.
-3
Let m be (4/6)/(4/18). Suppose -c + 24 = m*c. Solve c = 2*u - u + 2*k, 5*u + 2*k = 6 for u.
0
Let s(b) = 2*b**2 - 5*b - 1. Let f be s(3). Solve 6 = -2*q - f*g, 0*g = -5*q - 3*g - 19 for q.
-5
Let p be (-310)/(-34) - 2/17. Let g(y) = y**3 - 9*y**2 - y + 12. Let l be g(p). Solve -6 = -2*a, -2*a + 0*a = f - l for f.
-3
Suppose 2*a + 16 = 4*i, 0 - 2 = i + a. Let d = -12 - -12. Suppose 3*h - 4*h + 4 = d. Solve -3*f + 7 = -i*b, b = -b - h*f for b.
-2
Let i(u) = u**3 - 9*u**2 + u - 6. Let m be i(9). Suppose -m = -4*d + 5. Solve -2*t = 5*n - 10, -d*t - t = 3*n - 15 for n.
0
Suppose -23 + 6 = -5*z + 4*v, -v + 2 = 0. Solve 0*k + 4*s - 16 = -k, -z*k + 2*s - 30 = 0 for k.
-4
Let z = -8 - -11. Solve -z*y = c + c - 13, -c - 1 = -y for c.
2
Suppose 7 = 3*a + j - 13, 50 = 5*a + 5*j. Let z = -4 + a. Suppose -1 - z = -d. Solve -g = 5*k - 8, -d*g - 2*g + 11 = -k for k.
1
Let d(v) = 3*v - 10. Let p be d(8). Let s(m) = -m**2 + 14*m + 4. Let r be s(p). Solve -4*x + 31 = 3*g, 3*x + 9 = 5*g - r for x.
4
Let x = 29 + -40. Let p = x - -19. Let w = 12 - p. Solve 6 + 12 = -c + 4*y, 0 = 3*c + w*y - 10 for c.
-2
Let n(m) = -2*m - 44. Let x be n(-22). Solve x = -3*f + 4*r + 1, -f + r = -0*r for f.
-1
Let z be (-1)/4 - 34/(-8). Solve 2*i + 13 = -5*n - 6, 2*i + z*n + 14 = 0 for i.
3
Suppose -4 = -205*j + 204*j. Solve -2*a - 3*w + j = 0, -2*a - 4*w + 4 = a for a.
-4
Suppose -3*a = -0*g + 3*g - 24, 4