h = 7*c + 52, 0 = -4*h + 16. Let a = -6 - c. Let v = a - 1. Solve -v*n + 1 + 5 = 0 for n.
3
Let j(z) = -z**3 - 13*z**2 - 11*z + 15. Let q be j(-12). Solve -5 = 2*x + q for x.
-4
Let g = 10 + -5. Let y be ((-2)/(-4))/((-3)/6). Let l = y + 1. Solve l*a - g*a = -20 for a.
4
Let j be (-6)/(-8) + 4/16. Let y(n) = -1 - j - 4 - n. Let x be y(-6). Solve 4*f + x = 4 for f.
1
Let u be 3 + (-4 - 2) + 2. Let b(w) = -4*w - 2. Let r be b(u). Solve -2*o = -3*o - r for o.
-2
Let x be (0/(2 + 1))/(-1). Solve -6*r + 2*r + 16 = x for r.
4
Let n(y) = -2*y**3 - y**2 - y - 2. Let r be n(-2). Suppose 0*z + r = 3*z. Solve d = 3*d + z for d.
-2
Let b(k) = k**3 - 9*k**2 + 8. Let c be b(9). Let s = 8 - c. Solve s*l + 20 = 4*l for l.
5
Let h(t) = -t**3 + 6*t**2 + 19*t - 8. Let g be h(8). Solve 0 = -5*k - 4 - g for k.
-4
Let l = 1 - 1. Let h = -38 - -38. Solve l = 3*g - h*g for g.
0
Let d(t) = -t**3 - 5*t**2 - 7*t - 2. Suppose 6 = -2*y - 4. Let q be d(y). Solve -8 = 5*o - q for o.
5
Suppose 0 = 4*l - 2*l - 8. Suppose 0 = -l*q - 1 - 3. Let t = q + 2. Solve -5*r - 19 = t for r.
-4
Let l(n) = -n**2 + 12*n - 12. Let j be l(9). Solve 5*t = j + 5 for t.
4
Suppose 0 = -0*r + 2*r - 2*b - 2, -2*r - 3*b + 22 = 0. Suppose -3*z + r*j = -40, 0 = 4*j - 2*j + 10. Suppose -i = -z*i. Solve m + 1 = -i*m for m.
-1
Let b(k) = k**3 + 2*k + 2. Let f be b(-2). Let s be (f/(-4))/(2/4). Solve 0 = -a + 6 - s for a.
1
Suppose 0 = 2*b - 2. Let g(r) = 3*r - 1. Let d be g(b). Let m be ((0/d)/2)/2. Solve -h - 3*h - 4 = m for h.
-1
Suppose -v = -2*l + 10, 10*v = -l + 6*v - 4. Solve l*j + 17 = 1 for j.
-4
Suppose 3*j - 4*h = -j + 32, 2*j + h - 1 = 0. Let m = 5 + -8. Let g be (-4)/(-6)*(0 - m). Solve 15 = -g*k - j*k for k.
-3
Let b be 0/((0 - 6)/(-3)). Suppose -2*q - i + 2 = 0, -q + 0*q - i + 2 = b. Solve -4*s + 3*s = q for s.
0
Suppose -2*o - 5 = -3*o. Solve -d - o = -0 for d.
-5
Let q(s) = -2*s + 1. Let j be q(-1). Solve -5*b + 4*b - j = 0 for b.
-3
Suppose -7*g = -2*g - 25. Let i be (1 + -5)/((-2)/g). Let q = 1 - -2. Solve 5 = q*l - i for l.
5
Suppose 8 + 7 = 3*s. Suppose 12 = 7*m - 3*m. Let p = m - 3. Solve s*d = -p*d + 5 for d.
1
Let z be (-1)/(-2) + 10/4. Solve 0 = -z*g - g + 16 for g.
4
Suppose -q - 2*n + 21 = -3*n, 0 = -4*q - 4*n + 52. Let a = q - 5. Let p = a + -7. Solve 0 = p*i - i for i.
0
Let p be 0/(-1)*(3 - 4). Suppose p = 3*z - 10 - 2. Solve -2*x + 6*x + z = 0 for x.
-1
Suppose 0 = -13*l + 8*l + 20. Solve -o = -l*o for o.
0
Let k be (-20)/(-8)*6*1. Suppose 2*i - k = 5*n - 45, -4*i = 4*n + 4. Solve 0 = -3*a - n - 2 for a.
-2
Suppose 4*z = 9*z - 80. Solve -g - 3*g = -z for g.
4
Let w = 5 - 3. Let a = 0 + w. Solve 0*m + a*m = 10 for m.
5
Let f = -2 - -4. Suppose u - 1 - 4 = 0. Suppose -154*t - 15 = -159*t. Solve -f*p - t = -u for p.
1
Suppose -3*f - 21 = -3*x, 0 = 5*x + 2*f + 3*f + 5. Solve 3*v - 12 = -x for v.
3
Suppose -3*c = -4*c - 3*f + 14, 17 = 4*c - f. Solve -3 = c*n + 2 for n.
-1
Let m be 154/35 - 4/10. Solve m*j = -0*j - 12 for j.
-3
Suppose 2*w = -w - 15, -18 = x + 3*w. Let r(v) = v**2 - 6*v. Let s be r(7). Let i = x + s. Solve i*o = -o for o.
0
Suppose 5*u + u = 0. Let a be (-5)/(-3) + (-2)/(-6). Let d = 5 + -1. Solve u = -a*i + 6 + d for i.
5
Let l(y) = y**2 - 8*y - 10. Let v be l(13). Let d be 2/8 - v/(-20). Solve d*u = 5*u - 8 for u.
4
Let f(y) = y**2 - 10*y + 2. Let r be f(10). Solve -15 = r*n + n for n.
-5
Let c(y) = 9*y**2 + 13*y + 4. Let z be c(-2). Solve 11 = -5*a - z for a.
-5
Suppose -5*f + 15 + 5 = 0. Solve -j - f*j + 15 = 0 for j.
3
Suppose 0*d - 5*d + 2*z = 2, -3*d = -5*z - 14. Let w be 4/3 - d/3. Solve 1 = -3*o - w for o.
-1
Let b be (-37)/(-5) + 0 + (-12)/30. Solve -5*x = b + 3 for x.
-2
Let f = 6 + -4. Suppose 3*p - 1 = 4*w, 2*w + 10 = 5*p - 3*w. Let c(a) = a**3 - 7*a**2 + 3*a - 6. Let g be c(p). Solve -d - f*d + g = 0 for d.
5
Suppose 4*l = 2*u - 4*u + 4, -2 = -u - 5*l. Let d(m) = -3 - 1 + 0 - 2*m - 1. Let r be d(-5). Solve u*q = 3*q - r for q.
5
Suppose 3*f - 3 - 3 = 0. Suppose -d - f*d + 6 = 0. Solve -d*v + 9 = 3 for v.
3
Suppose -i = 2*i. Suppose i = 2*u + t - 4*t - 13, 2*u = -3*t + 19. Solve 4*y + 0 - u = 0 for y.
2
Let r(j) = -j**3 + 3*j**2 + j - 1. Let s be r(2). Suppose -s*z = -4*a + 8, -3*a + z + z = -6. Solve -a*u = 6 - 0 for u.
-3
Let u be (-4 + 0)/(-4)*4. Solve u*q = 3*q for q.
0
Suppose 5*c = -5*g, 3*c + 5 = g + g. Let a(y) = g + 3*y**2 + 6*y**2 + 0 + 8*y + y**3. Let p be a(-8). Solve -3*s = -13 + p for s.
4
Suppose 9 = 3*s - 5*u - 17, -2*s - 4*u = -10. Let k(l) = -l + 19. Let j be k(14). Let a = s - j. Solve -2*q - 6 - a = 0 for q.
-4
Suppose 25 = 2*r - 3*z, 0*r - 3*r + 33 = -3*z. Solve 3 = -o + r for o.
5
Suppose 5*b - 5*x + 195 = 0, 3*b + 92 - 3 = -4*x. Let h = -20 - b. Solve 0 = -3*g - 2*g + h for g.
3
Let u = 54 - 51. Solve 5*p + 2 + u = 0 for p.
-1
Suppose 102 = 5*h - 2*h - 3*b, 0 = 4*h + b - 146. Suppose 4*j + 0*j = 4*l + h, 2*j - 14 = l. Let s be (-8)/(-4)*(-14)/l. Solve -f = 4 - s for f.
3
Let l(f) = f - 4. Let d be l(4). Suppose d = s - 5, m - 2*m = 3*s - 15. Suppose 2*n + 4*r + 16 = 0, -5*n - 4*r + 3 - 19 = m. Solve 3*p + 2*p - 25 = n for p.
5
Let b be ((-15)/10)/((-3)/(-88)). Let h be b/(-10) - 18/45. Solve 0 = h*r - 6 - 10 for r.
4
Suppose 5*p - 35 = -2*t, -p + 5*p = -3*t + 35. Suppose -44 = 3*b + 2*b - 2*d, 0 = -4*b + 2*d - 36. Let r be b/28 - (-4)/14. Solve t*q = -15 - r for q.
-3
Let v be 7*1/2*2. Suppose 2*w + 3*w - 19 = -2*z, -5*w = -4*z - v. Solve -w*m - 3 = -0 for m.
-1
Let m be 148/(-18) - 2/(-9). Let y(j) = -11*j - 12 + 3 - 2*j**2 + 5*j**2 - 4*j**2. Let v be y(m). Solve h = -2*h + v for h.
5
Suppose -3*j - j = 0. Suppose j = 6*t - t. Solve 6 = -t*v + 3*v for v.
2
Suppose -17 - 43 = -3*z. Solve -5*r + 5 = z for r.
-3
Suppose 3*o = -3 + 6. Let a be (o/(-1) + -5)/(-1). Solve -a*d - 15 = -3*d for d.
-5
Suppose 0*o - 5*o + 10 = 0. Suppose 5*h + j = -111, 2*j - 90 = 4*h + 4*j. Let z be 10/55 + (-84)/h. Solve 0 = z*y - o*y - 6 for y.
3
Suppose -3*t + 8 = 5*b - 25, 0 = 3*b + 5*t - 23. Suppose -r - 12 = 3*r. Let w = r + 28. Solve -k + w = -b*k for k.
-5
Suppose -4*g - 12 = 4*f, -3*f = 2*g + 2*g + 12. Solve f = k + 4 - 7 for k.
3
Suppose 4*p - 3*v - 31 = 0, v + 2*v = -2*p - 7. Suppose 15 = p*w - w. Suppose q + 2 = 0, w*k + q = 4*q + 26. Solve 0 = -2*n + k - 2 for n.
1
Suppose -2*n - 60 = -5*n. Solve -2*s - 2*s - n = 0 for s.
-5
Let l(z) = z**3 - 7*z**2 + 7*z - 4. Let b be l(6). Suppose -x = -4 + b. Suppose -13 = 3*g - 4*g + 4*w, -x*g - 5*w = 0. Solve -3*a + 4 = -g for a.
3
Let i = 129 + -124. Let b(q) = -q**2 - 7*q - 6. Let w be b(-4). Let z(f) = f**3 - 6*f**2 + 5*f + 2. Let h be z(w). Solve -i*y = h - 7 for y.
-5
Let c be (24/(-11) - (-6)/33) + 6. Suppose 8 = 4*y - 0*y. Suppose -14 = -3*a - 2. Solve -y*l - a = -c*l for l.
2
Suppose p = 10*p - 45. Solve x - 4 + p = 0 for x.
-1
Suppose 4*y + 6 = 6*y. Let h be ((-6)/(-4))/(y/6). Solve -h*u = -2*u - 5 for u.
5
Suppose -3*k + 2*p = 7*p - 36, -4*p - 24 = -2*k. Solve 4*d + 4 + k = 0 for d.
-4
Suppose 0*j + 5*b = j + 16, -2*j - b = -12. Solve -j*f = f for f.
0
Suppose -6 = -6*h + 12. Solve 0 = -h*x - x for x.
0
Suppose i + 5 - 2 = 4*l, 2*i = l + 1. Suppose 3 = d - i. Suppose -4*f = d*j + 8, 0*j = j + 4*f + 8. Solve -2*q - 2*q = j for q.
0
Let o(p) = p**3 + 5*p**2 - 2*p + 2. Let v be ((-1 - 2) + 8)/(-1). Let a be o(v). Let m = a - 6. Solve i - 25 = m*i for i.
-5
Let i = 11 + -6. Suppose 4 = i*v - 3*v. Solve v*w - w - 4 = 0 for w.
4
Let v be (0 + 0)*(-3)/(-6). Solve -2*m - 8 - 2 = v for m.
-5
Let c(x) be the first derivative of 2*x**3/3 - x**2/2 - x - 2. Let d be c(3). Solve 5*k = 1 + d for k.
3
Suppose 3*g = 7 + 2. Solve -5*f - 2 - g = 0 for f.
-1
Let g be 20 - (1 + (0 - 1)). Suppose 5 = -3*n + g. Suppose 19 + 6 = n*v. Solve -v*w + 4*w = -3 for w.
3
Let n(d) = d**2 + 0 - 4*d - 3 + 0*d + 1. Let k be n(5). Solve k*a = 1 - 16 for a.
-5
Let o(a) = -a**2 - a + 4. Let t(r) = r - 3. Let l be t(3). Let d be o(l). Suppose -24 + 4 = -5*v, 3*y - 31 = -d*v. Solve -y*f + 35 = 10 for f.
5
Suppose -3*r + r + 4 = 0. Suppose 0 = -3*g + r*g. Solve 3*u = 3 - g for u.
1
Let f be 2/(-11) + (-2)/(-11). Let j(z) = -z**2 - z + 8. Let i be j(f). Solve a = 5*a + i for a.
-2
Let n be (2/4)/(2/8). Suppose -8*k + 39 + 33 = 0. Suppose 27 = 3*d - 4*p, 8*d - 3*d + 4*p - 13 = 0. Solve -k = -d*u + n*u for u.
3
Suppose -4*w + 12 =