(-6). Solve 5*z - 10 = -5*n, r = -4*z + n + 8 for z.
2
Let a(v) = -2*v + 20. Let x be a(9). Solve 2*z - 2*o = 0, z + x*z + o = -4 for z.
-1
Suppose -5*d + 0*d + 20 = 0. Solve l + 4 = d*b, -3*b + 4*l = -3 + 13 for b.
2
Let v be (0 - 0) + (-60)/(-96)*8. Solve 2*l - 10 = 4*d, 5*l + 35 + 15 = -v*d for l.
-5
Let n = 44 + -40. Solve 9 = -n*y + w + 24, y = w + 6 for y.
3
Suppose 17 = 4*c - b, -4*c - b = -16 + 1. Let v be ((-38)/(-3))/((-38)/(-57)). Solve 0 = -k + c*p + 23, -5*p = 2*k - 0*k + v for k.
3
Let f be 1/((-6)/7 + 1). Let d(p) = -2*p + 16. Let j be d(f). Suppose 0*t + j*g = -5*t + 16, 0 = -3*g - 6. Solve y + 7 = 2*z, -z = -t*z + 3*y + 9 for z.
4
Let i(o) = o**3 + 11*o**2 - o + 3. Let c be i(-11). Let u = c + -10. Solve 0 = 2*a, u*b = -b - 5*a - 20 for b.
-4
Suppose -5*s = -10 - 15. Suppose 4*o = 6*z - 3*z - 4, s*o + 3*z = 22. Suppose -o*m = -0*m - 10. Solve 3*u = m*u - 2*g + 2, 6 = -4*u + 5*g for u.
1
Suppose -4*b - 36 = -44. Let t = 1 - 1. Suppose t*d - b*d = 0. Solve -4*v = 2*o + 18, -4*o - 5*v + d*v = 21 for o.
1
Let k = -22 + 25. Let c be 3 - (8 + k + -4). Let f be (-1 - -18) + (-3 - c). Solve 3*x = -5*q + 5 + f, -5*x + 1 = -q for x.
1
Let r be (-2)/(-18)*47 - 6/27. Solve -r = -5*a, 0 = -5*c - 2*a - 0*a + 7 for c.
1
Let l = 142 - 137. Solve 2*n = l*c + 22, 2*n + 12 + 2 = -4*c for c.
-4
Let k be -8*(-4)/(16/(-3)). Let i be 4*2 - (-12)/k. Solve -4*p + 3*v = -16, -5*p - 5*v + i = 21 for p.
1
Let t(v) = 55*v + 333. Let b be t(-6). Solve 2*m = 5*c - 0*c - 16, 2*m = -b*c for m.
-3
Suppose 0 = -147*j + 144*j. Solve -s - 2*b + 0*b - 4 = j, -s + b = 4 for s.
-4
Let u be -1 + 4 - 2 - -4. Let r = -141 - -141. Suppose -4*y - 3*j + 26 + 30 = r, -4*y + 3*j + 80 = 0. Solve -l + u*l = 2*a - 22, 0 = a + 5*l + y for a.
3
Let j(b) = -2*b - 27. Let f be j(-8). Let t be -5 - f - (2 + 2). Solve 2*c = -c + d - t, -3*d = 3*c + 6 for c.
-1
Let q(u) = -9*u - 20. Let r be q(-5). Let l(a) = -a - 20. Let n be l(0). Let w = r + n. Solve -5*d - 2 = -w*o + 23, -4*o + 2*d = -14 for o.
2
Let l(w) = 2*w**2 - 13*w - 29. Let f(h) = h**2 - 7*h - 14. Let s(z) = -5*f(z) + 3*l(z). Let d be s(7). Solve 2*m = 3*t - 8, 5*m = d*t - 0*t - 20 for m.
-4
Let u(j) be the first derivative of -j**4/4 - 4*j - 12. Let t be u(-3). Solve 0 = 3*n - 15, 2*y - 3*n + t = 4*y for y.
4
Let o be 32/14 - 6/21. Let g be o + 1 + (5 - 3). Suppose 0 = -5*k - y + 78, 3*k - g*y + 10 = 68. Solve -5*b = f + k, -f + 2*b + 24 = -3*b for f.
4
Let g = 5 + -3. Suppose -3*f - 3*o - 4 = 2*o, o + g = 0. Suppose 2 = x - f. Solve -5*y = -2*m - 8, x = -m - 0*m for y.
0
Let v = 804 - 801. Solve 3 = v*d - 3*t, 3*d + 5*t = -6 - 7 for d.
-1
Suppose -20 = -3*a + a. Let t(f) = 3*f. Let o(n) = 5*n. Let q(w) = a*t(w) - 4*o(w). Let u be q(3). Solve 16 = -2*r + 3*v, 5*r - 4*v + u = v for r.
-2
Let c(y) = y**3 - 5*y**2 + 1. Suppose l - 4*n - 3 - 2 = 0, 2*l + n - 10 = 0. Let t be c(l). Solve -2*q = 3*i - t, -4*i - 5*q + 8 = -4*q for i.
3
Suppose -12*b = -5*b - 98. Solve 2*h + 0*l = -2*l + b, 2*l = -3*h + 16 for h.
2
Let v be (76/8 - 7)*(-1 + 3). Solve -5*k - v*n - 30 = 0, -3*k + n = 2*k + 18 for k.
-4
Let n = 39 - 2. Solve 5*i + n = -4*v, -2*v + 5*i = -7*v - 40 for v.
-3
Suppose 0 = 7*z - 28 + 7. Solve -3*o - 2*d + 8 = 2, 0 = 4*o + z*d - 7 for o.
4
Suppose 12*l - 30 = 2*l. Solve 7*u - 5*i - 20 = 2*u, 5*i + 22 = l*u for u.
-1
Let g be -2*((-6)/(-39) - 30/26). Suppose -3*i - i - 3*f - 1 = 0, 0 = -2*i + 4*f + 16. Let m be 1 + (0 + i)/1. Solve 0*r = -h - m*r + g, -2*h = -4*r - 14 for h.
5
Suppose 0 = -4*a + 4 + 16. Solve 2*d = -a*h + d - 5, -5*h + 10 = -2*d for h.
0
Let p = -21 - -24. Solve x - a + p = 0, 0*a + 20 = 4*a for x.
2
Let h be (440/(-15))/(-8) + (-10)/15. Solve 4*q = -h*j - 8, 8 = -4*q + 2*j - 4*j for q.
-2
Let d = -6 - -9. Let j(t) = t**3 + 9*t**2 + t + 7. Let g be j(-9). Let u(y) = -y**3 - 4. Let i be u(g). Solve -d - 2 = -i*q + c, -5*q = 5*c for q.
1
Suppose n - l - 11 = -n, 2*l - 2 = -2*n. Suppose z + 8 - 38 = -n*d, 2*d + 34 = 3*z. Solve 3*b = b - 4*x + 6, -z = -3*b - x for b.
5
Suppose -2*c - 2*i + 44 = -c, 8 = 4*i. Let d be ((-95)/c + 2)*-8. Solve -w + 7 = -0*v - d*v, 0 = v - 5*w - 7 for v.
-3
Suppose -4*o + 5 = -y, 6*y = 10*y - o - 55. Solve 0*z + h - 3 = 5*z, z + 5*h - y = 0 for z.
0
Suppose -25*m - 73 = -548. Solve -m = 5*g - 0*g - 4*l, 0 = 3*g + 2*l + 7 for g.
-3
Let l(g) = g**3 - 16*g**2 - 40*g + 74. Let x be l(18). Let u = 32 - 24. Solve -x*b + 14 = -2*r, -b = 3*r - u*r - 15 for b.
5
Suppose 4*v = 66 + 114. Suppose 0 = -7*x - 10 + v. Solve -11 = 2*w + 2*o + 3*o, -x*o - 17 = -w for w.
2
Suppose -9*d + 11*d - 19 = -x, 0 = 2*d + 4*x - 28. Solve -m + 4*m = 4*l + d, 0 = -4*m - 5*l - 41 for m.
-4
Let o(w) = w**2 - 6. Let j be o(0). Suppose 24 - 9 = 5*y. Let s be (y/j)/((-1)/10). Solve -2*q = 2*u + 4, -6*q + 10 = -3*q - s*u for q.
0
Let d(l) = l - 9. Suppose 0 = -3*p + 5*u + 38, 0*p - 2*p + 4*u + 26 = 0. Let a be d(p). Solve 0 = 2*z - 3*i - a, -4*i = -3*z + 2*z - 4 for z.
4
Let s(q) = q**2 - 5*q + 6. Let y be s(4). Solve u - 8 = y*g - 7*g, g - 10 = 4*u for g.
2
Suppose 31*h = 28*h + 45. Solve -q = 5*r + h, 3 = -2*q + 5*r + 18 for q.
0
Let r = -11 - -13. Suppose f + 2*w - 16 = 0, -r*f + 5*w = w - 32. Solve v - 1 = -k + 1, 5*v - f = k for k.
-1
Suppose -41 - 51 = -t + 5*x, -5*x + 176 = 3*t. Let h = -48 + t. Solve 0 = 4*m + d + h, -4*m + 3 = 2*d + 21 for m.
-5
Let f(o) = o**2 + 6*o - 3. Suppose -6*l - 16 = -4*l. Let q be f(l). Solve 3*s + 5*u - 3*u = -q, -2*u - 10 = 0 for s.
-1
Let t be 0*((-132)/12)/(-44). Solve -3*b + 18 = 5*w - 2*w, t = -4*b + w + 19 for b.
5
Let d = -16 + 18. Suppose 4*v - 3*i + 52 = 0, 4*v = d*i - 25 - 31. Let m be (-4)/(v/(-12)) + 7. Solve -2*r - 16 = r - 5*n, -2*r + 26 = m*n for r.
3
Suppose -16*z + 7*z + 36 = 0. Let i be z/(-2)*10/((-40)/6). Solve -v + 21 = i*w + 2*v, -2*v = -4 for w.
5
Suppose 20*i - 19*i = 1. Solve 5*y + i - 9 = -2*m, -3*y = -m + 4 for m.
4
Let q(o) = 13*o**2 + 11*o + 3. Let c be q(-2). Solve -5*d = 4*m - c, -5*m + d - 2*d = -15 for m.
2
Let s(i) = 2*i - 4. Let q(f) = -7*f - 4. Let k be q(-2). Let o be s(k). Suppose 3*n - o = -1. Solve 0 = 5*p - 5*a + 10, 3*p - 3*a + n = -a for p.
-1
Let f = 5 - 2. Let r be 3*2/51 - 302/(-34). Solve 3*o = -4*m + r - 2, f*o = 4*m - 1 for m.
1
Suppose 14 = 5*n - 1. Suppose 36 = 7*h - 20. Suppose -h = -k - n. Solve -4*w - 16 = 0, -w - 2*w = -k*v + 17 for v.
1
Let c be (-10)/95 - 2/((-114)/291). Solve 4*x + 20 = -y - y, 0 = 3*x + c*y + 22 for x.
-4
Suppose -12*n = -14*n. Suppose 3*u = 2*u. Suppose n = -u*q - 2*q. Solve k + 5*v - 11 = q, 3*k + 2*v = -2*v + 11 for k.
1
Suppose -3*v - 5*y + y = -29, 0 = -5*v - 5*y + 55. Solve 4*x - i = -8, 4*i + v = -x + i for x.
-3
Let w be 88*(25/4)/5. Suppose -y = -6*y + w. Let q = -20 + y. Solve i = 2, k + 0*i + q = -i for k.
-4
Let i(q) be the first derivative of -q**2/2 - 5*q + 1. Let s(w) = -11*w + 67. Let v be s(7). Let a be i(v). Solve 0 = -k + a*o - 29, -3*o + 10 = 2*k + 3 for k.
-4
Let l be (-4)/10*(2 - 7). Solve -r + 3*n = -1 + 4, -l*r = 4*n + 6 for r.
-3
Let p(l) = 23*l**2 + 4*l + 4. Let x be p(-2). Suppose 3*t - 8*z = -6*z + 66, 4*t - x = -5*z. Solve 4*d + n - 3*n = t, -4*d - 4*n = 8 for d.
3
Suppose -84*o = -79*o - 75. Let f(n) be the first derivative of -n**3/3 + 7*n**2 + 15*n + 2. Let h be f(o). Solve -2*i = h, 0 = -j - 2*j + i - 15 for j.
-5
Let z = 355 + -352. Solve z*j = -2*j + 3*i - 18, -2*j + 3*i = 9 for j.
-3
Let v be (-2 + (-54)/(-2))*1. Let b = v - 21. Solve 4*g - a = -4, 0*g - b = 4*g + 3*a for g.
-1
Let v(u) = u**3 + 8*u**2 + 7*u - 16. Let j be v(-6). Suppose -j*y = -18*y + 20. Solve -t = -4*t + 5*c - 11, -y*c + 23 = t for t.
3
Suppose 4*c + 3184 - 3192 = 0. Solve 2*r + 4 = 3*p, 0 = 5*r - 5*p + 3 + c for r.
1
Let c = -24 - -26. Suppose -w - 3*i = -3, 3*w + c*w - i - 63 = 0. Solve -2*x - w = 4*q, -q = -4*q - 5*x - 2 for q.
-4
Let y = -41 - -41. Suppose -5*g + 4*g + 1 = y. Solve -4*o - 5 = -c, -o = o - c + g for o.
-2
Suppose -2*g - 3*g = -4*o - 182, 0 = 3*g + 5*o - 124. Let f = 40 - g. Solve 5*q + 23 = -i, f*q = 3*q + 2*i + 1 for q.
-5
Let b(n) = -n**2 + 16*n - 15. Suppose -y = -5*y + 5*l + 70, 4*l = 4*y - 68. Let p be b(y). Solve -5*v - 5*a + 9 = 34, 5*a + 20 = p for v.
-1
Suppose 10*l - 40 = -10*l. Solve 3*p + 14 = -2*u - p, -2*u = -l*p - 10 for u.
1
Suppose 5*m = -0*m + 95. Let v = m +