*a - 37, x + 4 = 0. Let u(m) = m - 1. Let b be u(4). Suppose -25 = -b*c - 2*c. Solve c = -3*p - a for p.
-4
Let v(n) = n**2 + 4. Let r be v(0). Solve 0 = -4*m + 2*m - r for m.
-2
Suppose 0 = -5*o - 3*i + 10, o - 2*o = 3*i + 10. Let r = -12 - -13. Solve -r = -2*t + o for t.
3
Let r be ((-4)/(-8))/((-2)/(-8)). Solve -5*f = -r*f - 3 for f.
1
Suppose 0 = l - a - 13, 0*l - a + 32 = 4*l. Suppose 3 = 2*i - l. Solve w + i = 3*w for w.
3
Let p be (-3)/4 - 1384/32. Let a be -4*(p/16 - -2). Solve -n = a*n for n.
0
Let i = 9 - 4. Suppose 0 = -i*o - k + 7, 0 = -o + 2*k - 3 - 0. Let q = o + -1. Solve -4*y + y = q for y.
0
Suppose -5*m + 15 = -4*m. Let b be (1 + 2 - 1) + m. Solve -5 = 3*w - b for w.
4
Let f = 11 + -3. Let g(d) = d**3 - 9*d**2 + 8*d + 2. Let q be g(f). Solve -q*b + 16 = 6 for b.
5
Suppose 5*y = 3 + 22. Suppose 4*c = -k + 9, 2*c - 2*k + 6*k = 8. Suppose -5*i + 4 = -2*d, -d + 2*i = c*d - y. Solve d - 13 = -5*w for w.
2
Let k be ((-2)/(-1))/((-2)/(-4)). Solve 6*g = k*g - 8 for g.
-4
Let d(k) = -k + 4. Let t be d(-5). Solve 4*i + 3 = -t for i.
-3
Suppose -4*o + 6 + 10 = 0. Solve g - 2*g - o = 0 for g.
-4
Suppose 4*o - 5*l = -25, l + 2 = 3*o + 7. Suppose -2*b + 5*b = o. Solve 0*c + c + 1 = b for c.
-1
Let m(q) = q - 4. Let x be m(7). Solve 0*t = -x*t + 15 for t.
5
Suppose 4 = -3*i + 16, 3*x = 5*i - 2. Suppose 7*s = 10*s - 9. Solve -s*q - 21 = -x for q.
-5
Suppose -5 = -2*p + 5*a - 4, -4*a - 40 = 4*p. Let m = p + 11. Suppose 7*o + 1 - 15 = 0. Solve -o*b = -m - 6 for b.
5
Let q = -35 + 39. Suppose 0 = -2*l + 34 + 4. Solve -q*h = l - 7 for h.
-3
Let g = 6 + -2. Let i(w) = -w**3 + 11*w**2 - 11*w + 12. Let j(c) = c**3 + 10*c**2 - c. Let y be j(-10). Let u be i(y). Solve -u - 10 = -g*k for k.
3
Let q(f) = -f**2 - 5*f + 3. Let g be q(-6). Let c = g + 3. Solve p - 3 = -c for p.
3
Let k(p) = -p + 10. Let r be k(5). Solve -2*h - r - 3 = 0 for h.
-4
Let n(w) = -w**3 + 3*w**2 + w + 7. Let t be n(3). Solve x = -x - t for x.
-5
Let g be 15 + 4 - (-1 + 4). Let a be g/(-20) + 4/5. Solve a = 2*v - 7*v - 5 for v.
-1
Let u(t) = -t**3 + 3*t**2 + 5*t - 2. Let i be u(3). Let q = i + -9. Let h = q + 0. Solve j - h + 2 = 0 for j.
2
Let c be (-1)/2 + (-28)/(-8). Suppose -c*y = -36 - 21. Suppose y = 4*m - 9. Solve -m*g + 3*g - 20 = 0 for g.
-5
Let j(n) = n**3 - 6*n**2 + 4*n + 2. Suppose 5*f + 20 = 5*i, i + 3*f - 13 = -i. Let d be j(i). Let m be ((-8)/3)/(d/9). Solve 0 = -t + m - 3 for t.
5
Let d be (3/2)/((-3)/4). Let w be (2 + d + -4)*-4. Let b = 2 + 0. Solve -2*p + w = b*p for p.
4
Let h be (-2 + 0)*26/4. Let i = h + 20. Suppose 0*j + 31 = 5*j + 3*m, 4*j - 5*m - 10 = 0. Solve j = 4*c - i for c.
3
Let h = 62 - 59. Solve 0 = h*d - d - 4 for d.
2
Let q = 66 - 41. Suppose 2*l - q = -3*l. Suppose 0 = -m + l - 0. Solve 4*w = -w - m for w.
-1
Suppose 0 = -18*h + 20*h. Solve 2*g - 4 = -h for g.
2
Let w be -23 - 3/(-3)*2. Let d be 28/6 - (-14)/w. Solve -y - d = -1 for y.
-3
Let y = 2 + 1. Suppose 5*f - 5*v - 25 = 0, -2*f + v = -y*f - 5. Suppose 44*g + 20 = 49*g. Solve f = -u - u + g for u.
2
Suppose 2*w = 3*w - 3. Suppose 0 = w*j - 12. Solve j*m - 24 = -8 for m.
4
Suppose 0 = k - 3*k + 4. Suppose -b = -k*b. Solve b*w = -2*w for w.
0
Let h(v) = v**2 - 3*v - 3. Let a be h(4). Let x(i) = -5 + 5*i + a + 5. Let y be x(1). Solve 0 = n + y - 3 for n.
-3
Let c(a) = a**2 - 5*a. Let o be c(4). Let y = -8 - o. Let p(x) = x**3 + 3*x**2 - 5*x - 2. Let f be p(y). Solve f*l - 3 = -11 for l.
-4
Let b(d) be the third derivative of -d**6/120 + d**5/12 - d**4/12 - 2*d**3/3 + 3*d**2. Let y be b(3). Solve g + 3*g - y = 0 for g.
2
Suppose -4*i = i - 20. Let o = i - 4. Solve o = s - 2 + 6 for s.
-4
Suppose 17*k - 29 - 22 = 0. Solve -k*d = -4*d - 5 for d.
-5
Suppose 10 = 5*z + 5*d, z - 2*z + 2 = -d. Solve -2*b + z = -2 for b.
2
Suppose t + 2*t - 3 = 0. Let s be 0/3*t*-1. Let r be (2 + (-16)/3)*(-6)/4. Solve s = r*l - l + 8 for l.
-2
Let v(o) = -10*o. Let c be v(-1). Let p = c + -1. Solve -34 + p = -5*s for s.
5
Suppose 13*r = 15*r - 8. Solve 8 + 4 = -r*w for w.
-3
Let j(r) = -2*r - 3. Let h be j(-3). Let u = 5 - 3. Let y be u/7 + (-8)/28. Solve y = h*i - 3 - 3 for i.
2
Let n be (-10)/(-45) + (-6)/27. Solve -3*u = 9 - n for u.
-3
Let t be 21/(-15) - 8/(-20). Let i be (-3 - 1) + 3 - t. Solve -w + i*w = 4 for w.
-4
Let j be (-4)/6*(-72)/(-16). Let k be 4 - 4/(j + 7). Solve k*m - 2 = 5*m for m.
-1
Let i(y) = y - 2. Let t be i(2). Solve t = -4*z - 8 - 0 for z.
-2
Let h = -2 + 3. Suppose 8*o - 11*o + 6 = 0. Solve 3*m + h = -o for m.
-1
Let m(h) = h - 3. Let a(k) = k**3 + 8*k**2 + 5*k - 9. Let r be a(-7). Let t be m(r). Solve t*g + 1 = -5 for g.
-3
Let a = 15 - 22. Let f = 12 + a. Solve -f + 1 = -4*p for p.
1
Let o = -19 - -35. Solve 2*w + 2*w = o for w.
4
Suppose 4*w = h - 2, -5*h + 5*w = -0*w - 40. Solve -6*f = -f + h for f.
-2
Suppose 2*s - 2*o = 1 + 1, 0 = -5*s - 5*o + 25. Let p = s + -1. Suppose -p*q - 2*q + 26 = 2*z, -z + 17 = 3*q. Solve q*j + 0 + 16 = 0 for j.
-4
Suppose 0 = -2*n - n + 33. Let z = 15 - n. Let y be 117/6 + (4 - (-21)/(-6)). Solve y = -z*i - i for i.
-4
Let x = 5 - 1. Suppose 2*k + 14 = 3*b - 1, -x*b = -k - 20. Solve k = 5*r + 12 + 13 for r.
-5
Let q = 15 - 3. Suppose -3*i + q = -0*i. Solve i = -4*a + 20 for a.
4
Let c(w) = -w**2 - 13*w - 16. Let f be c(-11). Solve 0 = 7*m - f*m + 4 for m.
-4
Let z(q) = q**3 - 3*q**2 - 2*q - 5. Let k be z(4). Solve 0 = k*v - 2 - 4 for v.
2
Suppose 5*j - 8*j + 6 = 0. Solve 2*p = 3*p + j for p.
-2
Let b = 41 - 41. Solve i = -b + 3 for i.
3
Let h(v) = -v**3 + 4*v**2 + 6*v - 4. Let m be h(5). Let r(b) = 2*b**2 - b + 1. Let a be r(m). Solve -a*s = 3*s for s.
0
Suppose 0 = 4*p - 0 - 12. Let s(k) = k + 1. Let x(l) = l**2 + 9*l + 10. Let d(f) = 2*s(f) + x(f). Let y be d(-10). Solve p + y = 5*r for r.
1
Let k = -36 - -56. Suppose o = -4*o + 10. Suppose -a + 6 = -0*a. Solve -o*q = -a*q + k for q.
5
Let n = -8 - -11. Suppose 5*a = 3*s - 15, -2*a + 56 = 2*s + n*s. Suppose -5*k + 5 = -s. Solve -k*v - 12 = -6*v for v.
4
Suppose 3*v + 3 = 5*p + 11, v = 5*p - 4. Suppose 0 = -3*x - 2*o + 14, -4*x + 5*x + o = v. Solve x*z + 12 = -z for z.
-4
Suppose 5*v - 16 = 3*v. Let k = v - 0. Solve z + z + k = 0 for z.
-4
Let p be 0*((-1)/1 - -2). Let o = -3 - -5. Suppose -4 - 1 = -r. Solve p = o*v - v - r for v.
5
Suppose -3*k + 2*p = -0*k - 13, p = -2. Suppose 4*l = i + 10 + 15, 3*i + 35 = 4*l. Let m = k + l. Solve m*s = 3*s - 5 for s.
-1
Let o(j) = j**2 + 27*j + 57. Let s be o(-25). Let h be (-19)/(-2) - (-1)/2. Let a be (8/(-5))/(-1)*h. Solve -3*b = -s*b - a for b.
-4
Let g = 5 - 0. Let b = 9 - g. Let l(v) = v**2 - 4*v + 2. Let z be l(b). Solve z*r - 4 - 6 = 0 for r.
5
Suppose 7 + 8 = -5*w. Let i = 5 + w. Solve 1 = i*a - 3 for a.
2
Suppose b + 2 = 5. Let h(c) = -c**3 + 5*c**2 - 5*c + 2. Let d be h(b). Solve 9 = -d*v - 1 for v.
-2
Let d = 2 - -1. Suppose -f + 2*l - l = 3, -d*l + 21 = 3*f. Let r be (-4)/(-10) + 2/(-5). Solve r = 4*y + 6 - f for y.
-1
Let u = -6 + 13. Let y(r) = r - 5. Let x be y(7). Suppose 5*d - 4*d - 5 = -a, 0 = 4*a + 3*d - 16. Solve x*g - a = u for g.
4
Suppose 3*u + z = 3 + 37, 5*u - 90 = 3*z. Let v = u - 15. Solve v = -w + 4*w + 12 for w.
-4
Let n be (3*2/2)/1. Suppose -n*z = -6*z + 6. Solve o - 3*o = z for o.
-1
Let h be (-1 + 2 + 2)*1. Let n be h/2 - (-3)/6. Solve -b - n*b = -15 for b.
5
Let o(b) = -4*b - 10. Let g be o(-3). Solve g = -3*j - 1 for j.
-1
Let k(j) = -j**3 - 7*j**2 - 5*j - 5. Let n be k(-6). Suppose -4*b = -9*b + 90. Let l = b + n. Solve 9 = 4*u - l for u.
4
Let c be (3 + -3)/(-6 + 4). Suppose 5*t + 4 - 24 = 0. Solve c = -2*h + t - 0 for h.
2
Let f = -9 - -5. Let g be (-1)/(-4) - f/(-16). Let t = -29 + 41. Solve g*h = 4*h - t for h.
3
Suppose 3*k + b = 18, 6*k - 14 = 5*k - 3*b. Solve -k*c = -c for c.
0
Let u(r) = -r**3 - r**2 + r + 1. Let z be u(-2). Suppose 0*s - z*s - 24 = -3*v, 12 = 2*v - s. Solve 12 = -0*t + v*t for t.
3
Let u(h) = -h**3 - 9*h**2 + 11*h + 14. Let x be u(-10). Solve -3*f + f = -x for f.
2
Suppose -5 = -3*q + 7. Suppose 0 = 2*n - q - 2. Suppose 0 = -n*g - 0*g. Solve -4*w + g*w = 16 for w.
-4
Suppose -10*w - 5 + 15 = 0. Solve 1 = o - w for o.
2
Let o be (-5)/15 - 34/6. Let w = o + 2. Let m = 4 + w. Solve m*u + 12 = -3*u for u.
-4
Let r = 10 + -4. Suppose -4*j + r + 6 = 0. Suppose -a = 3*l - 6, -l - 44 = -5*a - 14. Solve 0*b