 = -16*m + n*m + 10 for m.
1
Let k be (-37)/111 + (-50)/(-6). Solve k*l + l = -5*l for l.
0
Suppose -10 = -5*t + 5. Suppose -t*i = -6*i + 15. Suppose 5*o - i*m = 20, -4*o - 2*m - 5 = 3. Solve o = 5*f - 12 - 8 for f.
4
Suppose 4*v - 4*c + 7 = -9*c, 4*v - 20 = 4*c. Solve 23 = -v*f + 25 for f.
1
Let d = 2015 - 2015. Solve 14*m - m + 26 = d for m.
-2
Let l be (-13 - -4) + 30 - (-15)/(-3). Solve -l*h = h - 68 for h.
4
Let q(u) = 7*u + 545. Let b be q(-27). Solve 6*v = -b + 368 for v.
2
Let h(o) be the first derivative of -o**3/3 - 10*o**2 - 26*o + 11. Let v be h(-18). Solve -4*w - v = w for w.
-2
Let m = -2 - -4. Let n be ((-50)/(-20))/(m/4). Suppose n*o + 4 - 14 = 0. Solve 0 = -o*a + 4*a - 10 for a.
5
Let d be (-5)/10 - (-67)/2. Let u = 36 - d. Solve k - u*k = 6 for k.
-3
Let v(r) = 2*r**2 + 3*r - 2. Suppose 2*g - 1 = -5*s - 9, -4*s - 8 = 0. Let u be v(g). Solve 0 = 2*b - 1 + u for b.
-1
Suppose -4*m = 82 - 2. Let t be (-5)/m + 22/8. Suppose 0 = -3*i - 9, -t*i + i = b + 3. Solve 10 = -b*x + x for x.
-5
Suppose 4*n - 15 = 33. Solve -13 = 5*c + n for c.
-5
Let g be (-8)/(-48)*46 + 2/(-3). Solve -2 + g = -5*h for h.
-1
Let m(v) = 2*v + 2. Let w be (-3)/(9/3)*1. Let b be m(w). Suppose 4*h + 2*p = 11 + 3, 2*h + 5*p = 11. Solve h*t = -b*t for t.
0
Suppose 8*r - 10*r = -8. Suppose -2*h + 4 = -4*f - r, -2*f = 3*h - 12. Solve -6 = -h*l + 6 for l.
3
Let o = 11 + -34. Let d = 27 + o. Solve -d = 4*y - 24 for y.
5
Let a = -1040 - -1048. Solve a*t = 56 - 16 for t.
5
Let a = 1161 + -1127. Solve 31*p = a*p + 12 for p.
-4
Let v(u) = u - 3. Let i be v(3). Suppose i = -4*s + s. Let a = 219 - 218. Solve c + a = -s*c for c.
-1
Suppose -3*h + 2*h = -3. Suppose -i - h = -8. Suppose -a + 6 = w - 0*a, 5*w - i*a = -10. Solve r - w*r = -5 for r.
5
Let x(d) = d**3 + 11*d**2 + 9*d - 2. Let n be ((-6)/(-2) - 4)*-3. Suppose j + 13 = n. Let t be x(j). Solve -3*q + q = t for q.
-4
Let r = 8 - 8. Let a(p) = p + 2. Let b be a(r). Suppose -3*w + 41 = 4*n, 19 = 3*n - 2*w + 1. Solve -n = -0*l + b*l for l.
-4
Let r(w) = -2*w**2 - 24*w - 37. Let f be r(-10). Suppose 4*c - 5*s = 76, -5*c + 5*s = -f*c - 28. Solve 0 = 4*d + c - 8 for d.
-4
Suppose -4*n + 5 = -31. Suppose 0 = 79*o - 85*o. Solve o = -2*u + n - 1 for u.
4
Let a(r) = -r**3 - 6*r**2 + 3*r + 3. Let g(w) = -3*w + 14. Let y be g(6). Let q be a(y). Let n = 56 + q. Solve n = 2*t - 5*t for t.
-5
Let y be -4*948/(-32)*(-2)/(-3). Solve 3*t + y = 85 for t.
2
Suppose 0 = 2*y - 5*p - 37, -5*y - 3*p + 10 + 5 = 0. Let w(t) be the second derivative of -t**3/6 + 6*t**2 - 2*t. Let i be w(y). Solve 0*m - 2*m = -i for m.
3
Suppose 4*r = 4*m - 32, 2*r - 4*r - 16 = 3*m. Let y = -5 - r. Suppose f - 27*f = -3*f. Solve f*z = y*z - 6 for z.
2
Let b be -4*6/3*-1. Let n(g) = -g**2 + 7*g + 4. Let w be n(b). Let i be ((-9)/(-2))/(w/(-8)). Solve -11 - i = 4*z for z.
-5
Let m = 1253 - 1249. Solve 93 - 81 = -m*p for p.
-3
Let z be (-8)/192*-3 + 30/16. Solve 2*a - z = 4*a for a.
-1
Suppose -10*m = 24*m - 544. Solve 8*y - 4*y = -m for y.
-4
Suppose 3*h + 4*p + 50 = 0, 2*h - 2 = -4*p - 38. Let l be 45*1/7 + 6/h. Solve -l = w - 5 for w.
-1
Suppose -2*l + 6 + 18 = 0. Suppose -4*c - 3*w + l = w, -c - 5*w = 9. Suppose 9 = q + c. Solve -a = -q*a for a.
0
Suppose 0*u = j + u - 6, 0 = 2*j + 5*u - 18. Solve -j*s - s = 0 for s.
0
Let m(w) = -w + 1. Let c be m(-4). Suppose 0 = -c*o + 3*o. Let g be (2 - 1)*(4 - 1). Solve o = -g*h - 2*h - 10 for h.
-2
Suppose 10*s = 11*s - 5, -24 = -t - 4*s. Solve 5*c - 4*c = -t for c.
-4
Suppose 2 = -2*p, -n = -3*n - 5*p - 5. Suppose n*t + 2*t - 6 = 0. Suppose -t*i = -8*i. Solve i = -o + 3*o for o.
0
Let t be 42/16 + (-12)/(-32). Solve t = 3*p + 12 for p.
-3
Let t(y) = -2*y + 2. Let g be t(-1). Suppose 3*a + 38 = g*k - 23, a + 3 = 0. Solve 2 = 5*f - k for f.
3
Suppose 12 - 2 = 5*t. Let i be (-1)/(-3) + 51/9 + -4. Let k be i/(-7) + (-172)/(-28)*2. Solve 5*s = t*s + k for s.
4
Suppose 3*n - 8*n - 150 = 0. Let v be (-176)/n + 14/105. Solve -3*l - 18 = -v for l.
-4
Suppose -4*v + 11*g + 24 = 7*g, -2*g = -5*v + 36. Solve -v*c = -38*c for c.
0
Suppose 59*l - 54*l - 185 = 0. Solve 33*p + 20 = l*p for p.
5
Let d = -8 - -6. Suppose 7 = -3*r - 5*k, -k - 1 = -2*k. Let s = d - r. Solve t = s*t for t.
0
Let k(f) = -f**2 - f - 2. Let q be k(-4). Let r = 14 + q. Suppose -3*b - 2*m + 7 = r, -b + 2*m + 3 = -2. Solve 0 = b*t + t + 12 for t.
-3
Let x be (2 - (-5 - -2) - -2) + -4. Solve x*g = -9 + 3 for g.
-2
Let z = 285 - 264. Solve -33 = 3*h - z for h.
-4
Suppose 0 = 5*d + 10, -5*d + 15 = -0*a + 5*a. Suppose 5*j + 3 = 3. Suppose j*i = a*i - 10. Solve 0 = -2*x - 12 + i for x.
-5
Let r(t) = t**3 - 7*t**2 + 11*t + 1. Let f be r(5). Suppose 0 = 3*s - 59 - 1. Solve -j - s = -f*j for j.
4
Let i = -31 + 47. Suppose 18*g - i*g = 6. Solve 3*b + g + 12 = 0 for b.
-5
Let g be (((-5)/15)/(-1))/(2/12). Let w be 33/9 + 4/(-6). Suppose v = 5*v + 5*s - 11, w*s = -v + 1. Solve 2*a - g = v for a.
3
Let v(h) = 4*h - h**2 - 2*h - 2 - 8*h. Let o be v(-4). Let t be (-8)/6*(-9)/o. Solve -3*c - t*c = 15 for c.
-3
Let d = 425 + -416. Solve -v = d*v for v.
0
Suppose 2 = -3*o + 14. Suppose 4 = -o*k + 84. Suppose -5*a = -4*t, 2*a + a - 5*t = 0. Solve 4*d + a*d + k = 0 for d.
-5
Let x be 0/(2*(-4 - -2)). Solve -4*z + 6*z = x for z.
0
Let v(k) = -3*k + 4 - 3 - 5. Suppose 5*o - 17 = q, 0 = o + 3*o - 12. Let s be v(q). Solve -s*u = -0*u - 10 for u.
5
Let v(b) = -b**3 + 15*b**2 - 13*b + 13. Let z be v(14). Suppose z = 2*c + 19. Solve -c*n = 7 + 13 for n.
-5
Let s(w) = -26*w**2. Let x be s(-1). Let o be (0 - (-1)/(-1)) + 30. Let p = x + o. Solve p*z - 4*z = -3 for z.
3
Suppose 4*w + 32 = 8*w. Suppose w = 4*d, 4*j + d = -0 + 10. Solve -f = j*f for f.
0
Suppose -5*r + 5*x = -305, -6*x + 8*x - 198 = -3*r. Solve r*j + 6 = 61*j for j.
-2
Let z be 1/5 - 63/(-35). Solve 4*a - z = 3*a for a.
2
Let r = 320 + -311. Solve -r = -7*j - 23 for j.
-2
Let q = -134 + 138. Let k(g) = 2*g - 3*g + 0*g. Let w be k(-2). Solve -6*x = -q*x - w for x.
1
Suppose -13*u - 17 = -14*u. Solve -u*i = -13*i - 20 for i.
5
Let m be (-2)/(-10)*-15*(-1 + 0). Solve 2 = m*w + 14 for w.
-4
Suppose -4*g - 92 = -164. Solve -6*m + g + 12 = 0 for m.
5
Let n(r) = -3*r**2 + 16*r + 13. Let o be n(6). Let f be 28/14 + (1 - 1). Solve -3*w - o = f for w.
-1
Suppose 4*q = a - 19, 21 = -36*a + 39*a - 3*q. Solve -3*j = -2*j + a for j.
-3
Let f = 26 - 23. Let u = 204 + -203. Solve f = 2*r - u for r.
2
Let z = 15 - 7. Suppose -z*d - 5 = -37. Solve d = w + 3*w for w.
1
Let r = -34 + 39. Suppose 2*y = y - 4*n + 7, r*n = -3*y + 14. Solve 0 = y*u - 6*u - 6 for u.
-2
Let d be ((-39)/(-12) + -1)*-4. Let f = d - -13. Suppose 2*y - 13 = -3. Solve -u - y = f*u for u.
-1
Let p = -129 + 159. Solve 6*n = -0*n + p for n.
5
Let f(k) = -k**3 + 8*k**2 + 26*k - 146. Let h be f(9). Solve -4*m - h*m + 22 = 0 for m.
2
Suppose 5*w + 60 = a, 11*w - 44 = -a + 12*w. Solve a = -5*k + 20 for k.
-4
Suppose -a = -5*x + 12, 2*a + 8 = x - a. Suppose -x*g + 16 = 10. Solve -b + g = -0 for b.
3
Let r be -8*(-4)/(-16)*-2. Suppose -3*d - 3 - 24 = 3*m, -36 = r*d + m. Let p = d - -11. Solve 5*z = 8 + p for z.
2
Let o(m) = m**2 + 6*m + 4. Let g be o(-5). Let u = -3 + 0. Let j = g - u. Solve 0*s = -j*s for s.
0
Suppose -3 = -g - 0. Let i be 11/30 + 80/(-480) + 118/10. Solve -g*f + i = -7*f for f.
-3
Let u(g) = 7*g - 3. Let y be u(5). Suppose -29*d + y*d - 6 = 0. Solve d*i + i + 9 = 0 for i.
-3
Suppose -i - 3 = -2*i. Suppose 2*g = -i*g - 4*r - 15, -5*g - 5*r = 20. Solve -g + 5 = m for m.
4
Let d = 196 - 189. Solve -10 = -d*m + 5*m for m.
5
Let d(x) = -x**3 + x**2 - x - 32. Let q be d(0). Let i = -27 - q. Solve 0 = l + 4 - i for l.
1
Suppose 0 = 2*s + j - 2, 2*j + j = -3*s. Suppose -3*y - 5*m + 205 = 2*y, -5*m = -5*y + 175. Let a be y/14 + (-4)/(-14). Solve 0 = s*b + a*b for b.
0
Let n(k) = -2*k + 2. Suppose 5*s - z - 46 = 1, -2*s + 5*z + 28 = 0. Let r be n(s). Let c = r + 24. Solve -4*x = c + 4 for x.
-3
Let d(k) = -k**2 - 3*k + 13. Let m be (24/(-2))/3 - 3. Let h be d(m). Let j be (-56)/(-12) - (-10)/h. Solve x - 6 = j*x for x.
-2
Suppose 0 = -r + 3*u - 5, -26 = -5*r - 3*u + 39. Suppose -3*v + 3*m + 27 = 0, -v - 4*m - 24 = -3*v. Solve f - r = v*f for f.
-2
Let m = -256 + 268. Solve -2*d = -6*d - m for d.
-3
Suppose 2*w + 5*s - 6 = 0, 3 = -3*s - 3. Let u(t) = -t**2 + 7*t + 9. L