 5*z - a + p for u.
5
Let p = -11 + 18. Let w be 0*((-36)/(-8))/(-9). Suppose p*x - 2*x = -l + 15, -5*x + 3*l - 5 = w. Solve -5*a - 15 = 0, -v = -a - x*a - 10 for v.
1
Let m be (-2)/(-7) - 36/(-21). Suppose 3 = 3*w - m*w. Solve -2*g - 4 = v - w*g, -4*v - 3*g = 23 for v.
-5
Let s(u) = -u + 6. Let d = 3 - -1. Let r = 7 - d. Let o be s(r). Solve x + 8 = 4*q - 2, -7 = -o*q + x for q.
3
Let h(k) = -2*k**2 - 2*k - 1. Let n be h(-1). Let v be (-1 - n) + (1 - -22). Let i = v - 11. Solve -3*j + 3 = -m, 6*m + i = 2*m + 2*j for m.
-3
Let r be (3*-1)/((-12)/(-8)). Let p(s) = -7*s - 1. Let g be p(r). Solve 4*t + o = g, -5*t - o = -3*o for t.
2
Let g = 10 - 5. Let r(v) = v**2 - 3*v. Let i be r(g). Solve -2*f = 5*s, 5*s + i = -6*f + 2*f for s.
2
Suppose -o = -h - 4, h + 1 + 9 = -5*o. Let r(w) = -w**2 - 4*w + 7. Let b be r(h). Solve 3*u - 2*v = -b*u + 21, -4*v = 4*u for u.
3
Let l(r) = 3*r - 10. Let i be l(4). Let m be (-2)/(-2)*9/1. Solve 4*p - 5*z = 1 - 4, -p - i*z = -m for p.
3
Suppose 5*y - 39 = 4*z - 14, -3*z = -5*y + 25. Suppose 0 = -5*o - 4 - 6. Let g be (-20)/(-9) - o/(-9). Solve -k = -g*k - d + 7, 2*k + d - 12 = z for k.
5
Let y(n) = -2*n**2 + 3*n - 2. Let q be y(2). Let b = 2 - q. Solve 0 = 5*o + 20, -3*i + b*i = 3*o for i.
-4
Let s(w) = -w**3 + 11*w**2 + 13*w + 3. Let n be s(12). Suppose -2*b = b - n. Solve 2*j + 3*x - 7 = 0, 4*x + 4 = b*j - 2 for j.
2
Let f(o) be the third derivative of o**5/60 - o**4/24 - o**3/3 - 2*o**2. Let n be f(-2). Solve -n*s - y - 8 = -s, 5*s = -3*y - 12 for s.
-3
Let c(y) be the first derivative of -3*y**2/2 - 2*y - 1. Let g be c(-4). Solve 2*h = -2*o - 4, -h = o + 4*h - g for o.
-5
Let z(t) = -2*t - 2. Let m = -1 - 2. Let y be z(m). Solve -y*r = -4*n - 4, -3*r = -0*r + 3*n - 3 for r.
1
Suppose 0*l - 11 = l. Let r = -7 - l. Let p be 6/4*4/3. Solve -4*x = -p*x + 3*c + 12, -c + 10 = -r*x for x.
-3
Let u be 1 + -2 - 60/(-4). Let b be (-6)/(-21) - (-10)/u. Solve 5*q = -5*z + 5, q - 2*z + 12 - b = 0 for q.
-3
Let a(o) = -o + 15. Suppose -d + 14 = -2*d. Let i be -1 + (2 + d)/(-1). Let b be a(i). Solve -b*h + 5*p - 4*p = 1, -3*h - p + 8 = 0 for h.
1
Let g(l) = -l**3 - 9*l**2 - 13*l + 9. Let k be g(-7). Solve -r - 22 + 2 = -4*v, 0 = -2*v - k*r for v.
4
Let c = 152 + -74. Let x = c + -56. Solve -3*p = -5*y - 20, -5*p - 4*y = -y - x for p.
5
Let f(l) = 5*l**3 + l - 1. Let z be f(1). Let i = -12 - -14. Solve i*b + 5*k - z = -0*b, 4*b - 15 = -5*k for b.
5
Suppose -30 = -3*s - 2*j - 16, -14 = s - 4*j. Solve -r - s*h + 1 = 0, -h = r - 2 + 1 for r.
1
Let h be (-74)/(-6) - (-3)/(-9). Suppose v + h = 5*v. Solve 0 = -4*z - 2*t - v*t - 13, 4*z - 2*t = 22 for z.
3
Suppose 2*f - 44 = 4*h + 8, 3 = 3*h. Let n be 2/(-1) - f/(-4). Let d be (-2)/(-6) - 40/(-6). Solve -2*w = n*p - d*w, -5*p + w = 20 for p.
-5
Let r(l) = 4*l**2 + 2*l - 1. Let x be r(-3). Solve -3*c + c = 4*j + 6, -j = -5*c + x for j.
-4
Suppose -11*z + 6*z = -120. Solve 3*p - 7 = 2*i - z, -5*p = -2*i + 23 for i.
4
Suppose 5*u = -5*c - 105, -2*u = 2*u + 2*c + 82. Let a = u + 100. Suppose 54 = 2*q + 4*b, b - a = -0*q - 4*q. Solve m - 4*j - q = 0, -4*m + m + 29 = -5*j for m.
3
Let v(d) = d**3 + 3*d**2 - 4*d + 5. Let c be v(-4). Suppose -4*o + 39 = -c. Let b = -135 + 140. Solve -y - 3*h + b = 0, -4*y + 3*h - o = y for y.
-1
Let w = 39 + -30. Solve -2*s - 23 = 5*f, 4*f + w + 15 = -3*s for f.
-3
Let v(l) = 4*l**2 - 7*l + 3. Let o(g) = 3*g**2 - 5*g + 2. Let b(f) = 7*o(f) - 5*v(f). Let i be b(-4). Solve 3*u - i = -3*x, -4*x + 11 = -1 for u.
2
Let h be 1*(-1)/(-1)*2. Solve 4*r - 19 = 3*z, 5*z + 22 = h*r - 5 for r.
1
Suppose -24 = -4*r - 4*r. Solve -5*z = -o - 25, 5*z + 0 = -r*o + 5 for o.
-5
Let n(a) = 2*a - 8. Suppose -2*o + 2*w + 2*w + 4 = 0, 2*o - 8 = 2*w. Let u be n(o). Solve u*z = -3*k + 2*k + 20, 0 = 5*k + z - 24 for k.
4
Suppose 2*x + 2*k = -3 + 15, 4*x = -2*k + 18. Suppose -3*c + 0 = -12. Let l be (c/x)/(2/6). Solve -l*f = -3*r - f, -6 = 3*r - 5*f for r.
3
Let a be ((-4)/16)/((-2)/24). Solve w - 2*p = 0, 0*w - a*w = -3*p for w.
0
Let o(b) = -b**2 + b + 2. Let y be o(0). Let r = 44 + -42. Solve l = 2*n + 5, 4 = y*l - r for n.
-1
Let s = 105 - 74. Let i = s - 22. Solve -q - i = 4*o, -3 = 5*q + 2*o + 6 for q.
-1
Let h be (-4)/14 - (-38)/(-14). Let v be (10/8)/(h/(-12)). Solve 5*p - 5 = 0, 2*p + 0*p - 7 = v*n for n.
-1
Let y be 0/1*(-9 + 8). Suppose -4*d + 6 + 2 = y. Solve 2 = b + b - d*v, b + v = 1 for b.
1
Let y(t) = -t - 13. Let o be y(-14). Let n = 1 + o. Solve 4*v - 26 = -0*v - 2*b, -6 = -4*v + n*b for v.
4
Let c(l) = -l**3 + 3*l**2 + 5*l + 3. Suppose -2*i + 7 = -3*b - 16, -5*i + 45 = -5*b. Let d be c(i). Solve 4*m + 9 = 3*r, 2*r + 15 = m + d*r for m.
0
Suppose -6 = -3*o + 6. Solve -2 = 4*s + 2, -s + 11 = o*n for n.
3
Suppose s = 3*s + 5*m - 30, -2*s + 3*m = 2. Solve 5*g + s*c = -0*g - 30, -5*c - 25 = 4*g for g.
-5
Suppose -4*o + 2*o = -0*o. Solve o = 2*q + 5*p - 21, 0*q - 8 = -q - 2*p for q.
-2
Let y(v) = -v + 7. Suppose 27 = -3*c + l + l, 0 = -c + 2*l - 13. Let r = -12 - c. Let s be y(r). Solve 0 = -0*b + 4*b + 2*g + s, 0 = -2*b + 2*g - 18 for b.
-5
Let c = -11 - -15. Solve l - c*b + 10 = 0, 4*l + 3*b = 21 - 4 for l.
2
Suppose -v = 5*v - 72. Solve 0 = 5*h - h + 4*n - v, 2*h - 4*n = 0 for h.
2
Let b(p) = 4*p**2 - p**2 + 5*p + 5 - 4*p**2. Suppose -5*q = -2 - 23. Let r be b(q). Solve r*z + 10 = 2*g + 39, -2*z + 4 = 3*g for z.
5
Let d(h) = h + 9. Let c be d(-7). Suppose 3*w - y = 5, -2*w - 2*y = -3 - 3. Solve 17 = -4*p - g, 2*p - w*g = -c*p - 2 for p.
-3
Let n = -31 - -28. Let w = -3 - n. Solve 5*p = -3*v - 23, w = 5*v - 4*p - p - 15 for v.
-1
Let f = 26 + -23. Solve -16 = 3*a + f*u - 4, 10 = -4*a + 2*u for a.
-3
Let a(u) = u**2 - 7*u - 5. Let b = 9 - 1. Let q be a(b). Solve 0 = 2*j - j - q*i + 1, -j - 1 = -i for j.
-1
Let s = 14 - 10. Solve -u - u = -s*q - 8, -u = 2*q + 4 for q.
-2
Suppose 4*o - 2 = d, 0*d = -4*d - 8. Solve -4*m + 4*y + 0 - 4 = o, 0 = 2*m - 4*y + 6 for m.
1
Suppose 5 = -4*d + 33. Suppose 21 = 5*j - z - 0, -2*j + d = z. Suppose a - 36 = -0*a. Solve j*u + 6 = -2*l + a, -5 = -3*l + 2*u for l.
5
Let j = 19 - 35. Let c be (-8)/j - 10/(-4). Suppose -w = -5 + c. Solve -11 = w*h - 3*g, 2*g = g + 5 for h.
2
Let w(l) = -l**2 - 14*l + 7. Let q be w(-13). Solve 2*t = -2*t - y + 16, -q = -4*t - 2*y for t.
3
Suppose -2*k = -0*k + 4. Let w be (k - -1)*(-14)/2. Let l = w - 5. Solve -2*n = l*n - t - 3, -19 = 3*n - 5*t for n.
2
Let q(o) = o**2 - o. Let y be q(-1). Suppose n - 3*n = -3*l - 36, -4*n = 5*l - 28. Let j be -2*(-1)/2 + -1. Solve j = -c - 4*b + y, -4*c + 4*b = -n + 4 for c.
2
Let s(j) = j + 1. Let f be s(3). Solve -6 = -3*z, -2*z - 15 = f*o + 1 for o.
-5
Let c(m) = m**2 - 9*m + 2. Let w be c(9). Suppose w*b - 4*n = -n + 2, b = -2*n + 8. Solve -4 = -i + 2*y - 3*y, 19 = b*i + y for i.
5
Let q be ((-4)/(-6))/((-2)/15). Let z = -1 - q. Suppose -5*n - 3*y + 35 = 0, -4*n + 3*y + 28 = z*y. Solve -4*m = 3*j - 4*j - 16, -4*j = 3*m + n for j.
-4
Suppose -3*r + 0 = -12. Solve -12 = -3*p, p = -4*o + r*p - 12 for o.
0
Let v = 8 - 14. Suppose -39 = -3*l + 3*u, 4*l - 5*u = 7 + 49. Let i = l + v. Solve 2*z - i*p + 10 = 0, 0 = -4*z + p - 3 - 17 for z.
-5
Suppose 6 = -4*c + c - 5*h, -h = -c + 6. Solve u + x = -0*x, -c = -2*u - x for u.
3
Let o be 26/8 - (-6)/(-24). Suppose 3*c - 4*q - 3 = -1, 4*c + 5*q - 13 = 0. Solve -4*f - 5*i = -23, c*f - 4 = -o*f + 2*i for f.
2
Let r be 4/26 + (-693)/(-143). Suppose 0 = 5*z - 14 - 21. Solve -r*d + 25 = 4*y, 0 = -3*y + y + 3*d + z for y.
5
Suppose d + 6 - 18 = 0. Let g be ((-3)/3)/(2/34). Let o = g - -25. Solve y + 4 - o = x, 3*y - d = -2*x for y.
4
Let p be (((-70)/25)/(-7))/(1/5). Solve -p*b + w - 3 = 0, 4*b - w + 7 = -0 for b.
-2
Suppose 4*q = -v + 6*v - 34, v - 3*q - 9 = 0. Let f(i) = -i - 7. Let w be f(-9). Solve 5*s = 3*a - w, 3*a + a = -2*s - v for a.
-1
Let n be 3 - (2 - 25)/(-1). Let r be 8/n + (-64)/(-10). Solve -b + 1 = 2*v - 4, 3*v = -b + r for b.
3
Let l = 28 + -26. Solve 4*c - 4*m - 8 = 0, -l*c + 3*m = -3*c - 10 for c.
-1
Let u = -41 - -24. Let j = u + 24. Suppose 4*o = j + 1. Solve 0 = o*b + 3*q - 1, -q - 5 = -3*b - 2*q for b.
2
Suppose 0*p + 2*p - 2*m = 6, 2*p = 5*m + 6. Solve -p*j + 8 = -2*c, 5*c + 0*c - j + 20 = 0 for c.
-4
Let u be (15/(-105))/(2/(-14)). Solve 3*n - 3 = -3*d, u = 4*d + 5 for n.
2
Let x(y) = 6*y**2 + y. Let s be x(-1