p = 1 + 5. Suppose 3*y + 27 = p*y. Let q be y/(11/4 + -2). Solve -2*c + q = 2*c for c.
3
Let i(x) be the first derivative of x**4/2 + x**3/3 + x**2/2 - x + 2. Let z(s) be the first derivative of i(s). Let o be z(-1). Solve -21 + 1 = -o*v for v.
4
Suppose -4*t = -5*t. Let s be -2*(t - (-7)/(-2)). Let j = -7 + s. Solve j*q + 3*q - 6 = 0 for q.
2
Let p(l) = -l**3 + 9*l**2 - l + 13. Let y be p(9). Solve 0 = y*u - 9 + 1 for u.
2
Suppose -6*a - 5 = -a. Let z be 1/(-5) - a/5. Solve 20 = -5*i - z*i for i.
-4
Suppose -2*w + 40 = 4*o, 4*w + w = -4*o + 52. Let d(l) = -2*l - o - 3*l + l**2 + 2. Let t be d(6). Solve -2*b + 8 - 2 = t for b.
3
Suppose 0 = 3*n + 3*g - 6, 0*n - 2*g + 4 = -2*n. Let z be (n/(-8))/((-4)/2). Let b = z + 1. Solve -7 = 2*m + b for m.
-4
Suppose -3*f + 11 = 4*y, 3*f - 10 = -5*y - 2*f. Let k be y/2 + 7/14. Let a be 0/1 - 14/(-14). Solve 4*m - a = k for m.
1
Suppose 2*l + l = 48. Suppose l = -k + 5*k. Solve -2*g + k = -6*g for g.
-1
Let w(g) = 6*g**3 + g**2. Let r be w(1). Suppose 2*d = r*d - 5. Solve 0 - d = q for q.
-1
Let r(b) = 5*b - 18. Let a be r(6). Solve -3*i + a = -3 for i.
5
Let s(b) = -b**3 + 11*b**2 - 2*b + 22. Let z be s(11). Solve z = 4*o + 6 + 6 for o.
-3
Suppose 0*m - 6 = -2*q + m, q = -m + 6. Suppose 27 = q*p - 5. Solve -z = 3*z - p for z.
2
Let c = 1 - 1. Let v(u) = -12 - u + 8 + c*u. Let f be v(-6). Solve 0 = -5*s + 4*s - f for s.
-2
Let y = 15 - 9. Let c = 10 - y. Suppose -c*s = -26 + 2. Solve 4*z - s - 2 = 0 for z.
2
Let u(y) = y**2 + 4*y + 8. Let s be u(-3). Solve -s = -a - 1 for a.
4
Let j = 27 + -21. Solve -j = d - 3*d for d.
3
Suppose -47*g = -59*g. Suppose -m - 2*m = -6. Solve v + g*v = m for v.
2
Let j = -15 + 5. Let c be (-2)/((j/(-3))/(-5)). Solve -5*n = -c*n - 2 for n.
1
Let t be (-4 + 1)/((-6)/4). Suppose 5*q + 3 = 8*k - 4*k, -4*q = -k - 2. Let y(z) = -z + 4. Let d be y(0). Solve -d*v = k + t for v.
-1
Suppose -2*l = -5*c + 16, 2*l - 5*c + 19 = -l. Let r = l + 4. Solve -1 = -q + r for q.
2
Suppose 2*n - n = 2. Suppose -n*h = -h. Suppose 4*l + 4*b - 16 - 44 = h, 0 = -3*b + 15. Solve -z = z - l for z.
5
Suppose 2*r - 15 = 9. Solve 3*n = -n - r for n.
-3
Suppose -6*f + 12*f = 12. Solve -f*i = i for i.
0
Let s be 4/(-5)*(-15)/(-2). Let f be (-18)/s - (0 + -2). Solve 10 + 5 = -f*g for g.
-3
Suppose -d = 3*u - 18, -4*u - 3 + 27 = -5*d. Suppose 0*c = 5*c - 10. Solve -c*v - u = v for v.
-2
Suppose 0 = 3*l - 5*u - 52, 5*l - 76 = u + 2*u. Let k be l/4 + (-3)/(-6). Solve -k*h - 15 = -h for h.
-5
Let m be (6/4 + 0)*-2. Let w be m + 2 + 1*4. Suppose -5*o - 40 = -7*o. Solve w*d - o = -d for d.
5
Let h(b) = -b**2 + 7*b + 8. Let s = 12 + -4. Let l be h(s). Solve -5*p = -l + 15 for p.
-3
Let z be -1*(1 + 2 - 4). Solve -2*i + z = -3*i for i.
-1
Let m = 9 - 9. Suppose -5*y = -o - 1, 5*o - 3*y - 35 = 2*y. Let c be (12/o)/((-1)/(-6)). Solve g + c - 3 = m for g.
-5
Let g = 47 - 27. Suppose 0*a = 4*a. Let q be (2/(-6))/((-10)/150). Solve a = q*s - g for s.
4
Let r be ((-3)/(-2) + (-3 - -2))*2. Solve -3*z - 10 = -r for z.
-3
Let f be (0 - 1)/((-2)/70). Suppose 29 = 5*y - 3*x, -4*y + 5*x = y - f. Solve b - 5 = -y*b for b.
1
Suppose -3 - 1 = -2*u. Solve -3 = u*x + x for x.
-1
Let w = -35 + 39. Solve -w*y + 5 = y for y.
1
Let o = 0 - 0. Let b = o - -4. Solve -5 - 3 = -b*a for a.
2
Let r be 40/18 + 4/(-18). Suppose 0*x - w + r = -x, 0 = x + w - 8. Solve 7 = x*s + 1 for s.
2
Suppose 0 = x + 5 - 32. Solve 5*f + 7 = x for f.
4
Suppose -5*p + 77 = 3*r, -5*r + 147 = p - 2*p. Let t = 41 - r. Suppose -2*d = -d. Solve -4*u - t = -d*u for u.
-3
Let k(z) be the third derivative of 0*z + 2*z**2 - z**3 + 1/24*z**4 + 0. Let n be k(11). Solve 4*l - n = 3 for l.
2
Let b(z) = 2*z - 7*z + 7*z - 1. Let c be b(4). Solve c*g + 15 = 2*g for g.
-3
Suppose 5*a + 5*t - 11 = -1, 0 = 2*a + 4*t - 2. Let v be (a/(-2))/((-1)/2). Solve -2 - v = c for c.
-5
Let f be 3/(1/(-2)*-3). Solve 3*p = p + f for p.
1
Suppose -5*l - 6 = -26. Suppose 0 = 6*h - 16 + l. Solve 4 = -2*a - h for a.
-3
Let v(y) = y**3 + 3*y**2 + 3*y + 2. Let h be v(-2). Let n = 18 - 18. Let w be 2 - ((n - -2) + h). Solve w = 2*p + 3*p for p.
0
Suppose -3*m - 7 = -3*a + 8, 0 = 5*a - m - 13. Suppose -a*h - 3*h = -40. Let t be (-4)/h*(-2 + 2). Solve -r - r + 10 = t for r.
5
Let j(u) = -u**3 - 7*u**2 - u - 6. Let g(h) = h**3 - 11*h**2 - 2*h + 15. Let f be g(11). Let s be j(f). Solve -4*m = -5 + s for m.
1
Suppose -2*h + 5 - 1 = 0. Suppose 0 = -c - 3*c - h*s - 4, 5*s + 10 = -2*c. Solve 2*a - a + 2 = c for a.
-2
Let m(l) = -7*l + 0*l**2 + 0*l**2 - l**2 - 5 + 0*l**2. Let w be m(-5). Solve -u = -w*u + 20 for u.
5
Suppose 20 + 34 = -3*c. Let k be (-2)/(-4) - 9/c. Solve -k = 3*s + 8 for s.
-3
Let u(t) = 2*t**2 - 5*t - 2. Let w be u(4). Solve -4*y = -w + 2 for y.
2
Let p(i) = -9*i**2 + 2*i - 1. Let r be p(1). Let q = -6 - r. Solve -q*n + n - 3 = 0 for n.
-3
Suppose 3*i - i = 2*f + 18, -39 = -5*i + 3*f. Solve 0 = -y - y + i for y.
3
Let p(r) be the third derivative of -r**5/60 + 5*r**4/12 + r**3/3 + 2*r**2. Let q be p(5). Solve 7 = 5*f + q for f.
-4
Suppose 0 = -0*p - 3*p + 3. Solve -c = -2*c - p for c.
-1
Let j be (13/2 + 2)*-2. Let c = j + 24. Solve -27 = -5*m - c for m.
4
Let l(q) = q**3 + 2*q**2 - 4*q - 1. Let j be l(-3). Solve 0 + 8 = j*a for a.
4
Let p = 11 - 1. Solve 0*t - p = -2*t for t.
5
Let k(m) = 2*m - 6. Let a be k(-9). Let t = a - -36. Let v(p) = p**2 - p - 4. Let l be v(3). Solve l*i = 5*i + t for i.
-4
Let i = 28 - 28. Solve -p - 2*p - 15 = i for p.
-5
Suppose -15 = -3*n + 3*o, -6*n - 3*o = -n - 1. Solve 2*w - n - 8 = 0 for w.
5
Let f be 5 - 6 - (0 + 1). Let g = 6 + f. Solve 0 = g*u - u for u.
0
Let a(t) = 9 + 2*t + 0*t + 4 - 3*t. Let i be a(10). Solve u - i = -0 for u.
3
Let g(o) = -o. Let c be g(3). Let i be ((-1)/3)/((-1)/c). Let j = 14 - i. Solve 2*s + s - j = 0 for s.
5
Let v(n) = n + 5. Let g be v(-5). Suppose -32 = -4*i - 0*i. Suppose i*u = 3*u. Solve g = -u*t + 3*t for t.
0
Let p(n) = -1. Let s(q) = -q - 1. Let k(y) = p(y) - s(y). Let o be k(4). Solve t + t + o = 0 for t.
-2
Suppose -3*x = 4*u - 19, -5 = -4*u + 3*x + 8. Solve 3*f - u*f + 4 = 0 for f.
4
Suppose -2*z + 5*z - 24 = 0. Solve 2*n - 2 = z for n.
5
Suppose 4*u + 0*u = 16. Suppose 5*w - w = -4*f - u, -4*w = -5*f - 32. Solve w = 2*o + o for o.
1
Suppose -q - 4 = -1. Let d be q/((-12)/(-16)*-1). Solve 5 = d*f + f for f.
1
Suppose 2*g - 25 = -5*k - 0*k, -3 = -k. Solve g*z - 4 = 6 for z.
2
Let a = -3 + 1. Let u be (-2 - 0)/(0 + a). Solve 1 + u = -y for y.
-2
Let l(o) = -o**3 - 2*o**2 + o. Let r be l(-3). Let i = 14 - 12. Solve -r - 4 = -i*z for z.
5
Let b(m) = m**2 - 3*m. Let i be b(4). Suppose 5*s - 19 = 4*d, -3*s + 4 = i*d - 1. Solve 2*k + 1 = s for k.
1
Suppose -18 = -4*w + 10. Let j = 13 - w. Solve j = -2*o + 14 for o.
4
Let h(y) = -y - 5. Let f be h(0). Let u be (-4)/20 + (-26)/f. Solve -1 = 2*s - u for s.
2
Suppose 12 + 12 = 3*d. Suppose -d*u = -4*u. Solve 0 = -3*s - u*s - 15 for s.
-5
Let l(u) = -2*u - 5. Let q be l(-5). Let b = 0 + q. Solve 3 = -2*r + b for r.
1
Let w(t) = 6 - 1 - 2 + 3*t**2 - t**3. Let k be w(3). Let q be (-456)/(-190)*(-15)/(-18). Solve -m - k = -q for m.
-1
Let b = 6 + -2. Suppose w + 7 = -c, 0*c - 5*c - w = 43. Let n = -9 - c. Solve n = -b*t + 12 - 32 for t.
-5
Suppose 3*f = 4*c - 11 - 3, c = -f. Let d(m) = -2 + c*m**2 + 4 + m - 1. Let q be d(-1). Solve -z = -3 - q for z.
5
Let r = -1 - -14. Suppose -v + r = 2*c + 3, -4*v - c + 12 = 0. Solve v*o - 4 = 6*o for o.
-1
Let c be (10/3)/((-2)/(-3)). Suppose 2*b - 2*d = 14, -6*b + b = -d - 35. Suppose b + c = j. Solve -j - 3 = 5*v for v.
-3
Let v be 28/(-35) - (-2)/(-10). Let f be (v - -1)*(-3)/(-6). Solve f*o = 2*o + 4 for o.
-2
Let t = 10 + -16. Let z be (-6)/(-21) + 4/(-14). Let i be 2*(z - 9/t). Solve -g = -0*g + i for g.
-3
Suppose -5*b + 4*u = 7*u + 77, -3*u - 12 = 0. Let s = -11 - b. Solve 3 = w + s*w for w.
1
Suppose -45*r + 41*r = 0. Solve -5*i - 10 + 0 = r for i.
-2
Suppose -2*m + 132 = 10*m. Let s(k) = -2*k - 4. Let x be s(-5). Solve -x*l = -m*l - 15 for l.
-3
Suppose -3*b = 5*t - 11 - 10, 10 = 5*b. Suppose 4*h - t*h - 4 = 0. Solve 6*y = h*y - 4 for y.
-2
Suppose -5*m + 9 = -16. Let u = -3 + m. Let y be 1/(u/(-4)*-1). Solve -y*f - 6 = f for f.
-2
Let x(s) = -s**3 + 7*s**2 - s - 6. Let i be x(6). Let d = i + -14. Solve 0 = -c - c - d for c.
-5
L