+ 6. Let s be ((-9)/o)/(3/(-2)). Suppose -z + 3 + s = 0. Solve -9*f + z*f = -5 for f.
1
Let z(f) = -f**2 + 8*f - 13. Let l be z(5). Solve -1 = -l*v + 1 for v.
1
Let s = -8 + 11. Let h = 3 + -3. Suppose 3*d - c = 16, -d + h*d - 2 = -4*c. Solve -d*t = -s*t - 15 for t.
5
Let d be ((-10)/(-4))/(2/(-4)). Let f = d - -7. Let i = 66 + -64. Solve -20 = -i*y - f*y for y.
5
Let j be (-2)/(-3 - -5) - -8. Let u = -3 + j. Solve 9 = u*c - 3 for c.
3
Let d(f) be the second derivative of -f**3/6 - 9*f**2/2 - 6*f. Let j be d(-10). Let t(a) = -2*a**3 + a**2 + 1. Let z be t(-2). Solve -j = 5*p - z for p.
4
Suppose 0 = 3*n + k - 2, -3*k = -2*n - 3 - 3. Solve n*z + 3*z = 0 for z.
0
Suppose 15 = 8*q - 13*q. Suppose -18 = 3*h - h. Let l = q - h. Solve -2*a = -l*a - 16 for a.
-4
Let n = 9 - 12. Let r(s) = -s**2 - 3*s + 3. Let t be r(n). Solve 6*a - 15 = t*a for a.
5
Let x = -5 - 1. Let r be 0*(-2)/x*3. Suppose 5*y - 2*p + 2 + 3 = r, -3*y - p + 8 = 0. Solve n + y = -0 for n.
-1
Let o(l) = -l**2 + 6*l + 1. Let p be o(3). Let j be 6/8*(-6 + p). Solve -1 = -2*n + j for n.
2
Let x(d) = -d + 4. Let w be x(4). Solve w = c + 1 - 0 for c.
-1
Let i(x) = 2*x**2 + 5*x. Let w be i(-4). Suppose -p = 2*p - w. Let n be 1*(-3)/(-1) - 0. Solve j - n = -p for j.
-1
Let o(a) be the first derivative of a**4/4 - a**2/2 + 4. Let z be o(-1). Let l be 3 + -1 + z + 0. Solve -s - l*s = 15 for s.
-5
Let l = -14 + 14. Suppose 2*g + 0 - 8 = l. Solve 0*z + 4*z = g for z.
1
Let v(k) = k**2 + 7*k + 8. Let i be v(-7). Suppose 0 = 4*b - i - 0. Let p(q) = -2*q - 1. Let s be p(-1). Solve b*r = -s - 1 for r.
-1
Let p = 5 + -9. Let q(s) = -3*s - 6. Let h be q(p). Let g = h + -3. Solve 0 = -2*b - g*b for b.
0
Let f(m) = -m**2 + 3*m + 3. Let x be f(3). Suppose -5*r - k + 2 = 7, -r = x*k + 15. Suppose 2*v + v - 15 = r. Solve 7 + 3 = v*a for a.
2
Suppose -4*f = -2*i + f + 28, 0 = -3*i - 4*f - 4. Suppose -i*l + 9 = -11. Solve -5 + 0 = l*o for o.
-1
Let o be (72/42)/(4/14). Solve 20 = -o*j + 2*j for j.
-5
Let h = 8 - 1. Suppose -h = 3*g - 31. Suppose 3*c - 7 - g = 0. Solve -5 - c = -5*j for j.
2
Let v(w) = -w**2 - 7*w - 2. Let c be v(-6). Solve -c*r - 15 = 1 for r.
-4
Let x = 9 + -6. Suppose 0 = 3*h - 8 - 7, w = -2*h + 10. Solve -x*v - 15 = -w*v for v.
-5
Suppose 4*o - o + 5 = p, -5*o = -2*p + 15. Solve h - p = 6*h for h.
-4
Let k be 10 + (-2 - (3/1)/(-3)). Solve -k - 3 = 4*h for h.
-3
Let z = 40 + -36. Solve 0 = -k + 2 - z for k.
-2
Let w(i) = -3*i - 28. Let j be w(-14). Solve 0 = -4*g + j + 6 for g.
5
Let n(y) = -y**2 + 9*y - 10. Let x be n(7). Solve 0 = x*i - 7*i - 3 for i.
-1
Let t be (-20)/(-8)*32/20. Suppose -3*s - 3 = 3*r, -4*s + 8 = 2*r + t. Solve s*p - 19 + 4 = 0 for p.
5
Let v be 1*(1 + -4)/(-1). Suppose -4*x + g + 20 = 0, -4*x = -v*g + 6 - 34. Suppose -b - 3*b + 4*u + 32 = 0, -b - x*u - 12 = 0. Solve -t - 3 = -b for t.
1
Let q = -19 + 31. Let s = -12 + q. Solve s = -x - 3 - 1 for x.
-4
Suppose 3*r - 159 = -3*x, 2*r - 3*x + 109 = 4*r. Let p be r/8 + 2/(-8). Solve 5*j + p - 1 = 0 for j.
-1
Suppose 0 = -6*k + 9*k. Solve -1 = x - k*x for x.
-1
Suppose 4*i = -5*a - 17, 2*i - 4*i + 2*a = -14. Suppose -2*q - i*u + 12 = -0, 0 = 3*q - 2*u - 3. Solve 3*t = q + 12 for t.
5
Let n be (48/40)/((-6)/(-15)). Solve -n*p = p - 20 for p.
5
Let n = 11 + -4. Let l = n - 0. Let z = l - 7. Solve -2*x + 2 + z = 0 for x.
1
Suppose -5*x - 24 = -x. Let m(z) = -z**3 - 5*z**2 + 6*z + 6. Let a be m(x). Suppose -2*d = -5*c - 0*d + a, 4*d + 12 = 4*c. Solve c = r - 3*r - 2 for r.
-1
Let s(m) = 56*m**2 - 2*m + 1. Let z be s(1). Suppose z + 100 = 5*r. Let n = r + -22. Solve -n = 3*w - 0 for w.
-3
Suppose 3*j - 2*s = -6*s - 10, -20 = -4*j + 3*s. Solve 4 = -j*i + 6*i for i.
1
Suppose 4*s - s = -q + 16, -s - 2*q - 3 = 0. Let x = 9 - 6. Solve 2*w - x + s = 0 for w.
-2
Suppose 2*j - 8 = 0, 5*m - 2*j = -4*j + 28. Solve -m*v = -2 - 14 for v.
4
Let t(z) = -2*z**2 - 4*z + 7. Let c be t(-3). Solve -o + 2*o = c for o.
1
Suppose -q + 15 = 3*j - j, -4*q + j = -15. Let i(g) = -2*g + 30. Let d be i(9). Solve a = q*a - d for a.
3
Let b be 19/((-190)/8)*(-5)/2. Solve b*s - 7*s - 15 = 0 for s.
-3
Let i be -5*9/6*-2. Suppose 6*t - 8 = 4*t. Suppose -k + 4*x + 10 = -x, 5*k = t*x + 8. Solve k = -3*a + i for a.
5
Let t be ((-8)/5)/(2/(-5)). Suppose 11 = 5*g - t. Solve -g*y - 10 = 2*y for y.
-2
Suppose -2*b = -4*s - 20, -5*b + 37 = 3*s + 13. Solve 2*q = -2 - b for q.
-4
Suppose 0 = o + 4*w + 8, -31 = -4*o + 4*w + 17. Suppose -o = -4*n, 3*r - 5 = -4*n - 0. Let c be r/(-3) + 88/24. Solve 2*y - y - c = 0 for y.
4
Suppose 7*r - 8*r + 3 = 0. Solve r*z - 4 = 5*z for z.
-2
Suppose b - 24 = 5*i, 0 = 5*b - i + 5*i - 91. Let a = b - 6. Solve -a + 1 = 3*o for o.
-4
Let x(j) = j**2 + 9*j. Let l be x(-10). Let s be (-45)/l*(-4)/6. Solve -2*g + g = s for g.
-3
Let c(a) = 1. Let j(k) = k - 1. Let y(d) = -2*c(d) + j(d). Let p be y(6). Suppose 2*l - i = 7, l = -2*l + 2*i + 8. Solve -p*z = -5*z - l for z.
-3
Let b(h) = -h + 17. Suppose -6*g + 45 = -g. Let m be b(g). Solve 3*l - m = -2 for l.
2
Suppose 1 - 15 = 2*x. Let r = -3 - x. Solve -r = -d - 5 for d.
-1
Let k(h) = -5*h. Let m be k(-3). Let g = m + -10. Solve -r = -g - 0 for r.
5
Suppose -4*g + g = -3. Let c be 5 + (2 - (g + 0)). Solve 2*u = 4*u - c for u.
3
Suppose 3*g + a - 2 = 0, -5*g + a + 0*a - 2 = 0. Solve 2*m + 8 = -g for m.
-4
Let w be (-1)/(-4)*-10*-4. Solve 3*m - w = 5 for m.
5
Let u = 7 + -5. Suppose -m = u - 5. Suppose 1 = -4*x + 5. Solve -x - 2 = -m*c for c.
1
Let u(i) = -i**2 - 8*i - 3. Let d be u(-7). Let a = 0 + d. Solve a*g = 15 + 1 for g.
4
Suppose 2*k + 4 - 2 = 3*r, -5*k = -5*r. Solve 0*m = m + r for m.
-2
Suppose 59 = 20*y - 81. Solve 0 = 2*o - y*o for o.
0
Let s be (-3)/(-6) + 21/14. Solve 0*f + 2 = -s*f for f.
-1
Let z(t) = t**3 + 2*t**2 - 2*t - 1. Let g = 3 + -8. Let b be g/(-15)*(-7 + 1). Let x be z(b). Solve -2*q = x*q + 10 for q.
-2
Let r be (4/6)/(8/36). Solve -n - r*n - 8 = 0 for n.
-2
Let q(s) = s**2 + 3*s - 15. Let o be q(-6). Solve -6*a + 9 + o = 0 for a.
2
Let m = 5 + -3. Suppose 2*w = -2*h + 54, w + 33 = 3*h - m*h. Let d = 44 - h. Solve -5*u + 4 = d for u.
-2
Let m = 51 - 47. Solve -9*c = -m*c - 20 for c.
4
Let x be 12/7 + (-2)/(-7). Let p(z) = 5*z. Let u(q) = -4*q + 1. Let b(w) = 3*p(w) + 4*u(w). Let m be b(x). Solve -3*f = m*f for f.
0
Let j be (-1)/(10/(-6)) - 114/(-10). Solve -2*q - 4 = -j for q.
4
Let d = -37 - -43. Solve 4*c - d = 2*c for c.
3
Let q(x) = 14*x - 3. Let y be q(2). Suppose -2*l - y = -7*l. Suppose 5*b = 4*n + 16, -2*b = 3*n - l*b + 9. Solve -d - n = 3 for d.
-4
Suppose 3*c = -u - c - 6, -5*c - 18 = -4*u. Solve -3*b - 4 = -u*b for b.
-4
Let q = 7 - 3. Solve 4*a - 2*a = -q for a.
-2
Let g = 37 + -37. Solve g = -r - 0*r + 3 for r.
3
Let v(j) = 3*j - 14. Let u be v(7). Solve -2*w = -u*w + 15 for w.
3
Let r = -144 + 164. Solve r = l + 4*l for l.
4
Suppose -5*s + 3*l = -8, 60 = 5*s + 4*l + 24. Solve d = -s*d - 10 for d.
-2
Suppose 3*l + 9 = -3*a - 0*a, -3*l = -4*a - 26. Suppose 8*m = 7*m + 10. Solve -3*k + m = l*k for k.
2
Let w be (-8)/36 - (-80)/36. Solve 0 + w = 2*t for t.
1
Let u be 3/(9/(-15))*-1. Suppose -3 = -v + 2. Let f(a) = -2*a - 9. Let m be f(-7). Solve -m - u = v*j for j.
-2
Let h(g) = -g + 22. Let k be h(16). Solve l - k = -2 for l.
4
Let s be ((-24)/(-4))/((-4)/(-2)). Suppose 39 = 4*t - t + 3*m, -29 = -s*t - m. Let k be 1*5 - 17/17. Solve k*v = -0*v + t for v.
2
Let p be (-3)/((-6)/34) - 1. Suppose -r = 4*r - 10. Suppose -r*z - 5 = -4*h - 1, -2 = -h + z. Solve h = a - 5*a + p for a.
4
Let v be (-162)/(-15) + 2/10. Let y be 2/v - 155/(-55). Suppose 2*g + 5*z = y*g - 9, -3 = 3*z. Solve -f + 0*f = -g for f.
4
Let l = 41 + -41. Solve 3*n - 6 + l = 0 for n.
2
Suppose 2*u - 14 = -3*y + u, y = u + 2. Solve -3*f + y = -5 for f.
3
Let a be 2 + (3 - (2 + -9)). Solve -2*n + a = n for n.
4
Suppose -5*o + 4*o + 12 = 0. Let v be (9 + 2)/((-3)/6). Let y be 8/o - v/3. Solve 0 = -2*k - 2*k + y for k.
2
Let j be (4 - (3 - -1)) + 0. Solve j = -3*q - 2 - 1 for q.
-1
Let q be 5/2 - 3/6. Let m be 0*3*q/6. Solve m*b = 2*b - 8 for b.
4
Let f be (-2 - (-2 + -6))*-1. Let b = 45 - 23. Let g = b + f. Solve -o + g = 3*o for o.
4
Let z = -10 - -9. Suppose -4*t - 8 = -4*n, -3*t = 5*n + 62 - 16. Let w = z - t. Solve -w = -4*l + 2 for l.
2
Let l = -2 - -2. Let t be (-8)/6*(-5 + 2). Solve 