- 20 = 0 for l.
4
Suppose 5 = 2*v + y, 11 = 6*v - v + y. Solve -5*w + 5 - 10 = x, 0 = -2*w - v for x.
0
Let o = -15 + 20. Suppose -o*v + 33 = -3*z, 4*z + 22 = -v + 4*v. Solve -a + 0*d = 2*d + v, -a + d = -6 for a.
2
Let g = 7 + -13. Let a = 16 + g. Let h = a - 6. Solve 2*x + 4 = 4*s, h*s + 2 = 3*x + 2*x for x.
2
Suppose 134*j + 15 = 139*j. Solve 2*h = 3*n - j*h + 19, 2*n - 9 = -h for n.
2
Let m be 75/30*(-16)/(-5). Solve -4*o = -y - m, 6 = -2*o + 2*y + 16 for o.
1
Let m(p) = p - 6. Let b be m(8). Let d(z) = 6*z**2 + b*z**2 - 3*z**2 + z**3. Let g be d(-5). Solve -4*n = g, 0 = i - 8*n + 5*n for i.
0
Let i be 1/(-3) + 70/21. Let w = i - -17. Solve 2*k + 0 = 5*d - w, 12 = 2*k + 3*d for k.
0
Let d(f) = f**3 + 3*f**2 + f + 4. Let y be d(-3). Let v = 10 - y. Solve -3*r - 3*s + v = -0*s, -5*s = -20 for r.
-1
Suppose -4*u - j - 34 = 0, -j - j + 28 = -4*u. Let p = -8 - u. Solve -2*m = h - 6*h + 12, 4*h - 5*m - 13 = p for h.
2
Suppose 0 = 14*p - 16*p + 6. Let s be 12/(-15)*(-10)/4. Suppose -p = -s*v + v. Solve 3*i + 3 = -v*j, 0 = -4*j + 4*i + i + 23 for j.
2
Suppose -1 = -r + 4. Suppose -3*c + 2*c = -r. Solve 2*n - 1 = 3, -c*h - n + 27 = 0 for h.
5
Let y(h) = h**2 - 8*h + 3. Let n be y(7). Let f be 2/n*-14 - 2. Solve 3*x = 5*m - 2, 7*x + f*m = 4*x - 22 for x.
-4
Let t = -4 + 7. Suppose i + 2*n = 24, 3*n - 73 = -t*i - 2*n. Let u = i + -8. Solve 0*w - 2*w = 2*k, -2*w = -4*k - u for w.
3
Suppose -2*b = -2, 2*b - 2 = -4*p + 7*p. Solve 5*h = 5*s - 20, p = 4*s + 2*h - h - 11 for s.
3
Let q = 79 - 79. Solve 0 = -q*s + 4*s, -w - s - 3 = 0 for w.
-3
Suppose 5*s - 4*s - 5*n + 15 = 0, 5*n + 25 = -3*s. Let o(v) = -v**3 - 10*v**2 + v + 13. Let y be o(s). Solve -6 = -5*b - y*p - 1, 0 = -5*b - 5*p + 15 for b.
-2
Suppose 3*q - 2*q = -2. Let s = q - -7. Solve -2*n - s*x = -18, 0*n + n - x + 5 = 0 for n.
-1
Let j(x) = 2*x**2 - 3*x - 3. Let d be j(3). Suppose 3*h - 12 = -l, 2*l + l + 3*h = 18. Solve -l*c + 15 = -d*c + 2*q, 12 = c + 5*q for c.
-3
Suppose 0*a = a - 12. Suppose -a = -5*x + 13. Solve -x*h = 2*w - 5, -2*h + 0 + 2 = -5*w for h.
1
Let d(t) = 1. Let c(p) = p + 12. Let r(q) = c(q) - 5*d(q). Let m be r(-5). Solve 0 = 2*w + 3*u + m*u - 1, u = 3*w - 10 for w.
3
Let z = 56 - 46. Solve -3*u = -3*h - 18, 32 = -5*h + u + z for h.
-4
Suppose r - 5*r = 0. Suppose -5*z + 68 + 62 = r. Solve 4*c = 3*u - 8*u + 15, -u + 5*c - z = 0 for u.
-1
Let b(g) = g**2 - 4*g. Let v be b(2). Suppose 30 = 4*w - 2*l, -2*w = -3*l - 0*l - 17. Let i = v + w. Solve c + 4*y = -4, i*c + y + 0 = 10 for c.
4
Let a(f) = -f**3 - 5*f**2 + 4*f + 8. Let x be a(-6). Let v = 16 + -10. Let d be v/8 - 6/8. Solve -5*q - x = d, c - 28 + 10 = 5*q for c.
-2
Suppose 5*o + 5*k - 20 = 0, 0 = 3*o - 6*k + k - 12. Suppose 5 + 5 = 5*f. Suppose 0 = 3*c - 12. Solve w - 4*w + 2*a + c = 0, 0 = w + f*a - o for w.
2
Let u(y) = -y**2 + 10*y + 2. Let z be (-1)/(-2)*(5 - -15). Let t be u(z). Solve -2*r - 4*j = 4, 0 = t*r - 5*j + 5 + 8 for r.
-4
Let v be (-4)/(-10) - (-24)/(-10). Let g = v + 2. Suppose g = 3*b - 5*t, -5*t - 6 = -4*b - 1. Solve u = -b*l - 2*u - 17, -8 = 3*l + 4*u for l.
-4
Suppose d - f - 4 = 0, 5*f - 4 + 24 = 4*d. Solve 4 = -5*g - 4*m, 4*g + d = -m - 1 for g.
0
Let k = -3 + 9. Let t = 8 - k. Solve -2*a = 5*l + 9, -a = t*l + 2*l + 9 for l.
-3
Suppose -78 = 17*j - 163. Suppose 3*v - 2*b + 3 + 7 = 0, b - 5 = -4*v. Let n = 7 + 2. Solve 5*q = j*w + 9 + 11, 4*q + 3*w - n = v for q.
3
Let i(m) = m**3 + 4*m**2 - 12*m + 7. Let p be i(-6). Solve -2*n - 3 = -3*v + p, -5*v = -2*n - 14 for n.
-2
Let n = 103 + -98. Solve g + 27 = 3*g - n*d, 4*d = -3*g - 17 for g.
1
Suppose -5*p + 5*o - 25 = 0, -p + 7*o - 17 = 2*o. Let d be 5 - (2 - (-2 - p)). Solve -2*g + 3*v = 3*g - d, 2*g = -v + 10 for g.
3
Let r(p) be the third derivative of p**4/24 - p**3/2 + 4*p**2. Let i be r(3). Let m = i - -3. Solve m*z - 5*z + 2*s = -4, z + s = 0 for z.
1
Let q be 402/16 - (-10)/(-80). Solve -4*a = 3*s - q, 2*a - 8 = -4*s + 12 for a.
4
Suppose -k = 2*k - 63. Solve -4*v = -j + k, 3*j - 12 = 4*v + 19 for j.
5
Suppose -1 = 4*o + 3*t + 4, 4*o + 2 = -2*t. Solve y - v + 2 = o, -2*y = 5*v + 30 for y.
-5
Suppose -10*u = -15*u + 30. Solve i - 2*i = k + u, 3*i + 12 = 0 for k.
-2
Suppose 0*u + 2*u = 6. Solve -5*b + 0 - 17 = 2*f, -5*f + u*b = -4 for f.
-1
Let k(l) = l + 32. Let z be k(-30). Suppose -2*d = -0 - 4. Suppose d*h = -3*i + 13, 3*h = 2*i - 6*i + 19. Solve 5*g - g = -5*v - h, 0 = g - 2*v - z for g.
0
Suppose -r = -3*c + 15, c + 4 = -3*r - 1. Suppose c*u - 22 = 4*m + 2, 5*u + m = 24. Solve -u*g = -3*g - y + 7, 0 = 2*g + 4*y + 2 for g.
-3
Suppose -4*d + 3*d + 3 = 0, p - 13 = -3*d. Suppose -x = -6*x + 25. Solve -5*z + 2*h = -35, x*z - 20 = p*z + 3*h for z.
5
Suppose 6*g - 8*g = 0. Let j(b) = b**2 + 5*b + 3. Let n be (-20)/(-4)*1/(-1). Let v be j(n). Solve -u + 3*u + 3*k + 19 = g, 4*u - v*k = -11 for u.
-5
Let u = 0 + 3. Solve -4 - 4 = 5*s + 3*b, -s = -u*b + 16 for s.
-4
Let o = 6 + -11. Let q(i) = -i**3 - 5*i**2 - i - 2. Let j be q(o). Solve 8 + 0 = 2*f - 2*k, 3*k - j = -2*f for f.
3
Suppose d - 21 = -2*d. Suppose 0 = -4*z + 5*r + 41, -z + 3*r + d = -3*z. Solve -1 = -k + z*k - 4*q, -q + 24 = 4*k for k.
5
Suppose 0 = 3*w - 5*y - 21 - 22, -5*y - 75 = -5*w. Solve -4*l = -w, -5*f + 3*l - 27 = -0*l for f.
-3
Suppose -x - 2*h = 13, 4*h = -2*x + x - 5. Let o = 26 + x. Solve -w + 0*w - 2 = k, 0 = -o*w - 4*k - 11 for w.
-3
Let f(d) = d**3 - 3*d**2 - 5*d + 6. Let k be f(4). Solve 5*x + 4 = k*n + 3*x, -4*x = -4 for n.
3
Let v = -19 - -19. Solve -2*g = 3*u - 16 - v, u = -5*g + 14 for g.
2
Let i(f) = -15*f - 3. Let v be i(-4). Let j = -26 + v. Suppose -3*x + 4*n = 10, 2*x - 2*n = n - 8. Solve x*a + 4*b + 1 - j = 0, -4*a = 2*b - 30 for a.
5
Let i(o) = o**2 + 3*o. Let v be i(-7). Let z be 2*(-1)/6*6. Let b be (-6)/4 - 13/z. Solve -b*f = 2*c, -f - 3*f + 4*c = -v for f.
2
Let x = -69 + 69. Solve f + 2*p = 5*f, x = -5*f - 4*p - 26 for f.
-2
Let g(j) = j**2 + 9. Let p be g(0). Suppose 4*i + 5*y + p = -11, 5*i = 3*y + 12. Let q = i - -4. Solve -u = -h + q, 9*h = 3*u + 4*h + 12 for u.
-4
Let m(i) = i - 4. Let k be m(4). Let j(x) = x**2 + 7*x + 1. Let t be j(-7). Solve 2*g - 1 = s, -3*g + 2*s + k*s = -t for g.
1
Let s = 1 - -4. Suppose 28 = s*n + 3. Suppose -i + 3*i - 8 = 0. Solve 5*x - 30 = -n*u, -i*u + 8 = -x - 1 for x.
3
Let i(x) be the second derivative of x**3/2 - 17*x**2/2 + 2*x. Let f be i(7). Solve 3*l + l - 2*h = 8, f*l - 4 = 4*h for l.
3
Let r(l) = l. Let s = -6 - -6. Let x be r(s). Solve 4*t = k - 6, x = -2*t - 2*k + 5*k + 2 for t.
-2
Let q = 21 + -15. Let z be (9/(-18))/((-1)/q). Suppose -t = -3*t + 16. Solve 5*u = -z*m - t, 4*m - 2*u + 4*u = -6 for m.
-1
Let a = -13 + 28. Suppose 5*b + s = a, -b + 0*s = -s - 3. Solve b*t + t - 33 = 5*j, 4*t + 2 = -2*j for j.
-5
Let s = 107 - 103. Solve g + 2 = -0*g + 5*p, 2*g + s = 2*p for g.
-2
Let h be 2 - (0/2)/(-2). Solve 2 = -3*b + n - 2, -2*n - h = -b for b.
-2
Suppose 0 = -3*k + 28 - 1. Suppose -3*z + k*z - 24 = 0. Solve 4*t + z*h = 24, h = -3*h + 12 for t.
3
Let r(a) = a - 4. Let g be r(-3). Let b be (g/28)/(1/(-20)). Solve 25 = 5*z - f, z + 41 = 5*z - b*f for z.
4
Suppose 3*v - 6 = -0. Solve 3*q - 9 = v*s - 3, 5*q = -4*s + 32 for q.
4
Let u(x) = -x**2 - 2*x + 4. Let p be u(-3). Let n be (1 - p)/1 - -2. Solve n*k = 3*o - 5 - 8, 2*k - 5*o = -23 for k.
1
Let t(a) be the second derivative of a**3/6 - a**2/2 - 4*a. Let l be t(6). Solve -12 = f - 3*g - 0, f + 22 = l*g for f.
3
Let t(c) = c**2 - 9*c + 4. Let w be t(11). Solve -5*p - 2*j + 27 = 6, -4*p + 3*j + w = 0 for p.
5
Suppose 6*z - 310 = z. Suppose 3*n + 3*k - k - z = 0, 2*n = 2*k + 48. Solve 0 = 5*q - 4*w - n - 18, 14 = q - 2*w for q.
4
Let x = -80 + 116. Let f = x - 22. Solve -4*w = -2*m + 16, 2*m + 10 = -4*w - f for w.
-5
Suppose -55 = 6*v - 17*v. Solve -17 = v*p + 2*c, -3*p + 3*c = 8*c - 5 for p.
-5
Let a(r) = -r**2 + 4*r + 3. Let j be a(3). Solve p + 3*g = 2, -p = 4*g - j*g - 2 for p.
2
Suppose 4*b = 43 + 5. Solve 0 = 2*l + 5*s + 2 - b, 8 = -5*l + 4*s for l.
0
Suppose -2*d + 2*x + 15 = -17, 0 = -d + 3*x + 26. Suppose 5*t = -2*f - 8 - d, 5*t + 13 = -4*f. Solve 5*w - j - f = 0, 0*j + 2*j = 4*w for w.
1
Suppose -76 + 16 = -4*m. Let o be ((-12)/10)/((-15)/(-50)). Let l be o - -2 - (0 + -2). Solve i + 4*a - m = l, 2*i + 2*a = 3*i + 3 for i.
3
Let f be (-21)/9*(-3 - 0). L