+ 5*i = 0, -4*i = -y*a. Solve 0 = 3*p - 0*p - 4*k, a = 4*p - k + 13 for p.
-4
Let u = 672 - 669. Solve -21 = 5*j + l, -5*j - 4*l + u = 27 for j.
-4
Let u = 271 + -268. Solve -5*r - 11 = 3*j, -9 = 3*r + u for j.
3
Let s(v) = 2*v - 2. Let i be s(3). Let y = -15 - -17. Suppose -5*b = -y*b - 3*m - 54, 2*b - 37 = m. Solve 2*x - b = n - 3*x, -20 = -4*n - i*x for n.
1
Suppose 1 = -t + 3*x, 3*x = -2*t + x + 14. Let c = 1679 - 1667. Solve -j + 4*b - 5 = 6, 3*j = t*b - c for j.
1
Let j be ((-814)/33)/(2/(-3)). Solve -3*m - b = 4*b + j, -3*m - 3*b - 27 = 0 for m.
-4
Let p(b) = b + 10. Suppose -2*i + 6*i + 3*z = 77, 3*i = 5*z + 65. Let g = i + -29. Let d be p(g). Solve 4*o + 8 = -4*f, 5*o - 2*f + d = -2 for o.
-1
Suppose -6 = -870*q + 868*q. Let s be 0/((0 - 1) + 2). Solve -r + 4*l + 2 + 2 = s, 5*r + 26 = -q*l for r.
-4
Suppose 4*c + q + 2 = -1, 4*q - 26 = 3*c. Let i = c - -3. Let s = i - -3. Solve -s*v = -o, 3*v = -0*o - 4*o for o.
0
Let n(w) = -6 - w + w - w. Let j be n(-10). Solve -s - 2*s - 3*x = -15, -11 = -j*s - x for s.
2
Suppose 0*g + 4*g - 20 = -5*o, g - 5*o - 5 = 0. Suppose -4 = -g*l + 3*z + 11, 0 = 4*z. Solve t - 4*c + 3 = -0, t + l = -3*c for t.
-3
Let j(q) = q**3 + 8*q**2 - 12*q + 1. Let u be j(-9). Suppose -5*k - x = -4*x + 10, 0 = 3*k + 5*x - u. Solve 5*b + 3 = -2*c - k, 4*b + 2*c + 2 = 0 for b.
-2
Let x(t) = -t**2 - 12*t + 5. Let r be x(-10). Suppose 3*k + 20 = 4*y - 0*k, -5*y + r = 2*k. Solve 6 = m - y*d, -3*d + 3 = 2*m + 17 for m.
-4
Let f = -9 - -18. Let l be ((-1 - -2) + 0)*(-48 - -48). Suppose -i + 4*i - f = l. Solve -3*y = -v + 1, -4*y + 3 = y + i*v for y.
0
Let a(l) = -8*l + 116. Let v be a(14). Solve -2*p = -v*z + 20, -2*z - z = -5*p - 22 for z.
4
Suppose l + h = 7, 5*h - 180 = l - 157. Solve 4*v - 2*d = 2, 15*v - 20*v + 5 = -l*d for v.
3
Let y(b) = 2*b**2 - 46*b - 46. Let c be y(24). Solve -3*f - 4*g = 16, c*f + 3*f = -4*g - 16 for f.
0
Let u be (3 - 1) + 0 - 3. Let m = u - -13. Let n = -7 + m. Solve 0 = -n*h + 2*p, -4*h = -8*h - 4*p + 28 for h.
2
Let j(p) = -27*p + 20. Let l be j(5). Let s = -113 - l. Solve q = -s*c, 3*c - 4*q + 6 = -5 for c.
-1
Suppose 5*q - 2*y - 119 = -0*q, -3*q + 72 = -y. Let r = -33 - -39. Suppose r = -17*j + 20*j. Solve a + 4 = -2*h, -5*h - q = -j*a + 3 for h.
-4
Suppose 4*o - 13 + 29 = 0. Let p be -1 + o*(-3)/(24/10). Solve 1 = -3*f + y, -5*y - 19 = -p*f + f for f.
-2
Suppose f - 5*d - 26 = -f, -d = -f + 7. Suppose -3*u - 48 = -7*u. Suppose -u = -0*n + 4*n + 3*y, 4*y + 16 = 3*n. Solve -3*r + f*j = r + 16, n = j for r.
-4
Let k = -302 + 312. Solve -a - 30 = -4*p - k, 2*a = p - 5 for a.
0
Let a(w) = -2*w + 2. Let x be a(-1). Let i = x - 0. Solve 4*l + 6 = -j, 2*j - 2*l = -j - i for j.
-2
Let d(m) = -m**3 + 30*m**2 + 29*m + 71. Let h be d(31). Solve p + 6 = 5, 0 = -2*u + 5*p + h for u.
2
Let t = -5 - -8. Suppose 2*k = h + 31, t*k - 1 = 4*h + 38. Solve -8 = -2*a - 3*a + c, -4*c = -5*a + k for a.
1
Suppose 3*v - 4*f = 7 + 7, 2 = -f. Let l be (0 - 2) + 3 + 15. Solve -v*t - p = 3*t, -4*p + l = 4*t for t.
-1
Let q be ((-1)/1)/((-1)/5). Let v(i) = i - 3. Let r be v(q). Suppose -2*a + 10 = -4*t, 2*t + r*a + 25 = 7*a. Solve -y - 4*k + 3 = t, y + 8 + 3 = 3*k for y.
-5
Suppose -5*x - 3 + 23 = 0. Let d(g) = -g**2 + 3*g + 9. Let u be d(x). Solve -9 = -0*a - a + 5*p, -23 = -u*a + 3*p for a.
4
Let i be 855/10*(-1)/6*-4. Let j = i + -54. Solve -4*b - 4*s = -2*b - 12, 3*s = j*b for b.
2
Suppose -x = -4 + 1. Let z be 4 + 48/(-28) - (-4)/56*-4. Solve -x*t + 15 = -2*h, -z*t = h - 3 - 0 for h.
-3
Suppose -137 - 248 = 5*u. Let t be (2 - u)*1 + 0. Suppose -5*d = 5*f - 0*d - 85, -t = -3*f + 4*d. Solve 5*l + 5 = 0, -5*n + 4 = -5*l - f for n.
4
Let n = 434 + -432. Solve 5*z + p + 3*p = -7, 0 = n*p + 6 for z.
1
Let g = -31 + 22. Let b(u) = -u**2 - 10*u - 5. Let k be b(g). Solve z - 2 - 20 = -k*d, 5*z - 5*d = -15 for z.
2
Let q = 99 + -95. Solve 11 = -2*y + q*j - 15, -5*y - 37 = -3*j for y.
-5
Let x = 160 - 156. Solve 2*w - 33 = -5*g, 3*g = x*w - 0 - 1 for g.
5
Let o = -78 + 21. Let b = 59 + o. Solve 0 = -2*k + 4, -b*a + a + k = 1 for a.
1
Let c = 3 - 0. Suppose -48 = -c*d - 3*d. Suppose -d*i = -6*i - 4. Solve 8 = -i*o - 2*v, 5*o + 3*v + 5 = -9 for o.
-1
Let f = 61 - 96. Let o = -33 - f. Solve -o*v + 3*v - 7 = -j, 17 = 2*v + 3*j for v.
4
Let b(g) be the first derivative of g**4/4 - 4*g**3 + 11*g**2/2 + 3*g - 12. Let o be b(11). Solve -15 = o*d, 4*d = -0*h + 4*h for h.
-5
Let m be (-66)/44*(-8)/(-6). Let o be 3/(m + 5)*3. Solve 0 = 4*f + q - 7, 4*f + 4*q = o*f - 17 for f.
3
Let u be (-20 + 11 - -17)/2. Let z(k) = -k**3 - k**2 + k + 6. Suppose 0 = 6*m - 2*m. Let q be z(m). Solve h = 4*h - d + u, -2*h + 5*d = -q for h.
-2
Let w(p) = 10*p + 1. Let x be w(2). Suppose x = 15*d - 12*d. Solve -3*s = k - d, -4*k - 6 = 4*s - 2 for s.
4
Suppose 5*k - 27 + 12 = 0, 3*z + 4*k = 18. Suppose -1 = z*r - 3*r. Let n be r*2/(2/3). Solve 2*y - 19 = -3*y - n*o, -3*y = 5*o - 5 for y.
5
Let f = 641 + -638. Solve 3*b + 1 = 4*b - u, -5*b + f*u - 3 = 0 for b.
-3
Let s be ((-11)/2)/(2/(-4)). Let c = s - 9. Solve 3*f = f - 6, -2*f - 12 = c*y for y.
-3
Let c be (-343)/196 - 7/(-4). Solve -i = -4*z + i - 14, c = -z + i - 5 for z.
-2
Let t(x) = -6*x. Let z be t(-5). Suppose -2*l - 2*u + 4 = 0, 3*l - 7 = -u - 3. Let f be 9*(32/24 - (l - 0)). Solve 0 = -4*d - 1 - 11, -z = f*g + 5*d for g.
-5
Suppose -11*j = -116 - 104. Let h(f) = -f + 20. Let g be h(j). Solve -4*x = 5*t - g*x - 5, 3*x + 1 = t for t.
1
Suppose -m - 3 = 0, 4*x + 3*m - 18 = 5*m. Suppose b + 45 = -5*k, 0 = -3*k - 2*k - x*b - 55. Let d = k + 8. Solve d*o - 4*o + 26 = -3*z, -4*z - 8 = 0 for o.
5
Let j be 64/112 + 4/(-7). Solve 5*x - d + 4 = j, -x + 3 = x - 5*d for x.
-1
Let l(z) = z - 10. Let u = 3 + 9. Let g be l(u). Solve -5*x - 6 = 4*y - 18, -g*y = -6 for x.
0
Suppose 0*a = 4*a + 4. Let m = a + 6. Suppose -3*c + 50 = 4*n, 0 = 4*n - 4*c - 34 - 2. Solve -m*j - f - 3 = -2, 0 = 3*j - 2*f + n for j.
-1
Let z = 88 + -87. Suppose 71 = 6*v - z. Solve -4*h + v = 0, -1 - 2 = -3*l + 2*h for l.
3
Suppose 16 = d - 5*u, 0*d = -5*d - 2*u - 1. Suppose -d = 2*g - 31. Let w be 2975/1428 + (-2)/24. Solve w*p = 5*m - 2*m + 13, 3*m = -g for p.
-1
Suppose 0 = -8*m + 13 + 11. Suppose -41 = -m*b + 1. Solve 3*x = 4*g - 2*x + 26, b = -2*g + 3*x for g.
-4
Let m = 112 - 114. Let t be (m - -4)*6/12 - -1. Solve d + c + 2*c = t, d - 4*c - 9 = 0 for d.
5
Suppose 0 = -m + 6*m - 3*q + 5, -m - q + 7 = 0. Let f be ((-12)/(-9))/(2/6). Suppose a - 18 = -m*h - 7, -20 = -f*a. Solve -j + 4*w = 19 - 0, w = -h*j + 8 for j.
1
Let v be (-594)/(-77) + 1/(7/2). Solve 4*i - v = 0, -j - i - 4 = j for j.
-3
Suppose -6*t = -t. Suppose 5*u - 4*b - 10 = t, b = -4*b - 25. Let p be 2/(u/(-3)) - 2. Solve 0 = 3*j + 4*c + p, -j - c = 0 for j.
1
Suppose t - 84 = -6*t. Suppose 0 = -5*h - 3*p - t, 0 = -2*h - 3*p - 12. Solve h = -3*b + 3, -3*s - s - 4*b + 16 = 0 for s.
3
Let m(a) = -2*a - 4. Let g be m(0). Let z be (-9)/36*g*2. Solve -z*v = -s + 4*s + 3, s + 11 = -4*v for v.
-3
Let o(n) = n + 4. Let v = 45 - 47. Let f be o(v). Solve -4*i - 1 = -5*i - 2*x, f*i = 5*x + 11 for i.
3
Let o(k) = 16*k - 1 - 8*k + 28*k + 5. Let l be o(4). Suppose -5*m + 52 + l = 0. Solve i - 5 = -3*d, 4*i = 5*d - m + 9 for d.
3
Suppose -6 = -5*y + 2*y. Suppose y*m + 18 = -4*r - 0*m, 2*m + 2 = 4*r. Let p = r - -5. Solve -w + p*w = -4*h - 2, h = 2*w - 3 for h.
-1
Suppose 0 = -c + 4*h + 8, 5*h - 18 - 6 = -3*c. Solve -5*s = 3*r + 5, s + c + 1 = r for s.
-4
Let y = -43 + 61. Suppose 2*m = 3*m - o - 7, 0 = -2*m + 4*o + y. Solve -2*i + 25 = m*r, 0*r = -4*r + 4*i - 8 for r.
3
Let n(d) = -d**2 - 5*d - 3. Suppose 0 = 4*t + t - 4*f + 35, 0 = -2*t + 4*f - 26. Let u be n(t). Solve -2*j - 9 = y, 5*j - u*y = 3 - 20 for j.
-4
Let v be ((-9)/(-2))/(2/8). Let h be (2 - -9)/((-1)/(-2)). Let w = h - v. Solve 0 = 5*z - 2*z - w*j + 16, 8 = 3*z + 2*j for z.
0
Let x = 3 - 22. Let f = 1 - x. Solve 0*p + 5*p + 2*l = -25, -f = 4*l for p.
-3
Let w = -2660 - -2662. Solve 2*n - 8 = -2*k, 2*n + w*k - 12 = -n for n.
4
Let c be (2/(-6))/((-9)/(-27)). Let j be 2*c/1 - -4. Let a be (-4 - 10)*j/(-7). Solve k + 6 - 20 = -a*t, -24 = 2*k - 5*t for k.
-2
Let z = 551 - 546. Solve 5*r = -4*o + 28 - 8, -5*r - 25 = -z*o for r.
0
Let y be -6*(16/(-12) + 0). Suppose 8*f = 6*f + y. Suppose -o - 86 = -4*o + f*r, -5*o = 2*r - 126. So