m.
3
Let f(j) = j**3 + j**2 - 7*j - 3. Let a be f(-3). Solve a = m - b + 5, 2*m - b = -7 for m.
-2
Let h be 8/36 - (-34)/9. Solve 0 = -h*b + 3*g - 11, 2*g + 8 = -5*b - 0 for b.
-2
Suppose 2 + 10 = 6*c. Solve -3*u - 4*v + c = 0, 0*v - 4 = -u + 2*v for u.
2
Let v(m) = -2*m**2 - 17*m - 4. Let x be v(-8). Suppose -g = x*z + 5 + 10, 0 = 4*g - z - 25. Solve -g*q + p = -20, 3*q - 4*p = -q for q.
5
Let b = 3 + -3. Let s be (4/(-8) - -1)*4. Solve b = -s*n - 2*k - 0*k - 6, -5*k - 9 = 2*n for n.
-2
Suppose 4*l = t - 5, 3*t - 57 + 14 = -2*l. Let m = -8 + t. Solve -3 = q + 2*g + 5, m*q + 22 = -g for q.
-4
Let u(w) = -7*w + 52. Let r be u(7). Solve r*v + 32 - 11 = -3*c, -2*v - 16 = 3*c for v.
-5
Let i be 296/104 - 4/(-26). Let l(h) = 3*h**2 - h + 1. Let z be l(2). Solve -5*g + 15 = -2*t, -g - 3*t - i = z for g.
1
Let n = 21 - 11. Suppose n = 11*z - 9*z. Solve -4*m - 5*c + 31 = 0, z = 2*m - 5*c + 12 for m.
4
Suppose 2*s + 4 = w - 0, 9 = 4*w - s. Let z = 21 - 18. Suppose 4*n - w*v = -6*v + 28, -18 = -z*n - 2*v. Solve -3*b - 14 = -g, b + n*b = g - 24 for g.
-1
Suppose -2*m - 3*l = -9, -4*m - 4*l + 0*l = -16. Solve 2*a + 9 + 8 = -m*p, a + 1 = 0 for p.
-5
Let h be (-12)/16*2*-12. Suppose 0 = -4*k + h + 10. Solve x + 0*l = -3*l - k, 3*x = 4*l + 31 for x.
5
Let n be (0 + 0)/((-20)/(-10)). Solve -3*y + n*p = -4*p - 28, -p = 3*y - 8 for y.
4
Let l be (-94)/(-18) - 4/18. Suppose 2*q - z = 22, -2*z = 4*q - 5*z - 48. Let n be (-3)/q + (-10)/(-3). Solve -3*w - 20 + 2 = -n*a, -l*a + 23 = 2*w for w.
-1
Suppose -20 = -4*c, -3*m + 5*c = 8 + 5. Suppose 0 = -3*d + m*d - 2. Solve -d*g + u + 11 = 1, 5 = g + 2*u for g.
5
Suppose 0*j - 3*j - 5*f = -26, 5*j = -4*f + 39. Let y be (j/14)/((-2)/(-12)). Solve 36 = -y*w - w - 4*v, 0 = 4*w - v + 11 for w.
-4
Let f(n) = n**3 + 3*n**2 - 6*n - 3. Let j be f(-4). Suppose 0 = -4*m + 7 + 17. Solve -3*z + c = -0 - m, 0 = -j*c for z.
2
Let q be ((-8)/(-10))/(2/5). Solve 4*m = w + 14, 4 + q = -5*w + 4*m for w.
2
Let b be 10/4 + (-3)/(-6). Suppose -2*k + 0*k + 16 = 3*o, -18 = -5*o + k. Suppose -3*v + 1 = o*d, 0*d = 2*v + b*d. Solve 3*j + 9 = -3*t, -v*t + 1 = -4*t for j.
-2
Suppose -70 + 4 = -3*x. Solve -2*p - 4*q + x = 0, 4*p - 24 = p - 3*q for p.
5
Let k(u) = -u**2 + 14*u + 6. Let a be k(14). Let w = -4 - -7. Let n be 2*w*4/a. Solve n*h = 2*d - 3 - 1, d + 2*h + 6 = 0 for d.
-2
Suppose 1 - 11 = -2*p, -1 = 3*u - 2*p. Solve 3*l - u*v = 3, -5*l - 4*v - 8 = 5 for l.
-1
Let n = 41 + -26. Solve 15 = -3*b, 2*s - 3*b = -s + n for s.
0
Let w be 0*(-1 + (-2)/(-4)). Let m be (-454)/(-8) - (-3)/12. Suppose 5*k - m - 3 = 0. Solve k = 4*h + x, w = -h + 2*h + x - 6 for h.
2
Let j(g) = 19*g + 7. Let z be j(1). Let b be (-36)/(-10) + 2/5. Suppose -2*p + 4*p - b = 0. Solve p*t + z = 5*w + t, 0 = 5*w - 3*t - 28 for w.
5
Suppose l + 2*l = -s + 5, 4*l = 0. Let k(p) = -p**3 + 3*p**2 - 4*p + 2. Let h be k(1). Solve -x + b + 8 = h, -b = x - s*x + 17 for x.
3
Let d(y) = y + 2. Let g be d(2). Suppose g*s + 0*s + z = 81, 4*s = -4*z + 72. Solve a + 9 = 5*c, 4*c - s = 4*a - c for a.
-4
Let r(h) = -h + 3. Let s be r(9). Let a(q) = -3 + 1 + 10 + q. Let u be a(s). Solve -u*b + 3 = -4*i + b, 5*b = 5*i for i.
-3
Suppose -12 = -t + 2*l, 4*t - 8 = -2*l - 0*l. Solve 3*i + n - 6 = 6*n, 2*i = 4*n + t for i.
2
Suppose -3*g + 20 = g. Solve g*d - o - 23 = 0, -2*d + o - 2*o = -5 for d.
4
Let n(b) = 4*b - 16. Let r(q) = 9*q - 32. Let w(i) = -7*n(i) + 3*r(i). Let u be w(12). Solve -c - 4 = -5*x + x, 20 = 3*c + u*x for c.
4
Let v(t) = -7*t - 10. Let z be v(-3). Solve -z = -h - 2*g, -h + 3*g - 6*g + 14 = 0 for h.
5
Let r(q) = 4*q - 3. Let i be r(2). Suppose 15 + i = 5*w. Solve 2*v - 7*v = w*m + 29, 4*m + 9 = -v for v.
-5
Suppose -5*u + 3*f + 40 = 0, 0 = 3*f - 2*f. Suppose 8 = 4*d - u. Suppose 4*z = 16 + d. Solve 3*m + 9 = -p, -m - p + z = 2*p for m.
-4
Suppose n = -3*n + 14*n. Solve 3*y - 7*y - 3*i = -3, n = y + 2*i + 3 for y.
3
Suppose 0 = 4*h - 8, 5*y = -0*y - 4*h + 28. Suppose c - 2 = 2*k, 6 = y*c - k - 2. Suppose c*p = -p. Solve -3*i + p*l + 28 = 4*l, -4*i - 2*l + 24 = 0 for i.
4
Let j be 0/(-3 + 1 + 1). Suppose j*u + u - 2 = 0. Let g = u + -2. Solve g = -n - 5*k + 22, n - 3 + 1 = -k for n.
-3
Let s(r) be the third derivative of r**5/60 - r**4/6 - r**3/3 + 2*r**2. Let q be s(5). Solve 4*n - 8 = q*d + 2*n, 5*d - 5*n = -20 for d.
0
Let o = 68 + -66. Solve 4*y - 2*l = 5*y + 9, -2*l + 6 = -o*y for y.
-5
Let q be -2*(3 - (-20)/(-4)). Let n be q*(-6)/(-8) - 1. Solve 3*u = 3*d - 24, 0 = n*d - 2 - 6 for u.
-4
Suppose 0*h + 12 = 4*h. Solve h*u = -3*l - 30, 4*l - 6*u + 4*u = -10 for l.
-5
Suppose 4*f + m = 9, 3*m = -3*f - 0*m. Let l(s) = -4*s**2 + 0*s**3 + 3*s - 4*s**3 + 5*s**3. Let v be l(f). Solve -k + 2*c = 1, 0 = -v*k + 3*k + 2*c - 13 for k.
3
Let h = -9 - -13. Suppose -15 = -h*c + 93. Solve 0 = 5*o - 5*l + 2 + 8, 0 = -4*o - 3*l + c for o.
3
Let g be 3/5 - (-84)/35. Let j = 48 - 29. Solve x - 2*n + 5*n = j, n + 7 = g*x for x.
4
Let h be (3 + (-6)/(-2))*1. Solve 3*g - 20 = -4*a, -2*a + 2 + h = g for a.
2
Let c(x) = -11*x - 61. Let l be c(-6). Solve l*q - o = -4, -3*o - 9 = 5*q - 1 for q.
-1
Suppose -i = -3*w + 2*i, 4*i - 16 = -4*w. Suppose -2*m + w = -m. Let k = m + 0. Solve 4*a + 28 = -4*v, 1 = 3*v - a + k for v.
-2
Suppose 5*q + 5*a = 5, 1 = -3*q - 4*a - a. Suppose -q*u - 2*u + 25 = 0. Let j be u + (-2 + 3)*-3. Solve -2*l + j*w + 2 = 4*w, 2*w = -l + 5 for l.
-3
Suppose 2*k - 4 = -0*k + 3*c, k + 3*c - 11 = 0. Let u(v) = -v - 16. Let b be u(-16). Solve -k*t - 3*d + 34 = b, -3*d + 5*d - 21 = -3*t for t.
5
Let y(x) = -2*x + 14. Let u be y(7). Solve -n - d - 6 = u, -d - 3 = 2*n + 4 for n.
-1
Suppose 2*s - s = 4. Let f be 4/6 + (-37)/(-3). Solve u - 19 = s*y, -3*u + f = y - 2*y for y.
-4
Let h(p) = p**2. Let o be h(-2). Let n = o + -4. Solve n = -4*d - 5*m + 45, 0*d - 2*m + 35 = 5*d for d.
5
Let s be -2 - (-6 + 0/3). Suppose -5*x - 3 = 2*a + a, 17 = 5*a + x. Solve -s*m + 22 = 3*h, a*h + 4*m = 6*m for h.
2
Suppose l + 4*l - 35 = 0. Let f = -4 + l. Solve 3*c + 7 = -4*x, -10 = 4*c - f*x - 34 for c.
3
Let j(x) = -x + 9. Let q be j(7). Suppose -43 = r + 3*p, q*r + 28 = r + 2*p. Let s = 63 + r. Solve -6 = c - 3, 0 = 5*k + 3*c + s for k.
-4
Let a be 36/15 - (-14)/(-35). Solve -12 = 4*d + 4*o, -4*o + 2 = a*d + 10 for d.
-2
Let h = -5 - -18. Suppose 3*p = -2*r + h, 4*r - 28 = -3*p - p. Let q be (45/(-30))/(2/(-4)). Solve 5*j - r = -n + q, 4 = j + 2*n for j.
2
Suppose 2*y - 62 = -6*b + b, 0 = -2*b - y + 25. Solve -3*n = k + b, -2*k + 3*k - 23 = 4*n for n.
-5
Suppose -5*b = -b - 36. Suppose 2*p + p + b = 0. Let l = p + 5. Solve 0 = 5*y - 3*h - 21, l*y = 2*h - 3*h + 4 for y.
3
Let q(p) = 4*p**3 + p**2 - p. Let f be q(1). Solve -v - 3*k + 1 = 0, v - 4*k = f*v + 7 for v.
-5
Let i = 5 - 5. Suppose i*w = 4*w. Suppose w = -2*y - y. Solve -5*c = -5, 2*c + y*c + 7 = -3*t for t.
-3
Suppose 9*t + 25 = 4*t - 5*k, 2*t = -3*k - 9. Let z be ((-18)/(-15))/(t/(-15)). Solve -2*o - 2*r + 6 = 0, -z*r - 8 = -4*o - 5*r for o.
1
Let w = 1 + 9. Solve -5*i - b + 15 = 0, w - 1 = i - b for i.
4
Suppose 0 = -4*f - 0*f + 3*o + 5, 0 = 5*f - 2*o - 8. Let v be 7*1 + -3 + 3. Let w = v - f. Solve -2*l + w = z, 0*z - 5 = -l - z for l.
0
Suppose 4*s - 3 = 3*s. Let n be (6/24)/(2/16). Suppose n*z = -z. Solve z*w + 2*o = -4*w + 4, w - s*o + 6 = 0 for w.
0
Let u be -3*1/(-3)*-9. Let a = u - -32. Solve -3*r + 16 = -5*y, r - 4*y = 2*r + a for r.
-3
Let p = -6 + 4. Let a = p + 2. Solve -t - 3*v - 6 = 0, 5*t + 3*v - 6 = -a*v for t.
3
Suppose 3 + 3 = -3*y + 3*a, 0 = -y - a + 2. Solve v - 4*q + 8 - 1 = y, -4*q = -4*v - 16 for v.
-3
Let u be 12/(-18) + 2/3. Solve -2*c - x - 5 = u, c - 3*x = 4*c for c.
-5
Let o be 8 + 1 + (-4)/2. Let u = 3 + o. Let w = u + -7. Solve 0 = w*y + 3 - 0, -8 = 3*k - y for k.
-3
Suppose 5*l - l - 8 = 0. Let f be l/(-2)*1*-4. Solve -4*x + 3*o - 2*o + 25 = 0, -f*x + 30 = -2*o for x.
5
Suppose -4 - 21 = -5*a. Solve -2*u - a = -i, 4*u = -0*i + i - 9 for u.
-2
Suppose 0*p - 10 = p - 5*x, 2*p + 2*x - 28 = 0. Solve 3*s - 5 = n, -s = 6*n - 4*n + p for s.
0
Let y = -8 + 10. Solve -y*p - 4*b = -18, -2*b = -4*p - 21 + 7 for p.
-1
Suppose -12*q = -10*q + 2. Let r = 1 - q. Solve -4*w + 0*i = 3*i - 4, -w + r*i - 10 = 0 for w.
-2
Let b(m) = 3*m - 7. Let f be b(5). Suppose f*v = 3*v + 10. Solve -4*g + 2*g = 2, v*r + 3*g + 1 = 0 for r.
1
Le