7 = 3*n. Solve 0 = -5*a + j*s - c + 10, 2*s = -4*a for a.
-2
Let w(o) = -o**3 - 10*o**2 + o + 13. Let y be w(-10). Solve s + 1 = -2, -y*s - 6 = h for h.
3
Suppose 2*m = m. Let q be 4 - (1 + m/(-3)). Solve -o = -q*y + 17, -4*y + 10 = -o + 6*o for y.
5
Let s(r) = -7*r**2 + r + 2. Let b be s(-2). Let y be ((-90)/(-35))/((-6)/b). Solve -17 - y = 5*l + 4*z, 5*l + 23 = 2*z for l.
-5
Let o = -47 - -50. Let b(w) = 3*w - 1. Let i be b(1). Solve s = i*r - 11, r + o = -3*r - 3*s for r.
3
Let f be 0 + (1 - (-3 - -1)). Let d = f - 0. Solve -3*o - 35 = 2*o + 5*h, o - d*h = 13 for o.
-2
Let f be (29 + -12)*2*1. Solve 0 = z - 4, 2 = 3*g - 5*z + f for g.
-4
Suppose -3*z = -12, -z + 13 = 5*d - 2*d. Let p = 120 + -117. Solve -j - 3*j - 4*c - 4 = 0, -d*j + p*c = 3 for j.
-1
Let r = -3 - -16. Let t = r - 9. Solve -3*n + 5*u - 16 = 0, -14 - 2 = t*n - 4*u for n.
-2
Let w = -22 + 30. Suppose -9*z = -5*z - w. Solve 0 = 4*t + 3*n - 13, -3*t + n - z = -15 for t.
4
Suppose 0*c - 27 = -3*c. Suppose -20 = -0*a - 5*a - 3*p, -3*a - 4*p + 12 = 0. Let h be 10/a*(-4)/(-5). Solve -3*s = w + c, h*w + 0 = -s - 3 for s.
-3
Let l be 256/12 + (-3)/9. Solve -18 = -3*d - 0*j + 3*j, 4*j = d - l for d.
1
Let u = 2 + 0. Suppose -n + 0*n = 0, 5*n - 4 = -u*f. Solve 3*g + g = -2*r + 12, 0 = g + f*r for g.
4
Let b = -4 + -1. Let o be 2*(10/(-4))/b. Suppose -m + 1 = -o. Solve -4*j = m*t + j - 15, -2*j + 6 = -4*t for t.
0
Let p(c) = c**3 - 6*c**2 - 2*c + 4. Let v be p(4). Let y be -2 + (-7)/(21/v). Suppose j - y = -j. Solve -j*w + k - 7 = 6, 2*w + 1 = -k for w.
-2
Let b be (15/(-10) - 4)*8/(-22). Solve -p = -2*x + 5*x + 8, 4*x = -b*p - 14 for p.
-5
Suppose 4*i = 3*w - 2*w - 11, 11 = -2*w - 3*i. Let g = w + 5. Let l be 1 - (3 - (4 + 0)). Solve 0 = l*f - k - 6, -g - 2 = f - 5*k for f.
4
Suppose 25 = 7*q - 10. Solve j + 2*o - 3 = 2, -30 = q*j - o for j.
-5
Suppose -35*p + 12 = -31*p. Solve i + p*m = -4*i + 2, 2*i - 2*m = -12 for i.
-2
Suppose 3*q = -3*t - 6, 3*q + q = 5*t - 17. Let i(d) = 7*d**2 + 2*d - 1. Let w be i(t). Suppose -4*v - w = -6*v. Solve 0 = -4*l + 2*m + 28, -3 = v*m + 13 for l.
5
Suppose 3*o + 18 = 5*o. Suppose -2*g = o - 21. Solve -4*n = f + g - 0, -5*f + n + 12 = 0 for f.
2
Let d(n) = n**2 - 4*n + 5. Let q be d(4). Solve 10 = -5*i + r, 4*i - q*r + 10 = -19 for i.
-1
Suppose 7*t + 14*t = 0. Solve l + 4*l - 35 = 5*p, t = 2*p - 3*l + 16 for p.
-5
Let l = 16 + -2. Solve -2*v - 6 = -4*s, -s = 4*v + 4*s - l for v.
1
Suppose 4*u - 12 - 4 = 0. Suppose u*j = -0*j + 64. Suppose -5*z - h + 3 + 21 = 0, z = 5*h - j. Solve 0 = -4*w - i, 4*w + z*i + 3 = 15 for w.
-1
Suppose -3*h - 5*o + 2 = 1, -4*h - o = -7. Solve -3*u + 12 = 0, 6*u - 18 = s + h*u for s.
-2
Let o(j) = j**2 + 7*j - 4. Let s be o(-8). Suppose 3*k - 4*v = 2*k - s, -3*k - 4*v = -4. Solve 3*b - 4*a - 4 = 0, k*b - 5*b - a = 24 for b.
-4
Suppose 5*h + 14 = 2*f + h, 9 = 3*h. Suppose -p + 5*m = 4, p + 3*m - 8 = 3*p. Let r = p + 8. Solve 3*t = r*g + 15, -g - f = 4*g + 2*t for g.
-3
Suppose -9 = q - 2. Let v = -4 - q. Solve 5*l = 5*g - 25, -g + 14 = v*g - 2*l for g.
2
Suppose -5*c = 4*n - 24 - 6, 0 = -5*n + 25. Let x = -7 - -7. Suppose k - 3 - 2 = x. Solve k*p - 2*p - c = 2*r, -p + r = 1 for p.
4
Suppose u = -3*k + k + 13, -5*u + 23 = 4*k. Suppose 16 = k*z - 3*z. Solve -5*j + 10 = -3*g, 2*j - z = g - 6*g for j.
2
Suppose -5*z = 6 - 21, z = -m + 18. Let n(y) = y**3 + 2*y**2 - 2*y + 1. Let j be n(1). Solve 5*t = -j*r + 6, -3*r - 2*r = -3*t - m for t.
0
Suppose -b = -2*m - 13, 3*m + 17 = -b - m. Suppose -36 = -4*w - 3*t, b*w + 2*t - 26 = -0. Solve h = -3*c - 14, 2*c + w = -2*h + 3*h for h.
-2
Let y = -7 - -15. Solve 2*q = 4*v - 16, -3*q + 2*v - y = q for q.
0
Suppose -4*u + 26 = -42. Solve -2 = -2*a + 2*j, j = 4*a + 4*j + u for a.
-2
Let f(w) = w**2 - w + 2. Let u be f(2). Let g be 7/7 + 4/2. Suppose 0 = -4*x - 4*k + 16, -x - g*k + 4 = -0*k. Solve 3*q = q + 2*c, -x*c + u = -5*q for q.
-4
Suppose 5*y + 5*b - 55 = 0, -y + 0*b - 2*b = -15. Let u = 1 + -1. Let g be u*(2 + 3/(-2)). Solve -2*j = -3*j + 5*k + 13, -3*j - k + y = g for j.
3
Let d be (20/3)/((-3)/(-81)). Suppose 0 = -t - 2*t + d. Suppose 0*z + t = 5*z. Solve 4*o - z = 2*b, 2*b + 11 = 2*o + o for o.
1
Let n(o) = -o**3 - 4*o**2 + 5*o + 2. Let l be n(-5). Solve 2*i + 2 = 5*b, 5*b - 2*b - 14 = -l*i for b.
2
Suppose -x = g - 2, -5*g - 2 = 2*x + 3. Solve 4*s - 4*c = 6 + 6, 4*s - 30 = -x*c for s.
5
Suppose -5*i + 22 = 12. Solve 2*l + i*l + 18 = 2*j, 11 = -2*l - j for l.
-5
Let y(j) = 9*j + 33 + j**2 - 29 - 2*j**2. Let z be y(9). Solve 0 = -b + 3*c + 19, -z*b + 10 + 1 = c for b.
4
Let v = -61 - -65. Solve v*g - 41 = 5*j + 8*g, -2*g - 18 = 2*j for j.
-5
Let z(i) = i**3 - 5*i**2 - 11*i - 17. Let m be z(7). Solve 0 = -0*w - 4*w - m*g + 8, -18 = w - 4*g for w.
-2
Suppose 2 = -4*n - 6, 0 = 5*k - 4*n - 58. Solve 3*z - 15 = 2*z + 2*l, 5*z + 3*l = k for z.
5
Suppose -10*v + 30 = -5*v. Let w be 2/(v/3) + 2. Let s be 40/3 + (-1)/3. Solve 4*f + 0*o = 5*o - s, 3*f + w = -3*o for f.
-2
Suppose 5*u - 3*u = -26. Let p = u - -20. Solve 22 = 4*v + 2*i, -3*v + p*v - 18 = 2*i for v.
5
Suppose 6*b = 4*b + 6. Solve 0 = -t + 2*d - 5, -3*t - 19 = -b*d - 4 for t.
-5
Let g = 7 + -6. Let l(r) = -r + 1. Let y(m) = -7*m + 3. Let b(n) = g*y(n) - 6*l(n). Let h be b(-9). Solve 2*v - h = -2*i, -2*i + 2*v - 6 = 3*i for i.
0
Let f(s) = 4*s**2 + 2. Let a(y) = y**2 + y. Let i(n) = 5*a(n) - f(n). Let v be i(-6). Solve 4*g + 8 = v*h, 3*g - 22 = -5*h - 4 for h.
3
Let x = -23 + 25. Solve -x*j - 2*j = -l + 5, 5*l - 25 = -j for l.
5
Let x(v) = v**3 - 7*v**2 + 7*v. Let j = -3 - -9. Let l be x(j). Let d = -5 + 19. Solve -5*u - 14 = 5*s + l, 4*u = -2*s - d for s.
-1
Let z be (21/6)/(1/2). Let v = -12 + z. Let b = -3 - v. Solve -5*k = y - 14, -8 + 4 = -b*y + 2*k for y.
4
Let d be -23 + 26 + (-1 - -1). Solve y - 5*t = 23, 2 = -d*y + 3*t + 11 for y.
-2
Let p = 135 - 118. Solve 3*m - 16 = v, m = -2*v + 4*m - p for v.
-1
Suppose 5*t = -3*x + 9, -3*x + 3*t - 3 = -4*x. Suppose -3*l + x = -0. Let n = -10 + 14. Solve -5*h - 3 = 2*z - l, 4*h = -3*z + n for h.
-2
Let a = -131 + 155. Solve 2*u - 20 = -3*f - 0*u, 5*f + u - a = 0 for f.
4
Let s be (2/8 + (-11)/(-4))/1. Solve -r + 1 = 0, -s*r = 5*t - r + 23 for t.
-5
Suppose 0 = 3*y - 6, -5*u - 4*y + 4 = -2*y. Suppose u = -5*h + 25, 3*v + 2*h + 13 = 38. Let m be (-29)/(-3) - 4/6. Solve -2*r - v*f - 3 = m, -4 = f for r.
4
Let r(f) = -f**3 - 8*f**2 + 10*f + 9. Let u be r(-9). Let i be (2 - u/3) + 1. Let s be (i + (-3)/1)/(-2). Solve 4*x + 5*d - 9 = s, -4*x - 35 = x - 3*d for x.
-4
Let z = -27 - -34. Suppose -3*t - 2*j + 16 = 0, 2*t - 6*j + 2 = -j. Solve t*i + z = 5*h, -i + 4*h - 4 = 6 for i.
2
Let j(p) = -p**2 - 9*p - 2. Let x be j(-8). Suppose 5*l = 46 - x. Suppose -4*s + 2*s + l = 0. Solve s*z + 3*w = 7 + 2, -3*w = -2*z + 9 for z.
3
Let t(h) = h**2 + 6*h + 11. Let d be t(-4). Solve d*a = 2*o + 6 - 15, 6 = 2*o for a.
-1
Let s be 10/3*12/10. Suppose -3*l + 4*l - s = 0. Solve -16 = 2*m + 4*k - l, -3*k = m + 7 for m.
-4
Suppose 20 = i - 6*z + z, 3*i - 12 = 3*z. Solve -3*y + 5*d + 2 = 0, -4*y + i*d = -4*d for y.
-1
Let o(h) = -5*h**2 + 51*h - 5. Let l be o(10). Let n(x) = 2*x - 6. Let c be n(5). Solve -k + 2 = l*r - 5, k = -2*r + c for k.
2
Suppose -3*c + 8*c - 20 = 0. Solve -c*z - 12 = -2*b + 10, -12 = 3*z for b.
3
Let t = -4 + 4. Suppose 4*p - 36 = -5*j, t = -0*j - 4*j + 2*p + 8. Suppose 3*l - 1 = 11, -2*h = 3*l - 22. Solve -h*s + 3*w - 37 = -14, 0 = -j*s + w - 17 for s.
-4
Let c(d) = -4*d**3 - d**2 + 5*d + 2. Let l be c(-2). Solve -l = -5*v, 0*k - 16 = -k - 3*v for k.
4
Suppose 5*f - 6 = -h + 7, -4 = -4*f - 4*h. Suppose -5*r = -28 + f. Solve -2*n = -0*y + r*y + 10, -45 = -5*n + 5*y for n.
5
Let d(c) = 18*c - 101. Let h be d(6). Solve -2*n = 2*y - h*n + 19, y = -5*n + 28 for y.
3
Let f = 71 + -41. Suppose 2*a + 2*y - 6*y - 46 = 0, 3*a = 5*y + 68. Suppose 2*z - k = a, 4*z + 4*k - 2*k = f. Solve z = 4*q + n, 5*q = 5*n - n + 6 for q.
2
Let u be (-8)/(-3) - (-1)/3. Let r(v) = v**2 + v - 2. Let t be r(-2). Let s = 0 + t. Solve s*f + 2*f = -d - 7, -11 = u*f + 2*d for f.
-3
Suppose -2*h + 7 + 3 = 0. Solve -h*o = 3*f - 5, 3*f + 0 = 5*o - 5 for o.
1
Let y = 2 + -2. Suppose -44 = -y*z - 4*z. Let g be -1 + (-1 + 6)/1. Solve 5*d - g*f = z, 11 = -4*d - f + 3 for d.
-1
Let m = -112 - -117. Solve 3*l - 4*x = 19, -x