*z + i = n for n.
2
Let i(m) = m**3 - 4*m**2 + 4*m. Let y be i(3). Let o(n) = -n**3 + 5*n**2 - 3*n + 2. Let p be o(y). Solve h + p = -3*g, h - 6 = -3*h - 2*g for h.
4
Suppose -2*g + 5*w = 8, g - 5*w = -2*g - 2. Let l = g - 4. Suppose 3*r - l*f - 11 = 0, r + 2*f = -2 + 3. Solve -3*k + 0 = -3*q - r, 3*k + 4*q = -32 for k.
-4
Let s(u) = u**3 - u**2 + 6. Let v be s(0). Let a be 16/v*9/6. Suppose -w - 4*j + 19 = 0, -3*j + 31 = 5*w + j. Solve -3*x - 9 = 0, w*k = -k - a*x for k.
3
Let z be 3/((-9)/6) - (-7 - -3). Solve z*d - 8 = s - 2, 2*d + 18 = -5*s for d.
1
Suppose 4*s + 5*w + 4 = 0, 2*w + 1 = -2*s - 1. Let v(m) = -28*m**3 - m**2 - m. Let n be v(s). Solve -2*o = -2*u - 10, 5*u - n = -5*o - 3 for o.
5
Suppose 2*s - 4 = 8. Let a be ((-27)/s - -4)*-8. Suppose 3*f = 5*r - 85, a*r + 3*f - 55 = 2*r. Solve r = -u + 4*w, -4*u + 2*w + w = 28 for u.
-4
Let b(p) = -13*p - 166. Let d be b(-13). Solve -d*y - 5*l = -5, -2*y + 5*l = l - 18 for y.
5
Let b be 45/(-10) + 3/6. Let d be b*(4/(-16) + 1/(-2)). Solve 5*j = m + 2*j + d, 0 = -4*m - j + 14 for m.
3
Let q = -215 - -220. Solve -q*p + 3*p + 1 = 5*g, -4*g = 4*p + 4 for g.
1
Let v be (-24)/(-4) + (3 - -2 - 7). Solve -6*j + 5*j - 7 = -v*s, 4*s - 5*j - 3 = 0 for s.
2
Let t(n) = -n**3 + 10*n**2 - 9*n - 1. Let u be t(9). Let r(x) = -4*x**3 - x**2 - 1. Let j be r(u). Solve 5*v - j*y = -17, 0 = 3*v - 4*y - 1 for v.
-5
Let v be (5 + 57)*(-1)/2. Let a = v - -36. Solve 3*i - 12 = -2*y, 2*y - a = 2*i - 13 for y.
0
Suppose -2*v = 2*v - 16. Let q be (-94)/(-18) + (-20)/90. Solve 0*w + 21 = y + 5*w, q*w = v*y + 16 for y.
1
Let z be 1*9*(-2)/(-6). Solve -2*b + z*s + 5 = -0*s, 0 = -b - 5*s - 17 for b.
-2
Let r(x) = -x**3 + 16*x**2 + 7*x + 172. Let u be r(17). Solve -10 = u*i, -5*k + 4*i - i = 0 for k.
-3
Let i(w) = -w**2 - 35*w + 46. Let v be i(-36). Solve 3*s - 13 = 5*p - v*p, -20 = 5*s for p.
5
Let x = -274 - -278. Let y be 14/(-35) - 17/(-5). Solve -2*g + 20 = 5*v, y*g = x*v - 12 - 4 for g.
0
Suppose -33*m = 38 - 203. Suppose -4 = -2*h - 2. Solve -m*i + h + 24 = 0, 25 = -2*j + 5*i for j.
0
Let v = -37 - -50. Let o(w) = -w**2 + 16*w - 27. Let c be o(v). Solve -4*d + 5*j + c = 36, -4*d - 8 = -j for d.
-1
Let s(v) = v**2 - 1. Suppose 7*o - 5*o = -4. Let y be s(o). Solve -5*a + h = -29, y*a = -2*h + 8 - 1 for a.
5
Let z(g) = 2*g**2 + 11*g - 12. Let v be z(-9). Let o = 54 - v. Solve 1 - 17 = -2*q - 3*k, 0 = -q + o*k - 1 for q.
5
Let u = -25 - -18. Let o(w) = 2*w**2 + 13*w - 5. Let h be o(u). Suppose -5*m - 8 = 2*y - m, h*y = -2*m - 2. Solve s + 4*s + y*k = -18, -3*k = -s - 7 for s.
-4
Let w = -2 + 130. Let q = -126 + w. Solve 0 = -5*p - 5*u + 5, -2*p - 2*u = q*u - 12 for p.
-4
Let i = 10 + -5. Suppose 0*g - n = 4*g + 5, -n = -i*g + 5. Suppose 0 = -4*j - 0*j + 20. Solve 5*z + j*x - 5 = g, 4*z + 7 = -z + x for z.
-1
Let q = 639 - 634. Solve 2*a + 10 = q*s + 5*a, 5*s = -a + 20 for s.
5
Let n = 9 - 15. Let b = -4 - n. Let l(v) = -15*v**2 - 210*v + 5. Let h be l(-14). Solve h*p - 3*u - 24 = 0, 3*p + b*p = 4*u + 27 for p.
3
Let b be 3/8 + 259/56. Let q(x) = x - 6. Let i be q(b). Let g = 12 + i. Solve -n = 4*y + g, -4*n = 3*y - 0 + 5 for y.
-3
Let d(n) = n**3 + 7*n**2 - n + 7. Let i be d(-7). Let j = i + 23. Suppose 5*q = -t - 1, -t = t - q - 9. Solve 3*v = -p - 11, 7 = 5*v + t*p + j for v.
-2
Suppose 27 + 52 = -5*j - 2*l, 5*j + 69 = 3*l. Let v be (-4)/10 - (-81)/j*-1. Solve 5 = 5*s, -2*s = -2*r + 1 - v for r.
-1
Let v = -650 - -654. Solve 4*z + 4 = 4*t, -3*t + 7 = 5*z + v for z.
0
Let o(f) = -f**2 - 9*f + 14. Let t be o(-10). Suppose -3*u + t*k = -4, 5*k = 4*u - 6 + 1. Solve 0 = 4*b - j - 4 - 17, u = 5*b + 4*j - 21 for b.
5
Let l = -269 + 269. Solve 0 = -4*i - 4*y - 8, y - 3 + l = 4*i for i.
-1
Let x be (-1088)/80 - (-3)/5. Let n = 25 + x. Let s = 21 - 18. Solve s*a - 12 = 2*k + 3, 0 = 4*k + n for a.
3
Let m be (-13)/(130/24)*-10. Let t = 31 - m. Solve 3*o - 2*a + 6 = t*o, -2*a + 6 = o for o.
0
Suppose -2*q - 17*t + 10 = -16*t, 2*t - 4 = 0. Solve -4*z - 12 = 4*u, -5*z - 11 = q*u + 1 for z.
0
Let s = 306 + -301. Solve -2*d = -q + 8, 0 = s*d - 0*d + q + 20 for d.
-4
Suppose 4 = 2*z - n, 3*n = 4*z + 5*n - 24. Solve -z*f = -k - 1, 4*f + k - 9 = -2 for f.
1
Suppose -a = 5*p - 2 - 13, 5*p = -3*a + 15. Suppose -50 = p*g + 25. Let j = -20 - g. Solve 0 = -6*f + j*f - 1, -3 = 2*s + 5*f for s.
1
Let n = -6 - -25. Suppose -4 = -2*j + 2. Suppose -q = -j*s + 11, -5*s + n = -4*q + 2*q. Solve 10 = 4*o - 9*o, -x + 11 = -s*o for x.
5
Let k be -1144 - (-3 + (-3)/3). Let v be (-4)/(-6)*k/(-40). Suppose 0 = -h + 2 + 2. Solve -h*r - 5*z = 16, 0 = 3*r - 0*r - 4*z - v for r.
1
Let i be ((-15)/(-9))/((-3)/(-72)). Suppose 4*y = 6*y - i. Let w be (6/15)/(8/y). Solve -v = -2*b - w + 5, -5*v = 2*b - 28 for b.
4
Let b(z) = 113*z - 563. Let x be b(5). Solve 0 = -2*w - 10, 0 = -2*h - 5*w + x*w - 17 for h.
-1
Let v = -1 + 3. Suppose -4*t + 45 = 25. Solve 0 = t*o + s + 27, -o + v = -2*s + 3 for o.
-5
Let x(z) = z**2 + 9*z + 11. Let l be x(-13). Let v = -59 + l. Solve 0 = 5*f - s - 3, -v*f + 0*f - 2*s + 8 = 0 for f.
1
Let h(z) = -z**2 + 7*z + 2. Let x be h(7). Suppose 1132*o - 60 = 1122*o. Solve -3*p + 3 = 3*i + 6, x*i + o = -4*p for i.
1
Let o(q) = -5*q**2 - 58*q - 30. Let g be o(-11). Solve -2*w + 19 = -0*w - g*t, -4*w = -5*t - 35 for w.
5
Let n be 6/(-9) - 1/3*-11. Suppose 2*w - 3 = -n*r + 3*w, 0 = -4*r - 2*w - 6. Solve 5*m - 4*d + 3 = -9, r = 4*m - 5*d + 6 for m.
-4
Let a = 327 - 324. Solve 0*h - 2*h + 1 = -5*s, 4*h - 9 = a*s for s.
1
Let a(m) = 2*m**2 + 52*m - 51. Let z be a(-27). Solve 2*y - n + 5 = -0, 0 = -4*y - z*n + 5 for y.
-1
Suppose 5*b - 3*y = -15, -3*b + 2*b - 4*y + 20 = 0. Suppose -3*w + p + 8 = b, -2*p = p - 3. Solve -4 = 4*z + 5*d - 2, -5 = w*z + 2*d for z.
-3
Let g be (-880)/(-110) - 1*5. Let w be 2/(-7) - 368/(-14). Solve g*v - 27 = t + 2*t, 0 = -4*v + 2*t + w for v.
4
Let t be 10/8 - (-21)/28. Solve -4*k + 10 = t*i, -15*k - 5 = -14*k - 2*i for k.
1
Let u = 9 + -9. Suppose 6*m - m + 625 = u. Let v be 2/9 - m/45. Solve 2*z + v*d + 5 = 0, -3*z - 5 = z + d for z.
-1
Suppose 3*m - 5*t - 86 = 0, -3*t + 51 = 3*m - 3. Solve 3*v + m = -4*g, 3*g = -3*v - 10 - 8 for g.
-4
Let h = -10 - -18. Let f = -25 - -32. Suppose -12*i = -f*i. Solve 2*a - 4*j = -h, 3*a + i = j - 2 for a.
0
Suppose -10*d = 7*d. Suppose 3*i = 4 - 1. Let z be i/2 + 30/4. Solve d = 2*v - 4*p + 24, 3*v = -5*p + z for v.
-4
Let s be -2 + 21 + (7 - 4) - 4. Solve 3*c = -0*f - 3*f + s, 3*f - 12 = 0 for c.
2
Let v(z) = -z**3 + 8*z**2 - 16*z + 5. Let a be v(5). Suppose 4*k - 4*i - 10 = 10, -k + 3*i + 5 = a. Solve 2*g - k*x = -17, -g - g - x = -13 for g.
4
Let i(j) = -2*j + 42. Let r be i(7). Solve 5*p - 5*o - r = -68, p = 2*o - 11 for p.
-5
Let a be (11 - 11)/(-1*1). Let q = a - -15. Suppose -13*s = -q*s. Solve s = 2*k - 5*k + 5*v - 13, 0 = -3*k - 3*v + 3 for k.
-1
Let v(x) = -13*x - 88. Let g be v(-7). Solve 5 = z + g*i, 3*z - 1 = 4*z - 3*i for z.
2
Suppose -3*y = 9, 2*y - 17 = -2*m + 7*y. Suppose 0 = -2*x + 5*f - m, -12 + 3 = -4*x - f. Solve -x*z + 3 - 16 = 3*t, 3*z - 3*t = -12 for z.
-5
Suppose x = 4*c + 5, 5*x - 3*c - 4 = -4*c. Let a be (14/(-3) - -5)/(x/15). Solve a = -5*b - 4*i, -5*i = 2*b + 15 + 4 for b.
3
Let h(d) = -4*d + 42. Let k be h(10). Solve -2*t = -3*s + 25, -k*t = -0*t + s + 5 for t.
-5
Suppose 5*d = 4*m - 27, 3*m + m - 2*d - 18 = 0. Let u be 5 - 3*(-1)/m. Solve -3*r - 2*k - u = 6, -5*k - 15 = 0 for r.
-2
Let a(n) = -n**3 - 6*n**2 - 8*n - 7. Let o be a(-5). Let i = -71 + 68. Let k = i + o. Solve 0*u - 4 = -l - u, 3*l + 20 = k*u for l.
0
Let a = 42 - 49. Let l = a - -19. Solve -3*s + 3*f = l, 0*s - f = s for s.
-2
Let s(i) = 6*i + 1. Let v(o) = -3*o - 1. Let u(x) = 3*s(x) + 7*v(x). Let m be u(-3). Suppose 4 = -m*h + 79. Solve -h = -2*z + 3*d, -z - 2*d = -1 + 11 for z.
0
Let r(c) = c - 21. Let n be r(18). Let j be 0/(7/4 + n/(-12)). Solve 2 = -2*g, j = 4*m + 5*g - 3 - 12 for m.
5
Let t = -4 - -6. Suppose t*j + 0*d = -2*d + 12, 4*d - 18 = -j. Suppose -5*s + 78 = 4*n, s = n + 2*n + 8. Solve 0 = -4*a + a - 12, -s = -j*w + a for w.
5
Let l(s) = s**2 + 14*s - 10. Let a be l(-15). Solve -2*h + a*t + 2 = 0, 8*h - 6*h + 6 = t for h.
-4
Suppose 4*q - 23 = 3*v, v = q - 7 + 1. Suppose 14*d + 4*n + 84 = 19*d, 3*d - 3*n - 48 = 0. Solve 4*p - d + 4 = 4*h, q*h + 5*p = 30 for h.
1
Let t be -1*0