 be k(4). Solve -f + o = -3*n for n.
4
Let r(o) = -5*o + 7. Let s be r(-9). Let b be s/24 - 2/12. Solve 4 + 2 = b*y for y.
3
Let d = 19 + -17. Solve 0 = -c - d*c - 15 for c.
-5
Let t(f) = f**2 + f + 1. Let u(m) = -m**3 - 4*m**2 + 5*m - 2. Let l be u(-5). Let x be t(l). Solve 0 = -0*b - x*b - 9 for b.
-3
Suppose -15 - 1 = -4*s. Let q be 2/4*(-150)/(-15). Solve q*t = -s + 29 for t.
5
Let m(j) = j**2 + 3*j + 3. Let f = -1 + -2. Let d be m(f). Solve 2*n = 5*n - d for n.
1
Let p(i) = i - 1. Let h be p(1). Suppose -3*d + 0*d + 6 = h. Suppose d = 2*n - 2. Solve 3*r = n*r for r.
0
Let b = -11 - -14. Let w be (2 + 2 - -2) + 0. Solve w = u - b*u for u.
-3
Suppose -4*z + 3 + 13 = 0. Suppose 8 = 2*x, -5*c + z*x = -0 + 1. Solve 3*k + 3 + c = 0 for k.
-2
Let z = -9 - -7. Let v = 1 + z. Let c be (-13)/(-3) + v/3. Solve -c*p + 3 = -p for p.
1
Let p be 1/(3 + (-1 - 1)). Let q = -22 + 24. Let g be q - (p + -4 - -1). Solve -3*d - d = -g for d.
1
Let n be -4 - (4 + -11 - 1). Solve -n*j = -j for j.
0
Suppose f + 14 = 2*f - x, 5*x + 20 = 0. Suppose 2*z + z = 33. Suppose 10*o - z*o = 0. Solve 5*v + 0*v + f = o for v.
-2
Suppose z = 3*z. Let o(y) = y + 1. Let n be o(z). Let w be 2/4*(n - 1). Solve 4*d - 8 - 4 = w for d.
3
Let y(p) be the first derivative of -p**4/4 + 11*p**3/3 + 11*p**2/2 + 15*p - 4. Let o be y(12). Solve 4*g = -17 - o for g.
-5
Let v(h) = h**2 + 4*h + 5. Let k(y) = -y**2 - 3*y - 4. Let z(m) = -5*k(m) - 4*v(m). Let q be z(-1). Solve -q*x + 10 = -0*x for x.
5
Let c = 36 - 32. Suppose b = 2 - 0. Solve h = b*h - c for h.
4
Suppose -4*w - 8 = -2*h, -5*h - w = 2 - 55. Suppose 3*b + 23 = 2*b - 5*o, 2*b = -5*o - 21. Solve -3*q - b*q = -h for q.
2
Let c be 4/(-10) - 840/(-100). Let j be (-1)/(-4) + (-19)/(-4). Solve -d = -j*d - c for d.
-2
Suppose -6 + 3 = -s. Suppose 0 = -b + 6 - s. Suppose -g = 1 - b. Solve 2*j = -g - 2 for j.
-2
Let h be 4 + -3 + -1 - (-2 - 2). Solve h = -3*m - 5 for m.
-3
Let n be 4/18 + (-2)/9. Let a be 6 - 6 - (n + -3). Suppose 0 = a*g + 9, r - g + 12 = -6*g. Solve -12 = 3*x - r for x.
-3
Let c = -53 + 22. Let m = -40 + 95. Let n = c + m. Solve 1 = 5*o - n for o.
5
Suppose -9 = -5*b + 6*b. Let n(q) = q**2 + 7*q - 8. Let j be n(b). Solve -10 - j = -5*w for w.
4
Suppose 2*h = -0*h + 2*q + 6, 4*h + 5*q - 21 = 0. Suppose h = a + 2. Suppose -4*g = 0, t = 3*t - a*g. Solve 0 = -t*o + o - 4 for o.
4
Let w(y) = -2*y - 6. Let k be w(-6). Let v = k - 6. Let z be (12/10)/(10/25). Solve 9 = -v*o + z*o for o.
3
Let l = 15 - 10. Let b = l - 2. Let o = -311 - -323. Solve 0*y + b*y = -o for y.
-4
Let x(s) = -s**3 - 9*s**2 - 11*s - 2. Let k be x(-8). Suppose 5*a = -y - 0 + k, 0 = 2*a - 4*y. Solve 3 = -a*t - 17 for t.
-5
Let y(l) = l**2 + 6*l - 18. Let r be y(-9). Let z(p) = 8*p**2 - 5*p**3 - 3*p**2 + 2 + 4*p**3. Let x be z(5). Solve 0 = x*u + u - r for u.
3
Let m = 18 - 9. Suppose 0 = 3*r + 3*x - m, -r = -6*r - 2*x + 12. Solve r = -0*p - 2*p for p.
-1
Suppose -2*m + 4 = 4*t, 5*m + 0*m - 10 = -4*t. Let v be t + -2 + 1 + 1. Solve v = 3*k + k for k.
0
Let f(z) = -2*z**2 - z + 5. Let l be f(0). Solve 0 = -l*r - 2 - 3 for r.
-1
Let g = 9 - -1. Suppose -f - 3*t = -g, -3*t + 1 = -5*f - 3. Suppose 5*d + 5*v = 5, -1 - f = v. Solve 0*j - d*j = 0 for j.
0
Let j = 207 + -147. Let y be (-2)/3*j/(-2). Solve -q + 5*q - y = 0 for q.
5
Let l = -12 + 16. Let p(a) = a + 3. Let y be p(l). Solve -5*h = -8 - y for h.
3
Let s = -37 + 39. Suppose 5*w - 1 - 19 = 0. Suppose 0 = i - o - 2*o - 11, -w*i + 16 = 2*o. Solve s + 8 = -i*q for q.
-2
Suppose 2*h = 3*f + 5*h, -5*f = 4*h. Let s = f + 0. Solve -3*u + u - 4 = s for u.
-2
Suppose -4*v + 3*v = 0. Solve v = f - 0*f for f.
0
Let j(w) = -w**2 + 3*w - 2. Let m be j(3). Let u be (-70)/(-22) - m/(-11). Solve -2 = i - u*i for i.
1
Let t be 33/5 + (1 - 24/15). Solve t*o - 4*o = -4 for o.
-2
Let d(b) = b**3 - 10*b**2 - 10*b - 5. Let h be d(11). Suppose 5*m - 30 = -5*x, 0 = -0*m + 2*m - x. Solve -g = m*g - h for g.
2
Let x = 1 + -1. Suppose -5*j = -x*j + l - 13, -j + 17 = 5*l. Solve -a - j*a = 3 for a.
-1
Let l(p) = -p + 3. Let k(n) = -n**3 + 8*n**2 - 3. Let g be k(8). Let w be l(g). Let r be 26/w - 2/(-3). Solve 2*y + r = y for y.
-5
Let j be 69/21 + 2/(-7). Solve -l = -j*l - 2 for l.
-1
Let a(o) = -o**2 - 4*o + 4. Let q be a(-4). Let z be (-168)/27 + (-4)/(-18). Let l be (-2)/(-3) - (-4)/z. Solve l = -t + q + 1 for t.
5
Let o(l) = -l**3 + 8*l**2 + 4*l - 17. Let w be o(8). Solve 3*z + 0 = -w for z.
-5
Let q be (3/(-2))/(6/(-32)). Suppose -x - 5 = -2*g, -4*x - 3*g + q*g - 11 = 0. Let d(m) = -m**2 - 9*m + 10. Let t be d(-10). Solve -5*c + x - 26 = t for c.
-5
Let v = 4 - 2. Let z be v/(-6) - 32/3. Let l = -7 - z. Solve k + l = 3*k for k.
2
Suppose 3*y = -5*y + 16. Solve 0 = y*l + 2*l for l.
0
Suppose -6*x - 20 = -11*x. Solve x*r + 16 = 8*r for r.
4
Suppose 4*n + 20 = 0, 3*s + 2*n = n + 25. Let u(z) = -z**3 + 11*z**2 - 11*z + 15. Let x be u(s). Suppose 3 = 2*b - b. Solve -x*o - 12 = b for o.
-3
Let o(i) be the second derivative of -i**3/6 + 5*i**2/2 + 2*i. Let x be o(5). Let w = 3 - -3. Solve w*l - 7*l - 5 = x for l.
-5
Let a(r) = -r - 10. Let u be a(-10). Solve k + u = 1 for k.
1
Let l be 12 + (-6)/(-15)*5. Let j = l - 14. Solve -4*a + 6 + 2 = j for a.
2
Suppose -2*o - 4*f = 3 + 1, -6 = 2*f. Suppose -o*g = 2 - 22. Let j be 0 - -2 - (-1 - -3). Solve j = -5*u - g - 10 for u.
-3
Let y(q) = -q**2 - 6*q + 2. Suppose -32 + 8 = -4*c. Suppose 4*v - 12 = c*v. Let x be y(v). Solve 0 = 2*s + x*s for s.
0
Let r(n) = n**2 + 2. Let x be r(-2). Let q(v) = -v + 7. Let i be q(x). Solve -9 = -4*g - i for g.
2
Let a(p) = p**3 + 3*p**2 - 3*p + 4. Let z be a(-4). Solve -m = -z - 4 for m.
4
Let d be 5 + 3/(9/15). Solve y = -y - d for y.
-5
Suppose 3*s - 5 = 19. Suppose 0 = 3*p - 32 + s. Solve -17 = -5*u + p for u.
5
Suppose 6*g - 235 = g. Let o = g + -27. Solve 3*r - o = -r for r.
5
Let f(p) = p + 11. Let u be f(-8). Solve 0 = -i - 0*i + u for i.
3
Let m = 63 - 63. Suppose -15 + 0 = 5*x. Let t be x/(3*-1) + 2. Solve -t*i = -m*i for i.
0
Suppose 3*q + 1 = 7. Let n be ((-5)/q - 0)*-2. Suppose 0 = -n*z - 4*s + 24, 0 = -4*z + 3*z + 3*s + 1. Solve -z*l = -l for l.
0
Suppose 2*i + i - 18 = 0. Let g(n) = n**2 - 6*n + 8. Let o be g(i). Solve 4*s + 12 = -o for s.
-5
Let k be 12/18 - (-4)/(-6). Suppose 2*p = -k*p + 4. Solve p*z = -4 - 2 for z.
-3
Let p(a) = 4*a - 2 - 5*a**2 + 3 + 4*a**2. Suppose 2*f - 4*w + w = 21, -f - 12 = 3*w. Let q be p(f). Solve -5*b + b + q = 0 for b.
1
Let i be (1 + 0)/((-1)/(-7)). Let p = 1 + i. Solve -p = z + z for z.
-4
Let d(p) = -p**2 - 5*p - 5. Let b be d(-4). Let q = 2 + b. Solve 0 = v - 0*v - q for v.
1
Let b(x) = -x**3 + 7*x**2 - 5*x + 6. Let f be b(6). Suppose -5*j - a + f = -2*j, -2*j + 2*a = 0. Solve j*w - 4*w = -5 for w.
5
Suppose 0 = -2*w + 3*w - 2. Suppose 0 = v - w. Suppose 0 = y - 3*y - 3*d - 6, -y + 4 = -v*d. Solve y = 2*k - 1 + 5 for k.
-2
Let t be ((-15)/4)/((-6)/(-16)). Let q be 6/(-4)*(t + 0). Solve -7*i = -2*i + q for i.
-3
Let o = 11 + -6. Suppose -o*v = -3*n, 6*n = n + v + 22. Solve 4 = n*x - 11 for x.
3
Let b be (-1)/((-16)/(-20) - 1). Suppose -5*q = -7*q + 2, -b*q + 5 = 2*p. Solve 2*j - 8 - 2 = p for j.
5
Suppose 0 = m + 3, m - 30 = -2*d + d. Suppose 5*t = -d - 87. Let f = 35 + t. Solve f = -3*j + 26 for j.
5
Let l be 48/22 + 12/(-66). Let g be (l/6)/(4/24). Solve -2*k + 4*k = -g for k.
-1
Let a(v) be the third derivative of v**4/24 + 2*v**3 + v**2. Let d be a(-10). Solve -4 = 4*o - d*o for o.
-2
Let f be 6/8 + 3/(-4). Solve f = -u - 0 + 5 for u.
5
Let d be 7 - (2 - 4)*-2. Suppose -5*v + v + 8 = 0. Solve -d + 9 = v*r for r.
3
Let d(l) = -1 - l + 5 - l**2 + 0*l - 2. Suppose 0 = 4*y - 2*v + 18, 3*y = 5*v - v - 26. Let c be d(y). Solve c*x - 2*x = -6 for x.
3
Suppose x + x = 6. Let h = 3 - x. Solve h = a + a - 8 for a.
4
Suppose -2*r + 3*s + 3 + 3 = 0, -3*s - 6 = 0. Solve r = i - 1 for i.
1
Let p(t) = t**2 + 5*t. Let a be p(-5). Let m be (3/(-2))/((-5)/10). Suppose 3*c + 4*s + 3 = 0, 2*c - m = -3*c - 4*s. Solve c*o + 0*o = a for o.
0
Let p be 2/(-6) + 14/6. Let n = -150 + 159. Solve n + 1 = p*r for r.
5
Suppose 3*l - 11 = 13. Solve 3*w = w - l for w.
-4
Let l be ((-20)/6)/(-2)*3. Let u = l + -2. Suppose 24 = 4*d - 2*v - 0*v, 0 = u*v. Solve -s - s + d = 0 for s.
3
Let r be (-3 - 1)/((-5)/(-5)). Let u be (-36)/(-16) + 1