 m.
5
Suppose -4*k - 4*t = -20, 3*k - 5*t + 9 = 4*k. Suppose 5*v + 1 + k = 2*q, 4*v = 4*q - 4. Suppose -2*d - 2*d + 12 = -f, q = -3*f. Solve 0*z - d*z = 6 for z.
-2
Let z be 252/(-35)*(-10)/4. Solve 5*u = 7 + z for u.
5
Let r(z) = z**3 + z**2 - 2*z - 4*z - 6*z**2. Let f be r(6). Suppose -3 = -k - f*k. Solve q - 12 = -k*q for q.
3
Suppose q - 2*q + 45 = 0. Let l = -27 + q. Suppose -a - a = -l. Solve a = -4*z - 7 for z.
-4
Let d(p) be the first derivative of 3*p**2/2 - 6*p + 13. Suppose 3*n - 12 = 3. Let m be d(n). Solve m = -5*z - 16 for z.
-5
Suppose 0*u - 36 = -4*u - 5*h, 24 = 5*u + h. Let w = u + -2. Let f = w + 4. Solve 2*s - 2 - f = 0 for s.
4
Let v = 2 + 3. Suppose v = -c + 14. Let o be (2*-2)/((-6)/c). Solve 4 + o = 5*f for f.
2
Suppose 0 = 3*s - 7*s + 4. Let a = 1 - s. Solve a = -2*k - k + 9 for k.
3
Let d(x) be the third derivative of -x**4/24 + 13*x**3/6 + 4*x**2. Let i be d(9). Solve y + 0 = -i for y.
-4
Suppose v + 12 = -5*f, -5*v - f + 2*f - 8 = 0. Let r be -1 + (v - -3) + 5. Suppose -r*h + 9 = 2*c, 0*c + c = 4*h + 24. Solve 4*z + c = -8 for z.
-5
Let k be (6/(-4))/((15/4)/(-5)). Solve -k*x = -0 - 6 for x.
3
Let z(d) = 7*d - d - d**3 - 6*d**2 + 2 - 8. Let b be z(-7). Suppose 3*l - h = 1, 3*l - h + b = -2*h. Solve -5 = -o - l*o for o.
5
Suppose -7*d = -4 - 3. Solve d + 19 = 5*v for v.
4
Suppose -4*s = -4*l + 184, 2*s - 119 = -5*l + 139. Suppose 3*z + 67 = -4*h, 2*z + 5*h + 4 = -l. Let g = z + 40. Solve -2 - g = 5*y for y.
-5
Let q be 1 + (-2 - -2) + 1. Solve q*u + 1 = -5 for u.
-3
Let b(l) = l**3 - 17*l**2 - l + 21. Let v be b(17). Solve 2 + v = -2*r for r.
-3
Let s be (-1 - 6/(-2)) + -2. Suppose -4*n + 9*n - 20 = 0. Suppose -3*x - i - 5 + 1 = 0, -n*i = 4*x + 16. Solve d + x*d = s for d.
0
Suppose 0*z = 4*z - 16. Let v(l) = -l**3 + 4*l**2 + 2*l - 5. Let i be v(z). Solve -2*h - i*h = 0 for h.
0
Suppose -6 = 2*y - 3*x, 0 = 2*x + x - 6. Solve 5*r + y*r - 20 = 0 for r.
4
Let p be (-24)/(-30)*(-15)/(-2). Solve 2*h = -h - p for h.
-2
Suppose 7*n + 2 = 16. Solve 0 = n*o + 2*o for o.
0
Let i(f) = f**3 + 2*f**2 - 1. Let m be i(-2). Let j = 5 - m. Solve 2*x - j = -x for x.
2
Suppose 0*q = -2*q - 2. Let a be q - (1 - 0)*-1. Solve a = -5*c + 1 + 9 for c.
2
Let o be (-10)/15 + (-20)/6. Let a = 2 + o. Let c be ((-1)/a)/((-2)/(-12)). Solve -6*k - 15 = -c*k for k.
-5
Let p = 9 + -4. Solve -2*i + 5 = -p for i.
5
Suppose 0 = q + q - 5*j + 3, 3*j - 17 = 5*q. Let p = q + 8. Suppose -2*n + 14 = -n + 2*i, 3*n + i - 17 = 0. Solve 3*k = n*k - p for k.
4
Suppose -3*n + 16 = 5*o - 4*n, 0 = 3*o - 4*n - 13. Let h be o/9*9 + 1. Suppose -s = 3*s. Solve -h*q + 2*q + 6 = s for q.
3
Let b be 1/((-1)/3*1). Let l(h) = -h**2 - 6*h - 5. Let k be l(b). Solve -k = 2*a - a for a.
-4
Suppose 0*f = 4*f + 16, -5*c = 2*f - 47. Let t = c + -7. Solve -5*x - t - 16 = 0 for x.
-4
Suppose -1 = b, 14 = 2*r - r - 4*b. Suppose g + r = 4*k + 3*g, -2*g = 10. Solve 0 = -k*n - 5 for n.
-1
Suppose -3*w + h + 7 = -3*h, 3*w = -3*h. Solve -2*l = w + 3 for l.
-2
Suppose 0 = t + 1. Let u be 10*(t + -1 + 3). Solve -n = 4*n - u for n.
2
Let t(f) = -f**2 - 3*f + 2. Let v be t(-2). Suppose -n = -v*n + 57. Solve -1 = -4*c + n for c.
5
Let b(f) = f**3 - 3*f + 2. Let n be b(-2). Solve n*h - 6 = 3*h for h.
-2
Suppose -2*d + 24 = 3*u, 12 = d + 3*u + 2*u. Solve -4*l = -d + 4 for l.
2
Let i be 8 - (0 - (-12)/3). Solve 3*r + i = -8 for r.
-4
Suppose 19*g - 9*g - 110 = 0. Solve -2*a = -g + 5 for a.
3
Let l = -1 + 1. Suppose 3*n - 11 = 1. Solve l = x - 5*x + n for x.
1
Let k(f) = -3*f**3 + 2*f**2 + 2*f + 1. Let u be k(-1). Suppose 5 = u*g - 3. Suppose 0 = -5*y - 3*p + 40, 3*y - 20 = -3*p + 4. Solve 3*n + g = y for n.
2
Let h be -1 + (-5 + -20)/(-5). Solve 0 = h*t - 6*t for t.
0
Let x be (-2)/1 + 4 + -2. Let v = 304 + -296. Suppose -5*g + 3*g + 4 = 0. Solve x*s - v = g*s for s.
-4
Suppose 0 = f - 5*b - 30, -17 - 13 = -5*f + b. Suppose 0 = 2*o - f - 5. Solve n = o*n - 12 for n.
3
Let b(c) = c**2 + 3*c + 2. Let h be b(-3). Suppose 2 = -h*n + 18. Suppose 3*v + n = 7*v. Solve k - v = -0 for k.
2
Let s(x) = x**2 + 4*x + 2. Let q be s(-6). Let t be 24/q + (-20)/(-70). Solve t*u + 15 = -u for u.
-5
Let j be (-6)/4*(-2)/3. Let l(z) = z - 1. Let g be l(4). Suppose -k - g*k = -16. Solve -11 = k*r + j for r.
-3
Suppose -4*t + 0 = -16. Let a = t - 5. Let x = a - -4. Solve 0 = -x*n + 5*n + 4 for n.
-2
Suppose -3*s - 1 = 59. Let n = s + 56. Suppose 0*i = -3*i + n. Solve 3*h + i = -0*h for h.
-4
Suppose -4*p - p = -125. Suppose -5*i + 25 = -p. Let g = i - 4. Solve 0 = g*j - j for j.
0
Let r = 1 - 0. Suppose -2*i = -r - 5. Solve b - i = -0 for b.
3
Suppose 2*d + 8 = -4*i, 7*i = -5*d + 2*i. Let o(q) = q**2 - 13*q - 10. Let a be o(15). Solve 4*s = -d + a for s.
4
Suppose 18*m - 144 + 54 = 0. Solve -m*u + 4*u + 2 = 0 for u.
2
Let v be 3*10*1/3. Let n be (-15)/(-2)*8/v. Let t be 9/n*4/3. Solve 4 = -0*o - t*o for o.
-2
Suppose 2*k + 2*a = -3*k + 12, -5*a = 20. Solve 0 = -g - k*g + 5 for g.
1
Let o = -20 + 51. Suppose -z - 17 = -3*z + 3*y, -5*y = -4*z + o. Suppose w = z*w - 6. Solve 0 = 2*b + w for b.
-1
Suppose 5*a = 4*k + 17, a = -0*a + k + 3. Suppose -a*m - 4*y - 8 + 48 = 0, -m + 8 = 5*y. Let h be 2/(2/(m/2)). Solve g = 7 - h for g.
3
Let m = 9 - 5. Suppose 0 = 2*l - m*l. Let i be (8/20)/(2/10). Solve l = -5*q + i*q - 6 for q.
-2
Suppose -6*d = -d. Suppose -i + 2 + 1 = d. Solve i = 2*w + w for w.
1
Let d be 92/(-16) + (-3)/(-4). Let r be 9/(((-15)/4)/d). Solve 2*b + b - r = 0 for b.
4
Let c(f) = f**3 - 4*f**2 + f + 2. Let b be 2 - ((-1)/(-1) + -1). Let l be c(b). Let n = 6 + l. Solve 4 = -n*r + 2 for r.
-1
Suppose -f - 2*d + 9 = 0, -3 = 3*d - 6. Let x be 64/20 + (-3)/15. Solve -f - x = 2*r for r.
-5
Suppose 5*f - 2*f = 135. Suppose 0 = t + 4*t - f. Let l = t + -5. Solve 3*m - m + l = 0 for m.
-2
Let j = 12 + -10. Solve -j = a + a for a.
-1
Let s = 59 - 59. Solve s = -5*f + 8 + 17 for f.
5
Let a be 24/(-20)*5/(-2). Let j = a - -2. Solve b - j*b = -4 for b.
1
Let o(t) = t**2 + 4*t - 8. Let u be o(-6). Solve 5 = u*m + 1 for m.
1
Suppose 27 - 187 = -4*k. Suppose 3*x + 2*x + k = 0. Let n = x - -13. Solve n + 4 = -3*p for p.
-3
Let h be 24/14 - 4/(-14). Suppose 5*a + 3*q = -h, -6 = -5*a - 5*q - 16. Let n be (-4)/((-24)/(-18)) - -6. Solve n = a*y - 5*y for y.
-1
Let q(t) = -t**3 + 6*t**2 - 6*t + 5. Let y be q(5). Let r = 11 + -8. Suppose 0 = -2*u - 3*u - 5*g + 50, 26 = r*u + 5*g. Solve 0 = 3*k - y*k + u for k.
-4
Let a(w) = -w**2 + 7*w - 5. Let t be a(5). Suppose 9*n = t*n + 12. Solve -n*f = -2*f for f.
0
Let v = -7 + 17. Suppose 11 = o + 3*d - 2, -2*d + v = o. Solve 5*p + o = p for p.
-1
Let o(u) be the first derivative of 2*u**2 + 1/3*u**3 + 6*u - 2. Let k be o(-4). Solve -5*w + 16 = k for w.
2
Let k be ((-2)/(-10) - 174/(-30)) + 3. Let r = -6 + 13. Solve 4*m = -k - r for m.
-4
Let s = -2 + 6. Let b be ((-4)/(-6))/((-3)/(-18)). Suppose w = -j + s*w - 6, 0 = -2*w + b. Solve -3*v + 3 = -j for v.
1
Let s(c) = c**2 + 13*c + 15. Let l be s(-12). Solve -q + l = 5 for q.
-2
Let o(i) = i**3 + 9*i**2 - 2*i - 10. Let b(w) = -3*w + 3. Let m be b(4). Let p be o(m). Solve 17 + p = -5*k for k.
-5
Suppose -f = 2*n - 6*f - 141, 4*n = -4*f + 240. Let z be (-14)/n - 20/(-9). Solve 3 - 13 = z*r for r.
-5
Let c = -25 - -29. Solve -c*y + 15 + 1 = 0 for y.
4
Let c = -11 + 24. Let s = c - 10. Solve -5*f + s = -2 for f.
1
Let d be 1 + 1 + 5 + -3. Let s be (1 - 3) + 2 - -2. Let c be 0*(s - (2 - -1)). Solve -4*x - d + 20 = c for x.
4
Suppose 0 = -4*g - 4*u, -3*u = -g - 3*g - 14. Let p = 4 + g. Let w(y) = -y**2 + 3*y. Let k be w(3). Solve k = 6*s - p*s - 4 for s.
1
Suppose 4*r + 8 = 0, -2*b - 3*r + 74 = -0*b. Suppose 4*g - 16 = 0, 4*h - 4*g - b = g. Suppose 0 = 3*k + l - 7, 0 = -4*l + 4 - 0. Solve k*i = -3*i - h for i.
-3
Let i be 2*(-2)/(-4)*2. Let m be 0 - (-3 - (i + -3)). Solve 3*x + 2 = m*x for x.
-2
Let k be 5/15*(4 - 1). Let j be (6 + -6)/(1/k). Let h be (-2 - (-1 - 11)) + j. Solve -a - h = a for a.
-5
Suppose -3*q + 2*q = 4*q. Solve -10*u + 9*u + 4 = q for u.
4
Let m(t) = -5*t + 31. Let l be m(6). Solve -4*f + 5 = l for f.
1
Let y be (32/(-40))/((-8)/20). Solve -y*w + 5 = 15 for w.
-5
Let i(h) = 11 - 3*h + 4*h - 1. Let x be i(-6). Solve 4 = x*b - 8 for b.
3
Let k(r) = -r**3 + 6*r**2 - 4*r. Let i be k(5). Suppose 3*o - i*x = o + 11, 2*x - 1 = -o. 