9 + -6. Solve 14 = y*j - h for j.
5
Suppose 0 = 6*y - 5 - 19. Let l be 26/10 + 11/(110/y). Solve 0*a = l*a + 6 for a.
-2
Let z(g) = -g**3 + 13*g**2 - 13*g + 23. Let r be z(12). Solve r = -5*v - 4 for v.
-3
Let g(d) = -d**2 - 6*d - 3. Let l = 13 - 15. Let q be g(l). Solve w = q*w - 20 for w.
5
Let z be 35/4 + (-1)/(-4). Suppose -8*k = -z*k. Let o(x) = x**3 + 5*x**2 + 4*x + 3. Let f be o(-4). Solve v + f*v - 20 = k for v.
5
Let g = 98 - 49. Suppose 0 = 4*c - g + 13. Suppose -c = -4*x - 3*s, -x + 5*s = 1 + 14. Solve v + x = 3 for v.
3
Suppose -4*k - 2*q = -48, 2*q + 2*q = -k + 5. Suppose 4*v = k*v - 126. Solve -4*d + v = -2 for d.
4
Suppose 0 = -4*t + 8, w + 3*t = 32 - 21. Solve 9*u = w*u - 16 for u.
-4
Let b(s) = -s**3 + 38*s**2 - 40*s + 121. Let t be b(37). Solve 5 - t = -f for f.
5
Let s(x) = -2*x + 32. Let w be s(9). Let m = w + -10. Solve -q = m*q - 10 for q.
2
Let o = -7 + 7. Suppose 2*r - 5*r - 6 = o. Let u be (-2)/(-5)*(r + 12). Solve 0 = -u*n - 0 - 20 for n.
-5
Let s be (-136)/(-17) - (1 - 1). Let u(o) = -11*o**3 - 2*o**2 - 2*o - 1. Let p be u(-1). Let d = p - s. Solve 0*t = 2*t - d for t.
1
Let q(z) = z**3 - 13*z**2 - 31*z + 28. Let c be q(15). Solve 0 = c*w - 17*w - 20 for w.
-5
Suppose o = -8 + 12. Let j be (-34)/(-2 + 5 - o). Solve 5*t - j + 14 = 0 for t.
4
Let r = -89 + 134. Solve -11*f = -12 + r for f.
-3
Suppose 14*w - 81 = 17. Solve w = 5*x - 3 for x.
2
Let f(a) = -a. Let y be f(-2). Suppose 3 + 0 = m. Suppose m*p = -3 + 12. Solve -y*j + p = -3*j for j.
-3
Suppose 4*c = c - 12. Let k = -2 - c. Suppose -5 = k*y - 15. Solve y*q - 2 = 3*q for q.
1
Let o(h) = h**2 - 18. Let g be o(0). Let i be -5*5/(15/g). Suppose -i = -m - m. Solve 4*u = u + m for u.
5
Let n = -45 + 68. Let q = -22 + n. Solve q = p - 0*p for p.
1
Let w(r) be the third derivative of r**6/120 - r**5/10 + r**4/24 - r**3 + 2*r**2. Let l be w(6). Solve l = -d + 4*d + 9 for d.
-3
Suppose -3 - 79 = -41*x. Solve 5*j = -x - 13 for j.
-3
Suppose 99*u - 95*u = 0. Solve -v - 4*v = u for v.
0
Suppose -2*q + q + 3 = 0. Suppose -4 - 8 = -3*l, -4*w + q*l = 232. Let m be 33/w + (-13)/(-5). Solve 0 = -j - m*j - 6 for j.
-2
Suppose 0 = -2*c + 3*c + 20. Let b = c - -24. Suppose 4*a = -4*u + 2 + 6, 3*a + b*u = 5. Solve -a*t - 16 = t for t.
-4
Let d = 2824 - 2822. Solve -d*u - 29 = -19 for u.
-5
Let q(k) = k**3 - 3*k**2 - k + 3. Let a be q(3). Let w be 10/(-4)*264/(-110). Suppose 2 = 7*t - w*t. Solve -2*z + t + 6 = a for z.
4
Let z be 8/12*-3 + 8. Let d = z - 0. Suppose -2*v + d = -3*w, 8 = -2*w - 2*w. Solve v - 4 = -4*m for m.
1
Suppose -95 = -h - 79. Solve 0 = h*o - 8*o - 8 for o.
1
Let s be (-11 + 8)*-1*(-22)/6. Let q be s/121 - 24/(-22). Solve 0 = -4*b + 11 + q for b.
3
Let a = -141 + 151. Solve -11*b = -a*b - 2 for b.
2
Let k be (22/3)/(-5 - 128/(-24)). Suppose -2*c - 4*d + k = 0, -c - 5*d + 14 = -12. Solve -c = 3*x - 4 for x.
1
Let y(c) = 2*c - 41. Let w be y(23). Solve 4 = 3*l - w for l.
3
Suppose 4*v = 5*f + 55, -14 = -3*v - 5*f + 1. Let c = v - 10. Suppose 4*r + 3*n = 14, -4*r - 16 = -6*r + 3*n. Solve r*i + 0*i - 20 = c for i.
4
Let t be (1 + 0)/(-2) - 130/(-20). Let r(i) = i**3 - 6*i**2. Let u be r(t). Solve 6*j - 4*j = u for j.
0
Let v = 483 + -477. Suppose -6*a + 7*a - 2 = 0. Let d = -1 - -1. Solve v*p - a*p + 8 = d for p.
-2
Let o(b) = 5*b + 9. Let s(y) be the first derivative of 3*y**2/2 + 5*y - 1. Let x(k) = -4*o(k) + 7*s(k). Let z be x(3). Solve -z*q - 3*q = 0 for q.
0
Suppose -j + 77 = 4*b + 20, 4 = 4*j. Solve -b = -2*g - 24 for g.
-5
Suppose 17*l - 14*l = 84. Solve -7 + l = 7*g for g.
3
Suppose 23*j - 22*j + 401 = 4*z, -3*z = -5*j - 305. Solve -z + 80 = 4*f for f.
-5
Suppose -4*w + 115 = 35. Solve 27*f = 32*f + w for f.
-4
Suppose 4*n - 9 = s - 4*s, 0 = 3*n. Let x(m) be the third derivative of m**4/24 - m**3/6 - 3*m**2. Let g be x(4). Solve -g = -3*w + s for w.
2
Let w be 255/(-3)*(-16)/40. Solve w = -9*b + 43 for b.
1
Let y be (5 - 55)/(-2*(-2)/(-2)). Suppose -j = 3*j + 5*w + y, -5*j + 4*w = -20. Solve g + 3 + 2 = j for g.
-5
Suppose 3*f - 1 = 2. Let g = 1 + f. Suppose 11 = g*y - 4*v - 3, 5*v + 15 = 2*y. Solve y*h - h + 16 = 0 for h.
-4
Let r = -180 + 187. Solve 5*t = r*t + 6 for t.
-3
Suppose -11 = 34*a - 35*a. Solve -14 = j - a for j.
-3
Let v be 0*(-4)/60*-5. Solve -g + 2*g - 4 = v for g.
4
Let b(r) = -2*r - 20. Let a = -4 - 8. Let n be b(a). Suppose -7 = n*p - 5*m, 3*m = -3*p + m + 12. Solve p*w - 6 = -w for w.
2
Suppose 67 = 4*z + 3*n, 6*z - 4*z = 3*n + 47. Suppose 0*i - 5*b = 4*i, -z = -3*i + b. Solve 4*s = -s - i for s.
-1
Let p(n) = n**3 + 4*n**2 - 6*n - 1. Let l be p(-5). Suppose -4*y + l = -4*t, -4*y + 12 = 2*t - 4. Solve -w + 1 = y for w.
-2
Let j(o) = -o**3 + 2*o - 1. Let m be j(-2). Let k be (-6)/(-9)*m + 0. Let t(n) = -n**2 + 3*n + 2. Let d be t(k). Solve 0 = -d*c - 23 + 7 for c.
-4
Let o(y) = y - 10. Let n be o(8). Let v be 226/12 + n/(-12). Let r = v + -17. Solve r*a - a = 5 for a.
5
Let d(a) = -8*a**2 - a + 2. Let v(h) = -17*h**2 - 2*h + 4. Let y(p) = 5*d(p) - 3*v(p). Let i be y(1). Solve i = 4*l + l for l.
2
Let v be 0*(12 + -7)*1/(-5). Let p be 5/(-2)*12/(-15). Suppose -5*y - 5*n + 7 = -3, -3 = n. Solve v = -o - y + p for o.
-3
Suppose 0 = -f + 13. Solve -5*k + f - 3 = 0 for k.
2
Suppose 0 = -10*r + 359 + 431. Solve 0 = -89*o + r*o - 30 for o.
-3
Suppose -782*j = -f - 779*j + 38, j = -2*f + 34. Let d = -18 + 27. Solve d*q = 4*q + f for q.
4
Suppose 2*d + 4 = 0, i + 4*i = -d + 23. Suppose -i = g - 5*l, -42 = -3*g - 4*l - 0*l. Solve 0 = -y - 4*y + g for y.
2
Let j(z) be the third derivative of -z**4/6 + 11*z**3/6 + z**2. Let y(c) = 3*c - 11. Let x(a) = -4*j(a) - 5*y(a). Let h be x(-9). Solve 0 = -h*i - 7 - 3 for i.
-5
Let o(i) = -6*i**2 - 8*i - 3. Let t(f) = -f**2. Let u(v) = o(v) - 5*t(v). Let l be u(-7). Solve -1 + 9 = -l*s for s.
-2
Suppose 6*x - 29 = -11. Solve x*u = -0 - 6 for u.
-2
Suppose 0*g + 9 = g + 4*w, 5*g = -w + 102. Suppose -22*z - 5 = -3*x - 20*z, z - 5 = 0. Suppose -f + g = 5*p, 0 - x = 3*p + 5*f. Solve 4*s = -s - p for s.
-1
Let b be 1410/40*16/12. Solve -17 = -6*i - b for i.
-5
Suppose 4*m - 860 = -144. Solve -m*f - 2 = -181*f for f.
1
Let m = -27 + 29. Let n be (-3)/((-25)/14 + m/7). Solve n*t + 3*t = -20 for t.
-4
Suppose -4*l = a - 4*a + 4, -5*a + 5*l + 5 = 0. Suppose -5*b + 5*s + 0 + 20 = 0, -4*s + 2 = 2*b. Let c be (-6)/b - (1 - 6). Solve 3 = c*i - a for i.
1
Suppose -6*c + 912 = 258. Suppose -5*h = -3*a - c, 3*h - 3*a + 33 - 102 = 0. Solve 4*t = -t - h for t.
-4
Let u = -98 - -103. Solve 21*w - 16*w = u for w.
1
Suppose -i + 32 - 27 = 0. Suppose 3*s + i*y = -4, 3*y - 3 + 9 = 0. Solve 0 = -0*n + s*n for n.
0
Suppose 0*x = 4*k + x - 14, 4*x = 4*k - 4. Let m be (-2)/(-4)*(k + 1 - -4). Solve -h + m = 3 for h.
1
Let c(m) = m + 1. Let w be c(6). Let t = w - 4. Suppose 0 = l + 2*a - 7, 4*a + 1 = t*l - 0. Solve -7 = 5*p + l for p.
-2
Suppose 3*g - o - 32 = 0, -g - 11*o + 34 = -16*o. Solve 0 = -17*n + 14*n + g for n.
3
Suppose -4*v + 3*f = v - 60, v + 3*f = 30. Let r(i) = 3*i + 1 - i**2 + 10*i**3 - v*i**3 + 4*i**3. Let g be r(-3). Solve g = -0*z - 2*z for z.
-5
Suppose -110 = 5*o - 550. Let s be -1 + (o/14 - (-2)/(-7)). Solve 12 + 8 = -s*l for l.
-4
Let i be 1 - (0 - -2 - 5). Suppose -i*d + 5 = -d - g, 4*d + 3*g = 11. Let v be (-1)/2 + (-135)/(-10). Solve v = -5*l - d for l.
-3
Let s = 634 + -627. Solve 18 = -s*n + 4 for n.
-2
Let i be (-10)/((-2)/2) + (5 - 10). Solve 3*p - 4*p = i for p.
-5
Suppose -45 + 60 = -3*u, -62 = -4*l - 2*u. Solve 11*w - l + 7 = 0 for w.
1
Suppose -q - 4*q = -30. Suppose -4*v + 5*s + 7 = 0, q*v - s = 3*v + 8. Solve v*n + 4 = -5 for n.
-3
Suppose -26 = -4*p + s, 2*p - 7*p + 20 = 5*s. Solve 4*k + p = -2 for k.
-2
Let p(n) = n**3 - 13*n**2 - n + 14. Let s be p(13). Suppose 3*u + 3*v - 27 = 0, 3*v = -17*u + 21*u - 64. Solve -4*w - s = -u for w.
3
Suppose 3 = -3*z - 5*s, -z + 3*s + 19 = 6. Let b be z/(-3)*(-12)/8. Let g(p) = -4*p**2 - 86*p. Let d be g(0). Solve x - b*x = d for x.
0
Suppose 0 = -u + 17 + 10. Suppose -2*b + 27 - 77 = 0. Let q = b + u. Solve j = 7 - q for j.
5
Suppose 5*j - 180 = 2*d + 2*d, -4*j + 16 = 0. Let x = -37 - d. Solve x*b + 8 = b for b.
-4
Suppose -3*x = 2*x + i + 27, 5*i = -10. Let v be x - 102/(-18) - (-20)/6. Let f(a) = -a - 4. Let h be f(-5). Solve -v*p + 5 = h for p.
1
Let b(g) = g**