/12*l**4 + 0 - l**3. Let q be k(4). Solve -3 = m - q*m for m.
3
Suppose 0*j + 12 = 3*j. Let w = 12 + -6. Let m = w - j. Solve 0*h - 2*h = m for h.
-1
Let t(b) = b**2 + 22*b + 62. Let k be t(-19). Solve k = 5*n - 0*n for n.
1
Let m(b) = b**2 - 10*b - 6. Let z be m(11). Let p be -1 + z + 4 - 2. Solve -p - 4 = 2*j for j.
-5
Let y(t) = 4*t - 4. Let d be y(4). Let n = d - 10. Let o(j) = -j**3 + 4*j**2 - 4*j + 3. Let c be o(3). Solve 2*q + n + 4 = c for q.
-3
Suppose o = 9*o - 48. Solve 7 - o = t for t.
1
Let d(w) = -w + 1. Let f be (-12)/16 - 22/(-8). Suppose -2 = -0*l - f*l. Let v be d(l). Solve v*h = -3*h + 12 for h.
4
Let a(y) = -2*y - 8. Let s(o) = 2 - 4 - o - 2. Let z(w) = 4*a(w) - 9*s(w). Let c be z(-4). Solve c = -3*h - 16 + 4 for h.
-4
Let v = 396 + -376. Suppose 2*t = -j + 4*j - 9, -t = -3*j + 9. Solve t = -5*u + u + v for u.
5
Suppose -4*f + 8 = -t + 3*t, -t - 2 = 0. Let w(b) = b**3 + 14*b**2 + 12*b - 13. Let y be w(-13). Solve -u - f = -y*u for u.
-3
Let i be (-10)/55 - 4/(-22). Solve -d - 2*d + 9 = i for d.
3
Let c(z) = -z**2 + 2*z + 3. Let i be c(3). Let a = i - -3. Suppose 8 + 1 = -3*o - 3*s, s = -a*o + 1. Solve 0*u - 2 = o*u for u.
-1
Suppose 0 = -8*d + 11*d - 30. Solve 0 = -2*v - 3*v - d for v.
-2
Suppose 8 = -5*n + 3. Let y be 3/(-3) + (1 - n). Solve -y = -c - 2 for c.
-1
Let o(t) = -t + 2. Let m = -13 + 8. Let x be o(m). Suppose -2*b + x - 3 = 0. Solve 0*c + b*c = 8 for c.
4
Let m = 2 - 7. Let r be 1 + 0 - (m + 3). Solve r*k = -k for k.
0
Let m(f) = -f**3 - 6*f**2 + 17*f + 15. Let j be m(-8). Solve -j*n + 2*n = 25 for n.
-5
Let k be 2/(2/3) + -1 - -5. Solve 5*j - k = -2*j for j.
1
Let w(v) = -v**2 - 5*v + 2. Let h be w(-5). Suppose -h*c = -7*c. Suppose 0 = k - c*k. Solve 0*b - 5*b + 20 = k for b.
4
Suppose -s - 10 = -3*s. Let b(z) = -6*z - 3. Let v be b(-5). Solve s*h = -7 + v for h.
4
Let u(t) be the first derivative of -t**3/3 - 3*t**2 - 4*t + 2. Let b be u(-4). Solve 5*r + b + 11 = 0 for r.
-3
Let d(q) = q**2 - q + 14. Let l be d(0). Let s = -5 + l. Solve 5*u + s - 29 = 0 for u.
4
Let l(h) = 4*h + 4. Let t(y) = -11*y - 12. Let p(j) = -8*l(j) - 3*t(j). Let o be p(0). Suppose -3 = -3*u, -4*c + 2*u - o*u = -22. Solve 0 = 2*g + 3 + c for g.
-4
Suppose 3*q - 3 = i, 9 = -0*i - 3*i - 4*q. Let z be i + 2 + 12/2. Suppose -5*o = -0*o - 15. Solve -z*p - o = -4*p for p.
-3
Let c = 25 - 18. Solve -2*q = -c*q + 25 for q.
5
Suppose 2*t = -2*t - 8. Let b = 0 - t. Solve h - b = 1 for h.
3
Let b(q) = -q**2 + q + 1. Let i be b(1). Solve -z + 6 = i for z.
5
Suppose -19 = -4*q - 7. Let a(m) = 11*m + 40. Let p be a(-3). Solve -p*y = -q*y - 16 for y.
4
Suppose -r - 2*r = 81. Let f = 78 + r. Let s = f + -31. Solve 2*p + 2*p = s for p.
5
Let i(o) = o**3 - 2*o**2 - 5*o + 1. Let x be i(4). Suppose 5*l = -g + x - 0, 0 = 2*l - 2*g + 2. Solve l*y = -y + 15 for y.
5
Let b(x) = -x**2 - 2*x + 1. Let z(n) = -n**2 - 3*n + 2. Let c(k) = 4*b(k) - 5*z(k). Let g be c(-8). Solve -1 = g*v + 5 for v.
-3
Let r be 2 + ((-3)/(-3))/(1/(-2)). Solve 10 = -r*d + 5*d for d.
2
Suppose -3*o + 3*v + 15 = 0, v = 2*v + 2. Solve o = 4*i - 5*i for i.
-3
Let x(w) = -w**3 - 5*w**2 + w + 7. Let k be x(-5). Suppose 0 = 5*z - k*z. Solve -3*o = -z*o for o.
0
Let s(i) = i**2 + 11*i + 3. Let t be s(-11). Suppose -4*a - t*p = 1, 4*a - 8 - 6 = 2*p. Solve -3*h = -a*h for h.
0
Let z = 22 - 10. Let m be ((-15)/9)/((-2)/z). Solve 0 = 3*v - v + m for v.
-5
Suppose 15 - 3 = -y. Let c = y + 14. Solve c*x - 7 - 1 = 0 for x.
4
Let t = 16 - 22. Let z be 6 + 3/(t/2). Solve -18 = z*g - 3 for g.
-3
Let w = 83 + -58. Suppose 3*q + 7 = -c + 21, 0 = -5*q - 2*c + w. Solve 0 = -q*g + 7*g for g.
0
Suppose -6*w = -5*w. Solve w = -0*m + 4*m - 4 for m.
1
Suppose -2*y = -0*y + 6. Let u be 5 - y*(-3)/(-3). Solve -3*j - u = 1 for j.
-3
Suppose 4*h - 3 - 13 = 0. Suppose -3*x - h = -5*x. Suppose 4 = -3*y + 22. Solve 0*n - x*n - y = 0 for n.
-3
Suppose -2*f + 25 = 5*z + 2*f, -2*z + 5*f + 10 = 0. Suppose 0 = -i - 2*c, -z*i + 4*c = -15 - 13. Solve 4*n + i = -0*n for n.
-1
Suppose 0 = -m + m + m. Solve 0*i - i - 3 = m for i.
-3
Suppose -5*k = -3*c + 29, -3*k - 11 - 16 = 3*c. Let p = -7 - k. Solve f - 3*f + 2 = p for f.
1
Suppose -4*f + 0*f = -24. Let s = f - 1. Solve -z + 2*z = -s for z.
-5
Let j be 51/12 + (-4)/16. Suppose -4 = 4*a + 8*r - j*r, 2*r = -8. Solve a*k + 3 + 9 = 0 for k.
-4
Suppose -3*z = -p - 18, 0 = -3*p + 2*z - 5*z - 18. Let d = p + 13. Suppose -4*x = -d - 24. Solve -4*i - 1 = x for i.
-2
Suppose 0 = -3*g - 3*q + 33, 5*q + 20 + 5 = 5*g. Suppose -g*j = -12*j. Solve f + 0*f - 2 = j for f.
2
Suppose 18 = -8*i + 58. Solve 3 = -i*y + 8 for y.
1
Let k(x) = x**3 + 9*x**2 + 2*x + 6. Let c be k(-9). Let b = c + 14. Solve w + b = -0*w for w.
-2
Let r = -20 - -26. Solve -r*t + 3*t + 15 = 0 for t.
5
Let w = 9 + -2. Suppose w*z = 3*z + 16. Solve -l = -0*l + z for l.
-4
Let l(c) = -c - 6. Let s be l(-9). Solve r = -s*r for r.
0
Let s(f) = f**2 - 4*f + 2. Let i be s(4). Let w be ((40/2)/2)/i. Solve -3*p = -8*p + w for p.
1
Let w be 6 + -6 + 1 + 3. Solve w*o = -o for o.
0
Let y be 20/80 + (-3)/(-4). Solve -h - 3 = -y for h.
-2
Let o(p) = -6*p + 99. Let y be o(16). Solve y*z - 20 = -2*z for z.
4
Let o be 4 + -1 - (-1 + 0). Solve o*x = -0*x + 12 for x.
3
Let q = -9 - -11. Suppose -q = 4*t - 5*t. Solve -2*o + t = -0*o for o.
1
Let y be 6 + 1/(-1) + 2. Let n = y + -4. Solve -n*g - 20 = -7*g for g.
5
Let p = 82 + -77. Solve -p*k + 11 = 6 for k.
1
Let n(z) = z**2 - 15*z + 4. Let a be n(16). Solve 4*b + b = -a for b.
-4
Let s be 20/70 + 38/14. Solve -d + 2*d = s for d.
3
Let i = -23 - -27. Solve i*f + 25 = -f for f.
-5
Suppose -4*z = -8 - 16. Suppose -5*v = -v. Solve v = -4*f - 6 - z for f.
-3
Let t(m) = m**2 + 7*m + 10. Let a be t(-7). Let b = a - 6. Suppose v + 0 = 2. Solve b*h - v = -6 for h.
-1
Let t(p) = -p + 1. Let g be t(-1). Let c = 27 - 22. Solve -q + c = -g*q for q.
-5
Let o(x) = -19*x + 1. Let t be o(-1). Solve -y - t = 4*y for y.
-4
Let d = -4 + 6. Let j(m) = -4*m - 4 - 4*m + 0*m - m**d. Let h be j(-7). Solve -h*n = n for n.
0
Let u(b) = b**3 - 2*b**2 - 2*b + 3. Let o be u(2). Let i = o + 3. Solve -v = i*v for v.
0
Let b(t) be the first derivative of t**4/4 + t**3/3 + 3*t**2/2 + 2*t + 3. Let s be b(-2). Let r = s + 14. Solve r = 3*y - y for y.
3
Let n(y) = y**2 - 2*y + 4. Let t be n(3). Let x be 18 - 1 - t/7. Solve b + 3*b = x for b.
4
Let q(p) be the second derivative of 4*p**2 - 1/20*p**5 + 2*p + 0*p**3 + 0 - 1/2*p**4. Let f be q(-6). Solve 3*k = k - f for k.
-4
Let f(a) = -6*a**2 + a + 6. Let x(q) = q**2 + q. Let h(g) = -f(g) - 5*x(g). Let i be h(7). Let z be 16/3 + (-1)/3. Solve -z*o - 6 = -i for o.
-1
Let v(k) = 2*k. Let h be v(4). Let p = h + -5. Solve 6*r = p*r - 9 for r.
-3
Suppose 0 = -5*n - 0 + 15. Let w = 3 - n. Let z(j) = j**3 + j**2 - j + 1. Let h be z(w). Solve -p = -1 - h for p.
2
Suppose -9 + 34 = 5*v. Solve -3*p - 1 = v for p.
-2
Suppose 0 = 5*b + m + 3*m - 140, 5*b = -5*m + 140. Let l(t) = t + 1. Let v be l(-3). Let p be 8/(v - 3*-1). Solve 5*c + b = p for c.
-4
Suppose 0*y = y - 2. Let n(b) be the first derivative of b**2/2 - 8*b - 5. Let g be n(8). Solve g = -y*v - 0*v - 10 for v.
-5
Let j be 0/(2*(-1 - 0)). Suppose 6 = 3*f - 4*o, -2*f = -0*f - 5*o - 4. Suppose -l + 5*q = -37, -q + 9 = f*l - 10. Solve 3*p = -j*p + l for p.
4
Let m(y) = -3 - y - 1 + 6 + 0*y. Let l(h) = -3*h**2 + 1. Let z be l(-1). Let x be m(z). Solve 0*b + x = b for b.
4
Suppose 3*k - 2*u - 16 = 0, 2*k + 3*u = -5 - 6. Let t be (-4*9/(-6))/(-2). Let b(d) = -2*d - 1. Let f be b(t). Solve 3*p + f = k for p.
-1
Suppose 5*u - 6*u = 1. Let s = u + 2. Solve -s = -t + 3 for t.
4
Let v(x) = x**2 + 4*x + 2. Let k be v(-4). Suppose 26 = 2*o + 4*c, -14 + 4 = -k*c. Solve -o = r + 2*r for r.
-1
Let a(o) = 15*o**2 - o. Let h be a(1). Let f be (0 - 0) + -1 + h. Suppose -5*w = -0*q + 3*q + f, q = 5*w + 29. Solve i - q*i - 3 = 0 for i.
-1
Suppose -z - 84 = -4*z. Suppose z = 4*f + 12. Solve -3*c = -f*c - 1 for c.
-1
Let r = 3 + -3. Suppose l = -4*i - 3*l + 12, -4*l = -2*i + 6. Solve r = 4*s - i*s for s.
0
Suppose -5*m = -26 + 11. Solve -m = 5*i + 2 for i.
-1
Let r(s) = -s**2 + 5*s + 6. Let v be r(6). Solve v = 4*h + h - 20 for h.
4
Let d(s) = s**2 - 6*s + 4. Let p be d(5). Let g be (p*12)/((-3)/2). Solve r = 5*r + g for r.
-2
Suppose 2*u - 1 = 1.