, s = -i. Solve -15 = -5*h - b for h.
3
Suppose 0 = -47*h + 30*h + 510. Solve -70*c = -64*c - h for c.
5
Let y be 2 - 4 - -6 - 10. Let f be (-4)/24*-15*y/(-15). Solve v + 2 = f for v.
-1
Let f be 58/7 - 22/77. Suppose f = 2*x + 4. Let r = 5 - 3. Solve -4*n = -x*n - r for n.
1
Let g = -7 + 13. Suppose -4*u + 3 = -3*y + g, y = -2*u + 11. Suppose 16 = 5*l - l. Solve -3*q + y = -l for q.
3
Let k be (-16)/12*4/16*-15. Solve 3*r - k*r = 6 for r.
-3
Let v(k) = -3*k**2 + 14*k - 3. Let x be v(4). Suppose 4*q = -2*l + 20, -x*l - 5 = -0*q - q. Let d be (-1)/(-2)*(-3 + 11). Solve -d*y - y = l for y.
0
Let o = -17 - -36. Suppose -8*m + o = -21. Solve 2 = 4*c - m*c for c.
-2
Let f(n) = 7*n**3 + 3*n**2 - 4*n + 5. Let t be f(1). Solve 3*d = -t + 8 for d.
-1
Let n(b) = -3*b + 18. Let x be n(6). Suppose 4*g + 0*g = 116. Suppose 2*w - 4*z - g = -3*w, 2*w - 4*z - 14 = x. Solve -4 + w = -j for j.
-1
Let h(s) = 4*s - 27. Let l be h(16). Let b = -36 + l. Solve 2*t - 3*t + b = 0 for t.
1
Let a(y) = 2*y - 9. Let m be a(-5). Let t = -10 - m. Suppose t*b - 5*b = 8. Solve -b*z - 3*z = 20 for z.
-4
Suppose 0 = 3*i + 2*i + 5*m - 15, -m + 3 = 3*i. Solve -10*w + 13*w + 15 = i for w.
-5
Let p = 12 - 7. Let x be (-26)/10 - (-3)/p. Let q be 7/7 - (x + -1). Solve -q*i + 8 = -0*i for i.
2
Let c(g) = -5*g - 3. Let l = -15 - -14. Let z be c(l). Solve -z*n + 20 = 3*n for n.
4
Let f be ((-6)/8 + 308/(-112))*-2. Solve 7*u = f + 7 for u.
2
Suppose 0 = 4*o - 10 - 10, -3*v - o = -11. Suppose v*z = -21 - 7. Let c = -12 - z. Solve 0 = c*l - 6*l for l.
0
Suppose 11*n - 99 + 33 = 0. Solve 0 = y + n*y - 14 for y.
2
Let j(u) = u**2 + 34*u + 281. Let p be j(-22). Solve -p = -14*l + 11 for l.
2
Let o(y) = y**3 + 2*y**2 - 3*y + 2. Let s be o(-3). Suppose -2*m = 2*m - 16. Suppose 0 = -4*l - r + 17, -m*l + r + r = -s. Solve 2*f + f = -l for f.
-1
Let n be (-4 - 0)/(1/3). Let q be (7/(-2))/(n/24). Let r = 8 - q. Solve -r = -3*t + 11 for t.
4
Suppose -3*a - 4*n = 36, -a + 2*n - 12 = -0*n. Let v = 14 + a. Solve 4 = -v*c - 0*c for c.
-2
Suppose 2 = 8*n - 14. Suppose -3*t = -n*v + 7*v, 0 = 4*v + 2*t - 2. Solve 5*s = -7 - v for s.
-2
Let p be (4 - (-10)/(-3)) + 1/3. Solve -n + p + 0 = 0 for n.
1
Let m(l) = -3*l - 5. Let c(q) = q + 1. Let j(i) = 2*c(i) + m(i). Let g be j(-5). Suppose -2*t = g*t - 24. Solve 2*a - 2 = t for a.
4
Let s = -202 - -209. Solve s + 5 = -3*h for h.
-4
Let v(t) = -2*t**2 - 15*t - 4. Let n be v(-7). Suppose -9 = -3*x + 21. Suppose 4*m - 6 - x = 0. Solve n*l = l - m for l.
-2
Let k = 78 - 72. Solve x - k = -5*x for x.
1
Let u = 63 - 19. Suppose -y - u - 32 = -5*w, 4*w + 3*y = 57. Solve 4*x + 5 = -w for x.
-5
Let t = 33 - 33. Let o be t/(-1 + (-5)/5). Solve -r - r = o for r.
0
Let r(p) = -p**2 + 13*p - 16. Let v be r(11). Suppose -4*h = -v*h + 20. Solve u + u - h = 0 for u.
5
Suppose 16 = -8*n + 12*n. Suppose 0 = 11*i - 15*i + n. Solve -9 = -2*o + i for o.
5
Let g = -15 - -19. Solve g*f = 9*f for f.
0
Let h(j) = 5*j - 4. Let c be h(3). Let o(l) = -2*l**3 - 20*l**2 - 6 + l + 3*l**3 + 9*l**2. Let i be o(c). Solve -3*n - i = 2*n for n.
-1
Let i = -18 + 29. Let n = -9 + i. Solve -6 = -0*x - n*x for x.
3
Let w be (-2)/(-21)*(-1155)/(-55). Solve -z + 0 = -w for z.
2
Let w(p) = 2*p**3 - 5*p**2 - 3*p + 3. Let u be w(3). Let f(x) = 15*x - 9. Let t be f(u). Let d = -32 + t. Solve 2*h = h + d for h.
4
Let w(k) = k - 5. Let j = -21 - -28. Let m be w(j). Solve m*i = -4 - 2 for i.
-3
Let g(w) = -w - 5. Let v be g(-10). Suppose -v*y = y - y. Solve 2*h + y = -8 for h.
-4
Let g(u) be the first derivative of 8/3*u**3 - 3 + 1/4*u**4 + 10*u - 4*u**2. Let s be g(-9). Solve -c + s = 4 for c.
-3
Suppose 0 = -o + 7 - 3. Let v be 12/(-42) + (-520)/(-7). Suppose -79*z + v*z = -40. Solve -o = -3*d + z for d.
4
Let i = 47 - 47. Suppose 5*y = 3*a - 10, -5*y + i*y - 10 = -a. Solve w + 3*w - 4 = a for w.
1
Let b be (4 - 1)*(35/3 - -2). Let m = -16 + b. Solve q = -4*q + m for q.
5
Suppose -78*f + 580 = -20*f. Solve f = -25*y + 23*y for y.
-5
Suppose -3*p + 16 = 5*f, -2*f = -4*p - 5*f + 25. Solve r + p = 6 for r.
-1
Suppose -6*t + 4*q = -4*t - 40, -3*q + 69 = 4*t. Solve t = 4*f + 2 for f.
4
Suppose 16*k + 124 = 20*k. Let h = 12 - k. Let r = h + 19. Solve w + 0*w = r for w.
0
Let a = -338 - -345. Solve -a*x + 2*x = 0 for x.
0
Suppose -a + r + 0 - 1 = 0, 0 = 4*a - 5*r + 7. Suppose -b + 10 = 2*n - a*b, -5*n + 39 = b. Solve -n*h = -2*h - 5 for h.
1
Let j(z) = z**2 - 11*z - 11. Let l = -7 - -18. Let m be j(l). Let q = m + 14. Solve q*i + 0*i = 0 for i.
0
Suppose 0 = -5*j + 6*j. Suppose -2*i - 8 = -j. Let p = -2 - i. Solve -2*w = -6 - p for w.
4
Let l(r) = -5*r. Let q be (-12)/(-4) - (4 - 2). Let w be l(q). Let o = w - -5. Solve o = 5*i - 5 + 25 for i.
-4
Suppose 4*h - 425 + 143 = -5*q, -4 = 2*q. Let p = h + -71. Suppose w = -b - 3, -w - 12 = 2*b + 2*b. Solve w = -p*x + 4 for x.
2
Let d = 21 + -11. Let m = d - 5. Solve -3 + m = 2*a for a.
1
Let v be 6/(-54)*-3*12. Solve -30 = v*t + 6*t for t.
-3
Suppose 18*h - 28*h - 30 = 0. Let u be (40/(-15) - -4)/((-2)/h). Let q(s) = -5*s - 8. Let g be q(-6). Solve u = -5*f + g for f.
4
Let w(m) = 2*m**2 + 10*m - 6. Let p be w(-6). Suppose -3*a + 2 = 4*g, a = 5*g + 3*a - p. Solve 0 = 3*u - 10 - g for u.
4
Let o be ((-5)/(-10))/((-2)/(-12)). Let f(a) = -a + 0*a + o*a - 21 + 19. Let y be f(2). Solve -2*k - 8 = y*k for k.
-2
Let l(d) = d - 2. Let m be l(5). Suppose 2*v + v - 27 = 0. Suppose -5*g = -v*g + 16. Solve m*u + g + 5 = 0 for u.
-3
Suppose 0 = -123*v + 112*v + 33. Solve 0 = -v*c + 9 - 21 for c.
-4
Suppose -76 = -4*h - y, -3*h - 21 = -y - 71. Let q = h - 11. Let w(a) = -a**2 + 8*a - 5. Let c be w(q). Solve s = -s + c for s.
1
Let k be 3/(-5) - 115/(-25). Suppose w - 9 = -5*z, z + w - 2*w = 3. Suppose j = z*j. Solve j = -0*p - k*p + 12 for p.
3
Let v(r) = r**3 - 6*r**2 + 5*r + 5. Let q(x) = 1. Let j(b) = -5*q(b) + v(b). Let s be j(5). Solve s*p = p + 1 for p.
-1
Suppose -1251 = -7*s - 2*s. Let i = s + -135. Solve -i*v - 7 - 5 = 0 for v.
-3
Let v = -31 - -36. Suppose 116 = -2*m + 2*b, -20 = -v*b + b. Let l = 74 + m. Solve 4*p + 5 = l for p.
4
Let l = -3 - -4. Suppose z = -2 - l, -8 = o + 4*z. Suppose 5*y = -o*t - 12, 0 = 3*y + 5*t - 6*t - 3. Solve y = -0*r - r + 2 for r.
2
Let n(x) = 9*x**3 - x**2 + x + 1. Let u(v) = -2*v**3 + v**2 - v. Let t(y) = -n(y) - u(y). Let h be t(-1). Solve 8 = 4*z - h*z for z.
-4
Let l = 4 + -4. Solve l = -4*v + 24 - 12 for v.
3
Suppose 4*u = -5*l + 54, -u + l - 3*l + 15 = 0. Let t = -28 + 29. Suppose 0 = -3*b + t + u. Solve 2 = b*w + 6 for w.
-1
Suppose -19 = -a - 5*y - 0*y, 4*a - 4*y + 44 = 0. Let u be (-2 - 20/a)*(-15)/(-10). Solve -p = u*p - 12 for p.
4
Suppose -3*l - a = -7*l - 5, -5*l - a = 13. Let i(k) = 3*k + 10. Let q be i(-4). Let o be (q + l)/((-8)/12). Solve o*d - 20 = d for d.
4
Let m(t) = -t**2 - t - 1. Let a(q) = 2*q**2 + 5*q + 7. Let r(w) = -a(w) - 6*m(w). Suppose 2 + 4 = 6*h. Let u be r(h). Solve -j - u*j = -15 for j.
3
Suppose 0 = -4*t + 16, -p + t = -8 - 9. Solve -4*a = -p + 5 for a.
4
Suppose 0 = -3*q - 3*d + 15, 4*d - 4 - 8 = 0. Suppose 0 = 3*t + q*t + u - 96, 3*t + u - 56 = 0. Solve -7*f = -3*f + t for f.
-5
Let u be (-84)/63*((-90)/4)/5. Solve 4*s - u*s = 0 for s.
0
Suppose z = -7*z + 16. Suppose -15*n + 16*n = z. Solve 0*m - m = n for m.
-2
Let b be (7/(-3))/(1/(-3)). Suppose 2*z + 10 = -5*u, 0 = 4*z - 9*z - 5*u - 25. Let o = z + b. Solve 16 = -2*w - o*w for w.
-4
Let o(y) = -6 + 2*y**2 - 2 + 6. Let r be o(0). Let x be 0*(r + 10/4). Solve 6*v - 2*v - 8 = x for v.
2
Let u be 0/(-10 - 2) - -21. Solve u*d = 20*d for d.
0
Suppose 2 = 4*a - 6. Suppose g - a = 2. Suppose 3*t = g*d - 21 - 11, 0 = d + 4*t + 11. Solve -17 = 3*z - d for z.
-4
Suppose 10*a + 28 = 24*a. Solve -12 + a = -5*g for g.
2
Let y = -21 - -32. Let l(b) = b**2 - 12*b + 14. Let c be l(y). Suppose c*i = 6*i - 60. Solve 5*w + i = w for w.
-5
Let v(u) = -u**2 - 14*u - 2. Let m be v(-8). Suppose -4*q + 5*k + m = 0, 0 = 4*q - 3*k - 0*k - 50. Suppose 17*w = q*w + 6. Solve w*a + a = 0 for a.
0
Let t = -85 - -122. Let f = -35 + t. Solve 5*m = f*m + 15 for m.
5
Let h(x) = x**2 + 3*x - 4. Suppose 10*j - 7*j = 0. Let l(g) = 2*g - 5. Let y be l(j). Let k be h(y). Solve -o - k = o for o.
-3
Let u(p) = p - 4. Let l be u(12). Suppose -4*s + 12 = -s + y, 2*s - l = 3*y. Suppose 0 = -0*