 g be -4*(y - 3*1/6). Solve -12 = -g*j - 2 for j.
5
Suppose -4*q + 2 = 5*x - 10*x, -x = q - 5. Solve -10 = -4*s + x*s for s.
5
Suppose 2*c - 2*z - 1 = z, -2*c - 4*z + 36 = 0. Suppose 0 = p + 2*m - 13, 7*m - 2*m - 37 = -4*p. Solve -c = -7*x + p*x for x.
2
Let s(y) = -4*y**2 - 14*y - 2. Let u(a) = -21*a**2 - 71*a - 11. Let t(x) = 11*s(x) - 2*u(x). Let h be t(-6). Solve 0 = 2*w - h - 6 for w.
3
Suppose -5*g - 3 = -8, 2*g = 3*j + 8. Let o be (3 + -6)*j/2. Solve a - o = 2 for a.
5
Let o = -79 - -85. Suppose r - o*r = -r. Solve 3*j - 6*j = r for j.
0
Let m(h) = h**3 - 7*h**2 - 5*h - 1. Let o(u) = u - 1. Let z(y) = -m(y) - 6*o(y). Let x be z(7). Solve 4*r - 4 + 16 = x for r.
-3
Let m = 0 - -1. Let n(c) = c**2 - 6*c. Let l be n(6). Suppose s = -5*x, -5*x + l*s = -2*s. Solve x = 3*v + 14 + m for v.
-5
Let s(y) = -y**2 + 30*y + 64. Let w be s(32). Solve -3*x + 5*x + 8 = w for x.
-4
Let k = 27 + -20. Suppose -2*x - k = -3*s + 11, 21 = 3*s - 3*x. Solve 3*y - s*y + 5 = 0 for y.
5
Suppose -3*x + 12 = m + 2*m, -5*x = 2*m - 20. Suppose 3*i + 21 = 3*f, x*f - i = -0*i + 13. Solve 7*j = f*j + 10 for j.
2
Suppose -3*m + 3 = 0, -3*f - m + 21 = -4. Solve 6*h + 4 = -f for h.
-2
Suppose -33 + 105 = 4*r. Suppose x - 4*x = -r. Solve 14 = 4*y + x for y.
2
Suppose 226*i - 214*i - 672 = 0. Solve 0 = t + 13*t - i for t.
4
Let x(v) = -2*v**2 + 6*v + 57. Let w be x(7). Solve 6*q = -19 + w for q.
-3
Let v be -3*(-6)/(-9) + 4. Let z be 25/10*12/10. Suppose 4*b = z*b + v. Solve s + b = 7 for s.
5
Let r = -2338 + 2341. Solve r*p = 12*p - 27 for p.
3
Suppose 0 = 5*t + g - 12, 7*t - 4*t - 5*g + 4 = 0. Solve -t = 2*f + 2 for f.
-2
Let r(q) = 9*q - 6. Let z be r(6). Suppose -7*t = -3*t - z. Let l = 15 - t. Solve -l*c - 2*c = 15 for c.
-3
Suppose -4*n = -2*x - 2, 5*n - n - 12 = 0. Suppose -2*t - i + 9 = 0, 0*t - x*t - 3*i + 24 = 0. Solve 0 = t*m - 10 - 5 for m.
5
Suppose 3*p = 3*v + 15, -3*p + 0 = 3*v + 3. Suppose 4*h - s = 15, -7 - 11 = -5*h + p*s. Solve h*m = 2*m - 8 for m.
-4
Let q = -1502 + 1502. Solve q = 2*a - 6*a + 16 for a.
4
Let v be (-2 + -1)*(-1 - 55/(-5)). Let x be 3 + v/8 - 46/(-8). Solve -x*g + 12 + 13 = 0 for g.
5
Let d = -7 - -10. Suppose 5*y - d*y - 3 = p, -2*p = 2*y - 12. Solve -p*v - 15 = 2*v for v.
-3
Suppose -4*r + 4*d = 0, -r - 28 + 16 = -4*d. Solve -r + 0 = t for t.
-4
Suppose 28 + 72 = 5*c. Solve -7*m = -17*m - c for m.
-2
Suppose -5*m + 15 = v, -m + 2*v = 1 + 7. Suppose 2*b - 26 = 4*t, 5*t = m*b - 37 + 9. Suppose -b = -6*f + 5*f. Solve i + f = 4*i for i.
3
Let l be 15/(-2)*(-24)/18. Let n be 66/32 - (-2)/(-32). Solve l = n*m - 4*m for m.
-5
Let x(j) = 3*j + 3. Let o be x(-9). Let y be (200/o)/((-3)/9). Let l = y - 17. Solve -3*p = -p + l for p.
-4
Suppose -11*x + 2*x = 6*x. Solve 5*g + 7 + 18 = x for g.
-5
Let r = 196 - 194. Let x = -1 + 2. Solve 0 = p - x - r for p.
3
Let w be 810/(-180)*10/(-3). Solve 4*p + w = p for p.
-5
Let a be 8/(24/(-15)) + (9 - -1). Solve a*l + 3 = 23 for l.
4
Let d be 2/((-7)/((-42)/(-4))) + 17. Let u be 56/d - (-1 + 2 + -2). Solve u*l + 18 = -7 for l.
-5
Let z be (-1)/5 - 52/(-10). Let v = -45 - -48. Suppose -v*s + 16 = -s. Solve z*h - s = -18 for h.
-2
Let s(f) be the second derivative of -f**5/20 + 5*f**4/6 + 2*f**3 - 3*f**2 - 15*f. Let r = 20 - 9. Let i be s(r). Solve 0*z - i = -5*z for z.
1
Let v = -9 + 13. Let g be v - 5 - 6*-1. Suppose -g*i + 13 = -i + j, -5*i + 15 = j. Solve -i*u - 4 = -u for u.
-4
Suppose -2*p = 4*q + 1 - 3, -3*q = 2*p - 3. Let a(f) = -f**3 - 2*f**2 + f - 5. Let l be a(-3). Solve p = -n - l for n.
-4
Let h be -7 + 14 + -4 + 6. Solve 0 = -13*j + h*j - 16 for j.
-4
Suppose 0*n - 5 = -5*n. Suppose -n = -0*a - a. Solve -10 = 3*c - a for c.
-3
Let n(i) be the first derivative of -10 + 9*i + 1/2*i**2. Let g be n(-6). Solve 0 = 2*b - g*b + 3 for b.
3
Suppose -p + 28 = 4*q, 0 = 3*p + 2*q + q - 102. Suppose 5*k + 193 = 13. Let b = k + p. Solve a = -b*a + 4 for a.
4
Let t(k) = -4*k**3 - k**2 + 1. Let b(v) = -v + 5. Let j be (-1)/(-4) + (-138)/(-24). Let m be b(j). Let x be t(m). Solve x*y - y = 0 for y.
0
Let f be (3/2)/(12/16). Suppose -2 = -4*a + 2. Let k be (1 + -2 - -1)*a. Solve j - 2 - f = k for j.
4
Suppose 5*v + 2*u = 141, 0*v - 5*u = -5*v + 120. Let i be ((-126)/v)/((-4)/18). Let q = i - 21. Solve q*s = -3*s for s.
0
Let m be 0*2*(-4)/(-24). Let z = 5 - 3. Suppose m = z*u - 3*u + 4. Solve -7 = u*n - 3 for n.
-1
Let c(o) = 4*o**2 - 27*o - 4. Let a be c(7). Let n be (4/(-4))/(a/(-6)). Solve 0 = 3*k - n*k - 4 for k.
4
Let j be ((-2)/6)/(17/(-102)). Suppose -5*s + 3*s + 2 = 0. Let d = s + j. Solve d*g = 20 - 5 for g.
5
Let v = -682 + 697. Solve 9*q + v = 6*q for q.
-5
Let p(f) = -f**3 + 7*f**2 - 6*f + 4. Let d be p(6). Suppose d*q = 2*q - 20. Let y = 10 + q. Solve y = -2*a - 3*a + 25 for a.
5
Let z(k) = k**2 + 7*k + 10. Let m be z(-5). Suppose -2*b + 6 = l + b, m = -5*l + b + 46. Solve -2*t + 3 = l for t.
-3
Let y(x) = -x**3 + 50*x**2 - x + 103. Let c be y(50). Solve 0 = -49*z + c*z + 20 for z.
-5
Let u(j) = -4*j - 12. Suppose 0 = -3*l + 12, a + 3*l - 32 = 6*a. Let q be u(a). Suppose 3*g - 1 = q*x, -3*x - 4*g - g + 21 = 0. Solve -x*t = t for t.
0
Let t = -50 - -55. Let q(o) = 5*o**2 + o + 1. Let v be q(-1). Let k = v - t. Solve -5*y + 4*y + 1 = k for y.
1
Let m(y) = y**3 + 25*y**2 + y + 29. Let u be m(-25). Solve -6*g + u*g = -10 for g.
5
Suppose -3*c - 4*d - 14 = -25, 5*c - 3*d = 28. Solve 0 = -13*u + 18 - c for u.
1
Let b be -3*(-2)/(-12)*-2. Suppose 3*y = -6*v + v + 100, -y = -3*v + 74. Let s = 28 - v. Solve a - b = -s for a.
-4
Let q(t) = 3*t + 16. Let a be q(-2). Solve -6 = -k - a for k.
-4
Suppose -o + 1 = 0, g = -0*g - 4*o + 8. Suppose -g*u - 4*h + 48 = 0, 0 = 4*u - 2*h - 9 - 15. Let m(d) = d**2 - 8*d. Let v be m(u). Solve v = 5*w - 2 - 23 for w.
5
Suppose 0 = 5*c + v - 1, 4*c = -c + 2*v - 2. Solve c = -y + 3*y + 6 for y.
-3
Let h(i) = -i**3 - 6*i**2 + 8*i + 7. Let u be h(-7). Let o = 17 + -13. Suppose -v = -u - o. Solve -a = -v - 0 for a.
4
Let o = -76 - -85. Solve -50*g = -47*g - o for g.
3
Let j(c) = 9*c. Let o be j(1). Let t be (-12)/54 - (-56)/o. Let q(r) = r**3 - 7*r**2 + 6*r + 4. Let m be q(t). Solve -f = -m*f - 9 for f.
-3
Let m be (-30)/9*36/(-30). Solve -m*f + 9*f = 20 for f.
4
Suppose -14*l = -112 - 42. Solve -l*m - 3 = 8 for m.
-1
Let v(x) = 1 + 3*x + 4*x - 6*x + x. Let i be v(2). Solve -3 - 12 = -i*l for l.
3
Let q(m) = -2*m + 38. Let s be q(16). Let d = s + 4. Solve 0 = 3*x - d + 25 for x.
-5
Let d(o) = 5*o**2 + 9*o - 6. Let f be d(-3). Solve 0 = 7*j - f*j + 25 for j.
5
Suppose 0*g - 2*g - 2 = -2*h, h + 3 = 5*g. Let d(x) = 4*x. Let k be d(2). Let v = -8 + k. Solve v = 5*p + 3 + h for p.
-1
Let z be (-490)/(-28) + 2/4. Suppose 6*g = 42 - z. Suppose 4*i + 25 = 4*m - i, 0 = -m + i + 5. Solve m*n = 2*n - g for n.
2
Suppose -5*b = 4*v - 13 - 10, -19 = -3*b - 5*v. Suppose q = -5*t - 16, 5*q - 28 = -b*t + 5*t. Solve -q*o + o + 9 = 0 for o.
3
Let s = -1827 - -1847. Solve -s*n - 23 + 83 = 0 for n.
3
Suppose -5*l + 14 = 4. Let x(o) be the first derivative of 3*o**2 - 30*o + 8. Let a be x(5). Solve -l*h + a = 2 for h.
-1
Let z = -2262 - -2279. Solve -8*a + 15 = -z for a.
4
Let n = -4 - -6. Suppose -2*p - 2 = n*l + 2, -3*p + 4*l = 34. Let s = p - -7. Solve 5 + s = 3*v for v.
2
Let w = 5 + 61. Suppose -17*p + w = -6*p. Solve -5*c + p = 1 for c.
1
Suppose -29*a + 33*a - 172 = 0. Solve -a = 6*v - 13 for v.
-5
Suppose -15*t - 3 = -18*t. Suppose 0 = r + r, -3*h + r + 3 = 0. Let x = h + 3. Solve t = -x*f - 3 for f.
-1
Let o(k) = -k + 9. Let q be o(13). Let a be 3 - (1 + q - -4). Let i = -4 - -7. Solve a*c + 1 = i for c.
1
Suppose 21 = -m - 15. Let y = m - -37. Solve 4*t - 7 - y = 0 for t.
2
Suppose -k + 5*s - 9 = 0, 5*k - 23 - 72 = -3*s. Let n = -740 - -744. Solve n*g + k = -0 for g.
-4
Let w = 108 - -55. Suppose -155 = 4*q - w. Solve -o + 3 = -q*o for o.
-3
Suppose -8*c + 91 = 27. Suppose -k + c = k. Suppose 4*l + 1 = 5. Solve 3*t + l = k for t.
1
Let w = 6 - 0. Let f be -3*((-4)/w)/1. Let a(v) = -v**3 + 13*v**2 + v - 13. Let j be a(13). Solve 8 = -j*h + f*h for h.
4
Let f be (-10)/(-80) + 4/((-160)/(-755)). Solve -4 = 18*z - f*z for z.
4
Suppose -3*s + 24 = s - 3*n, -3*s - 3*n = -39. Suppose 8*q - s = 5*q. Solve 0 = k - q + 8 for k.
-5
Let k(m) = -2*m**3 + 27*m**2 - 12*m - 11. Let x be k(13). Suppose x*