y - 2 = -2*o for y.
-2
Suppose -168*i + 174*i - 24 = 0. Solve -4*h + 4 = -n - 0, 4*h + n = i for h.
1
Let h(j) = -2*j**3 - j**2 + 9*j + 11. Let d be h(-2). Solve -3*u + 2*t - 6 = 0, -u - 2*u - 6 = -d*t for u.
-2
Let s = 1953 - 1924. Solve 3*u = -4*k - 19, -4*k - u = 4*u + s for k.
-1
Let o = 43 + -13. Suppose o = u - 5*t, 4*t - 34 = -5*u - 0*t. Suppose s - u = -4*s. Solve 5*v + 0*x = s*x - 1, v - 2*x + 5 = 0 for v.
1
Let r(m) = -m**2 - 5*m + 2. Let q be r(-5). Suppose 3*y + 3*c + 5 = -q*c, 0 = -4*y + 4*c + 36. Solve -k + y*d + 26 = k, -5*k = -4*d - 31 for k.
3
Let f = -94 - -94. Solve g - 4*o - 14 = f, -4*o - 6 = -2*g + 5*g for g.
2
Let v = -1155 + 1156. Solve -r - v = -3*c, 2*r - 4*c = -7 + 3 for r.
-4
Let s(u) = -3*u**3 + 2*u**2 + 3*u - 3. Let k be s(-2). Suppose 7*m - 33 = k. Solve -m*t + 5*w = -5*t - 28, -w = 2*t + 3 for t.
1
Let w be (-32)/(-176) - (-18)/22. Let j be (-4)/(-10) - (-36)/10. Solve -w = 4*m + x - 0*x, -j = -2*m - 2*x for m.
-1
Let x be 18*(10/(-4) + 3) + -3. Solve 0 = -5*b + 3*v - 5, -4*b - v - x = -2 for b.
-1
Suppose -10*a = -7*a - 24. Solve 0 = 3*o - 2*b - a, 4*o + 0*b - 22 = -3*b for o.
4
Let a be (2 - -6)*5/4. Let j be 4/(-9)*(-45)/a. Solve x - 3*x - 10 = -j*d, -4*x - d + 5 = 0 for x.
0
Suppose -5*d = -p - 2*d - 3, -5*p + 4*d = -7. Suppose -2*k = p*k. Solve q = 3*i - i, k = i + 3*q + 14 for i.
-2
Let r(x) = 7*x**3 - 6*x**2 + 5*x - 1. Let d be r(1). Solve 2*z - b = 21 - 14, d*z - 20 = 3*b for z.
1
Let k(s) = -s**2 + 26*s + 43. Let q be k(27). Let w be (2/2 - 2) + 3. Suppose -10 = -3*r + w. Solve -n = -2*i + r*n + 20, 0 = -3*i - 4*n - q for i.
0
Let k = 14 + -10. Suppose -2*s + 120 = k*s. Let w = 20 - s. Solve 4*n + 5*h = -3, w = -n - h + 3*h - 4 for n.
-2
Let w be (40/(-12))/(5/(-15)). Solve -o + 4*o + 5*n = -w, -5*n = 2*o + 10 for o.
0
Suppose -4*a = 15 + 1. Let j be 33/9 - a/(-6). Let u(h) = h**3 + 5*h**2 - h. Let q be u(-5). Solve 2*v = -w - j, -q*v - 4 - 6 = 5*w for v.
-1
Suppose -s = 3*g - 19, 12*g - 5*s + 5 = 9*g. Solve g*k = -i + 14, -5*k + 8 = -2 for i.
4
Let j = 3 - -2. Suppose 0 = -0*b + j*b - 35. Suppose 3*c = 22 - b. Solve 2*m + c*p + 11 = -7, -6 = 2*m + 2*p for m.
1
Let h(q) = -q**3 - 8*q**2 - 7*q + 2. Let y be h(-7). Let l(p) = -p**3 + 4*p**2 - 2*p - 4. Let k be l(y). Solve 5*j + 4*x - 4 = k, 0*j - j = 4*x - 4 for j.
0
Suppose 16*a - 6 = 14*a, 11 = 5*s - 3*a. Solve -4*v + v + 20 = 4*r, 0 = s*v - 2*r + 10 for v.
0
Suppose 88 = 4*z + 4*k, -3*z - 4*k = -40 - 26. Let a(p) = p - 1. Let b be a(1). Let t be (1 - (-2 - b)) + z. Solve 5*j = -c - 25, c - 6*c + 5*j = -t for c.
0
Let g(s) = 7 + 15*s**2 - 6*s - 6*s**2 + 0*s**2. Let k be g(1). Solve -4*d + 8 = 4*a, -2*a + 0*d + k = 4*d for a.
-1
Let o = -405 + 409. Solve -o*a + 2*c - 10 = 0, 5*a - 17 = -2*c - 52 for a.
-5
Let y be (1 + (-39)/6)*(0 - 2). Suppose -2*x - 5 = -y. Solve 2*j = -x*v + 5, 5*j + v = 9 - 3 for j.
1
Let u(q) = 15*q**2 - q. Let s be u(1). Suppose 5*f = s*f. Solve -9 = -0*z + z + 4*d, f = -5*z - 5*d - 15 for z.
-1
Let n be 2/(-3) + ((-28)/(-6) - 1). Solve -2*p - n*y - 2 = 7, -3 = -5*p + y for p.
0
Let k(l) = -l**3 + l**2 - 2. Let b(o) = -2*o + 9. Let s be b(3). Let r be k(s). Let h = -12 - r. Solve 0 = -2*g + h, 5*p + 3*g = -2*g - 5 for p.
-5
Let r be -2*10/60 + 4/3. Solve -4*g - 3 = r, -4*z - 2*g = -2 for z.
1
Suppose -4*m = -5*m + 5*k + 18, 2*m + 12 = -2*k. Let u be 4*(m - -1) - -10. Solve u = -4*f + 2*y, -5*f - 4*y + y = 24 for f.
-3
Let o(j) = -j**2 + 3*j + 14. Let r be o(6). Let n be (8/(-4) - r)/((-1)/(-2)). Solve 7 = x + n*p - 4, 5*p = x + 7 for x.
3
Let d = -48 - -51. Suppose 20 = q + d*q. Let s be (-1 - 9/(-2))*2. Solve -t - 2*j = 0, -q*t = s*j - 3*j + 6 for t.
-2
Let d(l) = -l**3 - 3*l**2 - 2*l - 2. Let a be d(-3). Let p = 1 - -11. Let m = p - 8. Solve 6 = m*u - a*k - 6, -2*u + 4 = -4*k for u.
4
Let h be (-4)/(-48)*-6 + 5/2. Solve -h*j - 4*b - 32 = 2*j, 5*j - 2*b = -5 for j.
-3
Suppose -9*b + 2*b = 441. Let c = b + 67. Let m = -3 - -8. Solve 0 = -5*z + 5*q + m, 0*q + 2*q = -c*z - 20 for z.
-3
Suppose -20 = -5*u + 5*i, 3*i = -i - 16. Suppose y - 4 = -u. Let b be (0 - y - -1) + 7. Solve -v - 5*a = -2*v + 9, -5*v - b*a + 16 = 0 for v.
4
Let v be (-3 - 2*20/(-8)) + 1. Solve s + 3*k = -7 - v, -4*s = 5*k + 12 for s.
2
Suppose -5*i - 35 = 4*z - 9*z, -2*z + 8 = i. Suppose 20 = -z*f + 9*f. Solve 18 = -2*q - 0*q + f*o, -3*o + 9 = -3*q for q.
1
Suppose x = -5*t - 13, -t = 4*x + t - 38. Solve -3*z + x = 0, -3*h - 5*z + 16 = -1 for h.
-1
Suppose r - 6 = 6. Suppose -f = -0*f - r. Let h = 17 - f. Solve -5*c = 4*q - h, 6*q + 2*c = 3*q - 5 for q.
-5
Let x(s) = 2*s**3 + s**2 + s - 2. Let q be x(-2). Let w = q - -28. Let l = w + -9. Solve 0 = -3*n - l*h - 21, -10 = 3*h - 1 for n.
-4
Suppose 106*n = 107*n - 61. Suppose 15*f = -1 + n. Solve 5 = -f*x + 3*b - 1, -3*x + 4*b - 8 = 0 for x.
0
Let m be ((-1)/3)/(7983/999 - 8). Solve 0 = 3*g + 4*c + c - m, -5*g = c - 25 for g.
4
Let s(x) = x**3 + 2*x**2 - 9*x + 2. Let m be s(2). Solve 2*o + t = -2, 5*o + 4*t + 0 - 1 = m for o.
-3
Let p = -3162 + 3167. Solve 4*d + 0*r = -p*r + 7, 0 = r + 1 for d.
3
Suppose 0 = -21*y - 0. Suppose -3*v + n = -2*n - 21, -20 = 5*n. Solve v*f + j + 18 = -j, 4*f - j + 13 = y for f.
-4
Let j = -121 + 123. Solve -5*o + 5*c - 12 = 4*c, 5*c = j*o + 14 for o.
-2
Let x = -533 + 533. Solve -4 = -2*i, 0 = 3*w - x*i - 2*i - 8 for w.
4
Let n be (-3 + -1)/(3 - (6 + -1)). Solve -4 = i - h, i - n*h + 7 + 1 = 0 for i.
0
Let n = -26 - -28. Suppose n*x - x = 2, -3*t - 2 = -4*x. Solve t*m - 5*k - 19 = 2, -m - 6 = 3*k for m.
3
Let k(c) = 2*c + 8. Let q be k(1). Solve -2*s = 5*m + q + 3, 0 = -5*m + 5*s + 15 for m.
-1
Suppose 9*i + 170 = 530. Suppose 3*v + 6*m - m = i, 0 = 4*m - 20. Solve -3*w - 9 + 3 = 3*u, -v*u - 19 = 2*w for u.
-5
Let t(z) = z**3 + 3*z**2 - 3*z - 6. Suppose -w + 1 - 4 = 0. Let r be t(w). Let q be 2/3*6 - 1. Solve l + r*o = o - 11, -5*l = q*o + 20 for l.
-1
Let d(r) = -r - 1. Let w(n) = 8. Let g(a) = -2*d(a) - 2*w(a). Let p be g(8). Let h be p/(-11) - (-144)/66. Solve 5*k = 3*u - 10, h*u - 5 = 5*k - 0*u for k.
1
Suppose 7*c + 7*c - 68 = -3*c. Let s be 0/(5/(10/4)). Let p(x) = -x + 2. Let i be p(s). Solve 3*l - 2*b = 2*l, i*b - c = 3*l for l.
-2
Let g be 4 - ((-2)/1 - -1). Let f = -8 + 43. Let k be 2/(-3 - f/(-10)). Solve -g*v - k*i = 3 + 8, -5*v = -4*i + 19 for v.
-3
Let c be 3/((-3)/(-2)) + 0. Let y(d) = -d**3 + 10*d**2 - 8*d + 7. Let f be y(7). Let v = f + -94. Solve v*w = -0*w + 4*o - 8, 0 = c*w - 3*o + 3 for w.
-3
Let k(h) = 5*h**3 - 4*h**3 - 11*h**2 + 13 - 2*h**3 + 2 + h. Let r be k(-11). Solve l - 5*s = -4, l = -4*s + s - r for l.
-4
Suppose 27 = -3*w - 0*t + 2*t, 1 = -w - 2*t. Suppose -8 = -j - 1. Let z = w + j. Solve 5*l + 3*b - 9 = 4*l, z = 5*l - b + 3 for l.
0
Let j be (-7 - -3)/2 - -10. Suppose j = -5*w + 23. Solve 4*b = -4*n + w + 1, 0 = 2*b - 2*n + 14 for b.
-3
Suppose t + 2*t = -3*m + 6, -m = 5*t + 10. Suppose -m*n = 3*c - 5, n = 4*c - 3*n - 28. Solve -5 = c*x, 0 = -2*u - u - 4*x + 11 for u.
5
Let o be (1/3)/((-3)/(-9)). Let s be (6/(-12))/(1/(-4)). Let r be s/o + (3 - 0). Solve 4*t = 2*v + 14, 4*t + 0*v = -v + r for t.
2
Let s(h) = -5*h + 38. Let q be s(7). Solve 4*f + 5*w + 14 = 0, 9 = -q*f - 4*w - 2 for f.
-1
Let f = 321 + -316. Solve -f*n - 7 = 3*d - 1, 2*n = 0 for d.
-2
Let t(x) = -2*x + 8. Let f be t(6). Let h = 6 + f. Solve 4*d + h*l = 16, 2*d + 2*l + 1 = 9 for d.
4
Suppose -5 = -3*u + 25. Suppose -8*n + 22 = -u. Let g(a) = a**3 - 8*a**2 + 7*a + 6. Let v be g(7). Solve z + 1 = n*z + 4*y, v = 2*z + 4*y for z.
-5
Let j = -1850 - -1853. Solve 3*m = j*b + 6, -3*m + 3*b - 4*b - 14 = 0 for m.
-3
Let p(o) = -o**3 - 9*o**2 + 21*o - 8. Let t be p(-11). Solve 0 = -3*s - t*y, -2*s = s - 5*y - 24 for s.
3
Let x(y) be the third derivative of -y**6/120 + 13*y**5/60 - y**4/2 - 3*y**2. Let t be x(12). Solve -j + 2*j = q, j - 5*q + 8 = t for j.
2
Let s(n) = 6*n**2 - 4*n + 3. Let b = -93 + 94. Let w be s(b). Solve 5 = -c + 5*r, -3*r = -2*c + c - w for c.
-5
Let r be (-1)/((77/35)/(-11)). Solve 4*y - 3*n - 20 = 0, 5*y - 25 = 10*n - r*n for y.
5
Let p = -19 + 22. Suppose f + 1 - 12 = p*a, -f - 2*a - 4 = 0. Solve -4*v = -4*l - 16, -5*l - f = v + 6 for l.
-2
Suppose -2*j + 4*w + 14 = 0, 3*j - 2*w = -0*j + 17. Solve 5*b - v = j + 1, -5*v = -20 for b.
2
Suppose -6 = -4*c + 7*c. Let i be 3*(