4*i - j*p + 16, -3*p + 12 = -i. Solve -k + 5*k - 4 = -i*a, a = 3*k - 3 for a.
0
Let t = 763 - 680. Suppose -4*m = -o - 31 - t, 0 = -m - 5*o + 18. Solve 5 + 1 = -h + 5*i, 0 = -5*h - 4*i + m for h.
4
Let o = -142 + 146. Let b be -3 - (-9 + (8 - o)). Solve 0*f = -5*j + 3*f + b, -j = -f for j.
1
Suppose 28 = 91*y - 89*y. Suppose 10 = 12*t - y. Solve -4*g + t*q + 16 = g, -3 = q for g.
2
Let j be ((-6)/(58 - -2)*5)/(3/(-36)). Suppose -3*a + 2*a = -r, -r + 3 = 0. Solve 2*g = a*y - y - 6, -2*g + y = j for g.
-3
Suppose 0*f + 2 = i - 5*f, 2*i + 3*f + 35 = 0. Let m be (-2)/2*(i - -8). Suppose 0 = 5*q - 3*q - 36. Solve -p = 3*z + 8 - q, m*p + 45 = 4*z for p.
-5
Let x be (12/14)/((-2)/(-14)). Let v(m) = 7*m + 1. Let w be v(3). Suppose -323*n = -382*n. Solve n = -t - 5*f - w, -x*t + 3*f + 30 = -t for t.
3
Let x = 2220 - 2218. Solve 4*r - 10 = -x*z, -7*z + 6*z = 3*r - 5 for z.
5
Let f(j) = j**2 - 9*j - 17. Suppose -42 = 11*b + 24. Let z be (-20)/8 - -1 - (-3)/b. Let l be f(z). Solve s - l = -4*m, -4*m + 13 = 2*s + 3 for m.
0
Let t(i) = -8 + 3*i**2 + 43*i + 34*i - 2*i**2 - 68*i. Let o be t(-10). Solve -o*n + 25 = -5*r + n, -n = -2*r - 9 for r.
-2
Let m(o) = o**3 + 62*o**2 + 5*o + 310. Let t be m(-62). Let w = 6 - 1. Solve t = -w*j, -2*x + j = -0*x + 2 for x.
-1
Let l(u) = -u**3 - u**2 - u. Let c be l(0). Suppose 7*p - 27 - 71 = 0. Suppose -p*n + 76 = 20. Solve 5*i - n*d + 15 = 0, i + c*d = -4*d + 21 for i.
1
Let s(p) = -13*p + 107. Let d = 310 + -302. Let j be s(d). Solve 2*k + n = -j*k - 26, n = -3*k - 16 for k.
-5
Let x be 1848/1092 - (-12)/39. Solve -j + 10 = 4*q + x*j, 7 = -3*q + 5*j for q.
1
Let w = -30 - -34. Suppose -2*b - 24 - 14 = -2*p, 67 = w*p + 5*b. Suppose -14*l - 12 = -p*l. Solve 4*i + 3*f - 56 = -24, -l*i + 31 = 4*f for i.
5
Suppose -16 + 281 = 92*o - 11. Solve 0 = -3*p - 3*f + 3, -o*f + 0 + 15 = 0 for p.
-4
Suppose -5*h + 11 = -4. Suppose 0 = -5*l + 2*f + 9, 0 = -2*l - l - 4*f + 21. Suppose -h = l*p - 15. Solve 3*c = -2*a - c + 22, a = -p*c + 19 for a.
3
Suppose -5*u - 260*p - 15 = -265*p, 4*u - 9 = -3*p. Solve u = 2*b + 4, -3*c + b + 51 = 64 for c.
-5
Let c be (1932/(-92))/(-8 + 1). Solve -2*u - 4*t = 3*u - 34, -c*u + 3*t + 15 = 0 for u.
6
Suppose -22 = -2*b - 2*u, 2*b - 40 = -4*u - u. Solve -2*g - 4*d = 22, b*g + 20 = -4*d + d for g.
-1
Let v = -19333 + 19432. Solve -v*r + x = -94*r + 28, 3*x = 9 for r.
-5
Suppose 4*y - 14 = -k, 5*y = -3*k + 12 + 16. Suppose k*x - 54 = -12*x. Solve 0*z = -3*z - 5*f - 2, -3*z = -x*f + 18 for z.
-4
Suppose 55*d + 16*d - 366 = 10*d. Solve 2*m = -14 + d, 0 = -2*b + 2*m + 12 for b.
2
Let y(v) = -4*v + 21. Let a be 1/2*-8 + 9. Suppose 24 - 4 = a*u. Let w be y(u). Solve 5*k = -3*s - 0*s, -w*s + 4*k = 37 for s.
-5
Let s(u) = -24*u - 77. Let y be s(-4). Suppose 3*w - 5*r - y = 1, 0 = -5*w - 5*r + 20. Solve -2*b + 2 = -v, 4*v - 7*v + 5*b - w = 0 for v.
0
Let p = -5951 - -5971. Solve 2*y = n - 9, -2*y - 4*n = p - 26 for y.
-3
Let c = -10148 - -10148. Solve 10 = 5*t, -2*n + c*n = -3*t - 2 for n.
4
Let i be 2/(-12) + -5*(-728)/240. Suppose 0 = 257*c - 260*c + i. Let g = -5 - -9. Solve -g*k + 23 = 5*f, -2*k + 2*f = c*f - 13 for k.
2
Let c(i) = -10*i + 20. Let y be c(-16). Suppose 2*k + y = 8*k. Solve 4*d + 5*m = k - 0, -4*d = -3*m - 14 for d.
5
Let d(c) be the first derivative of -c**3/3 - 9*c**2/2 + 32. Let w be d(-9). Solve -4*p - 5*n + w = 4, 4*p + 2*n = 8 for p.
4
Let d(a) = a**2 - 11*a - 23. Let u be ((-2)/2)/(7/14). Let r be d(u). Solve -f = k + 3*k + 11, r*f = -3*k - 15 for k.
-2
Suppose 6*b + 70 = 22. Let d be (-26)/(-4) - (-1 - 20/b). Suppose -2*w = -t - 5, 0 = 2*w - 3*w + 3*t - 5. Solve 0*r - d*r + 15 = -w*i, -5*i = -4*r + 21 for i.
-5
Let r(j) = -264*j - 5543. Let v be r(-21). Solve 4*x + 11 - v = -2*a, -5*x = 3*a + 13 for a.
-1
Let b = 6 + -1. Suppose 21 = 4*v - l, 0 = 3*v - 1700*l + 1708*l - 7. Solve b*s - 25 = -3*z, 2*s - v*z - 10 = -6*z for s.
5
Suppose 0 = q + 2*g - 4*g + 4, 1 = g. Let y be (3/q)/((-21)/56). Suppose k - 1 = l, 3*k = y*l - 0*l + 1. Solve -k*c + 11 = -w, 0 = -0*w + w - 4*c + 15 for w.
1
Let o(l) = -3*l**3 - 235*l**2 - 78*l + 6. Let q be o(-78). Solve -2*f - 23 = -5*u, -21*u = f - 20*u - q for f.
1
Suppose 0 = -2*l + 4*v + 40, -5*l = -6*v - 11 - 93. Let f be -1 + (0 - 1) - 12. Let j = f + l. Solve -n - 6*o + o = -j, -3 = -3*o for n.
3
Suppose v + 21 = 87. Let h = 71 - v. Solve -2*x + 25 = -5*q, 11 = h*x - 14 for q.
-3
Suppose -2*l - 4*h = 10, -6*l + 3*h = -5*l - 15. Solve -82*r - 2 = -l*f - 77*r, 5 = -3*f - 2*r for f.
-1
Suppose -3*h + 5*h + 5*p = 48, 72 = 10*h - 3*p. Solve -5*n - 29 = q, q + n + 0 = -h for q.
-4
Let r(c) = -2*c - 95. Let u be r(-47). Let s(f) = -17 - 2*f**2 + 2*f + 18 + 5*f**2. Let j be s(u). Solve 0 = 5*l - 2*o - 19, l = -j*l + 4*o + 3 for l.
5
Let q(w) = -w**2 - 2*w - 23. Let v be q(0). Let t = v - -23. Suppose t*b - 12 = -4*x - b, 40 = 5*x - 5*b. Solve -u - 10 = -5*a + x*u, -2*u + 4 = 2*a for a.
2
Let o(h) = 2*h**3 + 89*h**2 - 41*h + 189. Let t be o(-45). Solve -4*a = -5*j - 30 + 15, 2*a + 3*j = -t for a.
0
Suppose 2*z - 3*z = 26. Suppose 0 = -3*a - 3*x + 123, x = 3*a - 0*a - 115. Let c = a + z. Solve -5*n - c = -2*y, -3*n - 2*n - y = 1 for n.
-1
Let k = -2 + 4. Suppose 13*q = -3*w + 12*q + 589, 3*w = 4*q + 569. Let p = w + -189. Solve -18 = -5*r + 2*y, -4*r + 5*r = -k*y + p for r.
4
Let d(z) = -5*z - 17. Let v be d(-5). Let t(a) = -a**3 + 7*a**2 + 6*a + 21. Let g be t(v). Solve g*r + n = -3*n + 1, -2*r - 4*n - 2 = 0 for r.
1
Let i(m) = -3*m - 15. Let w be i(4). Let p be 1/(3*(-3)/w). Solve -3*y + p*r + 9 = 0, 2*y + 0*r + 9 = -r for y.
-2
Let c = 6068 + -6040. Solve n - 3*o - 5 = 0, -2*o + 53 - c = 5*n for n.
5
Let w(s) = s**3 + 2*s**2 + s + 47. Let i be w(0). Suppose 6*x - x - 63 = -3*p, -4*x + p = -i. Solve 4*v = 2*o - x, 2*v + 12 = -0*v - 2*o for v.
-4
Suppose -5*r - y = 0, 6*y + 6 = r + 5*y. Suppose 3*s - 8 = r. Let l be (204/20 - 10)*(16 - -1 - -3). Solve -5*a - 5*p - 4 + 19 = 0, 5 = l*a - s*p for a.
2
Suppose -5 + 0 = -2*h - s, 3*s = -15. Suppose 2 = -5*o - 3*d - 4, -4*o - h*d = 10. Solve l + o - 1 = 2*v, 5*l = v - 22 for l.
-5
Let p be 2 - (-13)/(-7) - (-1980)/693. Let x(i) = -i**2 + i + 4. Let g be x(0). Solve k - 5*j - 7 = -g, k - p*j - 1 = 0 for k.
-2
Let i = -336 - -442. Suppose 3*a + 97 = i. Solve -4*p + a*f = 25, -5*p - 26 = -f - 3 for p.
-4
Let h(d) = d**2 + 15*d - 40. Let u be h(-16). Let n be (u/(-9) + 1 - 3)*6. Solve n*x - 8 = -6*v + v, 2*x - 14 = -5*v for v.
4
Let s(b) = -b - 4. Let y be s(5). Let r be 18 - (y + 8)*4. Solve 0*t - 4*o = -t + r, -t + 5*o + 27 = 0 for t.
2
Let q be (-174)/(-145)*2/4*5. Solve 4 = -f - q*b, 2*f - 14 = -4*b + 9*b for f.
2
Let y be (3 - 79)/4 + 21. Solve 5*t = 4*l - 13, y*t - 33*l = -35*l + 2 for t.
-1
Let a be ((-8)/52)/1 + 82*3/78. Solve -3*v - 12 = a*g, 2*v = 7*g - 2*g + 20 for v.
0
Let a = 14404 + -14402. Solve 0 = 5*q + 20, a*g - 14*q - 4 = -11*q for g.
-4
Let o(u) = 3*u**2 + 2*u - 2. Let y be o(1). Suppose -y*a + 7 = -4*i, 3*a = 8*a - i - 6. Solve 2*d + 7 = -2*f - a, 0 = -5*d + 2*f - 6 for d.
-2
Suppose 282*l - 392 = -201 + 373. Let f(p) = 5*p + 2. Let b be f(2). Suppose 5*m + 6*k - 3 = 2*k, -m + b = -3*k. Solve 0 = -l*a, 2*v - 2*a - m = -5 for v.
-1
Let t(g) be the first derivative of -1/2*g**2 - 8 + 12*g. Let s be t(12). Solve -4*f - 1 = -2*j + j, -5*j + 3*f + 22 = s for j.
5
Let z = 17083 - 17078. Solve 5*y + z*n = 0, 3*y - 3 = -5*n + 3 for y.
-3
Suppose 18 = -7*o + 10*o. Suppose -2*n = n - o. Suppose 0 = 4*u + 14 + n, -3*f + 3*u = -27. Solve f*k + 20 = 2*s, 4*s - s = 0 for k.
-4
Let k(m) = m**3 - 13*m**2 - 2*m + 172. Let t be k(12). Solve t*r = -3*q + 29, -r + q + 0 + 2 = 0 for r.
5
Suppose -3*j + 50 = -473*c + 468*c, -5*j = -4*c - 92. Solve -2*v = 4*i - 8, 0 = 2*i + 4*v + 10 - j for i.
1
Suppose 199*y - 203*y = 0. Suppose 5*c = -3*i + 40, y = i + c - 8 - 2. Solve -g + i*b + 18 = 0, 0*g - g + 2 = -b for g.
-2
Suppose 0 = 4*i - 547 + 43. Suppose -42*f + i = -35*f. Solve 3*d = -0*o + 3*o - f, -2*o - 13 = 3*d for d.
-5
Suppose -2*g + 2 = -4*o, -47 = 16*g - 21*g - 4*o. Solve -3*t - 3*h = -g*t + 6, -3*t + 2*h = -5 for t.
3
Let o(a) = 10*a + 34. Let n(v) = -3*v - 1. Let u(w) = -5*n(w) - o(w). Let q be u(6). Solve x = -4*p - q, -x - 2*p = -6*p - 7 for x.
3
Let k be 2/(-20) - 6258/420. Let n be k/(-2)*60/150. Solve -3*t