ve 0 = -2*w - t*w for w.
0
Let y be (-6 - -1)/((-17)/17). Solve -5*j = y - 0 for j.
-1
Let a be 7/(-21) - (26/(-6) - -1). Solve 0*b + a = -b for b.
-3
Suppose 4*a + 4 - 32 = 0. Solve -a - 2 = 3*c for c.
-3
Let l(r) = r**3 - 5*r**2 - 7*r + 6. Let b be l(6). Solve b = -w - 0*w - 1 for w.
-1
Let w be -3*((-55)/15 - -3). Solve -w = -5*z - 22 for z.
-4
Suppose 5*x = 41 - 1. Let z(r) = -r**2 + 8*r + 4. Let s be z(x). Suppose 2*p - 19 = -s*k + p, 3*k + p = 15. Solve -18 = k*f - 2 for f.
-4
Let f = 27 + -23. Solve 1 = -5*u - f for u.
-1
Let p(g) = -4*g + 31. Let y be p(7). Solve 0*f - 12 = -y*f for f.
4
Let u(n) = 2*n - 16. Let h be u(8). Suppose 0*a = 3*a - 9, -g = -5*a + 13. Suppose 4*b + g*o + 6 = 2*b, -6 = -2*b + o. Solve 0 = -z - b - h for z.
-1
Let d be (6/(-2) + 27)*1. Let y be d/14 + (-4)/(-14). Solve -12 = 2*c + y*c for c.
-3
Let r(n) = -n**3 + 4*n**2 + 14*n + 4. Let l be r(6). Solve 6*q - 2*q = l for q.
4
Suppose -34 = 4*z - 3*v + 5*v, 0 = -4*z - 4*v - 44. Let x = 12 + z. Solve 2*p + p + x = 0 for p.
-2
Suppose 31*y + 2 = 32*y. Solve -y*n + 15 = n for n.
5
Let s = -1 + 10. Let m be (-5)/(1 + 1*-2). Suppose -4*v = 8, 6*o + m*v = o. Solve -c + s = o*c for c.
3
Let t(h) = -5*h - 6. Let r be t(-3). Solve -q = 2*q - r for q.
3
Let l(f) = -f**3 + 5*f**2 - 3*f - 4. Let h be l(2). Solve 5*z = h + 8 for z.
2
Suppose -3*h = -5*b + 17, -4*h = b + 4 - 12. Suppose -4*k = -3*q - 2 + 4, -3*k - 5 = -b*q. Let t(g) = 2*g. Let x be t(k). Solve -i = -3*i - x for i.
-1
Let v = 30 + -28. Solve 0 = -v*b + 2 + 6 for b.
4
Suppose 2*p + 2 = p. Let r = 0 - p. Solve 2*m = -r*m + 20 for m.
5
Let v be 8/10*(-50)/(-20). Solve -p - v*p = -15 for p.
5
Let y be (2 + 5/(-3))*-6. Let d be (y + -1)/((-12)/8). Solve -2*z = d*z + 16 for z.
-4
Let j be (-2 + (4 - 1))*4. Let c = 4 - j. Solve c = -4*s + 21 - 1 for s.
5
Let p = 13 - 11. Solve p*u + u = -12 for u.
-4
Let u be 4/(-4) - (-6)/2. Let r be (u/4)/((-1)/(-2)). Solve -2 = -t + r for t.
3
Let h = 1 - -1. Let y(j) = h*j**2 - 2*j + 4*j + 1 + 3*j**2. Let w be y(-1). Solve -g - w = 3*g for g.
-1
Let w(u) = u**3 + 6*u**2 + 4*u + 1. Let b be 2/4*10*-1. Let d be w(b). Suppose -4*n + 2*v + d = 0, 2*v + 3 + 3 = 3*n. Solve n = -5*x + 19 + 6 for x.
5
Suppose 8*c = 10*c. Solve 0 = -c*u - 3*u - 9 for u.
-3
Suppose -23 = -5*m + 4*i + 8, 4*i = -m + 11. Solve m + 2 = 3*b for b.
3
Let v be (-57)/(-5) + (-2)/5. Let o = 1 + 3. Suppose o*t - 1 + 13 = 0, 0 = w - t - v. Solve 4*n + w = -0 for n.
-2
Let t = -1 + 3. Let s(r) = -2*r + 8. Let l be s(4). Suppose -3*a + 9 = l, -2*m + 37 = 2*a - 1. Solve -t*k + m = 6 for k.
5
Let w = 17 + -9. Solve -w = -j + 3*j for j.
-4
Suppose 3 = -0*n - 2*n + 3*w, -5 = -5*w. Let x be 50/6 + (-2)/6. Suppose 0 = 4*b - 4*m, -b + 0*b - m + x = 0. Solve 12 = -b*i - n*i for i.
-3
Let w be -1 - (-7 + 1) - (3 + -5). Solve -w*h + 4*h = -6 for h.
2
Suppose -3*r = 4 + 5. Let h = r - -5. Solve -j = h*j + 3 for j.
-1
Let o be (3/(-4))/((-2)/8). Suppose f = -z + o*f - 1, -4 = -2*f. Suppose 3*c - z = 9. Solve -g - c = -2 for g.
-2
Let t be (16/5)/((-15)/75). Let l = -8 - t. Solve -7 = -3*w + l for w.
5
Suppose -4*q - 2 + 2 = 0. Solve -5*w - 15 = -q*w for w.
-3
Suppose -15 = -7*r + 2*r. Let o(x) = -x**3 + 4*x**2 - 4*x + 1. Let a be o(r). Let m be ((-3)/a)/((-12)/(-32)). Solve 4*i = -0*i + m for i.
1
Let d(l) be the second derivative of l**3/6 + 2*l. Let z be d(-6). Let g = z + 8. Solve 2 = -4*t - g for t.
-1
Let q(c) = c + 3. Suppose s - 5*s + 12 = 0. Suppose -4 = s*p + 5. Let g be q(p). Solve g = -5*b - 24 - 1 for b.
-5
Let k(z) = -5*z + 9 - 1 + 4*z. Let u be k(5). Solve -t - 8 = u*t for t.
-2
Suppose 0*o + 5*o - 4*l - 33 = 0, 5*l + 10 = 0. Solve -5*q + 15 = -o for q.
4
Let s(r) be the first derivative of r**2/2 + 3*r + 3. Let t be s(-3). Suppose t = 2*j - 5*z - 45, j - z = -3*z + 9. Solve -x - 4*x = j for x.
-3
Suppose 0 + 10 = 2*r. Suppose 5*w = -5*l - 5 - r, 0 = -2*l - w - 2. Solve -3*t + t = l for t.
0
Suppose 3*d + 0*d = 12. Let f = -2 + d. Solve f*t = -t for t.
0
Let h = -9 - -14. Suppose -4*p - q + 5 = -4, 4*p + h*q = 29. Let o = p + 5. Solve 3*z = -o - 6 for z.
-4
Let k(q) be the third derivative of 0*q + 5/3*q**3 - 1/60*q**5 - 1/120*q**6 + 0 + 0*q**4 - 3*q**2. Let p be k(0). Solve -5*w - p - 5 = 0 for w.
-3
Let x(k) = -k**2 + 10*k + 6. Let v(r) = 4*r**2 - 4*r + 2. Let j be v(2). Let d be x(j). Solve -h - 3 + d = 0 for h.
3
Suppose 2*o - 5 = 3. Let l = -4 + o. Solve 4*d + 3 + 1 = l for d.
-1
Let y(q) = -q**3 + 11*q**2 - 7*q - 26. Let d be y(10). Solve -d*v - 16 = -4 for v.
-3
Let l = 1 + -5. Let o be (-55)/(-2) + (-2)/l. Solve -o + 8 = -5*t for t.
4
Suppose 0 = 3*d + 37 - 7. Let c = d - -19. Let s be ((-12)/c)/((-4)/6). Solve -s = -y - 0 for y.
2
Let y = 9 + -3. Solve h + h - y = 0 for h.
3
Let k(x) = x**3 + 3*x**2 + x + 1. Let s be k(-1). Solve -3 = -s*p - 7 for p.
-2
Let k(g) be the second derivative of -g**3/6 - 3*g**2 + 3*g. Let o be k(-7). Suppose 2*a = -3*a + 10. Solve -v - o + a = 0 for v.
1
Suppose -f + 0 + 5 = 0. Let b(x) = -x**3 - 4*x**2 - 5*x - 5. Let u be b(-5). Suppose 3*l + u = 2*o, -2*o - l = 2*l - 15. Solve -2*g + f*g = -o for g.
-5
Let n(u) = -4*u - 11. Let w(b) = -9*b - 23. Let l(p) = 13*n(p) - 6*w(p). Let m be l(4). Solve -m*v - 2 - 1 = 0 for v.
-1
Let o be (-7 - -6)/(1/(-6)). Solve 0 = o*i - 2*i - 12 for i.
3
Let t = 0 + -1. Let q be (2/2 - 1)/t. Let h = 61 - 58. Solve q = -h*l + 9 - 21 for l.
-4
Suppose 0 = -5*q - 2*d + 68, 0*q = -2*q + 4*d + 32. Let i = 20 - q. Solve i = -4*c + 2*c for c.
-3
Suppose -k + 7 + 6 = 0. Suppose 2*s - 1 = 5*z, -2*z = -s + 2*z - 1. Solve -k + 1 = s*m for m.
-4
Suppose -3*g + 47 = -5*t, -3*g - 3*t + 33 = 2*g. Let b be (-2)/6*(4 - -5). Let q be b/(g/(-6)) - 0. Solve 0 = 2*j - q - 2 for j.
2
Let s(r) = -3*r - 3. Let a be s(-4). Let j(v) be the first derivative of -v**2/2 + 9*v + 2. Let n be j(a). Solve -5*q + 25 - 5 = n for q.
4
Let h be 120/(-48)*((-34)/10 + 1). Solve -3*r = -h*r + 15 for r.
5
Let t be (-1 + (1 - 0))/1. Let g be (0/10)/(-1 + 0). Suppose l - 7 = -3*f, l + 5*f - 9 = -g. Solve l*m = -t*m + 8 for m.
2
Let p = -4 - -8. Suppose 5*g + p*o - 32 = 0, 2 = 2*g - 4*o + 2*o. Solve -g*f = f for f.
0
Let y(r) = -r - 8. Let x be y(-14). Solve x*v - 5 = v for v.
1
Let w be 0*(3/(-6) - 0). Solve w = -2*v + 8 - 0 for v.
4
Suppose 3 = o, 3*o + 13 + 6 = 4*s. Solve -s = 3*i + 5 for i.
-4
Suppose p + 3*j - 11 = 6, p = -5*j + 27. Let k be 1/(p + 21/(-12)). Suppose -4*d + 0 + 20 = 0. Solve -s - d = -k for s.
-1
Let f(q) = -2*q - 5. Let h be f(-4). Suppose 0 = 5*b - 2*u - 70, -2*u + 8 = -2. Let g be 2/1*120/b. Solve h*k - 6*k = g for k.
-5
Let g be 17/(8/2 + -3). Let w = -12 + g. Solve 0 = -5*l + w - 0 for l.
1
Let r(d) = -d**3 + 10*d**2 + 3*d - 10. Let n be r(10). Suppose 5*c - n = 3*g, 4*g = -4*c + 2*c - 18. Solve -2*l + 3*l = c for l.
1
Suppose -45 = -13*h + 7. Solve -1 = h*t + 3 for t.
-1
Suppose 0 = 6*v - 5 - 7. Solve 2*r = 8 + v for r.
5
Suppose -4*f = -11 - 21. Suppose 0*x = -2*x + f. Solve x = -5*i - 6 for i.
-2
Let c = 29 + -18. Let n = c - 11. Solve w - 5 = -n*w for w.
5
Let i(b) = -b**3 + 2*b - 1. Let q be i(-2). Let o = -15 - -19. Solve -q*j = -11 - o for j.
5
Let i(t) = t**3 + 3*t**2 + 3*t + 2. Suppose 0*k - k - 17 = -3*b, -5*b + 17 = 4*k. Suppose 4 = -b*y - 6. Let h be i(y). Solve h = -q + 2 + 3 for q.
5
Let c = 49 + -33. Suppose 3*u - c = -u. Suppose 5*a - u = 16. Solve -a*v + 9 = -v for v.
3
Let l(q) = -2*q - 6. Let o be l(-5). Let d be (6 - (-2)/(-2)) + (84 - 87). Solve 0 = o*z - d*z + 6 for z.
-3
Let o = -30 - -38. Solve -o = 2*j + 2 for j.
-5
Suppose 7*x = 2*x + 30. Suppose -l + 7 = 2*m + m, 5 = -l. Let j = m + -3. Solve 5*r = j - x for r.
-1
Let g = 37 - 11. Solve -1 = -5*b - g for b.
-5
Suppose 8*u - 25 = 3*u. Solve v = 2*v - u for v.
5
Suppose 5 = -i + 4*f + 3, 2*f = -3*i + 8. Solve 5*d - i = 3 for d.
1
Let a be ((-3)/4 + 1)/((-2)/(-16)). Solve a*g + 16 = -2*g for g.
-4
Let g = -12 + 6. Let o(p) = p + 10. Let t be o(g). Solve 0 = -t*k - 3 + 23 for k.
5
Let j(t) = t**3 + 6*t**2 + 3*t - 3. Let s be j(-5). Let p = s + -13. Let n = p - -10. Solve -n*h - 16 = -0*h for h.
-4
Suppose 0 = 4*v - 5 + 1. Solve 2*r = v - 7 for r.
-3
Suppose -2*l - 3*l + 10 = 0. Let b be l/(-1)*(2 - 3). Suppose -b*a = a - 9. Solve a*u = 4 - 10 for u.
-2
Suppose 6*z - 2*z + 12 = 0. Let g(m) 