2*y + v = 4*h - y for h.
1
Let c be (2 - (-1 - 2)) + -2. Suppose 0 = -4*h - c*j + 8, -h - 3*h + 8 = -5*j. Solve -h*m - 16 = -5*v + v, 0 = -2*v + 10 for m.
2
Let o = 213 - 140. Let g = 76 - o. Solve g*p - 12 - 7 = 4*j, 5*j = 3*p - 20 for j.
-1
Let u(b) = b**3 + 2*b**2 - b - 2. Let o be u(-1). Solve 5*s + 4*k - 4 = 0, 5*s + 5*k + o*k = 0 for s.
4
Let u = -489 + 492. Solve g = -5*b + 24, -4*g + 14 = -u*g + 3*b for g.
-1
Suppose a + a - 44 = 0. Let t = 24 - a. Suppose -2*v + 0*v = -3*p + 8, 0 = -3*v - 3*p + 18. Solve -t*y + 12 = d + v*y, 3*d - y = 10 for d.
4
Suppose -4*p - 4 = -3*w - 1, -p + 4*w - 4 = 0. Suppose p*z = -z. Suppose 3*q - 8 + 2 = z. Solve 5*y - 24 = -q*o - 9, 2*y = 4*o - 18 for y.
1
Suppose -x = -0*x - 3. Let m = -1431 - -1431. Solve m = w + j - 1 - 0, -2*w + x*j + 2 = 0 for w.
1
Suppose -n + 3*d - 3 = 0, 5 = -2*n - 3*d + 8*d. Solve -4*v = 3*i - 7*i + 20, n = 4*v + 3*i - 15 for v.
0
Let d = 128 + -74. Let a = -51 + d. Suppose -2*z + c + 28 = 0, -8 = 3*c - 2. Solve 2*h + 4 = h + j, -a*h + z = 2*j for h.
1
Suppose 5 = 8*z - 27. Solve z*p = v - 9, -p - 21 = -3*v - v for p.
-1
Suppose i = 16 - 11. Suppose -4*t + 50 = i*g, 4*g + t - 40 = -11. Solve 3*r = g*r + 5*b - 8, 0 = r - 5*b + 24 for r.
-4
Let o = 1729 - 1726. Solve i - 2*m = 6, -i = -3*i + o*m + 10 for i.
2
Let v be 12/4 - (2 - 1). Suppose -x + v*x = 5. Solve -x*n = -2*n - p + 4, -4*p = -4*n for n.
-2
Suppose -3*b - 1 = -10. Suppose q = -b*q - v + 18, 0 = 4*q + 3*v - 22. Suppose q = -3*a + 4*a. Solve 2*k + 2*j = 0, -a = 5*k + 2*j + 2 for k.
-2
Suppose 0 = 18*r - 17*r - 1. Solve 3*j - 3*a + 6 = 15, -a - r = 0 for j.
2
Let c = -202 + 205. Solve 0 = u - 2*i - 9, 0 = 4*u + c*i - 0*i - 14 for u.
5
Let b = 7 + -4. Suppose -3*s + 17 = h, -4*s = 5*h + s - 45. Suppose h*n - o = 2*o, 5*n + 5*o = 40. Solve 3*d - b = -r, -7*d = -3*d - n*r - 4 for d.
1
Let p(r) = r**3 + 10*r**2 + 5. Let w be p(-10). Suppose -5*z = w*f - 40, 3 + 9 = -f + 4*z. Solve -f*s + x + 2 = -3*s, -3*x + 6 = 0 for s.
4
Suppose -4*o = o. Suppose -y = -o*y. Solve -3*g = -5*k - 2, 2*g + y*k = 2*k + 4 for g.
4
Suppose -4*t = -3 + 19, n - 9 = t. Solve 2*f - 2 = 2*l - 4, f = -n*l + 29 for f.
4
Let u = 5 - 3. Let f be 5/5 + (-3)/(-1). Let d = -2 + f. Solve u*k - d = 0, j - 6 = -j + 4*k for j.
5
Suppose 4*f - 5*k + 82 = 0, 2*k + 33 = -f - 3*k. Let s = f + 25. Solve n + 3*x + 4 = 0, -1 = n - s*x - 2 for n.
-1
Let w = -48 + 52. Let d(n) = -6*n - 1. Let j be d(-1). Suppose -j*x + 0 = -10. Solve -x*y + 4*i + 3 = -5, -y = -i - w for y.
4
Suppose 26 = -3*z + w + 4*w, -18 = 3*z - 3*w. Let y = 5 + z. Suppose 15 = y*v - 0*v. Solve 2*h - r - 2 = -7, 2*h + r = v for h.
0
Suppose -18*t = 6*t - 216. Solve -7*i + t*i = 2*c, 3*c = i - 2 for i.
-1
Suppose 26 = -4*y - 62. Suppose 12*t - 2*h + 95 = 15*t, 3*h = 4*t - 121. Let a = y + t. Solve -5*g - a = -4*f + 3, -2*f - 5*g + 6 = 0 for f.
3
Suppose 82 = 101*w - 322. Suppose 0*c = c - 4. Solve g + 14 = 5*q - 0*g, 0 = c*g - w for q.
3
Suppose -24 = -257*m + 256*m. Solve -5*a + 3*o - 7 = 0, -m*a = -22*a + 2*o + 6 for a.
-2
Suppose -146 = -57*u + 25. Suppose -3*h = -0*a + 3*a, 5*h - 8 = -3*a. Solve -u*n - 24 = -h*x + n, -5*x = -n - 14 for x.
2
Let d be (17 - 16) + 2 + -1. Let f be d/8 + (-237)/(-12). Solve f = 4*a - t - 2*t, 5 = a + 4*t for a.
5
Let c(x) = 3*x**2 - x + 2. Let p be c(-1). Suppose p*i = 2*i + 8. Solve -6*n + 13 = i*o - n, 0 = 5*o + 4*n - 24 for o.
4
Suppose 29 + 13 = 2*s. Suppose -s + 9 = -2*o. Solve 0 = 4*d - o*y + 2*y - 20, 2*d - 16 = 4*y for d.
2
Let t be (41 - 44)/(3/(-2)). Solve -t*h = 4*s - 26, -3*s = -s - 10 for h.
3
Let p(a) = -a**2 - 7*a + 12. Let f be p(-8). Let u be 4/((-1)/((-2)/f)) - 0. Solve 0 = -u*j + m + 6, m + 16 = 5*j - m for j.
4
Suppose -2 = p - 2*t - 0, -4*t = -p - 12. Suppose r = 3*r - p. Solve 4*q + 9 = r*i + 1, -2*q = 2*i - 4 for i.
2
Let o be (5 - 1)*1*1/2. Suppose 4 + 8 = -4*d, o*j + 3*d + 1 = 0. Solve -5*c + 19 = -t, -j*c - t + 11 - 3 = 0 for c.
3
Let h(x) = 3*x**2 + 42*x + 40. Let v be h(-13). Solve 4*a - 5*b - 7 = -v, 0 = a - 3*b - 5 for a.
-1
Suppose -5*c = -2*x - 18, -2*c + 3*x - 2*x + 7 = 0. Suppose b + 20 = -2*k - 3*k, 0 = -4*b - k - c. Solve b = -5*w + 3*s + 29, 8*w = 4*w - s + 13 for w.
4
Let m be 2/4 - 1/2. Let i = 0 + m. Suppose i = 5*t - z - 32 - 16, t = -5*z + 20. Solve -s + 4*p + 4 = 0, s + t*p = 5*p + 4 for s.
4
Let q be (-4 - 17)*21/(-49). Solve 10 = -7*v + q*v, -u + 24 = 5*v for u.
-1
Let c(u) be the second derivative of -u**5/20 + 7*u**4/6 - 7*u**3/3 + 8*u**2 + 6*u. Let q be c(13). Solve 2 = -4*v + v + d, q*d = 3*v + 12 for v.
1
Let z(p) = -2*p - 25. Let f = 122 + -137. Let s be z(f). Solve -s*q = -3*h + h + 17, 8 = 5*h - q for h.
1
Let v(u) = -18*u - 214. Let d be v(-12). Solve -4*k - i - 2*i - 27 = 0, 16 = -d*k - 2*i for k.
-3
Suppose -10*s + 44 = -66. Solve 2*p - s - 1 = 5*r, 0 = -p - 3*r - 16 for p.
-4
Let s(f) = -24*f - 328. Let y be s(-14). Solve -2*n - 5*w - y = -w, -w = 4*n - 5 for n.
2
Let k be 3/2 + 3/2. Let n(u) = -3*u**2 - 16 + 10 + 2*u**k - 3*u + 3. Let r be n(3). Solve 4*q + 9 = -s + 4*s, -r = 4*q + 3*s for q.
-3
Suppose -o + 11 = b, o = -4*b + 17 + 12. Suppose -b = 11*q - 12*q. Suppose -q*p = -7*p. Solve 0 = -4*j + 5*r - 20, p = -6*j + 3*j + 2*r - 8 for j.
0
Suppose -178*i + 2*b + 24 = -174*i, -i = -4*b - 13. Solve 4*n + l + i = 16, l = -n + 5 for n.
2
Let a(d) = -2*d**2 + 13*d - 9. Let w be a(6). Let k be 3*((-21)/w - 4). Suppose -14*f + k*f = 0. Solve f = -4*j + c - 17, 3*c = 12 + 3 for j.
-3
Suppose -24 = -2*w + 76. Let r be (7/14)/(1/w). Solve -4*n + r = 5*z, -z = 4*z - 5 for n.
5
Suppose 0 = -18*w - 2*w + 300. Solve 4*a = w*i - 20*i - 20, 4*i + 16 = -4*a for i.
-4
Suppose -10 = 5*k + 7*r - 3*r, -3*r = 3*k + 9. Let n be -10 - -17 - 1*k. Solve -2*g - n = -5*q, 3*q + 12 = 5*g - 4 for q.
3
Suppose 0*x + 4 = 2*x. Let b(m) = -m**2 - 6*m + 45. Let l be b(-10). Solve x*q + 0*q = -4*t + 28, t - 25 = -l*q for q.
4
Let f = 29 + -31. Let t be (0 - 12/2)/f. Solve -15 = -t*b + u, 2 + 1 = -u for b.
4
Suppose 4*k - 2 = 3*o, -2 = -2*o + o. Suppose -13 = -5*n + 3*b, 2*b - 2 = -n - n. Suppose 0 = -14*v + 14. Solve 4*i - 2 = -k*l + n*i, 0 = 3*l + 5*i + v for l.
3
Suppose 0 = -2*t + 2 + 8, 3*d = -4*t + 65. Solve 5*m + d = 5*y, 2*m + 6 = -2*y - 2*m for y.
1
Let c be (-280)/(-21)*(-3)/(-2). Solve 3*r - 4*r - 20 = -4*k, 4*k = 2*r + c for r.
0
Let f(x) = -5*x**2 + 3*x + 2. Let p(c) = 14*c**2 - 8*c - 5. Let a(h) = 11*f(h) + 4*p(h). Let r be a(0). Solve -5*b - 4*m - 1 = 0, -2*b = r*b + 4*m + 4 for b.
3
Let c = 9 + -7. Let y = 68 + -72. Let g be 2 + c - (0 - y). Solve 0 = 4*p + 5*z - 25, g*z = -p - 4*z + 9 for p.
5
Let s(w) = -8*w + 188. Let c be s(23). Solve c*k = u - 1 - 14, 2*u - k + 5 = 0 for u.
-5
Let l(h) = h**3 + 3*h**2 - 5*h - 4. Let o be l(-4). Suppose -9*z + 4*z = o. Suppose z*t = t. Solve -2*v - 2 = t, -5*u - v = 4*v + 10 for u.
-1
Let l(t) = t**2 - 3*t. Let z be l(3). Suppose z = k - 17 + 1. Suppose -5*i + 4 = -16. Solve -i*h - 2*p = -k, -p + 16 - 36 = -5*h for h.
4
Suppose 3*g + 2*c - 109 = 0, -3*g + c = -0*c - 103. Let f = g + -30. Solve -f*y = 2*w + 23 - 7, -8 = -4*w for y.
-4
Suppose -3*k - 3 = -12. Suppose -4*w + 4*c + 8 = 0, -3*w + 5*c - k = -9. Solve -t + z + w = -2, 3*t - 5*z = 20 for t.
0
Suppose 3*f + 6 = 36. Let z be 2 + -4 - -1 - -1. Suppose 5*o = -a - 2, 4*a - o - f - 3 = z. Solve -t = -a*k - 7, 3*k - k - 10 = -3*t for k.
-1
Suppose -50*l + 12*l + 114 = 0. Solve r - 3 + 8 = 0, -l*h - 3*r = 27 for h.
-4
Suppose 10 = b - 0. Suppose 2*i - b = -4*u, 0 = 4*u + 3*i - 2 - 3. Solve -u*s = -4*w + 24 - 7, -3*s = -w + 13 for s.
-5
Let r = -181 + 185. Solve -5*q + 32 = -2*t - 2*t, -r*t + 8 = 5*q for q.
4
Suppose -30 = -10*q - 0*q. Suppose -r = -2*u, 7*r + 2*u - 10 = q*r. Solve -3*c = -r*z + 10, -3*c - 2*z + 7*z = 7 for c.
-4
Let v(m) = -m**3 - 8*m**2 - 9*m + 21. Let h be v(-6). Solve 0 = h*o - 5*i - 5, 3*o + 3*i - 25 = -2*i for o.
5
Let l be 1/(89/30 - 3). Let k be (1 - (-12)/(-8))*l. Solve -2*q + 5 = -3*q + o, -3*q = o + k for q.
-5
Suppose 0 = 5*i + 15, -f + 17 = -8*i + 3*i. Let d be (-36)/10*5*(f - 3). Solve -3*u + 5*c + 22 - 6 = 0, -u - d = 3*c for u.
-3
Let h be (-9 + 7 - -5) + 2. Solve 3*i + 21 = -3*w + 6, h*i + 3*w = -15 for i.
0
Suppose 3*x + 3 = 12. Suppose x*g - 14 + 2 = 0. Let f(o) = 6*o**3 - 2*o**2 + 4*o - 3. Let b be f(2).