t = 2*g, c*g + 2*t + 4 + 2 = 0 for g.
-2
Let r(i) = -i**2 + 14*i - 22. Let o be r(12). Solve -11 = -3*x + o*h, h + 5 = 1 for x.
1
Let p = 107 + -107. Solve -f = 2*a - 4, 3*f + 16 = -p*f + a for f.
-4
Let z be 3/(-2)*(-32)/24. Solve -2 = -z*r + 2*t, 0 = r + 4*t + 4 for r.
0
Let m(t) be the second derivative of t**4/12 + 7*t**3/6 + 3*t**2/2 + 9*t. Let u be m(-7). Solve -u*s = 6, -3*i + 0*s - 8 = -2*s for i.
-4
Let u be -3*(1 - 4/(-2)). Let b(d) = d + 12. Let y be b(u). Solve -8 = -y*m - w - 1, -m = 5*w + 21 for m.
4
Let b be (4/(-7))/(12/7 - 2). Solve -8 = -b*p - c, 2*c + 2 = 3*c for p.
3
Let l be 2/(-3 - (-33)/9). Solve 2*r - l = -4*c + 1, c = 4*r + 19 for c.
3
Let a(z) = -z**3 - z**2 - 3*z - 2. Let m be a(-2). Let s = m - 7. Solve v = y - 7, 2 - s = 4*y + 5*v for y.
4
Suppose 12 = 4*z + 4*j, -4*j = -z - 0*j - 7. Let i be 34/8 + z/(-4). Let b be i + 0*(-3)/9. Solve b*k - 3 = -r + 14, -k = -5*r - 20 for r.
-3
Suppose 0 = c, 5*d - 2 = -c + 23. Let i(k) = k**2 - 4*k. Let b be i(d). Suppose -t + 5 = 0, r - t - 11 = 1. Solve 2*w - x + b = 0, -x - 6 = 5*w + r for w.
-4
Let m be 0/(-2)*(3 + -4). Solve o + 3*v - 15 = m, -9 = -2*v + 1 for o.
0
Let x(u) = u + 4. Let h be x(-6). Let f = h - -5. Let l(z) = 4*z**3 + 31*z**2 - 9*z - 5. Let d be l(-8). Solve w = c - f*w + d, -c - 3 = 5*w for c.
-3
Let x be 0*(1/(-2) + 1). Let h(b) = -b**2 + 8*b + 1. Let t be h(7). Let n be -2 - (-4*1 - -2). Solve x*i + 10 = -2*d - 3*i, n = 4*i + t for d.
-2
Let r(h) = -h**3 + 8*h**2 + 4. Let f be r(8). Solve -3*a - a = y - 12, f*y = 5*a - 15 for a.
3
Suppose -2*p + 2 = -6. Let r be (4/(-3))/(p/(-6)). Suppose 2*c - r = 2. Solve -5*v - c = -y, -5*y - v - 17 = v for y.
-3
Let t = 177 + -177. Solve t = 2*h + k, -4*k + k = h - 10 for h.
-2
Let c(i) = -i**3 + 12*i**2 + 14*i - 4. Let z be c(13). Suppose 4*v + 3*r - z = 13, v - 2*r = 0. Solve -2*l + 24 = v*f, 0*f - f = 5*l - 24 for l.
4
Suppose 3*t + 0*t - 15 = 0. Let r be 6/((-1)/(-2) - -1). Suppose r*n = 5*i - 1 - 2, -4*n - 2*i = -18. Solve -t*h + 27 = -a, -3*a + 7*a - n*h + 23 = 0 for a.
-2
Let x = -192 + 214. Solve -3*g - 2*u = -1, 3*g - x = g + 4*u for g.
3
Let m be -3 + (-3 - 0) + 30. Suppose -c - 3*t = -m, -6*c + 48 = -c - 3*t. Solve -6*p - 3*w = -4*p + c, 2*p - 4*w - 2 = 0 for p.
-3
Suppose 20 = -5*s - 4*o, o = s - 4*o - 25. Solve s = 5*l + h - 20, 3*h = -23 + 8 for l.
5
Let x(g) = 4*g - 6. Let r be x(2). Solve 0*f + 18 = -5*u - f, -r*u = -f + 3 for u.
-3
Let m(w) = 0*w**2 - 4 + 7*w - w**2 + 3. Let z be m(3). Solve -z = 3*l - 2*l + 5*n, -2*l - 5*n - 7 = 0 for l.
4
Let a(v) = -5*v + 2. Let o be a(-1). Let s = 17 - o. Solve -19 = 4*i - 5*h, -5*i + h + 2 = -s*i for i.
-1
Suppose 0 = 2*y - 7*y + 60. Solve -2*o - 4 = 2*q, -y = q + 2*q for o.
2
Let z = 0 - -1. Let s = z + 1. Suppose -b - 11 = -2*l, 5*b = l + l - 15. Solve -2*w - 18 = -5*m, -3*w + 0 - s = l*m for m.
2
Suppose 0 = -2*c + 3*c + 5, 2*u = -3*c - 11. Suppose -3 - 9 = -u*a. Solve 0 = -2*v - a, -3*j + 3*v = -0*j for j.
-3
Let v = -25 - -27. Solve -3*b + 11 = o, -v = -b + 5*o - 9 for b.
3
Suppose -2*k + 24 = -4*d, -5*d - 17 = k + 3*k. Let l(u) = -u**2 - 13*u - 7. Let v be l(-9). Solve -k - 1 = s - 2*b, -v = 5*s + 4*b for s.
-5
Let d(i) = i - 7. Let p be d(12). Solve 0 = -0*l - 2*l - n + 4, p*l - 15 = -5*n for l.
1
Let x(m) = m**2 + 4*m + 4. Let g be x(-5). Solve 3*z - 6*z + n + 8 = 0, -2*n - g = z for z.
1
Let v = 5 + -3. Let r = 4 - -1. Let t be 72/20 + v/r. Solve 0 = 5*n + 3*f + 12, t*n + 25 = 5*f + 8 for n.
-3
Suppose 7*z - 3 = 11. Solve 6*l + 6 = 2*l + z*n, -n = l for l.
-1
Let v be 4/14 - 1112/(-28). Suppose -4*x - 4*n + v = 0, -3*n = 2*n - 10. Solve -4*j = 4*t + 24, -t - j = 2*t + x for t.
-1
Suppose -3*b - 19 = -2*g, -4*b = g - 5*b - 9. Solve -7*k - g = -2*k + u, 5*u = -3*k - 18 for k.
-1
Let h(j) = 4*j**3 - 3*j**2 + 2*j + 1. Let m be h(1). Solve -m*x = 2*u + 4, 5*x + 35 = -0*x + 5*u for x.
-3
Suppose 5*q - 140 = 3*m, 5*q = -4*m - 14 + 119. Solve -5*b - 4*y - q = 0, b = y + y - 5 for b.
-5
Suppose 0 = v - 5*t - 28, -4*t - 17 - 6 = -v. Solve v*z + 0*z = -12, -2*d + z = 0 for d.
-2
Let q be -2 - (8*-1 - -4). Solve 3*k - 6 = -i, 3*i + 6 = k - q*k for i.
-3
Let p be 3/((-2)/(-2 + 0)). Suppose p*x = -x + 8. Suppose 6 = x*o + 2. Solve 3*m = -o*j - 2*j - 10, -12 = j - 4*m for j.
-4
Suppose 0 = 4*v - 24. Suppose -4*s = -3*h - 26, 26 = -3*s + v*s + h. Suppose -3*t + s = t. Solve t*q = -3*j - q + 12, 3*q = -5*j + 14 for j.
1
Let k be ((-4)/(-3))/((-798)/162 + 5). Solve -4*b - 2*x = 16, -7*x + 3*x + k = -2*b for b.
-5
Let s(b) = -1 - 5 - 42*b - 36*b + 76*b. Let v = 1 - 5. Let r be s(v). Solve -3 = 5*x + 2*u - 14, -u = r*x - 4 for x.
3
Let m = 4 + 0. Suppose m*f - 3 = d - 0*d, f + 3 = -d. Let b be (f - 1)*(-1 + 1). Solve 5*x = 4*y + 5 - 2, -3*x - y + 12 = b for x.
3
Suppose -5*z - 2 = -4*i, 4 = 4*z + i - 7. Solve 2*q + 24 = -z*o - 2*o, -2 = 2*o - 4*q for o.
-5
Suppose 30 = 3*p - 0*p. Let j(k) = -k**3 - 4*k**2 - 5*k - 3. Let g be j(-3). Solve 2*u - 5 = a - 0*u, -p = 4*a - g*u for a.
-1
Let b(f) = 5 - 2*f - 10 - 8. Let v be b(-8). Solve -3 = -d, v*u + u - 5*d = 5 for u.
5
Let h = 71 - 69. Solve 0 = b + o + h - 7, -3*b = -2*o + 10 for b.
0
Suppose 4 = -o + 2*t + 12, 3*t + 1 = -4*o. Solve -o = -x - 0*x - 2*c, c + 17 = 4*x for x.
4
Let t(w) = -w. Let u be (3/(-6))/(3/30). Let r be t(u). Solve -2*o - 2*o = r*n + 13, 1 = n - o for n.
-1
Let i(m) = m**3 + 7*m**2 - 2*m - 9. Let x be i(-7). Solve -2*p + 0 = x*d + 4, -2*d = -2*p + 10 for p.
3
Let d be 3 - (3 + -3) - -23. Suppose 0 = -m - 2*a + 11, -4*m - a - a = -d. Solve -25 = j + j - m*s, 0 = -j + 5*s - 20 for j.
-5
Suppose 4*x + 0*b - 24 = 4*b, -45 = -4*x - 3*b. Solve 1 = 2*m - m, -3*w - x = -3*m for w.
-2
Let t = -94 - -96. Solve 5*w = 4*i - 35, -w = -4*i + t*w + 29 for i.
5
Let t(o) = -o**3 + 4*o**2 - 4. Let v be ((-16)/10)/((-2)/5). Suppose -4*n = -v - 8. Let y be t(n). Solve 0 = -4*u + 12, y*x - 12 = -2*u - 2*u for x.
0
Let p be (8 + -8)*(-1)/1. Suppose p*g = -g - u + 13, 3*u + 46 = 2*g. Let i be (-2)/(-3)*(g - 2). Solve 0 = 5*o - 5*h + 20, 4*o = -5*h + 30 - i for o.
0
Suppose -5*c + 38 - 13 = 0. Let j = -10 - -15. Suppose 11 = r - j. Solve 0 = c*t - 2*t - 4*m - 5, 4*t + 4*m = r for t.
3
Let b(h) = h**3 - 11*h**2 - 12*h + 6. Let p be b(12). Solve 4*g + 10 = 4*f - p, -2*f + 3*g = -9 for f.
3
Suppose 3*u = u + 6. Let y = 247 + -243. Solve y*c + 3 - 26 = -3*g, -u*c + 2*g + 13 = 0 for c.
5
Suppose 2*m - 6*m = -o + 14, -4*o - 4 = 4*m. Solve -2 = -o*j, -2*j = -0*r + 2*r - 12 for r.
5
Let h be ((-3)/(-3) - -2)*1. Suppose 2*a - 10 = -h*a. Let r = 6 - 1. Solve 5*f - a*y = 0, -35 = -r*f - 7*y + 2*y for f.
2
Let x = 8 - 2. Let u = x - -14. Solve 2*j + 0 = -2*g - 4, -5*j - u = -5*g for j.
-3
Let p(l) = 3*l - 3. Let h be p(4). Let x be 1*h/(-6)*-4. Suppose -4*f + m + x = -2*f, m = -f + 3. Solve 15 = f*j + 5*y, 4*j - 3*y - 20 = -4*y for j.
5
Let n(h) = -h - 1. Let s(b) = -b**2 + 6*b - 3. Let g be s(6). Let p be n(g). Solve -5*i = -0*j - p*j + 16, j = 4*i + 14 for j.
-2
Let m(a) = -a**2 + 7*a + 2. Let q be m(7). Suppose -2*h - q*f + 14 = 0, 0 = f - 5 + 1. Solve h*c + 18 = -3*o, 5*c + 20 = 2*o + 3*o for c.
-5
Suppose 0*p = p - 5. Let l(o) = -o**2 - 3*o + 3. Let v be l(-3). Let a = 2 + v. Solve -33 = a*j - 3*w + p*w, -j = 5*w + 25 for j.
-5
Suppose 2*r + 9*g - 4*g - 16 = 0, 3*r - 2*g = 5. Suppose 4*o = r*m - 27, o + 62 = -m + 6*m. Solve -2*t + 7*t = 3*l - 1, l + 5*t + m = 0 for l.
-3
Suppose -4*r - 13 = -1. Let v be 28 + (r - -1)/(-1). Solve 0*h - 25 = 2*w - 3*h, -h = -5*w - v for w.
-5
Let f be 22/33 - 10/(-3). Suppose -3*r = f*n + r - 88, -n + 5*r = -4. Solve 0 = 3*u + 4*x + x - n, -u = -4*x + 22 for u.
-2
Let x = 3 - -2. Suppose 18 = 2*k - 3*s, -1 = -k + s + 6. Solve -x + k = 4*b - 3*h, -5*h + 12 = 2*b for b.
1
Suppose -4*f + 3*d + 8 = f, 5*f = 4*d + 4. Solve -2 = 2*j + f, 0 = 3*i - 5*j - 18 for i.
1
Let x(z) = z**3 + 6*z**2 - 2*z - 8. Let o be x(-6). Suppose 0 = o*r - 5*n - 14, r + 5*n + 0*n = 16. Solve 0*s = 5*s + 2*h - 15, -2*s - 5*h = -r for s.
3
Suppose z + 4 = -0. Let w = z - -4. Let t be (-2)/(-2 + 1 + w). Solve -5*u + n = -8 - 2, -9 = u + t*n for u.
1
Let q be (24/(-20))/((-3)/50). Suppose -w + 2 = 3*s - 13, -7 = 2*s - 5*w. Suppose -s*b = -2*b, 4*n - q = b. Solve -c - 21 = -n*r + c, -2*c - 6 = -2*r for r.
5
Suppose 2*l + 12 = y + 38,