k - 5 for o.
-5
Suppose -7 = 3*q + 2*a, 0*q - 36 = 4*q - 4*a. Let z = 7 + q. Suppose -2*i + 4*i = 0. Solve 3*w - 5*m = -i + 8, -2*m = -z*w for w.
-4
Let n = 143 + -68. Let p be (-18)/(-15)*n/6. Solve 2*l - 9 = -2*i + l, 5*l = p for i.
3
Let x(z) = z**3 + 11*z**2 + 11*z + 11. Let k be x(-10). Solve -5*p + b - k = 21, -b = 4*p + 14 for p.
-4
Suppose -4*w - 5*c + 45 = 0, c - 5 = -3*w + 15. Solve w*s + 18 = 4*x, -3 + 7 = -3*s - x for s.
-2
Let s be (-44)/(-55)*10/4. Suppose 4 = -2*d + 12. Suppose 10 = 3*b - a, -d*b + a = -14 + 1. Solve -s*t - t - 5*v = 1, b*v - 3 = -3*t for t.
3
Let a(d) = -d**2 - 13*d + 4. Let w be a(-13). Solve -5*l - 35 = -0*l + 2*f, -w*f = 5*l + 45 for l.
-5
Let f = -48 + 48. Solve f = 3*y - 6*y + 5*r - 13, -2*y + 28 = 4*r for y.
4
Let f = -10 + 10. Suppose m + 4*w + 23 = -w, f = -5*m + 4*w + 30. Suppose 3*i = -i + 20. Solve -d + 7 = i*r, -3 - m = d - r for d.
-3
Let m(f) be the third derivative of -f**4/24 + 2*f**3 + 2*f**2. Let y be m(6). Suppose 2 = 4*q - y. Solve x - 2*k = 8, -x - 8 = -0*x + q*k for x.
0
Let k = -11 - -17. Suppose h - k = -4. Solve -h*b = -5*u - 1 - 15, 2*u + 7 = b for u.
-2
Suppose 5*m + 0*f = 2*f + 184, 140 = 4*m + 2*f. Suppose 0*h - 3*h + m = 0. Solve l - n = -0*l + 7, -4*n - h = 0 for l.
4
Suppose -2*r - 2*r = -44. Let v be 1*r - 0/3. Solve -5*u + b = v, u + 0*b = -4*b - 19 for u.
-3
Suppose -5*o = -0*o - 130. Let x = o - 18. Suppose -3*w + x + 4 = 0, 2*h - 5*w = -16. Solve -l - 2 + 1 = -2*y, 0 = -h*y - 3*l - 19 for y.
-2
Let z = -8 - -15. Let c(g) be the first derivative of g**2/2 - 6*g + 1. Let q be c(z). Solve 2*f + 10 = n - 5*n, q = f - 4*n for f.
-3
Let i be 1 + 5/(10/8). Suppose i*y = 4*z + 58, -2*z - 42 = -4*y + 2. Solve -4*f = 2 + y, 0 = -d + 2*f + 7 for d.
1
Suppose i + 3*i + 8 = 0, -u = -3*i - 10. Let j(q) = 3*q**2 + 3*q + 2. Let z be j(-1). Solve -5*s + z*s - 9 = 3*x, -s + u*x - 13 = 0 for s.
-5
Let g(r) = r**2 - 7*r + 5. Let i be g(7). Suppose p = 4 - 2. Suppose 2*z - 9 - i = p*v, -3*z + 3 = 3*v. Solve z*x - 2*l + 6*l - 32 = 0, 2*x = 3*l + 1 for x.
5
Let k(z) = z + 1. Let l be k(1). Solve -p + 14 = 2*g + 3*p, 4*g - l*p = -2 for g.
1
Suppose -4*s = s - 4*a - 23, 0 = 3*s + 4*a - 1. Suppose 4*h - 22 = 2. Solve 3*q = h, -7*d - 5*q = -s*d + 6 for d.
-4
Let g be 22/55 - (-6)/10. Let f be -4 + 2 + g*4. Solve 20 = -0*r + 5*r + 5*w, -w - f = -5*r for r.
1
Suppose 3*h - 41 = -4*j, 4*j = -j + 3*h + 85. Let o = -2 + j. Suppose 0 = -3*p - 0*p + o. Solve 2*c - 10 - 2 = -4*n, p*c - 5*n = 11 for c.
4
Let m(o) = -o**2 + 18*o - 9. Let z be m(12). Let l be (-4)/(-14) + 990/z. Solve 4*j = y + l, y = -j - 4*y + 25 for j.
5
Let v = 7 - 13. Let c = v + 10. Suppose -8 = 3*g + c*u, -5*g + 0*g + 4*u = -40. Solve 4*m = m, -12 = g*y - m for y.
-3
Suppose -2*h + 10 - 3 = -q, -6 = -2*q. Solve k + k + b = h, -2*k + 5*b - 25 = 0 for k.
0
Suppose 5*f + 40 = 3*o, -4*f + 5 = o + 4*o. Solve 5*y = 2*y - 4*p - 17, 3*p - 9 = o*y for y.
-3
Suppose 0 = -t + 6*t - 10. Suppose 56*d + 66 = 59*d. Let f = -1 + 1. Solve d = -t*s - f*r - 4*r, -3*s - 3*r = 24 for s.
-5
Suppose -3*c + 4 = 4*u, -8 = -c + 5*u - 3*u. Solve 0 = 5*r + 4*q + 14, q + 3*q - c = 4*r for r.
-2
Suppose -5*i - 3*i + 40 = 0. Solve -5 = -5*b + i*u, 3*b + 9 = -5*u + 2*u for b.
-1
Suppose 2*w + 0*w - 4 = 0. Suppose -4*l = 2*f + w*f - 28, 2 = -2*f + 2*l. Let k(i) = 2*i - 4. Let y be k(f). Solve -p = 5*v - 8, 3*p - y*v - 4 = 7*p for p.
-2
Suppose 5*c - 33 = -23. Solve 5*b + 5*o = 20, -3*o + o - c = -3*b for b.
2
Let i = -18 - -38. Solve 0 = -2*y + y - 4*d - i, 0 = 5*d + 20 for y.
-4
Let m(p) = 6*p + 13. Let n(q) = -7*q - 14. Let r(s) = -5*m(s) - 4*n(s). Let w be r(-8). Solve 2*u + w + 5 = 5*k, -3*k = 5*u - 32 for u.
4
Let g = 14 + -9. Solve -4*s + 4*y = 14 - 2, -y - 21 = g*s for s.
-4
Let v be 4/(-14) + 37*2/14. Solve 5*x + 5 = -3*o, -5 = -v*x - 2*o - 3*o for x.
-4
Let v = 3 + -1. Let t = -31 - -81. Let f = -32 + t. Solve q - 3*c = 11, v*q + c + c + f = 0 for q.
-4
Suppose 2*s = -3*s + 3*x - 12, 8 = 2*x. Solve s = -4*r + 2*k - 3*k, -4*r = -k for r.
0
Suppose 7 = -2*f - 5. Let p = 9 + f. Solve -d + 12 = -p*y, 4*y + 19 = 2*d - y for d.
-3
Let x(h) = 8*h - 21. Let t be x(3). Solve 2*o = -0*o + t*c - 1, -o - 3*c - 14 = 0 for o.
-5
Suppose w - 15 = -4*t, -3*t - 6*w + 2*w + 21 = 0. Solve -t*x = 2*c + 4, 5*x + 27 = 7 for c.
4
Let w(i) = i**2 - i - 4. Let j be w(3). Let f be (-32)/18 - j/9. Let z be 0/1*f/(-4). Solve 3*k + 0*k + 3*l + 12 = z, -5*k + 4*l = 11 for k.
-3
Let j be (0 + 1)*(0 + 3). Let s(r) = -r - 2. Let m(v) = -v. Let k(o) = -2*m(o) - 2*s(o). Let h be k(j). Solve -6 = 4*t - 0*z + 5*z, 2*t - 4*z = -h for t.
-4
Suppose 2*k + 1 = 5. Suppose k*r + 5*y - 27 = 0, 5*r + 4*y - 62 = -20. Solve 2 = -g - 2*x, -g + x + 1 - r = 0 for g.
-4
Suppose 2*y + d - 6 = 0, 4*y + 2 = -5*d + 8. Solve -4*x - 9 = -u, -3*u + 1 = y*x - 10 for x.
-1
Let l(c) = c + 2. Let p be l(-1). Let n be -3*(p/3 + -1). Suppose -n*h = 3 - 7. Solve -2*u = -2*y + 2*u + 14, 5*y + 25 = -h*u for y.
-3
Let t be 45/3*(-3)/(-9). Suppose -t*d = -o + 14, -2*d + d + 2 = o. Solve -2*u = 3*v + 13, 19 = v - o*v + 4*u for v.
-5
Suppose -2 = 4*f - 5*f. Solve 3*i - 1 = -f*k, 0 = 3*k - 15 - 0 for i.
-3
Let y = -10 - -20. Let s = -5 - -9. Suppose -4*j + 37 = 5*l, -3*j + 4*l = -0*l + 11. Solve j*m - x + y = 5*m, -2*m = -s*x for m.
4
Let d(h) = 7*h**2 - 9*h + 9. Let o(m) = m**2 + 1. Let g(u) = -d(u) + 6*o(u). Let j be g(8). Solve v + 2 = 3*v + w, 0 = -j*v + 3*w - 17 for v.
-1
Let r = -22 + 22. Solve 0 = 5*q, -a + r*q = -3*q + 5 for a.
-5
Let k = -9 - -24. Solve 0 = -5*n - 5*o - k, 2*n - 5*o + 4 = -9 for n.
-4
Suppose 0 = -3*d - 2*d + 25. Suppose 0*q - 20 = -d*q. Let k = 6 - 3. Solve -q*u + 1 = -3*g + u, -k*g - 3 = -3*u for g.
-2
Let a = -2 + 5. Solve 4*o - a*h + 0*h - 9 = 0, -o = -4*h + 1 for o.
3
Suppose 3 = 5*d - 4*m - 3, 2 = 2*d - 2*m. Suppose -d*t + 19 = h, -2*h + 2 - 9 = -t. Solve 0 = -4*j - 20, 4*n - 2*j + 1 + t = 0 for n.
-5
Let c be 6 - ((-19)/(-7) - 10/(-35)). Let x be (2 + -16)/2*-1. Solve 3*h - 2*f - x = 9, -c*h + 31 = -5*f for h.
2
Let y be -2 + (23 - (2 + -1 + 0)). Solve -5*g + 2*n - y = 7*n, -3*g - 7 = 2*n for g.
1
Suppose 0*d - d = -3. Solve 0 = 4*j + 20, d*j = 3*i - 2*j - 19 for i.
-2
Let z be (0 + 0)*17/34. Solve z = -2*u - 4*a - 12 - 14, 5*u - 10 = 5*a for u.
-3
Let b(k) = -k**2 + 4*k - 7. Let x(h) = -h**2 + 4*h - 6. Let n(r) = -6*b(r) + 7*x(r). Let q be n(3). Solve 4*y = -j - 7, 5*j - q*j = 5*y + 25 for y.
-3
Let m = 14 + -13. Let i be m/((-3)/(-9 + 3)). Solve -4*l + 3 + 1 = 0, i*l = 2*a + 10 for a.
-4
Let t be (-1)/(-3) + (-20)/(-12). Suppose 0 = 2*w - 0 - t. Let y be (-2 - -4) + 0 + w. Solve -y*k - 9 = 4*v, -5*v - 3*k + 0*k - 12 = 0 for v.
-3
Suppose 0 = -9*s + 8 + 64. Solve 13 = -4*z - 3*t, -s = z + 3*t - 7*t for z.
-4
Let w be ((-12)/(-10))/((-3)/10). Let y = w + 7. Suppose 0 = -y*k - 9, -3*k - 24 = -3*j - 2*j. Solve -3*z - 2*a = 15, 4*z - j*a + 20 = -a for z.
-5
Let c(g) = -g - 7 + 3 - 7 + 2*g. Let a be c(11). Solve -2*t = t + 2*d + 9, a = -3*t + 4*d + 9 for t.
-1
Let h be 41/(-4) - (-1)/4. Let m = h + 19. Solve -o + 9 = 4*t + 25, t = 3*o + m for t.
-3
Let j = 6 + 0. Let b be -8*((-3)/1)/j. Solve d + 10 = 3*q, b*q - 2*d = d + 15 for q.
3
Suppose -m + 3*m = 44. Suppose 11 = 7*z - 3*z + 3*o, -5*z - 2*o = -19. Solve 0*x + 4*t + 14 = 2*x, -z*t = -x + m for x.
-3
Let h be (-4)/(-26) - (-378)/78. Solve 5*g + 7 = 2*z, 2*z = -2*z + g + h for z.
1
Let f(b) = 3*b - 2. Let h be f(2). Let a be (2 - 0)*h/8. Suppose -4*w + 21 = a. Solve 5*k - 25 = w*x + 5, 4*k - 6 = -2*x for x.
-3
Suppose 2*l = l + 3. Suppose 5*j - 4*i = 17, 0 = -j - j + 3*i + 11. Solve -10 = -3*r - 4*p - l, 2*p = r + j for r.
1
Let h(o) = -o**3 + 22*o**2 + 22*o + 25. Let r be h(23). Solve 5*c = -r*z + 5, -4*z - 27 = -2*c - 1 for z.
-5
Let d(v) = v**3 - 7*v**2 - 9*v + 10. Let c be d(8). Suppose c*u + 3 = 19. Solve -4*i - 11 - 5 = -4*x, 0 = -4*x - 4*i - u for x.
1
Let i(t) = -5*t - 1. Let j be i(-1). Let d be j/1*9/2. Suppose -4*u - 6 + d = 0. Solve 4*y + u + 12 = -g, 5*g = -2*y - 3 for y.
-4
Suppose 0 = 3*p + 2*q, 0 = -2*p - 0*q - 4*q - 8. Solve -3*o = -p*n + 5, -4*o + 3*o = 3*n - 13 for n.
4
Suppose 0 = 4*b + 74 - 94. Solve -b*v - 3*w - 15 = 0, 3*v + 3*w + 9 = w for v.
-3
Let p(w) = -w**3 - 11*w**2 + 4. Let k be p(-11). Solve 0 = -3*o + k*b - 15, 0 