 Let r be p(-2). Solve z + r = 6 for z.
-3
Let q(f) = f**2 + 4*f - 2. Let i be q(-5). Suppose 0 = i*m - 0*m - 6. Suppose 7*p = 8*p. Solve p*d + m*d = 0 for d.
0
Suppose 0 = 4*v + 8*r - 3*r - 6, 20 = 4*v - 2*r. Solve -v*b - 3 = -3*b for b.
-3
Let k(o) = o**3 - 3*o**2 - 2*o + 9. Let t be k(3). Solve y + 6 = t*y for y.
3
Suppose -m = 4*m - 25. Let u(l) = 3*l - 1. Let j be u(m). Let f be 32/j + 12/(-42). Solve i + f*i = -15 for i.
-5
Suppose 5*r = -2*p + 6, -p = -6*p + 15. Solve -4*i - 6 + 18 = r for i.
3
Let h = -73 + 80. Solve 10 = -2*f + h*f for f.
2
Suppose 0*w + w + 30 = 5*j, j = -w. Suppose k - 2*k = -12. Solve j*q = 3 + k for q.
3
Let a = -5 + 7. Let q be 18/(-24) - 30/(-8). Solve a*y = q*y for y.
0
Suppose 0 = -6*k + 2*k. Solve k = -0*w + 3*w + 6 for w.
-2
Let h(k) = -k**2 - 8*k - 2. Let z be h(-7). Suppose 5*u - z - 15 = 0. Solve 0 = -b + u for b.
4
Let s = -119 - -123. Solve h = s*h + 12 for h.
-4
Let y be (-1 - 0)/((-1)/4). Let z(i) = -3*i + 3*i - i + y. Let c be z(4). Solve c = 2*k - k + 3 for k.
-3
Let l = 27 + -19. Solve -2*g + l + 2 = 0 for g.
5
Let f(w) = w**3 - 4*w**2 - 4*w - 3. Let l = 2 + 3. Suppose 0 = -4*i, 10 = l*z + 2*i - 15. Let b be f(z). Solve -2*x - 20 = b*x for x.
-5
Suppose 3*n - 23 = -n + z, 2*n = -5*z - 5. Suppose -x = 1 - n. Solve x = -4*j - 0 for j.
-1
Let y(b) = -b**3 - 6*b**2 + 7. Let x be y(-6). Suppose 0 + x = 3*w + c, 3 = 3*c. Solve -10 = -3*r - w*r for r.
2
Let i(b) = -b - 2. Suppose -10 = -5*w - 35. Let f be i(w). Solve 15 - 3 = f*a for a.
4
Let n be 1*(2 + -7 + -1). Let i be 16/12*6/4. Let f be (-3)/(2 + n/i). Solve -f*l = -8*l for l.
0
Let f = -20 - -23. Solve f = -j + 5 for j.
2
Suppose 0 = 3*n - 11 - 10. Solve n*c = 4*c + 15 for c.
5
Suppose 2*z - 5*a + 4*a - 23 = 0, -4*z - a = -43. Let w = z + -6. Let u(y) = 5*y + 6. Let m be u(6). Solve -11 + m = w*x for x.
5
Let f(q) = -q - 5. Let j be 3/((-6)/7)*2. Let r be f(j). Solve 0*d + 8 = r*d for d.
4
Let z = 9 + -7. Let o(x) = x**3 + 2*x**2 - 5*x - 4. Let p be o(-3). Suppose 2*v = -4*q - p, z*q - 4 + 2 = -4*v. Solve 3*t + 4 - v = 0 for t.
-1
Suppose -2*q + 2 + 2 = 0. Suppose -4 = q*k - a + 6, -4*a = 5*k - 1. Let u = -2 - k. Solve 4 = -w + u for w.
-3
Let y(s) = s**3 + 7*s**2 - s - 3. Let i be y(-7). Suppose i*b = -b + 10. Suppose b*x + 3 = -5*z - 5, 9 = 3*x - 3*z. Solve -n - x - 3 = 0 for n.
-4
Suppose -3*p - r + 25 = 0, 4*p - 2*p + 3*r - 19 = 0. Solve 12 = -4*y - p for y.
-5
Let q(g) = -g**2 + 6*g - 8. Let u be q(4). Solve u = 3*n + n for n.
0
Let u = 2 + 2. Suppose 4*s + 3*m - 4*m = 10, 0 = -s - m. Solve 0*a - s*a - u = 0 for a.
-2
Suppose -2*r + 4*o + 2 = 6, -5*r + o + 8 = 0. Let h = r + 1. Solve 2 = -h*a - 7 for a.
-3
Let h = 304 - 304. Let y = 0 + 3. Suppose 0*m - 28 = -y*m - 2*a, 2*m + 5*a = 15. Solve 5*t + h*t = m for t.
2
Let i = -4 + 7. Let u be i/(-12) - (-1)/4. Solve u*d = d for d.
0
Let n(s) = -s**2 - 18*s - 39. Let x be n(-15). Solve i - x*i = 25 for i.
-5
Let c(g) = -g - 1. Let w be c(-3). Suppose 0 = -2*a + 2*x, -7*x = 2*a - 4*x - 20. Suppose k - 5*k = 0. Solve 2*p + a - w = k for p.
-1
Suppose 3*h = 4*w - 13, -4*w + 16 = -h + 1. Solve -w*x + 0*x - 12 = 0 for x.
-3
Suppose -21 = -2*b + 5*s + 5, -5*b = 2*s - 7. Let n(d) = 2*d**2 - d. Let m be n(-1). Suppose b*v = -m*a + 4*v + 4, -4*a + 2 = -2*v. Solve 2*k = a*k + 4 for k.
-4
Let s(q) = q**2 - 1. Let i be s(-1). Suppose 3*p - w = 54, 0*p + 4*w - 73 = -5*p. Let m = 17 - p. Solve i = -a - m*a - 1 for a.
-1
Let b(j) = j**2 - 5*j - 6. Let z be b(7). Let o(y) = -2*y**2 - 43*y - 13. Let x be o(-21). Solve z = 4*h - x for h.
4
Suppose 0 = -2*l + 7*l. Suppose 0 = -r + 6*r + 10. Let w be -1*(-4 + (r - -3)). Solve -w = -l*d - d for d.
3
Suppose -4*v = -3*r + 4, v + 2*r + 3*r - 22 = 0. Solve -v = -3*s - 11 for s.
-3
Let q(n) = n**3 - n**2 + n + 2. Let c be q(0). Suppose 0 = -c*p + 3*p. Suppose 4*f = 6*f. Solve f = -s - p*s - 4 for s.
-4
Let x(q) = -q**2 + 7*q - 3. Let w be x(6). Solve w*f = 2*f - 3 for f.
-3
Suppose 0 = -5*i - 17*i + 66. Solve -2 = v - i for v.
1
Let t(v) = -17*v**2 + 1. Let b be t(-1). Let z be b/8*(0 + -1). Solve -4*m = 6 + z for m.
-2
Let b be 3 + -1 - -1 - (4 + -2). Suppose 23 = 5*n + 3. Let a(y) = -y**2 + 5*y. Let s be a(n). Solve 3 = -s*g - b for g.
-1
Let p(l) = -l**3 - 3*l**2 + 3*l + 1. Let q be p(-4). Let w(n) = -n**2 + 6*n. Let o be w(q). Solve -o*t + 2 = -3 for t.
1
Suppose 2*d - 3 = -d. Let g be 6/24 + d/(-4). Solve g = -t + 2*t + 2 for t.
-2
Suppose 2*z = 2*g, -3*z - 4*g + 6 = -5*z. Suppose 5*s + 4*d = 27 + 9, -5*d = -20. Solve 1 = -s*t - z for t.
-1
Suppose 0*t - 3*t + 12 = 0, -2*h + t + 8 = 0. Solve h = o + o for o.
3
Let d(s) = -s + 3. Let o be d(7). Suppose -80 = 5*q - 5*h, -5*h + 19 = -q - 5. Let w be (-12)/42 + o/q. Solve w = -2*k - 2 + 10 for k.
4
Suppose -70 - 8 = -3*v. Suppose 3*m = -0*m + q + 32, 2*m - v = -4*q. Solve -3*n - m = 1 for n.
-4
Let c be ((-1)/2)/((-4)/56). Solve 19 - c = -3*w for w.
-4
Let q(s) = -31*s - 3. Let z(u) = -31*u - 2. Let b(o) = 3*q(o) - 4*z(o). Let g be b(1). Let y = 5 + -1. Solve y*m + 10 = g for m.
5
Let w(s) = -3*s - 9. Let d(u) = 7*u + 18. Let r(a) = -4*d(a) - 9*w(a). Let q be r(6). Solve q*y = -y - 20 for y.
-5
Suppose -2*z + 0 = 12. Let b(o) = -o**3 - 6*o**2 + o + 6. Let d be b(z). Let y = -1 - -1. Solve y*f + 5*f + 5 = d for f.
-1
Let k(j) = -12*j + 4. Let x be k(3). Let p = x + 18. Let f be (-1)/(-1) - (p + -1). Solve 0 = 5*s + 4 + f for s.
-4
Suppose -109 = -5*u - 0*u + 2*g, 2*g = -u + 17. Solve u = 5*y + 1 for y.
4
Suppose -5*v = -0*v + 4*a - 50, v - 10 = -4*a. Solve m + 5 - v = 0 for m.
5
Let h = 5 - 2. Let x = 6 - h. Suppose 4*a = x*a + 2. Solve 18 = -4*v - a for v.
-5
Let p = -22 + 30. Solve -2*f + 4*f = p for f.
4
Suppose -r + 5*r + 39 = -3*k, 4*r + 34 = -2*k. Let t = r + 7. Solve w - 3 = -t for w.
2
Suppose d = -0*d. Suppose -3*m + 2*p + 75 = -0*m, -4*p - 12 = d. Suppose 0 = -3*b + m + 1. Solve 12 = 4*s - b for s.
5
Let o(v) = -3*v**2 - v. Let f(q) = q + 3. Let i be f(-5). Let g be o(i). Let n(u) = -u**2 - 11*u - 4. Let w be n(g). Solve -w - 2 = -2*k for k.
4
Suppose 2 + 0 = 2*d. Suppose 0*v + 21 = v + 4*n, v - 3*n + 7 = 0. Suppose v = 4*o - 3. Solve i + d = -o for i.
-3
Suppose 7*d - 6 = 5*d. Let y be (-10)/(d/(45/(-6))). Solve 6*c + y = c for c.
-5
Let k(x) = x**3 - 6*x**2 + x - 4. Let c be k(6). Let j = 1 + c. Suppose -2*y = -j*a - 11 + 33, -5*a = 2*y - 10. Solve -4*o - 12 = -a for o.
-2
Let o be 4/(-14) - 24/14. Let v be 3/9*(-2 - o). Solve -z = -v*z + 1 for z.
-1
Let k be (-1)/((-2)/8) - 1. Suppose 2*v + 18 = -c - k*v, -3*c - 3*v - 6 = 0. Let l be (c - 2) + 8/4. Solve -6 = 5*x - l*x for x.
-2
Let z = 36 + -36. Solve z = 4*j - 2 + 14 for j.
-3
Suppose -19 = -4*d - 3, 2*q + 5*d - 24 = 0. Let p = -21 + 8. Let s(o) = o**3 + 12*o**2 - 14*o - 13. Let t be s(p). Solve t = n + q*n for n.
0
Let u = -2 + 2. Suppose u = 3*x - 23 - 13. Solve -2*k - k + x = 0 for k.
4
Let q be (7/(-2) - -2)*2. Let u = -1 - q. Suppose 0 = -5*f - i + 10, 4*f - i - 27 = u*i. Solve -f = -3*k - 9 for k.
-2
Let x be 6/(-15)*(0 - 10). Solve 0 = -x*s - 12 for s.
-3
Suppose -17 = -2*o + b, 24 = 5*o - 3*b - 21. Solve x = 4 - o for x.
-2
Let z be 1/(1/(-7)) + -3. Let f(b) = -5*b**2 - b. Let m be f(-1). Let y = m - z. Solve 3*r + 6 = y*r for r.
2
Let q(s) = s**3 + 3*s**2 - 5*s - 1. Let x be q(-4). Let k = x + 0. Solve -k*d + 9 = -6 for d.
5
Let d be 3 + (-10)/4 - (-26)/4. Let p be 7 + ((-1)/1 - 1). Suppose -5*y = 2*o, -o - p*y + 0 = 5. Solve d = -o*z - 8 for z.
-3
Let i = -5 - -10. Let b = 12 + -8. Suppose i*w - 2 = b*w. Solve 0 = -f - w*f + 12 for f.
4
Let z = -18 + 13. Let g = 8 + z. Solve c = -g*c - 4 for c.
-1
Let t(r) = r**3 - 6*r**2 + 6*r + 1. Let l be t(5). Suppose q + l = 4*q. Solve -5 = -q*i + 1 for i.
3
Let g(t) = 13*t. Let q be g(5). Suppose 4*b - w - 52 - q = 0, 0 = 3*b + 2*w - 85. Suppose 4*x - b = 11. Solve u + x = -4*u for u.
-2
Suppose h = -3*h + 8, -d - 2*h = 1. Let i = -3 - d. Let c(k) = k**2 - 4*k + 1. Let p be c(5). Solve i*a - p = -a for a.
2
Let h = 152 + -136. Solve -4*y = h - 0 for y.
-4
Suppose 0 = -2*b + 2*c - 7*c + 28, 0 = -2*b + 2*c. Solve -l + b = l for l.
2
Suppose 5*s + 3*g = 9, -s - 3*s = 5*g - 15. Let c = 2 - s. Solve -2*m + 2 = -c for m.
2
Let q = -1 - -2. Let j be q + 1 - 0/(-1). Suppose u - 5 = -j*r, -3*u = 2*u + 2*r - 25. S