 3*o + 34 for m.
5
Suppose -222 + 462 = 10*f. Solve 8*u = 4*t + 3*u + 27, f = -5*t + 3*u for t.
-3
Suppose 3*j - 4*k = 5, -4*j + 0*j = -2*k - 20. Suppose -j = w - 28. Solve -4*s - l - 6 = -15, 2*s - w = 5*l for s.
3
Let b = 30 + -4. Let z be (25/(-15))/((-2)/6). Suppose -z*m = -2*n + 12 + 19, -5*m - 16 = 3*n. Solve 2*y - 5*x = -y + b, 10 = -y - n*x for y.
2
Let i = -43 + 47. Let n be 2 - (i - (8 + -4)). Suppose 0 = -r - 3*r + 8. Solve -r*z + z + v = -2, z + 2*v = n for z.
2
Suppose 5*x + 5*f - 9*f = 52, 0 = -x + 3*f + 17. Solve -4*p - x = -4*g, -g - 4 + 5 = 0 for p.
-1
Suppose 6*p = p. Suppose p = 2*t - 21 + 1. Suppose x - t = -x. Solve 22 = x*a - r, -10 = -3*a - 3*r + 14 for a.
5
Let c(b) be the third derivative of b**6/120 + 3*b**5/10 + 3*b**4/4 + 10*b**3/3 + 11*b**2. Let l be c(-17). Solve 0 = -3*s - u + 8, -4*s + l*u - 1 = 2*u for s.
1
Let k(z) = 2*z + 2. Let s be k(0). Let i(b) = -b - b + 0 - s - 2*b. Let q be i(-4). Solve 3*d - q = -l, 2*d + 5 = 5*l + 4*d for l.
-1
Let x(h) = -h**3 + 2*h**2 + 5*h + 2. Suppose -7*a = -2*a - 20. Let p be x(a). Let b be (3 + p + 3)/(-2). Solve b*c - 4*c - 18 = -5*l, -5*c - 3*l - 14 = 0 for c.
-4
Let m = 13 + -10. Let f be (-8 - -8) + 2*m. Solve -p - i + 19 = -f*i, -2*p = 2*i + 10 for p.
-1
Let f = -22 - -39. Let q = 27 + -23. Solve 5*p + f = -3*t, q*t + 2*p + 8 = -p for t.
1
Let o = -410 + 416. Solve 2*k = n + o*k - 8, -n + 4*k = 8 for n.
0
Suppose -84*a - 8 = -4*w - 88*a, -5*w + 28 = -a. Solve 3*h + 3*i - 7 = w*i, 0 = i - 4 for h.
5
Suppose -161 = -6*b - 119. Solve -b*w - 5*v = -2*w - 20, 5*w = 3*v - 12 for w.
0
Suppose -52*k + 55*k = -o + 33, -4*o - 55 = -5*k. Solve -2*y + 4*t + k = 9, 4*y - t - 18 = 0 for y.
5
Let p(v) = v**2 - 6*v + 7. Let r = 24 - 19. Let y be p(r). Suppose -7*i + 2*i = -115. Solve y*a - 18 = -4*q, 4*q + 4*a + 7 = i for q.
5
Let v = 86 + -83. Let i be (v/(-2))/(65/20 - 4). Solve -4*p - 8 = -i*a, 4*p = -3*a + 5 - 33 for p.
-4
Suppose 0 = 3*n - 13 + 37. Let p be (n - -7)/((-1)/14). Let i(s) = 2*s + 16. Let g be i(-7). Solve 6 = -4*k - g*y, -p = 2*k - 3*y + 1 for k.
-3
Let x(i) = i**2 - 13*i - 27. Let b be x(15). Suppose s = 5*r - 23, 0*r = -2*r + b*s + 4. Solve 0 = r*m + u - 20, -3*u - 27 = -4*m - 6*u for m.
3
Suppose 0 = w - 3*w + 12. Let p be (18/12)/(w/20). Suppose 0 = -p*t + 3*v + 10 + 14, 3*v = -9. Solve 3*a + 0*l - 2 = -l, 0 = -t*a + 5*l - 28 for a.
-1
Let h = -721 + 725. Solve h*d + 6 - 10 = -2*y, 4*d = y + 4 for d.
1
Suppose 35 = 2*o - o - 4*r, 4*o = -r + 55. Let k = -20 + o. Let s = k - -10. Solve -4*x + s*g = 8, 4*x - x - 29 = -5*g for x.
3
Let f = 164 - 160. Let b(z) = -3*z + 8. Let x be b(5). Let s = -7 - x. Solve s = 4*y + t - 0*t + 3, -5*y + 10 = f*t for y.
-2
Let z = -618 + 622. Solve -u - z*i = 3, -6*i = -u - 2*i + 5 for u.
1
Let o be -2 + 2 - -13 - 1. Let d be (19/(-2))/((-25)/100). Let c = 42 - d. Solve 0 = -5*x + 2*x, -c*l - x = -o for l.
3
Suppose -5*h = o - 2*o - 3, 8 = 2*o + 4*h. Let c be (5*o/(-5))/(4/(-6)). Solve 5*r + 4 = c*k + 10, -5*k + 5*r = 0 for k.
3
Let r be (125/(-30) - -5) + 91/42. Solve -4*w + x = r*x + 16, w + 10 = -2*x for w.
-2
Let x = 10 + -6. Suppose 0 = x*k + 4*p - 28, k - 17 = -k - 3*p. Let c be -1 - (-30)/25*(-30)/(-9). Solve -3*s - k*z = -0*s + 12, 4*s - c*z - 9 = 0 for s.
0
Suppose -20 = -4*z - 4*j, -2*z + 4*j - 4 = -j. Solve -7 = -3*a - 5*w, -2*a - 5*w = -0*a - z for a.
4
Let h = -861 + 863. Solve 0 = h*n + k + 3, -1 = 4*n + k - 0 for n.
1
Suppose -3*t + 8 = 2. Let s(l) = -l**3 + 3*l**2 - l + 1. Let p be s(t). Suppose -2 = -p*w + 7. Solve h + 6 = z, w*z + z + 4*h = 0 for z.
3
Suppose 2*s - m = 32 + 6, -m = 2*s - 34. Solve 12 + 8 = 5*x - q, -x = -3*q - s for x.
3
Let b(w) = -w**3 + 6*w**2 + 3*w - 38. Let t be b(5). Suppose -4*z + 2*c = -16, -c + 17 = 3*z - 0*z. Solve 5 = 5*m - t*l, 2*m - z*m - l = -3 for m.
1
Let f(d) = 9*d**2 - d - 1. Let a be f(1). Suppose a*m - 21 = 7. Solve 3*x + 5*v = -20, 12 = 4*x + v - m*v for x.
0
Let t be 36/(-54)*(-9)/2. Suppose 0 = a - 0*a - t. Solve 0 = 4*y - 3*b - 2, -a*y = -3*b - 2*b - 7 for y.
-1
Suppose -18*x - 63 = -153. Solve 2 = 4*g + 2*y, -4*y + x = -2*g + y for g.
0
Suppose -4*x + d + 28 = 0, 3*x - d = -2*d + 21. Let i(t) = -t**2 + 5*t + 5. Let y be i(5). Solve -2*z + x*z = -b - y, 3*b + 2*z + 2 = 0 for b.
0
Let q = 29 + -37. Let t(i) = 2*i**3 + 16*i**2 + i + 10. Let r be t(q). Solve -r*k - 2 = -2*f, 4 = 3*f - f - 3*k for f.
-1
Let s be (-5)/(60/(-51))*4. Let a = s + -12. Solve 30 = a*o - 4*t, o = -3*t + 7*t + 22 for o.
2
Let h = 79 + -79. Let j be h*2*(-5)/20. Solve 0*a - 17 = -4*x + a, 3*a + 15 = j for x.
3
Let l = -8 - -7. Let t(j) = 5*j**2 + 2*j + 2. Let n be t(l). Solve 5*o = n*u + 30, 2*o - 5*u - 14 = -2*u for o.
4
Suppose 9 + 21 = 10*d. Solve 0 = d*s + 3, 0 = -4*l - 6*s + s - 21 for l.
-4
Let q = -582 + 582. Solve q = -o - 4*c + c - 3, 3*c - 9 = -5*o for o.
3
Let x = 73 + -53. Suppose -3*w = -2*h + 19, 2*h - h - x = 5*w. Solve -h*d - 2*r - 31 = 0, -2*d - r = -0*r + 13 for d.
-5
Let f(h) = -h**3 + 13*h**2 + h - 13. Let r be f(13). Suppose 3*p - 11 = -2. Solve n = -p*b + 2, -4*n - b + 2*b + 21 = r for n.
5
Let m be ((-3)/2)/(240/(-160))*0. Solve y = v - 4*y - 4, 5*y + 5 = m for v.
-1
Suppose -3*b = -12, 0 = -m - b + 4 + 2. Suppose 9 - 6 = l. Suppose -j - d + 15 = 0, -l*d = -d - 6. Solve -4*r + j = 0, -1 = y - m*r - 0 for y.
5
Suppose i + 3*r + 10 = 6*i, 3*r = 0. Solve -3*j - 5 = -5*v, -i*v = -2*j - 3*j - 21 for v.
-2
Suppose 5*w = 5*y + 7 - 37, 4*w + 17 = -3*y. Solve 0 = -3*v - j + y, j - 6 = -3*v + 5*v for v.
-1
Let b be ((-1)/1)/((-1)/2). Suppose 19 = 3*k + 4, -2*k + 18 = b*m. Solve -2*n + a + 10 = 0, a - 8 = -m*n - 0*a for n.
3
Let f(r) = 3*r - 1. Let c be f(2). Let v = -5 + c. Suppose 3*o + 4*b + 7 = 0, v = 4*o + o + b - 11. Solve -30 = -o*p + 3*l - 0*l, p + 20 = -5*l for p.
5
Suppose 3*m + 3*w = -2*m + 11, -2*m - 2*w + 2 = 0. Solve -4*p - 4*y - 32 = 0, -m*p - 2*y = -0*p + 26 for p.
-5
Let c be -2 - (-15)/1 - -1. Let u be (-234)/(-14) - (-4)/c. Suppose 13*l = 5 - 5. Solve -3*a + u = 5*p, 3*p + a + l = 11 for p.
4
Let h(i) = -1 - 3 - 1 + i. Let o be h(6). Let q be (1 - (2 + -1))*-1. Solve -3*z = 4*w + o, w + z + q*z = 0 for w.
-1
Let d(u) = -u**2 + 4*u + 3. Suppose 3 = p + 1, -3*p = 3*w - 18. Let y be d(w). Solve 7*a = 3*a + 4*h + 8, -24 = -y*a - 3*h for a.
5
Let l be 38/14 + (-38)/(-133). Solve v - 3*o + l = 3*v, 4*o = 4*v + 24 for v.
-3
Let m = -694 + 699. Solve g - 2 + 0 = 0, 3*l = -4*g + m for l.
-1
Let p(f) = f**3 + 13*f**2 + 11*f - 8. Let s be p(-12). Suppose -5 = -s*r + 27. Suppose 4*j - r = -0*j. Solve 0 = -2*q + 2*i + j, 2*i + 3 = 3*q + 5 for q.
-4
Let z be (-22 - -19) + -1 + 6. Let w be z/2*(3 - -1). Suppose -c - 4*m = -8, w = -3*c - 3*m + 5*m. Solve c = -4*b + 2*x - 0*x - 12, 0 = 4*b - 3*x + 8 for b.
-5
Suppose -6*l - 5 = -5*l. Suppose q + 7*v = 9*v + 12, q - 6 = -4*v. Let c = l + q. Solve 5*b + c*i = -5, -2 = 2*b - 0*i - i for b.
-1
Let f be (-40)/50*-5*2. Solve 0 = -5*k - 4*n - f, -n = 4*k - 2*n - 2 for k.
0
Suppose 6*r - 10*r + 44 = 0. Let h = -4 - -6. Let d = h - -1. Solve -3*a + 2 = -2*s - r, -d*s = -3 for a.
5
Let x be (0 + 4/(-10))*-5. Let s = x - 0. Suppose -k + s*k - 3 = 0. Solve 2*a = -k*l + 7, -5*a + 3*a + 5 = l for a.
2
Suppose -2*d + 2 = -7*d - y, 2*y + 4 = 4*d. Solve d = 2*l + 2*a - 12, -l + a = 2*l - 10 for l.
4
Let k = 2 - 3. Let b be (-3)/(k/(-8)*6). Let v be 32/12*(-6)/b. Solve -5*i = v*t - 3 + 17, -9 = 4*i + t for i.
-2
Let f = 4 - -47. Let q = -49 + f. Solve -5*n + q = -2*h, -3*h + 2*h = -4*n + 1 for n.
0
Let l = -1086 + 1098. Solve 5*b - l*r + 9 = -11*r, b - 3*r = -13 for b.
-1
Let l be (2 - -12) + -2 + 4. Suppose 4*p + l = 36. Solve 5*k - 25 = 3*d, -p*d + 0*d + 3*k = 15 for d.
0
Suppose 0 = -6*k + 13 + 11. Solve -20 = -3*c - c, k*p - 36 = -4*c for p.
4
Suppose 3*h + h - 112 = 0. Let a be (-1)/(-4) - (-105)/h. Solve -35 = 5*y - 5*v, -3*v - v + a = 4*y for y.
-3
Let j = -243 + 248. Solve -4*f - q - j = -4*q, 4*f + 2*q = 10 for f.
1
Suppose 6*t - 7 - 5 = 0. Solve 0 = 4*z - 4*s - 8, z + 4 = 6*z - t*s for z.
0
Suppose -4*h - 4*y = -20, 4*y = 3*h - 1 + 7. Solve -h*u + 6 = j, j + j = -5*u + 15 for j.
0
Suppose -10 = -t - 2. Suppose 2*f - t = 8. Let z = f + -6. Solve -6 = z*k - u, 0*k + 4*u = -4*k for k.
-2
Let p = 106 - 104. Solve 5*n = h + 5, 3*n + p*n + 4*h = 5 for n