 -3*p + 20. Let z = p - d. Solve -4*m + 8 + z = 0 for m.
5
Let w be (9/(-6))/((-15)/40). Suppose -x + 0*x = -4*j + 11, 12 = w*x - 2*j. Solve -h = -x*h for h.
0
Let o = 17 - 11. Suppose 0 = -4*p + 2 + o. Solve -2*f = p*f for f.
0
Suppose -28 = -w - 8. Solve -2*f - w = -7*f for f.
4
Let u = 35 + -10. Solve -3*p = 2*p - u for p.
5
Suppose 3*f = 2 + 1. Let r = -84 - -86. Solve -f = -r*o + 1 for o.
1
Let j = 0 + 3. Suppose 0 = -j*l + 14 + 4. Let t = l + -3. Solve -3 - 6 = -t*f for f.
3
Let s be (95/76)/(1*1/4). Solve 4*m - s - 15 = 0 for m.
5
Suppose 3*t - 5*t = -5*k + 11, -4*t = -8. Solve -15 = -k*m - 6 for m.
3
Let y be 115/35 + 2/(-7). Solve 0 = -y*u + 11 + 4 for u.
5
Let d be ((-2)/7 - (-280)/294)*6. Solve d*f = -f for f.
0
Suppose -5*p + 0*a + 13 = -a, -5*p + 3*a = -9. Let v = -4 + 4. Let i = v - -4. Solve i*r - 9 = p for r.
3
Let t(f) = -f**2 - 8*f + 2. Let g(x) = 1. Let k(d) = -5*g(d) + t(d). Let j be k(-5). Solve 0*z = 4*z - j for z.
3
Suppose 4*g = -4*z + 5*z + 6, -g - 3 = 2*z. Suppose 5 = -i - 3*b, 2*i = b + g + 3. Solve -i + 21 = -5*o for o.
-4
Let k(l) be the second derivative of -l**3/6 - 5*l**2/2 + l. Suppose -2*y = -8 + 20. Let s be k(y). Solve -s + 4 = -a for a.
-3
Suppose 4*n = 12, 3*s + 2*n - 3*n = 0. Let a(w) = 13*w**2 - 2*w + 1. Let b be a(s). Solve b = -0*o + 3*o for o.
4
Suppose 4*i + 3 = p, 4*i - 7 - 5 = -4*p. Solve v = -i*v + 5 for v.
5
Let r be (1 - 0) + (-2)/((-8)/12). Solve -1 = -l + r for l.
5
Let h = 12 + -8. Suppose 9 + 11 = -h*t. Let q(x) = -x + 1. Let r be q(t). Solve -z - 2 + r = 0 for z.
4
Let i(p) = -p**3 + 27*p**2 - 27*p + 27. Let f be i(26). Let t = -3 - -4. Solve 2*k - f - t = 0 for k.
1
Suppose -3*n + 1 = n - c, -3*n = -5*c - 5. Solve -2*j - 3*j + 15 = n for j.
3
Let y(b) = -b**3 - 18*b**2 + 18*b - 15. Let o be y(-19). Solve -o*r - 10 = r for r.
-2
Suppose 2*j - 3 = j. Suppose -w - 4 = -j*w. Let a be -11*(-1*2)/w. Solve a = 3*h - 1 for h.
4
Let v be -1 + 7 + -3 + 4. Suppose -1 = 3*i + 5*d, -5*i - d - 3*d + 7 = 0. Solve -h + i = v for h.
-4
Let o = -4 - -6. Suppose -2*s - o*a + 2 = 0, -a = s + a - 2. Suppose -c - 2*c + 6 = s. Solve c*x = -2*x for x.
0
Let m be (4/6)/((-10)/(-60)). Solve 2*a + 10 = m*a for a.
5
Let n(q) = -q**2 + 5*q - 4. Let l be n(3). Let x be 1/3 + (-56)/(-3). Suppose 0 = d + 4*y - x, -4*y = -4*d - y + 19. Solve l*r = d + 1 for r.
4
Let o = 112 + -107. Solve 0 = -2*v + o*v + 3 for v.
-1
Let t(h) = h**2 + 23*h - 44. Let a be t(-25). Solve -a = -g - 2 for g.
4
Let b = -6 + 7. Solve c - 4 = b for c.
5
Suppose -3*o = -4*o + 4*v + 9, -9 = -5*o + 2*v. Suppose -3 = -5*x - 13, 3*t - 3*x = 21. Solve u + o - t = 0 for u.
4
Let y = 15 - 11. Solve f = y*f + 12 for f.
-4
Suppose -2*y = -4*y + 10. Suppose 0 = y*d + 5, g + 5*d - 11 = -3*g. Solve -g*s + 3 = -s for s.
1
Let z(u) = u**2 - u - 4. Let k be z(3). Solve 1 - k = d for d.
-1
Let g be (-2 + 4 + -5)/(-1). Let b be (-1 + 2)/(g/9). Suppose -5*t + t - 14 = -2*a, 1 = -a - 2*t. Solve 0 = a*f + b + 3 for f.
-2
Let l be ((-10)/6)/(13/(-156)). Solve -2*p = 3*p + l for p.
-4
Let t be 4 + -1*(-2)/(-1). Solve -4*w + 18 = t for w.
4
Let r be (-1)/(-3*(-1)/6). Let f be (-39)/(-15) + r/(-5). Solve 0 = -f*c + 4*c + 3 for c.
-3
Let n(d) = -d**3 - 5*d**2 + d + 5. Let k = -3 - 2. Let h be n(k). Solve h*y - 2*y = 0 for y.
0
Let w(y) = -y**2 - 3*y + 5. Let q be w(-4). Let c be 1*5 + 1/q. Suppose -z = -2 - c. Solve -3*g + z*g + 5 = 0 for g.
-1
Suppose 2*y - 36 = -4*y. Solve 0*x - y = 3*x for x.
-2
Let f(b) = -b**3 + 2*b**2 + 4*b - 3. Let i = -5 + 8. Let r be f(i). Solve 3 = -r*a + a for a.
3
Suppose 3*t - 15 = -3*a, a - 5*t - 4 - 1 = 0. Let m be ((-1)/((-2)/(-16)))/(-9 + 7). Solve -a*s = -m*s - 2 for s.
2
Let o be (18/3)/(-1 - -2). Suppose -o*a - 2*b = -3*a - 2, b - 8 = -5*a. Let p be 28/6 - a/(-6). Solve 0 - p = t for t.
-5
Let o(h) = h**3 + 2 - 2*h**3 + h - 4*h - 4*h**2. Let w be o(-3). Let q be (-2 + w + 1)*1. Solve 0 = 2*t + q + 1 for t.
-1
Let w(x) = 2*x**2 + 4*x - 2. Let y be w(-5). Suppose 5*i + 4*o = y, -2*i - 2*o = i - 16. Solve -3*t = i - 1 for t.
-1
Suppose 0 = s + 15 - 18. Solve -12 = -r - s*r for r.
3
Suppose 0 = z - 5*t + t - 24, -z = -5*t - 29. Suppose 5 = -z*d - 7. Let w = 2 - d. Solve -5 - 20 = w*b for b.
-5
Let y(i) = 4*i. Let h be y(4). Suppose 4*s = -0*s + h. Let u(m) = -m**3 - 5*m**2 + 7*m + 9. Let g be u(-6). Solve 0 = f - s*f + g for f.
1
Let n(z) = -8*z**3 - z**2 + z + 2. Let i be n(-1). Let t = 5 + 2. Solve -i = 3*b - t*b for b.
2
Suppose -5*m + 2*k + 0*k = -30, 2*m + 3*k = 12. Let q = -32 - -43. Let i = q - m. Solve -c + 12 = -i*c for c.
-3
Suppose 0*f + f - 3 = 0. Suppose 0 = 3*b - 7*b + 160. Suppose r - 5*r = -b. Solve 2 + r = -f*m for m.
-4
Let t = -13 + 15. Solve -t*k + 2 = 6 for k.
-2
Let q be (100/10 - -8)*4/6. Solve 0 = 4*d - q - 0 for d.
3
Suppose -5*v + 14 = b - 11, 0 = 5*b + 5*v - 25. Solve w - 2*w = b for w.
0
Let o be (-3)/(-2)*234/27. Let x(s) = s + 5. Let k be x(-4). Solve -o + k = -4*z for z.
3
Let q(w) = -13*w + 6*w + 22 + 6*w. Let j be q(12). Solve -c = c - j for c.
5
Let a be 20/16 + 6/8. Suppose 11 = b - a. Solve -4*z + b = 1 for z.
3
Let g(a) = -2*a + 2*a**2 + 0*a**2 - a**2. Let d be g(2). Solve d = -4*x - 1 + 17 for x.
4
Let m(p) = -5*p + 2. Let o = -12 + 10. Let s be m(o). Suppose 1 = 2*k + 2*j - 3, -k + 5*j = -8. Solve 3*r + s = -k for r.
-5
Let n be 44/10 + 24/40. Solve 7 = 3*w - n for w.
4
Suppose 0*j + j + 4 = 3*o, 3*o + 2 = -5*j. Let g be -2 + (-2 - o - -5). Solve 6*r - r + 20 = g for r.
-4
Suppose 0 = 2*r - c - 15, 2*c - 6*c = r - 21. Solve -3*b = r - 3 for b.
-2
Let t be 3/9 - 2*3/18. Solve t = 3*o - 0*o - 3 for o.
1
Let y be -2*-2*(-1 + 3 + -1). Solve y*g = -0 + 4 for g.
1
Let a be 12/4*(-16)/(-3). Suppose 4*m - 2*k = 2*k + a, -9 = 4*m + k. Let g be (-1 + 3)/(m/(-2)). Solve 3*y - 13 = -g for y.
3
Let y be -2 + 2 + (-1 - 1). Let i(o) = o**3 + 4*o**2 + 2*o - 2. Let u be i(y). Suppose -2*j - u + 8 = 0. Solve -2*g + 2 = -j*g for g.
-2
Let z(m) = m**3 - 4*m**2 - m + 4. Let p be z(4). Solve p = -5*x + x + 16 for x.
4
Suppose 4*h - 5*h = 13. Let l = -11 - h. Solve l*x + 4 = 6*x for x.
1
Suppose -7*r = -0*r - 14. Solve 0 = -6*z + r*z + 12 for z.
3
Let q = 6 + -4. Suppose 3*u - 4*u = -2. Let i be (3*u)/q*1. Solve 2*v - 10 = -i*v for v.
2
Let y(d) = 3*d - 1. Let q be y(2). Solve 4*m - q = 3*m for m.
5
Let s be (-1)/(-5) + (-88)/(-10). Let v = s - 1. Solve 4*t + 0*t = v for t.
2
Suppose -4*o - 2*t = -2*o - 10, -o + 5*t = 25. Suppose o = -4*m - p + 10, -m = 5*p + 2 + 5. Solve 0 = l + m*l for l.
0
Let n = -20 - -24. Solve 7*a = n*a - 6 for a.
-2
Let q be (2/6)/(1/12). Suppose 14 = 4*g - q*i + 2*i, -3*g - i + 13 = 0. Solve 0 = -g*k + k - 12 for k.
-4
Let n be 4*1/4*(-48)/(-8). Solve 5*k - n = 2*k for k.
2
Suppose -40 = 4*s - 4. Let o = s + 15. Let n be 5 - -4*(-9)/12. Solve -2 = n*h - o for h.
2
Let r = 285 + -285. Let t = -2 + 4. Let a = 6 + -4. Solve a*n + t*n = r for n.
0
Suppose 2*j = -2 + 12. Suppose a - 6*a - 5*w - j = 0, a = -5*w - 21. Solve k - 25 = -a*k for k.
5
Let p = -9 + 17. Suppose 5*t + p = -4*l, -4*t + 4 = 2*l + 14. Solve 2*s + 1 = l for s.
1
Let i(v) = 5*v**2 - 3*v**3 - 4*v**2 + 5*v - 4*v. Let h be i(-1). Solve -6 = -h*q - 3 for q.
1
Let h = -14 + 20. Solve h*j + 6 = 3*j for j.
-2
Let f be (-26)/(-10) + (-3)/5. Solve 12 = 5*d - f*d for d.
4
Let l be 0 + 2 - (8 - 6). Solve l*n - 3*n = -6 for n.
2
Let h be 7 - (-5)/((-15)/(-6)). Let u = -4 + h. Suppose 15 = 4*l + p, 2*l - u*p = -p + 30. Solve l*n - n = 20 for n.
5
Let x be ((-2)/6)/((-17)/(-51)). Let s be (x/2*4)/(-1). Solve -15 = -s*i - i for i.
5
Let l(h) = h**2 - 3*h - 1. Let a be l(3). Let r = 1 - a. Suppose s = -1 + r. Solve s - 6 = -m for m.
5
Let r be 0/(3/1) + 5. Let m = r + -7. Let b = 10 + m. Solve 7*j + b = 3*j for j.
-2
Let h be (8/2)/(-2) - -6. Let y(x) = 8*x - 5*x - 4 - 2*x. Let q be y(h). Solve q*b = b + 5 for b.
-5
Let a = -3 - -5. Suppose -a*v + 0*v + 12 = 0. Solve i - v = -1 for i.
5
Let r be 1/((-1)/(-3)) - 1. Suppose -3*i + 10 = r*i. Solve 0 = i*q - 7*q - 5 for q.
-1
Let w(v) = v + 5. Let x be w(-4). Solve -x - 3 = -t for t.
4
Suppose 17*f = -6 + 6. Let w(r) = 3*r + 3. Let q be w(-2). Let g = 0 - q. Solve -g*n + 7 + 5 = f for n.
4
Let f = 90 - 85. Solve 1 = -f*d + 6*d for d.
1
Let y = -3 + 2. Let k be -3*30/(-9) + y. Solve k*a - 4*a - 10 = 0