s*y - 5 = h*y for a.
-1
Suppose 0 = z + 2*z + 15. Let f(o) = 2*o**2 + 4*o - 7. Let h be f(z). Suppose -h = -5*r - 3. Solve 7 = -x - 3*w, -5*x - 5*w - 1 - r = 0 for x.
2
Suppose g = 2*m + 11, -3*g - 6*m + 5 = -5*m. Solve -t + g*i + 3 = 0, -5 = -5*t + 2*i + 3*i for t.
0
Let t = -129 - -134. Solve -4*b = -5*v + 41, t*v = 5*b + 74 - 29 for v.
5
Let y(w) = w**2 + w - 4. Let l be y(-3). Let x = 4 + l. Suppose 0 = -5*h - g + x, 2*g + 12 = 2*h - 0*g. Solve 3*b - 4*i - 3 = -2*i, 0 = h*b - 2*i for b.
3
Suppose -15 = -55*k + 50*k. Solve -k*n = 3, -c + n = -2*n + 1 for c.
-4
Suppose 3*g + 186 = 4*c + 6*g, 3*g = -6. Let q = c - 48. Solve q = -3*o + 5*o + r + 4, o - 1 = -2*r for o.
-3
Suppose 0*h = h + 4. Let q = 0 - h. Suppose -3*j - 2 + 8 = 0. Solve 0*n + 8 = -q*f + j*n, 0 = 3*n - 6 for f.
-1
Let m = -71 - -107. Suppose -m = 2*z + z. Let r = z + 15. Solve -r*b = -s - 0*b + 12, 4*s - 8 = 4*b for s.
-3
Let m(g) = -7*g - 26. Let r be m(-4). Solve -2*h - 4 = 0, h + 10 = -4*b - r*h for b.
-1
Let q(r) = -9*r - 239. Let s be q(-28). Solve -5*c + 2*p + s = 0, -4*p - 17 = -0*c - c for c.
1
Let k be 6*((-13)/6 - (-2)/4). Let s = -8 - k. Solve p = a + s + 3, -3*p + 15 = 5*a for a.
0
Let k(l) = 2*l**2 - 4*l + 3. Let b be k(2). Solve 5*g = 5*c - 5, 2*c = 4*g - b*c + 5 for g.
0
Suppose 13*a - 30 = 7*a. Suppose -f - 4*f + 4*i + 33 = 0, a*i + 35 = 5*f. Solve -f*q = 4*u - 17, -5*u + 0*q = 2*q for u.
-2
Suppose -i + 4*d + 5 = 4*i, 5*d = 5*i. Solve i*x + 4*r + 1 = 0, -3*r = -5*x - r - 7 for x.
-1
Let i(w) = w**3 + 7*w**2 + 9*w - 3. Let j be i(-5). Solve -2*k + 0 = -2*v + 6, -14 = -3*v - j*k for v.
4
Let j = -858 + 863. Solve -10 = -j*h + 2*f, h + 5 + 6 = 3*f for h.
4
Let o = 310 - 305. Solve -6 = -g - o*h, -5*g + h - 23 = -1 for g.
-4
Let k(b) = -b**2 - 15*b + 1. Let i = 14 + -28. Let h be k(i). Suppose -2*a + h = 3*a. Solve 0 = -x - 2*c + 1, 2*x - 7 = -a*c - 3 for x.
5
Let o(w) = -w**3 - 26*w**2 - 70*w - 21. Let v be o(-23). Solve -5*u = 2*p + 12, 7 = v*u + 2*p + 13 for u.
-2
Suppose -g - 5*m = -25, -2*m + 29 = 5*g - 4. Solve r - 3*o - 20 = 0, g*o = -3*r - 0*o - 10 for r.
5
Let z(j) be the first derivative of -j**3/3 + 6*j**2 + 2*j - 34. Let f be z(12). Solve -3*d - 2*d - 2 = 2*l, 0 = -3*l + f*d + 16 for l.
4
Let o be (-12)/(-10)*((4 - 8) + 9). Solve 0 = 3*b - 3*z + o*z - 9, 5*b + 2*z - 21 = 0 for b.
5
Let g(l) = -l + 1. Let o be ((-2)/(-5))/(2/(-5)). Let i be g(o). Solve -u = -5*k - 12, -3*k - 9 = i*u - 2*k for u.
-3
Let g = 623 + -623. Solve g = 2*o + 10, -3*w - 2*o = o + 15 for w.
0
Let o be (-33)/(-3) + (-1 - 2). Let x(s) = s**2 - 2*s - 4*s + 5 + 4. Let k be x(o). Solve -4*b - k = -2*v - 3, b = -2*v - 3 for b.
-5
Let u = 186 + -173. Solve 3*l = -3*f + f - u, -15 = -5*f + 2*l for f.
1
Let c(h) be the first derivative of -2*h**2 - 19*h + 28. Let g be c(-6). Solve -b = -3*j - j - g, 4*j - 5*b - 7 = 0 for j.
-2
Let k be (-3)/(-6)*32*1/2. Solve 4*g + k = -m, 4*g - m + 8 = m for g.
-2
Let j = -16 - -4. Let q = j + 15. Let y be (1/q)/((-8)/(-48)). Solve 3*h + 15 = 2*g, 4*h + 9 = -y*g - h for g.
3
Suppose -7 = -2*f + 7. Solve 3*q + 0 = -w + f, -3*w = -12 for q.
1
Let d = -120 + 124. Solve -2*i = -3*y - i + 17, 0 = -2*y + d*i + 18 for y.
5
Suppose -p - 3 = p + 5*b, -2*p = b - 9. Let r be 26/6 - p/(-9). Let i = -3 + r. Solve -i = 2*n, 4*n = -3*y + 5*y - 4 for y.
0
Suppose 4*z - 167 + 99 = 0. Suppose -z = 13*k - 69. Solve -4*f - 5 = -3*f + 2*x, 0 = -4*f - 4*x - k for f.
3
Let l = -55 + 71. Let w = l - 1. Solve 5*j = 5*y + w, 0*j + 2*j + 4*y = 6 for j.
3
Suppose -117 = -38*x + 35. Solve -2*i + 1 = 3*k, 0*k + 5*i - 13 = -x*k for k.
-3
Suppose 6*t - 8 - 22 = 0. Solve -4 - 7 = t*w - 4*b, 2*w + 10 = -4*b for w.
-3
Let t be -2 - 12*7/(-14). Solve -5*o - 2 = -4*w, 5*o = 3*w - t - 0 for w.
-2
Let q = 121 - 118. Solve -q = -3*z - z - 5*i, 5*z + i = -12 for z.
-3
Let i(m) = 6*m**2 - 29*m - 31. Let w be i(-1). Solve -2*g - 20 = -5*v - 0*g, w*g - 12 = -3*v for v.
4
Let m be (-6)/(-1) - (-1 - -2). Suppose -3*c - c + j = -19, -m*j - 15 = 0. Solve -2*d = v - 11, -d = -3*v - c + 2 for v.
1
Suppose -3*d = 0, 6*p + d - 135 = 3*p. Suppose -43*u - 8 = -p*u. Solve j + 16 = 3*q, -q - u*q = 3*j - 8 for j.
-4
Let q(j) = -j**3 + 16*j**2 + 55*j + 45. Let t be q(19). Solve -4*o = 5*c + 23, -4*o + t*c = 2*c - 7 for o.
-2
Let y(d) = -5*d + 21. Let b be y(4). Let n be 4/(1 + 1 - 0). Solve h + 2*i + 2 = -b, -3 = -n*h - i for h.
3
Let z = -2 - -5. Suppose 0 = 2*h + z*h. Solve -4*k = 3*a, 6*k - k - a - 19 = h for k.
3
Let i(j) = -2*j + 4. Let f(h) = h**2 + 9*h + 15. Let m be f(-7). Let s be i(m). Solve 0 = 2*y + s*a + 4, 0*y + 8 = -4*y + 4*a for y.
-2
Let a be 3/(-2)*(-4)/3. Suppose -62 + 18 = 2*u. Let y = u + 25. Solve -3 = 2*w + 3*k - a*k, 2*k = y*w - 6 for w.
0
Let c = -2 - -17. Let a = 32 + -31. Suppose -3*p + 3 = 4*v, 4*v = -5*p - 4 + a. Solve v*l = -x - 2, 4*x + 2*l = -3*l - c for x.
-5
Let b(v) = -7*v + 3. Let y(h) = 10*h - 4. Let x(k) = -7*b(k) - 5*y(k). Let t be x(-1). Let s be 3*(1 - t)/1. Solve -p = 5*q - 17, -1 = s*q - 10 for p.
2
Suppose 2*a = g + 174, -2*a + 4*a = 5*g + 166. Suppose 86*y - a*y = 0. Solve w = -y*o + o, 4*o + 24 = -2*w for o.
-4
Let a(p) = p**3 - 11*p**2 + 4*p - 41. Let i be a(11). Solve -6 = -3*l - x + 5*x, 2*l + 13 = -i*x for l.
-2
Let s = 2 + 1. Let x be 0 + 12/2 - 1. Suppose 0 = -3*r - 3*c - 3, x*c - s = -2*r + 4*c. Solve -2*w - t - 4 = t, 3*w + r*t + 9 = 0 for w.
1
Let q = 305 - 302. Solve 0*c - 4*c + 45 = 5*h, 2*h + q*c - 25 = 0 for h.
5
Let q(o) = o**3 + 4*o**2 + 3*o. Let v be q(-2). Solve -4*c - 21 + 1 = 4*a, -v*c + a = -5 for c.
0
Let g = 4 - -2. Suppose -3*o + g = 33. Let w(h) = h**3 + 8*h**2 - 10*h - 2. Let q be w(o). Solve -4*i + 1 = -5*k - q, -i = 4*k - 2 for i.
2
Suppose -3*u - 158 = 4*j, 5*u - 4*j + 343 - 69 = 0. Let f = u - -59. Suppose 5*y = -0*y. Solve y*v = h + f*v - 20, 5*h + 3*v = -10 for h.
-5
Let t = 20 - 8. Let p(s) = -6*s - 30. Let y be p(-6). Let x be (-2 - -6)/t*y. Solve 10 = -x*v, 3*i + 2 = 4*v + 7 for i.
-5
Let k be (42/15)/1*-5. Let g = -9 - k. Let s be (5 - (-54)/(-8))*-20. Solve 2*b - g*i = 5 - s, -7 = 3*b + 2*i for b.
-5
Let g = 201 - 83. Suppose -10 = 113*s - g*s. Solve -4*w = -4*t, 3*t + 2 - 4 = s*w for t.
2
Let r = 2 - -2. Let j be 1/r - (-19)/4. Let i(x) = 3*x**2 - 126*x + 246. Let v be i(2). Solve y + 3*k + v = 0, j*y + 10 = -7*k + 2*k for y.
0
Let d = 28 - 24. Suppose -5*k + 7 = 3*t - d*k, -5*k - 5 = 5*t. Suppose -t = 4*g - 20, x + 2*g - 13 = 0. Solve -15 = -3*n - z + 6*z, -15 = -4*n + x*z for n.
0
Let j(k) = -k**3 - k**2 + 3*k + 3. Let g be j(0). Solve 5*b = -g*o - 13, 0*o - 32 = -3*o + 4*b for o.
4
Suppose -65 = -2*b + 4*t - 35, 2*b + t = 5. Solve -3*x = 5*p - 8*x, -p + 2*x = b for p.
5
Let z(m) = -m - 2. Let l be z(-7). Suppose -l*u - 5*c + 5 = 0, 3*u - 7 = -0*u - c. Solve -u*r = 3*o - 15, 2*r = -5*o + 7*r - 25 for o.
0
Let w(n) = n**2 + 12*n + 1. Let m be w(-10). Let h = 7 + m. Let a be (10/4)/(-5)*h. Solve -2*d - a = -2*v, -4*v + 4 = 4*d - 0*v for d.
-1
Suppose -x - 1 = -g, -5*x = -2*g - x - 8. Suppose -5*t = 3*f - 40, -g*f + 2*f = -t - 15. Solve i = -4*l + 8, -l - 2 + 4 = f*i for l.
2
Let z(f) = f - 8. Let b be z(12). Solve 0 = 4*p - r - 17, 2 = -5*p - b*r + 18 for p.
4
Let m = 31 - 99. Let k = 71 + m. Solve -12 = -k*j, t + 3*j - 8 - 5 = 0 for t.
1
Suppose g - 4*h = -4, -g - 2*h = h - 10. Let y(j) = 3*j - 1. Suppose k - 3 = -0*k. Let i be y(k). Solve u - 2*n - 3 + 9 = 0, 0 = -g*u + 4*n - i for u.
2
Suppose 47*w - 15 = 44*w. Solve -4*x = -w*c - 3 + 2, -2*c + 4*x = 10 for c.
3
Let g be 9 + -10 + (1 - -11). Suppose 17 = 2*y - g. Solve -2*t = -4*r + y, 3*r - 27 = r + 5*t for r.
1
Let h(r) = r**2 - 5*r + 5. Let g be h(5). Suppose 0 = -z + g*x + 19, -3*x - 13 = 4*z - 5*z. Solve -3*w + 0 = z*m + 3, -5*m + 10 = w for w.
-5
Let k(v) be the first derivative of -v**3/3 - 11*v**2/2 + 12*v + 25. Let m be k(-12). Solve 0 = -4*c - 2*x + 8, c + x + m = 1 for c.
3
Let j(g) be the third derivative of -g**4/24 - g**3/6 + g**2. Let z be j(-4). Solve -2*s + b - 3*b = 16, z*b = -s - 18 for s.
-3
Suppose -4*q + 11*q = 35. Suppose -4*i + 0*p + 11 = p, 4*p = q*i + 2. Let j = 23 - 12. Solve h = -2*f - j, -i*f = 6*h - h + 15 for f.
-5
Let c be 10*(15/(-6) - -3). Suppose 3*o - c = -k, -2*k = 6*o - 2*o - 10. Solve 2*t - 1 = 3*t - k*v, -3*v = 0 for t.
-1
Let k(f) 