t c be (2/(-4))/((-1)/s). Solve -c = 3*z - 4 for z.
1
Let u = 0 + 4. Suppose -6*t + 2*t = -4*m - 12, -5*m = -u*t + 13. Let v = m + 6. Solve -o + 0 = v for o.
-5
Let v(h) = h**3 - 9*h**2 + 2*h - 6. Let b be v(9). Let z be 4/b + (-2)/6. Solve z*a + a - 2 = 0 for a.
2
Let s be (-15)/(-10) - 6/(-4). Suppose v - 8 = -s*m, 3*m + v - 4 = -v. Solve 0 = -0*b + m*b + 4 for b.
-1
Let p be 1 - 2*1 - (56 - 60). Solve -p*a = -8*a for a.
0
Suppose y - 46 = -3*h, 4*h - 4*y - 58 = -2*y. Suppose -6*j - h = -11*j. Solve j = -4*n + 11 for n.
2
Let s(t) = -t + 4. Let p(z) = -z - 5. Let l be p(-5). Suppose l = 3*o - o - 8. Let i be s(o). Solve 2*u + 1 + 7 = i for u.
-4
Suppose 5*d - 4 - 6 = 0. Solve -3 + d = -q for q.
1
Suppose 0 = -4*v - 3*c + 22, 4*v = 5*v + 2*c - 8. Let b(y) = -4*y - 4. Let p be b(-3). Solve -v*x + p = -0 for x.
2
Suppose 5*r = -q + 8 + 11, -13 = -4*q + r. Solve q = 3*l - 4*l for l.
-4
Suppose -3*w - 2*w - 5*p + 35 = 0, 0 = 2*w - p - 8. Suppose -f = -w*q + 15, 0 = q - 2*f + 6. Suppose -10 = -y - q. Solve 3 = -3*g + y for g.
1
Suppose -2*a = -i - 8, 3*i + 5*a = 23 + 8. Solve 5*h + i = -23 for h.
-5
Let j(f) = -f**2 - 14*f - 31. Let z be j(-11). Solve -3*s = -z*s + 5 for s.
-5
Let x be (3/(-4))/((-42)/112). Suppose -d = 2*f + 1, d + 1 = -3*f + x*f. Let z be -1*(2/2 - 1). Solve z = 5*g - f + 5 for g.
-1
Let i(c) = 5*c**2 - 5*c + 8. Let m(q) = -11*q**2 + 10*q - 17. Let f(y) = -13*i(y) - 6*m(y). Let n be f(-6). Solve n*j + 3 - 15 = 0 for j.
3
Suppose -19 + 3 = -2*y. Let c(s) = s - 5. Let u be c(6). Suppose 0 = 2*z + 4 - 10. Solve z*r + u = -y for r.
-3
Suppose -2*h = -7*h - 25, -h = 4*j + 5. Suppose i = l - 5, -2*l + j*l + 5*i + 7 = 0. Suppose 2*s + 9 = -5*v, 6*v - 3*v + 18 = 3*s. Solve -s*y = 6 + l for y.
-4
Let i = 13 + -9. Solve k = 5*k + i for k.
-1
Let l be ((-27)/6 + 4)*-10. Solve -l*g = 2 - 7 for g.
1
Let v(h) be the first derivative of 7*h**4/4 + h**3/3 - h**2/2 + h - 2. Let f be v(1). Let a = f - -2. Solve -a = 3*n - n for n.
-5
Suppose 9*f = 5*f - f. Solve 4*o - 4 = -f*o for o.
1
Suppose -1 + 2 = -m. Let i = 4 - m. Solve -9 = i*c + 6 for c.
-3
Let y be 1/(-2) - 26/(-4). Solve u = y - 4 for u.
2
Let d(j) = -j**2 + 5*j + 2. Let y be d(5). Suppose 2*l - 4 = 5*o, -3*l - 2*o + 6 = o. Let w be (0*(l + -3))/y. Solve 2*n = -w*n - 6 for n.
-3
Suppose -m - 4*u - 23 = -6*m, -u - 14 = -4*m. Suppose 0*z = -m*z + 69. Suppose -t - a = -8, 2*a - z - 5 = -5*t. Solve -t*j + j = 12 for j.
-4
Let u(y) = -y - 6. Let s be u(-11). Let k be 15/s + (-4 - -1). Let o be k/4*(-1)/2. Solve -5*a + 2 + 18 = o for a.
4
Let k = 42 - 40. Let m = 6 - 1. Suppose m - 1 = a. Solve k*l + a = -4 for l.
-4
Let t = 17 + -15. Solve 0 = -t*f - 5 + 1 for f.
-2
Let s(y) = -y + 3. Let i be s(4). Let v(r) = -2*r**3 - r**2 + 1. Let q be v(i). Let b be (21/15)/(q/10). Solve 8 + b = 3*g for g.
5
Let u = 1 + 2. Solve -8 = u*v + 4 for v.
-4
Let w(g) = 4*g**2 + g + 1. Let j be w(-1). Suppose k = -u + 5, -j*k = 3*u + 9 - 27. Solve -s + 4 = -u*s for s.
-4
Suppose 0 = -2*v - 7 + 29. Let y be (-18)/(-72) + 86/8. Let c = v - y. Solve 2*a - 15 + 5 = c for a.
5
Suppose 0*h - 5*h = -6*h. Solve -3*z - 2*z - 5 = h for z.
-1
Let g = 22 - 21. Solve 0 = -0*d + d - g for d.
1
Suppose 3*u + x + 5 = 0, -2*x + 7 - 17 = 0. Solve u = i - 4*i for i.
0
Let c(q) = -3*q - 10. Let r be c(-4). Solve 5*g - r*g = 0 for g.
0
Let n be (-2)/(-14)*-2 + (-12)/(-42). Solve -4*o + 4 = -n*o for o.
1
Let s be 1 - 2 - 1 - -1. Let p be -2*s*(-4)/(-2). Solve 2 - 10 = p*g for g.
-2
Let l = -31 - -43. Let b be l/54 - 16/(-9). Solve d - b = -0*d for d.
2
Suppose -5*k - 2*g + 9 = -2*k, 5*k = -5*g + 15. Solve k*z + 0*z = -9 for z.
-3
Let a = 3 + 1. Solve 2*k = -2*k - a for k.
-1
Suppose 5*o - 7*o + 8 = 0. Solve -o*i - 9 = 7 for i.
-4
Let i(q) = q**2 + 4*q + 3. Let g be i(-3). Suppose j = -0*j + 2. Solve -j*d + g = -6 for d.
3
Suppose -4*s - a + 7 = 2*a, 0 = -3*s + a - 11. Let f be (-62)/(-10) - s/(-10). Solve -2*g - g - f = 0 for g.
-2
Let t(j) = 3*j**2 - 2*j + 1. Let o be t(1). Suppose -o*y + 12 = y. Suppose -x - 4 = -2*v, -5*v = -y*x - 4 - 0. Solve -x = -n - 0 for n.
4
Let w be 1 - (-1 - 0)*2. Solve -w*l = l for l.
0
Let q = 8 - 3. Let m = 10 - q. Suppose 2 = -o - 3*l, -m*o + l = -0*o - 54. Solve o = -v - v for v.
-5
Let r(p) = -p**3 + 6*p**2 - 2*p + 6. Let s be r(6). Let a be (s/2 - -2) + 2. Solve -o + 4 = -a for o.
5
Suppose g - 8 = 4*h, -4*h - 12 = -5*g + 12. Suppose r + 2 = u, -r - g = -4*u + 13. Solve -8 = r*m + 7 for m.
-5
Let o = -109 + 114. Solve -o = -3*x + 2*x for x.
5
Let j be (-10)/25*(-1 - 0)*5. Solve 0 = -z + j - 0 for z.
2
Let k be (8 + 1)/(2 - 1). Let u be (-6)/4*(-2 + -2). Suppose 0 = -3*a, o + a - u*a = k. Solve 3*j = 3 + o for j.
4
Suppose 3*b + 5*u = -9 + 3, -3*b = -5*u - 24. Solve 0 = -0*n - 3*n + b for n.
1
Let h(n) = 3*n**2 - 1. Let r be h(-1). Suppose r*g - 6*g = 0. Solve g = -0*x - 3*x + 15 for x.
5
Let o = -11 + 13. Solve o*v + 3 = 7 for v.
2
Let f(r) = 5*r - 24. Let n be f(6). Suppose 3*t = 4*t. Solve t = 2*c + c + n for c.
-2
Let y(f) = -f**3 + 4*f**2 - 3*f + 1. Let k be y(2). Suppose -k*a = -4*a + 1. Suppose -2 = -z + a. Solve z*l + 16 = 1 for l.
-5
Suppose -3*z - 5*d = -8, 4*z = -0*d - 3*d + 7. Let x be (z/3)/((-4)/(-24)). Let n be (-10)/6*(-1 - x). Solve -5*s = -5 - n for s.
2
Let j be (-4)/(-6) + (-86)/(-6). Suppose 0*i - 5*i = -j. Let v be 5 + -6 - (-2 + 1). Solve v*h = i*h for h.
0
Suppose -5 = -9*q + 4*q. Solve -t + q = -1 for t.
2
Let r be (3 + -2)*(6 + -6). Solve 0 = -r*m - 5*m - 20 for m.
-4
Let n(v) = -v**2 + 5*v + 16. Let j be n(7). Solve -j*a - 9 = -1 for a.
-4
Let k be 4/(-6)*((-3)/6 - 1). Solve 0 = -h + 4 + k for h.
5
Let v = 8 + -3. Let p = v + 0. Solve p*k = 17 - 2 for k.
3
Suppose 0 = y + y. Let k be 0 + 2 + 8 - 0. Suppose -s + 6*s - k = y. Solve -s*i - 12 = -5*i for i.
4
Let t(k) = -k**3 + 6*k**2 + 6*k + 9. Let l be t(7). Solve 0 + 6 = l*w for w.
3
Let z(p) = p**3 - 6*p**2 + 4*p + 7. Let a be z(5). Suppose -k = a*i - 14 + 4, 4*k - 5 = -i. Solve 2 = i*c - 18 for c.
4
Let u = 49 + -48. Solve u = q - 1 for q.
2
Suppose -3*d = 1 - 22. Solve -d + 1 = 2*v for v.
-3
Suppose 0 = o + 4*o - 10. Let k = 3 + o. Suppose -i + 9 = -k*c, -3*i - 2 = -5*c - 19. Solve 3*w - 2*w = i for w.
4
Let l be 1/(-5) - 5/(-25). Suppose -3*p - 25 - 8 = -2*i, -i = -2*p - 16. Suppose l = u - 2*u - 5*t + i, 5*t - 30 = -5*u. Solve 0*a = -u*a - 6 for a.
-2
Let r(n) = -n**3 + 6*n**2 - 4*n + 5. Let c be r(5). Suppose 0 = -4*f + 2*m + c, -3*f + 2*m = 4*m - 4. Solve 5 = -f*d - 3 for d.
-4
Let b = -115 + 117. Suppose -3*r - r + 16 = 0. Suppose -2*f = -2*n + f + 3, 3*n = r*f + 6. Solve b*l - n = -0*l for l.
3
Let d = -91 + 134. Let x = -32 + 36. Suppose 11 = -x*l + d. Solve l = 5*f - 7 for f.
3
Let h = -15 - -16. Suppose -5*l + 6 = 5*g + h, -5*g = -3*l - 29. Solve -3*a + 11 = -g for a.
5
Let b(u) = u + 1. Let g(y) = y**3 + 3*y**2 - 6*y - 4. Let q(x) = -2*b(x) - g(x). Let f be q(-4). Solve 0 = -f*k - 2 + 6 for k.
2
Let f be 0/1*(1 - 0). Suppose 2*j + 0*j = f. Solve j*t = t for t.
0
Let x(c) = -13*c + 2. Let d(s) = -s**2 + 9*s - 10. Let f be d(8). Let m be x(f). Suppose -4*k = -2*g - 32, k + k + 5*g - m = 0. Solve 0 = -4*r - k - 3 for r.
-3
Let m(h) = h**3 + 11*h**2 + 11*h + 14. Let a be -3*((-38)/(-6) - 3). Let j be m(a). Solve 3*u = 5*u + j for u.
-2
Let o(b) = 2*b - 9. Let y be o(6). Suppose -14 = -y*f + 2*f. Suppose 0 = 2*q + 2*i - f, -6*q - 2*i = -q - 20. Solve q*w - 1 = 9 for w.
5
Suppose -6*w = 3*w - 3*w. Solve w = 10*z - 7*z + 15 for z.
-5
Suppose -k = -4, 2*j - 2*k = -2*j. Let p be ((-1 + j)*0)/2. Let q be (-2 + 0)/((-7)/7). Solve -3*t - q*t + 5 = p for t.
1
Suppose -4*o + 85 = -39. Let p = o + -19. Solve 4*q + p = q for q.
-4
Suppose 0*y - 2 = 2*y. Let i be y/(-2) + 27/6. Let a(u) = u**3 - 4*u**2 - 5*u + 4. Let x be a(i). Solve 5*f + 4 = x*f for f.
-4
Let s be 12/(-1 + -3) - -11. Suppose -3*k + 5 = -0*k + f, 2*k - 4*f - s = 0. Solve k*l + 0 + 8 = 0 for l.
-4
Suppose 4*d - 6 = d. Suppose d*m - m - 9 = 0. Solve 0 = l + 2*l + m for l.
-3
Let q(r) = r**3 - 10*r**2 - 11*r + 5. Suppose -11 = d - 2*d. Let t be q(d). Solve -9 = -t*p + 6 for p.
3
Suppose -j = -5*o + 102, 0*o = -3*o + 4*j + 68. Solve 0*h - 5*h - o = 0 for h.
-4
Suppose 0 = -3*z - 2*z - 15. Let q(p) = 2*p + 1. Let l(v) = -v. Let i(y) = -6*l(y) - 4*q(y). Let u b