*k - 5 for r.
0
Suppose -2*c + 6*c = 12. Solve -8 = -2*k, 2*k = g - c*k + 21 for g.
-1
Let g = -30 - -32. Solve g*d + 1 - 12 = -k, 4*k + 4*d = 32 for k.
5
Let v be ((-56)/20 + 2)*-5. Suppose -3*b + 23 - 8 = 0, 5*c - 75 = v*b. Let o(x) = -x - 2. Let d be o(-4). Solve w + c = -y + 5*w, -2*w + 8 = -d*y for y.
1
Suppose 0*z - 3*y + 9 = 3*z, 2*y = -5*z + 6. Solve 2*o - 24 = -4*n - o, 5*n + 3*o - 27 = z for n.
3
Let d(c) = -c**2 + 2*c + 7. Let i be d(3). Solve 2*q - g = 4, -2*q + 0*q - 3*g - i = 0 for q.
1
Let y = 51 + -46. Solve 0 = 4*j - 4*f - 31 + 3, -5*f - 15 = y*j for j.
2
Let b = -4 - -8. Let c be 66/14 - (-6)/21. Let f = c + -3. Solve b*h = 3*v - 8, -3*h + f*h = v + 9 for v.
-4
Suppose -11 = -6*z + 13. Solve 1 = -z*a - 2*p + 7, 5*p - 15 = a for a.
0
Suppose 0 = -8*v - 2*v + 10. Solve -4*g - v = h + 6, -g - 13 = 4*h for h.
-3
Suppose -4*q + 4*v + 6 = -2, 2*v - 8 = -2*q. Solve 0 = q*o - m + 10, 0 + 7 = -2*o + m for o.
-3
Suppose 0 = -x - 0*x + 11. Let t = x + 0. Let n be t/5 - (-2)/(-10). Solve -3*h - z = 3*z - 19, -n*h - 2*z = -12 for h.
5
Let y(b) = b + 2. Let g be y(-2). Suppose g*t - 8 = -t. Solve 4*v - c + 1 = 0, -2*c - 2*c = -4*v + t for v.
-1
Let m(p) = -p**3 + 6*p**2 - 4*p - 2. Let r be m(5). Suppose -4*k - 19 = -5*j - 7*k, k = r. Solve -3*a + j = -2*t, 5*t = -3*a + 11 + 5 for t.
2
Let g be 3*(-12)/9*-1. Solve -2*x + 0*z = -4*z - 24, g*z + 20 = 0 for x.
2
Let o be (2 + -11)/(-4 - -1). Solve 0 = -2*n + o*q + 10, -2*q = -4*n + 3*q + 20 for n.
5
Let y be (80/25 + -3)/((-2)/(-50)). Solve 2*a - x = -5 - 7, -20 = 2*a - y*x for a.
-5
Let h = -6 - -9. Let c(d) = 3*d**2 - d + 1. Let r be c(1). Let p be -1 + 0 + r - 0. Solve h*n - 13 = p*k - 4, k = 0 for n.
3
Suppose 4*h = 11 - 3, 10 = 2*j - h. Let r(t) = t + 1. Let s be r(1). Solve s*g - 3*v = j*g + 11, -3*g = -v - 8 for g.
1
Let g(t) = 2*t - 10. Let s be g(9). Suppose 0 = -7*o + 3*o + 4. Let p be 426/42 - o/7. Solve -d + s = w, -5*d + 3*w - p = -2*w for d.
3
Suppose -7*w = -2*w. Let r be (w/3)/(-2 + 0). Solve r = -3*h - 2*d + 6, 3*d = -4*h + d + 6 for h.
0
Suppose -2 = -2*o + 2. Suppose -o = v - 5. Solve 3*h + 3 = v*d, 3*d + 2*h = -d + 10 for d.
2
Let v be 2/(-15) - 160/(-75). Let o = 3 - v. Solve m = -o, -i + 3*i = -m + 3 for i.
2
Let a = -17 + 23. Suppose 3*x + 2*m = 5*x + a, -2*x + m = 1. Solve -x*u = -2*t - 14, -u - 2*t - 4 = 4 for u.
2
Let s(x) = x**3 - 10*x**2 + 15*x + 9. Let o be s(8). Let u = -1 + 7. Solve -2*a + 12 = 3*p, -2*p - a = -o - u for p.
2
Suppose -15 = -3*p - 6. Solve 5*u = 5*k + 4 + 6, 4*k + 4 = p*u for u.
4
Let o(m) = -2*m**2 - 32*m - 20. Let t be o(-15). Solve 16 = -0*s - s - 3*p, 2*p = -t for s.
-1
Let u be (-3 - -3)/((3 + -5)/2). Solve 2*q + r + 11 = u, 5*r - 6*r = 5*q + 20 for q.
-3
Suppose -3*p + 5 = -4. Solve 0*s + 2*s = -p*w + 13, 5*w = 4*s + 29 for s.
-1
Let o be -7*(-1)/(-14)*-8. Solve -4*t - o*c - 8 = 0, 4*t - 4*c + 12 = -6*c for t.
-4
Suppose 22 + 14 = 9*u. Solve -2*l - 2 = -o - o, -o - u*l = 19 for o.
-3
Let q = -9 + 14. Solve -q*z + 3*c = 15, -z = -0*z + c + 3 for z.
-3
Suppose 4*w + 6 = 18. Solve 2*o - w*q - 14 = -2*o, -4*o - q = -22 for o.
5
Let t(u) = -8*u**2 + 4*u + 2. Let l be t(4). Let s be l - (0 - -2 - 2). Let w be (-4)/5*s/4. Solve -5*z = 3*n + w, 0 + 11 = -4*n - 3*z for n.
1
Suppose 37*i = 41*i. Solve -2*d - 2*d + 3*y + 15 = i, 3*y + 15 = -d for d.
0
Suppose -163 = -5*n - 63. Suppose -n = -4*s - 4. Solve 20 = 4*c - s*t + 2*t, -10 = 5*t for c.
4
Let i(c) = -c**2 - 5*c - 1. Let h(a) = -4*a. Let w be h(1). Let v be i(w). Suppose -v*n + 8 = n. Solve -n*o - 3*o = 5*m, -2*m - 3*o = -2 for m.
-2
Let w(h) = 3*h - 1. Let q be w(2). Let f = -6 - -8. Suppose 3*p = f*n + 2 + 2, 4*n = 16. Solve 0 = p*j - b - 17, q*b - 1 + 2 = -j for j.
4
Let s be (-4)/6 - 2/(-3). Suppose -3*q = -14*q + 22. Solve q*c + 3*m - 17 + 0 = s, 2*c = -5*m + 27 for c.
1
Suppose 5*z = 99 + 86. Suppose v - z + 1 = 0. Suppose -4*q = -2*l - 2*l - v, -20 = 4*l. Solve u + 2 = 0, 2*o + 3*u + q = o for o.
2
Suppose -2*b - 2*b = -12. Let q = b + 1. Suppose 0 = -3*f + 3*y - 2 + 17, -q*f - 2*y = -20. Solve -4*i - 32 = -4*c, 10 = -2*c - f*i - 9 for c.
3
Let a be 36/10 + (-2)/(-5). Let s(n) = 3*n**2 + n + 1. Let z be s(-4). Solve 3*g - 3*l + 6*l + 30 = 0, -a*l - z = 5*g for g.
-5
Let z = -1 - -5. Solve 2*j + 5*s = 23, -3 = -z*j + s - 12 for j.
-1
Let u = 13 - 11. Solve 0 = -5*w - 4*j + 21, u*j - 6 = -2*w + 4 for w.
1
Let r(b) be the first derivative of b**2/2 + 1. Suppose 3*o = -0*o + 15. Let t be r(o). Solve -x + 10 = 3*x + 2*h, -t*x = 4*h - 17 for x.
1
Suppose -o - 3*o = 0. Let a(y) = -y**3 - 11*y**2 - 10*y + 20. Let v be a(-10). Solve -z = n - 1, -3*n - 2*n - v = o for z.
5
Let c(b) = -2*b**3 + 3*b**2 - 4. Let x be c(-3). Suppose -x + 17 = -5*f. Suppose -4 = -2*y + f. Solve 2*n - 3*z + 2 = -2, 0 = -4*n + 5*z - y for n.
-2
Suppose -57 = 6*o - 25*o. Solve o*q + 10 = -q + 3*n, -2 = n for q.
-4
Suppose -3*l = -2 - 13. Solve 4*b + 4*g - l = -21, 0 = -g for b.
-4
Let y(m) = 3*m + 6. Let d be y(-2). Let b be 2/(-5) + (-44)/(-10). Let h = b + -2. Solve -v + 10 = v + g, d = -h*g + 4 for v.
4
Suppose t - 5*t = 0. Suppose t = 3*w + w. Solve m - c + 0*c = 3, 2*m - c - 2 = w for m.
-1
Suppose -z + 2*z + 22 = 0. Let r = z + 31. Let t = 9 + -6. Solve -t*f = 2*u + 6, 4*f - 6*u - r = -3*u for f.
0
Suppose q = -4 + 8. Solve -q*p - 3*g = 15, 5*p - 3*g = -g + 10 for p.
0
Let y(j) = j**3 + 3*j**2 + 2*j + 4. Let k be y(3). Let a be (-2)/(-5) - k/(-40). Solve -12 = 6*u - a*u, 0 = 3*b + 5*u + 9 for b.
2
Let l(f) = f - 5*f**2 + 3*f**2 + 3*f**2 + 1. Let v be l(-4). Solve -4*d = -3*x, 0 = 3*x - 7*x + d + v for x.
4
Suppose -2*h = 3*h. Let w = h - -1. Let a = w + 2. Solve -3*p - 3*m + 3 = 0, -4*p + a*m = 4*m - 10 for p.
3
Suppose 0 = -5*f - 4*g + 2, 0 = 5*f + 2*g + g - 4. Solve p = -4*u + 7, 4*u - f*p - 1 = -3 for u.
1
Let c(z) = z**3 - 6*z**2 + 6*z - 3. Let i be c(5). Suppose 2*b = 2, -4*b + 28 = 5*h - b. Solve -l = -i, j - 22 = -2*j - h*l for j.
4
Let f(i) = -i**2 + i + 5. Let z be f(0). Let t(r) = r**2 - 5*r + 6. Let b be t(4). Suppose g = b*g. Solve u + 6 = -z*o, -2*o - 4*u = -g*u - 12 for o.
-2
Let o(s) = -5*s - 6. Let d be o(-5). Let f = -15 + d. Solve 2*z - 2*i = 6, f*i - 6 + 22 = 5*z for z.
4
Let i(p) be the first derivative of -p**4/4 - 3*p**3 - 4*p**2 + 2*p - 1. Let u be i(-8). Solve -u*g = -5*g - 3*j + 6, 3*j = 3*g - 12 for g.
3
Let v(c) = -c - 7. Let g be v(-11). Solve g*s = -2*z + 12, 6*z = 3*z + 3*s for z.
2
Let d = -2 + 2. Suppose d = 7*x - 2*x. Solve 2*r = -s - 5 - 0, r + 2 = x for s.
-1
Suppose 0 = -5*f + r + 49, -f - 5*r + 55 = 4*f. Let o be (-9 + f)/((-1)/(-15)). Solve 3*q - q = -3*s - 6, 5*q = -3*s - o for q.
-3
Suppose 3*n = -4*f - 3, 0*n - 5*n + 18 = -f. Solve -4*q + 3 = -n*l, -5*q + 2*q = -2*l - 1 for q.
-3
Suppose 4*c = -5*a + 15, 3*c + a - 6*a + 15 = 0. Solve 0 = 3*b + 5*v - 37, -3*b = -c*v + v - 17 for b.
4
Let b(g) = g**2 - 4*g - 8. Let r be b(6). Solve r*w - 4*k + 32 = 0, -2 - 2 = -4*w - 5*k for w.
-4
Let x(f) = 1 + 3*f - 10 - 4*f. Let r = -10 - -1. Let q be x(r). Solve 4*a + 1 = 3*o, -o - 2*a - 23 + 10 = q for o.
-5
Let s(z) = z**3 - z**2 + 2*z - 3. Let v be s(2). Suppose 2*f - 18 = -2*i + 48, 2*f + 5*i - 75 = 0. Solve v*j + 0*x + 2*x = 17, -5*x = -2*j + f for j.
5
Let x = 8 - 5. Suppose -2*v + 6 + 0 = 0. Suppose 0 = -v*m + k + 3, 0 = k + 4*k. Solve 4*y - m = x*f - 6, -6 = 4*f + y for f.
-1
Suppose 3*j = -2*j + 10. Let p(o) = -3*o - 4 + 2*o - 3*o - j*o - o**2. Let r be p(-4). Solve -16 = r*m - 0*m - d, 3*m + 5*d = 11 for m.
-3
Let o(h) = -h**3 + h**2 + 34. Let z be o(0). Suppose -15 = -7*v + z. Solve 0 = -2*k + w + w + 6, -5*w = 3*k + v for k.
1
Let n = -8 - -11. Let m be (-9)/(-6)*8/n. Solve m*c - 3*x = -0*x - 12, -4*x + 16 = 3*c for c.
0
Let k = 24 - 8. Let z be 1*k - (1 - -1). Suppose -5*i + z = -6. Solve -4*q + 3*w + 0*w = -5, -w + 25 = i*q for q.
5
Suppose -2*h = -4*h - 4*d + 24, 5 = d. Let l be ((-3)/(-6))/(1/2). Let r = l + 2. Solve -r = -3*p - h*u, -u - 3 = -5*p + 2 for p.
1
Let b(c) = -c - 3. Let s be b(-5). Let m be (-2)/10 - s/(-10). Let f(k) = -k + 6. Let h be f(3). Solve -4*n + h*t + 8 = m, 6*t = 3*n + t + 5 for n.
5
Suppose 20 = 6*g - 4. Solve g*m = -2*v + 4, -5*m + v = -0 + 2 for m.
0
Let j(x) = x**2 + 2*x - 6. Let a be j(-4). Solve -3*n - 5*g + 30 = -a*g, -5*n - 2*g + 35 = 0 for