 + 2*z - u = t for a.
-1
Let i be (-5 - 63/(-15))*225/(-30). Solve -i = 3*b - 3*n - 9, -5*b = -n - 9 for b.
2
Let q = 62 + -46. Let h be 16/q - -4*1. Solve -h*y + 3*b = 28 - 3, -15 = 3*y - 3*b for y.
-5
Suppose 3*d = -0*d - 5*w + 27, 0 = -2*d - w + 11. Suppose n - 1 = 2*p - 2, 0 = -5*p + d*n - 5. Solve k = 1, 4*t - p*k + 16 = -3 for t.
-4
Suppose -48 = -25*y + 2. Solve 2*h = -y, 2*l + 5*h - 4 = -5 for l.
2
Let p be (1 - -1) + (-4)/(-2). Let q = -26 - -29. Let s be 3 - q/(-3)*-1. Solve 6 = p*d - 5*v, -4*d = -s*d - 5*v + 2 for d.
4
Suppose 4*i + 6 = -58. Let k(v) = 2*v**2 + 34*v + 35. Let o be k(i). Solve -f + 2*x = -6, f + 4*f = -o*x + 4 for f.
2
Suppose 2*d = 7*d + 2*u - 70, 3*u - 1 = -d. Let s be (d - 20)*1/(-4 + 2). Solve -2*g + 3*m = m - 4, s = g - 5*m for g.
2
Let j = 31 - 52. Let t be (j/(-6) + -3)*0. Suppose 0*m - 2*m = t. Solve m = q - 4*r + 2 - 8, 2*r = 3*q + 2 for q.
-2
Let b = 29 + -24. Solve b*a = 10, 4*a = 3*f - a + 4 for f.
2
Let f be (-3 + (3 - 0))/2. Let j = 6 + -4. Let n be (-4)/j*1 - -4. Solve -c - 1 = 3*k - f, -n*k - 14 = -2*c for c.
5
Let l = -17 + 41. Let f = 15 - 11. Suppose 0 = -2*a - 0*a + 6. Solve a*u - 4*g + 21 = 0, l = -u - 3*u + f*g for u.
-3
Let q(w) = w**3 - 5*w**2 + 3*w. Let j be q(5). Suppose 3*o + 9 - j = 0. Solve -h - 3 = -0*s - o*s, -4*s + 4*h = 0 for s.
3
Suppose -2*g - 5*z - 9 = 0, 8*g - 5*g - 5*z - 24 = 0. Solve -5*j - d = 4, -2*j + 16 = g*j - 4*d for j.
0
Let i be ((-1616)/(-32))/(((-3)/(-2))/3). Let f = i + -89. Solve -2*m - 3*z - f = -8*z, -2*m - 2*z + 16 = 0 for m.
4
Let n(j) = 28*j - 81. Let r be n(3). Solve t + 4*t = r*l + 17, -5*t = 2*l + 3 for l.
-4
Let c(q) = -q**3 - 11*q**2 - 9*q + 13. Let a be c(-10). Let t = -8 - -11. Let b(y) = 2*y - 4. Let h be b(t). Solve a*i + 3*j = -3, 0*j = 4*i + h*j - 4 for i.
3
Let v be 16/7 - (-38)/(-133). Suppose v*t = 6*t. Suppose 5*q = k - 7, 2*q + 12 = 5*k - t*q. Solve l + 0*l + 18 = -5*y, -k*y = 5*l - 2 for y.
-4
Suppose -2*g + 3*g = 5*z - 34, -2*z + 5*g + 32 = 0. Solve -4*o - z = 2*h + 8, 5*h = -3*o - 28 for h.
-5
Let t(o) = -o + 5. Let h be t(5). Let c = -1 - h. Let s be (4/(-10))/(c/5). Solve -4*b = -3*w + 8, -s*w - 2*w - 2*b - 26 = 0 for w.
-4
Let u = -209 + 211. Solve 0*l = -u*c - l - 8, 5*c - l = -6 for c.
-2
Let p(q) = -5*q - 45. Let w be p(-9). Solve -z = -4*f + 21, -2*z = f - 3 - w for z.
-1
Suppose 2*h - 5*u = 32, 2*h + 2*u - 11 = 7. Suppose h*t + 14 = 12*t. Solve 5*g - 31 = 2*x, 2*x + t = 4*g - 12 for g.
5
Let u = -6 + 11. Suppose -4*k = 5*n - 5, 0 = -3*n - 2*k + 6 - 1. Suppose -a = -d - 9 - u, -4*a + n*d + 57 = 0. Solve 0 = 5*i - o + 1 - a, -i = o for i.
2
Suppose 3*n = -6, -13*f - 36 = -17*f - 4*n. Solve 0 = i - 5, -x + 2 = 2*i - f for x.
3
Suppose m + 9 = 2*x, 0*m = 3*x + m - 6. Let t be (-182)/(-56) - 1/4. Suppose 10 = 5*q, -t*b + 62 = -4*q + 2*q. Solve -5*p + b = c, 0 = 3*p - x*c - 6 - 0 for p.
4
Let a(y) = -4*y - 13. Let z be a(-4). Solve s + h = 4, -5*s = z*h - 1 - 21 for s.
5
Suppose 14*c = -18*c + 160. Solve 5*a - 21*l = -16*l - c, 5*a - 3*l + 3 = 0 for a.
0
Let m(p) = 10*p - 108. Let o be m(11). Solve o*l - 5 = 3*l + 2*a, -a + 2 = -4*l for l.
-1
Suppose x + n - 25 = 0, 3*x - n = 7*x - 88. Solve 0*v - 2*l + 7 = v, l = -4*v + x for v.
5
Suppose -5*w = 16 - 86. Suppose w*t - 17*t + 9 = 0. Solve r - d + 2 = 0, 0*r + 5*r - t*d = -6 for r.
0
Suppose -4*r + 23 = g, -3*r + 42 = 4*g - g. Suppose 0 = -m + 4 - 5, -4 = -3*s + 4*m. Suppose -w + g - 9 = s. Solve 0 = j - 4*q + 6, -4*j + w*q + 2 = -2 for j.
2
Suppose 0 = 2*t + 3*p - 3 - 9, -2*p = 4*t - 16. Solve -h - t*b = -5, -2 + 6 = h + 2*b for h.
2
Suppose k - 7 = 2*k - 5*g, -k - 27 = -g. Let i = k + 37. Solve -i*q - 3 = -c - c, c = q for c.
-1
Let i be (16 + 948/(-60))/((-1)/(-15)). Solve -4*k = -i*g - 19, -4*g - 2*k - 2*k = -12 for g.
-1
Let c be 18/63 + 82/7. Let g be (18/c)/(1/2). Let a be (1/2)/(g/6). Solve 2*y = 5*m + a, 2*y + y = -3*m + 12 for y.
3
Let z be ((-9)/(-3))/(4 + -3). Solve 3*c - z*u - 9 = u, -4*u = 0 for c.
3
Suppose -5*p - f + 101 = -5*f, 3*p + 2*f = 43. Suppose -c = 3*l - p, l - 3*c - 5 = -4*l. Solve d - 2 = 5*t - 1, 3*t = -4*d + l for d.
1
Suppose 3*h - 2 = 4. Let d(l) = -l**2 - 8*l - 6. Let v be d(-5). Let t = v + h. Solve -5*m + t = -3*r, -m - r = -3*r - 5 for m.
1
Let c(y) = -6*y + 6. Let l be c(5). Let i = 20 + l. Let b be (10/i)/((-7)/14). Solve v - 1 = 2*v, -2*v - 12 = b*m for m.
-2
Suppose -2*o + 4*o - 12 = -4*t, 2*t - 6 = -3*o. Suppose -3*s + 16 = -4*h + t*h, 0 = -3*s - h + 20. Solve 11 = -3*j - i, 5*j - s*i + 3*i = -9 for j.
-3
Suppose -2*o - 4 + 66 = 5*w, -5*w + 2*o + 78 = 0. Let s be ((-30)/25)/((-9)/30). Let h be (-165)/(-5)*s/6. Solve -4*k = 3*f + h, 0*k = f - 4*k - w for f.
-2
Let w(m) = -m**3 + m**2 + m. Let a be w(0). Suppose 2*v - 62 = 5*n, 2*n = -a*n. Let l = 9406 + -9403. Solve 4*z + 2*b + 24 = b, l*z + v = -4*b for z.
-5
Let t(g) = g**3 + 4*g + 27. Let d be t(0). Solve 5*r = -y + 3*y + d, 5*y = 2*r - 15 for y.
-1
Let b be ((-90)/24)/(6/16). Let y be (-4)/b + (-23)/(-5). Suppose 0 = 5*t + y*a + 25, 2*t - 3*t + 10 = -2*a. Solve -3*x - 7 = -t*x - 4*l, -33 = 5*x + 4*l for x.
-5
Let m = -14 - -66. Let b = m - 49. Solve 5*x + 10*d + 15 = 5*d, 0 = x - b*d - 17 for x.
2
Suppose -4*o + 77 = -5*t, -2*o + 41 = -0*o - 3*t. Suppose o = 6*s - 17. Solve i + 2*k + 2 = 3*i, 3*i - 9 = s*k for i.
-2
Let c(i) = -i**3 - 2*i**2 - i + 28. Let s be c(0). Let b = s + -26. Let q be (-3)/9 + (-50)/(-6). Solve -5*k - b = 5*h + q, 4*k + 5*h = -9 for k.
-1
Let k = -76 + 86. Solve g + 0*g - 20 = -4*r, 2*r - k = -3*g for g.
0
Let a be (0 + 1)/((-3)/(-12)). Suppose a*g = -5*j + 17, -6 - 4 = -3*g - j. Suppose -y = -g*y. Solve -5*s - 3*t = -7*t + 3, y = 5*s + 4*t + 27 for s.
-3
Let y(t) = -t**2 + 8*t + 29. Let w be y(9). Solve h + h - 10 = 0, h - w = -5*v for v.
3
Let g = 706 + -702. Solve s + 14 = 3*f, -6 = -6*f + g*f + 4*s for f.
5
Let j be -2 - ((-192)/(-18))/8*-3. Solve -3*n + 13 = 2*r - 4*r, n = -j*r - 9 for r.
-5
Let t = 47 - 69. Let c be t/(-3)*27/18. Suppose -2*v + 40 = 3*v. Solve 2*o = z + c, -4*z - o + 9 = -v*z for z.
-1
Suppose -79 = -6*p + 11. Suppose y + p = 2*y. Solve 0 = l + 3*o - y, 5*o = 2*l - 0*o + 14 for l.
3
Let f = 6 - 3. Suppose -f*j + 11 - 2 = 0. Suppose g + 1 - j = 0. Solve -g*d + 4*d - 5*z + 20 = 0, -4*d = -3*z + 12 for d.
0
Let j = 9 + 6. Solve -3*a = 2*x + j, -2*a = -2*x - 2*x + 10 for x.
0
Let r be (22/4 - -2)*2/3. Suppose 0*f = 3*f - 9, f - 18 = -r*p. Solve -p*q + 2*o + 12 = -3, 0 = 4*q + 5*o - 20 for q.
5
Let k = -17 + 9. Let x be 13/2 - (-4)/k. Let w be 1/((-32)/(-6) + -2 + -3). Solve v + w*p = -2*p - x, 0 = v - p for v.
-1
Let l(f) be the first derivative of f**3/3 - 7*f + 17. Let h be l(3). Solve 5*o = 25, w - h*o + 5*o = 11 for w.
-4
Let k(w) = 16 - 4 - 5 + 17 - w. Let l be k(12). Solve l = 2*u - 4*o, 3*u + o + 2*o = 9 for u.
4
Let y = 18 - 14. Suppose 17 = y*o - 19. Solve c + v = -c - o, 3*c = -4*v - 11 for c.
-5
Let w(n) = n**2 + 2*n - 102. Let a be w(10). Solve 3*m + 18 = -3*x, -3*x = -a*m + 20*m + 16 for m.
-2
Suppose -2*m + 3*a + 1 = 0, 2 = -m - a + 5*a. Suppose -m*g = -4*g + 4. Let r = -11 - -26. Solve j = -5*l + r, g*j - 6*j = -2*l + 28 for j.
-5
Let x(m) = 6*m - 3. Let s be x(7). Suppose 2*q - s = 21. Let c = -27 + q. Solve -2*n = 4*z - 8, -c*z - z = -8 for n.
0
Let s(c) = c**3 - 6*c**2 + 8*c + 2. Let i be s(4). Solve -4*x + 6 = i*y + 22, -2*y = 8 for x.
-2
Let a be (-6)/(-36) + 58/12. Solve -2*l + 3*b + 9 = l, 5*l + a*b + 25 = 0 for l.
-1
Suppose -10*h + 7*h = -246. Let j be 0 - (12/78 + h/(-26)). Solve -4*t - 3 = j*m, 4*t = t + 9 for m.
-5
Suppose 3*t + j - 9 = 0, t - 4*j = -3*t + 12. Solve 5*o = t*o - 4*w + 28, 22 = 3*o + 2*w for o.
4
Let h(m) = -2*m**2 + 52*m + 242. Let c be h(-4). Solve c = -3*t - 4*w - 3, 0 = 4*t + 3*w + 9 for t.
-3
Let u be (0 + -2)/(10/(-395)). Suppose -u - 46 = -5*d. Solve q - 5*h + 10 = 0, q - 3*q - 5*h + d = 0 for q.
5
Let q(k) = -3*k**2 - 3*k + 1. Let w be q(-3). Suppose 5*t + 12 = -83. Let u = w - t. Solve u*p = -s - 0*p + 12, -4 = 3*s - 2*p for s.
2
Suppose 11*m - 8*m = 0. Let h(f) = f**3 - f**2 - f + 3. Let i be h(m). Solve k - c + 5 = 0, -2*k + 0*c + 10 = i*c for k.
-1
Suppose 27 = -9*r + 63. Let m(g) = -g**2 + 6*g - 2. Let b be m(4). Suppose b = r*x + i, 4*i - 1 + 13 = 2*x. Solve -4*y + j = -3*j, 5*j = x*y - 3 for y.
-1