0 = 5*v + y - 6 for v.
-2
Let o(l) = l**2 - 2*l + 4. Let q be o(4). Solve -3*g = -0*g + q for g.
-4
Suppose 0 = -9*t + 10 + 53. Solve 5*p - 3 = t for p.
2
Suppose -12*t + 379 = -41. Solve t = -6*f + 11 for f.
-4
Suppose -4 = -u + 5*n + 5, 54 = 2*u + 2*n. Suppose -u*m - 8 = -25*m. Solve 0 - m = -4*s for s.
2
Let p(b) = b**3 - 38*b**2 + 3*b - 85. Let y be p(38). Solve -y = 5*q - 4 for q.
-5
Suppose 2*c + 12 = -3*x, -5*c + 4*x - 2*x = -8. Let k be c*(-3)/(9/(-3)). Let w be (-1)/(3 - (-39)/(-12)). Solve w = -4*v - k for v.
-1
Let i = -21 + 23. Suppose i*j = -p + 8, 4*j - 2 = j + p. Suppose 5*z + 5*n + 15 = 0, n - 2 = -j*z - 5. Solve z = -3*u + 2 - 8 for u.
-2
Suppose -4 = -2*b + b. Suppose -6*o = -0*o - 84. Suppose q + 3*q + o = 5*p, 0 = 3*p + 4*q - 2. Solve p*r + 2 = b*r for r.
1
Let v be (-6)/4*40/(-12). Let j be (-1 + (0 - 4)/(-4))/1. Solve l = -j*l + v for l.
5
Let k(j) = j**3 + 7*j**2 - 6*j + 22. Let f be k(-8). Solve 2*i = f*i - 16 for i.
4
Let r be (-1)/(-2)*(8 + 4). Suppose 2 = f + r*y - 2*y, -14 = -3*f - 4*y. Suppose -2 = w - f. Solve -w*s = -22 + 6 for s.
4
Let g(u) = -4 + 0*u**2 - u**2 + 8*u - u. Let t = 109 + -103. Let j be g(t). Solve j*d = d + 2 for d.
2
Suppose 8*z - 53 = -3*w + 12*z, 38 = 2*w - 4*z. Solve 4*j = -19 + w for j.
-1
Suppose -5*m = 4*p, 0 = -p + 3*p - 2*m. Let n(d) = -3*d + 30. Let h be n(p). Let b = h - 27. Solve 0 = b*f - 0*f - 15 for f.
5
Let y be -1 - 4/2 - (-3 - 9). Let b be 27/3*(y - 8). Solve -4*l - 1 = -b for l.
2
Let x = 185 + -103. Suppose x = -l + 89. Solve l*r - 20 = 3*r for r.
5
Suppose 0 = 2*q + 2*l + 3*l - 1, -4*l = -3*q + 13. Solve -q + 3 = h for h.
0
Suppose 0 = 76*t - 79*t. Solve 7*z - 25 - 10 = t for z.
5
Suppose 2*g = 3*a + 23, 2*a + 1 = -g + a. Let n(j) = j**3 - 5*j**2 + 7*j - 5. Let b be n(g). Solve -5*m - 3 - b = 0 for m.
-2
Suppose 3 - 7 = -4*q. Let t(s) = 23*s. Let w be t(q). Solve -w = -4*y - 7 for y.
4
Let p = -4 - 25. Let i = 31 + p. Suppose 4*c = 5*d + 10, -i*c - 5*d + 21 - 1 = 0. Solve -c*w = -w - 20 for w.
5
Suppose 5*l = s + 41, 0 = l + 5*s - 26 - 3. Solve 0 = l*i - i - 8 for i.
1
Suppose 0 = 23*i - 19*i - 164. Let u = i - 29. Let z be 6/(-1*3/(-2)). Solve 0*f + u = z*f for f.
3
Let w(m) = 2*m - 22. Let t be w(11). Suppose -5*z = -3*g + 18, t*z = z. Solve 5*l - 1 + g = 0 for l.
-1
Suppose -27 + 237 = 6*j. Let x = j - 29. Solve f + x = 3*f for f.
3
Let v = 222 + -220. Solve 0 = -v*o - o for o.
0
Let s = 1055 + -1011. Solve 25*u = 36*u + s for u.
-4
Let r(v) = v**3 + 12*v**2 + 11*v + 51. Let j be r(-11). Solve 2*x - j = -41 for x.
5
Let x be 21 + -1*3/6*2. Suppose x = 2*y + 3*y. Solve -b - y*b = 20 for b.
-4
Let t(w) = -10*w**2 - 112*w - 15. Let d be t(-11). Solve -5*u - 2*u = -d for u.
1
Suppose -7*m + 20 = -2*m. Suppose 0 = -m*d - 4*u + 24, -d - u + 2 = -4*d. Solve -k - d = -0 for k.
-1
Suppose 2*s = 3*c + 5*s + 60, 0 = 2*c + s + 41. Let k be -4 + (c/3)/(-1). Suppose k*m + 5 = 3*u + 2*m, 0 = 4*u - 4*m + 4. Solve -u*z + z = 0 for z.
0
Suppose -160 = 2*s - 96. Let h = -23 - s. Solve -h*g + 4*g + 15 = 0 for g.
3
Suppose x + 5 = c, -3*c = -5*x - 18 - 13. Let d = x - -10. Suppose 0*k + 8 = d*k. Solve -4*w = -2*w - k for w.
2
Suppose 0 = -6*q + 1430 - 1388. Solve 0 = q*s - 23 - 5 for s.
4
Suppose -2*d + 3*x = -39, 5 = -x - 4*x. Let z be 2/(-3)*27/d. Let h be z/(57/(-27) + 2). Solve 4*r - 11 = h for r.
5
Suppose 5*z - 93 = -o + 13, 2*z = o + 48. Solve 5*g = -z + 12 for g.
-2
Suppose -2*m + 5*l = m - 27, m = 5*l + 9. Solve 14*y - m = 17*y for y.
-3
Let t(k) = k + 13. Let n be t(3). Suppose -3*a - 1 + n = -s, 5*s - 20 = -4*a. Solve 0 = 2*x - s*x for x.
0
Let m be (28/(-12))/(7/(-21)). Solve 0 = m*o + 10 + 4 for o.
-2
Let x be 7/14 + 145/(-2). Let c = x + 78. Solve -3*h + 0*h = -c for h.
2
Suppose -4*s = 4*z + 84, 0 = -0*z - z + s - 19. Let v = z + 20. Let k = v - -6. Solve 9 + k = -5*g for g.
-3
Suppose 489 = 73*r - 314. Solve 17 = 7*z - r for z.
4
Suppose p + 4*v = -v + 4, 8 = p + 3*v. Suppose u + u = -p. Let x = 12 + u. Solve -x*h + 9 = -6 for h.
3
Suppose 0*n - 30 = -5*n. Let m be (-2)/((-4)/96*-4). Let x = 16 + m. Solve -2 - n = x*j for j.
-2
Let m be (10/(-4))/((-8)/1296). Let o be (-2)/8 + m/20. Solve d - o = 6*d for d.
-4
Suppose -2*u + 2*m = u + 58, 0 = -2*u + 2*m - 42. Let g = 23 + u. Let h be 5/(0 + ((-585)/(-18))/13). Solve 3 = h*z + g for z.
-2
Suppose v = 3*g - 140, -g + v + 2*v + 60 = 0. Suppose 4*s + 3*b - 57 = 0, -3*b + g = 2*s + s. Solve -p = 2*p + s for p.
-4
Let f be (-70)/(-21) + ((-28)/12 - -2). Solve -f = -2*w - 5 for w.
-1
Let s = -178 - -180. Solve 30 = -s*z + 8*z for z.
5
Suppose 11 = -6*j + 17. Suppose -3*b + b - 34 = -4*a, -3*a + 5*b = -22. Let s be 2 - 0*3/a. Solve -d = -s - j for d.
3
Suppose 8*z - 3*z = 3*a - 43, 0 = 5*a + 4*z - 84. Let l = 23 - a. Suppose -l*g + 5*q + 1 = -3*g, -6 = -2*q. Solve 6*x + g = 2*x for x.
-1
Let n be ((-2)/3)/(-4 - 404/(-102)). Let z = n - 13. Solve -z + 24 = 5*t for t.
4
Let m = 17 + -19. Let c be ((3 - 15) + -1 + m)*-1. Solve 0 = -0*u + 3*u + c for u.
-5
Let k(r) be the second derivative of -r**5/120 + r**4/3 - 5*r**3/6 - 5*r. Let l(z) be the second derivative of k(z). Let m be l(5). Solve -m + 5 = b for b.
2
Let d(p) = -4*p. Let b be d(-3). Let n(w) = 16*w - 75*w**3 - 11*w**2 - 9 + 74*w**3 + 9*w. Let g be n(-13). Solve 0*u = -g*u + b for u.
3
Let s = -52 - -143. Let r be (-6)/(-14) + (-39)/s. Solve r = -3*t - t for t.
0
Let r = -20 + -2. Let w be (-21)/2 - 11/r. Let x = -7 - w. Solve x - 6 = 3*h for h.
-1
Let j = -946 - -957. Solve -j*p + 17*p + 6 = 0 for p.
-1
Let g(x) be the first derivative of -x**2/2 - 3*x + 10. Let d be g(-4). Solve l - d = -5 for l.
-4
Suppose a - 2*b = -11, -a + 0*a = -5*b + 17. Let u be (-1)/((-5)/a)*-5. Solve 0 = -2*q + 1 - u for q.
-3
Let k = 61 + -57. Let u be 2 + 0 + 12/k. Solve u*l - 6*l + 4 = 0 for l.
4
Let t(a) = a**2 - 8*a - 19. Let l be t(11). Solve 0 = -9*k + l*k + 10 for k.
-2
Let b(v) = v**3 + 36*v**2 - 76*v + 3. Let o be b(-38). Solve o*u + 1 - 7 = 0 for u.
2
Let x be (-9 - -12)*(-3 - (-11)/3). Suppose -g + 6 + 4 = 0. Let l be 5/g*(0 - -4). Solve -x = -l*z + 2 for z.
2
Let p(s) = -s**3 - 5*s**2 + 6*s - 12. Let t be p(-6). Let j be 34/2*(-4)/(-4). Let g = j + t. Solve 0 = -g*n - 7 - 3 for n.
-2
Let l(n) = -23*n + 77. Let t(h) = 8*h - 26. Let o(r) = -6*l(r) - 17*t(r). Let x be o(12). Let m be 3/(2/(-4)*-2). Solve -x*b = -b - m for b.
1
Let x = 3 + -1. Let w(b) = b**3 + 9*b**2 + 12*b - 14. Let t be w(-7). Solve x*y + t*y = 2 for y.
1
Suppose 4*c + 4*y = 20, c + 5*y = y - 10. Suppose -n - n + c = 0. Solve 2*q + n = q for q.
-5
Suppose 7*u = 1 + 237. Solve -u + 41 = -7*d for d.
-1
Let c(d) = -3*d - 5. Let n(h) = -4*h - 6. Let s(m) = -3*c(m) + 2*n(m). Suppose 5*t + 16 - 1 = 0. Let k be s(t). Solve -f - 3 = -k*f for f.
-3
Let l(t) = -t**3 - 4*t**2 - 2*t - 4. Let w be (-4 + -1)*(-63)/45. Suppose o = -z - w, -1 = -2*o + z + 2*z. Let s be l(o). Solve 5*j + s - 24 = 0 for j.
4
Let k = -807 + 811. Solve 205 - 197 = k*u for u.
2
Let i(y) = -2*y + 5. Let g be i(-3). Let z = g + -9. Solve 3*d = z + 1 for d.
1
Let k(c) = c - 14. Let h be k(10). Let q = h + 10. Suppose -2 - q = -j. Solve i + j = -3*i for i.
-2
Suppose l + 5*r - r = 13, l = 3*r + 27. Solve 5*v = 1 - l for v.
-4
Suppose -21 = 3*i - 96. Let q = i - 30. Let z(r) = -r**2 - 6*r - 2. Let l be z(q). Solve l - 2 = x for x.
1
Let c(y) = -10*y + 214. Let z be c(21). Solve 15*x = z*x + 11 for x.
1
Suppose 3*d + 5*n = -131, d + 4*n = -3*d - 188. Let q = -41 - d. Solve 8*m - 3 = q*m for m.
-1
Let p(u) be the second derivative of u**4/12 - u**3/2 - 3*u**2 - 3*u. Let x = -5 + 10. Let w be p(x). Solve -9 + 1 = w*a for a.
-2
Suppose v + 2*f + 50 = 3*v, -4*v = -3*f - 97. Let a be (-4)/v + (-398)/(-11). Let o = a - 14. Solve 0 = -4*d - o + 2 for d.
-5
Let r = 352 - 348. Suppose -1 - 3 = -2*l. Solve -l*z = -r*z for z.
0
Let p(w) = -w**3 + 4*w**2 + 5*w + 2. Let l be p(5). Let f be 3*1/2*l. Suppose -2*c + 7 - 3 = 0. Solve -c = f*n + 4 for n.
-2
Suppose 4*f + 0*j = j + 7, 0 = -2*f + 5*j - 19. Let g be f/(-6) + 1 + 3/(-6). Solve -6 = -g*q - 2*q for q.
3
Suppose 64*v - 165 = 27. Let j(m) = m**3 + 8*m**2 + 7*m + 2. Let w be ((-49)/21)/((-2)/(-6)). Let i be j(w). Solve -i*n = -1 - v for n.
2
Let n(s) = s**2 + s - 2. Let a be n(3). Let t be 6/a + 265/(-25). Let u = t + 20. 