= -0*x - m for x.
2
Let k = 94 - 87. Suppose 0 = 13*b - k*b - 30. Solve b*n + 4 + 6 = 0 for n.
-2
Suppose 2 = 8*v + 2. Let p be (v + 9 - 4) + -3. Solve 0*g = -p*g + 6 for g.
3
Let q be 70/6 - 4/6. Let h be (3/(-1) - -4)*(5 - 4). Suppose 9*t - 5*t = 0. Solve 5*f - h + q = t for f.
-2
Let g = -89 + 89. Solve 4*a + 12 = -g*a for a.
-3
Suppose -4*b + 44 = 8*t - 5*t, -b + 24 = 4*t. Solve 0 = 17*p - b*p - 45 for p.
5
Suppose 0 = 3*d + 1 + 2, -25 = -5*q + 5*d. Suppose -2*m + 3*m - q*m = 0. Let t be -4*1/((-2)/1). Solve -t*r + 0 - 2 = m for r.
-1
Suppose -6*r - 40 = -16*r. Solve r*b + 15 = 7 for b.
-2
Suppose -6*m - 69 = -3*m. Let y = -13 - m. Let g(b) = 2*b - 4. Let i be g(3). Solve -4*q - i = -y for q.
2
Let a = 80 + 37. Let z = a - 111. Solve -14*l + z = -17*l for l.
-2
Suppose 90 = 14*w - 512. Solve -w = 22*f + 23 for f.
-3
Suppose -2 = -2*a + 2*i, -45*i + 2 = 3*a - 47*i. Let o = 59 + -39. Solve a*b = -4*b + o for b.
5
Suppose 6*g - 8 = 4*g. Let w(u) = 6*u + 4*u + 3*u**2 - 9*u + 10*u**2. Let n be w(-1). Solve 2*o + n = g for o.
-4
Let i = 20 + -25. Let a(t) = -t + 3. Let h be a(i). Let z(s) = -s + 10. Let v be z(6). Solve h = -2*u + v*u for u.
4
Suppose 13 = -p - 5*k, -5*p - 5 = 2*k - 9. Solve p = -l + 2 for l.
0
Let y = -41 - -48. Solve -y*a + 27 = 2*a for a.
3
Let y be 10 + (1 - 4) + 13. Solve 0 = 10*x - y for x.
2
Let b(w) = -2*w + 18. Let a be (14 + (1 - 3))/(21/14). Let f be b(a). Solve 0 = 3*d - f - 10 for d.
4
Suppose 202 = 3*t + 187. Solve 0 = -t*q - 10 - 0 for q.
-2
Let l(r) = 2*r + 35. Let k be l(-14). Suppose 2*y + k*y = 0. Solve -z + y = -3 for z.
3
Let q(r) = -43*r + 185. Let j be q(4). Solve 8*t - 3 = j for t.
2
Let z be (-750)/(-270) + 4/18. Let w be ((0/2)/1)/(-2). Solve w = -0*q + z*q + 3 for q.
-1
Let d be (0 - 0) + (2 + -3 - 6). Let s be 3/7 - 18/d. Solve -i - s - 1 = 0 for i.
-4
Let a(s) be the second derivative of s**3/6 + 3*s**2/2 - 6*s. Let o be a(2). Suppose c + o = 2*c + u, 4*c - 19 = -3*u. Solve -19 = -c*l - 3 for l.
4
Let c = 53 - 48. Suppose 3*a - a = -c*a. Let h be -1*(-6 - (-1 + 0)). Solve a = -3*r - 2*r - h for r.
-1
Let s = 19 - 17. Suppose 5*p + 10 = -s*f - 0*p, p = -4*f - 2. Solve z = -f*z for z.
0
Suppose -5*y - 2*c = -14, 5 = 5*y + 5*c - 15. Let u be y/(-10) + (-492)/(-60). Let x = 12 - u. Solve x*o - 1 = -21 for o.
-5
Let q = 3 + -1. Suppose -2*s = 2*k - 12, -3*s = -4*k + 5*k - 14. Suppose 3*b + 2*a - 13 = 0, 4 = -k*b + 3*a + q*a. Solve -5 = b*j + 4 for j.
-3
Let u be 15/(-25) - (-52)/20. Let p be (-3)/6*0/1. Solve 2*d - u - 6 = p for d.
4
Let i(t) = t**2 - 17*t + 24. Let v be i(16). Suppose 4*x + 4*o = 8, 4*x + 2*o = -0*x + v. Solve 0 = -3*h - x - 4 for h.
-2
Suppose -3*f + 13*m = 15*m - 14, 3*f - m - 20 = 0. Solve -f*n + 5 + 1 = 0 for n.
1
Suppose 14 = -2*o + 18. Suppose z = 2*i - 5, -3*i - o*z = -z + 5. Solve -q = -i*q for q.
0
Let o = -146 - -78. Let d = -62 - o. Solve -k - d = k for k.
-3
Let x be 10/4 - (-104)/(-208). Solve 2 = -c - x for c.
-4
Suppose -8*w + 5*f + 25 = -3*w, 0 = 4*w + 2*f - 14. Solve -w*y - 2*y = 12 for y.
-2
Let z be 9*(7 + 561/(-81))*6. Solve 6*t + z*t = -10 for t.
-1
Let k(o) = o**2 + 12*o + 22. Suppose -54 + 4 = 5*v. Let t be k(v). Solve -t*m + 8 = 2*m for m.
2
Suppose 0 = -76*n + 16*n + 3600. Solve 0 = 62*a - n*a + 8 for a.
-4
Let b(u) = u - 10. Let g(t) = -t**2 + 16*t + 10. Let k be g(16). Let d be b(k). Solve 2*s + 0 - 2 = d for s.
1
Let r be 1*(-1 - 0)*-1. Let c be (-4 - 0) + r + 13. Solve -2*a = -7*a - c for a.
-2
Suppose 0 = -5*j - y + 11, j = 2*j - 4*y - 19. Suppose 3*c + 69 = 5*i, -4*c - j - 57 = -4*i. Let h = 16 - i. Solve u = h - 1 for u.
3
Let x = -21 + 45. Let p be 2/(-8) + (-2514)/24. Let b be p/(-24) - 3/8. Solve -x + 4 = -b*m for m.
5
Suppose 0 = -2*z + 4*z + 4, -98 = -4*w - 5*z. Suppose 3*v - 9 = 3*d, 0*d + w = d + 5*v. Solve u = -u + d for u.
1
Suppose -5*u + 9 = -11. Suppose 4*z + 35 = 5*d, -u*z - 46 + 17 = -3*d. Solve d = -0*x + x for x.
3
Let l = 5 - 5. Let x(s) = -4*s**2 + 7*s + 37. Let h be x(4). Solve -h = -l*v - v for v.
1
Let g be -3 + 3 - -45 - (14 + -8). Solve 14*x - g = 27*x for x.
-3
Suppose 0 = -5*k + 4*x + 45, 2*k + 0*x - 4*x = 30. Let w be k - (0 + 3 - 1). Suppose 3 + w = 2*p. Solve -p = -0*h - 3*h for h.
1
Let a(h) = -4*h**3 - 2*h**2 - h. Let l be a(-1). Suppose 5 = -2*t - l*f, f - 8 = -t + 3*f. Solve 6*g - t*g = 12 for g.
3
Let k be 2 - (2 + -3)*11. Suppose -2*s + 3 = k. Let b be 3 + 8 + (-9 - s). Solve b + 2 = -3*p for p.
-3
Suppose -3*r + 24 = 3*v, 4*r - 4*v + 9*v = 35. Solve r*p = -4 - 6 for p.
-2
Let y be 24*6/16*2. Let x = -63 + 50. Let m = y + x. Solve m*o = -0*o + 25 for o.
5
Suppose 5*r - 13 - 47 = 0. Let i be (7/(-21))/((-1)/r). Let j = 9 + 7. Solve -i = -4*x - j for x.
-3
Let p(o) be the second derivative of -o**3/3 - o**2/2 + 2*o. Let b(k) = -k. Let v(g) = -3*b(g) + p(g). Let y be v(10). Solve 0*m = 3*m + y for m.
-3
Let d(l) be the second derivative of l**4/12 + 5*l**3/6 + l**2/2 + 2*l - 26. Suppose 0 = 3*y + 2*y + 35. Let f be d(y). Solve 2*q + 3*q - f = 0 for q.
3
Let q(x) = -6*x - 1. Let f be q(1). Let l(s) = 9*s**2 + 4 - 8*s**2 - 3*s + 7*s. Let y be l(f). Solve 0 = v + 4*v - y for v.
5
Let g(o) = 7*o**2 + 14*o + 25. Let y(c) = -3*c**2 - 7*c - 12. Let q(l) = 2*g(l) + 5*y(l). Let w be q(-3). Solve -6 = -z - w for z.
4
Suppose 16*s - 260 = -36*s. Solve s = -17*m - 29 for m.
-2
Let x = 2 - 18. Let o = -1 + 4. Let y be (-2 + o)*(4 - x). Solve 3*z + 2*z + y = 0 for z.
-4
Let a be 16/(-40)*2*-5. Suppose t = -4*u + 18, 11 = a*u - 3*t + 1. Solve u*o + 2 + 6 = 0 for o.
-2
Suppose 3*w + 8 = 5*w. Let o = -33 - -37. Solve 0 = -o*t - w for t.
-1
Suppose 5*n + 3 + 2 = 4*v, -2*v + 5*n = 5. Suppose 3*b - 12 = -3*m, v*m + 5*b - 16 = 2*m. Solve 0 = m*f - 3*f for f.
0
Suppose -6*d = -3*d - 15. Let g(s) = -s**3 + 7*s**2 - 6*s + 13. Let r be g(6). Solve -d*a = r - 3 for a.
-2
Suppose -n = 3*n + 2*y - 60, -4*y - 24 = -n. Solve n*u = 11*u for u.
0
Suppose -31 + 31 = i. Let u be (-36)/(-54)*1*(3 + i). Solve l = u*l - 3 for l.
3
Let g(i) = 2*i + 1. Let l(s) = -1. Let t(q) = g(q) - 6*l(q). Let u be t(4). Let p = u + -12. Solve -11 = -p*d + 1 for d.
4
Let l(r) = -r**3 - 13*r**2 + 10. Let i be l(-13). Suppose 4*a + 5*f - 31 = 2*a, 20 = 4*f. Solve a*b = -2*b - i for b.
-2
Let j = -27 + 35. Let h = -4 + j. Solve 11 = -h*g - 9 for g.
-5
Let c(o) = o**2 - 27*o + 183. Let g be c(16). Solve 0 = g*a + 14 for a.
-2
Suppose 59*o = 41*o + 216. Solve 0 = 3*s - 0 - o for s.
4
Suppose 29*o - 27 = 26*o - h, -2*o = -2*h - 26. Solve 22 = -16*k - o for k.
-2
Let v = 16 - 10. Let t be (130/3)/(4/v). Let u = -34 + t. Solve 5*q = -u + 6 for q.
-5
Suppose -6*t = 8*t. Solve t = -11*o - 17 - 5 for o.
-2
Let y = 147 + -147. Solve y = -2*d + 6*d + 4 for d.
-1
Let w(n) = -21*n + 7. Let i be w(-3). Suppose 0 = 22*o - 27*o + i. Let s = 16 - o. Solve -s = z + z for z.
-1
Let z(f) = -3*f**3 - 5*f**2 + 13*f + 6. Let u(o) = -o**3 + o**2 - 1. Let w(c) = -4*u(c) + z(c). Let y be w(7). Let v = -3 - -7. Solve y*s + 4 = v*s for s.
4
Let f(c) = c**2 + 3*c - 6. Let o be f(2). Solve -o = -4*q + 6*q for q.
-2
Suppose 6*o = 3*o - 2*k + 46, -5*o - 5*k = -85. Suppose 2*z - 8 = o. Solve z = 5*y - 5 for y.
3
Let w(t) be the second derivative of t**5/120 - t**4/8 - t**3 - t. Let j(l) be the second derivative of w(l). Let f be j(6). Solve -f*z = z + 12 for z.
-3
Let r = 166 + -238. Let q be r/(-16) + 2/4. Solve 3*m = 4*m + q for m.
-5
Let i be 2 - 6 - 6*-1. Suppose 0 = i*o - 5*o + 12. Solve -o*j - 10 = j for j.
-2
Let g be (-1)/1*3 + -6 + 3. Let c be ((-8)/g + 0)*(-3)/(-2). Let u(s) = -s + 1. Let x be u(1). Solve x*y = c*y for y.
0
Suppose -3*f - 6 = -0*f, f - 123 = 5*n. Let h = 25 + n. Solve j + j + 2 = h for j.
-1
Let m be 1*(44 + 1)*-1. Let t = m - -54. Solve -11*k = -8*k + t for k.
-3
Suppose -7*d = 9*d + 13*d. Solve p + 6*p - 14 = d for p.
2
Suppose -4*p + 9 = -3. Suppose -d + 5*x - p - 2 = 0, -4*d - 4*x + 52 = 0. Let v = d + -6. Solve -v*r + 6 = -14 for r.
5
Suppose -6*x + 8 = -8*x. Let q be x - (-2 - 3/1). Suppose i - q - 4 = 0. Solve -i*j = -3*j for j.
0
Let k(h) = h**2 + 2*h + 3. Let i be k(0). Solve -2*v + 1 = -i for v.
2
Let b be (1/(-15))/((-3)/27)*20. Solve -b = 2*k - 12 for k.
0
Suppose 18 = 2*m + 4*a - 2, -4*m - 4*a + 32 = 0. Solve 34*j + m = 36*j for j.
3
Let c(d) be the second derivative 