t s = 8 - 4. Let c = 2 + s. Let j = c - 4. Solve j = -b - 3 for b.
-5
Let f(y) = y**3 + 7*y**2 - 5. Let h be f(-5). Let z be (4/(-6))/((-10)/h). Solve -z*p + 18 - 3 = 0 for p.
5
Let i be 2*(1 - 0)*1. Solve z - 1 + i = 0 for z.
-1
Let z = 5 + -2. Let d(y) = 2*y + z*y - 8 - y - 5*y. Let r be d(-8). Solve -4*v + r*v - 8 = 0 for v.
-2
Let k = 17 + -11. Solve 0 = -3*b - 3 - k for b.
-3
Let o(a) = a**2 + 5*a + 7. Let x be o(-3). Solve 2*d + x = -5 for d.
-3
Let s = -30 + 34. Let a be ((-6)/(-4))/(6/8). Let f be (-1)/a*(-24)/s. Solve f = -p + 2 for p.
-1
Let k be (-46)/12 + 8 + 1/(-6). Suppose -11 = -2*g - 2*g - 3*x, -5*g + 31 = -2*x. Suppose g*r - 3*p - 63 = 0, 2*r + r - 57 = -3*p. Solve -v = k*v - r for v.
3
Let y = 4 + -1. Suppose 8*a = 4*a + 8. Let z = 0 + a. Solve -z*l + y = l for l.
1
Suppose 6*x = 4*x + 8. Solve -2 = 3*w + x for w.
-2
Let s(g) = g**2 + 5*g - 4. Let z be s(-6). Solve 0 = -z*f + 2 for f.
1
Let m(l) = l**3 - 4*l**2 + 4*l - 3. Let b be m(3). Suppose b = 5*s - 65 + 5. Solve 0*y = -3*y + s for y.
4
Let p(l) = -l - 2. Let i(r) = -2*r. Let d be i(5). Let q be p(d). Suppose 6*g - q = 4*g. Solve g*t - 7 + 3 = 0 for t.
1
Suppose 0 = -2*p - 2*o + 2, p + 2*p - o - 3 = 0. Solve 4*k + p + 7 = 0 for k.
-2
Suppose -5*c + 4*c = -2. Suppose -g + 3 = -c. Solve -3*j - g + 2 = 0 for j.
-1
Let o(z) be the second derivative of z**5/20 + z**4/4 - z**3 - 3*z**2 + z. Let x be o(-4). Solve x - 6 = 4*r for r.
-1
Let a = 116 + -108. Solve z + a = 3 for z.
-5
Suppose -4 = 4*x + 3*t, -4*x - t = 1 - 5. Suppose -v + x*i - 6 = -2, -v = 4*i - 14. Solve -h + v*h + 2 = 0 for h.
-2
Let m = 47 - 33. Suppose 5*a - 4*f - 42 = 0, 2*f - 4 = -4*a + m. Solve x - 4*x = -a for x.
2
Let q be 7/21 - (-5)/3. Solve 0 = q*w + 4 for w.
-2
Suppose -b + 3*b + 10 = 0. Let p be (b - -5)*(-2)/(-6). Solve p*g + 4 = 2*g for g.
2
Let w(t) = t**2 + t - 3. Let v be w(-3). Let b be -1 + v*(-1)/(-3). Solve -6*u + 4*u = b for u.
0
Let h(l) = 13*l + 0*l**2 - l**2 - 2 - 6*l. Let u be h(5). Suppose -5*d - 2*b - 10 = 3*b, -5*d + 5*b = -40. Solve 0 = -d*o + u*o for o.
0
Suppose 0 = -i + 1 + 2. Suppose -i*c = -v - 4, -2*v = 3*v - 10. Let g(o) = o**3 - o**2 - 3*o + 2. Let q be g(2). Solve 0 = -q*s + c*s + 10 for s.
-5
Let t be ((-324)/(-48))/((-1)/(-4)). Solve -11 = 4*w - t for w.
4
Let o be 28/8 + (-3)/6. Suppose y - 16 = 4*f, -3*y + o*f + 8 = f. Solve y*k - 2*k = 10 for k.
-5
Let u be 3/(9 + -3)*0. Solve u - 4 = 2*c for c.
-2
Let n = 17 + -11. Solve -n = 2*i + i for i.
-2
Let z(a) = a**3 - 11*a**2 + 2. Let w be z(11). Solve 0*n = w*n - 10 for n.
5
Suppose -2*h = -3*y - h + 39, 0 = 4*h - 12. Solve -y - 6 = 4*c for c.
-5
Let h(l) = -l**2 - 4*l - 3. Let y be h(-2). Solve 3*w - 7 = -y for w.
2
Let w = -5 - -10. Suppose q = -w*z - 14, -5*z + 0*z = -5. Let t = -7 - q. Solve 0 = 3*v - 7*v + t for v.
3
Let o(a) = a**2 + 7*a + 9. Let f be o(-6). Solve -f*j + 3 = -2*j for j.
3
Let v(n) = 2*n. Let d be v(5). Suppose -d = -b - 5. Solve 3*q - 1 = b for q.
2
Let z(w) = w**3 + w**2 - 9*w + 9. Let b be z(2). Solve b*j = -j - 12 for j.
-3
Let u = 9 + -6. Suppose 3*o - 5 = -2*l, 4*o + 2*l - 5*l = 1. Solve o + u = -c for c.
-4
Let c = 16 - 12. Suppose s - 2 = m, -9 = -m - c*s + 14. Solve m + 1 = -g for g.
-4
Let l be (-2)/(-3) - (-20)/15. Solve 2 = l*z + 4 for z.
-1
Let t = 26 - 15. Suppose 3*w = -2*q + 3*q - t, 4*q + 5*w + 7 = 0. Solve -q*a - 4 = -0*a for a.
-2
Let w be ((-6)/4*4)/(-2). Suppose w*s + 3*i - 14 = 13, 4*s = 4*i - 4. Suppose -s - 2 = -2*f. Solve 0 = -4*k - f - 9 for k.
-3
Suppose 0 = 6*u - 3*u + 6. Let b be 0/(2*u/(-4)). Solve b = d - 4*d for d.
0
Let q(u) = 2*u + 22. Let z be q(-10). Solve -z*r = -0 + 6 for r.
-3
Let c(j) be the first derivative of j**3/3 + 4*j**2 - 4*j - 6. Let f be c(-9). Solve f + 5 = 2*n for n.
5
Suppose 9 = 2*u + 23. Let f = u + 7. Solve f = 2*z + 1 + 3 for z.
-2
Suppose 0 = -2*p + 3*p - 4*v + 1, 0 = 2*p + 5*v - 11. Suppose 0 = -g - 4*d + 2 + p, -5*g + 7 = 2*d. Let s be 1*10/4*2. Solve -g = -2*m + s for m.
3
Suppose v + 9 = -2*y - y, -3*v + 25 = -4*y. Solve 7 = v*x + 22 for x.
-5
Let k(t) = t**2 - 13*t + 24. Let x be k(11). Solve 0 = -x*g - 1 - 1 for g.
-1
Let k be 2/14 + (-13)/(-7). Solve k*h + 0*h = 6 for h.
3
Let f be (-18)/4 - (-2)/(-4). Let m = 10 + f. Solve 1 - m = -s for s.
4
Suppose -3*t + 16 - 4 = 0. Let j(w) = -w**3 - 8*w**2 + 9*w + 1. Let o be j(-9). Let i be o/((-2)/(-10)) - 0. Solve 15 = -t*b - i for b.
-5
Let b(a) = -a**3 - 9*a**2 - 9*a - 6. Let h be b(-8). Let l = 6 - h. Solve 3*c - l = 5*c for c.
-2
Let l be (-2)/(1*2/2). Let a(s) = s**3 + 4*s**2 - s - 2. Let x be a(-4). Let o = l + x. Solve 0 = -k - o - 4 for k.
-4
Let v be 6/15 + 28/5. Suppose -2*a + v = -0*a. Solve -3*k - a = -0 for k.
-1
Let k = -34 + 46. Solve 5*u - u = -k for u.
-3
Suppose -17 = 3*w - 4*q - 45, 4*q + 24 = 2*w. Solve -w*b + 15 = b for b.
3
Let q = 4 + 1. Suppose -2*y - 4 = 0, -11 = 2*o - q*o + y. Let c be ((-21)/(-14))/(3/2). Solve -p = o + c for p.
-4
Let u(l) = l**3 + 3*l**2 - 5*l + 2. Let y be u(-4). Suppose 0 = d - y*d + 115. Solve -4*w + 7 = d for w.
-4
Suppose 5 = -10*i + 25. Solve 5 = -i*y + 7*y for y.
1
Let t be (-15)/(-2) - (-6)/(-4). Solve -15 = q - t*q for q.
3
Suppose 5*r = -2*s + 29, 4*r - 14 - 6 = 0. Let f(n) = -s*n + 2 - 11 + 4*n + 0*n. Let d be f(7). Solve -q + 0 = d for q.
-5
Let d be (-1)/((-2)/(-1))*-8. Suppose -a - d*a = -50. Solve -5*r = -a - 15 for r.
5
Suppose -6*l - 9 = -21. Solve -3*u = -l*u + 4 for u.
-4
Suppose 0 = o + 2, 0 = -3*j + 3*o + 5 + 4. Let r be (-30)/(-18)*3*j. Solve 4*z = -1 + r for z.
1
Let l = -31 + 33. Solve -l*f - f = -3 for f.
1
Let q(a) = 2*a**2 + a. Let g = 6 + -5. Let m be q(g). Suppose -m*v - 10 = -8*v. Solve -v*p = -0 + 2 for p.
-1
Let u = 0 + 6. Let p = -6 + u. Solve p = -b - 4 for b.
-4
Let k = 4 + -2. Suppose -k*q = -q. Solve 0*h - 4*h = q for h.
0
Let i = -3 - -4. Let q = i + 3. Solve p = -q*p - 15 for p.
-3
Let a(z) = 5*z**2 + 1. Let v be a(1). Let p = 15 - 11. Solve -p*l = -v*l for l.
0
Let q be (-6)/(-27) + (-2)/9. Suppose q = -4*o - 12 - 0. Let s be -1*(-3 - (o - 0)). Solve 3*y + 12 + 3 = s for y.
-5
Let f(l) = l**3 + 4*l**2 + 3*l + 2. Let b be f(-2). Solve -t - b*t - 20 = 0 for t.
-4
Let h(p) = p**3 - p**2 - 2*p. Suppose -4 = 3*t - 10. Let u be h(t). Solve u*c - 12 = 3*c for c.
-4
Let k = 26 + -20. Suppose -5*c = -0*c - 20. Solve -c*p + 26 = k for p.
5
Let r = -1 + 4. Let c be (-1)/(-3) - 28/(-6). Solve 2*g - c*g = -r for g.
1
Suppose 7 = -2*h + 31. Solve -j + 4*j = h for j.
4
Suppose -3*b - 3*q + 27 = 0, -4*b + 5*b - q - 3 = 0. Let i = -16 - -18. Solve 4*o - b = i*o for o.
3
Let l(w) = -5*w**2 - 2*w - 1. Let f be l(-1). Let v be -1 + 10/f*-2. Let r(a) = a**2 - a - 2. Let i be r(2). Solve -z - v + 2 = i for z.
-2
Let c(g) = 5*g**2 + 3*g + 2. Let r be c(-3). Let n = 3 - -2. Let h = 5 + -5. Solve h = -n*z + r - 13 for z.
5
Let d(j) = j**3 - 12*j**2 + j - 11. Let z be d(12). Let k be (0 + z)*(-2)/(-1). Solve 0 = -k*g - 5 + 13 for g.
4
Suppose 0 = 5*d - u - 97, -5*d + 77 = -d - u. Solve -f - d = 3*f for f.
-5
Suppose -4*l + 3*l = -2. Solve -l*d - 8 - 2 = 0 for d.
-5
Let z be -1*(-3 + 2)*(-2 + 6). Solve z*y = y - 15 for y.
-5
Suppose 3*m = 4*m - 5. Suppose i = m*i - 5*k, 4*k = 0. Solve i = 3*j - 0*j for j.
0
Suppose -2*c = -0*c. Suppose -12*a = -6 - 30. Solve -a*d = -c*d for d.
0
Suppose r = -5, -2*z - 4*r = -3*r + 11. Let f = -2 - z. Solve -4*c - 13 = -f for c.
-3
Let y(g) = -g**2 + 7*g - 3. Suppose -5*r + c + 3*c + 35 = 0, -5 = c. Let q be 2/r - (-32)/6. Let f be y(q). Solve f*n + 2*n = -15 for n.
-3
Let b(f) = f - 1. Let j(a) = a**2 + 11*a + 6. Let q(c) = 4*b(c) + j(c). Let d be q(-15). Solve -d*s + 4*s = 2 for s.
1
Suppose 0 = 2*r + 10, -2*f - r + 4*r = -45. Solve -3*z = -f - 0 for z.
5
Let c(x) = 12*x**3 + x**2 - x. Let o be c(1). Let l = 22 + -20. Let y be ((-6)/(-12))/(l/12). Solve -y*d - o = d for d.
-3
Let z be 5 - ((-16)/120 - 2/(-15)). Solve -z = 2*d + 5 for d.
-5
Let d be -2*1 + 2 + 26 + -26. Let c be -7*((-1)/(-1) - 2). Suppose 4*n - 3*f - 14 = 0, 0 = 4*n - f - f - 12. Solve d = -c*x + n*x - 10 for x.
-2
Let o(b) = b + 1. Let d(a) = 3*a**2 + a. Let v be d(1). Let r(p) = -3*p + 6. Let m(c) = v*o(c) + r(c). Let n be m(-7). Solve -5*i + n*i = 8 for i.
-4
Let t(d) = -d - 13. Let c be t(-15). Solve 4*w - c = 2*w for w.
1
Suppose