+ y, 8 = -2*x + 2*n. Solve p*f - 16 = -x for f.
3
Suppose 5*m - 315 = -3*i, 2*m - 14 = 2*i + 112. Solve -m*c - 6 = -65*c for c.
3
Suppose -3 = 2*f - 9. Suppose -4*a - 6 = 2*j, -5*j + a = -2*j + 9. Let c be 3 - (j + 1 + f). Solve -t + c*t = 4 for t.
4
Let q be ((-115)/(-92))/(2/8). Solve q*w + 18 = -4*w for w.
-2
Let d(w) = w**2 + 64*w + 303. Let a be d(-59). Solve a*l + 5 = 7*l for l.
-5
Let t(k) = 2*k**2 + 22*k - 15. Let h be t(-12). Solve 0 = -h*b + 33 + 3 for b.
4
Suppose 4*o + 3*l - l - 10 = 0, -5*o + 11 = 2*l. Let t be 1 + 0 + -1*(-3)/o. Solve t = j + j for j.
2
Suppose 0 = -4*a + 163 + 21. Solve a = -4*t + 66 for t.
5
Let i be ((-4)/12*-12)/(12/9). Solve 0 = -4*n - 19 + i for n.
-4
Let v be (-8 + 135/15)/(-3 - -4). Let i(p) = p + 3. Let t be i(0). Solve t*c = 8 + v for c.
3
Let r(p) = -p**3 - 72*p**2 - 3*p - 109. Let i be r(-72). Solve 4*o - i + 123 = 0 for o.
-4
Let i be (2/(-6))/(-3*4/72). Solve i = -b - b for b.
-1
Suppose 90 = -8*w + 138. Solve -18*q = -21*q - w for q.
-2
Suppose 12*s - 9*s - 24 = -5*w, -3 = -5*s + 4*w. Solve 0 = t + 5 - s for t.
-2
Suppose -7*j = -159 + 75. Solve b - j = -15 for b.
-3
Let g = -541 + 547. Solve -g*j - 3*j = 0 for j.
0
Let r = 154 + -109. Suppose -4*x = 2*c + 10, -c - 5*x - r = -5*c. Suppose t = 3*t. Solve c*h + 5 = -t for h.
-1
Let c(o) = o + 4. Let m be c(-8). Let n be -2 - 1 - (m + -3). Suppose 3*t - 2 = g, g + n*t = -1 + 6. Solve -4 = -f - g for f.
3
Suppose 3*d + 6*d = 171. Let r(x) = -x**3 + 10*x**2 - 10*x + 12. Let v be r(9). Solve -7 = v*u - d for u.
4
Suppose 3*m - 19 + 4 = 0. Let k(v) = 9*v - 5 - 2*v + 62*v**2 - 41*v**2 - 22*v**2 - v. Let x be k(m). Solve x = 4*d - 9*d for d.
0
Suppose 0 = 15*z - 84*z. Let s = 2 + -2. Suppose -3*l - 2*l + 50 = s. Solve l = 5*t - z*t for t.
2
Let k = 477 - 451. Solve k*f = 25*f for f.
0
Suppose -9*z + 12*z = -27. Let l be ((-6)/z)/(5/15). Solve l*m = 5*m + 3 for m.
-1
Let u = -4 - -7. Let i = 497 + -490. Solve u*b - i = 5 for b.
4
Let c = -77 - -79. Let w = -4 - -8. Solve w = -c*z - 6 for z.
-5
Let k = -34 + 38. Suppose -2*b = k*b. Solve b*c + 2*c = 6 for c.
3
Suppose -266 = -5*o - 1. Solve 58*y = o*y for y.
0
Suppose 4*h - 487 = -135. Let i = h - 87. Let a(p) = p**2 + 2. Let u be a(3). Solve 0 = 4*v + u + i for v.
-3
Let q(r) = r**3 - 8*r**2 - 11*r + 3. Let x be q(9). Let b = x - -20. Suppose -3*l - 25 = -b*o, 4*o + 8 = 3*l + 25. Solve -o = 2*a - 0*a for a.
-4
Let p(j) = -4*j - 3. Let u be p(-2). Suppose 2 = 2*y - 3*k, u*k - 2*k = -3*y + 18. Let c = -21954 - -21956. Solve -2*i = -y*i - c for i.
-1
Let s be ((140/8)/7)/((-4)/(-24)). Solve 5 = 4*p - s for p.
5
Let j(m) = m + 10. Let c be j(5). Suppose -3*o + c = -3*h, -h = -2*h - o + 5. Solve h = f - 2*f + 4 for f.
4
Let c be (-39)/(-52)*(1 + 3). Solve c*q - 1 - 11 = 0 for q.
4
Let s(a) = -3*a + 17. Let t be s(4). Solve t*g + 10 = -15 for g.
-5
Suppose 9*r = 2*r + 84. Suppose -7*s = r*s - 57. Solve s + 9 = 3*g for g.
4
Suppose 5*h + 16 - 41 = 0. Let n = -31 + 18. Let q = n + 16. Solve h*i = q*i for i.
0
Let j(y) = 3*y**2 - 10*y - 3. Let i be j(4). Solve -9 - 1 = i*h for h.
-2
Let c be (-423)/63 - 2/7. Let z be (-8)/(-14) + (-3)/c. Solve -5 = 2*u - z for u.
-2
Let r(s) = 4*s + 28. Let q(f) = -f - 7. Let g(t) = -9*q(t) - 2*r(t). Let o be g(-5). Solve o*u - u = 0 for u.
0
Let b(q) = 6*q**3 - 4*q**2 - 3*q + 2. Let s(x) = -x**3 + 1. Let m(g) = -b(g) - 5*s(g). Let j be m(4). Solve -j*z - 13 - 7 = 0 for z.
-4
Let o be (15/(-1))/(2*7/(-14)). Solve 4*w = -w + o for w.
3
Suppose -s + 37 = 35. Suppose 3*y = -5*o + 2*y + 15, s*o + 6 = 2*y. Solve -o = -3*m - 14 for m.
-4
Let i = 831 - 828. Suppose -4*l = h - 18, -2*l + 2 = -3*h - 0. Suppose -14 = -5*c - 2*y, l*y = -3*c + 9*y + 27. Solve -k - i*k = c for k.
-1
Suppose 3 + 7 = -d. Let u be 10*((-20)/16 - -1)*d. Solve 5*j + u = 5 for j.
-4
Suppose -737 = -4*b + 3*o, -352 = -2*b + 4*o + 4. Solve 2*i - b + 190 = 0 for i.
-1
Let n(p) = -p**3 + 3*p**2 - 2*p + 4. Let q(v) = 2*v**2. Let m be q(1). Let z be n(m). Solve z*f + 0*f = 0 for f.
0
Let d = 1065 - 1056. Solve d*o = -6*o + 60 for o.
4
Let h be 648/40 + -8 + (-2)/10. Solve -h*n - 10 = -3*n for n.
-2
Let y = 718 + -636. Solve y = 11*h + 38 for h.
4
Let v(r) = -r + 8. Let z be (-114)/(-22) - 12/66. Let u be v(z). Suppose -u*j + 10 = 2*j. Solve -j*s + 4 = -4 for s.
4
Let b be (-4)/5*(45 - 50). Solve -b*k + k = 2*k for k.
0
Let h = 31 - 10. Let t = -21 + h. Solve 16 = -4*w - t*w for w.
-4
Suppose -t + 6*u = 9*u, t + 2*u = 0. Solve t = 3*q - q for q.
0
Let s be (-6)/(-8) - (-162)/(-24). Let j be s/(-4)*(-32)/12. Let n be (-9)/(-6)*(8 + j). Solve 4*c - n - 6 = 0 for c.
3
Suppose 0 = 128*y - 138*y + 80. Suppose q - 12 = -2*q. Suppose -2*o = q - y. Solve -5 = -o*k + k for k.
5
Let r(a) = a**2 + 8*a + 19. Let i be r(-6). Solve 0 = -u - 9 + i for u.
-2
Let j = 1 - -5. Suppose -j - 6 = -4*t. Suppose t = -f + 4*f. Solve -1 = -2*z + f for z.
1
Let a(i) = 46*i - 32. Let r be a(1). Solve r = -3*f - 1 for f.
-5
Let f = 85 + -163. Let o = f + 94. Solve -o*j = -21*j + 5 for j.
1
Let j(c) = -2*c**2 - 27*c - 40. Let r be j(-11). Solve -5*o + 10*o + r = 0 for o.
-3
Let z be (1 - 3)*6/12. Let s(b) = -3*b**3 - b**2 - b. Let x be s(z). Suppose -5 + 60 = 5*f + 3*k, 0 = 4*f + x*k - 47. Solve h = f - 4 for h.
4
Let f be -25*(((-6)/5)/2 - -1). Let v = f + 14. Solve 0*z = -v*z + 16 for z.
4
Let z = -498 + 509. Solve -3 = -4*b - z for b.
-2
Suppose -5*g + 27 = 4*j, 4*g = 4*j + 2*g - 34. Let z = 140 - 140. Solve z + j = 2*v for v.
4
Let u(t) = 4*t - 9. Let p be u(6). Let g = 23 - p. Suppose 0 = g*b - 6*b. Solve b*o - 4*o = -4 for o.
1
Let o be (4 + 6)*(-12)/(-5). Solve -o + 0 = 8*p for p.
-3
Let p(g) be the second derivative of g**5/20 - 2*g**4 + 23*g**3/6 + 4*g**2 - 16*g. Let l be p(23). Solve -3*b - b = -l for b.
2
Let x be -39 + (-1 - (-1 - -3)). Let k = x + 42. Solve 5*j = -k*j - 25 for j.
-5
Let b = -13 - -23. Let n = b - 8. Let p be n/(-9) - (-47)/9. Solve 0*m = -p*m - 10 for m.
-2
Suppose 3*l - 21 + 4 = 5*q, -q - 5 = -l. Suppose -7*r + 11 = -10. Solve r*v = -v + l for v.
1
Let p be ((-3)/(-1 - 2))/(-1) - -4. Solve -p = 2*q - 13 for q.
5
Let g(m) = m**3 - 6*m**2 + 4*m - 3. Let a be g(5). Suppose 16*u + 9*u + 75 = 0. Let v = u - a. Solve -1 = f - v for f.
4
Suppose -8*o = -5*o + 27. Let b = 10 + o. Let t be (b + -2)/((-6)/6). Solve s + t = 4 for s.
3
Suppose -70 - 26 = -4*n. Suppose n*d - 64 = 20*d. Solve -3*a + 7*a = d for a.
4
Let a be (-7)/56*2 + 2/8. Solve a = -2*l + 19 - 17 for l.
1
Let z(n) = -3*n - 15. Let r be z(-10). Suppose 4*y + 2*m = 83 - r, 5*y - 5*m = 115. Let g = -17 + y. Solve g*v = v - 2 for v.
-2
Let j be 18*(2 + (-10)/4). Let w = 9 + j. Let t(l) = -2*l - 2. Let a be t(-4). Solve -3*z + a = -w for z.
2
Let s(g) = -18*g - 1795. Let d be s(-100). Suppose 2*n - 3*n = -3*y + 19, -y + 2*n = 2. Solve y = d*x - x for x.
2
Let y(o) = o**2 - 9*o - 24. Let q be y(8). Let z = -32 - q. Suppose 0 = 4*i + k - 17, -2*i = -4*k - k - 3. Solve -8 = -z*p + i*p for p.
-2
Suppose -f + 4*h = 2 + 2, 4*f - 3*h = 10. Suppose 4*m - 4*a = 4, 3*m + 4 = -m - f*a. Solve 2*u + m*u = 2 for u.
1
Let b(g) = -g**3 + 5*g**2 + 2*g. Let z be b(0). Solve z = -10*t + 1 - 11 for t.
-1
Let b = -124 - -124. Solve -4*t - 2 - 6 = b for t.
-2
Suppose 2*a - 5*a + 36 = 0. Suppose -3 = w - 0*w. Let i be (w/4)/(a/(-96)). Solve 15 = -o + i*o for o.
3
Let a be ((-12)/(-18))/(4/18). Let s be ((-44)/(-33))/(1/a). Suppose -o + c + 2 = s*o, 0 = 3*c + 6. Solve o*j = -5*j for j.
0
Let n = -414 - -431. Solve 0 = -18*f + n*f - 5 for f.
-5
Let g(w) = w**3 + 29*w**2 + 27*w + 3. Let h be g(-28). Solve -5*r = -h + 16 for r.
3
Suppose 0 = 14*l + l - 435. Solve 34*w + 5 = l*w for w.
-1
Let g(b) = b**2 + 6*b + 8. Let p be g(-2). Solve p*x = -5*x - 15 for x.
-3
Let y be -2 + (-114)/(-27) + (-38)/171. Solve -14*t + 15*t + y = 0 for t.
-2
Suppose -5*y + 36 = -10*u + 11*u, -2*y = u - 24. Solve -2*s = -10*s + u for s.
2
Suppose -s = -1, 4*o + 2*s = 3*o + 3. Solve 5 - o = -r for r.
-4
Let j be -1 + 1 - 0 - -13. Let y = 68 - 55. Let r = y - j. Solve -5*c - 1 + 6 = r for c.
1
Suppose -5*l + 8 = -3*l. Suppose -1 + 13 = l*g. Solve 8 = r - g*r for r.
-4
Let y(b) = b**2 - 9*b - 23. Let a be y(12). Solve 5*u + a = 8 for u.
-1
Suppose 4*r + 12 = 0, 30*s + 12 = 31*s - 4*r. Suppose y + 2 = -2. Let g be 1*(-2*1