 a for y.
2
Let j be -23*1*(-1)/1. Suppose -1 = -6*n + j. Solve n*r - 2*p - 2 = -0*r, 0 = 4*r + 3*p + 13 for r.
-1
Let v be ((-10)/(-25))/2 + 9/5. Solve -v*k = 2*o - 6*o + 10, -4*k - o = 11 for k.
-3
Suppose -5*h + 10 = -2*t - 2, 2*h - 9 = 5*t. Solve 0 = 3*q - 2*q + 5*i - 19, -4*i = h*q - 20 for q.
4
Suppose -9 = 2*z - 5*j, j = -2*z - 2*z - 7. Let b(k) = k**2 + 0 + 0*k**2 + 1. Let u be b(z). Solve l + 4*p + 1 = 5, u*p = -4*l + 5 for l.
0
Let h(u) = u**3 - u**2 - 8*u + 3. Let l be h(0). Solve -11 = -2*j - l*x, -4*x - 2 = 2*j - 14 for j.
4
Suppose -5*r - 7 = -3*g, 47*g - r + 21 = 52*g. Solve 2 - g = p + 3*m, -2*p = 2*m + 4 for p.
-2
Let c = 286 + -264. Solve 38 = -4*f + 4*s + 2, -3*f + 2*s = c for f.
-4
Suppose 4*i + f = 43, -i = 2*i - 2*f - 35. Let d = i - 9. Let s = -2 - -4. Solve -d*l - s*b = 0, -2*l + b = -2*b - 15 for l.
3
Let r(p) = p**3 + 194*p**2 - 5 - 10 - 180*p**2 + 8*p - 24*p. Let i be r(-15). Solve 31 = -4*w - 5*j + 1, -2*w + 2*j - 6 = i for w.
-5
Let m(h) = h - 9. Suppose -3*v + 4*b - 33 = -83, -4*b - 70 = -5*v. Let g be m(v). Solve 3*z = 2*p - 0 + g, 3*z + 14 = -p for z.
-3
Suppose -5*b = -0*b + 3*z - 24, -z = -b. Solve -b*w = 2*u + 10, -2*w - 2*w - 19 = -3*u for w.
-4
Let r be 9/4 + (-9)/(-12). Suppose -4*d + 2*d + 12 = 0. Suppose -d*h + 2*n + 76 = -2*h, 2*h - 2*n = 42. Solve -5*w - 4*z = -13, -r*w + 3*z + h + 7 = 0 for w.
5
Let h = -251 + 127. Let r = h - -129. Solve 4 = -3*y + 2*v, -r*y - 22 + 6 = -v for y.
-4
Suppose -v + 0*v = -7. Let l be (v + -7)/(2/1). Solve 3*q + 5*f - 28 = l, -2*f = 4*q - 3*q - 11 for q.
1
Let k(d) = 20*d - 125. Let s be k(7). Solve 0*n - 5*n - s = 0, -5*n - 35 = 4*h for h.
-5
Let t be (6 + -2 - -1) + 0 + -2. Solve -5*f = -3*g - 16, -2*g + 6 - 4 = t*f for f.
2
Let t(n) = 5*n**2 + n + 4. Let h be t(-2). Let a be (0 + (-2)/6)*-15. Suppose 3*x = a*x - 10. Solve 0 = -x*z + 2*q + 17, -2*z - 4*q + q + h = 0 for z.
5
Let q be (((-54)/8)/(-3))/(513/1368). Solve 0*r + r + q = 3*p, -5*r = -p + 16 for p.
1
Suppose -12 = 5*h - 7*h. Suppose -n = 3*n - h*n. Solve 4*b + 7 = y - n*b, -2*b = -4*y for y.
-1
Suppose -18*c = -3*c - 120. Solve -6 = 2*l + 3*g, 3*l = -0*g - 4*g - c for l.
0
Let b be -8 - (-5)/((-20)/(-32)). Solve 4*r - 4*u = -u - 2, b = -2*r - u + 4 for r.
1
Let n = -9 + 6. Let g be (1 + n)*3*-1. Suppose r + 3*o + 7 = 0, -r = -g*r + o + 13. Solve 0 = -4*i - t + 4 - 12, 0 = 3*i - r*t + 6 for i.
-2
Suppose 12*s = 17*s + 2*v - 17, 25 = s - 5*v. Solve n - s*h + 3*h = -1, 5*n + 10 = 5*h for n.
-3
Let j(s) = -79*s**2 - 1. Let b be j(-1). Let x be (((-18)/(-4))/(-3))/(15/b). Solve -4*n = -2*n - x, 5*n = -2*p + 12 for p.
-4
Let l be ((-143)/(-13) + -11)/1. Solve -3*k - 15*n - 16 = -11*n, l = 4*k - n + 15 for k.
-4
Suppose 0 = g - 2. Let p be (5 - 48/9) + 13/3. Solve -s + 6 = -3*n + 4*n, -g*s = -p*n for s.
4
Suppose -2167*r + 2170*r = 12. Solve -3*t + 2*n = -3*n - 20, -n + r = t for t.
5
Let x be (-3 - -8 - 8)/(21/(-28)). Solve p = -2*u + 15, 3*p - 11 = x for u.
5
Let n(z) be the third derivative of z**4/24 + 5*z**3/3 - 12*z**2. Let q be n(-6). Solve -5*g - 4 + 14 = v, 4*g - 24 = -q*v for v.
5
Let f be (0/2 - 14)*102/(-357). Let h(d) = -d - 2. Let a be h(-2). Suppose a = -5*j + 15, -5*u + 3 + 5 = j. Solve -3*r = f*i - 7, 4*i = 2*r + 1 + u for r.
1
Let a be (-11)/(-2)*(-1 - 1). Let s = a + 15. Suppose -s*i = -3*f + f, 0 = 2*i. Solve f = -2*x - 2*o + 2, 4*x = 3*x - 3*o + 3 for x.
0
Let c = -3 + 3. Suppose 3*x - 2*x - 2*y = -5, 2*x - 5*y + 14 = c. Suppose -16 = x*i - 79. Solve -u = -5*w - i, 0*w - 2*w = -2*u + 10 for u.
1
Suppose c - 5 = -2. Let h be (0 + c)*(-1)/(-1). Suppose 0 = 10*u - 15*u + 3*g + 14, -3*g = -3*u + 6. Solve -5*y - h*s + 10 = -2, s = y - u for y.
3
Let t be 9 - (0 + -3)*1. Solve 4 = -w - 5*d, 3*w + 0*w - d + t = 0 for w.
-4
Let h be 2 + -3 + -2*9. Let x = -12 - h. Let k be x + (-1)/(-3)*3. Solve 2*r = 3*o + 8, k = -2*r + 4*r - 2*o for r.
4
Let l be 385/25 + 12/20. Suppose 0 = l*a - 2*a - 28. Solve -3*o - 2*o - a*i = 0, 0 = -2*i for o.
0
Let v = 87 - 80. Solve -5*r + 3*x = 12, 3*x - v*x = -r + 1 for r.
-3
Let z be (8/(-14))/((-6)/21). Suppose 0 = t + t - z. Solve -3*b - 3*f = -3, -3*f = b - 7*f - t for b.
1
Let a(u) = u + 15. Let p be a(-11). Suppose 3 = -3*n, -89 = 2*x - 7*x + 4*n. Let o = 18 - x. Solve p*d = -3*l + 8 + o, -16 = l - 5*d for l.
-1
Let x(m) = -m**3 - 16*m**2 - 11*m + 22. Let b be x(-15). Let f = 40 + b. Solve l - f*i - 13 = 0, l + 2*l - 2*i = 19 for l.
3
Let p be 3 + 1/(-3)*0. Let l be 46/(-14) + p - 90/(-21). Solve 3*i - 12 = 3*h - 0*i, -2*h = -i + l for h.
0
Let q be (-574)/(-147) + 3 + (-4)/(-42). Solve q = -5*z + 4*y + 26, 2 = 2*z + 4*y for z.
3
Let t(k) = -3*k**2 + 4 - 32*k - 2*k**3 + 37*k - 3*k**3 + 4*k**3. Let g be t(-4). Suppose g = -2*p + 4 + 4. Solve -2*c = x, 18 = -3*x - c + p*c for x.
-4
Let d = 1404 - 1400. Solve 0 = -x + z + 7, 4 = d*x + 5*z - 6 for x.
5
Let x = -497 - -500. Solve -2*p - f + 2 = -x*p, 5*f = -p + 4 for p.
-1
Let r be 8/2 - (7 + 49/(-7)). Solve h - 5*c = -6, -3*h + h - r*c = -16 for h.
4
Let j = 29 + -27. Solve -j*u = 3*c - 4*u, -2*c - 3*u = 0 for c.
0
Suppose -v = -5, 48 = -18*a + 20*a - 2*v. Solve 2*q - a = 6*q - 5*g, -5*q = -5*g + 30 for q.
-1
Suppose -33 - 21 = 3*w. Let c be (-1)/2 - 9/w. Let q = 17 + -15. Solve -3*r - q*n + 10 = c, r + n + 2 - 5 = 0 for r.
4
Let o be 1 + -3 - (-44)/4. Let r = o - 10. Let b be r*(-1)/((-3)/(-12)). Solve -2*j + 0*f - 6 = b*f, j + 3*f = -3 for j.
-3
Let a = 4 + -16. Let v be 1/((-4)/(0 + a)). Solve -5*l - 20 = -5*i, -4*l + 6 + 13 = v*i for i.
5
Let z(h) = -2*h**3 + 57*h**2 - 28*h + 2. Let v be z(28). Solve -4*n = v*u - 6, -u - u + 7 = 5*n for u.
1
Let s = -28 + 35. Suppose h - 4*q = -3*q + 6, -h + 2*q + s = 0. Solve -8*u + 4*u = -a - 9, -a = 3*u - h for u.
2
Suppose 3*d - 1 = 14. Solve 0 = -b + 3*z - 4 - 0, d*z = 10 for b.
2
Suppose y + 2 - 37 = 0. Solve -5*k - y = -5*f, -5*f + 3*k + 25 = -6 for f.
5
Suppose -4*g + 189 = 165. Solve g = -3*y - 5*i + 3, 4*i = -y - 8 for y.
4
Suppose 18 = 3*a - 4*u, 14*u + 3 = 13*u. Solve -g - 5 = 3*m, -g - 3 - a = -5*m for m.
0
Suppose -4*u + 5*j = 163, -4*j = u + 4*u + 173. Let p = -33 - u. Solve 10 = -3*x - 3*f + 4, 4*f - p = 0 for x.
-3
Suppose -50 = -9*o + 7*o. Suppose 3*p - 2*g - 15 = -5*g, 3*p - o = 2*g. Solve 0 = 2*m - 4*b - 10, -m + 2*b - 9 = p*b for m.
1
Let m(w) = -4*w**2 - 7 - 1 - 3*w**3 + 2*w**3 + 3*w. Let v = 78 - 83. Let z be m(v). Solve -l + 1 = -y - y, -4*l = z*y + 26 for y.
-3
Suppose -3*l = -5*l + 8. Let g = l - -1. Suppose -20 = -5*n - g. Solve 2*d = d - c, n*d - 21 = 4*c for d.
3
Suppose 0 = 5*s - 3*s - 12*s. Let f be (-2 + 2)/(s + 2). Suppose -4*g + 20 = -4. Solve 4*i = 8, w - g*w - 3*i + 6 = f for w.
0
Suppose 167*l + 40 = 169*l. Let g(c) = 2*c - 9. Let d be g(7). Solve d*r = -5*s + l, -3*r = -4*s - r - 8 for s.
0
Let d be ((-1)/3)/(13/(-117)). Suppose -d*y - 17 = -5*w, -4*w - 2*y + 4*y + 14 = 0. Solve -4 = 5*v + 4*m - 29, 2*v = w*m + 10 for v.
5
Suppose 6 = -5*c + 3*v + 23, -4*c - 4*v = -20. Solve -3*s + c = -y, 5*s - 3*s = -2*y + 16 for y.
5
Suppose 14*t = -131 + 187. Solve t*b - 3 = -3*r, 0*b + 4*b + 5 = 5*r for b.
0
Let a(i) = -6*i - 3. Let s(v) = -v**3 - 9*v**2 - 7*v - 5. Let r be s(-8). Let g = 12 + r. Let w be a(g). Solve -5*z = 4*h - z + 8, -w*h = 4*z + 6 for h.
-2
Suppose 7*z = 272 - 48. Solve -5*f + 3*t = -z, -2*f - 3*t - 4 + 0 = 0 for f.
4
Suppose -9*y - 4 = 5. Let v be y/3 - (-5)/15. Solve 5*d + 3 = -7, v = -4*m + 3*d - 6 for m.
-3
Suppose -4*r + 0*l = -2*l - 18, 4*r = -2*l + 14. Let d be (2 + 3)*4/10. Let o be (16 + -19)/(-2 + (-1)/(-2)). Solve -o*z + 12 = r*w, -4*z = -d*w - w - 2 for w.
2
Suppose -3*g = -4 - 2. Suppose g*s - 10 = 3*z + s, -3*z - 6 = 3*s. Let t be 3 - (1 + z) - 1. Solve -6*i = 4*a - 3*i + 10, 0 = -t*i + 8 for a.
-4
Let p = 7 + -5. Suppose 0 = -p*s - 3*s. Suppose 0 = -4*y - s*y. Solve 4*l - 5*h = -4, y*l - 5*l - 5 = 3*h for l.
-1
Let m = -11 - -14. Let t be (-24)/(-10) + 3/5. Let u be (5 - 3) + 3*10. Solve u = -m*s - 5*k, 2*k - 5 = -t*s - 25 for s.
-4
Let f = -51 - -128. Let t = f - 73. Let u(r) = 2*r**2 - r + 1. Let y be u(1). Solve -3*l + 0 = -4*a + 6, -y = l - t*a for l.
-2
Let p be 1/((-2)/5 - (-11)/15). Solve 10 = -4*o + p*x - 3, 4*o - 2*x = -10 for o.
-1
Suppose -5*n = 0, -4*y + 39 - 207 = -5*n. Let x be y/(-5) + 6/(-15). Solve -16 =