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