 h be f(-7). Let w be (-6)/(-2) + (4 - h). Solve -13 + w = -3*s for s.
3
Suppose 0 = -3*i - 4*d + 123, 4*i + 2*d + 342 = 496. Solve i = 8*t - 3 for t.
5
Let p = -18 + 23. Suppose -1 = -2*o + 9. Solve 2*f - o = p for f.
5
Let o = -19 + 23. Let u be 4 + -3 - o - -7. Solve u*f + 3 - 7 = 0 for f.
1
Suppose -y + 46 + 43 = 4*g, -3*y + 3 = 0. Suppose -g = -5*w + 5*p - p, -3 = p. Solve 6 = w*q + q for q.
2
Suppose 6*b + 0 - 6 = 0. Suppose -8 = 3*n - 4*n. Let r be (-6)/3 - (b - n). Solve 0*v - 20 = r*v for v.
-4
Let n(p) = p**2 - 2*p - 3. Let r be n(3). Suppose -4*d = 5*y, -4*y + 0 = 3*d - 1. Let i = y + -2. Solve r = i*w - 8 for w.
4
Suppose 3*k = 6*k - 6. Suppose -12 = 3*h, -24 = -k*r + 5*h + 8. Solve -j = j + r for j.
-3
Suppose -35 = -4*s + 121. Let h = s - 34. Solve h = -4*z + 17 for z.
3
Let a(t) be the first derivative of t**4/4 + 4*t**3/3 + t**2 + 8*t + 7. Let o be a(-4). Suppose o = z + 3*z - 16. Solve 2*v = -z + 2 for v.
-1
Let o(j) = -j**2 + 9*j + 17. Let l be o(10). Solve -2*a - l*a = -6*a for a.
0
Let r = -793 - -810. Solve -15*f = -r*f + 2 for f.
1
Let x be 33/2 - 2/4. Suppose -t - 43 = 4*l, 2*t + 35 = -3*l + 4*t. Let i = l + x. Solve -m = -6*m - i for m.
-1
Let g(n) = -n**2 + 18*n - 70. Let v be g(11). Solve 6*r - 17 = v for r.
4
Let d be 3/(-2)*2/(-3). Suppose 0 = -5*v - d + 56. Suppose 1 = 2*m + 2*q - 3, 4*q - v = -5*m. Solve m*j - 6*j - 3 = 0 for j.
-1
Suppose -5*o - 674 - 1996 = 0. Let d be (-4)/(-26) - o/78. Suppose 2*b - 1 = 2*m - d, 3*b = -4*m + 19. Solve 0 = -4*k - m - 16 for k.
-5
Suppose -3*m + m + 1 = 5*t, -2*t + 4 = 2*m. Suppose -m*g + 5 = -1. Solve d - g = 1 for d.
3
Suppose -3*n - h + 20 = -19, n = -2*h + 18. Suppose -3*s + p = 2*p - n, 2*s - 3*p = 19. Let g be (-1)/((1 - s)/40). Solve -k - k = g for k.
-5
Suppose -13*p - 75 = -28*p. Let z(o) = -2*o**2 - 4*o - 2. Let h be z(-2). Let f be h/(-4) - 4/8. Solve n = -f + p for n.
5
Let v(p) = p**2 + 10*p + 14. Let d = -19 + 22. Let i be 18/54 + (-28)/d. Let y be v(i). Solve -q = 4*q - y for q.
1
Let n be (8 - -1) + -2 - -1. Suppose -t - n = -13. Solve -12 - 3 = t*l for l.
-3
Let f be ((-24)/10)/((-24)/80). Let p be f/(-4) - 7*-3. Solve -p + 4 = 3*l for l.
-5
Suppose 2*l = -3*k + 34 + 36, 0 = 5*k + 2*l - 110. Suppose -27*y + 31*y - k = 0. Solve -y*v + 4 = -3*v for v.
2
Let y be (-17 + 17)*(-1)/(-1). Suppose 2*p + 2*p = y. Solve p = -s - 3*s + 16 for s.
4
Let l(o) = 8*o**2 + 7*o. Let p(s) = -s**2 - s. Let c(a) = 2*l(a) + 14*p(a). Let r be c(1). Suppose 2*z + 0*z = r. Solve 2*d + z = d for d.
-1
Suppose 35*q + 79 = 79. Solve q = 3*n + 4*n - 2*n for n.
0
Suppose 3 - 1 = -5*x - 4*o, -3*o - 15 = -3*x. Let w be (((-16)/6)/(-1))/(x/9). Solve i - w = -2*i for i.
4
Suppose -o + 5*r - 3*r + 27 = 0, 2*r - 58 = -4*o. Let x = o - 10. Suppose 6 = -f + x. Solve -f = -3*w - 7 for w.
-2
Let n(q) = q**3 - 3*q**2 + 5*q - 2. Let w be n(1). Solve 0 = 5*y + 16 - w for y.
-3
Let p(c) = c**2 - 11*c + 13. Let v be p(10). Solve -v*l + 2 + 1 = 0 for l.
1
Let s(f) = -10*f - 185. Let v be s(-19). Solve 8*h = 21 - v for h.
2
Suppose 7*s - 15 = 4*s - 5*z, 5*z = 0. Solve 0 = s*q + 11 - 1 for q.
-2
Let x(v) = 3*v + 28. Let k be x(-7). Let i be (-1)/(26/14 + -2). Let o = i - k. Solve q - 4*q + 15 = o for q.
5
Let m(j) = j**3 - 4*j**2 - 6*j. Let t be m(5). Suppose -4*u + 2*v - 20 = 0, -u + 4*v = v + 15. Let b = u - t. Solve -3*n = -b*n - 1 for n.
1
Let k = -626 - -648. Solve -12 + k = -5*u for u.
-2
Suppose 2*a - 30 = -26. Suppose -a*j = -5*h + 7, -4*j + 4 + 12 = 0. Solve -4*r - h + 23 = 0 for r.
5
Let u = 315 + -310. Solve 0*x + 15 = -u*x for x.
-3
Let n = 31 - 21. Let w be (-45)/(-6)*(-8)/n. Let o be -1 - (-2)/(-2) - w. Solve d = -o*d for d.
0
Let d = 1653 + -1653. Solve -7*q + 15 - 43 = d for q.
-4
Let s(q) = q + 8. Let l = 11 + -19. Let n be (1 + -1)/(l - -10). Let o be s(n). Solve -z = -5*z + o for z.
2
Suppose -71*v + 41*v = -240. Solve -v*u + 14 = 6*u for u.
1
Suppose 5*j = j. Suppose -m - 19 = -5*d + 2, m - 24 = -4*d. Suppose 3*q = -5*z - 2, 0 = 889*z - 894*z - q + 6. Solve 0 = z*c - j*c - m for c.
2
Let f be (-3840)/(-176) + 4/22. Solve -7 + f = 3*v for v.
5
Let m be (-7)/((-273)/696) - (-8)/52. Solve 2*i + 14 = m for i.
2
Suppose -4*b = n - 24, 5*n + 0 = -3*b + 1. Suppose 9 + b = -j. Let a = j + 22. Solve 0*z + a = 2*z for z.
3
Suppose -58 = -4*n - 34. Solve -60 = -n*t - 6*t for t.
5
Suppose -3*s - 12 = -5*y, y - 5*y + 8 = -4*s. Suppose -5*b + 23*o + 43 = 19*o, 23 = 3*b - 2*o. Solve b*w = 3 + y for w.
2
Let r(n) = n**3 - 7*n**2 + n + 3. Let h be r(7). Suppose 4*p = 6*p - h. Solve -2*d + p + 1 = 0 for d.
3
Let f be (553/(-63))/1 + 2/(-9). Let x be 1 + (-2 - (f + 3)). Solve 0 = -x*r + 18 + 7 for r.
5
Let l(y) = 3*y**2 + y. Let c be l(1). Suppose -2*b = -2*w - 0*w + 4, -c*b = -5*w + 12. Let n = 1 - 1. Solve p - b*p - 3 = n for p.
-3
Let l(x) = 4*x**2 - 61 + 46 - 33*x - 2*x**2. Let w be l(17). Let y be 2 + -1*(-2)/2. Solve 1 - y = -w*m for m.
1
Suppose t + 5 = y + 6, 3*t - 4 = 4*y. Let d be (-4 + 0)*(3 + -4) - 3. Solve u + 0*u + d = t for u.
-1
Suppose v = 5*v + 2*m - 58, 4*m = v - 28. Suppose -3*k = -v + 10. Solve 0*x = k*x + 6 for x.
-3
Let b(j) be the first derivative of j**4/12 - j**3/3 - 7*j**2/2 + 9. Let o(y) be the second derivative of b(y). Let c be o(1). Solve m + c*m = -5 for m.
-5
Suppose -181*m + 182*m - 1 = -2*a, 0 = -3*m - 4*a + 5. Solve -10*y - 2*y = m*y for y.
0
Let q(p) = 3*p + 150. Let k be q(-27). Solve -k + 25 = 11*h for h.
-4
Let u(n) = -n**2 - 10*n - 10. Let x be u(-8). Suppose 0 = 12*z - 22*z. Solve z = x*h - h - 15 for h.
3
Suppose 0 = z - 7*z + 6. Suppose -3*i + 2*i + 2 = 0. Let q = i + z. Solve -q*m = -4*m for m.
0
Let z = -46 + 70. Suppose -z = -2*h - 6. Solve -11 - h = -4*g for g.
5
Let c(j) be the first derivative of j**2 + 21*j - 12. Let s be c(-8). Solve -s*h = -4*h for h.
0
Suppose 4 = 2*g + 20. Let k(m) = 9 - 15 - 4*m - m**2 - 4*m + 8. Let o be k(g). Solve -d + 3 = -o*d for d.
-3
Let d(b) be the second derivative of -b**5/20 + b**4/2 - 2*b**3/3 - 2*b**2 - 35*b. Let r be d(5). Solve -r = -3*m - 4 for m.
-1
Let l(s) = -3*s**2 - 2*s + 12. Let a = -31 - -39. Let m(i) = i**2 + i - 4. Let q(d) = a*m(d) + 3*l(d). Let o be q(0). Solve 0 + o = -2*y for y.
-2
Suppose 2*y - 6 + 38 = 4*c, c = 3*y + 28. Let h be (-3)/4 + (-6)/y. Solve h = -2*b - 0*b for b.
0
Let p(r) = 5*r. Let u be p(1). Suppose 0 = u*x - 6*x + 5. Solve x*c - 6 = 4 for c.
2
Let i(f) = 6*f**3 - f**2 - 2*f + 2. Let h be i(1). Suppose 2*r + 0*r - 15 = -5*g, -g + h*r + 3 = 0. Solve n - 5 = -g for n.
2
Let h(l) = 82*l - 475. Let m be h(7). Solve 5 = m*c - 100*c for c.
-5
Let m(c) = 2*c**2 + 9*c + 10. Let z be m(-5). Suppose -4*r - v = -2*v - z, -5*v = -3*r + 7. Let i(x) = x**2 - 7*x + 7. Let n be i(8). Solve r*h = 3 - n for h.
-3
Let y be ((-10)/(-2))/((-4)/(-8)). Suppose 0 = -5*b + y - 0. Suppose 0 = m + 3*h - 2 - 14, 4*m = -h + 20. Solve b*z + 2*z = m for z.
1
Let g be 6*-1*217/84*-4. Solve 2 - g = 12*p for p.
-5
Let w(g) = g**3 - 41*g**2 + 113*g + 46. Let l be w(38). Solve 0 = l*k - 2*k - 12 for k.
2
Suppose -3*z + y = -19, 3*z = 7*z + 4*y - 20. Suppose -33 = -4*u + 2*h - 3, 2*u - z = -2*h. Let f = 624 + -621. Solve f*c = 3 + u for c.
3
Let i = -81 - -83. Suppose -6 = -0*t - t. Solve -i*o + 2 = -t for o.
4
Let p(b) = -b**2 + 2*b. Let j(l) be the first derivative of 3*l**2/2 - 22*l + 7. Let v be j(8). Let w be p(v). Solve w*d - d = 5 for d.
-5
Let f be ((-16)/(-40))/(1/5). Let q be (6/f)/(8 - 7). Suppose 4*o = 3*k + 5*o - 46, q = 3*o. Solve -5*d - 10 = k for d.
-5
Let c(q) = q**3 + 8*q**2 + 2. Let r be c(-8). Solve -r*x = -11*x for x.
0
Suppose 0 = -6*g - 27 + 3. Let u = g - -9. Solve 5*w + u = -0*w for w.
-1
Suppose 0 = -4*i - 3*n - 8, -6*i + 2*i - 2*n = 8. Let d = 2 + i. Solve a - 4*a - 15 = d for a.
-5
Suppose -4*l + c + 24 = 0, c - 12 = -3*l - 1. Let x be 12/(-18) + 11/3. Let m be x + 3 + -2 + 2. Solve -m*b = -b - l for b.
1
Let r be (0 + 1)*(2 - 2). Let m be r*(-2 + 6/4). Suppose m = -3*s + 3, 3*s = -j - s + 8. Solve -j*h = -2*h - 6 for h.
3
Let g = 10 - 21. Suppose 0 = 2*o - 1 + 27. Let k = g - o. Solve -2*y = k*y + 12 for y.
-3
Let n be (4 - (-1 + 3)) + -2. Solve 0 = 2*t - n*t + 10 for t.
-5
Let x be (42/(-105))/((-2)/85). Let y(k) = 2*k**3 - k**2 - k + 1. Let m be y(1). Suppose 4*i + 3*c - 19 = 0, i + 10 = 3*i 