 m.
-4
Let v = -59 + 39. Let s = -20 - v. Let i = -9 - -17. Solve 4*m = -s*m - i for m.
-2
Let f(z) = z**2 - 5*z - 8. Let t be f(6). Let i = t + 4. Let k be 1/i*-2 + 1. Solve -2*d + k = -10 for d.
5
Let d(g) be the third derivative of g**4/24 + 5*g**3/6 + g**2. Let u be d(-4). Suppose -364 = -60*a + 176. Solve -5*k = -a - u for k.
2
Let m(w) = w**2 + 2*w + 2. Let a be m(-2). Suppose -a*n + 33 = n. Let o = n - 7. Solve s - 6 = -o for s.
2
Let o(d) = -10*d - 104. Let u be o(-11). Solve -4*r + r = u for r.
-2
Suppose o = 1 + 2. Suppose 1 + o = q. Suppose -2*r = 1 - 11. Solve -q*c + 5*c = r for c.
5
Let q be (-7 - 0)*13/(-13). Let x = 10 - q. Suppose x*f = 34 - 4. Solve j + j + f = 0 for j.
-5
Let h = 40 + -40. Suppose h = 5*p + 3*m - 9 - 0, 4*m = -5*p + 7. Let s be 3 + (0 - 2/2). Solve s = -p*z - 1 for z.
-1
Suppose 3*v = 2*v + 3. Let t(k) = 9*k - 11*k + 15 + 0*k + v*k. Let u be t(-12). Solve u + 2 = -5*r for r.
-1
Suppose 28*p - 201 = -33. Solve 3*n - p = -18 for n.
-4
Let t be 1 + 56/(-63) - 536/(-36). Solve -44*z - t = -47*z for z.
5
Let o(l) = 20*l**3 + 2*l**2 - 1. Let u be o(1). Let m = 43 - u. Suppose 25 = 5*r - 5*d, -4*r + 5*d + 0*d = -m. Solve -r*x + 0 = 6 for x.
-2
Suppose -a + 3*c = 9, -5*a - 87 = -2*c + c. Let l be (5 + 60/a)*(1 - -2). Solve i - l*i = 0 for i.
0
Let t(z) = -z**3 + 5*z**2 - z - 3. Let b be t(4). Let q be (1 + -2)*5 - 1. Let a be (q - -8)*(-3)/(-2). Solve 6*n - b = a*n for n.
3
Suppose -12*f + 10*f + 6 = 0. Let g be 60/(-8)*(54/(-15))/f. Solve -2*n - n + g = 0 for n.
3
Let t(x) = -7*x**3 + x**2 + 2*x + 1. Let a be t(-1). Let v(j) = j**3 + 3*j**2 - 13*j - 13. Let c be v(-5). Solve c*z = a*z for z.
0
Let s be (-4 + (-6)/(-6))*40/(-6). Let z be 6*3/(-15)*s/(-6). Solve 0 = -2*f - 0*f + z for f.
2
Suppose 4*z - 111 = t, -4*z + 2*t + 114 = -0*t. Suppose -2*f - 5*b = -3*f + 21, -5*f = b - z. Solve f*q = 3*q for q.
0
Let s(j) = 2*j + 1. Suppose 0 - 10 = 5*i. Let g be s(i). Let l be -2 + 8/(5 + g). Solve 1 + l = -x for x.
-3
Let d(y) = -y**2 - 8*y. Let x be d(-8). Solve x = -v + 5 - 8 for v.
-3
Suppose -2*v = -4*w + 40, 3*w + 0*w - v - 28 = 0. Suppose 3*q + w = 14. Solve q*c + 2 = -0 for c.
-1
Suppose -28 = -17*z + 3*z. Solve 0 = -z*h - 2*h - 12 for h.
-3
Let s(k) = -3*k - 5*k + k**2 - 5*k**2 + 5*k**2 + 14. Let o be s(6). Solve 6 = 2*c + o for c.
2
Suppose -284 = 4*q - 52. Let i = q + 64. Solve 0*l - i = -2*l for l.
3
Let d(g) = g**2 + 5*g + 6. Let f be (-60)/18*12/(-10). Let v be 1*(-20)/f*1. Let m be d(v). Solve -4*u + 2*u = -m for u.
3
Let h = 4 - 1. Suppose -o + 12 = 5*y, y - 4*y = -h*o - 18. Suppose -y*m - 7 = 5*l, -2*l + m = 3*l - 9. Solve 0 = 4*p + l + 11 for p.
-3
Let h be (-15)/13 + 4/26. Let v be -10 + 1 + h*1. Let o be (-16)/10*25/v. Solve w + o*w = 0 for w.
0
Let a be 3748/44 + 8/(-44). Suppose 4*w = -5*v + 23, 5*w - a = -0*w + 5*v. Let k(s) = -s**3 + 11*s**2 + 12*s. Let y be k(w). Solve y - 4 = 4*h for h.
-1
Let z(p) = -7*p - p**2 - 44 + 25 - 3*p. Let u be z(-9). Let k be 12/(-30) - 24/u. Solve -4*f = -k*f + 6 for f.
-3
Suppose 0 = -5*z + 5 + 5. Suppose 3*v - z = -2*r + v, 0 = 3*r - v - 23. Suppose 0 = -5*b + 10, 3 - r = d - 4*b. Solve d = -2*k - 1 for k.
-3
Suppose -2*m = -5*m + 30. Suppose 6 - 12 = -2*a. Suppose 0 = -a*q + q + 10. Solve 0 = q*b - m*b - 10 for b.
-2
Suppose 3*v - 5*m + 7 = 14, 5*v + 3*m = 57. Suppose a - v = -2*d, -2*d - 3*a + 6 + 13 = 0. Solve g - 5 = d*g for g.
-5
Suppose -2 = 2*a - a. Let c(z) = 4*z**2 + 2*z - 1. Let v be c(a). Let p(r) = r**2 + 2*r + 1. Let g be p(-2). Solve -g = 2*q - v for q.
5
Suppose -v - 33 = -2*v. Solve v - 37 = m for m.
-4
Suppose f + 10 = b + 3*f, 0 = 4*b - 4*f + 8. Let i(m) = -m**2 - 6*m - 5. Let a be i(-4). Let d be 0*4*a/24. Solve d = b*x - 5*x for x.
0
Let r(s) = s**3 + 6*s**2 + 8*s + 6. Let z be r(-3). Let d be (16/24)/(2/z). Suppose 3*t - 8 = -c + 1, -4*t = d*c - 12. Solve 9 = 3*k - t for k.
4
Suppose 14*v - 75 = -2*s + 15*v, 5*v = s - 24. Solve 4*y = -35 + s for y.
1
Let h be 10 + (3 - 1) + -4. Suppose 3*y + h = 11. Let p = 1 + y. Solve p*j - 6*j = 0 for j.
0
Let f(t) = -5*t - 5. Let a = 10 + -14. Let h be f(a). Let n be (-103 - -97) + (-2 + -8)*-1. Solve -n*x + h + 1 = 0 for x.
4
Suppose 685*t = 663*t. Solve 4*x + 23 - 11 = t for x.
-3
Suppose 5*f - 168 = f + 4*a, 0 = 5*f + 4*a - 219. Let j = f + -43. Solve j*t = 3*t - 6 for t.
2
Let z be (-1)/((-6)/14) + 2/(-6). Suppose 0 = -2*q + 4*p + 24, 5*q - 4 = 2*q - z*p. Solve -19 + 7 = -q*w for w.
3
Let c be 7/(5 - (-8)/(-2)). Suppose 4*n - c = -3*f, 0*n - 5*n + 10 = 5*f. Solve 4*z - 3*z - n = 0 for z.
1
Let m be (-5)/15 - 178/6. Let i = m + 50. Suppose 4 + 6 = h. Solve h*r - i = 5*r for r.
4
Let m(y) = y**3 + 27*y**2 - 5*y - 14. Let q be m(-27). Solve -131*k = -q*k + 30 for k.
-3
Suppose -39 - 25 = -8*w. Let v be ((-4 - -2) + 3)*(11 - w). Solve -v*c + 0 = 6 for c.
-2
Let r(s) = -4*s**2 - s**3 + s - s**2 + 2*s**3 - 2*s**3 + 6. Let n be r(-5). Solve -n = -t - 4 for t.
-3
Let n = -23 - -33. Let y = -8 + n. Let t be (1/y)/((-7)/(-42)). Solve -27 = t*d - 12 for d.
-5
Let x be (-51)/(-21) + (-9)/21. Solve -h + x = -1 for h.
3
Let c(z) = -z + 8. Let p be c(0). Suppose -39 + 14 = -5*g. Suppose 0 = -g*t - 6 + 31. Solve -d + t*d - p = 0 for d.
2
Let m = -291 - -341. Let i be -2*1 - (33 + -1). Let x = m + i. Solve 0 = -4*v + 4 + x for v.
5
Let v(z) = 5*z**2 + 11*z + 17. Let q(y) = y**2 - y. Let l(s) = -4*q(s) + v(s). Let o be l(-12). Let r = -19 - o. Solve r*k = -k for k.
0
Suppose h - 1 = 1. Suppose -4*l + 5*k - 17 = 0, 0 = -0*l + l + 2*k - 12. Let u be l - ((-7 - -4) + 3). Solve u*z - h = z for z.
2
Suppose w = 3*y + 41, -5*y + 2*y - 35 = 2*w. Let g = 3 + y. Let t = g + 13. Solve -t*u - u + 4 = 0 for u.
1
Let h(k) = k**3 + 6*k**2 - 10*k + 4. Let l be h(-8). Let c be (-316)/l - (-4)/(-22). Solve -c = -o - 2 for o.
5
Suppose -b + 5*y = -12, -5*b + 3*y = -7*b - 2. Let j = 16 + -13. Solve j*q + b*q = -15 for q.
-3
Let r = -1059 + 1066. Solve r*d - 3*d = 0 for d.
0
Suppose -2*j - 32*u = -35*u, -2*j + 16 = u. Solve -28*h = -26*h - j for h.
3
Suppose 3*k - 66 + 54 = 0. Solve k = 17*y - 18*y for y.
-4
Let s(l) = 0*l + 27 + l - 6*l + 6*l. Let f be s(-24). Solve 0 = -v + f*v - 8 for v.
4
Suppose 5 = -16*l + 17*l. Solve -3 = -2*f - l for f.
-1
Suppose -4*x - 11*j + 15*j + 56 = 0, j = -x + 14. Solve 11*a + x = -19 for a.
-3
Suppose -6*x - 4*q - 28 = -10*x, -2*q = x + 2. Solve -d - x*d - 20 = 0 for d.
-4
Let p(z) = z**2 - 2*z + 3. Let t be p(4). Let l = t + 8. Solve -5*m = 6 + l for m.
-5
Suppose 2*n + 0*n - 4*y - 24 = 0, -1 = y. Solve -2*j = n*j + 24 for j.
-2
Let m(f) = 3*f - 5*f - f + 6 + f**2 + 4*f. Let k be m(-2). Solve 0*l = 2*l + k for l.
-4
Let g = 10 - 8. Let n(a) = 2*a**2 - 4*a + 2. Let w be n(g). Solve 1 = w*l - 5 for l.
3
Let a = -129 - -139. Suppose -4*m - 2 = -2*j + a, 3*j = 4*m + 14. Solve -6 - j = -4*h for h.
2
Let d be (-3)/9 + (-130)/(-30). Solve d*l = 2*l - 4 for l.
-2
Suppose 41*y = -20*y + 122. Let t(b) = 3*b**2 - 3. Let m(h) = -h**2 - h. Let d(f) = 2*m(f) + t(f). Let q be d(4). Solve y = -q*s - 8 for s.
-2
Suppose -36*t - 93 = -345. Solve -2*d + t*d + 20 = 0 for d.
-4
Suppose -3*p = 5*b - 4, 0*b - 5*p = -2*b + 14. Suppose 3*m - b = 28. Suppose -j - 12 = -4*j. Solve 2*s + m = j for s.
-3
Suppose -363*x + 355*x = -40. Solve -6*p + x = -11*p for p.
-1
Suppose 0 = 6*p - 3 - 21. Suppose 0*o = -4*o + 28. Suppose 4*j - o*j + 75 = 0. Solve c = -p*c + j for c.
5
Let o = 315 + -309. Solve 3*v = -3 + o for v.
1
Suppose 7*f = 6*f. Solve f*i - 2*i - 2 = 0 for i.
-1
Suppose h + 0*h = 2. Suppose 3*v + 1 = -2*p - 1, 23 = 3*p - h*v. Solve -p*z = -4*z + 2 for z.
-2
Suppose 9*i = 7*i + 162. Let w = -77 + i. Solve w*j = -0*j for j.
0
Let p = -152 - -156. Solve -p*k + 11 - 3 = 0 for k.
2
Let c(d) = d**3 + 24*d**2 - d - 21. Let b be c(-24). Let z be (1 - 1)*2*b/(-12). Solve 5*y + z = 5 for y.
1
Suppose -1314*j = -1322*j. Solve j*a - 10 = -5*a for a.
2
Let b be (1 - (-4 + (-1 - -3))) + 2. Suppose -14 = j + j + b*z, 0 = 4*j + 2*z - 4. Solve n = j*n for n.
0
Suppose 0 = -23*r + 9*r + 8*r. Solve r = 85*f - 84*f + 4 for f.
-4
Let j(a) = -3*a - 19. Let p(c) = 6*c + 37. Let q(n) = -5*j(n) - 3*p(n). Let u be q(-6). Solve -3*l + 25 = u*l for l.
5
Let f(v) = -12*v - 40. Let o be f(-4). Suppose -o*i + 21 + 19 = 0. Solve -i*w = -2*w for w.
0
Let b(