 r = 8*y - 3*y - n for y.
5
Let n be (7 - 1)*(-3)/(-6). Let o(p) = p**3 - 2*p**2 + p + 3. Let y be o(n). Solve 6*u - u - y = 0 for u.
3
Let j(q) = 3*q + 9. Let p be j(-3). Solve -4*m = -p*m - 20 for m.
5
Let f be ((-2)/2)/(2/(-14)). Solve f*c - 6*c = -1 for c.
-1
Suppose -d - 4 = -2*d. Let f = 110 + -98. Solve -d*z = -0*z - f for z.
3
Let w(n) = -n**2 + 4*n - 3. Let x be w(3). Let f be (-3)/(-6)*x - 0. Solve y = -f*y - 1 for y.
-1
Suppose 5*p + a - 13 = -0, 4*a + 11 = p. Suppose -c = -p*n + 2 + 3, 4*n = -5*c + 32. Solve n = -5*k + 18 for k.
3
Suppose -7*s + 4*n + 56 = -3*s, 0 = 5*s - 4*n - 69. Solve 5*i - 12 = s for i.
5
Suppose -2*o - 4 = -10. Suppose -15 = -3*b - 2*p, 0 = -7*b + 2*b - o*p + 24. Solve b*m = 2*m for m.
0
Suppose 0 = -35*a + 40*a - 10. Solve 5 - a = -3*h for h.
-1
Suppose 0 = 9*t - 7*t - 8. Solve 3*b + b = t for b.
1
Let p = -3 + 11. Let i(a) = a - 4. Let l be i(p). Solve -2*q - 10 = -l*q for q.
5
Suppose -6*u - 8 = -2*u. Let i be u/(-2)*(1 + 17). Suppose 2*f = -3*v + 14, -3*v + i = 3*f + 6. Solve -b = 2*b + v for b.
-2
Let n(o) = o**3 + o**2 - o - 2. Let c be n(2). Let p(z) = z**3 - 7*z**2 - 9*z + 12. Let h be p(c). Solve 0 = -5*l + h + 6 for l.
2
Suppose 0 = -0*a + 4*a. Let k be 3/(-9) - (-2)/6. Solve a = -k*s + s for s.
0
Let n(w) = w**2 + 2*w - 12. Let h be n(-5). Let x be (h - 4)*-1 + 1. Solve 0 = -x*i + i + 5 for i.
5
Suppose d = 2*d + 17. Let t = 30 + d. Solve -t - 2 = -5*r for r.
3
Let t = 1 + -2. Let q be 36 + 2/2 - t. Let d = q + -26. Solve 3 = 5*m - d for m.
3
Let x = -31 - -31. Solve -4*s + 2*s - 4 = x for s.
-2
Let d(k) be the third derivative of k**4/24 + k**3/6 + 2*k**2. Let b be d(5). Let w(z) = -z**3 + 6*z**2 + 2. Let x be w(b). Solve x*f = 6*f - 20 for f.
5
Suppose 0 = -2*t + 5*x + 19, -x + 25 = -6*x. Let u be 4/t*6/(-4). Solve u*w = 3*w - 5 for w.
5
Let p = 18 - 14. Let n be p - ((-4)/(-1))/2. Solve -g - 5 = -n*g for g.
5
Let g = -72 - -77. Let b be 4/10 - 318/(-5). Suppose 3*d + 12 = 0, -b + 5 = -g*w - 4*d. Solve 5*y = -w - 5 for y.
-4
Suppose -4*w + 3 = 5*x, -5*w + 5*x + 14 = -1. Solve 0 = w*o - 6 for o.
3
Suppose 3*y - 17 - 94 = 0. Let g = -23 + y. Solve -5*h + g = -6 for h.
4
Let n(u) = 3*u**2 + u - 2. Let p = 4 - 3. Let r be n(p). Solve -r*q + 5 = 1 for q.
2
Let o be 6/9 + (-2)/3. Solve o*d = 5*d - 10 for d.
2
Let u be (-1*(1 + 0))/1. Let j(w) = 4*w - 1. Let p be j(u). Let t(q) = q**3 + 5*q**2 - q. Let v be t(p). Solve s = 2*s - v for s.
5
Let s(j) = 2*j**2 + j - 2. Let c be s(2). Let g = c - 8. Solve g = p + 4 for p.
-4
Let r be (-20)/7 + 3 - 375/(-21). Solve 7 = -5*o - r for o.
-5
Let v = 1 - 0. Let h be v - (0 + 0)/1. Suppose -2*f + 7*f - 15 = 0. Solve 5 + h = -f*s for s.
-2
Suppose -d + 4 = d. Let p = 13 + -23. Let l = -7 - p. Solve -d = 2*g - l*g for g.
2
Suppose -4*z + 22 = 2*h, 0 = 3*h + 3*z - 16 - 5. Solve h*u = -0*u - 12 for u.
-4
Suppose -x - 4*a + 2 - 8 = 0, -5*x + 54 = -a. Suppose 5*d + 2*v - 12 = v, 0 = 4*d - 5*v + 2. Suppose x - d = l. Solve t - l = -3 for t.
5
Suppose 3*n = 4*n - 48. Suppose 2*d = g - 23, 3*d = -2*g + 5*d + n. Solve g = 6*v - v for v.
5
Let c = 3 + -1. Let r = -2 - -3. Let g be ((-3)/r)/((-3)/c). Solve 0 = -7*a + g*a + 20 for a.
4
Let r(d) = -d - 1. Let x(t) = t**2 + 5*t + 15. Let g(m) = 5*r(m) + x(m). Let n be g(0). Suppose 3*l - 17 = -5*o, 0*l - 2*o = -3*l + n. Solve 2*f = f - l for f.
-4
Let m(a) = 8*a - 8 - a**3 - 4*a + 4*a - 8*a**2. Let i be m(-9). Suppose 0 = 4*h - 7 - i. Solve 0 = h*w + 2*w for w.
0
Let r(h) = h - 2. Let v be r(5). Let b = 7 + -4. Suppose p = v*y - 1, -6 + 3 = b*p. Solve 4*l - 3*l + 3 = y for l.
-3
Suppose 0 = 8*o - 4*o - 36. Solve o = -v - 2*v for v.
-3
Suppose 4*t = 3*w + 7, 0 = 2*t - 4*w + 3 + 1. Solve 7*n + 9 = t*n for n.
-3
Let c be (-3 - 1)/(-1) + 0. Solve 3*a + c + 2 = 0 for a.
-2
Suppose 5*p = 4*u + 17, 5*u = -0*p - 2*p + 20. Suppose -3*l = 5*o - 8, -24 = -p*o + 2*o + 3*l. Let c be (-4)/5*(-10)/o. Solve -7 - 1 = c*r for r.
-4
Let g be (0 - 4/10) + 620/50. Solve -4*l - 8 = -g for l.
1
Suppose -3*x + 9*x - 48 = 0. Solve -4*w + x = -0 for w.
2
Suppose -y + 9 = 2*y. Solve -y*h + 12 = h for h.
3
Let g be 6 + (-3 - -2) + 0. Solve q = -0*q - g for q.
-5
Suppose -11 + 15 = t. Solve -t*m = m for m.
0
Suppose 1 = 5*o - 4*o. Solve -b - 3 - o = 0 for b.
-4
Let o = 107 - 104. Solve -4 = m - o for m.
-1
Let x = 1 - 1. Suppose x = -2*q + q. Solve q*t = t - 2 for t.
2
Let f be (-2)/(-4) - (-3)/2. Suppose 5*t - 10 = 4*h, 19 = f*t - 3*t + 5*h. Let o(y) = 2*y - 3. Let j be o(t). Solve 0*z = 3*z - j for z.
3
Suppose 5*o + 4 = 6*o. Suppose 2*g - o*v = v - 6, -13 = g - 5*v. Solve 4*s - 3 = -g for s.
-1
Suppose 0*m + 10 = 2*m. Solve -20 = -5*b + m for b.
5
Let b(s) = -s**2 + 4*s + 2. Let g be b(5). Let o(q) = q**3 + 4*q**2. Let p be o(g). Solve 0 = -3*i - p + 3 for i.
-2
Let m(l) = l**2 - 5*l + 2. Let h be m(2). Let q be (1 - -2) + 18/6. Let p be (8/q)/h*-3. Solve 0 = -5*s + 21 - p for s.
4
Let v = 18 - 15. Solve 1 - v = -d for d.
2
Let c be (-11193)/(-741) + 4/(-38). Suppose -3*q + 2 + 4 = 0. Solve -q*z + c = -7*z for z.
-3
Suppose 5*z - 3*z - 4 = 0. Suppose -2*q - z = -12. Solve -o = -q*o + 12 for o.
3
Let p be (-2)/(-17) - 2/17. Suppose v = 2*v - 2. Solve p = -v*b - 8 for b.
-4
Let s(l) = l**2 - l - 1. Let a be s(-2). Let t = -5 - -9. Suppose -a*d = -t*d. Solve d = -v - 3 - 1 for v.
-4
Let q(f) be the first derivative of f**2/2 - 2*f - 1. Let l be q(2). Solve 2*w - 4*w + 6 = l for w.
3
Let m(w) = -w**2 + 5*w - 1. Let u be m(6). Let a = -3 - u. Solve a = 4*y - 0 for y.
1
Suppose 2*x = -s - 4 - 16, -x = -2*s + 10. Let y = x + 12. Solve -y*b - 9 = b for b.
-3
Let b be 14/4 - 1/2. Solve s - b*s = 2 for s.
-1
Let a(s) = -2*s + 31. Let q be a(13). Solve 0 = -0*n + q*n + 10 for n.
-2
Let x = 9 + -9. Let f be (x/1 - 0)/(-2). Solve 4*t + f - 8 = 0 for t.
2
Let r(o) = o**3 + 6*o**2 - 4. Let h be r(-6). Let k be 2/4 + 2/h. Solve k*m = -3*m + 3 for m.
1
Let y be ((-1)/(-2))/((-1)/34). Let p = y - -9. Let o = -5 - p. Solve o*z + 5 = 4*z for z.
5
Let g be (12/10)/((-3)/(-10)). Suppose 0 = -2*o - 5 - 5, g*z + 5*o = -29. Let h be -3 + 1 + (-2)/z. Solve 2*r + h = -8 for r.
-4
Let w(m) = -m + 18. Let o be w(15). Solve -8*a = -o*a - 20 for a.
4
Let w = 50 + -48. Solve -w*l + 0*l = 0 for l.
0
Let f be 0 + -4 - (0 - -1). Let r(p) = -2*p - 8. Let v be r(f). Solve 3*u - v*u = -2 for u.
-2
Let c(l) = -l**3 + 5*l**2 + 5*l + 8. Let r be c(6). Solve -4*n - r = 2 for n.
-1
Let b = -18 - -28. Solve -4*c = c + b for c.
-2
Suppose -8*f + 12 = -4. Solve -k = -f + 5 for k.
-3
Let q = -6 + 10. Let p(o) = -o**2 + o - 4. Let i be p(0). Let h = i - -6. Solve q + 6 = h*m for m.
5
Let p be (-2 - 21/(-9))*42. Suppose f = 2*u + 10, 0 = 5*f - 2*u + u - p. Solve -f*y = 2*y for y.
0
Suppose -4*t = -5*s + 2, 2*t - 5*t = -3*s. Let i = -13 + 19. Solve 0 = -4*k + s*k + i for k.
3
Let l(s) = s**2 + 6*s - 4. Let f be l(-7). Suppose 0 = 2*w + 2, w + 1 = -7*g + f*g. Solve g*x = -x + 3 for x.
3
Let a(d) = -d**2 - 6*d + 4. Let z be a(-6). Suppose 0 = 3*j - 0*j - 45. Let r = 15 - j. Solve r = -b - z*b for b.
0
Let f be -4 + 7 - (-1 + 1). Solve 2 = -l - f for l.
-5
Suppose 0 = 4*g - 17 - 3. Solve -3*o + g*o = -10 for o.
-5
Suppose -l - 4 = -5. Suppose 0*z + z = -l. Let p be -5*(z - (-2 - -2)). Solve 3 = -2*o + p for o.
1
Let g(u) = -u**3 - u**2 - 2*u + 3. Suppose 0*o + 2*b = 5*o + 8, -b = -5*o - 4. Let i be g(o). Solve 0 = i*q + 3 for q.
-1
Suppose 41*a + 30 = 43*a. Solve 0 = -6*l + l - a for l.
-3
Let j be 1 + (-2)/(4/(-58)). Let a(t) = -t**3 - 16*t**2 + 15*t - 22. Let g be a(-17). Let s = j - g. Solve -6 + s = -4*c for c.
-3
Let m be -3 + (-1 - (-4 - 3)). Solve 3*b - 12 = m for b.
5
Let p(m) = -m**2 - 10*m + 14. Let i be p(-11). Solve 5*f + i - 28 = 0 for f.
5
Let g = -33 + 37. Solve -2*z - 10 = -g*z for z.
5
Let l = 24 + -16. Solve 3*c = l + 1 for c.
3
Let q = -10 + 18. Suppose 5*r - q = r. Solve -s - r = s for s.
-1
Let o(f) be the second derivative of -f**3/3 + 3*f**2 - 7*f. Let y be o(3). Solve t + 1 = -y for t.
-1
Suppose 4*w - 5 - 11 = 0. Let n = -4 + 7. Solve -n*s = s + w for s.
-1
Suppose 16*z - 10 = 11*z. Solve 0 = -z*o + o - 5 for o.
-5
Let i = 5 + 5. Let h be ((-6)/i + 1)*50. Solve -4*p - p = -h for p.
4
Suppose -4*d - 3*v + 4*v = -16, 0 = -v. Solve -d - 1 = -5*x for x.
1
Let h(i) = -4*i - 110. Let