i - 2*i, t = 4*v + 3*i - 3 for v.
3
Suppose k - 14 + 6 = 0. Let g(z) = -z**2 + 8*z + 3. Let l be g(k). Solve -2*n + l*n - 3*i = -8, 3*i = 9 for n.
1
Suppose 4*m - 64 = 192. Let n be m/24 + -2 - 4/(-3). Solve 3*i = -5*k - n*i, -3*i = k + 2 for k.
1
Let p(y) = -6*y**2 - y + 3 + y**2 + 6*y**2 - 1. Let v be p(1). Solve -s - h + 20 = 3*h, v*s = -3*h + 15 for s.
0
Suppose 6*r = -r + 196. Let y = -3 + 18. Let m = y + -10. Solve s - 5*v + 23 = 0, -m*s + 3*v + 1 = r for s.
-3
Let d = 17 - 23. Let t(v) = v**2 + v - 30. Let b be t(d). Solve 3*s - 10 = -a - b*s, 2*s - 7 = -a for a.
1
Suppose 5*f + 0*m + 199 = 2*m, -m = -5*f - 202. Let u = -41 - f. Solve u = y - 2*b - 1, b = 5*b + 12 for y.
-5
Suppose -38 = -15*f + 7. Solve -15 = -f*m, z - m = -0*z - 1 for z.
4
Suppose 5*o + 5*v - 100 = 0, 3*o - 2*o = 3*v. Suppose -8*h - 35 = -o*h. Solve 2*f = -2*t, -h*f + 3 = -6*f + 2*t for f.
-1
Let z be (-2)/(-8) - 118/(-8). Suppose z = 2*y + y. Suppose 8*l = -35*l + 215. Solve -3*m = -l*o - 25, -y*o - m + 0*m - 5 = 0 for o.
-2
Suppose -17*m - 4*r = -15*m + 14, -4*r - 8 = 4*m. Solve -7 + 1 = -2*p, -5*b - m*p + 4 = 0 for b.
-1
Let o be 203/(-49) - 1/(-7). Let b(v) = -v**3 - 2*v**2 + 8*v + 11. Let u be b(o). Solve -4*n + 0*n + 5*w - u = 0, -5*n + 2*w = 18 for n.
-4
Let s be 2*(-6)/(-3) - 2*30. Let a = 56 + s. Solve a = -5*c + 15, -4*r - 23 = -2*r - 5*c for r.
-4
Let f be ((-2584)/544)/(1 - 5/4). Suppose 0*x + 20 = 2*x. Suppose j + j = x. Solve 0 = -l - j*v + 24, -3*l - l = -3*v + f for l.
-1
Let o(w) = 2*w - 13. Let z be o(13). Let t be (-5)/(-2)*44/10. Let g = z - t. Solve -u - x + g = 4, u - 4*x + 2 = 0 for u.
-2
Let b be 0 - (-1 + 3 + -5). Suppose -b*f = -0*f + 6. Let z(n) = n + 2. Let p be z(f). Solve -l + 4*a - 25 = p, -2*a = -5*l + 2*l - 25 for l.
-5
Suppose -36 = -23*y + 5*y. Solve -7*d + 2*d = 2*s - 4, 4*s - 8 = y*d for d.
0
Let d(p) = -2*p + 9. Let y be d(-9). Let l = -27 + y. Solve 3*a - 2*n + 0*n + 13 = l, -2*a = -4*n + 14 for a.
-3
Suppose -2*y + 0*g = 3*g + 116, -3*y - 173 = 5*g. Let d be (-9)/(-12) + y/(-4). Solve -4*u = d, -2*u = 3*j - 0*u + 2 for j.
2
Let q = -27 + 29. Suppose -q = -5*f - 5*s + 28, 5*s = 3*f - 34. Solve -i = -4*u + 10, 11 + f = 3*u + 5*i for u.
3
Let a be (-722)/(-12) - 4/24. Let d be ((-4)/(-6))/(8/a). Suppose -f + 0*o + 4*o = -d, -25 = -5*f + o. Solve 3*q + u + 4*u - 35 = 0, -q = -f*u + 15 for q.
5
Let o = -6 + 11. Let h(u) = u**2 - 3*u + 92. Let g be h(0). Let z be (2/6)/((-4)/g)*-3. Solve 3*b + 2*v = v + 1, -b - o*v = z for b.
2
Suppose 22*q = -53 + 185. Suppose -q = 4*s + d + 2*d, 5*d = 2*s - 10. Let i(j) = -j + 2. Let y be i(-5). Solve r + 0*r = -f + y, s = 3*r - 4*f - 7 for r.
5
Let h(r) be the first derivative of r**3/3 + r**2/2 + 2*r - 8. Let k be h(-1). Solve -s + 5 = -4*u, 4 = -k*u - 2*s + 4*s for u.
-1
Let d(x) = 2*x + 10. Let v be d(-7). Let g(s) = s**3 + 3*s**2 - 6*s - 4. Let o be g(v). Let f be -4*(-4 - (-13)/o). Solve 3*j - 3 = k - 4*k, f*k - j = 11 for k.
3
Suppose -232*w - 51 = -249*w. Solve 0 = -2*a + 6, 6*a - w*a = -5*r + 14 for r.
1
Let a(g) = g**2 + 3*g - 2. Let h be a(-3). Let p = 83 + -89. Let f be (p - 0)/(3/h). Solve i + 3*i - 36 = f*m, -2*m + 5*i = 30 for m.
-5
Let d be (4 - (-490)/2)*2/6. Let s = 96 - d. Solve -3*o + z + 7 = 0, 3*o - z = -2*o + s for o.
3
Suppose 5*j + 26 = 6, 5*q - j = 29. Solve 3*k + 20 = -v, q*v - 4*k = 4*v + 15 for v.
-5
Let i = -38 - -15. Suppose 0 = -27*z + 37*z + 230. Let u = i - z. Solve u*b + 4*y = b + 21, -2*b + 5*y - 30 = 0 for b.
-5
Suppose 812*z - 827*z = -45. Solve -h - 16 = 4*b + 4, 2*h = z*b + 4 for b.
-4
Let h(j) = 2*j**2 + 23*j - 8. Let d be h(-12). Suppose d*g = 10*g - 24. Solve -2*r + 0*r - g = 3*z, -z - 4 = 0 for r.
4
Let p(b) = b + 1. Let q(t) = 1. Let v(s) = p(s) - 4*q(s). Let k be v(2). Let z be k*2*(7 + -8). Solve 0 = -2*g - z*d + 4, 0 = -2*d - 2*d - 8 for g.
4
Let o(k) = k - 11. Let i be o(10). Let y be (i/(-2))/(28/(-16) - -2). Solve 10 = 4*g + h, 2*h = -y - 2 for g.
3
Let g be (0/(-4))/(2 + (-4 - -4)). Solve -3*u + 2*x - 16 = g, -5*u + 2*x = 6*x - 10 for u.
-2
Let m(f) = 4*f**2 + 21*f - 21. Let s be m(1). Solve 0 = -3*d - 2 - s, -d = 3*x + 5 for x.
-1
Let v = 35 - 14. Suppose 45 = -6*p - v. Let f = -6 - p. Solve 3*k = -k + f*a + 16, -2*a = 8 for k.
-1
Let k = -1 + 17. Suppose 0 = 5*l - 2*y - k, 0 = -4*l - 2*y - 1 + 21. Solve 0 = -3*m - 5*n + l*n - 7, -m + 3 = -5*n for m.
-2
Suppose 2*w - 168 = -4*h, 5*h - 206 - 4 = -4*w. Let v be 2/(-4) + 105/h. Solve 4*z - y - 2*y + 5 = 0, z = 4*y + v for z.
-2
Let r(b) = b - 5. Let i be r(6). Let u(z) = z**3 + 2*z - 1. Let a be u(i). Let v = 25 - 24. Solve 2 = a*l, y = -l - 0 - v for y.
-2
Let p be -4*17*(0 + -1). Let c = 340 + -338. Suppose 6*y = c*y + p. Solve 3*l + 2*x - y = -2*l, 0 = -x - 4 for l.
5
Suppose 5*q + 640 = -3*q. Let u = 104 + q. Solve -3*d - 4*y = -0*d + 11, -4*d + 4*y - u = 0 for d.
-5
Let z(p) = -p**3 - 6*p**2 + p - 12. Let g be z(-7). Suppose 4*k - 60 = -4*x, 4*x - 5*k = g + 30. Solve 3*l = -3*i - x, -i + 4*l = l - 3 for i.
-3
Let k = -216 + 218. Solve 0 = -3*p - k*b - 23, 0 = 2*p - p + b + 9 for p.
-5
Suppose -x + 3*y + 14 = 0, 2*x + 2*y - 19 = x. Let r be (-33)/(-9) + -2 + (-28)/(-21). Solve 0 = -2*o + 3*o - r, -4*i = -3*o + x for i.
-2
Suppose -3*o + 11 - 8 = -6. Suppose -5 = -q + 11. Solve 12 = r + 3*z, -5*r = o*z + z - q for r.
0
Let r(d) = -d**2 + 10*d - 19. Let t be r(5). Let b be 50/18 - 10/(-45). Let u = b + -3. Solve -12 = w - u*w - 4*m, w + 5*m = t for w.
-4
Suppose 2*v - 143 = 3*x - 148, 0 = -3*x - v + 20. Solve x*k - 10 = 5*w, 5 = -2*w + 4*k - 5 for w.
1
Suppose -3*q - 32*q + 70 = 0. Solve 2*u - 2*o = -q*u + 24, 4 = -2*o for u.
5
Suppose -770*b + 28 = -769*b. Solve 3*k = l + 8, -3*k = 4*l - 0*k - b for l.
4
Suppose 4 = 4*w + 4*m, 0 = -4*w - 5*m - 2 + 1. Let o be (21/42)/((-1)/(-10)). Solve -2*g = o*t, -g - g - 2*t = w for g.
-5
Let j be (-2 - -4)*25/25. Solve a + j*l = 3 - 4, 4*a - 5*l = 9 for a.
1
Suppose 16*k - 64 = -16*k. Solve -5*l - 28 = -2*b, -b + 1 = k*l + 5 for b.
4
Suppose 1 - 41 = -5*y. Solve 0 = 5*m + d + y, 0*m + 5*m - d + 2 = 0 for m.
-1
Let h = 2 - -7. Let q(o) = o**2 + 3*o - 44. Let y be q(-9). Suppose -4*f = -h*f + y. Solve -3*n + 22 = -f*t, 5*n = 3*t - 0*t + 35 for n.
4
Suppose -5*j + 4*h - 8 = 0, -2*j = j - h + 2. Let d = -26 - 20. Let u = -42 - d. Solve 0 = 2*l - t + 2 - j, -u*l - t = 16 for l.
-3
Suppose 0 = 3*w + 2*w - b - 73, 2 = b. Solve 0*j = 5*v + 4*j + w, 4*j = v + 3 for v.
-3
Let a be (3/(-9))/(4/(-24)). Suppose -35 = -4*b - a*h + 3*h, -b + 2*h = -14. Suppose -3*f + b*f = 115. Solve 1 = -5*d - 14, -4*p + f = -d for p.
5
Suppose 36*w = 25*w - 1100. Let z = w + 102. Solve -h + z*c - 9 = 3*c, 0 = -4*h - 5*c - 40 for h.
-5
Let h = -3308 - -3311. Suppose -y = -6*y + 15. Solve 0 = 3*w - h*g + 5 + 13, -2*w + y*g = 15 for w.
-3
Suppose -4*m + 15 = m. Suppose m = l - 0*l. Let n = 85 + -60. Solve -n = p - 4*i, 0 = 5*p - 4*p + l*i - 10 for p.
-5
Suppose 4*j + 3*a = 8 + 18, 0 = -3*j - 5*a + 25. Let c be -2 + 3 - (0 - 14). Solve -j*q - c = y + 4*y, -2*q = 10 for y.
2
Let x = 577 + -575. Solve -2*l + 0*l + 5*k = 31, -x*k + 7 = l for l.
-3
Suppose -5*i - 10 = -4*a + 7, -5*a + 10 = 5*i. Suppose 2*l = a*c + 33, 2*c + 1 = l - 17. Solve s = 3*s - 4*k, 2*k = -5*s - l for s.
-2
Suppose -5*n + 4*d = 2 - 37, n - 7 = -d. Solve -4*j = x + 2 - n, -2*j + 2*x = -10 for j.
2
Let g(r) = -1 + 4*r**2 + 2*r + r**2 - r - 4*r**2. Let b be g(-3). Solve z - 5*d = -23, -2*d + b = z - 0 for z.
-3
Let c = 14 + -11. Suppose 2*g - c*g + 16 = 0. Suppose -65 = -4*d - s, -g = -d - 4*s + 4. Solve -y = 4*o - d, 4 = -4*o - 3*y + 20 for o.
4
Let b(l) = 26*l**2 + 3*l - 1. Let z(i) = i**3 + i - 1. Let d be z(1). Let s be b(d). Solve -h = -3*a - 1, -4*h - s + 2 = 3*a for h.
-5
Let q = 557 - 554. Solve -t + 5 + 0 = q*u, -t + 4*u - 2 = 0 for t.
2
Let p be (4 + (3 - 6))/((-3)/192). Let l = 68 + p. Solve -l*t + 3 = t + 2*z, 0 = 5*t + 3*z - 2 for t.
1
Let o(l) = 5*l**2 - 1. Let c(u) = -u**2 - 5*u + 1. Let h be c(-5). Let q be o(h). Let k = 2 + q. Solve k*j - 2*j = -5*r - 12, 5*j + 2*r + 15 = 0 for j.
-3
Suppose -5*f + 39 = 14. Suppose 2*a = -10, 0 = -f*g - 5*a - 6 - 4. Suppose g*l = -3 + 9. Solve 3*m = m + l*c + 2, 0 = 5*c - 20 for m.
5
Suppose -3 = 3*f - 9. Let z(d) = -d - 16*d**2 + 16*d + 35*d**f + 28 - 18*d**2. Let y be z