, y - 3*a + 10 = 0 for y.
-1
Let r be 175/63 + 4/18. Suppose -r*b - 39 = -2*w, -b = 4*w + 4*b - 45. Solve 3*c + 0*q = 2*q + 7, 2*q = -5*c - w for c.
-1
Let g = -6 - -9. Let l be 1*g - 102/(-6). Suppose 2*j - 2*k = 3*j - 7, 0 = 5*j - 3*k - 9. Solve 0 = j*c + 5*z + l, -3*c = -2*c - 5*z for c.
-5
Suppose -t + 0 = -3. Let m = -3 - t. Let y(h) = -3*h - 13. Let w be y(m). Solve f + 4*f = -5*x - w, 0 = -f - 3 for x.
2
Suppose 0*z = 2*z + 120. Let n be (2/(-3))/(((-104)/z)/(-13)). Solve -n*s + 4*t - 23 = 0, s - 3*t = -0*s - 9 for s.
-3
Let j = 2981 - 2979. Suppose 4*t - 5*t = -26. Solve -l = -j*l + b - 9, 2*l = 4*b - t for l.
-5
Let r be (-2)/1 + 0 + 7. Suppose -r*p - 10 = -25. Solve -2*a + 8 = -4*q + 2*a, -p*q + 4*a = 4 for q.
-4
Let o = -2 + 5. Suppose -4*g + 10 = 2*c, 0*c + 25 = 4*g - o*c. Solve 4*r = -w + 9*r + 6, -g*r = 8 for w.
-4
Let g(s) = -8*s - 73. Let q be g(-10). Solve 2*d - q = -3*r, -3*d - r = -0*r + 7 for d.
-4
Suppose -2*o = o. Let v(t) = -t**2 + 8*t + 12. Let k be v(10). Let g(z) = z**3 + 8*z**2 + z + 11. Let r be g(k). Solve -3 = f + l, l - r = 2*f - o*l for f.
-2
Let w = -358 + 366. Solve -5*x - 1 = 7*d - w*d, 4 = 4*d - 2*x for d.
1
Let z(s) = s + 19. Let y be z(-8). Suppose -14*t = -y*t - 60. Solve -t = 5*i - v - 4*v, -2 = -2*v for i.
-3
Let h(s) = -s**3 - 6*s**2 - 2. Let b be h(-6). Let y be (b/(-3))/((-7)/(-21)). Solve y*k - k + 7 = 2*i, i = 4 for k.
1
Suppose -18 = 2*h - 34. Let r be (-14)/(-4) - (-12)/h. Suppose 4*g - r*o - 3 = 0, 5*g + 2*o + 1 = 13. Solve -g*t + 4*u - 8 = 0, 4*t = -0*t - 5*u + 10 for t.
0
Suppose -4*w + 2*z = -2, -2 + 5 = 3*w - z. Solve -2*c + 9 + 7 = -w*l, 5*l + 16 = -3*c for l.
-5
Let h be (-23)/(1 - (-2 - -4)). Let j = -39 + 45. Suppose -6 = -2*r + 2*d, 4*r - 5 - j = 3*d. Solve -4*s - r*n + 3*n = -h, -5*n = 5*s - 10 for s.
5
Suppose 83*c - 21 = 76*c. Solve c*y - 3 = 4*o + 2, 4*y = -2*o - 8 for o.
-2
Let k = -1515 - -1517. Solve 2 + k = -5*r + 2*x, r - 2*x = 4 for r.
-2
Suppose 3 + 1 = 2*l. Suppose 0 = -0*z + l*z + 32. Let o = -13 - z. Solve 6 = -a - 3*h, 0*h + 2 = o*a - h for a.
0
Let u = -14 + 19. Suppose u*j - 104 = 101. Suppose v + 2*v = -4*s + j, v = -4*s + 11. Solve 2*l - l - 5*q = -v, 5*q - 15 = 0 for l.
0
Let p = 69 - 71. Let f be (-6)/(-12)*(p + 2 - -4). Solve -3*k = -5*m + 1, 0*k = -2*m + 2*k - f for m.
2
Let b = -12 - -12. Suppose -5*m + 0*w = -4*w - 3, b = -w + 3. Solve 6 = -4*l + 2*k, k + 2 + m = 0 for l.
-4
Let j(b) = -2*b**3 + 22*b**2 - 19*b - 8. Let v be j(10). Solve 0 = v*n + n + 3*f + 12, 0 = 4*n + f + 7 for n.
-1
Suppose -7*c + 10*c = 27. Suppose 4*z = 5*y + 2*z - 18, y + 5*z - c = 0. Solve 4 = 4*w - 3*b - 31, -5*b - 5 = y*w for w.
5
Suppose 2*c - 10 = -i, -5*i + 15 = -c - 2. Solve -5*n = -c*m + 13, -3*n - m = -0*m + 19 for n.
-5
Suppose -2*l - 4 = -4*t, 3*t + 2 = 2*l + 3. Solve -5*v = -l*z + 37, -2*z - 2*z + 3*v = -27 for z.
3
Let n = -4 - -9. Let y = -2 + n. Let p be (56/(-20) - -2)*20/(-8). Solve -13 = -5*c - y*z, -1 + 11 = 4*c + p*z for c.
2
Let z(q) = 4*q**2 + 16*q - 5. Let c be z(-5). Solve 8*n - 3*n = -3*r - 15, 2*r - c = 5*n for r.
0
Suppose 0 = -5*w - 0 - 5. Let s be (-7 + 2 + 1)/w. Suppose 41 = 3*u + 5*k, 0*k + 3*k = 3*u - 33. Solve -s*d + 37 = -5*j, j + u = -d - 2*j for d.
3
Let q(l) = -2*l - 5. Let d be q(5). Let v = 27 + d. Let p be 6/v - 27/(-6). Solve 28 = -4*w + 4*o, -p*o = -3*w - 0*o - 27 for w.
-4
Let t = -5 - -1. Let n be (t + 2/(-1))/(-2). Suppose -75*m + 64*m = -44. Solve -f = -2*f + n*o - 7, m = -f + 2*o for f.
2
Let o(i) = -i - 9. Suppose -2*w - 5*j = 43, -4*w + 9 = -2*j + 35. Let s be o(w). Solve s*y = -2*y - 3*k, -5*k - 19 = -3*y for y.
3
Suppose -5*f = -4*o + 10, -371*o + 1 = -370*o - 2*f. Solve 4*m + o = z, -4*m + 4 = -8*z + 4*z for m.
-2
Let b(f) = -40*f + 21. Let d be b(0). Let w = -5 + 7. Suppose -w = o + t, 2*o = -5*t + t - 14. Solve o*y + d = 5*y + 5*p, 0 = p - 5 for y.
-2
Let l be (-2)/(2*(-9)/(-6))*-6. Solve 2*m - 2*t = -4 + 10, 4*t = -l*m + 20 for m.
4
Suppose -5 = -z - 3*f + 8, -4*z = 2*f - 22. Let m be 4/18 - (z - 798/54). Solve c = 2*n + 9, 22 = 2*c + 6*n - m*n for c.
1
Let p(a) = a**3 - 13*a**2 + 16*a - 43. Let t be p(12). Suppose -4*i + i + 2*g = -7, -t*i = g - 29. Solve -5*q - 2*b = -10, -5*q + 2*q = -i*b - 37 for q.
4
Suppose p + 2 + 3 = 3*w, -5*w + 31 = 4*p. Solve 2*k + 7 = k - 2*t, t = -3*k + p for k.
3
Let t be (-1)/(2 + 2 + 90/(-22)). Suppose -90 = -t*m + m. Solve -4*o = 5*f - m, -3*f = o - 2*o - 2 for o.
1
Let k be ((-10)/6)/((-76)/228). Solve -16 = 2*r - 3*d + 6*d, -25 = 3*r + k*d for r.
-5
Let j(k) = -9*k**2 + k - 2. Let f be j(1). Let c be 40/(-50) + (-58)/f. Suppose c*o - 45 = 2*o. Solve -5*w + 2*g = -w + 20, -5*g + o = -3*w for w.
-5
Let r(n) be the second derivative of -7*n**2 - 2*n - 1/3*n**3 + 0. Let q be r(-9). Solve -3*a + 5*a + 3*v + 2 = 0, 5*a - q*v = -5 for a.
-1
Suppose 0 = -2*b - 76 - 48. Let d = -60 - b. Solve -z = -7 + d, 0 = -2*q - 4*z + 14 for q.
-3
Suppose 5 = 37*y - 32. Solve z = -3*b - y - 4, 5*z + 13 = -3*b for b.
-1
Suppose -5*t = 7 + 8. Let f be 0*5/15 - t. Solve i + k = 4, -2*i - 4*k = -f*i + 4 for i.
4
Suppose -2*b + 5*b = 4*h + 15, 10 = 2*b. Suppose 4*s - 8*s + 3*n = -15, h = -4*n - 20. Solve 3*f + 10 = -4*d, -4*f + s*d - 13 = 5*d for f.
-2
Suppose -7*j + 4 = -6*j. Suppose -k = -j*k. Suppose k = -u - 4*c + 49, -u + 8 = -2*c - 11. Solve -h - 24 = 5*f - 0*h, -4*h = -5*f - u for f.
-5
Suppose 1 = x - 3*l + 4*l, -20 = -2*x + 4*l. Suppose 9*b - x*b - 25 = -3*i, i = 0. Solve -5*q + 20 = 5*s, -b*q = -s - 2*q for s.
3
Suppose 0 = -f - f - 4*v + 30, 0 = -5*f + 3*v + 140. Suppose 12*i - 7*i = f. Solve -2*n - i*o = -8, -2*o - 4 = -4*n + 12 for n.
4
Let b be -5*(-2 + (-1)/(-1)). Let t be 6/21 - (-209)/77. Solve 0*x + 3*x + 21 = -b*n, -3 = 3*n - t*x for n.
-3
Let s be ((-8)/((-40)/15) - 3)/(-2). Solve 3*d + 15 = 0, s*k - 3*d = 3*k + 3 for k.
4
Let y(o) = o**3 - 8*o**2 + 16*o. Let d be y(5). Solve 5*w + d = 3*f, -w - 3*f + 19 = w for w.
2
Suppose -5*j - 3*w + 14 = 0, -8*j + 11*j = -2*w + 8. Solve -j*c + 3*z + 0*z = 4, -4*z = -4*c for c.
-4
Let w be ((-1)/2)/(2/(-44)). Solve 0*a + 24 = -4*a - 2*v, -a - 3*v = w for a.
-5
Let l(x) = -3*x - 9. Let q be l(-3). Suppose q = j - 3*j + 5*a - 2, 2*a + 19 = 3*j. Solve 2*c - j = -0*z + 3*z, 12 = -4*z - 5*c for z.
-3
Suppose -o - a = -22 + 21, o = -2*a. Solve 2*k + 4*m + 10 = 0, -o*m - 8 = 2*k - 0 for k.
-3
Let r(f) = f**2 - 18*f - 141. Let i be r(-6). Solve -i*t = v - 2, t = -v + 4*v + 4 for t.
1
Let r(d) = -6*d**3 - 7*d**2 - 4*d + 2. Let c be r(-1). Solve s + 2*s - c*l = 5, 2*s + 5*l - 20 = 0 for s.
5
Suppose 0 = -2*d + 12 - 4. Suppose 4 = -j + 6. Solve 2*x - 12 = j*t, -10 = 2*x + 4*t - d for x.
3
Let i = 31 + -19. Suppose -9*h + i*h = 39. Suppose 2*j - h = -w, -w = 4*j + 3*w - 36. Solve -a - 2*k = j, -2*a - k = -6*k - 1 for a.
-2
Suppose -47*s + 52*s = 10. Let r = 6 + -2. Suppose 3*u - 4*z = -4, -5*u + 4*z = -0*z + 4. Solve -2 = 2*k - r*k - 2*h, u = s*k - h + 4 for k.
-1
Let r = 767 + -766. Solve 4*w - 3*q = -13, -w = -2*q + 6 + r for w.
-1
Suppose -2*o = -22*g + 17*g - 3, 0 = 5*o - g - 19. Solve 1 = 5*s + 4*f + 4, -27 = 5*s - o*f for s.
-3
Let b be 0/(-5) + (-4)/(-2) + -67. Let f = 88 + b. Solve -5*l = -l + 5*w - 30, -3*l + f = 4*w for l.
5
Let x = -2018 - -2030. Solve -4*f + x = -4*l, 3*f + 4*l = 2*l - 6 for f.
0
Let r(k) = k**3 - 2*k**2 + 3*k. Let x be r(2). Solve 0*w + 2*w - 2*f = -x, -4*w - 28 = 4*f for w.
-5
Let s be (-4 + 3)/(1 - 2). Suppose -2*h = h - q + 1, 5*h - q + s = 0. Suppose 3 = -b + 2*g, 15 = 5*g - h. Solve 0 = i - b*v - 8 + 4, -2 = 2*i - v for i.
-2
Let a be (-9)/((-36)/(-16)) - -9. Suppose -5*y + a + 10 = 0. Solve -2*n + 2*x - 5 = -3, -3*n - 5*x - y = 0 for n.
-1
Let c(l) be the third derivative of l**6/120 - l**4/3 + l**3/2 + 34*l**2. Let i be c(3). Solve -3*n - 4*t = -i*n - 29, -3*n - 24 = -3*t for n.
-3
Let a be 1*(-2 + -43)*1. Let k be 8/36 - 80/a. Solve k*l + 5*j = -15, 3*l + 3*j - 2*j - 10 = 0 for l.
5
Let p(q) = -13*q - 3. Suppose 5*c + 10 + 0 = 0. Let o be p(c). Suppose -5*r + 0*r = 0. Solve -3*n + r = 5*a - o, a = -2*n + 6 for a.
4
Let u = -13 - -15. Let i = 6 + u. Suppose -i*m + 20 = -4*m. Solve 0 = g - m, -g + 23 = 5*f - 2 for f.
4
Suppose 0 = -5*n + 3*n - 74. Let s = n - -55. Let b(u) = 19*u + 859. Let g be b(-45). Solve -s = -2*v - g*p, p - 2 = 2 for v.