- 4*q = -7 - 4, -4*y = -2*q - 2 for y.
3
Suppose -b - 4*b = -25. Suppose b*y + 41 - 11 = a, -2*a + 4*y = -30. Solve a*c = -f - 2*f + 4, -3*c - 3*f = 0 for c.
2
Let c(n) = -n**3 - 6*n**2 - 6*n - 3. Let j be c(-5). Suppose 4*g - 12 = j*g. Solve -p + g = p + 5*w, 5*p = 2*w + 15 for p.
3
Suppose x = 3*x. Let j be (-1 - 1)*(-1 - x). Solve 0 = 3*c - 4*m + 6, -c + 2*m + 2*m - j = 0 for c.
-2
Suppose 0 = -3*s + 6 + 3. Suppose 0 = 3*o - 3*r - s, -5*o - 2*r + 15 = 3*r. Solve 0 = -j - 3*m - 2, j + 9 = o*m + 2*m for j.
-5
Let c(r) = -r**3 - 7*r**2 + 7*r - 5. Let b be c(-8). Suppose -p = -3, 3*m + 0 = b*p - 3. Solve -l - m*x = l + 4, 5*x + 34 = 3*l for l.
3
Suppose 3*u - 8 = 4. Let m = 14 + 6. Solve 3*x - 4*o = m, u*x + 5*o = 3*x - 6 for x.
4
Let l = 44 - 39. Solve -v = v, p + l*v - 5 = 0 for p.
5
Let i be (1 - -1)/(1 - 3). Let q = i - -2. Suppose -c + 9 = 3*r, -c + 14 = 5*r - 3. Solve -2*l + 8 = 0, -5*n = r*l - 0*l - q for n.
-3
Let b(s) = 2*s - 8. Let l be b(6). Solve 1 = -r - 3*z + 4*z, l*z + 4 = 2*r for r.
-4
Suppose 2*c - 26 = 4. Solve -c = y - 3*r, 25 = -y + 6*r - r for y.
0
Let q = 10 + -6. Suppose 5*m - 4*z = -20, -3*z = 3*m - q + 16. Let g be 14*(-2)/m - 3. Solve s + 2*s = 5*j - 11, 0 = -g*s - j - 7 for s.
-2
Let c(j) = -j**2 + 6*j + 7. Let n be c(7). Let w(d) = -2*d + 5. Let r be w(n). Solve q + 5*u - 11 = 0, r*q - 13 + 6 = -u for q.
1
Let x be (8/6)/(-4) - (-195)/45. Solve -n - j = 10, x*j + 27 = -n + 2 for n.
-5
Let z(x) be the first derivative of -x**4/4 + 3*x**3 + 5*x + 4. Let v be z(9). Suppose v*a = 2*a + 27. Solve 11 + 2 = -5*u - f, -3*u - f = a for u.
-2
Let g = -17 + 19. Suppose c - 1 - 2 = 0. Solve -3*v - 7 = -9*k + 4*k, 0 = v - g*k + c for v.
1
Let q(g) = g**2 - 2*g - 4. Let a be q(4). Suppose -5*y + w = -57 - a, -5*w = y - 33. Solve 0*p = 3*p + 4*m - 24, 3*m = -p + y for p.
4
Let r = 26 - 24. Solve 3*m - 2*c = r, m - 4*c - 20 = -6 for m.
-2
Let q(c) = c + 15. Let m be q(-5). Let w = 14 - 9. Solve -w*p + 2*a = -18, 5*p + 5*a - 35 = -m for p.
4
Let m(w) = 4*w - 9. Let a be m(6). Suppose 12 = 4*h + 4, 3*h - 16 = 2*q. Let u be (3/q)/(1/(-5)). Solve -a = -u*y - 3*l, 2*y - 17 = -3*y + 3*l for y.
4
Let o = -1 - -7. Let p = o + -1. Solve -4*i + i - 8 = 4*a, 5*a - p*i = -45 for a.
-5
Let s be (-66)/(-18) + 1/3. Suppose -h = h - s. Solve -j = -c - h*c + 20, j + 25 = 4*c for j.
-5
Let a(d) = -3*d**3 + d**2 - d - 1. Let z be (-6)/27 - 2/(-9). Suppose -5*i - 1 - 4 = z. Let c be a(i). Solve 0 = -3*k + 9, -c*m - 3*k + 6 - 1 = 0 for m.
-1
Let y be 8/(-2)*(-6)/12. Solve 0 = -s - 5, -2*g - s = 11 - y for g.
-2
Let u(j) = 3*j - 1. Let n be u(2). Suppose 0*g - 2*g - n*h = -5, g + 2 = 2*h. Solve -m = 3*q - 4, -5*m + g*m = -4*q - 1 for m.
1
Let a = 277 - 274. Suppose -2*t = -2*j + 20, 0 = -3*t - 3*j + 5*j - 27. Let r = t - -11. Solve -1 = 5*u + 3*g, -u - r*g - 4 = a*u for u.
1
Suppose -30 = -8*j + 5*j. Let g(y) = 3*y**2 + 2*y - 2. Let m be g(1). Solve m*i - 5*d = -13, -2*d + 4 - j = -4*i for i.
4
Let z(b) = 3*b**2 - 1. Let h be z(-1). Suppose -4*q = 2*l + 4, h*l - l - 5*q = 12. Solve -4*k = -l*o + 4, 5*o + 2 = -2*k - 24 for o.
-4
Let n be -2 + 1 + (-1 - -20). Suppose 23 - 51 = -2*d. Solve -m = 6*u - u + d, 4*m + n = -u for u.
-2
Let p = 3 - 0. Let l(z) = 2*z + 2. Let t(w) = w + 1. Let o(a) = l(a) - t(a). Let h be o(p). Solve 0 = 5*q - h*j - 7, -j + 5*j = -q - 13 for q.
-1
Suppose -10*m + 12 = 12. Solve 2*z - z - 1 = 0, m = -3*w - 4*z + 1 for w.
-1
Suppose 0 = -4*s - 3*d + 7, 0 = 2*d - 0*d - 2. Let p(k) = k**3 + 12*k**2 - 14*k - 1. Let h be p(-13). Solve -5*r + 3*w + 10 + s = 0, 4*w + h = 4*r for r.
1
Let d = -89 + 93. Solve -4*b - 5*h - 28 = -0*b, -10 = -3*b + d*h for b.
-2
Let h = 16 + -4. Let d(w) = -w**2 - 9*w - 15. Let u be d(-4). Solve u*k = -p + 9 + 5, 3*p - h = -5*k for k.
3
Let j(b) = b**2 + 6*b - 14. Let r(g) = -g**2 - 8*g + 1. Let o be r(-9). Let f be j(o). Solve 0 = 4*h + u - 11, 3*h - f*h + 5*u + 21 = 0 for h.
4
Let f(q) = q**3 + 10*q**2 - 11*q + 2. Suppose -3*o - 34 = -1. Let x be f(o). Solve 2*y - 2*s = 4, 4*y - x - 7 = 5*s for y.
1
Let h(w) = 4*w**3 - 2*w**2 - 2*w + 3. Let x be h(1). Solve -5*u - 16 = -b - x*b, 4*u = -3*b - 19 for u.
-4
Suppose 13 - 40 = -3*f. Suppose f*p = 4*p + 25. Solve -t - 4*h + 1 = -p*h, 6 = 2*h for t.
4
Let u be (-3)/((-1)/((-6)/(-9))). Suppose 16 = -4*w, u*x - 3*w = 17 + 1. Let z = -59 + 59. Solve 4*k + 2*l + x + 1 = z, -k = l for k.
-2
Let a be 1 - (-1 + 3 + -1). Solve l + 3 = -2*l + 3*k, 4*l + k - 16 = a for l.
3
Let a = 15 - 14. Suppose -4*g + 5*r + 2 = 0, -r + a = 3*g - 5*r. Solve 0*d = f + g*d - 6, 4*d = -f + 7 for f.
3
Suppose -3*i - 28 = -1. Let a(x) = x + 14. Let k be a(i). Let d = k + -2. Solve -4 = -g + 4*u + 5, 5 = d*g - u for g.
1
Suppose -4 = 5*p - 24. Suppose 5 = 4*h + 3*v - 14, -p*v + 12 = 2*h. Suppose -4*r + 0 = -h. Solve r = -2*d + c, 4*d + 2*c = -0*c + 10 for d.
1
Suppose q = -2*q + 6. Let j be 7/(-28) + (-14)/8. Let o be (-1)/j*(1 - -3). Solve -r + l = 3*l + 6, 0 = q*r - o*l - 6 for r.
0
Let o(x) = -5*x + 20. Let u be o(4). Solve w + 3*w - 4 = u, 3*w + 22 = -5*c for c.
-5
Let p(d) = d**2 - 2*d - 2. Let t be p(5). Let a be (2 - 1) + (0 - 1). Suppose a = -3*y + 8*y - 25. Solve -t = -2*x + y*b, -b - b - 2 = -4*x for x.
-1
Let l(k) = -20*k. Let t be l(-3). Suppose 0 = -4*d + 3*n + 28, 0 = 3*d - 0*d - n - 16. Suppose t = -a + d*a. Solve -4*m + 3*b - 13 = -3*m, 4*m - 4*b = -a for m.
-1
Suppose 0 = 2*y - 5*t - 19, 2*y - 3*t = 3*y + 7. Solve -3*x - x + 16 = 2*z, y*x - 8 = -2*z for z.
0
Suppose 2*p + 0*p = 5*c + 33, -4*p + 31 = -3*c. Suppose n - 28 = -p*f, -2*f - 2*n = -3*n - 20. Solve -2*j = l + 6, 5*l - 2 = f for j.
-4
Let i be 48/(-72) - (-1 + 28/(-6)). Solve 0 = i*g + 5*y + 20, -g - 5*y - 4 = -y for g.
-4
Suppose 0 = 2*g + 3*l, 2*g = -0*g - 4*l - 2. Suppose -8*b = -3*b + 2*f - 20, -g*b + 1 = -f. Solve b*v - 3 = -5*h - 2, -2*v = 4*h for v.
-2
Suppose -2*l = l - 6. Let m be 6/(-4)*l - -16. Solve i = 2*i - 4*s - m, -4*i - 3*s = -14 for i.
5
Suppose -3*d + 7*d - 60 = 0. Solve -4*i = 5*j + 15, -3*i - d = 3*j - 6 for i.
0
Let p be 2/9 - 215/(-45). Solve -24 = -4*f - 0*b + b, -p*f + b = -29 for f.
5
Suppose -6 = 3*t - 21. Let o be 78/21 - 4/(-14). Suppose -t*h = -5*w + 10 - 35, -o*h = 4*w - 4. Solve -4*x + 2*j - 4 = 0, 6 = -h*j - 0 for x.
-2
Suppose -h - 15 = 2*h, -3*i + h = -14. Suppose i*u = u. Solve s - 2*s - 4*k - 15 = u, 2*k + 11 = 3*s for s.
1
Let p(r) = -r**2 - 8*r - 12. Let j be p(-6). Solve -2*h = -4*v + 2*h - 12, 4*h = j for v.
-3
Suppose 0*u + 4*y = -5*u, -4*u - 4 = 4*y. Suppose -4*a - 48 = -3*x, -2*x + 3*a - 2*a = -37. Solve 0 = -2*n - u*o + x, 3 + 11 = -3*n + 5*o for n.
2
Suppose -2*w + 5*w - 84 = 0. Let m = 0 + 3. Solve n = 4*v - m*n + w, -2 = -n for v.
-5
Suppose 3*x = -g + 4, 2*g - 7*g + 20 = 2*x. Solve 5*j = -5*r + 25, x = -0*j - 5*j - r + 25 for j.
5
Let a be (-101)/(-4) + 1/(-4). Let u = -7 + a. Let h be (0 + -6 + 6)*-1. Solve -3*v = 12, -2*t = -h*t + 4*v + u for t.
-1
Let r = 9 + -5. Let h = r - 2. Let b(i) = -17*i + 3. Let y be b(0). Solve f = -y*c - 11, -h*f - 23 = 2*f + 5*c for f.
-2
Let k = -54 + 59. Solve 0 = 5*p - 5*j - 0 + k, -2*j = 2*p - 10 for p.
2
Let c be 8/(-12)*9/(-2). Suppose -9*t + 10 = -5*t - 2*x, -x + 5 = c*t. Let r be (-2)/2 - 1*-5. Solve -r = -j - 0*j - t*z, -3*z + 5 = j for j.
2
Let s(d) = d + 14. Let f be s(-10). Suppose 0*a = -f*a. Solve 5*t = -i + 2*i - 15, a = -5*t + 4*i - 30 for t.
-2
Suppose 0 = 4*j + 2 - 10. Solve -r = -2*l - j*l + 15, 2*l - 3 = -r for r.
-3
Suppose 4*p + 6*p = 50. Solve -3*y + y + 18 = -4*h, -p*h = 4*y + 29 for h.
-5
Suppose -6*j = 3*j - 27. Solve -5*v = -y + 24, j*y - v - 20 = -y for y.
4
Let g(a) = 1. Let o(s) = s + 18. Let q(b) = -4*g(b) + o(b). Let f be q(-10). Let c(d) = 2*d - 4. Let m be c(f). Solve m*t + 3*i = i, 5*t + 5*i = 5 for t.
-1
Let v(i) = i**2 + 8*i + 4. Let q be v(-8). Suppose -1 = 5*t + 4. Let g = 4 + t. Solve 19 = q*y + 3*r, 11 = -g*y + 4*r - 6 for y.
1
Suppose -9 = 4*s - 25. Let w be ((-9)/6*s)/(-2). Solve 6*j - 2*y + 10 = 2*j, 4*j + w*y + 5 = 0 for j.
-2
Suppose -3*d + 6 = 2*y, 4*d = -0*y - 3*y + 10. Let r be (-3)/y + (-45)/(-2). Solve -3*o = -0*v - 4*v + 11, -5*v + r = -o for o.
3
Suppose -10 = -2*k + d, -5*d + 5 + 15 = 4*k. Suppose -4*r + r - 4*y = -31, 5*y - k = 3*r. Solve -6*l = -2*l + r*i + 16, 0 = 4*l - 5*i + 16 fo