5*y - z*o - 2 for y.
-1
Let b = -2 - -4. Suppose 2*r + 10 = 4*y, -r = -b*y - 5*r + 30. Solve 4*p + 11 = -5*c, -p + y*p - 5*c = 19 for p.
1
Let v(j) = -j**3 + 10*j**2 - 17*j + 12. Let t be v(8). Suppose 2*f - 18 = 2*w + 2*w, t*w - 7 = -3*f. Solve -f*a + 3*o = -20, o = -3*a + 5 + 7 for a.
4
Suppose 2*r + 6*b - 2*b - 12 = 0, -5*r = 3*b - 23. Let v(a) = 2*a + 2. Let t be v(9). Solve r*h + t = 0, -3*d + 5*h + 45 = d for d.
5
Let d be (-66)/(-42) - 9/(-21). Solve -3*f = 5*y - 10, 0 - 4 = -d*y - 2*f for y.
2
Let f(i) = -i + 5. Let j be f(4). Suppose 3*k - 4*s + j = 6*k, 4*s = 3*k - 17. Solve 0 = 4*b + k*g + 1 + 4, 0 = -5*b + 3*g + 14 for b.
1
Let s be ((-4)/10)/((-37)/(-370)) + 12. Solve 0 = 4*i - 4*n + 28, -i - s = -2*n + 3 for i.
-3
Suppose 4*g - 28 = -0*g - 3*y, 0 = -5*g - 4*y + 36. Let d(u) = g + 2*u - 2*u - 4*u + 5*u. Let x be d(-4). Solve t - 5*f = 16, 5*t + 2*f + 2 - 1 = x for t.
1
Suppose 0 = 3*t - d + 16 + 20, -3*t - 2*d = 36. Let f be (20/8)/((-5)/t). Solve -6*h + f = -5*o - 3*h, -o + 9 = -4*h for o.
-3
Let a be (-27)/(-3) - 15/(-5). Let o be a/9*1*(-6)/(-4). Solve o*n + 5*w + 12 = -3, n + 10 = -5*w for n.
-5
Let k be (-6)/45 - (-8)/((-1200)/(-1370)). Solve -3*c + 2*c - 5 = 2*z, 3*c = -3*z - k for z.
-2
Let g be (10/15)/((-2)/(-9)). Let i(h) = h**2 - h - 4. Let f be i(g). Suppose -4*b = -f*b. Solve -2*j = -b*y - 2*y + 4, -3*j = 2*y - 14 for y.
4
Suppose 9*w + 3*m - 44 = 7*w, w = -3*m + 25. Let g = w + -19. Solve 2*f = 2*v - 4*v, g = 5*v + 4*f - 4 for v.
4
Let l(p) = 2*p + 44. Let g be l(-12). Suppose 44 = 2*s + g. Solve 3*t + 3*o = s, 5*t + 4*o - 31 = -11 for t.
4
Suppose -4*y + 217 = 93. Let i be 39/12 - 3 - y/(-4). Solve -z + i + 1 = 3*t, 0 = -t + 3 for z.
0
Let s be (4 - (-2)/(-2)) + -1. Let t be (8/6)/(s/3). Suppose 3*k + 29 = 5*d, 3*k = -2*d - t*d + 7. Solve 5*w - 2*v - 7 = 4*w, 0 = d*w + 3*v + 27 for w.
-3
Let k(v) be the first derivative of -v**4/4 - v**3/3 + v**2/2 + 3*v - 4. Let t be k(0). Suppose -t*d + 8 = d. Solve 2*s = -d*z - 6, 4*s + 30 - 9 = 5*z for s.
-4
Let x = 74 + -71. Solve 28 = -0*w + x*w + 4*c, 2*c = -3*w + 20 for w.
4
Suppose 13*z + 120 = 28*z. Solve 0 = 5*q, z + 2 = -5*x - 3*q for x.
-2
Let j = 19 + -35. Let r = j + 17. Let f be (-11)/(-4) + r/4. Solve 7*y + 3*z = 2*y + 2, 0 = -f*y - 3*z for y.
1
Let o be (-80)/(-42) + (-56)/(-588). Solve 3*u = 3*k - 2*u + 10, 3*u = -o*k + 6 for k.
0
Suppose 2*d - 2 = w, -11 + 13 = -d + 2*w. Let t = -2 - -4. Solve 6 = -t*y - d*h - 10, 5*y - h = -16 for y.
-4
Let u(r) = -r**2 - 5*r + 2. Let w be (-3)/(-15) - 292/10. Let g = w - -24. Let c be u(g). Solve -3*m + h + 14 = 0, -5*h + c*h + 10 = 4*m for m.
4
Let m = 84 - 87. Let y be m/15 + (-1 - 36/(-5)). Solve y*k - 3*d = 3*k - 24, k - 5*d = -24 for k.
-4
Let c be 6/4*560/24. Let w = c + 189. Suppose -3*l = 4*l - w. Solve -3*u = -5*z - 25, 4*z - 2*u - 12 = -l for z.
-5
Suppose o + 3*x - 5 = 0, 2*o - 14 = -2*x - 4. Suppose -29 = -o*u - 9. Solve 4 = 4*h + u*j, -2*h + 2 = 2*j - 3*j for h.
1
Suppose -80 = -59*m + 38. Solve m*s + 5*g + 33 = -0*g, -g + 7 = -3*s for s.
-4
Let j be 4 + (-3)/((-9)/(-6)). Suppose 5*w = 12 - j. Suppose d = -w*d + 12. Solve -d*l - 12 = 3*i + i, 0 = 5*i - 10 for l.
-5
Let k be 11*(-7)/(-231) - 29/(-3). Solve -s - 5*i = -3*s - k, 4 = i for s.
5
Suppose 4 = -v, 2*m - 5*v - 60 + 10 = 0. Let l be (1 + m/(-3))*-1. Suppose -2*b + 7*b - 30 = 0. Solve 0 = -l*k - 2*a + 24, -5*k + b*a = 2*a - 17 for k.
5
Let a be 5 + (2 - 0 - 5). Suppose -a*o + 2 + 4 = 0. Let d = -6 + 9. Solve -6 = -o*p - 2*j, d*p + 5*j = 8*p - 35 for p.
4
Let d be (-5)/(((-4)/8)/((-5)/(-10))). Solve -s = -d*c - 22, 20 = -5*c + c for s.
-3
Suppose 5*z - 94 = 66. Suppose 19 = 4*q + 3*j, 2*q + 116*j - 10 = 114*j. Solve 0 = -0*g - 2*g - c + 7, -z = -4*g + q*c for g.
5
Suppose -2*a = -2*o + 2, 4*o + 3*a + a - 44 = 0. Suppose 15 = o*k - 3*k. Solve 0 = z + k*l - 11, -l + 6*l = 3*z + 7 for z.
1
Let b be 9/((-63)/(-28)) + (2 - 3). Let v(a) = -a**3 - 7*a**2 - 7*a - 2. Let y be v(-6). Solve n = x + 3*n - y, -4*x - b*n - 4 = 0 for x.
-4
Let x(p) = -2*p**3 - 3*p**2 - p + 1. Let r be x(-2). Let g = 0 - -14. Let l be (r/g)/((-2)/(-4)). Solve y + 2*s = -0 + 5, -s + l = 0 for y.
3
Let l be (-30)/20 - 1*(-15)/6. Suppose j = -l + 3. Solve o - 16 = 5*m, -o + j*m + m = -8 for o.
-4
Let s = 916 - 912. Solve -4*h - 20 = -s*n, 8 = -2*h - 2*n - 2 for h.
-5
Suppose -3*a + 5*a = n + 3, 0 = 5*n - 5*a - 5. Suppose -l + n*p = p - 1, 2 = 2*l + 3*p. Solve -4*b - 2*u = 0, 5*b + 0*b = -2*u + l for b.
1
Let b be (-4)/(3 + -1 - 4). Let o = 51 - 49. Solve 0 = b*z - 2*v - 2 + 6, 4*v = o*z + 2 for z.
-3
Suppose 5*q - 15 = 0, -5*q = -5*a + 2*a - 6. Solve -5*n + 3*r = -16, 3*n - a*r = -0*r + 6 for n.
5
Suppose -3*f + 28 = l, -66 = -3*l - 3*f - 0. Solve 2 = -4*h - g - l, 3 = 3*h - 3*g for h.
-4
Let w(i) = i**3 + i**2 + 2*i - 2. Let t be w(1). Let f be (-2)/2 + (3 - t - 0). Solve f = 2*b - 0*u - u - 6, 4 = 4*b - 4*u for b.
5
Let x(s) = s**3 - 7*s**2 + 5*s + 8. Let v be x(6). Suppose 0 = -8*o - 6 - 18. Let m be (-3)/(4/(o + -5)). Solve v*b - m + 28 = -4*z, z + 13 = -2*b for b.
-5
Suppose -4 = 3*a + 2*j, -4*a - j = -46 + 43. Solve 2*u = a*r + 12, 2*u = r - 4*r - 3 for u.
3
Suppose -28*i - 4 = -30*i. Let v = -34 - -65. Let k be (-1 - 0)/(-1)*v. Solve 0 = 3*y - i*j + 9, 0 = -5*y - 4*j + 2*j - k for y.
-5
Let m = -430 + 430. Solve -g + 2*i - 1 = m, g = 4*g + 3*i - 6 for g.
1
Suppose 4*h + 3*y = 6*y + 10, 0 = -3*h + 3*y + 6. Suppose -8*z = -9*z - 24. Let a = z - -41. Solve -4*q - 20 - a = 5*u, q = h*u + 17 for u.
-5
Suppose -45 = -20*c + 17*c. Suppose 0*b + w = -3*b + c, 5*w = -2*b - 3. Solve p - b*p + 23 = x, -3*x = -3*p + 21 for x.
-2
Suppose -293 + 44 = 5*r + 2*q, 4*q + 141 = -3*r. Let z = r - -53. Solve -a + 12 = g + z*a, 2*g - a + 4 = 0 for g.
0
Let d be ((-285)/(-30) - 11) + 14/4. Solve 5*u - 4 + 32 = r, d*u - 4*r + 22 = 0 for u.
-5
Let u(d) = 4*d**2 - 12*d + 8. Let l be u(1). Solve l = -4*j - 2*q + 16, -2*j + 3*q + 8 = -0*j for j.
4
Let b = -2229 - -2231. Solve 3*x + 16 = b*f, -3*f + 12 + 9 = -3*x for x.
-2
Let n = 265 - 249. Solve m - 8 = 5*z, -n = m - 5*m + 4*z for m.
3
Suppose 4*z = 2 + 58. Suppose 2*f - 1 = 31. Solve 0 = -5*s + z, b = -4*s - s + f for b.
1
Let y be ((-8)/(-34))/(114/969). Solve -2*f = -4, -y*h - 2*f + 0 = -10 for h.
3
Let p be 15*1 + 78 + -88. Solve -q = -3*y - 1, -p*q + 18 = -0*y - 2*y for q.
4
Suppose 9*w - 5*w - 26 = 3*v, 0 = -2*w + 3*v + 16. Solve -3*x - 37 = -w*j, 12 = x + x + 4*j for x.
-4
Let q(l) = l**3 + 9*l**2 + 14*l + 24. Let a be q(-7). Solve -w + 5*s + 0 + a = 0, 3*s + 16 = w for w.
4
Suppose -17*y = 2*v - 14*y - 15, -3*v - 5 = -y. Solve -2*l + u = -2*u - 5, v = 4*l + 3*u + 35 for l.
-5
Let s be 24/(-28) + (3 - (-13)/7). Solve 3*h = w + s*w + 3, 3*h + 15 = -w for w.
-3
Let y = -1 + 3. Suppose r - 4*c + 6 = 3*r, y*r = -3*c + 6. Suppose 2*z - 15*z + 325 = 0. Solve -15 + 5 = -5*n + r*i, z = 5*i for n.
5
Let y be ((-46)/3)/((-10)/(-15)). Let b = y - -22. Let o(j) = -3*j + 3. Let i be o(b). Solve 4*u + 2 = h + i, 4*h + u = 18 for h.
4
Let l = 52 - 35. Suppose -5*z = -8 - l. Suppose 4*v = 3 + z. Solve 4*j + 3*f + 23 = 0, 3*j = -v*f - 7 - 10 for j.
-5
Let u(q) = -2*q**2 - 29*q + 17. Let d = 73 - 88. Let z be u(d). Solve -2 = -r + z*i, -3*i - 7 = r - 2*i for r.
-4
Suppose -2*f + 2*j + 13 + 41 = 0, 2*j + 6 = 0. Solve d - 5*l - 24 = 0, 2*l = 6*d - 2*d - f for d.
4
Let d = -7 - -12. Suppose 5*v + 3*l = -9, -3*v = -8*v + d*l + 15. Suppose v = c + 5*s + 22, -3*s - 7 = c - s. Solve -2*a = h + 3, c*a + h = -2*h for a.
-3
Let x = -38 - -23. Suppose -92 = -3*b - b. Let g = b + x. Solve 5*p = -4*k + 16, 2*p = 3*k - g*k + 20 for p.
0
Let u = 268 + -266. Solve 4*h + 6*z - 4 = u*z, 5*z + 20 = 0 for h.
5
Let x(g) = -2*g**3 - 3*g**2 - 3*g - 4. Let i be x(-3). Let r be i/6 - (-13)/(-39). Solve r*h = 3*k + h - 27, -4 = -2*k - 2*h for k.
5
Let i(t) = 35*t + 37. Let c be i(-1). Solve 3*g + 3*w = -3, g = -c*g - 5*w + 1 for g.
-3
Suppose w = 2*w - 12. Let g = -3 + w. Solve 0 = -s + 5*v + 5 - 18, -3*s = -5*v + g for s.
2
Let g be (-4 - 132/(-18)) + (-2)/(-3). Solve 37 = 5*s - 4*v, 0 = -2*s + s - 3*v - g for s.
5
Let g(h) = h**2 + 8*h - 18. Let l be g(-10). Solve -5 = -d, 0*d = l*j + d + 1 for j.
-3
Suppose 86 = -2*b + 2*c, 5*b + 0*c + 185 = -5*c. Let h = -36 - b. Solve 4*a = -h*d + 28, d = 3*