-3*z + 15. Let n = 22 - 20. Solve n*c + q*c + 25 = m for c.
-5
Suppose 0 = 2*n - 3*n - n. Solve n + 20 = -5*f for f.
-4
Suppose 7*l = 4*l + 12. Let i(k) = k**3 - 2*k**2 - 6*k + 1. Let c be i(l). Solve 2*x = c + 1 for x.
5
Let n = -2 - -5. Let r be (-1)/4 - (-91)/28. Suppose r*g - 6 = -0. Solve x - g = n*x for x.
-1
Suppose -4*p - 2*h = 36, -h = 3*p + 9 + 16. Let z = -5 - p. Solve z = -l - l for l.
-1
Suppose k - 4*k = 4*b + 15, 3*k + 15 = 5*b. Suppose 4*f - 12 - 12 = b. Suppose 0*w - 5*w + 18 = -m, w - 3*m - 12 = 0. Solve w*g - f - 6 = 0 for g.
4
Let o = 1 - 5. Let k = -4 - o. Solve -3*s + k = 12 for s.
-4
Suppose 5*s + 15 = 10*s. Suppose -t + 2*y - s*y = 2, -5*y = -5*t + 30. Solve b - t*b + 1 = 0 for b.
1
Suppose -6*t - 2*k = -3*t - 2, k - 7 = -3*t. Solve y + 15 = t*y for y.
5
Let n(f) = -f**2 - 10*f - 6. Suppose 0 = 3*u - 15 + 42. Let j be n(u). Solve -4*x = -x - j for x.
1
Let n be (-4)/(-6) - 22/6. Let h be -1 - n - (-1 + 0). Solve -h = -r - 0*r for r.
3
Let d(k) = -k**3 - 9*k**2 + 9*k - 8. Let o be d(-10). Solve -o*p + 6*p = 4 for p.
1
Suppose 0 = l - 0*l - 3. Let t(o) = o**2 - 21*o - 26. Let d be t(23). Solve 8*m = l*m - d for m.
-4
Suppose j + 3*j = 0. Suppose w = -t + 3, 0 = 2*t - j*t + 5*w - 6. Let p be (24/5)/(6/20). Solve 0 = -o - t*o + p for o.
4
Suppose 0 = 4*u - 33 + 97. Let l = -21 - -15. Let x be (3/2)/(l/u). Solve 3 + 17 = x*b for b.
5
Let t be (-6)/18 - (-170)/6. Let n = -5 - -9. Suppose v = -0*v + n. Solve -t = v*y - 8 for y.
-5
Suppose 6 = 3*z + 2*i, -z + 2*z - 4*i + 12 = 0. Suppose -2*f = -z*f. Let c be f/((-3)/(-3) + -3). Solve -2*r + 3*r - 4 = c for r.
4
Suppose 0 = -0*y - 2*y - a - 2, 4*a = 3*y + 14. Let d = 12 + y. Suppose 3 = -t + q, -2*t = 3*q + 2*q - 29. Solve -d = 3*k + t*k for k.
-2
Let g be 3*-1*(-4)/6. Suppose -5*z - 4*k = -14, -z + g + 1 = k. Let c be z*4/(8/3). Solve -c*h - 2 = -5 for h.
1
Let p be 324/4 - (-1 + 2). Let l be 2/(-3) - p/(-12). Solve -2*h + l = 2 for h.
2
Let y(m) = 2*m**2 - 3*m**2 - 6*m - 3*m. Let u be y(-5). Let c = 1 - 1. Solve c = -4*i - u for i.
-5
Suppose -41 = -4*t - z, 6*t - 4*t = -5*z + 7. Let d = t - -19. Solve 5*u + 10 = d for u.
4
Let p(d) = d**3 + 4*d**2 - 5*d + 3. Let l be p(-5). Suppose -2*t + 5 = c, 0*t + 12 = 3*c + l*t. Solve 4*i = c + 9 for i.
3
Suppose 30 = 4*h - 6. Let f be 6 + 1 - (-2 - -4). Let g(d) = -d**3 + 5*d**2 + d - 3. Let p be g(f). Solve -5*s + p*s = h for s.
-3
Let f(d) = -d**3 - 3*d**2 - d - 4. Let q be f(-3). Let z be 10/4 + q/2. Solve z*n + 3*n + 5 = 0 for n.
-1
Let u = -22 - -25. Solve 0 = c + u*c for c.
0
Suppose 5 = 2*o - 5. Suppose 0 = -t, -2*p + 25 = 3*p - o*t. Solve -1 = -w - p for w.
-4
Let d = -8 - -13. Let a = d - 0. Solve 3*m = -2*m + a for m.
1
Let p(z) = 5*z - 1. Let v be p(1). Solve v*x + 4 = -0*x for x.
-1
Suppose t + 0*t = 2. Solve 3 = t*f + 5 for f.
-1
Let q be 21/4 - (-2)/(-8). Suppose -5*p = -q - 5. Solve 4*k - p = 3*k for k.
2
Suppose 4*p + 2 = 2*y, -3*y - p + 16 = 2*y. Let i be 3/(y - 0)*3. Suppose 2*l + 8 = -4*r + 30, -4*l = -i*r. Solve -l*k - 9 = -6*k for k.
3
Let s(g) = -g**2 - 7*g + 4. Let h(u) = -u**2 - 10*u - 1. Let n be h(-4). Suppose x = -3*t - t - n, -5*x = -3*t - 46. Let y be s(t). Solve y = m + m for m.
2
Let f(s) = s**2 + 4*s + 4. Let o be f(-4). Suppose -o = -5*g + 1. Suppose i = -g + 3. Solve 1 = i*j + 11 for j.
-5
Let u(h) = -h**3. Suppose q - 11 = 4*f, q - 3*f + 0*f - 9 = 0. Let k = q + -3. Let d be u(k). Solve -4*m - m - 10 = d for m.
-2
Let p = -48 - -48. Solve -5*o = -p*o - 15 for o.
3
Suppose -2*m - 16 = -h - 3*m, -2*h - m = -32. Let o = 20 - h. Solve o*l + 2 = -14 for l.
-4
Let o be -2 - (2 - (2 + 2)). Solve -m - 3*m - 8 = o for m.
-2
Suppose 4*z = -3*h + 22, -3*z - 2*h = -0*z - 16. Solve -5*t = -t + z for t.
-1
Suppose -6*n + 4 = -4*n. Suppose 2 = -4*b + 18. Suppose 0 = -m - b*m + 75. Solve 3*r + n*r = -m for r.
-3
Let u = -170 - -172. Solve -u + 1 = d for d.
-1
Let h be (0 - (-3)/(-6))*-4. Suppose l = h*p + 4*l - 10, -2*p - 2*l = -8. Suppose -5*y + 8*s = 4*s + 6, p*y - s = 0. Solve -y*a + 0 + 4 = 0 for a.
2
Suppose -2*y = 4*h - 0*y, -h + 5*y = 0. Solve h*n + n = 4 for n.
4
Let p = -17 + 20. Suppose p*r - 3*f = 39, 6*r - 47 = 2*r + 3*f. Solve 5*z - r = z for z.
2
Let o be 0/(-1 - -2 - -2). Solve o*r + 5 = r for r.
5
Suppose 3*t - 12 = -d - 0*d, -5*d - 5 = 2*t. Suppose -2*m + 12 = 4*w, 5*w - 2*m + m = 1. Solve -3*v + w = -t for v.
2
Suppose -2*j - 2 = -3*j. Let p = 9 - j. Solve 3*v - p = -1 for v.
2
Let k be (-1 + 5)*2/4. Suppose k*x + b - 5 - 8 = 0, 0 = -x - 3*b - 6. Solve x - 4 = 5*v for v.
1
Suppose 5*w = 4*l - 8, 8 + 2 = 5*l - 5*w. Suppose -6 = -l*x + 4*i, 5*x - 7*i - 30 = -2*i. Solve -6 - x = 5*b for b.
-3
Let y be 7/35 - 1/5. Solve y = -w - 2*w - 12 for w.
-4
Suppose 5*a + 0*a + 5 = 0. Let u = a - -12. Solve -d = -6 + u for d.
-5
Suppose 5*y = -112 + 42. Let i be 2/8 + y/(-8). Let t be 0/(-1 + 2) + i. Solve -t*p - 16 = 2*p for p.
-4
Let j(q) = q**2 + 7*q + 1. Let i be j(-7). Let z be (1 - (i + 0))*1. Solve z = 5*b + 9 + 1 for b.
-2
Let f = 19 + -18. Let w be (-4)/12 - 7/(-3). Suppose -15 = -a - w. Solve 0 = 3*z - f + a for z.
-4
Let q be (-140)/(-6) - 3*2/18. Solve 2*r + q = 15 for r.
-4
Let c = 59 + -54. Solve -2*a = 1 - c for a.
2
Let q(b) = -b**3 - 3*b**2 - 2*b - 1. Let a be q(-3). Suppose 4 = -2*t + 4*t. Suppose 0*o = t*d - o - 3, 4*d - 13 = -a*o. Solve -w - d*w = 0 for w.
0
Let d(q) = -q - 2. Let b(k) = 2*k - 19. Let t be b(8). Let x be d(t). Solve 4*o = -9 + x for o.
-2
Let h(a) = a + 11. Let p be h(-8). Let x = p - 2. Let b = 4 - x. Solve -b*j - j + 4 = 0 for j.
1
Let o be (-58)/(-5) + (-4)/(-10). Solve z - 4*z = o for z.
-4
Let b be 23 + 2 - 3 - 3. Suppose d + 1 = r, -b = -5*d + 2*r - 5*r. Solve 0*p + d*p = 2 for p.
1
Let r = 0 - 2. Let m(d) = -d - 2. Let u be m(r). Solve u*i = -3*i + 6 for i.
2
Let x(i) = -i + 2. Let m be (4/5)/((-2)/(-5)). Let w be x(m). Solve 0 = -w*k + k - 4 for k.
4
Suppose 0 = -9*x + 5*x + 4. Solve -11 - x = 4*n for n.
-3
Suppose 0 = -o + 3*o - 8. Let j = 5 - o. Solve -a + 2 - j = 0 for a.
1
Suppose 0*j + 1 = j - t, 2 = 5*j - 2*t. Suppose j = -v - 2 + 3. Solve 6 = -5*r + v for r.
-1
Suppose 3*b + 6*q - q + 19 = 0, -b = 5*q + 23. Let a(z) = -z**2 - 2*z**2 + 2*z**3 + 2*z - 2 - z. Let k be a(b). Solve 0 = 2*p - k - 0 for p.
2
Suppose 0 = -2*r + 2*n + n + 22, 4*r = -5*n. Let w(b) = b**2 - 4*b - 6. Let u be w(r). Let f = 4 - u. Solve 0 = q - f*q + 16 for q.
4
Suppose -32 = -3*z + 5*m, -2*z - 3*z = 5*m. Solve z*k = -k for k.
0
Let a(t) = 3*t - 6. Let p be a(7). Let y = p - 13. Solve 4*f - y*f = 6 for f.
3
Let r be (-2)/(-6) + (-136)/(-24). Solve -r + 18 = -4*i for i.
-3
Let t be (-2)/(-30)*2 + 3990/450. Solve -6 = 3*u - t for u.
1
Let s(y) = -y + 10. Let x be s(7). Let t be (2/x)/((-6)/9). Let q be (2*-1 - 0)*t. Solve -k = -q*k for k.
0
Let f(g) = -g**2 + 10*g - 6. Let t be f(9). Solve 0 = -2*a + 5 - t for a.
1
Suppose 39 = 4*l + 15. Solve -d + l*d - 5 = 0 for d.
1
Suppose 3*w = -2*w. Let a be 4 - (w - (3 + -1)). Let f = a + -4. Solve f*j + 12 = 6*j for j.
3
Let x be 2/(-6)*(5 + -2). Let b be -3*(x + 2 + -2). Solve -y = -2*y - b for y.
-3
Suppose 0 = -2*o - o + 9. Let p = 37 + -22. Suppose -4*g + 6*g = 8. Solve -g*k - p = -o for k.
-3
Suppose k = 5*d - 22, -2*k - k + 9 = 0. Solve 5 = d*x - 20 for x.
5
Let j = -31 + 43. Solve -2*m = j - 2 for m.
-5
Suppose -w + 6*w = -15. Let n = 2 - w. Solve -36 + 11 = -n*a for a.
5
Suppose 6*v - 10 = v. Suppose 6 = -t + 3. Let a be (-1 - t) + -2 + v. Solve -2*s + 12 = a*s for s.
3
Let a(s) = -s**3 - 12*s**2 - 11*s + 3. Let q be a(-11). Solve -2*i = -q*i + 4 for i.
4
Suppose 3*f - f = 0. Let i(m) = -m - 6. Let v be i(-8). Suppose v*w + f = 4. Solve w*g = 7*g for g.
0
Let w = -248 + 252. Let j = 2 - 0. Solve -j*m - 10 = -w*m for m.
5
Suppose 3*j - 5*j + u = -9, u + 5 = 0. Suppose -z + j = -3*t + 6*t, -4 = -2*z + 2*t. Solve 25 = 7*x - z*x for x.
5
Suppose 8 = 15*k - 11*k. Solve 20 = -3*i - k*i for i.
-4
Let z(f) be the first derivative of f**3/3 - 6*f**2 + 4*f + 1. Let p be z(12). Let j(s) = -s**3 - 3*s**2 + 3*s - 1. Let c be j(-4). Solve 0 = a + c*a - p for a.
1
Suppose -j + 16 = -0. Solve -j = -p - 3*p for p.
4
Let k be ((-9)/(-6) + 0)*6. Let n be (1/(-3))/((-1)/k). Solve -n + 7 = -2*w for w.
-2
Suppose c + c = 0. Suppose -o + i + i + 3 = 0, 2 = -2*o - 