-2)/(m/6). Solve h = 4*f - 5 for f.
5
Suppose 2*r + 7 = -g, -2*r - 10 + 0 = 0. Suppose -4*x - 3 = -g*x. Let a = 2 - x. Solve -5*u = 20 + a for u.
-5
Let p(b) = b + 9. Let f be p(-5). Suppose 3*l = -f*n + 14 + 4, 4*n - l = 10. Solve -2*k + n - 13 = 0 for k.
-5
Let a be 2/(-5) - (-124)/10. Let i = -7 - -11. Suppose -7 = -i*k + 9. Solve t = k*t - a for t.
4
Suppose -c + 3*o + 15 = 0, -10 = c + o + o. Suppose -y + 2*y - 3 = c. Solve 0 = -h - y*h for h.
0
Let f = 3 - 3. Suppose t + f*t = 0. Let m be (-6 + t)/(-2) + 1. Solve 0*n = -n - m for n.
-4
Suppose 2*a - 4*w + 26 = -w, -5*a - w - 31 = 0. Let x be 2/a + 90/21. Suppose 5*q - 10 = 2*r - 4, 0 = -x*q + 2*r + 6. Solve q*b = -b - 1 for b.
-1
Suppose 0 = 4*q + q - 10. Solve 6*w = q*w for w.
0
Let f(c) = 7*c + 5. Let v(a) = -a - 1. Let j(k) = f(k) + 6*v(k). Let o = 1 - 0. Let z be j(o). Solve 3*i + i - 12 = z for i.
3
Suppose y - 4*y = 0. Solve y = -2*l - 0 + 2 for l.
1
Suppose -5*l - 22 = -2. Let a = -1 - -13. Let d = l + a. Solve -p + 5*p = d for p.
2
Let r(s) = -s**3 - 8*s**2 + 12*s + 12. Let y be r(-9). Let n = 21 + y. Solve -1 = -5*k - n for k.
-1
Suppose 4*h = 5*h + 3*b + 16, -3*h = -5*b - 22. Let y be (-7)/(-4) - h/4. Let z(t) = t**3 + t**2 + 2*t - 1. Let m be z(y). Solve -5*j + m = -10*j for j.
-3
Let q = 12 - 3. Let j(x) = -x**2 + 9*x + 4. Let l be j(q). Let i(y) = -y + 13. Let u be i(0). Solve l*f - 1 = -u for f.
-3
Let o be (8/(-8))/((-1)/(-2)). Let u be 3/o*(4 - 6). Solve 0*w = u*w for w.
0
Let l(f) = 2*f**3 - 2*f**2 + 2*f - 1. Let p be l(1). Suppose p + 11 = 3*c. Solve -c*r - r - 5 = 0 for r.
-1
Let j be (-4 + 2)*(-2)/4. Solve -j = -k - 0 for k.
1
Let g be (-6)/(-14)*(-1)/(2/(-14)). Solve 0 = 5*k - g*k + 8 for k.
-4
Suppose -5*g + 4*g - 3*d + 5 = 0, -3*g - 2*d + 8 = 0. Solve -g*m + 6*m = 20 for m.
5
Let l be 0*-3*4/(-24). Solve l = 3*s - 0*s - 15 for s.
5
Let d be (-1 + 9)*1/2. Solve d*u - 1 = 3 for u.
1
Let w = 32 + -30. Let q = 0 + 4. Solve -q*x = -w*x for x.
0
Let x = -18 - -28. Suppose 0 = -8*a + 3*a - 120. Let y = -19 - a. Solve -3*i - x = -y*i for i.
5
Let s = 70 + -68. Solve p = -s*p for p.
0
Let q be 5*(-3)/(15/(-2)). Suppose -n - 2 = -q*n. Suppose 3*k - 7*k = -3*o - 19, -5*o = 25. Solve s = k + n for s.
3
Let y = 14 - 6. Solve 0 = -3*s + y*s + 5 for s.
-1
Let d be 1 - (-51 + -3 + 2). Suppose -5*t = -b + d, -4*b - b - 2*t = -157. Suppose 3*a + 2*a + 4*m = b, -5*m + 3 = 2*a. Solve 5*w + a + 16 = 0 for w.
-5
Let h be ((-4)/6)/(32/144). Let w = 1 - 1. Let j be w - 0 - h - 0. Solve -2*k - j*k - 5 = 0 for k.
-1
Let y(w) = w**3 + 8*w**2 - 9*w + 5. Let i be y(-9). Suppose -3*c + i = -1. Solve -v + 3 + c = 0 for v.
5
Suppose -v = -2*v + 15. Let r be (-9)/v + 128/5. Let a = -2 + 8. Solve a*y - y - r = 0 for y.
5
Let u = -1 + 1. Suppose -w + l = -u*w, 0 = -w - 3*l + 16. Let h be -1*1 - (w + -9). Solve -1 - h = 5*o for o.
-1
Let t = -125 - -130. Suppose -4 = u, -4*n - u - 2*u - 12 = 0. Solve n = -2*b - t - 3 for b.
-4
Let a be 1 + (1 - 0 - 0). Suppose a*x - 12 = 4. Solve 3*z - x = 7*z for z.
-2
Let z be (-3)/(-3) - -25 - -2. Suppose 4*d + 36 = -0*p - 2*p, -2*p = -4*d - z. Let t be (-1)/(-3) - d/3. Solve -10 = -8*k + t*k for k.
2
Suppose 0 = 2*y - 6*y - 32. Let c = -3 - y. Solve -c*d + 3*d = -4 for d.
2
Suppose 2*c + 8 = 6*c. Let t be c/((-18)/(-3))*9. Solve -b = t*b for b.
0
Suppose 3*a - 6 = 0, g = 6*g + 4*a - 43. Let h = 1 + 3. Suppose 2*d - g = -h*b + 17, 3*b = d - 12. Solve -6*m - d = -2*m for m.
-3
Let d be (-7)/35 - (-52)/10. Suppose -d*m - 15 - 15 = -l, 4*m + 46 = 3*l. Solve -3*v = -v - l for v.
5
Suppose 617 = -5*h + 3*q + 35, 0 = 4*h + 4*q + 472. Let w be 18/h + (-28)/(-13). Solve -13 = 5*f + w for f.
-3
Let h = -3 + 3. Let m(u) = u + 5. Let n be m(h). Suppose -z + n*z = 16. Solve z*a = 2*a for a.
0
Suppose 0 = 9*d - 16 - 2. Solve 3*k - 25 = -d*k for k.
5
Let h = 0 + 4. Let v = -10 - -9. Let m = v + h. Solve -m*r + 15 = -0 for r.
5
Let l(w) = 16*w**3 + w**2 + 2*w - 2. Let m be l(1). Solve -m*p + 12*p = 5 for p.
-1
Let t be 4 - 9/(-3) - 2. Solve 2*b - t = -3 for b.
1
Let r be 15/9 + (-1)/(-3). Suppose -3*k = -2*u + k - 14, -3*u = k - 14. Suppose u*h - 7 = -a, r*h - 4*a = a + 16. Solve -4 + 1 = h*g for g.
-1
Suppose 4*k - t = -42, -k - 3*k = 4*t + 32. Let b = -7 - k. Solve -b*c + 6 = -0 for c.
2
Let m be 1/(-4) - (-13)/4. Suppose -3*h + 1 = 5*d - 21, -2*d + 13 = -3*h. Suppose 2*o + 24 = 5*o. Solve d*a - m*a = o for a.
4
Let h = 69 - 67. Solve h + 3 = -x for x.
-5
Let o(b) = b**3 + 3*b**2 + 2*b + 1. Suppose 4*a - 4 + 0 = 3*t, 0 = -2*a - t - 8. Let p be o(a). Let c be 5 - -1*(1 + p). Solve -3*f + c*f = 0 for f.
0
Suppose 24 + 12 = -4*d. Let c(r) = r**2 + 9*r + 2. Let l be c(d). Solve 0 = l*x - x for x.
0
Suppose 10 = 5*q - 5. Solve 0 = -4*r + q*r + 4 for r.
4
Suppose 36 = -3*c + 12. Let z = c - -9. Solve -z = -t - 3 for t.
-2
Let w = 1 + 1. Let q be 4/(-2) - 1/1. Let k be (-8)/12*q/w. Solve 0 = -2*l + 1 + k for l.
1
Let b(m) = m**3 - 2*m**2. Let o be b(2). Suppose o = 3*l - 5 - 1. Suppose -l*z + 3*z - 3*n = 12, z + n - 12 = 0. Solve g - 5*g = -z for g.
3
Let m = 32 - 31. Solve 0*u + u - m = 0 for u.
1
Let k = -4 - -7. Suppose 7 = k*a - 8. Solve -12 = -a*r - 2 for r.
2
Suppose z - 16 = -4*u, 3*u - 3*z = 4*u - 15. Suppose 3*g + 12 = 6*g. Suppose -7 = g*f - 39. Solve 5 = -u*i + f*i for i.
1
Let o = -14 + 19. Suppose 5*d + o*m - 50 = 0, -m - 3 = 2*m. Solve -d = -3*w + 1 for w.
4
Let f(h) be the first derivative of -h**4/4 + h**3 + 5*h**2/2 + 2*h - 3. Let n be f(4). Suppose 6*c - n = 4*c. Solve c*b + 5 - 17 = 0 for b.
4
Suppose 0 = -2*h + i + 14, 0 = -2*h + h - 5*i + 29. Solve -5*f = -2*f - h for f.
3
Suppose 0 = v - 4*v. Solve -4*k + 5 + 11 = v for k.
4
Suppose -94 = -12*s + 74. Solve -4*g + 2 = s for g.
-3
Let u(y) = 4*y + 14. Let k be u(-8). Suppose -5*i + 2*i = 6. Let g be (-48)/k - i/6. Solve g*n + 0 = -3 for n.
-1
Let f(j) = -j - 5. Let k be f(-5). Let w(q) = q**2 + 2*q - 3. Let t be w(2). Suppose 2*n - t = 3*n, 21 = 2*b - 3*n. Solve k = -b*a - 2*a - 5 for a.
-1
Let z be ((-3)/(-4))/(3/8). Solve 2*c = -0*c + z for c.
1
Suppose -4*r - 4 = 3*i, 0*r - 3*r = 3. Suppose 0 = -4*f + 3*h + 1 + 2, 4*f - h - 1 = i. Solve -q - 3 + 0 = f for q.
-3
Let r be 12 + -2*1/2. Let c(z) = z - 11. Let d be c(r). Solve 0*g - 2*g + 2 = d for g.
1
Let y be (4 + -3)/(1/11). Let r = y - 8. Solve 0*j - r*j = 0 for j.
0
Let n(t) be the second derivative of -t**5/20 + 5*t**4/12 + t**3 + t**2 + 2*t. Let b be n(6). Let s = b - -3. Solve s*v = 3*v + 10 for v.
5
Let c be 6/(-15) - 248/(-20). Suppose -3*s + c = -9. Solve 3*r - s + 1 = 0 for r.
2
Let o(y) = -y**2 - 10*y - 9. Let r = -9 + 2. Let a be o(r). Suppose -3*b - 7 = -5*s, 5*s - 12 = -b - b. Solve s*h = -h + a for h.
4
Let m be 2/3 + (-80)/(-6). Solve -m + 2 = -3*l for l.
4
Let z = 11 - 6. Solve -z*w = -10*w - 20 for w.
-4
Let r be (-2)/4*192/(-4). Let g(s) = 3 - 3*s**3 + 2*s**3 - 5 + s. Let t be g(-2). Solve -r = -t*p - 4 for p.
5
Let h(x) = x. Let w be h(0). Suppose 0*i - 2*i - 3*j = 0, w = -i + j. Solve -v = -4 - i for v.
4
Let d be (-2)/2*-1 + 0. Suppose -4*h - 4*p - 15 - 1 = 0, 1 = -2*h + 5*p. Let n = 6 + h. Solve -n*g + d = -5 for g.
2
Let a(s) = -8*s - 2. Let t be a(-1). Solve -5*r = -t*r for r.
0
Let h be 44*(1/2)/1. Suppose -2*x = -2*l + h, 5*x - 12 = -2*l - 4. Solve l + 6 = 3*k for k.
5
Let b(a) = -3*a + 8*a + 1 - 4*a. Let j be b(3). Solve j*k + 7 = 23 for k.
4
Let y be (-3)/6*2 + 7. Let s = y - 8. Let v be 2/(s - -4) + -1. Solve v = -4*k + 2*k for k.
0
Let d be (-10)/(-65) + (-74)/(-26). Solve 1 + d = -x for x.
-4
Let r(i) = -1 - i - i + 2*i + 21*i**2 - 2*i. Let x be r(-1). Let q = -16 + x. Solve -3*s + q = -0 for s.
2
Suppose p = -2*p + 6. Solve 3*t + 4 = -p for t.
-2
Suppose 2 = 3*z - z. Let k be 1*(-1 + z) + -2. Let n be 20/8 + (-1)/k. Solve -2*o + o - n = 0 for o.
-3
Suppose -4*l + 24 = 4*m, 3*m - 7*m = -4*l + 8. Solve 0 = -f + m + 2 for f.
4
Suppose 0*u + 3*u - 6 = 0. Let k be (-31)/(-11) - u/(-11). Let f = 2 + 0. Solve f*o = -k*o for o.
0
Let i be 36/10 + (-30)/50. Solve -i = -d - 1 for d.
2
Let f = -2 + 3. Let n(z) = 13*z**3 - z. Let o be n(f). Solve -4*j = -8*j + o for j.
3
Let c = 6 + -3. Let j be c/(-2)*12/(-9). Suppose -4*s - 2*l + 14 = 0, l = 4*s - j - 3. Solve y - s*y = 0 for y.
0
Let f(r) = r**2 + 2 - 4*r + 0*r + 3*r + 3*r. Let y be f