 s*q + 10 for q.
-2
Suppose 0 = 9*k - 4 - 41. Solve -2*v + v + k = 0 for v.
5
Suppose 4*k + 3*s = s + 6, -2*k + 1 = -s. Let h be 0/(((-1)/k)/(-1)). Let q = 3173 - 3170. Solve h = q*l - 12 for l.
4
Let h(w) = -w**2 + 17*w + 6. Suppose -10 = -5*x - 5*f, -6 = 4*x - 6*f + 3*f. Suppose x*z - z + 16 = 0. Let d be h(z). Solve 4*r = d - 6 for r.
4
Suppose -37 = -2*i - 4*v - 1, 4*i - 20 = 5*v. Let o be 6/i + ((-6)/5)/2. Solve o = -b - 2*b for b.
0
Suppose 4*m + 11 = -3*u, 0 = -2*m - 8 - 2. Let n be (-23)/(-6) + u/18. Solve n*l - 8*l = 20 for l.
-5
Let u(w) = -w**2 + 51*w - 172. Let o be u(47). Solve o*i + 20 = 11*i for i.
-4
Suppose -9 = 5*v + 11. Let g(d) = d**3 + 4*d**2 + 2*d + 5. Let p be g(v). Let c = 6 - p. Solve -4*b = -b - c for b.
3
Suppose -4*k = 4*i - 28, 7*k - 8*k - 2 = -2*i. Suppose -4*g - 9*v + 52 = -7*v, -12 = i*v. Solve 3*x + g + 0 = 0 for x.
-5
Suppose -7*b + 7 = -14. Suppose -2*f = -4*f - 2. Let p be (3/2)/f*-2. Solve 3 = -b*c - p for c.
-2
Let g = 15 - 12. Suppose 3*f - 15 = -g. Suppose 5*b + r = -f, 2*r + 3 = -5. Solve b = -5*o - 15 for o.
-3
Let c be (-6 + 6)/(-4 + 6 + -1). Solve c = -11*k - 2*k + 6*k for k.
0
Suppose r + 197 = 4*u, 3*u - 122*r - 153 = -123*r. Solve 0 = -7*m - u + 15 for m.
-5
Let f = -523 + 523. Suppose -5*u + 25 = -2*h, -u + 6 - 23 = 4*h. Solve u*g + f - 9 = 0 for g.
3
Suppose -122 = -8*o - 82. Solve 0*h = -o*h - 10 for h.
-2
Suppose 1 = -w, 4*i + 14*w = 16*w + 10. Solve 19*v = -i - 17 for v.
-1
Suppose 3*c = -0*c + 144. Let h = 51 - c. Solve 0 = p + h for p.
-3
Let u(d) = 0*d**3 + d**3 - 7*d**2 - 2 + 2 + d - 5. Let g be u(7). Suppose -m - 3*m = -12. Solve 0 = -g*v - m*v + 25 for v.
5
Let b = -16 - 2. Let p be ((-2)/(24/(-63)))/(3/(-8)). Let u = p - b. Solve 3*f = -f - u for f.
-1
Let c(x) = 8*x + 229. Let i be c(-28). Solve 0 = b - 9 + i for b.
4
Suppose 2*r = -4*f + 3*r - 21, -f + 6 = -4*r. Let o(z) = z**2 - 4*z - 60. Let p be o(f). Solve p = -6*k + k - 10 for k.
-2
Suppose -b + 5*p = -6*b + 5, 3*b + 5*p = -5. Suppose 5*w + 3*n = 16, 5*w - 3*w = -4*n + 12. Suppose 0 = -3*y - 3*t, 1 - 5 = 4*t. Solve -y = w*c + b for c.
-3
Suppose 0 = -2*n - 6, 4*q = -0*q - 4*n + 56. Let c(m) = -m. Let g be c(15). Let y = q + g. Solve k = -y*k for k.
0
Let x(m) = -m**3 + m**2. Let c be x(1). Suppose c*n + n = 6. Suppose 0 = 18*t - 130 - 50. Solve t = 4*f - n for f.
4
Let y = 3939 - 3931. Suppose 2*a + 3*t - 16 = t, -a = -t + 2. Solve -y = -a*p - p for p.
2
Let x(w) = -2*w**3 - 2*w**2 - 5*w - 13. Let y be x(-2). Solve -17 - 3 = y*i for i.
-4
Let j = -1 - -1. Suppose j + 12 = 4*s. Let o be (-18 + (-6)/s)*-1. Solve 5*z + o = z for z.
-5
Let f = -1597 - -1599. Solve f = -2*x + x for x.
-2
Let y(i) = 3*i + 4. Let s be y(9). Let k = s - 29. Solve -k*v = 2*v for v.
0
Suppose u + 3*c = 2*c + 52, 3*c = -2*u + 108. Let v be (-6)/(-4)*u/18. Suppose v*i + 0*i = 8. Solve k - 6 = -i*k for k.
2
Let o = -26 - -29. Suppose -3*b = o*b - 12. Solve 0 = -3*j + j - b for j.
-1
Let n = -383 + 387. Solve -13*r + 11*r = -n for r.
2
Let f = -43 + -94. Let r = -117 - f. Solve -r = -q - 3*q for q.
5
Suppose 4*j + 48 = 20*j. Solve -j*y = -2 - 13 for y.
5
Let r be 4/(1/(4/8)). Suppose 0*u = 2*u + 8, -r*k - 12 = 3*u. Solve k = x + 4*x for x.
0
Suppose 3*f = -533 + 548. Solve -20 = -f*x - 0*x for x.
4
Suppose 0 = -5*f - 4*s + 81, -12*f + s + 22 = -10*f. Solve -f*c = -9*c - 20*c for c.
0
Let a be -1 + (-15)/6*-4. Let h(l) = 2*l - 13. Let n be h(a). Solve -4*p + n = -7 for p.
3
Suppose -n = -7*n + 60. Let m be ((0 + -1)*n)/(-2). Solve m*g + 12 = g for g.
-3
Let y be (-2)/21 - (-384)/63. Solve -y*j = -j - 25 for j.
5
Suppose -1 = -c + 1, -3*x + c = 38. Let g(k) = k**2 + 13*k + 18. Let v be g(x). Solve 5*w + v + 4 = 0 for w.
-2
Let c(i) = -i. Let g(h) = 6*h + 1. Let r(b) = 5*c(b) + g(b). Let n be r(0). Solve -7 - n = 4*p for p.
-2
Let i(d) = -d**2 - 7*d + 3. Let f be i(-7). Suppose -5*v - 5 = -0*u + u, f*u + 15 = 5*v. Let b = 316 + -312. Solve b*z + z = v for z.
0
Suppose w + 3*g = -2*g - 16, -5*g - 34 = -w. Solve 3*t - 24 = -w for t.
5
Suppose -7 = -0*y - y. Suppose -8*s + y*s = -23. Let z = s - 15. Solve -5*c + c = -z for c.
2
Let u = 27 + -30. Let c be 0 + -1 + (-6)/u. Suppose -2*p + 0 = -4. Solve -p*s + 1 = -c for s.
1
Suppose -7 - 5 = 2*j. Let m = j - -13. Suppose v + 1 - 4 = 0. Solve 0 = v*u - m*u + 20 for u.
5
Let p(f) = 2*f - 13. Let w be p(9). Let y be (2 - w)*20/(-3). Let o be (-1)/(2 + (-44)/y). Solve 2 = -3*q + o*q for q.
1
Let c be (-10)/(-5)*107*(-1)/(-2). Let v = 109 - c. Solve -v*d + 20 = 3*d for d.
4
Suppose 657*u - 662*u + 145 = 0. Solve -35*b + 12 = -u*b for b.
2
Let i be (7 + 5 - 6)/1. Solve 4*u = i*u + 10 for u.
-5
Suppose -13*f - 6 = -18*f - 3*o, 2*f + 9 = -5*o. Let a = -5 + 7. Solve 0 = m + a - f for m.
1
Let j(k) = k**2 + 3*k - 2. Let r be j(-3). Let i be (-3408)/27 + r/(-9). Let s be ((-36)/i)/((-2)/(-56)). Solve s = h + 4 for h.
4
Let k be 3 - 1 - (-24 - 1). Suppose g - 3*t + 17 = 0, 2*g + g = t - k. Let m = 8 + g. Solve q = -m*q for q.
0
Suppose 0 = 5*u - 9 - 1. Suppose -p - 4 = -4*p + u*v, 7 = 3*p + v. Solve -p*o + 8 = -2 for o.
5
Let t(q) = q**2 + q. Let o be t(-1). Suppose -2*i + 3*i - 2 = o. Let f = 223 - 209. Solve 4*g + i = f for g.
3
Suppose 19 = t + 2*a, -65*t - a = -70*t + 51. Solve 4*w = t*w + 21 for w.
-3
Suppose 2*v = b + 7, 0*b - 3*b + 9 = -v. Let u(w) = -4*w + 27. Let j be u(v). Solve 0*t = j*t + 6 for t.
-2
Suppose 5*u + y = 10, y = -4*u + 2*u + 4. Solve -u*b + 7 - 5 = 0 for b.
1
Let o(g) = -g**2 - 25*g - 58. Let i be o(-22). Solve -i + 4 = -4*h for h.
1
Let j be 5*(-6)/5*-1. Solve 2*h = j*h for h.
0
Let n(i) = i**2 - 11*i - 37. Let l be n(-3). Solve -l*m = -m for m.
0
Suppose -c + 17 = 4*r, -11*c + 8*c - 4 = r. Solve -1 + 16 = r*t for t.
3
Let d be ((-3)/(-9))/((-4)/(-396)). Suppose 23 = -2*g + d. Let t be 4 + (2/2 - 5). Solve t*k + 25 = -g*k for k.
-5
Let k = -63 - -79. Solve 20 - k = -x for x.
-4
Let i be (-1)/(-12)*57*-20. Let y be i/(-38)*(2 + 0). Let r = -1 + y. Solve 0 = -0*c + r*c - 16 for c.
4
Suppose 8*v = 5*v - 114. Let h = v - -40. Suppose -2*w + h = -0*w. Solve w + 3 = -2*t for t.
-2
Let r = 67 + -11. Let w = r - 51. Let g(n) = n**3 - 3*n**2 - 4*n + 2. Let s be g(4). Solve s*f - w = f for f.
5
Suppose 6*r = 11*r + 55. Let h = -9 - r. Solve 0 = 3*n - h + 8 for n.
-2
Let m = -2 + 2. Suppose -34*n + 28*n = -12. Suppose -n*q - 2*q + 20 = m. Solve -2*j = -j + q for j.
-5
Let l be (-19*(6 + -5))/(2/6). Let c = l - -61. Solve -c = -3*v + 2 for v.
2
Suppose t - 12 = 2*s, -29*s + 26*s - 68 = -4*t. Solve -23*c + 15 = -t*c for c.
5
Suppose 92 = a + a + 5*b, 5*b + 195 = 5*a. Suppose -2*s + a = 3. Suppose -3*l + 32 = 2*g, l + s = 2*g - 13. Solve -5*t + g = 1 for t.
3
Let j = 67 - 66. Let y be (-2 - j) + (22 - 19). Solve 3*d + y*d + 12 = 0 for d.
-4
Suppose p - o + 7 = 2*p, -2 = -2*p + 2*o. Suppose 24*b - 27*b = -48. Solve p*t = -0*t - b for t.
-4
Let j(v) = -v**3 + 7*v**2 - 2*v + 14. Let l be j(7). Suppose 3*r + 15 - 18 = l. Solve -r + 5 = 2*s for s.
2
Suppose 0 = 4*y - 3*f - 27, 5*y - f - 3*f = 35. Solve -p = y*p - 8 for p.
2
Let k = 154 - 81. Suppose -4*m = -i + k, 51 = -3*m + i - 4. Let v be 75/6*m/(-45). Solve v*l = 4*l + 3 for l.
3
Let v(i) = i**2 + 11*i + 5. Let h be v(-11). Suppose 0 = y + h*s - 4, -2*s = -3*y - 5. Let c be y + (-1 - -5) + 1. Solve k + 1 = -c for k.
-5
Suppose -5*i + 124 = -1. Solve -14*s = -9*s + i for s.
-5
Let z(v) = 16*v**2 + v - 1. Let x be z(1). Solve 4*c + x = 12 for c.
-1
Let u = 71 - 66. Solve 21 - u = -4*z for z.
-4
Let r(s) = 32*s + 236. Let q be r(-7). Solve 3*t + t - q = 0 for t.
3
Let s(z) be the third derivative of z**5/60 + 5*z**4/24 + z**3/3 + 26*z**2. Let r be s(-6). Solve 0*w = 4*w + r for w.
-2
Let y(c) = -3*c. Let w be y(-1). Suppose 0*x - 88*x + 264 = 0. Solve -x*s + w = -0*s for s.
1
Let j = 1 - -4. Let o(t) = t**2 - 7*t + 10. Let p be o(j). Solve c + 1 - 4 = p for c.
3
Let d = -277 - -277. Solve d*o - o = 0 for o.
0
Let c = -1286 + 1289. Solve -2*r = c*r + 5 for r.
-1
Suppose -6*w = -w - 185. Suppose 2*r - w = 5*f, -2*r + f - 7 = -24. Solve 2*s - 2 = r for s.
4
Suppose 39 = 13*n - 78. Solve -32 = -n*d - 5 for d.
3
Let j(k) = -k**3 - 9*k**2 + 3*k - 8. Let n be j(-9). Let w be (-38)/(-14) + (-10)/n. Solve w*l = 4*l for l.
0
Let k be (1/(-2))/((-2)/4). Let q = 1143 - 1143. Su