olve f*k = k for k.
0
Let f = 2 - 5. Let p = 4 + f. Suppose 3*h - 5*y = -16, h - 3*y = -4*h. Solve h = 2*x + p for x.
1
Suppose 3*m = 5*d + 4*m - 24, 28 = 2*d + 5*m. Suppose 0*b = -b + d. Solve 2*t - b*t = -6 for t.
3
Let s(i) = i**2 - i + 0 + 0*i**2 + 5. Let q = 3 + -3. Let k be s(q). Solve k*c + 5 = 4*c for c.
-5
Let i be 2 - 5/((-10)/112). Suppose 0*r + 4 = -r, 3*c - i = 4*r. Solve 6 - c = 4*o for o.
-2
Let d be (-33)/(-6) + 1/2. Solve -2*y + d = -0*y for y.
3
Suppose 3*f - 10 - 8 = -3*w, -4*f + 17 = -3*w. Let y = 1 - w. Let g = 15 + -10. Solve -n - g + 1 = y for n.
-4
Let z be (-4 + 6)/((-2)/(-6)). Suppose -4*d + z*d = 2*p, 0 = -5*d - 5*p + 30. Solve -d*h + 12 = -0*h for h.
4
Let c(z) = z - 11. Let i(m) = -m. Let w(g) = c(g) - i(g). Let b = -1 + 9. Let v be w(b). Solve -v*j + 2*j + 6 = 0 for j.
2
Let j(s) = s**3 - 4*s**2 - 6*s + 6. Let w be j(5). Let k = 2 + w. Suppose -16*r + 39 = 7. Solve -k*q - r - 1 = 0 for q.
-1
Let z(i) = -i**2 + 0 + 0 + 8*i. Let k be 1 + 2/(-17) + 208/34. Let o be z(k). Solve -o + 27 = -4*g for g.
-5
Let h be (-8 + 1)*(-26)/91. Let i(o) = -1. Let d(x) = -2*x**2 + 3*x + 5. Let b(u) = -d(u) - 3*i(u). Let a be b(3). Solve -a*q + h*q = -20 for q.
4
Let s(n) = -n + 7. Let v be s(4). Solve v + 3 = -3*y for y.
-2
Let f = -5 + 13. Let q(t) = 7*t - 10. Let l(o) = -o. Let u(y) = -6*l(y) - q(y). Let c be u(6). Solve c*m + 12 + f = 0 for m.
-5
Let x(h) = -2*h**2 + 2. Let j be x(-1). Solve 5 = v - j for v.
5
Let f be (-218)/(-9) - 12/54. Suppose r - 5*v = -3*r + f, -5*v = -5*r + 25. Solve s + 2 = -r for s.
-3
Suppose 0 = 4*a - 5*l - 17, -l - 2*l = a. Suppose 4*u = 3*h + 29, 31 = 4*u - 5*h - 4. Solve a = 4*k - u for k.
2
Let m be (-4)/((-12)/9) - 3. Suppose 10 = 2*c - m*c. Solve -2*h = -h - c for h.
5
Let s(y) = -y**3 - 11*y**2 + y + 14. Let x be s(-11). Solve -9 = -x*j + 6 for j.
5
Let v(h) = h**2 - 9*h - 8. Let d(p) = p**2 + 3*p - 8. Let j be d(-6). Let q be v(j). Solve -q*r = -3*r - 2 for r.
-2
Let x be (-2)/5 - (-4)/10. Suppose d + 3*d - 16 = x. Let y = -1 + 1. Solve y*i - 4*i = -d for i.
1
Let n = 0 + 3. Suppose 5*y + 20 = n*y. Let a(x) = -x**3 - 11*x**2 - 11*x - 6. Let k be a(y). Solve 0 = -k*t + t for t.
0
Let w(t) = -t**3 + 10*t**2 + t - 7. Let v be w(10). Suppose 5*h + 5*n - 6 = h, 2*n = -h. Solve 3*p + v = h*p for p.
3
Suppose 2*p = 5*p - 30. Let l be p/4 - (-4)/8. Solve -l*v = -v for v.
0
Let z(x) = x**3 - 10*x**2 + 9*x + 5. Let n be z(9). Suppose 2*o = 0, a + n = 2*a + 2*o. Solve 0*m = -a*m + 25 for m.
5
Let f = 23 + -19. Suppose -f*n - n = -15. Solve n + 12 = -5*s for s.
-3
Let k = -3 - -7. Suppose 2*u - 6*u + 2*m + 60 = 0, 30 = 2*u + 2*m. Suppose 6 = -3*v - 3*r, k*v - 3 + u = -5*r. Solve -v*s = -6*s - 4 for s.
-1
Let y = -14 - -14. Solve -2*l + 10 = -y*l for l.
5
Suppose 0*s + 2 = s. Suppose -4*o + 8*q + 33 = 5*q, -s*q = 2*o - 6. Solve -z = -o*z for z.
0
Let o(x) = x**3 - x**2 + 8. Let h = -3 - -3. Let v be o(h). Let n be 12/v*(-16)/(-6). Solve -n*c - 17 = -1 for c.
-4
Suppose -5*n + 4*c + 53 + 130 = 0, -4*n - 3*c = -134. Suppose 9*j - 4*j - n = 0. Let l be (-2)/j + (-14)/(-49). Solve l = 4*m - m for m.
0
Let i be 1*2/(-2 - 0). Let x be -14*1/(-2) + i. Let b be (6 + 0)*4/x. Solve 0*q = q - b for q.
4
Suppose -16*f = -17*f. Let h be f + 3 + (1 - 0). Let w(q) = -q. Let m be w(-2). Solve -m*p = -h*p for p.
0
Let f be 1*-8 + 3 - -1. Let q be (-8 - f)*(-1)/2. Solve -q*u = -3 - 5 for u.
4
Suppose -q - 2*m = 13, -3*q = m - 4*m + 21. Let u be 1*3*(-6)/q. Solve 2*a - 3*a = -u for a.
2
Suppose -g = -0*g + 20. Let h be g/8*(-12)/10. Solve 8 = -h*y - 1 for y.
-3
Let q(r) = -2*r**2 - r + 5. Let m be q(0). Solve m*w = w + 20 for w.
5
Let u(g) = g**2 - 3*g - 4. Let c(p) = p**3 - 11*p**2 + 12*p - 15. Let h be c(10). Let i be u(h). Solve 2*r - i + 4 = 0 for r.
1
Suppose 0*y + 2*y = 0. Solve y = -2*t - 2*t for t.
0
Let q(d) = -d + 5. Let t(u) = -u**3 - 13*u**2 - 11*u + 12. Let k be t(-12). Let j be q(k). Let y be (j/15)/((-1)/(-24)). Solve -x - 3*x = y for x.
-2
Let y be (-2 - 8/(-6))*-18. Suppose 0 = -m - 3*l - y, 3*m - 5*l = -14 + 48. Solve -3 = m*a - 0 for a.
-1
Let i = 7 - 3. Suppose o = 2*r + i, -2*r - o = o - 8. Solve r*l = 5*l + 15 for l.
-3
Let q = -13 + 18. Suppose -q*a - 5 = -20. Solve -a*u + 0*u = -15 for u.
5
Let l = 10 + -6. Let b = 8 - l. Solve -3*z = -b*z - 5 for z.
-5
Suppose 3*z - 7*z = -16. Suppose -z*n - 3*x = -45, n - 2*n - 4*x + 21 = 0. Suppose 3*l + n = 6*l. Solve 2*s - l = 1 for s.
2
Suppose -42 = -10*h - 2. Solve 0 = h*y - y + 9 for y.
-3
Let g = 8 - 8. Let b = g - -3. Suppose 5*n - 4*s - 35 = 0, s - 29 = -b*n + 5*s. Solve n*j - j + 6 = 0 for j.
-3
Let y(u) = -u**2 + 6*u. Let g be y(5). Let a be 28/g - (-6)/(-10). Let r(k) = -k**3 - 5*k**2 + k + 7. Let b be r(-5). Solve v + a = b*v for v.
5
Suppose 0 = 5*b + 8*b - 26. Solve 0 = 4*o - 3*o - b for o.
2
Let i be 8/12*-1*(-5 - -2). Solve i*k + 25 = 7*k for k.
5
Let d(b) = -6*b - 27. Let w be d(-6). Solve -o = w - 6 for o.
-3
Suppose n - 2 + 0 = 0. Solve n*h = -7 - 1 for h.
-4
Let d be 18/4 + 4/(-8). Let q = -3 + d. Solve q + 1 = -2*r for r.
-1
Let m(d) = -2*d + 22. Let b be m(4). Solve -4*n + 6 = b for n.
-2
Let g be (-16)/6*9/(-6). Solve -g*c + 28 = 8 for c.
5
Let o(m) = -m + 6. Suppose 4*w - 61 + 21 = 0. Suppose 10 = 2*i - 4*h + 2, 5*i = 5*h + w. Let a be o(i). Solve -3*s + 18 = a for s.
4
Suppose -4*k - 16 = -p - 3*p, 3*k = 2*p - 7. Solve 0*j = 5*j + p for j.
-1
Suppose p - 24 = -2*p. Suppose 0 = o + 2*r - 5 - 4, p = 2*r. Let x be (-1)/(o/(-1 - 3)). Solve -2*l + x - 10 = 0 for l.
-3
Let h = -1 - -3. Let r = -4 - -4. Let x be (-1)/(-3 - -2)*r. Solve x = 6*s - h*s for s.
0
Suppose 0 = -u + 4 - 0. Suppose 0*n = 4*t - 5*n - 26, 2*t + 2*n - u = 0. Solve -t*a - a = -15 for a.
3
Suppose -f = -3*t + 17, -5*f - 1 = t - 2*f. Let q(m) = -m + 6. Let a be q(t). Let g be a + 1 + -5 + 3. Solve -3*h - 3 = -g for h.
-1
Let i = -49 - -53. Solve -4*w + 0*w - i = 0 for w.
-1
Let y = 114 + -101. Let j(a) = a**3 - 5*a**2 - 6*a - 3. Let s be j(6). Let b = s - -5. Solve 3*o + y + b = 0 for o.
-5
Let c be ((-6)/(-8))/((-3)/(-24)). Suppose 0 = 3*q - c*q. Solve q = 2*p - 0*p - 8 for p.
4
Let q = -45 + 45. Solve 5*u - 3 - 2 = q for u.
1
Let f = 34 - 30. Solve f*i - 2 = 18 for i.
5
Suppose 11 = 5*n - 9. Solve a - n*a = 0 for a.
0
Suppose 5*m - 7*m = -6. Suppose -c + 4*p - 13 = 0, -3*c + 2 = m*p - 19. Solve -c = -0*j + j for j.
-3
Suppose 2*h = 8 - 0. Suppose 29 = 5*i - 0*g - g, 5*g + 20 = 0. Let d(v) = 2*v + 5. Let s be d(i). Solve s = -l - h*l for l.
-3
Let a(d) = -2*d**2 - 16*d - 12. Let b be a(-7). Solve -2 = -b*k + 4 for k.
3
Let s be (-4)/6 + 4/(48/68). Let n(l) = -l**3 - 7*l**2 - 7*l - 6. Let a be n(-6). Solve -5 = s*p - a for p.
-1
Suppose -4*f + 2*y + 104 = 0, 2*y = 7*y. Suppose 5*s = 15, -s = 5*m - 47 - f. Solve -3*v - 2 = -m for v.
4
Let g = 9 - -6. Let z(n) = -7*n + 2. Let b be z(2). Let s = 15 + b. Solve 0*p = s*p - g for p.
5
Suppose 3*l + 29 = -5*c, 4*l = -c + 2 - 18. Let d(t) = -2*t - 4. Let r be d(c). Solve -7 = -z - r for z.
3
Let h(w) = w - 4. Let l be h(6). Suppose -l*q + 3*q - 2 = 0. Suppose -g = 4, -q*g + 4 = -5*n - 3*g. Solve n = 4*y + y + 20 for y.
-4
Suppose 0 = 3*s - 18 - 9. Let a be s/6*(-2 - -4). Let b be 20/6 - (-2)/a. Solve b*c - c + 9 = 0 for c.
-3
Let m be -1 + 1/((-2)/(-24)). Let y = -5 + m. Solve 4*r - 2*r + y = 0 for r.
-3
Let r be (-4)/8 - (-43)/(-2). Let g be -2 + r*(-1)/2. Suppose 5 + g = 2*m. Solve 2*s + m - 3 = 0 for s.
-2
Suppose q - 1 + 0 = -4*v, 5*q = -2*v + 5. Let d = q - 1. Solve b - 3*b - 4 = d for b.
-2
Let g be (1/2)/((-2)/(-16)). Suppose -13 = 3*l - 5*t, -t = l + 3 - g. Let y = l - -3. Solve y + 0 = z for z.
2
Suppose 129 = 2*k + k. Suppose -29 = -5*g + 6*g. Let i = k + g. Solve 3*q + 2 = i for q.
4
Let f(l) = 9*l. Let u = 1 - 0. Let z be f(u). Suppose 0 = 4*g - z*g + 5. Solve g = d - 2 for d.
3
Let s be 2/(-8) - 117/12. Let p = -5 - s. Solve 0 = 2*x - p*x - 15 for x.
-5
Let a be (0 - -64 - -1) + -1. Suppose -199 + a = -3*z. Suppose 3*d - 6 - z = -3*k, -2*k + 5*d = -13. Solve 3*c + 5 = k for c.
3
Suppose 4*i = 0, a + 3*i = -0 + 2. Suppose -29 = -5*s + 3*o, s + 0 = -3*o - 5. Let y be 34/s - (-6)/(-4). Solve y*q = a*q - 5 for q.
-1
Suppose 0 = -6*j - 2*j + 3*j. Solve -3*g - 3 + 9 = j for g.
2
Let t(i) = 4*i - 1. Let j be t(4). Solve -5*q +