Solve -y + 3*x = -h - 5, -y - 3*x = 5 for y.
1
Let q be (121 + -131)/(1*-2). Solve -10 = 2*y + 15*h - 19*h, 3*y - q*h = -13 for y.
-1
Suppose -1 - 1 = g. Let f = -2 - g. Let l(c) = -c + 8. Let h be l(f). Solve 0*a - 4*a + 4*k = -h, -5*k = -5 for a.
3
Let s = 385 - 381. Solve 3*v - 7*v + s = 2*z, 4*z = -4*v - 4 for z.
-4
Let j be (3 - -1) + 60/3. Let l be (6 - 2)*(-54)/j. Let z be l/((-4)/((-4)/(-3))). Solve -5*g = -z*h + 18, -2*h = -3*g + 5*g + 4 for g.
-3
Let g = -155 - -167. Let o be -2*3*(-2)/2. Solve d + o = 4*b, 5*b - g = b - 2*d for b.
2
Let k = 100 + -95. Suppose 12*b - 14 = k*b. Solve -b*w = -5*h + 6, -2*w + 0 = h + 6 for w.
-3
Let w(b) = 2 + 4 - 5 + b. Let s be w(3). Suppose 4 = s*x - 12. Solve -z - 5*i - 13 = 0, z - x + 5 = -i for z.
2
Let w(t) = 5*t**2 + 5*t. Let g be w(-2). Let p be (g/6)/(11/33). Suppose 3*n + p*l = 5, l + 3 = 5*n + 4*l. Solve 3*y = 2*h - 11, y + h - 3 + 0 = n for y.
-1
Let m be 1/(80/(-28) - -3). Suppose -3*y + 3*x + m = 22, -10 = 4*y - 2*x. Solve y = 4*j - 2*k + 10, -5*j + 4*k = -0*k + 8 for j.
-4
Let p be (-2)/14 + 6/42. Suppose p = f + 2, 2 = 3*k + 2*k - f. Solve 2*j + 15 = 5*c, 3*c + k*c = 15 for j.
5
Let r(q) = -q**3 - 24*q**2 + 26*q + 25. Let m be r(-25). Suppose 0 = -m*v - 3*v. Solve -2*p - 2*k + 2 = v, -k + 2*k + 11 = 5*p for p.
2
Suppose l + 5*p = -10 + 35, -6*l = p - 5. Solve 2*z + 6 = -5*f + 3*z, l = 5*f + 5*z for f.
-1
Let v(h) = 10*h**2 + 79*h - 8. Let m be v(-8). Solve 26 = -4*g - 5*q, m = -4*g + 2*g + q - 6 for g.
-4
Let g be (2 + -1)*1*3. Let i be 3 - 0 - ((3 - g) + 1). Solve 0 = -v - i*y - 1, 0 = -0*y + 3*y for v.
-1
Suppose 2*x - 8*y + 6*y = 16, -2*x - 3*y = 4. Solve -27 = -3*s - l - 9, -37 = -5*s - x*l for s.
5
Suppose 8*h - 24 = 3*h + 2*x, 3*h - 15 = x. Let k = h - 3. Let b = -7 + 10. Solve 0*o + 2*i - 13 = b*o, -k*i = 2*o for o.
-3
Let l(q) = 12*q + 16. Let d be l(5). Suppose 0*h = 4*h + 4*w - d, -4*h + 3*w = -83. Solve 4*b + h = 5*s, -4*b = -0*s - 4*s + 20 for b.
-5
Let x be 1 + -5 - (-37 - 2). Suppose 3*i = -0*k - k + x, 5*i - 53 = -3*k. Solve -3*n = 5*f - i - 4, 0 = 4*n + 2*f - 4 for n.
-1
Let p = 657 + -653. Solve 0 = -p*v - 2*u - 2 - 0, 5*v + 2*u + 2 = 0 for v.
0
Let q = -16 - -29. Suppose 2*f - q = -9. Let w = 5 - f. Solve 17 = -w*r + i, -i + 10 + 11 = -4*r for r.
-4
Let d be (1 + -10)*1*8/(-6). Suppose -2*f - 2*f + d = 0. Solve c - 27 = 4*u - 2*c, 5*u - f*c = -30 for u.
-3
Suppose -16 = -4*l - 0*l - 4*x, 5*l + 2*x = 23. Solve 4*n = g - 5*g - 4, 4*g - l*n + 22 = 0 for g.
-3
Let s(t) = t**2 + 5*t + 5. Let z be s(-5). Suppose z*m = 2*m. Solve 2*x + 0 - 1 = -k, -k + 2*x + 1 = m for k.
1
Suppose -1076 - 134 = -121*m. Solve -6 = -b - 4*j, -5*j + 3 = 4*b - m*j for b.
2
Let f = -51 + 49. Let g be -5 - -29 - ((-8)/f - 0). Solve -4*x - g = 5*m, -1 = x + 4*m + 4 for x.
-5
Let u(z) = z - 12. Let p be u(9). Let g be 0/(2 + p - -3). Solve 3*r - o + 4 + 0 = g, 2*o = -4 for r.
-2
Suppose -n - f = -2*n - 14, -2*f = 2*n + 20. Let s = -10 - n. Solve -2*x + s*g = 3*x - 15, 12 = 4*x - 5*g for x.
3
Let t(o) be the third derivative of -o**6/120 - 3*o**5/20 + o**4/12 + 10*o**3/3 + 48*o**2. Let s be t(-9). Solve 2*f + 8 = -0*b + 4*b, s*f + 4*b = 8 for f.
0
Suppose 140*p = 137*p + 12. Solve 0 = h + p*m + 2, m - 2 = h + 3*m for h.
-2
Suppose 84 = 4*x + 4. Suppose 2*p + 26 = -2*h, 0 = -p - 5*h + 1 - 6. Let m = x + p. Solve -w + 3*u = 5, 2*u - 9 = -0*w - m*w for w.
1
Let n be 4 - 13/((-65)/(-30)). Let p = n - -5. Solve p*r = g - 8, -2*g - 5 = 3*r + 6 for g.
-1
Suppose 2*o + 5 = 4*n - 15, -20 = 3*o - 4*n. Suppose o = 5*j - 20, -3*g - j - j + 29 = 0. Let h = -7 - -12. Solve 17 = -d - h*u, g*u = -5*d + 2*u - 25 for d.
-2
Let j = 1196 + -1191. Solve -2*w = -b + 7, 0 = -2*w - 3*b - j + 2 for w.
-3
Suppose -60*k + 55*k + 20 = 0. Solve 0 = -2*m - 0*u + 3*u + 1, u = k*m + 13 for m.
-4
Let o(l) = 2*l + 2. Let p be o(1). Let w be (-4)/8 - (-94)/p. Suppose -3*m - w + 6 = -r, r - 23 = 5*m. Solve q = -4*a - 3*q - r, -a + 2*q = 5 for a.
-3
Let v be 1/((-4)/(-32)*4). Solve 0 = -v*t - 10, 4*p - 2*t - 15 = t for p.
0
Let q(v) = v**3 + 7*v**2 - 3*v - 23. Let f be q(-7). Let r be 1*(4 - (f + 3)). Solve r*w + 23 = 5*z + 6*w, -2*z = 3*w - 11 for z.
4
Suppose -3 - 37 = -8*j. Solve -25 = 3*y - y - j*s, -5*y - 2*s - 19 = 0 for y.
-5
Suppose 0 = -4*i - 3*y + 46, -4*i + 0*y = -5*y - 30. Solve 5*j - 3*x + 16 = 0, x = 3*j + j + i for j.
-2
Let b(t) = -2*t + 26. Let j be 4/(-7) + (-480)/(-56). Let y be b(j). Let h be 117/45 - 6/y. Solve -2*l = -3*x + 9, 22 = 2*l + h*l + 2*x for l.
3
Suppose -41*k + 42*k = 9. Suppose 13*p - 44 = k*p. Solve r + 3*d + p = -r, 0 = -2*r + d + 1 for r.
-1
Let d(z) be the second derivative of z**4/12 - 13*z**3/6 - 11*z**2/2 - 7*z. Let m be d(9). Let o = 83 + m. Solve -2*b - 12 = -2*t + 4, 4*b = 5*t - o for t.
4
Let i(t) = -14*t**3 + t. Let q be i(-1). Suppose 33 - q = 5*p. Solve 5*z + 0*n - 30 = -4*n, p*z = -n + 13 for z.
2
Let n(q) = q**2 - 10*q - 6. Let x be n(10). Let y be 4 - x*(-6)/(-9). Solve y = -4*c + 3*m, 5*m = -4*c - 0*c - 8 for c.
-2
Let g(x) = x**2 - 3*x - 14. Let b be g(6). Solve -d + a + 1 = -0*a, -11 = b*d + a for d.
-2
Suppose 4*z - 2 = 5*j, 2*j = 5*z - 1 + 7. Let a = j - -7. Suppose -10*c - c + 33 = 0. Solve p = 5*i - 1, -2 = a*p + c for i.
0
Let q(o) = -6*o - 9. Let b be q(-5). Solve 3*v = -2*a + b, 5*a + 10 = 3*v + 2*v for a.
3
Let r(c) = c + 8. Let h be r(-8). Suppose -n = 2*f - 4, -5*f + 0*f + 5*n - 5 = h. Let i be f/4 - (-13)/(-52). Solve 3*w + 6 = -i*o - 3*o, 4*o = -w - 2 for w.
-2
Let f = 45 + -40. Suppose -f*q + 12 = -8. Solve 4*t = 3*d - 12, d - 12 = 5*d + q*t for d.
0
Let a be ((-4)/(-8))/(2 - 1)*12. Suppose 0 = -4*z + r + 7 + 2, -2*z - a = -4*r. Solve i + 2*t = 4*t + 10, -1 = 2*i + z*t for i.
4
Suppose 12 - 6 = 3*i. Suppose 0 = -3*d + i*m + 12, -d = -5*d + 3*m + 16. Solve 5*b - 25 = 0, 0 = 2*p + p + d*b - 17 for p.
-1
Suppose -a + 3*a - 2*w = 0, 0 = 4*a - 2*w - 6. Solve o - 10 = -a*o + 2*u, o + 3*u = -8 for o.
1
Suppose -338*w + 9 = -337*w. Solve -2*k = -2*j - w + 21, 0 = k + j for k.
-3
Suppose 3*j - 18 = 2*j. Solve -u - 17 = -5*b - 4*u, -4*b + 2*u = -j for b.
4
Suppose 0 = -15*a - 3*a + 576. Solve -2*f + 4*d = -5*f + a, d = -5*f + 25 for f.
4
Let v(m) = -2*m**2 + 33*m - 8 + 3*m**2 - 29*m. Let r be v(-6). Suppose -5*l = -a + 13 + 11, 2*a = -l + r. Solve -a*p - 6 = -2, 5*x + 25 = -5*p for x.
-4
Let b = 978 - 975. Solve 4*i + 0*k + b = -5*k, 2*i - 15 = 3*k for i.
3
Let h(u) = -u**3 + 7*u**2 - 10*u + 5. Let q be h(5). Let y(z) = z**3 + 4*z**2 + 2*z - 1. Let a be y(-3). Solve -v - v - 2 = a*c, v = -q*c - 13 for c.
-3
Let k be 99/12 - (-1)/(-4). Suppose -12 = -2*u + t, 4*u + 3*t - 14 = -0*u. Solve -j - 11 = 5*a + k, j - 3*a = u for j.
-4
Let l(t) = -t**2 - 6*t - 5. Let x be l(-4). Let c be x + 6 - (-2 - 1). Let p = -7 + c. Solve 5*j = p*s + 25, -3*j - 1 = 4*s + 5 for j.
2
Suppose 2 = -r, -13 = -10*n + 7*n + 2*r. Solve -c = -n*m + 8, -4*m + 2*c = -c - 19 for m.
1
Suppose -5*c + 16 = i, 18 = 4*i - c - 4. Let d(p) = -p**3 + 5*p**2 + 5*p + 9. Let y be d(i). Solve 3*h + 3 = -y*a, -4*a - 4 = h + 3 for a.
-2
Let f be 5 - 5/15*15. Solve -2*i - 3*z + 2 = f, z - 2 = -i - 3 for i.
-5
Let g = -362 - -366. Solve 0 = -2*j - 6, -g*j + 3*j - 3 = 3*r for r.
0
Suppose 5*s - 10 = -5*w, 0 = -4*s - 6*w + w + 7. Solve -4*d = 4*v, 2*v + 2*v = -s*d for v.
0
Let z(g) = 2*g**2 + 4*g - 4. Let f = -23 - -24. Let k be z(f). Solve 3*i - 4 = -5*y, -k*y - 3*y - 14 = -3*i for y.
-1
Let w = 48 - 43. Suppose w*t - 2*x = 9 + 12, 5*x - 10 = 0. Solve -3*q = t*u + 5, 0 = 4*q - 5*q - u - 1 for q.
0
Suppose 0 = 2*y + 2*y - 20. Suppose 0*s - y*s = -80. Suppose -3*b - b = -s. Solve -3*k + 4*l = b - 12, -10 = 5*l for k.
0
Let w be -3*1/3 + 1. Suppose 4*y + y - 15 = w. Solve 4*s = 20, 0 = -y*g - 0*s + s + 4 for g.
3
Let u = -16 - -18. Suppose -48 = u*t - 0*c - 5*c, 3*c = 3*t + 63. Let y be 1 - 1 - (t - -14). Solve -2*p = -y*m - 10 - 3, m + 3 = 0 for p.
-1
Let y be (-5)/(-5) - 5/(7 - 12). Solve -4*i - 3*w - 2*w = 11, -w - 7 = y*i for i.
-4
Let w be (1 + 1)*11/2. Let p be (21/(-2))/(6/8). Let b = p - -17. Solve 2*g - o + w = 0, -b*g - o - 4*o = -16 for g.
-3
Let p(c) = 2*c**3 + 16*c**2 + 11*c + 14. Let n be p(-7). Suppose 2*m = 5*i + n - 2, -3 = i. Solve 0 = -f + x + x - m, 3*x - 1 = -f for f.
-5
Let g(z) = -z**2 + 99*z + 5037. Let n