 = a*r - 2*o - z, o = -1 for r.
4
Let n(c) = -2*c**3 - 4*c**2 - 2*c. Let t be n(-3). Let m be 2/(16/6)*t. Solve 3*b = 7*b - 2*s - 14, 0 = 3*b - 4*s - m for b.
2
Suppose -5*c - 2*l - 6 = -c, 5*l = 2*c - 15. Suppose -2*k = -3*k + 2. Let u be (1/k)/((-1)/(-4)). Solve -r = 3*h - 4 + 2, -h + u = c for r.
-4
Let z = -1 + 4. Suppose -4*i + 2*n + 36 = 0, z*n = i + 2*n - 7. Solve -2*w + 5*j - i = w, 7 = -w + 5*j for w.
-2
Let i = 9 + 4. Let v be (i + -1)*(-20)/(-15). Suppose j - 17 = 5*b, 2*j = -3*j + 2*b + v. Solve 3*n + 7 = j*n + s, 0 = 4*n + 2*s - 2 for n.
-2
Let a = -17 - -19. Suppose j - a = 2*w + 1, -w = -2*j + 9. Solve j*g - 4*i = 26, -5*i - 10 = 10 for g.
2
Suppose 3*u - u = 10. Let r = 3 - u. Let h(o) = o + 4. Let l be h(r). Solve 4*d + 16 = -q, -5*q + l + 23 = -d for d.
-5
Let b be 12*((-10)/(-4) - 2). Let c = 23 - 16. Let k be 1/(-3) - c/(-3). Solve -3*n = -5*l + 10, k*n = b*n - l + 2 for n.
0
Suppose 5*b + 11 = 36. Suppose 11 = b*l - 9. Let n be (7 + -4 - 6) + 8. Solve -3*c + 23 = l*p, 3*p + 4*c + n = 24 for p.
5
Let b = -60 - -60. Solve 2*r = -5*n - 12, b*r = -3*n + 3*r - 24 for n.
-4
Let k = 43 + -39. Solve 3*m + 3*z = -2*m + 22, 0 = -z + k for m.
2
Suppose 0 = -h + 5*h - 24. Let d be (4/(-5))/(1/(-10)). Let u be (-24)/(-14) - d/(-28). Solve -3*y = u*y - 2*r + 2, h = -y - r for y.
-2
Let i = 3 - 0. Solve 4*m + z + i = 15, -2*m + 20 = 4*z for m.
2
Let p = 0 + 3. Suppose -5*j - 22 = p. Let k = -3 - j. Solve -y = k*u - 0 - 1, y + 5*u - 7 = 0 for y.
-3
Let c(y) = -y + 11. Let g be c(8). Suppose -3*a = -a - 6. Suppose f = -5*d + 4, -2*d = 2*f + 2*d - 8. Solve 2*h - a*m - 6 = 0, -h + g = -f*m - m for h.
3
Let f = -91 - -111. Solve -4*m + f = 0, -8 = t - m - 3 for t.
0
Let k = 7 - -4. Let x(v) = -v + 14. Let c be x(k). Solve -3*w + 2*q - 16 = 6*q, -5*w = -c*q + 17 for w.
-4
Let q = -40 + 60. Suppose -4*s - q = -3*p, 2*p + s + 0*s = 6. Solve -p*m = 8, -4*j + 16 = m + m for j.
5
Let p = -2 - -3. Let q = 3 - p. Let c(o) = o**3 - 2*o**2 + 2*o - 1. Let s be c(q). Solve -s*g - 2 = -4*a - 5, 0 = 5*g - 25 for a.
3
Let t(g) = -g**3 - g**2 + 2*g + 6. Let l be t(0). Solve 0 = -4*q - 2*z + l, 4*z - 3 = q - 0*z for q.
1
Suppose -44 = -5*t - 14. Suppose n + t = 3*n. Let x be 1/n + (-28)/(-6). Solve x*b + 23 - 3 = 5*w, 4 = 3*w - b for w.
0
Let z(k) = k + 2. Let r be z(3). Let f(b) = b**2 - 5*b + 2. Let t be f(r). Solve -t*j - g + 15 = 4*g, -2*j = 4*g - 10 for j.
-5
Suppose -2*p + 4 = 14. Let l be 2/p - 555/(-75). Solve g = -4*x - l, -g - 1 + 2 = -4*x for g.
-3
Let b = 73 - 21. Let j = b + -31. Solve -y + 5*q = 15, 5*y + 5*q - j = -6 for y.
0
Suppose 41 = 4*v + 3*t, 4*v - 60 = -v - 2*t. Solve j = -2*a + v, 2*j + 4*a - 8 = 5*j for j.
4
Let x be (0*(2/4 - 1))/(-3). Solve 2*p + 4*y + y = x, 0 = 3*p - 4*y for p.
0
Let a(q) = q**2 - q - 2. Let s be a(3). Suppose 4*c - 2*w = 6, -2*c + 3 = 2*c - w. Solve 5*n = -2*d, -3*d - s*n = -c*n for d.
0
Suppose 0*k - 5*k - 14 = -2*v, 2*v - 8 = 2*k. Let r(d) = 3*d**2 + 3*d - 3. Let g be r(-2). Solve -g*u + 5 = -4*a, a - 4*u + v = -3*u for a.
1
Let a = -3 - -6. Suppose -4*w = 4*g + 16, a*w - 3*g = -g + 13. Suppose 3*x + 5*p = 2, 3 = 2*x + 2*p - w. Solve 2*m = 2*o - x, 4*o - m = 1 + 1 for o.
0
Let j = -2 - -11. Let p = 11 - j. Solve -5*m = -p*z - 3*m - 14, -m + 2 = 0 for z.
-5
Suppose -2*k = -5*v - 18, 2*k + 0*k + 3*v = 2. Solve k*i - 4 = b + 1, 0 = -4*i + 3*b + 15 for i.
0
Let p(r) = r + 4*r**2 - 4*r**2 + 13*r**2 + 9*r**2. Let i be p(-1). Solve -3*z - 5*m = i, -2*z + 5 = -5*m - 6 for z.
-2
Let u(t) = -t + 24. Let a be u(10). Solve r = -2*k + 5*r + a, -r = -k + 4 for k.
1
Let d = 25 - 22. Solve 3*f = -h - h + 25, d*h - 15 = 0 for f.
5
Let v(t) = -t**2 - 3 + 5 + 3 - 2 + 6*t. Let f be v(6). Let b(l) = -l + 2. Let r be b(2). Solve f*w = 4*q, q = -r*q for w.
0
Suppose -a - 2*j - 2*j = -6, -2*a = j - 5. Solve a*p - w = -4*w - 7, -4*p + 5*w - 3 = 0 for p.
-2
Let g = -28 - -33. Solve -g*l = y + 9, -2*l + 3 = -y + 1 for y.
-4
Let i be 4*(2 - 3) + 3. Let h = 1 + i. Solve h = c - 2*a - 9, c = -4*c - 3*a - 7 for c.
1
Let w(a) = -3*a**2 + 42*a + 5. Let v be w(14). Solve -2*p - v*j = -33, -2*p + 2*j + 3 = j for p.
4
Let i = 9 - 7. Let g = i + 1. Suppose 2*k = 12 - 2. Solve -4*p = -k*o - 40, 5*o + p = -g*p for o.
-4
Suppose 4*b + c - 95 = 0, -5*b + 5*c = -2*b - 77. Solve 4*f = 3*m + b, 18 = -3*m + 2*f - 0 for m.
-4
Let j be (2 + -3 - -2) + 5. Suppose -5*s = -26 + j. Solve c + 3*q = -10, 0*c + 2*q + 2 = s*c for c.
-1
Suppose 3 = -m + 2*m. Solve 2*z = 5*u + m, 2*u + 6 = 4*z - 8*z for u.
-1
Let g(w) = w**2 + 5*w + 3. Let v be g(-6). Let r = -9 + v. Solve 0 = 4*n + 2*d - 2, -n = -d - r + 1 for n.
0
Let n = -10 - -11. Solve -3*j = -3*l - 2*l - n, 4*j = -5*l + 13 for l.
1
Let o be 40/(-12)*(-9)/(-6). Let c = 5 + o. Solve 2*v + 0*i - 16 = -5*i, c = -3*v - 5*i + 14 for v.
-2
Let o = 9 + -5. Suppose -o*j = -5*j - 3. Let a = j + 7. Solve 2*q - 5 + a = -3*y, 3*y - 3 = -3*q for y.
-1
Suppose 8 = 3*k + 5. Let p be k + (2 + 1)/1. Solve -2 = -2*c, 2*l + l + 5*c + p = 0 for l.
-3
Suppose 16 = 4*q - 2*a - 6, 19 = q - 5*a. Solve 5*j - 8 = -q*t, -3*t = -5*j - 2*t + 23 for j.
4
Let v = 0 - 2. Let q be 30/18 - v/6. Solve -4*w - q*s = s - 5, 0 = -4*s - 4 for w.
2
Suppose 5*x + 1 = u, -4*x = -2*x. Let h = 5 - u. Solve 3*s + 2*y - 6 = 0, 3*y - 5 = -4*s + h for s.
0
Suppose 108*i - 15 = 103*i. Solve -i*d + 4*t - 1 = 0, 3*t - 22 + 0 = -2*d for d.
5
Suppose 0 = -2*h + 3*h - 4*j - 2, 0 = -4*j. Let q(u) = -u**3 + 2*u**2 + 3*u - 3. Let d be q(h). Solve -3*z - 2*o = -2, -d*z - o - 1 = -8 for z.
4
Let m(k) = 3*k**2 + 13*k - 10. Let g be m(-5). Solve 5*a + 4*o - 2 + g = 0, 4*a - 3*o - 14 = 0 for a.
2
Let x(k) = k**3 - k. Let f be x(1). Solve 5*y + 2 = s - 18, f = -3*y + 2*s - 19 for y.
-3
Suppose 30 = 4*i - i. Let d be i/35 + (-6)/21. Solve 0 = 3*a + 9, d = 5*h - 0*h + 3*a - 11 for h.
4
Suppose r - 5*x = 31, -2*r + 5*r - 43 = 5*x. Solve 4*d = -3*m - 8, 7*d - r*d = -2 for m.
0
Let g(n) = 3*n - 1. Let p be g(1). Suppose 3*z = -p*z - 40. Let r = z - -11. Solve -7*u = 2*t - 3*u - 10, -25 = -5*t - r*u for t.
5
Let j = 27 + -23. Solve 3*h = z + 8, -2*h + 15 - j = 5*z for h.
3
Suppose 2*k - 3*r + 3 = 0, -5*r + 7 = -8. Suppose 2*o - k*o = 0. Solve 0 = 5*d - 4*c + 17, -5*d = -o*d + 2*c + 29 for d.
-5
Suppose -5*t - 8 = -23. Suppose 2*c + 2*c - 8 = 0. Let z = c + 0. Solve z*g = t*b - 11, 5*b + 4*g - 47 = -14 for b.
5
Let p(i) = i**2 + 3*i - 1. Let a be p(-4). Suppose -39 = -7*h - 4. Solve r = -3*j + h, -2*r - j = -a*j + 14 for r.
-4
Let v be (-5 + 8)*2/6. Suppose -3*q = -h - 7*q - 1, 2*h - v = -5*q. Solve c = h*t + 1 + 6, c + t + 9 = 0 for c.
-5
Let v be 4 + (4/1 - (-4 - -7)). Solve -3*l + 4*r = -26, 4*r + 25 = v*l + r for l.
2
Let t(d) be the second derivative of -d**3/6 + 4*d**2 - 3*d. Let c be t(6). Solve h - 17 = -5*k, -c*k + h - 4 = 5*h for k.
4
Let b(l) = -l. Let m be b(-2). Suppose 0 = 2*p - m*k + 2, 0 = 3*p - 0*k - 2*k - 1. Solve -p*z + 5*v - 25 = 0, -5*v + 10 + 15 = -4*z for z.
0
Let n be 16/(-56) + (-4)/(-14). Solve -o - 5*t - 13 = n, 18 = -4*o - 4*t + t for o.
-3
Let u = -6 - -4. Let m = 2 + u. Solve r - 3 = m, 3*b = 3*r - 0*r - 12 for b.
-1
Let r be 276/15 - (-2)/(-5). Suppose 0 = k - 0*k - 2. Solve 3*j - r = 4*d, 10 = -2*d - k*d - j for d.
-3
Let x be (-6)/12*((-2)/2 - -1). Solve -2*q + 3*o = q + 21, x = -5*q - 3*o + 5 for q.
-2
Let o be ((-1)/(-2))/(5/10). Let m be -2 + o - 15/(-1). Solve -4*j - v = -m, 0 = j - 2*j + 2*v + 8 for j.
4
Suppose 3*r - 45 = -3*o, 4*o - 3*r - 45 - 15 = 0. Suppose -2*j + 8 + 18 = 0. Let v = j + -10. Solve -o = -c + 4*c + 4*z, v*c + 15 = z for c.
-5
Let u(k) = k**2 + 5*k - 16. Let h be u(-7). Let l be ((h - -2) + 3)*1. Solve -7*i + 2*c + 10 = -2*i, -17 = -l*i - c for i.
4
Let a be (-2)/(-11) + (-334)/22. Let m = a - -19. Solve 0 = m*w + 2*k, -3*w = k - 4 + 3 for w.
1
Let q(a) = a**2 + 3*a - 4. Suppose 4*l = -i - 4, -4*i = -i + 5*l + 12. Let n be q(i). Solve -3*m - 4*u - 18 = n, -m - 3*u = 2*m + 15 for m.
-2
Let g(l) = -7*l**2 - l**2 + l**3 + 2*l**2. Let p be g(6). Solve -4*n - 23 = 5*x, n + 1 + 1 = p for x.
-3
Suppose -19 = -3*k - 10. Solve k*r - f - 9 = 8, 0 = -3*r + 5*f + 37 for r.
4
Let z = 11 - 8. Solve 3*y = 9, z*i + 5*y + 5 = -2*i for i.
-4
Let b = 1 + -7. Let f be ((-2)/4)/(1/(-12)). Let u be (f + -3)*-1 - b. Solve 0 = -4*w - 0*w + 2*o 