 8 - 0 for m.
2
Suppose -10 = -0*q - 5*q. Suppose 2*x - 35 = -5*v, 30 = 3*x + q*v + v. Solve 2*t + 12 = x*t for t.
4
Suppose 2*d + 5 = d + k, -d + 11 = 3*k. Let n = d - -6. Solve 0 = -3*v - 1 - n for v.
-2
Suppose 3*q + 3*l - l - 8 = 0, 2*q - 4*l = -16. Suppose -5*z = -38 - 12. Suppose -3*w + 5*w = z. Solve 5*v + q = -w for v.
-1
Let z be (-351)/(-6) + (-2)/(-4). Suppose -3*k + z = -1. Solve -h + 5*h = k for h.
5
Suppose -2*q - 3 = 3. Let l = q - -3. Let b be (-2)/(-4)*(l - 0). Solve b = -3*m - 2*m - 20 for m.
-4
Suppose 4*p - 12 = 0, -2*g - 3*p = p - 16. Solve 0*v = g*v - 8 for v.
4
Let b(i) be the first derivative of i**4/4 - 3*i**3 + i**2/2 - 4*i - 1. Let m be b(9). Suppose -5*y - m*c = 5, 2*y + 0*c - 33 = 5*c. Solve 5 = y*f - 7 for f.
3
Let i(c) = -2*c + 25. Let n be i(8). Solve n = -3*u - 0*u for u.
-3
Suppose -2*f + 4*f = i - 14, 5*f = -3*i - 2. Suppose -20 = -i*r + r. Solve -2*m = -r*m - 4 for m.
-2
Let j be (-2)/(-8) + (-286)/(-8). Let r = -21 + j. Let n be (12/21)/(2/7). Solve -c - n*c = r for c.
-5
Let a(n) = -n**2 + 2*n + 3. Let q be a(3). Let l = -54 - -60. Let j(o) = o**2 - o - 5. Let v be j(5). Solve q = y - l*y - v for y.
-3
Suppose -m + 9 = 3*v, m = v - 0*m + 1. Let k = v + -2. Solve 9 = 3*u - k for u.
3
Let n = 13 - 15. Let q be 4 - (n + 3 - 3). Solve -4*g + 10 = -q for g.
4
Suppose -5 = -4*p + 7. Solve 0*n = -p*n for n.
0
Suppose -3 = 2*k - 7. Suppose -h - k = 0, -3*x - 2*h = -32 + 12. Solve 24 - x = -4*j for j.
-4
Let p = -520 + 804. Suppose 4*b - p + 4 = 0. Suppose 3*f - b - 5 = 0. Solve f = -v - 4*v for v.
-5
Suppose 0*p - 3*p + 1 = -2*m, 3*p + 3*m - 21 = 0. Suppose -p = -u - 4*z - 11, -20 = -2*u + 4*z. Solve c - 15 = u*c for c.
-5
Let w = 8 + -6. Suppose 4*v + 17 = 5*p, -3*v + 5 = -6*v - 4*p. Let u = 6 + v. Solve w = f - u for f.
5
Suppose -15 = -8*z + 3*z. Solve 2*u + u = -z for u.
-1
Let b = -4 + 8. Let u be (2 - 6/b)*0. Let n be -2 + -1 + 1 + 2. Solve n*v + 2*v - 10 = u for v.
5
Let b(v) = -v**3 + 4*v**2 + 4*v + 4. Let r be (8/(-5))/((-6)/15). Let a be b(r). Solve 0 = -2*m + 7*m + a for m.
-4
Let b(l) = 11*l**2 + l. Let k be b(-1). Let x = -1 - -3. Suppose 0 = t - x. Solve 0*d = -t*d - k for d.
-5
Suppose -4*s + 0*s - 26 = -5*j, 3*j = -5*s - 14. Solve 3*x + j = 5 for x.
1
Suppose 0*n - 27 = -3*n. Let d be 7 - (1 + 3/(-3)). Suppose -4*y - 4*h + 24 = 0, 3*y + h - n = d. Solve 4 = y*w - 1 for w.
1
Suppose 0 = 4*y - 2 - 2. Let d(t) = -t + 1. Let p(h) = h - 3. Let j(c) = -2*d(c) - p(c). Let l be j(y). Solve 5 = -a + l*a for a.
5
Let k be 576/42 - 2/(-7). Suppose -5*w = m + 5, -2*m + 2*w + k = 6*w. Solve -m = 2*p - 5*p for p.
5
Let u(v) = -v**2 + 2. Let o be u(-4). Let m = o + 16. Solve 2*s + 12 = -m*s for s.
-3
Let j = -8 - -12. Solve -c + j*c + 12 = 0 for c.
-4
Suppose 24 = 3*z + 3*k, -2*z + 31 = 3*k + 11. Solve 0 = -z*g + 28 - 8 for g.
5
Let k = 34 - 24. Solve -5 = 3*l + k for l.
-5
Let b(r) = -5*r - 7. Let n(o) = 14*o + 21. Let t(j) = 11*b(j) + 4*n(j). Let q = 9 - 14. Let d be t(q). Solve -d*a + 5*a = 3 for a.
1
Let d be 0 - (0 - 2 - -1)*0. Solve d*s + 20 = 5*s for s.
4
Suppose -3*u + 0*u = -12. Suppose 5*p - u*p + 3 = 4*o, -3*o + 3*p - 9 = 0. Solve 0 = o*g - 3 - 1 for g.
2
Suppose a - 5*v - 31 = -9, a + 2*v + 6 = 0. Solve 2 = z - a*z for z.
-2
Let l = -3 + 19. Let o = l + -11. Solve -d - o = -2*d for d.
5
Let x = 1 - -22. Suppose 0 = -4*b + x + 13. Solve b = f + 2*f for f.
3
Let q be (7 + 0)*36/7. Solve 5*w = -11 + q for w.
5
Let j = 2 - -4. Suppose 4*b - 12 = 2*s, 4*s = j*b - b - 12. Solve -4*h = -10 + s for h.
2
Let t = -2 - -3. Suppose -5 = 4*r - 2*s + t, r = -4*s - 6. Let k = r + 2. Solve b + 2 + 0 = k for b.
-2
Let j = -4 - -4. Let l be 7 - -2*(-1 - j). Solve -l = b - 0 for b.
-5
Suppose 0 = 5*a - 25, -2*d + 2*a = -4*d + 14. Suppose -k = 2*z + 7, -5*z + 0*z - 31 = -2*k. Solve k*f = 7 + d for f.
3
Suppose 2*g + 24 = 6*g. Suppose 3*v = g*v + 141. Let h be 6/(-15) + v/(-5). Solve -5*d + h = -1 for d.
2
Let i(u) = 2*u - 8. Let z be i(4). Suppose 5*x - 34 + 9 = z. Solve x*b - b + 12 = 0 for b.
-3
Let p(h) = h - 10. Let n(q) = -3*q + 30. Let r(v) = 6*n(v) + 17*p(v). Let d be r(7). Solve -d*o + 3 - 18 = 0 for o.
-5
Suppose -42 = -3*b - 12. Suppose -4*o + b = -2. Let v = 6 - o. Solve 5*h = v*h - 8 for h.
-4
Let k(g) = g**3 + g**2 - 4*g + 1. Let s be k(3). Solve -2*r = 3*r + s for r.
-5
Let q(k) = k**2 - 9*k + 2. Let w be q(9). Solve -2*a = w*a - 8 for a.
2
Let s(j) be the second derivative of -j**4/12 - j**3/6 + 4*j. Let t be s(-1). Solve t = q + 4 for q.
-4
Let r be (4/(-5))/(2/(-10)). Solve -12 = -p + r*p for p.
-4
Let v(m) = -m + 1. Let j be v(-3). Let i be 25 - (-4 + j/2). Suppose -11 = -0*r - 2*r - p, 3*r - 2*p - i = 0. Solve 0 = -4*l + r + 13 for l.
5
Let l(a) be the first derivative of -a**4/4 - 5*a**3/3 + 4*a**2 + 12*a + 1. Let g be l(-6). Solve -2*x - 2 + 0 = g for x.
-1
Suppose -5 = 3*r - 4*r. Suppose 6 = 11*a - 8*a. Solve a*k = r*k + 9 for k.
-3
Suppose -8*p = -13*p + 15. Solve -p*i = -5*i for i.
0
Let r(h) = h - 9. Let f be r(9). Solve a - 4 + f = 0 for a.
4
Let k(j) = j - 1. Let z be k(5). Suppose -z*a = -0*a. Let f(l) = -l**2 + 5*l + 3. Let q be f(5). Solve -q*y + 4*y = a for y.
0
Let s = -7 + 1. Let g be ((-2)/4)/(s/36). Solve -g*q - 3 = -18 for q.
5
Suppose -2*u + 2*b + 6 + 4 = 0, -2*u + 12 = -3*b. Let x be ((-146)/(-6) + -1)*u. Suppose 3*j + 2*j = -5*l + x, 0 = 2*j - 6. Solve -4*o + 3 = l for o.
-2
Suppose 2*n = -2*n + 5*x - 13, -n - 5*x = -28. Let u be (1 + -5)/(-2)*1. Suppose -n*s + p = u*s - 50, 2*s - 5*p - 43 = 0. Solve -3*w - 6 - s = 0 for w.
-5
Let k(d) = -d**3 - 12*d**2 - 13*d - 20. Let s be k(-11). Solve s*a = -a + 3 for a.
1
Let l(a) = -a**2 - 9*a + 26. Let y be l(-11). Let z(u) = -u**3 - 3*u**2 - 2*u. Suppose -3*d + 6*d + 6 = 0. Let k be z(d). Solve y*r + k*r + 16 = 0 for r.
-4
Let q be (-2)/3 - (-4)/6. Suppose q = -3*h - 1 + 10. Let j(d) = 6*d**2. Let c be j(-1). Solve c*m = h*m - 9 for m.
-3
Let b(t) = t - 3. Let q be b(5). Suppose -2*o = 3*w - 20, w - q*w = -4. Suppose -o*l + 9 = -l. Solve l*c + 1 + 2 = 0 for c.
-1
Suppose -5*p + 35 = 4*a, -3*a + p - 5*p + 27 = 0. Solve 4*i - a = 7 for i.
3
Suppose 0 = 2*i - 4*i + 8. Suppose -4*k - 5*g = 12, g - 2 - 10 = i*k. Let f = 4 + k. Solve f - 4 = -b for b.
3
Suppose -5*g - 13 = -138. Let p = 39 - g. Suppose 0 = 5*f - 15, 10 = -5*l - 0*l + 5*f. Solve -p = -3*r + l for r.
5
Let p(u) = -u. Let x be p(-4). Suppose r - x = -r. Let g be -1 - -1 - (-22 + r). Solve -4*h + g = h for h.
4
Let x = -27 - -47. Solve -4*g = g + x for g.
-4
Suppose -1 = -y + 2*j + 9, -y = j - 1. Solve -y*l + 16 = -0 for l.
4
Let d = -14 + 24. Suppose 0 = -s + d - 3. Let p = 1 - -2. Solve -x - s = -p for x.
-4
Suppose -15 + 3 = -3*v. Solve -4*y + v = -4 for y.
2
Suppose s = -5*x + 4, 6 = -s + x + 10. Suppose 4*a - 8 = -6*v + 4*v, 0 = 4*v + 2*a - 16. Suppose v*i - 2 = 6. Solve s + i = 2*d for d.
3
Let i(f) = -f**2 + 12*f - 19. Let j be 4/(-6) + (-208)/(-24). Let b be i(j). Solve b + 2 = 5*c for c.
3
Suppose 0 = 2*y + 2*y. Solve 0 = -y*j + 4*j - 16 for j.
4
Let g = -6 + 11. Solve g*l + 7 = -8 for l.
-3
Let u = 7 - 4. Let m be (-2)/(12/(-9) + 1). Let t = m - u. Solve -t*j = 12 - 0 for j.
-4
Let p = 25 + -24. Solve -2*j - 1 = p for j.
-1
Let d be (-3)/(-2)*(2 + 0). Suppose 0 = -2*g - 2*i + 10, 2*g - d*i = -0*i - 5. Solve -2*r - g = -r for r.
-2
Let k = 109 - 107. Solve -f = -3*f - k for f.
-1
Suppose -24 = -45*j + 43*j. Suppose -17 = -5*g + 4*f, 2*f + 2 = g + 1. Solve -l - j = -g*l for l.
3
Suppose -2*v - 3*v = t - 21, -1 = v - 5*t. Solve 0 = 2*w + 10 - v for w.
-3
Let l(t) = -t**2 + 10*t - 15. Let r be l(7). Solve w = -r + 1 for w.
-5
Suppose 0 = 3*v, 3*v = -f - 0*f. Let j = 2 + f. Solve 3 = -j*z + 5 for z.
1
Suppose 4*k + 18 + 2 = 0, 2*k = 4*y - 22. Suppose -y*v + 0 + 15 = 0. Solve -3*u = -v*u for u.
0
Let h be -6 + (-1 + -1)/2. Let a = 7 + h. Suppose a*j = j - 3. Solve j*x - 1 = 2 for x.
1
Let u = -11 + 13. Solve u*q - 2 = 8 for q.
5
Let q(t) = 3*t. Let y be q(0). Solve y = 8*j - 7*j for j.
0
Let z be 0*3*(-2)/(-12). Suppose 0 = -5*n - 4*h + 28 - 5, -3*n - 4*h + 17 = z. Let j = n - 3. Solve -2 + j = -x for x.
2
Let g(i) = 4*i + 25. Let d be g(-5). Solve 5*p - d = 20 for p.
5
Suppose -3*v - 2 = 7, 3*y - 27 = 5*v. Suppose -c = 4*m + c - 16, y*c - 16 = 0. Solve -25 = -7*d + m*d for d