- d + 9 = n*z for z.
2
Suppose 2*m = v + 5, 2*v - 4*m = -v - 19. Let k = 24 + v. Let c = -13 + k. Solve c*o + 33 = 5*i, -5*o = -2*o + 12 for i.
5
Suppose 2*v - 9 - 1 = 0. Suppose 3 = s - v. Solve -3*f - 1 = -z + 4, 0 = -4*f + z - s for f.
-3
Suppose -17*j + 18*j = 0. Suppose 0*y + 12 = 4*y. Let w = y + -1. Solve j = 4*s + 5*m + 25, -s + 6 = -w*s - m for s.
-5
Let y(o) = 2*o - 5. Let j = 25 - 20. Let m be y(j). Solve 5*c + 11 = 3*g, -c + m*c = -4*g + 4 for c.
-1
Suppose -4*z - 27 = -127. Suppose -z*a = -22*a - 9. Suppose 15 = a*q + 6. Solve 3*i - 2*j - 3*j = 2, -3*i - 6 = q*j for i.
-1
Let a = 27 + -24. Suppose -o - 2 = -a*o. Solve -z + 15 = -2*k, 0 = -4*z - 2*k + 9 + o for z.
5
Suppose 5*c + 25 = -3*j, 5*j - 6 - 14 = 4*c. Solve 2*y - 4 = 0, j = 2*k - 0*y - y - 4 for k.
3
Let g be (-1 - 12/3)*-1. Suppose 2*t = 2*r + 10, -2*t + 3*r + 9 = -2. Solve i - g*s = 23, -3*i + 2 = -t*s - 23 for i.
3
Let a be 40/16*(0 + (-76)/(-10)). Suppose -7*m = -16 - a. Solve m*y + 10 = -0*u + 2*u, 0 = -5*y + 5*u + 5 for y.
-4
Let o(r) = 4*r**3 - 89*r**2 + 22*r + 4. Let h be o(22). Solve -h*p = -5*y - 25, p - 12 = 2*y - 5 for p.
5
Suppose 2*j + 3 = 3*j. Let l be 88/(-66) + 52/3. Solve j*c - 5*c + 5*z = l, -6 = -3*z for c.
-3
Suppose 11*s = -11 + 44. Solve -s*n - n = -5*a + 16, 0 = -2*a - n - 4 for a.
0
Let q = -1789 + 1797. Solve q*k + 3*g + 15 = 4*k, -2*g + 13 = -5*k for k.
-3
Let x = -9 + 5. Let v be (8/(-10))/(x/40). Let u = -5 + 8. Solve 6 = u*t, 3*z - v = t - 1 for z.
3
Suppose 2*v - 5*v + 36 = 0. Suppose 0 = -4*q - j + 3, -q + v = -5*j - 15. Solve 3*t = n + 16, 1 - 5 = q*n + t for n.
-4
Let i = 96 + -96. Solve 0 = g - w, 2*w = -i*w + 10 for g.
5
Suppose 4*b - 16 = c, -c - 28 = -4*b - 3*c. Suppose 3*f - 15 = 0, -f = -3*n - n - b. Solve -2*y - 4*d - 2 = n, -5*y + 45 - 17 = -d for y.
5
Let v = 2 - -26. Let n be 1/4 + v/16. Solve 7*q = 3*s + n*q - 25, 2*q + 9 = s for s.
5
Let j(h) = 10*h**3 - h**2. Let q be j(1). Let y = q - 1. Suppose z - 11 = -y. Solve -7 = 2*a - a - z*w, -3*w = a + 1 for a.
-4
Let x(b) be the first derivative of b**3/3 - 6*b + 4. Suppose 3*v - 6*v - 9 = 0. Let o be x(v). Solve a + o*t = -8, -3*a - 19 = 2*t + 2*t for a.
-5
Let f(z) = 4 - 1 - 6 + 4 + z. Let v be 2 - -1 - (-5 + 2). Let t be f(v). Solve 0 = -3*q - b - 16, -t = q + b + 1 for q.
-4
Suppose -2*w = -156 + 28. Let l = w - 62. Solve -3*i - 2*g - 13 = 0, i + l*i - 2*g + 17 = 0 for i.
-5
Let f be 1/(-2) + 3/((-30)/115). Let n = 12 + f. Solve u + 10 = 2*l - n, 5*l - u - 25 = 0 for l.
5
Suppose -32*p + 74 + 54 = 0. Solve -5*v + 7 + 3 = 0, p = 2*h - 3*v for h.
5
Let x(l) = 3*l. Let j be x(3). Solve -3*c - j = -c - h, 4*c - 4*h = -16 for c.
-5
Let n = -119 - -121. Solve -c + 19 = 3*q, 0 = 3*q - n*q + 5*c - 25 for q.
5
Let q(v) = -v**3 + 14*v**2 - 13*v + 14. Let y be q(14). Let x be y/(-6) - 2 - (0 - -1). Solve -4*a - x = -3*w, 5*w - 4*w = a + 7 for a.
-4
Let v(h) = h**2 + 2*h + 8. Let u be v(-7). Suppose 3*q - u = -19. Suppose 3*g = g + q. Solve -g*t + 8 = -3*d - 9, -4*d = -2*t + 16 for t.
2
Suppose -4*k = 3*o - 24, 5*o = -5*k + 45 - 10. Let w be (-1162)/(-996) - 2/12. Solve -z + o = -2*a + w, -3*a + z - 6 = 0 for a.
-3
Suppose -179 = -17*z + 25. Solve -4*b = -y + 2*y - z, 5*b - 2 = 2*y for b.
2
Let o = -110 + 114. Let h be 26/52 + 10/o. Solve -20 = -5*u, 12 = -t - 4*t + h*u for t.
0
Suppose -3*d - 2 = -2*h, 5*h - 7*d - 47 = -10*d. Solve 4*o = 5*y - 48 + h, -4*o - y - 11 = 0 for o.
-4
Let b = 222 - 219. Solve -b*z - 10 = -h, 3*h + 2*z - 12 = -h for h.
4
Suppose -b + 9 = h + h, -27 = -3*b + 4*h. Let x = b - 6. Suppose x*v + 2*w = -6, -5*v - 2*w - 6 = -0. Solve j + 4*q + v*q = 1, 5 = 5*j - 4*q for j.
1
Suppose -b = -0*b - m + 26, 2*m = -2*b - 32. Let r be b/(1 - -2)*-3. Solve -4*v = -5*j - 0*v - r, -4*j - 12 = -2*v for j.
-1
Suppose 2*u = -2, 2*f = 3*u + 68 + 21. Let q = 46 - f. Solve 4*a = q*j - 12, -6*j - 20 = -11*j - 5*a for j.
4
Let n(w) = 7*w - 1. Let c be n(1). Suppose -i + c = i. Suppose 2 = 2*z + o, 3*o = -z + i + 3. Solve -16 = -y + 5*d - z*d, -y = d + 2 for y.
1
Suppose -68 - 300 = -23*v. Solve -4*l = v, -2*k + 3*l = -20 + 2 for k.
3
Let f be 1/(4/92*-1)*-3. Let a = f - 66. Let p(u) = -u**3 + 6*u**2 - 4*u - 1. Let m be p(4). Solve -4*g + 2*n = 6*n - 20, a*g - 2*n = m for g.
5
Let d(s) = -5*s - 7. Let v(b) = 9*b + 13. Let x(y) = 5*d(y) + 3*v(y). Let w be x(5). Solve 4*j - 2*j - w = 4*a, -2*j - 6 = 0 for a.
-5
Let x(r) = -5*r. Let n be x(-1). Let q(o) = 2*o + 3. Suppose 12*g = 7*g. Let d be q(g). Solve 3*v = 5*j + 9 + 6, n*v - d*j = 9 for v.
0
Suppose 22 = -7*o + 57. Solve 6*j - 7*j - 4*v = 2, -o*j - 10 = -5*v for j.
-2
Let v(f) = -f - 4 + 2 + 1 + 1 + f**2 - 2. Let l be (2 - -2) + 1 + -2. Let r be v(l). Solve 3*d - 2*j + 2 = 0, r*j - 4 = d - 3*d for d.
0
Suppose 5*o + 5*m - 4 = 131, -2*o = -3*m - 39. Suppose 0 = 4*q - q + k - 10, 2*k + o = 5*q. Solve 2*y - 2*c = -0*y - 14, 2*y + q*c = 16 for y.
-2
Suppose -4*j - 6 = -u - j, -4*u - 5*j - 10 = 0. Suppose 7*h - 4 - 24 = u. Solve 3*i - h*i - 3 = 5*t, -2*t - 4*i = -6 for t.
-1
Suppose -h + 15 = 4*h. Suppose 0 = -h*b - b. Solve -4*p + 3 + 5 = 2*u, 4*u - p + 2 = b for u.
0
Let y(h) = -73*h + 732. Let v be y(10). Solve v*i = -r - 5, i - 1 = 3*r + 7 for i.
-1
Suppose 0 = 3*k + 4 - 13. Let v be (24/20)/(2/5). Solve -v*p + 3*a - 18 = 0, -k*p - 21 = -2*a - 4 for p.
-5
Let t = 16 + -7. Let m = t - 4. Suppose 0 = -m*p + 6*p - 4. Solve p*w + 4*h = 0, 4 = 4*h - 4 for w.
-2
Let u be (-4)/26 - (8 - 1584/156). Solve -5*t + 5 = -r + 2, -u*t + 4*r - 6 = 0 for t.
1
Let n(r) = r**3 + 6*r**2 + 2*r + 6. Let q be n(-6). Let p = q + 5. Let u = 2 - p. Solve -5*k = -4*v + 11, -v + u*k + 0 + 1 = 0 for v.
4
Let k(f) = f + 11. Let q be k(-7). Let n be q*-1*3/(-6). Let g(a) = a**2 + 6*a + 7. Let u be g(-5). Solve -n*v + 16 = -5*b, -u*v - 1 + 13 = -4*b for b.
-4
Let d = 15 + 2. Suppose -51 = -136*i + 133*i. Solve -5*a + l + d = 0, -l = -3*a + 3*l + i for a.
3
Let d = -1 + 11. Suppose -6*x - d = -7*x. Solve 3*j = 5*j + 2*u + x, -3*u = -4*j - 13 for j.
-4
Let f be ((-14)/4)/(4 - 45/10). Suppose 61 = f*i + 33. Solve -2*q + 22 = -2*a - 6*q, i*a + 4*q = -24 for a.
-1
Let a = 40 - 50. Let v be (0 + 4)/(-5*2/a). Solve 0 = -4*f + v*d - 16, -f = -d - 2*d + 12 for f.
0
Suppose 30 = -4*j + 42. Let l be 95/15 + (-4)/j. Solve 2*v - l*a = -2*v + 6, 5*a + 13 = -3*v for v.
-1
Let n(j) = -j**3 - j**2 - 1. Let q(i) = 2*i**2 + 20*i - 3. Let k be q(-10). Let v be n(k). Solve w - v = 4*m, -4*m + m = -2*w + 19 for w.
5
Let c = 6 + -5. Let k(z) = -3*z + 6. Let p be k(c). Solve -p*d - 3*v = -9, 5*v - 3*v = 3*d + 11 for d.
-1
Suppose -s - 55 = -12*s. Solve -s*l = 5*r, 2*l + r = -0*r for l.
0
Let o(h) = -h**2 - 6*h - 22. Let t(a) = -a**2. Let v(w) = -o(w) + 2*t(w). Let j be v(7). Solve r + 6*y + j = 2*y, -50 = -5*r + 5*y for r.
5
Let r be 1 - 0/4 - -1. Suppose -2*w + 4 = r*m, -4*w + 24 = -5*m - 2. Let u be (-1)/(-2) - m/(-4). Solve -2*i - 8 = -4*k + 4, u = 5*i + 2*k - 30 for i.
4
Suppose -8*x + 4*x = -16. Suppose -x*p + 13 - 5 = 0. Suppose 7 + 63 = 5*b. Solve -p*w = 4*n, 2*w - 4*n + b = -3*w for w.
-2
Let z(h) = h**3 - 2*h**2 - h - 1. Let o(n) = -3*n + 1 - 3 + 4*n - 1. Let l be o(6). Let y be z(l). Solve 2*c = j + 10, y*c - 28 = 5*j - j for c.
4
Let h(y) = -9*y + 452. Let q be h(50). Solve -v - 7 = q*a, -2*a - 3 = -1 for v.
-5
Let x(c) = -c + 16. Let i be x(-6). Suppose 4*t + 6 = i. Solve -t*n + 6 + 2 = -4*y, 2*y = 5*n - 4 for y.
-2
Let g = -2 - -10. Let q = 71 + -63. Suppose -22*j + 20*j = -q. Solve a - 5*w = -j, -2*a + w - g = -0 for a.
-4
Suppose -4*d + 35*b = 32*b + 9, 0 = -2*d + b - 3. Solve -5*h + 22 - 17 = 0, d = -2*o + 5*h - 7 for o.
-1
Let x(s) = -s**3 - 29*s**2 + 30*s + 25. Let g be x(-30). Let r be (25 - g)*(-2)/(-2). Solve 3*d - 4*d + 5 = r, 2*n + 14 = 4*d for n.
3
Suppose 2*d - 4*l + 2 = 0, -15*d + 11*d = 5*l - 35. Solve 5*f - 3*i = 8, 0*f - d*f + 4*i = -4 for f.
4
Suppose -3*r = -7*r. Let d(c) = -c - 3. Let l be d(-3). Suppose 0 = -l*s + 2*s - 8. Solve -s*n + 0*n - 2*j + 8 = r, 4*j + 2 = -2*n for n.
3
Let a = 3 - 1. Let w be 2/(-5) - 51/(-15). Suppose -9 = -w*f - 0. Solve 0 = -f*h, 0 = a*s - s - 3*h - 3 for s.
3
Let n = -11 + 16. Suppose n*l = l. Suppose 2 + l = 2*d. Solve 0 = 3*k - 5*r + 5, d = 2*k - 3*r + 5 for k.
-5
Let m = -84 + 84. Solve p + 2*a - 1 + m = 0, 5*p - 3*a = 18 f