Solve u = -x*j + 4 - 0 for j.
1
Suppose -4*q - 2*l + 4*l + 6 = 0, 15 = 3*l. Suppose 10 = 3*h - 2*r, r + 5 = q*h - 0*h. Suppose -5*w = 2*d - 11, h*w = -d + 3*w. Solve 0*s = s + d for s.
-3
Let a be (-2 - 0 - -1)/(-1). Suppose 5*r - r + 44 = 0. Let d = a - r. Solve d = 2*v + v for v.
4
Suppose -7 = -2*o - 1. Solve 7*i - o*i = 0 for i.
0
Let p(k) = -2*k**3 - 11*k**2 + 3*k - 9. Let w be p(-6). Solve 0 = -b - 2*b - w for b.
-3
Let k(h) = -h**2 + 11*h - 12. Let l be k(10). Let q be (0 - (-2)/(-4))*l. Let i be -2*1 + q - -2. Solve 2*d - 1 = i for d.
1
Suppose -2*o = -4 - 6. Solve -p - o = -0*p for p.
-5
Suppose 3*f - 4*f + 39 = 0. Suppose -4*i = -5*v - f + 7, -3*i + 2*v + 17 = 0. Solve 4*l + 3 = i*l for l.
-3
Suppose -7*l = -6*l - 2. Solve -7*f = -l*f - 20 for f.
4
Suppose -22 = r + 3*m, r + 4*m - 88 = 5*r. Let g = 16 + r. Let a be 27/g*12/(-9). Solve a = 2*x + x for x.
2
Let r be 2/(-8) + (-162)/(-8). Suppose 3*k - 2*k + f = -3, 3*f + 9 = -2*k. Solve 5*n + 0*n + r = k for n.
-4
Let j be (-15)/(-90) - 74/12. Let p(g) = g**2 + 5*g. Let c be p(j). Solve -20 = c*n - 2*n for n.
-5
Suppose 3*w = -2*w + 25. Let p be (-5)/w + 2/2. Solve c = -p*c for c.
0
Suppose 2*a + 0*s - 2*s - 10 = 0, -5*s - 21 = -4*a. Suppose 1 - a = -m. Solve -m*o + 2*o + 2 = 0 for o.
2
Suppose -5*l = x - 10, -3*x = -0*l + 2*l + 9. Suppose l*g = 4*m + m + 15, 3*g + 3 = -m. Solve 2 = -2*s - g*s for s.
-1
Let t = 37 - 36. Solve -2*z + 1 = -t for z.
1
Suppose -2*q = -5*j - 0*q + 20, 0 = -2*j - 5*q - 21. Solve j*r - 11 + 3 = 0 for r.
4
Let i = 9 - 6. Let t(z) = z - 3. Let f be t(i). Solve n = -f*n for n.
0
Let z = 78 - 76. Solve -c + z = 7 for c.
-5
Let z be (-5)/20 - 19/4. Let c = -1 - z. Suppose -f = f - c. Solve -f*t = 2*t for t.
0
Suppose 0 - 18 = -9*x. Solve 2 + 6 = x*h for h.
4
Let o = 4 - 1. Let w be 945/42 + (-1)/2. Suppose -o*l + w = 4. Solve l = -2*z + 4*z for z.
3
Let m(c) = -c**3 - c**2 + 3*c + 2. Let z(a) = -a - 7. Let x be z(-5). Let v be m(x). Solve -3*k + 5*k + 4 = v for k.
-2
Let l(z) = -z**2 + 7*z + 12. Let u be l(8). Solve 5*i - u = i for i.
1
Let q be (2 - 3)/((-1)/(-4)). Let x be 84/35 - q/(-10). Solve m + x*m = 0 for m.
0
Let j = 17 - 13. Solve 3*s + 8 = -j for s.
-4
Suppose -c - c = 4*w - 30, -4*w = -c - 21. Let d be (-8)/3*9/(-6). Let h = w - d. Solve 0 - 2 = h*v for v.
-1
Let a(p) = p**2 + 7*p + 7. Let i(l) = -l**2 + 4*l + 7. Let q be i(6). Let t be a(q). Let h = 9 + t. Solve -f + h = 2*f for f.
2
Let n(h) = h**3 - h**2 + h - 1. Let k(i) = -2*i**3 - 3*i**2 + 4*i + 5. Let s(m) = -k(m) - n(m). Let c be s(-4). Solve 5*q - 36 = -c for q.
4
Let l be 62/22 - 8/(-44). Let k(g) = -g**2 - 7*g + 2. Let z be k(-7). Solve -l*w = z*w for w.
0
Suppose -5*c + 15 = -2*c. Solve t - 2*t = c for t.
-5
Suppose -3*a + a = x, 0 = -5*a + 5*x. Suppose a = 3*j + 2*j - 30. Solve 4 = 2*o + j for o.
-1
Suppose -9 + 54 = 3*b. Suppose 0*y - b = -5*y. Solve 0 = -y*g + g - 6 for g.
-3
Let g be (-537)/(-18) + 2/12. Suppose -u + g = 4*u. Suppose -4*j = -u - 10. Solve -3*p + 5 = -j for p.
3
Suppose -11 = 3*q + 5*v - 8, q = -5*v - 11. Solve 5*f + 14 = q for f.
-2
Suppose -d + 3 = 4. Let l = 3 - d. Solve g = l*g for g.
0
Let j(d) = 5*d**3 + d**2. Let g be j(1). Suppose 5*p - a = a + 9, -g = -5*p + 3*a. Solve -5*o + 8 = p for o.
1
Let y(p) = p - 12. Let f be y(10). Let w = f - -4. Let d(k) = -3*k - 2. Let i be d(-4). Solve -3*j - w*j + i = 0 for j.
2
Let h = -17 + 17. Suppose 0*b + 4*b = 0. Let f = h - b. Solve f = 4*r - 12 for r.
3
Suppose 2*h = 5*w - 3 + 8, -4*w = -12. Solve -2*v + h = -0*v for v.
5
Let p(y) = -2*y**3 + 15*y**2 + 10*y - 11. Let l be p(8). Solve j - l*j + 4 = 0 for j.
1
Suppose 2*x = 2*a, 3*a - 5 = 4*x - 8. Solve 0*u = -x*u for u.
0
Suppose -6*v + v = -25. Suppose 4*m = -5 + 93. Suppose -3*g + 2*s = -9, -7*g + 2*g + m = -s. Solve -g*c - 5 = v for c.
-2
Let y(s) = -s - 7. Let a be y(-8). Suppose -5*k - 2*q = -20, 4*k + 4*q = 5 - a. Let d be (-10)/(-1)*15/k. Solve 2*l = -3*l + d for l.
5
Let v(m) be the third derivative of m**6/120 + m**5/12 - m**4/4 + m**3/3 - 7*m**2. Let a be v(-6). Solve -a*o = -3*o - 2 for o.
-2
Suppose 0 = 5*m + v - 1, -3*m + 0*v + 2*v = 2. Solve m = -r - 2*r - 6 for r.
-2
Let l be 1/(64/22 - 3). Let d = l + 14. Solve 2*h + d = h for h.
-3
Let f(n) = n**3 + 22*n**2 + 19*n - 6. Let t be f(-21). Solve -t = 5*x - 11 for x.
-5
Suppose 5*m + 75 = 2*t, 2*t - 3 = m + 4. Let j be ((-8)/5)/(m/85). Solve -4 = -j*c + 4*c for c.
1
Suppose -10 = -5*i, 0 = -5*w + 2*i - 17 + 38. Solve w*s + 1 + 9 = 0 for s.
-2
Suppose 3*k - 4*k = -4. Suppose -k*c + 24 = -0*c. Solve -4*o + c*o - 10 = 0 for o.
5
Let a = -28 - -32. Solve 0 = -3*v + 2*v - a for v.
-4
Let v be -21 - -19 - 3/(-1). Solve 2*m - 3 - v = 0 for m.
2
Let q(n) = 2*n**3 - 1. Let l be q(-1). Let v = 10 + l. Solve 3*r - v*r = -4 for r.
1
Suppose 3*l - 3*f = -l + 19, 2*f = -3*l + 10. Solve l*y = 12 - 4 for y.
2
Let m be (4*-3)/((-7)/(21/6)). Solve -14 = 4*v + m for v.
-5
Suppose -3*q - 2*q = 0. Solve -6*w + w - 25 = q for w.
-5
Let y be (20/(-14))/(3/(-21)). Let c be y/3 - (-4)/(-12). Suppose -j + 12 = -4*r, r = -5*j - c*r + 36. Solve j = -5*s + 33 for s.
5
Let q(p) = -p**3 + 5*p**2 - 4*p - 2. Let h be q(4). Let u = h + 2. Solve z + 1 = -u*z for z.
-1
Suppose 0 = -3*i - a + 8, 0 = -2*i - 3*a + 4 + 6. Suppose 4 = 2*k + 4*o, 3*k - i - 3 = -5*o. Solve k*n = -n for n.
0
Let u(s) = 4*s - 4. Let v be u(2). Solve v*a = a - 15 for a.
-5
Let n = 4 - 3. Let t be 0/(-2)*(0 + n). Let b = t - -2. Solve -l + b = l for l.
1
Let l be (-1)/((1 - -2) + -2). Let b be l/(-3 - (-2 - 0)). Solve -f + b = -3 for f.
4
Suppose -6*i = 3*i - 18. Solve 0*d + 8 = -i*d for d.
-4
Suppose 0 = -4*q + 97 + 43. Suppose j + q = -m - 2*m, 4*m = 2*j - 60. Let g be (-1)/2 - m/2. Solve 0 = 4*d - 26 + g for d.
5
Let n = 30 - 9. Let s = -9 + n. Suppose 0 = 3*x + 2*h - 8, -2*h + 5*h - s = 3*x. Solve -2 = -x*j + j for j.
-2
Suppose -3*z + 2 = 8. Let b be 10/(z/(2 + -3)). Solve 5 = -b*x - 20 for x.
-5
Let z(s) = -3*s + 8. Suppose 0*b - 14 = -2*b. Let c be z(b). Let o = c - -21. Solve 2*u = -0*u - o for u.
-4
Suppose 12 = -2*h - 3*h - 2*r, 14 = -5*h - 4*r. Let f be h/(-7) + 74/(-14). Let l(p) = -p**3 - 5*p**2. Let j be l(f). Solve 5*v + 9 + 6 = j for v.
-3
Suppose 3*j = -0*j + 48. Suppose 0*b + 2*q - j = -b, -3*q + 49 = 4*b. Solve 0 = 5*c - b*c - 10 for c.
-2
Let a = -57 - -32. Let q = -15 - a. Solve -2*g = -4*g - q for g.
-5
Let b = 12 + -7. Suppose -j + a + 18 = 0, 8 + 70 = b*j - a. Let u be (-3 - -3) + 4/1. Solve -u*r + 9*r = -j for r.
-3
Let g = -389 - -209. Let n be (2 + -1)/((-9)/g). Solve 0 = 3*j + 2*j - n for j.
4
Let x(j) = j + 5. Let d be x(0). Let b(r) = -19*r + 59. Let q be b(3). Solve 5 = q*l - d for l.
5
Suppose -2 = 3*f - 2*l, 0 = -4*l + 2*l + 2. Solve f = -6*n + n + 25 for n.
5
Let r(z) = 0*z**3 + z**3 - 2 - 2*z**3 + 1 + 2*z**2. Let s be r(1). Let n = 19 - 7. Solve s = -5*w - n - 13 for w.
-5
Let d(g) = -g**2 - 2. Let t be d(-2). Let v(o) = o**2 - 9*o + 10. Let a be v(7). Let y be 0/t*(-2)/a. Solve 3*w - 5*w + 4 = y for w.
2
Suppose -18 = -4*b + 14. Solve 2*n - b = -0*n for n.
4
Suppose 0 = o - 5*w, -3*o + 5*o + 3*w - 26 = 0. Let x be 10*(o/4)/5. Let l be 1*1*(-3 + 3). Solve x*n - 9 - 1 = l for n.
2
Let t(m) = 8 - 5*m + m + 3*m + 4. Let b be t(10). Suppose -3*a = -5 + b. Solve -a - 3 = -i for i.
4
Suppose f - 6 + 3 = 0. Suppose 2 + 22 = f*l. Solve 3*i + l = -1 for i.
-3
Let s be (5 + -4)/((-2)/(-6)). Let z be (s/4)/((-4)/(-80)). Solve -2*v - 3*v = -z for v.
3
Let x be (-20)/(-30) + 1*13/3. Solve 0 = -x*y + y - 4 for y.
-1
Let o be (6/(-8))/(3/(-12)). Solve 0*q = o*q - 12 for q.
4
Suppose 0 = -4*o - 0*o. Suppose 0*p + p - 1 = o. Let q = 3 + p. Solve -q*d + d = 12 for d.
-4
Let o be 144/20 + 2/(-10). Suppose -o*h + 3*h = -24. Solve -h*c = -c + 10 for c.
-2
Let c = 21 + -6. Let q = -5 + c. Solve 3*a + 1 = q for a.
3
Let f(u) = -2*u**2 + 4*u + 4. Let v be f(2). Solve v*j + 1 = -7 for j.
-2
Suppose -2 = -i - 0. Let t be (-1 + i)/((-4)/(-4)). Solve 5*w + 14 = -t for w.
-3
Let v(a) = a**3 - 9*a**2 - a + 12. Suppose -17 - 4 = -q + 4*x, 0 = -4*q + 2*x + 42. Let r be v(q). Solve 3*s - r = -0*s for s.
1
Suppose 0 = -0*k - 4*k. Suppose k*b = b - 3. Solve -b = 5*w - 23 for w.
4
Let o(f) = 2*f**3 + 7*f**2 - 3. Suppose 0*r + 20 = 4*r. Let l(y) = y**3 + 4*y**2 - 1. Let a