*x - l = 5*x, 5*m = -x - 5 for m.
-1
Let w(g) = 5*g. Let m be w(1). Suppose -4 = -2*a + 4*x, m*a + 3*x - x - 46 = 0. Let c be (0 - 0)/(a/4). Solve c = 5*k + 2*d - 20, -3*k = -2*k + d - 7 for k.
2
Let u = 16 + -15. Suppose 0 = o - u - 1. Solve 3 = -6*t + 3*t, o*t + 2 = -4*m for m.
0
Let b be -1*25/(-5 + 0). Solve b*r - 11 = 3*g + 29, 0 = -5*g - 25 for r.
5
Suppose 2*b - 16 = -3*a, -3*a + b + 1 = -0*b. Let i(n) = n - 2. Let f be i(a). Suppose 5*g + 14 - 59 = f. Solve g*y + 25 = 4*y, 1 = 2*j - y for j.
-2
Let k(b) = b**2 - 17*b + 19. Let d be k(16). Solve -4*l + 4*g - 7 = -l, -d*l = 3*g - 21 for l.
3
Suppose 0*t - 2*r - 21 = -t, -3*r = -3*t + 57. Solve 5*p + 0*n = n, 0 = -3*p + 4*n - t for p.
1
Suppose -20 = -2*q - 3*v + 9, -q - 5 = -5*v. Let j be q + -11 - (-6 + 0). Solve 5*h + 18 = -4*f + 3*h, 0 = 2*f - j*h - 21 for f.
-2
Suppose 4*b - b + 66 = 4*t, 0 = 3*b + 6. Solve -x + 2*x - 4*z - 9 = 0, -t = 5*z for x.
-3
Let a be 880/77 - (-8)/14. Solve 3*p + t + a = 0, -3*p - p - 29 = -3*t for p.
-5
Let k = -4 - -8. Suppose -k*a + 14 + 30 = 0. Solve 5*l + a - 3 = 4*j, 10 = 5*j + 5*l for j.
2
Suppose -3*q + 0*q + 20 = p, 14 = 2*q + p. Let u = -8 - -12. Solve u*n = 4*z + 4, 5*n = -3*z + 7 + q for n.
2
Let h = 2 + 0. Solve -3*x - 2*s = 17, -4*s + 7 = -h*x - s for x.
-5
Suppose 4*t - 5*j = 86, 0 = 5*t + 2*j - 56 - 68. Suppose 3*d - t = 39. Suppose 3*m - 2*f = 18, -5*f + 2 = -2*m + 3. Solve m = 2*u, 7*u = 3*x + 4*u + d for x.
-3
Let p(f) = -f**3 - 9*f**2 - 8*f + 4. Let z be p(-8). Let b be (-8)/(-6)*18/4. Suppose -4*d = -3 - 1, d = x. Solve -r + b = z*a, -2*a = r - 3*a - x for r.
2
Let y = -2 + 7. Suppose p - 4 = 5*p + 3*j, -y*p = j - 6. Solve p*a - 1 = 3*b - 0, -b + 8 = a for b.
3
Let n = -96 - -100. Solve n*x - 5*l = -x + 30, 2*x = -l for x.
2
Suppose -k + 0*h + h - 4 = 0, -4*k = -2*h + 8. Solve s - 3*c + 6 = k, 3*s - 4*c + 10 = s for s.
-3
Let j = -14 + 18. Solve -3*z + 3*k - 5 = j, 5*z + k = -15 for z.
-3
Let d be 3 + (4 - 4)*(-1 - 0). Solve -d*u - 2 = -3*t + 1, -2*u + 7 = -5*t for t.
-3
Let i(b) = -6*b - 2. Let f be i(-2). Solve -2*x - 3*o = f + 4, -3*o - 26 = 5*x for x.
-4
Let j = -3 - -14. Suppose 2*y - 9 - j = 0. Solve y = -5*x - 2*u, 3*u + u - 2 = x for x.
-2
Let l(h) = h**2 - h - 7. Let z be l(4). Solve 4*s - 16 = -z*j, -4*s + 5*j + 3 = 27 for s.
-1
Let m be 2 - (1 - 2) - -32. Suppose 6*y - m = y. Let k = y + -4. Solve -2*x = -k*v - 0*x - 4, -2 = 2*v - x for v.
0
Suppose -4*f + 9 + 11 = 0. Solve -g = -5*n - 7 - 0, 0 = -f*n - 3*g + 1 for n.
-1
Suppose -3*v + 0 = -6. Solve 5*g = a - 28, -6*a = -v*a + g - 7 for a.
3
Let i be (-1 + 0)/((-1)/7). Let s = i + 3. Suppose 0 = p - 3*p + s. Solve -3*j + 3*q - p = q, -4*q - 45 = 5*j for j.
-5
Let r be 1/(-2)*5*-4. Let t = -5 + 10. Suppose 0 = -2*c + 43 - 3. Solve -t*s = p - r - c, -5*p = 5*s - 50 for s.
5
Let t be (-21 - -18)*(-4)/6. Let y be 3*(3 + -1*2). Solve -4*a + 28 = -2*x, -a - t = x - y for a.
5
Suppose -9*g = -5*g - 64. Suppose g*u = 12*u + 12. Solve -u*z + 3 = f + 2*f, -5*z + 3*f = 19 for z.
-2
Suppose 0*s - 2*s = -10. Suppose -y - 2*n + 10 = 2*y, n + 8 = s*y. Suppose -5*k = -0*k. Solve 4*x = y*f - 16, k = -x + 2 - 4 for f.
4
Suppose -4*l - 4 = -2*l. Let c be (-2)/4*l*3. Suppose -7 + 1 = -c*u. Solve u*z = 7*z + f + 13, -2*z = 2*f + 2 for z.
-3
Suppose 22*x - 20 = 17*x. Solve 5*d + 5*m = 0, d - m = -x*d for d.
0
Let r be 1 - ((-1)/(-1) - 4). Solve x - r*x - 2*z = 10, 3*x = -z - 8 for x.
-2
Let d(u) = -u**3 - 8*u**2 - 5*u + 15. Let x be d(-7). Solve 0 = 5*p - 3*i + 7, 0 + x = -i for p.
-2
Let m(r) = 2*r**2 - 3*r + 6. Let n(w) = -5*w**2 + 5*w - 12. Let b(q) = 7*m(q) + 3*n(q). Let z be b(-6). Solve -s + 5*d - z = -3*s, d + 15 = 5*s for s.
3
Let j = -3 + 6. Suppose 34 = 3*u - 5*v, -53 = -4*u - 2*v + v. Solve -5*s = h - u, 5*h - 4*s - j = 4 for h.
3
Let l be -1*0*(-1 + 0). Suppose 4*g + 6*f = f - 4, l = -4*f - 16. Solve -g = 2*i + 4, -i + 21 = 5*t for t.
5
Let q be (-10)/(-15)*6*1/2. Solve a = s, -q*s = 2*s - a + 9 for s.
-3
Let c = -57 + 62. Solve g - 23 = c*n, 3 - 12 = -3*g for n.
-4
Suppose 0 = 2*h + 10, 5 = -4*z - h + 20. Let v be 10/8 + (-3)/12. Suppose -k = -v, 2*n - 4*k = -0*n. Solve -5*u + 5*q = -5, n*u - 3 = 3*u - z*q for u.
2
Let d be ((-24)/60)/(2/(-20)). Suppose 7*k - 3*k - 8 = -3*y, 0 = -2*k + y + d. Solve 3*b + w + 7 = -2*b, 2 = k*b + 2*w for b.
-2
Let o(p) = -13*p - 76. Let k be o(-6). Solve -3*c = -5*y - 0*c + 2, -k = 3*y - 5*c for y.
1
Suppose -4 = -2*u - 2*u, 3*m + 5*u - 56 = 0. Solve -3*r = x - 3*x + m, -12 = -2*x + 2*r for x.
1
Suppose 2*h - 1 = 5*b, 5*b - 1 - 16 = -4*h. Let z be -1 + b + 4 - -1. Solve 0*v + z*i = -2*v + 15, 0 = v - 3*i - 2 for v.
5
Suppose -5*p + 20 - 10 = 0. Suppose 0 = p*j + 5*n + 1, 0 = 3*j - 5*n + n - 33. Solve -4*q = 3*x + 31, 3*x + 35 = 2*q - j*q for x.
-5
Let q = 30 + -10. Solve -3*m - m + q = 4*a, -2*m + 6 = a for a.
4
Let v = -26 + 36. Solve -5*b - 2*m - 25 = 0, 2*b - 2*m + m = -v for b.
-5
Suppose -16*j = -11*j - 10. Solve 3*y + 2*g + 0*g - 10 = 0, -5*y + j*g - 10 = 0 for y.
0
Let s = -46 - -48. Solve 0 = 3*l - 5*q - 16, -l + 2*q + 10 = s*l for l.
2
Let w be 10/45 - 358/(-9). Suppose 3*n = 2*f + w, 4*f - 34 = -3*n + 3*f. Solve -3*x + 5*k + 42 = n, 0 = -4*x + 5*k + 35 for x.
5
Let b = -81 - -83. Solve 3*i = -b*f - f - 6, -5*f - 4*i = 13 for f.
-5
Let u(i) = -i**2 - 4*i - 2. Suppose -3*v = v - 2*s + 14, -4*v - 2*s = 18. Let a be u(v). Let j = a - -2. Solve j*d - 2*n = 3*d - 2, -4*d = 4*n + 4 for d.
4
Suppose -4*x = -s - 6, 0 = 3*s - 3*x + 9 - 0. Let z = 12 - s. Solve -2*t + 0*t - z = -4*g, 2*g = -5*t - 23 for t.
-5
Suppose -3 + 5 = i. Solve 3*w = -9, -4*w - i = 5*m + 10 for m.
0
Let s = 7 - 7. Suppose s = -9*z + 4*z + 15. Suppose z*d - 2*d + 5*c = 30, 4*c = 2*d + 10. Solve d*g = -j + 3*j - 25, -10 = -j + 2*g for j.
0
Suppose 8*b - 100 = 4*b. Solve x = -5*t, -x - 5*t - b = -5*x for x.
5
Let c(k) = 4 - 4 - k. Let t be c(-6). Solve 2*a - 12 = 2*j, 18 = -3*j + t for a.
2
Let b = 9 - 8. Suppose -2*r + b = -3. Solve s + r*m = 5, -4*s - m - m + 14 = 0 for s.
3
Let j(w) = -w**2 + 7*w + 8. Suppose 3 = 3*o - 5*f - 26, 1 = -f. Let m be j(o). Solve -5*c + 4*g = -0*g - 11, 3*c + 2*g + 11 = m for c.
-1
Suppose 0 = 5*o - 2*m + 7*m - 5, 8 = 2*o - 4*m. Suppose 4*b - 79 = 5*r, -o*b + 22 = -b - 2*r. Solve 0*s - 3*s - b = -g, -4*g + 28 = -3*s for g.
4
Suppose 0*s = -5*a - 4*s, -2*s + 14 = -a. Let j = 8 + a. Solve 0 = -m + j*m + 4*g + 11, 4*m + 5*g + 13 = 0 for m.
3
Let l be (0 - 0)/(-2 - -1). Let v(w) = -w - 5. Let h be v(-7). Suppose 9 = h*d - 3. Solve l = 4*j - n + d*n + 25, 4*j = -2*n - 10 for j.
0
Let n = 4 - 1. Let k be 10/n*(-6)/(-4). Let z be 0*(k/3 - 2). Solve s - 3*h + z*h - 6 = 0, -4*s - 3*h + 9 = 0 for s.
3
Suppose 0 = 2*w - 22. Suppose -3*t + 2*t = -2*l + w, 32 = 4*l - 4*t. Solve 0 = -0*r + l*r + m - 4, -2*r = -2*m for r.
1
Let u be 1/(2*1/14). Suppose -54 = -5*n + 1. Suppose 5*h = n - 31, -l = -5*h - 23. Solve -u = -l*x + 2, -4*i - x = 5 for i.
-2
Let g be 20/8*8/10. Suppose 18 = g*v + 2. Let k = v - 3. Solve y + 2*y + 21 = -3*i, -k*i = 3*y + 27 for y.
-4
Suppose -5 = d + 3*r + 5, 0 = -5*d - 5*r. Let s be -3 + d + 4/(-2). Suppose s = -3*i + w + 7, 0 + 20 = 4*w. Solve -5 = 3*k - n, -3*k - 9 = i*n + 16 for k.
-3
Let j(r) = -r**3 + 4*r**2 - 9. Let q be j(3). Solve -4*h - 4*s = q, s = 2*h - s for h.
0
Suppose 16 = 5*d - 3*x - 10, -2*x + 12 = 4*d. Suppose 4 = l + l - d*k, 5*l = 3*k + 10. Suppose -i - l*i = 0. Solve s - 2*r = -8, -5*s + i*s + r = 22 for s.
-4
Let i(p) = -p**2 + 8*p - 13. Let t be i(6). Let u be (4/(-12))/(t/3). Solve -g = b - 6 + u, 0 = -5*g for b.
5
Suppose -12 = -13*a + 10*a. Let j be 1/(-1) + 4/4. Solve -12 = -0*w + 4*w - a*b, 4*w + 2*b - 6 = j for w.
0
Let z(t) = 2*t**3 - 9*t**2 + 11*t + 2. Let g be z(4). Solve 2*h - 20 = -5*q + 1, 4*q - g = 5*h for h.
-2
Let o = -9 - -12. Solve -m + 21 = 2*r + 2*r, 4*m - 32 = -o*r for m.
5
Let g = 13 - 4. Let z be (0 - -1 - -1) + 3. Let l = g - z. Solve 0 = -4*n - 0*q + 4*q, 3*n - 4*q + l = 0 for n.
4
Suppose 3*u = u + 4. Let g be 11 - (u/2 + -2). Solve 0 = -3*h - 0*j + j + 16, g = 2*h - j for h.
4
Let k = 16 - 11. Solve 2*u - 11 = 7*u + 4*y, 5*y = k for u.
-3
Let y(c) be the third derivative of c**5/60 + c**4/24 - c**3/6 + c**2. Let j be y(-2). Let p be j - (-1 + 2)*-1. Solve 5*d - 3 - p = -3*x, -14 = -d + 2*x for