x = 3*z - 1, -4*z = 3*n - 4 for n.
4
Let a = 1 - 0. Let k(z) = 16*z**2 + z - 1. Let q be k(1). Suppose 2*s + 5*u = -s + q, -s = -u. Solve -h = -2*m - a, -4*h = h - s*m - 21 for h.
5
Let m = 29 - 26. Solve -4*u - 20 = -2*a, 2 + m = u + 2*a for u.
-3
Let h(q) = -6*q. Let g be h(-4). Suppose -4*b + 18 = 5*r - 30, 2*b - g = -5*r. Suppose 5 - 15 = -5*k. Solve k*o - 4*f + 32 = -o, -4*f + b = 2*o for o.
-4
Let a(l) = 31*l + 1. Suppose -3*k = 3*d + 9, 2*d - k - 18 = 6*d. Let p = d - -6. Let g be a(p). Solve -4*z - 16 = -y, -4*z - y - 2*y = g for z.
-5
Let p(s) = -2*s + 19. Let z be p(8). Suppose i + i = -u - 1, 0 = z*i - u - 1. Solve i = 3*c + 5*t + 29, -2*t + t - 13 = 3*c for c.
-3
Let w be (-32)/5 + 16/40. Let v(u) = u - 8. Let y be v(6). Let g be ((-6)/y)/(-3) - w. Solve g*r + 0 = -h - 19, -16 = 4*h for r.
-3
Suppose 5*q = 3*d - 117, 5*d - 3*q - 156 = d. Let b = d - 23. Suppose b = 5*n - n. Solve -2*l + 19 = -n*j + 5, -2*l + 5*j = -17 for l.
1
Suppose -5*d + 7*d = 8. Let j be (8/(-6))/(d/(-12)). Solve 0*v - 3*v = -j*m - 7, 0 = -4*v + 2*m + 6 for v.
1
Let l = 3 - 0. Let n(z) = z**2 - 2*z. Let s be n(l). Solve 0 = -3*h - s*j + 6*j, 4*h + 3*j = 21 for h.
3
Let m = -33 + 60. Solve 3*s - 3*q - m = 0, -5*s - 4*q = q + 5 for s.
4
Suppose 4*k - 20 = -k. Let h = 0 + -8. Let u be (-40)/(-18) + h/36. Solve -c = d, d + u*c = -k + 9 for d.
-5
Suppose -2*c + 19 = 1. Let h be 83/c + 8/(-36). Solve -4*a = -a + h, -15 = -4*d + a for d.
3
Let d = -14 - -16. Suppose -5*c = d - 22. Solve -2*g - 2*g = -c*a + 4, 0 = -a + 5*g - 7 for a.
3
Suppose -3*c = 2 + 7. Let b = 31 + c. Solve 5*r + 33 = 2*s, 2*s - 4*r + 0*r - b = 0 for s.
4
Let n(a) = a + 9. Let d be n(7). Let x be (-10)/(-2)*(1 + -3). Let g = x + d. Solve 4*c = q - g, 0 - 4 = 2*q for c.
-2
Suppose 3*r - g = -2, -2*g - 6 = -5*g. Solve r = -3*h - 3*c, -1 = -3*h - 4*c + 2 for h.
-3
Let o = -5 - -8. Suppose -4*s - o = 1. Let u = 7 + s. Solve 5*n - 3*q = -20, -2*q - 2 = -n - u for n.
-4
Suppose -4*b - 15 = b. Let l be (-3 + (-4 - b))*-1. Solve 3*o - 2*t + 4 = 0, 0 = -0*o + o - l*t + 8 for o.
0
Let r(a) = -a**2 + 6*a - 3. Let w be r(4). Let s be 72/30 + (-6)/15. Let v be (w/(-2))/((-1)/s). Solve -3*t - 3 = -v*q - 38, 4*q - 3*t + 31 = 0 for q.
-4
Suppose -f + 12 = 3*n - n, 0 = 2*n + 3*f - 16. Solve -5*x - 10 = 0, -n*x - 3 - 2 = 5*w for w.
1
Let a be 1/9 + 7/(-63). Solve 3*l - 4*l = 2*s - 10, a = -2*l + 3*s - 8 for l.
2
Suppose 0 = -3*m + 5*k + 10, -5*k + 0 = 3*m - 20. Let g = 6 - 3. Let s(v) = -v**3 + 3*v**2 + 3. Let i be s(g). Solve -i*l + 6 = -0*f - f, -m*f = 2*l - 21 for l.
3
Let w(z) = z**2 - 7*z + 1. Let n be w(6). Let d(x) = x**3 + 5*x**2 - x. Let i be d(n). Solve -3*j = i*c + 5, -2*j + 2*c - 18 = -2*c for j.
-5
Let c(a) be the second derivative of a**5/20 - a**4/2 + a**3/2 - 5*a**2/2 - 3*a. Let g be c(6). Solve 5*v - m = 13, -4*m = -1 + g for v.
2
Let d = 82 + -81. Solve 5*u = 3*n + 4*u - d, -3*n - 1 = -2*u for n.
1
Let c = -2 - -5. Suppose 0 = 2*w + c*w + 5, 4*b + w - 51 = 0. Suppose 4 = -2*m, 3*v + 2*m + b = 6*v. Solve v = -2*a - l, -5*a - 5*l - 2 - 3 = 0 for a.
-2
Suppose 4*s - 3 = 3*s. Let v be (-8)/(-3)*s/2. Solve -v*n + 3*i + 1 = 0, -4*n + 5*i = n - 5 for n.
-2
Let k be 6*1/15 - (-15)/25. Solve 30 = h + 5*d, 4*h - 3*d = 4 + k for h.
5
Let m be 1/2*5*2. Solve -3*o = 2 + 10, -5*y - 45 = m*o for y.
-5
Suppose 7*z - 21 = -0*z. Solve -2*x = -m + 7, -5*x - m - z*m = 24 for x.
-4
Let u(x) = -x**3 - 27*x**2 + 56*x - 52. Let q be u(-29). Solve q*i + 2*j + 12 = 2*i, 8 = -2*j for i.
-1
Let m(z) = 8*z - 30. Let t be m(4). Solve 4*i - 2*w = -10, i + 3*w = t*i - 5 for i.
-4
Suppose 0 = -3*z + z. Suppose 0 = -5*c - 4*b - 160, -2*b = -3*c - z*b - 96. Let l = c + 49. Solve -4*d + 25 = -5*q, 5*d + 5*q - 3 - l = 0 for d.
5
Let v = -2 - -2. Suppose -o + 5 = v, -m + 6 + 19 = 5*o. Suppose -a - a - 2*u = -10, m = 4*a - 3*u + 15. Solve 0 = 4*x + h + h - 2, a = -3*x + 3*h - 21 for x.
-2
Let u be -2*(-19 + 1 - 0). Suppose 4*q + 5*c - u = 0, -3*c - 9 + 21 = 0. Solve -2*j = -4*d - 4*j - 4, d + 3*j - q = 0 for d.
-2
Let j = 0 - 3. Let g be (-15)/(9/j) - 1. Suppose -v + g = v. Solve 4*b = 2*t + 6, v*t - 33 = -2*b - 3*t for b.
4
Let n be -1*2 + 0 + 2. Suppose n = 5*k - 7*k - 4*s - 10, s = k - 10. Suppose -k*l + 65 + 40 = 0. Solve 3*a + l = 4*c, 2*a - 5 = -3*c - 2 for c.
3
Let t(y) = -4*y + 1. Let n be ((-2)/(-2))/(1/(-2)). Let g be t(n). Suppose -j = 2*j - g. Solve -5*h + 5 = -j*z - 3, z = 2*h - 4 for z.
4
Let h = 12 + -10. Solve h*a = -3*a - 5*n - 15, -3*a - 10 = 4*n for a.
-2
Let p be (4 + -4)/(-5 + (-2 - -4)). Solve p = -2*w - o + 2*o - 4, w - o = -3 for w.
-1
Suppose 4*c + 132 = 2*c + 4*b, 3*c = -b - 177. Let v be 4/(-6)*c/8. Solve -d = v*i + 10, 3*i + 4*d - 8 + 31 = 0 for i.
-1
Let o(b) = b**2 - 5*b + 14. Let u be o(3). Solve -u = -2*v - 3*k, -2*k + 7 = -4*v - 9 for v.
-2
Let t(d) = -2*d**2 - d. Let n be t(1). Let u = 7 + n. Solve -5*w + 25 = 5*q, 0 = u*w + w - 2*q + 3 for w.
1
Suppose -2*y + 40 - 26 = 0. Let k = 0 + 2. Solve -6 = y*h - 3*h + 2*m, k*m = -3*h - 6 for h.
0
Let q(k) = -5*k**3 - k**2 - 3*k - 2. Let y be q(-1). Solve -39 - 1 = 4*c - 4*t, -4*c - 5*t = -y for c.
-5
Let h be 2 - (-1 + 2/(-1)). Solve -1 = -h*z + 3*d, 0*d - 3 = -d for z.
2
Suppose -7 = 2*b - 1. Let p be ((-20)/b)/((-10)/(-30)). Solve -3*x - r = 3, -4*r = x - 5*x - p for x.
-2
Let y(a) = -a**2 + 15*a + 5. Let s be y(15). Solve 3*k = 5*p + 24 + 3, 29 = s*k - 3*p for k.
4
Suppose 0 = -3*d + 3*w - 9, 3 = d + 2*d + w. Suppose 2*n + t = -1 + 12, d = -5*n - t + 26. Solve -4*u + 0 = -12, 3*k - 9 = -n*u for k.
-2
Suppose 0 = 3*c - 8*c + 15. Suppose 2*q = -2, -m - 2*m + c*q = -12. Solve 6 = 3*z, -m*p + 2*z + 0*z = 7 for p.
-1
Suppose 3*p = 21 - 9. Solve 4*n - 5*u = -1, -2*n + p*u + 2 = -2 for n.
-4
Let d = -4 + 7. Let v be (-3 + d)*2/(-4). Solve -f - 3*l = 9, v = -l - 4 - 0 for f.
3
Let g(z) = 3*z + 3 + 2*z**2 - 2*z**2 + 2*z**2 - 3*z**2. Let a be g(3). Solve -5*f + 0*n = n + 12, -a*f = -3*n + 18 for f.
-3
Suppose 4*t - 22 = -3*g + 2*g, 0 = -2*g - 4*t + 24. Solve -g*o = -5*q - 5, 0 = o - 4*q - 1 for o.
5
Suppose -76 + 14 = -3*g + 2*j, j = -2*g + 46. Suppose 3*a + g = 2*q, 2*a - 1 = -3*q + 6. Solve -q*k - p + 14 = 0, 5*p + 16 = -4*k + 44 for k.
2
Suppose -5*r + 69 = -3*l, 23 + 14 = 3*r - 4*l. Suppose -2*m + 1 = -2*k + 3*k, -r = -5*k - 5*m. Suppose 0*w = -3*w + 42. Solve 0*n + n = j, -2*j = k*n - w for n.
2
Let f be (6 + 44/(-10))/((-4)/(-10)). Solve 0 = 5*j, -f*j + 15 = -0*q + 5*q for q.
3
Suppose -3*d + 5*d = 4. Suppose -d*y + 0 + 8 = 0. Solve 3*f - 4*u = -23, -2*u + 11 = -5*f - y for f.
-1
Suppose n = 4*n - 6. Solve -4*h - n*l = 20, 0*l + 4*l = 4*h - 4 for h.
-3
Let x(w) = w**3 + 7*w**2 - 10*w - 12. Let u be x(-8). Let n be -4 + u - 2*-1. Solve 0 = b + 1, 2*t - 19 = -n*t - b for t.
5
Let y(a) = a**3 + 6*a**2 + 5*a + 5. Let s be y(-4). Let f = s - 7. Solve -j + 5*k = -6*j - f, 6 = 3*k for j.
-4
Suppose -24*p + 21*p = -60. Solve q - 5*q = -p, -7 = -y - 2*q for y.
-3
Let n = -29 + 54. Suppose 5*p + n - 35 = 0. Solve -1 = x - p, x = 4*i + 21 for i.
-5
Let p be (-3)/(2/4 + -2). Solve -w = p*h - 0*w + 8, -5*w - 25 = 5*h for h.
-3
Let x be -1 + (-4)/(-1) - 0. Solve 4*m = 5*i - 35, -i - x - 19 = 5*m for m.
-5
Let k = -9 - -11. Solve b + 2*b = 5*z - 1, 0 = -k*b - 2*z + 10 for b.
3
Suppose -5*s - 30 = 2*o - 5*o, -4*o = 5*s + 30. Let g(i) = -i - 9. Let l be g(s). Let a = l - -8. Solve -9 - 10 = 2*f - 3*x, 0 = 4*f + a*x + 5 for f.
-5
Let g(d) = d**2 - 3. Let w be g(0). Suppose -5*h - 2 = -6*h. Let t = h - w. Solve z - a = -4, -5*a = t*z - 0*z for z.
-2
Let z(l) = 2*l**2 - 3*l + 3. Let d be z(1). Solve -5*v + 2*t - d + 0 = 0, 3*v = -3*t + 3 for v.
0
Let n be (-2)/(-4) + 2/(-4). Let l be (-6)/14 + 8 + (-312)/56. Let s(i) = 2*i**2 + 2*i + 2. Let r be s(-2). Solve 5 = d + 3*u, n = -l*u + r*u - 12 for d.
-4
Let q be (-4 - -4) + (0 - 0). Suppose q = b - 15 - 43. Suppose -5*j = -b + 3. Solve -3*o + j = 2*y, -y - 4*o = 3*y - 20 for y.
4
Let g be (-3 - (3 + -17)) + 3. Suppose 0 = 5*y - 5*c - 45 - 5, -4*c + g = 2*y. Suppose j - y = -2*j. Solve 9 = 2*q - n, -q = -j*n + 4*n - 3 for q.
4
Let q(g) = g**3 - 9*g**2 + 9*g - 3. Let f be q(8). Suppose 3*d + 2*d = -15. Let m be d/(-5) - (-87)/f. Solve 2*x + m = -2*c, -4*x - 27 = -c - 11 for c.
-4
Let n = -41 + 43. Solve 4*p + 3 = u, -u - n*u - 19