Solve -4*l = -r - 7 for l.
4
Let x be 1/(-3) - 87/9. Let u be (-4)/x + (-2)/5. Let z be (-10)/(-25) - 56/(-10). Solve u = h - z*h for h.
0
Suppose 4*f - 25 + 1 = -4*m, -4*f - m + 15 = 0. Solve -f*h = h + 4 for h.
-1
Let w = 16 - 11. Let b = w + -5. Suppose 2*v - 3*k - 18 = 0, 2*k - 21 = -3*v + 5*k. Solve b*l = v*l - 6 for l.
2
Suppose 13*q - 12 = 7*q. Solve -a - a = -q for a.
1
Let i = 1 - 1. Solve i*z - z = -2 for z.
2
Let b(n) = 24*n**2 - 2*n - 1. Let t be b(-1). Suppose -5*o + 0*i = -i - t, -2*i = 0. Suppose 3*d = -d + 8. Solve -d*w + o = -w for w.
5
Let l(n) = -n**3 - 7*n**2 - 5*n + 4. Let d be l(-6). Let p be 70/20 - 1/d. Solve 12 = 2*w + p for w.
4
Suppose -2*z - 1 = -3*b - 11, -6 = -z + 2*b. Solve h - 3 = -z for h.
1
Let o(l) = -l**2 + 10*l + 12. Let g be o(11). Solve -2*v + 5 - g = 0 for v.
2
Let y(h) = h**2 - 2*h - 5. Let x be y(-2). Solve 0*k = k + x for k.
-3
Suppose b + 20 = -2*c - 3*c, 5*b - 4*c + 42 = 0. Let d = -8 - b. Solve d*g = 7*g for g.
0
Let k be (8/28)/(2/28). Solve -12 = k*p - p for p.
-4
Suppose -10 = -3*w + 2*y, 2*w = 3*w - 4*y. Solve w*f = -12 - 8 for f.
-5
Suppose -g = 4*g - 40. Let q(r) = 26*r**3 - 1. Let x be q(1). Suppose 1 = -3*p + x. Solve p + g = 4*z for z.
4
Let p = -3 + 5. Suppose -5*q + 70 = -2*x, -4*q = 4*x - 18 - 66. Suppose -6 = p*g - q. Solve -g*y + 5 = -0 for y.
1
Let q = 38 - 34. Solve q*l + l = 15 for l.
3
Suppose 3*x - 2*x = 6. Let y(d) = -d**2 + 7*d - 3. Let u be y(x). Suppose -u + 7 = 2*z. Solve v - 12 = -z*v for v.
4
Let t(j) = j + 11. Let q be t(-7). Solve 0*p = -p + q for p.
4
Let j(k) = 4*k - 2. Let q be j(-4). Let g be q/(-4) + (-7)/14. Solve -g*o + 6 = -7*o for o.
-2
Let f(n) = 3*n - 5. Let a be f(5). Let z be (4 - 3) + (1 - -4). Suppose 0 = -2*h - 4*w - z, 4*w = -3*h + w + 6. Solve -2*k = -h*k - a for k.
-2
Suppose -4*a + 18 = -a. Suppose -9 = -3*h, 0 = m + 4*h + h - 19. Solve -m*l + a = -l for l.
2
Let p(a) = -a**2 - 5*a - 4. Let q be p(-3). Suppose -5 = -6*x + 2*x + 3*v, q*x - 6 = -2*v. Solve -x = -z + 2*z for z.
-2
Suppose 0 = 4*v - 2 - 26. Solve -v*k + 4 = -3*k for k.
1
Let s(l) = l - 6. Let o be s(8). Solve 0*z = o*z for z.
0
Let v = -47 + 53. Solve i + v = -i for i.
-3
Suppose -y = 1 - 5. Solve 16 = y*h - 0*h for h.
4
Let u(k) = k + 7. Suppose 4*i - 24 = 4*p, 6 = -p + 3*i - 0*i. Let s be u(p). Solve 0 = 2*j + s + 9 for j.
-5
Let g(u) = -3 + 3*u - 3 - 3*u**2 + u**3 + 5. Let r be g(2). Suppose -r = -4*v + 7. Solve 6 = -n + v for n.
-4
Suppose -6*p + 5*p = 0. Let u be (-2)/(4/((-4)/(-2))). Let c = 0 - u. Solve o + p*o = c for o.
1
Let s be 2/(-10) + 128/40. Solve -7 = s*j + 5 for j.
-4
Suppose 14 + 64 = 2*z. Suppose -z = 4*w - 5*f, 3 = -3*f - 12. Let x = w + 36. Solve -2*u = 2*u - x for u.
5
Let o be ((-9)/(-6))/((-3)/4). Let m = o - 1. Let h = m + 8. Solve 0 = h*g - 3*g - 6 for g.
3
Let g be (-9 - 6)*(-4)/6. Solve 2*b + g = 7*b for b.
2
Let t(y) = -y - 4. Let s be t(-7). Suppose 3*g + 4 - 19 = 0. Suppose -3*p - p = 0. Solve p = -g*l + s*l for l.
0
Suppose 0 = -3*q - 4*a + 7, 2*q + 0*q = -2*a + 6. Solve 0 = -0*k - q*k for k.
0
Let z be 2*(-3 + -1)/(-4). Solve z*s + s = -6 for s.
-2
Let m(a) = -a + 2. Let u be m(2). Suppose -2*o + 7*o - 10 = u. Solve b = o*b for b.
0
Suppose 0 = 9*r - 4*r - 70. Let k = -7 + r. Solve -3*w = -k*w for w.
0
Let w be (-6)/(-2)*(-1)/(-3). Let k be (-4731)/(-247) - (30/26 - 1). Solve w = -5*m - k for m.
-4
Let f(k) = 7*k**2 - 2*k - 1. Let a be f(-1). Let z be (-141)/(-9) - 4/6. Solve -3*m + a*m = z for m.
3
Suppose 2*k + 2 = -2*t, 8*t - 3*t + 9 = -3*k. Solve 2*o = 12 - k for o.
5
Suppose -4*l + 10 = -5*b + 43, -4*b + 3*l + 26 = 0. Solve -b*q = -3*q for q.
0
Let x be 6/(-15) - (-124)/10. Let l = x + -20. Let q = l - -14. Solve h = -h + q for h.
3
Suppose 2*y - 5*n - 15 = 0, 5 + 1 = -2*n. Let h be -4*2*2/(-4). Solve y = h*g - 3*g + 2 for g.
-2
Let n = -2 - -3. Let b be 7*-1*(n - 2). Let p(m) = m**3 - 7*m**2 - 8*m + 2. Let y be p(8). Solve 0 = -y*o + b*o + 5 for o.
-1
Let u(f) = -10*f + 3. Let h(a) = -5*a + 1. Let n(p) = -5*h(p) + 2*u(p). Let i be n(2). Let o = i + -8. Solve o*k - 16 = -7 for k.
3
Let t(r) = 2*r + 2. Let l be t(-5). Suppose -16 = v - 3*v + 4*s, 2*s + 8 = 5*v. Let g = v - l. Solve 2*c = g - 0 for c.
4
Let j(a) = -9*a - 2. Let c be j(2). Let g be (8/c)/(2/(-20)). Solve -n = n - g for n.
2
Let n = 1 + 2. Suppose n*k - 200 = k. Suppose -7 = -3*w + 4*j + 18, k = 5*w + 5*j. Solve 0 = -2*r - r - w for r.
-5
Suppose 20 = 2*p + 4*r, 0*p = 4*p + 3*r - 20. Solve -3*l = -2*l - p for l.
2
Suppose 0 = 3*o - 20 + 20. Solve o - 3 = 3*u for u.
-1
Let a = 1 + 0. Suppose 0*h - 2*h = -2*f + 6, h = a. Suppose f*n + 0*n = -5*k + 15, 5*n + 4*k = 21. Solve -n*i - 26 = -1 for i.
-5
Let t(v) = 2*v + 2. Let p be t(0). Solve p*h = -h + 15 for h.
5
Let w = 11 - 7. Let f = -23 + 37. Solve w*x - f = 6 for x.
5
Let f(j) = j**3 + 5*j**2 - j - 7. Let c be -4*10*3/24. Let b be f(c). Let l be 1 - (-8 + 2/b). Solve m = -m - l for m.
-5
Suppose -6 = -2*f - m - 4, 3*f + 2*m - 4 = 0. Let g be (-2)/10 + (-84)/(-20). Solve a + a - g = f for a.
2
Let c(g) = -g**3 + 5*g**2 + g - 10. Let x be c(5). Let i be 15/x*4/(-4). Solve i*r = -r - 12 for r.
-3
Let d(s) = -s**3 + 6*s**2 + 7*s. Let p = 4 - -3. Let f be d(p). Solve f = -5*r - 6 + 1 for r.
-1
Let q = 3 - 12. Let r = -6 - q. Solve -r*b = b for b.
0
Let h = -11 + 15. Solve -3*o = o - h for o.
1
Let b be 2/3 + 12/9. Let u be (1/b)/(2/24). Solve n = u*n for n.
0
Let n = 5 - 1. Let f = n - 2. Suppose 0*z + z = f. Solve z*m + 2 = m for m.
-2
Suppose s - b = 4, 0 = -s - 0*b - 4*b - 6. Suppose s*h = h. Suppose 2*u - u = h. Solve -5*i + 10 + 15 = u for i.
5
Let c(u) = -u**3 + 5*u**2 - u + 5. Let l be (-2*3)/(-6 + 5). Let b be ((-9)/l)/((-3)/10). Let h be c(b). Solve -n = -h*n + 4 for n.
-4
Let k = -16 + 18. Let x be 2*((-4)/(-2))/k. Solve -3*q = -x*q + 2 for q.
-2
Let s be 6/2*-1 + 4. Suppose 3*p = 7 - s. Solve -3*v + p*v + 4 = 0 for v.
4
Let f(z) = -z**3 - 5*z**2 - 4*z. Let r be f(-4). Suppose r = 4*p - p. Let d = -2 - -7. Solve 4*c - d*c = p for c.
0
Let r = 23 + -22. Solve r = a - 3 for a.
4
Suppose -50 = -2*o + 70. Let v be 2/(-9) - o/(-27). Suppose -3*p + 10 = 5*t, v*p + 2*t = -t + 7. Solve l = p*l for l.
0
Suppose -23*x + 21*x = -8. Solve 5 = x*b + 21 for b.
-4
Let q(m) = -m. Let o be q(-5). Suppose 4*y = o*j + 46, -4*y + 47 - 7 = -2*j. Solve y = -0*t - 3*t for t.
-3
Suppose 0 = -s + 6*s. Let r = 3 + -3. Suppose 2*f + 0 - 6 = r. Solve f*q - 8*q - 15 = s for q.
-3
Let u(n) = -n**3 - 8*n**2 - 7*n + 4. Let m be u(-7). Solve -m*j = 18 + 2 for j.
-5
Suppose -11*f + 90 = -2*f. Solve 5*c - 15 = f for c.
5
Let b(o) = -o**3 + 2*o**2 + 6*o - 5. Let h be b(3). Solve 9*v - h*v = 20 for v.
4
Let a = -81 - -83. Solve -a*n - 12 = -5*n for n.
4
Let q = 10 + -6. Solve -3*s = -1 + q for s.
-1
Let t(m) = 3*m - 52. Let o be t(19). Solve 2*q - 1 + o = 0 for q.
-2
Suppose -3*o = 12 + 3, -3*a = 5*o + 25. Let g = 0 + a. Suppose 0 = 3*y - g*y - 6. Solve y*d = 7*d + 5 for d.
-1
Suppose l - 4 = 0, -t + 5*l - 26 = 2*t. Let u = t - -1. Let y be 5 + (-2 - -3) - u. Solve 4*r - 3 = -y for r.
-1
Let p = -10 + 10. Solve g + 3*g = p for g.
0
Let z = -31 - -43. Let h = -9 + z. Solve -j - h*j = 8 for j.
-2
Suppose 3*c = -0*c + 9. Solve c = 3*m - 0*m for m.
1
Let u(i) = -i. Let g be u(0). Let l be (-2)/(-7) - 192/(-112). Suppose -l*o + 5*o = g. Solve o = -5*z - 0*z for z.
0
Let a be (2/(-3))/(3/99). Let r = a - -5. Let n = -8 - r. Solve -4*y + n = -y for y.
3
Suppose 3*k - 3*v = -0*k - 18, v = 5*k + 18. Let b be 2/(-3) + (-14)/k. Solve 0 = b*a - a for a.
0
Let a = 3 + 17. Solve 0*n - 4*n + a = 0 for n.
5
Suppose 0 = -3*u - a - 0 + 6, -5*u + 2*a + 10 = 0. Solve -u*s = -s for s.
0
Let d(r) = r**2 + 2*r + 1. Let q be d(-4). Let b(a) = -a**2 + 8*a + 9. Let c be b(q). Solve -3*o + c = -9 for o.
3
Suppose 0 = 17*o - 14*o - 12. Solve -o*q + 22 = 6 for q.
4
Suppose -3*z + 4 = -z. Solve 1 = g + z for g.
-1
Suppose 0 = -0*y - 3*y + 27. Solve 0 = 5*l + 1 + y for l.
-2
Let g be 4 - 2*(0 - -1). Solve -3*j + 2*j - g = 0 for j.
-2
Let d be 0 + 3 - (1 - (0 + 2)). Solve h + d*h = 20 for h.
4
Suppose 0 = -6*y + 2*y. Let f(z) = z**2 + 2*z - 1. Let n be f(-2). Let a be 1*(-4)/(n - 1). Solve y*r = a*r for r.
0
Let n = 6 - 8. Let j = n + 5. Solve 5 = -j*u - 1 for u.
-2
Let o(s) = s. Let g be o(8). 