 be k(-8). Let c = 18 - n. Solve -c*b = -3*b + 4 for b.
-1
Suppose -32 = -4*b + 4*c, c = 3*b - 3*c - 19. Suppose 5*g - 1 = 5*l - 6, -3*g - b = -5*l. Solve -g = -r - 6 for r.
-2
Suppose 0 = 4*k + 12, -2*c = -k - 4 - 11. Suppose -5*p = -4*s + 26, 2*s + 3*p - 2 = -0*p. Solve s*t - 2 = c*t for t.
-1
Let h = 6 - -14. Solve 3*b + h = -b for b.
-5
Let x be (56/24)/((-1)/(-3)). Let g = 4 - 10. Let o(i) = i**3 + 6*i**2 + 2. Let c be o(g). Solve -c*t + x = -1 for t.
4
Let o be 1 - (-2 - 2/2). Suppose -25 = -o*i - i. Solve 0 = -i*u - 3 - 2 for u.
-1
Suppose 2*j + 3*o = -j + 12, 4*o - 16 = 4*j. Suppose 2*r - 3*f = j, r = -f + 5*f - 5. Suppose -v - r + 5 = 0. Solve -v*q = 3*q + 5 for q.
-1
Let g = 7 + 0. Suppose 3*j - g + 1 = 0. Solve -v + 0 = j for v.
-2
Let s = -14 - -21. Suppose 2*f - s*f = 0. Solve g + 4*g + 10 = f for g.
-2
Let q(f) = 2*f + 2. Let w be q(-1). Solve o + 2*o + 6 = w for o.
-2
Let r(k) = -k**2 - 6*k - 6. Let q(f) = -2*f**3 - 2*f**2 - 2*f - 2. Let o be q(-2). Let t be 10/25 + (-44)/o. Let j be r(t). Solve h - j = -h for h.
1
Suppose -4*i - 3 = -i. Let p(b) = -14*b. Let n be p(i). Let r = n - 10. Solve -r*y = -2*y for y.
0
Suppose 3*k - k = 20. Let w be ((-2)/(-10))/(2/k). Let i = 3 - w. Solve 3*f = -4 - i for f.
-2
Suppose -8*a = -1610 + 1594. Suppose -2*c - 50 = -4*h, 9*h - 2*c = 4*h + 62. Solve h = -a*w + 2 for w.
-5
Let a(d) be the second derivative of d**4/12 - 4*d**3/3 + 4*d**2 + 2*d. Let i be a(6). Let b = 4 + i. Solve b = -2*s + 4*s - 6 for s.
3
Suppose 0 = -3*d + x + 10, 6*x = -3*d + 3*x + 18. Solve -8 = d*u + 8 for u.
-4
Suppose 0 = q + 4*q. Suppose 3*k + 2 = 2*k. Let y = k - -2. Solve -s + y*s = q for s.
0
Let k be (-2)/8*2*-6. Let f be k/(-2)*32/(-6). Suppose -v + 5*q = 21, 2*v + v + f = 4*q. Solve b + v = -b for b.
-2
Let x be 1/(-2 - (-14)/6). Let j(c) = c**3 + 3*c**2 + c + 4. Let h be j(-3). Suppose -4*d + 5 - h = 0. Solve x*w - d - 8 = 0 for w.
3
Suppose -5*p - 2 = 4*w + 6, 4*w + 4*p + 12 = 0. Let s(f) = 3*f**2 + f**2 - 3*f**2 + 7*f + 4. Let l be s(w). Solve v = l*v + 15 for v.
-5
Let d = -2 + 5. Solve 2*p - 20 = -d*p for p.
4
Suppose -6*v - 4*z = -2*v - 12, v + 6 = -4*z. Let s = 4 + -1. Solve -g + v = -s*g for g.
-3
Let h be -5*(1 + 9/(-5)). Let o(v) = -v**3 + v. Let s be o(1). Suppose 0 = -y + 3*p + 15, 2*p + 2 = -2*y - s. Solve -y*i - h = -7*i for i.
1
Let o be 104/56 + (-3)/(-21). Solve -2*z + 0 = o for z.
-1
Let z(u) = -u**3 + 6*u**2 - 5*u + 5. Let d be z(5). Solve 0 = -d*s + 3 + 2 for s.
1
Let a(y) = -3 - 2 - 6 - 2*y. Let s be a(-8). Suppose 2*k - 15 = -5*x + 6, s*x + 5*k = 30. Solve -x*z = z for z.
0
Let q = -51 - -53. Solve 2 = -0*a + q*a for a.
1
Suppose -p + 2 = -0*p. Let a be p/(-2) + -2 + 8. Solve 1 = -a*z - 9 for z.
-2
Suppose 0 = 3*y - 33 + 9. Suppose d = -3*d + 20. Solve -18 = d*q - y for q.
-2
Suppose -b = -o - 2*b - 5, -20 = -2*o + 4*b. Let a = 8 - -4. Suppose a = -0*k + 4*k. Solve o = k*l - l + 4 for l.
-2
Suppose 5*q - 65 = -2*g, -2*q + 110 = 5*g - 0*q. Let y = g + 0. Solve y + 0 = -4*l for l.
-5
Let y = 12 + 2. Suppose i - y = 5*o, -3*o + o = i. Solve 2*d = -i - 6 for d.
-5
Let a be (-1 - (-10)/14) + 37/7. Solve -2*f + a = -3 for f.
4
Let k(o) = -2*o**2 - o + 1. Let z be k(2). Let f = -7 - z. Solve -f*x + 0*x = 0 for x.
0
Let w(j) = -2*j**3 - 7*j**2 - 14*j - 15. Let s(u) = -u**3 - 4*u**2 - 7*u - 7. Let a(c) = -9*s(c) + 4*w(c). Let x be a(-7). Solve -5*b = 8 - x for b.
-1
Let q(w) = w**2 - 2. Let c be q(-2). Solve 5*f - c*f = 0 for f.
0
Let y be 32/6*(-9)/(-12). Solve -y*j + 1 + 7 = 0 for j.
2
Let a = 4 + -3. Let d(v) = a + 1 + v - 2 - 3. Let g be d(5). Solve 1 = -g*j + 3 for j.
1
Let u = 16 + -6. Solve 0 = -6*o + o + u for o.
2
Suppose 0 = 26*v - 27*v + 5. Solve 0*w - v*w = 0 for w.
0
Let y(x) = -x + 1. Let m be y(4). Let f be (m - -1)/(1/(-2)). Suppose -5*k + 4 - 1 = -3*i, -3*k + 5*i = 11. Solve -g + f*g = k for g.
1
Let j(m) = m**2 + 3*m + 2. Let i be j(-3). Suppose 10 = 2*r - 2. Suppose -g + r = 2. Solve 0 = -i*p - 4 - g for p.
-4
Let n = 15 - 6. Let c = 13 - n. Suppose v + f = -f + 6, -c*v + 5*f = -11. Solve -v*o + 0 + 12 = 0 for o.
3
Suppose 6 + 9 = 5*b. Suppose -4*x = b*c - 20, 4*c + 0*c - 22 = -3*x. Solve x*t = t + 4 for t.
4
Suppose q - 4 = -q. Solve -q*f + 10 = 3*f for f.
2
Suppose -4*w + 76 = 2*m + 2*m, 3*w - 15 = 0. Suppose -f + m = -2. Solve -4 = -3*r - f for r.
-4
Let d = 26 - 14. Solve -3*u + d = -6*u for u.
-4
Suppose 0 = 3*v - 3*d + 15, 4*d = 5*v + 3*d + 5. Solve v = -2*a + a for a.
0
Let a(p) = 4*p + 4. Let q be a(3). Let j = q - 11. Solve j*m + 2 = -3 for m.
-1
Let z(a) = 3*a - 24. Let t be z(10). Solve 0 = 5*r - 21 + t for r.
3
Let v be 20/(-6)*60/(-50). Solve 0 = 3*d - 1 + v for d.
-1
Let l(v) = v**2 + 5*v + 11. Let t be l(-3). Solve t*g - 2*g + 3 = 0 for g.
-1
Suppose -5*a - 2*c + 100 = 0, 4*c - 40 = -2*a - 0*c. Suppose -2*h - 3*h = -5*g + a, -8 = g + 2*h. Solve g = -4*r - r - 5 for r.
-1
Let z(g) = g + 8. Let a be z(-6). Let j(x) = -3*x + 6. Let f be j(-7). Suppose -4*h + f = 3*v, -2*h + 2*v = -3*v + 19. Solve -l = -a + h for l.
-1
Suppose -14 = -2*s - 0*s. Let r be (8/12 + -1)*-6. Solve s*z + 15 = r*z for z.
-3
Let o(y) = 4*y + 10. Suppose 0*r + 32 = 4*r. Let g be o(r). Solve 17 - g = -5*z for z.
5
Suppose -f = -n - 2*f + 7, -4*n - 3*f = -24. Solve 0 = -x + 2*x - n for x.
3
Suppose -5*v + a = -3*v + 1, -a - 5 = 4*v. Let m be -2 + 6/v*-2. Solve -2*i - 3*i = m for i.
-2
Let i be (6/(-10))/(3/15). Let o be (4/i)/(4/(-6)). Solve 2*p - 4 = -o for p.
1
Suppose -s = -5, -4*m - s - 1 = -6. Suppose -2*w + 5*i = -m*w - 5, -3*i - 22 = -5*w. Solve -2*f + w*f = 0 for f.
0
Let b(g) = 3*g**2 - 2*g + 1. Let v be b(1). Suppose -2*z + 5*x - 40 = v*z, -3*x - 40 = 4*z. Let d be (4/z)/((-7)/35). Solve d*q + 3 = 1 for q.
-1
Let v be ((-56)/8)/((4 + -3)*-1). Solve 15 = -2*r + v*r for r.
3
Let m be -4*(45/6)/(-5). Solve -j = -m*j for j.
0
Let v(l) = -l**2 - 12*l + 15. Let w be v(-13). Solve -w*b - 12 = 2*b for b.
-3
Let d = -2 - -5. Solve 3 + 9 = -d*q for q.
-4
Let h = 150 - 142. Solve 6*d = h*d for d.
0
Let w = -2 + 12. Suppose 5 = -i + w. Suppose 0 = v - 5*v + 24. Solve -v = 3*l - i*l for l.
3
Suppose 0 = -2*r + 5*r - 141. Suppose -r = -3*k - 17. Let f be (k/(-6))/(5/(-15)). Solve i = f*i + 16 for i.
-4
Let o(j) = -5*j + 3*j - 6*j - j**2 + 2 + 5*j. Let l be o(-3). Solve 7*q - 5 = l*q for q.
1
Suppose -3*x + 6 = -6. Let m(b) = -b**3 + 4*b**2 + b. Let y be m(x). Solve y = -4*w - 0*w for w.
-1
Suppose 10 + 9 = 3*z + k, -3*z + 35 = 5*k. Let u(i) = -i + 2 - 2 + 7 - 1. Let l be u(6). Solve z*o - 15 + 0 = l for o.
3
Let j = 28 + -25. Solve j*h - 9*h - 12 = 0 for h.
-2
Let l be (-3)/18*-3*0. Solve -3*o - 22 + 7 = l for o.
-5
Suppose 2*t - 2 = 14. Suppose 4 = -0*g - g. Let a = g + t. Solve 5 = 3*s - a*s for s.
-5
Let n be (-4)/((-6)/4 - (-3)/6). Solve -2*k = -n*k - 2 for k.
-1
Suppose -11 = -3*m - 2. Let w = -1 + -1. Let z be w*(-1)/(2/4). Solve 4*g - z = m*g for g.
4
Suppose 0 = -5*k - 16 - 9. Let x(l) = l**3 + 6*l**2 + 3*l - 5. Let s be x(k). Solve 0 = -5*f + s + 10 for f.
3
Let c(i) = i**2 + 7*i - 3. Let w be c(-8). Suppose 5*f - 5*y = 85, -w*y + 18 = 3. Solve f = 8*b - 3*b for b.
4
Let m be 2 + (-9)/(-3)*1. Let i be 27/m - (-2)/(-5). Solve i*z = z + 20 for z.
5
Let j be -1 + 28 + 18/(-6). Let s be j + -1 - (-1 - -4). Solve -2*d - 3*d - s = 0 for d.
-4
Suppose -3*v + 3 + 1 = 2*j, -2*v - j + 4 = 0. Solve v*b = 13 - 1 for b.
3
Let h(l) = l**2 + 14*l + 4. Let q be h(-14). Solve -q = -3*i + 11 for i.
5
Let u(k) = 0*k**2 - 3*k + k**2 + 2 + 2*k + 0*k. Let p be u(2). Solve -p*t = t for t.
0
Let y = -45 - -68. Suppose 0 = t - y + 3. Solve 0*d = 5*d + t for d.
-4
Suppose y + 3 = -0*y. Let m be (y/9)/(2/(-78)). Solve -4*d = -7 - m for d.
5
Let w = 1 + 4. Suppose w*f = 3*t - 22, -t - 3*f = 3*t + 19. Let q be t/(-1)*(-1 - -1). Solve o - 5*o - 16 = q for o.
-4
Let c(g) = -3*g**2 + 5*g + 8. Let n(f) = -7*f**2 + 11*f + 16. Let m(r) = -5*c(r) + 2*n(r). Let v be m(6). Let t = v - 2. Solve -3*i = i - t for i.
2
Suppose -3*m = -5*a - 26, m = 2*a + 4 + 6. Let h(q) = 2*q**m - 1 + 5*q - q**3 + 1 - 3. Let y be h(3). Solve 2*f + y - 9 = 0 for f.
3
Suppose 0*r + 5*r - 5 = 0. Solve -3*o - r + 4 = 0 for o.
1
Let q = 60 + -53. Solve -q*y = -3*y - 4 for y.
1
Let z(l) = -l - 8. Let k be z(-11). Solve 2 = k*b + 5 for b.
-1
Let r be (-