lve 0 = -9*p + g*p - o*k - 25, -k = 0 for p.
-5
Let s = -5 + 11. Let p(u) = -u**2 - 2*u - 3. Let x be p(-2). Let y = 3 + x. Solve s*a + v + 11 = 3*a, y = 2*a - 4*v - 2 for a.
-3
Let y(g) = -g - 4*g**2 + 4*g - 2*g. Let f be y(-1). Let n(o) = -o**2 - 6*o - 1. Let p be n(f). Solve 3*a + p = -2*i, 0*i + 3*a = 2*i + 16 for i.
-5
Let l(i) = 8*i**2 + i - 1. Let h be l(1). Let k = 15 + -6. Let y = k - 6. Solve 2*z + h = 4*p - 16, -y*p = -2*z - 19 for z.
-2
Let t(n) = -n**3 - 4*n**2 - 3*n + 4. Let g be (-4)/2 - (-3)/(-3). Let a be t(g). Solve 3*s + 3 = 4*x - 7*x, a*s = 2*x - 16 for x.
2
Let q(p) = -p**2 - 5*p + 1. Let i be q(-4). Suppose 13 = 5*m - 12. Solve 3*v = 3*y + 1 - 4, i*v = -m for y.
0
Let p be 10/60 - 46/(-12). Solve -5*x - 21 = p*k, -4*x - 15 = -2*k + 7*k for x.
-5
Let s(a) = -21*a - 3. Let u be s(-1). Solve x + u = -3*p - x, -5*p - 14 = -2*x for p.
-4
Suppose -10 = -9*q + 4*q. Solve 0*k - u - 16 = -3*k, 4*k + q*u - 8 = 0 for k.
4
Let z be 3 + (-6)/3 - -1. Let v(r) = r**2 - 2. Let q be v(z). Suppose b - 5 + q = 0. Solve 3*l + 0*s = 5*s + 2, -3*l + b*s = 0 for l.
-1
Let p = 10 + 15. Solve -5*r = 3*j - p, -15 = -4*r - 3*j + 8 for r.
2
Let f(g) = -g - 5. Let k be f(-5). Suppose k = 3*c + 6. Let m be 15/(5 + c) + -2. Solve -2*h - o + 13 = 0, m*o = 4*h + 6*o - 31 for h.
4
Let h = -44 - -30. Suppose 3*a - 19 = -2*s, a - 29 = -3*s + 10. Let n be ((-12)/s)/(2/h). Solve -n*w + 2*w - 2 = x, -3*w - 13 = -5*x for w.
-1
Suppose 4*r - r = 0. Suppose -q - q + 4 = r. Suppose 0 = -2*h - k + 14, 8 = -0*k + q*k. Solve -45 = -5*w - 5*d, 0*d + 29 = w + h*d for w.
4
Suppose -2*i = -3*i - 3*h + 4, 4*h = 0. Let f be (-81)/15 - (-8)/20. Let a(m) = -m**2 - 5*m + 4. Let k be a(f). Solve 5*q = -j - i - 20, 4*j - 5*q = k for j.
-4
Suppose -t = -4*x - 2, -t - 4*t + 10 = -x. Let h = -43 - -43. Solve 3*i - 5*q + 15 = x, -i - 2*q - 2*q + 12 = h for i.
0
Suppose -t + 3*d + 7 = -d, 16 = 5*t - d. Suppose -j - 4*m + 14 = j, 3*j - 2*m - 13 = 0. Suppose j = 3*q - 19. Solve -4*s = -5*r + q, t*s + 9 = 2*s + 3*r for s.
3
Let f(k) = 3*k - 2. Let j be f(6). Suppose 22 = 2*r - 5*m + 2, 2 = -m. Solve -w = r*p, p - 2 + j = -3*w for w.
-5
Suppose -3*n = -0*n + 2*s, -2*s = -5*n + 16. Solve -n*w - 24 = k - 5*k, 2*w - 11 = -3*k for k.
5
Suppose 5*w + 5*n = 0, -n + 3*n = -w - 2. Solve -2*k + 4 = w*c, -4*c + 7*c - 5*k = -18 for c.
-1
Let b(z) = -2*z + 13. Let p be b(11). Let g be (42/p)/((-4)/6). Suppose g*w - 10 = 2*w. Solve 4*f - 8 = -4*j, f - 2*j - j + w = 0 for f.
1
Let n be (-2)/2 + 2 + -1. Solve n = 4*m + 3*f - 2, -2*f - 3*f + 13 = -3*m for m.
-1
Let j = 14 - 11. Let w = j + 1. Solve 0*o = -w*o + 20, -4 = -4*a - 4*o for a.
-4
Suppose 3*r = b + 10, -r - r + 2*b + 12 = 0. Solve -13 = -o - 5*x, -4*o + r*x - 2 = 12 for o.
-2
Let j = 3 + 1. Suppose -17*v + 19*v - 15 = -3*s, 3*s = 3*v + 15. Solve v = d + 2*i + 9, d + 2*d - j*i + 7 = 0 for d.
-5
Let h(o) = o**2 + 9*o - 7. Let g be h(-10). Solve -2*x + 12 = -g*n, -4 = -4*x - 0*x - 4*n for x.
3
Let q = -20 + 10. Let f = q + 19. Suppose 0*w - 4 = -w. Solve -4*t = -5*v + t, -w*v - f = -t for v.
-3
Let z = -18 + 27. Suppose -m + z = 2*m - 3*k, m = -2*k. Solve -2*t + 0*x - 3*x = 3, -3*t = -m*x - 15 for t.
3
Let l(x) = x**2 + 7*x + 5. Let g be l(-7). Let n = 12 - g. Suppose n*s = 5*s. Solve s = -i - 5*c + 25, -5 = -0*i - i - c for i.
0
Suppose -2*u + 2 + 4 = 0. Let v = 2 - 4. Let n(b) = -3*b**3 - 2*b**2 + 2. Let g be n(v). Solve -2 - 4 = -5*o - 4*r, u*r - g = 3*o for o.
-2
Suppose -2*z - d = 3*z + 7, 3*z = -3*d - 9. Let a = z - -3. Let h = 0 + a. Solve -2*g - 18 = -t - 4*t, t - h*g = 2 for t.
4
Let t be ((-8)/6 + 1)*-15. Let r(m) = 6*m - m**3 + 36 + 4*m**2 + 0*m - 29. Let u be r(t). Solve -4*z + u = 4*i, -3*z - 2*i = -4*i - 14 for z.
4
Let m = -52 + 56. Solve -m*c = -20 - 0, -f - 4*c + 22 = 0 for f.
2
Let q(j) = -j**3 - 4*j**2 + 2*j - 4. Let w(m) = m**2 - 7*m + 6. Let i be w(4). Let y be q(i). Suppose -3*t + y = -10. Solve 6 - 2 = 2*v, t = -4*u + 5*v for u.
-3
Let n be (-138)/(-5) + (-3)/5. Let p be (-28)/(-5) - n/45. Solve -3*u + 12 = v, -u - p*v + 17 = -1 for u.
3
Let i(p) = p**2 + 3*p - 6. Let g be i(-5). Solve 5*o = -g*q - 14, 3*q + 5*o - o + 11 = 0 for q.
-1
Let p be (1 - 22)/(18/132). Let z be 3/(-12) + p/(-8). Solve 0 = 5*b - c + 4*c + z, b - c = -7 for b.
-5
Let s = -19 + 22. Let r be 2 + -1 + 8 + 1. Suppose -50 = -s*u + r. Solve 3*v + u = 7*v + 4*o, 5*o - 5 = -v for v.
5
Let s = -10 + 25. Suppose 8 = w - 2*r, -3 - s = -2*w + 5*r. Solve -w*i - 4 = 2*d, -2*d - i - 8 = 2*d for d.
-2
Suppose 27 - 9 = 5*p + 4*o, -2*o = -4. Let i = p + 2. Suppose k - i = -g + 3, -2*g + 17 = 3*k. Solve -r - g*r - 20 = 5*b, -25 = 4*r - 5*b for r.
-5
Let s be (-34)/(-10) - 4/10. Let w be (-8)/((-6)/(-3)) + 3. Let v = s - w. Solve v*l - 4*f - 6 = f, 0 = -l - 2*f + 8 for l.
4
Let a be -28 - -37 - 5*1. Solve 0 = -s - s + 3*k + 2, a*k = -5*s + 28 for s.
4
Let b(a) = 5*a**2 + a - 1. Let c be b(1). Suppose -c*w + 3 = -17. Solve 0*u - i + 13 = 5*u, -5*u + w*i - 2 = 0 for u.
2
Let m(v) = -2*v**3 - v**2 - 3. Let a be m(-3). Suppose 0*k = -k - a. Let f be k/(-8) + 3/(-12). Solve 3*n = 5*n, f*b - 25 = -3*n for b.
5
Suppose 0 = o + o. Solve -3*y + 5*c + 0*c = 0, -2*y - 4*c = o for y.
0
Suppose 4*x - 20 = 0, 3*a - 36 - 8 = -4*x. Solve h - 3*m = -a - 10, -11 = -3*h - 4*m for h.
-3
Let k(h) = -h**2 + 9*h - 2. Let q be k(9). Let j(d) = 2*d**2 + 3*d. Let g be j(q). Solve -g*r - 5*c = 24 - 4, 12 = 5*r - 3*c for r.
0
Let i be (-34)/(-7) + (-2)/(-14). Let p be ((-2)/(-5))/((-1)/(-5)). Let b be i + (2/p - 4). Solve 6*z = -5*f + 2*z + 45, -b*f + 5*z - 15 = 0 for f.
5
Suppose -4*n = 5*z - 2, 4 = 3*z + 2*n - n. Suppose z*t - 5*t = -12. Solve 3*w - 2*w = t*q, 0 = -5*w for q.
0
Suppose d + 14 = 8*d. Solve -10 = 4*i + p, 5*i = -p - d*p - 16 for i.
-2
Let p(g) = -2*g + 1. Let h be p(-3). Suppose 0 = -h*q + 3*q + 8. Let n = 1 - 1. Solve 4*o - 16 + 1 = 3*t, n = q*o + 3*t - 3 for o.
3
Suppose -o + m + 3*m = -23, 4*m + 11 = -3*o. Suppose -x = o*x. Solve 4*a - p = -1, 4*a + x*p - 14 = -2*p for a.
1
Suppose -2*f = 2*c - 6 - 8, f = 0. Let j be (c/(-2))/(2/(-4)). Solve -4*z + s + 2*s - j = 0, 4*z + 3*s = -1 for z.
-1
Suppose -2*i = -5*i - 90. Let c be (-124)/(-10) - (-12)/i. Solve b + 15 = -5*y, 0*b = b + 4*y + c for b.
0
Let b(s) = 8*s**2 - s + 2. Let j be b(1). Let d = j - 7. Solve -i - i + 10 = 2*n, -d*n + 3*i = 0 for n.
3
Let q = 45 + -29. Solve -d - 4 = -3*b, 6*d + q = -b + 2*d for b.
0
Suppose i - 6 = g, i - 5*i + 19 = g. Solve -p - i = 2*u, 5*u + 10 = -4*p - 1 for u.
-3
Let u(h) = -h**2 + 4*h + 6. Let m be u(4). Suppose m*q = q. Solve q = 5*v - 5, v - 4 + 0 = -t for t.
3
Let u be (-10)/(-4)*(-24)/(-20). Let r be (-428)/(-20) - u/(-5). Solve r + 14 = -4*i + 5*c, 20 = 5*c for i.
-4
Let l(m) = m**2 + 5*m + 2. Let p be l(-4). Let a = 14 + -10. Let j be p/(-3) + a/(-6). Solve -4 = -0*w + 2*w - r, j = 5*w + 3*r + 32 for w.
-4
Let g = 9 - 4. Solve 8 = g*h - 7, 4*h = -5*v - 8 for v.
-4
Let r(s) = -s**3 + 4*s**2 - 5*s - 1. Let q be r(5). Let y be -1 + 1 + 1 - q. Let k = y + -28. Solve -2*a - 4 = x - 11, -5*x + a = -k for x.
5
Let t(i) = -i**3 - i**2 + i + 2. Let b be t(0). Let l be b*(9/(-6) - -2). Let y = l + 10. Solve -3*p - 2*g - g - 9 = 0, g + y = 3*p for p.
2
Let p(j) = 31*j - 11. Let n be p(6). Suppose -2*r - 5*r = -n. Solve 5*k + r = -2*l, 3*k + 0*l + 14 = -l for k.
-3
Let r(v) = -3*v + 4. Let f(i) = 4*i - 5. Let c(t) = -2*f(t) - 3*r(t). Let o be c(5). Solve -4 = 3*x + o*a - 2*a, a = -x - 2 for x.
-1
Suppose 4*o - 5*o + 2*w = 0, 0 = -4*o + 2*w. Suppose -r - 3 + o = 0. Let c = r - -8. Solve 5*p = y + 7 + 5, -3*y = -c*p + 6 for y.
3
Suppose -24 = -0*t + 2*t. Let b = -8 - t. Solve -5*w = -b*q - 1, -5*q = w + 3*w + 32 for w.
-3
Let y be 11 + 0 + 0 + 3 + -1. Solve 4*i - i = -2*a - y, -2*a = -2 for i.
-5
Let k be 0/(2 + -4) - -28. Let a = -8 + k. Solve 2*p = -2*m + a, 3*p - p - 10 = 0 for m.
5
Suppose -2*y = -4*s + 12, -s + 8 = y + y. Suppose -6*c + 4 = -2*c. Suppose -29 + c = -s*z. Solve -z = 2*o + 5*n, 4*o - 5*n - 37 + 6 = 0 for o.
4
Suppose 5*x + 2*m = 44, 5*x = 2*m + 45 - 9. Let z(w) = -w + 5. Let d be z(0). Solve d*t = -2*o + 1 - x, 0 = -4*t - 3*o for t.
-3
Suppose 2*b - 5 = -4*u + 3*u, 3*u - 15 = -2*b. Solve 3*p - 3*r = 27, -2*p + 13 = -5*p - u*r for p.
4
Suppose -7*a = 4*a - 33. Solve -5*n + 