 0 = -n*q - 6, 5*a + q - 18 = a. Solve -a*h = 6 - 16 for h.
2
Let t(u) = 20*u + 465. Let k be t(-23). Solve 0 = -k*c + 15*c for c.
0
Let k = 84 - 80. Suppose 2*q - 25 = 7*q. Let j = q + 5. Solve k*t + 17 - 1 = j for t.
-4
Suppose -6*p + 43 = -23. Suppose -2*z + 21 - p = 0. Solve 4*x - 21 + z = 0 for x.
4
Let w be (-363)/(-22) - 1/2. Suppose 3*s + 4*o - w = 0, 4*s - o - 26 = s. Solve 7*m = 3*m + s for m.
2
Let d = 8 + -4. Let v be (d/12)/(5/15). Solve -t + 0*t + v = 0 for t.
1
Suppose -10 - 25 = -5*m. Suppose -m + 1 = -c. Suppose c*z - 6 = 3*z. Solve -z*w = -w + 2 for w.
-2
Let o = -471 - -489. Solve 0 = 6*m + 6 - o for m.
2
Let u = 2778 - 2771. Let q be 3/(-18) + 3/18. Solve q = -2*l + u*l for l.
0
Let a = -230 + 114. Let k = 126 + a. Solve 3*f = -2*f - k for f.
-2
Let g be 4 + (16/40)/(2/(-40)). Let x be ((-1)/(-2))/((-2)/64). Let h be g*(2 + 44/x). Solve 0*s - h*s - 9 = 0 for s.
-3
Let s(n) = n**2 + 6*n - 4. Let i be s(-6). Let f = i + 10. Let p = 72 + -70. Solve -f = -p*g - g for g.
2
Let x be 6*(-3 + (-28)/(-8) + 2). Solve i = -4*i + x for i.
3
Let m(u) = u**3 + 6*u**2 - 16*u + 3. Let v be m(-8). Let r(w) = -w**2 + 4*w + 1. Let s be r(v). Solve 2*d - s*d + 4 = 0 for d.
2
Let c(r) = -12 + 2*r - 4*r - r**2 - 10*r + 3*r. Let q be c(-7). Solve -1 - 1 = q*b for b.
-1
Suppose 6 = 2*z - 4*r, -2*r + 20 = 5*z + 5. Solve z + 7 = 5*l for l.
2
Suppose -5*d + 44 = 34. Solve 2 = n - d for n.
4
Let c = 9 + -2. Let z be c + 6/(-8)*-4. Let t be (0 + 2/5)*z. Solve j = -t*j for j.
0
Let p(k) = 11*k + 188. Let t be p(-17). Solve -10*g - t = 29 for g.
-3
Let c be (-1)/(4/(-20) - 0). Suppose -2*v = -c*v + 69. Let w = -20 + v. Solve -r = w*r - 12 for r.
3
Let v = -5 - -14. Solve -v*o + 12*o = 9 for o.
3
Let u(t) = 2*t**3 + 29*t**2 - 24*t - 119. Let v be u(-15). Solve 0 = -0*k + 4*k - v for k.
4
Let l(s) = 2*s**2 + 24*s + 12. Let g be l(-12). Solve -18 = -10*d + g for d.
3
Suppose -v - v + 10 = 2*d, 41 = 5*v - 3*d. Solve -18*m + 11*m - v = 0 for m.
-1
Suppose -2*t - 33 = -89. Suppose -t = -5*w - 5*d + 22, -w = -5*d - 40. Let q = w - 9. Solve 0 = -m + q*m for m.
0
Suppose x + 4 = -1, 4*z - 36 = 4*x. Suppose -z*k + 2*j + 11 = -j, -2*k = 2*j - 16. Suppose -2*d + k*d = 12. Solve d*y + 2 - 22 = 0 for y.
5
Let h(s) = s + 12. Let k be h(-11). Let y be (7 - 5)/(k/3) - 0. Solve 3*f - y - 3 = 0 for f.
3
Let d be -1 + (-14)/(9/((-45)/10)). Solve -d*r = -r - 5 for r.
1
Let n(y) = -2*y**2 - 5*y + 6. Let i(h) = 3*h**2 + 4*h - 7. Let g(p) = 3*i(p) + 4*n(p). Let z be g(8). Solve -4*x = -11 + z for x.
2
Let z = 15 + -11. Suppose 25 = 3*v + 2*u, -3*u - u + 10 = -2*v. Suppose 13 = -v*q + 73. Solve -q = -z*p - 0*p for p.
3
Suppose 357*a = 363*a - 72. Solve a*p = 10*p - 4 for p.
-2
Suppose 5*c = 2*y - 6*y - 1, -2*c = -5*y + 7. Suppose 0*u + 75 = -3*u. Let r be (-6)/c*u/(-15). Solve 4*n = -n - r for n.
-2
Suppose 271 = 6*u - 2*u + 3*i, -137 = -2*u - i. Let t = u - 58. Solve 0 = 5*a - a + t for a.
-3
Suppose 48*d - 46*d = 18. Solve 5*h = 29 - d for h.
4
Suppose 440 = 2*i - 10*i. Let g = i + 59. Solve 2*y + g = 2 for y.
-1
Let f = 24 - 7. Let o(p) = -p**2 + 15*p + 36. Let v be o(f). Solve -j - j = v for j.
-1
Suppose 0 = 3*m + 7 - 34. Suppose -27 = -m*x - 0. Solve -4*n + 1 = -x for n.
1
Suppose 5*b + x - 400 = 0, 2*x = -2*b - 3*x + 137. Solve b - 85 = -a for a.
4
Let j = 522 + -497. Solve -y + j = 4*y for y.
5
Let r be (-83 + 89)/(1/2). Solve -r + 12 = 4*t for t.
0
Let j(q) be the third derivative of q**4/12 - 19*q**3/6 + 3*q**2. Let o(m) = m - 9. Let g(a) = 4*j(a) - 10*o(a). Let k be g(6). Solve -4*p + k + 14 = 0 for p.
4
Let t(g) = 2*g + 7 - 3 - 4*g + g**3 - 3. Let v be t(2). Suppose -4*b + 5*c + 32 = 0, -2*c - 2*c - 16 = 0. Solve 0 = b*h + 2*h + v for h.
-1
Let u = 118 - 117. Solve -u = -4*k + 15 for k.
4
Suppose -5*w + 2*l = -3*w - 2, 5*l = -w - 5. Suppose 2*h - 3*y - 31 = -w*y, 4*y - 52 = -2*h. Suppose 3*d = -d + h. Solve -1 - 4 = d*p for p.
-1
Let u(t) = -t**3 - 10*t**2 - 7*t + 5. Let q be u(-9). Let v = q - -16. Let m be (-2 - (1 + 0)) + v. Solve -c - 1 + 6 = m for c.
5
Suppose -6 = -3*b - 0. Suppose 0 = -q - 5*t + 4, -5*t = -5*q - 1 + 21. Let g = q - b. Solve -g*h = -6*h for h.
0
Let o be 720/84 - 8/14. Solve 0 = 2*r + o + 2 for r.
-5
Let f be (-2*5/5)/1. Let w be (80/(-32))/(1/f). Solve -4*o = -w*o for o.
0
Suppose 2*i = -0*i - y - 3, 2*y = -5*i - 6. Suppose i = -3*z + 4*t + 21, 2*z = -t + 3*t + 16. Solve 4*j + 1 = -z for j.
-3
Suppose -3*i = -5*u - 4 + 42, -4*u - 3*i + 25 = 0. Suppose -13 = u*t - 20. Solve -s + 2*s = t for s.
1
Let l = 31 - 26. Suppose -28 = -4*f - l*z, -3*f + 0*f + z = -2. Solve -f*o + 9 = 1 for o.
4
Let o = -265 + 320. Solve 44*g - 33 = o*g for g.
-3
Let i = 21 + -7. Suppose 0 = 3*y - 7 - i. Let q = 9 + 6. Solve 2*v = y*v - q for v.
3
Suppose -26 + 8 = -3*p. Let u be (2 - -1)*8/p. Solve u*z - 12 = -0*z for z.
3
Let i(h) = -h**3 + 17*h**2 - 30*h - 5. Let d be i(15). Let s be 0/(d - 28/(-4)). Solve -4*z + 24 - 4 = s for z.
5
Let m(o) = 37*o + 15 + 52*o - 2*o**2 - 76*o + 3*o**2. Let h be m(-13). Solve -5*d + h = -0*d for d.
3
Let c(p) = 4*p - 12. Let j be c(3). Let l be 0 + 3 + (j - 0). Solve -4*v + l = 15 for v.
-3
Let n be 3/(-12) + (-3)/(24/(-82)). Solve 6*y + n = y for y.
-2
Suppose 0 = j + t - 2 - 5, 1 = 3*j - 2*t. Suppose j*s - 11 = -2*k, -4*k - 1 + 2 = -s. Solve -7 = -s*q + 5 for q.
4
Let t(u) be the first derivative of -2*u**2 - 2*u + 9. Let g be t(-4). Solve -5*z - g - 6 = 0 for z.
-4
Let c be 10/((3*4/3)/6). Let n = 18 - c. Solve n = 6*m - 21 for m.
4
Suppose 2*m = -q + 102, -4*q + 3*m + 426 = 2*m. Let z = 110 - q. Solve k = z*k for k.
0
Suppose 0 = 5*i + 11 - 31. Let y = 1611 + -1608. Solve i*n = n - y for n.
-1
Suppose -z - 3*z - 8 = 0. Let g be z/(1/(116/(-8))). Let q = g + -21. Solve 3*s = 5*s + q for s.
-4
Suppose 0 = -2*c - 3*c - 10. Let w = c - -4. Solve -3 = w*p - 1 for p.
-1
Let j = 1364 + -1345. Solve j*t - 6 = 17*t for t.
3
Let r = 350 - 340. Solve 12*y + r = 17*y for y.
2
Suppose -2*v + 5*v - 12 = 0. Suppose -14 = -v*f + 6. Let s(n) = n**3 + 7*n**2 + 3*n - 10. Let x be s(-5). Solve 0 = -f*g + x for g.
5
Let w(i) = -i + 14. Let j be w(5). Let n = -6 + j. Solve -n*p - 8 = -p for p.
-4
Suppose 2*u = -u + 102. Let c = 35 - u. Solve -2*j = 7 + c for j.
-4
Let w be (1 + -15)*3/(-12)*2. Let c be 2/(-4)*w/(14/(-12)). Solve 3 = c*l - 3 for l.
2
Suppose 3*v + 4*l = 5*v - 26, 5*l + 34 = 3*v. Solve -16 = -7*y + v*y for y.
4
Suppose -4*m - 7 = 9. Let b be (3/m + 2)*-8. Let y be 2/b - 16/(-5). Solve -8 = z - y*z for z.
4
Suppose -b - b = 0. Suppose b = -3*z + 3 + 12, -m = -4*z - 40. Let x be (-10)/35 - m/(-14). Solve -y - x*y = 5 for y.
-1
Let j(s) be the first derivative of -1/3*s**3 - 10 + 2*s + 1/2*s**2. Let l be j(0). Solve -2*n + 2 = -l for n.
2
Let w(k) = -k**2 + 2*k. Let b be w(1). Suppose -19 + b = -6*g. Solve -x - g*x = -12 for x.
3
Let y be (-8 - -9)*-1*2. Let o be y/2 - (3 + -8). Suppose 30 = o*x + 2*x. Solve 0 = -x*f + 3*f + 10 for f.
5
Let p(m) = -m + 6. Let j be p(-6). Suppose 3*c - j = -5*o, 8*c - 5*c = o + 12. Let n(k) = k**3 - 4*k**2 + k - 2. Let q be n(c). Solve -q*s - 4 = 2*s for s.
-1
Let g(p) = -p**2 + 9*p + 93. Let r be g(15). Solve n - r = -0 for n.
3
Suppose 3 = m - 0*m. Let z = 19 - 14. Solve -m = -2*a + z*a for a.
-1
Let z(t) = 2*t**2 - t - 1. Let i be z(-1). Suppose 3*j - 41 + i = 0. Let h = 13 - j. Solve h*b = b - 5 for b.
5
Let s be 2/4 - (-368)/32. Suppose -4*v = -2*h - s, h - 4*v = -0*h - 16. Solve h*j + 0*j - 8 = 0 for j.
2
Let u(d) = -d**3 + 6*d**2 + d. Let w be u(6). Let l = -9 + 11. Suppose i + 5*y + 16 = 0, -3*i + l*y + 32 = -3*y. Solve -2*v + i = -w*v for v.
-1
Suppose -4*h = -6*h. Suppose -18 = -h*g + g - 5*v, 2*g = -v + 8. Suppose 3*j + g*o - 7 = 0, 4*o - 11 = 3*j - 6. Solve -j = -2*n - 3 for n.
-1
Let s(o) = o - 12. Let r be s(14). Let x(v) = -13*v - 3*v**2 + 18*v**r + 0*v**2 - 11 - v**3. Let i be x(14). Solve -4 - 8 = -i*d for d.
4
Suppose 29*j - 83*j = -108. Suppose -5*z + 7 = -23. Solve -z*x - 12 = -j*x for x.
-3
Suppose 112 = 4*w + 3*v, 2*w + 5*v + 43 = 113. Suppose 3*b = 2*f - 39, 5*f = -b + 3*b + 81. Suppose 36*t - 33*t = f. Solve t*y - w = -0*y for y.
5
Let o(k) = -k**2 + 10*k - 11. Let d be o(8). Let h(y) = y**3 - 13*y**2 + 26*y - 24. Let x be h(11). Solve d*t - x = t for t.
5
Suppose -19*q = -20*q + 