*o + 2, w = 5*f - 0*f + 5*o - 10 for f.
1
Let u = -16 - -18. Suppose u*s = s. Suppose -w = 3*w - 8. Solve j + 4*n + 2 = -11, n + w = s for j.
-5
Suppose t - 3*y = 6, -2*t + t + 6 = y. Suppose 0 = 3*w - 0*w - 6. Solve w*r + t = 3*s, s + 3*r - 4 = -s for s.
2
Suppose -p = -3*a + 20, 0*p = p + 2. Suppose 2*d + 0*d = a. Solve g = -2*o + d*g - 12, -3*o = -2*g + 16 for o.
-4
Let m be 3 + (-1)/(2 - 3). Solve -3*r - 5*w = r - 1, 9 = -m*r + 5*w for r.
-1
Let a(o) be the second derivative of -2*o - 1/12*o**4 + 2*o**2 + 1/2*o**3 + 0. Let w be a(4). Solve w = -5*y - 3*n + 2, -5*n - 2 = -5*y - 32 for y.
-2
Let a be (14 - -1)*7/(-21). Let c = a - -26. Solve -5*k - 5*s - c = -2*k, 2*s = -4*k - 14 for k.
-2
Let x be (-4)/(-3 + 6/3). Suppose -l - x*l = 0. Solve -3*z - 9 = -6*z, -3*y - 4*z + 21 = l for y.
3
Let f = 68 + -66. Solve -f*g = -3*c + 11, 5*g = -c + 5*c - 10 for c.
5
Let p be 1/5 + (-45)/(-25). Solve -3*f = -p*l + 5, 2*f - 3*l - 15 = 2*l for f.
-5
Let z be (1 - (-6)/(-4))*0. Suppose 2*g = -g + 12. Suppose r - 11 = -3*a, 3*a + 77 = 4*r + g*a. Solve 6*t - 2*t - r = 5*j, z = j for t.
5
Let m(u) = -u**3 + 12*u**2 - 12*u + 14. Let r be m(11). Suppose -2*l + r = -7. Solve 20 = -4*g, 0 = -4*j + l*g + 3 + 18 for j.
-1
Let p = -12 - -17. Suppose -2*v - 5*k = -3*v + 10, -4*k - 8 = -p*v. Let u = 3 + v. Solve 4*n = 0, -u*z - 4*n - 7 = -1 for z.
-2
Suppose l - 5*l + 16 = 0. Let q = -6 + 2. Let r be 18/q*2/(-3). Solve r*h - l*p = -0*p + 21, 0 = 2*h + p - 3 for h.
3
Let k be (2/(-3))/((-2)/3). Let m = k - -1. Suppose -5*l - 18 = -4*c, 2 = -c - 0*l - m*l. Solve -4*r = c*g + 22, 10 + 0 = -2*r for g.
-1
Suppose 5*t + 71 = -9. Let c = -16 - t. Solve -5*g = 3*y - 30, -3*g - 2*y = -c*y - 19 for g.
3
Let l be 18 + (-4)/1 + 2. Let k be 2/(-6)*(-8 - l). Solve -2*a + k = -0*i - 3*i, 5*i + 13 = 3*a for i.
-2
Let z(r) = 4*r**2 - 3*r + 4. Let v be z(2). Solve 0 = -4*l - 3*k + 10, 2*k = -2*l + 5*k + v for l.
4
Let m(u) = -u + 1. Let c be m(-3). Let l be ((-8)/7)/((-8)/28). Solve l*q = 4*i - 0*i + 20, c*q = 3*i + 15 for i.
-5
Suppose -h + 16 = 4*p, 5*p - 3*h + 1 = 4. Solve 0 = p*t + 6, 5*s + 4*t = 5*t - 13 for s.
-3
Suppose -4*u - 3 = -5*u. Suppose 18 = u*d + 4*y - 3*y, -2*y = -6. Solve -3*s - 30 = 3*z - 12, s = d*z + 12 for s.
-3
Let z(c) = -c**3 - 9*c**2 + 14. Let n be z(-9). Solve -1 + 3 = 5*g + 2*o, 0 = -5*g + o + n for g.
2
Let m be (-69)/21 - (-8)/28. Let y(x) = -6*x - 3. Let t be y(m). Solve 3*b - 3 = 3*i + 18, -5*b + t = 5*i for i.
-2
Let x be (-5)/(-3) - (-4)/12. Solve p = -2*h - 6, -5*h + 2 = -4*h - x*p for h.
-2
Suppose 0 = 2*r + 2*r - 12. Let j(g) = 4*g**2 - g - 1. Let m be j(-1). Suppose 0 = -c + 1 - 5, -11 = -5*h - c. Solve -h*w - 5*p = -24, m*w + p - 6 = r*w for w.
3
Suppose 0 = -6*a + 9*a + 18. Let s = a + 9. Solve -p - 1 = -r + 1, p - s = -4*r for r.
1
Let k be ((-3)/(-9))/(2/6). Let b be (4 + 0 - -1)/k. Solve 5*p + 3*n - 21 = 6, p - 23 = -b*n for p.
3
Suppose 3 = 3*d - 6. Suppose 2*o - d = 3. Suppose 0 = -4*u + 16, -o*j - 5*u + 7 = -7*u. Solve -q - 8 = 2*q - 4*r, j*r + 17 = -3*q for q.
-4
Let i(r) = -r**2 + r + 22. Let c be i(5). Solve -c*v + 2 - 6 = 2*l, 0 = 3*v + 2*l + 5 for v.
-1
Suppose 300 = -5*l + l. Suppose -29 = -4*p - 221. Let o = p - l. Solve 3*r = -4*q - 23, -5*r = 3*q - 2*q + o for r.
-5
Let j(r) = r**3 + 3*r**2 - r + 2. Let x = -7 - -4. Let s be j(x). Solve 3*h + 32 = -4*c, h + 3*h + s*c = -41 for h.
-4
Let q = 99 + -65. Solve i - 5*p - 27 = 0, q - 1 = 4*i - 5*p for i.
2
Suppose -3*g + 2*g - 5*v = -9, g = v + 3. Let s(j) = j**3 + 7*j**2 - j - 4. Let i be s(-7). Solve -g*y = -a + i, -4*y = 2*a + y - 6 for a.
3
Suppose -10*p + 5 = -5*p. Solve 4*w = 5*x - 7, 0 = 5*w + 5*x - 24 - p for w.
2
Suppose -3*m = -6 - 3. Solve 4*h = -4*t + 16, -t = h + m*t - 19 for h.
-1
Let r(a) = -4*a - 3. Let n(t) = -7*t - 7. Let h(d) = -3*n(d) + 5*r(d). Let k be h(-4). Solve 4*g + k*o = -16, -3*g + 0*o - 13 = 2*o for g.
-3
Let m be 12/(-4)*(-26)/6. Suppose 2*o + 2*o = 20. Suppose m = o*s - 7. Solve 3*w + 2*i = -6, -4*w = -2*w + s*i + 4 for w.
-2
Suppose -6*l = -9*l + 6. Let c be 6*(21/9 - 2). Solve -y - y + b - c = 0, 2*y = -2*b - l for y.
-1
Suppose 4*f = 2*f - 4*o - 8, 3*o = -4*f + 4. Suppose -2*b = 4*i - 20, 12 = f*i - 8. Suppose t = -b*t. Solve 5*s = -v - t*v + 18, -20 = 2*v - 4*s for v.
-2
Let b(w) = -w - 3. Let z be b(-10). Suppose -2*x - x = c - 18, -2*x = -c - z. Solve -5 = -3*q + q - c*a, 0 = 2*q - 3*a - 11 for q.
4
Suppose 4*b = 14 + 2. Let h be (-54)/(-10) - (-4)/(-10). Solve -13 = 4*p - h*k, b*p - 5*k = -k - 8 for p.
3
Let d = -20 - -29. Suppose 4*g = -7 - d. Let u be ((-10)/3)/(g/6). Solve -4*l = -3*l + 2*s + 7, 4*s + 7 = u*l for l.
-1
Let j = -7 - -5. Let f = j - -4. Suppose 0 = 3*r - 3*q + 2 - 11, -4*r + 5*q = -12. Solve 0 = 5*a - 5*d + 5, -19 = r*a - d + f*d for a.
-5
Let a = -9 - -14. Solve 3*u - 2*c = -9, 4 + a = -3*u + 4*c for u.
-3
Let v be -4 - ((-2)/(-7) - (-116)/(-14)). Solve 2*c - 7*c = -20, 0 = -v*m + c for m.
1
Suppose 2*z + 7 = 27. Let n = 14 - z. Solve 0 = -n*g - 4*w - 24, 0*g + 3*g + 2 = w for g.
-2
Let s(l) = -l**3 - 6*l**2 + 5*l - 10. Let c be s(-7). Solve 0 = -4*u - 4*a, -c*u + 2*a - 18 = -6 for u.
-2
Suppose o + 5 = -10. Let i = o + 19. Solve 0 = -5*j + 4*h - 5, 5*j - 5*h + 1 + i = 0 for j.
-1
Let q = 2 + 0. Let d be q/(-5) + (-446)/10. Let t = -25 - d. Solve 3*a - 4 = 5*m, -5*a + t = 3*m + 2*m for a.
3
Suppose 4*u + 0 = -q + 6, 4*q = 3*u - 14. Let h(j) = j**2 + 1. Let o be h(u). Solve 4*k + 7 = -5*g, 4*g - 2*g = o*k + 17 for g.
1
Let x = -11 + 8. Let p = x + 8. Let t be -1*(-1 + (-2)/(-2)). Solve 0 = -p*s - 7 + 2, t = -w + 5*s + 5 for w.
0
Suppose 12 = -2*q - 0*b - 5*b, 2*b = -5*q + 12. Solve -4*f = 2*d - 6*d + q, 3*d - 2*f = 4 for d.
2
Suppose -5*p = -43 - 22. Solve -4*f = l - 17, 4*l + 6*f - f = p for l.
-3
Let u(q) = 0 + q**2 - 8 - 4 - 6*q + 2. Let j be u(8). Suppose 0*w = 3*w - j. Solve n + 0*n - k - 5 = 0, w*n + 2*k + 6 = 0 for n.
1
Suppose 2*i = 2*l - 16 - 0, -4*i - 24 = -2*l. Let t be 48/l + (-4)/2. Let p = t - 5. Solve -6 = 5*d + 4, -p*k - d = -3 for k.
1
Let d = 30 + -16. Suppose 4*l - 85 = -l. Solve -d = -2*t + 4*x, -3*t + 2*x + l = -2*x for t.
3
Let p(n) = -5*n - 17. Let u be p(-4). Solve 5*k = -5*m - 15, 3*m - 2*k - u*k - 7 = 0 for m.
-1
Suppose -2*y + 0*y = -124. Suppose 0 = 5*a - 38 - y. Solve 2*r - a = -3*z, -4*z - r + 28 = 2*r for z.
4
Suppose d - 3 - 10 = 0. Let t(w) = -w - 5. Let x be t(-4). Let i be d - x*2/(-2). Solve -2*n + 5*n = 5*s - 37, 4*s = -2*n + i for s.
5
Suppose -2*l + 3*g = -19, 4*g = 9*g + 15. Solve 4*z - 5*z - l*b - 15 = 0, -5*b + 10 = -4*z for z.
-5
Suppose 9*f - 40 = 7*f. Let h be (f/2)/(5 + -3). Solve 0 = 3*z - 6*z - 2*q - h, 3*z + 7 = -q for z.
-3
Suppose -4*j = -2*j - 10. Solve 0*k - 4*k = j*w + 7, 4*k + 3*w = -1 for k.
2
Let w(v) = -2*v - 1. Let i be w(-2). Suppose 4*t + z - 46 = 0, -i*t - 34 = -6*t - z. Solve 0 - t = 3*m, c - 8 = m for c.
4
Let l(g) = g**3 - 6*g**2 - 7*g - 4. Let v be l(7). Let q be (-6)/(-9)*(-114)/v. Solve -4*d + q = -2*a - d, -a + 5*d = 27 for a.
-2
Let v(o) = 3*o - 2. Let i be v(2). Suppose 29 = i*y + 9. Solve 0 = -4*g - 5*f + y, -2*f + 1 = 7 for g.
5
Let w(z) = z + 12. Let u be w(-7). Solve h - u*q - 38 = -11, 0 = -2*h - 4*q - 16 for h.
2
Let p be -5*1/(20/8). Let v(g) = g**2 + 3*g - 6. Let y be v(-5). Let q = y + p. Solve -q*z - 3*z = 20, t = 5*z + 21 for t.
1
Let p be (1/(-2))/((-3)/36*2). Solve -v - v + 18 = 4*j, -v = -p*j + 11 for j.
4
Suppose -2*y = -2*p - 2, y = -y + p + 5. Solve -4 - 3 = j + 3*l, y*j + 5*l = -14 for j.
-1
Let d be -3 - (20/6)/((-32)/48). Let k(v) = v**3 + 5*v**2 - 7*v - 2. Let r be k(-6). Solve r*f = -f + d*o - 3, 4*f - o + 3 = 0 for f.
-1
Suppose 2*j = 7*j - 10. Let t be (j + -12 + 1)*-3. Let a = t - 5. Solve a = 5*y - l, -3*y + 8 = -l + 3*l for y.
4
Suppose 0 = 6*q - 2*q - 4*o - 16, 17 = 4*q - 5*o. Suppose -18 = -h - 2*h + 3*k, -5*h - 2*k = -51. Solve 5*s + 5*u = -20, 5*s + q*u + h = -7 for s.
-2
Let y(w) = -w - 1. Let p be y(-3). Suppose 0 = -p*t - 2*t. Solve t*l + 3*s = -3*l, -3*l + 1 = 2*s for l.
1
Suppose 0 = -n - 3*n + 20. Let s(d) = -4*d - 1. Let q be s(-1). Solve 0 = n*u - 3*a - 12, q*u = -4*a + 2*a - 8 for u.
0
Let g = 3 + 1. Let f = g + 0. Suppose -5*r - v + 11 = -2, 0 = -f*v + 12. Solve 7 = -5*o + r*p - 3*p, 3*p = -2*o + 5 for o.
-2
Let c b