m.
-1
Suppose -3*k = 5*a + 32, 4 + 12 = -4*a. Let h = -11 - k. Let b = h - -11. Solve 0*x - b = x for x.
-4
Suppose y + 10 = 5*c + 6*y, 38 = 4*c - 2*y. Let h(i) = i**2 - 8*i + 12. Let f be h(c). Solve 0 = f*t - 6 - 9 for t.
3
Let p = -8 - -15. Suppose -2*c - 20 = -p*c. Solve 0*b - 12 = -c*b for b.
3
Let a = 71 - 110. Let m = -28 - a. Let y = m - 6. Solve y*c - 3*c - 10 = 0 for c.
5
Suppose -2*n + 7 = o + 2, o + 25 = 4*n. Suppose 7*k = 10 + 18. Suppose -q + 5*t = n - 15, 0 = q - 2*t - k. Solve q = -i - 1 + 5 for i.
4
Let i = 104 - 196. Let h be (-1 - 7)*23/i. Solve -3 = -h*f + 3 for f.
3
Let o = -87 - -102. Let t be (5/o)/(1 + (-14)/15). Solve 0 = t*p + 2 - 12 for p.
2
Suppose -5*k - 360 = -4*z, -7*z = -3*z - k - 360. Let r = -86 + z. Solve 2*q + 4 = r*q for q.
2
Suppose -5 = 5*s + o, 2*s + 2 + 0 = 3*o. Let k be ((-255)/(-17))/(s/(-1)). Solve -4*z - k = z for z.
-3
Suppose 2*n = 4*u - 8, -u = 4*n - 4 - 7. Solve -l - 2*l = -u for l.
1
Suppose 0 = 4*l - 5*c - 31, -9*l + 4*l - 3*c + 11 = 0. Solve -12*b + 11*b = l for b.
-4
Let l be ((-1)/(-3)*0)/(-1). Let w be 3 - (-25 - (-3 - l)). Suppose w = -p + 6*p. Solve -3*n + p = 2 for n.
1
Let s(a) = a**2 - 3*a + 5. Let q be s(4). Suppose 3*f - 48 = q. Suppose -5*h + f + 1 = 0. Solve h*p - 5 = -p for p.
1
Suppose -19*u + 21*u - 10 = 0. Suppose -u*n = -14*n + 18. Solve 0 = -n*i - i - 6 for i.
-2
Suppose 0 = 5*v + 4*q - 22, 2*v + 7 - 2 = 3*q. Let r(w) = -2*w - 9. Let l be r(-9). Solve 5*n - v*n = -l for n.
-3
Let c(o) = -o**3 + 6*o**2 - 2*o - 2. Let q be c(5). Let l be (q + 2)/(3/2). Suppose -2*i + 36 = 10*i. Solve t - l = i*t for t.
-5
Let m = -652 - -656. Solve 6 = -10*z + m*z for z.
-1
Let a(b) = b**3 - 3*b**2 + 2*b - 3. Let w be a(3). Suppose 5 = w*n + g, 5*g - 9 - 16 = -4*n. Suppose -5*j + 7 + 8 = n. Solve 15 - 6 = j*l for l.
3
Suppose g - 2*b = 10, 0*g - 5 = -5*g - 5*b. Suppose -2*d - 3*d + 5*s = 0, -4*d - g*s = 0. Suppose d = -19*u + 15*u. Solve 4*l = -u*l + 12 for l.
3
Let j(p) = -p**3 - 46*p**2 + 35*p - 546. Let b be j(-47). Let d be 0/(-1)*(1 + 0). Solve d = -3*f - b + 3 for f.
-5
Let m(i) = i**3 + 3*i**2 + 2*i + 2. Let q be m(-2). Let f(l) = 5*l - 6. Let g be f(q). Solve -n = 1 + g for n.
-5
Let k(l) = l + 9. Let z(a) = 23*a. Let s be z(1). Let x = 16 - s. Let b be k(x). Solve -b*r = -0 + 4 for r.
-2
Let i(y) be the first derivative of -y**2/2 + 9*y - 16. Let l be i(5). Solve -f + 12 = -l*f for f.
-4
Suppose -17*l + 456 = 21*l. Solve -22*c + l = -26*c for c.
-3
Let q(n) = 0*n**2 + n**2 + 4*n + 4 - 8. Let u be q(-6). Let d = 8 - u. Solve d = 5*m - 2*m + 3 for m.
-1
Let m = 27 + -22. Suppose -2*r = b - 8, 0 = m*r - 2*b - 2 - 9. Solve 1 = 2*c - r for c.
2
Let b = -44 - -44. Suppose b*x - x = -4. Solve -w = x*w for w.
0
Suppose -18*i = -19*i. Solve 6*q = -6 - i for q.
-1
Suppose -28*v = -141 - 27. Solve 0 = -0*f - v*f - 4*f for f.
0
Suppose 0 - 6 = -2*o. Let y be 14/o + (-6)/9. Suppose q = y*q - 33. Solve -1 = -4*i + q for i.
3
Let z(f) = -3*f - 2. Let i be z(3). Let a(q) = q**2 + 12*q + 14. Let g be a(i). Suppose -3*r + 35 = -r + g*u, -4*r + 5*u + 15 = 0. Solve -2*t - r = -7*t for t.
2
Let g = -8 + 11. Solve 12 = -s - g*s for s.
-3
Let a be 1 - 3/(-1*(-12)/(-8)). Suppose 5*z = a*z + 14. Solve -3*k - z = 8 for k.
-5
Let z(l) = -6*l + 1. Let r(m) = -m - 1. Let o(v) = -15*r(v) + 3*z(v). Let g be o(5). Solve g*a + 9 = -0*a for a.
-3
Let s be 16/64 - 54/(-8). Let b be 27/(-4) + (-2)/8. Let r be -2 - (b - 12/(-4)). Solve -s*q = -r*q - 10 for q.
2
Let i(x) be the second derivative of x**5/20 - 7*x**4/12 - x**3/6 + 7*x**2/2 - 79*x. Let w = 6 + 1. Let y be i(w). Solve 3*z + y + 12 = 0 for z.
-4
Let o = 85 - 47. Let d = o + -35. Solve -3*i + d - 18 = 0 for i.
-5
Let k = -36 - -38. Suppose 0 = k*f - 4*o, -5*o = f + 2*f - 11. Solve 2*l - f = -0*l for l.
1
Let r = -1033 + 1038. Solve -35 - r = 8*j for j.
-5
Let s(m) = -m**3 + 9*m**2 - 16*m - 6. Let l be s(6). Solve l = -t + 1 for t.
-5
Suppose -2*a + 0*a + 4 = -2*b, -20 = -5*a. Solve -b*k - 21 = -9*k for k.
3
Let r be -16*5/40*-4. Solve r*a + 21 - 29 = 0 for a.
1
Let g(z) = -47 + 11*z**2 + 4*z**2 + z**3 + z + 62. Let q(p) = p - 15. Let t be q(0). Let h be g(t). Solve h = u - 6*u - 20 for u.
-4
Let n(w) = w + 64. Let s be n(-17). Let u = s + -41. Solve -2*p - u = -4*p for p.
3
Let v(h) = -3*h + 64. Let s be v(21). Solve 5*p + 14 = -s for p.
-3
Let r be (8/6)/(5 - 101/21). Solve 12 = r*z - 11*z for z.
-3
Let k = 56 - 53. Suppose m - 2 = -0*z + k*z, 19 = 3*m + 4*z. Suppose d - 4*y - 1 - 4 = 0, 2*y - 1 = -3*d. Solve -m = 2*r + d for r.
-3
Let s(l) be the second derivative of l**4/12 + l**3/3 - 2*l**2 + 10*l. Let x be s(-4). Solve 4*k + 0*k = x for k.
1
Let z(t) = 2*t**3 + 25*t**2 - 24*t - 56. Let s be z(-13). Solve 84 = -o + s for o.
3
Suppose 3*i - 39 = -4*y, 11*y - 9*y + 3 = 3*i. Solve y*x - 3 = 7*x for x.
-3
Suppose 0 = 3*j - 5*z + 5, -2 = j + j - 2*z. Solve p - 7*p = j for p.
0
Let o(q) = -q**3 - 14*q**2 - 41*q + 3. Let t be o(-10). Solve f - t + 8 = 0 for f.
5
Let g = -741 + 761. Solve 5 = g*i - 75 for i.
4
Suppose 4*a - 6*a - 2*g = 0, -4*g - 30 = -2*a. Suppose -5*k = a*l - 74 + 24, -5 = -2*k + l. Solve k*n - 8 = -3 for n.
1
Suppose -4*b - r - 1 = 3, 3*r + 12 = 2*b. Suppose 0 = -5*a - b*a. Solve a = 5*x - x + 8 for x.
-2
Let h be (2 - -32)*1/(-2). Let g be h/5 + 26/65. Let l be (-6)/18 + (-4)/g. Solve 3*q = -10 + l for q.
-3
Suppose 4*d - 3*d - 5*m + 16 = 0, 8 = 4*m. Let t be (-2)/(-4) + -2 + (-21)/d. Solve 3*a = 2*a - t for a.
-2
Suppose 4*a + l - 17 = 6*l, 4*a + l = -13. Let m be a/(-2*5/50). Solve -2*x + 0*x + m = 0 for x.
5
Suppose 0*l + 4*l = 3*y + 10, -4*y - 4 = -3*l. Suppose l*w + 5*o - 46 = 3*o, 0 = -2*w + 4*o + 48. Let u = 19 - w. Solve u = -m + 2*m for m.
5
Let m(w) = 2*w**3 - 16*w**2. Let l be m(8). Solve -4*i + 6*i = l for i.
0
Let p be -1 - (-17 + 1 - 0). Suppose 0 = 4*s + s - p. Suppose -2*r + 11 = k, s*k - 4*k + 2 = -r. Solve w - k = -2 for w.
3
Let q be (-2 - (-15)/3) + 2. Suppose -8 = 3*r - q*r. Solve r*k = -k + 5 for k.
1
Let x(p) = -p + 4. Let n be x(0). Suppose 3*d = 2 + 22. Suppose 0 = -n*t - 0 + d. Solve -4*j - 6 = t for j.
-2
Let w be -4*3/9*(3 - 6). Solve -w*d + 5 = d for d.
1
Suppose 0 = 3*d - 13 - 2. Suppose -4*j = -d*t + 30, -j - 2 - 11 = -4*t. Suppose t*l = -l. Solve l*n - 20 = 5*n for n.
-4
Suppose -2*a + 10 = -2*z + 12, 3*z + 4*a = 3. Solve -5*y = -6*y + z for y.
1
Suppose 32 = -5*p + 13*p. Let k(b) = b**3 - 6*b**2 + 11*b - 8. Let u be k(p). Solve 0 = u*d - d + 3 for d.
-1
Suppose 4*u + 2*n = u + 10, 26 = 3*u - 2*n. Suppose -14 = -2*v + u. Suppose -10*z + 19*z = 135. Solve 0 = 5*s - v - z for s.
5
Suppose t + 3*s = -231 + 251, -4*s - 4 = 0. Solve 8*a + 45 = t*a for a.
3
Let x(o) = o**2 - 7*o + 2. Let z be x(6). Let i(s) = s + 19. Let a(v) = -v - 18. Let l(j) = z*i(j) - 5*a(j). Let w be l(-10). Solve -3*r = -w*r for r.
0
Suppose -2*n = o - 32, 7*n - 2*o - 56 = 3*n. Solve -n = -5*q + 10*q for q.
-3
Let v = 47 + -66. Let c(k) = -k**3 - 18*k**2 + 18*k - 15. Let q be c(v). Suppose 0 = -y - y + q. Solve y*i + 8 = 4*i for i.
4
Let q(j) = j - 8. Let s be q(10). Suppose s*u - 5 = 21. Let k = -9 + u. Solve k*z + 0*z - 4 = 0 for z.
1
Let u = 1284 - 1269. Let z be -1 + 0 - 2/(-2). Solve z*v + u = 3*v for v.
5
Suppose 3*b - 2*a - 20 = 0, -15 = -2*b - 0*a + a. Suppose -o + 13 = b. Solve 3*h - o = 3 for h.
2
Suppose -9 + 3 = -k + 3*v, -3*v = 6. Solve k = -2*y + 5 + 3 for y.
4
Suppose -7*a + 41*a = 850. Solve a = 3*t + 13 for t.
4
Suppose 5*r + 4*b - 27 = 0, 4*r + 2*b - 3*b - 9 = 0. Let x be ((-8)/(6 - 4))/(1*-4). Solve -r = t - x for t.
-2
Suppose 4*s - 76 = -16. Let f be 8 + (0 - (1 - -1)). Solve -f*b = -b + s for b.
-3
Let c(b) = 8*b - 86. Let k be -1 - -2 - (66/(-6) - -1). Let w be c(k). Solve -w = 4*j - 14 for j.
3
Let y = -352 - -354. Let s(u) = -u**3 + 6*u**2 + 2*u + 7. Let g be s(6). Suppose -3*r + g + y = 0. Solve 13 = 5*x - r for x.
4
Suppose 0 = -q - 2 - 3, 14 = 3*n + 2*q. Suppose p - 8 = -5*x - p, -3*x + n = -2*p. Solve -x*l = -4*l - 10 for l.
-5
Suppose 2*g - 2 = -5*y + y, -g - 3*y + 1 = 0. Suppose 2*z - g - 5 = 0. Suppose -4*m = -5*m - n - z, -5*m = -4*n - 30. Solve 2*v + 8 = -m*v for v.
-2
Let o(w) = -2*w - 12. Let s be o(-6). Suppose -f - 3*m - 10 = s, f = m + m - 20. Let g(q) = -q**2 - 16*q. Let h be g(f). Solve h*n = -n for n