= a for y.
1
Let r be 228/152*8/3. Solve r*s + j = s + 7, -4*s - j = -9 for s.
2
Let t = -436 - -441. Solve -4*i = -t*s - 30, -i + 5*i - 22 = s for i.
5
Suppose 5*h - 3*z = 21, 5*h - 5*z + 16 = 41. Suppose -4*l = -0*a + 4*a - 52, 4*l = -h*a + 51. Solve 4*k = l, -b - k + 0*k + 2 = 0 for b.
-1
Suppose 0 = 4*x - 2 - 2. Let z be -4 - 1/(x/(-13)). Solve 3*k - 6 = -j, -3*k + 2*k = -2*j - z for k.
3
Let m(n) = n**3 + 22*n**2 + 73*n + 23. Let d be m(-18). Solve -2*q + 0*b - d*b = 7, 0 = -4*q + 2*b + 22 for q.
4
Let y(m) = m**3 + m**2 - 32*m - 9. Let b be y(-6). Solve 4*c - 4*v = c - 14, -b*v = -6 for c.
-2
Let n = -175 + 178. Solve -n*l + 15 = 3*j, 3*j - 5*j + 10 = 5*l for j.
5
Suppose s - 32*p = -33*p + 9, -14 = -2*s + 2*p. Solve 0 = z - 5*g - 2, -z - 3*g - s = -2 for z.
-3
Let d(p) = -1. Let c(q) = 2*q - 16. Let h(u) = -c(u) + 2*d(u). Let n be h(5). Solve 3 = -5*v - 2*k, -n*v + 8 = k - 2*k for v.
1
Suppose 0 = -4*y - 41*y + 225. Solve 17 = -m - 0*r + y*r, -2*m + 18 = 3*r for m.
3
Suppose 0 = 5*c + 5*c - 170. Solve -2*t - 2*t + c = 5*y, -2*t - 3*y + 11 = 0 for t.
-2
Suppose -2*p = 4*y + 6, -p + 5*y = -2*p - 12. Suppose p + 10 = 3*z - c, 5*c - 15 = -z. Solve 2*a + 6 = 2*q, -z*q + 10 = -2*a + 1 for q.
1
Let v = -7 - -10. Let k be 8/(-6)*(-9)/(-2). Let j(h) = -h**3 - 4*h**2 + 8*h - 3. Let q be j(k). Solve 3*y + q = -v*p, 2*y + 19 = y - 4*p for y.
-3
Suppose 56 = 5*z + 256. Let r be (z/(-4) - (0 + 0))*1. Solve 3*f = -5*u + 20 + r, 4*f - 5 = 5*u for u.
3
Let r(b) = -b**3 - 2*b**2 + 3. Let m = -54 - -52. Let l be r(m). Solve -l*t + 8 = -2*q - 4*t, 0 = 4*q - 4*t + 4 for q.
-3
Suppose -5*n + 4*a = -184, -2 = 2*a - 0*a. Suppose -3*g = -6*g + n. Solve -2*l + g = -s - s, 3*s + 2*l = 2 for s.
-2
Suppose 0 = 3*u - u - 2. Let n(s) = s**2 - 3*s + 4. Let p be n(u). Solve 2*x + 2*x + p*c = 10, 4*c = -4*x + 12 for x.
2
Let u be (-5 - -1)/((-3)/6). Solve 3*g - 3 = s, -3*s + u*s + g + 15 = 0 for s.
-3
Suppose -f + 4 = 4*l, l + 3*l - 8 = -2*f. Suppose 4*z = 0, -k + 5 + 0 = -f*z. Solve -k = -2*m + 6*q - 3*q, 10 = 3*m - 5*q for m.
-5
Let o = -200 - -204. Suppose y + 4*a = 5 - 21, 0 = -2*y + 5*a + 33. Solve -4*m - 2*h = -6, -m - y*h + 15 = o*m for m.
-1
Let t = -78 - -139. Let s = -59 + t. Solve -s*h + 5*f + 4 = 2, 0 = -h - 4*f - 12 for h.
-4
Let h be ((-56)/(-35))/(1/5). Let k(b) = 2*b - 10. Let m be k(h). Suppose 0 = 4*p + s - 11, 4*p - m*s + 7 = -s. Solve 2 = -5*a + z, -2*a - 2*z - 6 = p for a.
-1
Suppose -5*d + 6 = -9. Let w(o) = o**3 + 8*o**2 - 2*o - 9. Let z be w(-8). Suppose -d*y - 1 + z = 0. Solve 4*a + j = -y*j - 29, -7 = 2*a - j for a.
-5
Suppose -7*g - 15 = -4*g, c - 2*g = 12. Solve c*p + 27 = 5*k, -3*k = 2*k - p - 26 for k.
5
Let p(s) be the first derivative of -s**3/3 - 4*s**2 + 3*s - 5. Let v be p(-8). Solve 2*c - 3*x + v = -4*x, c - 2*x = 11 for c.
1
Let n = -12 - -17. Suppose 0 = 3*j - 14 + n. Solve -3*w = -9, -4*m - 2*w - j = -1 for m.
-2
Let g = -49 - -28. Let s be (-267)/g + (-6)/(-21). Solve m + 4*a = s, -3*m = 2*m + 5*a - 5 for m.
-3
Let w be 549/(-72) - (-12)/(-32). Let j(i) = -i**3 - 8*i**2 - 2*i - 12. Let d be j(w). Let t = 60 - 38. Solve 5*c + 4*f = -32, d*c + 3*f = f - t for c.
-4
Let z(d) = 2*d**2 - d + 1. Let h be z(-2). Let q be (-8)/(-2) + 0/(-13). Solve q*a + 19 = -s, -2*a - h = s - 2 for a.
-5
Let p = 90 - 88. Let c(n) = 2*n**3 - 4*n. Let m be c(p). Solve 1 = k - 2*f, 4*k + f + m = -6 for k.
-3
Suppose 6 - 21 = 3*d. Let q be (-4 - d)/((-3)/(-6)). Let u be 15/10*4/q. Solve -5*n + n + p + 2 = 0, u*p - 3 = 3*n for n.
1
Let i = 118 + -116. Solve x = -2*g - 7, -x = i*g + 3*x - 2 for g.
-5
Suppose -4*j + t = -12, -8*j + 3*t - 6 = -10*j. Solve 0 = 3*y + 2*o - 5, 0 = -5*y + o - j*o + 15 for y.
5
Let j be (-1)/(-1)*(5 - 4). Suppose -2*x + 5 + j = 0. Suppose o = v - 33, -x*v + 3*o - 5*o = -74. Solve 5*b + 0*w = -2*w + v, -16 = -4*w for b.
4
Let u(h) = 6*h**2 - 3*h - 3. Let l(y) = y**2 - 1. Let m(r) = -5*l(r) + u(r). Let a be m(1). Solve 3*d + 2*i = -16, -26 = 3*d + 4*i - a for d.
-2
Suppose -1 = a - 6. Suppose 4*v - 2*g + 0*g = -30, 5*v + 45 = -a*g. Let l be v/12 + 8/3. Solve -5*b = l*t + 11, -4*b + 2*t = 6*t + 4 for b.
-3
Let s(d) be the second derivative of -d**3/6 + d**2 - 21*d. Let a be s(-2). Let w(o) = 5*o**2 - o + 2. Let h be w(2). Solve -q + h = a*l, l = -q + 2*l for q.
4
Suppose -5*y - 3*n = -21, -20 = -4*y + 2*n + 10. Solve -3*x + 31 = -4*o, -o - y*x = -2*x - 16 for o.
-4
Let d be 1022/18 - 4*(-2)/36. Let p = d - 54. Solve -4*q + 4 = i + p*i, -4*q + 5*i = 41 for q.
-4
Let q(i) = -i + 4. Suppose 5*c + 0*c = -4*u + 1, 5*u = -4*c - 1. Let d be (c - 4/6)*0. Let b be q(d). Solve 0 = 3*p - 5*r - 9 - b, -16 = -p + 4*r for p.
-4
Suppose -4*q + 3*i + 7 = -0*i, 2*i - 22 = -4*q. Solve -q = -4*w + o, -1 = 2*w + o - 3 for w.
1
Let f(l) = l**3 + 11*l**2 + l + 11. Suppose n + 44 = -3*n. Let d be f(n). Suppose -2*m + 1 + 7 = d. Solve 0 = -y + m*k + 2, -4*k - 1 = -y - k for y.
-2
Let n(p) = 15*p + 201. Let g be n(-13). Solve 3*k = 3*w - 18, 3*k - 6*k - g = 0 for w.
4
Let w be 2*(-1 + 0)*27/(-18). Let c(z) = -4*z + 12. Let j be c(w). Solve j = -4*y + 3*y, -2*m + 2 = -2*y for m.
1
Let d = 11 + -6. Suppose -6*x = -31 - d. Solve 11*u - x*u = h - 12, -4*h + 4*u = 0 for h.
-3
Let j(t) = 3*t + 36. Let i be j(-6). Suppose 13*y + 55 = i*y. Solve 2*o - y = 5*h, 4 = -2*h - 5*o - 12 for h.
-3
Let a = -2128 + 2132. Solve -5*n - 45 = -5*p, -6*p + 4 = a*n - 2*p for n.
-4
Let x be 3/(-9) - 3/(54/(-78)). Solve 8 = x*t - 4*k, 0 = -k + 1 - 4 for t.
-1
Let k = -12 - -21. Let a be (-3 - k/(-6))*-2. Solve -2*z = z - j + 18, -27 = a*z - 4*j for z.
-5
Let b be 18/4 + (-2)/4. Suppose 0 = -4*m + 8, y = 5*y + 5*m - 22. Suppose 0 = -b*q + 3*q + y. Solve -3*u = 3*d - 0 + q, 5*d + 5 = -4*u for u.
0
Suppose 5*w + 22 - 42 = 0. Solve b + 20 = w*x, b + 3*b + 20 = x for x.
4
Let x be (0 + 6)*(-2)/(-6). Suppose -x*i + 8 = -0*i. Suppose 5*k - 30 = 3*p, -8*k + 3*k + 4*p = -35. Solve i*l = k*b - 3 + 1, 0 = 4*l - 4*b for l.
-2
Let m be 4/(2/(-12)*-2). Let y = m - 10. Suppose 4*x = -x + 10. Solve -3*z + s = -2 + 9, y*z - 6 = -x*s for z.
-1
Let u(i) = 2*i**3 - 3*i**2 - 5*i + 3. Let g be u(3). Suppose -2*f = 5*y - 0*f - 20, -f + g = 5*y. Solve 6 = 2*x - y*l, -4*x - l - 3*l = -20 for x.
4
Suppose -16*u = 13*u - 232. Solve s = -3*d - 14, 3*d + 3*s = u*s - 2 for d.
-4
Let c be (1/(-3)*2)/((-474)/(-711)). Let q(p) = -1 + 1 + 4*p**2. Let y be q(c). Solve -y*h + 3*m - 8 = -m, 10 = -5*h - m for h.
-2
Let n(t) = -t**3 - 3*t**2 + 19*t + 2. Let d be n(-6). Let k be (d/(-18) + (-39)/54)*0. Solve -5*l + z - 6*z = -10, k = -4*l + 2*z + 20 for l.
4
Suppose 0 + 0 = 2*k. Solve -2 = -4*z + 2*s - k*s, -s - 9 = 2*z for z.
-2
Suppose -5*h = -0*h + 4*i - 25, -4*h - 4*i + 24 = 0. Suppose 5*d = -3*t + 9 + h, -t = d. Solve -9 = z - 2*v, 4*v + d = -5*z - 12 for z.
-5
Let d be (-1)/((-28)/(-48))*7. Let r be 1/(-6) + (-2)/d. Suppose r = 4*k - a - 35, 0 = 4*k - 4*a + 6 - 50. Solve -5*c + k = -u, -5 = u - 2 for c.
1
Let x = -11 - -14. Solve -5*n + 2*b = -10, -2*b + 1 = x*n + 11 for n.
0
Let j = 14 - 15. Let l be 1/(-4*j/24). Suppose 2*h - l*h = -16. Solve -v + 5*x - 18 = 0, -v - 30 = h*v - 5*x for v.
-3
Let u = 676 - 673. Solve 2*n = 4*t - 0 + 2, -u*n + 25 = 5*t for n.
5
Let t(r) = -4*r + 2*r**2 - 3*r**2 - 2*r - 7*r**3 - 1 + 5*r. Let d be t(-1). Solve -i - 6 = 3*s, 0 = -s + 4*i + 17 - d for s.
-1
Let d(z) = 31*z - 62. Let h be d(2). Solve h = 5*f, -5*p - f + 3*f + 15 = 0 for p.
3
Let a = -52 - -57. Let j be a/((-45)/(-39)) + (-8)/(-12). Suppose -2*p + 5*m = -11, 2*m = -p + 3 - 2. Solve -2*b + p*h = 4, j*b + 0*h + h + 27 = 0 for b.
-5
Let v = 474 + -460. Solve 1 = z + 5*t - 6, t - v = 4*z for z.
-3
Let p = -20 + 20. Suppose q + p = 15. Suppose -q = 5*o - 4*g, 1 + 21 = 2*o + 4*g. Solve 4*r = -j - 12 + 1, 0 = 3*j - 4*r + o for j.
-3
Let z(k) = -2*k - 15. Let j be z(-10). Solve -5*q - 2*v + 15 = -3*v, -q + j*v = 21 for q.
4
Suppose 134 - 159 = -5*x. Let b be 8/6*21/14. Solve -t - 2*c = 7, 6 = b*t - x*c - 7 for t.
-1
Suppose -3*t = 25 - 34. Suppose 0 = 3*x - 22 - 2. Suppose -4*o = -x*o + 20. Solve -t*c - o = 5*s + 2*c, 3*s = c - 11 for s.
-3
Let x(v) = 6*v + 5. Let r be x(-5). Let z = r - -27. Solve z*h + 0 = 2*t - 6, -5*t + 33 = 4*h for t.
5
Suppose -11 + 3 = -4*i. Suppose -6*f - 5*a = -i*f - 8, -10 = -5*f - 5*a. Suppose 0 = 2*t