y = 107 + -105. Solve 0 = -3*c + 2*t + 16, y*c - t = -3*t - 6 for c.
2
Suppose -2*f = -4*f + 4. Solve k + f*y - 4*y - 8 = 0, 2*y + 8 = -4*k for k.
0
Let l(d) = -d**3 + 3*d**2 + 5*d - 3. Let a be l(3). Let z(s) = -s**2 + 11*s + 14. Let m be z(a). Solve -t - 4*w + 4 = 0, -t + 4 = m*w - 6*w for t.
4
Suppose -x - 10 = k - 3*x, 4*k = 5*x - 52. Let b = k - -20. Solve 0 = -3*s - r + 5, 0*s + s = -b*r for s.
2
Let o(w) = -2*w**3 + 3*w**2 - 2. Let z be o(2). Let f = 6 + z. Solve -3 = -f*d - 2*d + n, 3 = 3*n for d.
2
Let q be ((-7)/3)/(3/(-9)). Suppose q = 3*k - r, 4 = -5*r - 1. Solve -f - 6*c + 2*c - 3 = 0, f - k = c for f.
1
Let m(g) = -g + 6. Let n be m(10). Let v(d) = d**3 + 6*d**2 + 6*d + 3. Let o be v(n). Solve 3*x - 3*a = -2*x + 31, -x + 3*a + o = 0 for x.
5
Let t(y) = y**2 + y + 9. Let c be t(0). Let b be 2/3 - (-30)/c. Solve 5*z - b*r + 7 = -0*z, 0 = 5*z + r + 17 for z.
-3
Suppose -2*c - 1 + 29 = 0. Solve -j = 2*j - 5*q + c, 9 = -4*j - 3*q for j.
-3
Let m = 39 + -25. Solve -m = -5*a - j, j = 4 - 0 for a.
2
Let x be (0/3)/(3 - 5). Solve 2*q = -3*d + 9, x*q - 3*q + d = 14 for q.
-3
Let w be 0 - ((-10)/(-5) + -5). Let y = 49 + -25. Solve w*l + 4*s = -y, s + 27 = -3*l - 4*s for l.
-4
Let f(z) = -z + 4. Let i be f(2). Suppose i*d = 3*d - 3. Let q(o) = -o**2 + 6*o - 4. Let a be q(d). Solve -a*m = -5*k - 0*k, 4*m - 4 = 0 for k.
1
Let v = -13 - -23. Let m = v + -8. Solve -m*q = q - 5*d - 14, 3*d = -3*q - 18 for q.
-2
Suppose 0 = -4*d - 2*k - 62, 4*k - 15 - 43 = 5*d. Let s = -12 - d. Solve -w + 20 = 5*a - 2*w, 20 = s*a + 2*w for a.
5
Let x be 0/(9/(-6)*-2). Suppose m = -x*m + 5. Suppose 4*l - 11 = d, 0 = l - 2*d - 0*d + 6. Solve -y + 0*y - 1 = -2*j, j + l = m*y for y.
1
Let j be (-11 + 7)/(2/(-8)). Solve -5*u + 11 + 5 = 2*a, -4*a + j = 2*u for u.
2
Suppose 5*o - 2*w - 7 = 0, 0 = -6*w + w + 20. Solve -a + 5 = -p, o*a = -2*p - 2*a + 25 for p.
0
Let g be 3/(-1) - (-3 + -2). Let x be (-2)/(-6)*0 + g. Solve a + x*a + 3*n = 12, 2*a - 7 = -3*n for a.
5
Let s = 7 - 4. Let p = -4 - -4. Solve 5*a + s = 3*n, p - 1 = 4*a - n for a.
0
Let w be 2*-1*-1*1. Let i be (-45)/25*-1 - (-2)/10. Solve 0*d = d + w*f + 8, -5*f = -i*d + 2 for d.
-4
Suppose 3*v = 6*v. Let z(u) = -u**2 - 7*u - 8. Let n be z(-5). Solve v*f = -4*b + f + 7, 0 = 3*b + n*f - 8 for b.
2
Suppose -d = 3*y - 4*d, -3*y = 3*d + 6. Let h = 3 + y. Suppose -h*j = -j. Solve -m + 10 = 3*o, j = 5*m - o - 14 - 4 for m.
4
Let y = -48 - -68. Solve -5*o - y = 5*m, 6 = 3*o - 4*m - 3 for o.
-1
Let w be (11 + -11)/(-4 + 2). Solve -3*i + 6 = w, 5*p + 1 + 2 = -i for p.
-1
Suppose -5*t + 4*g + 40 = 0, 7*t - 27 = 4*t + 3*g. Solve -y + 3 - 10 = -v, 23 = 3*v - t*y for v.
5
Let a be ((-1 - -1) + 4)*2. Let c(p) = -p + 11. Let x be c(a). Solve 2*s + z = -3, 2*z + 28 = 3*s - x*z for s.
1
Let u(x) = x + 8. Let h be u(-8). Let i = 27 + -22. Solve 4*g + 8 = -h*n - 4*n, i*g - 5*n - 20 = 0 for g.
1
Suppose 5*n - 9 - 1 = 0. Let y be (-1 - (n - 7))*1. Let d be (-2 - y)/(3/(-2)). Solve 0*z + d*o - 12 = z, 0 = -3*z + 5*o - 22 for z.
-4
Let k(x) = x**2 + 7*x + 5. Let w be k(-4). Let d be (-16)/w + (-2)/7. Solve 5*q + 0*q = 2*z - 18, -5 = d*q - 3*z for q.
-4
Let j be 1/3 - 30/(-18). Suppose j = v + v. Suppose -2*a + v = -1. Solve -a = d + y - 2*y, 5*y = 3*d - 3 for d.
-4
Let g be (-2)/(-4*3/18). Solve 4*l = 4*b - 8, 0 = -3*l - g*b + 13 + 11 for l.
3
Suppose -2*a - 1 + 9 = 0. Solve -a*c - 5*x - 1 + 2 = 0, c + 4 = 3*x for c.
-1
Let y = 46 - 44. Solve 4*v = 7*v + 5*s - 4, -10 = y*v - 3*s for v.
-2
Let z(g) = -g**3 - 11*g**2 - g - 6. Let c be z(-11). Solve c*x - r = -17, -r - 2 = -2*x - 10 for x.
-3
Suppose -3*f - 11 = 25. Let h = -7 - f. Solve 0 = -h*l - 3*v + 14, 2 = l + 3*v + 4 for l.
4
Let y(a) = a**2 - 9*a - 3. Let d be y(8). Let s = d + 15. Solve -4 = -v - 0*v + f, -s*f - 11 = v for v.
1
Suppose 5*u = 4*u + 4. Suppose -5*o - 2*r + 14 = -0*r, -5*o + 3*r = -4. Suppose 3*j = u*j - o. Solve -j*z - 7 = v - 4*z, 2*v + 3*z = 0 for v.
-3
Suppose 3 = 5*u - 8*u. Let y be (1/(-3))/(u/21). Let s = y + -5. Solve -s*f + 7*f + 7 = 4*q, -2*q - 4*f + 10 = 0 for q.
3
Let c(d) = 2*d + 1. Let w be c(2). Solve w*f + 11 = -2*j, 1 - 4 = f for j.
2
Let o(b) = -b**3 + 5*b**2 + 4. Let a be 1/(-1*(-3)/15). Let z be o(a). Solve z*c + 11 = 5*j, -11 = -4*j + j - 2*c for j.
3
Let g = 6 - 2. Suppose -g*a = -4*y - 6*a - 8, 2*a + 8 = -5*y. Solve 2*f - 3*v - 18 = -0*f, y = 2*v + 8 for f.
3
Suppose -3*q = -q - 16. Solve 0 = -s - 2*o, -3*s + 0*s = -2*o - q for s.
2
Let z = 1 - 0. Solve -3*l - 5*v = -5, 5*l + 3*v - 2 = z for l.
0
Suppose 0 = -4*h - 4*v + 12, -h - v - 2 = -5*v. Solve 0 = 4*a - 4*u - 36, -7*u - 10 = 2*a - h*u for a.
5
Suppose -4 = -j - j. Solve j*x = w - 2, 0*x - 11 = -4*w + 5*x for w.
4
Suppose 2*x - 4*r + 12 = 0, -5*x - r + 2 = -12. Solve -2*o + 0*o - x = -2*f, 4*o = 3*f - 8 for o.
-5
Let j = -61 + 87. Solve -2*t - 3*q = 3*t - 14, 0 = 5*t - 3*q - j for t.
4
Let h = -19 + 19. Solve 2*c + 4*m = -4, h = -4*c - 2*m + 1 - 15 for c.
-4
Let n be (6/4)/(6/104). Let j = 41 - n. Suppose -j = -0*v - 5*v. Solve 4*b - k = 22, v*b = -b + 2*k + 24 for b.
5
Suppose -3*n - 23 + 38 = 0. Solve 1 = -r - r + n*z, 0 = 5*z + 5 for r.
-3
Let n = -4 + 2. Let i be 1*(-2 - -1)*4. Let x be ((-2)/n)/((-2)/i). Solve 2*a + 10 + 2 = x*m, -5*a - 6 = 3*m for m.
3
Let i(v) = -4*v**2 - 19*v + 5. Let z(n) = 3*n**2 + 13*n - 3. Let r(y) = 5*i(y) + 7*z(y). Let h be r(4). Solve 5*d - o - 18 = 0, -4*o - 8 - h = -5*d for d.
4
Let y be 43/5 + 2/5. Let a(w) = -w**3 + 6*w**2 + 7*w + 2. Let q be a(7). Solve -k + 3*p + 19 = -6*k, -k + q*p = y for k.
-5
Let u be (0 + 1)/(4/(-12)). Let m(j) = -j**2 - 3*j + 2. Let i be m(u). Solve -2*d = 5*v + 23, -i*v - 18 + 3 = -5*d for d.
1
Let i = -3 - 3. Let o = 11 + i. Let g(q) = q**2 - 3*q - 2. Let x be g(4). Solve -x*y - 4*z + 3*z = -9, -2*y + 13 = o*z for y.
4
Suppose 5*v = 3*v - 16. Let c be v/(-3) + (-7)/(-21). Solve -5*z = 5*o - 3 - 7, 2*o + c = 5*z for z.
1
Let y(i) = i**2 + 7*i - 13. Let s be y(-9). Suppose 3 = 6*o - 5*o. Let t = -25 + 40. Solve -o*j = 5*d, -2*j - t = -s*d + 10 for j.
-5
Suppose 4*q - 14 = -2*g, -3*q = q - 3*g + 1. Suppose 4 = -2*l + 4*r - q*r, -2*r = l - 4. Solve -3*i - 4*x - 14 = 0, 4*i + 2*x + 2 = -l*x for i.
2
Let j = 103 + -103. Solve -5*w - 14 = 4*l, -4*l - 2*w + j*w - 8 = 0 for l.
-1
Let x(q) = q**3 - 5*q**2 - 5*q - 3. Let w be x(6). Suppose 3 = -m - w*m + 5*r, r = 3. Solve 2*c - m*z = -2*z + 8, -3*z = c - 4 for c.
4
Let d(h) = 3*h + 21. Let o be d(-7). Solve o = 5*g - c - 0*c + 12, -2 = -3*g - 4*c for g.
-2
Suppose 0 = -3*h + 13 - 4. Let t(f) = f**2 - 14*f + 13. Let i be t(13). Solve 0 = 5*b - 2*b + h*y - 6, -2*b + 3*y + 9 = i for b.
3
Let j = 77 + -75. Solve -12 = -v + 3*v + 5*q, v - 12 = j*q for v.
4
Let o(u) = -2*u + 8. Let b be o(4). Solve q - 3*c + 6 - 19 = b, -5*q + c = 5 for q.
-2
Let n = 10 - 5. Solve -t + 4*w = 0, -t + n*w = 4*t for t.
0
Suppose -5*o + 3*d - 6*d = -314, 3*d - 58 = -o. Suppose -5*u - 24 = -o. Solve -5*s + j = -4, -5*j + 12 = -4*s - u*j for s.
0
Let z = -6 + 10. Suppose z*v + b - 16 = 0, -2*v - 11 + 33 = 4*b. Solve -u = y - 2, 5*y - 3*u - v + 1 = 0 for y.
1
Let o(j) = j**3 - 8*j**2 - 8*j - 8. Let z be o(9). Suppose -y + z = -2. Solve 0 = r, -y*k + 7*k - 5*r = 16 for k.
4
Suppose -2*t + 1 = -1. Let c(a) = 7*a**2 + 0*a + 3 - a - 2. Let l be c(t). Solve -q - 5*y = -12, 2*q - 2*y + 5 + l = 0 for q.
-3
Suppose 0 = -5*d + 6*d - 115. Suppose -d = 4*w - 307. Suppose -2*n - w = -6*n. Solve 0 = -3*t - t - n, -4*m = -2*t - 26 for m.
5
Suppose -6*v + 14 + 4 = 0. Solve 2 = 4*s - 2*s + v*p, -4*s = -2*p + 28 for s.
-5
Let v(i) = -i**3 + 6*i**2 + 9*i - 9. Let q be 14*(28/(-8))/(-7). Let l be v(q). Solve 4*o - 3*o = -h + l, 4*h - 20 = 0 for o.
0
Let o be (2/(-3))/((-6)/36). Solve -o*b + 3 + 5 = -5*v, -4*b + 8 = v for b.
2
Let f be 5/(1 - -24)*25. Solve -u = -f*g - 16, 2*u + 3*g + 16 = -4 for u.
-4
Suppose 3*n + 4*f - 15 = 10, -2*n + 2 = -f. Suppose 3*s = -5 + 20. Let v(b) = -b**2 + 6*b. Let o be v(s). Solve -5 = 5*q + o*h, q + 3 = 2*q + n*h for q.
-3
Let a = 4 - 2. Let y = 4 + 4. Suppose -d + y = 3*d. Solve 0 = -n + a*m + 8, -d - 6 = 2*n + 4*m for n.
2
Let r(d) = 3 + 3 - d + 3. Let a(v) = -v + 2. Let x be a(-5). Let n be r(x). Solve 0 = -3*o - 3*y - 0 - 6, 2*o = y + n for o.
0
Let m(k) = -2*k. Let a be m(-2). Let b = 1 + a. So