*p - x = 5*p for p.
-2
Let i(p) = p**3 - 5*p**2 + 5*p - 2. Let c(l) = 4*l**2. Let z = 1 - 0. Let m be c(z). Let f be i(m). Solve 0 = -2*t - f - 0 for t.
-1
Suppose -2*s - 5*f - 25 = -4*s, 2*f + 6 = 0. Solve s*u = 15 + 5 for u.
4
Let z(s) = -s**3 - s**2 - s + 6. Let u be z(0). Let k(y) be the first derivative of -y**3/3 + 7*y**2/2 + 2. Let n be k(u). Solve n*h = h for h.
0
Let v = -4 - -24. Solve 9*s = 4*s + v for s.
4
Suppose 31*c + 32 = 39*c. Solve 2 + c = 3*o for o.
2
Let y = 18 + -6. Suppose -4*p - 5*w - 11 = -4, -5 = 2*p + w. Let g = 3 + p. Solve g*i = 3*i + y for i.
-4
Suppose 3*b - 6 + 0 = 0. Solve -5*v + b = -3*v for v.
1
Let v(b) = 4 - b - 5 + 6. Let t be v(5). Suppose -5*r = 8 - 28. Solve 0*z + 4*z - r = t for z.
1
Suppose -u - 3*w + 3 + 3 = 0, -8 = -4*u - 4*w. Suppose 0 = -a - 4 + 6. Suppose u = -a*g + 3*g - 10. Solve -g = -2*q + 4*q for q.
-5
Let o = -14 + 18. Solve 12 = o*v - 7*v for v.
-4
Let r(y) = -2*y**2 + 7*y - 4. Let x be r(4). Let p = -6 - x. Suppose c - 2 = -2*s - 0*c, 0 = -p*s + 5*c + 14. Solve s*u = u + 3 for u.
3
Let y be 1*(1 + 0 + 1). Let b be 3 - (8 - 2)/y. Suppose b = 3*v - 15, -2*o + 15 = -0*o + 3*v. Solve o = -3*j + 7 + 8 for j.
5
Let i be (2/(-4))/((-2)/(-56)). Let z = 20 + i. Let h be 6/4 - (-5)/2. Solve -m + h*m = z for m.
2
Suppose -1 = 4*r - 5*r. Let c be 1 - (3/r - 2). Suppose -4*h - 7 = g + 4*g, -g - 5 = -h. Solve c = -4*i + h + 2 for i.
1
Suppose -39 = -4*i + d, d - 24 = -2*i - i. Suppose 2*w + w = i. Solve w*q = -0 + 3 for q.
1
Let w(d) = -5 + 0*d + 0*d + d. Let h be w(7). Suppose -3*g - 2*g = -20. Solve h*l = -2*l + g for l.
1
Suppose 0 = -5*n + 4*k + 3 + 5, -n + 2*k = -4. Solve n = 3*m - 2 - 7 for m.
3
Let g = -11 + 17. Let z be 1 + -1*(-9 - 0). Suppose z = -i - 3*n, -n - 15 = -3*i + i. Solve -p + i = -g*p for p.
-1
Let a = -10 + 7. Let r = 1 + a. Let u be -3 + (3 - 0 - r). Solve u*s = -s - 3 for s.
-1
Suppose -40 = -3*i - i. Suppose -6 = -4*u + i. Solve 2*y - 6 = u*y for y.
-3
Let n = -61 + 61. Solve n = 4*t - 3*t + 5 for t.
-5
Suppose -3*p = p + 20, 0 = 5*w + 4*p + 20. Solve 0 = d - w + 1 for d.
-1
Let o be -1*(3 - (4 + 0)). Solve o = -2*y - 5 for y.
-3
Let j = 3 + 0. Suppose -4*h = 16, 2*y + j*h + h = -8. Let s be (y/(-2))/(2/(-5)). Solve -2*t + s + 5 = 0 for t.
5
Let c(q) = -q**3 + 6*q**2 - 4*q + 4. Let i = 1 + 2. Suppose 0 = 3*p + 5*a + 5, -p - 4*a - i - 8 = 0. Let n be c(p). Solve -n = -3*l + 6 for l.
5
Let g(c) = c**3 - 2*c**2 + 2*c - 2. Let s(z) = z**3 - z**2 + 3*z - 2. Let u be s(2). Let k be u/6 - (-12)/18. Let n be g(k). Solve y + 1 - n = 0 for y.
1
Suppose -11 - 4 = 5*u. Suppose g = 3 + 2. Let b be u + g + 20 + -1. Solve -4*t = b - 1 for t.
-5
Suppose -7 = -3*c + 4*l, -c + l = -3 - 0. Solve c*i + 1 = 11 for i.
2
Let b be -2 + 3 + -3 - -4. Let w be 30/(-25)*(-10)/3. Suppose -4 = n + b*r + 1, 5*n = w*r + 45. Solve 0 = -0*j - n*j + 10 for j.
2
Suppose 5*o = 4*o - 9. Let u be (-3)/(-15) + o/(-5). Suppose 0 = 3*p + 9, k - 5*p - 9 = -2*p. Solve k = d - u*d - 2 for d.
-2
Let q(c) = -c + 2. Suppose a = -a. Let f be q(a). Solve -h = f*h + 12 for h.
-4
Let n be 5 - -1*(-3)/3. Suppose 2 + n = q. Solve -t = -q*t for t.
0
Let j = 25 - 22. Solve -6 = 3*m - j for m.
-1
Let d = -2 - -2. Let r(a) = -a**2 + 7*a + 2. Let v(s) = -s**3 - 3*s**2 + 3*s + 3. Let p be v(-4). Let g be r(p). Solve d = g*n - n + 1 for n.
-1
Let w(z) = 3*z**2 + z + 1. Let j be w(-1). Solve -q - j*q = 0 for q.
0
Let a(k) = -k**3 - 2*k**2 + 2*k - 3. Let d be a(-3). Let z(j) = -j. Let x be z(d). Let i = 2 + x. Solve -i*w = w + 6 for w.
-2
Let l(t) = t - 9. Suppose -7*z + 36 = -4*z. Let v be l(z). Solve v*x - 6*x = 0 for x.
0
Let v be ((-3)/12)/(4/(-48)). Solve 6*l = v*l - 12 for l.
-4
Suppose 2*t - 7 + 3 = -4*f, 5*t - 4*f - 24 = 0. Solve -12 = -t*b + b for b.
4
Suppose l = i - 13, -i - 3 + 1 = 4*l. Solve 0 = -m - m - i for m.
-5
Suppose 7*m - 3 = 172. Solve -u = 4*u + m for u.
-5
Let v be (-270)/63*(0 - 7). Suppose 0 = -0*y + y + 3*t - 12, -5*y + v = 5*t. Solve -5 = -y*z + 4 for z.
3
Let x(z) = 3*z**3 - 4*z**2 - 4*z + 8. Let v be x(2). Solve 4*u - v = 8 for u.
4
Let q = -73 + 81. Solve 0 = -10*r + q*r + 6 for r.
3
Let l be (2 + -2 - -1)/(-1). Let g be (2 - -7) + (l - -2). Let w = -6 + g. Solve w = r + 5 for r.
-1
Suppose -2*m + 0*h = -h - 15, 0 = -2*m - 3*h - 5. Let d be 1/m - (-28)/10. Solve 2*n + 7 = -d for n.
-5
Suppose 0 = -o - 7*g + 3*g + 22, 3*o + 4*g - 34 = 0. Let h = o - 4. Solve h + 2 = -4*f for f.
-1
Let h be (-18)/63 + (-66)/14. Let s = -2 - h. Solve a = s*a + 2 for a.
-1
Let p(o) = -o + 15. Let f be p(10). Suppose 0*r + 1 = -r, -2 = -f*i + 2*r. Suppose 3*n - 2*c = 49, i = -5*n - c + 6*c + 90. Solve 5*y - n = 12 for y.
5
Let a(b) = b**3 - 9*b**2 + 8*b + 2. Let f be a(8). Solve h = -f*h - 6 for h.
-2
Let k = -25 + 28. Solve 0 = k*q - 5*q - 4 for q.
-2
Suppose -3*r + 2 = -r. Solve -d + 0 + r = 0 for d.
1
Suppose 3*z + j - 66 = -z, -2*z - 2*j = -30. Let b = -11 + z. Solve o - b = 3*o for o.
-3
Let g(t) = -t**3 + 4*t**2 + 2*t - 3. Let d be 1*((1 - 0) + 1). Suppose -3*w + 15 = d*w. Let q be g(w). Solve -2*f - f = q for f.
-4
Suppose -4*z - 12 + 40 = 3*h, -5*h + 32 = 3*z. Solve z*c - 5 = -1 for c.
1
Let y(i) = 3*i - 11*i - i**2 - 5 - 4. Let l be y(-6). Suppose -3*g = g - 8, n - l*g = -6. Solve 6*s - s = n for s.
0
Let w(y) be the first derivative of y**3/3 - 7*y**2/2 + 3*y + 3. Let i be w(7). Suppose -2*g - i*g + 34 = 4*r, 4*r = -g + 10. Solve 0 = 2*s - g*s for s.
0
Let w(n) = n**2 - n. Let s be w(2). Suppose 0 = -2*v - a + 2, -v + s = -0*a + a. Solve v = 2*o - 0 + 2 for o.
-1
Suppose 0 = -4*b + 8, -3*v + 0*b = -5*b + 4. Let g be (0 - v)*10/(-4). Solve -2*u = -g*u - 9 for u.
-3
Let w = -19 - -13. Let k = 17 + -28. Let o = w - k. Solve o*r - 8 - 7 = 0 for r.
3
Suppose 4*c - 25 + 5 = 0. Solve -2*u - 3 = c for u.
-4
Suppose 3*q + 13 + 5 = 0. Let m be (q/(-8))/((-3)/48). Let d = -8 - m. Solve -d*p - 12 - 8 = 0 for p.
-5
Let q = -3 + 5. Suppose 5 - 17 = q*h. Let d be (-75)/(-10) + h/4. Solve -4*x - d + 2 = 0 for x.
-1
Let d(w) = 2*w + 28. Let i be d(-13). Solve i*l - 3*l + 5 = 0 for l.
5
Let b(y) be the third derivative of y**6/120 + y**5/10 + y**4/6 - 5*y**3/6 + 2*y**2. Let z be b(-5). Solve 4*n + n + 25 = z for n.
-5
Let r(i) = i**3 - 13*i**2 + 13*i - 8. Suppose 2*u + 3*y = 39, -y - 79 = -5*u - 24. Let j be r(u). Solve g - j*g - 15 = 0 for g.
-5
Let b be (-3 - -2) + (7 - 3). Solve b - 1 = 2*u for u.
1
Let z(y) = -y**3 - 2*y**2 + 3*y - 1. Let w be z(2). Let a = 13 + w. Solve 2*m = -10 + a for m.
-4
Let r(j) = 2*j + 6. Let w be r(-6). Let q be ((-8)/w)/(6/45). Solve -10 = 4*p + q for p.
-5
Let z be 14/4 - 5/(-10). Suppose -9 = z*l - 5*l. Solve -l = -3*s - 0*s for s.
3
Suppose 0 = -4*t + 28 + 92. Suppose d - 5*d = -2*l - 24, -5*d + 3*l + t = 0. Suppose -4*h + d = -h. Solve -4*s + h = -6*s for s.
-1
Let j(h) = -3*h - 30. Let s be j(-10). Solve z + 2 = -s*z for z.
-2
Suppose 4*x - 16 = -4*c, 2*x + c = 8 - 1. Solve -m = -x*m for m.
0
Let l = -87 + 90. Suppose -5*m + 4*p - p = -16, 0 = -2*p + 6. Solve l*b = -1 - m for b.
-2
Let v = -2 - -4. Let z(k) = -k + 9. Let d be 68/8 - (-6)/(-4). Let a be z(d). Solve 2*i + a = -v for i.
-2
Let o be 5/((-75)/(-9)) - (-85)/25. Solve -4 = 2*f + o for f.
-4
Suppose -4*b + 35 = -17. Suppose -5*o + b = p - 1, 2*o - 4 = 0. Solve -p*u - u = 10 for u.
-2
Let v(p) = -p**2 - p + 2. Let q be v(1). Solve j - 1 + 4 = q for j.
-3
Let n(u) = -1 + 0*u + u - 3*u + 3*u. Let l be n(4). Suppose -1 = -l*t + 5. Solve j - t = -3 for j.
-1
Let l = 7 - -2. Solve l*j - 10 = 4*j for j.
2
Suppose 4 = -3*w + k, 0 = 5*w - 3*k - 2*k + 20. Suppose -2*x - 5*a - 4 + 0 = w, -x = a - 1. Solve 0 = m + x*m + 16 for m.
-4
Let b(g) = -2*g**3 + 5*g**2 - 2*g + 1. Let d be b(3). Let m be 22*(d/(-4))/7. Solve m + 1 = 3*j for j.
4
Let l(n) = -n + 10. Let x be l(0). Let g be 5*1*6/x. Solve 0*v + g = -v for v.
-3
Let y = -153 + 161. Solve -g - y = g for g.
-4
Let b be (-4)/18 - ((-145)/9)/5. Solve -b*r + 7 = -8 for r.
5
Suppose 5*d = 2*d + 15. Suppose d*j - j = 20. Suppose -6 = -j*i + 4. Solve -4*k + 3*k = i for k.
-2
Suppose -58 + 54 = -2*d. Solve -2*n = -d - 6 for n.
4
Let h be 8/3 - 8/12. Solve y + 6 = h for y.
-4
Suppose -4*s - 44 = -0*i - 3*i, -2*s = 4. Suppose y + 2*h + 24 = 5*y, 5*y - i = -2*h. Solve 7*r - y*r + 15 = 0 for r.
-5
Suppose -3*q