e 20 = l*w - a*w for w.
5
Let v(y) = -y + 4. Let p be v(4). Let n = -376 - -384. Solve 4*r + p*r = n for r.
2
Let p = 69 - 65. Solve 5*l - 6 = p for l.
2
Suppose -5*k - 3*v + 5 = -26, -2*v + 10 = 2*k. Suppose 0 = -2*s + 3*p + 24 - 1, -s + 14 = -2*p. Solve 0 = s*g - 2*g + k for g.
-4
Let p(g) be the first derivative of g**4/4 - 7*g**3/3 - 7*g**2/2 - 5*g + 1. Suppose 4*t = 34 - 2. Let v be p(t). Solve -v*d + 4 = 10 for d.
-2
Let u = 63 + -57. Solve 3 = -3*q + u*q for q.
1
Let q(f) = f**2 + 5*f + 5. Let w be q(-4). Let r = 4 - w. Let i = r - -5. Solve 4 = 3*p - i for p.
4
Suppose -2*s = -3*s + 3. Suppose -3*m = -s*n, -3*n - 14 = -5*m - 5*n. Solve 7 - 3 = -m*a for a.
-2
Let j(r) = -r**3 + 4*r**2 + 13*r - 6. Let o be j(6). Solve -5*t + t - 4 = o for t.
-1
Let w be (-2)/3*7/((-84)/54). Solve -5 = -2*l - w*l for l.
1
Let l(x) = x**2 + 7*x + 6. Let j be l(-6). Solve j = -2*n + 10 - 2 for n.
4
Suppose 5*l = 5*f - 5, -9*f + 4*l - 2 = -8*f. Solve -f*q = q - 6 for q.
2
Let j(u) = u**2 - 7*u - 5. Let v be j(8). Let f = -20 + 28. Solve -m = -v*m + f for m.
4
Suppose -b + 2*b = 3. Suppose 0 = t - 5*y + b, 0*y + 4*y = 2*t. Solve -t*k = -0*k + 6 for k.
-3
Let j = -15 + 15. Suppose -5*b + 3*d = -25, -2*b - 5*d + 2*d - 11 = j. Suppose 0 = 4*q - 2*q. Solve -b*t - 3*t - 10 = q for t.
-2
Let r be (-130)/(-35) + 4/14. Solve 3*h - 10 = -r for h.
2
Let l be ((-16)/6)/((-4)/6). Let d be l/(-2 - (-5)/2). Suppose 4 = u + 3. Solve 3*n + d = -u for n.
-3
Let j be (10*1)/((-2)/(-2)). Let a = -7 - -15. Let l = -8 + a. Solve l = -6*x + x + j for x.
2
Suppose -6 = 5*m - 31. Let d(w) = 2*w + 3. Suppose -j + 12 = 3*j. Let h be d(j). Solve 2*v = m*v + h for v.
-3
Let h(o) = -4*o - 1. Suppose 3*y + 3 = -0*y. Let d be h(y). Solve 2*b - 3 = d*b for b.
-3
Suppose 4*m - 9*m + 10 = 0. Solve -o = m*o + 12 for o.
-4
Let g be ((-4)/(-10))/((-4)/(-40)). Suppose 0 = 2*b - 0*b. Suppose g*h = -b*h. Solve 3 = -k - h for k.
-3
Let n be 0*((-1)/(-2) - 1). Solve 2 = 2*b - n for b.
1
Let r be 13/(-3)*(-18 - -15). Suppose -5*y + 5*u + 22 = -r, -2 = 4*y + 2*u. Solve y*l + 10 = -3*l for l.
-2
Let n(i) = -i**3 - 17*i**2 - 15*i + 14. Let c be n(-16). Let w be (-20)/25*5/c. Solve 3*b + 2 = w*b for b.
-2
Suppose -4*y + j + 72 = 0, 3*y + j + 21 = 4*y. Suppose 5*u = -q + u + 9, -y = -3*q - 2*u. Solve -2*h = -q - 3 for h.
4
Let y(b) = -b**3 - 8*b**2 + 10*b + 12. Let p be y(-9). Suppose -q = -p*q. Solve q = g - 2*g + 5 for g.
5
Let s(f) = 2*f**2 + 3*f + 25. Let c(r) = r**2 + 2*r + 12. Let a(o) = -13*c(o) + 6*s(o). Let g be a(-5). Let q be (1 + 0)*(g - 4). Solve 8*p = q*p + 12 for p.
4
Suppose -4*o + 85 - 17 = 0. Suppose 3*v = 3*c + 3, -2*c + o + 2 = 5*v. Solve h + 20 = -v*h for h.
-5
Let r = 162 + -86. Suppose 5*j - 24 - r = 0. Suppose -4*k + j = 0, g + 4*k = -0*g + 23. Solve -4*q - g = -q for q.
-1
Let f(b) = -b**3 + 11*b**2 - 2*b + 26. Let i be f(11). Suppose 0 = j - 4*j + 3. Solve -o = i - j for o.
-3
Let x be (-12)/7 - 8/28. Let i be 18*-2*x/12. Solve -m = -i*m + 10 for m.
2
Let l = 0 + -5. Let h be ((-9)/l)/(12/40). Solve -1 = m - h for m.
5
Suppose -2*a = -0*a + 4*j - 18, 0 = a - 4*j + 3. Solve 0 = -a*h + 2 + 8 for h.
2
Let r(h) = h**2 + 10*h - 36. Let d be r(-13). Solve 2*a + a + d = 0 for a.
-1
Suppose -4*h = -9 - 39. Solve -h = -5*c + 13 for c.
5
Let w(k) = -7*k - 2. Let g be w(-1). Solve 12 = r - g*r for r.
-3
Let u(z) = -z**2 + 1. Let b(l) = 9*l - 3. Let w(r) = -b(r) + u(r). Let n be w(-8). Solve -4*o - n = 4 for o.
-4
Suppose -6*b = -0*b. Solve 0 = 2*t - b*t for t.
0
Let r(p) be the second derivative of p**5/20 - 3*p**4/4 + 3*p**3/2 - 4*p**2 - p. Let x be r(8). Let d be (-3 - 1/(-1)) + 5. Solve t = -x*t - d for t.
-3
Suppose 3*j = 56 - 11. Solve 10*l + j = 5*l for l.
-3
Let a(g) = 2*g**3 - 2*g**2 - g + 2. Let t be a(2). Let v = -1 + t. Let n(k) = 2*k - 2. Let y be n(v). Solve -4*q - 4 = y for q.
-4
Suppose 4*l + 2*m = 3*m + 4, 12 = -3*m. Solve l = -2*u + 3*u for u.
0
Suppose -4 = -h - 3*x - 16, 2*x + 73 = -5*h. Let m = h + 17. Solve 7 - m = o for o.
5
Let v be 0/1 + (3 - 1). Suppose -4*q = -0*q - 100. Suppose q = 5*d, -v*d + 4 = i - 9. Solve b + i = 1 for b.
-2
Let f be (-6)/(-30) - 116/(-20). Solve 0 = -5*u - 19 - f for u.
-5
Let x(o) be the third derivative of o**5/60 - o**4/12 - o**3/3 - 9*o**2. Let w be x(-2). Solve 0 = -4*u + 2*u + w for u.
3
Let u be 1/(1*(-2)/(-14)). Let w = u - 4. Let h(i) = 2*i**3 - i**2 + 1. Let d be h(1). Solve w*m = -4 - d for m.
-2
Suppose 0 = -g + 2*i - 1, 3*i - 16 = -4*g + 2. Solve 6*l - g*l - 9 = 0 for l.
3
Suppose 5 = -6*l + 23. Solve 0 = -0*t + l*t - 3 for t.
1
Suppose 0 = w + 4*d + 17, w - d - 7 = -19. Let s = w - -29. Solve -4*c + 0 - s = 0 for c.
-4
Let q(a) = -4*a - a + a**2 + 2 + 0. Let s be q(5). Suppose -5*m + 30 = b - 10*m, 0 = -s*b - 2*m. Solve b*u - 3*u + 8 = 0 for u.
-4
Let j = 19 - 13. Solve -5*w = -j*w + 2 for w.
2
Let k be (-65)/25 + (-6)/(-10). Suppose -4*b = -3*b + 2. Let o be 0 - (-5 - k/b). Solve -4*r + 14 = -o for r.
5
Let h(n) = -n - 9. Let b be h(-10). Solve -b = -2*f - 9 for f.
-4
Let z(w) = 6*w. Let u be z(0). Solve -3*k + 4*k - 3 = u for k.
3
Let f(a) = 3*a**3 - a**2 - 5*a + 1. Let j(k) = 2*k**3 - 4*k + 1. Let x(z) = -3*f(z) + 4*j(z). Let d be x(2). Solve -3*l - 12 = -d for l.
-3
Let d(x) = 2*x**2 + 7*x. Let r(w) = w**2 + w - 1. Let m(c) = d(c) - 3*r(c). Let y = -11 + 15. Let z be m(y). Solve z*l = -0*l for l.
0
Let x be 1/3 - 5/(-3). Solve 0*m = -x*m + 4 for m.
2
Suppose 0 = -2*j - j. Let n be (j + 0)/((-2)/2). Suppose 2*m - 3*m = n. Solve m*q - 2*q = 0 for q.
0
Let m(o) = 7*o - 20. Let i be m(4). Solve -2*c - 2*c = -i for c.
2
Let t be 26/10 - (-4)/10. Solve -5*b + t = -17 for b.
4
Suppose -k - 3*k - 24 = -2*g, -3*g - 19 = 5*k. Suppose 0*q + q - 4 = 0. Let r be (q/(-6))/((-1)/3). Solve -a + r + g = 0 for a.
4
Let z be (3/1 - 4) + 7. Let q(u) = -u + 11. Let y be q(z). Solve y*f - 3 = 2*f for f.
1
Let v(d) = -5*d - 3. Let s be v(-5). Suppose -7 = -2*m - 5*g, 0 = 5*m - g - 9 - s. Solve 0 = -m*j + 7*j - 2 for j.
2
Suppose 0 = 5*u + 5*s + 10 + 50, -3*s = 12. Let z(r) = r**3 + 9*r**2 + 8*r. Let j be z(u). Let l be 0*(1 - 0)*1. Solve -2*c + j + 6 = l for c.
3
Let c(k) = -k**2 - k + 2. Let s be c(-2). Solve -7*y + 3*y + 20 = s for y.
5
Let o(c) = c**2 + 4*c - 6. Let k be o(-5). Let t = k - -1. Suppose 5*p = -2*d + 8, -12 = -t*d - 3*d + 4*p. Solve -d*n - 12 = -0*n for n.
-3
Suppose 8 = -5*f - 22. Let m be (f/(-2) - 3) + 5. Solve -3*q = -2*q - m for q.
5
Suppose 3*u + 3*h - 16 = 4*h, 2*h - 10 = 0. Solve -2*t + u*t = 20 for t.
4
Let m be (1 - 1/2)*6. Suppose 0 = -g + m. Let l be 77/5 - 4/10. Solve 0 = g*v + l - 0 for v.
-5
Suppose 5*w + 25 = 2*t, -3*w + 19 = 5*t - w. Let q(m) = -2*m + 40. Let s be q(20). Let a = -2 - -5. Solve y + t - a = s for y.
-2
Let c(o) = -o**2 - 3*o. Let v be c(-2). Solve s = -v*s for s.
0
Suppose 4*m - 5*m + 5 = 0. Let r = 5 - m. Solve r = -q + 3*q for q.
0
Let w(y) = -y**2 - 4*y + 7. Let r be w(-5). Let q(h) = -3 + 3*h**3 - h**r + 2*h**3 - h**3 + 4*h - h**3. Let u be q(2). Solve 0 = -6*a + a - u for a.
-5
Let i = 3 + -1. Solve 1 = i*l + 3 for l.
-1
Suppose -3*m + 2 = -n - 1, -3*n - 1 = -5*m. Let q be -5 + 4 - (-4)/m. Let u be 0*1/(-2)*q. Solve -25 = -5*t - u*t for t.
5
Let y(v) = 20*v**2. Let j be y(-1). Let m = -14 + j. Solve 0 = 3*w + 3 - m for w.
1
Let q = -75 + 79. Solve 0 = 2*h - q*h + 8 for h.
4
Suppose -3*h = -4*b - 21, 4*b = -5*h - 0*b + 3. Solve -h*c = -4*c - 4 for c.
-4
Let q(j) = 3*j**3 + j**2 + j - 1. Let u be q(1). Solve u*p + 0 = 16 for p.
4
Suppose 2*o - 18 = n, -18 = -o - o - 4*n. Suppose 21 = 3*c - 3*k - o, 0 = -c - k. Solve -c*w - 8 - 12 = 0 for w.
-4
Let a(w) = -w**2 + 7*w - 4. Let c be a(7). Let m = c - -8. Solve s - 3*s - m = 0 for s.
-2
Let c be 4/8 + 7/2. Solve o + 15 = -c*o for o.
-3
Suppose 3*q + 7*q - 50 = 0. Solve 9 = q*t - 1 for t.
2
Let a be ((-3)/1)/1 + 3. Solve -2*v - v - 9 = a for v.
-3
Let j(p) = -2*p + 1. Let s be j(-5). Solve s + 9 = -5*a for a.
-4
Let i be (-3 + 4)/((-1)/(-4)). Solve -7 = -i*w + 5 for w.
3
Suppose -3*m + 3*t = 2*t - 9, 3 = m + 4*t. Suppose -o = m*g - 5, -5*o + 6 + 2 = -2*g. Solve -o*w = -7*w for w.
0
Let v(t) = -7*t + 43. Let b be v(6). Solve 2*p + b = 3 for p.
1
Suppose 0*h = 6*h - 24. Solve h + 11 = -5*y for y.
-3
Suppose -2*g + 4*t + 12 = 0, 3*g = 2*t - 3*t - 3.