olve 4*d - n + 11 = 0 for d.
-2
Let f = -11 - -13. Suppose 0 = -5*m + f + 13. Solve 0 = 3*k + m for k.
-1
Let o = 12 - -12. Let h be o/4 - (-3 - -6). Solve m + h*m = -20 for m.
-5
Let t be ((-16)/(-6))/(2/12). Suppose 2*i = -i - d + t, -i = -2*d - 3. Suppose 37 = i*p + a, -p - 5*a + 2*a - 1 = 0. Solve -2*f + 0 = p for f.
-4
Let g = -12 + 4. Let r = 13 + g. Solve 0*w = r*w - 20 for w.
4
Let h = 153 + -152. Solve -2 = i + h for i.
-3
Suppose 0 = 10*o - 3*o - 21. Solve 2*i = -o + 7 for i.
2
Let d = -48 + 52. Solve d = 2*c + 2 for c.
1
Suppose -5*f = 41 + 29. Let p = 11 + f. Let b = p + 6. Solve -12 = -t - b*t for t.
3
Let a = 11 + -6. Suppose 2*s = -0*s. Solve 3*r - 4 - a = s for r.
3
Let a be 2/(-6) - (-4)/3. Let t be -5*a/(-2 - -3). Let c be 2/t + (-44)/(-10). Solve 0 = -c*w + w - 6 for w.
-2
Suppose -2*b = -5*b + 27. Let d = -7 + b. Solve -3*c + d*c + 5 = 0 for c.
5
Let x(f) = f**2 + 7*f + 11. Let v be x(-5). Solve -1 - v = -2*k for k.
1
Suppose -2*w + 14 = 3*u, -16 + 4 = 4*u - 5*w. Solve 0 = 4*p + 2 + u for p.
-1
Suppose 103*v = 109*v - 84. Solve -2 = 3*l - v for l.
4
Let n = 1 - 4. Let k be (36/15)/(n/(-10)). Solve 0 = -q - q - k for q.
-4
Let y(j) = 15*j - 4. Let f be y(4). Suppose -f - 8 = -4*t. Suppose -r - 3*r + t = 0. Solve -x - r = -5*x for x.
1
Let u = 20 - 20. Solve u = -4*p + 15 + 5 for p.
5
Let q be -3*(8 - 4)/(-4). Suppose -3*r + 66 = 3*w - r, -2*r = -q*w + 54. Solve 4*m + w = -0*m for m.
-5
Let q = 54 + -36. Let u = -14 + q. Suppose -x = 3*s - 11, 3*x - 13 = -2*s + 3*s. Solve -x*h = -u*h for h.
0
Let g(l) = -l**2 + 2. Let i be (-1)/(-6) - 25/6. Let q = 4 + i. Let f be g(q). Solve -f*z - z = 3 for z.
-1
Suppose -5*p = 5*l - 25, 0 = -l - 4*l + 10. Let f(k) = -6*k - 6 - k**3 + p + 0*k**3 - 6*k**2. Let w be f(-5). Solve -7 = w*i - 3 for i.
-2
Suppose -3*s - 25 = -8*s. Suppose 12 = s*b + 2. Solve 0*y - 10 = b*y for y.
-5
Let k(p) = p**2 - 10*p - 14. Suppose -8 = -d + 5. Let v be k(d). Solve 6*b = b - v for b.
-5
Let m be (-206)/(-14) - 18/(-63). Let l be (2/(-8))/(m/(-60)). Solve -3 = 2*z - l for z.
-1
Let o(c) = -5*c + 5*c + 2*c + 5*c. Let b be o(-1). Let x be (2 + b)*1/(-1). Solve 2 = a + x for a.
-3
Let a = 17 - 13. Solve 0 = -0*n + a*n for n.
0
Suppose -h - 6*h = 0. Solve h = 4*c - 0*c for c.
0
Suppose t = 9 + 10. Let n = -17 + t. Solve 0 = -n*g + 8 for g.
4
Suppose 2*x - 19 = 11. Let w be (4 - 5)/((-3)/12). Solve -x = -k + w*k for k.
-5
Let x be -2 + (-1 - (-3)/1). Suppose 8 = -7*n + 3*n, x = -c + 4*n + 47. Suppose -2*i = -3*m - 29, 0 = -4*i + m + c + 4. Solve 0 - i = 5*d for d.
-2
Let o be (51/15 - 3)*20. Solve -3*b + o = -b for b.
4
Suppose -4*l = -9*l. Suppose -4*g - g + 30 = l. Solve 3 - g = 3*a for a.
-1
Let q(c) = -c - 2. Let y be q(-4). Suppose 2*g - 2 = 4. Solve -g*v = y*v for v.
0
Suppose 3*l - 18 = -4*u - 0*l, -u - 2*l + 7 = 0. Suppose -3*q + 12 = -u. Let n = q + -3. Solve 0 = n*r + 3*r for r.
0
Let g = 52 - 48. Solve 0*p + g = -4*p for p.
-1
Let a(f) = f**2 + 4*f - 3. Let o be a(1). Solve o*b = 4*b - 6 for b.
3
Let y(w) = 4*w**2 + 5*w - 5. Let u be y(1). Solve -4*x - u = 16 for x.
-5
Let u = 9 - 5. Let q(w) = w**3 + 4*w**2 - 7*w + 1. Suppose -5*g = -3*g + 10. Let y be q(g). Solve -y - 1 = -u*l for l.
3
Suppose -5*z - 3*u = -10, 2*z - 2 = z - 5*u. Suppose i - 2*l = 16, 3*i = -i - z*l + 54. Solve -4*w - i = -6 for w.
-2
Suppose 0 = 2*o - 8. Suppose 0 = -5*n - o*u + 70, 0*u + 5*u - 45 = -2*n. Let k(g) = -g + 10. Let c be k(n). Solve -2*j + 5*j - 9 = c for j.
3
Let g(k) = 4*k - 17. Let d be g(5). Solve a - 4 = -d*a for a.
1
Let k(p) = p**3 - 6*p**2 + p. Let u(b) = -b**3 + 6*b**2 - b. Let f(c) = 6*k(c) + 5*u(c). Let n be f(6). Suppose -n*i = -3*i. Solve -8 = -i*t + 4*t for t.
-2
Let b(v) = -v**3 + 8*v**2 + 2*v - 8. Let k be b(8). Solve u + k = -u for u.
-4
Suppose 0 = l - 3*o + o, 3*o = 3*l - 3. Suppose -l*z + z = 6. Let w be (2/(-6))/(1/z). Solve h - w*h = 0 for h.
0
Let i(b) = -3*b + 3 - 2*b + 11*b + b**2. Let v be i(-6). Let z be 4/3*3*1. Solve -v*m + z = -2 for m.
2
Let n = -17 + 18. Suppose -d + 11 = 3*x - 5*d, -d + n = 0. Let h = -8 + 11. Solve -x*q - 18 = -h for q.
-3
Suppose -1 + 37 = -3*n. Let r = n - -12. Let s be (-1 - 1) + (-10)/(-2). Solve r*m - 6 = s*m for m.
-2
Suppose -4*i - 22 - 26 = 0. Suppose 3*d = -5*a - 16, 4*d + 2*a - a = -10. Let g be (2/6)/(d/i). Solve g = -3*t - 4 for t.
-2
Suppose 0*x - 5*l + 42 = x, -5*x + 80 = -l. Suppose -2*s = 3*z + 3*s - x, 0 = 5*z - 5*s - 15. Solve r + 12 = z*r for r.
4
Suppose -u + 4*o = -12, -4*u + 6 = -0*o + 5*o. Suppose -u*j + 12 = -0*j. Suppose 0 = 2*p + 4*z - 52, 4*z - 12 = -0*z. Solve -8*w = -j*w - p for w.
4
Let k(a) = -a + 15. Let v be k(10). Solve 0 = v*y - 2*y + 9 for y.
-3
Let t be 10*(2 - 1)*1. Let y = t + -7. Solve 0 = -a + y - 2 for a.
1
Suppose -25 = -5*v - 0*v. Suppose 17 + 233 = -v*x. Let w be (12/(-5))/(15/x). Solve 4*p + w = 2*p for p.
-4
Let v(m) = 4*m**2 - 3*m**2 - 1 - 1 - 3*m - 2. Let s be v(4). Solve s = -3*q + 3 + 12 for q.
5
Let o(r) = -r**3 + 4*r**2 - 2*r + 2. Let p be o(3). Solve 3 = 2*x - p for x.
4
Let s(x) = x + 24. Let l be s(-5). Solve -3*r = -4 + l for r.
-5
Suppose -4*b - k = -39, -3*b + 25 = -0*b + 5*k. Solve j = -5 + b for j.
5
Suppose 2*n + 2*n = -5*a + 37, -n + 34 = 4*a. Solve a*f - 4*f = -5 for f.
-1
Suppose -4*c = 3*p - 151 + 51, -5*c = p - 125. Solve 5*h - c = -0*h for h.
5
Let l be (156/13)/(2 - 0). Solve 2 = 4*n - l for n.
2
Let v be (-1 - 2)*2/1. Let t(a) = -a**3 - 5*a**2 + 6*a + 4. Let c be t(v). Solve 3*o = c*o - 5 for o.
5
Suppose -108 - 42 = 5*a. Let d be (-4)/(-6) - a/9. Solve d = -r + 3 for r.
-1
Let d be -18 + (-9)/(1 + 2). Let f = 29 + d. Solve -t - f = t for t.
-4
Suppose 2*h - 3*g + 1 + 2 = 0, 2*h + 3*g = 3. Solve a = -h*a for a.
0
Let c be (4/(-3))/((-8)/12). Let i(v) = -c*v**2 + 0*v + v**3 + v + 0*v**2. Let a be i(1). Solve -5*s + a = -5 for s.
1
Let i(a) = a**2 - 6*a - 4. Let t = 5 - -1. Let f be i(t). Let m(h) = -h - 1. Let c be m(f). Solve 4*x - c = 9 for x.
3
Suppose 4*p - 5*m - 179 = 0, 0 = -0*p - p + 4*m + 31. Let j = -29 + p. Suppose -5*o + 43 = -j. Solve -3*q + 2 = -o for q.
5
Let a = 55 - 45. Solve -i = i + a for i.
-5
Let l = 5 - 6. Let t be l - 14/(4/(-2)). Solve -r - 1 = -t for r.
5
Let n be ((-5)/2)/(2/(-4)). Suppose 0 = -4*r + n*r - 4. Suppose -3 = -r*g + g. Solve -g - 1 = -2*d for d.
1
Suppose 3 = -p - y, 2*p + 5*y + 9 = -12. Let j = -2 + 4. Solve -n = -j - p for n.
4
Let m(g) = -g**3 - 12*g**2 + 14*g + 17. Let u be m(-13). Solve -2*f + u - 8 = 0 for f.
-2
Let c(r) = -r**2 + 3*r + 4. Let t be c(3). Suppose 4*k + k = 80. Suppose -3*n + k = 4. Solve -n*b + t = -2*b for b.
2
Let t = 120 + -83. Let o be 3/(-9) + t/3. Solve 3*b - o = -b for b.
3
Let l = 13 + -5. Let r = 13 - l. Solve 0 = -s + 6*s + r for s.
-1
Let v be ((-8)/(-6) + 0)/(2/3). Solve -v*o - 2*o - 16 = 0 for o.
-4
Suppose -9 = -6*o + 3*o. Let c be (-2 - (-5 - -2))*o. Solve -c*g + 8*g = 0 for g.
0
Let q be (-3 + 1)/(10/(-35)). Let x = 7 - q. Suppose 0 = w - 2 - x. Solve -w*d + 2 - 8 = 0 for d.
-3
Let l = 4 - 4. Suppose 3*a - 60 = -2*a. Let q = 16 - a. Solve q*s - 5*s + 4 = l for s.
4
Let g(z) = -z**2 - z - 8. Let v be g(0). Let k be -6*2*(-6)/v. Let r = k - -13. Solve o + 3*o = -r for o.
-1
Suppose 0 = -5*z + 12 + 13. Suppose -5*q = -z*f + 20 + 15, 3*f = -4*q. Solve 4*x = 4 + f for x.
2
Let o(b) = -b**2 + 17*b - 13. Let n be o(16). Solve -n*y = -2 - 1 for y.
1
Suppose -t = 3*g - 19, -4*t = -3*g - 3 + 2. Suppose -3*l = 5*y - 25 + 5, -y - 13 = 4*l. Solve y = g*n - 3 for n.
2
Let z(p) = 2*p + 4. Let k be z(0). Suppose -k = -11*s + 10*s. Solve s*m = -m for m.
0
Let y = 3 + 6. Let x = -6 + 2. Let z be (-2)/x*(-3 + 3). Solve z*p + 3*p = -y for p.
-3
Suppose -4*a + 37 = d, -2*a - 7 = -5*d + 2. Let x = a - 8. Solve h + h = x for h.
0
Suppose h = 1 + 3. Let k(z) = z**3 - 6*z**2 - 2*z - 9. Let t be k(7). Let i be 48/26 - (-4)/t. Solve y = i - h for y.
-2
Let y = -2 - -8. Suppose y*t = t. Solve t*a - a + 1 = 0 for a.
1
Let g = -2 + 4. Suppose -g*z + 16 = 2*z. Suppose 3*r = 3*l, -30 = -l - l - z*r. Solve l = 6*d - d for d.
1
Suppose b + 5*b = 3*b. Solve t - 2*t = b for t.
0
Let k = 6 - 0. Let t(m) = m**3 - 7*m**2 + 7*m - 6. Let z be t(k). Solve -d - d = z for d.
0
Suppose 4 - 2 = p. Let y be (-1)/2*(4 + -4). Let g = y + p. Solve -g*k = k + 15 for k.
-5
Le