 = 3*m + u for m.
-4
Let a = 3 + -12. Let b(u) = -u - 6. Let q be b(a). Suppose 4*r - 2 = -3*t, -q*t + 4 = 5*r - 0. Solve 5*w = 2*s - 15, 5*w - r*w - 4*s = 5 for w.
-5
Let g be (-5)/15 + -4*26/(-6). Solve 4*f = -v + 2*v + g, -v - 5*f = -19 for v.
-1
Let u(b) = -b**2 - 55*b - 392. Let k be u(-46). Solve 2*p + 3*y - 23 = 0, -5*p - 2*y = -2*p - k for p.
4
Let f(v) = v - 4. Suppose -4*c + 12 = 0, 3*x = -c + 13 + 8. Let h be f(x). Solve -5 = -h*r + j + 8, 0 = -r - 2*j - 1 for r.
5
Let x = 12 + -8. Suppose 4 + 16 = x*n. Solve -u - n*v - 4 = -10*v, -2*v = 0 for u.
-4
Let h = 60 - 50. Solve -5*i - 12 = 2*t + h, i = -5*t - 9 for i.
-4
Let b = -291 + 296. Solve 0 = q + b*g - g + 1, 2*q - 5*g + 15 = 0 for q.
-5
Let l be (-14)/(-4)*(-30)/(-3). Let r be l/25 + 6/(-15). Solve -3*j = 4*u - 4 - r, u = -j + 1 for u.
2
Suppose -45 = 8*v - 77. Solve 0 = 4*u - 3*d + 2*d + 4, 5*u + 5 = -v*d for u.
-1
Let y be 4/(12/3)*9. Suppose -3*z = -y*z + 192. Solve -3*d - 12 = p, 4*d + z = -p + 5*p for d.
-5
Let a(i) = -i**3 + 3*i**2 + 4*i - 7. Let g be a(2). Solve -2*w = 4*o - 4, g*w + 5 = 5*o + 3*w for o.
1
Let i be (0*(-4)/(-12))/(-2 - -1). Suppose -3*w = 3 - i, 3*q = w + 7. Let y = 38 + -26. Solve 2*l = 3*h + y, q = -4*h + 3*h for l.
3
Let v = 59 + -54. Let q = 13 + -10. Suppose 2*j + 9 + 9 = q*o, 10 = o - 2*j. Solve -v*d + 3*l + 3 = 0, -2*d - 4*l - o = d for d.
0
Let h = 31 - 29. Suppose -f + 0 = -h. Solve f*p - 12 = -p, 5*p - 11 = -3*l for l.
-3
Let c be (209/11)/(-1 - 0). Let d = c + 31. Let b be d/(-30)*(-10 - 0). Solve 2 = 5*n + 3*z, -4*n + 5*z + b + 5 = 0 for n.
1
Let h be (15 + 0)*5/5. Let v be h/6*2 + -3. Let r be (1 + 0)*(-6)/(42/(-35)). Solve 19 = p - 4*f, -4*p - 10 = r*f - v for p.
3
Let k = -13 + 17. Let u = 6 + k. Suppose 0 = -m + 5 - 0. Solve m*y = 5*c + u, -2*c = -3*y + 2 + 2 for y.
0
Let r be (4*17/(-306))/((-2)/90). Solve 3*p - 2*t - r = 0, 8*p = 3*p - 5*t + 25 for p.
4
Let b = -1299 - -1303. Solve 2*h + 3*q + 21 = 7, -4*h - 24 = b*q for h.
-4
Suppose -3*w + 14 = 4*t, 0 = t - 4*w - 0*w + 6. Suppose 0 = -t*q - 2*r + 2, 0 = -4*q + 7*q - 3*r - 33. Solve 0 = -4*x + 2*i - 8, 2*x = q*x - 3*i + 8 for x.
-2
Let w(o) = -2*o**3 + 74*o**2 + 2*o - 72. Let x be w(37). Solve g = -3*t - 3, 5*g = -t - 3 + x for g.
0
Suppose -58 + 118 = 5*j. Suppose -3*o = -7*o - 2*m, -3*o = 3*m + 6. Solve -o*i - 5*y = -24, 0*i = 2*i - 4*y + j for i.
2
Let a be -87*(-3)/(11 + -2). Suppose -56 = -3*w - 4*w. Let h be w/(-16) - (-14)/4. Solve -5*c + a = -4*r, -h*r = -6*c + c + 28 for c.
5
Suppose -h - 3*a = 0, -417*h + 414*h = 4*a. Solve -5*m = w - h*w - 15, w = -3*m + 11 for w.
5
Let j(v) = -2*v**2 + 5*v. Let t be j(4). Let n be (-3)/(t/208) - 3. Suppose n + 31 = 2*l. Solve 3*g + 15 = 0, 2*a + 2*a + 4*g = -l for a.
-5
Let z be 2/(-6)*(-6 + 3). Suppose u - z = 4. Suppose u*r - 12 = r. Solve -5*j + l - r*l = 11, 0 = 5*j - 3*l + 21 for j.
-3
Let z = 2 - 4. Let k be (-170)/(-51) + z/6. Suppose -u + x = -20, 2*u + 5*x + 24 = k*u. Solve -n - 3*y - 13 = 0, -3*n + u = -2*n - 5*y for n.
-1
Suppose 0*t = 2*t - 18. Suppose 3*u + 144 = t*u. Solve -3*f + 17 = -l, -u = 5*l - 2*f + 9 for l.
-5
Suppose 5*l + 4*l = -6*l. Solve -2*x + f + 1 = -l*f, -f + 1 = 0 for x.
1
Suppose -102 = -6*l - 72. Solve -2 = 2*i, -l*c = -7*c + 2*i - 6 for c.
-4
Let h(x) = x**2 + x - 8. Let l(b) = b**2 + b - 7. Let u(a) = -4*h(a) + 5*l(a). Let z be u(6). Solve 5*c - 20 = 0, 4*i + z = 4*c + 3 for i.
-5
Let k(d) = -76*d - 2. Let h be k(-1). Suppose -4*n - 46 = -2*j - 3*n, -3*j = n - h. Solve -2*s = 4*z - j, -5*s - 4 + 19 = z for z.
5
Let g = 16 + -19. Let p be g/((0 - 4)/4). Solve -h = -3*n + p, 5*h + 3 + 12 = -5*n for h.
-3
Let p be 1 + (-4)/(12/9). Let y(v) = -10*v - 3. Let x be y(p). Let u(q) = 2*q**3 + 6*q - 4. Let g be u(1). Solve 5*s - 8 = -4*i + s, g*s + x = i for i.
5
Suppose 0 = -3*k - k + 4. Let c be -5 + 3 - 39/k. Let g = 66 + c. Solve n + 3*d - 12 = 0, 0 = -0*n + 5*n - 2*d + g for n.
-3
Suppose -n = -n - 8*n. Suppose n = -39*l + 42*l - 60. Solve -5*u + 0*u = 5*i + l, -4*u + 4 = 0 for i.
-5
Let h = 31 - 14. Suppose -4*g + h = -2*g + 5*j, 0 = 2*g + j - 29. Solve i - 6*i = k + g, -28 = 3*i - 4*k for i.
-4
Let n be -9*-3*(-1)/(-9). Suppose -2*x - n*x + 3*f = 12, 2*f - 8 = -5*x. Let c(v) = -v + 3. Let o be c(x). Solve -14 = 2*s + o*z - 0, -2*z = s + 8 for s.
-4
Let g be (-3)/(-6) - 49/(-14). Suppose -10 - 11 = -a + 2*x, -5*a - g*x = -63. Solve -4*f + a = -3*n - 0*n, -25 = f + 5*n for f.
0
Let n(j) = j - 9. Let b be n(11). Solve 2*x - 10 = y + b*y, -14 = -2*x + 4*y for x.
-1
Let f be ((-18)/8)/((-333)/444). Solve -4*r + 4*q = -0*q + 12, -6 = 2*r - f*q for r.
-3
Suppose -67 = -4*h - 55. Solve -o + 0*o - 5*y = 5, 4*o = h*y - 20 for o.
-5
Let p(w) = w**2 - 8*w + 10. Let d be p(7). Suppose 41 = d*y + 68. Let o(f) = f + 11. Let g be o(y). Solve -q - 3*z - 2 = 2, 0 = -g*z for q.
-4
Suppose -5*c + 178 - 43 = 0. Suppose -c*l = -31*l - 4. Let x be (14/(-6))/(l/3). Solve x*y - 2*y - 2*p + 22 = 0, 2*p = -2*y - 6 for y.
-4
Suppose q + 21 = 3*a - 4*q, 0 = -2*a - 3*q + 14. Solve a*c - n = 3*c - 8, -3*n = c - 11 for c.
-1
Suppose -7*o + 183 = 99. Solve -4*p - 3*w - 4 = p, -3*p - o = 5*w for p.
1
Suppose 2*c + 18 = 5*c. Suppose -17*u + 2 = -16*u. Suppose -2*y - u = -c. Solve -y*l + 2*z + 2*z + 4 = 0, l - 8 = -4*z for l.
4
Suppose 3*n = 5*p + 18, p + 4 - 3 = -2*n. Solve -3*k = 3*m - 6, n - 3 = -3*k - m for k.
0
Suppose 6 = -3*v, -j + 4*j + 16 = -5*v. Let r be (8 + -4)*j/(-4). Let b = -4397 - -4403. Solve -r*x + 5*y + 14 = 0, -4*y - b + 0 = x for x.
2
Let w be 30/(-4)*2*40/(-60). Let h = 58 + -18. Solve 5*f + 3*j - 8 = 0, -5*f - 5*j + w*j + h = 0 for f.
4
Let p be (-4 - (-10)/3)*33. Let q = p + 27. Solve q*g - 4*k = 28, -5*g + 5*k = -0*g - 30 for g.
4
Suppose 6*p + 293 = 323. Solve 3*d - p*w = 5, -5*d + 1 + 2 = -3*w for d.
0
Let j = 1426 + -1423. Solve -6*f + 2*h - 30 = -2*f, j*f - 5 = -4*h for f.
-5
Let s be (-1 + 4)*132/99. Solve 4*k + 9 + 9 = 2*q, -s*k = q + 21 for k.
-5
Suppose 0*q - 4*q = -120. Suppose 0 = -j + q + 2. Let a = -13 + j. Solve 3*u + 12 = -3*k, a = 3*u - 3*k + 7 for u.
0
Suppose -48 = -2*r + 4*b, -3*r - b = 2*r - 98. Solve 0 = 4*w - 4*x - 24, -5*x + r = 3*w + 2*w for w.
5
Suppose 2*b = 2*u + b - 19, -3*u - b + 26 = 0. Solve 5*d - u - 2 = -m, d = -3*m - 9 for d.
3
Let u be 16/10*715/26. Suppose g = -5*z + 2*z + u, 2*g = z - 17. Solve 1 = 2*d + 5*x, -2*x - 2 = -5*d + z for d.
3
Suppose 0 = -5*m + 5*s - 40, -3*s + 4*s + 42 = -4*m. Let x be (-16 - m/5)/(4/(-6)). Solve -3*w - p = -7*w - x, -5*w - 5*p + 5 = 0 for w.
-4
Suppose 11 = 3*b + y, -2*b - 62*y = -67*y - 13. Solve 8 = -b*p + f, -f - 10 = 5*p - 0*f for p.
-2
Let l = 617 - 614. Solve 3*v = 5*m + 6 + 18, -l*m - 9 = 0 for v.
3
Let r = 103 + -101. Suppose 0 = -3*b + 10 + 14. Solve 0*n = s + r*n + 7, 4*n + b = -4*s for s.
3
Suppose -r = -0*r + 3*z + 37, -z = 4*r + 137. Let o be r/(-9) - (-8)/36. Suppose -q - 91 = -14*q. Solve -u + 4*k = -o*u + 29, -q = u - 2*k for u.
3
Let k(v) = 2*v + 0*v - 4*v + 47 - v. Let n be k(15). Let j = 22 - 14. Solve -5*w - 4*y + 12 = 0, 4*y - 4 = -n*w + j for w.
0
Let n be 84/30 + (-20)/(-75)*-3. Solve -3*o = -0*o - 5*j + 9, -n*o - j - 6 = 0 for o.
-3
Let i(q) be the first derivative of -q**4/4 + 2*q**3/3 + q**2/2 + 10*q + 2. Let y be i(3). Solve -2*o = -3*l + y*l - 1, -3*l + o = 11 for l.
-3
Suppose 19*v - 16*v + 36 = 0. Let b = 12 + v. Suppose -2*k = -4*c - k + 2, 0 = -5*c - k - 2. Solve -2*m - 4 = -z, c = -b*z - 3*z + 12 for m.
0
Suppose -3*x = 4*q - 3 - 15, -2*x + 4*q = 8. Solve -4*p - x*f = 12, 2*f = -4*p - f - 14 for p.
-2
Let t be 12/42 - 38/(-14). Suppose 29*s + 4*v + 32 = 31*s, 0 = 5*s + 4*v - 66. Solve -t*o + 0*o = -k - s, -2*o - 4*k = 0 for o.
4
Let t(d) be the third derivative of d**4/12 - 5*d**3/2 - 8*d**2. Let g be t(8). Let j = 1 + g. Solve 2*w - 2*z + 12 = 0, 3*z = j*w + 20 - 6 for w.
-4
Let i be (1 + 4 + -6)*-3. Suppose v = -6*h + 2*h + 12, -i*v + 22 = 5*h. Solve 12 = 4*r + v*c, r - 4*c = -r + 12 for r.
4
Let v be (6/(-9))/((-10)/45). Suppose 5*p - 15 = -k, 0 = 2*k + v*p + 2*p - 20. Solve 0 = -3*u - k*o, -u = -2*u + 2*o for u.
0
Suppose -5*p + 12 = -8, 5*r = 4*p - 6. Solve -5*m = -4*i - 3, -2*m + r = -i - 1 for i.
3
Let o(c) = -c**3 + 12*c**2 + 12*c + 15. Let z be o(13). Let g(t) = 6*t - 2. Let v be g(z). Solve -4*q + 20 = 5*d, 2*