 - 13. Let i be k(9). Solve -m - 9 = -4*y + 6, i*y = a*m + 21 for m.
-3
Let d be -1*13 - 10/5. Let n = d + 21. Suppose -2*x + 2 = -4*p + n*p, 0 = 2*x - 4*p - 14. Solve x*o = -2*t - 5, -3*o + 5 = -3*t - 10 for t.
-4
Suppose 3*x + 5 = 6*v - 7*v, -2*x = -3*v + 18. Solve 2*m - 6 = -4*o, m + 5*o = v*m + 35 for m.
-5
Suppose -3*w - 4*g + 16 = -2, 2*w - 29 = 3*g. Suppose 4 = u + 2. Let x be 3/u - 4/(-8). Solve -4*q - 2*i = -0*q + 4, 2*i + w = x*q for q.
1
Suppose 0 = 4*o + 4*f - 3*f - 11, -5*o - f + 14 = 0. Solve -o*y = -h + 7 - 15, 5*y + 5*h = 40 for y.
4
Let f(p) = -p**2 + 7*p - 3. Suppose 0*h - 22 = -2*h. Let q = h + -5. Let z be f(q). Solve -z*l + 12 = 4*j, -2*l + 4*j = -8 - 0 for l.
4
Let o = 6 - 2. Solve -2*w - 10 = o*i, 4 = 3*w - 3*i + 1 for w.
-1
Suppose -k + 8 = -4*q - 5*k, -2*k - 25 = -5*q. Solve j + 5 = -q*l, 4*j + 3*l - 6 = 4*l for j.
1
Let m(o) = 5*o**2 - 5. Let p(k) = -k**2 + 1. Let u(z) = m(z) + 4*p(z). Let n be u(2). Solve n = 3*j - 2*b + 4*b, 3*j - 2*b = -9 for j.
-1
Let j = 16 + 5. Let g be (-8)/36 - 38/(-9). Suppose 19 = g*k - j. Solve 2 = -2*t - p + 10, -4*t = 5*p - k for t.
5
Let q be -3 + 0 - (-32 - -4). Solve -a + 3*c - 1 + 19 = 0, -q = 5*c for a.
3
Suppose 12*i - 7*i - 25 = 0. Suppose 4 = j + i*y - 2, j = 4*y - 12. Let b be (-2)/j*(2 - -4). Solve 0*c - 2*c + 11 = 3*d, b = 2*d - 3*c for d.
3
Let t be -2*((-38)/12 + 2/3). Suppose 3*d = 2*p - 3*p - 10, 5*d = -10. Let u = 8 + p. Solve u*x = -0*l - l + 15, 4*x - 11 = -t*l for x.
4
Let p = 10 + -3. Suppose -l + 1 + 3 = 0. Suppose p + 5 = l*a. Solve -a*d + 1 = -2*q, -5*q + 4 = -4*d + 10 for d.
-1
Suppose 3*h - x - 25 = x, 3*x = -3*h. Solve y = 2*t - 0*y - 15, 3*t + 2*y = h for t.
5
Let w be (-3)/(1*(-1)/2). Solve 5*i = -10, w*s - 4*s + 6 = -4*i for s.
1
Suppose -13 = -18*a + 23. Solve 5*r + 3 = l, a*l = -3*l + 4*r - 6 for l.
-2
Let a(o) = -o**3 + o**3 - 10*o - 2*o**3 + 3*o**3 + 11 - 7*o**2. Let t be a(8). Let b = 6 + t. Solve 0*c - b = l + c, -c - 17 = -3*l for l.
4
Let a be (-10)/(-4) - 10/20. Solve 4*k = a*m + 8, 4*k + m - 20 = -0*m for k.
4
Let m(d) = -d - 1. Suppose -5*s - 21 = 4. Let a be m(s). Solve 4*c + 16 = 8*c - a*v, -2*c - 12 = 3*v for c.
0
Suppose 0 = 5*n - t - 4*t - 5, 2*n - t - 3 = 0. Let u be -1*4/(-2) - 3. Let z be u/(-3) + 8/(-24). Solve 0 = 3*k - n*s + 6*s - 12, 4*k + s - 3 = z for k.
0
Let x(o) be the third derivative of o**5/60 - o**4/8 + o**3/3 - o**2. Let q be x(3). Let r = 64 - 46. Solve r = q*m - 4*l, -5*l + 15 = 2*m + 3*m for m.
5
Let h(k) = k**2 + 11*k + 11. Let q(t) = 3*t + 5. Let c be q(-5). Let y be h(c). Solve -1 = j - n, -3*j + n + 0*n = y for j.
0
Let w(m) = -2*m - 3. Let g be w(-3). Let o = g + -3. Let c = o - -5. Solve -6*l - c*n = -4*l - 17, -5*l + 3*n = 4 for l.
1
Let q = -31 + 35. Let g = -3 - -5. Solve g*s + q*o + 11 + 13 = 0, -o = s + 8 for s.
-4
Let g(s) = s**2 + 8*s + 9. Let n be g(-7). Solve -2*u = -4*i - 24, u + 16 = -7*i + n*i for i.
-4
Let n = 33 + -31. Solve 0 = -k, -4*s - n*k + 4 = -0*k for s.
1
Let p(v) = v**3 + 5*v**2 + 3*v + 1. Let d be p(-4). Let t = 2 + -7. Let z be 6/2*t/(-3). Solve -3*h = -z*n - 12, 4*n = -h + d - 1 for n.
0
Let c be ((-2)/(-4))/(4/56). Let l(a) = a**2 - c + 0*a - 5*a - 2*a. Let b be l(9). Solve -b = 3*u - 4*h - 1, 3*h = -4*u - 5 for u.
-2
Let a = -9 - -15. Suppose -a*c + 2*c = 0. Let w(q) = -q**3 - q**2 + q + 4. Let n be w(c). Solve 2*f = 5*l - n*l + 12, -5*f = -5*l - 40 for l.
-4
Let q = 28 + -26. Solve 2*x + 2*x = -3*d - 8, 2*d - x = q for d.
0
Let s be ((-4)/(-6))/(2/9). Let r be (-1)/2 - (-11)/2. Suppose -9 = -r*p + 11. Solve -3*w - 18 = 5*c + 1, -s*c = -p*w - 6 for c.
-2
Suppose 2*v = -0*a - 2*a + 6, a - 5*v + 3 = 0. Let q(y) = y**2 - y - 2. Let b be q(a). Solve 4*z + 2*s = -19 - 11, b = -4*z - s - 25 for z.
-5
Let a be ((-3)/9)/(3/(-108)). Let g = -10 + a. Let o(i) = 2*i - 4. Let b be o(5). Solve 0 = -5*z - 4*t + 21, -b*z + t = -4*z + g for z.
1
Let s = 22 - 9. Let y = 5 + -2. Let v = s + y. Solve 5*f - 3*i + 5*i + 1 = 0, f - v = 5*i for f.
1
Suppose 0 = -3*r + r + 16. Let j be (4/6)/(2/6). Solve x = -d + 2, -x - r = -j*d - 2*d for d.
2
Suppose 18 = 4*l + 2*c, -3*l + 5*c = 2*l + 15. Solve -2*z = 4*v - 6*v - 4, l*v = 5*z - 4 for z.
0
Let i(d) = 3*d**2 - d - 2. Let t be i(-2). Suppose -x - t = -5*x. Solve -9 = x*u - 2*j - 0*j, -5*j = -3*u for u.
-5
Let y(k) = -k**2 + 5*k - 4. Let t be y(3). Let m be t/(-1) + (6 - -1). Solve 20 = 5*v + m*b, 0 = 3*b + b - 20 for v.
-1
Let s = -14 + 16. Solve 12 = -4*v, -2*k - v = -3*v + s for k.
-4
Let p = 9 + 2. Solve 26 = 4*b - 2*d, -4*d - p = 2*b + 1 for b.
4
Let y = -18 + 33. Let g(w) = -w**3 - 5*w**2 - 4*w + 3. Let p be g(-4). Suppose 0 = -2*i + 4*i - 6. Solve -5*f = -4*s - y - p, -i*f = 3*s for f.
2
Let k be 3 - (6 + (-1 - 2)). Solve -2*u - t + k*t = -1, -3*t + 14 = -5*u for u.
-1
Let m = -12 + 17. Solve 0*b - 3*b - m*g = 0, -2*b = -2*g - 16 for b.
5
Let y = -8 + 10. Suppose c = y*t - 7, -t + 0*c - 13 = 5*c. Solve 5*h - h + 8 = -g, h - g = -t for h.
-2
Let b = -13 + 9. Let d be 25*(b + 1)/(-3). Solve -7*c - 15 = -4*c + 4*h, 5*c + 3*h = -d for c.
-5
Let f = -3 - 5. Let x = f + 10. Suppose -2*i + x = -6. Solve -i*u = 0, -3*b = 4*u - 7*u + 6 for b.
-2
Let r(b) = 6*b - 56. Let f be r(10). Solve 4 = f*m + 4*i, 3*m - m - 6 = 2*i for m.
2
Let i be (-8)/(-5)*65/13. Solve -i = u + q, 0 = 4*u - 5*u + 3*q + 4 for u.
-5
Let p(c) = c**3 - 8*c**2 + 6*c + 9. Let i be p(7). Let a be i - (-2 + 6 + -4). Solve v = a*q - 0*q + 15, -2*q - v - 5 = 0 for q.
-5
Let p = 9 + -6. Suppose 4 = p*v - 2*v. Let o = v + -4. Solve o*x - 3*x - 5 = 5*n, -4*x + 5 = -5*n for n.
-1
Let j = -46 - -51. Solve -6 = 4*f - x, -j*f + 0*f + 3*x - 4 = 0 for f.
-2
Suppose a = 5*a. Suppose a = -l - 3*l + 48. Solve 0 = 3*q + l, -2 = 3*f - 2*q + 4*q for f.
2
Let m be 306/12 - 3/6. Solve -6*b - m = -3*b + 4*i, -b + i = -1 for b.
-3
Let m be 2/10 - 68/(-10). Let x = m - 7. Solve -6*r + 4*p = -r + 23, x = -4*r + 4*p - 20 for r.
-3
Let x(a) = -a**2 + 5*a - 4. Let z be x(3). Suppose 5*p - 13 = 7, -5*p + 10 = -f. Solve -2*j + f + 0 = 2*k, -z*k = j - 5 for j.
5
Suppose 8 = 5*u - 2. Solve -u*s + 7 = 4*d + d, -3*d = -5*s - 29 for s.
-4
Let q = -39 - -54. Solve 4*o + q + 17 = 3*t, -t + 24 = -4*o for o.
-5
Let k(c) = -c - 3. Suppose 5*o + 0*v = 3*v - 20, 4*v = 0. Let s be k(o). Let a be 9 - s*(1 + 2). Solve 6 = n - 2*d, a*d - 3*d + 6 = 3*n for n.
-2
Let p(b) = b**2 - 7*b - 6. Let w be p(8). Solve 4*k + 2*r - 26 = -w, -2*k - 2*r + 16 = 0 for k.
4
Let v = -190 - -195. Solve -2*g - 1 = 2*t + v, -3 = t for g.
0
Suppose b = -5, w + 12 = -2*w - 3*b. Let g(n) = -n**2 - 4*n + 2. Let l be g(-4). Let d be (4/l)/(2/6). Solve 3*x - r + d = 0, -r - w + 5 = -2*x for x.
-2
Suppose -5*i - 348 = -4*b, -5*b = 2*i - 41 - 427. Let z be 2/(-7) - b/(-28). Solve 0 = -m + 3*a + 10, -z*m - 15 + 6 = 4*a for m.
1
Let s(m) = -m**2 - 5*m + 4. Let x be s(-5). Let o = 9 - -10. Suppose -3 + o = x*f. Solve 4*h - 2*q = -0*h + 20, f*h = 4*q + 24 for h.
4
Let j = 5 - 5. Solve 3 = -2*b + b, j = -3*y - 4*b - 27 for y.
-5
Let d be 6/27 - 61/(-9). Let g be (-5)/((-20)/16) - -2. Suppose d*w - g = 4*w. Solve 0 = 3*t + n + 11, -5*t + 6*t + w*n = -12 for t.
-2
Let g be ((-1)/(-2))/(11/110). Solve -g*s + 5*r = 0, 0*r - 5*r + 5 = 0 for s.
1
Let f = 1 + -1. Let s(k) = 4*k - 4*k - k + 3. Let u be s(f). Solve 4*t - 19 = -u*m, m - 2*t + t - 4 = 0 for m.
5
Suppose 0*j = -j + 101. Suppose 11 + j = 4*g. Solve 5*x + u - 5*u = g, x + u = 2 for x.
4
Let l = 7 - -1. Let d = l - 4. Let m be 6 - 0 - d/2. Solve -n = -4*s - 4 - m, -2*s - 6 = -n for s.
-1
Let k = 4 - -1. Let y = k - 5. Solve y = 2*t - 2*v + 2, 2*t + 5 = -v - 9 for t.
-5
Let q = -46 - -65. Solve 0 = -4*b - 5*z + q, -3*b - 6 = 2*z - 5*z for b.
1
Let n(h) = 2*h**2 + 3*h + 6. Let m be n(-4). Suppose p = -2*l, -p - 3*p - m = -5*l. Solve 0 = -2*o + l, -4*c + o = -c + 10 for c.
-3
Let b = 1 + 1. Let l = -9 + 14. Solve 1 = b*r + 3*o + 2, 2*r - l = -5*o for r.
-5
Let i(c) = -c**2 - 6*c + 1. Let w be i(-6). Let v be 15/w*(-6)/(-18). Solve -3*x - 11 - 10 = -3*o, 0 = v*x - 2*o + 29 for x.
-5
Let i = -12 - -6. Let x = i + 10. Solve x*a - 1 + 0 = -p, a = 2*p - 2 for a.
0
Let b(i) = -2*i - 2. Let f be b(-6). Let t = f + 9. Solve -2*p - t = 3*m, 5*m = -7 - 8 for p.
-5
Let b(p) = p**2 + 5*p - 4. Let k be b(-6). Solve 0 = 3*t + k*t + 3*m + 