z, 18 = 3*j + s*z. Solve -f = j*f for f.
0
Let m = -2 + -1. Let g be -2 - (-6 + 2 + m). Suppose 0 = z - g. Solve -7 = z*l + 18 for l.
-5
Suppose 3*f = 5 + 1, 3*f = 3*m - 12. Suppose -3 - m = -3*i. Solve 4*w - 1 = i*w for w.
1
Let h = 11 + 7. Suppose -17 - h = -7*p. Solve 4 = -u + p*u for u.
1
Suppose -o + 21 = 2*o. Solve 20 = -2*w + o*w for w.
4
Suppose -4*z = 3*i - 5*z - 10, 0 = -5*i - z + 30. Suppose 0 = 3*c + s + 33, -i*c = s - 2*s + 63. Let v = -10 - c. Solve 3*l - 7 = v for l.
3
Let l(j) = -j + 11. Let z be l(9). Let m be (24/(-9) + z)*-3. Let d be (2*1)/(1/m). Solve d*v + 4 - 16 = 0 for v.
3
Let t be ((-4)/5)/(-1*1/10). Solve 2*r = 6*r + t for r.
-2
Suppose -h + 0 + 2 = 0. Let y(d) = d**2 + 6*d + 2. Let o be y(-8). Suppose -5*b + g + 6 = 0, g + 2*g - o = -3*b. Solve h + 0 = b*k for k.
1
Let k(v) = -3*v + 2*v - 3 - 2*v - v**2 + v**3. Let l be k(3). Solve -4*z = l - 2 for z.
-1
Let x(m) = m - 3. Let n be x(13). Solve g + 4*g - n = 0 for g.
2
Suppose -y - 3*h = -0 + 5, -4*h = 4*y + 4. Solve -y = s - 3 for s.
2
Let v(g) = 3*g**3 - 2*g**2 + 1. Let s(o) = -12*o**3 + 8*o**2 - o - 5. Let p(u) = 2*s(u) + 9*v(u). Let d be p(-1). Let b be d/5*15/(-6). Solve b*z = -2*z for z.
0
Suppose -2 + 12 = -2*n. Let z = n + 9. Suppose z = -5*s + 14. Solve 0*b = b + s for b.
-2
Let c be 119/5 + (-2)/(-10). Let f(z) = 2 + 0 - 4*z + 6*z + z**2. Let d be f(-3). Solve d*s - c = -9 for s.
3
Let d be (18/10)/(27/90). Solve 0 = 3*n - 0 - d for n.
2
Suppose -i = -0*i - 6. Suppose i = h + h. Solve -3 = -h*f + 3 for f.
2
Suppose 1 + 0 = m. Let w(r) be the second derivative of r**3/2 + 22*r. Let k be w(m). Solve j - 2 = k for j.
5
Let q be ((-32)/48)/(2/(-18)). Solve -h - h - q = 0 for h.
-3
Let c be 0/(-2) + (15 - 19) - -31. Solve -c = 5*y - 12 for y.
-3
Let g be (-56)/(-8)*12/14. Suppose 3*y - 8 = 4*h, -h + 4*h + g = 4*y. Solve y*b - 2*b = 10 for b.
-5
Let h(s) = s**3. Let g be h(0). Suppose 0*q + 33 = 4*q + 3*l, 5*l - 39 = -4*q. Solve g + q = 3*v for v.
2
Let v be ((-6)/(-4))/(1/2). Let s = 21 - -11. Let x = s + -20. Solve -v*b = -7*b - x for b.
-3
Suppose 0 = -2*g - g + 6. Suppose -3 = -g*n + 7. Solve -16 - 4 = -n*r for r.
4
Suppose -1 = -2*p - 5. Let l be 1*(-2 - p)/(-1). Suppose l*a - 100 = -4*a. Solve 5*r = -0*r + a for r.
5
Let y(w) = 2*w**3 - 2*w**2 + 2*w**3 - 3*w**3 - w. Let k be y(3). Suppose k = 3*m - 3. Solve -m*c + 0 = 6 for c.
-2
Let q(s) = -s**2 - 4*s - 1. Let u be q(-3). Suppose -3*r + h = -1, -u*r = -4*h + 6*h - 6. Let y be (4/(-5))/(r/(-5)). Solve y*o = -o for o.
0
Let y = 8 - 2. Solve 3 = -y*m + 7*m for m.
3
Let t(h) = -h**3 - 2*h**2 + 3*h + 3. Let y be t(-3). Suppose 0 = -4*z + 6*z - 16. Suppose -d = y*d + f - z, -3*d - 7 = 4*f. Solve -o = d*o - 20 for o.
5
Let p = 20 + -12. Let s(z) = -z**2 - z + 6. Let k be s(0). Let d = p - k. Solve -c = -d*c for c.
0
Suppose -62*d = -63*d + 3. Solve -d = 4*p - p for p.
-1
Suppose 0 = -3*i - 17 + 86. Let x = 23 - i. Solve -2*c + 5*c - 3 = x for c.
1
Let y be ((-40)/6)/(7/(-21)). Solve y = -5*j - 0 for j.
-4
Suppose -2*y - 4 = 6. Suppose -3*w = -0*w + 24. Let h = y - w. Solve -h*q = 9 + 6 for q.
-5
Suppose q = 2*v + 18, -v + 4*q - 32 = 3*v. Let a = v + 12. Solve -5*d = -a*d for d.
0
Suppose a = -2*h - 5, 3*a - 12 = 4*h + 3. Suppose i - 2*i = f - a, 3*f = i - 13. Suppose -p - i*p + 20 = 0. Solve -p*v = -v for v.
0
Let n(l) = l**3 - l**2 - 1. Let p be n(1). Let w be p*0/(3/(-3)). Solve -2*o - 2 = -w*o for o.
-1
Let v be 13/(-3) - 8/12. Let a be (v/(10/(-28)))/2. Solve 4*q + a + 5 = 0 for q.
-3
Suppose 5 = b, 6 = 4*m - 3*b + b. Suppose -6*u = -2*u. Suppose u = m*l + 2 - 14. Solve -t + 4 = -l*t for t.
-2
Let v(x) be the first derivative of -1 + 4*x**2 + 8*x + 2*x**3 - 1/4*x**4. Let p be v(7). Solve 6*u = u + p for u.
3
Let i(u) = u**2 - 5*u + 6. Let c be i(2). Solve -x + c*x - 2 = 0 for x.
-2
Suppose 4*t + h - 6*h - 50 = 0, t + h - 17 = 0. Let q = -5 + t. Solve j = 6*j + q for j.
-2
Let t(j) = -11*j + 11. Let k(y) = -6*y + 6. Let o(f) = 5*k(f) - 3*t(f). Let x be o(3). Let d be 2/((8/(-3))/(-4)). Solve -3*h - d = x for h.
-3
Suppose -j - 24 = -m + 2*j, -4*j = 4*m - 48. Solve -2*s = s + m for s.
-5
Let d = -2 - -2. Suppose -2*v + 3*v = -5*n + 35, d = -v - 5. Let t(r) = -2*r. Let f be t(-2). Solve -4*i - f = n for i.
-3
Let f be 14/2 - 4/2. Suppose -l + 9 = -w - f, 3*w - 38 = -5*l. Suppose -2*t = -4*t + l. Solve -i + 0 = -t for i.
5
Suppose -15 = -10*p + 7*p. Solve -3*k + p = 2 for k.
1
Suppose 0 = 5*l + 5. Let f(i) = 4*i**2 + i. Let u be f(l). Solve u*n + 14 + 1 = 0 for n.
-5
Let l = 2 + 0. Suppose 6 = 3*z + l*f - f, 0 = f. Solve i + 3 = z*i for i.
3
Suppose 17 = -3*w - 19. Let h be 3/w + (-50)/(-8). Suppose 9 = 4*x - a, a - h = -x - 5. Solve x*b + 3 - 1 = 0 for b.
-1
Let i be 39/(-2)*8/(-12). Suppose 8*n - 17 = -1. Solve 3*r + n = -i for r.
-5
Let m(k) be the first derivative of -k**4/4 - 2*k**3 - k**2/2 - 8*k + 1. Let a be m(-6). Let z be a/3 + 11/3. Solve -z*q - 2*q - 20 = 0 for q.
-4
Let c be (66/(-15))/(1/(-5)). Suppose 4*q = 3*q + 46. Let u = q - c. Solve -4*t + u - 4 = 0 for t.
5
Let a(u) = 25*u**3 + 2*u - 1. Let p be a(2). Let c be (-1)/(-5) - p/(-35). Solve 0 = 2*d + 16 - c for d.
-5
Let d be 0/(-1) - (-1 - 1). Let u(l) = -l - 2. Let r be u(-7). Suppose 2*c + r*q + 20 = 0, -3*c + 3*q = c - 12. Solve c*k = -d*k + 10 for k.
5
Let a(w) = -w**3 - 8*w**2 - 3*w + 12. Let n be a(-8). Solve -5*f + n = 11 for f.
5
Let r = -9 + 21. Solve f - r = -3*f for f.
3
Let g(c) = c**2 + 13*c - 63. Let z be g(-17). Suppose -5*o = -0*x - 3*x - 110, -4*o = -5*x - 75. Let a = 3 + -3. Solve -z*b + 0 + o = a for b.
5
Let q = -20 + 22. Suppose -2*x + 40 = q*s + x, x = -4*s + 60. Solve -s = -3*m + 1 for m.
5
Suppose -5*w + 9 + 41 = 0. Let d = -5 - -7. Suppose 3*j + 5*c + 5 = 0, 0*j - 2*c + 2 = d*j. Solve -j*a + 10 = -w*a for a.
-2
Let a(j) = -j**3 + j**2 - 2*j - 11. Let n be a(-2). Solve 3*m - n - 1 = 0 for m.
2
Let l be ((-96)/(-72))/((-2)/(-3)). Solve -l*j = j - 12 for j.
4
Suppose -20 = -8*f - 4. Let l be (7 + -1)/(3/2). Suppose l*m + 0*m = 12. Solve -25 = -m*k - f*k for k.
5
Suppose 25 = 5*q - 2*l, -3*q - 3*l + 15 = -6*l. Suppose q*g - 12 = -2. Suppose 2*w - g = 4. Solve 0 = w*o - o + 8 for o.
-4
Suppose 3 = j, 0 = 2*u + u - 5*j + 15. Solve -l + 0*l - 1 = u for l.
-1
Suppose 0*n + 3*n - 48 = 0. Suppose -b - g = 5, -n = -3*b + 3*g - 1. Suppose 3*l = -3*p + 12, 3*l + 3*p + p = 14. Solve 0 = -b*w + l*w - 2 for w.
1
Suppose 0 = 2*a - 3*p + 3, a + 5*p + 0*p - 18 = 0. Solve -1 = -a*m + 5 for m.
2
Suppose 2 + 4 = -k. Suppose -5*j + 0*h - 20 = -5*h, 4*h = -5*j - 11. Let t be ((-9)/k)/j*-12. Solve t*y - 2*y = 0 for y.
0
Let m = -41 + 24. Let r = -8 - m. Solve 3 = 3*z - r for z.
4
Let w = 84 - 81. Solve 1 = 2*p + w for p.
-1
Let q(v) = -6*v - 6. Let j(w) = -5*w - 6. Let m(x) = -7*j(x) + 6*q(x). Let a be m(4). Solve -3*f - a*f = 0 for f.
0
Let k(m) = -2*m - 3. Let q be k(3). Let o be 0/((-3)/q*3). Suppose o = -2*x - 5*u + 12, 4*x - 6 = 3*x + 5*u. Solve -3*g = -x - 9 for g.
5
Let h be (0*2/(-8))/(-5). Solve 0*w - 2*w + 10 = h for w.
5
Suppose 2*y = -y. Suppose -4*k + 2*w - 7*w = -18, 0 = 4*k - 2*w - 4. Solve y*g + 4 = -k*g for g.
-2
Suppose 0 = -2*j - 6, -s - 1 + 4 = 2*j. Solve -s*w + 10*w = -4 for w.
-4
Suppose 13*v - 80 = 9*v. Solve 4*g = -g + v for g.
4
Suppose 4*u - 3*t = 5, -4*u - 3*t + 11 = -0*t. Suppose 0 = -0*p + 2*p. Solve p = -0*i - u*i for i.
0
Let j be (3/(-3) - -7)/(-1). Let d be ((-20)/(-6))/((-4)/j). Solve 2 - 12 = -d*v for v.
2
Suppose 4*y = -53 + 173. Suppose 6*b = b - y. Let c = b - -6. Solve 2*m = -c + 4 for m.
2
Let s(a) = 2*a + 21. Let y be s(0). Let n = -19 + y. Solve -4*o + 5*o = n for o.
2
Let z be ((-9)/3)/(1 - 0). Let u be (-2)/1 + (-6)/z. Solve -2*i + 10 = -u*i for i.
5
Let d(t) = t**2 + 1. Let h be d(1). Let y = h - 0. Let i(q) = q**3 + 12*q**2 + 10*q - 10. Let w be i(-11). Solve w = -y*a - 5 for a.
-3
Suppose 2*t = -2*x + 4*t + 26, -4*t = 20. Solve -7*k - x = -9*k for k.
4
Let l = -90 - -92. Solve 4 - 14 = l*u for u.
-5
Suppose -3*h = -2*h - 3. Solve -t + h*t = -4 for t.
-2
Suppose -2*x - 4 = -8. Solve 0 = -x*p - 7 + 17 for p.
5
Let s = -1 + 6. Suppose 2*p = -0*m - 3*m, s*m + 5*p = 0. Solve -2*u + m*u - 2 = 0 for u.
-1
Let m be 1*(-3)/(2 + (-9)/3). Let k = 2 - -1. Solve -2*w = m + k for w.
-3
Let a be (-4)/((-12)/9