p - 1. Let u be s(3). Suppose 2*h + 1 - 5 = 0. Suppose -h*q + 20 = u*q. Solve z = q*z + 4 for z.
-1
Let m be (-4)/3*(11 - 5 - 12). Solve 0 = -2*v + 4*v + m for v.
-4
Let h(v) = -5*v + 12*v + 3*v - v**2 + 13. Let c be h(11). Solve r - 3 = -c*r for r.
1
Let b = 1 - -1. Suppose -m + 2 = b*q, q - 34 = -3*m + 2*q. Solve -m = g + g for g.
-5
Suppose 0 = -y + 21 - 18. Solve -y*u = u for u.
0
Let s(y) = y - 4. Let n(g) = 1. Let u(i) = -3*n(i) - s(i). Suppose 5*z + 11 = -3*h + 4, 1 = 5*h + 2*z. Let a be u(h). Solve 4*w + a*w - 4 = 0 for w.
1
Suppose 0*x + 4 = 2*x. Suppose -z + 5*z + 8 = 0. Let p be 3/z*40/(-6). Solve -p + x = -4*i for i.
2
Let i be 0 + -4 - (17 - 22). Let x be 27 - 2/(i + 0). Solve -a = -6*a - x for a.
-5
Suppose m = -5*l + 31, -m = 4*m + 2*l - 40. Solve 2*k - 14 = -m for k.
4
Let p(j) = -2*j**2 - 6*j - 4. Let d be p(-1). Solve d*q + 4*q = 20 for q.
5
Let p(y) = -y**3 - 3*y**2 + 5*y + 6. Let w = -11 - -7. Let v be p(w). Solve 0 = 2*o + v + 4 for o.
-3
Let f(b) = 10*b + 1. Let k(a) = -a**3 - 5*a**2 - 4*a + 1. Let v be k(-4). Let c be f(v). Solve 0 = 5*d + c + 14 for d.
-5
Let t = -8 + 14. Let v = -15 - -44. Suppose v - 9 = a. Solve -l + a = -t*l for l.
-4
Suppose -3*n = -5*k - 3, -k + 5*n - 1 = 4*n. Let p = 2 - k. Solve p*m = -m for m.
0
Let f(b) = 3*b - 9. Let q be f(5). Solve c + 2 = q for c.
4
Let y(p) = -p**3 - 11*p**2 - p - 11. Let o be y(-11). Solve o = 2*z + 4 - 6 for z.
1
Suppose 0 = -5*j + 145 - 135. Let r(g) = 3*g**3 - 2*g + 1. Let y be r(1). Suppose 3*i + 0*i = 5*f - 7, 6 = y*f + 2*i. Solve f = -v - j for v.
-4
Let f(c) = 6 - c - 2*c**2 - 3 + c**2. Let p be f(-3). Let j = p + 15. Solve j = 3*v - 0*v for v.
4
Let n(m) = m**3 - 6*m**2 - 7*m + 13. Let k be n(7). Solve 3*f = 4 - k for f.
-3
Let g(r) = -r + 1. Let q be g(-5). Let t(o) = -o**2 + 7*o + 1. Let n be t(q). Let x = n - 5. Solve 0*j = -x*j + 4 for j.
2
Suppose -i = i - 30. Let m = 27 - 21. Solve -3*l = m - i for l.
3
Suppose 0*b - 25 = 5*b, 2*o - b + 23 = 0. Let f be 4 - 7 - (0 - -7). Let k = f - o. Solve 0 = k*p - 15 - 5 for p.
5
Suppose 0*v = 3*v - 12. Let m be 1*(-1 + -4 - (-5)/1). Solve m = v*h + 5 - 21 for h.
4
Let j = 19 - 9. Let m = -7 + j. Solve m*o = o for o.
0
Suppose -19 = -3*h + h - 3*a, 5*h - a - 5 = 0. Solve 4*i - h*i + 6 = 0 for i.
-3
Suppose -5*p = -2*p - 15. Solve 4*z = 3*z - p for z.
-5
Let l be 4*(-1 + -1)/(-2). Suppose -9 = -4*r - 5*g, 2*r - 14 = l*g + 10. Let c = -2 + 5. Solve r*p - c*p = 6 for p.
2
Let l(d) = -4*d**2 - 2*d - 5. Let b(y) = y**3 + y**2 - y. Let p(z) = -b(z) + l(z). Let u be p(-5). Solve -5*q + 2*q - 15 = u for q.
-5
Suppose 5*q = -15, -4*z - q + 45 = -0*q. Solve 0*k + 3*k = -z for k.
-4
Suppose -i - 2 + 5 = 0. Suppose -4*h - 2 = -i*c - 2*h, -c = -2*h + 6. Solve -3*j = -j - c for j.
2
Let d be -6 + 2 - -1 - -7. Solve d*l = 2*l for l.
0
Let d be 2 - 0 - (9 - 12). Let v = -5 + d. Let l = 0 - 0. Solve v*b + b + 5 = l for b.
-5
Suppose 0 = 5*a - 1 + 31. Let o = a - -8. Solve 13 = o*b + 3 for b.
5
Let c(n) = -n**3 + 3*n**2 + 5*n - 3. Let u(k) = -k**3 + 7*k**2 + 9*k - 4. Let x be u(8). Let f be c(x). Solve 4*j = 5 - f for j.
1
Let u(h) = 4*h - 2. Let o be u(2). Suppose -b = 4*n - 42, -n + 2*n - 2*b - o = 0. Suppose -1 - 7 = -2*f. Solve -f*d - n = -2*d for d.
-5
Let l be (3 - 7/3)*6. Let x = -10 - -14. Let s = l - x. Solve -m + 4*m = s for m.
0
Let i be 3/(-9) - (8/12 + -3). Solve -12 = -i*l - l for l.
4
Let j(r) = r**2 + 7*r + 9. Let v be j(-6). Suppose -111 = -8*l + 57. Solve v*q - 6 = -l for q.
-5
Let s(m) = -m**3 + 3*m**2 + 3*m - 3. Let y be s(3). Let i be y/10 - (-620)/50. Solve -5*b = -3 + i for b.
-2
Let p(k) = k**3 - 7*k**2 - 7*k - 6. Let d be p(8). Suppose -4*b = -d*b. Suppose 0 = -3*a + 2*j + 19, -j + 0 = a - 3. Solve a*i - 15 = -b*i for i.
3
Suppose 4 = 5*m + g - 14, -2*m - 5*g = 2. Solve 0 = z - m*z for z.
0
Suppose 27 = 3*y - 21. Solve -4*m + y = -4 for m.
5
Let o(t) = -t + 3. Let a be o(3). Let r = 3 + a. Solve -g = -2 - r for g.
5
Let r be (0 - 0 - -3) + 9. Suppose 5*s = s + r. Solve 0 = -q - 2 + s for q.
1
Suppose -4*a = -3*a - 2. Let k be 0/(2*(-1)/a). Solve -y + k*y = -2 for y.
2
Let z(g) = 6*g + 0 + 3*g - g**2 - 3 - 3*g. Let t be z(5). Solve -t*l - 2*l - 12 = 0 for l.
-3
Let f = -85 - -100. Solve -3*g + 0*g + f = 0 for g.
5
Let m = 22 + -22. Solve -v = -m + 3 for v.
-3
Let y(g) = g - 11. Let d be y(13). Solve 0*p = -d*p + 6 for p.
3
Let w(z) = -7*z + 13 + 8*z + 10 - 7. Let c be w(-14). Solve c*j = -3*j - 20 for j.
-4
Suppose 3*d + 2*d - 80 = 0. Let c = d + -9. Solve -a + c = 4 for a.
3
Suppose -3*y - y + 4*f + 24 = 0, 0 = 3*y + 5*f + 6. Suppose 0 = -2*l - y*g + 12, -3 + 54 = 5*l - 3*g. Let d = l + -5. Solve 6 = d*v - 2*v for v.
3
Let h(m) = -m + 4 + 2 + 0*m + 10. Let o be h(0). Solve 5*x - o = x for x.
4
Let i be (-2 + -1)/(6/(-4)). Suppose i*b = 9 + 1. Suppose 0 = -2*u - 4*c - 12, -c - 7 = -b*u + 7. Solve -u*v = v for v.
0
Suppose 2*v + 7 = 8*j - 3*j, -2*v + 8 = 0. Suppose -j*p + 18 = -p. Let f = -4 + p. Solve -6 = f*h - 1 for h.
-1
Suppose 6 = 5*u + 4*d, 4*u + 2*d - 10 = 4*d. Let m be u + (1 + -1)/(-4). Solve -m*g - 8 = -0 for g.
-4
Let c(k) = k**3 + 12*k**2 - k + 3. Suppose -2*n - 3*n + 40 = -5*u, 40 = -4*u + 2*n. Let z be c(u). Solve -z = g + 2*g for g.
-5
Let k(a) = -a**3 - 2*a**2 - 2*a - 3. Suppose 2*r - 1 + 5 = 0. Let h be k(r). Solve -h = -3*y - 4 for y.
-1
Suppose -7 + 22 = 3*r. Suppose -2*y + r = -y. Solve 5*f = y - 25 for f.
-4
Let l(k) = -k**2 - 8*k + 3. Let j be l(-8). Suppose -2*o = -4*v - 16, 4 = -2*v - 4. Solve -j*d - 9 + 3 = o for d.
-2
Let j(s) = s - 5. Let h be j(8). Suppose -2*a + 2*q + 22 = 0, -3*q + 13 = 4*a - h. Solve 0 = -a*t + 2*t - 10 for t.
-2
Let g(u) = -u**3 + 4*u**2 - 2*u - 1. Let j be g(2). Let i = 3 + 1. Solve 0 = -j*s - s - i for s.
-1
Suppose -2*s = -3*y - y - 18, 0 = -2*s - 5*y. Suppose c = s*c. Solve -r + 3*r = c for r.
0
Suppose j + j = 0. Let b be -4 + -1 + 2 + 5. Solve 2*k + 4 + b = j for k.
-3
Let u(o) = 2*o + 2. Let j be u(5). Suppose -4*l + j = -0*l. Solve s + l = 1 for s.
-2
Suppose -s + 24 = 2*j, 3*s - 36 = -4*j - 2*s. Let l be (-128)/(-56) - 4/j. Solve -n - l = -2*n for n.
2
Let o = -8 - -7. Let v be -1 + -1 - 5*o. Solve 4*k = 3*k + v for k.
3
Let v(x) = x**3 + 5*x**2 - 6*x + 1. Let d = -32 - -26. Let c be v(d). Solve 5 = -2*f + c for f.
-2
Let r = 20 - 12. Let a(f) = -f**3 + 8*f**2 + 3. Let h be a(r). Let c be 2 - (2 + -2*1). Solve c = h*g + 5 for g.
-1
Suppose 0 = -5*c + 10, -c = -3*d + 2*c + 12. Solve 2*h + d = -h for h.
-2
Suppose -4*a = a + 5. Let f = a - -5. Suppose f*o = -o. Solve -4*u = -o*u for u.
0
Let t(y) = 5*y - 2. Let m = -14 - -16. Let f be t(m). Solve -4*p - f = 4 for p.
-3
Let c = 14 + -9. Let k(f) = f**3 - 5*f**2 + 2. Let l be k(c). Solve 0 = -4*d + l + 2 for d.
1
Suppose -5*w - 1 + 11 = 0, -5*h = -5*w - 120. Solve -6 = 5*s - h for s.
4
Let y(i) = -i**2 - i + 3. Let x be y(-3). Let u(f) = f**2 - 4*f. Let p be u(x). Suppose -15 = -o - 2*o. Solve -p = o*h - 6 for h.
-3
Let g be (-4)/(-14) - (-4)/(-14). Suppose -6*t + 3*t = g. Solve t = 3*j + 1 + 11 for j.
-4
Suppose 0*f = 4*f. Suppose f*r + 3*r = 18. Solve -r - 2 = 2*b for b.
-4
Let q(c) = 4*c**2 - 1. Let p be (2 - 3) + -5 + 5. Let b be q(p). Solve -o + b*o = -2 for o.
-1
Let x = 6 - 11. Let o be ((-15)/(-6))/(-5)*10. Let u = o - x. Solve -h + 5*h + 20 = u for h.
-5
Let p = -5 + 8. Suppose 0 = -l + 2 + p. Let d be l + -2 + 1 + -1. Solve 2*v - d - 5 = 0 for v.
4
Let y = 12 + -4. Let a = -5 + y. Suppose 0 = -4*w + a*w. Solve -3*i + w*i = 6 for i.
-2
Suppose -4*c = -4 - 12. Solve -4*a + c = -0*a for a.
1
Let u = -11 - -14. Let a(m) = -2*m**2 + 3*m. Let d be a(2). Let q = -2 - d. Solve v - u = -q*v for v.
3
Let g(u) = -u + 4. Let k be g(4). Let o(z) = 2*z - 3. Let x be o(2). Let s be (-3 - 3/(-1))/x. Solve k = -5*q - s*q for q.
0
Let d(f) = 20*f**3 - f**2 + f. Let s be (-11)/(-9) + 4/(-18). Let r be d(s). Let h be -1 + (2 - r/(-1)). Solve -4*g - h = -5 for g.
-4
Let j(g) = -g - 12. Let s be j(-12). Solve s*w - 1 = w for w.
-1
Suppose q = -0*q + k + 11, q - 3 = 3*k. Solve -5*t - q = 5 for t.
-4
Let r = 7 - 5. Suppose r*y + 3*y - 15 = 0. Solve y*k - 5*k = -6 for k.
3
Let r be (-2 - 1) + 5 + 0. Let i be (6/(-9))/(r/(-9)). Let t be 10/4 + (-2)/4. Solve -z = -t - i for z.
5
Let h be (32/(-12))/((-2)/3). Suppose h*a - 