 -y + 2*b - m, 4*y = b - 14 - 2 for y.
-4
Let o(z) = z**2 + 6*z + 4. Suppose 2*p + 30 = -5*y, 3*y + 6 = -4*p - 12. Let s be o(y). Solve -s*h - 1 + 5 = 4*k, k = 3*h - 15 for k.
-3
Let j = 6 - 3. Suppose -b - j = -2*b. Suppose -3*u = -3*p + 9, -p - b*u = -u + 3. Solve 0 = -2*f - 4*x + 15 + p, -3*f = 3*x - 18 for f.
4
Let f(w) = -w**2 - 9*w - 15. Let h be f(-3). Solve 0*g = 2*g - 2*p - 12, -h*g - 3*p = 0 for g.
3
Suppose 30 = 5*d + 10. Suppose d*y - 3 = 2*f + 3, -3*f = -3*y. Solve -5*t + 6 = y*a - 1, -a + 8 = -4*t for a.
4
Let k(f) = f**3 - 9*f + 5. Let u be k(3). Solve 3*w - 17 = u*n, -4*n + 4*w + 2 = 14 for n.
-4
Suppose 8 = -5*j + 23. Suppose -3*c + s = 2*c - 29, j*c - s = 19. Solve 0 = -3*u + 2*p + 14, c*u + 4 = -4*p - 2 for u.
2
Let r be (-6)/(-12)*(10 + 0)*1. Solve 2*u - 3*h = 3*u - 13, r*h - 22 = -2*u for u.
1
Let l(d) = 3*d - 10. Let i be l(5). Solve a + 2*n - 5 = 0, -16 + i = -3*a - 4*n for a.
1
Suppose 6*r - 3*r - 9 = 0. Suppose -2*w = -w + 5*v - 24, 8 = 5*w - r*v. Solve m = -4, 2*j - w*m - 8 = 4 for j.
-2
Let d = 57 - 19. Suppose 0 = -3*r + 4*s - d, -3 = 2*r - 3*s + 23. Let g be (r/8)/((-3)/12). Solve -g*a = 5, -8*p + 18 = -4*p + 2*a for p.
5
Suppose -5 = -3*x + 10. Solve -10 = x*f + 2*k, -2*f = f + 2*k + 6 for f.
-2
Let y be 2*3/((-30)/(-25)). Solve 2*p = u, -10 + 0 = y*p - 5*u for p.
2
Let m(f) = -f + 2. Let q be m(8). Let b = q + 12. Let h be 21/b*8/14. Solve -5*l - h*j - 22 = 0, j + 3*j + 8 = -l for l.
-4
Let l be 2*(4 - 1/((-8)/(-12))). Solve 0 = -k + 2*g - 6, 2 - 19 = 2*k - l*g for k.
4
Let l = -31 - -39. Solve 4*v - l*v + 4 = x, -5*v = -2*x - 5 for x.
0
Suppose 29 = 5*h - 16. Suppose -3*j = -2*v - h, 3 = 3*j - v - 3. Let s(a) = 2*a + 4. Let r be s(4). Solve 3*q = r, t - 2*q + 7 = -j for t.
0
Let u be 2/(-9) - ((-940)/(-45))/(-4). Solve 2*v = -6*n + n + 4, -u*v - 2*n + 10 = 0 for v.
2
Let p(n) = -n**3 + 5*n**2 - 2*n - 3. Let o be p(4). Suppose -3*c + 18 = -q, c = -3*c + q + 25. Let i = c - o. Solve -i*s - 3*d = 10, 0*d - 11 = s + 3*d for s.
1
Let o be 7/(-21)*(2 + -17). Let l(z) = z + 8*z - 2*z - z**2 + 8. Let b be l(8). Solve b = -o*q + 5*i + 30, 2*q + 3 - 1 = -5*i for q.
4
Suppose -45 = -2*y - 5*b, 7*y - 36 = 4*y + 3*b. Solve -f + 2 = x + 1, -3*f + y = 0 for x.
-4
Let k(j) = -j**3 - 8*j**2 - 6*j + 4. Let b be k(-7). Let z(u) = -u**3 - 3*u**2 - 3*u + 1. Let v be z(b). Solve -s + v + 3 = 5*q, 5*s + 5*q - 25 = 0 for s.
3
Suppose 4 = 2*a + 4*b, 0 = -0*a + 2*a + 2*b - 4. Solve -x + 5*l - 3 = 0, a*x - 2 = -2*l + 4 for x.
2
Suppose -7 = g - 4*y, 1 = 5*g - 0*y - 2*y. Suppose g = 3*u - o, 2*u - 2*o + 0 + 2 = 0. Solve -2*c - u = -d + 1, -5*c = 3*d + 5 for c.
-1
Suppose 0 = 5*i - 0*i. Let q(n) = -n - 1. Let c be q(-4). Suppose -c*z + 8 = -o, -z - 2*o + 6 = -4*o. Solve -25 = -5*b + 5*j, i = -3*b - 0*b + z*j + 11 for b.
1
Let f(v) = 5*v - 8. Let i(m) = m - 1. Let q(j) = f(j) - 2*i(j). Let n be q(7). Let y = -3 + n. Solve y = o + 4*h - 7*h, 3*o + 6 = -5*h for o.
3
Suppose -q - 4 + 5 = 0. Let i be q/(3 + -4)*-2. Solve -3*x = -3*a - 9, 3 = i*x - 3*a - 6 for x.
0
Let i(p) = -7*p - 8. Let x be i(-6). Let q be x + 1 + 1 + -1. Suppose 3*k - 8 = -k. Solve -5*z + 5*n = -0*n - q, 4*z + k*n = 10 for z.
4
Let b(c) = c**3 - 15*c**2 + 13*c + 19. Let y be b(14). Solve 5*d - 4*s = -5, 4*d + 5*s - 1 = -y for d.
-1
Let c(q) be the first derivative of q**4/4 + 26*q - 3. Let k be c(0). Solve -3*t + 2*t = -n + 6, -3*n + 5*t = -k for n.
2
Let v = 35 - 31. Solve -4*u = l + 12 + v, 2*u + 2*l + 2 = 0 for u.
-5
Let s = 16 + -23. Let y = s - -11. Solve 0*b = -3*t - y*b - 20, 3*t + b + 14 = 0 for t.
-4
Suppose -2*f + 9 = f. Let b = 18 + -12. Let q(m) = m - 1. Let r be q(b). Solve -r*k - 4 + 5 = -3*w, k + 7 = -f*w for w.
-2
Let q(a) = a + 3. Let f be q(0). Let p be 20/(-35)*(-14)/4. Suppose -4*y - p*t + 24 = 6, 3*t - 15 = -2*y. Solve y*d - f*b = -6, -37 = 4*d + d + 4*b for d.
-5
Let o(y) = -y**3 + 3*y**2 - 2*y + 2. Let c be o(2). Let u = -4 - -7. Solve 2*i = -u*r - 1, -3 = c*i + 4*r + 1 for i.
4
Let d(v) = -v + 18. Suppose -c - 4*c = 155. Let k = -19 - c. Let m be d(k). Solve m = -2*z - 2*y - 0*y, y = 2*z - 3 for z.
0
Let n(w) = w**2. Let u be n(2). Suppose -2*p - u = 4*b + 10, 4*b + 17 = p. Solve -5*x + p = -4*g, -g = -2*g + x - 1 for g.
-4
Suppose -15 = -2*t - 11. Let c = 3 + t. Solve 10*r - c*r - 27 = 3*j, -3*r + 2*j = -17 for r.
3
Suppose 0 = 3*m + 4 - 1. Let x = -4 - m. Let i = x + 3. Solve i*s + 5 = s - 2*b, 0 = -4*b for s.
5
Let p be (4/1)/((-5)/((-10)/4)). Solve -4*r - 14 = -p*j, -2*r - 17 = 3*r - 3*j for r.
-4
Let x(l) = 1 - 4 + 2 + 6*l. Let t be x(1). Suppose -3*r + r + 7 = y, 5*r = 3*y + 34. Solve 3*v - t*d + 15 = -0*d, r*v + d = -25 for v.
-5
Let p(z) = -2*z + 45. Let c be p(11). Solve 3*y = -4*d - c, 5*y - 2*y - 2*d = 7 for y.
-1
Suppose 4*p = 2 + 6. Let g(m) = 3*m**2 - 2*m - 2. Let f be g(2). Let z = -3 + f. Solve -2*r - 7 = -5*r - 4*w, -z*w = p*r - 5 for r.
1
Suppose c = -c + 14. Solve -2*m - 2*t + 4 = 0, m + 2*t = -0*m + c for m.
-3
Let s(g) = -6*g**3 - g**2 - 3*g - 1. Let f be s(-1). Solve 0 = -p + 3*c - 13, f = -2*p + 3*p + c for p.
2
Let v be (0 + 0)/1 + 4. Suppose 23 = 3*g + v*a - 18, g + a - 12 = 0. Suppose 3*u - 17 = g. Solve -18 = -3*q - t, -19 = -u*q + 3*q + 2*t for q.
5
Let x(f) = -f + 7. Let c be x(0). Let q = -3 + c. Suppose 0 = -3*b - y + 5*y + 4, -4*b + q*y = -8. Solve -4*d - 26 = -0*s + 2*s, b*s - 8 = 4*d for s.
-3
Let f be 140/12 + 6/(-9). Solve -j = -5*x - 27, -2*j + x + f = j for j.
2
Let q be -2 + (-1)/(-1) - -1. Suppose q = 8*w - 10*w + 4. Solve 5*l = -s - 14, s - w*l - 2 = l for s.
-4
Let r = 17 + -13. Let f(q) = -4*q**3 + 3*q + 1. Let w be f(-2). Let t(u) = u**2 - 6*u + 2. Let b be t(6). Solve -b*l + 0*s = r*s - 18, 5*l + 4*s = w for l.
3
Suppose c = -4*h + 6*c - 17, 0 = -5*h + 4*c - 10. Solve 5*a + 25 = 3*w, -h*w = -2*a + 3*w - 10 for a.
-5
Let m be (-11)/(2*2/(-4)). Solve 5*c - 1 = -5*r - m, -2*c = r for c.
2
Let n(o) = -47*o**2 - 20*o. Let v(f) = -16*f**2 - 7*f. Let l(i) = -6*n(i) + 17*v(i). Let b be l(-1). Solve -2*p = -4*d + 5 + 7, 2*p = 3*d - b for d.
3
Let v = -129 + 133. Solve -2*x + 1 = 2*g - 5, v = 4*x for g.
2
Let x(g) = -g**3 + 2. Let r be 1/(2 - 3)*0. Let f be x(r). Solve 0 = -3*d + s - 11, f*d - 3*d - 4*s - 8 = 0 for d.
-4
Suppose -4*z + 2*i = -62, -4*z - 3*i = -i - 82. Solve 4*k = 2*h + 4, 4*h - z = -0*h - 5*k for h.
2
Let c(d) = d**2 + 2*d - 15. Let j be c(-5). Solve f - 4*p = 3, j*p + p - 13 = 3*f for f.
-5
Suppose 5*j + 5*z = 0, 3*j - 4*z = -0*j - 28. Let q be 3*(50/6 + j). Solve -u + q = h + 3*u, -3*h + 5*u - 29 = 0 for h.
-3
Suppose 9 = -2*c + 11. Let w be 3 + 1*c/(-1). Solve -a + 9 = 4*o - w*a, -a = 2*o + 3 for o.
1
Let s(n) = n**2 - 10*n + 28. Let d be s(4). Solve 3*p - 5*r - 7 = 0, -6*p + d*p - r = -9 for p.
4
Let p(j) = -j**2 - j + 12. Let l be p(0). Suppose 2*i - 6*i + 2*o = -20, 0 = -3*i + 4*o + 20. Solve c = 4*u - 4, 3*c + l = -2*u + i*u for u.
0
Let t = -7 + 12. Let u be (-18)/4*(-20)/(-15). Let o = -1 - u. Solve -h - t*l + 18 = -0*h, o*h + 26 = 4*l for h.
-2
Let g = 13 + -9. Solve -2*o - g = -j, -24 = o + 5*j - 0*j for o.
-4
Let y = 26 + -16. Solve 2*w - y = 0, l + 2*w = -w + 15 for l.
0
Suppose 4*j - 11 = 9. Solve -4*a = 4*g - 10 - 2, 3*g + 5*a = j for g.
5
Let p be (6/27)/(4/36). Let n = -7 - -10. Suppose 0 = -5*d - 2*q - 3*q + 30, 14 = 3*d + 5*q. Solve 4 = 5*y - y + p*f, 4*y - d = -n*f for y.
-1
Suppose -25 = l - 6*l. Suppose -22 = 3*u - l*g, -12 = -2*u - 0*u - 2*g. Suppose -5*j + 11 - u = 0. Solve 5*s + 23 = -2*m, j*m - 3*m = -3*s - 16 for m.
1
Let u = -5 - -7. Let o be (-2)/u - 1*-11. Solve 3*v - 4 = 4*j - 0, 0 = -4*v + 3*j + o for v.
4
Let c be (-5)/(1 - (-1 + 3)). Suppose -c*o + 3 = -7. Solve 3*g - 4 = -3*s - o*s, 0 = g + 3*s for g.
3
Let t = -4 - -9. Suppose -t*p - 10 = 0, 5*d - 3*p - 26 = d. Solve 0 = 3*u - 4*f - d, -2*f = -3*u + 1 for u.
-1
Let b be 1/4 + 375/20. Solve -4*l + 6 + b = -3*i, i - l = -7 for i.
-3
Let x(c) = c + 8. Let m be x(-4). Suppose 0*d - 8 = -5*d + m*f, 0 = -2*d - 5*f + 23. Solve 2*b - 6*l = -l + 11, -5*b + d*l + 2 = 0 for b.
-2
Let d = -5 - -7. Suppose k + 4 = 5. Suppose j = k + d. Solve 4*u + 7 = 4*c + 23, j*u = 15 for c.
1
Let u(q) = 4*q - 2. Let c be u(5). Suppose t - c = -2*t. Solve -2*i = n - 5, 3*n - 6 = -t*i + 3*i for i.
3
Let r be 138/7 + 10/35. Suppose -3*d - 