 3 - g for m.
-4
Let d(n) = -51*n**3 + 2*n**2 - 1. Let r be d(1). Let v be 6/10 + (-170)/r. Let x be 76/(-18) + 4 - 83/(-9). Solve -v*h = -h + x for h.
-3
Let g = 311 - 308. Solve 1 = -g*m - 2 for m.
-1
Let t = -144 - -146. Solve -n + 15 = t*n for n.
5
Let i = 8 - 14. Let w(j) = -2*j - 9. Let x be w(i). Suppose 2*k + 4*k = 5*k. Solve 6 = x*z - k for z.
2
Suppose -13*r = -9*r - 4. Solve -5*x + r = -19 for x.
4
Suppose 39 = r - 10*k + 7*k, 0 = -4*r + 3*k + 111. Solve 0 = -6*v + r - 0 for v.
4
Let f = -376 + 382. Solve 0 = -5*o + f + 19 for o.
5
Let x(l) = -l**3 + 3*l**2 + 2*l - 2. Let i be x(3). Let n be (-1)/((-2)/(-2))*-2. Suppose 15*g + 15 = q + 12*g, q + 3*g = -3. Solve i*b = -n + q for b.
1
Suppose -8 = -q - 6. Let f be 10*((-1)/q - -1). Suppose -f*m - m + 24 = 0. Solve -2*k = -m - 0 for k.
2
Suppose -52*y = -37 - 67. Solve f + 12 = -y*f for f.
-4
Let k(w) be the third derivative of w**5/15 - w**4/24 + 7*w**2. Let f be k(-2). Let y = -15 + f. Solve 0 = -5*r + 2*r + y for r.
1
Suppose 0 = 19*l - 17*l - 3*c - 17, 0 = 4*l + 3*c - 7. Solve 17*x = l + 47 for x.
3
Suppose -5*h = -7*h + 5*r + 63, -5*h - 3*r = -111. Solve -6*u = 6 + h for u.
-5
Suppose 9 = -0*r + 3*r. Let c be 24*6/12 - 6. Suppose 2*u = n + r + c, 4*n = -12. Solve 6 = -a + u for a.
-3
Suppose 5*p + 0 + 5 = -5*v, -3*p = -2*v + 13. Suppose -4 = -v*c - 2*g, 2*g = c - 3*g - 8. Solve -c*q = -q - 6 for q.
3
Let z(g) = -25*g**3 + 2*g**2 + 6*g + 6. Let i be z(-1). Solve i*h = 16*h for h.
0
Suppose v = -5*u - 5, 7*v - 3*u + 18 = 9*v. Solve 0 = -13*a + 10*a - v for a.
-5
Suppose 0 = 3*x + 2*x + 120. Let g = x - -27. Solve g = -h + 1 for h.
-2
Let j(f) = -f**2 + f - 7. Let g(i) = -3*i**2 + 3*i - 16. Let l(a) = 2*g(a) - 5*j(a). Suppose 5*q + 11 + 4 = 5*s, q + 3 = 0. Let n be l(s). Solve n*k = -k for k.
0
Suppose 10 = -i - i, 2*z + 4*i = -12. Suppose z*c + 4*g = 20, -c + 3*g - 3 = -0*c. Suppose u + 1 = -4*x + c, 4 = -x + 2*u. Solve x*r = -2*r - 6 for r.
-3
Let o = -95 + 77. Let z be 5 + -3*(-6)/o. Solve -z*h - 4 = -8*h for h.
1
Let p be (-12)/(-1 + -2) - 1. Suppose -3*u - 3 = 0, 4*u + p = s - 2. Solve n - 5 = -s for n.
4
Let g(y) = -y**2 + 10*y - 1. Suppose -5*b + 5*l + 37 = -b, 20 = 2*b - 4*l. Let w be g(b). Solve w = 2*o + o for o.
5
Suppose 7043 = 7*v + 6140. Solve v*r - 2 = 127*r for r.
1
Let f(v) = v**3 + 4*v**2 + 2*v - 1. Let g be f(-2). Suppose 0 = -t - g*s - 1 + 8, 4*s = -5*t + 24. Let m = -12 - -18. Solve 0 = t*j - m - 2 for j.
2
Suppose 2*r - 25 = 25. Let p be 60/r*(0 - 10/(-4)). Solve 3*f - 3 = p for f.
3
Suppose -1 + 7 = -3*w. Let d be 0/(1 - 2 - w). Let a be ((3 + -2)*10)/((-8)/(-12)). Solve 3*k + 0*k + a = d for k.
-5
Let q be (-3)/6 + (-36)/(-8). Solve 52*a = 48*a - q for a.
-1
Let p = -164 - -184. Solve 3*y = -5 + p for y.
5
Let q(i) = i**2 + 11*i - 14. Let j be q(-13). Let k = j - 12. Suppose -4*p - 2 = -3*y, 0 = -k*y - 5*y + 3*p + 18. Solve y*s = 5*s for s.
0
Let j be (-108)/(-5)*20/6. Let s be 8/j + (-344)/18. Let v = -14 - s. Solve -10 = v*o - 0 for o.
-2
Let u be (-1)/6 + 6/36. Suppose u = -0*j + 3*j - 24. Let g be j/3 + 4/12. Solve -g*a + 4 = -5 for a.
3
Let c = 45 + -41. Let k be (0 + 5)*(c/(-5) + 2). Solve 3*v - k = v for v.
3
Let h(v) = -v**2 - v - 1. Let a be h(-2). Let p be (-1 - 0)*(a - -3). Solve 5*g = -p*g + 20 for g.
4
Let b = -12 - -12. Let k be 2/(-4)*0 - b. Suppose -23 = -5*f - y, y + 3*y - 28 = -4*f. Solve k = 2*t - f for t.
2
Suppose 44 = 2*p - o, -p + 3*p - 3*o = 52. Solve -26*r + 30*r = p for r.
5
Suppose 2*a - 3*a + s + 31 = 0, -2*a = -3*s - 65. Solve 10*g + 18 = a*g for g.
1
Suppose -3*y + 28 = 5*k, 5*y - y + 6 = 2*k. Solve k*n = n + 12 for n.
3
Let k = 229 - 223. Solve 5*c = 2*c - k for c.
-2
Suppose -2*p + 0*c - c = 18, 2*c = -5*p - 45. Let a be -1*0*3/p. Suppose -8*b + 11*b - 15 = a. Solve -1 = 4*n - b for n.
1
Suppose 0 = -4*g + 3*f + 9, g + 3 = -3*g - f. Solve g = -0*v - 2*v + 2 for v.
1
Let y be 26/((-1)/(-12)*3). Let v be y/(-48)*(-1 - 5). Suppose 3*x = 9, 4*k - 14 - 11 = -3*x. Solve v = 3*i + k for i.
3
Suppose 3*d = 6*o - 11*o + 84, -6 = 3*d. Solve -o*g + 22*g + 16 = 0 for g.
-4
Let v be (32/(-6))/(319/(-33) + 9). Solve 29*g + v = 25*g for g.
-2
Let v(w) = -w**2 + 1. Let h be v(2). Let b = 148 + -141. Let d = b + h. Solve 0 = -2*k - d + 2 for k.
-1
Suppose -21*r - 96 = -24*r. Suppose -r*o - 9 = -35*o. Solve 0 = -2*y + 1 + o for y.
2
Let o be ((-10)/4)/((-1)/2). Let q be 1/((-8)/288*-18). Solve 3*j - o = q*j for j.
5
Let t(m) = 19*m + 79. Let n be t(-4). Solve -n*k = -5*k - 8 for k.
-4
Let v(b) = -b**2 - 4*b + 14. Let s be v(-6). Suppose 5*z + 13 + 10 = s*j, -3*j + 4*z = -24. Solve -d - j = -2*d for d.
4
Let g = -24 + 24. Let q be (g - 2)*-2 + 5. Let s = -8 + 14. Solve -q = 5*x + s for x.
-3
Let y(n) = n**2 + 11*n - 8. Let j = 13 - 20. Let v be y(j). Let o be (28/16)/((-3)/v). Solve -4*l + o - 1 = 0 for l.
5
Let r = 20 - 10. Let v = 84 + -79. Solve -r = -v*a + 3*a for a.
5
Suppose -27*r = -17 - 37. Let x = 0 + -1. Let a be (x - -2)*(4 - 1). Solve a*i + r*i - 25 = 0 for i.
5
Suppose 5*d - 14 - 31 = 0. Suppose -4*c + d = -s + 2*s, 3*c - 15 = 2*s. Solve -2*i = c*i + 10 for i.
-2
Let f(w) = -w**2 + 7*w + 32. Suppose 5 = j - 5. Let p be f(j). Let x(v) = v - 4. Let b be x(7). Solve -z - p = -b*z for z.
1
Let n = -987 + 989. Let t(s) = s**2 - 8*s + 7. Let u be t(7). Solve u*k + n = k for k.
2
Let l be (5/15)/((-3)/(-9)). Solve 5*c - l = 6*c for c.
-1
Let z = 432 - 432. Solve z = -6*k + 2*k + 4 for k.
1
Suppose -3*h - 3*p + 3 = 0, -143*h - 4*p = -138*h - 8. Solve h = -3*l + 13 for l.
3
Let q(g) = -119*g - 537. Let h be q(-5). Solve -28 = -6*t - h for t.
-5
Let w(q) = -50*q - 356. Let k be w(-8). Solve 0 = -f + k - 46 for f.
-2
Suppose 3*y + 0*y + 16 = 2*i, -3*y - 31 = -5*i. Let j be y/(-6)*(3 + 6). Let p be 6/9 + 14/6. Solve 0 = -p*n + j for n.
1
Let m(a) = -a**3 + 11*a**2 - 2*a + 25. Let p be m(11). Solve 17 = -p*g + 14 for g.
-1
Let r(b) = 19*b - 29. Let v be r(2). Solve p + 8 = v for p.
1
Suppose 3*y - 2*y = 10. Suppose y = -2*b + 12. Solve b + 3 = -x for x.
-4
Suppose 10 = -3*l + 2*a, 7*l - 4*l = -a + 5. Suppose l = 63*s - 67*s + 8. Solve 0 = -5*v + s - 27 for v.
-5
Suppose -q + 19 = 23. Let r(b) = b**2 - 8*b + 4. Let d be r(5). Let t = q - d. Solve -10 = -2*i + t*i for i.
-2
Suppose -7 = -2*v - j, 0 = -2*v + 5*v - 3*j - 33. Suppose 3*i = 4*t - v, 5*i - 6 = t + 1. Solve -5 - t = 2*h for h.
-4
Let i be 16 - ((0 - 7) + 4). Suppose -3*q + 5*u = 3*u - 11, 5*q - i = 3*u. Solve -q*r = -0*r - 25 for r.
5
Let m(n) = -3*n + 4*n - 3*n - 2 + 0*n. Let s be m(-5). Let o be (2/s)/(3/36). Solve a - 1 = o for a.
4
Suppose -6*v = -6 - 18. Suppose p = 3*q - 6, -v*p = -0*p - 5*q + 10. Solve -w + 4 = -p*w for w.
4
Suppose 3*j + 120 = b - 4*b, 0 = -4*b + 20. Let i be 6/(-8) + j/(-60). Solve x - 1 = -i for x.
1
Suppose 4*i = 6*i. Let y be 1*0/(i - -3). Let l be -2 - (2 + 10/(-1)). Solve 2*c - 5*c + l = y for c.
2
Let w be (0 - 6)*6/(-9). Suppose -9 = 2*p + 3*l, 3*p + w*l + 12 = -0*l. Let c = 0 - 0. Solve c = 4*t - p*t for t.
0
Let r = 36 - 100. Let d = -45 - r. Let o = d - 19. Solve o*s - 20 = 5*s for s.
-4
Let d be (0 - 2)*(-18)/4. Let f be 2 + -2*(-33)/(-6). Let a = d + f. Solve -5*m - 17 + 2 = a for m.
-3
Let h be (3 + (-52)/12 - 91/(-39))*16. Suppose 3*o = o - 10. Let q(p) = -p**3 - 6*p**2 - 4*p + 5. Let l be q(o). Solve 5*b - b - h = l for b.
4
Let p(b) = 7*b + 30. Let o be p(-4). Suppose 1 = -5*d - 3*n + 2, -o*d + 16 = -4*n. Let k(i) = -i + 7. Let g be k(0). Solve g*u - d*u = 15 for u.
3
Let c be (2 - 3)*(7 + -5)/2. Let k be (6 - (-70)/(-15)) + c/3. Suppose -2*p = 3*x - 11 - 38, -4*x + 5*p + 73 = 0. Solve -k + x = -4*n for n.
-4
Let p(o) = -o**2 + 7*o - 4. Let a be p(5). Suppose -4*f + 72 = -a*f. Let y be ((-1)/2)/(3/f). Solve -3*d + y = 15 for d.
-3
Let r(f) = -f**2 + 18*f + 42. Let z be r(20). Suppose q + 3 = 4*q, -x = -z*q + 2. Solve 8 = -x*m + 2*m for m.
4
Let c = 4422 + -4422. Suppose -t + 2 = -0. Solve c = -0*q + t*q - 10 for q.
5
Suppose 31 = 5*w - 4. Suppose -w*m + 2*m + 15 = 0, -5*o - 3*m = -19. Solve c + 6 = -o*c for c.
-2
Let a be -3 - 0/2 - (-19)/1. Suppose -2*d + 2*f + 8 = 0, -4*d - 3*f + a = -6*f. Solve d*x = -x for x.
0
Suppose q = -2*q. Suppose q = 3*v - 6*v + 12. Suppose -v*f = -1 - 11. Solve -f*b - 15 = 2*b for b.
-3
Let r(l) = -6*l + 21. Let f