+ q = 6 for d.
1
Suppose 8*v - 125 = 3*v. Suppose -3*h = -5*q - v, 3*h = -7*q + 4*q + 9. Solve 0 = 2*j + 3*j - 5*t + 45, -17 = h*j + 2*t for j.
-5
Suppose -9 = 5*f + 21. Suppose 4*q - 3*n = -n - 22, 2*n = -5*q - 23. Let y be -2 + 5/(q/f). Solve 0*i + 3*i - r + 7 = 0, 0 = -5*i + y*r - 21 for i.
-1
Suppose -4*m = 5*g - 36, -3*g - m = g - 20. Suppose -w = -4*l + 20, g*l = 3*w + w + 32. Solve -2*t - c + 5 = -0*c, -l*t - c + 15 = 0 for t.
5
Let u(x) = 10 - 3 + x**2 + 6*x - 3. Let k = -1 - 5. Let d be u(k). Solve -w - 4*z - 17 = 0, 4*w = d*z - 7*z - 29 for w.
-5
Suppose -8 = 3*z - w - 25, -4*z - w + 18 = 0. Suppose -k - 19 = -3*x + k, x + z*k = 12. Solve -d + n + 7 = 3, 3*n = -2*d - x for d.
1
Let o(x) = 3*x + 18. Let c be o(-6). Suppose -p = -c*p - 5. Solve -32 = -2*q - 3*y - 11, -2*y = -p*q + 5 for q.
3
Let s(c) = -13*c - 1. Let f be s(-1). Let t be 16/7 - f/42. Solve m + 0*w - 4*w = t, 5*m + 2*w = 10 for m.
2
Suppose 5*q + 5*j + 25 = 0, 2*q + 0*q - 25 = 5*j. Suppose q = -0*u + 5*u. Solve 2*s + 3*k - 12 = u, 0 = 3*s - 0*k + k - 11 for s.
3
Suppose 10 = 8*i - 6*i. Solve -u - 3*k = -i - 9, 4*u - 11 = -3*k for u.
-1
Suppose 5*u = 16 + 9. Solve 2*x = 5*h + 16, -u*x - 30 = 6*h - h for x.
-2
Let y(x) = 2*x - 46. Let a be y(25). Solve r - 4*k = -0*k, 19 = -a*r - 3*k for r.
-4
Let m be 1/(-2)*12/6. Let t be 0 - 2 - -3 - m. Solve -t*j - 11 = 3*h, -5*j + j = 2*h + 10 for j.
-1
Suppose 1 = -k + 4. Suppose -k = v - 2*v. Suppose -84 = -5*l + 2*a, 4*l = -v*a + 44 + 37. Solve -5*p + 5*t + 2 = -l, -7 = 2*p + t for p.
-1
Let u be 26/10 + (-9)/15. Solve -u*z + 0*a - 4 = 3*a, z = 3*a - 2 for z.
-2
Let h be (-2)/(-4) + (-6)/(-4). Let z be (-1 + -2)/(0 - 1). Suppose -z*n - 65 = -8*n. Solve o = 2*o - 3*q, -5*o = -h*q - n for o.
3
Let y be -2 + 5 + -2 + 4. Suppose -y*o + 2*u = -4, 3*o + 0*o + 4 = -2*u. Solve 0 = -3*j - z - z + 3, 5*j - 2*z - 5 = o for j.
1
Let d(c) = -c**3 - 6*c**2 + 5. Suppose 5*h - 2 - 3 = 5*i, -4*i - 5*h = 49. Let z be d(i). Solve z*g + 11 = -6*u + 8*u, -4*u + 4 = -4*g for g.
-3
Suppose -4 + 2 = -x. Suppose -3 = k - x*k. Suppose k*v = -v + 16. Solve v*f = 3*w + 27, -5*f - 2*w + 3 = -2 for f.
3
Let b(u) = u**2 + 2. Let r be b(2). Suppose -g + r*g - 10 = 0. Solve p = 3, -g*k + 3*p - 8 = 7 for k.
-3
Let y = -7 + -2. Let r = y + 11. Let i(o) = o**2 + 2*o - 3. Let f be i(-3). Solve -j - 3*b = 2*j + 12, 3*j - r*b + 2 = f for j.
-2
Let l = -1 + 3. Let h be (-16)/(-7) + l/(-7). Suppose 5*m - 5 = 3*f - 25, -4*m - 29 = -5*f. Solve f*p - 18 = n, n + 9 = h*p - 0*p for p.
3
Let u(o) = o**2 - 3*o + 2. Let l be u(3). Let f(i) = 0*i - i + 2*i**l + 2 + 2. Let m be f(3). Solve -5*w + 4*d = -4 - 26, -3*w = 5*d + m for w.
2
Let u be 2 - (-1)/(-2)*4. Solve 2*g + 4*t + 10 = 3*t, -t - 4 = u for g.
-3
Let v = -29 + 49. Suppose c + 4 = v. Suppose -3*j + h = -15, -3*j + 3*h + 5 = -c. Solve -3*w + 2*q + 2 = 0, -3*q + 0 - 4 = -j*w for w.
-2
Let v(x) = 2*x + 2. Let p be v(-1). Solve 4*c + 5*j - 11 = p, -3*c - 2*c - 2*j = -1 for c.
-1
Let y be (-3)/(1/(-2 - 0)*3). Solve -5*i = -4*h - 13, 2*i = h + y*h + 8 for h.
-2
Suppose 1 - 25 = 3*k. Let l(a) = a**3 + 7*a**2 - 7*a + 11. Let j be l(k). Solve 4*i - 17 = -p + 2*p, p = j*i - 14 for p.
-5
Suppose 0*p = p - 3. Let o(h) = -2*h - 3 - p*h + h. Let c be o(-2). Solve 0 = 5*n + 3*u - c, -n + 0*n + 4*u = 22 for n.
-2
Suppose -5*n = -0*n - 5. Let w be 6/(-4)*2 - 0. Let x be (2 - 3)*(w - 0). Solve -j + 8 = 2*d + x, j - n = 2*d for j.
3
Let f(m) = -m**3 - 3*m**2 - 3. Let t = 7 - 10. Let p be f(t). Let o be ((-10)/p)/((-4)/(-6)). Solve -w - 3 = -3*b, -o*w = -2*w - 3*b - 3 for w.
3
Let n = -1 + 1. Let l be -1*n/(2/2). Solve 3*t - u = -l*t + 13, 2*t - 6 = -2*u for t.
4
Let y = 1 - 1. Suppose y = t - 9. Solve 5*f + 3*v - 17 = -v, 0 = 3*v - t for f.
1
Let w = -95 + 99. Solve 5*i = 3*j, -w*i - 4 - 13 = j for j.
-5
Let k = -5 - -5. Solve 2*l - 3*b + 5*b + 6 = k, -5*l - 9 = -b for l.
-2
Suppose 1 = -2*f + f. Let p(x) = -4*x + 1. Let c be p(f). Suppose 11 = c*r + 1. Solve 5*j - o + 6 = 3*j, -5*o - 2 = -r*j for j.
-4
Let r be (-2)/(-3) + 2/6. Suppose -o + r = -2. Let v be 25/o + (-7)/21. Solve 0 = 3*m + 9, 0 = -5*b - 3*m + v*m + 40 for b.
5
Let l = -5 + 3. Suppose 2*h = 5 + 7. Let q be (l + 4)/(h - 4). Solve -5*z + 5*v = 0, 4*z + 2*v - q = 5*v for z.
1
Let m = 4 - 2. Suppose m*r - t = 4, -3*r - 3*t = -5*r. Suppose -v + 45 = 4*v - r*l, 0 = -v - 2*l + 22. Solve -5*c - v = 13, 4*d = -2*c + 2 for d.
3
Let l(f) = -f - 1. Let p(r) = -3*r - 9. Let t(o) = 4*l(o) - p(o). Let b be t(0). Suppose -5 - b = -2*n. Solve -2*w = -n*u - 33, 0 = 3*u - u + w + 6 for u.
-5
Suppose g = 3*z - 13, 2*z + 0 + 4 = 0. Let p = 21 + g. Solve 4*n - s + 1 = 15, -16 = -5*n + p*s for n.
4
Suppose 7*n = 6*n + 2. Solve -w + 5 = n*w - 4*h, -h = -1 for w.
3
Suppose -8 - 4 = -4*f. Solve -4*b + 3*b + f = w, 5*b = 0 for w.
3
Suppose 0 = s + 2*t - 4, -5*s + t + 8 = 5*t. Let g(r) = -r**2 + r + 2. Let u be g(s). Let i = -18 - -20. Solve 0 = -3*z - 2*k - 4, -4 = 2*z + u*k + i for z.
2
Suppose 13 = 5*w + n, 3*w - 4*n - 3 = 14. Solve -w*y = 3*d - 2*d + 10, 0 = -3*d + 5*y - 2 for d.
-4
Suppose 2*u = -4, 3*p - u + 0 - 11 = 0. Solve -2*x + 3*r - 2 = 2*r, x + p*r + 15 = 0 for x.
-3
Let p = -6 + 15. Suppose 5*u - 4*u - 3*a = -p, -5*a = -4*u - 8. Solve -3*n + 3*c = -u, -3*n + 2*n - 4*c = -11 for n.
3
Suppose o - 20 = -o. Let q be 4/o - (-24)/15. Let z(g) = g**2 + 2*g + 3. Let y be z(-4). Solve 0 = -4*k + 3*m - y, -4*k + 3*m - 7 = -q*k for k.
-2
Let q = 246 - 166. Let h be (q - -1)*(-4)/(-12). Suppose 3*r - h = -0*r. Solve 0 = -6*f + f - k + 3, -3*f + r = 3*k for f.
0
Suppose -2*f + 4*f = -2. Let v be (-7)/(-1) + 2*f. Solve -5*x = 0, -5*b + 5*x = x + v for b.
-1
Suppose 2 = -5*m + 17. Solve 0*j - 3 = 2*j - m*x, -j - 3*x = -3 for j.
0
Let k = -8 + 11. Let p(h) = 3*h + 3*h - 6*h - k + h**2. Let b be p(-4). Solve -6 = -3*j, 2 - b = -3*o - 4*j for o.
1
Let y be (2 + -1)/((-8)/(-16)). Suppose -4*t + 2 + 10 = -y*g, -5*g - 6 = -4*t. Solve 3*s - 7 = -g*u, -4*s + 9 = 5*u - 12 for s.
-1
Suppose -5 = 2*y + h, -2*h - 18 = 3*y - 4*h. Let t = y + 9. Solve 0 = -5*z - x - 14, 4 = t*z + 5*x + 34 for z.
-2
Let j(v) = 3*v**3 - v - 1. Let i be j(-1). Let g be i/(-6) + (-92)/(-8). Solve -3*s = 4*m, 2*m + 6 = 3*s - g for s.
4
Suppose 0 = -3*o - 3 + 12. Suppose -5 + 2 = o*a + 5*m, -3*a = -5*m - 27. Solve 4*l - a*i = 0, -3*l - 4*i - 18 = -l for l.
-3
Let c(w) = -7*w**3 + 2*w + 1. Let l be c(-1). Let o(v) = v**2 - 5*v - 1. Let x be o(l). Solve -r - 2*z = -x*r - 2, 0 = -3*r - 3*z + 21 for r.
2
Suppose 0*r + r - 2 = 0. Suppose r*b = w - 8, -6 = 3*b + 3. Solve -3*y - 4*l = 5, 2*y = -w*y - 2*l for y.
1
Let i = -3 + 0. Let x be 1/3 - (-1)/i. Solve 2*u - f = 3, 3*u = -x*f - f - 8 for u.
-1
Let p be 1/(-1) + 90/10. Suppose 0 = -c - 4*r - 6, p = -2*r + 4. Solve 4*k + 14 = 5*g + 3*k, -c*g - 4 = 2*k for g.
2
Suppose l + 3*z = -13, -4*z + 1 - 22 = 5*l. Let n be (5 - -1) + l - 1. Solve b = a + n*a - 5, 4*a - 4 = 3*b for a.
1
Suppose -3*g + 23 = -5*q, 2*g + 2*q = 4*g - 22. Solve -4*o - g = -3*v, 0*v - 2*v - 4*o + 4 = 0 for v.
4
Let s = 31 - 26. Solve s*c - 13 = -3*y, -4*y - 5*c = 1 - 10 for y.
-4
Let a(s) be the third derivative of s**5/20 + s**4/8 - s**3/3 - 3*s**2. Let k be a(-3). Suppose 5*w = 9 + k. Solve -4*b = x - w + 8, x + 1 = -3*b for x.
5
Suppose j - 6 = 2*l - 0, j - 3*l = 8. Solve 2*s - j = 5*z - 19, 4*s = 3*z + 1 for s.
4
Suppose t + 15 = 5*v, -t + 18 = 5*v + 3. Let l = t + 2. Suppose -8 = -2*a + l. Solve 2*s = 4*r + 6 + 4, -5*s = 5*r + a for s.
1
Let m be (28/8)/(-7)*-4. Solve -4*d - 2 = -5*d, 4*h - m*d + 20 = 0 for h.
-4
Let v(h) = h**3 - 8*h**2 + 8*h + 1. Let y be v(7). Suppose -6 = y*a - 11*a. Solve -a*w + 2*m = -4, -2*m = -m + 1 for w.
1
Suppose -2*j = -2*q + 31 + 29, -4*q = -2*j - 118. Solve -4*b - 2*l = -8*b - 6, -4*b - 5*l + q = 0 for b.
1
Let m(g) = g - 4. Let x be m(9). Solve 4*a - 3*b + b = 6, -4*a + 21 = -x*b for a.
-1
Let u(w) = -w - 6. Let r be u(-5). Let f be (-4 - -5)*(-2)/r. Solve f*i = 2*h - 16, 3*h + 3*i + 2*i = -8 for h.
4
Suppose j = 5*b + 16, 3*j + 2*j - 5*b = 20. Solve -4*c - j = -3*z, 2*c - 2*z + 5 = z for c.
2
Let s be -1 + (-4)/(1 - 2) + -3. Let r = 1 + 2. Solve -r*c - c + 5*j - 32 = s, -4*j = -16 for c.
-3
Let k be (2 - 0) + (1 - 6). Let r be 2 - (-2 - k)*-4. Solve -3*o + 5*s = 3, -r*s - 3 = 3*o - s