v - 4 for y.
1
Let p = -17 + 26. Suppose -p*s = -12*s + 72. Let t = s - 19. Solve 8*i + 20 = 4*i - 3*w, -3*i - 15 = t*w for i.
-5
Let d be -2 + (20/(-5) - 38). Let l = d - -68. Let v be l/60 - 16/(-10). Solve 3*r + v*h = -3, -2*r + 6 - 27 = -5*h for r.
-3
Suppose 7*k = 2*k + 40. Let j be ((-2)/k)/((-4)/48). Suppose -3*h - 5 + 2 = j*o, -3*h = 2*o. Solve -3 = -5*x - p, 0 = -x + h*x + p - 3 for x.
0
Suppose -6*j + 47 = -4*j - 5*p, -2*j + 41 = -3*p. Suppose j*n = 4*n + 84. Solve -t = 4*u + n, -3*u + 3*t + 7 = 1 for u.
-1
Let h = -11339 - -11409. Solve -5*j + 5*b - h = -75, -3*j + 4 = -4*b for j.
0
Let d = 2 + -2. Suppose 54 = -228*y + 237*y. Suppose 8 = -2*p + y, 0 = 4*k - 4*p - 16. Solve 0 = k*n + 2*i - 3, n + 5*i + d = 1 for n.
1
Let b be 7/(((-5)/6)/(90/(-378))). Solve -b*u - 7*p = -5*p + 6, -2*u = -p for u.
-1
Let k(d) = 11*d - 1. Let o be k(1). Let c(n) = 4*n + 64. Let i be c(-21). Let q(r) = 5*r + 130. Let u be q(i). Solve -t + 2*v + o = -v, t + 5*v + u = 0 for t.
-5
Let a be (-1880)/(-36) - (-1 - 11/(-9)). Suppose 5*m = -4*l + a, 0 = l + 2*l - 2*m - 39. Let d be 4*1 - (9 - 10). Solve -4*y = 4, d*g + l = -y - 2*y for g.
-2
Let q be 503/3521 - (-4)/14*73. Solve 3*t = -3*o, -q*t = 3*o - 24*t - 18 for o.
3
Suppose -3*c - 5*c + 16 = 0. Let w(z) = 2*z**3 - 12*z**2 + 5. Let l be w(6). Suppose 2*b + b = 0, 0 = g + 2*b - 12. Solve -l = 4*o - 5*o, m = c*o - g for m.
-2
Suppose 4*b - 83 = -3*n, -2*n + 8 + 34 = 2*b. Suppose -12 = -8*s + b. Solve -s*y = -2*d - 3 + 1, 2*d + 5*y + 20 = 0 for d.
-5
Let g = 4671 + -4665. Solve -4*p - 5*k = -6 + 34, 5*p = 4*k + g for p.
-2
Let o be 24 + ((-11)/(-22) - (-6)/4). Suppose 0 = 2*y + 3*j + j - o, -5*y - j + 20 = 0. Solve -3*m = -2*a + 16, 0*a + 2*a + 8 = -y*m for m.
-4
Let p be (-216)/(-648) - 5/(-3)*1. Solve 0 = -p*h + 2*a - 7*a + 10, 5*h + 4*a - 8 = 0 for h.
0
Suppose -a = -44*c + 39*c + 26, 2*c = a + 11. Solve 9 = 2*j + 110*w - 111*w, -w = c*j - 19 for j.
4
Let d(i) be the third derivative of -i**5/60 - 11*i**4/24 + 10*i**2. Let k = -36 + 25. Let q be d(k). Solve -20 = -2*p - 2*p, -5*z + 2*p = q for z.
2
Let b = -207 - -207. Suppose 6 + b = y - n, 2*y - n = 17. Solve 12 = l + 3*c, -3*l - 9 - y = -5*c for l.
0
Suppose -7*a - 11 = -41*a + 193. Solve -3*q - 3 = -3*i, i - 7 = -5*q + a for q.
2
Let m(c) = c**3 + 27*c**2 - 125*c - 4370. Let u be m(-25). Solve -4*y - 5 = u*w + 27, 5*y = 2*w - 7 for w.
-4
Let w(n) = n**2 - 24*n + 108. Let g be w(6). Suppose 20 = 4*s - 4*q, g = 5*s + 11*q - 10*q - 13. Solve s*k + 0*k = -j - 9, j + 5*k = -13 for j.
-3
Let v = 200 + -206. Let b(z) = 9*z + 58. Let y be b(v). Solve -3*t = a - y, 0*t + 4*a = t + 16 for t.
0
Let i = 298 + -295. Suppose h - 1 = q, -4*h + 4 = -i*q - 3. Solve -28 = 5*k + z, -2 = -2*k - 0*z + h*z for k.
-5
Suppose 21*m = 20*m - 4*h - 16, -4*h - 16 = 5*m. Solve -v = -4*b + 13, -3*b + m*v = 5*v - 4 for b.
3
Suppose 0 = 3*z + c + 3, -27*c = 2*z - 28*c - 3. Solve -5*w = -z*n + n + 15, -3*n = 4*w + 12 for w.
-3
Let j be 138/184*20/3. Suppose -y + 3*k = -18, 2*y - 4*y = j*k + 19. Solve -q = 5*u + 2*q - y, -4*u = -4*q - 28 for u.
3
Suppose -143*y = -140*y - 2*g - 111, -5*g = -y + 50. Solve y = 5*u - 5*r, 3*u - 8 = r + 5 for u.
3
Let z be 16 - 1 - (-12 - -24). Solve -z*f = -5*m + 30, -3*f - f - 3*m = 11 for f.
-5
Suppose 3*i = -d - 7, 34*d - 36*d = -2*i - 10. Solve -2*y = -2*j + 4, 2*j + d*j = -5*y - 19 for j.
-1
Let p(d) = 49*d - 3812. Let r be p(78). Solve -3*k - r = -5*z - 1, -5*z = 0 for k.
-3
Let x(j) = -j**2 - 21*j + 23. Let i be x(-22). Let d be (i/6 - (-150)/(-36))*-1. Suppose 162 = d*a + 138. Solve 8*l = 3*c + 3*l + 15, -3*c + 2*l = a for c.
0
Let o(l) = l**2 - 12*l + 34. Let y = 709 + -699. Let s be o(y). Solve 2*g - 23 = 3*i, g + 2*i = 2*g - s for g.
4
Let z be (-805)/(-230)*((1 - 4) + (-216)/(-56)). Solve 4*g = -5*o + 7, -g + 2*g - z = 0 for o.
-1
Let v be 1/(2/4564*7). Let s = 330 - v. Solve -m + 8 = 2*j, 8 = 5*m + j + s for m.
0
Let p be (4 - 11 - -5)*(-5)/2. Suppose p*w = w + 16. Solve 5*f = w*g + 28, 3*g + 2*f = 2*g + 6 for g.
-2
Let u = -177 + 187. Solve h + m = -3*h, -3*m - u = 2*h for h.
1
Let u = -70 + 56. Let d(k) = 2*k + 2*k - 2*k - 5*k - 40. Let p be d(u). Solve 13 = -s - 4*f, -p*s - s + 3*f + 21 = 0 for s.
3
Let v(t) = -t**2 - 46*t + 722. Let j be v(-58). Solve -4*u + j = 3*c, -4*u - 9 = -7*u + 3*c for u.
5
Let o = 10 + -8. Suppose 4*d + r = -0*r + 6, -r - 6 = -o*d. Suppose -3*v - d + 8 = 0. Solve 0 = 4*x - 3*x + v*b - 1, -2*x = -5*b - 2 for x.
1
Let l be -1*(4 - (-2 + 6)). Solve -q = 5*i - 2, l = -16*i + 21*i - 4*q - 17 for i.
1
Suppose 5*x - 2*f - f + 36 = 0, -4*f + 24 = -4*x. Let a be (2 - 80/12)/(3/(-9)). Let q = a + x. Solve c = 5*u + 5, -c + q = -5*u + 2*u for u.
0
Suppose 107 = 6*z + 89. Solve -z*y - 5*u = 29, 0 = 3*y - u - 3 + 8 for y.
-3
Let l(o) = 7*o - 5. Let i(v) = 31*v - 20. Let j(z) = -2*i(z) + 9*l(z). Suppose 2*d - 19 = -1. Let w be j(d). Solve 12 = w*s + m, 5*s + m - 14 = 2 for s.
4
Let j be (4 + -2)*6/(-4). Let m(f) = -f**3 + 23*f**2 - 25*f + 64. Let v be m(22). Let d be (-1)/(-2) + j/v. Solve 0 = -5*w + d*p, 0*w + 4*p = 4*w for w.
0
Let n be (3/(-2))/(((-1584)/32)/33). Solve -10 = -5*v - 3*i, -i - 29 = -5*v + n for v.
5
Let w be 1 + 0/1 - 15*(-22)/330. Solve r + 1 = -u, w*u = r + 10 - 0 for u.
3
Let v(q) = -q**2 + 6*q - 6. Let w be v(6). Let a be (10/w + 3)*6. Suppose -20 = -4*y - a. Solve 0 = 2*z - c - 5 - 0, y*z = 5*c + 11 for z.
2
Suppose -b + 6 = b. Suppose 0 = 9*f + b - 12. Solve k + f = 3*n, 5*n - 10 - 1 = -3*k for n.
1
Let o be 3/(-4) + (-9191)/(-52). Suppose -101*v + o = -90*v. Solve 14 = -3*i + 5*u, -i + 5*u = i + v for i.
2
Suppose -6*o + 123 - 27 = 0. Let u = 24 - o. Suppose 10*y = u*y. Solve -x = y, 2*k = -4*x - 0 + 4 for k.
2
Let z = 441 - 737. Let h = 300 + z. Solve -2*d + 3*x = 13, h*d + x + x = 14 for d.
1
Let v(x) = x**2 - 31*x + 7. Let n be v(31). Let a be 3/(8 - (14 - n)). Solve s = 5, -3*s = a*p - 7*s + 26 for p.
-2
Suppose -2 = 2*z - 18. Suppose 4*u - 52 = -2*p + 70, -151 = -5*u - 2*p. Suppose -u = -z*n + 11. Solve 0 = -3*t + 1 + 2, 0 = 4*x + n*t - 1 for x.
-1
Let b(c) = -16*c + 31. Let y be b(-5). Suppose 39 - 98 = -2*t - 5*u, 4*t - y = -3*u. Solve 4*h = 3*h + 5*p - 19, t = -3*h + 5*p for h.
-4
Let i be (13/((-390)/225))/(6/(-52)). Solve z + 8 = s, 2*s = -3*z - 64 + i for s.
5
Suppose -k - 2*i + 3 = 0, -15 = -5*k + 2*i + 12. Suppose 4*v + 20 = c, 3*c - 5*v = -0*v + 74. Solve 0 = -3*j + 3*p + 7 - 1, j + k*p = -c for j.
-3
Suppose -34 = t - 89. Suppose o - 12*o + t = 0. Solve u + o = k, 4*k - 8*k = u for u.
-4
Let h be (-9)/45 - 136/(-5). Let n = 35 - h. Suppose -2*s - 60 = -n*s. Solve -v - 15 = -5*v + t, 2*t = s for v.
5
Let c(i) = 2*i**2 - 9*i - 20. Let b = 130 + -132. Let r be c(b). Suppose 4*g - 5 = 7. Solve 3*y - r = 0, -g*x + 2*y + 3*y - 16 = 0 for x.
-2
Let h = 894 - 875. Let t be h/10 - 6*8/(-480). Solve 0 = -v, 0 = -3*z - t*v - 8 - 4 for z.
-4
Suppose 2*i - 3*i = -2*g + 231, -3*i - 580 = -5*g. Let j = -111 + g. Solve 9 = r - j*w, r + 18 = 5*r - 2*w for r.
3
Let d(s) = s**2 - 6*s + 4. Let f be d(4). Let h be (-10)/(-6) - f/12. Suppose -217 + 70 = -7*n. Solve -3*w - 4*y = 27, h - n = 5*w - 2*y for w.
-5
Suppose -1924*o = -1890*o - 136. Solve 5*d - z = -o*z + 13, -d = 4*z - 6 for d.
2
Let u(n) = -n**2 + 18*n - 45. Let s = 179 + -176. Let w be u(s). Solve 5*t + 13 = b - 3, w = 3*b + 12 for t.
-4
Let w = 54 - 38. Suppose 17*k = 230 + 399. Solve 3*c + w = -5*j, -5*j + 6 = -2*c + k for j.
-5
Let n = -16499 - -16502. Solve -n*l = -3*v, 44*v = 43*v + 3*l - 8 for v.
4
Let k = 85 + 131. Suppose 0 = -4*t + 288 - k. Solve -3*a = -3*l - 4*a - 14, 3*a = -l - t for l.
-3
Suppose 35*m - 36 = 32*m. Suppose -2*q = -m*q + 260. Solve -2*t + q = 4*w, -52 = -5*t - 4*w - 11 for t.
5
Suppose 5*a + 20 = 6*d - 4*d, 5*d - 5*a = 20. Let r(f) = f**3 + 178*f**2 + 5113*f + 52. Let m be r(-36). Solve d = 2*v + 5*h + 15, 4*v - 5*h + m = -h for v.
-5
Let o be ((-4)/(-3))/((-2)/(-3)). Suppose 3*r = -f + 49, -3*f - 4*r + 2*r = -126. Let s = f + -39. Solve -3*w - s = 4*g + o*w, -4 = -g + 3*w for g.
1
Suppose 4*b - 8 = 4*c, -5*b + 52*c + 10 = 54*c. Solve q + 4*y = 1, -b*y + 38 = q + 39 for q.
-3
Let r(i) = -2*i - 2. Let a be r(3). Let y = -3 - a. Let k be 21/49 + 75/21. Solve -4*l + k + 0 = 0, -y*s = 5*l - 5 for s.
0
Suppose -121 = -7