Suppose 2*k = -2*v - 10, k = 5*v - v + q. Solve 0 = -k*f - 3*f + 9 for f.
3
Let y = -518 - -521. Solve y*d - 36 + 51 = 0 for d.
-5
Suppose -17 = 3*k - q - 25, 2*q - 2 = 0. Solve 0 = -k*w - 2 + 14 for w.
4
Let i(o) = -o**2 - 19*o - 14. Let d be 34*(9/(-6) + 1). Let y be i(d). Let l = 2 - 2. Solve l*s + y = -5*s for s.
-4
Suppose 4*r - 40 = -5*v, -9*r + 9 = -4*v - 4*r. Solve 5*c - 24 + v = 0 for c.
4
Suppose 5*p - 2*r = 17, r - 4 - 15 = -3*p. Solve 3*u + 2*u + p = 0 for u.
-1
Let h(y) be the third derivative of y**6/120 + y**5/30 - y**4/6 - y**3/2 + 5*y**2. Let x be h(-3). Solve x = 5*j + 3 + 7 for j.
-2
Let b be -2 - 5/15*-9. Solve 9*m + b + 8 = 0 for m.
-1
Let k(v) be the second derivative of v**4/12 - 2*v**3/3 - 3*v**2/2 + 2*v. Let j be (40/(-100))/((-4)/50). Let q be k(j). Solve 2*u = -0*u - q for u.
-1
Suppose 0*p - 4 = -p. Let z = 6 + -4. Suppose -z*g = g. Solve g = p*w - 6 - 14 for w.
5
Let o = -116 + 130. Solve 0 = o*n + 5 - 5 for n.
0
Let v = -65 + 67. Solve 45 = -11*s + v*s for s.
-5
Let g = 27 - -6. Solve 4*p + g = -7*p for p.
-3
Let q = 118 - 115. Solve -40 = 7*l + q*l for l.
-4
Let w be (-2*(-4)/4)/1. Solve 7*z + 20 = w*z for z.
-4
Suppose f = 414 - 400. Solve -f = 9*s - 5 for s.
-1
Let j be (-2 - 62/(-6))*3. Let h = 27 - j. Suppose -3*d + 2*d = -4. Solve -d*b - h = -18 for b.
4
Suppose 5*a = -k + 15, 23*a + 4*k - 30 = 18*a. Let u be -1 - (-1 - 0) - 0. Solve u = 7*n - a*n for n.
0
Suppose 9*m = 87 - 24. Solve 10 = m*z - 4 for z.
2
Let f be 8*2 + (-29 - -31). Solve -p + f = 19 for p.
-1
Suppose 16*k - 66 = 62. Solve -7 = 3*w + k for w.
-5
Suppose -4*t + t + 21 = -2*d, 2*t - 4*d - 22 = 0. Solve -25*n - t = 20 for n.
-1
Let n be (-4)/(-22) - 72/396. Suppose n = 16*s - 12*s. Solve s = -11*m + 15*m - 20 for m.
5
Suppose -5*t = -t - 360. Let l = 94 - t. Solve -l*h = -h for h.
0
Let k(p) be the second derivative of -p**4/12 - 17*p**3/6 - 25*p**2/2 - 14*p. Let q be k(-15). Solve -q*z = -2*z - 6 for z.
2
Suppose -310 = -4*p - 6*p. Suppose -4*m + 5*r + p = 2*r, 19 = m - 3*r. Solve 0 = -m*q + q for q.
0
Let f(q) = 10*q - 661. Let k be f(75). Solve 6 = 19*x - k for x.
5
Let f = 77 - 46. Solve 0 = f*g - 27*g + 16 for g.
-4
Suppose 5*w + 10 = -3*a, -2*w + 4*w + 4 = 3*a. Let z be (-1)/2 + -8 + (-150)/(-12). Solve a = -l - z*l + 20 for l.
4
Let w(t) = -t**3 - 5*t**2 - 8*t - 13. Let f be w(-4). Solve -f = -3*l + 6*l for l.
-1
Suppose -2*g + 3*g - 85 = 0. Suppose 5*k - 3*y + g = 2*y, 2*y + 17 = -k. Let q = 18 + k. Solve -q - 1 = -s for s.
2
Let u be 72/(-6)*6/(-8). Suppose -u*c + 2*c = 0. Suppose 0 = -3*x - c*x. Solve x = -2*g + 2 - 8 for g.
-3
Let g(b) = b**2 - 12*b + 11. Let d be g(11). Let c = d - -3. Suppose 31 = h - 3*j - j, 4*h = -c*j + 48. Solve 0*x - 5*x + h = 0 for x.
3
Let x be -10 + 3 - (-266)/14. Solve -x = 7*p - 4*p for p.
-4
Let z be (-1)/4 + 5/20. Solve 0 = -3*w + 6 - z for w.
2
Suppose -d - 3*d + 12 = 0. Suppose -6*t + d + 57 = 0. Solve -t = 3*j - 1 for j.
-3
Let k = -109 + 112. Solve -j = 2*j - k for j.
1
Let t be (-6)/33 - (0 + 448/(-44)). Solve 12*b + t*b = -66 for b.
-3
Let b = -7 + 0. Let m = b - -11. Suppose -2*h - 2*h = -m. Solve h = -3*q + 4 for q.
1
Let r = -11 + 12. Suppose 5 + r = 3*f. Let j be 1*(-5)/(-2)*f. Solve 0*d = -j*d + 20 for d.
4
Let u be 0 - (-2 - -1 - 7). Let c be (10/120*-15)/((-1)/(-4)). Let o = c + u. Solve 0*k - o*k - 3 = 0 for k.
-1
Suppose 0 = 7*t - 2*t. Let p be (-2 + 2/2)*t. Solve 9*v - 4*v - 10 = p for v.
2
Let n(z) = -z + 4. Let l be n(-6). Let a = 12 - l. Suppose 2*r = -2*q + a, q - 7 = -0*q + r. Solve 0 = -2*s - q - 6 for s.
-5
Suppose 8 = -3*d - 2*y + 6, 4*d - 5*y + 18 = 0. Let u be (1 + 2)/1 - (d - -2). Solve -6 - u = 3*j for j.
-3
Suppose 5*d + 5*a + 5 = 0, -5*a + 1 = 3*d + 8. Suppose 5 + d = v. Solve -2 = 4*x - v for x.
1
Suppose 136*g - 131*g = 15. Let m(q) = 14*q**2 + 1. Let h be m(1). Solve 0 = -6*k + g*k - h for k.
-5
Let f(t) = t**3 + 7*t**2 - 7*t + 11. Let v be f(-7). Solve -v = -5*l - 7*l for l.
5
Let k = -2635 + 2647. Solve -k = -2*l - 4 for l.
4
Suppose -5*w - 9 + 4 = -5*o, -w + 7 = -5*o. Let n be (78/(-65))/(o/5). Solve -k - n + 2 = 0 for k.
-1
Suppose 3*q = 4*p - 28, -180*p + 36 = -176*p - 5*q. Solve p*n + 32 = -4*n for n.
-4
Suppose 28*i - 15*i = 0. Solve p - 5 + 6 = i for p.
-1
Suppose 45 = 4*i - 7*i + 3*r, -4*i - 3*r = 60. Let x = i + 25. Suppose -2*s = x, -8 = -3*b + 2*b + s. Solve 7*h = b*h + 8 for h.
2
Let v = 2 + -5. Let i be (20 - 23)*(v - 0). Solve 4*r = r - i for r.
-3
Let t = 9 + -23. Let u = -23 + 31. Let q be (-21)/t*u/6. Solve -q*s + 0 = 2 for s.
-1
Let o be 25 - 2 - (0 + 4) - -1. Suppose 7*t + o = 11*t. Solve 0 = -t*h - 7 - 8 for h.
-3
Let n = 93 - 101. Let b be ((-2)/n - (-396)/16)/1. Let r be (-4)/16 + (-13)/(-4). Solve -r*y + 8*y = -b for y.
-5
Let y(r) = -r**2 - 7*r - 8. Let a be y(-4). Suppose 3*h + 2*h = 35. Let c = -7 + h. Solve c*i = -4*i - a for i.
-1
Suppose 0 = -4*c - 29 + 41. Let f(p) = p + 12. Let k be ((-15)/(-6))/(1/(-2)). Let n be f(k). Solve 0 = -2*q - c - n for q.
-5
Suppose -16 - 84 = -10*r. Solve -6*j = -11*j - r for j.
-2
Let d(w) = 7*w**2 - w - 3. Let q be d(2). Let l = q + -21. Solve b = -l*b - 12 for b.
-4
Let v(h) = -h**2 + 9*h + 3. Let j be v(9). Suppose 5 = j*m - 2*m, -3*w + 5*m + 23 = 0. Suppose 0 = -0*n + 4*n - w. Solve b - n*b = 9 for b.
-3
Let j be 1 + -1 - (-1 + -1). Suppose -3 = -3*z - 5*d - 17, -j*d - 10 = -z. Let k be 4/22 - (-155)/55. Solve -k*w = z*w for w.
0
Let s = -31 - -58. Suppose -4*k + s = 3*c - 0, -4*k + 37 = 5*c. Suppose -5*h + c + 5 = 0. Solve h*f + f - 9 = 0 for f.
3
Suppose -4*q = 20, -20 = -3*s + 7*q - 3*q. Solve s = -8*p - 51 + 11 for p.
-5
Let d = 82 - 74. Suppose d*z = 11*z. Solve z = -m + 2 - 1 for m.
1
Let v = 1500 + -1488. Solve v*i + 2 = 14 for i.
1
Let l(v) = -16*v**2 - 1 - v**3 - 31*v - 15 + 13*v. Let r be l(-15). Suppose 12 - r = -s. Solve -5*i - s = 8 for i.
-5
Let a(v) = 28*v + 310. Let u be a(-11). Solve 8 - 16 = u*p for p.
-4
Suppose 0 = 8*d - 48*d + 280. Solve -2*q - 15 = -d*q for q.
3
Suppose 0*b = 6*b - 18. Suppose 5*v + 2*w - 5 = 14, 4*v - b*w = 6. Solve 0 = -v*z + z + 6 for z.
3
Suppose -7*y + 38 = -151. Let l be ((-18)/(-10))/(-3) - y/(-45). Solve -4*q - q + 10 = l for q.
2
Suppose 9 = -g - 12. Let r = 22 + g. Solve 0 = m - 0*m - r for m.
1
Suppose 0 = -5*c + 1 + 9. Let t(h) = -5 + h**3 + 5 - 2*h - 1. Let j be t(c). Solve j*b + 2*b - 20 = 0 for b.
4
Let x(t) be the third derivative of -t**4/12 - t**3/3 - 20*t**2. Let g be x(-2). Solve g*o = -18 + 14 for o.
-2
Let s(l) = 3*l - 18. Suppose o + 13*n - 8*n = -2, 20 = 2*o - 2*n. Let z be s(o). Solve -z = 3*b - b for b.
-3
Let h(j) be the first derivative of j**4/4 + 7*j**3/3 - 10*j**2 - 8*j + 12. Let x be h(-9). Solve x = -4*q - 6 for q.
-4
Let p be (-2678)/(-721) + (-2)/(-7). Let n = 11 - 7. Suppose -5*r = 2*a - 25, a - 3*r + n = -0. Solve p*c + a = -c for c.
-1
Suppose i + 27 = 5*w, -6*w + 9 = -5*w - 2*i. Solve 12 = w*g - 2*g for g.
4
Let p(c) = c**3 + 7*c**2 + 18*c + 30. Let g be p(-4). Solve -g*z + 2*z + 16 = 0 for z.
4
Suppose 2*k - 28 = 4*k. Let g be (-24)/k + 6/21. Let p be g/10 + 63/35. Solve 0*t = 2*t + p for t.
-1
Let j be (-66)/(-2)*(-5)/(-15). Suppose -l + 9 = j. Let f = -1 - l. Solve -2*m + 3 - f = 0 for m.
1
Let d(y) = -76*y + 918. Let v be d(12). Let j(h) = h**3 + 5*h**2 + h + 7. Let g be j(-5). Solve g*q - v = -0*q for q.
3
Let a(p) = p**3 - 4*p**2 - 10*p + 7. Let y be a(6). Suppose y = 4*c + 3*z + 2*z, -5*z = -2*c + 17. Solve -2*g + c = -5*g for g.
-2
Let j(h) = h + 3. Let b be j(13). Let v = -2 + -13. Let g = v + b. Solve -5*o - g = 14 for o.
-3
Let m(w) = w**3 + 18*w**2 - 17*w + 38. Let c be m(-19). Solve -9*b + 0*b - 45 = c for b.
-5
Let g(h) = 8*h - 36. Let x be g(7). Suppose -12*a + 8*a = -x. Solve 0 = -4*l + a*l + 3 for l.
-3
Let p be (-564)/(-39) + (-18)/39. Solve 6*v = -p + 8 for v.
-1
Let t(l) = 0 - 8 - 12 + l**3 - 16 - l**2. Let u be t(0). Let x be 2/6 - 132/u. Solve 0*q + q = x for q.
4
Let m be 0/(4/(-20)*5). Solve m*r + 2*r = -8 for r.
-4
Let v be 2832/30 - 4/10. Solve -v*m + 9 = -97*m for m.
-3
Let x be 7*-1*50/(-175). Let o be x/(-2) - -6 - -1. Solve 5*v - 2*v = -o for v.
-2
Let b(m) = 4*m + 4. Let g(j) = -j - 1. Let y(t) = 2*b(t) + 10*g(t). Let q be y(-3). Let p be 8/6 + q/6. Solve -3*h + h = -p for h.
1
Let w(r) = r + 