Let d be (-3)/6*(4 - 12 - -8). Solve -f + 13 = -3*m + f, -b*f - 3 = d for m.
-5
Let g(f) = 7*f - f + 2*f**2 + 3 - 3*f - 3*f**2. Let k be g(3). Solve 5 = -5*r - c, -k*r + 3*c + 20 = -c for r.
0
Let g(q) = -q**2 - 14*q - 22. Let b be g(-12). Solve -i + 4 = 3*t - b*i, 4*i + 5 = t for t.
1
Suppose -14*o + 431 + 59 = 0. Solve 32 = 4*s - 3*b, 3*s - b = 4*b + o for s.
5
Let x(r) = r**3 + 2*r**2 - 3*r - 1. Let m be x(-3). Let l be 3 + (-2 - 0) + m. Solve -g + 3 = 3*h - 2, -5*g + 5*h - 35 = l for g.
-4
Let k(d) = -3*d**3 - 5*d**2 - 2*d + 4. Let p be k(-2). Suppose p*b - b - 242 = 0. Solve 4*z = f + 3, -5 = -4*z + 5*f - b for z.
2
Suppose -4*w - 4*i + 40 = 0, -i + 3*i = -w + 8. Solve -2*b + w = 3*y, -b = 3*b for y.
4
Let d(y) = y**3 + 14*y**2 + 36*y - 3. Let x be d(-10). Solve 4*s + m = 21, -2*s + x = s + 5*m for s.
4
Let g(h) = -h**2 - 27*h + 324. Let l be g(-36). Suppose -x + 5*x = 8. Solve l = x*r + 2*r + 3*f + 28, -12 = 4*r - f for r.
-4
Let c(g) = g**3 - 10*g**2 - g + 13. Let i be c(10). Suppose -i*n = -4*r + 10, -6 = r - 5*n - 0*n. Solve -r*l + 4*j = l - 28, -2*l - 5*j = 2 for l.
4
Let l be 87/2 + (-12)/(-8). Suppose 9*a - 6*a - l = 0. Suppose -2*f = -f - a. Solve 0 = 4*n - 5*g - 13, -g = 2*n + f - 4 for n.
-3
Let l be (-11)/(-2) - (-1)/(-2). Let p be (-86 - -85) + -4*3/(-2). Solve 5*u = l, -2*u = p*f + u + 7 for f.
-2
Let i be (-3 + 3/6)*(-23 - -21). Solve 10*n + 3*t = i*n + 12, -10 = -2*n + 4*t for n.
3
Suppose 3*t + 12 - 3 = 0. Let w be 2/t + (-44)/(-12). Suppose 4*c = 3*d + 10, -5*c + 9*d = 12*d - 26. Solve -5*y + w*y = 2*n - 2, -y = -2*n - c for n.
-1
Suppose 0 = 948*q - 958*q + 20. Solve -5*t + 25 = -5*r, 14 = 4*r + 4*t + q for r.
-1
Let h be ((-126)/(-8))/(4/16). Let a be 12/2 - (2 + 0). Suppose l + h = a*l. Solve 0 = -2*q - 5*n + l, -5*n + 1 + 2 = -4*q for q.
3
Suppose 4*z - 4*m = 60, m + 95 = 5*z - 0*m. Solve 0 = -5*d - 5*b - z, b + 5 + 3 = -3*d for d.
-2
Let t = 20 + -12. Let g be (2 - 3 - -3) + t. Suppose -g = -9*u + 7*u. Solve 5*s + u*x = 5 + 15, -x = 4*s - 16 for s.
4
Let y be 40/(-12)*24/(-10). Suppose 17 + 3 = 5*x - 5*r, 0 = x + 3*r + y. Suppose -f + x = -1. Solve 0 = f*g + 10, 5*g + 8 = 2*d - 25 for d.
4
Suppose -41*t = -57*t + 64. Solve t*y - 3*g = 2*y - 7, -2*y = -g + 1 for y.
1
Let m(i) = -i**3 + 5*i**2 - 4*i. Let b be m(3). Let a be 15/b - 2/4. Let n = 657 + -653. Solve 0 = -a*z - n*p + 4, z - 2*p - p = 7 for z.
4
Suppose l - 5*g - 29 + 9 = 0, 0 = 3*l + 5*g + 20. Let y be 2/3 - (-776)/(-12). Let i be y/(-14) + (-24)/(-56). Solve i*a = -2*o - 16, 2*o - 3 + 9 = l for a.
-2
Suppose 0 = 4*n - 5*t - 8, -8 = -4*n - 0*n + t. Suppose 0 = -5*d + 40 + 60. Solve n*o = 3*o + 5*i + d, 0 = -4*o - 4*i for o.
5
Let r(d) = d**2 - 6*d. Let s(i) = -i + 19. Let c be s(9). Let g be r(c). Let l be ((-2)/(-4))/(5/g). Solve -l = 3*n - 19, -5*b - 10 = -5*n for b.
3
Let o = 37 + -35. Suppose -u - 2 = -o*u. Solve -3*v = l, 0*l + 4 = u*v + 2*l for v.
-1
Let v(x) = 2*x**2 - 4*x + 2. Suppose 2*g = 5*m - 41, -m + 11 + 11 = -5*g. Suppose m*q - 3 = 6*q. Let s be v(q). Solve 2*f + r - 2 = 0, -2*r = f + 1 - s for f.
-1
Suppose -5*a = a + 6. Let s(b) = 3*b**2 - 2*b - 1. Let m be s(a). Suppose 5*g = 3*r + r + 8, 3*g - m*r = 0. Solve -3 = 5*n + g*y, n + 9 = y + y for n.
-3
Suppose 59*r - 63*r = -3*p, -4*r = -2*p. Solve 0 = -3*n - 2*h - 16, -4*n + 3*h - h + 2 = r for n.
-2
Let x(y) = y**3 - 4*y**2 - 3*y - 4. Let n be x(5). Let b = 14 - 9. Let t = -35 + 39. Solve -3 = b*r - t*u, -4*u - 18 = -n for r.
-3
Let o be 14/6 - (-10)/15. Solve 4 = 2*z + v, 0*z - 12 = -2*z - o*v for z.
0
Suppose 193 = 8*k - 167. Suppose 2*c + 3*c - 45 = -5*h, -5*c + k = -4*h. Solve -3*n + c = 0, 5*n - 24 = -4*j + n for j.
3
Suppose -n - 40 = -5*r, r - 4*n - 13 = 2*r. Suppose r*u - 2*u - 31 = -2*y, 3*y = u + 4. Solve -y*d = -3*h - 9, 4*d = 2*h + 3*d + 1 for h.
2
Suppose -322*f - 25 = -327*f. Solve -3*z + x - 5 = 0, -x + 1 = -f*z - 4 for z.
0
Suppose -q + 0*b = -5*b - 7, -4*b = -q + 6. Solve -14 = -4*h - q*m, -3*m = 3*h - h - 17 for h.
1
Let v(m) = -11*m - 3. Let u(f) = -f - 1. Let x(n) = 2*u(n) - v(n). Let g be x(-1). Let k be g/((-6)/3) - -1. Solve -4*t + 7 = p, 0 = p + t + 2*t - k for p.
-1
Suppose k + 4*j = 8, 3*k - 30 = 3*j + 9. Suppose -3*n = -0*n + k. Let t be 0 - (1 + n) - 0. Solve -8*u + 3*u = 5*p, 5*p + 40 = t*u for u.
5
Let m(j) = -13*j + 41. Let q be m(3). Solve l + 0*l + q*o + 15 = 0, -3*l - 5 = -2*o for l.
-5
Let q be (5 - -14 - 7)*2. Let f be -14*(-2 - (-3)/2). Let i be (8/14)/(2/f). Solve 3*p + k - q = -i*p, -5*p - 3*k + 22 = 0 for p.
5
Let q(d) = d**2 - 12*d + 12. Let s be q(10). Let r be s/(-12) - (-4)/12. Solve 5*i = 4*n - 7, 0*i + i = n - r for i.
-3
Let t = -7 - -7. Let b = 90 + -88. Suppose b*c - 4*c = t. Solve c*d - d + 14 = 4*u, 2*u - 14 = -4*d for d.
2
Suppose 18 = 3*s - 3*h, 4 = 2*s - 3*h - 11. Suppose -s*d + 7*d - 88 = 0. Solve 0*l + m - 26 = -5*l, 3*m + d = 5*l for l.
5
Let i(z) = z**2 + 2*z - 30. Let f be i(-11). Let c = f + -64. Solve -2*r + h = -c*r, h - 7 = 4*r for r.
-1
Let g(z) = -z**3 - z**2 - 5*z + 3. Let s(y) = y**2 + y - 1. Let n(a) = g(a) + 6*s(a). Let p be n(5). Solve -2*o = d + 4, 10*d = p*o + 5*d - 20 for o.
0
Let p be (-545)/(-10) - 2*(-3)/12. Let b = p + -54. Solve -t = b, -2*l + 2*t + 2 = -10 for l.
5
Let k(q) = 0*q + 47 + 4*q - 3*q - 3*q. Let f be k(21). Solve 2*p + 4*l = 10, f*l - 5 - 10 = 0 for p.
-1
Let k = 3 - -2. Let l be 3 - (2 + (-15)/k). Solve -2*h + 26 = 5*z, -2*h - 2 = -l*z + 8 for z.
4
Let l = -14 - -14. Solve -4*o + 5*a - 2 = l, 3*o - 7 = 8*o - 4*a for o.
-3
Suppose -y = -2*g - 8, -y + 5*g - 3 + 17 = 0. Suppose 8 = y*q, 7*r = 5*r - q + 6. Solve r*c = 3*s - 1, -c + 6*s = s - 3 for c.
-2
Let x = -3 + 5. Suppose z - 10 - 5 = 0. Suppose -7*q = -x*q - z. Solve -5*h - q*g = -37, -5*g = 4*h - 7*h - 5 for h.
5
Suppose -894*u = -902*u + 24. Solve 3*k + m + 11 = 0, 4*k - 2*k - 2 = -u*m for k.
-5
Suppose 104 = 5*b + 29. Suppose 12*w + 9 = b*w. Solve 5 = -4*f - f + w*o, 2*o + 4 = -4*f for f.
-1
Suppose -68*z + 50*z = -36. Solve -s + 8 = 5*n - 19, -z*n + 10 = 0 for s.
2
Let p(z) = -42*z - 11. Let x be p(2). Suppose -4*r - r - 2*d = -66, 33 = 4*r - 5*d. Let l be r/10*x/(-38). Solve 2*n = 5*q, l*q + 6 = 4*n + 20 for q.
-2
Let a(f) = f**3 - 12*f**2 - 12*f - 10. Suppose h - 32 = -h - 3*w, -3*w = -6. Let p be a(h). Solve -4*r = -5*b - 10, b + p*r = 1 - 3 for b.
-2
Let l(a) = a**2 + 23*a + 15. Let z be l(-23). Solve -5*m = -s + z, -2*s - 3*m = 2*s - 14 for s.
5
Let v be (-3 - 1) + 7 - (-12)/2. Solve 4*l + 2*t - v = 7, l - 3*t + 3 = 0 for l.
3
Let y(m) = -2*m**3 + m + 1. Let a(c) = -c + 1. Let s be a(-1). Suppose s - 1 = -w. Let n be y(w). Solve -k + h = 7 - n, -5*h - 5 = 5*k for k.
-3
Let y be (2 + -23)*2/(-3). Suppose 4*z + 4*o = 40, -19 - y = -3*z - 2*o. Solve -w - 5 = 4*l + 9, -z = 5*w + l for w.
-2
Let q(n) = 30*n + 3. Let v be q(3). Let l = -91 + v. Solve l*t - 3*z - z = 4, 4 = 2*t - z for t.
2
Let v = 29 + -20. Suppose 3*o - i = 1, o - v = i - 5*i. Solve 5*w + 3*y = -y - o, y + 4 = -5*w for w.
-1
Let w(q) = 3*q - 3 - 2*q - 2 - 2. Let t be w(3). Let n be -3 - 2*t - 4. Solve 5*l = 4*p, 5*p + 20 = l - n for l.
-4
Suppose 14*a - 23*a = -18. Let g(v) = v**2 - 2*v - 3. Let u be g(3). Let y be (-1 + u)*-1*0. Solve -w - 6 = -2*n, 5*w + 18 = -a*n - y for w.
-4
Let k(w) = -w**3 - 4*w**2 - 4*w - 5. Let x be k(-4). Let a = 0 + -9. Let m = a + x. Solve -6*r + m*r - 2*v = 10, 1 = -4*r + v for r.
-1
Suppose -24 = -4*l + 36. Let b = l + -10. Suppose -a + 2*z = -6, -3*z - 9 = -5*a + 2*a. Solve -5*d + m = -12, b*d - 3*d + 5*m - 21 = a for d.
3
Let g = -87 - -82. Let u(f) = f + 9. Let v be u(g). Solve -3*o - 5*j = -2*o - 20, v*o - 4*j - 8 = 0 for o.
5
Let z(t) = -3*t**3 + 2*t**2 - 26*t + 25*t - 3*t**2. Let f be z(-1). Solve -11 = f*a - 4*j, 4*j = -3*a - 14 - 5 for a.
-5
Suppose 5 = -2*z + 13. Solve -4 = -f - z*h + 2, -3*f = 2*h + 2 for f.
-2
Suppose 3*h - 5 = -5*i + 17, 10 = -i + 3*h. Solve -6*j = -i*j + 4*y - 32, 3*j - 12 = y for j.
5
Let y be (55/5)/11*12. Solve -3*s + 4 + y = -5*z, 3*z = -6 for s.
2
Suppose 2*l + 0*l - 6 = 0. Suppose -1 = -2*q - l*s, 4*s + 3 = -1. Suppose q = 5*h - 28. Solve -2*c = -3*a + 5, h = 3*a - c - 1 for a.
3
Suppose 2*s = 17 + 19. Solve -3*u - 13 + 1 = 0, -3*m + 3*u = -s for m.
2
Let s(q) = q**2 + 8*q + 2. Let r be s(0). Let g(x) = -x**2