 + j*i - 4 = 0 for i.
2
Suppose -2*p = -4*p + 3*l + 55, 4*l = -p. Solve 0 = 5*f - f - p for f.
5
Suppose -4*m = p - 8 - 1, p + 5*m = 10. Let g = 5 - p. Solve g*q = 2*q - 10 for q.
5
Suppose 0 = -5*b - 2*j + 20, 0 = b + 2*j - 4 - 0. Suppose 7*m - 33 = 2*m - b*z, -4*z + 13 = m. Solve 3*x = -1 - m for x.
-2
Suppose -4*u + 5*w + 27 = 0, w - 4*w - 9 = 0. Solve -u*d + 12 = -0*d for d.
4
Suppose -4*l = 3*r - 0*r - 181, 0 = -2*r + 3*l + 149. Suppose 5*x = r - 17. Suppose x = -0*a + 5*a. Solve 3*c = a*c - 5 for c.
-5
Let g(f) be the first derivative of f**4/4 + 2*f**3 + 3*f**2/2 - 5*f - 1. Let r be g(-5). Suppose -32 - 18 = -r*z. Solve -x = x + z for x.
-5
Let i = -4 - 0. Let w be 9/6*i/(-3). Solve 6 = -4*h - w for h.
-2
Let d = 23 + -15. Let f(r) = 5*r + 6. Let k(j) = -6*j - 6. Let t(x) = -7*f(x) - 6*k(x). Let q be t(d). Solve 6 = 4*y - q for y.
2
Let n = 7 - 5. Suppose 5*w - 2*o - 59 = -6, 3*o - 33 = -5*w. Suppose -5*l = j + 8, w = -4*l + 1. Solve -j = -n*g - 0 for g.
1
Let g(y) = -y**2 + 5*y - 4. Let l(j) = -j**2 + 6*j + 4. Let b be l(6). Let r be g(b). Solve r = 3*c - 0*c for c.
0
Suppose -7 = -5*b + 3*d, -4*b + 13 = 6*d - d. Solve -b*n = -9 + 1 for n.
4
Let v(q) = q - 3. Let o be v(8). Let l be -2*(1 - (-3)/(-2)). Solve o*g + l = 21 for g.
4
Suppose 3*j + 24 = 7*j. Let y = 8 - j. Let i(b) = b**2 - b + 1. Let f be i(y). Solve 1 = -f*d + 4*d for d.
1
Suppose 0 = 5*s - 3*n - 81 - 39, n + 5 = 0. Suppose 5*p + 3*f = 13, 5*p = -f - 0*f + s. Solve -16 + 6 = p*c for c.
-2
Suppose 4*o = -3*i + 49, 4*i - 5*i = 3*o - 13. Let n = 26 - i. Solve 18 = 5*z - n for z.
5
Suppose 0 = 5*v - 3*v - 12. Suppose 0*w = 3*w - v. Solve 0 = w*p - 1 + 9 for p.
-4
Let x = -2 + 4. Suppose 2*m + 11 = 5*v, 6 = -x*m - 2*v + 16. Let c be -1 - -3 - (-2)/m. Solve 6*l + 9 = c*l for l.
-3
Suppose 0 = 2*v + 2*v - 2*i - 52, -53 = -3*v - 2*i. Suppose 3*d = -2*d + v. Suppose 0 = -2*b - d*c, -b + 5*c = b. Solve -4*r - 8 + 0 = b for r.
-2
Suppose -w + 4 - 1 = 0. Let m be 11 - (-27 + 29)*(-3)/(-1). Solve m*q - 7 = w for q.
2
Let u = 2 + -3. Let j be u - -2*2/4. Suppose 2*v + 5*o = 28, -3*o - 8 = -5*v - j*v. Solve 0 + v = 2*q for q.
2
Let z be (-8)/(-24) + (-8)/(-3). Let q(v) = v**3 - 2*v**2 - 3*v + 4. Let t be q(z). Solve -2*h + t = 2*h for h.
1
Let c(n) = -n**2 + 3*n - 2. Let k be c(2). Solve -4*f + 4 = -k for f.
1
Let g(u) = u + 2. Let l be g(-6). Let v(i) = i**2 + 2*i - 1. Let d be v(l). Let t = 9 + d. Solve -5*c + c = t for c.
-4
Suppose -5*m + 4*m = 2. Let z be (-2 - m)*3/6. Solve z*w + 15 = -5*w for w.
-3
Suppose 4*l - 10 = -5*i, 3*l - 4*l = 0. Solve i*q - 3 = q for q.
3
Let u be (-2 - -1) + 30/3. Let b = 27 - u. Suppose 0*f + b = 5*j + f, 0 = -2*j + 3*f + 14. Solve c - 2*c = j for c.
-4
Let c be -1 + (26/10 - (-6)/(-10)). Solve -3*j = c - 4 for j.
1
Let x(u) = u**3 + 5*u**2 - 5. Let w be x(-5). Let f = 1 + w. Let h = 4 + f. Solve j + 0*j + 3 = h for j.
-3
Let p be (-3)/((-3)/(-2)) - (3 - 10). Solve -p*t + t = -20 for t.
5
Let a be (2/3*-3)/(-2). Let m be (-1)/(-2) + 79/2. Suppose 4*f - 1 = 2*f + u, 0 = -5*f - 5*u + m. Solve a = f*x + 10 for x.
-3
Let r(n) = -n**2 - 11*n - 24. Let j be r(-7). Solve -g + 9 = -j*g for g.
-3
Let w(v) = 3*v**3 - 2*v**2 + 2*v - 1. Let d be w(1). Let i(a) = a + 5. Let s be i(0). Suppose -s = -4*t + 3. Solve -t*f - 4 = d for f.
-3
Suppose 12 = 4*x - s, -2*s - 6 = -3*x + 8. Solve -2*h + 4 = -x for h.
3
Let b(z) = z**3 - 3*z**2 + z - 1. Let n be b(3). Solve 7 + 3 = -n*q for q.
-5
Let t(r) be the first derivative of r**2 + 14*r + 4. Let n be t(-6). Solve 4*s - n = 6 for s.
2
Let a(c) = -2*c - 6. Let b be a(5). Let i be b + 5 - 2/(-1). Let z = 17 + i. Solve -8 - z = 4*j for j.
-4
Let b(l) = l**2 + 6*l + 3. Let k be b(-6). Suppose 13*j + 6*j = 152. Solve -k*d - j = -d for d.
-4
Let c be (0 - 0)/(9 - 10). Solve c = n + 4*n - 15 for n.
3
Let s be (-265)/(-55) + 2/11. Solve 4*h + s = 1 for h.
-1
Let z be 2/1 - (-4 - 2). Let f be -1*(1 + z/(-2)). Solve 4 = f*c - 4*c for c.
-4
Let n be (-5 - 6) + (-2)/(-1). Let t be n/(-2) + 21/(-14). Let o be 1 + (-3 - 0)/t. Solve -s - 3 - 2 = o for s.
-5
Let q = -1 - -5. Suppose -5*a + 22 = q*p - 0*a, -2*a + 13 = 3*p. Suppose -p = -3*i - 5*u + 30, 0 = i - 2*u. Solve x - i*x - 20 = 0 for x.
-4
Let f be (-1)/(-1*(-4)/(-8)). Let b = 0 - -7. Let s(k) = k**2 - 7*k + 8. Let u be s(b). Solve -5*l + u = -f for l.
2
Let y = -42 - -47. Solve -s - 2 = -y for s.
3
Let w(y) = -y - 5. Let a be w(-9). Solve a*u + 10 = 2*u for u.
-5
Let g(d) = d**2 - 17*d + 19. Let t be g(16). Solve -t*i - 4 = -i for i.
-2
Suppose l - 16 + 5 = -5*m, 5*l - 28 = 2*m. Solve -7*n + 1 = -l*n for n.
1
Let t be (-9)/3*1/3*-10. Solve 0 = 2*b - 0*b - t for b.
5
Let d = 4 - 5. Let l be (-1 + 1)/(-2)*d. Suppose -n = -l - 2. Solve -2*x = -n - 4 for x.
3
Suppose 0 = 2*c + 4, -2*v + 2*c + 3*c = -10. Suppose -4*t + 3 + 5 = v. Solve 0 = t*p + 6 - 0 for p.
-3
Let d be (4 - 4)*(-3)/(-6). Suppose -6 = -3*r + j, -2*j = -d*r + 2*r - 12. Suppose -2*c = r*c - 10. Solve c - 27 = -5*k for k.
5
Let f = 4 + -13. Let c be f/(-7) + 2/(-7). Solve 4*y = -3 - c for y.
-1
Suppose 5*o + 8 = 4*t, 0*t - 5*o + 8 = 4*t. Let l be (1/(-3))/(1/(-12)). Solve t*h = l*h for h.
0
Suppose 5*y - 5*j + 30 = 0, 27 = -2*y - 3*j - 0. Let g = 14 + y. Solve k + 1 - g = 0 for k.
4
Let k = 11 - 7. Let x(m) = m**3 - 3*m**2 - 2*m - 2. Let b be x(k). Solve 2*o + 16 = b*o for o.
4
Let m(g) = 2*g - 8. Let i(c) = c**2 - 4*c + 3. Let o be i(5). Let l be m(o). Suppose 0*p - l = -2*p. Solve 0 = p*j - 2 + 18 for j.
-4
Let g = -5 + 12. Let s(i) = -5*i**2 - 2*i - 1. Let n be s(-1). Let p = n - -7. Solve g*q - 6*q + p = 0 for q.
-3
Suppose a + 5 - 10 = 0. Solve 0 = -a*f + 7 - 27 for f.
-4
Let a = 0 + 9. Let f = 20 + -17. Solve a = f*w - 6*w for w.
-3
Suppose 45 = l + 5*w, -67 = -5*l - 4*w + 74. Solve l = d + 4*d for d.
5
Let o(h) = -4 + 8*h + 6*h + h**2 - 11*h. Let j be o(-5). Suppose d = -2*d + 6. Solve j = -q - d*q for q.
-2
Let u be 69/21 - (-4)/(-14). Suppose -3 = -4*h - 3*x, -u*h + 3*x + 12 = -2*h. Suppose -5*v + 0*l + 58 = -4*l, -38 = -h*v + 4*l. Solve -4*r = r - v for r.
2
Suppose 2*m + 16 = 4*i, -13 - 7 = -5*i + 2*m. Let k be 3/6*4 + 2. Solve k*h - i = -0 for h.
1
Let d = 12 + -8. Suppose -3*u + d*h = 7, -3*u + 7*u + 5*h = -30. Let i = -2 - u. Solve 2*t + i*t = 10 for t.
2
Let z be (-25)/(-4) + (-5)/20. Let n be (0 + -2 - -3) + z. Let t = 9 - n. Solve -4*o = -6 - t for o.
2
Let t(l) be the third derivative of 0*l**3 - 1/24*l**4 - 1/40*l**6 - l**2 - 1/60*l**5 + 0 + 0*l. Let h be t(-1). Solve -h*x = 7 - 1 for x.
-2
Let s = -2 + 7. Let w be (0 - s)*(-9)/15. Solve -2*b + 1 = -w for b.
2
Suppose 3*y = 5*p + 10, y - 3*p + 2 - 8 = 0. Let z(a) = 2*a - 6. Let j be z(5). Solve y = -3*v - v + j for v.
1
Suppose 0 = -4*s + x + 2, -2*s - x = -2*x - 2. Let h be 0 - (-1 + (s - 1)). Solve -a - h = -0*a for a.
-2
Suppose 3*k - 38 = k + 2*x, 0 = 3*k + x - 61. Let n be (-204)/(-10) + (-8)/k. Solve 8*p = 3*p + n for p.
4
Let a be (-9 + 6)*2/(-3). Solve c = -a*c for c.
0
Suppose 17 = -3*w + 23. Suppose 3*h = 0, w*b = h - 3*h + 2. Solve n = b + 4 for n.
5
Let q(s) = -2*s**3 - s**2 + 3*s + 3. Let h be q(-2). Suppose -x - 3*w = -9, 0*x + 4*w - 14 = -2*x. Solve 4*y - x = h for y.
3
Let x(k) = k**2 - 16*k + 6. Let t be x(16). Solve 0 = t*o - 2*o + 12 for o.
-3
Suppose 3*d = 14 + 7. Solve 3*v - d = -1 for v.
2
Let o(s) = 3*s**2. Let y be o(1). Suppose -5*r - g - 12 = 2*g, -r = 3*g. Let m = y + r. Solve -n - n + 4 = m for n.
2
Suppose -2*y + y + 2 = 0. Solve 5*g + y = 17 for g.
3
Let p = 162 + -161. Solve 0 = o - 0 - p for o.
1
Let t(z) = z + 10. Let o be t(-4). Suppose 2*a = -2*a + 4. Solve -x = o - a for x.
-5
Suppose 0 = f + 1 - 4. Suppose f*h = h + 8. Suppose 0*n + n = v, h = 3*n - v. Solve 2*p = 4*p - n for p.
1
Let i(w) = w**2 - w - 2. Let v(k) = k**3 - 6*k**2 + k - 2. Let q be v(6). Let h be i(q). Solve -h = 3*j - 1 for j.
-3
Let a = 9 + -5. Solve -3*q - 5 = -a*q for q.
5
Let s be 1 + (-3 + 4)*3. Suppose 2*p - 28 = -s*j, 5*j + 3*p = 6*j. Let a be (-2)/((-4)/6)*3. Solve 5*g + a = -j for g.
-3
Let m(h) = h**3 + h**2 + h - 8. Let j be m(0). Let b = j + 8. Solve b = 3*u + 2*u - 10 for u.
2
Suppose 5*c - 5 = -2*h, 5*h - 4*c = 8 + 21. Solve -3*n - 2 = -h for n.
1
Let r be 6*(-3)/18*-3. Suppose 2*j - 45 = z + 4*z, 54 = r*j - 3*z. Solve -3*o + 0*o +