= 16, t - 2*p - 18 = 5*t for t.
-4
Let j(h) = -h + 5. Let w be j(-11). Let z = -23 - -43. Let c be (-2)/4 + z/8. Solve s - c*s = 0, -4*i + w = s for i.
4
Suppose -2*c - 2*c = 5*j + 131, -46 = 2*c - 4*j. Let y = c + 11. Let b be 3*-3*4/y. Solve -2*w = 5*g + 16, -15 = g + b*g + 3*w for g.
-2
Let h be ((-1)/3)/((-2)/(-18)). Let v(s) = s**3 + 2*s**2 - 4*s - 3. Let j be v(h). Solve 5*g = 5*q - 15, j = -2*g + 7*g + 3*q + 15 for g.
-3
Suppose 2*f = f - 14. Let q be 4*1/(-2) - f. Solve 4*n - 7 - 29 = 4*h, q = 2*h + 4*n for h.
-4
Suppose 0 = 6*p - 2*p. Suppose -y + 0*y = p. Let j = 11 - 8. Solve c = -d - d, 4*c - j*d + 11 = y for c.
-2
Let k(a) = -14*a + 7. Suppose 3*g - 7 = -z + 7, 2*g = 5*z + 15. Let w be k(g). Let u be (w/12)/((-6)/16). Solve 3*h + c = 14, 0 = -h + 4*c + u - 5 for h.
5
Let p(n) = n. Let v = -10 - -13. Let t be p(v). Solve -j + 5*f = -11, 0 = -t*j + 5*j + 4*f + 20 for j.
-4
Let l(d) = d**3 - 6*d**2 + 4*d + 7. Let f be l(5). Let k = 76 + -46. Solve -f*i = -4*s - s - 15, -5*s - i = k for s.
-5
Suppose -14 = -2*q + r, 3*q + 17 = 5*r + 52. Let t be 2/4*2 + 0. Let w = q - t. Solve 2 = -3*k + k + w*s, 5*k - 3*s + 19 = 0 for k.
-5
Suppose -14 = -5*w - 4. Let j be ((-9)/3)/((-6)/4). Suppose -j*n - 9 = -23. Solve -v + n = w*v + 5*c, 0 = -v - c + 3 for v.
4
Suppose -3*d + 8 + 7 = 0. Suppose -61 - 44 = -d*t. Solve -4*k + 27 = 5*b, 5*b - t = -5*k + 3*k for b.
3
Suppose 5*b + 13 = 33. Let g = -3 - -3. Suppose -q + 2 = 0, 4*o + g*o = 3*q + 22. Solve -p = y - o, -p - 2*y + 29 = b*p for p.
5
Suppose 63*l = 64*l. Solve 0*r = 2*r + 3*f + 1, l = -3*r - f + 9 for r.
4
Let t = 18 + -16. Suppose -4*n = b - t*n + 4, -3*b + 3*n = -24. Solve b*j - 5 = -2*h + 11, 8 = 2*j - 2*h for j.
4
Let p = -5 + 6. Suppose 3*k - 8 = p. Solve 0 = -4*z + k*w + 7, 0*w + 4 = -z - 5*w for z.
1
Let d(i) = i**2 - 10*i + 13. Let p be d(9). Solve 3*r + 2 = -p*w, r = -3*w - 0*w + 1 for w.
1
Let u(s) = -4*s. Let a be -2*1/(-6)*-3. Let b be u(a). Solve -2*k + q + b = 3*q, -2*k + q - 11 = 0 for k.
-3
Let f be (-2)/4*(-7 + 5). Let y(b) = 6*b. Let u be y(f). Solve 0 = -4*m - 3*o, -u = m - o + 1 for m.
-3
Suppose 3*o - 28 = 3*r - 4, -4 = o + 2*r. Solve o*n = 2*n - 3*b, -4*n = 3*b for n.
0
Let g(v) = -2*v - 5*v - v + v**2 + 7. Let j be g(7). Solve -d - 3*f = -0*d + 14, -2*d - f - 13 = j for d.
-5
Let v(s) = 2*s - 20. Let i be v(11). Solve 3*n + 10 = i*c, 0 = n + 2*n + 6 for c.
2
Let k(y) = -y**2 - 3*y - 1. Let n be k(-2). Let o = 5 - n. Solve t = -8*a + 3*a + 4, -3*a - 1 = o*t for a.
1
Let x be ((-26)/(-4) + -5)/((-3)/(-10)). Solve -s + 0 = -r + 4, -2 = -s - x*r for s.
-3
Suppose -4*j = 16, 3*z - 3*j = 5*z + 20. Let f be 6/z*16/(-3). Suppose -5*o = 5*n - 3*n - 125, -5*o + 3*n = -125. Solve -2*x + 1 = -u + f, -5*x - o = 0 for u.
-3
Let r(h) = 8*h**2 - 7*h + 7 - h - 7*h**3 + 6*h**3. Let d be r(7). Solve d = -2*a + 6, 0*a + 19 = -5*x + 3*a for x.
-2
Suppose 0*m = -m + f + 13, -4*m - 3*f + 31 = 0. Let y = -7 - -11. Suppose w - 4 = -3, -2 = -2*o - 2*w. Solve o = -y*i + 2*p + 2, -3*p = -p - m for i.
3
Let b be 2/(-7) - 132/(-21). Let y = b + -3. Let n(r) = -r - 4. Let k be n(-6). Solve -y = -3*q, 10 = 2*o + k*q - 0*q for o.
4
Let g = 41 + -28. Solve 4*k = -p - 7, 4*k - 4*p + g = p for k.
-2
Suppose 5*h - 4*h = 2. Let p be (-18)/15*20/6. Let m = -1 - p. Solve 0 = -h*u + 6, t + 13 = 2*u + m*u for t.
2
Let x = -9 - -15. Let i(z) = -z**3 + 9 - 5*z - 2*z + 7*z**2 + x*z. Let b be i(7). Solve 0 = -b*v - q - 2, 4*v - q + 4 = -4*q for v.
-1
Let c be (0 + 2/6)*15. Suppose -5*j - 4*i - 3 = 2, 0 = c*j - 2*i - 25. Suppose 0 = -7*s + j*s. Solve -5*g + s + 5 = -o, 0 = -5*g + 5 for o.
0
Let l = -1 + 2. Let i be 120/36 + l/(-3). Solve -i*s + 3*r + 9 = 0, -3*s = -s - 5*r - 6 for s.
3
Let l be 94/6 + (-10)/15. Let d = -11 + l. Solve 3*h = h - d, k - 9 = 5*h for k.
-1
Suppose 6*n - 20 = n. Solve 2*x - 2*r + 6 = -4*r, 2*r - n = 0 for x.
-5
Let t be 4/10 + (-32)/80. Solve 3*m - 13 = 2*s, s - 2*m + t = -9 for s.
1
Let g = 13 - 9. Solve -g*q - 20 = 0, 3*f - 3*q - 23 = q for f.
1
Let d = 10 - 12. Let c = 1 - d. Solve -5*j = f - 14 - 6, -c*f - 30 = -3*j for j.
5
Let t(v) = v**3 + 19*v**2 + 15*v - 44. Let y be t(-18). Solve 0 = 3*s + 3*a - 2 - y, -5*a + 17 = 4*s for s.
3
Let x(b) = 2*b**2 + 10*b. Let d be x(-5). Solve 5*h - 25 = d, -6*z - 5 = -z - 2*h for z.
1
Suppose 3*h + 7 = -8. Let l(r) = -r. Let d be l(h). Let a be (-12)/(-8)*8/6. Solve z = d*p + 12, -4*p + 2*z = -a*p + 8 for p.
-2
Suppose 2*i = 38 + 2. Let c = 20 - i. Solve -3*u = f - 9, 4*u + c*f - f = 19 for u.
4
Let l(x) = x**2 - 9*x + 2. Let v be l(9). Suppose 6*c = 4*c + 4. Let b be (2 - 12)*(-3)/2. Solve -3*k + 2 = v*n - b, -c*k = 3*n - 13 for k.
5
Suppose -3*j - 5*m = -6*j - 5, -2*j = -4*m + 6. Solve 4*w = -j*g - 12, 2*g - 3*g - 6 = 2*w for w.
-3
Let w(t) = 2*t - 2. Let x be w(3). Suppose -x*m + 2*c = -c - 5, -5 = -2*m - c. Solve 3*g = -5*k + 8, -g + 4*g + m*k = -4 for g.
-4
Let r = 7 - 11. Let t be (-10)/r + 2/4. Let u = -3 + t. Solve -5*v + u = 2*s + 10, -3*v - s - 6 = 0 for v.
-2
Suppose -3*q = -12 - 3. Suppose -4*n + 0*n - 9 = 5*a, q*n - 3*a - 35 = 0. Solve 5*x - 15 = n*f, 2*x - 5*f - 24 = x for x.
-1
Suppose 2*o = 3*o + 4. Let w(r) = r + 8. Let m be w(o). Solve m*d + 0*d = -2*f + 6, 0 = -4*f + 4 for d.
1
Let x(o) = -o**3 + 6*o**2 - 4*o - 6. Let i be x(5). Let v be (-3 - i)*(-2)/4. Let y be 3 - v - 20/(-2). Solve 0*d = -2*d + 2*k - 2, 4*k = -y for d.
-4
Let v(w) = w**3 - 4*w**2 + 2*w + 4. Let n be v(3). Let j = n + 19. Suppose 2*m - 7*m + j = 0. Solve 3*s + 2*y = 3*y - 14, 5*s + m*y = -29 for s.
-5
Let x(b) = 11*b - 1. Let l be x(-1). Let i = l - -17. Solve -22 = d - i*o, -4*d + d - o - 2 = 0 for d.
-2
Let h(g) = 8*g - g**2 - g**2 + 4*g**2 - 16 - g**2. Let o be h(-10). Solve -5*p + 3*j = 23, -p + j - 1 = o*j for p.
-4
Suppose 0 = h - 4*h - 4*w + 71, 5*h - 129 = 4*w. Solve 8*s - 3*s = -3*v + h, -v - 1 = -3*s for v.
5
Let r(d) = d**2 + 7*d + 4. Let z be r(-7). Let t(m) = -3*m + m + 2*m + m. Let q be t(z). Solve 0*c + 2*u - 18 = -q*c, -4 = -4*u for c.
4
Let r be 0/(-4) + 1 + 1. Let x = 28 + -28. Solve x = -2*w + 1 + 5, -4*j + r*w = -6 for j.
3
Let b = 18 + 1. Suppose 0*s - 5*s - 10 = -4*f, b = -3*s + 5*f. Solve -1 + s = a - h, 5*a + 4*h + 40 = 0 for a.
-4
Let j = -31 - -31. Solve -m - 9 = 3*u + 2*u, -2*m - 8 = j for u.
-1
Let q = -5 + 8. Let g(p) = p - 13. Let s be g(13). Suppose -4*o + 2*o + 8 = s. Solve 0 = -5*f - q*w - 6, w + 18 = -o*f + 3*w for f.
-3
Let a = 129 + -127. Solve -a*u - 8 = 2, -2*r + 33 = -5*u for r.
4
Let k(t) = -t**3 + 2*t**2 + 4*t - 1. Let r be k(3). Suppose -2*z - r = -4. Let y be (0 + z - 0) + 1. Solve 0 = -s + y*m + 7, 2*s + 8*m - 4*m = -10 for s.
1
Let r be 10/45 - (-11)/(-9). Let z = r - -6. Solve -2*m + 28 = 5*d - z*m, -d = 3*m - 2 for d.
5
Let j be 0*(-2)/(-8)*-1. Solve 4*r + 4*d - 16 = j, -r + 5*d - 20 = -4*r for r.
0
Suppose 55*n = 52*n + 3. Solve 0 = -m + 2*r + 13, 3*m + r - n = m for m.
3
Let a = -10 + 19. Suppose 0 = -5*i + a*i. Solve 0 = 3*m - 6*m - 5*r - 4, -2*m - 3*r - 2 = i for m.
2
Suppose 0 = -3*m + m + 14. Suppose 3*i = 6*i. Let x = i + 0. Solve x = -m*b + 2*b - 5*r - 25, 5 = -3*b - r for b.
0
Let p = -4 + 6. Let d(h) = 0*h + 3*h - 2*h. Let j be d(p). Solve 4*m = -j*r, r + 4*r = 0 for m.
0
Let l(y) = -2*y**2 - 2*y + 3. Let q be l(-4). Let c be 0/((-7)/(q/(-6))). Solve 3*h = b - 4*b - 15, -b = c for h.
-5
Let h = -228 + 241. Let b(z) = z**3 + 5*z**2 + z + 5. Let s be b(-5). Solve s = -4*k + w - h, -3*k - 11 = -0*k - 2*w for k.
-3
Suppose 2*q = 8, 5*q - 16 - 20 = 2*w. Let c be w/36 - (-110)/9. Suppose c = 5*v - v. Solve -2*b - 2*t = -4*b - 2, -v*b = -5*t + 1 for b.
-2
Suppose 3*d + 0*d = 24. Suppose n + 4*c = 3*n + d, -3*n + 4*c = 4. Let l be -4*(-4 + n + -1). Solve -l*i - 24 = -5*t, -5*t = -3 - 17 for i.
-1
Suppose 5*h + 33 = -o + 88, 2*h = 3*o + 5. Solve 2*x + 14 = 3*b, -3*x - 2*b + b = h for x.
-4
Let x be 1/(-4) + (-2)/(-8). Let q = 6 + 4. Suppose x = -3*j - 5*k + 23 - 7, 4*k = -2*j + q. Solve -y + 3*f = 8, -4*f - 16 = 5*y - j*f for y.
-2
Let q(o) = o**3 + 4*o**2 - 3*o. Let c be q(-5). Let b be (1/(-1))/(2/c). Suppose -b*h = -4 - 11. Solve -y + 0*t + 11 = -4*t, 0 = -5*y - h*t + 9 for y.
3
Let c(a) = a - 4. Let w(p) = 7*p - 1. Let o be w(1). Let g be c(o). Solve 0 = -g*s - 2*r - 4, -2*s + 2*r = s - 4 for s.
0
Let 