5 for y.
-5
Suppose -3*x = 3*k - 24, 2*k - x = 4 + 18. Let f(l) = 2*l**2 - 21*l + 12. Let c be f(k). Solve 7 - 1 = c*y for y.
3
Let o(m) = 26*m. Let p be o(1). Let z = 31 - p. Solve z*b - 5 = 5 for b.
2
Let j be ((-2)/(-4))/(1/(12/6)). Suppose -h + 2 - j = 0. Solve -3*c + h + 2 = 0 for c.
1
Let m be (-17)/4 - 6/8. Let g = 7 + m. Let w be -20*((-45)/12)/15. Solve -w*x = 12 - g for x.
-2
Let o(b) = -b**2 - b + 7. Let a be o(-2). Let h(v) = 10*v**2 + v - 1. Let f be h(1). Solve f + 5 = -a*q for q.
-3
Let h be ((21 - -2)*-1)/1. Let s = 23 + h. Solve -g + 6*g = s for g.
0
Suppose 0 = 4*t + 8, 2*d = 6*t - 3*t + 188. Suppose 0 = -2*u + 4*h + 32, d = 3*u - 2*h + 35. Let w(r) = -r + 1. Let v be w(-2). Solve -v*m + 8*m = -u for m.
-4
Suppose -3*c - 2*c = 0. Suppose c = -5*b + 3*o + 10, -5*o = -2*b + 4 - 0. Suppose -b - 4 = -p. Solve 4*f - f = -p for f.
-2
Let t = 2652 + -2638. Solve -38 = -t*k - 24 for k.
1
Let y(h) = -5*h + 12. Suppose -z - 7*z = -4*z. Let s be y(z). Solve 0 = 2*d + s - 4 for d.
-4
Let j be (-5 + 5)/3 - 0. Solve j = -y + 6 - 7 for y.
-1
Let k = -35 - 7. Let g = k + 58. Solve -g = 7*q - 3*q for q.
-4
Let b(q) = q - 2*q**2 - 2*q**3 + q - q - 2. Let v(u) = -u**2 - 4*u - 2. Let i be v(-4). Let a be b(i). Solve 0 = j + j + a for j.
-2
Let p(m) be the second derivative of m**5/20 - 5*m**4/12 + m**3/6 - 3*m**2/2 + 31*m. Let g be p(5). Solve 3 = q + g*q for q.
1
Let l = -198 - -203. Suppose 0 = v + 4*b - 14, 5*b + 0*b = 10. Suppose 2*z - 25 = -l*k, -2*z - k - 5 = -v*k. Solve -z*n = -n for n.
0
Let t(m) = m**3 - 2*m**2 + m + 5. Let g be t(0). Suppose -25 = -5*s - g. Let f = -62 - -87. Solve -v = s*v - f for v.
5
Let h(b) = b. Let u be -15*(3 + 13/(-5)). Let x be h(u). Let d be ((-1)/2)/(x/24). Solve -d*y + 6 = -5*y for y.
-2
Let l(d) = d**3 - 10*d**2 + 15*d + 19. Let v be l(8). Solve -12*s = -v*s for s.
0
Suppose -2*l - 4*i + 0 = -8, 2 = i. Suppose l = -5*y + 10*y - 15. Solve t = -y*t for t.
0
Let t be -2 - (-156)/15*(-10)/(-4). Solve 14*z = 2*z + t for z.
2
Let q(f) = f**2 - 4*f. Let m(n) = 5*n**3 + 2*n**2 - 2*n + 1. Let v be m(1). Let o = v - 2. Let w be q(o). Solve w = -2*u + 4*u - 4 for u.
2
Suppose 0 = -2*s - 3*k + 1, 4*s + 4*k - 4 + 0 = 0. Suppose -s*v = -3 - 1. Solve 1 = t - v for t.
3
Suppose -4*n + 10 = -d + n, 2*d - 3*n - 1 = 0. Suppose -d*s - s = -36. Solve -h - s = 2*h for h.
-2
Let n be 0 - (-1 + -2) - (-1 + 3). Suppose -v = 2*x + n, 3*v - 4*x - 14 + 7 = 0. Solve 4 - v = 3*a for a.
1
Let n(p) = 2*p**2 - 16*p - 190. Let g be n(15). Solve 5*l = 10 - g for l.
-2
Suppose 213*j - 215*j = -5*c + 17, -j = -3*c + 10. Solve 0*b = -c*b + 3 for b.
1
Let k(o) = o**3 + 17*o**2 + 40*o - 42. Let x be k(-13). Solve 94 - x = -5*z for z.
4
Suppose 11*p = 9*p + 4. Solve 0 = -7*t - p*t + 18 for t.
2
Suppose 4*b = -2*v + 42, 5*b - 5*v - 3 = 12. Let n(i) = i**2 - 7*i - 8. Let l be n(b). Let h be -1 + 20 - 2 - -2. Solve 5*q + h - 44 = l for q.
5
Suppose -3*v - 1 = -13. Let o be ((-24)/30)/((-2)/(-5)) + v. Solve 0 = o*u - 7*u - 15 for u.
-3
Let a = -363 + 363. Let z(w) = w**2 + 5*w + 4. Let y be z(-4). Suppose y = n - 2*d - 4, -3*n - 8 = -d + 5*d. Solve n = -k - 5 - a for k.
-5
Let v = -66 + 135. Let c = v + -66. Solve z = -c + 4 for z.
1
Let l be 5 - (0 + -2 - -3). Suppose 5*c + 0*k - l*k - 30 = 0, 3*k = 4*c - 23. Suppose -x = -s - 7, x = -c*x - 4*s - 14. Solve x*n + 12 = 5*n for n.
4
Suppose 13 = 4*a + p, 20 - 5 = -5*p. Let m = a - -1. Suppose 16 + 14 = m*x. Solve k + x = -k for k.
-3
Let w(m) = 17*m - 38. Let c be w(8). Let t = c + -94. Solve 2*l + 6 = t*l for l.
3
Let f = 5 + -3. Suppose -f*x - 12 = 2*x, -2*g - 4*x - 8 = 0. Solve -4 = z - g for z.
-2
Let q be 4/(-12) - (-39)/9. Suppose -9 = q*u - 41. Suppose 0 = v + 5, -u = 5*l + 5*v - 3. Solve m = 2*m - l for m.
4
Let x be (-2)/(2/(-6)*2). Suppose -4*y = -a + y + 12, -4*a - 5*y = 2. Solve 5*w + a = -x for w.
-1
Suppose 2*d - 48 = 4*i, -3*d - 4*i + 60 - 28 = 0. Solve 6 = -5*r + d for r.
2
Let u(y) = -3*y**3 + 4*y**3 + y - 4 - 2*y - 2*y**2 + 6*y**2. Let s be u(-3). Let h(k) = 3*k - 8. Let w be h(4). Solve s + w = 4*r for r.
3
Let w(r) be the second derivative of -r**4/12 - 11*r**3/6 + 15*r**2/2 + 5*r. Let f be w(-12). Suppose 0 = -f*l - l + 12. Solve 0*j = -l*j + 3 for j.
1
Suppose 2*m + 58 = 5*o, -11 = -5*o + 5*m + 44. Let w(f) = -2*f + 0*f + 20 + 9. Let r be w(o). Solve 5 = -r*s + 25 for s.
4
Let i(s) = -s**3 + 9*s**2 + 14*s. Let l be i(10). Let j = l - 57. Let z = 18 + j. Solve -d = -2*d - z for d.
-1
Suppose 23*q - 21*q = 24. Solve 6*m - 12 = q*m for m.
-2
Suppose -67*d + 19 = 5*j - 66*d, 0 = -2*d + 8. Solve -8*n + j*n + 15 = 0 for n.
3
Let c(d) = -d**2 - 9*d - 16. Let n be c(-6). Suppose 0 = -0*w - 2*w + 3*t, 0 = 2*w + n*t - 10. Solve 0 = -w*x - 6 for x.
-2
Let b = 158 + -153. Solve 8*z - 9 = b*z for z.
3
Let f = 18 + -19. Let y = f - -3. Solve 4 = -d + y for d.
-2
Suppose 246 = -15*z - 54. Let s = -18 - z. Solve 0 = -3*x - s - 4 for x.
-2
Let r be 3 - (2 - (2 + 0)). Suppose -t - 5*w + 15 = 0, 6*t - 45 = r*t + 3*w. Solve -2*l - l - t = 0 for l.
-5
Let o(z) = z**2 + 7*z + 4. Let u be o(-7). Let n be (-13 + 14)/((-2)/3 + 1). Solve -n*v = -u - 2 for v.
2
Suppose f = -2*h + 8, 14 = 4*h - f + 2*f. Suppose -h*l - 2*z = -8, -4*l - 4*z + 4 + 0 = 0. Solve 2*r + r = l for r.
2
Let n = -80 - -93. Solve -n*l = -12*l + 2 for l.
-2
Suppose 1 - 7 = -f. Suppose 5*q - 22 = -3*v, -v + 1 = 4*q - 11. Solve -v*z + 2 = f for z.
-1
Let z(d) = -8*d - 53. Let t be z(-8). Solve 7 + t = 9*r for r.
2
Suppose -12*k = -4*k + 7*k. Solve 3*x + 8*x = k for x.
0
Suppose 20*b - 909 = -489. Solve -23 - b = -11*i for i.
4
Suppose -19*n + 14 = -100. Suppose -p - n + 6 = 0. Solve 2*v + 0*v - 4 = p for v.
2
Suppose 18 = 218*w - 212*w. Suppose 3*q + 4 = 16. Solve k - q = -w*k for k.
1
Suppose 41 = 8*w - 23. Suppose -9 = -f - w*f. Solve -6 = -5*y - f for y.
1
Let c be (-8)/(-36) - (-2)/(-9). Let v be (c - (-8)/12) + 26/6. Solve -v*k + 0*k = -20 for k.
4
Let k(c) = -c**2 + c + 4. Let t be k(0). Suppose 5*y + v = 6, -2*y - v + 2 = y. Let m be ((-2)/t)/(y/(-12)). Solve -1 = 2*r - m for r.
1
Let d(y) = 33*y**2 - y + 1. Let k be d(1). Let z = -431 - -403. Let v = k + z. Solve 4*p = -p - v for p.
-1
Suppose -19*r - 60 = -39*r. Solve 2 = -r*i + 2*i for i.
-2
Let z be -1 - (-1 + -2 - 0). Suppose 4*y - 23 = -5*a, -z*y - 4*a + 8 = -8. Let c = y - 1. Solve -5*i + c = 16 for i.
-3
Suppose -5*s = 3*a - 3, -20*a + 5 = -15*a. Solve s = -5*x + 9 - 24 for x.
-3
Suppose 6 = -4*h - 3*p - 1, -20 = 4*p. Suppose v + 3*v = 4*f + 4, -3 = -3*v + 2*f. Solve h*s = 3 + v for s.
2
Let r = -25 + 41. Let u = r - 10. Solve h - u*h = -20 for h.
4
Let k be (-2*3/(-12))/((-9)/(-18)). Let s be ((-3 - 7)/(-2))/k. Solve s*f = 17 - 7 for f.
2
Suppose 4*x - 158 = 6*x. Let c = 84 + x. Solve -c = -0*o + o for o.
-5
Let w(y) = -y**3 + 9*y**2 - 5*y - 34. Let a be w(7). Solve -a*b = -11*b + 18 for b.
-1
Suppose -7*b = -2*b - 2*p - 215, 0 = 5*p + 25. Solve 42*f - b*f = 1 for f.
1
Let r be 36/12 + (-1 - 2). Solve d - 2*d - 4 = r for d.
-4
Let f = -145 - -146. Solve -3*c = 5 + f for c.
-2
Suppose -49*y + 30*y + 32*y = 0. Solve -12*r + 14*r - 8 = y for r.
4
Let a = -417 - -436. Solve -a = 9*t - 1 for t.
-2
Let h be (-6)/(-21) + 48/(-168). Solve -j - 16 + 12 = h for j.
-4
Let j(t) = -t**2 - 5*t - 1. Let m(f) = -f**3 - 7*f**2 + 10*f + 12. Let d be m(-8). Let v be j(d). Let u be 4 - (-3 + 3/v). Solve -l = -u*l + 10 for l.
2
Let i be (-8)/((-128)/(-6))*24/(-3). Solve -x - i*x = 16 for x.
-4
Let b = 1845 - 1834. Solve -b = 2*w - 1 for w.
-5
Let o(d) = -d - 2. Let q be o(-5). Let x be ((-40)/(-15))/4 - (-10)/3. Let m(j) = 2*j - 3. Let s be m(x). Solve q = -s*k + 2*k for k.
-1
Suppose 17*c + 35 = 18*c. Let o = 37 - c. Let l(g) = 9*g**3 - g + 1. Let i be l(1). Solve u = -o*u + i for u.
3
Suppose 757*s = 765*s - 160. Solve s*q = 24*q - 12 for q.
3
Let g = 1 - -3. Let y be 2*(22/4 - 3). Let r be ((-12)/(-10))/(((-8)/y)/(-4)). Solve -g = -r*w - 1 for w.
1
Suppose 35 = -12*g + 71. Solve g*l + 0 = 9 for l.
3
Let c = 5 - -1. Let u(r) = -r**2 + 3*r + 24. Let s be u(c). Solve -4*p = 2 + s for p.
-2
Let k(s) be the second derivative of -1/6*s**3 - 2*s**2 + 0 - s. Let p be k(-4). Solve 2*n + 4 = -p*n for n.
-2
Let g(n) = n**2 - 175*n + 1016. Let d be g(6). Solve -d - 17 = -19*u for u.
1
Let o = 39 +