e -l*p + 8*p - 12 = 0 for p.
4
Suppose -9 = -2*r + r. Suppose 0 = 6*f - 15 + r. Solve -2*i + f = -i for i.
1
Let i(a) = a**2 - 4*a - 15. Let p be i(7). Suppose -5*y - 3 = -p*y. Solve -y*b = b - 20 for b.
5
Let j = 168 + -117. Let i = j + -33. Suppose -5*u + 20 = 0, -u = -4*p + i - 6. Solve 0 = -p*c + 1 - 5 for c.
-1
Let r(b) = -7*b**2 + 28*b + 3. Let n be r(4). Solve 0*q + n*q + 9 = 0 for q.
-3
Let z be 18/12 - 26/(-4). Suppose -w = -z*w + 28. Suppose 8 = 3*h + q, 5*h - 13 = 2*q - w*q. Solve 4 - h = -o for o.
-1
Suppose n - 43 = 3*z, 3*n - 40 = -4*z + 24. Solve 0 = n*u - 23*u - 25 for u.
5
Suppose -j - 5 = -2*l, l - 6 - 2 = -5*j. Suppose -l*s + 5*m = 9, 0 = 2*s - 2*m + 1 + 1. Solve -11 + 3 = -s*h for h.
4
Let h(u) = u**3 + 8*u**2 + 16*u + 11. Let d be h(-5). Solve 0 = -2*c - d*c - 24 for c.
-3
Let o(v) = -4*v + 34. Let f be o(6). Suppose 3*a = 4*r - f, -12 = a - 3*r - 2. Solve 2*w + 12 = -a*w for w.
-3
Suppose i = 5*m + 24, -4*i + i - 2*m = -4. Suppose -i*j = -4*z, 0*z - 2*z = -4*j. Suppose -3*n + 5*n - 8 = z. Solve -f + n = -0*f for f.
4
Let c(b) = -b - 5. Let g(a) = -a. Let x(m) = -3*c(m) + 6*g(m). Let q be x(5). Solve 4*s + 20 = -q*s for s.
-5
Suppose 0 = 4*s - 0 - 8. Suppose -5*d + s = -f, 2*d - 3*d = 2*f - 7. Solve -f*z = 2*z + 20 for z.
-4
Suppose 0 = -2*c + 3*d + 3, 2*d + 2 = 2*c - 2*d. Let q(f) = 3*f**2 + 2*f - 5 + c + 0*f**2. Let x be q(1). Solve -2 = -x*w + 13 for w.
5
Suppose -282*w = -273*w - 9. Solve 46*g + w = 47*g for g.
1
Suppose -f + 25 = 4*f. Suppose 5*h - 5 = -4*l, 4*h = f*h - 2*l - 1. Solve 1 = v - h for v.
2
Let j(b) = -3*b**2 + 13*b + 1. Let k be j(5). Let z = 11 + k. Solve -5*r + 15 = -z*r for r.
5
Let t be 87/15 + (-15)/(-75) - 2. Solve -h - h = -t for h.
2
Let w be ((-1)/(-3))/(4/(-36)). Let k be (w - (-2 - -1)) + 4. Suppose 3*u = -k*p - 11, 0*u - 5*u = p + 23. Solve -p*x = -6*x for x.
0
Let m = 27 + -16. Let f(q) = q**3 - 11*q**2 + 2*q - 12. Let w be f(m). Solve -2*v = 3*v - w for v.
2
Let x(w) = -2*w**3 + 3*w**2 + w - 2. Let n be x(1). Solve n*k - 2 = k for k.
-2
Suppose 3*w + 2 = -5*o - 0*o, 0 = 3*o + 4*w + 10. Suppose 24 = k + o*k. Solve -q - k = q for q.
-4
Let s(g) = -35*g - 22. Let z be s(3). Let l = -120 - z. Solve l = 3*o + 22 for o.
-5
Let h = -8 + 14. Let l(x) = -x**2 + 2*x + 25. Let c be l(h). Solve 0*z = -z - c for z.
-1
Suppose 4*i - 6 = -3*z, -4*z = 4*i + z - 2. Let w(j) = -13*j**2 + 7*j**2 + 7*j**2 + j. Let x be w(-1). Solve 9 = -i*d - x*d for d.
-3
Suppose -31*x + 20*x = -143. Solve -x*d + 17*d - 20 = 0 for d.
5
Let c = -227 + 233. Solve 4 - c = 2*d for d.
-1
Let q be 35/1 - (5 - 1). Let g = q + -25. Let x(f) = f**2 - 5*f - 6. Let m be x(g). Solve 3*p = -m*p - 6 for p.
-2
Suppose -5*f - 40 = a - 45, f = -a + 1. Solve a*o = 5*o - 20 for o.
4
Let l = 2 - 3. Let c = 1 + l. Let y = 126 - 125. Solve -y = -r - c*r for r.
1
Let h = 19 + -20. Let g be (4 + (h - 3))/(-3). Solve g = -4*q - q - 20 for q.
-4
Suppose t = -14 - 130. Let d be 2/(-5) + t/(-60). Let c be (-152)/(-16) + (-1)/d. Solve 24 = -3*s + c for s.
-5
Let q = 30 + -27. Suppose -q*c + 0*c + 21 = 0. Let d(h) = h**2 - 6*h. Let p be d(c). Solve -2*v = -p*v - 5 for v.
-1
Let h be -1*(90/(-9) + 10). Let y be (2 - 1/2)*-2. Let f be (-10)/y - 4/(-6). Solve h = -d - f - 1 for d.
-5
Let u(k) = -2*k + 44. Let w be u(21). Let q(l) = -l**2 + 10*l - 6. Let h be q(9). Solve -a + h = -w for a.
5
Let v = 29 + -25. Suppose 0 - 8 = -v*s. Let k be (-6)/9 - (-2)/3. Solve k = s*b - 0 + 8 for b.
-4
Suppose 7*k + 12 + 37 = 0. Suppose 4*m - 52 = -5*v, -3*v = 5*m - m - 36. Let t = k + v. Solve 0 = -u - t - 2 for u.
-3
Suppose -3*t = 5*q + 463, 5*t = 5*q + 3*t + 483. Let l = q + 97. Solve l*g + 15 = 5*g for g.
5
Let a = 75 - 77. Let f be (-2 + -5)/(a + 1). Solve 5*w - f*w = -10 for w.
5
Let r(y) = y**2 - 32*y + 103. Let s be r(3). Solve 4*n = s - 4 for n.
3
Suppose 27 = 10*p - 23. Suppose -3*b + 7 = p*l, -4*b + 20 = 6*l - 10*l. Solve 0 = 5*f - b*f + 4 for f.
-4
Suppose -x + 190 - 181 = 0. Solve 2*f - 5*f - x = 0 for f.
-3
Let m = 6 + -10. Let i(v) = -v**3 - v**2 + 10*v + 1. Let n be i(m). Solve 3 + n = 3*k for k.
4
Let v = 34 + -21. Let g = v - 6. Let o be (-1)/(-4)*(g + 1). Solve -6*n = -o*n + 4 for n.
-1
Suppose 0 = 13*c + 240 - 409. Solve w = c*w for w.
0
Let v = 71 + -66. Suppose -v = -z - 3. Solve 5*k = 3*k + z for k.
1
Suppose -i + 7 + 0 = 5*z, 4*z = -4*i + 108. Suppose 3*t + 2*s - i = 0, 0 = 5*t + 3*s + 11 - 65. Solve v - 5*v - t = 0 for v.
-3
Let t be ((-2)/(-3))/(15/(-180))*-4. Let u be 2/(40/20*2/t). Solve 36 = -5*j + u for j.
-4
Let o(f) = 8*f**2 - 40*f + 37. Let k(l) = -7*l**2 + 40*l - 38. Let h(j) = -6*k(j) - 5*o(j). Let a be h(19). Solve a*s = s + 4 for s.
1
Suppose 15 = -15*h + 18*h. Solve -10*g = -h*g for g.
0
Let w = -141 + 145. Solve 5*p + 9 - w = 0 for p.
-1
Suppose -i - 160 = -5*i - 2*b, 218 = 5*i - 2*b. Let v = -38 + i. Solve -8*m + v = -7*m for m.
4
Let u = 55 + -39. Suppose 0 = -f - 3*o + 4*o + u, -2*f = -o - 28. Solve f = 3*g + g for g.
3
Let r = -79 - -75. Let o be (2/(-6))/(r/6)*0. Solve -3*t - 8 - 7 = o for t.
-5
Suppose 0 = -2*r + 2*c + 70, -4*r + 5*c = 2*c - 136. Solve -3*k - r = -28 for k.
-1
Suppose -27*w + 39*w - 72 = 0. Solve 0 = w*h + 3 + 15 for h.
-3
Suppose -r = -4*n + 2*r + 19, -5*n + 16 = 4*r. Suppose -b - 50 = -17. Let j be 10/(-55) - 6/b. Solve n = -4*t - j for t.
-1
Let p(i) = -i**2 + 11*i - 11. Let v be p(8). Suppose z = -s + 5, 52 = 4*s - z - 3*z. Suppose 5*a + s = r - v, r + 5*a = -18. Solve r*n = -3*n for n.
0
Let h(k) be the first derivative of -k**4/4 + 3*k**3 - 4*k**2 + 12. Let w be h(8). Solve w*a = 2*a - 8 for a.
4
Suppose 5*n - 3*w - 291 = 0, -45*n - 116 = -47*n + w. Solve -14*i - 5*i = -n for i.
3
Let a(g) = -g**2 - 5*g + 7. Let q be a(-6). Let z(w) = 5*w**2 - w. Let n be z(q). Solve -t - n*t = 0 for t.
0
Let j(n) = -3*n + 3. Let m be j(-4). Suppose 654*f - 656*f + 12 = 0. Solve c + m = f*c for c.
3
Let l = 129 - 126. Solve -5*j - 12 = l for j.
-3
Let u(a) = 260*a**3 + 5*a**2 - 3. Let g be u(1). Solve -4*l - 270 = -g for l.
-2
Let j(z) = z**2 - 15*z + 14. Let l be j(16). Let w be l/(-8)*(-16)/12. Solve -w*x + 3 = -7 for x.
2
Let r(a) = -a**2 + 6*a - 4. Let o be r(7). Let n(c) = -c**3 - 12*c**2 - 12*c - 2. Let j be n(o). Solve 2*y = -y - j for y.
-3
Let b(n) = n**2 + 5*n + 6. Let s be b(-4). Let a = -129 + 135. Suppose 0*v + v = a. Solve -v = -s*d - d for d.
2
Let k = 147 - 87. Let o = k + -50. Solve p - o = 6*p for p.
-2
Let i(z) = -3*z**3 + 39*z**2 + 45*z - 26. Let j be i(14). Let k(h) = -h**2 - 7*h - 6. Let m be k(-4). Solve j = 2*t - m*t for t.
-4
Let n = -73 + 80. Let v = 11 - n. Solve 5 - v = -r for r.
-1
Let j be (-88)/264*(-3)/2*10. Solve -j*c - 9*c = 56 for c.
-4
Let u be (-35)/(-5) - 4/2. Suppose 0*t + 98 = 5*t - 2*k, 0 = -3*t - k + 50. Solve -t = -u*s + 2 for s.
4
Let s be (6/9)/2 - 25/75. Solve 8*h + 14*h + 44 = s for h.
-2
Let i(c) = c**2 + 4*c + 7. Let q be i(-3). Suppose 25 = 4*t - 2*p - 15, -2*t + q*p = -32. Let w be t + (0 - (-1 - -3)). Solve -3*g - w = -g for g.
-3
Let c = 236 - 220. Solve 0 = -5*u + 4 + c for u.
4
Suppose -7*d + 5*h + 28 = -5*d, 16 = 2*d - 2*h. Suppose x - d + 2 = 0. Solve 4 = 2*t + x*t for t.
1
Let w = 23 - 16. Let k be w + (1 - 1) + (-42)/21. Solve 0 = 2*f + 3*f - k for f.
1
Let c = 768 + -717. Solve -8*a = 19 - c for a.
4
Let u(v) = v**3 + 21*v**2 - 47*v - 19. Let h be u(-23). Solve 0 = 6*q - h*q + 4 for q.
-2
Let k(r) = r**3 - 11*r**2 - 11*r - 13. Let o be k(12). Let b be 3 - -8 - o - -2. Let f = b - 12. Solve -f*c - 6 = -5*c for c.
2
Let y(c) = 3*c**2 - 5*c + 4. Let p be y(2). Let w be (8/(-12) + 7/p)*6. Solve -8 = w*k - 2 for k.
-2
Let o be 346/14 - 2*4/(-28). Solve -10 - o = -7*n for n.
5
Let g(b) = b**2 + 14*b + 6. Let a be g(-14). Suppose -a*y + 2*l = -y - 13, -y = -5*l + 2. Solve j - y*j = 4 for j.
-2
Let g(a) = a - 7. Let u be g(7). Suppose 5*o - 4 - 6 = u. Suppose f = 3*f - 4. Solve 2 = o*r - f for r.
2
Suppose -3*n - 135 = 2*n. Let y = -27 - n. Suppose y*l = -7*l + 21. Solve -3*p + l = 9 for p.
-2
Suppose 2*w + 2 = 5*a - 14, -2*w - 5*a = -24. Solve -2*r - 2 = w for r.
-2
Let j be ((-2)/(-3))/((-8)/108). Let m = j + 11. Suppose 4*o + 6 = -m*t + 2*o, -11 = -3*t + o. Solve -2*a = t*a for a.
0
Let s(l) = -l**2 + l + 4. Let w be s(0). Suppose w*b + 0*b + 2*a = 16, 2*b - 4*a =