z*m + 12 = -m for m.
-4
Let d = -144 - -168. Solve 4*p = d - 4 for p.
5
Let z(v) = -v**3 - 4*v**2 + 6*v + 5. Let b be z(-5). Suppose 0*g - 5*a = -2*g, b = a. Let w be 1 - (-4 + (g - -1)). Solve -o = o + w for o.
-2
Let m = -8 - -10. Suppose 3 + m = -3*i + 5*h, 2*i + 5*h - 5 = 0. Solve 3*c = -i*c - 3 for c.
-1
Let q be (17/(-34))/((-1)/4). Solve q*b - 12 = 5*b for b.
-4
Let t be 2/(4/(1 + 7)). Let h = 15 - 9. Let m = h - t. Solve 3*a + 10 = -m*a for a.
-2
Let z = 5 - 1. Solve k - 1 = z for k.
5
Suppose 20 = 4*y - 2*x + 3*x, 4*x = -5*y + 14. Let o(a) = 2*a - 9. Let b be o(y). Solve 18 = -5*i + b for i.
-3
Let y = -14 - -12. Let s = -2 - y. Solve s = 4*j - 2 - 2 for j.
1
Let c(n) = -3*n**3 + 2*n**2 - n. Let d be c(1). Let f be d + (-2 - -1 - -6). Solve x - f = 1 for x.
4
Let d = 6 - 2. Suppose -3 = d*m + 4*s - s, 0 = 3*m - 2*s - 19. Suppose 2*o = -n, m*n = 4*n - 5*o - 7. Solve 1 = -3*x + n*x for x.
-1
Suppose -2*v + 5*l + 14 = 3*l, -5*l - 5 = 0. Solve -v*d = -4*d + 2 for d.
-1
Let r be 1/(0 - 1/(-5)). Suppose 4*z + 2 = 3*i, -3*i + 6 = r*z - 5. Solve -i*y - 9 = -5*y for y.
3
Suppose 42 = r + 2*r. Let x(k) = k**3 + 5*k**2 + k - 7. Let h be x(-4). Suppose -36 = -h*g + r. Solve -5*f + g = -5 for f.
3
Suppose 0 = -4*d - 4*o, -4*d + 3*o = -0*o - 28. Solve -d*a - 2 = 2 for a.
-1
Let r(k) = -k - 1. Let n be r(5). Suppose -5*a + 12 = -28. Let q = n + a. Solve x = -0*x - q for x.
-2
Let r(a) = a**3 - 6*a**2 - a + 7. Let h be r(6). Let x be (h - 3/(-4))*4. Solve -4*l + 19 - x = 0 for l.
3
Let i(b) = -b**2 + b. Let u be i(1). Let s(n) = 3*n**3 - n**2 - n + 2. Suppose 4*y + y = 5. Let g be s(y). Solve u = 2*j + g*j for j.
0
Let x = 9 + -7. Let v be x + (-1 - -5) - 3. Suppose v*l - 7 = 2. Solve 2 = 5*g - l for g.
1
Suppose 0 = 2*p - 6*p + 12. Let a(j) = -4*j + 4*j + 2*j - p*j + 3. Let s be a(-4). Solve -h - s = -2 for h.
-5
Suppose -5*b + 6*g = g - 40, 4*b = -3*g + 46. Suppose -4*l - l + b = 0. Suppose 5*r = -0*r + 10. Solve -r*h + 4 = l for h.
1
Let m = 11 + -8. Let i = 12 + m. Solve -6*u + u = i for u.
-3
Let a = -3 - -7. Suppose 3*f - 3*w = 0, 0 = -3*f - 3*w + a*w + 4. Suppose -8 = -3*t - f. Solve t = 4*n - 2 for n.
1
Let s(i) = i**3 + i**2 - 4*i. Let d be s(2). Solve -d*u + 2 = -14 for u.
4
Let d(s) = -s + 14. Let i be d(8). Let f = 9 - i. Solve q - 8 = f*q for q.
-4
Let h be (3 - 3/2)*2. Suppose 2*p = -h*p + 325. Let g be 1/(-4) + p/4. Solve c - 5*c + g = 0 for c.
4
Suppose -t = 1 - 5. Solve 4*g - t = -0 for g.
1
Suppose 2*y - 20 = -5*i, y - 2 = 4*i - y. Solve i*p + 0 + 2 = 0 for p.
-1
Let c be 6*(4 + (2 - 2))/6. Solve 1 = -3*l + c*l for l.
1
Let s(d) = 2*d**3 + 2*d**2 - 2*d + 1. Let x = 10 - 6. Suppose 5*r + 5*t = 25, -r - x*t = -2*r - 15. Let l be s(r). Solve -2 - 10 = l*a for a.
-4
Suppose -4*o + 28 = -5*k, 4*o - k - k = 40. Solve 0*r + 4*r = o for r.
3
Suppose d - 4*c - 14 = -d, -5*d - c + 2 = 0. Let g = 9 - 6. Solve g*o - d = 2*o for o.
1
Suppose -z + 2 = -0. Suppose 0 = 3*w + z*w - 35. Let f = -4 + w. Solve -i = -f + 5 for i.
-2
Let c(n) = n. Let k be c(-2). Let i = 3 + k. Solve -2*j - i = -3 for j.
1
Suppose 28 = 2*y - 3*g + 2, 2*y + 4*g = 12. Solve 2 = 4*o + y for o.
-2
Let s(f) = 0*f - 1 + 0*f + 19*f**3 + 0. Let p be s(1). Solve -p = -3*y - 3 for y.
5
Let z be 1/3 - 8/24. Solve 0 = -5*b - z*b - 20 for b.
-4
Let i = 17 - 11. Suppose -o = -i*o - 35. Let q = o - -11. Solve 2*k + 2*k + q = 0 for k.
-1
Let z(y) = 2*y**3 - 12*y**2 + 3*y + 2. Let t be z(6). Solve -3*r + t = r for r.
5
Let l be (-1 + 1)*3/3. Suppose s + s = l. Solve -3*d - 1 - 8 = s for d.
-3
Let v(z) = z**2 + z - 4. Let i be v(-3). Suppose -2*c - i + 12 = 0. Solve -k + 2 = c for k.
-3
Let p be ((-7)/7)/((-2)/28). Let u = 16 - p. Solve 2*m - 12 = -u*m for m.
3
Let d be (7 + -2)*(-8)/(-10). Solve -d*o - o + 20 = 0 for o.
4
Suppose 0 = 2*f + 5*f - 21. Suppose 8 = d + f. Solve 4*y = -y - d for y.
-1
Suppose 2*l - 7 = 11. Solve l + 11 = 4*f for f.
5
Let z be (56/16)/(1/(-2)). Let g = 9 + z. Solve -3*x - g - 13 = 0 for x.
-5
Suppose -44 + 54 = 2*u. Solve -u*q = -q for q.
0
Let u = 15 + -5. Let l be ((-6)/(-5))/(3/u). Suppose 4*g = 3*y + 80, 6*g - 2*y - 80 = 2*g. Solve -l*x - g = -0*x for x.
-5
Let h be -1 - (-2 - (2 - 3)). Suppose 2*n - i - 2 - 4 = h, -5*i = n - 3. Solve x - n*x = 6 for x.
-3
Suppose 54 - 18 = -3*g. Let f be (-4)/(-6) + (-4)/g. Suppose 2*t = -f + 7. Solve 0 = x + t*x + 8 for x.
-2
Suppose -d - 2 = -4. Solve -d = -2*z + 2 for z.
2
Suppose -3*h = 10 - 4. Let w = h + 5. Solve 0 = -w*k - 2*k + 15 for k.
3
Let m = 0 + 1. Suppose 2*p = 2*y + 4, 3*y + m + 5 = -3*p. Let l = y - -5. Solve b - l*b = 0 for b.
0
Let u(v) = -v + 19. Let h be u(12). Suppose 40 = -2*g + h*g. Solve 2*b + 2 + g = 0 for b.
-5
Let y(j) = j**2 + j - 2. Let i(a) = -a**2 + 3*a + 1. Let g be i(4). Let x be y(g). Suppose -3*s = -x - 2. Solve -f = -s*f - 2 for f.
-2
Let k = -100 - -100. Let j be 1 + 2 + -1 + 4. Suppose -j*s = -3*s. Solve 3*x + s*x - 9 = k for x.
3
Let j(o) = -o - 2. Let f be j(-4). Solve -12 = -5*w + f*w for w.
4
Let u(t) = -t**2 + 6*t - 7. Let c be u(3). Suppose 3*h - 7 = -c*n, -3*h - 28 = -5*n - 0*h. Solve -2 = -n*w - 7 for w.
-1
Let h(j) = j**2 + 9*j + 11. Let w be h(-8). Let n be w/(-3) - -2 - -1. Solve -p = n*p - 3 for p.
1
Suppose o - 2*g - 2 = 0, 31*g - 32*g = 4*o - 17. Let i = 0 - 0. Let f be -1 + -1 + (0 - -10). Solve i - f = o*u for u.
-2
Suppose -l = 2*q - 6, q - l = -2*q + 4. Let u(y) = y**3 - 7*y**2 + y - 6. Let w be u(7). Suppose -w - 3 = -2*i. Solve -i*h + 0 + q = 0 for h.
1
Let y = -56 - -69. Suppose 0 = -w - 4 + 5. Suppose -6 - 8 = -5*k + v, -2*k + 2 = -4*v. Solve -w = -k*d - y for d.
-4
Suppose c + 11 = 13. Solve -c*v - 4 = 2 for v.
-3
Let u = -1466 - -992. Let x be (-1)/(-3) - u/9. Suppose 5*o - 12 = x. Solve -1 = -3*r - o for r.
-4
Let s(c) = -c**3 - 6*c**2 + 8*c + 18. Let r be s(-7). Solve -r = -5*h + 14 for h.
5
Let x be 7 - (-2)/(-1 - -3). Let q = -6 + x. Solve q*y + 3*y = 0 for y.
0
Let d(v) = -v**2 - 7*v - 2. Let b be d(-6). Let o be 12/(-9)*(-6)/b. Solve -6*r + o*r = -20 for r.
5
Let a(i) = i + 8. Let y be a(-5). Suppose -2*v - 2*n + 7 - y = 0, -2*n = 4. Solve -r = -0 + v for r.
-4
Let g = 48 + -16. Suppose 2*s + g = 4*s. Solve 6 = 5*n + s for n.
-2
Let q be (6/5)/(8/20). Let k be (-2 - (q - 6))*3. Suppose k = 5*t - 2. Solve -z + 2 = -t for z.
3
Let a(f) = f**2 + 3. Let w be a(-3). Let s = -6 - -9. Solve -s = 5*o + w for o.
-3
Let f = -13 + 14. Let o = f + 1. Solve -o*c = -c for c.
0
Let x = -6 + 10. Solve 0 = -d + x*d for d.
0
Let p be -1 - (-6 + (3 - 1)). Suppose 12 = -p*o - h, 4*o - 2*h + 0*h + 16 = 0. Let u be (o/(-5))/(9/135). Solve -4*s + u = -0*s for s.
3
Let z(r) = -r**2 - 6*r. Suppose 6*l - 3*l + 18 = 0. Let x be z(l). Let a be 24/30*(x + 5). Solve -s = a*s + 20 for s.
-4
Suppose s + 3 = 0, -5*i + 11*s - 7*s = -37. Solve 6 + 4 = i*p for p.
2
Let c(m) = 3*m**2 + 4*m - m**2 + 3 - 6*m. Let s be c(2). Solve s + 1 = 4*a for a.
2
Suppose 4*j - 4*y = 16, 3*j + 11*y - 6*y + 20 = 0. Solve j = 3*q - 1 + 7 for q.
-2
Suppose -4*i + 6 = 3*t + 3, 0 = -i + 3*t + 12. Suppose 2*n = -k, -n = i*k - 4*k. Suppose k = 4*v + 3*m + 9, 0*v + 5*m + 15 = v. Solve 2 = -b - v*b for b.
-2
Let h(g) = g**3 + g**2 - 4*g - 2. Let f be h(-3). Let p = f - -8. Solve -5*w + p*w = -5 for w.
1
Let x(f) = -4 + f + 0*f - 3*f + 5. Let m be x(-1). Solve 3*g - m = 9 for g.
4
Let p(z) = -159*z + 160*z - 4 + 20. Let i be p(-15). Suppose -2 = -2*f + 4, 7 = m + f. Solve -i = m*w + 3 for w.
-1
Let h(p) = -5*p - 13. Let a(i) = 4*i + 13. Let n(w) = 4*a(w) + 3*h(w). Let g be n(-8). Suppose 5*z = g + 5. Solve b - z*b = -5 for b.
5
Let p(a) = a**2 - 2*a - 4. Let t be p(-3). Solve -t = 4*i + 5 for i.
-4
Let p(m) be the second derivative of m**5/20 - m**4/12 - m**2 - 3*m. Let j be 25/10*(-12)/(-10). Let f be p(j). Solve -2*b + f = 2*b for b.
4
Let q = -3 + 4. Let c = 1 + q. Suppose 10*u = 2*u. Solve u = c*k - 3 - 5 for k.
4
Let x(i) = i**3 - 3*i**2 - 6*i + 5. Suppose 0 = 2*u - 8 - 0. Let c be x(u). Let a be 1/c + 30/9. Solve -2 = m - a*m for m.
1
Suppose -f = 4*j + 3*f - 4, 0 = -j - 2*f. Solve w + 2 = -j for w.
-4
Suppose -w = -8 + 6. Suppose -2 = -w*v + 18. Solve -v = a + a for a.
-5
Let p(j) = -j**2 - 5*j - 3. Let y be p(-4). Suppose 2*z = -5 + y. Let x be (5/20)/(z/(-8)). Solve -a - 1 = x for a.
-2
Suppose -3*k - 