for y.
4
Let d(h) = 26*h + 1. Let f be d(10). Let n = f - 251. Solve -3*o - 5*a + n = -8*o, -4*o - 5*a = 8 for o.
-2
Let u(v) = 14*v**2 + 3*v - 1. Let i be u(1). Suppose 3*t = 7*t - i. Suppose 5*y - 3*y = -t, -2*y = -2*j + 54. Solve -j = -5*c + 5*w, -9 = 2*c - 3*c + 3*w for c.
3
Suppose 2 = 5*b + j, -20*b + 24*b + 8 = 4*j. Solve h + 3*y - 1 = b, 12*h - 9*h + 5*y - 7 = 0 for h.
4
Let q = 34944 + -34942. Solve -j - 7 = k, 74 = -q*k - 5*j + 42 for k.
-1
Let x(m) = 11*m**2 + m - 2. Let u be x(1). Let o(c) = -26 - 27 - 26 - c + 73. Let h be o(-9). Solve -2*w + 7*w - u = 5*b, -h*b + 34 = 5*w for w.
5
Let r = 3 + 12. Suppose -5*f = -2*q + 34, 0 = -5*q - 11*f - 59 + 3. Solve 0*c = -c + 4*k + r, -3*c + 3 = q*k for c.
3
Suppose 2*w - n - 549 = 0, n + 537 = 2*w - 4*n. Let v = -266 + w. Solve -2*o = v, 5*k - 27 = 6*k + 5*o for k.
-2
Let g be ((-192)/(-1200))/((-2)/(-25)). Solve 0 = g*l - 5*o - 35, 2*l + 15 = 7*l + 2*o for l.
5
Let r be (-4)/(-5) - (-172)/10. Suppose 3*u = r - 3. Solve 14 = -5*n - 2*o, 19 = -n - 0*n + u*o for n.
-4
Let i be (2 - 4) + 18 + 5 + (-10 - -6). Solve -4*a = -q - i, 3*q + a - 1 = -0 for q.
-1
Suppose -10*y = -2*y - 128. Let w = y + 3. Let s = -14 + w. Solve 0 = s*f - m + 3*m - 22, 4*f + 2*m = 18 for f.
4
Let i be ((-25)/10)/((-1)/2). Suppose 1 = -2*g - i*r + 8, 0 = -3*g + 4*r + 22. Let b be 2 - (3/g)/((-3)/108). Solve o - 5 = 0, c = -3*o - 0 + b for c.
5
Suppose 9*w = -1480 + 58. Let r = 160 + w. Solve -4*c = r*l - 2, l + 3*l + 6 = 2*c for l.
-1
Suppose -54*r = -34 + 34. Let v be (-4)/(-2) - (0 - -2). Solve 0*p - 2*p + 3*t - 17 = r, t - 5 = v for p.
-1
Suppose -5*l + 4*y + 9 = 0, -1 + 28 = 3*l + 3*y. Suppose 4*w - 14 = -a, -65*w + 67*w = 4*a - 20. Solve 0 = -b + 3*d - l, -2*d + 6*d = -w*b for b.
-2
Let x = 4142 - 4139. Suppose 5*q - 4*b - 13 - 25 = 0, 2*q - 3*b - 18 = 0. Let m = 8 - q. Solve -k - 3 = 2*a, -3*a + m*k - x = 5 for a.
-2
Suppose 10*j + 1058 = -42. Let i = -69 - j. Let l be ((-5)/5)/1 + 5 + 1. Solve i = -5*u - f + 5*f, 21 = -l*u - f for u.
-5
Suppose -146 = -12*f - 13*f - 21. Solve 26 = -2*i - 4*n + 18, f*i + 4*n + 2 = 0 for i.
2
Let k(r) = 3*r**2 + 41*r + 29. Let i = -89 + 76. Let y be k(i). Let b = 8 - 6. Solve b*v + 2*v - 17 = -5*a, 2*v - 3*a = y for v.
3
Let i be (-4*18/24)/(-1). Solve 12 = 6*j - 4*j + i*m, 8 = -2*j + 2*m for j.
0
Let q be (-3 + (-16)/12*3)*(-6)/21. Solve 0 = q*o + 3*v - 2, o - 3*v = -4*o + 26 for o.
4
Let t(l) be the first derivative of -l**4/4 + 17*l**3/3 + 17*l**2/2 + 18*l - 21. Let h be t(18). Solve d + 5*q - 10 = 0, h = -2*d + d + 4*q - 17 for d.
-5
Suppose -13*o + 42*o = 57 + 1. Solve -t + o = 2*r, -8*r - t = -4*r - 6 for r.
2
Suppose b - 298 = -0*z + 4*z, 5*z + 3*b = -381. Let x = -67 - z. Solve 2 = -j + 5*m - x, m = -3*j + 2 for j.
0
Let q(a) = a - 3. Let c be q(8). Let h = 1019 + -1015. Solve -n = h*w + 21, 0 = 5*n - c*w + 9 - 4 for n.
-5
Let t = -12847 + 12849. Solve 3*d + 8 = -2*r, t = -2*d - 6 for r.
2
Suppose -3*y - 2*x + 3 = 0, -3*y - 89 = 13*x - 26. Solve y*m + 35 = -5*w, 3*m - 5*m - 20 = 5*w for m.
-5
Let z(j) = -j**2 + 17*j - 72. Let v be z(8). Solve 4*b + 2*k + 21 - 13 = v, 0 = b + 2*k - 1 for b.
-3
Let a = 21 + 3. Suppose n + a = 14. Let x be 9/6 + 2 - (-5)/n. Solve 5*h + 5*d - 8 = -28, d + x = 0 for h.
-1
Let n be (-3 - -4)/((-4)/6 + 5/6). Solve 2*k + w - 7 = -n, 4*k = -4*w for k.
1
Suppose -4*y + 4*i = -100, y - 2*i = 14 + 9. Suppose -24 = y*s - 30*s. Suppose 3*p = -s*p + 22. Solve 2*v + 11 = 5*r, v + 11 = 3*r + p*v for r.
3
Let s = 162 + -162. Suppose -5*u - 20 = -s*u - 4*a, -5 = -a. Solve u = 2*i - 3*i - 5, 0 = -q + 3*i + 13 for q.
-2
Suppose -9916 = 13*j - 9968. Solve -2*b = -v + 2, 18*v = -4*b + 16*v - j for b.
-1
Let d be -1 + 0 - 5 - -4 - -4. Suppose -5*b = 2*t + d + 2, 3*b = t - 9. Solve -4*f - 27 = 5*k, -4*f = t*k - f + 18 for k.
-3
Suppose 0 = 4*t - 3*r - 16, 33*t = 37*t + 2*r - 16. Solve -2*v + v + t = 4*d, -3 = -3*v - 3*d for v.
0
Let i(u) = -u + 7. Let k be i(4). Suppose 6*x = -291 - 45. Let c = 60 + x. Solve p - 1 - 3 = k*m, c*m - 2*p + 8 = 0 for m.
0
Let v(o) = o**3 + 5*o**2 + 2*o + 12. Let k be v(-4). Suppose 3*g + 19*q = k*q + 6, 4*q + 3 = 5*g. Solve 0 = -g*r - 6, -13 = -2*l + 5*l - r for l.
-5
Let o be 0*(-2)/(-4)*-1. Suppose 4*z - 4 = 12. Suppose -7*m + 10*m = 2*f - 6, 3*m - 36 = -5*f. Solve o = -y - 0*y + 3*v + 3, z*v + f = 2*y for y.
3
Suppose 0 = n - 2*u - 10, 0*n - 2*u - 10 = n. Solve q - h = n, 2*h = -2*q - 20 + 16 for q.
-1
Suppose -3*g - 31 = -4*v, -5*g = 2*v - 3*v + 12. Let j(n) = 4*n - 17. Let b be j(v). Let o = 138 - 132. Solve -4*m + o*i - i = b, i - 7 = -4*m for m.
1
Let p be (-153)/(-4) + 3/4. Let s be 126/(-84)*(-20)/6. Solve -s*h + 4*i - 3 = -p, -i = h for h.
4
Let d be 16*((-56)/(-32))/7 - -6. Solve o + o + 8 = 2*a, 2*a - 3*o - d = 0 for a.
2
Let c(a) = -a**2 - 41*a + 144. Let j be c(-44). Suppose q + j = 14. Solve -z - l + 4*l - q = 0, 2*z - 3*l = 2 for z.
4
Let p be 6/(12/10)*(-434)/(-10). Suppose -16*v + p = 15*v. Solve 4*z = 3*d - v, 2*z + d - 4 = 5 for z.
2
Let h = -10 + 2. Let b(k) = k**2 + 8*k - 10. Let v(u) = u**2 + 8*u - 9. Let m(j) = 6*b(j) - 7*v(j). Let c be m(h). Solve 2*g + c = l + 2, 4*l - 16 = 2*g for g.
2
Let u(y) = 666*y + 1334. Let p be u(-2). Solve -p*b + b - 6 = o, -o + 6 = -2*b for b.
-4
Let r(m) be the third derivative of m**5/60 - m**4/24 - m**3/3 + 22*m**2. Let u be r(-2). Let t be 1/(65/15 - u). Solve -b = -t*y, -y = -b - 0*b for y.
0
Let n(f) = -8*f + 142. Let r be n(17). Suppose -z + 8 = -2*z - 4*u, -4*u = 4*z + 8. Let k be (z + -1)*(-15)/3. Solve -m = 5*q + r - 27, -q - m = -k for q.
4
Let l = 249 - 233. Suppose 0 = -7*u + l*u - 18. Solve u*k + 2 = -2*n, 5*k - 15 - 12 = 3*n for k.
3
Suppose k - 5*d - 47 = -3*k, -5*k = d - 37. Solve 0 = -2*l + 2*y - k, -9*l + 8*l = 2*y + 1 for l.
-3
Let f(s) = 358*s + 21. Let m be f(0). Solve -o - 8 = 5*p + 4, -m = -4*o + 3*p for o.
3
Let r be (-6 - (8/1 - 22)) + -6. Solve 2*p + r*k + 11 = 7, 5*p = 5*k + 10 for p.
0
Suppose -121 = -4*u + s - 105, 4*u = -3*s. Solve -6 = 2*y, u*i + 4*y - 10 = -28 for i.
-2
Let j(x) = -x**3 + 6*x**2 - 2*x - 7. Let k be j(4). Let f = 20 - k. Let a be 0 + (-24)/((-12)/4). Solve -3*o = -4*d - a*o, 0 = -f*d + o - 19 for d.
-5
Let d be 460/276*(-36)/(-2). Solve 0 = -3*y - 3*b + 15, 5*y + 7 = -4*b + d for y.
3
Let n(p) = 31*p**2 + 430*p - 44. Let b be n(-14). Solve -12 = k - 3*m, -5*m + 10 = -k - b for k.
3
Suppose 4*w - 96 = 48. Let i(r) = -r**2 - 12*r + 21. Let v be i(-11). Let p = w - v. Solve 2*q + 0*q + p*s = 12, -3*s + 14 = -q for q.
-2
Let i = -10061 + 10066. Solve -i*q = 4*l - 12, -55*l + 51*l + 5*q + 12 = 0 for l.
3
Suppose -1272 = -3*u - 1263. Solve -u*y - 3*f = 3, 5*f + 0 = 4*y - 5 for y.
0
Let r(g) = -6*g - 22. Let p be r(-4). Suppose -4*c = -p*v - 8, -v + 6*v = 4*c - 2. Solve 4*f - 3*m = -1, 0*f + v*f - 4*m = -8 for f.
2
Let i be (1 + -3)*(-105)/14. Let s be 2 + 3*(-10)/i. Solve a + 3*n - n = -1, -5*n = s for a.
-1
Suppose y = 3*m - m - 69, 4*y = -5*m + 192. Let g be (m/(-63))/((-8)/28). Solve -r = 2*h + 3, -g*h = -2*r + 4*r + 8 for h.
1
Suppose 0 = -12*j + 1181 + 67. Let b be (-6 - j/(-16))*28. Solve 0 = 2*m - 5*q, -2*m + 4*q = 6*q + b for m.
-5
Let i be 2 + -1 + 9/(4 - 1). Let n be 3*(3 - (-2 + i)). Solve z + q - 3*q + 3 = 0, n*q - 3 = 0 for z.
-1
Suppose 5*v - 29*v = 120. Let x be 2*((-59)/(-10) + 2/v). Solve -g = 3*z + x, 4*z + 5 + 3 = -3*g for z.
-5
Suppose -33*m = -22*m + 5698. Let f = 521 + m. Solve 0*g - 2*g - 4*o = 16, f*g + 4 = -o for g.
0
Suppose -107*i = -134*i + 79 + 29. Solve c + 5 = -5*x, i*x + 4*c + 9 = -11 for x.
0
Suppose -2*h - 177 = h - 4*o, -o + 60 = -h. Let k = h - -88. Let u be (k/(-15))/((-5)/6). Solve 2*i - d = -8, 2*i + 4*d + 0 - u = 0 for i.
-3
Let u be ((-4)/10 + 0)/(20/(-550)). Solve -5*g - u*z + 32 = -15*z, 12 = -4*z for g.
4
Suppose 140 = 7*i + 39*i - 11*i. Solve i*p - 23 = -3*m, 0 = 3*m - p - 10 - 3 for m.
5
Suppose 0 = 3*d - 24, -5*j - 4*d - 1579 = -1631. Let m be (2/4)/(3/(-24)). Let q = -2 - m. Solve 2*v - 10 = -j*u, q = v + v - 4*u for v.
3
Let v = -72 + 185. Suppose -10*m - v = -333. Solve -5*s - 4*n + 5*n = -14, -5*n = -s + m for s.
2
Suppose 7*o = 13*o - 36. Let h(l) = 2*l - 8. Let s be h(o). Suppose -s*a = 4*p - 28, 4*a + 12 = -4*p + 8*p. Solve a*f + 3*c = -2*f - 7, -f = 5*c + 6 for f.
-1
Suppose 34 = -