Suppose -i - 14 = -2*n. Let a = n - 3. Solve -3*k - 20 = -a*k for k.
4
Let z(x) = x**2 + 6*x + 9. Let k be -3*1 + -13 + 12. Let d be z(k). Solve 5*b - 6*b = -d for b.
1
Let p be (-2*(-2 + 1))/((-122)/(-183)). Solve -1 = p*r + 8 for r.
-3
Let v(z) = -z**3 + 15*z**2 + z - 9. Let k be v(15). Let g = k + -2. Solve 0 = g*x - 2 - 14 for x.
4
Let u(x) = -x - 3*x - 2 + 5*x - 4. Let n be u(6). Suppose -2*b + 5*q - 21 = 0, 2*b + q - 7 = b. Solve b*a - a - 1 = n for a.
1
Let l be (0 + (-54)/(-8))/((-6)/(-16)). Suppose -2*k - 3*k + l = s, 0 = -s - 2. Solve -k*j + 15 = -j for j.
5
Let t(i) = i**2 + 4*i. Suppose 3*x = -11 - 1. Let j be t(x). Suppose j = 2*v + v. Solve 0 = -v*b + 5*b - 20 for b.
4
Let u(y) = -y**2 + 5*y - 4. Let c be u(3). Suppose 2*w = 2*g - 0*g, c*g + 3*w = 0. Suppose 2*d - 4*k = 12, -3*k = -5*d - 7*k + 2. Solve g = 2*v + d for v.
-1
Let w(j) = j + 5. Let t = 50 - 47. Let m be w(t). Let z(y) = -7*y**3 + 2*y**2 - 1. Let p be z(-1). Solve -4*k + p = -m*k for k.
-2
Let x be (-140)/(-15) + 2/(-6). Let a = x - 9. Suppose 0 = j - a - 2. Solve -4 = 2*z + j for z.
-3
Suppose -111*q = -113*q + 5*b + 24, q + 3*b - 34 = 0. Solve 6*v + 8 = -q for v.
-5
Let o = 9 - 4. Suppose 10 = 5*b + 3*r - o*r, -4*b - 4*r = 20. Solve 3*g = -b*g - 12 for g.
-4
Suppose -y - 9 = 5*r, -2*r + 7*r - 61 = 4*y. Let t(q) = q + 3. Let h be t(y). Let x = h - -28. Solve 3*d + 2 - x = 0 for d.
5
Let o = -197 + 203. Solve 2*j - 5*j - o = 0 for j.
-2
Suppose 0 = -5*u + 11*k - 6*k + 30, -2*k = 2*u - 20. Solve -u*h + 35 = -h for h.
5
Let t = -199 + 206. Let r(n) = n**2 - 2*n + 2. Let k be r(3). Suppose -k*o = -t*o + 10. Solve 2*m = o*m for m.
0
Suppose 1 = h - 2. Suppose 15 + h = 6*a. Solve -i + 2*i = a for i.
3
Let v(k) = 6*k**3 - 4*k**2 + 5*k - 2. Let m = -35 + 36. Let u be v(m). Solve u*f - f - 4 = 0 for f.
1
Suppose 0 = -0*f - 2*f. Let b = 8 + 0. Suppose -5*x - w = -b*x + 22, 5*w + 20 = 0. Solve f*v + x = 3*v for v.
2
Let y be ((-3)/(-2) + 0)/((-366)/(-3416)). Solve 3*z + 14 = y for z.
0
Suppose 5*s = 4*w - 2, -1 = 5*s - 5*w + 4. Suppose -4*i = -0*i. Solve j + s*j + 9 = i for j.
-3
Let h(v) = -175 + v**2 + 91 + 89 + 4*v. Let i be h(-4). Solve -4*r + i = -3 for r.
2
Suppose -t - t = -4. Suppose t*n + 2*o = 4*n + 4, 0 = -2*o + 6. Let y be 4*(n - (-1 + 0)). Solve y = j + j for j.
4
Suppose 3*w + 2*l + 2 = 0, 197*w + 5*l + 16 = 195*w. Solve 8*d = -w*d + 30 for d.
3
Let m(n) be the second derivative of -n**3/3 - 7*n**2/2 + 20*n. Let j be m(-5). Solve -f = -j - 0 for f.
3
Let y(r) = -3*r - 10. Let l be y(-6). Let k be 18/(-4)*l/(-12). Suppose -k*a + 2 = -2*a. Solve 5 = -a*j - 1 for j.
-3
Let w be (-2)/(2*2/38). Let r = w + 27. Solve -j = j - r for j.
4
Let m be 5/(12 + (-465)/45). Suppose -c = 4*c - 10. Solve 5 - m = c*o for o.
1
Let n(i) = 2*i - 18. Let k be ((-2)/4)/(2/(-12)). Suppose -k*l + 7 + 23 = 0. Let w be n(l). Solve -3*s - 10 = w*s for s.
-2
Suppose -8*t + 504 = 152. Let n = t + -43. Solve 0 = 4*y - 5 + n for y.
1
Suppose -6*n + 30 = -0*n. Let g be 16/18 - 2/(-18). Solve 2*a = -g - n for a.
-3
Let i(z) = -18*z + 76. Let q be i(4). Solve 61*x = 62*x - q for x.
4
Suppose -8*h = h - 45. Let j(l) = 2*l**2 - 9*l - 3. Let a be j(h). Solve -8 = -2*f - a for f.
3
Let t(l) = l**3 + l**2 - 2*l + 1. Let g be t(1). Let w be (0 - (0 + -3))*g. Suppose -w*b + 15 = -3. Solve -b = n + n for n.
-3
Let k(c) = c**2 - 8*c + 17. Let x be k(6). Suppose x*d = q + 4*q + 10, 3*d = q + 2. Solve r = -d*r - 3 for r.
-3
Let u = -612 - -614. Solve -u*h = -6*h + 7*h for h.
0
Let w = 24 + -18. Suppose 0 = 4*b - w*b + 6. Solve 0 = -g - b - 2 for g.
-5
Let o be 144/4 + -22 + 14. Solve -30*c + o*c = 10 for c.
-5
Let s(y) = 4*y - 10. Let c be s(14). Solve -5*u + c = 56 for u.
-2
Suppose 5*b - 35 = -5*y, -y + b = -11 + 2. Solve 0*k - 4*k = y for k.
-2
Let b be 2/6 - 255/(-153). Solve -5*q + 3 = -b for q.
1
Suppose 2*t + 4*n = -t - 43, -5*n = -5*t - 25. Let z = t - -15. Let i = z + 15. Solve 5*c - i = -1 for c.
4
Suppose 3 = -3*s + 33. Suppose -c = 3*c - 16, 3*c - s = k. Suppose v = 4*n + 1, n - v + k*v - 1 = 0. Solve -2*l + n*l = 10 for l.
-5
Let m = 1111 - 1109. Solve 7*h - 36 = -m*h for h.
4
Suppose 297*x = 298*x - 25. Solve 2*q + 3*q = -x for q.
-5
Suppose 0 = 192*q - 199*q. Solve 9*t - 9 + q = 0 for t.
1
Let d = 88 - 79. Let q be (-6)/d - ((-231)/(-9))/(-7). Solve -y + 4*y = q for y.
1
Let a be (6/63*3)/((-47)/(-2303)). Suppose 0 = 2*i - 12 - 10. Solve 0 = -5*h + i + a for h.
5
Suppose 0 = 14*p + 135 - 205. Solve 9*z = p - 14 for z.
-1
Let x(t) = t**2 - 10*t - 133. Let o be x(18). Solve 5*v + 4 + o = 0 for v.
-3
Let a(d) = 6*d**3 - d**2. Let l be a(1). Let w = l + 23. Suppose m = -3*m + w. Solve -2*n + m*n = -15 for n.
-3
Let w(h) = -h**2 + 7*h + 9. Let j(g) = -2*g - 26. Let a be j(-13). Let z be w(a). Solve -z = -4*k + 11 for k.
5
Suppose -5*j - 3*b = 89, 4*j = 2*b - 0*b - 58. Let f = j + 18. Let y be ((-4)/6)/(4/(-30)). Solve -y*q + f = 27 for q.
-5
Let w(g) = g**3 + 2*g**2 - 5*g - 4. Let l be w(-3). Let d(k) = k + 0*k + l - 1 + 4. Let f be d(0). Solve -f*i + 17 = -3 for i.
4
Suppose 13*l - 22*l = -18. Solve -l = -y - y for y.
1
Suppose -3 = -y + 9. Let w(n) = -10 + y - 3 - n. Let o be w(-2). Solve -5*h + o = -6*h for h.
-1
Suppose 0*x = x + 2*g - 37, x - 4*g - 7 = 0. Suppose h - x = -3*u, -h - 9 = -u - 0*h. Solve -s = 2*s + u for s.
-3
Suppose -5*f + d = 5*d - 207, f + 2*d = 45. Suppose -2*h - 2*h = -w - 31, 0 = -5*h + w + f. Solve 3*g - h*g - 10 = 0 for g.
-2
Let d = 77 - 57. Let v be (-4 + 0)*(-15)/d. Solve -6*w = -v*w for w.
0
Let n = -551 - -556. Let x = 4 + 4. Solve n*r - x = r for r.
2
Let l(q) = 2*q**3 + q + 2. Let p be l(2). Suppose 0 = -5*c + 35 - p. Solve c*t = -t - 16 for t.
-4
Let s(v) = v**2 - 15*v + 9. Let i be s(14). Let z be ((-25)/i)/(1/8). Suppose p = -p + z. Solve -4*t = -0*t + p for t.
-5
Suppose -19*o - 36 = -31*o. Solve -5*c - 8 = -o*c for c.
-4
Let z(n) = -n**3 + 25*n**2 + 29*n - 77. Let k be z(26). Solve 5*l = 4*l - k for l.
-1
Let i(c) = -c - 2. Let y be i(-2). Let h(w) = w + 10. Let k be h(y). Let o be (4/6)/(6/36). Solve o*b + 10 = -k for b.
-5
Let y be (60/(-75))/(2/(-15)). Solve -9 + y = -3*j for j.
1
Let z = 32 - 11. Suppose -1 = 4*t - z. Suppose 18 = t*a - 3*g, -4*g = -2*a + a + 7. Solve 0 = 2*j + a - 13 for j.
5
Let i(k) = 2*k + 41. Let l be i(18). Let v = l + -74. Solve -h = v*h - 8 for h.
2
Let p(z) = -z**2 + 11*z - 20. Let q = -187 + 193. Let r be p(q). Suppose 4*j + g = 11, -5*j - g - 6 + 21 = 0. Solve 0 = j*i - 9*i - r for i.
-2
Let j(w) = w**2 - 76. Let q be j(-9). Solve -1 = -q*r + 6*r for r.
-1
Let i be (-4)/12 - (-21)/9. Let l = 631 + -631. Solve i*f - 6 + 0 = l for f.
3
Let a be 0 - 5/((-25)/30). Solve 0*f = -2*f + a for f.
3
Let k be -2 + 27 - (-2 - 0). Let s = k + -13. Suppose 3*m - s = -2*a, -1 = 3*a - 3*m + 8. Solve -6 = h - a for h.
-5
Suppose -6 = -3*r, -5*r - 18 - 2 = -5*m. Let q = 2195 + -2180. Solve -m*h + 11*h = q for h.
3
Suppose 6 = 2*f - 3*f. Let z = f - -8. Let r(l) = l + 11. Let g be r(-7). Solve g*s = z*s + 4 for s.
2
Let g be 96 - 94 - 3/(-1). Solve -3*o - 4 = g for o.
-3
Suppose 0 = 16*k - 2 - 110. Solve -6*n + k = n for n.
1
Let a be (1/1 - 0)*26. Let m = a + -10. Solve -v + m = 3*v for v.
4
Let y = 9 + -9. Suppose 0 = z + 2*d - 38, y*z + 2*d = 5*z - 202. Suppose -2*s + 7*s - z = -4*t, -s + 4*t - 16 = 0. Solve 3 - s = a for a.
-1
Let c = 5 + -1. Suppose 0 = -c*z + 7 + 9. Let q be 104/32 - 1/4. Solve -q*b = -z*b - 4 for b.
-4
Suppose 39 = 410*k - 397*k. Solve -k*l + 1 = 7 for l.
-2
Let c = -2085 + 2087. Solve 3*l = l + c for l.
1
Suppose 2*i + 2*w + 126 = 0, -5*w + 0 = 3*i + 179. Let y = 68 + i. Solve y = -2*n + 3*n + 1 for n.
-1
Suppose 2*b = q + 16, -2*q = -5*b - 0*q + 40. Let m be ((-2)/(-4))/((-2)/b). Let k be 0 + (-6)/m - 0. Solve -3*y + k = -4*y for y.
-3
Let v(c) = c - 5. Let y(d) = 5*d**2 - d - 4. Let j be y(2). Suppose 3*h - j - 13 = 0. Let f be v(h). Solve -f*l + 4 = -3*l for l.
4
Suppose -21*n = -20*n - 82. Let s = -77 + n. Solve -s*t + 10 = -0*t for t.
2
Let c(z) = -z**2 + 5*z - 4. Let k = -4 - -8. Let i be c(k). Suppose d + 0*d + 15 = 5*u, -5*d - 4*u + 12 = 0. Solve i = -p - d*p for p.
0
Suppose 0 = -m + 30 - 23. Solve 0*v + m = 7*v for v.
1
Let l = 1 - -4. Let r be (-4 - (-28)/4) + -2. Let y be (-9 + 9)*(r - 2). Solve l*k + y =