 m.
3
Let z = -1092 + 1099. Solve 0*f - 3 = -2*u - f, -3*u - f + z = 0 for u.
4
Suppose 76 = 5*r - 399. Let x = r + -76. Solve j - 4*b + 11 = -3, 5*j - 3*b + x = 0 for j.
-2
Let o be (-6 + (-117)/18)*-2. Solve -w + 4*m = o, -5*m + 45 = -5*w - m for w.
-5
Suppose -8*m + 135 = 7*m. Suppose -v = -m*v + 136. Suppose 0 = c + c - 46. Solve -c = -z - 5*i, z - v = 2*z - 5*i for z.
3
Let w(u) = -6*u + 13. Let o be w(-5). Suppose -44*v + o*v + 2 = 0. Solve 0 = -3*b - 5*p - 25, v*b - 4*p = -p + 15 for b.
0
Let r be (1*0/1)/(-2). Let l(m) = -m**3 - 2*m**2 + 3*m + 9. Let v be l(0). Suppose -12 = v*z - 12*z. Solve r = z*x + 2*c + 6, -2*x - c - 13 = 2*c for x.
1
Let j be (-3)/((-3)/(4 + 5)). Solve x - 5*x + j = i, i + 5*x - 11 = 0 for i.
1
Let a(s) = -s**3 - 2*s**2 + 5*s + 6. Let u be a(-3). Solve o - 1 = -2*k, u = -3*k - 0*k for o.
1
Let s = -12 - -11. Let n = 9 - s. Suppose -u + n = u. Solve 6*q = 2*q - 5*x - 21, 3*x = u*q - 20 for q.
1
Let z = 1185 + -1185. Solve -m + 9 = -4*r - 2, z = -m + 3 for r.
-2
Let u be ((-4)/6)/((-2)/9). Solve 2*h + 5 = -g, 0 = u*h - g - 3*g - 9 for h.
-1
Let c = 4 + 1. Suppose 0 = -c*r + 2*m, m + 4*m = 5*r. Let n = 4 - r. Solve 0 = b + n*f - 15, 3*f = -0*b - b + 10 for b.
-5
Let l(r) = -4*r**3 - 3*r**2 - r. Let z be l(-1). Solve 5*j + 5*k = -0*j + 25, 2 = 2*j - z*k for j.
3
Suppose 5*r + 11 - 31 = 0. Solve 4*p - 5*p + 3*h = 2, -r*p + 5*h = 1 for p.
1
Let u be ((-42)/15)/(4 - (-63)/(-15)). Suppose -35 = -u*k + 21. Solve 4*p + 1 = 3*b + k, 0 = b - 3 for p.
3
Suppose 0 = -x + 28 - 26. Let k(r) be the third derivative of r**4/8 - r**3/3 + 3*r**2. Let c be k(6). Solve 5*i + a + c = 0, -i + x*a - 16 = i for i.
-4
Suppose -6*b = -5*b - 5. Suppose b = -n + 2*n. Solve h + 0 = -n*t + 7, 0 = -t - 4*h - 10 for t.
2
Let d be (-17 - -7) + 1 - -15. Solve m - 4*x - 12 = -d, 4*x = -8 for m.
-2
Suppose -4*j = -3*s + 16, -j + 17 = 3*s - 6*j. Suppose -2*t + 29 = -3*l, s*t - 4*l - 64 = -0*l. Solve -5*a + 3 = 2*r + t, -4*a = 16 for r.
2
Let v = 3 + -1. Suppose 0 = -v*x - 5*d + 14, x - 26 = -2*x - 5*d. Solve 2*f = 5*a + 4*f - 25, -a + 3*f = x for a.
3
Let b be 8/36 + (-124)/(-9). Let g be (8/14)/(2/b). Solve -2*u + 2*w - 14 = w, 40 = -g*u + 5*w for u.
-5
Let y be 4*2/(-12)*(-18)/4. Let f be y + 1*(1 - 0). Solve -13 = 2*m + 3*d - 4, 4*d + 8 = -f*m for m.
3
Suppose p - 10 = -o, -4*p - 2*o + 28 = -2. Let u(f) = -f + 9. Let j be u(5). Suppose -2 = -j*x + 6. Solve 3*n - 4*d = 18, -p*d - 9 - 2 = x*n for n.
2
Let z = 37 - 54. Let l = -21 - z. Let m be (4 - l)*(-1)/(-2). Solve 0 = 3*c - 3, m*k + c - 16 = 5*c for k.
5
Suppose 3*p = -4*k + 19, -3 = -2*p - 1. Solve 2 = -2*a - k*c, 0*a = -5*a - 3*c + 2 for a.
1
Suppose -2*a - 8 + 22 = -2*k, -16 = 4*k. Solve 0 = 5*h - 4*q + 4 + 2, a*q = 5*h + 2 for h.
2
Let v(n) = -n**3 + 14*n**2 - 33*n + 7. Let s be v(11). Solve -10*w + 8*w = h + 9, s = -2*w + h for w.
-4
Let o(d) = d**2 + 6*d - 5. Let z be o(-7). Suppose 5*k - 8 = y - 0*y, -4 = -z*k. Solve 2*c + 2*c + 2 = -y*p, -5*p + c + 6 = 0 for p.
1
Let u = -385 + 390. Solve l - 5*t = -5, 4*t = -u*l + 2*l - 15 for l.
-5
Let c be 75*((-13)/(-5) - 3). Let t = c + 35. Solve 0 = -2*k + t*q, -q = -3*k + 3*q + 7 for k.
5
Let y be (-10)/(-8) + (-176)/(-64). Solve 2*w + 1 = -r, -2*w - y*r = -2*r for w.
-1
Let u = 1740 + -1737. Solve -17 = -u*h + c - 5*c, -3*h = c - 11 for h.
3
Let b be -2 - 5/((-10)/12). Let i = 1103 - 1101. Solve -b*j - 14 = -a, -4*a + 2 = i*j - 0 for j.
-3
Let l be (1/2 - 3)*(-8)/(-10). Let i be (-9)/l*2/3. Solve 6 = 3*v - r, 3*v = 2*r + 9 - i for v.
2
Let a = 37 - 33. Suppose 0 = 4*y - 7 - 9. Suppose 2*w + y*t + 12 = 0, -5*w - 5*t - 6 = a. Solve 0 = 5*o - 25, -w*f + 5*o - 23 = -0*o for f.
1
Let w = 613 + -606. Solve -3*h - 2*l - w = 0, 2 = -4*h + 2*l - 12 for h.
-3
Let g = 0 + 2. Let k(z) be the first derivative of -z**2 - 6*z + 26. Let v be k(-7). Solve v = 4*c - g*u + 7*u, c = -5*u + 17 for c.
-3
Suppose 4 = -10*g + 4. Solve -4*r + 4*d = -g*r + 8, d = -2*r - 10 for r.
-4
Let s = 179 - 176. Let b(k) = 0*k**3 - 4*k**2 + k**2 + 4 + 2*k**3 + 3*k. Let o be b(s). Solve -3*r - 4*z - 5 + o = 0, 2*r = 4*z - 10 for r.
5
Let k = -1534 + 1548. Solve -k = -5*r + 1, 5*z - 22 = r for z.
5
Let b = -36 + 62. Suppose 18 = -4*f + b. Solve 0 = -3*r - 6, -r + 4*r = -f*u for u.
3
Suppose -2*y - 1 = -7. Suppose -y*u - 2 = -11. Suppose 4*b - 22 = -i + 2, -2*i + 2*b + 38 = 0. Solve 4 = u*a - c, -6*c = -c + i for a.
0
Let v(a) = -a**3 + 20*a**2 - 21*a + 43. Let n be v(19). Solve 4*o = -3*p + 28 - n, -o + 7 = p for p.
5
Let r(x) = 2*x**2 + 4*x + 1. Let s be r(3). Let v = 33 - s. Solve -g + 4*q = -8, -2*g - 2*q = v + 2 for g.
0
Suppose 0 = 5*i - 86 + 56. Let n = 2 - -10. Let u = -7 + n. Solve -23 + u = -3*a - h, i = 2*h for a.
5
Suppose 5 = -38*q + 43*q. Solve 0*g - q = 3*f - 2*g, 0 = -2*f + 5*g - 19 for f.
3
Let d be 5/((-75)/(-18))*5. Suppose d - 14 = -2*g. Let p(l) = -l**2 + 5*l - 1. Let u be p(g). Solve -3*y - b = -4*b, y + u*b = 12 for y.
3
Let m(p) = -p**2 + 4. Let s be m(0). Let n = 6 - s. Solve 0*w = -w + n, -4*d + 4*w - 28 = 0 for d.
-5
Let m = 31 + -21. Let d be 6*(0 + 5/m). Solve -4*u = -2*k - 14, -3*u - d*k + 10 = -4*k for u.
3
Suppose -v - 59 = -y, 40 = -5*v + 4*y - 256. Let z be (v/14)/((-9)/(-63)). Let p = -5 - z. Solve -13 = 3*q + 2*d, -4*q + 6*d - p = d for q.
-5
Suppose -2 - 1 = 3*m, 0 = 3*h + 3*m - 138. Let k = 49 - h. Solve 2*q - q + 4 = 3*x, 0 = 3*x - 4*q + k for x.
2
Suppose 15*h - 10*h = -10. Let y be 7 - (-6 - -8 - 0/h). Solve 4*n + 3 = -k - 18, -y*k = 5*n + 45 for k.
-5
Let g(t) = -t - 41. Let d(a) = 20. Let r(y) = -7*d(y) - 3*g(y). Let i be r(7). Solve 3*m = -4*q + 7 + i, -5*q + 12 = 2*m for m.
1
Suppose -6*u - 709 = 233. Let h = -155 - u. Solve -q = h*i - 2 + 1, 0 = -2*i - 4*q - 14 for i.
3
Let r(l) = -l**2 - 6*l - 1. Let z be r(-5). Let q = -1353 - -1357. Solve b - z*b + n = -16, -2*b + q*n = -14 for b.
5
Let n(z) = 12*z + 12. Let h be n(-3). Let s = 33 + h. Solve -4*w + 2*i = 6*i, 0 = 5*w + 2*i + s for w.
-3
Suppose -3*f + w + 1 = 0, 5*w = 5*f - 1 - 4. Suppose 2*b - 2 - 4 = f. Suppose b*n = 7*n - 12. Solve 4*u + 8 = -3*s + 2*u, -6 = 3*s + n*u for s.
-4
Suppose 3*h + n - 10 = 0, n = -4*h + 5*h - 10. Suppose -3*t + t = -26. Let v = t - 8. Solve 0 = h*b + x - 5 + 1, 0 = -b + v*x + 6 for b.
1
Let b = 148 + -144. Solve -y + 3*i + b - 11 = 0, -3*y = 5*i + 7 for y.
-4
Suppose -3*t + 7 = -4*d, 0 = -7*d + 2*d - 3*t + 25. Solve 30 = 5*y - 3*p, d*p + p = -y - 12 for y.
3
Suppose 3*z = -3*u + 18, 39*z + 21 = 35*z + 5*u. Solve -2*p - 3 = -m, -10 = 3*m - z for p.
-3
Suppose 0 = 3*c - 31 + 22. Let w be (-4)/14 - 9/126*-4. Solve -5*y + 35 = -5*t, w*y + c*y - 5*t - 25 = 0 for y.
5
Let h be 650/(-55) + 12 + (-383)/(-11). Solve -3*d = 5*z - h, 0 = 4*z + d + 4*d - 41 for z.
4
Let c be 1/(4 - (-135)/(-35)). Let f(u) = -u**3 + 6*u**2 + 2*u + 37. Let p be f(c). Solve -3*y = -b + 11, -p*y - b + 0*b = 4 for y.
-3
Let c be -4 - 80/(8/(-2)). Suppose 2*b + c = 4*m, 5*b - m = 2*b + 1. Let o be 43/4 - (-2)/8. Solve d - 4*h + 5 + o = 0, 17 = -b*d + 5*h for d.
4
Suppose 4*w = 3*g + 10, 3*w - 2*g + 24 = 8*w. Solve w*x = -m + 7, -9*x = -4*x - 2*m - 25 for x.
3
Let k(g) = -6*g + 52. Let c be k(8). Let l = -8 - -11. Solve -2*v + 5 = d, -d + 6 = c*v - l for d.
1
Suppose -c - 4*t - 21 = 0, t = -5*c - 4 - 6. Suppose y + 3*y = -16. Let q be (1 - 0)/(c/y). Solve d + 5*v = -27, v + 9 = -q*d - 4 for d.
-2
Let t be 1/(4 - 75/20) - 0. Let p = 1 - 0. Let x(v) = v**2 - 1. Let s be x(p). Solve -t*q - 4*z + 4 = s, 0 = -q + 3*q + 3*z - 6 for q.
-3
Suppose -5*r = n + 1 + 9, 0 = 4*n + 2*r - 14. Suppose -n*p - 9*p = -56. Solve 4*j + 4*x - p = 0, -j + 0*x = 2*x - 6 for j.
-4
Let k be (3 + -2)/(3/9). Suppose g - k*n + 6 = 0, -6*g + 2*g = 4*n - 24. Solve -g*y = 3*l - 4*l - 15, -y + 13 = -3*l for y.
4
Suppose 0 = 2*y - 28 + 4. Suppose 10*q - y = 6*q. Solve q*g = -3*s, -5*g = 3*s - 5*s + 35 for s.
5
Let h(v) = v - 4. Let u be h(7). Suppose u*w + 90 = 9*w. Solve 3*g - 4*c - w = -c, 2*g + 3*c + 5 = 0 for g.
2
Let l(t) = -3*t - 2. Let d be l(-2). Suppose -g = d*g - 10. Let j be (28 + -27)*(-4)/(-2). Solve j*m - 2 = n - g*n, 0 = -5*m - 2*n + 6 for m.
2
Suppose 4*c = -3*i - 5, 0 = i + 5*c + 13 + 7. Suppose -h + 7 = i. Solve -3*t - 26 = k + h*t, -2*t = 10 for k.
-1
Suppose -29 = 7*n - 8. Let w be 6 + (-8)/(1 - n). Sol