 x = 26 + -22. Solve 0*f - x*f = 8 for f.
-2
Let v(r) = 3 - r + 0 - 2. Let d be v(-7). Solve q + q = d for q.
4
Let f = 14 + -12. Suppose 3*s - 14 = -4*q, 7 = f*q + 4*s - 5. Solve q*o - 25 = 7*o for o.
-5
Let t(x) = x + 5. Let i be t(-5). Let f be (i + -1 + 0)*-4. Solve 2*l = -0 + f for l.
2
Suppose -4*j - 14 = -2*j. Let f = j - -12. Suppose 1 = 2*r - 9, -4*r = -f*d. Solve -8 = -d*x - 0*x for x.
2
Suppose 5*p - 10 = -0*p. Solve p*l - 9 = -1 for l.
4
Let v = 8 - 4. Let r be (-1)/v - 18/(-8). Solve -3*s = r*s - 15 for s.
3
Suppose -4*g - 4 = 3*u, 2*g = 2*u + u + 16. Let v(q) = q**3 - 2*q**2 + q - 2. Let o be v(g). Let c = 2 + o. Solve c*d = -d - 3 for d.
-1
Suppose 0 = 4*x - w - 18, 4*w = 7*w - 6. Suppose -x*q = -3*y - 25, -2*q - 4*y = -0*q - 10. Let h be (14/4)/((-2)/(-12)). Solve h = q*a - 4 for a.
5
Let i be (-3)/9 + 13/3. Let o be 3/1 + (-4)/i. Solve o*r = 6*r - 16 for r.
4
Let p be (-1)/3 - (-2)/6. Suppose -o - o = p. Solve 3*f - 2*f + 5 = o for f.
-5
Let t be 3 + ((-9)/3 - 4). Let m = t + 7. Let i = m - 0. Solve -11 = -i*y + 1 for y.
4
Let z = -7 + 12. Suppose 2*s = z*w - w + 24, 2*w = 10. Solve -2 = 4*d - s for d.
5
Let c(q) = -3*q - 4. Let j be c(-4). Suppose p - j = -3. Solve p*v - 5 = -25 for v.
-4
Let p = -7 - -11. Let s(z) = -2 + 2 - p*z - z**2 - z. Let h be s(-4). Solve 0 = 2*m - h - 4 for m.
4
Suppose 5*s + 0 = -0. Solve 6*w - 7*w + 2 = s for w.
2
Suppose -11 = u - 3*u + 3*j, -2*u + 12 = -4*j. Solve -u*c - 12 = -0 for c.
-3
Suppose q + 2*l - 7 = 0, -3*l = 4*q - 20 + 2. Suppose -28 = -2*h + 5*b, -4*b - 5 = -2*h + 21. Solve 0 = -3*g + h + q for g.
4
Suppose 17 = w - 4*d - 14, -2*d = 2*w - 22. Solve -w = j - 4*j for j.
5
Let b be -2 - 1/((-1)/4). Suppose 0 = 2*t + 2*u - 62, -40 = -t - 2*u - b*u. Solve 4*g = 8 - t for g.
-5
Let j(h) = -2*h - 24. Let p be j(-14). Solve -p*y = -3 - 1 for y.
1
Let p be -2 + 2 + 3 - 3. Solve -d + 1 = -p*d for d.
1
Let g be (1/(-2))/((-2)/96). Let u be 9/12 - 93/12. Let x be (-2)/u + g/14. Solve 1 = x*y - 7 for y.
4
Suppose 8 = 4*v + 5*p, 3*v - 2 - 4 = -3*p. Solve 9 = -v*o - o for o.
-3
Suppose 4*m + 116 = 6*m. Suppose 5 = -h - 4*f + 13, -m = -4*h - 3*f. Let d = -11 + h. Solve 0 = -r - 1 + d for r.
4
Let i = -35 + 50. Solve -6*j + j + i = 0 for j.
3
Let g = -29 - -33. Solve 5*u - 1 = g for u.
1
Let k(r) = 3*r + 23. Let y be k(-7). Suppose 2 + 0 = 2*w, -15 = -2*d - 5*w. Let u be 1 + 0 + 2 + d. Solve -4*h + y*h = u for h.
-4
Let k(t) = -2*t + 1. Let m be k(-1). Solve m*b + b + 20 = 0 for b.
-5
Suppose -5*y + 1 + 19 = 0. Let s = y + -4. Solve 2*d + s*d = -8 for d.
-4
Let o = 8 - 3. Let w be (-3)/((-4)/(352/6)). Solve 19 = o*m + w for m.
-5
Suppose -2*v = 3*u, 0*u + 6 = 4*v + 3*u. Let t be ((-33)/(-4))/(6/8). Solve -4 = -v*n + t for n.
5
Suppose j + 7 = -0*j. Let i be 2/j - (-16)/7. Let t be 3/(1/2*i). Solve 0*b - 3 = t*b for b.
-1
Let i be 1/2 + ((-14)/(-4))/(-7). Solve 0 = -q - i + 2 for q.
2
Suppose -2*j = -2*l + l - 1, -2*l = 4*j + 2. Let d be (4/(-12)*j)/2. Let u = -12 - -20. Solve d*w - u = -4*w for w.
2
Suppose x - 6*x + 19 = v, -2*x = -2*v + 2. Let i(w) = 5*w + 2. Let l be i(1). Solve v*k + l = -13 for k.
-5
Let z(w) = w**3 - 2*w**2 + 1. Let l be z(1). Suppose -2*c - 5*o - 19 = l, -2*c + 3 = c - 3*o. Let g be 1/2 + (-9)/c. Solve -3*y + g = -1 for y.
2
Suppose -h = z - 4*h - 40, 92 = 4*z + 5*h. Suppose -26*n = -z*n. Solve s - 2*s = n for s.
0
Let m = 33 - 30. Solve -3 - m = -2*i for i.
3
Let h(y) = -y**2 - 5*y. Let u be h(-4). Let m = -1 - -2. Suppose 0 = 5*x + 2*a - 25, x - 5*a + 10 = 3*x. Solve 0 = x*o - m - u for o.
1
Suppose -9*f = -4 + 4. Solve f*w - 5 = -w for w.
5
Suppose 0 = 4*h + 3*o - 38 + 7, -2*o + 2 = 0. Suppose 5*b - 3*u + 5*u = 15, 2*b + u - h = 0. Suppose -b + 0 = -q. Solve 0 = -n + q + 3 for n.
4
Let a be (4/4)/(2/28). Let x be (-4)/a - 296/(-56). Solve 3*j + 10 = x*j for j.
5
Suppose 2*j = -0*j + 8. Let f(q) = q**3 - 11*q**2 + q - 10. Let t be f(11). Solve h = -t - j for h.
-5
Suppose 2*n = 9*n - 7. Solve 3*o + 2 = -n for o.
-1
Let r be (-4 - -7) + 3/(-1). Let s be 3/(-2)*(-20)/6. Solve r*f + 5*f = -s for f.
-1
Let z(o) = -o. Let q be z(-3). Let p = q - 3. Solve p = 4*a - 4 + 24 for a.
-5
Let p be (12/(-8))/(3/(-8)). Let a = 8 - p. Suppose -a*s + 7 + 1 = 0. Solve -i = s*i for i.
0
Suppose -2*c = -4*s + 3 + 1, 4*c - 1 = -s. Suppose 2*f + 3*d = -d - 12, 0 = -4*f - d + 11. Let j(g) = g**2 - 3*g - 3. Let n be j(4). Solve c = -i - n - f for i.
-5
Suppose 3*j - 85 = -5*t - 2*j, 0 = 4*t - j - 53. Suppose -16 = -3*p + t. Solve 4*i = 2*i - p for i.
-5
Let r be 28/(-28)*(0 + -1). Solve 5*d + r = -19 for d.
-4
Let z be (2/(-2))/((-6)/(-72)). Let u be 6/4 - 6/z. Solve 3*t = 5 - u for t.
1
Let d(f) = f - 1. Let u be d(-1). Let t = -1 - u. Solve -3 = y + t for y.
-4
Let o be 2 + -4 + (-3 - -13). Let p = o + 4. Suppose -2*m = 2 - p. Solve m*b = b + 8 for b.
2
Let i be (-465)/(-65) - (-4)/(-26). Suppose -2*w + i*w = 0. Solve w = -z - 0*z + 5 for z.
5
Suppose 4*p + 2 = 10. Let r(l) be the third derivative of -l**5/60 + l**3/2 - 7*l**2. Let g be r(0). Solve g*v = -p*v + 25 for v.
5
Let q be 0*(-1 - (-2 - -2)). Let k be (q - -1)*3/(-3). Let h be (-1)/2*(k + 1). Solve -5*c - 20 + 0 = h for c.
-4
Suppose -2*i - 11 = -2*s - 3*i, 19 = 4*s - i. Solve -s*b - 6 = 4 for b.
-2
Let i be (18/5)/(4/10). Suppose 2*p + p = i. Suppose p*g + 6 = 4*g. Solve 0 = -5*v + g + 14 for v.
4
Suppose 4*k + 0*m = 5*m - 7, 2*m = 6. Let f be 117/7 + k/7. Solve 5*v + f = -8 for v.
-5
Suppose 4*j = 3*g - 24, 40 = 2*g + 3*g - 3*j. Suppose -l - 3*l = -g. Suppose 3*r - 14 + 2 = 0. Solve 4*d - r = l*d for d.
2
Suppose 70 = 5*i + 2*l, -2*i - 4*l = -5*i + 68. Solve 4*d + i = -0*d for d.
-4
Let n(l) = l + 1. Let s be n(2). Solve 3*v - 4*v = -s for v.
3
Suppose 3*z + 1 = -2*s, -5*s = -5*z - 12 + 52. Suppose z*w - 21 = -2*y - y, 0 = -2*w + 4*y - 16. Suppose r = -0*r + w. Solve -3*m - 13 = r for m.
-5
Let f(m) = m + 7. Let r be f(-8). Let p(c) = -4*c**3 + c**2 - c - 1. Let t be p(r). Let n be 2/(-2) - (1 - 2). Solve -q + 2*q - t = n for q.
5
Suppose -32 = -5*w - 12. Solve 6 - w = 2*f for f.
1
Suppose -8*y + 4*y = -8. Suppose 2*z - y = -3*l, 0*l = 5*z - l - 5. Solve -4*c + 3*c - z = 0 for c.
-1
Suppose 4*z + 5*f = 10, -4*z + 3*f + 0 = 6. Let j = z - -3. Suppose 2*b = -4*v + 4, j*v + 2*v - 5 = 0. Solve -2*i - 3*i - 25 = b for i.
-5
Let z(q) = 11*q. Let y be z(-1). Let h = y - -13. Solve h = l - 2 for l.
4
Suppose 0 = w - 32 + 30. Solve 3*z = 4*z - w for z.
2
Let f be (2/(-4))/(8/(-80)). Suppose 2*x - 10 = -f*d + 22, 0 = 3*x + d - 22. Solve -3*b = -6 - x for b.
4
Let j be 2 + 48/(-20) - 12/(-5). Solve -j*k + 16 = 2*k for k.
4
Let d = 18 + -10. Let m = 10 - d. Solve -5*q - m + 7 = 0 for q.
1
Let j = -85 - -88. Solve j = -t - 2*t for t.
-1
Suppose -2 = -2*o - 2*r, 3*o + 2*r + 3*r + 5 = 0. Suppose 0 = -o*w + c + 10, -31 = -2*w + c - 6*c. Solve 0 = 3*y - 6 - w for y.
3
Let j be 129/6 + (-1)/(-2). Suppose 4*k - j = 2*k. Let y(h) = h**3 - 10*h**2 - 12*h + 13. Let r be y(k). Solve 4 = -r*v + v for v.
-4
Let h(c) = -c + 7. Let x be h(7). Let w = 5 - x. Solve -w - 11 = 4*p for p.
-4
Let i be (-16)/(-4) + (-3 - -4). Let w(u) = u**2 - 3*u - 7. Let f be w(i). Suppose -4 = -4*l + 4. Solve -f*c = l*c for c.
0
Let c(s) = 4*s. Let r be c(4). Let x be r/5 + (-3)/15. Suppose 2 = 5*a - x. Solve 0 = 2*k - a + 5 for k.
-2
Let y(v) = v**2 + 3*v + 3. Let i be y(-2). Solve -d = i + 4 for d.
-5
Let c(n) = n**2 + 5*n + 6. Let j be c(-3). Solve 2 = -j*z - 2*z for z.
-1
Suppose -2*b - 6 = 2*o, 0 = 2*o - 4*b - 5 - 7. Solve -2*m + 6 = -o*m for m.
3
Suppose 3*j = 4*j - 12. Let w = 1 - 1. Solve g + 3*g - j = w for g.
3
Let n = 31 - 30. Solve -4*q + 3*q - n = 0 for q.
-1
Suppose 20 = 4*u - 0. Suppose 0 = -5*r - 5*a + 100, 0 = -3*a + 6 + 3. Suppose -2*o + 3*j + r = 0, -4*o = -o + u*j + 3. Solve o = -2*b - 0 for b.
-2
Suppose -2*c + 5*u + 8 = -0*u, 0 = -c + 3*u + 4. Solve l = -c*l for l.
0
Let x = 5 - 3. Suppose -13 = -3*h - k - 81, x*k = h + 18. Let g be h/(-3) - 3/9. Solve 2*p - g*p = -5 for p.
1
Suppose 5*c + 15 = n, 12 = -3*c - c. Let j be n/(-1 + -1 + 0). Suppose 5*v = 2*v - 4*f + 19, 5*f - 30 = -5*v. Solve j = -v*a + a + 8 for a.
2
Let v(s) = 2 - 4 + 7*s**2 - s**2. Let d be v(-2). Suppose -z = -2*y - 11, -5*y = -0*z + 3*z + d. Solve 8 + z = -3*i for i.
-3
Suppose -d - f = 