 2*p - 16 = 4*l, -4*p - 3*l = -37. Suppose 1 - p = -3*z. Solve -z*t + 3*t = 3 for t.
3
Suppose r + 2*d - 16 = 0, 25 + 23 = 2*r - 4*d. Let g be 2 + (-1 - (-1 - 1)). Solve -2*f - g*f = r for f.
-4
Let l = -2 - -2. Suppose -3*a - 2*a + 15 = l. Suppose 2*n - a*t + 5*t - 46 = 0, n - 3*t = 15. Solve -5 = 4*g - n for g.
4
Suppose 21 = -6*p + 9*p. Let o be (-58)/(-7) + (-2)/7. Suppose -3*z - 7 = 2*c, -2*z - o - 10 = 4*c. Solve -2*q - z = p for q.
-4
Let a(d) = 4 + 4*d**2 + 0*d**3 + 2*d - d + d**3. Let o be a(-3). Solve 5 = 3*c - o for c.
5
Let r(k) = -4*k**2 + 7*k - 3. Let v(l) = l**2 - l. Let i(x) = -r(x) - 5*v(x). Let d be i(-3). Solve -n - n + 8 = d for n.
4
Suppose 6*o - 3*o = -4*z + 21, o = 4*z - 9. Suppose -o*s - 11 = -2*u, -2 + 14 = 3*u - 3*s. Solve -i + 0 - u = 0 for i.
-1
Let o = -73 - -78. Solve -3*m - 11 = -o for m.
-2
Suppose u - 5*n = -0*n + 22, -3*n - 2 = 5*u. Suppose -3*s - 9 = -u*r, -10 = 2*r - 6*r - 2*s. Solve 0 = 3*i - 6*i + r for i.
1
Suppose -2*s + 12 = s. Let d(j) = -8*j + 2. Let v be d(-1). Solve -s*l - v = l for l.
-2
Let w(j) = j**2 - 5*j + 1. Let n(b) = b**3 + 4*b**2 - 7*b - 5. Let i be n(-5). Let z be w(i). Solve 4*s - 3 = z for s.
1
Let p(a) = -a**3 - 5*a**2 - 4*a + 2. Let n be p(-4). Let o = 1 + n. Solve -2 = 5*b + o for b.
-1
Let o(w) = 2*w**3 - w**2 - 2*w. Let v be o(2). Suppose 11 = r + v. Solve -7*a + 4 = -r*a for a.
1
Let a be (-2)/(-4) - 36/(-8). Suppose 10 = a*b - 15. Solve -b*i - 2 = 3 for i.
-1
Suppose 0 = 4*z - x - 9, 3*z - 4*x - 10 = 0. Suppose -3*g = -z*r - 19, 2*g + 5*r + 2 = 3*g. Solve 5*t = -8 - g for t.
-3
Suppose 7*f - 4*f + 141 = 0. Suppose -3*t = -4*y + 51 + 22, -6 = 2*t. Let w be y/(-40) + f/(-5). Solve -2*n - w = -1 for n.
-4
Let f be ((-10)/25)/((-1)/(-25)). Let b = 15 + f. Suppose 2*h - 7*h + 10 = 0. Solve h*a = -b - 1 for a.
-3
Suppose -4*a + 0*a + 16 = 0. Let g = 0 + a. Solve 0*m - g = -4*m for m.
1
Let f(w) = w**3 - 2*w**2 - 2*w. Let g be f(3). Let y be g/(((-27)/(-24))/3). Solve y*k - 3*k - 5 = 0 for k.
1
Suppose 2*q = -5*g + 33, -5*q - 4*g + 40 = -0*g. Let o = 6 - q. Solve -z = o*z + 3 for z.
-1
Suppose -3*r = r - 120. Suppose 5*d + 4*l + 33 = 2*l, 0 = -5*d - 5*l - r. Let y be (-8)/28*d/1. Solve -s - s - y = 0 for s.
-1
Let j = 18 + -8. Suppose j*q - 5*q = 20. Solve -b = b + q for b.
-2
Suppose 0 = 3*y + 83 - 89. Let m = -33 + 48. Solve 5*h - y*h - m = 0 for h.
5
Suppose 13 = 5*o - 22. Solve 0 = -3*c - 8 - o for c.
-5
Let i(l) = l**3 + 4*l**2 + 3*l - 1. Let r be i(-3). Let t be 10/(-30) - r/3. Solve -3*d = -t*d for d.
0
Let i be 1/2 + -1 + (-2)/(-4). Solve -3 = b - i for b.
-3
Suppose -2*c + 3*b + 1 = -7, 5*b - 16 = -4*c. Let p be 2/(-3) - (-2)/3. Solve -c*l + p*l = -12 for l.
3
Let q(b) = -b + 10. Let h(g) = g**2 - 11*g - 8. Let f be h(12). Let z be q(f). Solve 2*x + z = -x for x.
-2
Let x(z) = 3*z**2 - 2*z + 1. Suppose 3*i + 0*i = 18. Suppose i*j = 2*j + 4. Let k be x(j). Solve -3 = k*v + v for v.
-1
Suppose 7*b + 0*b = 14. Solve 3*c + b*c - 5 = 0 for c.
1
Let y be -4 + 1 - (-16)/4. Let h be (-15)/(-10)*10*y. Solve -4*d + 1 + h = 0 for d.
4
Suppose 5*i - 18 = 22. Let t be 6/i + 2/8. Solve -5 + t = -a for a.
4
Suppose -13 = -4*h - 2*r + r, -4*h + 5*r - 17 = 0. Suppose -2*w = 4*c + 8, -h*c - 2*w + 20 = -7*w. Solve c*t - 6 = -2*t for t.
3
Let a(p) = -p. Let d be a(-2). Let f be 3/6 + 7/2. Suppose -f = -d*t + 44. Solve 5*n - t = 1 for n.
5
Let w(v) = v + 5. Let f be w(-4). Let g(p) = -5*p - 3. Let r be g(-3). Suppose -3*b = -4*y + b + r, -3*y = -4*b - 10. Solve d + f = y*d for d.
1
Suppose 10 = 3*x + 2*x. Solve 0*l + x*l - 4 = 0 for l.
2
Let i(g) = 2*g**2 - 11*g + 1. Let d(v) = -v**2 + v - 1. Let l(k) = 3*d(k) + i(k). Let m be l(-7). Suppose -15 = -m*o - 0*o. Solve 0 = o*h - h + 2 for h.
-1
Suppose 6 = h + 1. Suppose 0 = 6*x - 3*x + 5*c - 9, 4*c = -h*x + 15. Solve 2 = 5*b - x for b.
1
Let f(s) = 3*s**2 + 2*s + 2. Let c be f(-2). Let n(p) = p - 15. Let r be n(9). Let v = r - -11. Solve 0 = -v*l + c for l.
2
Let b(n) = 2*n**3 - 2*n**2 - n + 2. Let m be b(1). Solve 1 = d - m for d.
2
Let w = -177 + 185. Solve 0 = w*a - 4*a for a.
0
Let t(i) = -i + 11. Let o be t(6). Suppose -2*m + 31 = -o. Let q = -11 + m. Solve 4*w - 3 = -q for w.
-1
Suppose 2*f = -3*q + 7, 0*f = -5*f - 4*q + 28. Solve 2*h = f - 0 for h.
4
Let o = -24 - -33. Let s be o/18 - 18/(-4). Let b(j) = -2*j - 3. Let d be b(-2). Solve -4*x + s = d for x.
1
Let z(m) = 4*m**2 + 0 + 3 + m - 2. Let y be z(-1). Solve y*v = 2*v - 4 for v.
-2
Suppose 5*v = -3*l - 9, -3*l + 12 = -v - v. Suppose k - l = 1. Solve 2 = -k*i - 1 for i.
-1
Let h be (2/(-3))/(2/(-3)). Suppose 2*k - 4*k - 32 = 0. Let y = 18 + k. Solve h = -c - y for c.
-3
Let t be (0 - -20)*5/20. Solve -d = -t*d - 20 for d.
-5
Suppose -5*w - 1 = -3*w - 3*r, 3*r + 11 = 5*w. Solve 0 = w*t + 4 - 0 for t.
-1
Let x = -12 - -17. Solve -x = -2*s + 5 for s.
5
Suppose -3*k + 28 = -2. Solve -c = -6*c + k for c.
2
Let p be (1 + -1)*(-1)/(-2). Suppose p = 2*s - 3*s + 1. Suppose -a = -s - 3. Solve -4 = 4*f + a for f.
-2
Suppose 3*y = 3*r, -2*y = 3*r + 3*y. Suppose 0 = 2*c - 2*s + 6, 0 = c - 4*c + 4*s - 13. Let k = -1 + c. Solve r*b + b - 5 = k for b.
5
Let s(l) be the first derivative of l**4/4 + 10*l**3/3 + 4*l**2 - 3*l + 4. Let c be s(-9). Solve x + x = -c for x.
-3
Let d(w) = -5*w - 28. Let u be d(-6). Solve u*v - v + 4 = 0 for v.
-4
Suppose 0 = 3*y - y - 2. Let n be y/(-1) - (6 - 7). Solve 3*j + 5 + 10 = n for j.
-5
Suppose -3*k + 2*h = -4*k - 7, -3*h = 2*k + 12. Let x be 7 - -2 - 3/k. Suppose 4*y + x = 5*y. Solve 0 - y = 2*v for v.
-5
Let q = 15 - 13. Solve 0 = 2*r + q for r.
-1
Let p(f) = f**3 - 5*f**2 + f + 5. Let k be p(5). Suppose 2*r - 4*r + k = 0. Solve -m - r = -0*m for m.
-5
Let c(f) = 2*f - 3. Let j be c(4). Let b(o) = 7*o + 7. Let m(a) = -15*a - 14. Let s(w) = 13*b(w) + 6*m(w). Let q be s(-4). Solve -j*y + q = -2 for y.
1
Let x be 2/3*(-3)/2. Let k be (-1)/(0 - x/(-19)). Solve -k - 1 = -5*t for t.
4
Let u be (60/(-45))/((-2)/9). Solve u*j - 20 = j for j.
4
Let y(f) = -f**2 + 7*f + 8. Let c be y(8). Suppose -4*s + 13 + 7 = c. Solve -2*g = -s*g for g.
0
Let r be -10*(7/2 - 4). Solve -r*w + w = -4 for w.
1
Suppose -u = -6*u - 5*b + 15, 3*b = 4*u - 33. Suppose 0 = -0*k - k + u. Let d be (2/3)/((-10)/(-75)). Solve -d = r - k*r for r.
1
Let m(q) = -2*q**2 - 12*q + 4. Let d be m(-6). Suppose -10 - d = -y + 3*v, -4*y = -5*v - 35. Solve y*l + 12 = l for l.
-3
Let k = 0 + 0. Suppose l + 4*l = k. Let h be (-2)/4*2*l. Solve h = 4*m + 6 + 14 for m.
-5
Let p be 52/(-6)*(-3 + 0). Suppose -p = -4*x - 6. Let k be (-12)/18 + (-2)/(-3). Solve x = -y - k*y for y.
-5
Let o be 0/((-5)/((-15)/(-6))). Let m be (o - 0) + (1 - 1). Solve -4 + m = 2*d for d.
-2
Let v = 1 - -64. Let w be 126/26 - (-10)/v. Solve -w*r = -2*r - 9 for r.
3
Let h(j) = j**3 - 2*j + 2. Let k be h(1). Let o be (k - 0)*0/(-4). Solve o = 5*m + 32 - 7 for m.
-5
Let p be (2 + -2)/(-5 - -6). Solve p*i - 5 = -i for i.
5
Let t(r) = 2*r**2 - 3*r - 4. Let m be t(4). Suppose -m = 3*d + 5*n, -2*n - 3 = -2*d + 13. Solve 3*y = 6 - d for y.
1
Let i be 2 + -1 + (-2)/(-2). Let d(g) = -g**2 + 7*g + 2. Let t be d(5). Suppose 0*f + t = 3*f. Solve -f + 2 = -i*b for b.
1
Let j = 11 - 11. Solve 2*v - 4 = -j*v for v.
2
Suppose -k = -4*b + 6, 4*k + 3 = -2*b - 3*b. Solve -4*v = 3 + b for v.
-1
Let z(n) = -n - 3. Let h be z(-5). Solve -3 = -5*c + h*c for c.
1
Suppose -d + 0*d = r - 7, -27 = -3*r - 5*d. Solve r*x + 20 = -0*x for x.
-5
Suppose 0 = -2*k + b + 10, 2*b = 3*k + 3*b - 10. Let d be (-3)/(-6) + 2/k. Solve 0*r + d = r for r.
1
Let i(p) = 4*p**2 - 5*p + 2. Let v be i(2). Let w be 1/(-1) - (-1 + -6). Let u = v - w. Solve -c + 0*c = u for c.
-2
Let r be (0/2)/(24/(-8)). Suppose r = p - 5*p. Solve -6*b + b = p for b.
0
Let j(h) = -2*h + 21. Let d be j(9). Solve d*b = 2*b + 3 for b.
3
Let m be 5 + 1*-2 + 4. Let f(r) = -r**2 - 8*r - 9. Let b be f(-7). Let u = b + 10. Solve -3*d - u - m = 0 for d.
-5
Let z = 15 + -9. Let q = -8 - 10. Let y be (-78)/q + (-2)/z. Solve -1 = -b - y for b.
-3
Let d be ((-1)/(-2))/((-8)/(-32)). Solve 3*s = -d*s for s.
0
Let i be (-4)/2 - -2*(-18)/(-4). Solve 2*o + 5 = i*o for o.
1
Let v = -1 - -1. Let o be 0 - v*(-1)/2. Suppose -4*z = 5*r - o*r - 48, -5*z + 31 = -r. Solve -2*n + z*n = -20 for n.
-4
Let g(i) = i + 1. Let r be g(-5). Let 