y be 155/15 + 2/(-6). Suppose 2*x = -3*s - s, -5*x - y = 0. Solve -s + 7 = 3*r for r.
2
Suppose -4 = l + 1, -5*q = -l - 35. Let b = 37 - 22. Let m = -11 + b. Solve -14 = -m*i - q for i.
2
Let a = -2 - -2. Let o be a + 0 + 1 + -1. Suppose o = -3*u - 1 + 10. Solve u*h + h = 0 for h.
0
Let c be 1/(5/(-6) + 1). Let z be (-3)/((-1)/(-2)*2). Let m = z - -3. Solve m*r = 2*r + c for r.
-3
Let b be (24/30)/(2/5). Solve -b = -4*j + 3*j for j.
2
Let r(q) = -q + 12. Suppose -2 = m + s, 2*m + s + 8 = -2*s. Suppose 10 = -p + m*p. Let l be r(p). Solve 0 = -7*y + l*y + 15 for y.
3
Let v be 0/1 - (1 + -5). Suppose -2*z + v*z = 0. Suppose -2*y + 4 = -8. Solve -h + y*h = z for h.
0
Let l be (-13)/(-3) - (-58)/87. Solve l + 0 = -u for u.
-5
Let q be ((-12)/(-16))/1*4. Solve -4*a = -q*a + 2 for a.
-2
Let w be (-3)/((-12)/20 + 0). Suppose -w*l - 4*d = -19, -l - 4*d = 3*l - 16. Solve -u - 1 = -l for u.
2
Suppose 20*r + 10 = 25*r. Suppose 4*w + 29 = 3*m, -w + 9 = -3*m + 32. Let b(u) = -u**2 + 7*u + 3. Let l be b(m). Solve -l*i - r = 7 for i.
-3
Let b(z) = -z**3 - 3*z**2 - z - 4. Suppose -2*o = 2*o + 12. Let l be b(o). Let q(g) = -3*g**3 - g - 1. Let j be q(l). Solve -3*v = -2*v + j for v.
-3
Let r = 0 - 0. Let b be 7 + -4 - (-2 - -2). Let t(z) = z**2 - 5*z + 3. Let y be t(5). Solve -b*p = -r - y for p.
1
Let x(j) = -j**2 + 6*j + 3. Let p(a) = a - 6. Let s be p(12). Let r be x(s). Solve 0 = -w - r - 0 for w.
-3
Suppose 4 = -y + 5. Solve -2*s + 5 - y = 0 for s.
2
Let x(j) = -j + 1. Let c be x(-3). Suppose c*m - 15 + 2 = -d, m = 5*d - 2. Let v = d - -2. Solve -v = -0*w - 3*w for w.
1
Let y = -7 - 41. Let v = -30 - y. Suppose 3*k + 5*s + 6 - 31 = 0, -3*s = k - 11. Solve 7 = -k*x - v for x.
-5
Suppose l = -l + 8. Suppose -5*j + 4 = -4*c - 6*j, 4*j = -l*c - 16. Solve c = 3*i - 8*i - 20 for i.
-4
Suppose 4*n - p - 27 = 4*p, 9 = -3*p. Suppose -12 = -n*h - h. Suppose -10 = -h*a + 2*i, 2*i = 3*i + 5. Solve a = w - 1 - 2 for w.
3
Let t(l) = 2*l - 1. Let i be t(-1). Suppose 1 + 2 = f. Let w = f + i. Solve 3*v + v + 20 = w for v.
-5
Let g(l) = -l**3 + 2*l**2 - 2*l + 1. Let k be g(1). Solve k*d - 3*d = 12 for d.
-4
Let v = 3 + 1. Suppose 8*p - 4*q - 12 = v*p, -2*q = -p + 7. Let c be 5*1*(0 - p). Solve c*l = 14 + 11 for l.
5
Suppose 2*w = 3 + 3. Let d be -1*4/(8/(-6)). Suppose -5*z + 110 = 5*v, d*z - 46 = z - w*v. Solve o = -3*o + z for o.
5
Let p(l) = l + 10 + 3 - 3. Let s be p(-9). Let j = s + -1. Solve 4*q = -j*q + 16 for q.
4
Let w = -4 + 5. Let h(a) = -4*a**3 + a**2 - 2*a + 1. Let v be h(w). Let g = 11 + v. Solve -1 - g = -4*t for t.
2
Let g(z) = 2*z. Let q be 1 + (-4)/(-4) - 2. Let n be g(q). Solve 5*o + 8 + 7 = n for o.
-3
Suppose 0 = -4*a - z + 5, 21 = 3*a - 5*z. Suppose 0 = -3*v - 5*p + 32 + 2, 4*p + 24 = 4*v. Suppose 2*x + v = -2*w - a*x, -w - x = 1. Solve 0*r + w*r = 0 for r.
0
Let c be (-1 + 2)/(-1)*-4. Solve -c*b - 15 = -b for b.
-5
Let d be (-215)/(-25) - 2/(-5). Suppose 4*p = -69 + d. Let z = p - -23. Solve -z = 4*j - 20 for j.
3
Let u(s) = s**3 + 7*s**2 + 2. Let r be u(-7). Solve -r = 3*d + 1 for d.
-1
Let t(z) = -z**2 - 2. Let v(k) = 4*k**2 + 7. Let r(j) = -9*t(j) - 2*v(j). Let g be r(4). Let l be (12/g)/((-2)/(-10)). Solve -4*m - 17 = l for m.
-5
Suppose 7*s - 10*s = -60. Solve r + 3*r = -s for r.
-5
Suppose 15 + 5 = 4*h. Solve -3 = -4*o + h*o for o.
-3
Let n = 1 - -4. Solve -3*q + n = 2*q for q.
1
Suppose 4*q + 6 + 2 = 4*u, -4*u = 4*q + 8. Suppose 2*z = -u*z + 40. Solve 2*l = 6*l - z for l.
5
Let j = -3 + 7. Suppose -j*d = -9 - 3. Solve 0*y = -3*y - d for y.
-1
Let u be -2 + (-36)/(-4) + -3. Solve u*o = 2*o - 10 for o.
-5
Let a be 4 - (-2)/(-2) - (21 + -21). Solve 4*w = a*w for w.
0
Let u = 3 + 1. Suppose 4*z + u*y - 12 = 0, -z + 5*y - 1 + 4 = 0. Let m be z*(-3 - (-12)/2). Solve -5*x = -m*x for x.
0
Let l = -51 + 54. Solve -l*b - 4 - 5 = 0 for b.
-3
Let u(d) = 1. Let r(w) = -6*w**2 - 2*w + 1. Let n(z) = -r(z) + 2*u(z). Let v be n(-1). Suppose -3*l - 10 = -2*m - l, v*l = 4*m - 20. Solve -m*c = -c for c.
0
Let f(s) = -s - 5. Let a be f(-9). Suppose 3*m + 21 = 3*v, 0 = v + a*v - 4*m - 31. Solve v*p = -p for p.
0
Let q be (3/(-5) - -1)*-10. Let s = -4 - q. Solve s*i = i for i.
0
Suppose 0 = -5*u + 4*t - 4 - 1, -4*u + 4*t - 4 = 0. Let z be 2 + -2 - -14 - u. Suppose -z = -4*f - 3. Solve f*x + 1 + 2 = 0 for x.
-1
Let x = -131 - -138. Solve -x = 5*l - 2 for l.
-1
Let i = 1 + -5. Let n be 2 + i + 3 + -1. Solve y + 4*y + 5 = n for y.
-1
Suppose -5*w - 4 = 2*t, 4*w + 0 = t - 11. Suppose 2*c - 42 = -4*b, -t*b + 3*c = 6*c - 30. Let x = b + -8. Solve -2*o = x + 1 for o.
-2
Suppose 7 = -4*b - 3*f, -4*f + 10 = -4*b + 38. Suppose 0 = -b*n + 4*n. Solve 4 + n = 4*v for v.
1
Let r(i) = 3*i - 4. Let z be r(2). Solve z*q + 4 + 6 = 0 for q.
-5
Suppose 2*o - 4 + 0 = 0. Suppose -n + 3*n - u - o = 0, n - 4 = -u. Solve n*j + 0*j = 10 for j.
5
Suppose 5*a + 5*c - 10 = 0, 3*a - c - 3*c = 34. Solve 3*q - a = -0*q for q.
2
Let z be ((-192)/36)/((-2)/3) - 3. Solve -z = -b - 4 for b.
1
Suppose 7*f = 4*g + 4*f - 52, -f = 0. Solve -7 = 4*r + g for r.
-5
Let x be 3*(-5 - -2) + 2. Let b(z) = z**2 + 8*z + 10. Let y be b(x). Suppose 2*v - 4*v - 6 = 0, -y*v - 6 = d. Solve 0 = -d*t + 2*t - 1 for t.
-1
Let m(w) = 2*w - 6. Let j be 8/(-12) + 92/(-6). Let f be (j/(-12))/((-2)/(-6)). Let l be m(f). Solve -2 = -4*v + l for v.
1
Let d(w) = w**2 + 3*w - 9. Let i be d(3). Solve -10 = -i*x + 4*x for x.
2
Suppose 2*x - 6 = 2. Let i be (-1 - -2)/(1/2). Suppose 0 = -c + 6 + i. Solve -4*s + c = x for s.
1
Let j(s) = -s - 1. Let p be j(-1). Solve 2*f - 3*f - 3 = p for f.
-3
Suppose 5*v + 0*k = k + 24, k = -4*v + 21. Solve -v*c + 36 = 11 for c.
5
Suppose 5*u = 2*d - 0*u - 23, 0 = -3*d - 2*u + 6. Suppose 4*v - 32 = 4*x, d*v - 2*x + 4*x = 2. Solve -1 - 2 = v*y for y.
-1
Let k be (-6)/(-15) - 4/10. Suppose 5*w + k*w = 20. Let q be 1/w + 4/(-16). Solve -i + 5 = -q*i for i.
5
Suppose 0 = 5*c - 8 - 7. Solve 0 = -c*d - 3 for d.
-1
Let v(z) be the second derivative of 1/3*z**3 - 1/20*z**5 + 0 + z - 2*z**2 - 5/12*z**4. Let q be v(-6). Solve -r + q = -5*r for r.
-5
Let v(u) = u. Let m be v(2). Let i be 2/(-2 + (-7)/(-3)). Suppose i*p - 24 = 3*p. Solve -m*n = -0*n - p for n.
4
Let b be 22*-1*2/(-4). Suppose b*q + 8 = 13*q. Solve -4*t + q + 0 = 0 for t.
1
Let j = 1 + -1. Suppose 2*o = a + 11 - 4, 0 = -3*o + 4*a + 13. Let m = j + o. Solve -28 = 5*u - m for u.
-5
Let s = 69 + -69. Solve 0 = 2*c - s*c + 2 for c.
-1
Let x(a) = -a**3 - 7*a**2 + 9*a + 8. Let p be x(-8). Suppose 3*v + p*v = 15. Solve 0*h = v*h - 5 for h.
1
Let p = -11 - -5. Let a(k) = -k**2 - 7*k - 3. Let b be a(p). Suppose -v - 4*v = -5. Solve v = 4*l - b for l.
1
Let l(q) = 2*q**3 - 3*q**2 + q - 1. Let k be l(2). Solve 2*a + 13 = k for a.
-4
Suppose 5*h - 10 = -0*h. Suppose t = -3*y, 6 = 2*t + h*y + y. Let a be 20/(-6)*-3 + -1. Solve -3*k + a = -t*k for k.
-3
Suppose 3*n - n = -3*s + 23, 3*s + 1 = 4*n. Solve -s*p = 8 + 12 for p.
-4
Let r = -10 - -15. Let d be 4 - (5 - (r + -2)). Solve -n - d = -0 for n.
-2
Let v(h) = -4*h - 28. Let t be v(-7). Solve t = g - 4*g - 6 for g.
-2
Let u(r) = -6*r + 3*r + 1 - 6*r - r**2. Let z be u(-9). Let s be 0 - 1 - (-2 + z). Solve -6*o + o - 10 = s for o.
-2
Let p(f) be the third derivative of f**4/24 + 2*f**2. Let y be p(0). Solve 2*k + 4 + y = 0 for k.
-2
Let k be (-42)/(-8) - (-4)/(-16). Let d be k/(2*3/12). Suppose -2*p - d = -7*p. Solve -p*y = 2*y for y.
0
Let c be (-1 - -1)*(0 + 1). Solve -2*m - 6 = -c*m for m.
-3
Let h = 12 - 8. Suppose f + 4*y - 16 = 0, 5*y + 5 = -2*f + 25. Solve -h*k + f = -12 for k.
3
Let r = 12 + -8. Solve -r*v = -v for v.
0
Let a = -40 + 27. Let p = a - -18. Solve -p + 0 = m for m.
-5
Let h(s) be the second derivative of -s**3/6 - 2*s**2 + s. Let b be h(-7). Suppose -2*c + 2 = -5*x, 2*x - b*x + 4 = 4*c. Solve -7 = -3*z - c for z.
2
Let a(l) be the third derivative of -l**5/60 + l**4/6 + l**3/6 + l**2. Suppose -2*b + 5 = 1. Let p be a(b). Solve 2*u - 3 = p*u for u.
-1
Let t(x) = -x**3 + 10*x**2 - x + 10. Let c = -26 + 36. Let q be t(c). Solve q = 2*a - 5 - 3 for a.
4
Let u = 7 - 5. Suppose 10 = 4*x - u*x. Suppose -2*f + 8 = 2*f. Solve x = 7*i - f*i for i.
1
Let g = -15 - -32. Let t(v) = -v**3 - 7*v**2 + 8*v. Let r be t(-8). Suppose -4*y + g - 1 = r. Solve y*o + 0 = 4 for o.
1
Let m = 17 + -16. Solve 0 = 