w = -3*r - 3, 2*w + f*r = -5. Solve 2*x + 5 + 5 = w for x.
-5
Let j(l) = l**3 + l**2. Let b(q) = -5*q**3 + 3*q**2 - 5*q - 2. Let y(x) = b(x) + 4*j(x). Let r = -4 - -10. Let s be y(r). Solve s*h - 2*h = 0 for h.
0
Let c be 18*1*(0 - -3). Suppose -3*y - c = -5*t, -5*y + 30 = -2*t + 7*t. Let s = -1 + 1. Solve 4*v - 7 - t = s for v.
4
Let z = 44 - 42. Suppose 3*g = g. Solve z*w = -g + 4 for w.
2
Suppose -5*n - 4*q + 70 = 0, -n - 4*q + 41 = 11. Let a = -2 - 0. Let x = n + a. Solve 8 + x = -4*m for m.
-4
Let p be -1*8/(-2)*-5. Suppose -r = -d + 12, -3*d = -4*r - d - 52. Let i = r - p. Solve i = 5*h + 1 for h.
1
Let t = 11 - -3. Let g = t + -14. Solve g*i + i - 2 = 0 for i.
2
Let b(t) = -t**3 - 9*t**2 - 8*t + 3. Let c be b(-8). Let x be (-40)/15*c/(-2). Suppose -4*u - 1 = -17. Solve 2*y + u = x*y for y.
2
Let w = 29 + -25. Solve w*c = 6 - 14 for c.
-2
Suppose -4*k = -2*a + a - 15, 3*k = 4*a - 5. Suppose -r + 0 = w + 6, -2*w - 5*r = 15. Let h be (12/(-10))/(2/w). Solve -h*m = -4 - k for m.
3
Suppose 5*d = -0*d + 60. Solve d - 2 = 2*h for h.
5
Let i(a) be the first derivative of -a**4/4 - 4*a**3 - 5*a**2 + 12*a - 3. Let v be i(-11). Suppose -d + 0*d = -v. Solve 0 = -f - 1 - d for f.
-2
Suppose 0 = -9*q + 5*q + 12. Suppose -q*n + 1 = i, 3*n = -n + 4*i - 4. Solve n = o - 4*o for o.
0
Suppose 0*u + 12 = 4*u. Let r(f) = f**3 + 8*f**2 + f + 10. Let k be r(-8). Let x be -3*k/u - -2. Solve -2*c = -x*c + 4 for c.
-2
Let y = 7 - 10. Let g = y + 6. Solve 13 = 2*a + g for a.
5
Suppose 2*y - k + 3*k - 12 = 0, -k = -5*y + 18. Let j(t) = -t**3 + 5*t**2. Let q be 2/((-12)/15)*-2. Let g be j(q). Solve -y*r + r + 12 = g for r.
4
Let u be -8 + 4/(-2) + 3. Let q = -3 - u. Suppose 3*g - q*w - 28 = 0, -2*w - 28 = -5*g - 0*g. Solve o - g = -5 for o.
-1
Let w be (4 - -1)*(-5 + 6). Solve -3*i = -4*i - w for i.
-5
Let p = 8 + -9. Let a = p - -4. Suppose -54 = -3*v - 2*x, 4*v + 4*x - a*x = 67. Solve 0 = -d + 5*d - v for d.
4
Let i = 10 + -4. Let b = -4 + i. Solve -b*u - 15 = -5 for u.
-5
Let a be 1 - -49 - 22/(-11). Let v = a - 33. Solve -4*q + 1 + v = 0 for q.
5
Let t be (4/14)/(2/28). Suppose t*l + y = 2, y = -2*l - y + 4. Solve -f - 5 = -l*f for f.
-5
Let l(c) = c**3 + 6*c**2 - c - 7. Let r(p) = -p**3 - 6*p**2 + p + 7. Let n(k) = 3*l(k) + 4*r(k). Let u be n(-6). Let j = u - -2. Solve z = -j*z for z.
0
Let g = -9 + 15. Suppose 0 = -3*d + 2*k - g, 5*d = 2*k - 11 + 1. Let x be (d/1)/2 + 2. Solve 0 = 5*a + x - 6 for a.
1
Let p(c) = c. Let u be p(7). Suppose i + 0 = 2*y - u, 3*y + 3*i + 3 = 0. Suppose -10 = -2*k + 3*q, 2*q - 2 + 0 = -3*k. Solve y + 4 = k*x for x.
3
Suppose 0 = -16*a + 11*a + 25. Solve 0*j = -a*j + 5 for j.
1
Suppose 3*c + 9 = 3*x, -c + 4 = 2*x - 2. Let p = 4 - c. Solve -2*r + p - 8 = 0 for r.
-2
Let t(c) = -c - 6. Suppose -6 = 5*g + 44. Let x be t(g). Solve x*j = j for j.
0
Let g = 5 + 0. Let a be -2 + g + (-1 - 2). Solve 0 = -5*l - a*l + 15 for l.
3
Let j be ((-20)/(-25))/(9/(-15) - -1). Solve 0 = -j*t - 0*t for t.
0
Let a(f) = 3 + 1 + 2 - f**2 - 3 - 7*f. Let h be a(-6). Solve 4*d + h = -3 for d.
-3
Suppose 15 = -4*p - 9. Let s be p/(-3 - -1) + 7. Solve 3*w = w + s for w.
5
Suppose y - 7 + 5 = 0. Solve 0 = -y*q - 2 for q.
-1
Suppose i - 3*m = -13, -i - 3*m = 1 + 24. Let h = -11 - i. Solve -h*z + 20 = -4*z for z.
5
Let k(m) = m**2 - 4*m. Let t be k(5). Let b(h) = 9*h**3 - h**2 - h + 1. Let v be b(1). Suppose -v*r = -5*r. Solve 0 = -r*o - t*o - 15 for o.
-3
Let u be 2/(-6) + 209/33. Suppose u*f = -2*y + f + 21, 6 = 4*y - 2*f. Solve y*g + 4 = 10 for g.
2
Let x = 3 - 1. Suppose 9 = 2*w + 3*l - 2, 0 = -2*w + 5*l + 3. Let s be 2/w*0/(-3). Solve x*i + i = s for i.
0
Let w = 41 + -33. Solve w = -3*g + 23 for g.
5
Let j(y) = -y**2 + 5*y - 4. Let w be j(4). Suppose -4*l + 2*a = 0, w = -5*l - 4*a - 13. Let n = 1 + l. Solve 2*c = -n*c - 8 for c.
-4
Suppose -32*g = -34*g + 30. Solve -2*f = f - g for f.
5
Suppose -6 = -4*b + 6. Let g be (-4)/(-6) + (-4)/6. Suppose g = 4*i - b*i. Solve i = -2*d - d for d.
0
Let v(b) = 4*b + 8. Let h be v(-2). Solve h = 2*z - z for z.
0
Let m be (-4)/(-2 - (2 - 2)). Suppose -24 = -k - 4*a - 9, k + m*a - 11 = 0. Suppose 2*w + 10 = k*w. Solve -3 = j + w*j for j.
-1
Suppose -7 = -g - 0*g. Let i = 11 + g. Let z be (-90)/(-24) - (-9)/(-12) - -4. Solve 5*p - i = z for p.
5
Suppose 0 = -4*r + 2*z + z - 119, 5*r + 144 = -z. Let h be 12/(-54) - r/9. Solve h*g - g = -4 for g.
-2
Suppose -1 = -5*x - 6. Let l(r) = 6*r**3 - 5*r**2 - 5*r + 6. Let d(v) = v**3 - v**2 - v + 1. Let w(n) = 5*d(n) - l(n). Let i be w(x). Solve s + 2 + 3 = i for s.
-5
Let x = -107 + 118. Solve x*n - 9*n + 2 = 0 for n.
-1
Let v(x) = 3*x - 13. Let r be v(5). Solve 5 = r*u - u for u.
5
Suppose -5*k + 13 + 2 = 0. Suppose 5*g + 4*n - 10 = -0*n, 2*g + n = 7. Let f = -1 + 4. Solve -g - f = k*o for o.
-3
Let d = -17 - -20. Solve 0 = 2*k + 3 + d for k.
-3
Let s = -1 + 3. Suppose 5*c = -s*f + 14, 5*f = -0*c + 3*c + 4. Let o be (0 + c)/(8/36). Solve -3 = -2*w - o for w.
-3
Suppose -2*m - 2*w + 28 = 8, -4*m = 2*w - 30. Solve 5*r + 0 = m for r.
1
Let d = 23 + -21. Solve -3*u - d*u = 20 for u.
-4
Let b = -41 - -41. Solve -5*n = -b*n for n.
0
Suppose 0 = 3*m - 5 - 7. Suppose -q = -6 + 1. Suppose q*y - 55 = -4*u, 2*u + 35 + 35 = 4*y. Solve -n + y = m*n for n.
3
Let k(u) = u. Let p be k(0). Solve p = 2*m - 5*m - 9 for m.
-3
Let w(b) = b**3 + 4*b**2 - 2*b. Let k be w(-4). Let m be (-174)/(-45) - k/(-60). Solve -p + 15 = -m*p for p.
-5
Let d be 1/(-4) - (-10)/40. Solve -s + d*s = -2 for s.
2
Suppose 1 = g - 5. Let o = g - 6. Solve 4*i - i - 12 = o for i.
4
Let n = 0 - 0. Let a = 1 - -6. Let q = a - 2. Solve n = -0*c - c - q for c.
-5
Suppose 3*l - 5*z + 55 = 0, 4*z = l - 2*l - 24. Let x be l/15*6/(-4). Solve -2*a = -3*a + x for a.
2
Let w(o) = 5 + 2 + 2*o**2 - 3*o**2 + 6*o. Let u be w(7). Let s be (-4)/(-6)*(5 + 1). Solve 16 = -u*y - s*y for y.
-4
Suppose 3 + 0 = p. Suppose t = 2*a - 4*a, 5*t = -p*a. Solve a*y - 2 = -y for y.
2
Let k = -3 + 5. Solve -k*h + 11 - 1 = 0 for h.
5
Let a be (-4)/(-6)*(-21)/(-7). Solve -a*k = k for k.
0
Suppose -12 + 2 = -2*m. Let f = -104 + 108. Solve m*l = l + f for l.
1
Let z(r) be the first derivative of -1 + 1/4*r**4 - 2*r + 4/3*r**3 + r**2. Let y be z(-2). Solve 6*h + 8 = y*h for h.
-2
Let a be (-122)/(-15) - 20/150. Solve 0 = h - 5*h - a for h.
-2
Let b = 11 + -9. Suppose 5 = 5*d, -2*i + d = 3*i - 19. Solve i*n + b = -2 for n.
-1
Let k(f) = 2*f - 8. Let l be k(6). Suppose 0*p - 34 = -2*s - 4*p, -p - 23 = -l*s. Solve -s*j + 3*j = 8 for j.
-2
Let z(w) = 3*w**3 - w**2 + 3 - 2*w**3 - 5*w**2. Let x be z(6). Suppose 2*v + x*v + 15 = -j, -2*v = 6. Solve -3*i - 2*i - 5 = j for i.
-1
Suppose -3 = -k, 4*s - k = k + 22. Solve s = -3*y - 8 for y.
-5
Suppose 3*x + 3*y - 3 - 3 = 0, 2*x = 5*y - 10. Solve 0 = -3*v - x*v for v.
0
Let w be 4/2 - (-13)/(-13). Solve w = -2*t - 7 for t.
-4
Let i be 44/5 + 1/5. Suppose -i = -5*x - 4. Solve c - 2*c = -x for c.
1
Suppose 6*w - 16 = 2*w. Let h be -4*w*3/6. Let u be 15*(h/(-6) + 0). Solve y - 5*y + u = 0 for y.
5
Let b(i) = i + 9. Let c be b(-9). Solve 2*v - 6*v - 8 = c for v.
-2
Let f(t) = 2*t + 7. Let w be f(-3). Solve x = -w - 3 for x.
-4
Let k be 1 + 1 + (4 - 1). Solve -4*p = p + k for p.
-1
Suppose 0 = -0*q - q + 11. Let l(y) = y**2 + 22*y + 24. Let p be l(-21). Solve q = p*s - 1 for s.
4
Let j be (-5)/(3*(-2)/6). Solve 0*l = j*l - 5 for l.
1
Let u be 1 - (-2)/(6/9). Let y(g) = g - 4. Let w be y(5). Let s be w*7 - (0 - 0). Solve 0 = u*n + s - 23 for n.
4
Let m = -8 - -7. Let w be (2 + m)*(0 - -19). Suppose 0 = -4*a + i + w, 2*a + 3*i - 24 = 3. Solve a*g - g = 0 for g.
0
Let f be (18/4)/((-2)/(-84)). Let k be (2/6)/(7/f). Solve 5*o - 2*o - k = 0 for o.
3
Let i = 36 - 33. Solve 3*t - 6 = -i for t.
1
Let t(v) = v**3 - 10*v**2 + 9*v + 9. Let s be t(9). Suppose 0 = -3*u - 0 + s. Solve -9 = u*g - 0 for g.
-3
Let c = 25 + -22. Solve c = 5*v + 8 for v.
-1
Let a be (1 - -5)/1 + 0. Suppose 0 = a*t - t. Solve -5*q = -t - 10 for q.
2
Let g = -4 - -4. Solve g = r + r for r.
0
Suppose 0 = 3*b - 3*t + 2*t - 16, 0 = -4*b - t + 12. Solve -5*w = -b*w - 3 for w.
3
Suppose 4*s - 75 = -s. Solve -6*d + s = -3*d for d.
5
Let a(d) = d**2 + 4*d + 6. Let q be a(-3). Solve 0 = -7*j + q*j for j.
0
Suppose -4*n = -5*n - 4. Let w(r) be the second derivative of -r