+ 10 = t + x, 5*y = -3*t for t.
-5
Suppose 232*n - 213 = 457 + 258. Solve -5*j = 2*u + 21, -3*u - 49 = -n*j - 52 for u.
-3
Suppose -15*b + 86 = -4. Suppose 92*m - 90*m = b. Solve h - 12 = m*k, -5*k + 2*h - 16 = -h for k.
-5
Let a(o) = 24*o - 4. Let f(p) = p. Let j(h) = a(h) - 12*f(h). Let d be j(5). Let n = 61 - d. Solve 5*w + 23 = -u, 5*u = n*w + 5 - 0 for w.
-4
Let p be 7/(84/(-9)) + 441/28 + -5. Solve 4*r - 5*z - 2 = 0, -r + 13 = 15*z - p*z for r.
3
Let n(y) = -5*y**3 - 11*y**2 + 5*y + 16. Let r be n(-1). Solve 9*v - 15 = r*h + 4*v, 4*h + 4*v - 28 = 0 for h.
2
Let a = -47 + -49. Let r = a + 120. Solve 2*c - 7 + 35 = -5*z, 2*z = -4*c - r for c.
-4
Suppose 35 = -h + 2*h. Suppose -4*n + h*z = 39*z - 20, 0 = z. Solve g - n*l - 6 = -21, -g + 15 = 5*l for g.
0
Let o(d) = 2*d**2 + 7*d + 14. Let n be o(-6). Let v = -43 + n. Suppose 0 = 3*g - 5 - v. Solve -k - a + 1 = 0, k + 0*a = -g*a - 2 for k.
4
Suppose w - 12*w + 119 - 31 = 0. Solve y + 407 = -3*a + 409, -3*a + 5*y + w = 0 for a.
1
Let n = -1140 + 1143. Solve 5*q = -5*y - 5, -3*y + 29 = -n*q + 8 for y.
3
Let p be (-76 + 0/4)*((-78)/24)/13. Solve g = -p*q + 24*q - 5, 3*q - 3*g - 3 = 0 for q.
1
Suppose 5*q = 23 + 2. Suppose 2*t = 100*t - 392. Suppose -q*w + 54 = t*w. Solve -f = 2*f - 5*m + w, -8 = 4*f - 2*m for f.
-2
Let q(x) be the first derivative of -x**4/2 - 10*x**3/3 - x**2/2 - 3*x + 153. Let s be q(-5). Solve -o - s = 0, 0 - 2 = 3*m + o for m.
0
Let f = -1 - -5. Suppose z - 2*k = 10, -f*z + 5*k - 2*k + 20 = 0. Let l(h) = -2296*h + 4594. Let d be l(2). Solve -z*t = 8, -d*o - 19 = -o + 5*t for o.
1
Suppose -80 = -2*p + 2*j, -p + 3*j + 0*j + 32 = 0. Let a be 578/(-14) - (-2)/7. Let r = p + a. Solve 5*q - 35 = 5*d, -4 = 2*q - r*d - 20 for q.
5
Let x be (-1)/3 - 1400/(-60). Suppose 4*s - x - 33 = -4*r, -5*r + 62 = s. Suppose 15*q = r*q + 15. Solve 2*w - 5*w - 26 = 5*g, -22 = q*g + w for g.
-4
Suppose 2*o + 134 = -3*b, -27 = 4*b - 2*o + 161. Let v = b + 48. Suppose -v*y + 8*y - 66 = 0. Solve 5*d + 3*r = y, -r + 6 = -3*r for d.
4
Suppose -2*j - 5*p + 6*p - 7 = 0, 0 = -5*j - p. Let i be (-2 - (-1 + j))/((-23)/23). Solve -2*s + 3*s + 5*h + 15 = i, -15 = 3*s + 5*h for s.
0
Let k(j) = 2464*j - 14784. Let y be k(6). Solve -v = -6*x + 4*x + 6, y = 3*v + 2*x - 14 for v.
2
Suppose 4*i = 5*n - 318, 3*n + 2*i + 2*i = 210. Suppose -5*l + 14 = -n. Let v = 16 - l. Solve 5*a = 4*g + 3*a - 10, 3*g + a = v for g.
1
Let j be 1 + (0 + 0 - 1). Suppose 5*k - 22 = -4*s, -s - 14*k = -10*k - 11. Solve -s*x - 32 = x + 4*n, j = -2*x + 2*n - 4 for x.
-5
Suppose r + 61 = -3*y, 10*y + 84 = 6*y - 4*r. Let j be 5 + 65/y + 2/8. Solve x + 8 = 5*b - 0*x, -j*b - 4*x + 12 = 0 for b.
2
Suppose -3*h - 58 = -2*x, 181*h - 12 = 184*h. Solve 5*q - x = -b + 2*b, 4*b - 18 = -2*q for q.
5
Let w be (532/20 - 3) + 12/30. Suppose -4*z - w = -j, 2*j - 15 = z - 2. Solve v + 2*v = -j*x, -2*x + 6 = 3*v for v.
4
Let v be (-84)/(-33) + (-12)/22. Suppose 2*r + i - 2 = 3*i, -5*r - v*i = -40. Solve -3*p + 2*p - 6 = -3*c, 0 = 2*p + r for c.
1
Suppose -18*v + 38 = -20 - 32. Solve c + v*j + 13 = 0, -j - 30 + 27 = 0 for c.
2
Let f be -6 + 93/7 + 34/(-119). Solve 2*n = 4*c + 18, 7*n - c - 31 = -f for n.
3
Let i = -32 - -32. Let v(u) = -2*u**3 - 106*u**2 + u + 57. Let o be v(-53). Solve -w + o = a + 1, -w - 5*a + 11 = i for w.
1
Suppose -2206 + 214 = -157*v + 206. Solve -3 = 2*y - 5*p, -23 + v = -4*y - 5*p for y.
1
Suppose 2*r + z - 9 = 3*r, 4*r = -4*z - 12. Let u be 1/(6/34) + r/9. Solve 0 = -3*v - y + 9, -4*v - v + 15 = -u*y for v.
3
Suppose -3*v - 2 = -4*v, 3*d + 4*v = 125. Suppose 24*q - 9 - d = 0. Solve 5*z + 4*r = -5, -z - q + 1 = 4*r for z.
-1
Suppose 0 = -2*a + 10 + 22. Suppose 11*g + 5 = a. Solve 4*j - 4*y = -16, 0*y = 4*j - y + g for j.
1
Suppose 428*q = 1131 + 1009. Solve -30 = -5*x - q*g, -6*g = -3*g - 12 for x.
2
Suppose -12*o + 99 = -o. Suppose o*y = -26 + 44. Solve -5*h - y*c = -33, 0 = -h - 4*c - 12 + 33 for h.
5
Suppose 1117 - 1032 + 1553 = 63*o. Let j be 1/((-1)/(-10)*2). Solve -o = j*u - 4*z, -2*u - u + 2 = 2*z for u.
-2
Let h = 1 - 25. Let u be (1*(-2)/4)/(2/h). Suppose 3*m - 10 = -a, 3*a = -a + 5*m + u. Solve 0*q - 5*c - 15 = -5*q, 0 = -q - a*c - 7 for q.
1
Let c(g) = 2*g - 6. Let u be c(4). Suppose 0 = -5*d - 5, s + d - 51 = 3*d. Let z be (s/7 - 6) + 2. Solve 2*y - z*q - 4 = -1, -2*q + u = 0 for y.
3
Suppose l + 4*u + 729 = 0, 20*u - 18*u - 1438 = 2*l. Let r = 727 + l. Solve -v - 3 = 0, -3*y = -r*y - 4*v - 18 for y.
-2
Let h be (-11)/(-6) + -2 - (-682)/132. Solve -h*x = -6*x - 5*p + 25, 5*x - 5 = -p for x.
0
Suppose -x = 4*n - 117, -4*x - 4*n = -544 + 172. Solve -f = -3*i - 5, 3*i + 10 = x*f - 89*f for f.
-1
Let f(m) = m**3 - 6*m**2 + 7*m - 6. Let n be f(5). Let s = 16 + -16. Let u = s + 5. Solve -3*z - 10 = n*v, v + 7 = u*z - 8*z for z.
-2
Let q = 7376 - 7373. Suppose 0*m + 4*m = 0. Suppose m*z = -2*z. Solve t = -0*t + q*i - 8, z = 5*t - 2*i - 12 for t.
4
Suppose -2*k - 3*x - 6 = 0, 2*k - 5*k = 2*x + 4. Solve -4*b + u + 16 = k, 0*b + 20 = 5*b - 4*u for b.
4
Suppose 24*v = -127*v + 302. Solve 0 = v*s - 3*o - 8, 4 = s - 10*o + 8*o for s.
4
Let t = 94 - 84. Suppose 166 - 126 = t*a. Solve -4*u + 2*c + 8 = 0, -a*u - 3*c = -8*c - 8 for u.
2
Let x = 54 - -37. Let y = -52 + x. Let l = -35 + y. Solve 5*d - 2 - 4 = 3*a, 2 = -l*d - a for d.
0
Let u be (-1071)/(-714) + 195/2 + -2. Solve d - u + 86 = -3*v, -5*d + 13 = v for d.
2
Let r = -3712 - -3715. Let i be 10*(3 + (-10)/4). Solve 2*n + c + 2*c = 14, -i*c = r*n - 22 for n.
4
Let m(x) = -22*x**3 - 308*x**2 - x + 12. Let y be m(-14). Let v = 26 - 4. Solve -2 = -5*w - v, -5*o - y = 4*w for o.
-2
Suppose -411*p + 2380 = -406*p. Let m be 68/p + 1/(-7). Solve 3*s - 4*z = -m + 20, 3*z = -4*s + 10 for s.
4
Let u = 840 + -718. Suppose 2*i - u + 118 = 0. Solve 0 = 3*s + 2*z - 6 - i, 4*z = -2*s for s.
4
Suppose -11*i + 10*i + 32*i - 341 = 0. Solve 3*k = -15, -4*u - k - 14 = i for u.
-5
Let t be (-1)/(-7) + 1971/511. Solve -5*p - 3*b + t*b - 15 = 0, -p - 22 = -4*b for p.
-2
Let q = -8751 + 8753. Solve 24 = 4*k + q*g, -4*g = 4*k - 37 + 5 for k.
4
Let u(z) = z**3 - 6*z**2 + 65*z - 261. Let o be u(5). Solve -4*f - k = -o + 30, -2*f - k = -5 for f.
2
Suppose -415*c = 43*c - 1832. Solve -5*y = -4*z + 21 - 12, 0 = -c*y - 4 for z.
1
Let z = -153 + 153. Suppose 0 = -0*g - g - h + 6, -3*g - 5*h + 14 = z. Solve -2*f = -5*u + g, 4*u - f - 4 = -0 for u.
0
Suppose -6*y = -3*y + 18. Let f = y + -20. Let t = f - -29. Solve -i - 1 = 4*o - t, -2*o = 0 for i.
2
Suppose -o - 220 = -0*o + m, -4*o = 5*m + 876. Let y = o + 228. Solve z + 0*z - y*t + 19 = 0, 4*z - 9 = -t for z.
1
Let r be 297/(-22)*4/6 - -35. Solve -b + r*o - 20*o = -32, -2*b - 2*o - 20 = 0 for b.
-4
Let o = 15919 + -15914. Solve 111 = o*t - 3*r + 119, -3*t = -3*r + 6 for t.
-1
Let r = -10203 - -10223. Solve 21 = -a + x + r, 2*x = -2*a - 10 for a.
-3
Let w(y) = -4*y - 25. Let v = -83 - -76. Let n be w(v). Suppose -96 = -4*q - n*s, -4*q + 0*s + 96 = s. Solve -3*l - 2*j + 13 = 0, 4*l + j = -3*j + q for l.
1
Let o be 78/(-4)*(-10)/(-15). Let j = 10 - o. Suppose j - 13 = 5*g. Solve -3*w = 4*s + 19, -3*w - g*s = s + 18 for w.
-5
Let y = -13887 + 13925. Solve -y*i = -43*i - 4*o + 8, -3*i - o = -9 for i.
4
Let k = 96 + -154. Let t be 7/3 - 2 - (-160)/(-3). Let y = t - k. Solve -5*v + 5*x + 45 - 10 = 0, y*x - 5 = -5*v for v.
4
Let m(p) = 5*p**2 + 36*p - 21. Let s be m(-8). Let z(i) = i**3 + 4*i**2 - 3*i - 6. Let b be z(-4). Let h = s - b. Solve 2*u + 2*j = h*j - 13, 0 = 5*u - j for u.
1
Let u(y) = 3*y**2 - 24*y + 39. Let g be u(2). Solve -g*a - 5 = 4*z, -19 = -5*z - a - 39 for z.
-5
Let q(a) = -a**2 + 13*a + 12. Let i(f) = -2*f + 1. Let c(s) = -3*i(s) - q(s). Let l be c(9). Solve -3*m + 5*d = m - 11, -l*m - d + 13 = 0 for m.
4
Suppose 0*y = 4*y - 4. Let u be 110/(-11) + (y - -1). Let c(a) = -4*a - 29. Let l be c(u). Solve l*m = 5*d, -m + 5*d + 7 = -3 for m.
-5
Suppose 9*h = -15 + 33. Suppose -4*r - 6 = -7*g, 0 = 7*g - 5*g - 3*r + h. Solve -4*x + u + 16 = 2*u, g*x - u - 2 = 0 for x.
3
Let w(x) = -62*x + 5409. Let n be w(87). Solve -4*p + 0*p + 5*g + 25 = 0, n = -4*p - 3*g for p.
0
Let k(y) = y + 12. Let i = -18 + 27. Let f be k(i). Suppose -14*n + f*n - 21 = 0. Solve -24 = 5*d - 2*x + x, -n*d + 5*x = 32 for d.
-4
Suppose 30*z - 26*z = 4*u + 44, 3 = -3*z - u. Solve -m 