e 20 - o = -4*x for x.
-4
Let h = -12 + 15. Suppose 3*f = 2*m - 0*m - 2, h*m = -3*f + 18. Solve -g - m*g = 0 for g.
0
Let v(n) = 2*n**3 + 20*n**2 - 19*n + 43. Let c be v(-11). Solve 5*y + 0 = -c for y.
-2
Let f(k) = 13*k - 23. Let l be f(2). Solve v - l*v = -8 for v.
4
Let k(y) = y**3 + 10*y**2 + 11*y + 18. Let s be k(-9). Solve -6*f = -s*f + 18 for f.
-3
Let c(p) be the third derivative of p**4/24 + 4*p**2. Let k be c(3). Let s be (6*-1)/k*-2. Solve 3*m + 2 = s*m for m.
2
Let g(x) = -10*x - 81. Let u(z) = 2*z + 16. Let b(k) = 2*g(k) + 11*u(k). Let j be b(-6). Suppose -3*l = -j*y - 20, -32 = -l - 2*l + 5*y. Solve o + l = -o for o.
-2
Suppose -64*c + 23*c = -451. Solve -17*s + 23 + c = 0 for s.
2
Let y = 90 + -71. Suppose -y - 9 = -7*s. Solve 0 = -s*q - 2 + 10 for q.
2
Suppose 33*g - 80 = 23*g. Solve -2*p + g = 2*p for p.
2
Let c = -150 + 165. Solve -n + c = 4*n for n.
3
Let g be (-5 - -10)*(1 + 6/(-10)). Solve g*s + 10*s = -24 for s.
-2
Let f be -2 - ((-12)/3 + 6). Let n be 4 - (0 - (3 + f)). Solve 0*q - 3*q - n = 0 for q.
-1
Let d(r) = r + 2. Let n be d(-1). Let v be (0/(-3))/(0 - n). Let q(z) = -z**3 - 4*z**2 - 2*z - 5. Let k be q(-4). Solve -k*u = -v*u - 3 for u.
1
Let s be (-1)/(-1) + 3 - (-1 + 5). Suppose -1 = -2*q + 7. Solve s = -3*v + 8 + q for v.
4
Suppose -104 = 5*g + 66. Let v = 36 + g. Solve -v*f - 4 = -f for f.
-4
Let d(b) = -b**2 - 4*b + 7. Let k be d(4). Let p be (-7)/((-7)/36) - (4 - 1). Let t = p + k. Solve -w - 3 = -t for w.
5
Let k(x) = -x + 19. Let p be k(16). Suppose 21 = p*n + 2*n - 4*r, 3*n = 4*r + 11. Solve -n*t - 12 - 3 = 0 for t.
-3
Let o be (-1 + 3 - -6)*9/9. Solve 2*d - 4*d = o*d for d.
0
Let j be 4/9 + 184/72. Let k be j + -1 - (-5 + -5). Solve 3 = -3*t - k for t.
-5
Let i be (-12 + -16 + 11)/(-1*1). Solve 12*s - i*s + 10 = 0 for s.
2
Let j(o) = 8 - 300*o + 11*o**2 + 305*o - 9*o**2. Let a be j(-2). Solve -a = x + x for x.
-3
Suppose 0 = 2*r + 4*o + 4, 3*r - 18 + 2 = 5*o. Let y(n) = n**3 - 16*n**2 - 59*n + 38. Let z be y(19). Suppose q = 5*q - 32. Solve -r*s - 2*s + q = z for s.
2
Let t be ((1 + -2)/5)/((-3)/45). Solve -t*y + 1 = 13 for y.
-4
Let o = 5 + 4. Suppose 0 = 5*a + 1 - 11. Let v be a*(-4)/(40/(-25)). Solve v*c + 11 = -o for c.
-4
Suppose -x - 2*f + 8 + 4 = 0, -3*f - 8 = -5*x. Suppose -k + 6*v + 11 = 3*v, -4*k + 4*v = -28. Suppose -j = x*j - k. Solve -4 = y - j for y.
-3
Suppose 5*t + 29 + 28 = 4*s, -2*t + 14 = 3*s. Solve 7*f + s = 3*f for f.
-2
Let b be (12/10)/(2 + (-24)/10). Let y be b/(-3) - 40/(-1). Solve -5*g + 16 - y = 0 for g.
-5
Suppose -2*l - 2*l = 0. Suppose -w + 20 = 4*w. Let c = -242 + 247. Solve l = k + w*k - c for k.
1
Suppose 13 = -7*n + 20*n. Let z be 6/(-21) - n*(-115)/35. Solve z*l - 5*l = 0 for l.
0
Suppose -4*h - 5*n + 393 = 0, 3*h + 4*n + 55 = 349. Let d be (-12)/h + (-1026)/(-51). Suppose -5*j + d = -5. Solve -7*m = -2*m + j for m.
-1
Suppose -2 = 11*v - 46. Solve 3*d + v = 2*d for d.
-4
Suppose 36*y = 35*y + 18. Suppose 3*l - y - 3 = -o, -4*o - 4*l = -44. Solve 0*g - o = 3*g for g.
-2
Suppose 0 = -51*c + 29*c. Solve 47*y - 49*y + 4 = c for y.
2
Let k(y) = y**3 + y**2 - y + 19. Let w be k(0). Suppose -13 = -h - 2*j, -53 = -3*h - 5*j - w. Solve n + 12 = -h*n for n.
-3
Let z = 232 + -228. Solve 3*q - z = 8 for q.
4
Let a = 12 + -21. Let i(d) = d**2 + 9*d + 10. Let z be i(a). Let j = z + -6. Solve -t = -j*t + 12 for t.
4
Let t(l) = -l - 2. Let q be t(-8). Suppose -3*c - c - 25 = -3*u, -11 = -u + 2*c. Solve 3 = u*v - q*v for v.
-1
Let r be -1*1*(-19 + 19). Suppose 4*h - 75 - 37 = r. Suppose 0 = 2*j + 4 - h. Solve -3*o - o = -j for o.
3
Let p = 1526 - 1506. Solve p*i = -65 - 35 for i.
-5
Let g(h) = h**2 - 2*h + 6. Let o be g(6). Let v be (-2)/(-15) + (-4)/o. Let n be v/(-4 + (-12)/(-4)). Solve 3*y = -n*y + 15 for y.
5
Let v = -345 - -351. Solve v*b = 2*b + 8 for b.
2
Let x = 65 + -142. Let v = 81 + x. Solve -f + v*f - 3 = 0 for f.
1
Suppose -11*t - 616 - 77 = 0. Let w = -58 - t. Solve -w*b = -13 + 23 for b.
-2
Let a = 1 - -2. Suppose 3*w = 3*r + r + 14, -5*w = 3*r - 4. Solve 5*j - w*j - a = 0 for j.
1
Let s = 2520 + -2518. Let c(n) = -n**2 - 5*n - 3. Let k be c(-3). Solve -s*o - 1 = k for o.
-2
Let s(v) = -v**3 - 40*v**2 + v + 71. Let r be s(-40). Solve 30 - r = t for t.
-1
Suppose 2 = -5*q + 22. Let j be 1/q - 105/(-28). Solve -j*k - 6 = -k for k.
-2
Let j be 5 + (3/12)/((-2)/(-8)). Suppose 0 = -x - 5*m + j*m + 4, -x - 5*m - 8 = 0. Solve -x*y = -3 + 5 for y.
-1
Suppose -2*s + 4 = -4. Let g(u) = -u**2 + 17*u - 20. Let h be g(16). Let z = 6 + h. Solve -2*m - z = s for m.
-3
Let k be 408/(-20)*-4*5/(-4). Let o = k - -103. Solve 2*r = o + 1 for r.
1
Let x(l) be the first derivative of 2*l**2 - 12*l - 2. Let g = 51 + -43. Let u be x(g). Solve 0*c + 5*c + u = 0 for c.
-4
Let w(v) = -2*v + 16. Let s be w(8). Suppose s = -2*l - 3*l + 20. Solve 6 = -2*p + l*p for p.
3
Let j be 8/32 - (-30)/8. Suppose -3*y - 2*c = -0*c - j, -y - 2*c = 0. Solve a + a = y for a.
1
Suppose 5*w - 8 = w. Suppose 2*g + 0*u - 4*u = 32, -5*u - 13 = 2*g. Solve w*q - g = -q for q.
2
Let b be ((-15)/(-10))/((-3)/(-2)). Let m be b + 3 + 8 - 4. Solve -m = -3*s - 23 for s.
-5
Let f(v) = 4*v - 18. Let b(p) = -p**3 - 14*p**2 + 16*p + 20. Let z be b(-15). Let w be f(z). Solve k = -w*k for k.
0
Suppose 6*r - 11*r - 420 = 0. Let o be (-4)/10 + r/(-35). Let x(d) = -d**2 - 5*d - 4. Let w be x(-3). Solve o*h + 20 = -w*h for h.
-5
Let h = -169 + 173. Solve 0 = 3*f - 13 + h for f.
3
Suppose -13*t = -11*t + 20. Let p(w) = -w**3 - 9*w**2 + 10*w + 9. Let y be p(t). Suppose y = -3*b + 5*h, 5 = 4*b - 3*h + 2*h. Solve 7*u = b*u + 25 for u.
5
Let s = -751 + 755. Solve -s*y - 4*y = -5*y for y.
0
Let j = 42 + -39. Solve -j*u - 9 = -3 for u.
-2
Suppose 2*y + 3*o = -2*y + 30, o = 2*y - 20. Suppose -44 = -5*k - y. Solve 0 = 5*n + 13 + k for n.
-4
Suppose -2*m - 4*m + 36 = 0. Suppose -o = -b + 6, -3*o - 14 = -5*b - m*o. Let p be 10*((-22)/(-5) - b). Solve -6*v + 10 = -p*v for v.
5
Let q be ((-2)/(-4))/((-1)/2). Let r be 20/(-6)*(q + 1/(-5)). Solve -3 - 5 = r*g for g.
-2
Suppose 0 = w - 2*u - 26, w + 5*u - 97 = -w. Suppose 63 = 11*q - w. Solve -q - 6 = 3*t for t.
-5
Suppose -5*f - 5*b + 5 = 0, 0*f - b = 2*f. Let v be 3 - 6 - 3*f. Solve 0*q + q = v for q.
0
Suppose 0 = -3*q + 2*q + 27. Let j = -27 + q. Solve 0 = -4*t - j*t for t.
0
Let z be -1*((-6)/2 + -2). Suppose -z*o - 2*g + 23 = 0, o + 7 = -g + 14. Suppose 4*r = -2*y - 2, o*y + 14 = 2*r + 35. Solve 6*l + y = l for l.
-1
Let x = -45 - 32. Let b = -74 - x. Solve -b*g = -9 + 6 for g.
1
Let h(u) be the first derivative of u**5/120 + 11*u**4/24 - 3*u**3 + 1. Let v(o) be the third derivative of h(o). Let a be v(-7). Solve -4*m - 12 + a = 0 for m.
-2
Let q(x) = -x + 12. Let s be q(-7). Let y be s/76 - (-7)/4. Let p = 2 - 2. Solve z + p*z + y = 0 for z.
-2
Suppose -s + 2 + 34 = 5*u, 4*s + 31 = 5*u. Solve -u - 13 = 5*m for m.
-4
Suppose 4*a + 16 = 5*o, -3*a + 13 = 5*o - 10. Suppose -12 = 4*l, 0 = 4*y + 46*l - 48*l - 14. Solve -o = y*m - 2 for m.
-1
Suppose -5*c - 5 = -5*o, -40*c + 37*c + o = 1. Solve 44 = -c*d + 11*d for d.
4
Let h(x) = -3*x - 1. Let l be h(-1). Suppose -d + 0*d = -2*d. Solve l*s = -d*s - 10 for s.
-5
Suppose l - 4*s = 5*l + 52, 3 = -l + s. Let o = -5 - l. Solve -8 = -o*j - j for j.
2
Let m = 2 + -2. Suppose m = 3*j - 4*f - 58 - 22, 4*j = f + 85. Let v be (-16)/j - (-42)/15. Solve 4 = 2*q - v for q.
3
Let k be (-9)/(-3)*20/(-6). Let b be (1 + 1)*35/k. Let m be (16 - 19) + (0 - b). Solve m*f = 2 + 6 for f.
2
Let u be -1 - -1*(-3 + 6). Suppose -19 = -u*n + 5. Suppose -3*z + n = -6. Solve 3 = 3*d + z for d.
-1
Suppose 0*f = -24*f + 48. Solve f*d = -0*d - 4*d for d.
0
Suppose 0 = -5*o - 5, 2*o - 15 = -4*n + o. Suppose -3*t + 2*x = 5*x - 27, n*t + 5*x = 37. Solve j - 5*j = -t for j.
2
Let u be (1/(-1) - -1)*3/(-6). Solve u = 5*h - 32 + 12 for h.
4
Suppose -50 - 230 = -14*l. Solve 24*j - l*j - 8 = 0 for j.
2
Let y(p) = -3*p**2 - 3*p**2 + 15*p + 5*p**2 - 64 + 52. Let i be y(14). Solve 0 = i*u - 1 - 1 for u.
1
Let s = 270 + -270. Solve 2*q + 0 - 2 = s for q.
1
Suppose 3*r = -5 - 4, 4*s = r - 41. Let i = -10 - s. Solve -5*p + 6 = i for p.
1
Let x(l) = -3 + 4*l**2 + 0*l - 5*l**2 + 8*l. Let p be x(7). Let b = p - 4. Solve b = -s - 4*s for s.
0
Let y be (-16)/10*(8 - 23). Let x be -22*1/(1/(-1)). L