 = 3*k + 10, 2*k = 3*d - 11. Let i be -3*k*3/6. Let z = i + 6. Solve -3*r - z*n + 2 = -4, 0 = -3*r + 5*n + 6 for r.
2
Suppose 0 = f + 5*x + 14, -f - 8 = 3*x - 2. Solve 2*j + j = -3*g + f, -5*j = -4*g - 28 for j.
4
Let n(i) = -3*i - 1. Let z = -3 - -2. Let v be n(z). Suppose 5*l - s = 48, 5*l = -s + 21 + 31. Solve 1 = 5*b + x + l, 8 = -v*x for b.
-1
Let s be (-5)/10 - (-30)/4. Let m = -1 + 1. Suppose m*w + 3*c - 7 = w, 5*c = -w + 25. Solve 0 = -g - 6*a + 3*a - s, w*g + 15 = -5*a for g.
-1
Let p(l) = l**2 - 7*l + 4. Let q be p(3). Let c = -3 - -6. Let w be (-1)/(-3) - q/c. Solve -2*d = 2*x + w*x + 3, -x + 21 = -5*d for x.
1
Let l(a) = -a + 5. Let u be l(6). Let y be (-6)/3*(u - 0). Solve 13 = -4*z - s, 3*z + 9 = y*s - 3*s for z.
-4
Let q = -16 - -7. Let x be q/12*2*-2. Solve -2*l + 7 = x*z + 2*z, -2*z = 3*l - 5 for z.
1
Let s(x) = x + 14. Let n be s(13). Let w = 30 - n. Solve h + w = o, 3*h + 3*o = 2*h - 7 for h.
-4
Let l(m) = -18*m. Suppose 0 - 3 = v. Let o be l(v). Solve -3*d = 4*h - 5, 2*d + o - 19 = 5*h for h.
5
Suppose 13*f - 140 = 6*f. Solve 8 = 2*d - 2*y, 5*d + 2*y - f = -2*y for d.
4
Suppose 5*t + 4 = -2*p, -2*t + 3*p - 2 + 8 = 0. Suppose -5*y - 1 + 126 = t. Let d = -2 - -4. Solve h + d*r = -0*h - 3, h = 5*r + y for h.
5
Let m(f) = -f**2 + 4*f + 12. Let s be m(6). Suppose s = 4*l - 5*l + 2. Solve 5*r = -15, 2*j = 4*r - 0*r + l for j.
-5
Suppose w = 2 + 3. Let v be 6 + 0 + (-4)/(-2). Let y = v - -14. Solve u - z - 7 = 0, -w - y = -5*u + z for u.
5
Let n(u) = -u**3 - 6*u**2 - u - 1. Let b be n(-6). Let v = 0 - -9. Suppose -3*y = x + 3*x - 21, x = y. Solve b*j = 15, -x*t = -3*j + 2*j + v for t.
-2
Suppose 4*h - 5*c = 0, -12 = -3*h - 3*c + 15. Suppose h - 1 = k. Solve 4*i + 4 = -4*x, x = k*x + 2*i for x.
2
Let t(h) = -h + 10. Let v(a) = -a**3 + 6*a**2 - 4*a + 3. Let j = 0 - -5. Let f be v(j). Let u be t(f). Solve u*k = -2*i + 2 + 10, 3*i - 13 = 2*k for k.
1
Let s = 29 + -26. Suppose -s*x - 2*n = -7, -2*n = -3*x - 2*x + 17. Solve -x*b = b + 12, 5*b = 2*z - 9 for z.
-3
Let c be (11/33)/((-2)/18). Let x(q) = -2*q + 1 - 3 + 0. Let f be x(c). Solve 4*o - f = 4*v, -v = -o + 2*o - 9 for o.
5
Let v be (-3)/(-15) - 645/(-25). Solve 2*m = 5*r + 10, 0*r + 4*r + v = -2*m for m.
-5
Let c(b) = -1 - 4 + b + 4. Suppose 4*h + 2*j = 16, -3*h + 4*j = -4*h + 4. Let y be c(h). Solve -y*z = -4*i - 17, -5 = -3*i - 5*z - 25 for i.
-5
Suppose -a - 2*k + 13 = 0, 3*a + 10 = -3*k + 43. Solve 5*p = -2*l - 2, -l + 1 + a = -3*p for l.
4
Let v be 10/6 - (-9)/27. Let j be (1*3)/(18/12). Let c be (6 - j) + 4 + -2. Solve 4*f + 2*l - 12 = c*f, -f + v*l = 9 for f.
-3
Let x = 59 - 54. Solve 5*o = x*n + 10 - 35, 3*n - 4*o - 18 = 0 for n.
2
Suppose 26*w - 21*w = 20. Solve -a = 4*a + w*g - 28, 3*a = -g + 14 for a.
4
Suppose 0 = 5*v + 4*l - 10, 0 = -l - 3*l. Suppose v*t - 3*s - 24 - 11 = 0, -2*t = -s - 45. Solve -5*i - t = -5*y, 3*i + 6 = -5*y - 1 for i.
-4
Let k(y) = 2*y**2 + 2. Let i be k(0). Solve 2*v - 3*c - 6 = -0*v, 3*v - i*c = 9 for v.
3
Let q(v) = -v**2 + 4*v + 4. Let g be q(5). Let u(j) = j**2. Let h be u(g). Let w be (3*-2)/(-3 + h). Solve -t - 2*t - 11 = c, w*c = 2*t + 22 for t.
-5
Suppose -4 = 15*t - 4. Suppose 0 = -2*h + 6*h - 8. Solve t = -3*w, -h*r + 2*w = -3*w - 6 for r.
3
Let f(g) = -g**3 - 11*g**2 - 10*g + 4. Let u be f(-10). Suppose -u*q + 9 = -q. Solve -2*p = -q*i + 2*i - 10, i - 5*p + 25 = 0 for i.
0
Suppose -b - 4*p = -20, 0 = -4*p + 5 + 11. Solve 0*l + 23 = 5*i - 4*l, -2*l - b = 0 for i.
3
Let q be (-1)/(-4) - 3/12. Solve -20 = -4*b, q = -0*j + j + 4*b - 20 for j.
0
Suppose 4*o - 9 = 19. Let m = o - 3. Suppose -4*s = 2*f - 5*f + 12, -m = 3*s - f. Solve s = 5*c + n + 3*n + 17, -c + 4*n = -11 for c.
-1
Let l be (-2)/4*-2 + -1. Suppose 5*u = t - 5, t + 10 = 3*t - 4*u. Solve 5*o + 25 = 4*p, l = t*p - p + 3*o - 17 for p.
5
Let s = 701 + -1163. Let j be s/(-18) + (-1)/(-3). Solve -d + 1 = o, -o - 4*d = -3*o + j for o.
5
Suppose 0 = 4*a - 30 - 186. Suppose 5*h = -3*q + 11, q - 2 = -2*h - q. Suppose -a = -h*j + j. Solve -2 = -d, 5*p - j + 2 = -3*d for p.
2
Let y(s) = s**2 - s - 1. Suppose -2*a + 17 = 2*a - 5*i, 3*i = -a. Let o be y(a). Solve -w + 5 = -o*k - 0*w, 4*k + 4 = -2*w for k.
-1
Let o = -46 + 46. Solve -4*r - b - 17 = 0, o = -2*r - 0*b + 5*b - 3 for r.
-4
Suppose -2*d + 24 = -0*d. Let n = 41 - 21. Solve n = 5*k, d = 3*t + 2*k + 1 for t.
1
Let t = -8 - -12. Suppose -4*p + 4 = -2*p + z, -p = -4*z - 2. Solve -p*d - 5*a = -t*d + 19, 5*a + 15 = 0 for d.
2
Suppose -4*x + 50 = 3*s - 2*s, -12 = -3*x. Suppose 5*o = 26 + s. Solve -v = 3*n - 4 - o, 0 = -n - 4*v + 9 for n.
5
Suppose -4*u + 90 - 14 = 0. Suppose 3 - u = -4*l. Solve 5*j - 26 = 3*r, -3*j = 4*r - l*j + 12 for r.
-2
Let u be 120/54 - 2*(-1)/(-9). Solve -4*f + u*d + 10 = 0, -3*f + 20 = -0*d - 4*d for f.
0
Suppose 3*w + 45 = 4*w - 5*y, w = -2*y + 10. Solve 4*c = 5*b + 26, -3*c + 3*b + b + w = 0 for c.
4
Let q(t) = -t**2 + 5*t - 2. Let k be q(3). Let a = 10 - 6. Solve o + 11 = -5*x, k*x - x + 25 = a*o for x.
-3
Let f be (-3 - -8) + 2 - 4. Solve -2*c - 2 = f*c + 2*k, -c + 10 = 3*k for c.
-2
Let n(s) = s. Let j be n(3). Suppose 0 = 4*v + 7 - j. Let w = v - -6. Solve -w*f + 3*l = -1, -2*l + 11 = -f - 7*l for f.
-1
Suppose 2*n - 52 = -4*d, 5*n + 15 = 5*d - 65. Solve -5*v + 3*t - 4 = 3, -3*t + d = 2*v for v.
1
Suppose -2*z = 3*r + 57, 0 = r + 3*r + 5*z + 76. Let x = r + 22. Solve x*b - 15 = -4*d + 2*d, -3*b + 21 = 4*d for b.
3
Suppose -6 = -2*h + 4*b, 3*h + 2*b + b = -18. Let l be (-16)/(-1 + (-3 - -2)). Let z = l + h. Solve 3*w = 3*a - 2*a + 6, 8 = -a + z*w for a.
-3
Suppose -x + 2*a = -10, 4*a - 8 = -x + 2. Suppose u + o - 5 = -u, 4*u = 2*o - x. Solve 5*y - 2*c - 35 = -u*c, 35 = 2*y - 5*c for y.
5
Let f = 33 + -21. Let h = 17 - f. Solve -2*p = -3*x - 11, h*x - x = p - 8 for p.
4
Let g be (-1*3)/(-9)*3. Let v(z) = -6*z**2 + 1. Let a be v(g). Let l = 8 + a. Solve -2*d - 5*o + l + 11 = 0, -19 = 5*d - o for d.
-3
Let s = 0 + 4. Let h = 193 - 189. Solve -4*f = -s*x - 16, -f = -0*f - h for x.
0
Let o = 199 + -196. Solve -8 = 3*t + 2*i, o*t - 4*i = i - 22 for t.
-4
Let s(y) = -2*y - 4. Let v be s(-4). Solve -2*t = 5*i + 9, 3*t - v*i = -0*t + 21 for t.
3
Let l(w) be the first derivative of -w**4/4 - w**3/3 + w**2/2 - 7. Let p be l(-2). Solve -2*g + p = 2*c, 5*c - 1 = 3*g - 4*g for c.
0
Suppose 0 = -3*p + 5 + 13. Let q = p + 1. Solve -2*m + 17 = -3*k + 2*m, -3*k - m = q for k.
-3
Let s = -3 - -6. Solve 0 - 10 = 5*z, s*w - 5*z = 7 for w.
-1
Suppose 12 = 3*p, 4*p + 1 = -3*v + 23. Solve i + v*n = -2*i - 8, 4*i + 2*n = -12 for i.
-4
Let s = 0 - -4. Let u = 11 + -2. Solve d = 2*f + u, -s*d = -f - 1 - 21 for d.
5
Let m(a) = -a**3 - a**2 - 2*a - 5. Let z(o) = o**2 - 1. Let y(r) = -m(r) + 2*z(r). Let j be y(-2). Solve 20 = -4*b, j = 3*k - 2*b - 4 for k.
-1
Suppose 2*y + 1 = 4*t + 23, -3*t - y - 14 = 0. Let a(x) = -x - 5. Let h be a(t). Solve -2*v - 2*k + 16 = h, 0 = -2*v - 3*v + k + 16 for v.
4
Let b(x) = x**2 - 22*x + 42. Let j be b(20). Solve -j*s = -2*k - 2*k + 2, -4*k = -3*s - 5 for k.
-1
Let w = 32 + -13. Let t = w - 17. Solve -2*d - t*v = -2, 0 = -3*d - 0*v - v - 5 for d.
-3
Let r = -3 - 0. Suppose -2*c = -0*c + 2. Let o be 3/r*c + -1. Solve -14 = 5*p + 2*n, o = -p + 4*n - 3*n for p.
-2
Let q(g) = g. Let j be q(2). Let x be ((-2)/(-5))/(3/30). Suppose 4*u = -4*o - x, 2*u + 13 = 2*o + 3. Solve -5*k - 3*d + j*d = -9, 4*k = -o*d + 12 for k.
1
Let n(p) = 2*p**2 - 6*p + 4. Let i be n(4). Let c be (4/(-5))/(i/(-120)). Solve -5*g = -0*g + 2*t - c, 0 = -5*g + t + 11 for g.
2
Suppose 0 = 4*u + 4*d - 2*d - 18, -d - 1 = 0. Solve -s + 0 = j - 4, 16 = 4*s - u*j for s.
4
Suppose 4*n + 4*f - 10 - 14 = 0, -3*f + 10 = n. Suppose -n*d - v + 5 + 13 = 0, -v = -5*d + 18. Solve 4*y = -0*y + d*q + 12, 2*y - 2 = q for y.
-1
Let i = 30 + -25. Solve 0 = r - 4, i*v - v + 3*r - 12 = 0 for v.
0
Suppose -2 = 3*s + 4, 0 = 3*y - 4*s - 41. Suppose 4*a + 3 - y = 0. Solve a*u = x - 2*x + 4, 4*u = -x + 8 for u.
2
Suppose 3*w + 0 - 23 = -2*v, -v - w + 9 = 0. Suppose v*s - 3*s = 9. Let i = 14 + -9. Solve -3*u + 1 - s = i*j, 0 = u - j - 8 for u.
4
Let y = -29 + 34. Suppose -q - 2*k + 8 = -0*q, -q + 4*k = 16. Suppose -y*b - 15 = q, 4*g - 2*g - 5 = b. Solve 0 = -2*r - z + 2*z - 3, z - g = 4*r for r.
1
Suppose 2*j = -j + 15. Let o = 6 + -2. Solve -j*s + 14 = -0*q 