x for z.
5
Let z be (-2)/(3/(-6)*1). Suppose 12 = 2*g + 4. Solve b + 21 = -5*j, g*b + 3*j + 12 = -z for b.
-1
Suppose 3*l = 4*l. Solve -3*n + 8 = -l*z + 4*z, -2*n = 4*z - 12 for n.
-4
Let z be 37/2 - 4/8. Solve -2*r + z = -5*b + b, -5*b = 25 for r.
-1
Suppose -4*w + 20 = 4*k, -2*k + 3*w + 2*w = -10. Solve k*z - 13 = 2*j - 0*j, 3*j = 3 for z.
3
Let c(j) = -3*j - 22. Let k be c(-9). Solve -4*h + 2*h - 24 = k*x, -4*h - 24 = 4*x for x.
-4
Let u = 73 - 73. Solve 0 = a - 0*a + s - 5, u = 2*a + 5*s - 19 for a.
2
Let h be 1/(-2)*-1*30. Solve 3*o - 15 = -z - 5, 2*o = -5*z - h for z.
-5
Suppose -3*l - 2*l + 15 = 2*y, 3*l + 2*y = 9. Let a = 7 + l. Solve -5*b - 14 = o, -2*b = 5*o + 3*b + a for o.
1
Suppose i + 24 = -3*r - 2*r, 5*r + 22 = -3*i. Let m = 7 + r. Solve 0 = 3*t - 5*o - 7, 13 = -3*t - m*t - 4*o for t.
-1
Suppose -5*f - 11 = -4*r, 2*r + 5 = -5*f - 12. Let z be (f/7)/((-4)/28). Solve 0 = -2*s - z*k - 12, 5*k + 0*k + 20 = 0 for s.
0
Suppose v + 13 = -5*u + 6*u, -2*u + 36 = -4*v. Solve 3*d - 7*d = h - u, d - 3*h = 15 for d.
3
Let r(l) = l**3 + 7*l**2 - 3*l - 1. Let g = 15 + -22. Let n be r(g). Solve -4*m + n = 4*u, -u + 4*m + 6 = 1 for u.
5
Let q be (1/2)/(1/2). Suppose -3*g + 10 = q. Solve -6 = 5*v - 0*u - g*u, 0 = 5*v + 3*u - 6 for v.
0
Suppose -16 = 5*d - 5*g + 4, -3*g + 9 = 0. Let z = d - 1. Let n be (3 - 0) + z - -3. Solve -4*x - 4*p = 4, 3*p = 2*p + n for x.
-5
Let b(h) = 6*h**2 + h + 1. Let n be b(-1). Solve 5*u - 2*o = 17, -2*o - 16 = -n*o for u.
5
Let f = 25 + -17. Solve 0 = -4*z - n - f, 5*z - 2*n + 11 = 4*z for z.
-3
Let s(l) = l**2 + 8*l + 7. Let u be s(-5). Let n = u - -17. Let o be (3/n)/((-2)/(-36)). Solve -3*f = -3*t + o, 5*f - 18 = -0*t - 2*t for f.
2
Suppose 2*k - 3*m + 6*m - 18 = 0, m - 2 = 0. Suppose 2*i - k*i + 24 = 0. Solve -2*d = 4*r - i, -4*r - 4*d = -0*r - 16 for r.
-1
Let q(a) = 4*a - 11. Let s be q(5). Suppose 5*u = 2*x + s, 2*x + u = 6 + 3. Solve -x*b + 27 = -4*n, 4*n + 5*b + 0*b = 13 for n.
-3
Let y(u) = u**2 - 2*u - 5. Let q be y(4). Suppose 2*v - 9 - 27 = 0. Solve -4*w - v = -2*w - q*t, 2*t + 7 = -5*w for w.
-3
Let i = 22 + -42. Let g = -18 - i. Solve 5*f = g*c + 10, 0 = -2*c + 2*f - 4 for c.
0
Suppose -h + 2*h = 2. Suppose -5*b + 4 = 3*g + 1, 0 = 2*g + 2*b - h. Solve -4*a - 3*u = -11, -2*u + 3 = a - g for a.
2
Let h(b) = b**2 + 19*b - 64. Let x be h(-22). Solve 2*c + 3*c - x*v = 27, v = -2*c + 9 for c.
5
Suppose -2*j + 0*j + 28 = 0. Let w = j + -9. Solve s = -r, -4*s - r - 2 = -w for s.
1
Suppose 0 = -3*x + 12 + 15. Suppose -n + x = 2*n. Solve 5*w = 5, n*a + w + 4 = 2*w for a.
-1
Let q(n) be the second derivative of n**4/4 - n**3/3 + n**2/2 + n. Let h be q(1). Let o = 120 - 118. Solve h*l = -l + o*p + 4, p = -l + 3 for l.
2
Suppose 45 = 6*f - f. Suppose w = 2*w - f. Solve -5*a - 22 = -4*q, 0 = -3*a + 4*q - 3*q - w for a.
-2
Let i be 0 + (0 - (-1 + -2)). Let s be (17/5)/((-1)/(-5)). Let k = -1 + 3. Solve 16 = 2*h - i*t, 3*h - k*t = -t + s for h.
5
Let o = -18 + 22. Let x = o + 8. Solve 0 = -3*a + x, -3*h + 0*a - 17 = -2*a for h.
-3
Suppose 2*a + 5*a = 35. Solve -v - a*r = -r + 24, -13 = 2*v + r for v.
-4
Let b = 118 + -116. Solve -3*k = l + b*l - 15, -2*k + 16 = 4*l for k.
2
Let z = 5 + -2. Suppose 13*g - 19 - 46 = 0. Solve -4*b = b + z*c - g, -5*b = 4*c - 10 for b.
-2
Suppose 0 = 2*o + 2*m - 3*m - 1, 5*o - 2*m - 4 = 0. Solve 5*b - 3*i - 26 = b, -5*i = o*b for b.
5
Let m(i) = i**2 - 6*i - 2. Let l be m(7). Let g be 17/2 + l/10. Solve 4*o - g = 5*c, 5*o - 3*c + 0 = -5 for o.
-4
Suppose -4*s = 5 - 17. Let u(w) = -w - 2. Let d be u(-4). Suppose -d*r - 7 = -17. Solve -b = -s*g - 3*b + r, 2*g - b - 1 = 0 for g.
1
Let l(t) = -t + 4. Let u be l(-2). Let h be (-6 + 7)/(2/u). Solve h*w + 29 = -5*a, -2*w - 3 = a + 7 for a.
-4
Let f = 10 - 9. Let b be 5 - (f + 0 + 2). Solve 4*t - t + b*c = -1, -4*c = 4*t for t.
-1
Suppose 0*h = h + 3*i - 32, -h - 4*i + 33 = 0. Solve 5*n = 4*r - h, 2*n + 10 = -2*r + 2 for n.
-5
Suppose -4*h = -9*h + 70. Solve 4*t = -5*z - h, 3*t = 7*t + 4 for z.
-2
Let o be 2/(-4) - 2/(-4). Suppose 0 = -2*y + 10, 4 = -z - y + 14. Solve 2*t - 23 = z*f, o = -2*t - 0*t - 3*f - 17 for t.
-1
Let y = 15 - 11. Solve 0*o + 29 = 5*o - z, y*o = -5*z for o.
5
Let b = 4 + -3. Suppose -2*l + j + 3 = 0, 22 = 4*l + 3*j + b. Solve l*o - 5*z = 10 + 3, -4*z - 5 = 3*o for o.
1
Let c be (-70)/(-6) - (-5)/15. Solve 0 = 2*y + 5*l + 9, c = 4*y - 5*l - 15 for y.
3
Let z = -2 - -8. Let r = 9 - z. Solve r = v + u - 4, -3*v + 1 = -2*u for v.
3
Let p = -20 + -1. Let d be (-6)/p - (-33)/7. Let m = -93 + 95. Solve m*u = -d*o + 11, -4*u - o - 5 = -0 for u.
-2
Let l be -2 - 1/(-1) - -5. Solve -2*i = -4*r - 22, l*r - 3 = -5*i + r for i.
3
Suppose -9 = -3*a + 3*v, -a - 3*v = -6*a + 13. Solve p - 9 = -2*i, -a*p + 8*i - 3*i = 0 for p.
5
Suppose 0 = -f - f - 4*c - 46, 4*f = 3*c - 103. Let l(o) = o**2 - o + 5. Let s be l(-5). Let g = f + s. Solve -4*t + 2*t + k = -g, 0 = 5*t + 2*k - 25 for t.
5
Let u(v) = -4*v - 14. Let l be u(-4). Solve -2*k - 9 = -3*g, -l*g + g = k + 2 for k.
-3
Suppose -3*a - 2*x = a + 8, a - 4*x = -2. Let c be ((-24)/(-1 + 4))/a. Suppose 62 = 5*d - 68. Solve -o = 7 - 2, -c*n + 2*o = -d for n.
4
Suppose -374 = -10*g - 54. Solve -4*w - g = -2*t - 3*t, 2*t - w = 11 for t.
4
Suppose -4*q = -p - 2 - 22, -4*p + 9 = 5*q. Solve 2*n + n - 2*w = 12, q*w - 20 = -5*n for n.
4
Let v be (-12)/(-16) - (-414)/(-8). Let r = v - -91. Solve -w + h = -h + 13, -4*w - r = -5*h for w.
-5
Let a be 4/(-10) - 54/(-10). Let i be (7 - a)/(4/(-2)). Let m be i/2*-6 + 0. Solve -m*j + 12 = u, -u = -3*j + 4*j - 4 for u.
0
Let a = 0 - -1. Suppose z - y - a = -2*y, 3 = 4*z + 3*y. Suppose -6 = -4*u + 14. Solve z = -4*r - 12, -4 - 10 = -k + u*r for k.
-1
Suppose 2*w = -w - 6, -2*u = 2*w - 6. Let n = -3 + u. Solve -t = n, q + t - 2 = -3*q for q.
1
Let b be 312/143 - 4/22. Suppose 4*f + c + 6 - 13 = 0, b*f + c - 1 = 0. Solve -5*y - f*h - 10 = -3, 0 = -y + 4*h - 6 for y.
-2
Let s be ((-2)/(-3))/(10/165). Suppose 0 = -3*t + 55 + s. Solve t - 6 = 5*q - 4*y, 2*q = -5*y + 13 for q.
4
Let s be (-3)/2*52/(-39). Solve 2*f = -3*n + n + 8, s*f - 2*n - 4 = 0 for f.
3
Let w = 62 + -38. Suppose 4*i - c + 6 - w = 0, -c = 3*i - 10. Solve -4*u = -4*v - 36, -7*u + i*v + 31 = -4*u for u.
5
Suppose -2*o = 4*w - 30, -5*o + 18 = -3*o - 2*w. Suppose 3*f - 3*t - 24 = -6*t, 0 = f + 2*t - o. Solve f = a - 3*x, -a + 4*a - 15 = -4*x for a.
5
Suppose 0 = 5*z - k - 4 + 2, 0 = -5*z + 4*k - 7. Let u be (-3 - (z - -2))*-3. Solve 2*g = -4*a - 6 + u, -3*g + a = 10 for g.
-2
Suppose p + 12 = -3*i, -7*p - 2*i - 8 = -6*p. Solve 4*l + p - 3 = 5*g, g - 3 = -l for g.
1
Suppose 8 = 2*f - p, 3*f + p - 7 = 2*f. Suppose f*z - 4*z - 2 = 0. Solve -4*k + q = 0, z*k - q = -5*q - 18 for k.
-1
Let x be (-9 + -15)/(-3 - -1). Solve -4*d - x = -3*i - 5*d, -5*i = -4*d - 37 for i.
5
Suppose -3*s + 30 = -4*i, 0*s - i = -4*s + 27. Let j = s + -6. Solve j = u - t + 6 - 3, 3*u + 9 = -5*t for u.
-3
Let o be ((-24)/(-3))/(1*2). Let z = 0 + o. Suppose -3*l + z*n = -26, 2*l - n = -0*n + 9. Solve -r - l = -2*r, -4 = 4*f + 4*r for f.
-3
Suppose 0 = -5*s - 0 + 10. Let j(o) = -o - 6. Let h be j(-9). Let n(q) = q**2 + 3*q - 4. Let l be n(h). Solve -x = -2*u - s, -5*u - 3*x = -x + l for u.
-2
Suppose -4*w + u - 16 = -u, 20 = -2*w - 5*u. Let v = w + 10. Solve 2*t - 5*d - 19 = 0, t + 0*d = -v*d - 13 for t.
2
Let n be -1*6*(-6)/4. Let h be 3*(-1)/9*-3. Let r be n - 2/1 - h. Solve 3*w - g = -4 - 0, 2*g - r = 5*w for w.
-2
Let r be (42/(-28))/((-6)/8). Solve -20 = -w - 5*k, r*w + k = -k + 8 for w.
0
Suppose j = 3*c - 4*j, 3*c - 4*j = 3. Suppose -f - f - 13 = -3*a, f - 26 = -c*a. Solve 5*t - m - a = 4*m, -8 = 2*m for t.
-3
Let b(f) be the second derivative of -f + 0 - 3/2*f**2 + 7/6*f**3. Let d be b(2). Solve 2*n + 6 = 4*s, -s - 2*n + d = 2 for s.
3
Let y be 0*(-3)/(-12)*-1. Let t be 12/7 - (-2)/7. Solve -4*n - 5*c + 30 = 0, 2*c + t*c - 8 = y for n.
5
Suppose -5 = -2*h - 5*q, -2*q = -3*h + 2*h - 2. Suppose 0*z + 3*z - 6 = h. Solve 5 = -2*u + 5*u - z*x, 0 = -u + 3*x - 3 for u.
3
Let f = -18 + 30. Let w be -2 + f + (-2 - -2). Solve 2*j + 5*m - 35 = 0, -2*j - 2*j + 2*m + w = 0 for j.
5
Let t(y) be the second derivative of -y**5/20 - y**4/12 + y**2 + 3*y. Let s be t(-4). Suppose -4*p + s = p. Solve -5*q + 8 = 3*r - 9, 2*r - 2*q + p = 0 for r