= -2*i - 0*i - 6 for d.
4
Let k = 275 + -273. Suppose -3*x - 12 = d + 2*d, -2*x - 6 = 4*d. Solve 0 = k*w - 1 - d, 5 = -2*a + w for a.
-2
Let f be (-12)/(-4)*(-5)/(-3). Suppose -2*o - 2*o + 3*x - 9 = 0, f*o - 5*x = -10. Let u be ((-2)/6)/(o/18). Solve 3*q - 5 = 2*d, 0 + 2 = -u*d for q.
1
Let w = 41 - 25. Let a = -11 + w. Solve -6*f = -f + 20, -11 = -3*j + a*f for j.
-3
Let r be (-5 - -4) + (-9)/(-1). Let w be 20/r*6/5. Let o(s) = -s + 4. Let x be o(0). Solve x*b - 32 = -3*l, 5*b - 5 - 8 = w*l for b.
5
Let p = -21 - -23. Let n(j) = 7*j - 6. Let l be n(p). Solve 2*r + l = 4*r - 3*d, 4*d + 3 = -5*r for r.
1
Let q be (-1)/1 + (6 - (4 + -5)). Solve -2*j + q = -3*c, 2*c + 0*c + 6 = 2*j for c.
0
Let u(q) = q**3 - 5*q**2 + 3*q. Let n be u(5). Let f be (-3 + 6)*8/6. Suppose 5*j = -z + 10, -2 = -4*j + f*z + 6. Solve 6 = 5*b + j*y + y, -b + 4*y = -n for b.
3
Suppose -2*w = 17 - 5. Let g be 6/2 - (-3 - w). Suppose -2*u = 2*u - 12. Solve o - 5*p - 20 = g, 5*p - 9 = -u*o + 3*p for o.
5
Suppose -12 - 8 = -4*r. Let d(p) = -2*p. Let z be d(-1). Solve 2*h - r*q + 28 = 0, h + z*q - 5*q = -16 for h.
-4
Suppose -5*v + 3 = -7. Suppose 0*b + 30 = -3*b. Let z be b/(0 - (-3)/(-3)). Solve 5*i + 14 = -s, v*i = -3*s + 7*s - z for i.
-3
Let x = 1 + 3. Let k = -5 - -1. Let y be 15/(-2)*k/3. Solve 4*z - 4 = 3*c, x*c + 5*z + y + 16 = 0 for c.
-4
Let k be (4/(-12))/((-1)/3). Let q be (1 + -1)/(2 + k). Solve q = -c + 2*z - 9, 4*z = -2 + 18 for c.
-1
Let g = 3 - 3. Let d be g/4 - (0 + -3). Solve -5*p + 3 + 6 = -x, d*x - 3*p + 15 = 0 for x.
-4
Let q be (1 + 2)/1 + 1. Let x = -35 + 37. Solve o - q = -d, -x*o + 5*d = -0*o + 13 for o.
1
Let j(h) = -h. Let g(n) = -2*n - 3. Let s(u) = g(u) - 4*j(u). Let x be s(3). Solve 5*z - 13 = a, 2*a - 3*z + 15 = x for a.
-3
Suppose 7*z = -2*z + 18. Solve -3*l = 5*x + 19 + 6, -3*l - 19 = z*x for x.
-2
Suppose -1 - 7 = 4*f, -4*y = 5*f - 30. Solve -l - 3*b = 1, -y - 20 = -4*l + 5*b for l.
5
Let x = -22 - -27. Solve -1 = -2*g - 3, -x*o - 4*g - 19 = 0 for o.
-3
Let n(w) = -2*w + 3. Let x be n(-3). Suppose 7 + 17 = 4*j. Suppose 0 = -g + j*g - 180. Solve -x = 2*u + 4*r + 15, g = -5*u - 4*r for u.
-4
Let w be 0 - ((-14)/(-28) - (-5)/(-2)). Solve w*a + f + 4 = -4, 4*f - 4 = a for a.
-4
Let p be (-10)/3*(-15)/2. Suppose 0*l - p = 5*l. Let i be -2 + (3 - 2 - l). Solve -m - 5*h - 4 = -i*h, -3*m + 3*h = 0 for m.
-2
Let v be (1 + -1)*(-6 - -5). Suppose v*l + 5*l = 150. Solve g - 4*w - l = 3*g, 3*g + w = -20 for g.
-5
Suppose -5*s = -0*s + 5*i + 25, 0 = i + 5. Suppose s*m = 4*r + 3*m - 51, -3*r = -m - 48. Let y be -1*(-12)/r*5. Solve 5*u - 4*k = -1, -4 + 0 = y*k for u.
-1
Let j = -7 + 7. Suppose j = 6*v - v - 5. Let x be 0 + 1 + v - -1. Solve -t = 5, x*b + b + 3 = t for b.
-2
Suppose 3*k = 7*k - 8. Solve -4*o = 3*x + 2, 3*x + 7 + k = 3*o for o.
1
Suppose 4*g = h + 1, -4*g + 2 - 4 = 2*h. Let o = 3 + -6. Let l be o/(-6) - (-20)/8. Solve 5*p = -z + 27, -l*z + z + 5*p - 21 = g for z.
2
Suppose 2*i - 20 = 7*i, 0 = 3*y - 4*i - 28. Solve l = 0, -y*l = -4*z + z for z.
0
Suppose 0 = -0*g + g + u - 7, 5*u - 11 = g. Solve 0 = -5*o + 2*y - 16, y - 17 = 5*o - g for o.
-2
Let p(y) = -2*y + 55. Let m be p(26). Solve m*f + z = 3*z + 22, 5*f - 5 = -3*z for f.
4
Let u(h) = h - 3. Let l be u(8). Let x be (-1 + 3)/((-1)/l). Let j be (x/3)/((-2)/3). Solve -4*w = -j*z + 35, -4*w + 5 = z + 22 for z.
3
Suppose 2*b = -5*c + 24, -5*b + 3*c - c = -2. Solve 6*f - 5*k + 5 = 3*f, 0 = b*k + 4 for f.
-5
Let k(v) = -2*v - 2 + 4*v + 3. Let x be k(1). Suppose -t - 32 = -x*t. Solve -5*w = 2*d - 0*w - t, -w = -2*d + 4 for d.
3
Let m be (64/(-12) - -5) + 14/6. Solve 4*g = m*l + 10, 0 = 5*g - 0*g - l - 17 for g.
4
Suppose -3 = -b - 2. Let l be 5 - 2 - (b + 2). Suppose -3*u + u + 8 = 0. Solve h = -u*h - v, -3*h - v = l for h.
0
Let d be 3*(2 + (-9)/3). Let c(b) be the second derivative of b**4/12 + b**3/2 + 2*b. Let q be c(d). Solve 4*l - 2*z = -14, 4*l + q*z + 12 = 4*z for l.
-4
Let p = 16 - 17. Let j be 0 + 1 + (1 - p). Solve j = -3*i - 5*z, -4*i + 5 = -9*i - 3*z for i.
-1
Suppose 6 - 30 = 4*y. Let n = y - -11. Solve 13 = -2*a + 5*t, n*t = -0*a - a + 1 for a.
-4
Let z(m) = -m**2 + 4*m. Let d be z(5). Let h(f) = -f**2 - 5*f + 3. Let u be h(d). Suppose u*t = 8*t - 45. Solve -2*i - 2*i = 5*s - t, 0 = -s + 2*i + 13 for s.
5
Let s be (20/6)/(3/18). Let l = -4 - -9. Solve 5*b - s = l*p, -3*b + 2*b = -2 for p.
-2
Let z(o) = -9*o**3 - o**2 + 1. Let x be z(1). Let l be ((-9)/x)/(2/10). Solve -l*a - 2 = -2*g + 14, 0 = 3*a + 2*g for a.
-2
Let a(n) = 3*n - 19. Let k be a(8). Solve k*r + 0 = b + 2, 3*r = b for b.
3
Let v = -8 - -13. Let z be (2 - -1)*14/21. Suppose -5*a = 10, 0*s - z*s = -3*a - 10. Solve -7 = k - s*c, 3*c = k + v + 5 for k.
-1
Let z(p) = -p**2 - 4*p + 14. Let t be z(-6). Let u be -10*-1*(-2)/(-4). Solve h + t = 5*h - y, -y = -u*h + 3 for h.
1
Let y(f) = f + 1. Let t(k) = k + 3. Let w be t(-2). Let g(r) = 5*r**2 - r. Let c be g(w). Let p be y(c). Solve -3*q - p*o - 1 = 0, o + 10 = 4*q + 2*o for q.
3
Let u be -2 - (0 - -2)*-1. Let o be (-1)/(-2) + (-9)/(-6). Let g be (-2 - 1) + o + 5. Solve -g*m + 2*w - 2 = u, -w + 4*w - 3 = 3*m for m.
0
Suppose -s - 5 - 5 = 3*u, u = -4*s - 7. Let q be -1*(-2)/s*-1. Solve -3*z = -3, -3 = -5*c - q*z - 1 for c.
0
Let d = -14 - -23. Let i be 3/d + (-1)/3. Solve 2*n - 6*n = -4*h - 8, i = 2*h - 5*n - 2 for h.
-4
Let m(c) = c + 2. Let a(x) = 3*x + 7. Let u(r) = 6*a(r) - 17*m(r). Let i be u(-5). Suppose 5 = i*t - 1. Solve k - 4*p + t*p + 1 = 0, 24 = 3*k + 3*p for k.
5
Let q(n) = -3*n - 3 + 4 - n**2 + 2*n**2. Let v be q(4). Let f(x) = x**3 + 3*x**2 - 4*x - 6. Let l be f(-3). Solve v*d + 3 - l = r, 4*r - 3 = 5*d for d.
1
Let o be ((-27)/3 - -4)/(-1). Solve -o*k = -2*p, -10 - 11 = -3*k - 3*p for k.
2
Let i = 26 - 24. Suppose -w + 22 = i*d - 5*w, 4*w + 16 = 0. Solve 2*t = 2*u - 10, -d*t + 15 = 3*u - 0*t for u.
5
Let b be 3/(6 - 0)*0/3. Solve 4*j = 4*u, b = -4*j - 3*u - 11 + 46 for j.
5
Suppose -g + 2*b + 3 = 0, -3*g + 3 = -2*g - 3*b. Suppose -4*s = -1 - g. Suppose 0 = 2*t + s - 5. Solve -6 = 3*c - 5*z - 18, 0 = -t*c - z - 5 for c.
-1
Let q be -3 + (-12)/(0 + -4). Solve -d + 5*l + 1 = -q*l, 3*d = 5*l - 7 for d.
-4
Suppose -i - 9 = b - 3, 4*b = -i - 18. Let k = b - 6. Let f be (3 - 1)/((-4)/k). Solve -w + 2*y + 3 = 0, f*y = 2*w - 3*w - 18 for w.
-3
Let x = -4 + 4. Suppose x = 5*h - 20. Solve -h*c = 2*k + 16, -4*c + 5 = -5*c for k.
2
Let u be 2 + 0*(0 + -1). Suppose -m = m - u. Let c(w) = 3*w**2 - w. Let k be c(m). Solve 0 = k*i + 5*h - 10, -4 = 3*i - 4*h + 27 for i.
-5
Suppose 2*w - 3*w = 0. Solve 3*l = -3*y - 15, w = 5*l + 2*y - 7*y - 5 for l.
-2
Let c = -73 - -104. Let k be 6/(-1*(-2)/(-2)). Let z(o) = -o**3 - 6*o**2 + 2. Let r be z(k). Solve -r*i + c = 5*u, -3*i - 6*u + 2*u = -29 for i.
3
Let s be (9 - (5 - 4))/2. Solve -m = s*z - 13, 4*m - 9 = -5*z - 1 for z.
4
Let k be (-1)/(-6) - 627/(-18). Let z(a) = a**3 + 8*a**2 + 9*a + 2. Let y be z(-6). Let f be (y/k)/(4/14). Solve -4*p - f*n + 4 = -6, 0 = 2*p + 2*n - 4 for p.
3
Let r(k) = 3*k - 2. Let i be r(-2). Let q = -4 - i. Solve -5*b + q + 7 = 4*u, 2*b = -4*u + 14 for u.
4
Suppose 2*z - 4*v + 14 = -0*v, -5*v + 31 = 2*z. Suppose 0 + z = r. Solve 3*w = -2*o - r, -3*o + 1 = -w - 0*o for w.
-1
Suppose w + 1 = -4*h + 15, 3*h - 3*w = 18. Solve n + k = -2, k = h*k - 9 for n.
-5
Let a = -3 + 8. Let y(p) = 2*p - 1. Let s be y(2). Solve 7 = 2*x - 5*x - n, -x - a = s*n for x.
-2
Let w = 30 + -14. Solve -2*u = -2*h + w, 4*u + 17 = -3*h + 4*h for u.
-3
Let m be ((-20)/(-8))/((-5)/(-30)). Solve m = -5*c - 5*b, 2*b + 16 = 2*c + c for c.
2
Let h = -22 + 49. Let c(j) = -j**2 + 4. Let r be c(0). Solve 3*x + h = 4*t, 2*x + r*t - 3 = -1 for x.
-5
Let l = -3 - -3. Let s be l + -2 + 4 - 0. Let p be 1/(1*s/4). Solve -4*m + 3*b - 9 = 0, -p*m - 2*b + 8 - 2 = 0 for m.
0
Let o = -5 - -2. Let a be (-3)/o*(-2)/(-1). Solve -a*i + 5*i + 3 = l, -2*l + i - 4 = 0 for l.
-3
Suppose i + 2 = -v, 0 = -4*i + 3*v - 0*v + 27. Let w be (13 - -1) + i + -2. Solve 3*d + 5*u = -w, 3*d - 4*u = 6*d + 12 for d.
0
Let w(o) = -o**3 + 3*o + 4*o - 2*o**2 - o**2. Let c = -8 - -3. Let d be w(c). Solve 4*t + j = -3*j - 32, -d = 3*j for t.
-3
Let j(w) = -w**2 + 4*w. Let b be j(3). Let v(r) = r**2 - 3*r + 3. Let s be v(b). Solve 5*i + 6*g - 2*g = -45, s*i + 40 = -5*g for i.
-5