, b*s - 10 = -5*y for s.
-2
Suppose 2*c + 2 = 4. Suppose -c = -y - f + 2*f, 2*f = y. Solve 4*z - d + 7 = 2*z, 11 = -z + y*d for z.
-1
Let s = 0 - -4. Suppose s*z - 3 - 5 = 0. Solve 0 = 4*f - 2*q + 6, -z*f + q = 3*f for f.
1
Let m(o) = -4*o - 9. Let u be m(-6). Let d be (3 - -7 - 7) + (4 - 1). Solve -y + 2*q + 5 = 0, -d*y + 3*y = 3*q - u for y.
5
Let l be ((1 - 1)/1)/(-1). Suppose l = 2*k + 15 - 7. Let o be 1*(k - -2) - -5. Solve 0 = -5*s + 2*n + 18, n + 1 = -o for s.
2
Suppose 32 = -4*h + 88. Solve s - 4*g = -2*s - h, 4*s - g = 3 for s.
2
Let k(f) = f**2 + 4*f + 2. Let a be k(-3). Let g = -2 - -1. Let y be 0 - 11/a - g. Solve -2*s = -t - 12, s - 3*t - y + 1 = 0 for s.
5
Let i(k) = k**3 + 6*k**2 + 5*k. Let m(g) = g**3 - 4*g**2 + 4. Let w be m(3). Let n be i(w). Solve -3*x - 4 = 5*a, n*x - 3*a = 4*x - 2 for x.
2
Let d = 7 - -18. Suppose 4*v = z - 4*z + d, -z + 19 = 4*v. Let k(y) = -y**3 - 3*y**2 + 3*y - 1. Let w be k(-4). Solve -6 = -z*f - 2*c, 5*c - 4 + w = -4*f for f.
4
Let t be (88/16 + -6)/((-1)/6). Suppose 3*p - 2 = 4. Let m be p/8 - 19/(-4). Solve -v = -b, -5*b + m = -v - t*v for v.
5
Suppose 0*i = i - 8. Let y be (21/12)/(1/i). Solve -4*w + 4*a + 0 = -8, y = 5*w - a for w.
3
Let n(w) = -2*w - 1. Let b be n(-3). Suppose 0 = -4*v - 4. Let a be (-2)/(-4) + v/2. Solve 1 = -3*h + 2*o, -3*o + b*o + 2 = a for h.
-1
Let s(p) = 4*p**2 + p - 1. Let o be s(1). Suppose 6 = o*j - 10. Solve -2*v - y = 9, 0 = 2*v + 3*v - j*y + 3 for v.
-3
Let r = 3 + 1. Let h be (3/2)/(2/r). Solve 2 = 2*v - 2*t, -3 = h*v - v + 3*t for v.
0
Let n be (-8)/12 - (-35)/3. Let u = n - 7. Solve 0 = u*s - 5*d + 3, d + 3 = 2 for s.
-2
Let u = 23 - 23. Solve 4*m + 23 = -c - m, -4*c - 2*m - 2 = u for c.
2
Let r(d) = d**3 - 6*d**2 - 9*d + 10. Let g be r(7). Let z = -1 - g. Let s = -3 - -5. Solve -s*i + 2 = -z*n + 7, -n - 3 = -3*i for n.
3
Suppose -r = -1, -r - 23 = 3*t - 7*t. Let y(z) = z. Let w be y(t). Solve -x = -3*f + w, 0*f + f = x for f.
3
Suppose 4*x + 2 = 2*u, -4*x - u + 16 = 3*u. Solve h + x = 3*n - 1, 5*h = -4*n - 29 for n.
-1
Let b(i) = i**2 + 6*i. Let t be b(-6). Suppose -4*h + 4 = -12. Suppose -2*z - 1 = h*o + z, 0 = -2*o - 3*z - 5. Solve -12 = 4*f, t*u = u + o*f + 8 for u.
-2
Let m be 6/27 - 61/(-9). Suppose 0 = -2*r + 4*c - 8, -5*r = -r - 5*c + m. Solve 0 = -g + r*s + 2 + 5, 0 = -2*g - s - 1 for g.
1
Let d be (-1*4)/(2/(-6)). Let i = -7 + d. Solve 0 = y + o + 2*o - 15, 4*y + o = i for y.
0
Let p be 7 - (78/(-65))/(2/(-5)). Solve 2*v = -5*s + 23, 3*s + p*v - 31 = -2*s for s.
3
Let h(m) = m**2 + 2*m + 2. Let z be h(0). Solve 2*f - 9 = -z*d + f, 0 = 3*d - 3*f for d.
3
Let a = -9 + 30. Suppose 3*i = -4*x + a, 0*x = 2*x + i - 9. Solve 2*n = 3*q - 3 - 0, -12 = -x*q + 5*n for q.
-1
Let b be (-4)/(-6)*(-312)/(-16). Let d = b - 10. Solve -3*c = -2*y - d*y + 15, 0 = 5*c + y - 3 for c.
0
Let q be (175/(-15))/(-7)*3. Solve -4*k + 0*w - q = 5*w, 5*k + w = -1 for k.
0
Let r(m) = 2*m**2 + 9*m + 2. Let u be r(-6). Suppose 0 = -k - u - 54. Let s be k/(-14) + 10/(-35). Solve w + 2*f + s + 7 = 0, -10 = 2*f for w.
-2
Suppose 3*i - 2*i - 3 = n, -25 = -3*i - 5*n. Let h = -5 + 7. Solve 5*d - 4*d - 1 = w, 5 = -h*w + i*d for w.
0
Let r(n) = 3 - 4 - 5 - n - n. Let p be r(-5). Let x = p + -3. Solve z + x = -2*v - 0*v, -z = -2*v - 11 for z.
5
Let a = 148 - 144. Solve 5*w = -a*x - 2, -3*w + 17 = w - 3*x for w.
2
Suppose -n + 11 = 6. Suppose 2*y + 20 = -3*y. Let r = y + 6. Solve n*s - r*w - w - 4 = 0, 5*s - 5*w - 10 = 0 for s.
-1
Suppose 5*h - 6*h = 2. Let r be -2 - (-2 + 2 - 23). Let z = r - h. Solve -6 + 21 = 3*p, -2*v = 5*p - z for v.
-1
Let r(u) = -5*u**2 + 47*u - 12. Let d be r(9). Solve 0 = s - d*s + 5*a - 15, 2*a = -4*s for s.
-1
Let k be (-7)/((-49)/(-6))*2*-7. Solve -q + z = 2*q + 16, 0 = -2*q + z - k for q.
-4
Let r(h) = 7*h - 3. Let m be r(1). Solve 27 = 2*a - 4*w + 7, -m*a - 4*w - 20 = 0 for a.
0
Suppose 5*k = 4*k + 176. Suppose 5*z - 29 = k. Let g(b) = 26*b**3 + b. Let y be g(1). Solve 4*l = -5*a + z, -2*l - l - 3*a = -y for l.
4
Let x(v) be the first derivative of -v**3/3 + 7*v**2/2 - v - 1. Let i be x(6). Suppose n = -3 + i. Solve -3*o + 12 = q + q, n*o = -2*q + 10 for o.
2
Let f be 0/(0 + 1 + 1). Suppose g - 3 = 1. Suppose -g*r + 5*d = -35, 10 = 3*r + 2*d + 1. Solve i - k + f*k = 2, -10 = -r*k for i.
4
Let k(z) = -z**3 + 4*z**2 + 3*z + 10. Let t be k(5). Solve -4*q - 2*n + n = t, -3*q = -2*n + 11 for q.
-1
Let m = -25 - -19. Let s be (-3)/m*(4 - 4). Solve s*h = x - 5*h + 3, -4*h + 10 = 3*x for x.
2
Suppose 23 = 5*v - 4*f, 0*f + 3 = -v - 3*f. Solve -b = -3*s + 14, b + 2*s - v + 2 = 0 for b.
-5
Let d = 2 + 0. Let y(n) = 3*n**2 - 1 - 4*n**3 - d*n**2 + n**3. Let c be y(-1). Solve -c*g + k = -19, -3*g + 3*k = -0*g - 27 for g.
5
Suppose 0 = -6*y - 14 + 44. Solve -y*u - 8 = 4*o - 3, -20 = 5*u + o for u.
-5
Suppose x = 5*z - 19, -8 = -6*z + 3*z + 4*x. Let q be z/((-1 - -2) + 1). Solve -3*r = 3*m - 7 + 1, -3*m + 6 = q*r for m.
2
Let s be (-34)/(-8) + (-12)/(-16). Suppose -s*l + 7 = -0*f - 3*f, -2*l - f = -5. Suppose -4 = -k - l. Solve -5*o + 27 = -k*g, -4*o = -3*g - 2*g - 25 for g.
-1
Suppose -2*c = 3*i - 2, 5*i + 4*c - 8 = -4. Suppose -t + i*t + 5 = 0. Solve -26 = -t*r - k, -r = 5*k - k - 9 for r.
5
Suppose -2 + 14 = 6*u. Solve 4*b + u*m + 4 = 0, -2 = 2*b - m - 0 for b.
-1
Let h(r) be the third derivative of -r**6/24 + r**4/12 + r**3/6 - 2*r**2. Let j be h(-1). Suppose j + 1 = d. Solve -25 = -d*i + 2*w, -3*w = -i + 5 - 0 for i.
5
Let i(v) = v + 1. Let j(z) = -18*z - 6. Let x(t) = 5*i(t) + j(t). Let k be x(-1). Solve -3*g + 36 = 5*u + k, u + 3 = 2*g for g.
3
Let w be 2 + -3 - 2*-2. Suppose y - 7 = 4*b + 2*y, 0 = w*b + y + 4. Let u be (0/b)/(-2 + 4). Solve -5*c + 17 = -i, u*i = i - 4*c + 13 for i.
3
Suppose -x + 4 = v, 2*v = -4*x + 4*v + 4. Suppose 5 = 5*o, o - 3 = -s + x*o. Let d = -15 - -17. Solve s*r = -d*a - 18, -3*r - 16 + 4 = 0 for a.
-1
Let d be 32/2 + (0 - 0). Let u be (2/(6/15))/1. Solve -5*q - 8 = u*f + 2, 2*f + d = 4*q for f.
-4
Let r(a) be the first derivative of a**3/3 - a**2/2 + 6*a - 1. Let s be r(-5). Let i = s - 16. Solve -4*f + 24 = -3*k + 4*k, -4*f + i = 0 for k.
4
Let f be (-1 - -2)*(-1 + 2). Suppose -f = 2*y - 11. Let u = y + -3. Solve 15 = -3*a + 4*v, -a - v - 5 = u*v for a.
-5
Let t(d) = -12*d + 1. Let j(i) = 6*i - 1. Let r(h) = 7*j(h) + 3*t(h). Let k be r(3). Solve 11 = -4*o + 5*f, 2*f - k = 3*o + 4*f for o.
-4
Let k = -20 - -25. Solve 2*c = 6*c - k*b + 1, -c - 3*b = 13 for c.
-4
Suppose -7*k = -14 - 0. Solve 4*m - 25 = -3*n, 6*m - 3*n - 7 = k*m for m.
4
Let l(o) = 3*o**3 - 4*o**2 + 3*o. Let z be l(2). Suppose -4*p - z = -22. Solve v + 6 = 5*v + g, 0 = -g - p for v.
2
Let k be (0 + -1)*2 - -7. Let z(d) be the first derivative of -d**4/4 + 5*d**3/3 + 2*d - 2. Let j be z(5). Solve -5*r + 0 = j*t - k, 2*t = 4*r - 22 for r.
3
Suppose -5*x = -4*x - 2. Let a be (17/(-5))/(-1) - (-4)/(-10). Solve a = -x*h - v, 2*h = -4*v - 0 - 18 for h.
1
Suppose 3*l = -2*a + 7 - 0, -12 = -3*a - 3*l. Suppose -22 - 3 = -a*n. Let c be (-12)/(-20) + 27/5. Solve n*x + 5*j - 10 = 0, 0 = 5*x + 3*j - c + 2 for x.
-1
Suppose -10*b = -7*b - 6. Solve -4*x + 3*a = -35, b*a - 15 = 5*a for x.
5
Let x = 21 + -17. Solve -4*r = -4*m - 24, x*r - 9 = -3*m + 8 for m.
-1
Suppose -5*l = -5*i - 40, 12*l - 28 = 8*l + 3*i. Solve 0 = j + l*v + 4, -2*j - 1 = -5*v + 7 for j.
-4
Let m be 1/(-1 + (-8)/(-6)). Let c(u) = 3*u - 4. Let p be c(m). Suppose 3*g = -l + 6*l + 46, 3*g + p*l = 26. Solve -5*r - 3*b - 2 = 0, -3*b + g = -6*b for r.
2
Suppose 6*x - 5*x = 0. Let b be 1*4/((-8)/(-26)). Solve x*q + 9 = -3*q, -2*a - b = 5*q for a.
1
Let u(a) = -2*a - 12. Let f be u(-8). Suppose -4*d = -39 + 11. Suppose 3*n + 3*k - 21 = 0, 4*k + d = 5*n + 2*k. Solve -2*x - f*t = 6 + 2, -3 = 3*x - n*t for x.
-2
Suppose -l - 49 = -4*l - 2*t, 2*t + 26 = 2*l. Let g = l - 10. Suppose -g*f + 3 = -12. Solve f*a - 3*q = q - 17, -2*q = -4 for a.
-3
Let t be (-3)/(-2) + 7/2. Suppose -3*x + t*x - 10 = 0. Let y be -3*2*1/(-2). Solve y*i - 24 + 0 = -3*n, x*i = 15 for n.
5
Let a(r) = r - 14. Let h be a(12). Let p be 60/(-8)*h/(-3). Let o = p + 7. Solve -6 = -n + 3*x + 2, -4*x = 5*n - o for n.
2
Suppose 0 = n - 8. Let w = 71 + -47. Suppose 3*r - 4*x = w, 4*r - 2*x = 20 + 22. Solve y = 4*m - 0*y + r, -m - n = y for m.
-4
Let j(b) = b**3 + b**2. Let 