t m = 9 + q. Let w be (m/16)/(1/4). Solve -p + 4*f = -8, 0 = -4*p - w*f + f - 19 for p.
-4
Let z(p) = 2*p**2 + 5*p + 6. Let n be z(-2). Suppose -6*c = -c - 25. Suppose -c = -s + n. Solve s = 4*m + q, 0 = -3*q - q + 20 for m.
1
Let t = 9 + -6. Suppose -t*x + 8*x = 10. Let q be (-12)/x*(-7)/14. Solve 4*j + 3*p + 12 = 0, q*j - 5 = -p - 14 for j.
-3
Let d(k) = -k**2 + 19*k + 35. Let g be d(20). Let q be 3*5/g*0. Solve -3*f + t + 12 = 2*t, t = q for f.
4
Let j = -174 + 103. Let y = 74 + j. Solve 2*d + 2*m + 7 = -1, d + y*m = -14 for d.
1
Let h = -2 - 15. Let f = 20 + h. Let l(m) = m + 2. Let a be l(0). Solve -2*c = -a*b + 6, -b - 28 = f*b + 4*c for b.
-2
Let l be ((-2)/4 + -1)*-12. Suppose -10*f + l = -12. Solve -1 = -5*o - f*r - 6, -4*r = -20 for o.
-4
Suppose -o = -10 + 6. Solve 24 = y + y + o*m, 4*m = 4*y for y.
4
Let h = 213 + -210. Solve 5*b + 2*r = -2*r + 2, r - h = 0 for b.
-2
Let x be ((-10)/15)/((-4)/(-84)). Suppose 4*h - 78 = -2*o, h + o - 33 = -4*o. Let c = x + h. Solve -c*g + 2 = 3*q - 17, 4*q - 20 = 0 for g.
1
Suppose 0 = i + 3 - 2, -i = -4*o + 9. Let l(w) = w + w**3 + 1 - 7*w + o*w + 2*w**2. Let q be l(-3). Solve -s - q*p + 7 = 0, 3 = -3*s - 3*p - p for s.
-5
Let o(d) = -4*d**2 - 29*d - 6. Let b be o(-7). Solve 4*f - 4*u - 17 = -b, -5*f + 4*u + 19 = 0 for f.
3
Suppose 45*w - 31*w = 0. Solve -3*j + 3*q + 9 = 0, 0 = -w*j + 5*j - 3*q - 19 for j.
5
Let k be ((-13)/(-26))/(1/122). Let t = -53 + k. Let w(h) = h**3 - 2*h**2 - 2*h + 3. Let y be w(3). Solve -3*o + 5*b = -t*o + 10, y = 4*o + 2*b for o.
1
Let h(x) = 3*x + 2*x**3 - 8 - 6 - 2*x**2 + 14. Let t be h(2). Solve -t = 2*g + 4*r, -5*g + r = -3*r + 7 for g.
-3
Let n = -8 + 19. Let w be -1 + n + 1 + 15/(-3). Solve -2*p - 4*u + 5 = -13, -3*p + u = -w for p.
3
Let c = 23 + -14. Suppose -c*v = -6*v. Solve -4 = 2*w + 5*x - v, -2 = w + 5*x for w.
-2
Let a = -36 + 56. Suppose -s = -6*s + a. Solve 0*v + 16 = -v + s*j, 4*j = 20 for v.
4
Let k(z) = 2*z - 16. Let v be k(8). Let y = v + 5. Solve -3*t - 4*o = t - 28, 0 = -t - y*o + 23 for t.
3
Let x(s) = -s**3 - s. Let n be x(-1). Let v(j) = -27*j - 238. Let g be v(-9). Solve -6*q + 12 = -n*q - 4*l, 35 = 5*q + g*l for q.
5
Let z = 14 - 12. Solve 0*l - 11 = -z*l - t, -2*t = l - 10 for l.
4
Suppose 0 = -25*u + 23*u + 8. Suppose y + 2 = 2*m, -4 = 3*m - u*y - 2. Solve -3*g + 14 = -3*t + 2*g, 0 = 2*t + m*g - 12 for t.
2
Let q = -1087 + 1092. Solve -4*f - a - 2 = 0, 6 = 3*f - q*a + 19 for f.
-1
Suppose -63 = -2*c - 17. Suppose 136 = 2*i + 4*u, 4*u - c = 3*i - 207. Suppose 8*a = 12*a - i. Solve 2*s = 4*n - 14, 0 = n - s - 2*s - a for n.
1
Suppose 5*k + 57 = 2*k. Let l = -16 - k. Solve -l*p - 17 = 2*r, 2*r = 4*p - 3*p - 5 for p.
-3
Let u(h) = 64 + h + 55 - 93. Let g be u(-16). Solve 2*k - 3*k - 3 = -4*y, 4*k = 5*y + g for y.
2
Suppose -50 = -5*a - 5*b, a + 20 = 3*b + 2*b. Suppose 0 = z - 2*z + a, -4*j - 3*z = -15. Solve 3*t - 8 = -x - 0*x, j = -2*x + 4 for t.
2
Suppose -2*h = -3*h - 2*m + 3, -3*h + 9 = 5*m. Solve -h*k + 2*o = 19, 4*k + 37 = 5*o - 0 for k.
-3
Let j be 2/(-6)*1770/(-59). Solve 5*c + 5*f + j = 0, 3*c = -f - 0*f for c.
1
Suppose -4*l = -12*l + 24. Solve 2*t + o = l, -8*t - o - 11 = -13*t for t.
2
Let q = -106 + -24. Suppose 5*z - 30 = i, 0 = i + 4*z + z + 60. Let v be q/(-18) + 10/i. Solve 0*f = 5*d + f - 11, 3*d - v = -f for d.
2
Suppose 25 = -2*j + 37. Solve -5*t = f - 2, -2*f - f = -5*t - j for t.
0
Let v = 5 + 0. Suppose v*u + 4*q = 0, -2*u + 4*q = 2*q. Solve 0 = r - 2*f + 7, u = 5*r + 2*f - 3 + 2 for r.
-1
Let q(u) = u**2 + 14*u + 5. Let a be q(-14). Suppose 5*x + 4 = p + a, -3*x + 3 = -3*p. Let c = 3 - x. Solve -3*j - 5 = -3*l + 4*l, 4*l - c*j - 10 = 0 for l.
1
Suppose 4*g - 14 = 2*d, -6*d = -2*g - 9*d - 5. Solve -3*z - 21 = 2*q, -4 - 2 = g*q for z.
-5
Let j = 28 + -9. Suppose -16*t = -j*t + 12. Solve r - 8 = -4*m, -4*r + t*m - 28 + 0 = 0 for r.
-4
Let c be (-2)/(-10) - ((-1368)/(-90) + -15). Solve 5*a + g + 4 = 0, c = -4*a - g - 2*g - 1 for a.
-1
Let q be 5 + ((-18)/(-3))/(-2). Solve i - 1 = -y, 4*i - q*y = 5*i - 6 for i.
-4
Let z be (-184)/6 - (-4)/6. Let w = z - -57. Solve 3*l + 5*y = -w + 6, -4*y = 3*l + 18 for l.
-2
Let c = -27 - -31. Suppose -x + 5*y + 7 = 0, -c*x - 3*y - 1 + 6 = 0. Solve 2*q = -x*l + 2, -4*l - 6*q = -3*q for l.
-3
Let m = -2466 - -2475. Suppose -g + 14 = 2*a + a, g = -2*a + 11. Solve -7 = 4*p + g*q, -m = -3*p + 2*q + 3 for p.
2
Let b be 7/2 - ((-3)/2 - -2). Let f be (-12)/b - (-3 + -4). Solve t + 5 = f*a - 7, 5*t + 5*a = 0 for t.
-3
Let i = -4 + 8. Solve 2*u + 2*l = 0, 2*l = i*u - 3*l + 18 for u.
-2
Let a be 4/((-4)/(-15)*5). Solve -2*x = -5*s - 5, 0*s - a*x = -2*s - 2 for s.
-1
Suppose 3*l = b + 4, 0 = l - 2*l + b + 2. Let o = l - -2. Solve 4*f - 4*h = 12, -h + o = 5*f - 0*h for f.
1
Suppose 3*z - 13 = -1. Suppose -l - z*l = -15, 1 = 5*a - 3*l. Let b(m) = 2*m**2 - 2*m + 1. Let y be b(a). Solve -y*j + 5*k = 15, -5*j - 2*k - 15 = -0*k for j.
-3
Let y be -1 - 2 - (-10 - 4). Suppose -y = -3*k - 2. Solve 0 = -v - 3*u - 4, k*u = -0 - 6 for v.
2
Suppose 7*u - 5*u - 4 = 0. Solve -2*s - 3*r = -1, -s - u*r + 4*r = 3 for s.
-1
Let r be (-24)/8*7/(-3). Suppose r*c - 32 + 4 = 0. Solve -4*f = 5*d + c, 5*f + 7 - 2 = 4*d for d.
0
Let s(f) = -f**2 - 10*f - 18. Let c be s(-7). Suppose -5*g = -10*g. Suppose 2*y - 8 = -2*y. Solve y*p + c*n = -g + 4, 0 = 3*n for p.
2
Let u(o) = o**3 - 16*o**2 + 38*o + 17. Let v be u(13). Solve -3*r = 5*m + 3, 2*r - 4*m = -2*r - v for r.
-1
Let v be (2/3)/(2/39). Let o(t) = 2*t**2 - 72*t. Let f be o(36). Solve 4*w - 3*w + 6 = -3*k, 4*w + k + v = f for w.
-3
Suppose 0*h + 6*h = 12. Solve 0 = h*y + 6, -11 = 4*f - 0*y + y for f.
-2
Let d(j) = -3*j**2 + j + 4. Let l be d(0). Solve 3*m - m + l*i + 8 = 0, -5*i = -3*m + 32 for m.
4
Let w(r) = 15*r - 73. Let h(d) = -10*d + 49. Let t(b) = 8*h(b) + 5*w(b). Let f be t(5). Solve -5*s = -4*n + f + 7, n = 4*s + 5 for n.
1
Let n(m) = -m**3 - 4*m**2 + 4*m - 1. Let w be n(-5). Solve -3*o = 4*c + w, -c - 3 = 2*o + 3 for o.
-4
Suppose -27*g + 24*g = n - 11, -3*n - g + 17 = 0. Solve -14 = 2*k + 4*v, n*v = 2*k + 2*k + 15 for k.
-5
Let p(m) = -m**3 - 4*m**2 + 6*m + 7. Let o be p(-5). Suppose -o*s = -s. Suppose 5*b + 0 - 15 = s. Solve 2*g = -8, 2*u + 5 = b*g + 21 for u.
2
Let o be (-138)/(-18) + (-2)/3. Let g = -76 - -74. Let i be (-5 - -7)*(-5)/g. Solve n + 0*n - 6 = i*p, o = -2*p + 5*n for p.
-1
Let w(y) = -2*y - 6 - 4*y**2 + 2*y**2 + 5*y**2 + 4. Let n = 2 + -3. Let l be w(n). Solve 5*m - 3*x = x + 16, l*m - 12 = 3*x for m.
0
Suppose -2*m - 75 = -15. Let x be ((-4)/(-5))/(m/(-75)). Solve -3*l + x = -4, -4*y - 3*l = -18 for y.
3
Let l(w) = -w**2 - w - 6. Let n be l(-3). Let u(b) = -b**3 - 11*b**2 + 12*b + 3. Let g be u(n). Solve -5*y - 4 = -g*y + c, c + 3 = -y for y.
-1
Suppose 28*k - 72 = 37*k. Suppose -3*z = -0*z + 39. Let b = k - z. Solve 0 = -3*i - 3*a + 6, -6*i + b*i = -a for i.
1
Let i be -3 + (1 - (-63)/(-3)). Let x = -20 - i. Solve q = x*c + 15, -8*q + 4*q - 20 = 4*c for q.
0
Let r be (-21)/(-14)*(1 - (-14)/(-6)). Let z be (4/r)/((-54)/135). Solve -20 = -z*c + p, -5*c + 8 = -3*c - 4*p for c.
4
Let d(i) = -i**3 + 8*i**2 - 5*i - 8. Let s be d(6). Let o = s + -34. Solve 0*q + q = o, -x = -2*q - 1 for x.
1
Let o be (-3)/(-4)*-1 + (-3124)/(-1136). Suppose 4*g - 8 = -0. Solve o*k + 5 = -g*b - b, -5*k - b = 19 for k.
-4
Let o(w) = -w**3 + 4*w**2 + 2*w + 6. Let t be o(-3). Let u = t - 62. Solve -4*n = 3*k + u, 3*k = 6*k - 4*n - 7 for k.
1
Let l(h) = 3*h**2 + 18*h + 5. Let k be l(-6). Solve -5*s + 2 + 28 = 5*u, k*u - 22 = -3*s for s.
4
Suppose -6 = -z + n, 3*n = -z + 31 - 41. Solve -9 = -i - z*g, 3*i - g - 5 = 4*g for i.
5
Suppose -4 - 22 = -2*l. Suppose 3*s + 20 = -l. Let o = -7 - s. Solve -2*d - 2*p = -o*d + 2, 0 = -4*d - 4*p - 36 for d.
-4
Let f be 2*(0 - 4/(-8)). Suppose -2*q = 5*l + 11, -2*q - 2*l + 19 = -7*l. Solve -q*c - 1 = -3, -a - 2*c - f = 0 for a.
-3
Let b = 114 - 109. Solve p = -4*p + 15, 3*w + b*p = 12 for w.
-1
Suppose 5*n - 9 + 4 = 0, -5*n = 5*a - 10. Solve -3*m + 3*p = 0, 2*p = m - a + 5 for m.
4
Suppose 7*s = -2*s - 9. Let n be 0 + (s - -1) + 0. Suppose -d = -4*b, 3*d + n*d - b = 0. Solve d*f - 7 = w - 3*f, 3*f = -2*w + 13 for w.
2
Let f = 53 + -44. Solve 2*q - 2*w = 6, -3*w - f = -3*q - q for q.
0
Let o(i) = -21*i - 14. Let p be o(-1). Solve x = -3*d - 