-b*l + 3*a + 5, 3*a = -4*l - 15 for l.
0
Suppose -12 = 24*c - 21*c. Let j be 2 - (-1 - -5) - c. Let z = -3 + 7. Solve z*w + j*k = -12, -2*w - 3 = 4*k - 9 for w.
-5
Let u(p) = -p**3 - p**2 - 2*p - 1. Let b be u(-1). Suppose 0 = 3*d + b - 10. Solve 3*r - 2 = -q - 17, 0 = r - d*q + 5 for r.
-5
Suppose -11 = -5*n + c, 0*n - n - 2*c = 0. Suppose n*x - 80 = 4*q - 0*q, 5*x = 2*q + 208. Solve -5*z - 2 + x = -5*s, 5*s + 25 = 0 for z.
3
Let a = 350 + -345. Solve -3*q = a*c - 28, -2*c + 7 = 4*q - 7*q for c.
5
Suppose 2*x = -2*q - 4, -q = -5*q + 5*x + 28. Solve -k - 2*k = -5*m, -5*k = q*m + 31 for k.
-5
Let l be 27*(-4 - (-12)/4). Let m = l + 27. Solve 2*o - 6 = m, -2 + 11 = -2*r + 5*o for r.
3
Suppose -2*c + 5*k - 1 = -6*c, -4*k = c + 8. Solve -a - 3 = 3*t, -4*t + 6 = c*a - t for a.
3
Let i(g) = 4*g - 4. Let c be i(2). Suppose 89 = c*a - 2*f + 3, 0 = -a - 4*f + 8. Solve -2*h - 3*h + a = 5*n, 4*n - 25 = 5*h for h.
-1
Let u = 21 - 15. Let q be 17/u*12/2. Let p(k) = -2*k - 7. Let i be p(-7). Solve -5*t = 2*v - 3*v + i, -4*t - q = 3*v for v.
-3
Let z be 20/6*(-33)/(-22). Solve 0 = z*o - 3*h + 20, -o - 8 = o - 4*h for o.
-4
Suppose -12 = z - 16. Suppose 0 = -4*n + 8 + z. Solve y + 2*b = -7, y + n*b + 9 = -0 for y.
-3
Let h be 3/(8*2/48). Suppose a + 2*s - 14 = -3*a, 0 = -5*s + 5. Solve -a*x = -h, f + 0*x - 1 = x for f.
4
Let h be (96/16)/(6/(-4)). Let k(q) = -q**2 - 8*q - 14. Let p be k(h). Solve -5*v = -3*m - p*m, 0 = v + 4*m - 15 for v.
3
Let d(v) = -35*v - 382. Let b be d(-11). Solve 3*t - 24 = -b*u, -2*u + 4 + 0 = -2*t for t.
3
Suppose -t = 4*c - 21, 0*t - 2*t = c - 14. Solve v + 2*o = 2*v - 10, -c*v - o + 13 = 0 for v.
4
Let v = 26 - 26. Suppose v = 2*p - p - 2. Suppose 0 = -0*c - 5*c. Solve 0 = -p*d - c*d - 3*y + 20, -d + 5*y = 16 for d.
4
Let n = 940 - 936. Solve -n*j - 14 = 5*r + 11, 25 = -5*r - 2*j for r.
-5
Let t(n) = n**3 - 11*n**2 + n + 8. Let g be t(11). Solve -4 = 5*u + 5*o - g, -6 = -2*u + 3*o for u.
3
Let s be (203/(-49) - -6) + 1/7. Solve 5*b + 40 = -5*l, 14 = -3*b - s*l - 7 for b.
-5
Let r be (60/8)/(2/4). Suppose -69 - r = -4*x. Suppose -u - 5*q = x, 3*u = -4*q - 3 - 5. Solve 3*g - 24 = -g - 3*v, -4*g = -u*v + 4 for g.
3
Suppose 0*o + 8 = 4*o. Let q(f) = 0*f + 4*f - f**2 + 2*f - o*f + 4. Let k be q(4). Solve -1 = -i - 2*v, -4*i = k*v - 2 - 2 for i.
1
Suppose 32*u + 71*u + 975 = 975. Let j be (0 + -1 - -2) + 2. Suppose 0 = -z + 3*z - 4. Solve u = -5*f - 4*c, -z*f + j*c = -c for f.
0
Let s = -1 - -1. Let x(g) = -g**3 - 12*g**2 + 27*g - 9. Let n be x(-14). Let u be 2/8 + 11/4. Solve r - u*r = 5*c, s = n*r - 2*c - 29 for r.
5
Suppose -4*z - 4 = 3*h, -3*z - 3*h - 9 = -3. Suppose 0 = -4*l + 4*y + 16, -z*y + 14 = 2*l - 7*y. Solve -2*o - 5*n - 2 = 2, -4*o - 5*n = -l for o.
3
Let s = -8 - -11. Let v be -2 - ((-1)/1 + 3/(-3)). Let d = v + 3. Solve 2*j + u + 8 = 0, -3*u + d = s*j + 12 for j.
-5
Let y(f) = 4*f**3 + 2*f**2 - 2*f + 1. Let o be y(1). Solve -6*z = -2*w - 2*z + 4, 4*z + 4 = o*w for w.
0
Let i = 17 + -13. Suppose i = -9*r + 22. Suppose -r*t + 4*t = 0. Solve t = -3*h - 2*m - 6, -h - 2*m + 6 = -4*h for h.
-2
Let c be (-4 - 0) + 7 - -12. Suppose 31 - c = 4*y. Solve i + j = 2*i, -24 = 4*i + y*j for i.
-3
Let t(u) = -u**3 + 8*u**2 + 5*u - 29. Let o be t(8). Let j(z) = -3*z + 34. Let q be j(o). Solve 0 = -x + 3*g - q, -2*x - 3*g = -7*x + 7 for x.
2
Suppose 5*d - 2*k - 32 = 0, -2*k + 26 = 2*d + 2. Let a(b) = b + 12. Let u be a(-8). Solve 8 = 2*y, -u*r + 3*y - y - d = 0 for r.
0
Let d = -480 - -486. Solve -z + 2*k = -d*z + 5, -z + 2*k - 11 = 0 for z.
-1
Let y(t) = -7 + 4*t - 7*t + 16 - t**2 - 3*t. Let h be y(-7). Suppose 21 = 3*g + 6. Solve h*s = -g*d - 28, 4*s + d = -2*d - 28 for s.
-4
Suppose p + 4*p - 40 = 0. Suppose 0 = -5*g + 3*g + p. Solve -4*z + 32 = 4*n, 0 = -0*n + g*n + 5*z - 35 for n.
5
Let t(k) = k**2 - 3*k - 2. Let z be t(-1). Solve -4*b + 11 = z*j - 3*j, -2*b + 13 = j for j.
5
Let t be 1/(-1)*4 - (-27 + 22). Solve q = 4*f - q + 20, 2*q + t = -3*f for f.
-3
Let w(g) = -g**2 - 3*g. Let i be w(0). Solve -2*p = u + 4, 5*p + 4 = -i*u - u for p.
0
Let x be -11 + 7 + 0 + 30. Suppose -5*c + 55 = 5*b, 3*c + 0*c = 4*b + x. Solve -3*h + 0*h + 3*m = 18, c = 5*m for h.
-4
Let k be 1/(-2)*(6 + -6). Suppose i - 14*o + 19*o + 21 = 0, -3*i - 3*o - 3 = 0. Solve 3*f + 4*h - 32 = -13, -h + i = k for f.
1
Let q(b) = -b**3 + 11*b**2 - 32*b + 12. Let h be q(5). Solve 4*j - 5*i + 3 = 3*j, 0 = 4*j - h*i - 6 for j.
2
Let f(j) = j - 4. Let k be f(7). Let y = 0 + 41. Suppose -2*g - y = -47. Solve 3*u + r = -16, -g*r = -0 + k for u.
-5
Let i(k) be the second derivative of -k**4/12 - 5*k**3/3 - 4*k**2 + k. Let d be i(-6). Suppose -6*a = -2*a - d. Solve -4 = -a*r, -4*b - b - 7 = 3*r for b.
-2
Let r(m) = 2*m**2 - 8*m + 17. Let o be r(2). Solve v - o = -0*v - 5*x, 4*v = x + 15 for v.
4
Suppose -5 = -2*t + w, -45*w - 4 = -49*w. Solve 0 = t*h + 4*n + 11, 3*h + 4 = h - 2*n for h.
3
Let d = 31 + -49. Let m be -1 - d - 2 - 3. Let s = -8 + 10. Solve 3*c - 11 + s = 4*t, -4*c + m = 3*t for t.
0
Suppose 2*d = 3*f + d - 175, 167 = 3*f + d. Suppose 55*u = f*u - 10. Solve a - 4 = -2*s + 2, 0 = -3*a - u*s + 15 for a.
0
Let n(r) = -r**3 + 3*r**2 + 52. Let b be n(5). Solve -l + 2*a + 2 + 5 = 0, -a + 4 = b*l for l.
3
Let i = 10 - 7. Suppose 0 = -5*u + t + 7, 5*t - i = 12. Solve -k - u*k = 5*d + 20, 4*d + 16 = -5*k for d.
-4
Let q = -1 + 1. Suppose -111*a + 103*a = -56. Solve -2*t - a = -5*b + 4, q = -5*b - 4*t - 7 for b.
1
Let o be (2*-1)/(-7*17/238). Solve -9*k + 5*k + 28 = 4*r, -4*k + 12 = -o*r for r.
2
Let p be 15 - 4 - (-8)/((-56)/49). Solve 2*g = -p*l - 3*g - 23, -g = 4*l + 11 for l.
-2
Let i(w) = -3*w**3 + 14*w**2 - w - 10. Let f be i(4). Solve 0 = 5*y + 3*m + 7, y - 3*m - f = -5 for y.
1
Let n = 37 + -31. Suppose -4 = -5*v + n. Solve 0 = -3*d - 2*c + 5*c, -3*c = -d + v for d.
-1
Suppose 0 = -5*d + 5, -2*f = -4*f - 5*d + 5. Let p be (-1)/(16/(-48) - (f + 0)). Solve -a - 8 = p*o, -4 = -7*a + 3*a for o.
-3
Let n be 0 + (-4 - -8) - -18. Suppose -b + 4*y = 8, y + n = 4*b + 3*y. Solve 2*l - w - 9 = 0, -2*l - b*w - 1 = -3*l for l.
5
Let p(r) = 10*r**2 + 2*r + 2. Let h be p(-1). Suppose -h*n + 33 = n. Solve -1 - 3 = 2*z + 4*s, 5*z - n*s = -10 for z.
-2
Suppose 9 = 5*q - 12*k + 10*k, -5*k + 3 = -4*q. Solve 5 = 5*l, q*c + 3*l - 4 = 2*l for c.
1
Let d(c) = c**3 - 4*c**2 - 8*c - 20. Let r be d(6). Let x = 2 - 0. Suppose x = -g + r. Solve -4*o - 4*t - 4 = 0, -g*o = 4*t - 0*t + 8 for o.
2
Let g(h) = h**2 + 17*h + 76. Let d be g(-11). Solve 0*k - 5*f - 26 = k, -2*f = d for k.
-1
Suppose -o + 5*o = 0. Let v be ((-7 - 17)/(-3))/(1*2). Suppose q - 5*t + 5 + 10 = o, 0 = -v*t + 12. Solve q = -n - 4*c, -2*n + 5*c = -4*n + 3 for n.
4
Let s(g) be the first derivative of -g**4/4 + 8*g**3/3 - 5*g**2/2 - 9*g + 33. Let q be s(7). Solve 8 = -5*f - 2*h, f = -q*h + 3 - 0 for f.
-2
Let u be (1 + 0)/(2/10). Let a = -1532 - -1536. Solve 0 = u*j - a*m + 27, j + j - 6 = -4*m for j.
-3
Suppose -2*f = 4*g, -5*g - 59 = 3*f - 57. Solve -x = -3, g*p + 5*x + 2 = 13 for p.
-2
Suppose 4*n + 2 = 2*o + 26, 2*o - 5*n = -27. Let l = o - -9. Suppose -4*b - 6 = -22. Solve -l = -b*y + y, -2*i - 4*y = 0 for i.
-2
Let x(q) = -4*q**2 + 28*q - 20. Let m be x(6). Solve p + 10 = 5*h, 3*h + p = m*p + 18 for h.
1
Let v(x) = -x - 8. Let d be v(-9). Suppose k = -u + 6, 2*u + d = k + 10. Solve -3 = b - y, u*b - 3*y + 3 = -y for b.
1
Suppose -4*u + 25 + 7 = 0. Suppose -42*w + 38*w + u = 0. Solve 5*i - 4*k = -41, -w*i + 5*i = -2*k - 7 for i.
-5
Let o(q) = -3*q. Let f be o(-1). Suppose j - f = -0*j + 3*i, 4*j - i - 12 = 0. Solve 2*s = -s - j, -4*s = -3*l - 11 for l.
-5
Let t(d) = d**3 - 17*d**2 - 20*d + 41. Let c be t(18). Suppose -c*b + 10*b = 20. Solve b*l = -3*j - 11, 3*l - l = 5*j + 27 for l.
1
Suppose -1 + 3 = j + 2*t, -3*j + 51 = -3*t. Let k = -9 + j. Solve -2 = 4*i - 3*b, -4*i - k*b = -0*b + 14 for i.
-2
Let r(q) = -q**3 - 17*q**2 + 17*q - 10. Suppose 5*f + 8 = -d, 3*d = -f + 4*f - 60. Let k be r(d). Solve 4*x + 4*p = k, -3 = 5*x - p + 5 for x.
-1
Suppose 24*d - 17*d = 28. Solve -d*f + r + 7 = 28, -3*r = f + 2 for f.
-5
Let c = -56 + 56. Let a(k) = -k**3 - k + 4. Let r(u) = u**2 + u. Let o be r(0). Let h be a(o). Solve -8 = 2*i - 4*x, 4*i + c*i - h*x + 16 = 0 for i.
-4
Suppose -8*a = -374 + 326. Solve 2*r = 4*f + a, 5*r + f - 4 