lve 3*x + 5*l + q = 6*x, 5*x + 2*l = 5 for x.
1
Let n be (1 + 12/3)*1. Solve i + 5*c = -6, 2*i + n*c - 3 + 5 = 0 for i.
4
Let m = -6 + 18. Suppose 0 = 2*w + 4*i - 24, 3*w - 4*i - 16 = -6*i. Let d be ((-4)/m)/(w/(-18)). Solve -4*z = d*x + 15, -2*x + 13 = 3*z - 8*z for z.
-3
Let w be 80/3*(-24)/(-20). Solve -3*u + 5 = 5*l, -2*u + 10 = -3*l + w for u.
-5
Let w = 1 + 2. Let p be (-6)/(-2) + w + -4. Solve -3*h - 4 = -3*i + p, 20 = i + 5*h for i.
5
Let f = -136 - -137. Solve 5*o + f = 4*c - 0*c, 0 = 5*c - 20 for o.
3
Let f(c) = -2*c - 4. Let y be f(-4). Let q(u) = 5 - y*u + 3*u + u**2 + 6*u - 2. Let b be q(-5). Solve 12 = -b*p - 3*z, -2*z - 9 = -2*p + 3 for p.
1
Let c = 4 + -2. Suppose -6 = -0*g - 3*g. Let k be 42/18 - g/6. Solve -d + u - k = -0*u, 0 = d - 5*u - c for d.
-3
Suppose 0 = 3*n - 7*n - 4. Let z be n/(0 - (-3)/6). Let s = 2 - z. Solve -h - h = f - 6, -4*h = 4*f - s for h.
5
Suppose -5*l + 2*d + 15 = 0, -3*l + 5*d = -0*l + 10. Let i be ((-27)/12)/((-1)/4). Solve l*u + a + i = 0, -5*u - a = a + 8 for u.
-2
Let d be (-13 + 8)*(0 + -3). Solve 0 = -2*k + q - 4, -2*k - 4*q - d = 9 for k.
-4
Let i(q) = q + 13. Let f be i(-10). Solve -5*b - 17 = p, 3*p - f*b = -b + 17 for p.
3
Suppose 3*i - 3 = 9. Solve -d - 1 = 0, -i*q - d + 3 = -0 for q.
1
Suppose -14 + 129 = 23*a. Suppose 5*p - 4*y = -2*y + 25, 0 = 3*y. Suppose 2*d + 25 + 15 = 5*m, -p = d. Solve -4*s + 12 = -4*r - 0*r, 4*r - m = -a*s for r.
-1
Suppose -m = -0*m - 5. Solve 25 = m*q, -3*q + 18 + 1 = u for u.
4
Let a(m) = -m**2 + 21*m - 36. Let l be a(19). Solve -2*q - 16 = -3*b, -q - b + l*b = 6 for q.
-2
Suppose -2*i = h + 19, -i - 4 = -0. Let z = h - -15. Let f = -13 - -18. Solve -4*y = -f*q + 16, -5*q = z*y - 10 + 26 for q.
0
Suppose 6*r = 31 - 19. Solve r*a - 14 = -5*x, 0 = 4*x - x - 3*a for x.
2
Let u be 1 + 2 - (0 - -1). Let p = 115 - 95. Solve -4*r = -u*r - 4*o - 16, 4*o = -p for r.
-2
Let g = 36 - 36. Solve 0 = -l + b, -3*l = b - g + 8 for l.
-2
Suppose 5*f - 4 = 6. Let d be (-8)/16 + 3/f. Let y = 5 + d. Solve 0 = -3*g + 3*k - 5*k - y, -4*g = k + 8 for g.
-2
Let j = 0 + 0. Suppose -2*f - 12 = -5*f. Suppose -48 = -7*o + f*o. Solve 2*q + o = -3*a, a + q + 7 = -j*q for a.
-2
Let t be (-6)/5*(-10)/4. Let y be ((-6)/10)/((-2)/10). Suppose -x = -y*x + 8. Solve -w - t*n - 12 = -28, 3*n - x = 2*w for w.
4
Let k be 2/3*3 + 2. Suppose -r - 4*y = -12, -3*r + 4*y + 3 = -1. Solve 7*z - k = 4*z - h, -r*h - 10 = -z for z.
2
Suppose -5*z = 5*q - 15, q = -0*q + 5*z + 3. Solve -4 = -j - 3*d, d - 7 = 4*j + q for j.
-2
Let c be ((-2)/4)/((-13)/52). Solve 4*w - c*b = 18, 7*b + 24 = 5*w + 3*b for w.
4
Let i be (-30)/20*(1 + -11). Solve -2*j + 12 = -4*a, 9*a + i = 4*a + 5*j for a.
-3
Suppose 2*l = 5*l - 15. Solve d + 4*k + 35 = 12, 4*k + l = 5*d for d.
-3
Let k be -1 + (-1 - (-12)/2). Suppose -a = 2*a - 138. Let g = a - 31. Solve 0 = -3*f - 3 + g, k*s + 36 = 5*f for s.
-4
Suppose 2 = p - 2. Solve 2*u - p*u = -c + 10, 0 = -5*u - 15 for c.
4
Let u(q) = 2*q - 2. Let p be u(-5). Let v be 4/18 + p/54. Solve 4*a + 16 = v, 2*a + 4 = 4*t - 3*a for t.
-4
Suppose 5*o - 210 = 2*r, 5*o + r = 113 + 82. Let p = -10 + o. Let g be ((-2)/6)/((-2)/p). Solve -g*d + 22 = u + 3, -5*u - 3*d + 29 = 0 for u.
4
Let g(t) = -5*t - 1. Let w be g(-3). Let d be (-72)/(-32) + 7/(-28). Solve -4*s - d*f + w = 0, s + 3*f - 15 = 1 for s.
1
Suppose -2 = -z + 2. Suppose -z*j = 3*d - 17, j - 7 - 7 = -4*d. Suppose 0 = -d*t + 2*o + 21 + 13, -4*t + 2*o + 44 = 0. Solve 3*q - t = -2*s + q, 0 = q for s.
5
Let h(k) = k**3 - 7*k**2 - 19*k + 11. Let o be h(9). Solve b = 3*q + o, b + 2*b + 12 = 0 for q.
-2
Let d(x) be the second derivative of -x**4/12 + 7*x**3/6 + 3*x**2/2 + x. Let z be d(4). Solve 2*g - k - z = -0*g, -5*g + 45 = -4*k for g.
5
Suppose 2*p - p = -2. Let a be (p/5)/(1/5). Let b(i) = 7*i**2 + 2*i + 3. Let l be b(a). Solve -4*r - l = -5*z + 8, 13 = z - 2*r for z.
3
Suppose 3*y + 5 = 17. Solve 4*p = 2*p - y, 2*j + 4*p + 8 = 0 for j.
0
Suppose k = 3*t, -2*t + k + k = 0. Suppose t*z = 4*z. Solve 3*s + 10 = -3*w + 25, -4*w - s + 11 = z for w.
2
Let n be (4/(-6))/((-1)/6). Suppose 0 = 4*u - 16, n*a + 5*u = 16 + 12. Let l = 5 + -2. Solve 2*g - z = -l, 0*z = 5*g + a*z - 15 for g.
1
Suppose b = 2*o - 29, -4*o + 2*b = o - 75. Suppose -2*d + d + o = 0. Solve 3*n + 1 = 3*z - d, -n - 1 = 0 for z.
5
Suppose s = o + 10, 5*s - 4*o - 42 = -o. Let j(l) = l + 7. Let r be j(s). Suppose -5*b + 3*b + 6 = 0. Solve b*t + 3*v - 6*v - 3 = 0, -5*t + v = -r for t.
3
Let c(n) = -n**2 - 7*n - 6. Let p be c(-6). Let t be 3 + (p/3 - 1). Suppose 15 = -2*q + 61. Solve 2*h + 6 = 2*x, -q = -x - t*x - 4*h for x.
5
Suppose -19 = -5*x - 2*l + 8, -10 = -3*x + 5*l. Suppose -u + 5 = -x. Solve -w - i + 2 = 0, u = -3*w + 2*w + 2*i for w.
-2
Let z(u) = -2*u + 4. Let h be z(6). Let y be 4/h + 9/6. Solve 2*i - y = 3*q + 3*i, 0 = -2*q + 4*i - 10 for q.
-1
Let m(a) be the second derivative of a**4/12 - a**2 + 7*a. Let z be m(2). Solve 5*n - z*n = -6, -3*t - 2*n = 7 for t.
-1
Let y(l) = l**3 - 5*l**2 - 5*l + 7. Let f be y(6). Solve 5*g = -3*x + f, -x - 16 + 7 = -5*g for x.
1
Suppose 2*p = 5*p - 2*a - 18, 0 = -p - 2*a - 2. Suppose -9 = 2*q - 5*q. Solve 0 = q*g + 4*y - 13, p*g + 2*y = -0*y + 14 for g.
3
Suppose -z = 5*l - 50 + 22, z - 4 = l. Let a = -16 + z. Let p = -8 - a. Solve -3*v = -u - 3*u + 10, p = -3*u + 12 for v.
2
Let w(y) be the second derivative of -y**4/12 + 3*y**3/2 - 5*y**2/2 - 2*y. Let l be w(8). Solve -l*g = -a + 12, -a = 2*a + g + 14 for a.
-3
Let q be (-1)/((-3)/(-8 - 1)). Let d be (-70)/(-15) + (-1)/q. Solve 2 = -0*y + 2*y + 4*r, 0 = d*y + 5*r + 10 for y.
-5
Let g be (-2)/(-7) - 24/(-14). Suppose 5*s = -5*z + 55, -g = -s + z + z. Let u = s - 6. Solve -12 = -2*o - 2*o + h, 10 = o - u*h for o.
2
Let d(f) = -f**2 - 3*f + 4. Suppose 3*x - 4*x - 4 = 0. Let u be d(x). Solve -5*g = 3*i + 23, u*i - 6 = 2*g - 2*i for g.
-4
Suppose -z = 2*w - 8, 3*z + w + w = 8. Suppose 2*f + 11 = 5*u, 0 = -0*f - f + 2*u - 4. Solve 4*y = 3*q - 7 + 14, -2*y + f = z for q.
-1
Suppose -5*v + 4*u = 6*u - 25, u - 14 = -3*v. Let o be 4/3 - (-32)/48. Solve -o*h - 2*b = -4, 8 = h + v*b - 4*b for h.
5
Let s(i) = i - 1. Let m(d) = -2*d + 2. Let r(b) = 6*m(b) + 11*s(b). Let x be r(-4). Solve -4*t + 3*a - 3 = 4*a, x*a = 25 for t.
-2
Suppose -2*c - 2*m - 16 = 0, 2*c + 6*m + 16 = 3*m. Let f = -8 - c. Solve 3*g + 0*a + 4*a - 14 = f, 3*g = a + 4 for g.
2
Let b(o) = -o**2 + 8*o + 1. Let r be b(8). Let p(g) = 1 + 3*g**2 + g + 3 - 5. Let s be p(r). Solve -d + 3 = s*c, 0*d + 3*c = -3*d + 3 for d.
0
Let d be (24/18)/(2/3). Let j be (d + -2)*2/(-4). Solve j = 5*v - 2*r + 3 + 1, -2*r - 14 = 4*v for v.
-2
Let m = 8 + -4. Suppose -5*s - 6 = k - 3, 0 = -m*k + s + 9. Suppose k*h + 2 = 6. Solve 1 = 3*b + y, h*y - 7*y + 20 = 0 for b.
-1
Suppose -6*w + w = 0. Let z be 0*(w - (-3)/6). Let l(m) = -m**3 + 2*m**2. Let f be l(2). Solve f = k - 3*x - 14, z*k - 2 = -5*k - 2*x for k.
2
Suppose 4 + 0 = r. Suppose -64 = -r*n - 20. Solve 3*t = -v + n, 5*t = t - 2*v + 16 for t.
3
Let s(b) = 28*b - 1. Let t be s(1). Solve -4*o - 5*l + t = -14, -5*l + 25 = 0 for o.
4
Let l(v) = v**2 + v. Let i be l(-1). Solve -2*k = i, k + 4 = 3*u + 13 for u.
-3
Let c(q) = -3*q + 1. Let r be c(-1). Suppose -5*t + 20 - 5 = 0. Solve -t*v = 5*l, l - 4 = v + r*l for v.
5
Let n(p) = p**2 + 6*p + 4. Let f be n(-6). Let k be -1*3*-5 + -2. Let v = 24 - k. Solve 3*b - 3*r + r = -23, -f*r = b - v for b.
-5
Let g = -9 + 15. Let t be 1/(15/g + -2). Let u be (-1)/(t - (-9)/(-3)). Solve -14 = -2*x + r - u, 0 = -5*r - 25 for x.
4
Suppose -12 = -5*x + 8. Suppose 0 = -2*w - 5*b + 35, -2*b - b = x*w - 35. Solve -5*o - 10 = 2*s - 3*s, 5*o + w*s = -40 for o.
-3
Let r = 3 + -4. Let u be r/4 + 3/12. Solve -6 = -2*a + c, u*a - 4*c - 8 = -4*a for a.
4
Suppose 4*j - 15 = -5*m, -5*j + 0*j = -4*m + 12. Solve a + 0*a - 2 = m*q, -9 = 4*q + 5*a for q.
-1
Suppose 4*a = -i + 7, -5*a + 5*i = 13 - 53. Let v be -3 - (-9 + 1 - (-2 - 2)). Solve 0 = 2*w - b + 2 + v, 3*w = -a*b for w.
-1
Let a = 60 + -40. Suppose -d - 5*n - a = 0, -n - 25 = 4*n. Suppose 0 = 4*y - 2*y. Solve -3*o - 2*f + 5 = y, 3*o + d = 2*o - 4*f for o.
3
Let d(v) = v - 8. Let i be d(9). Solve 0 = -l + 4, -2 = 3*b - l - i for b.
1
Let t(k) = 12*k + 4. Suppose -5*i = -2*b + 31, 0*i = -5*b + 4*i + 35. Let x be t(b). Suppose z - x