2 for o.
2
Suppose 3*l = -0*l. Solve a - 5*a + 3*s + 6 = l, 4 = 5*a - 2*s for a.
0
Let r = 30 + -16. Let d be r + (3 - 3 - 3). Solve f + d = -6*w + 3*w, -3*f - 12 = 2*w for w.
-3
Suppose 3*k = -2*i + 76, 2*k + 3*k - 2*i = 116. Suppose -7*m = -3*m + k. Let t be m*((-24)/9 - -2). Solve -2*r - 3*r + t*a + 13 = 0, -3*a + 34 = 5*r for r.
5
Suppose r - 4*v + 21 = 0, 8 - 21 = -2*r - 3*v. Let l be ((r + 1)/2)/2. Let s = l - 0. Solve s = 2*h + 5*y + 7, -h - 5*y - 2 = 9 for h.
4
Let h = -4 + 8. Solve 0 = 2*z - h*z - 5*f + 31, 4*z = -3*f + 27 for z.
3
Let y(j) = j**3 + 7*j**2 - 9*j - 1. Let t be y(-8). Let z = -4 + t. Solve -q - 6 = q + 4*s, 0 = q + z*s + 6 for q.
3
Let n(a) = a + 2. Let i be n(8). Solve -o - 4*o + 7 = 4*k, -5*k - i = 0 for o.
3
Suppose -4*i + 31 = 3*g, -41 = -4*i - g - 4*g. Solve 4*j = 4, -i*h - h + j - 26 = 0 for h.
-5
Suppose 0 = -17*m + 7*m + 30. Solve m*x = l - 14, -2*l + 18 = -4*x - 0*x for l.
-1
Let w be 9 + 8*3/(-6). Solve 4*d + 6 = 2*u, -45 = 4*d + d + w*u for d.
-4
Let q = 54 - 36. Solve -t - a - 1 = -3*a, q = 3*t + a for t.
5
Let u = 34 - 5. Solve 2*m + 0*m - 2 = -3*f, -f + 5*m = -u for f.
4
Let k(z) = z**3 - 2*z**2 - 3. Let b be k(3). Solve 4*r + 12 = -b*u + 2*u, 2*r + u + 4 = 0 for r.
-1
Let f(h) = -4*h**3 + 2*h**2 + h + 1. Let j be f(-2). Suppose -5*l + 11 = -j. Let q be (-4)/5*l/(-4). Solve 4*d - 4*r + 24 = -0*r, 9 = q*d + 5*r for d.
-3
Let p = -6 + 16. Let l = p + -7. Suppose 0 = 3*q + 3*k - 45, -5*q - l*k - 11 = -92. Solve 2*x + 3*s - q = -0*x, -4*x + 3*s = 0 for x.
3
Let d = -2 + 4. Suppose 0 = -5*g + 4*o - o + 95, 3*o + 47 = d*g. Suppose 5*m + t = -0*t + g, 0 = -m - t. Solve m*i - 12 = 0, q - 2*i + 16 = 3*q for q.
5
Let b = -3 + 3. Suppose -5*r - 13 = -3*k + 5*k, r + 3*k = -13. Let x be (r - (-2)/2) + 4. Solve 4*q - t + 8 = b, -2*q - x*t = t + 26 for q.
-3
Let v(u) = -u + 1. Suppose 3*i = 5*j + 28, -5*i = j - 4*i + 4. Let w be v(j). Suppose 5*g - 8 - 2 = 0. Solve -2*m + 4*a = 12, w*a = 5*m + g*a + 24 for m.
-4
Let a be -1*(-3)/(-6) - (-10)/4. Solve 2*v = a*o - 2, -o = 3*o for v.
-1
Let z(g) = -2*g**2 - 2*g + 1. Let w be z(3). Let u = w - -32. Solve 4*m + 5 = n + 6*m, 0 = -4*n + 3*m + u for n.
3
Let p = -3 - -8. Suppose 0 = b + 2*n - 10, 0 = -2*b - 2*b - p*n + 28. Solve -4*d - 1 = f + 4, -d + b*f = -1 for d.
-1
Let c = 90 + -86. Solve -b + 12 = -2*r + b, 3*r + c*b - 10 = 0 for r.
-2
Suppose 0 = -3*t + 18 - 3. Let n be -42 + 2 - 0/3. Let g be 4/8*n/(-2). Solve -5 + 17 = 2*r - t*d, -4*r + 3*d = -g for r.
1
Suppose 3*z = 3*v + 2*v + 25, 0 = -4*z + v + 5. Suppose -3*h + 9 + z = 0. Solve 3*g - 4*a + 15 = -a, -h*a = -6 for g.
-3
Suppose 6*n = n - 3*h - 49, -4*n + 3*h = 50. Let p = 13 + n. Solve 0 = -p*k + f + 9, 24 = -0*k + 4*k - 4*f for k.
3
Suppose 3*n + 4 = 13. Let s(i) = -2*i**3 + 2*i + 5*i**n - i + 2*i**2 - 5*i**3. Let c be s(-1). Solve -q + 2*t - 6 = c*q, -q - 7 = 5*t for q.
-2
Let x = -12 - -14. Solve 2*y - 14 = 4*v, 2*y + 6*v = x*v - 2 for y.
3
Let j be (-1)/(-1 + (-32)/(-34)). Solve 0*q + j = 5*n - q, n - 3*q = 9 for n.
3
Suppose 5*a - 3*m - 22 = -5*m, 0 = -a + m + 3. Let k(f) = -f**2 + 5*f + 2. Let n be k(4). Let o = -2 + n. Solve 3*u = 2*v + 4*u + 4, a*v + 8 = -o*u for v.
-2
Suppose -3*b = 3*h - 6, 4*h - 6 + 0 = -2*b. Solve -2*v = 2*a - h - 9, -5*a + v + 19 = 0 for a.
4
Let g be (1 - -1)/((-8)/(-8)). Let s = g - -6. Solve -4*z + s = j, -2*j + 6 = 2*z - j for z.
1
Let s be 4/3 + (-13)/((-195)/(-20)). Let f(l) = -l**2 + 7*l + 2. Let z be f(7). Solve s*x + 5*x = 10, 0 = -4*i - z*x for i.
-1
Let o = -7 - -15. Let d(p) = p**2 - 8*p + 4. Let m be d(o). Solve 0 = s - 3*q - 5, -m*s = 4*q - 4 for s.
2
Let s(i) = -2*i - 2. Suppose 3*r = 5 - 17. Let m be s(r). Suppose -m = 4*n - 22. Solve -n*a = -5*v - 3, 0*v + 15 = -2*a - 3*v for a.
-3
Let t be 10*3*10/75. Solve -2*r + 0 = t*m - 14, 0 = -5*m + 4*r + 37 for m.
5
Let s be (-2*1)/(9/(-54)). Suppose a + 4*d - s = -0*a, 4*a + 5*d = 26. Solve -4*g + 33 = -a*m - m, 3*m = -5*g - 5 for g.
2
Suppose -12 = 4*d - d. Let k = 7 + d. Solve 0 = -5*a + k*c - 25, -8 = -5*a + 2*c - 28 for a.
-2
Let n = -12 - -14. Suppose -3*d = n*d. Solve -t + 3*c + 8 = d, -29 = 2*t - 7*t + 4*c for t.
5
Suppose -n = -0*n + 4*k - 12, 3*n + 3*k = 18. Solve -5*r + n*t = -12, 3*t + 6 = 2*r - 3 for r.
0
Let g be -2 + (-1 - -3) - -11. Let v be 0*(-1)/(-2)*2. Let k = 306 - 301. Solve k*l + f - g = v, 3*f - f - 4 = -4*l for l.
3
Suppose 55 = 17*v - 30. Solve 3*k = v*r - r + 21, -4*r + 5*k = 27 for r.
-3
Suppose 3*t - 171 = 5*o + 65, -2*o - 4*t - 84 = 0. Let i = o - -64. Solve -4*c + 4*k + 16 = 0, -5*c + 4*k = k - i for c.
3
Let j be (18/(-4))/(-9)*(2 + 2). Solve -3*u + 4 - 1 = 0, 2*n + j = -2*u for n.
-2
Suppose 4*i = -0*i + 100. Suppose -i = -5*q - 0*q. Let o be (-3 - (0 - 2)) + q. Solve o*f - k = 6, -2 = -2*k + 2 for f.
2
Suppose 0 + 2 = 2*h. Suppose -2*a + 5*a - 29 = -5*k, -a = -k + h. Let x(f) = 2*f**2 - f + 1. Let w be x(1). Solve k*v + y + 9 = -7, -v = w*y + 4 for v.
-4
Let o be 4*-4*(-1)/8. Solve -o*s - 18 = -3*v, 6 - 23 = -5*v - s for v.
4
Suppose 0 = 4*c + 12, 2*l - 4*c - 21 = -c. Solve 5*y + 3*w = 8 - 31, -y - l = 2*w for y.
-4
Let b(j) = -2*j**3 - j**2 + j + 1. Let k be b(-1). Solve 3*u + z - 5 = k, -u = -z - 6 for u.
3
Let v = 8 - 3. Let i(b) be the second derivative of -b**3/6 + 5*b**2/2 + 3*b. Let h be i(v). Solve -4*u - 5*j - 24 = -j, -2*u - 3*j - 13 = h for u.
-5
Let j = -38 + 49. Solve -2 = -2*v, -3*a + 6*v - j = 4*v for a.
-3
Let s(u) = -u**2 + 5*u + 1. Let m be s(4). Solve 0 = m*x + 2*i, 4*x - 5*i + 23 = 5*x for x.
-2
Let i = 0 + 1. Let j be 42/(-10) + i/5. Let w = 5 - j. Solve r - b = -4, -4*b - w = r - 0*r for r.
-5
Let s = -9 - -12. Suppose 2*d - 2 = -w - 4, s*d = w - 13. Solve 2*z - 3*t = 8 - 27, w*z - 17 = -5*t for z.
-2
Let w(q) = 5*q**2 - 35*q + 46. Let o(z) = -z**2 + 7*z - 9. Let g(r) = -11*o(r) - 2*w(r). Let n be g(7). Solve 0 = -2*d + n + 3, 10 = 2*b + 2*d for b.
0
Suppose j = 5*j - 64. Suppose w + 0*w + 10 = -5*l, -2*l + 19 = 5*w. Solve j = -0*y + 3*y + 2*x, w*x - 29 = -2*y for y.
2
Suppose 5*i + 29 = -3*z, 3*i + z + 24 = -3*z. Let f be 1 - i/6*3. Suppose -5 = 11*u - 38. Solve 15 = -f*r, 5*r + 50 = u*c - 8*c for c.
-5
Let t = 14 - 10. Solve s + 8 = -d, t*d + 1 = 2*s - 1 for d.
-3
Let l be (-6)/(-1 - (-2)/6). Solve 5*z + l = -4*b - 20, 12 = -3*z + 3*b for z.
-5
Let d(n) = -n**2 - 9. Let a be d(0). Let y be a/15*(-16 + 1). Solve -l - y = -5*t - 26, -t - 7 = -2*l for l.
2
Let a = 10 + -7. Suppose 0 = 5*p + 3 - 13. Suppose -z + p*z = 2. Solve 15 = -0*k + a*k, -m - z*k + 5 = 0 for m.
-5
Let n be 2/2 - (-5 - -2). Let b = 10 - 6. Suppose 0 = -5*u + 3*p + 8, b*p = u - 0*p - 5. Solve -y + u = s - 3*s, n*y + 2*s + 16 = 0 for y.
-3
Let q = -2 - -8. Let l(g) = -g**3 + 6*g**2. Let j be l(q). Let b(z) = -z**3 + z**2. Let t be b(0). Solve 4*n + j*y - 28 = -4*y, t = -2*y + 4 for n.
5
Let u(d) = -d**2 - 4*d + 1. Let h be u(-4). Solve -4*c + h = l - 4, -3*l + c = -15 for l.
5
Suppose 30 = 5*c + 4*y - 40, 4*y - 20 = 0. Solve 2*h + 2*u - 2 = 2, 0 = 5*h - 3*u - c for h.
2
Let h be (1 + 0)/(4/12). Suppose h*m + m - 72 = 0. Suppose b + m = 4*s + 3*b, -4*s - 4*b = -24. Solve -d = -s*d - f - 15, 5*f = -5*d - 50 for d.
-5
Let d(g) = -g**3 + 3*g**2 + 5*g - 4. Let a be d(4). Solve 5*m - 15 = a, -5 - 4 = -3*r + m for r.
4
Let h(c) = -3*c**3 - c. Let i be h(-1). Suppose i*w - 3 = -q, 3*w + 17 = -w - 5*q. Solve 0 = -3*d - 4*z + 2, -d - 4*z - w = -0*z for d.
2
Let n(b) = -b**3 + 7*b**2 - 8*b + 2. Let l be n(6). Let x be (-2)/10 - 42/l. Solve 4*c - 8 = 8*c - 5*a, 4*a - x = 2*c for c.
-2
Let s = -11 - -12. Let t(u) = 18*u. Let o be t(s). Solve -o = 3*i + h, -2*i = 3*h - 1 + 20 for i.
-5
Suppose -2*j + 6 = -4*q + 5*q, 3*j - q - 9 = 0. Let g be j/1 - (6 + -7). Solve 3*n + g = l - 10, -5*n + 4*l = 35 for n.
-3
Suppose 20 = -8*p + 13*p. Let g = -5 - -9. Suppose -8 = -0*u - g*u. Solve p*i = -u*t + 8, -14 + 2 = -4*i - t for i.
4
Let y = 34 - 64. Let l = -27 - y. Solve 0 = m, -l*m + 2 = -i - 0 for i.
-2
Let v be (-12)/9*(-9)/2 - 4. Let g = -2 + 4. Solve -w + 3*r - 7 = -2, v*w = -g*r - 2 for w.
-2
Let k(n) be the second derivative of n**4/12 + n**3 + 4*n**2 - 3*n. Let r be k(-8). Solve -3*j = 4*o - 3, 5*j - 6*o + r = -3*o for j.
-3
Suppose 2*t - o = 16, -4*t = 2*o + 20 - 52. Let b(v) = 2*v - 2. Let a be (8/(-6))/((-6)/9). Le