 be 2/(-4) - (-9)/d. Solve -w = 2*z - 0*z for z.
-2
Suppose 4*w - 7 = 5. Solve -5 = -2*i - w for i.
1
Let j = -89 + 92. Solve 4*t = t - j for t.
-1
Let m(n) = 2 - n + 3*n**2 - 5*n**2 + 4*n - 3*n**3. Let s be m(-2). Solve -3*u = -0 + s for u.
-4
Suppose 13 = 4*n + 5. Let k = -7 + n. Let c = 7 + k. Solve c*z - 5*z = 12 for z.
-4
Let b be 5/4 - 1/4. Suppose 2*d - 15 = -d. Solve 4*c - b = -d for c.
-1
Suppose 8 = 3*z + g, -z + g = 6*g + 2. Solve -2 - 7 = -z*p for p.
3
Let t be ((-6)/(-9))/((-2)/(-6)). Let o = -5 + 1. Let g = o - -6. Solve g*i - 16 = -t*i for i.
4
Let a = 13 + -1. Solve -3*u - u + a = 0 for u.
3
Let o(c) = c**3 + 4*c**2 + 3*c. Let b be o(-2). Solve -b*n = -n + 5 for n.
-5
Suppose -d = -0 - 3. Suppose 6 = 4*y - 0*y - f, 0 = 5*y - f - 7. Let t be (2/3)/y*18. Solve -l - t = d*l for l.
-3
Let j be 1/3 - 16/12. Let a = j + 2. Solve -4 = -k - a for k.
3
Let k(t) = -t + 1. Let y be k(-4). Suppose 4*g = 2*g + 24. Suppose 2*r - 5*r + g = 0. Solve -r*q + 5 = -y*q for q.
-5
Suppose 5*t + 4*z = 7, -5 = 2*t - 5*t - 2*z. Suppose 3*k + t = 9. Suppose 16 = h - k*x - x, 3*h + x = -2. Solve 0 = n + h - 5 for n.
4
Suppose 3*w - 2*w - 2 = 0. Solve -4*d - w = 6 for d.
-2
Let x(f) = -10*f - 4. Let h be x(-1). Solve 0 = w + w + h for w.
-3
Suppose -3 - 1 = -u. Let w = 0 + u. Solve 2*c - 10 = w*c for c.
-5
Let x be (12/10)/((-6)/(-20)). Suppose -4*q - 3*j - j = 0, 5*q + x*j = 3. Solve -4*m - 7 = -q for m.
-1
Let v(k) = k - 2. Let p be v(6). Suppose 0 = -l - 4*h + 3*h - 10, 2*h = 0. Let f = l + 11. Solve p*o = f + 11 for o.
3
Let o(j) = j**2 - 10*j + 11. Let l = -13 + 22. Let d be o(l). Solve 0 = a + d - 6 for a.
4
Suppose -3*z = -3*c + 9, 0 = 3*z - 0*z. Solve t = c*t for t.
0
Suppose -6*v + 28 = -2*v. Suppose 5*q + 2 = v. Suppose -2*k + 5 = -13. Solve 2*h + q = -k for h.
-5
Let v(c) = c - 2. Let s(l) = l - 2. Let q(m) = -6*s(m) + 5*v(m). Let a be q(-6). Solve 12 = 5*h - a*h for h.
-4
Let t(m) = -m + 1. Let l(q) = q**2 - 8*q - 2. Let b be l(8). Let h be t(b). Suppose -18 = -6*z + h*z. Solve 10 = -z*g + g for g.
-2
Suppose 30 + 0 = 5*j. Suppose 0 = -3*n + n + j. Let q be (-3 - (-18)/n) + 1. Solve 0*f + q*f = 20 for f.
5
Let f(n) = 0 - 3 - n + 2. Let c be f(-5). Solve h - c*h = -9 for h.
3
Let r(i) = i**2 + 3*i - 2. Let t be r(-6). Suppose -5*q - 10 = -4*v, 0*v - 2*q - t = -4*v. Let k be ((-4)/5)/((-2)/v). Solve 0 = k*j + 11 - 3 for j.
-4
Let d(o) = 5*o**2 - 3. Let s(m) = 6*m**2 - m - 3. Let c(v) = -5*d(v) + 4*s(v). Let a be c(-4). Solve 0*k = a*k for k.
0
Let x(q) = 2*q**2 + 3 + 9*q - 2*q**2 - q**2. Let p be x(9). Solve 0 = p*s + 8 + 4 for s.
-4
Let v(m) = 3*m**2 - 3*m + 2. Let z be v(2). Let q = z + -2. Let p = q - 3. Solve 21 = p*a + 6 for a.
5
Suppose -12 = 3*o, -3*o + 8 = -2*i - 6*o. Solve -i*r = 2*r for r.
0
Suppose -2 = -3*i + 2*i. Let g be -3 - -2 - (-22)/i. Suppose g = -4*x - 2*a - 0, 0 = -5*x + 4*a + 20. Solve -p = -x - 5 for p.
5
Suppose 0 = 3*n + 2*n + 10. Let o be n/(-6) + (-22)/(-6). Suppose -p + 3 = s, -3*p + 1 = -o*s + 6. Solve s*u = -3 - 3 for u.
-3
Let k = -46 + 51. Solve -5*v + 10 = k for v.
1
Let v(m) = m**2 + 9*m + 17. Let g be v(-7). Solve -1 = -g*w - 16 for w.
-5
Suppose -x + w = -1, -4*x + 2*w - 4 = -2. Let g = x + 4. Solve 8 = -g*n + 2 for n.
-3
Let q = 62 + -22. Let i(j) = -j**3 - 7*j**2 - 3*j - 5. Let b be i(-7). Suppose -4*d = -q + b. Solve 3*x + d = -0 for x.
-2
Suppose -3*o + 32 = -0*d + 5*d, -5*o + 24 = d. Solve 0 = -0*r + 2*r + d for r.
-2
Let i be -2 + 2 - 0/1. Let z be ((-39)/(-6) - (-54)/(-9))*8. Solve i*d - d = z for d.
-4
Suppose 0 = -4*t + 1 + 3. Let c be ((-10)/8)/(t/(-4)). Let v be 3/c + (-17)/(-5). Solve 0 = -3*g - 2 - v for g.
-2
Let v(h) = -h - 6. Let p be v(-8). Suppose 18 = 3*k + 3*n + 3, 15 = p*k + 3*n. Solve -4*c + k = -12 for c.
3
Let d be ((-2)/6)/(1/(-9)). Suppose -2*y - 4*k = -12, -2*k - 2 = -d*y - 0. Solve -y*q + 15 = q for q.
5
Let o be 2462/(-8) + 3/(-12). Let s be o/16 + (-2)/(-8). Let j = 39 + s. Solve i = 6*i - j for i.
4
Let y be 1*(1/2 - 21/(-14)). Solve 6 = -b - y*b for b.
-2
Let v(c) = -c**2 + 6*c + 2. Let g be v(0). Solve g*b = -b - 3 for b.
-1
Suppose 2*t + 2*n = 4, 2*t - 3*t = 3*n. Solve -2*h = t*h for h.
0
Suppose -x + 2*h = -2*x + 8, 3*x + 3 = 3*h. Let f be (-2 - 0) + x - 10. Let k be 16/10 - 4/f. Solve -k*r - 3*r = 20 for r.
-4
Suppose 3*q + 3*p + 23 = 7*q, q - 5*p - 10 = 0. Solve -q*t = -4*t - 1 for t.
1
Let z = 137 - 75. Let y be (-4)/16 + z/(-8). Let v be (-18)/y + 24/32. Solve 0 = -u - v*u for u.
0
Let q(p) = -4 + 0*p**2 + 0*p**2 + 3*p**2 + 0. Let g be q(-3). Solve g - 7 = 4*w for w.
4
Suppose -15 = 3*i + 27. Let h be i/4*(-10)/5. Solve -4*q - h = 13 for q.
-5
Suppose -8*j + 55 = -3*j - 5*h, h = 3*j - 23. Solve 0 = 2*i - 16 + j for i.
5
Let v(x) = -x**2 - 15*x + 11. Let m be v(-14). Solve -7*d + 2*d = m for d.
-5
Suppose 2*h - 3*a = -5, -2*h + 0*a + a + 1 = 0. Suppose -q = -h*q. Let x be (q + 4)/(-3 - -5). Solve -b = b - x for b.
1
Let m = 0 + 3. Suppose m = i - 0*i. Solve i*f = f for f.
0
Let u = 1 + 2. Suppose -u = -5*b + 17. Solve -g + b + 0 = 0 for g.
4
Let r(i) = -i**3 - 5*i**2 + 5*i - 4. Let t be r(-6). Solve t*w + 3 = -1 for w.
-2
Suppose 13 = -3*j + 4*o - 9, 4*o - 12 = -2*j. Let l = j + 10. Suppose -3*f = -l*f. Solve -3*p + 4*p + 1 = f for p.
-1
Suppose 0 = 4*t - 6*t + 12. Solve 3*k = 5*k + t for k.
-3
Let y be 0 - (2 + 1)/(-1). Suppose -5*c + 12 = -y. Suppose -5*m - 2*q = -30, m + 0*m - 3*q = 23. Solve 0 = -c*g - 1 - m for g.
-3
Suppose 4*v + 5*g = 9*v - 40, g = 5*v - 24. Let z = v + -3. Solve -j = -2*j - z for j.
-1
Suppose 3*s + 27 = 5*b, b - 4*s - 21 = -2. Suppose 3*y - g = 2*y + 4, -b*y = -g - 8. Solve 4*l = y*l - 2 for l.
-1
Suppose 0 = 4*r - 1 - 3. Let u be 0 + (3 + -3)/(-3). Solve r = h - u for h.
1
Suppose 5*w + 34 = -4*x - 44, 2*w + 5*x + 38 = 0. Let n be 2 - (w - (-3 + 2)). Solve -n + 0 = 3*l for l.
-5
Let n(w) = 12*w**2 - 3*w + 4. Suppose -5 = -2*y + 9. Let s(h) = -25*h**2 + 7*h - 9. Let a(r) = y*n(r) + 3*s(r). Let x be a(1). Solve 2*l = x - 4 for l.
3
Suppose -2*m + 4*m + 0*m = 0. Solve m = -0*y - 2*y + 4 for y.
2
Suppose -2*o + o + 20 = 4*r, -3*r - 5*o + 32 = 0. Let y = r - 2. Suppose 14 = u + 2*i, -4*u + 3*i = 1 - 2. Solve u = 2*l + y for l.
1
Suppose -5*n + 3*d = 0, 0*n + d - 2 = n. Solve 5*x = n + 12 for x.
3
Suppose 2*p = 3*p. Let l(a) = -a - 8. Let m be l(-11). Suppose -2*t + 0*t - 5*v + 37 = 0, -m*v + 45 = 5*t. Solve -2*j + p*j - t = 0 for j.
-3
Let c(i) = i**2 + 6*i + 2. Let p be c(-6). Suppose -10 = 2*r, -4*s + 36 = -p*s - 4*r. Suppose 215*u + 9 = 218*u. Solve u*m + m = -s for m.
-2
Let h be 1/2*(-8 - -3 - -11). Solve -5 = -2*v + h for v.
4
Suppose 0 - 9 = 3*z. Suppose 4*v - 3*v = d + 6, 5*v + 5 = -2*d. Let b be (5/z + v)*-3. Solve -3*w = -b*w + 2 for w.
-2
Let u be 0/(-2*3/2). Solve u = -k - 3*k - 4 for k.
-1
Let y(z) = -2*z + 13. Let c be y(4). Suppose 0 = -4*t + c*h + 48 - 3, -t + 4*h = -14. Solve -4*s = s - t for s.
2
Suppose i - 4 = 3. Let d(f) = f + 6. Let n be d(-5). Solve 0 = 2*w + i - n for w.
-3
Let z be 22*3/(-24)*(-5 + 1). Solve 0 = -4*t - 1 - z for t.
-3
Let b(c) = c**3 - 7*c**2 - 8*c - 6. Let y be b(8). Let x be 2 + (3/(-1) - y). Suppose 5 = -x*r + z + 28, -z - 3 = -r. Solve 0 = -r*i + 3*i + 2 for i.
1
Suppose 34 = 3*r + 5*f, -3*r - f + 46 = f. Solve 4*d + 2 = -r for d.
-5
Let k(y) = 3*y - 24. Let f be k(8). Solve f = -g - 3 - 1 for g.
-4
Let a(d) = -3*d - 4. Let l be a(-3). Suppose v + 1 = l. Solve -9 = -v*h + 11 for h.
5
Suppose 1 = 4*r - 7. Solve 5*k = r + 3 for k.
1
Suppose -6*p + p + 4*v = -27, 3 = 4*p + 3*v. Let g = 6 + -3. Solve -2*y + p + g = 0 for y.
3
Suppose g + 0*g = 15. Solve q - 6*q = g for q.
-3
Let s(d) = 3*d - 18. Let u be s(7). Solve -5*r = u + 12 for r.
-3
Let t(c) = -c + 4. Let o be t(-3). Let a(z) be the first derivative of z**4/4 - 2*z**3 - 3*z**2 - 3*z + 1. Let k be a(o). Solve 8 = -k*f - 0 for f.
-2
Suppose -5*v - 6 = 9. Let w be (-236)/3 + v/9. Let p = -53 - w. Solve 10 - p = 4*x for x.
-4
Let i be (2/6)/((-7)/(-42)). Suppose -i*r - 174 = -0*r. Let t be 1/(r/30 + 3). Solve -6*f = -f + t for f.
-2
Suppose -i + 5*c - 1 = 0, 2*c - 2 = i - 4. Solve g = i*g for g.
0
Let v(g) = -g**2 - 7*g - 3. Let k(u) = -2*u**2 - 6*u - 2. Let h(i) = 2*k(i) - 3*v(i). Let r be h(9). Solve d - r = -0*d for d.
5
Let z be 5/15 - (-55)/15. So