 = i*x - 2*h + 12, 3*x - 4*h = -12 for x.
-4
Suppose 19*a - 970 + 362 = 0. Solve -3*f + a = 5*l, 4*l = -3*f - 7 + 35 for f.
4
Suppose -a = 4*a + 2*l - 64, a - l - 10 = 0. Suppose 2*c + 4*o - 36 = 0, -3*o - 8 = -c - 0*c. Let m = c - a. Solve -m*d + 7*d = -2*r, 0 = 5*r - 5*d for r.
0
Let t = -2225 - -2225. Solve t = -u - 3*f - 5, 4*u - 2*f - 8 + 0 = 0 for u.
1
Let c(h) = 45*h + 407. Let s be c(-9). Solve 0 = -s*u - 2*b - b + 15, -b = -4*u + 9 for u.
3
Let c(q) = -6*q - 1. Let b(n) = 9*n + 1. Let a(z) = 5*b(z) + 8*c(z). Let t be a(-2). Let p be 20*4/12*t. Solve -3*y + 14 + 1 = 4*o, -4*y = o - p for y.
5
Suppose -3*j = -5*l + 309, -j = 3*j + 3*l + 412. Let z = j - -108. Solve -2*f - 1 = -t, 2*f - t - z = 2*t for f.
-2
Let q(s) = -s**2 + 5*s - 4. Let z be q(5). Let o(i) = 4*i - 21. Let w be o(6). Let y be w + z - 0 - -6. Solve y*x + 5 = -3*n, -6*n = -n + 4*x + 17 for n.
-5
Let r = 6 - 6. Suppose -6*l - 5*l + 264 = 0. Solve -k - 4*h + 12 = r, -4*k + l = -0*k + 4*h for k.
4
Suppose 42*d = -165 + 333. Solve -d*w + 8 = 3*y, 3*w - 9*y - 6 = -10*y for w.
2
Suppose -93 = -2*c - 87. Solve 3*v - 19 = n - 6, 15 = c*v for n.
2
Let y = 0 - -2. Suppose 2 = j - y. Let o be 8*((-54)/(-459) + (-26)/(-68)). Solve -4*x + 0 + 6 = -2*r, 0 = -o*x - j*r - 12 for x.
0
Let d = -32 - -32. Suppose d = 2*t + 2*t - 8. Solve -t*o - o = 2*l + 4, 0 = -2*o - l - 1 for o.
2
Let n = -7 - -11. Suppose 2*o = n*o - 4. Let m be -1 - (-9 + 3) - o. Solve 4*l + 9 = -s, 0 = -m*s - 0*l - 2*l - 7 for s.
-1
Suppose 17 = 3*c + 5. Suppose -2*b = j - 6, c*b = -j + 6*b + 6. Solve -4*o - 4*r = 16, -3*r + 17 = 2*o - j*r for o.
1
Let f(j) = -j**2 + 12*j - 13. Let d be f(9). Let k be (-4)/d - 111/(-21). Suppose -2*s + 1 + k = 0. Solve -3 = -2*g - s*z - 9, 4*z + 13 = -g for g.
3
Suppose w - k - 1 = 0, 7*k - 4*k = -3*w + 9. Solve -4*t + 24 = f - 3*f, -w*f + 3*t = 20 for f.
-4
Suppose -i = 3*i - 8. Let f(b) = -2*b**2 - 10*b + 2. Let s be f(-5). Let w be (0 - -2) + (-1)/(-1). Solve -i - 2 = -4*q - s*t, w*t = -12 for q.
3
Let n(m) = 2*m + 4. Let p be n(-4). Let g be 45/10 - (-2)/p. Suppose g*k = k + 9. Solve 3*u = -4*o + k + 13, 0 = 3*o - 3*u - 12 for o.
4
Let f = 383 - 382. Solve -y = -2*q + f, -3*q + 0 = 3*y + 12 for q.
-1
Let m be 1/(-5) + (-28)/10. Let x(o) = o**3 + 2*o**2 - 4*o - 1. Let g be x(m). Let h be ((-26)/39)/((-3)/(-9)) - -4. Solve -3*q = -g*q, 0 = h*s + 5*q + 8 for s.
-4
Suppose 0 = 3*b - 5*w - 21, 19*b - 17*b - 4*w - 16 = 0. Solve -b*x + 10 = 5*q, 4*x + q = -q + 4 for x.
0
Suppose 0 = d - 4*d. Suppose w = 44*n - 48*n + 12, 4*n - 20 = -3*w. Solve d = -3*c + 5*i - 5, 3*c - n*i + i + 1 = 0 for c.
0
Suppose 17 = 4*m - 159. Suppose 3*z = -2*z - 5*j + 10, -4*z = -5*j - m. Suppose -4*n = 5*k, 0*n - 4*n + 3*k = 0. Solve n = -3*u + 3 + z, 4*t + 13 = 3*u for t.
-1
Let n be 1*-2*(-81)/18. Suppose -3*d + 4*d + n = 2*f, -f = -3*d - 17. Solve -f*b = 5*p + 7, -3*p + 1 + 0 = -4*b for p.
-1
Let u be 6/(-2) + (8 - 1). Suppose -4*d - u*k = 0, -2*d + 5*k - 5 - 23 = 0. Let o be (-3 - d)/(2 + -1). Solve -2*t - 4*z + 4 = 0, 5*z + 2 - o = -4*t for t.
-4
Suppose 0 = -m - 0 + 1, 2*x + m - 7 = 0. Solve 7 = 2*s + 3*g, 5*s + x*g - 2 = -7 for s.
-4
Suppose 0 = -5*d - 0*d - 3*b + 47, 5*b + 25 = 2*d. Let q be (d/(-4))/(-2 + 3/2). Solve 0*z + z - q*m = -4, -4*z + 4*m - 16 = 0 for z.
-4
Let u(m) = -m - 3. Let x be u(-5). Let a(n) = -11 + 4*n - 8 - 6 + n. Let z be a(5). Solve -3*j = -0*r - 4*r - 1, z = 5*r + x*j + 7 for r.
-1
Suppose -20 + 14 = -2*o. Suppose o*t - 19 = -4*n, 4*t + 4*n + 5 = 33. Solve -2*d + 4*v + 6 = 0, -2*d - t + 3 = -v for d.
-5
Suppose -12*z + 17*z - 20 = 0. Let c(h) = 3*h + 4. Let d be c(z). Suppose -2*v - 6 + d = 0. Solve -2*j - 4*s - 10 = 0, v*s - 14 = 5*j + 4*s for j.
-3
Let v = 80 - 75. Let a be 3*v/30*0. Solve a*u = -l - u + 1, 2*u + 18 = 3*l for l.
4
Let z(r) = -15*r - 73. Let y be z(-6). Let i be y + (-3)/(-2)*2. Solve 5*v - i = 0, 2*f - 6*f = v - 24 for f.
5
Let m be (-2 - (-12)/9)/(4/138). Suppose -2*w = -2, -5*w - 8 - 7 = z. Let n = z - m. Solve -n*v - 4*t = -2*v + 5, -2*v - 3 = t for v.
-1
Let c be (14/(-4) - -1)*-2. Suppose -c*n + 20 = -n. Solve r + 5*d + 14 = 0, 2*r + 3*r + n*d + 30 = 0 for r.
-4
Suppose 0*j = -5*j + 290. Let n = j + -52. Solve -2*i = g + n, -5*i + 6*g - g = 45 for i.
-5
Suppose s = 5*r - 17, 77*r + 3*s = 72*r + 9. Solve 3*k - x = -0*k, 5*x = -r*k for k.
0
Let i be (-3)/6 - 34/(-4). Suppose 0 = 3*k, -4*o - 56 + 91 = o - 2*k. Solve 0 = n + 2*h - 7, -3*n + i*n = 4*h + o for n.
3
Let x(d) be the third derivative of d**4/12 - 20*d**3/3 - 18*d**2. Let l be x(22). Solve -c - l*y + 16 = 0, 5 + 20 = 5*y for c.
-4
Suppose -4*b - 4 = -16. Suppose 34 = 5*o - 2*k, 3*o + b*k - 4 = 8. Solve -4*i = 4*g + 36, 2*i - o = 4*g - 0*i for g.
-4
Let k(o) = o**3 - 20*o**2 + 50*o + 19. Let y be k(17). Solve 4*v + v = 4*n - 5, -v = -n + y for n.
5
Suppose -k - 4*k = 35. Let r = k - -12. Solve r*u + 2*j - 12 = 4*j, 28 = 2*u + 5*j for u.
4
Let y be 16/2 + 16 + -22. Solve -15 = 3*v - 3*o - 12, -y = -o for v.
1
Let n be 9 - (16 - (7 - -4)). Solve -3*p - 28 = n*o, 0*p - o = 3*p + 16 for p.
-4
Suppose -g + 25 = 5*r, -6*g + g + r = 5. Solve g = 2*c - 4*y + 28, 3*y = -c + 3*c + 23 for c.
-4
Suppose 2*u = 7*u. Let d be (2 - -4)*8/6. Let k be 46/d + 2/8. Solve 5*t = k*b - b + 20, -5*t - 5 = u for b.
-5
Let o = 817 + -812. Solve r = -2*r, -o*d = -2*r for d.
0
Suppose -7*h + 5 = -q - 2*h, 2*q = -4*h + 4. Let b(z) = -322*z - 16744. Let m be b(-52). Solve l + k - 2 = m, 2*l - 2*k - 21 + 5 = q for l.
5
Let a(f) = -f**3 - 11*f**2 - 15*f - 46. Let h be a(-10). Solve 7 = -t + 3*k, -k = 2*t + h*k - 8 for t.
-1
Let i = -3 + 9. Let j = i - 3. Suppose 0 = -j*v + 4*g + 43, 2*g - 5 = -v + 6. Solve -3*d + 6 = 0, -4*d = 2*h - 3*h - v for h.
-5
Let x(l) = -l + 17. Suppose 0 = 5*s - 20, 3*d - d - 4*s - 14 = 0. Let j be x(d). Solve -j*z + 22 = -3*z + 5*o, 0 = 2*z - 2*o + 12 for z.
-2
Let z(u) = -6*u - 12. Let p be z(-2). Let f = 2 - p. Solve 2*m = -3 + 1, 0 = x - f*m - 5 for x.
3
Suppose 0 = 4*y - 6*y - 14. Let d(z) = -3*z**2 + 7*z - 6. Let f be d(1). Let w = f - y. Solve -4*a + 9 + 11 = -5*h, 3*h = -a + w for h.
0
Let c(j) = j + 4. Let v be c(1). Suppose q - 8 = v*q. Let g = 7 + q. Solve g*h = 3*i + 35, 0 = 2*i - 5*i + 3*h - 27 for i.
-5
Suppose -6 = 4*h - 5*w - 31, 0 = -h + 3*w + 1. Suppose d + 2*x = 12, -3*d + 5*x = -38 + 46. Solve -d*q = 3*n - h, -n + q - 3*q + 4 = 0 for n.
2
Let w(d) = -d**3 + 18*d**2 + 18*d + 22. Let n be w(19). Solve 35 = n*k + 5*r, 0 = 10*k - 15*k + 4*r + 9 for k.
5
Suppose 153 = -4*d + 49. Let y = 30 + d. Solve 0 = -5*i + 4*n + 5, -4 = -y*i - 4*n - n for i.
1
Suppose -j - 28 = -2*j. Suppose -2*z + 2*s + 0*s = -j, 5*z - s - 78 = 0. Solve -z = k + 2*k + 4*p, 5*p + 20 = -5*k for k.
0
Let m(p) = 19*p - 165. Let w be m(9). Solve -4*b + 8 = -4*c - 0, 3*c + w = b for b.
0
Let o = -47 + 15. Suppose -t = -32 - 17. Let r = o + t. Solve 18 = -2*m - 2*d, 0*m - 2*m + 5*d + r = 0 for m.
-4
Let o(t) = -18*t + 149. Let g be o(8). Solve -s = -g*b - 14, b = 4*b + 2*s + 11 for b.
-3
Suppose -4*w - 32 = -5*f, -f + 3*f - w = 11. Suppose 4*k - f = 3*r - r, -4*k + 3*r = 0. Solve -k*x = -5*j - 15, -x - j - 15 = 4*j for x.
0
Let r(z) = 10*z + 31. Let p be r(-13). Let k = p + 101. Solve -k*b = 2*x - 2, 7*x = 3*b + 3*x + 32 for b.
-4
Suppose -2*z + 18 = 2*d, 3*z - 107*d = -112*d + 35. Suppose 0 = 3*h - 1 - 8. Solve -x + h*o + 4 = -o, z*x - 3*o = 3 for x.
0
Let m(w) = -2*w + 2. Let u be m(-5). Let c be 54/u + (-1)/(-2). Let o(z) = -z**2 - 6*z + 12. Let t be o(-7). Solve 4 = g - x, -g + t = 5*x - c for g.
5
Let a = 12 - -8. Let r be ((-5)/10)/((-2)/a). Solve 0 = -m + g - 3, -2*m - 2*g = -r*g + 11 for m.
2
Let j(l) = -l**3 - 14*l**2 + 15*l + 3. Suppose 0*f - 68 = 4*f - 2*p, f + p = -11. Let w be j(f). Solve 3*t - 11 = -0*z + 2*z, w*z = -2*t + 3 for z.
-1
Suppose 5*h = 40 + 5. Suppose 0 = h*v - 13*v + 8. Solve 4*n - 8 = -4*d, 4*d - v*d = -n for d.
-2
Suppose -45 = -7*i + 4*i. Solve -2*n - 5*v + 19 = -0*v, 0 = -3*v + i for n.
-3
Suppose -a = 4*a - 25, -5*d - 4*a + 45 = 0. Suppose 4*v + 9 = 4*i + 1, 19 = d*i + 4*v. Solve o = i*u, -o = u - 2*u for u.
0
Let h = -14 + 25. Suppose 3*z - 2*z - h = -5*x, -2*z - x + 13 = 0. Solve 5*j + 1 = z, 3 = -o + 2*j for o.
-1
Let n = 115 + -97. Let v be (-6)/10 - n/(-5). Solve -2*c = l + 5, v*c - 