Let x(f) = -f**2 + 5*f + 2. Let q be x(6). Let r be q/3*(-3 - 3). Solve -3*y = -y - r for y.
4
Let t be (-4)/10 + 40/(-25). Let z be (1 + 3)/(t/(-3)). Let c be (-44)/(-33)*(-9)/(-2). Solve -z*l = -3*l - c for l.
2
Let p = 5 + -13. Let s be (-3)/(-2)*p/3. Let r be ((-10)/s)/(2/4). Solve -3 = r*v + 2 for v.
-1
Suppose -6*q + q = u - 13, -u + 11 = 4*q. Solve 2*t + t - u = 0 for t.
1
Let n(z) = -z + 10. Let r be n(6). Solve 0 = -r*l + 3*l for l.
0
Let h(a) be the third derivative of 2/15*a**5 + 1/120*a**6 + 5/6*a**3 + 0 + 3*a**2 + 0*a + 1/4*a**4. Let l be h(-7). Solve -u - l = 2*u for u.
-4
Suppose d + 2*q = 23, -3*q = -3*d + d + 18. Let h be 2 + d + -2 + 2. Solve 3 = 5*t - h for t.
4
Suppose -4*q + q + 9 = 0. Suppose c + 4 + 5 = t, 5*t = -q*c + 5. Solve 0 = t*x - 3 + 11 for x.
-2
Let p be (-1)/(0 - (-2)/14). Let j be (1 - (-4 - p)) + 7. Solve -3*v - 2*v = -j for v.
1
Let g(y) = -5*y - 1. Suppose 5*j + 5*c - 17 - 18 = 0, 2*c = 8. Suppose 0 = x + j*u - 2*u + 6, 7 = -2*x - u. Let w be g(x). Solve -2*z - w = -z for z.
-4
Suppose 3*l + 3 = -30. Let c be 1*-3 - (l - -5). Solve -c*z + z - 4 = 0 for z.
-2
Let n be (-11)/(-7) - 15/(-35). Solve -7 = -5*s - n for s.
1
Suppose -3 = 5*b + 2. Let c be (-1 - b)/((-1)/1). Solve i - 2 - 3 = c for i.
5
Let p = -19 - -28. Suppose 0 = -2*q - 2, 4*q + 3 = -2*s + p. Suppose 5*a = -0*a + 5. Solve 2*w + s = -a for w.
-3
Let c be 16 + -9 + -3*1. Suppose 22 = t - 5*t - 2*f, -3*t + 3*f = 3. Let i = t + c. Solve 0 = -p - i - 5 for p.
-5
Let n be 1 + 4 + -3 + 3. Suppose 0 = -n*w + 15, w - 9 = -3*z - 0. Suppose 0 = z*a - 2 - 0. Solve 7 = 2*x + a for x.
3
Let m be (-2 - (-4)/(-3))*(-4 + 1). Solve -21*s + 26*s = m for s.
2
Let m = -20 - -24. Solve 5*w = m*w - 1 for w.
-1
Suppose m = 5*m - 44. Let b(a) = a**3 - 12*a**2 + 12*a + 2. Let n be b(m). Let q = 21 - n. Solve -q*u = -3*u - 5 for u.
1
Suppose 301 - 17 = 4*m. Suppose -2*z = 23 - m. Suppose 2*g - z = -g. Solve 0 = a + a + g for a.
-4
Suppose 2*r = -5*a - r - 9, -a - 15 = 5*r. Solve 4*o + a + 20 = 0 for o.
-5
Suppose 5*v = 10, 30 = -4*c + 2*v + v. Let d = 6 + c. Solve d = 2*z - 0*z for z.
0
Let u(p) = -p**3 - 8*p**2 - 10*p - 15. Let v be u(-7). Solve 8 = -2*j + v*j for j.
2
Suppose -4*s + 20 = s. Suppose 6*t - s*t + 8 = 0. Let y = t + 8. Solve -y - 8 = 3*w for w.
-4
Let a = 14 + -11. Solve -2 + 8 = a*m for m.
2
Suppose 0 = -3*x + 4*t + 10, 0*t = 4*x + t - 7. Suppose -4*n = x*a, 7*a - 3*a = -5*n + 3. Solve 3*z - 14 = -a for z.
4
Let h(s) = s**2 - 12*s - 5. Let i be h(13). Suppose -i = -l - 4. Solve 6 = -l*g + 2*g for g.
-3
Let b(d) = 2*d**2 - 2*d + 1. Let x be b(-2). Let h = 17 - x. Solve h*w = 5*w for w.
0
Let h = 47 + -19. Let s = h + -12. Solve -3*o + s = o for o.
4
Suppose 2*f = -3*z - 1, z = -2*f + 15 - 6. Let n be -11*2/(-4)*2. Let x = n + f. Solve -4*u + 2 - x = 0 for u.
-4
Let j = -5 + 7. Suppose 2*o + 0*o = -3*k + 6, -4*k = -2*o - 8. Suppose j*t - 4 = -o*t. Solve -w = t*w + 12 for w.
-4
Let j be 60/18*3*-1. Let c = 36 + j. Solve -6 = 4*h - c for h.
5
Suppose 2*h = -0*z - z + 12, 0 = 2*z + h - 9. Solve z*w - 3 - 1 = 0 for w.
2
Let p(n) = n**3 + 2*n**2 - 2*n - 2. Let f be ((-8)/10)/(2/5). Let c be p(f). Solve -c*q - 3 = q for q.
-1
Let w = -25 - -27. Solve -w*a + 5*a = 0 for a.
0
Suppose 5*d - 240 = 5*y, -2*y = 3*d - 2*d + 108. Let z be (y/(-4))/(-1 + 2). Suppose 0*g - 3*g - 4*b = -z, b + 14 = 5*g. Solve -g = -2*f - 1 for f.
1
Suppose -4*c + 1 = -d, 5*d - d = 3*c + 9. Solve 2*m = d*m - 2 for m.
2
Let u = -24 - -40. Solve 3*o + o + u = 0 for o.
-4
Suppose 2*j - 28 = -2*j. Let r(l) = -l + 2. Let n be r(j). Let o = 10 + n. Solve -o*i - 3 = 2 for i.
-1
Suppose 0 = -7*f - 197 + 239. Solve 14 = 4*z - f for z.
5
Let a(k) = -k**2 - 10*k - 8. Let x be a(-6). Suppose 3*r - x = -r. Let u(f) = 17*f - 64. Let m be u(4). Solve m*d + 16 + r = 0 for d.
-5
Suppose -2*r - 3*k + 9 + 13 = 0, -5*r = -5*k - 80. Let j = 23 - r. Solve -4*n - 11 = j for n.
-5
Suppose 2*c - 20 = -5*h + c, -5*h + 20 = -c. Suppose -5*x + 14 = 4*n - 1, h*x - 21 = -5*n. Solve 0 = -n*o + 12 + 3 for o.
3
Let p = -24 - -31. Solve -3*z = -p*z for z.
0
Let f = -8 + 3. Let s = 11 + f. Solve -p - s = -3*p for p.
3
Let g be 456/78 - (-2)/13. Solve -5*x + 2*x - g = 0 for x.
-2
Let w(z) = -z**3 + 14*z**2 - 13*z + 5. Let s be w(13). Solve 6 = s*b - 14 for b.
4
Suppose 4*s + 22 = 34. Solve -s*j + 12 = -0*j for j.
4
Suppose 10 = -4*d + 2*d + 2*o, d - 2*o + 8 = 0. Let u = -2 - d. Solve 0*y - y + 2 = u for y.
2
Let m = 9 + 9. Suppose 0 = -3*o - 3 + m. Solve -o*r - 3 - 17 = 0 for r.
-4
Let s be ((-35)/21)/((-2)/6). Let g be (2/(-1))/((-2)/4). Suppose -2*f + 5*a + 8 = 3*a, f + g = -3*a. Solve f = s*c - 8 for c.
2
Let a be 6/10 + (-9)/15. Suppose 0*j - j + 2 = a. Solve 2*x - j = 4*x for x.
-1
Suppose 5*b - 15 = -0*b. Suppose 0*n + 15 = 5*n. Suppose -4*z + 5*f + 4 = -b*z, -n*z + 5*f = -12. Solve z + 1 = 5*l for l.
1
Let y(r) = -r**2 + 10*r - 20. Let l be y(7). Suppose 0 = 3*t - 8*t + 20. Suppose -2*g + 5*g = -t*k + 8, 0 = -3*k + 4*g + 6. Solve k*b + 1 + l = 0 for b.
-1
Let n = 2 + -2. Let d be (n + 0)/(1/1). Let u(p) = p - 3. Let r be u(6). Solve d*b = -r*b - 9 for b.
-3
Suppose o - 8*o = -28. Solve -12 = 4*i - o for i.
-2
Let v = 21 + -17. Solve 6 = -v*c + 2 for c.
-1
Let s be 0/((1 + 1)/(-2)). Let h = 96 + -90. Solve s = 3*n - 6 - h for n.
4
Let q(d) = d**3 - 2*d**2 - 3. Let f(s) = -s**3 + s**2 - s + 1. Let i(o) = 2*f(o) + q(o). Let w be i(-1). Solve -25 = w*r + 3*r for r.
-5
Let j(f) = 3*f**2 + 2*f - 1. Let q be j(1). Solve q*r - 1 = 11 for r.
3
Let q be 6/33 + 86/11. Solve 0 = -3*y - y - q for y.
-2
Suppose -w + 0 = 6. Let l = 7 + w. Solve -5*u + 9 = -l for u.
2
Let q(i) = 31*i - 1. Let o be q(1). Suppose 0 = -2*r + 5*r - o. Solve -2*c = -2 + r for c.
-4
Let f(x) = x - 3. Let b be f(3). Solve b*p + 20 = -4*p for p.
-5
Let m(k) = k**3 + 9*k**2 - 11*k - 6. Let c be m(-10). Solve -2*j = -c - 4 for j.
4
Let h(a) = -a**3 + 5*a**2 + 3*a + 6. Let u be h(6). Let o = -7 - u. Solve 4 = o*g + 9 for g.
-1
Let o(y) be the first derivative of 3/2*y**2 - 1 + 1/3*y**3 + 2*y. Let r be o(-3). Solve 0 = r*u + 2 - 0 for u.
-1
Let k(b) = -b**2 + 4*b + 7. Let y be k(5). Let f = -2 + y. Solve 3 = -f*m - m for m.
-3
Suppose 4*n = -q - 4*q + 35, n - 4*q - 35 = 0. Let l(c) = 3*c**2 - 2*c + 1. Let p be l(1). Solve -p*f - n = f for f.
-5
Suppose 0 = -s - 3 + 7. Solve -o + s = 9 for o.
-5
Suppose -7*w - 10*w + 425 = 0. Solve 0*q = 5*q - w for q.
5
Let h(r) = -4*r**3 + r + 1. Let l be h(-1). Suppose 0 = 4*t - 3*t - l. Solve -x = x + t for x.
-2
Let r(l) = -3*l**2 + l + 7. Let n(j) = -8*j**2 + 3*j + 21. Let q(u) = 4*n(u) - 11*r(u). Let x be q(0). Let v = x - 2. Solve 1 = -v*y + 26 for y.
5
Let t(f) = 14*f**2 - 1. Let b be t(2). Let y be 1/2 - b/(-10). Let d be (-6)/4*24/(-18). Solve -d*j = -5*j - y for j.
-2
Let m = -2 - -4. Let l be (-1 - -51) + (9 - 9). Suppose 5*i - 3*i = l. Solve -7*r - i = -m*r for r.
-5
Let r = 1 + 4. Let p(y) = y**2 - 5*y + 4. Let g be p(4). Suppose g = -r*j + 2*j. Solve j = 2*c - 3 + 5 for c.
-1
Suppose -5*g + 3 = c, g + g - 32 = 4*c. Let o = 25 - 14. Let b = o + c. Solve -2*q + b = -3*q for q.
-4
Suppose 356 = 2*y - 4*b, 0 = 6*y - 4*y + 3*b - 342. Let g be (-1)/(3 + y/(-57)). Suppose 5*a - g - 6 = 0. Solve -a*f - 7 = 8 for f.
-3
Let w(d) be the first derivative of -d**2/2 + 6*d - 8. Suppose o = -3*o - 3*b + 9, 0 = 2*o - 4*b + 12. Let y be w(o). Solve -3 = -m - y for m.
-3
Suppose -4*c = -12 + 4. Let r(a) = 2*a**3 - a**2 - 3*a - 1. Let w be r(-2). Let k be 0/((-5)/(w/(-6))). Solve k*z = c*z - 4 for z.
2
Let h(b) = b + 5. Let n be h(-2). Solve 0 = n*y - 2 - 10 for y.
4
Suppose 4*r - 2*r = 0. Solve r*l = -l for l.
0
Suppose 0*x - x = 0. Solve -3*n + 5*n - 6 = x for n.
3
Let w be (-12)/(-1 - (-5)/2). Let x = -3 - w. Solve 0 = 5*l + x for l.
-1
Let n be (-2)/8*-6*2. Let q(m) be the second derivative of m**5/20 + m**4/2 - 2*m**3/3 - 9*m**2/2 - 3*m. Let y be q(-6). Solve y = -n*o + 3 for o.
-4
Suppose 0 = -5*t - 4*f + 30, 2*t - 2*f + 3 = -3. Suppose 5*d + t*j - 55 = -2*j, -3*j = -3*d + 60. Solve 0 = 5*v - d - 0 for v.
3
Suppose 0 = 17*t + 20 - 105. Solve -2*r - 1 = t for r.
-3
Let s = -92 - 380. Let z be (-2)/(-12) + s/(-48). Solve 0 = 5*t + z + 15 for t.
-5
Suppose 4*c = o + 9, -2*c - 18 = o + 3*o. Let l = -8 - -10. Solve -c = l*v - 3 