s) = s**3 - 5*s**2 - 2. Let u be m(5). Let b be -1 - u - 2*-1. Suppose 4*v + 32 = -p + 3*p, 5*p - b*v = 59. Solve 5*k + 0 = p for k.
2
Suppose 5*c = 4*c + 3. Let k be 4/(-14) + (-16)/(-7). Suppose t + c = k*t. Solve 11 = -2*o + t for o.
-4
Suppose 5*h = -5*r + 75, 5*h + 0*r - 63 = -2*r. Let l(v) = v - 10. Let c be l(h). Let a be (3/6)/c*4. Solve -a*n = n - 12 for n.
4
Let g(d) = -d**3 + 11*d**2 - 10*d + 3. Let w be g(10). Solve 0*r = w*r for r.
0
Let g = -54 + 56. Let x = 2 + -1. Solve g = -u + x for u.
-1
Suppose 0 = -2*a + 1 - 7. Let q = -25 - -5. Let c be (q/6 + 2)*a. Solve -3*s - c = 5 for s.
-3
Suppose k = 3*o - 11, -2*o + 0*k = 3*k - 11. Solve -m + o = -0*m for m.
4
Suppose 0 = -2*j + 4 + 4. Solve -5 = j*k + k for k.
-1
Let i(l) = -l + 5. Let a be i(4). Let d(v) = -v**3 + 10*v**2 + 2*v + 1. Let m be d(10). Solve -m + a = -4*f for f.
5
Let j = -10 - -6. Let v be 3/1*j/(-6). Solve -v*h + 5*h + 6 = 0 for h.
-2
Suppose 11 = 4*v - 5*k, -3*v = -5*v - 3*k + 11. Suppose 5*o - 4*o = v. Let f = o - 4. Solve f = s - 2 - 2 for s.
4
Let t = 32 - 29. Let n be (-4)/(-10) - (-8)/5. Solve -n*g - t*g = 0 for g.
0
Suppose i - 2*i - 30 = -5*f, 2*i = -4*f + 10. Let a be 0/(-2)*i/(-15). Solve b = -a*b for b.
0
Let q = -15 + 33. Suppose 2*r - q - 2 = 0. Solve -2*l + 0*l = -r for l.
5
Let u be ((-5)/(15/(-48)))/2. Suppose u = s + s. Solve -z - s = 1 for z.
-5
Suppose 5*l + 9 = -6. Let a = l - -8. Solve 12 = a*r - r for r.
3
Let g = -9 - -8. Let y be (-7)/(-21)*(g - -1). Solve 2*h + 2*h - 20 = y for h.
5
Let a be ((-20)/8 + -3)/((-2)/4). Suppose -3*i = g - 3, 0 = g - 0 - 3. Solve 4*b - a - 5 = i for b.
4
Suppose 0 = -w - w + 6. Solve -c - 8 = w*c for c.
-2
Let s = 2 + -1. Let l be s*(-9)/6*4. Let h = l - -12. Solve -2*i - 4 = -h*i for i.
1
Let d(u) = u - 2. Let b be d(2). Solve b*n - 9 = -3*n for n.
3
Let w be 80/12 + -6 + 25/3. Let l = 14 - 10. Suppose l*a - w*a = -20. Solve 3*y + 5 = -a for y.
-3
Suppose 2*f - 3 = 4*f - 3*y, 0 = -2*f + 2*y. Suppose 4*p = -2*n + 28, n = -5*p - f*n + 41. Solve 9 = 2*v - p*v for v.
-3
Let b be (0 - 1)*(-4 + 0). Let p be (-1)/(1 - b/3). Let x be (-10)/(-1*3/p). Solve -4*y + 2*y = x for y.
-5
Let d(u) = 4*u**2 + u. Let o be d(-1). Solve o*y = -2*y for y.
0
Suppose 5*w - 23 = -0*d + 2*d, -5*w + 19 = -d. Suppose 4*t + 4 = 2*q, -3 = 4*q + 3*t - 0*t. Suppose -k + w - 2 = q. Solve 0 = 2*l + k + 3 for l.
-2
Let x = 14 + -23. Let g = 7 - x. Solve w = -3*w + g for w.
4
Suppose -d - 2*d = -9. Solve d*q = 4*q - 4 for q.
4
Suppose -2*f + f + 5 = r, -4*r + 4*f = -20. Suppose r*n - 3*o - 36 = -7*o, 4*o = -4*n + 32. Solve -n*v + 18 = -2 for v.
5
Suppose c + 5*d - 20 = -c, 4*c + 20 = 5*d. Let t be (-2)/(1 - 0)*-1. Suppose 3*q - 2*b + 0 = 23, 4*b + 21 = q. Solve c = -7*k + t*k - q for k.
-1
Suppose -7*d + 0 + 14 = 0. Solve -d*f = 2*f for f.
0
Suppose 19 = 2*u - 11. Solve -4*o + u = -9*o for o.
-3
Let t be (28/6)/((-8)/(-12)). Let l(f) = f - 7. Let a be l(t). Let j = a - -4. Solve 24 - j = 5*n for n.
4
Let q be 6/((33/4)/11). Solve -3*u = q + 4 for u.
-4
Suppose -a - 7 = 4*b - 20, -4*a = -4*b - 12. Suppose 0*v - 11 = -a*g + v, 3*v - 3 = 3*g. Solve -j - 6 + g = 0 for j.
-3
Let j(v) = 2*v**3 - 4*v**2 + 3*v - 1. Let t be j(2). Suppose h + 4 = t. Solve 4*o = 13 - h for o.
3
Suppose -5*g + 11 + 68 = 4*z, 2*g - 5*z - 25 = 0. Suppose 3*l + 2*l = g. Let p be ((0/(-1))/l)/2. Solve -5*x + 4*x - 2 = p for x.
-2
Let j be (-136)/(-40) - 2/5. Solve -2*v + 7 = j for v.
2
Let k(h) = -3*h - 6. Let v be k(-4). Let t be ((-16)/10)/(14/(-35)). Suppose -6 = -4*u + 22. Solve -t*c - v = -u*c for c.
2
Let v(d) = -4*d - 1. Let j be v(-1). Suppose -4*n + 10 = j*p, -p = -4*n + p + 20. Solve n*q - 3*q = 4 for q.
4
Let s be (5 - 1)/2 - 0. Suppose s*l + 1 - 7 = 0. Let j = -1 - -7. Solve -l*y + 9 = -j for y.
5
Let t be 7/(14/4) - -1. Solve -9 - 3 = -t*b for b.
4
Let l(o) = -o**3 + 5*o**2 - 2*o + 1. Let h be l(4). Let v be 0 + 6 - (-2 + 4). Let t be v/(-22) - 2/(-11). Solve 3*i + h = -t for i.
-3
Let y(h) = -h + 8. Let k be y(4). Let b = 13 - 8. Solve k*z - b*z - 4 = 0 for z.
-4
Suppose -5 - 3 = -2*j. Suppose j*y + 4 = 5*y. Let q be (-14)/(-63) + y/(-18). Solve q*p = 4*p + 12 for p.
-3
Let j = -2 + 6. Let b(t) = -t**3 + 5*t**2 - 2*t - 2. Let i be b(4). Suppose w = j*w - i. Solve -4 = -2*y - w for y.
1
Let x be (1 - 2/6)*6. Suppose -3 = -5*s + 3*i, -x*i - 6 = -s - 2. Suppose -5*d + 0*d = s. Solve d = -4*u - 23 + 3 for u.
-5
Let x(r) be the first derivative of -r**4/4 - r**3 + r**2/2 - 4*r + 1. Let u be x(-4). Let l be 2/3 + (-20)/(-6). Solve 0 = -l*c + 2*c - u for c.
-4
Let n(z) be the first derivative of -z**3/3 - 5*z**2 - 9*z - 6. Let c be n(-8). Solve -d + 3 = c for d.
-4
Let o = 26 + -24. Solve o = 2*z - 2 for z.
2
Let g = -21 + 26. Solve z - g = -1 for z.
4
Suppose 0 = 2*u - 13 - 13. Suppose 0 = y + 5*x - 10 - 3, -5*y + x = -u. Solve -p = y*p for p.
0
Suppose -3*i + 33 = -g - 2*g, 0 = -3*i - 4*g + 26. Suppose 3*n + 5*v = -n + 7, 0 = -3*n + v + i. Solve 0 = x + 2*x - n for x.
1
Suppose 7*o = 5*v + 3*o - 12, 2*v = -2*o + 12. Let h = -3 + v. Solve -11 = -5*n - h for n.
2
Let c(o) = -o**3 + 3*o**2 + o. Let g be c(3). Suppose -4*w - m - m = -8, 2*w - m = 8. Solve -g*u + 0 = w for u.
-1
Suppose 4*z + 3*f - 21 = 4*f, 3*z + 3*f - 27 = 0. Let n = z - 3. Let s(j) = j + 7. Let b be s(-5). Solve -n*i - 4 = b for i.
-2
Let o be (-55)/(-20) + 2/8. Solve -4 - 2 = -o*p for p.
2
Let x(f) = 13*f - 5. Let h(n) = -3*n + 1. Let l(u) = 9*h(u) + 2*x(u). Let j be l(-3). Solve 5*q + j = 3*q for q.
-1
Let x be (-3)/(-4)*1*4. Let z be 2 - 6/9*x. Let g be z + 1 - 8/(-4). Solve 4 = -2*v + g*v for v.
4
Suppose -42*m + 47*m - 45 = 0. Solve -m = -2*x + 5*x for x.
-3
Suppose 4 = -3*c + 1. Let f be -5 + 3 - 2*c. Solve 0 = 3*s + 3 - f for s.
-1
Let d = -22 + 24. Suppose 4*v + 3*f = 11, -3*v - 5*f + 7 = -d*v. Solve -m = v*m for m.
0
Suppose 5*m - 15 = -5*z, -z - 5 = -2*z. Let c = 9 + m. Let t = c + -2. Solve 0 = -2*j + t + 3 for j.
4
Suppose 2*z - 2 = 2. Suppose 2*s + z*s = -3*x + 9, 0 = s - 5*x - 8. Suppose 5*o = 2*d - 1, 0*d + 14 = 5*o + s*d. Solve 0 = -3*h + 4 - o for h.
1
Suppose 2*y = -y. Let b be (-1 - y)/(7/(-35)). Solve 7 = -3*x - b for x.
-4
Let r(c) = c**2 + c. Let b be r(-2). Suppose 0 = -2*i - 3*o - b, 3*o + 4 = -2. Solve -i*x = x + 15 for x.
-5
Let y(t) = t**2 - 2*t - 4. Let h be 104/(-24) + 2/6. Let j be y(h). Solve -3*l + j = l for l.
5
Let x be 3*(-4)/(-9)*6/4. Suppose -4*l - 4 = 5*h, -l + 0*h = -3*h + 18. Let f be 3/l + (-11)/(-2). Solve f = x*c + 3*c for c.
1
Suppose -36 = 5*o - o. Let g = 19 + o. Solve 0*l + 5*l = g for l.
2
Suppose 10*g + 2 = 12*g. Solve -3 = 4*x + g for x.
-1
Let c be 2/9 - (-632)/72. Solve -6*l - c = -3*l for l.
-3
Let f = 3 - 1. Suppose -7*b = -3*j - 2*b + 1, -j = -2*b. Suppose 6*i - j*i = 56. Solve 4*w - f = i for w.
4
Let h(u) = -u**2 - 7*u + 6. Let v be h(-7). Suppose -v = 2*y - 5*y. Suppose -o = y*p - 10, -6 = -4*p + 10. Solve -2*q - 12 = o*q for q.
-3
Let a be 7*(1 + -2) - 0. Let v = a + 10. Let r(g) = -g**2 + 12*g - 12. Let y be r(8). Solve 0 = -8*h + v*h + y for h.
4
Let z be (-80)/(-44) - (-4)/22. Let h be 0 + 11 + (1 - z). Solve -3*o + h = -2 for o.
4
Let t(i) = -5*i**3 - i**2 - i. Let o be t(-1). Solve o*b = 2*b - 6 for b.
-2
Suppose 3 = 5*c - 12. Suppose -c*k + 7*k = -36. Let h = -5 - k. Solve -b + h = b for b.
2
Suppose 0 = -5*n - 25, -3*l + 5 = -3*n + 2*n. Suppose 2 = -2*v - l*v + b, 3*b = -12. Let h be -2 + (-1)/(v/21). Solve h*c - 10 + 0 = 0 for c.
2
Suppose 5*p = 5*y + 15, -y = 2*p + 2*p - 7. Suppose 0 = -p*g + 21 + 9. Solve -5*v + 0*v = g for v.
-3
Let w(o) = o**3 - 5*o**2 + 3*o - 4. Let f be w(4). Let x = -5 - f. Solve -1 = v - x for v.
2
Let j(v) = v**2 - 7*v + 9. Let q be j(6). Solve o + 10 = q*o for o.
5
Suppose 6*z = 5*z + 3. Let t = 18 - z. Solve -2*g - t = -5*g for g.
5
Let x be (16/2)/(-2) + 0. Let o = x + 14. Let k = o + -6. Solve d - 2 = -k for d.
-2
Let d(z) = z**2 - z - 7. Let f be d(4). Solve f*a = a for a.
0
Let m(x) = -20*x**2 - x + 1. Let u be m(-2). Let p be -1 + (2 - 3) + -50. Let l = p - u. Solve 0*r = -5*r + l for r.
5
Suppose 0*y + 4*f + 46 = 2*y, 0 = y - 5*f - 32. Solve 2 - y = -3*o for o.
5
Let q(w) = w**3 - 5*w**2 - 5*w - 1. Let k be q(6). Suppose 4*x + 1 = 4*p + x, -5*x = -4*p - 1. Let v be p/((-15)/(-6) - 2). Solve k*s + v -