Solve 0 = y*p - 1 + a for p.
-1
Let y(w) = -w**3 - 25*w**2 - 24*w + 2. Let m be y(-24). Solve 0 = o - m*o for o.
0
Let u(g) = 7*g**2 + 2*g - 3. Let j be u(-3). Suppose 5*z = -15, 0 = 2*x + x + 3*z + j. Let y be (-6)/x + 8/5. Solve 0 = -y*q - q - 12 for q.
-4
Suppose a - 2*a = 4*o - 11, 27 = 3*o - 3*a. Suppose o*w - 16 = -4*p, -2*w - 3 = -p + 1. Solve -3 = -t - w for t.
3
Let r be 3 + -1 - (1 - -3). Let j(x) = x**3 + 2*x**2 - x. Let h be j(r). Let p be (-1 - h)/6*0. Solve p = -2*s + 2 for s.
1
Let h = 0 - -1. Solve h = 4*u - 3 for u.
1
Let m(j) = -j**3 - 13*j**2 + 8*j - 18. Let w(f) = -f**2 - 1. Let i(z) = m(z) - 4*w(z). Let s be i(-10). Solve s = -y - y for y.
-3
Suppose 0 = -g - 0*g. Solve -a + 0*a - 1 = g for a.
-1
Let k be (-3)/6 + (-28)/(-8). Suppose -17 = -h + 2*d, k*h + 5*d + 8 - 81 = 0. Solve h - 1 = 4*m for m.
5
Let j(c) = -2*c + 2. Let w be j(-2). Suppose 3*i = -3*l - 9, l - 2*i + 3 = -w*i. Let p(s) = -s**3 - 3*s**2 - s - 1. Let y be p(l). Solve k - y*k = -4 for k.
4
Suppose 4*h + 12 = 44. Solve h + 7 = 5*i for i.
3
Suppose -s - 2*s = 4*d - 27, -6 = 3*d - 3*s. Solve 2*c = 5*c + d for c.
-1
Suppose 0 = p - 5*f - 9, 2*p + 2 = -5*f + 5. Suppose -5*o + 27 = -8. Solve p*l + o = 27 for l.
5
Let v be ((-1)/((-2)/3))/(12/16). Solve 2*d + v = 6 for d.
2
Let s be 57*((-2)/5)/(6/(-5)). Solve 4*p = -7 + s for p.
3
Let w(z) = z**3 - 4*z**2 - 6*z + 8. Let l be w(5). Solve -l = -3*p - 0 for p.
1
Let q = 22 + -18. Solve f - q = -f for f.
2
Suppose -3*u - 3 = -15. Solve 0 = u*w + 2 + 2 for w.
-1
Suppose -b = 3*g + 12 - 0, -4*g - 16 = -3*b. Suppose v + b = -8. Let h = 9 + v. Solve h + 7 = 2*s for s.
4
Let q be 1*10*(-3)/(-2). Solve 0*p + q = -3*p for p.
-5
Let l be (-14 + (-6)/(-3))*(-6)/9. Solve 3*v - l = v for v.
4
Suppose -s + 3*j = -2*j - 24, -j = -2*s + 12. Let n = 142 - 142. Solve -4*q - s + 0 = n for q.
-1
Let n = 8 - 2. Let i = n + -5. Let s be i - -1 - -1*1. Solve -s = -2*g - g for g.
1
Suppose 21 = 4*u - 3. Solve -u + 2 = 2*m for m.
-2
Suppose 0*u = -5*u - 2*p + 22, -4*p - 40 = -4*u. Suppose -4*b + 2 = -u. Solve r - b = 3*r for r.
-1
Let j(z) = -z**3 + z**2. Let v be j(-1). Suppose v*x - 5 = 3. Let b = x - 2. Solve -r - b = 2 for r.
-4
Suppose 2*k - 3*h = -7*h + 16, 0 = 4*k + 4*h - 20. Solve 0 = -k*m + 7*m + 20 for m.
-4
Let q = -46 + 46. Solve q*i - 12 = -3*i for i.
4
Let u(d) = d**2 + 3*d - 38. Let y be u(-8). Solve -4 = -y*t - 2 for t.
1
Let i(t) = t**3 - 3*t**2 - t + 3. Let s be i(3). Suppose l - 4*l = s. Solve l = -z + 2*z for z.
0
Let l(m) = -m**2 - 9*m - 6. Let z be l(-6). Let a = 17 - z. Solve -h + a = -0*h for h.
5
Suppose -2*s + 29 = -5*c, s - 17 = -2*c + 5*c. Let l(v) = -v**3 + 3*v**2 - 2*v. Let f = 16 - 14. Let x be l(f). Solve s*y + 0 + 8 = x for y.
-4
Let c(h) = -h**3 - 5*h**2 - h + 1. Let x = -13 - -8. Let d be c(x). Solve -2 - d = 4*w for w.
-2
Let c be 1*(-38)/(-14) + (-14)/(-49). Solve -7 = c*l - 1 for l.
-2
Let m be -2 - 1/(-1)*1. Let v = m - -1. Suppose 0*u + 36 = 3*u. Solve v = 4*f - 0*f + u for f.
-3
Let t(l) = 2*l**2 - 19*l + 5. Let j be t(10). Solve -j = 3*w - 6 for w.
-3
Let t be ((-8)/(-3))/((-8)/(-12)). Let c(b) = -2*b - 3. Let a = -9 - -5. Let r be c(a). Solve -l + r = t*l for l.
1
Let g = -12 - -21. Let m be g/12 + 2/8. Solve 4*x - 9 = -m for x.
2
Let t(g) = 5*g + 2. Let m be t(4). Suppose -4*y = n - 1, -2 = 3*n - 5. Suppose y = -2*r + r. Solve r = 4*i + m - 6 for i.
-4
Let z be -3 - (-1 + -4) - -1. Suppose 0 = -2*w + z + 5. Solve -11 - w = 5*c for c.
-3
Let r = -9 - -16. Suppose 5*f = 3 + r. Solve -f*j - 2*j = 4 for j.
-1
Suppose 0 = i - 4*w - 78, -351 = -3*i - i + 3*w. Suppose 0*u + i = 5*u. Suppose 5*g + 6 = r - 3, 2*g = 4*r - u. Solve 8 = r*y + 28 for y.
-5
Suppose -2*p = -3*p. Let x be (-9 + 10)/(2/(-4) - -1). Solve -x*z + z + 5 = p for z.
5
Let r(b) = b**3 + 17*b**2 + 10. Let l be r(-17). Solve -2 = 4*s + l for s.
-3
Let a(w) = -7*w - 17. Let p be a(-3). Solve -p*x - 25 = x for x.
-5
Suppose -8*y = -4*y - 56. Solve -5*q - y = -4 for q.
-2
Suppose 5*t = -3*q - 19, 3*q - 3 = t + 8. Let v be q/8 - 249/(-12). Let w = v + -6. Solve p - w = -2*p for p.
5
Let j = 1 - -3. Suppose -j*s = 5 - 1. Let i = 1 - s. Solve 4*w + 18 = i for w.
-4
Let o(l) = -2*l**2 + l**2 + l + 0*l**2. Let w be o(3). Let i(t) = t**2 + 6*t + 6. Let p be i(w). Solve -z - p = z for z.
-3
Suppose -3*a - 2*a = 5. Let q be a - (-3)/((-6)/(-4)). Solve -q = j + 4 for j.
-5
Let j(m) be the second derivative of m**3/3 + m**2 - m. Let y be j(1). Solve y*h - 10 - 2 = 0 for h.
3
Suppose -11 = -4*u + 9. Solve 0*n - u = n for n.
-5
Suppose 28 - 88 = 4*d. Let s = -23 - d. Let y = -2 - s. Solve -y*j = -j for j.
0
Let f(i) = i**2 + 8*i - 8. Let u be (10/3)/((-4)/(-6)). Suppose p = -0*p - 4*o - 29, u*p + 40 = o. Let b be f(p). Solve -h - b = -2 for h.
1
Suppose -2 = 2*x - 4*x, -2*p + 11 = 3*x. Suppose -p = -0*d + 2*d. Let y be 2*d*15/(-6). Solve 0 = -4*g + 2*g + y for g.
5
Suppose s + 23 - 8 = 0. Let m = -11 - s. Suppose 6*z - 8 = 2*z. Solve 2 + z = m*y for y.
1
Let v = 8 - 7. Let l(a) be the first derivative of 2*a**2 - a - 2. Let w be l(2). Solve 0 = -2*t - w + v for t.
-3
Let w(c) = -2*c + 26. Let x be w(9). Suppose -5 = -0*g - g. Solve 0 = g*h - x + 3 for h.
1
Let m(w) = 4*w + 1. Let i be m(1). Solve -7 = -i*y - 2 for y.
1
Suppose 0 = -5*c + 2*c + 2*q + 13, -4*c + 22 = 2*q. Suppose -4*k = f - 7, -3*f - 1 = -c*k - 5. Solve 0 = 2*a - 1 + f for a.
-1
Let q(x) = x**2 - x - 1. Let n be q(3). Let p(s) = -s**2 - 6*s + 3. Let h be p(-7). Let r = h + n. Solve -r - 5 = 3*c for c.
-2
Let o = 61 + -60. Solve -26 + o = -5*d for d.
5
Suppose 3*u = -4*f + 2*f - 2, -10 = -3*f + 2*u. Solve 1 = 3*y - f for y.
1
Let j = 10 + -27. Let m = j + 18. Solve 3*n + 13 - m = 0 for n.
-4
Suppose 5*h - 3*m - 3 = h, 0 = 3*h - 4*m + 3. Solve j = h*j - 4 for j.
2
Suppose l = 4, 0 = p - 3*l - l + 30. Let w = -14 - p. Solve w*h - h - 4 = 0 for h.
-4
Suppose -5*g + 9 = -0*u - 4*u, 5*u = -3*g + 35. Solve 4*d + 0*d = u for d.
1
Suppose -7*k = -3*k. Solve k = 5*a - 19 - 6 for a.
5
Suppose 4*d - 5 = -1. Let x be 4/d - (3 - 4). Suppose 2*p = -10 + 40. Solve p = -5*u - x for u.
-4
Let o be (-13 + 13)*(-1 + 2 - 2). Solve -3*x - 3 - 9 = o for x.
-4
Suppose -2*l + 1 = -3. Solve l = -3*s - 1 for s.
-1
Let d(p) = p**3 + 10*p**2 + 10*p + 13. Let o be d(-9). Let f = o + 0. Let y be (-1 + 1)*f/8. Solve y = x - 0*x - 5 for x.
5
Suppose -2*f + 3 = 7. Let y be 21/42 + 1/f. Solve -4 = 4*l - y for l.
-1
Let q = -5 - -6. Suppose -3*a = u - 7, -a + q + 0 = 0. Solve 6 = u*z - 6*z for z.
-3
Suppose -5 = -h - 3*s, -10 = h - 3*h - 5*s. Solve h*l - 4*l + 3 = 0 for l.
-3
Let n = 0 + -3. Let b = -1 - n. Let p be ((3 - 1) + -1)*2. Solve -4 = p*s + b*s for s.
-1
Let c be 5 + -5 + 6*1. Let x = 4 - c. Let b(h) = -3*h - 3. Let g be b(x). Solve 1 = g*l - 2 for l.
1
Suppose -2 = 2*a - 2*n - 4, 0 = 3*a - 2*n - 8. Suppose -a = 2*o + 3*x, 4*x + 24 = 3*o - 1. Solve 2*l = o*l - 2 for l.
2
Suppose 4 = 11*p - 18. Solve 3*g = g - p for g.
-1
Suppose 0*c - 5*c + 2 = 3*g, -3*c - 24 = -g. Suppose -3*w - 22 - 5 = -5*l, -2*l + g = -3*w. Solve -3*q + q - l = 0 for q.
-3
Suppose -h = 4*h - 25. Suppose -h*c + 29 = -1. Solve a - 4*a + c = 0 for a.
2
Suppose -2*j = -5*n - 23 - 22, -3*n + 35 = 5*j. Solve -4*o - j = 2 for o.
-3
Let l = 5 + -9. Let d = 1 - l. Suppose 0*v + v + 21 = 5*n, 3*v + 13 = d*n. Solve 3 = v*k - 17 for k.
5
Let f(p) = -p**3 - 13*p**2 + p + 15. Let z be f(-13). Solve -9 = -z*j - j for j.
3
Let p(g) = 1 - 4*g + 2*g**2 - 5*g + 5*g - g**2. Let n be p(5). Solve 2*i = n*i - 8 for i.
2
Let h = 18 + -15. Suppose -q = 1 - h. Solve -4*p = -q*p - 6 for p.
3
Suppose 2*f - 8 = -2*f. Suppose 3*b + 5 = d, -2*b - 4*d + 20 = b. Suppose -x + b = -4. Solve f*t = -2*t + x for t.
1
Let j(n) = 5*n**2 - 6*n - 6. Let t be j(-3). Suppose -5*i + t + 78 = 0. Solve 4*f - i = -7 for f.
5
Suppose -3*m = -8 + 2. Solve 2*i = 6 + m for i.
4
Let w be (-42)/(-9) - 2/(-6). Solve 4*b = w*b for b.
0
Suppose -3*l = 9, 12 = 3*c - 0*l + 2*l. Let b = -3 + c. Solve 3*a - b = 2*a for a.
3
Suppose 2*y = 5*i + 24 + 2, -12 = -4*y. Let m = 0 - i. Solve m = -3*w - 5 for w.
-3
Let m be -7 - -5 - -1*7. Suppose -y = 3*y + 40. Let b be (-176)/(-40) - 6/y. Solve 20 - b = -m*h for h.
-3
Suppose -4*v + 2*x + 24 = 3*x, 4*v - 16 = x. Solve 0*f = 5*f - v for f.
1
Let b(f) = -f*