Let x be s(-9). Solve x = -5*z - 2 for z.
-1
Let c = 31 - -17. Let g be (-15)/2*(-128)/c. Solve -g = -j - 4*j for j.
4
Suppose 9 = 5*q - 381. Let y = q - 119. Let h be (-1)/(-6) + y/(-6). Solve -5*p - 3 = h for p.
-2
Let j(c) = 12*c - 2. Let a be j(-1). Let o = -9 - a. Solve o*d = 4 + 21 for d.
5
Suppose -7 = -4*v + 9. Suppose -2*u = -v*o - 12 - 0, 0 = -4*u - 4*o. Suppose n = 2*m - u, -2*n - 3*n = 3*m - 29. Solve 0 = p - 0*p - n for p.
4
Let a be (7 + -10)*5/(-3). Suppose -q - 3*k = a - 2, 5*q + 2*k - 11 = 0. Suppose 0 = -0*d + q*d - 15. Solve 8 + 12 = d*w for w.
4
Let i(j) = -3*j - 13. Let n be i(-9). Let a be (-16)/10*(-35)/n. Solve 0 = -a*h - 16 - 4 for h.
-5
Suppose 0 = q - 1, -19 = -0*o - 4*o - 3*q. Let s(h) = -h**2 + 4*h + 2. Let k be s(o). Let a be 4/(-14) + (-48)/(-168). Solve 2*l + a = -k for l.
-1
Suppose 0 = -2*a + 3 + 7. Solve -o - 20 = -a*o for o.
5
Suppose -5*z + 3 = v, -2*v + 4*z - 1 + 7 = 0. Solve v = -m - 0 for m.
-3
Suppose 6*p - 25 = p. Solve -1 = m - p for m.
4
Let b(y) = -y**3 + y**2 + y + 20. Let c be -1*(0 + (2 - 2)). Let t be b(c). Let h(r) = r**3 + 10*r**2 + 9*r + 6. Let k be h(-9). Solve 2*j - k*j = -t for j.
5
Suppose -4*u + 20 = -4*q, 3*u - 5*q = 11 + 6. Suppose 4*m + 5*j = 2 + 18, -4*j - 20 = -u*m. Solve x - m*x + 16 = 0 for x.
4
Let b(s) = -s**3 - 7*s**2 + 7*s - 5. Let f be b(-8). Solve f*u + u + 16 = 0 for u.
-4
Let i(a) = -a - 4. Let w be i(-8). Suppose -n = w*n. Solve -4*u + n = -4 for u.
1
Let m(z) = -z + 7. Let g be m(5). Suppose 0 = -5*n + 2*i - 2, -4*n + 3*n - 2*i = -g. Suppose 5*k + 20 = n, 2*k + 17 = 5*s - 16. Solve r - s = -4*r for r.
1
Suppose -3 - 3 = 3*b. Let q be b/9 - 2/(-9). Suppose 3*r + q*r - 5 = 5*w, 4*r + 5*w = -5. Solve 2*i - i = r for i.
0
Let o(m) = -m**3 + 6*m**2 + 7*m + 10. Let a = -5 + 12. Let w be o(a). Solve 8*n - 3*n = w for n.
2
Let c be 24*6/9 - 1. Suppose -3*u = -4 - 8, 19 = -k + 5*u. Solve c = -4*p - k for p.
-4
Let t(u) = -u**3 - 9*u**2 - 2*u - 6. Let d be t(-9). Suppose 14 = 2*y - d. Suppose -4*h = -3 - y. Solve r - 15 = -h*r for r.
3
Let a(q) = -4*q**2 + 1 + 0*q**2 - 2. Let w be a(-1). Let g = -5 - w. Solve 4*u + g*u + 16 = 0 for u.
-4
Suppose -x + 2 = -1. Let l(p) = -2*p**2 + 11*p + 8. Let f be l(6). Suppose -5*g - 4 = -f*m, m - 17 = -5*g - 0. Solve m*c - x*c = -16 for c.
-4
Let r = 2 - 0. Suppose 2 = -o + y, 22 - r = 4*y. Let h = o + -1. Solve a = h*a + 3 for a.
-3
Suppose -4*f - 6 = 5*n - 40, 2*f - 26 = -4*n. Let x = 1 + 8. Suppose -2*q + 15 = q. Solve -q*b = -x - n for b.
3
Suppose 3*j = j - 14. Let y(v) = -v**3 - 6*v**2 + 7*v + 2. Let m be y(j). Suppose 0 = -h + m. Solve h - 7 = 5*n for n.
-1
Let i be ((-4)/(-6))/(32/336). Solve i = -3*q - 2 for q.
-3
Let j(h) = -2*h - 7. Suppose 4*t + r = -22, 2*t - r + 2*r + 12 = 0. Let d be j(t). Solve d*u - u = -6 for u.
-3
Suppose 0 = 2*x + k - 5*k + 4, -2*k + 10 = x. Solve 3*f - x = -1 for f.
1
Suppose 4*b = 3*b + 108. Suppose 0*r + 3*g + b = 5*r, g + 1 = 0. Solve 0 = 5*f - 1 + r for f.
-4
Let m = 10 + -6. Solve 9*q = m*q - 5 for q.
-1
Suppose -4 = x + 2. Let h be 10/3*(-9)/x. Solve 8 = h*t - t for t.
2
Let a be ((-4)/14)/(5/(-105)). Solve 2*u + 0 = -a for u.
-3
Let b be (-5)/15*(-135)/6*2. Solve 0 = 4*h + h - b for h.
3
Let v = -13 - -16. Solve 3 + v = -2*s for s.
-3
Suppose 5*b - 4*g = -6, 2*b - 4*b - 4 = -2*g. Suppose 4*r - 3*s - 20 = 0, 0*r - b = -5*r - 2*s. Solve r*x + 1 = 3*x for x.
1
Let n(r) = 5*r**3 - 7*r**2 - 2 - 4*r**3 + 6 - 2. Let d be n(7). Solve -d*t - 1 = -t for t.
-1
Let c(b) be the second derivative of b**4/12 + b**3/3 + b**2/2 + 9*b. Let g be c(-4). Solve 2*j = -g - 1 for j.
-5
Let z = 11 + -6. Solve 7 = z*k + 2 for k.
1
Suppose p + 0 = 3. Solve -t + p = 2*t for t.
1
Suppose 6*k = 4*k - 6, 0 = -n + 4*k + 23. Solve -2*w - 1 = -n for w.
5
Suppose -2*h + 12 = -5*h. Let m be h/(-14) - (-24)/14. Let v be (3 - 3)/(1*m). Solve -s = -v*s for s.
0
Let v(a) = a**3 + 6*a**2 + 2. Let s be v(-6). Solve -s*f = 2*f - 4 for f.
1
Suppose 7*q = 3*q + 20. Let i be (2/7)/((-7)/(-245)). Solve -10 - i = -q*t for t.
4
Suppose 3 - 3 = -3*o. Let k be (-8)/6*(-3)/2. Let b be (k - o)*1/2. Solve -b = -j - 0*j for j.
1
Let l(w) = w**2 - 5*w + 4. Let i be l(4). Let q = -10 - -15. Suppose n = -1 + q. Solve 0 = -i*k + k - n for k.
4
Let z = 4 - 10. Let o(l) = 2*l + 7. Let x(i) = -i - 3. Let d(q) = -3*o(q) - 5*x(q). Let h be d(z). Solve h*m + 2 = -m for m.
-2
Suppose -5*x = -5*g - 10, x - 2*g = 3*g + 14. Let f be (0 - x) + 9/3. Solve f*w = -w + 20 for w.
4
Let y(m) = 2*m + 1. Let v = -1 + 2. Let p be y(v). Solve -p*s = -s for s.
0
Let h(c) = -c**2 + 10. Suppose -3*j + 12 = 4*s, -j + 5 = s + 1. Let i be h(s). Solve 3*p + 1 = i for p.
3
Suppose 0 - 9 = -z + j, -3*z + 24 = -4*j. Suppose -4*s - 12 = -4*g, 0 = 5*s - 4*g + z - 2. Let w be (-21)/(-9) + s/(-6). Solve 5 - w = 3*p for p.
1
Suppose 0 = 6*g - 2*g - 16. Suppose 0 = 2*i - g*i. Suppose 5*f - 15 = 10. Solve -f*p + 5 = -i*p for p.
1
Suppose o = 3*o - 12. Suppose x - 3*v = 29, 3*x + v - 14 - 23 = 0. Let b = x - 8. Solve -o - b = 4*l for l.
-3
Let z be (7/(-4))/(1/(-4)). Solve -2*x - 1 = z for x.
-4
Let g(r) = r - 4. Let d be g(5). Let l(b) = b**2 - b + 1. Let t be l(d). Let o be 0 - t*9/(-3). Solve 0 = o*i + i for i.
0
Let s = -4 - -7. Solve -x - s = -1 for x.
-2
Let w(c) = c**2 - c - 3. Let m be w(5). Solve 4*q + m - 1 = 0 for q.
-4
Let z be 1/(-2) + (-7)/(-2). Solve 0 = j - 4*j + z for j.
1
Let w(h) = h**2 + 6*h - 3. Let s be w(-6). Let z = 2 - s. Solve 9 + 16 = z*o for o.
5
Suppose 0 = 3*w + 15, -5*i + 0*w = 5*w + 35. Let s = -2 - i. Suppose s = -3*a + 7 + 5. Solve -j = -0 + a for j.
-4
Suppose -27 = -5*t - v + 5*v, 0 = 3*t + 3*v. Solve 4*p - t*p = 5 for p.
5
Let q(v) = 10 + v - 10. Let o be q(1). Solve -2*t + 3*t + o = 0 for t.
-1
Let h(y) = y**2 + 7*y - 9. Let a be h(-8). Let m be -3*(-2 + (-2)/(-2)). Let s = m + a. Solve -p - s*p = 6 for p.
-2
Suppose -21 = -4*r - 5*l, -2*l - 2 + 20 = 4*r. Let g = 2 + 62. Suppose 4*z + 4*q - 68 = 0, -4*z + g = -q + 3*q. Solve z = -9*c + r*c for c.
-3
Let l(t) = -t**2 - 7*t - 10. Let u be l(-5). Solve u = -3*v - 5 + 2 for v.
-1
Let j(i) = 3*i - 8. Let b(v) = -4*v + 7. Let s(m) = -4*b(m) - 5*j(m). Let d be s(-7). Solve 5 = -d*k + 4*k for k.
-5
Let g(l) = l**2 + 8*l + 14. Let x be g(-6). Suppose 3*a = -4*k + 22, -a = -x*k + 4*k - 10. Solve 0 - 8 = -k*h for h.
2
Suppose -2 - 8 = -5*i. Let z be 2/(-6) + 130/30. Solve z*k + i = 14 for k.
3
Suppose 27 = 5*f + 3*c, 3*c = 3*f + f. Solve -f*z - 2 = 13 for z.
-5
Let g be (2 + 8/(-5))*10. Let i(s) = -3*s**3 + s + 1. Let h be i(-1). Solve -g*j + 4 = -h*j for j.
4
Let t(c) = c**3 + 4*c**2 + c + 1. Let b be t(-3). Suppose -34 = -j - b. Let w = j + -18. Solve 0 = 4*n - n + w for n.
-3
Suppose 5*v = -4*j - j + 35, -j + 32 = -4*v. Suppose 2*g + 0*g - j = 0. Suppose 4*s - 2 = g. Solve -p + 0 = -s for p.
2
Let n(t) = t**2 - 5*t - 6. Let o be n(6). Suppose o*r - r + 2 = 0. Solve -4*z = -6 - r for z.
2
Let x(j) = 2*j - 6. Let t be x(5). Suppose -t = -2*v + 4. Solve -r - v*r - 15 = 0 for r.
-3
Suppose 5*z + 25 = 5*g, 4*z = -4*g + 3*z + 15. Let i(d) = 2*d**2 + 5 - 4 + d**3 + d - 5*d - g. Let u be i(-2). Solve -u - 4 = 3*h for h.
-3
Let y be (-4)/6 - (-22)/6. Suppose 2*i = i + y. Suppose 0 = 3*u - 16*u + 10*u. Solve i*n + u*n = -9 for n.
-3
Let n(z) = -6*z + 13*z**3 + 4*z**2 - 12*z**3 - 1 + 0. Let d be n(-5). Solve -4*r + 0*r + d = 0 for r.
1
Let c = -82 - -47. Let o = -7 - c. Suppose 0 = -5*w + 2*y + 5 - 3, -4*w - 5*y = -o. Solve w = k - 3*k for k.
-1
Suppose 5*t - b = 102, -4*b = 2*t - 0*b - 32. Suppose -7*q + 2*q + t = 0. Solve -8 = -q*h + 4 for h.
3
Suppose 4*q - 20 = -q. Solve -4 = -0*w - q*w for w.
1
Suppose 3*d - 7*d + 64 = 0. Suppose -4*s = -6*s + d. Solve 28 = -5*q + s for q.
-4
Let x(q) be the first derivative of -5*q**2 - 2. Let v be x(-1). Suppose -t - 4*t = -v. Solve -3*c + 4 = -t*c for c.
4
Suppose 0 = -p + 5*o + 20, -3*p + 5*o = -0*p - 50. Suppose p + 90 = 5*b. Let z be 2/(0 + 6/b). Solve -8 = 3*w + z for w.
-5
Let m(d) = d**2 + 6*d - 7. Let b be (-47)/7 + 10/(-35). Let k be m(b). Solve 2*f + 2*f = k for f.
0
Let g = -43 + 44. Solve -2*o = -o + g for o.
-1
Suppose 18 = 2*b - b. Suppose 0*z = -2*z + 4. Suppose z*p - 10 = -0. Solve p*a + 3 - b = 0 for a.
3
Suppose -48 = -2*u - 5*f, -u + 26 = -0*f + 3*f. Let x be (-204