4*r = 5. Solve -m - k - 3 = -2*s, s = -4*m + 3 for m.
0
Suppose 77*b = 82*b - 10. Let u be (-24)/15*(-15)/b. Solve 4*a - 12 = -v, -v - 2*a - u = 4*v for v.
-4
Let s(d) = d**2 - 7*d - 8. Suppose -5*q + 3*b + 31 = 0, 0 = -5*q - b - 3*b + 52. Let m be s(q). Solve -i - 2 = -4*f, m*i = -5*i - 4*f + 14 for i.
2
Let g(w) = w**2 - 8*w - 18. Let j be g(10). Suppose -x - x + 36 = 0. Solve -4*t = -2*n + x, -5*n + 3*t + j*t = -35 for n.
5
Let g(d) be the first derivative of -d**3/3 - 13*d**2/2 + 21*d - 12. Let h be g(-14). Solve -o - 2*u = u - h, 0 = -3*u + 3 for o.
4
Let u(o) = o**2 - 4*o - 9. Let n be u(7). Let j be n*(-2 + 7/3) - -10. Solve 0 = 5*f + 2*c - 20, 2*c - j = -f - f for f.
2
Let b = -12 + 15. Suppose 3 + 3 = -b*w. Let g = w - -7. Solve -g = 2*m + i, 4 = -m - 0*m - i for m.
-1
Suppose 2*m - 5*m = -9. Suppose o = -3*r + 18, 5*o + r - 24 = -4. Solve m*d = -2*d + 25, o*v = 3*d - 15 for v.
0
Suppose 20*u + 16 = 76. Solve 5*w - 2*b + 0 - 12 = 0, w - 16 = -u*b for w.
4
Let h(a) = a**3 - 18*a**2 - 15*a - 74. Let w be h(19). Solve -15 = w*i - 4*f + 9, 2*i + 2*f = 0 for i.
-4
Let y = 41 - 50. Let z be -3*((-12)/y)/(-2). Solve -4*l - 3*p + p = -18, -4*l = -z*p - 6 for l.
3
Let s(k) = -k**3 + 8*k**2 - 16*k + 28. Let z be s(6). Solve -z*b + 12 + 0 = -3*g, -4*g = -b + 3 for g.
0
Suppose -5*k + 5 = 5*d, -2*k - 3 = -3*d - 0*d. Suppose -14*f + 11*f = k. Solve 1 = 5*j - f*j + 4*c, 5*j - 3*c = -27 for j.
-3
Suppose 0 = 5*y - 5*k + 45, -3*y - 3*k - 2*k - 43 = 0. Let o = 16 + y. Solve 4*z + p = -16 + o, 3*z - 4*p + 13 = 0 for z.
-3
Suppose -15*y = -19*y. Solve y = -2*g + 4*o + 12, 6 = -5*g + o - 0*o for g.
-2
Let k(g) = -g**2 - 8*g - 15. Let x be k(-5). Suppose -m + 5*j = -20, -3*m + 2*j - 4*j + 26 = x. Solve -5*p - 6 + 16 = 0, m = 4*n - p for n.
3
Let c(b) = b + 3. Suppose 12 = -7*n + 5*n. Let v be n/4 - 12/(-8). Let u be c(v). Solve z - 6 = -h, z + h + u*h - 18 = 0 for z.
2
Suppose 0 = 3*b - 4*t - 50, 4*b = t + 2*t + 62. Let k = 3 - 3. Solve 3*l - a = -b, k = -4*l + 2*a - 9 - 13 for l.
-3
Let s be (-12)/(-2)*(-12)/(-9). Let l = 16 - s. Solve 5*n + l = 3*h, 4*h + 2*n + n = -28 for h.
-4
Suppose -2*y + 1 + 3 = 2*z, -4*y + 4*z = -32. Suppose -u - y*q - 10 = 0, -2*u = -u + q + 2. Solve 3*d = -u*d - 5*a - 6, 3*a = 0 for d.
-2
Let d = -2 + 2. Let g be d - 6*(-4)/8. Let x be -15*(g/(-9) + 0). Solve 3*q + 12 = -3*c, 0*q = x*q - 5*c for q.
-2
Let a be (15*(-3)/27)/((-2)/6). Solve 7 + 1 = 3*c - a*r, r = 5*c - 6 for c.
1
Suppose -5*t + 3*t + 4 = 0. Suppose 0 = a - u - t, a + 10 - 2 = -4*u. Suppose a = r + 4 - 7. Solve -r*q - 3*p = 2*p - 20, 2*q + 4 = p for q.
0
Suppose -v = -a - 2, 45*a - 41*a - 5*v + 13 = 0. Solve 2*t = -3*h + 15, a*t + 4*h - 7*h = 0 for t.
3
Let l = 60 - 44. Suppose l = 3*p + 16. Solve p = k - r, -r = k - 4*k - 8 for k.
-4
Suppose 3*s + 4*k = 14, -4*s + 11*k - 7*k = 0. Solve 2*l = s*x + 8, -4*l + x = -x - 18 for l.
5
Let h be ((-48)/60)/((-7)/35). Solve 2*b + 5*v - 3 = 5, h*v - 12 = -3*b for b.
4
Let v(q) = 4*q + 39. Suppose -3*n + 1 = -2*z + z, 6 = -3*n. Let r be v(z). Solve 0 = 3*k + h + h + r, 5*k + 3*h = -17 for k.
-1
Suppose -7*c + 60 = -2*c. Let j be (6/(-4))/((-6)/c). Suppose 0 = j*b - 0*m + m + 1, -3*b - 5 = 2*m. Solve 2*k = -5 - 1, t = -k - b for t.
2
Let l(k) = 9*k + 155. Let b be l(-17). Solve b*n - 4*p + 1 = 3, 4 = 2*p for n.
5
Suppose -2*u = -0*u + 4. Suppose 0 = 2*v + 4*d - 20, 5*d = -5*v + 13 + 17. Let k be u - 28/((-8)/v). Solve 2*x - 4 - 7 = -k*m, 2*x - 10 = -4*m for m.
1
Suppose j = -2*g + 15, 5*j + 10 + 5 = 0. Let i be (5 + -1)*g/18. Suppose l - 17 = -i*b, -b - 1 = 4*l + 1. Solve 2*s - 15 = x, b = -0*s + 2*s for x.
-5
Let j = -4 + 4. Let i = 9 - -14. Let w = i + -10. Solve -f - 5*y + w = j, 2*y - 1 - 5 = 0 for f.
-2
Suppose 7*z = 3*z. Suppose 2*t = 2*s - 6, -t + 6*t - 3 = -s. Suppose t = 11*q - 13*q + 6. Solve l = -q*o + 6, 4 = -5*l - z*o + 2*o for l.
0
Let h(b) = 4*b**2 - 13*b - 5. Let r be h(5). Let a = -14 + 18. Solve -5*q = g + a*g - r, g - 10 = -3*q for q.
2
Suppose -31*w = -44*w + 13. Solve w = -4*v + 2*c - 1, -10 = 2*v + 2*c for v.
-2
Suppose -4*u - 27*x + 50 = -25*x, -5*x = -3*u + 70. Solve -u = -3*l, -5*i + 4*l = 42 + 3 for i.
-5
Let n = 91 - 71. Suppose -n*d - 138 = -26*d. Let p be (-219)/(-9) - 4/(-6). Solve 2*q + d = -4*l + 5, -p = 5*q + 5*l for q.
-1
Suppose r + 4*r + 90 = 0. Let g be (r/21)/((-2)/42). Suppose 2*a + 3*m - g = 0, -4*a - 4*m + 4 = -40. Solve -o = 4*o - a, u = -5*o + 16 for u.
1
Suppose 5*i + 3 = -4*t - 5, -2*t = 4*i + 4. Solve 3*m - 5*l - 15 = 0, i = -2*m + 5*l - 3*l + 6 for m.
0
Let v be -1 + (2 - 14*-1). Suppose 0 = -4*p + v - 3. Solve 0 = 3*m + 3*j + 3, -4 = 5*m - p*j - 31 for m.
3
Let i(z) = z**2 - 16*z + 3. Let l be i(15). Let k = -4 - l. Suppose -k*h + 9 = -5*h. Solve -u + h*g - 22 = 3*u, g + 6 = -2*u for u.
-4
Suppose 0 = -3*y - 4*t + 11, y - 3*t - 3 = -5*t. Let x = 32 - 30. Solve -x = -a + 2*p - y, 4*p = a + 11 for a.
5
Let t be 7 + 3 + -3 + (-2 - -2). Solve j - 5*a + t*a = 1, 4*j + 22 = 5*a for j.
-3
Suppose 19 = 4*h - 13. Suppose -15 - h = -f - 5*c, 3*f = c + 37. Solve 0 = -u + 4*y + f, -5*u = -3*u + 4*y + 22 for u.
-3
Suppose -26*q - 12 = -142. Solve 0 = -q*v - n - 0 - 15, 4*v + 2*n + 12 = 0 for v.
-3
Let y = -13 - -18. Suppose 814*d - 170 = 804*d. Solve -y*c + k + 25 = 0, 0*k + k + d = 3*c for c.
4
Suppose -i = 1, j - 9 = 7*i - 5*i. Solve -2*b = 5*h - 19, -h + j - 10 = -3*b for b.
2
Suppose -342 = 16*x - 438. Solve -2*j - 5*b = -x*b - 7, -3*j = 2*b for j.
2
Suppose 0 = -9*x + 30*x - 105. Solve x*s + 7 + 3 = -5*l, -2*s = -3*l - 16 for l.
-4
Suppose -32 = -3*k + 16. Let o be 28/k*(3 + 1). Let w(l) = -l**3 + 6*l**2 + 12*l - 15. Let z be w(o). Solve b + 3*q + z = 0, 5 = -2*b - q - 10 for b.
-5
Suppose 10 = 17*n - 15*n. Solve -5*x + 20 = -0*x, -21 = n*u - 4*x for u.
-1
Let w(r) = -17*r + 5. Let a be w(1). Let p be (-21)/(-6) - (-18)/a. Solve -h - 9 = -2*m, p*m + 2*h = -0*m for m.
3
Suppose -3*l + 128 = 20. Solve k - 12 = 2*g - 0*g, 5*k - l = 4*g for k.
4
Let g be 51/9 + -2*1/3. Suppose g*p = 2*f + 10, -f - p + 1 = -8. Solve -x - x - 6 = -4*a, -3*a + 37 = f*x for a.
4
Suppose -33*k - 3*i + 8 = -34*k, 5*i = -5*k + 40. Solve -t - 10 = k*t + 4*w, w = -t - 3 for t.
2
Suppose -9 = 6*m - 117. Suppose -3*y + 27 - m = 0. Solve -5*x - 34 = 3*n, 0*x - y*x = -3*n + 6 for x.
-5
Let s be (5 - 1) + 5/((-80)/32). Solve 5 = -5*h, 2*l + s*h = l - 1 for l.
1
Suppose -5*j = 2*i - 55, 5*j + i + 5 = 55. Suppose r = 4 + j. Let f = 17 - r. Solve 0 = 3*a + 3*b, f*b + 7 = -0*a + 3*a for a.
1
Suppose -17 = -2*k + 5*b, -k - 2*k - 12 = 5*b. Suppose 4 = n - k. Solve 3*g = -4*v + 5*g + 18, 0 = -v - n*g - 23 for v.
2
Let x be 15*((-2)/(48/18) - 50/(-24)). Let f = 12 + -7. Suppose -4*z + 21 = f. Solve 10 = m + 3*s - 5, 0 = 3*m + z*s - x for m.
0
Let a = 15 - 11. Suppose -a*b + 5*y - 54 = 0, 2*b + 4*y = -63 + 23. Let w = 16 + b. Solve 5*g = 2*g + k + 11, w = g - 4*k - 22 for g.
2
Suppose 23*b - 174 = -105. Solve 0 = 4*w + 2*l + l - 24, -b*l + 21 = 3*w for w.
3
Suppose 21*g - 4*g - 1173 = 0. Suppose -2*r + g = 57. Solve j - 9 = 4*m, 3*m + r = 2*m + j for m.
-1
Suppose -4*t = -5*y + 27 + 25, -2*t - 14 = -y. Let f be ((-1)/2)/((-1)/y). Suppose -18 = -13*p + 47. Solve f*c - 21 = -p*z, -3*z - 6*c + 23 = -c for z.
1
Suppose -4*u + 11 = 5*x + 3, 4*x + 5*u - 1 = 0. Solve j = -5*c - 0*c - 27, x*c = -4*j - 28 for c.
-5
Suppose 5*h = 10 + 5. Suppose 65 + 673 = -9*r. Let w = -80 - r. Solve w*d + h*l + 2*l - 17 = 0, -l + 25 = -5*d for d.
-4
Suppose 56*g = 54 + 114. Solve -4*f = -5*x - 16, 3*f - 12 = -g*x + 5*x for f.
4
Let x(o) = o**2 - 14*o + 22. Let q be x(13). Let g(u) = u**3 - 5*u**2 + u - 2. Let h be g(5). Solve 7 = f + 5*c, 5*f - h*c + q = 4*f for f.
-3
Let w = -4835 - -4845. Let v = 9 - 6. Let q be 1/v - 28/(-6). Solve 3*p - w = q*u, 4*u + u - p + 20 = 0 for u.
-5
Let r = 1916 - 1906. Solve 3*d + 10*z + 5 = 9*z, 5*z = -r for d.
-1
Let s(c) = c**3 + 3*c - 2. Let d be s(2). Suppose -2*h + d = 2*j - j, 2*j + 3*h - 23 = 0. Solve -t - j = -6*t + 5*w, w = -t + 2 for t.
2
Let g = 873 + -871. Solve 4*v + 3*k + 10 = 6*v, g*v - 2 = k for v.
-1
Let f = 35 + -32. Solve -3*i - 10 = -3*d - 2*d, f*d + 5*i = 6 for d.
2
Suppose i + 1 = 4. Let p(k) = -k + 12. Let y be p(10). Solve -3*h + 6*h + i*g = 0, y*h - 4*g = -24 for h.
-4
Let a be (4 - (5 - 2))*