Let m be y(2). Solve 5*a - 4*n + 2 + 1 = m, 5*a = 5*n for a.
-3
Suppose 8 = 4*w - 0. Let l be (-1 - -5) + 0 - 11. Let b = 7 + l. Solve -4*t + 3*n + 29 = b, -t - w*n - 1 = -0 for t.
5
Suppose -4*g - 10*x = -9*x - 12, 5*x + 20 = 0. Solve v = -3*y + 4, -5*v - y = -2*y - g for v.
1
Let p = 29 + -15. Suppose -5*h + 153 - 173 = 0. Let o be h/(-6)*21/p. Solve -3*b - 8 = 2*f, -2*f - o = -f for b.
-2
Let m(d) = -15*d + 91. Let x be m(6). Solve -l + x = -3*i - 2, 2*i + 2*l + 10 = 0 for i.
-2
Suppose 0 = -6*l - 33 + 135. Solve -5*o - 8 = n, -4*n = -0*n + 5*o + l for n.
-3
Let f = -2397 - -2418. Solve -2*l = -10, 5*q - f = 4*q - 5*l for q.
-4
Suppose 9*z - 60 = 5*z. Suppose w = -0*w + z. Let p be (w/(-12))/((-1)/4). Solve 3*n = 2*m - 7*m - 2, -n - p*m = -6 for n.
-4
Let t be -1*1/((-2)/8). Let j = -11156 + 11158. Solve 0*g - g = -2*h - t, 0 = 3*g + j*h + 12 for g.
-2
Let h(n) = -n**3 + 14*n**2 + 20*n - 73. Let z be h(15). Solve -d + o = -z*d + 6, -16 = -d - 3*o for d.
1
Suppose 0 = q - 3, 3 = -2*o - 3*q + 4*q. Suppose o = 3*l + 1 - 10. Solve -5*w - 19 = 2*n, -w = l*n + 4*w + 21 for n.
-2
Suppose -2*y - 11 + 5 = 0. Let v be 0*y/24*-4. Suppose 4*u - 38 - 6 = v. Solve 3*l + 29 + u = 5*q, 5*l - 4*q = -45 for l.
-5
Let h = -29 - -33. Let w be (-5)/10*(0 + 0/(-4)). Solve 9 = -h*r - 3*g + 2, -2*g + 6 = w for r.
-4
Let m be 330/81 + (-34)/459. Solve 0 = 2*c + l + 3, -2*c - 2*l = -m*c - 18 for c.
-4
Suppose -3*j + 0*j + 1 = -c, 5*j - 4*c = -10. Let s = -1724 - -1728. Solve 4 + 0 = j*b + s*y, y + 13 = -4*b for b.
-4
Suppose 5*v = -8*v + 52. Solve -v*s - 22 = -3*o, 20 = -o - 5*s + 2 for o.
2
Let d be -1*5/(15/(-12)). Let t(o) = o**2 - 7*o - 2. Let b be t(6). Let h = b + 13. Solve -4*s + d = 0, h*z + 0*s + 30 = 5*s for z.
-5
Suppose 60*r - 58*r - 66 = 0. Suppose -11*f + r = -0*f. Solve -4*z - 21 = -0*z - f*i, -2*i = 2*z for z.
-3
Let p be (-16 + 17)/((-1)/(-3)). Suppose -p*k = -5*u + 2*u + 9, -3*k = 3*u - 21. Solve -3*b = -k*i - 2, 0 = i + i + 4*b - 12 for i.
2
Let b = 15 + -12. Let p(u) be the first derivative of u**2 - 10. Let l be p(10). Solve 0*h + b*h + l = 5*n, -5*n + 20 = 3*h for h.
0
Let q(r) = -r + 2. Let s be q(-1). Suppose b - 3*g = -14, 0 = -3*b + g + g - 7. Solve 0 = -k + v + b, 4*v - 2 = k - s*k for k.
1
Let g = 36 + 0. Let a = -21 + g. Solve 4*h + a = -5*j - 3, 0 = -4*j - h - 10 for j.
-2
Suppose -4*f + o = -2*f - 43, -4*f - 5*o + 79 = 0. Solve 4*d = -2*u + 16, -2*u - 5*d + f = 1 for u.
0
Let g be 10/(-240) - 121/(-24). Solve -2*z = -u - 9, 4*u + 5*z = u - g for u.
-5
Suppose -2*g + t + 1 = 0, -2 = 7*t - 5*t. Solve 0 = -2*y + i - g - 3, 4*y + 15 = -i for y.
-3
Let a be (-5)/(-4) - 3/12. Let y be a - (-3 + (0 - -2)). Solve -5*i = -5*o + 43 - 18, 8 = y*i + 4*o for i.
-2
Suppose 4*v - 24 = v. Let p = v + -2. Suppose -2*u - p = 2, -5*r = u - 11. Solve 0 = -4*z - 2*g + 4, -4*g + 4 = -r*z - 15 for z.
-1
Let v be 20/9 - (100/(-36) - -3). Suppose -159 = -5*s + j, 1 - 117 = -4*s - v*j. Solve -i + 4*n = -2*i - 19, 0 = 5*i + 4*n + s for i.
-3
Suppose 4*d - 7 = 17. Suppose 4*v - v = d. Suppose 3*p - 8 = -4*g, 8 = -p - p. Solve g = -v*q - i, -5*q - 5*i - 50 = -10*i for q.
-5
Let d be -4*(18/(-9))/((-8)/(-10)). Let w be ((-110)/(-25) - 4/d) + 1. Solve -o = 0, q - w*o + 1 = -0 for q.
-1
Let v be 750/36 - (-1)/6. Let k = -21 + v. Solve 2*z + 0 = 3*y + 3, -z - y + 4 = k for z.
3
Suppose -9*i + 294 = 12*i. Solve -i = t + t - 5*k, -k = 2*t + 2 for t.
-2
Let y = -39 - -39. Suppose m - 17 = -y*m - 3*z, z + 21 = 5*m. Solve -4 = 4*n + n + u, m*n + 16 = -4*u for n.
0
Let i be (-10)/6 + (-4)/12. Let k be i/(-6) - 103/3. Let z = 34 + k. Solve 0 = -5*p - z*p - 4*t - 8, -16 = p - 4*t for p.
-4
Let v(q) = 12*q - 175. Let b be v(15). Solve -b*g = 15, 2*g + 20 = 2*u - 2*g for u.
4
Suppose -300*d - 25 = -301*d. Solve -3*o + d = -5*g, o + 0*g - 2*g = 10 for o.
0
Let y = -8 - -15. Suppose n - 4*x + y = 0, -3*x = 3*n - 2*x - 18. Solve 2*s = -n*u + 5*s - 14, 3*s - 9 = 0 for u.
-1
Suppose 4*d - 38 = -2*n, 45 = 6*d - d + 2*n. Suppose 3*f = -5*i + 21, -1 - 22 = -5*i - 4*f. Solve -i*l + 22 = 2*x, -2*l - d = -5*x + 10 for x.
5
Suppose 2*q = -4*q. Let m be (q + 40/(-15))/((-2)/3). Solve -3 = z, m*z + 11 = k - 0*k for k.
-1
Let r be (-21)/(-4) + 3/36*-3. Suppose -3*p - 5*h = -31, 4*h - 12 - 18 = -5*p. Solve 2 = w + p*l - 0, -5*w = r*l for w.
-2
Suppose a + 6*j - j - 20 = 0, -8 = -2*a - 2*j. Solve -4*b - 3*q + 1 = a, 0 = 2*b + 4*q + q - 11 for b.
-2
Let q(v) = -v**3 + 9*v**2 - 19*v + 97. Let m be q(8). Solve 3*p = z + m, -z + p = 2 + 1 for z.
0
Let z be (-4 + 5)/(0 - 1). Let j be (8 - 7)*(4 - z). Suppose j*g - 3 = 3*l, -g + 6*g = -3*l + 27. Solve 21 = -g*w + 2*r, -r = -3*w + 2*r - 24 for w.
-5
Let m = 270 + -260. Solve 2*u = -d + 2, 6*d - d - m = 2*u for d.
2
Suppose -17*z + 12*z = 0. Suppose 0 = 2*d - 2, d + z*d = j - 8. Solve -2*q - 6 = 2*x, -4*q - j = x - 3 for x.
-2
Let t = 157 + -157. Solve 4*i = 2*y - 6, t*y = -5*i - 2*y - 12 for i.
-2
Let t = -12 - -12. Suppose -8 + t = n. Let o be 2/8 + (-38)/n. Solve 4*q + o = 1, 2*p + 3*q + 5 = 0 for p.
-1
Let p(x) = 0 + 5*x - 135*x**2 - 1 + 137*x**2. Let h be p(-3). Solve -h*m + 0 = 5*l + 9, 2*m = 4*l + 18 for l.
-3
Let x be -11 + 1200/105 - 32/(-7). Solve -2*g - 3*y + 30 = -x*g, 30 = -5*g + y for g.
-5
Let i(t) = 6*t**3 + 3*t**2 - 2*t - 2. Let d be i(-2). Let l = d - -34. Solve 4*k + 12 = 0, l*x + 5*x + 32 = -4*k for x.
-4
Suppose -5*t = -3*t + 3*q - 11, 0 = -4*t - 2*q + 34. Let x(k) = -k**2 + 14*k. Let y be x(13). Let j = -8 + y. Solve -5*m = -2*l - 4 + 14, -t = 5*l + j*m for l.
0
Suppose 4*o = 3*u - 5 + 22, -u - 7 = -2*o. Suppose 3*t - 5*t = -o. Solve -5*p = 3*q - 6, p + q = 1 + t for p.
0
Let m be (5 - 7)*(1 - (-34)/(-4)). Suppose -3*o + 30 = 7*o. Solve 3*u + o*w + w = -m, 0 = 2*u - 3*w - 7 for u.
-1
Suppose 128 = 6*z + 2. Suppose 2*v = 10, 2*i + v + 0 - z = 0. Solve 4*w + l = 23 - i, -w - 15 = 4*l for w.
5
Let h be (-6 - 18/(-3))/3. Solve -3*b - 4*m = 2, 2*m + 2 = -b - h*b for b.
2
Let o(v) be the first derivative of v**2 + 12*v + 27. Let n be o(-6). Solve 2*x + 20 = -2*b, n = 6*x - x + 25 for b.
-5
Let a be 1 - (-2)/2*3. Suppose f - 6 = a*n, 0 = 2*n - 4*n - 2. Solve 0*x + x - 29 = 5*l, 17 = -5*l - f*x for l.
-5
Let m(t) = 2*t + 22. Let c be m(-12). Let b be 390/50 - c/10. Solve -5*p - 4*w = -0*p + 4, -w - b = 3*p for p.
-4
Let t be (-6)/4*(-13)/((-39)/(-36)). Solve -2*f = -5*f - 4*n + 3, 0 = -f + 5*n - t for f.
-3
Let b(v) = 23*v - 5. Let a be b(2). Let z = a + -36. Solve -l + 15 = 3*j - 4*l, -2*j = -z*l - 16 for j.
3
Let t(j) = j**3 + 5*j**2 - 6*j + 4. Let z be t(-6). Solve -o + 4 = -2*g, o - 4 = -0*o + z*g for o.
4
Let p(x) = -x - 8. Let t be p(-8). Let b be 11 + -6 - (1 + t). Suppose 0 = b*j - 3*j. Solve 5*r = 2*q - 5, j = -3*r - q + 4*q - 3 for r.
-1
Suppose g = -3 + 2. Let z be 4/((-4)/(-3)) + g. Let u be 5 + (1 + z - 6). Solve s + 3 = 2*r, 0 = -0*s + 3*s + u*r + 1 for s.
-1
Let p(b) = 4*b**2 - 11*b + 12. Let m be p(1). Solve g = 4*a + 16, 2*g - 3*a = m*g + 12 for g.
0
Suppose p - 18 - 6 = 4*l, -2*l = 2*p + 2. Solve 8 = 2*j + u, p*u = 3*j - 14 + 2 for j.
4
Let r be 7 - 5/2*6/5. Suppose 0 = -w + r - 1, -y - 2 = -2*w. Solve -2*m + 26 = -y*c, 3*m - c - 20 = -2*m for m.
3
Let h(r) = r + 5. Let a be h(-3). Let q be -2*(a - 76/(-4)). Let t = q + 71. Solve -2*g - 2*b - 7 = b, g - t = 5*b for g.
4
Let l(z) = 10*z - 208. Let g be l(21). Solve -y + 4*j - 3 = 0, 7*j - g*j = -5*y + 35 for y.
5
Let q = -26 + 30. Suppose q*r = 6*r. Solve r = 5*m - 2*f + 26, -f = -m - 1 - 6 for m.
-4
Suppose 44 = -2*l - 2*l + y, 0 = 2*l + y + 28. Let r be 3*(l/9)/2. Let w be 3 + 4 + -3 + r. Solve 0*z - 3*g - 4 = -w*z, -2*z + 4 = 3*g for z.
2
Let y = 210 - 199. Let n = 2 + 1. Solve 4*t - 16 = n*k - 7, -2*k = 3*t - y for k.
1
Let l = -41 + 43. Solve d - l*u + 3*u = -1, 3*d + u = -3 for d.
-1
Suppose -273 = -8*u - 249. Solve 2*l = -5*h + 3*l - 7, -2*h - u*l + 4 = 0 for h.
-1
Suppose -4*f + 16 = r - 17, 4*f = -5*r + 85. Let m = r + -10. Let a be 4/(-10) - 77/(-5). Solve 4*g + n = -a, 0 = -g + m*n - 7 - 13 for g.
-5
Let m(w) = -w + 3. Let z be m(-6). Let t(k) = 2*k + 2*k**3 - 13 + 9*k**2 - 4*k**3 + k**3. Let c be t(z). Solve -16 + c = -2*o - 5*x, 0 = -5*o - 5*x + 20 for o.
3
Suppose 10*g = 35 - 15. Solve 4*c = -g*m + 16, 0*c = 5*m + 5*c - 30 for m.
4
Let y = -24 - -27. Su