lve m = 5*a - k + 6 for a.
-1
Let a(h) = 2*h**2 - 5*h + 6. Let o be a(2). Let b = -1 + 5. Suppose 0 = f - b*f + 6. Solve -2 - f = -o*x for x.
1
Let l(n) = -n**3 + 15*n**2 + 15*n + 32. Let q be l(16). Solve -q = 7*p - 2 for p.
-2
Suppose -20*m + 395 + 205 = 0. Solve -14*n = n - m for n.
2
Let k(c) = c**2 + 5*c - 23. Let x be k(-8). Let p be (3 - (x + 0)) + 3/1. Let w(f) = -f**3 + f**2 + 3*f - 2. Let q be w(2). Solve -5 = -p*b - q for b.
1
Let v(g) = -g**3 - 6*g**2 - 6*g - 3. Let x be v(-5). Suppose -14*f = 50*f - 7*f - 285. Let d = 1 - -2. Solve x + d = f*k for k.
1
Suppose 0 = -3*m - 2*y + 9, -y = -2*m + 1 + 12. Let x(b) = -b**3 + 5*b**2 - b + 7. Let z be x(m). Solve z*i + 9 = -i for i.
-3
Let w be -5*(-6 + 4 + -1). Suppose -22 = -3*h - 2*k, 5*h - 2*k - 3*k = -5. Solve h*z = z + w for z.
5
Let g be -1 - -1 - (-35 + 10). Let t be 26/5*g/10. Let c be 2/8 - t/52. Solve 20 = 4*k - c*k for k.
5
Suppose 4*p + 53 = -3*b, 3*p + b + 18 = 6*b. Let i(u) be the first derivative of -u**3/3 - 11*u**2/2 + 3*u - 20. Let c be i(p). Solve c*w + 11 = 2 for w.
-3
Let j(s) = -12*s + s + 9*s + 14. Let b be j(0). Let p = 17 - b. Solve p - 11 = 4*m for m.
-2
Let d(a) = 8*a - 16. Let t be d(3). Suppose 11*s - t*s - 18 = 0. Let y be (8/(-5))/(2/(-10)). Solve -s*q = -2*q + y for q.
-2
Suppose -21 = -2*f - 5*t + 7, -3*t = -4*f + 4. Solve 0 = -3*k - 10 + f for k.
-2
Suppose m = 2*m. Suppose 0 = -5*z + 3*z - 28. Let d = -11 - z. Solve 4*p - p + d = m for p.
-1
Suppose -s = 30*u - 35*u + 10, 0 = 5*s - 4*u + 8. Solve 5*w - 2*w + 9 = s for w.
-3
Suppose -5*y - 1 = 3*o, o - 5 = 7*y - 6*y. Solve h = -o*h for h.
0
Let t(b) = -3*b - 36. Let x be t(-16). Solve -7*s + x = -4*s for s.
4
Let a = 18 + -10. Suppose 2*h = -4*b + a, 0 = -5*b - 2 + 7. Solve h*i = -0 - 8 for i.
-4
Suppose 6*i - 6 = 4*i. Let a(x) = x + 8. Let m be a(-8). Solve m = -4*w - 1 - i for w.
-1
Suppose 18*c - 21*c = 0. Solve -226*h + 228*h = c for h.
0
Suppose -75 + 79 = -2*c - 4*a, 0 = 5*c - 6*a - 38. Suppose 5*m = 5*h + 35, -4*m = -h - 0 - 1. Let r = -3 - h. Solve -c*w + 2*w - r = 0 for w.
-3
Suppose 0 = 2*x + 2*x - 20. Let r(j) = j**3 - 4*j**2 - 5*j + 1. Let c be r(x). Solve 0 = -z + c + 1 for z.
2
Suppose -4*n = 4, 4*d - 697 + 136 = 5*n. Let v = -131 + d. Solve 0*h + 2*h = -v for h.
-4
Let b = -218 + 218. Solve 2*y = -b*y + 2 for y.
1
Suppose z - 2 + 6 = -3*k, -2*z = -5*k - 25. Suppose 4*y - 5*y = -z. Suppose -15 = -4*l - 3*c + 2*c, -5*l + y*c = -50. Solve -5 - l = -2*o for o.
5
Let i be ((-44)/(-6))/((-4)/12). Let t = -20 - i. Solve -t + 0 = a for a.
-2
Suppose 4*x = 4*f, -4*x = f - 40 + 30. Solve 0 = -6*s - x - 16 for s.
-3
Let k = 0 - 0. Suppose 0 = 2*i + 6*r - r - 200, 100 = i + 3*r. Suppose -3*x - x = -i. Solve 5*h - x = -k*h for h.
5
Let v be (-14)/(-3) + (-8)/(-6). Solve 0 = -3*z - 0*z - v for z.
-2
Let w be -4*(75/6)/(-5). Solve 0*c = -2*c - w for c.
-5
Let s(j) = -j**3 + 8*j**2 - 6*j - 6. Let m be s(6). Let g be 6/m + 28/10. Suppose -4*x = -2*x. Solve 3*a + g + 0 = x for a.
-1
Let n(t) = -2*t - 34. Let w be n(-17). Solve w = -6*r - 26 + 38 for r.
2
Let g(k) = -60*k**3 + k. Let t be g(1). Let s = -42 - t. Let a = -15 + s. Solve -n + 4 = a for n.
2
Let l be (21/14)/((-3)/(-8)). Let p be (1 + -1)/l - 0. Suppose -2*r + 8 + 14 = p. Solve r = 4*t - 9 for t.
5
Suppose 4*q = 4, -6*d + 5*q - 17 = -10*d. Suppose -6 = 2*o - 18. Suppose 63 = o*k - 3*k - d*r, r = -1. Solve -7*u = -2*u + k for u.
-4
Let q = -17 + 45. Let j = -23 + q. Solve -j*t + 6 + 14 = 0 for t.
4
Suppose -4*w + 9 = -55. Let i be (w - -2)/((12/3)/2). Solve 2*s + i = 5*s for s.
3
Let q(x) be the second derivative of x**5/20 - 5*x**4/6 + x**3/6 + 5*x. Let v be q(10). Let b be (2/(-5))/((-1)/v). Solve b*l = 2*l + 8 for l.
4
Suppose -2*q + 26 = -7*a + 4*a, a - 38 = -4*q. Let s = 10 - q. Solve -5*n - 2 - 8 = s for n.
-2
Suppose x + 1 - 4 = 0. Let y = 11 - x. Suppose -2 + y = 3*f. Solve n + f*n = 6 for n.
2
Let r(c) = 2 + 0 - c + 6 + 1. Let n be r(4). Solve -v - 8 = -n*v for v.
2
Suppose 2*d = 4*q - 4, -3*q + 4 = -7*q - 2*d. Suppose q = 2*v - 8. Suppose 2*w - 5 = p, -5*w + 5*p = 1 - 11. Solve -v = -w*y + 2*y for y.
4
Suppose 4*k - 8*r - 42 = -11*r, 3*r + 39 = 5*k. Solve 0 = k*t - 3*t for t.
0
Let p(w) = 3*w**2 - 8*w + 6. Let d be p(1). Solve -11*b + d = -54 for b.
5
Suppose 4 = -5*a + d, -3*d + 12 = -6*a + 3*a. Let t(j) = 2. Let s(n) = n + 1. Let m(p) = 2*s(p) - 3*t(p). Let x be m(4). Solve -2*g = -a + x for g.
-2
Let t(i) = 2*i**2 - i - 1. Let m be t(-1). Let p = -22 + 18. Let c be 9*(20/(-15))/p. Solve c*v + m = -4 for v.
-2
Let b = 63 - 50. Suppose 4 = -9*r + b*r. Solve 0 = -0*o + o - r for o.
1
Suppose 75 + 63 = 3*a. Let b = 56 - a. Solve -8*n + b = -3*n for n.
2
Suppose -380 + 388 = c. Solve 17*r + c = 13*r for r.
-2
Let k be 1 - (-7)/(-14)*-8. Solve -6*x - k*x = 55 for x.
-5
Let o be (-3)/5 + (-8)/20. Let x = o + 3. Let s be (-2)/(-3) - 3/(-9). Solve -7 = x*v + s for v.
-4
Let i(l) = -l**3 - 58*l**2 - 116*l - 99. Let o be i(-56). Solve -145 = 4*h - o for h.
-5
Let b be (-25)/(-15)*(-24)/(-10). Solve 28 - b = -8*s for s.
-3
Let k be (-58)/(-3) + -4 - 4/(-6). Suppose -13*i = -k*i + 12. Solve -1 = i*m - 13 for m.
3
Let y = 1174 + -1171. Solve -7*d = -y*d - 4 for d.
1
Let l(c) be the second derivative of c**5/20 + c**4/3 + c**3/2 - 2*c. Let y be l(-3). Suppose -2*k + 5 + 5 = y. Solve -v + 16 = -k*v for v.
-4
Let p(x) = -x**2 + 5*x + 4. Let q = -30 + 35. Let m be p(q). Solve 0 = m*j - 1 + 5 for j.
-1
Let f(z) = z**2 + 3*z - 4. Let a be f(-5). Let p = 40 + -34. Let o = a - p. Solve o = -3*b - 2*b + 15 for b.
3
Let u(s) = -s + 24. Let v be u(19). Suppose 4*z - 18 = -2, v*x - 64 = -z. Solve q = -2*q + x for q.
4
Let a = -547 - -553. Solve 8*f - 5*f - a = 0 for f.
2
Let r = 7 + -12. Let x be (r + 8)/((-2)/6*-3). Solve -2*d + 3 = -x for d.
3
Suppose -3*g = 5*r - 26, -r + 31 = 5*g - 5*r. Suppose 3 = -5*a + 18. Solve -4*k + g = a for k.
1
Let o(q) = -q**3 + 12*q**2 - 12*q + 3. Let l be o(10). Let r = l - 65. Solve -5*u + 2 + r = 0 for u.
4
Let s be ((-10)/(-8) + 4/(-16))*24. Suppose s = -r + 7*r. Solve k = r*k + 6 for k.
-2
Suppose -12 = -u + 4*q - 24, 24 = 2*u + 4*q. Solve 0*w = -u*w + 2*w for w.
0
Suppose -3*j - 3 = -9. Let w(z) = 2*z**2 - 9*z - 73. Let m be w(9). Let y(x) = -x**3 + x**2 + 3. Let q be y(0). Solve -q*o = j - m for o.
2
Suppose -2*d - d + 49 = o, 2*d - 34 = -o. Solve -4*p + d = -p for p.
5
Let r(u) = -u**2 + 3*u + 4. Let n be r(3). Suppose b - 67 = -14. Suppose -4*h + 27 = -b. Solve 0 = -n*p - p - h for p.
-4
Let u(x) = 12*x + 816. Let s be u(-67). Solve -9*p = -p + s*p for p.
0
Suppose 4*m + 5*q = 25, -5*m - 46*q + 49*q = 15. Solve 2*l + l - 12 = m for l.
4
Let r be (4/(-10))/(1/25). Let z = r - -8. Let f = z + 2. Solve 2*v + f = 4 for v.
2
Let s(p) = p**3 - 13*p**2 - 12*p + 16. Let w be s(14). Let z = 46 - w. Solve -z = -3*t - 8 for t.
-2
Suppose 3*v = -0*v + 9. Suppose 0 = -3*i - v*s + 27, 2*s - 5*s + 22 = 2*i. Let l be (18/(-10))/((-75)/625). Solve -2*d - i + l = 0 for d.
5
Suppose -t + 38 = 39, 4*t + 10 = 2*m. Solve -2*p - m = -5 for p.
1
Suppose -136*t + 137*t - 2 = 0. Solve s + t = -s for s.
-1
Let w(t) = -4*t**2 - 19*t + 12. Let d be w(-5). Solve -3*c = -d*c + 8 for c.
2
Suppose -3*l + 15 = x, 4*x - 3 = 3*x + l. Suppose 2*o = -0*o + x. Suppose 5*f - o*r - 9 = 0, -2*f = 2*f + 2*r - 16. Solve -3*y = -4*y - f for y.
-3
Let i be -6*1/3*-11. Suppose 0 = 8*y + 6 - i. Solve -2 = y*o - 0*o for o.
-1
Suppose -61 = -50*l + 39. Solve k + 3*k = l*k for k.
0
Let q = 7 - -4. Let k(l) = l**2 - 2. Let z be k(2). Suppose q - 9 = z*i. Solve -5*h + i = 6 for h.
-1
Suppose 4*s + 89 - 17 = 4*h, -4*s = -5*h + 91. Let q = h + -18. Let w = -14 - -17. Solve 2 = -w*m - q for m.
-1
Let p be (0 + 0)*(1 - 0). Let i be (-6)/8 - 150/(-40). Solve b + i = -p for b.
-3
Let n be 30/(-105) - 242/(-14). Solve n*i - 20 = 21*i for i.
-5
Let x(b) = -b**2 + 21*b - 30. Let o be x(9). Let d = -77 + o. Solve j - 3 = -d for j.
2
Let i(o) = 2*o**2 + 7*o + 10. Let a be i(-4). Let s = -11 + a. Solve 2*w - w = s for w.
3
Let l = 11261 - 11258. Let w be 2*2/(-4)*-1. Solve g - w = l for g.
4
Let i = 18 + -20. Let a be (42/(-70))/(i/10). Solve 1 = -a*m - 5 for m.
-2
Let g be 5 + 2/((-4)/6). Let a(l) = -3*l + 5. Let h be a(2). Let m be 23 + -25 + (-2)/h. Solve -z + g*z = m for z.
0