 l be (3/x + -3)*-1. Let r be 2/(-4) - (-1)/((-16)/(-152)). Solve -2*p - 5*t = -l*t + 12, -p + r = -5*t for p.
-1
Suppose 16 = 7*q - 12. Suppose 3*u = -q*u + 21. Solve 3*y - 21 = -u*p, y + 2 = p + 1 for p.
4
Let j be (-2 + -27)/(64/(-288) - (-2)/(-18)). Solve -3*w - 37 = -5*y, -j = -w - 3*y - 76 for w.
-4
Let w(t) = -2*t**2 + 2*t. Let y(b) = 11*b**2 - 2*b - 24. Let u(h) = -6*w(h) - y(h). Let l be u(3). Solve -8 + 1 = l*s + m, 0 = s - 4*m + 24 for s.
-4
Let u = 450 + -447. Solve 2*i + i - u = 0, -3*c = -5*i - 7 for c.
4
Let j = -4906 + 4914. Solve -4*v - 5*b + j = 21, 3*v = 5*b - 1 for v.
-2
Let h = -25 - -28. Let i = 8 - h. Let a = -87 + 91. Solve 2*o + 8 = -a*q - q, -o = i*q + 4 for q.
0
Suppose 0 = -9*m + 3*m - 516. Let h = m - -129. Let r = 45 - h. Solve -3*i + 0*w + 2*w - 25 = 0, -r*i = 2*w for i.
-5
Let p(b) = b**3 - 11*b**2 + 16*b + 16. Let h be p(9). Let z(a) = -a**3 - 6*a - 12. Let q be z(h). Solve 0 = l + 2*m + 9, 3*m - 2 = -q for l.
-5
Let j be (-100)/30*276/(-10). Let g = 102 - j. Suppose 25*v - 23*v = g. Solve -5*u - 4 = -3*h + 2*h, v*h - 3*u + 2 = 0 for h.
-1
Let g be ((-2)/4)/(12/(-1728)*-12). Let l be (35/(-14)*2)/(10/g). Solve l = 3*w, -3*b - 15 = b + w for b.
-4
Suppose 12*p - 2*p = 0. Let k(x) = -2*x**2 + 2*x + 4. Let z be k(p). Solve 14 = -2*h + 5*h - 2*a, 0 = h + z*a for h.
4
Let x = 852 + -164. Let i = 693 - x. Solve -3*n - 21 = -2*h, 0 = -i*n - 3*h + 6*h - 34 for n.
-5
Suppose -3*i = -5*f + 8, -194*f + 16 = 3*i - 193*f. Solve a = -i*n - 16, -5*a = -n - 78 + 95 for a.
-4
Let p be -3 + (-2 + 4)*(-84)/(-24). Solve -s = -3*i + 17, -12*i + 12 = -8*i + p*s for i.
5
Let c(l) = l**2 - 7*l - 20. Let i be c(9). Let k(u) = 2*u**2 + u. Let x be k(i). Suppose x*f - 21 = 3*f. Solve 3*h = 5*p + h - f, -5*p - 5*h = 0 for p.
1
Suppose -3*q + t + 3*t + 13 = 0, q + 2*t - 1 = 0. Solve 4*m = q*v - 1, 0 = -14*m + 13*m + 5*v - 13 for m.
2
Suppose -4 = -27*o + 26*o, z + 3*o - 18 = 0. Solve -5 = 5*j + 4*a, -z*a - 5 = 5*j - 7*a for j.
-1
Let b = -353 + 355. Suppose -5*t - 3*n + 33 = 9, -3*t - b*n = -15. Solve t*s = -4*l + 3 - 1, 4 = -2*s for l.
2
Suppose 142*y - 138*y = -5*b + 290, 4*b + y - 232 = 0. Solve -2*o - 5*r - 25 = 0, 3*o + 5*r - b + 88 = 0 for o.
-5
Let v(l) = -l**2 + 31*l + 4. Suppose b - 4*w + 4 = -0*w, 5*b - 2*w + 2 = 0. Let d be v(b). Solve d = 2*o + 3*c, -4*o = -3*c + 3 + 7 for o.
-1
Let b = -22 - 38. Suppose d - 176 = 5*d. Let c = d - b. Solve u = -3*u + c, -4*t - u + 8 = 0 for t.
1
Let n(z) = z**3 + 17*z**2 + 17*z + 27. Let t be n(-16). Suppose -4*h - 62 = 62. Let k = -31 - h. Solve 5*d - r - t = k, 3*d = -d + 5*r + 13 for d.
2
Let m be -26 - (-5 + 3 + -3). Let k(a) = -a**2 - 21*a. Let s be k(m). Solve -d + h = 9, d + s*h - 3*h + 19 = 0 for d.
-4
Suppose 26563*n = 26515*n + 826 + 374. Solve -24*o + 19 = -3*y - n*o, -y - 32 = 4*o for y.
-4
Let g be (11/(-6))/(-11) - 94/(-12). Let b be 63/(-30)*-2 - ((-476)/70 + 8). Solve -4*u - 4 = 4*r, -b*r + g*u = 4*u + 24 for r.
-4
Let n(m) = -m**3 + 12*m**2 - 2*m + 18. Let b be n(12). Let o be b/27 + 58/18. Suppose o*r = 6*r - 93. Solve -4*f = -3*y + r, -4*y = 2*f + f - 8 for y.
5
Let k be ((-40)/24)/(2/(-6)). Suppose k = 2*f + 1. Suppose -5*u - i + 13 = -0*i, 0 = -4*u + 2*i + f. Solve 0 = -o - 2*o + 12, -4*z + u*o = 12 for z.
-1
Let o = 53 - 32. Let z(k) = -9 + 24*k - 13 - 6*k - k**3 + 15*k**2 - 7. Let s be z(16). Solve 7 = 4*h + 4*x + s, 4*h = x - o for h.
-4
Let n = -3661 + 3666. Solve -x + y + 3 = 0, -5*x + 4*x + n*y = -3 for x.
3
Let g = 215 + -203. Suppose 13*p - g = 40. Solve -p*q + f = -3*q - 2, -6 = q - 5*f for q.
4
Let h(d) = -7*d - 62. Let z be h(-9). Let u be z/(-8) + (-231)/(-56). Solve 0 = x - 2*f + 5*f, -u*x = 4*f for x.
0
Let h = 265 + -269. Let m(y) = -y**3 - 4*y**2 - y + 3. Let q be m(h). Solve -4*s = 0, -5*j = 5*s - q + 2 for j.
1
Suppose -10 = -d - 7. Suppose 11 - 20 = -d*t. Solve 5*n - t*n + 4*r - 14 = 0, 0 = 5*n + 2*r + 5 for n.
-3
Let w be -208 + 209 - (-2 + 1)/(-1). Solve -5*z = 4*p - 18, p + 24 - 26 = w for z.
2
Let l be ((-9)/(-6))/((-297)/154 - -2). Solve -2*q = -k, -l*q + 22*q - k - 1 = 0 for q.
-1
Let d be -2 + (-4)/(-3) + (-768)/(-72). Suppose 7 = -4*i + 27. Suppose -12*f = -3*f - 18. Solve 0 = -i*l - 2*t - f*t + 28, -3*t = l - d for l.
4
Let z be (9/((-18)/1516))/(-1). Let l = -753 + z. Solve -4*f = -l*m + 30, -m + 3*m + 2*f + 6 = 0 for m.
2
Suppose 4 = a - 5. Suppose 3*l + 3*c + 3 = 0, -a = 5*c - 2*c. Let p be 2/(8/3) - 243/(-108). Solve -d + 3*v - 12 = -p*d, -5*v = l*d - 20 for d.
0
Let c be (5/(3 + -2))/((8 - 23)/(-15)). Solve 4*m + 21 = 3*n, -3*m = c*n - m - 9 for n.
3
Let s = 2059 - 2056. Solve 7 = 2*z + r, r - s = -z + 3*z for z.
1
Let p = -6273 + 6278. Solve p*j + 41 = 4*y, -3*y + 5*j = 10*j + 13 for y.
4
Let z be (-1)/((2/3 - -6) + -7) - -12. Solve -2*k + 19 = q + 22, 5*q + z = -3*k for q.
-3
Let l(d) = -2*d**2 - 10 - 3*d**2 + 4*d**2 + 0*d**2 + 2*d. Let q be l(7). Let v = -43 - q. Solve -33 + 13 = 4*r - 3*z, 5*r + v*z = -25 for r.
-5
Suppose 0 = -j + a + 27, 103*a = 101*a - 6. Solve -4*o = 2*n - 24, -2*o - 2*o - n + j = 0 for o.
6
Let n(h) = 9*h**3 + h**2 - 2*h + 1. Let t be n(1). Suppose -3*f = -12 - t. Suppose f*c = 24 - 3. Solve -c*w - 2 = 3*g + 4, -2*g - 3*w - 7 = 0 for g.
1
Let v be (16/(-20))/(186/(-15) + 12). Solve 4*l - 14 = v*i, -4*i = -4*l + 39 - 31 for i.
3
Let m(y) = 4*y**2 - 5. Let n be m(2). Suppose n*s - 22*s = -33. Suppose -2*p + 31 = 6*f - 3*f, 3*p + f = 36. Solve b - 3*b - 5*j = 33, p = b - s*j for b.
-4
Suppose -h - 11 = 3*c + 3, -11 = 2*c - h. Let s be c/1*(-7)/35 - -5. Solve -4*p = 2*d, 2*d + 2*d + 5*p = -s for d.
-4
Suppose 0 = -4*r + 12*r - 280. Suppose 0 = n + 5, -5*h + r = 6*n - 8*n. Solve -h*u - 5*x - 9 = -3*x, 3*u = -5*x + 6 for u.
-3
Let w = -154 - -159. Suppose -w*g - 50 = -4*m, -6*m - 3*g = -4*m - 36. Solve 2*a - 7*p + m = -2*p, a + p + 4 = 0 for a.
-5
Let c(b) = 4*b + 4. Let x be c(1). Suppose -8*a = -0*a - 40. Suppose -3*y + 8 - a = 0. Solve m - y = k, -2*m + x = -0*k - 4*k for k.
-3
Suppose 89*i - 195 = -2*i + 260. Solve i*d + 3*f = -260 + 283, 3*d = 5*f + 7 for d.
4
Let k(x) = 651*x - 3252. Let y be k(5). Let o(g) = -15*g**3 + 2*g**2 + g. Let t be o(-1). Solve -c = y*c - t, -2 = 3*d + c for d.
-2
Let i be 1 + -4 + 4 + 0 + 3. Solve -2*v = -i*q, -4*v = -2*q + 4*q + 10 for v.
-2
Let u = 165 - 162. Let p(t) = -t**3 + 3*t**2 + 4*t + 2. Let n be -6 + 7 + 2/(-2) + 4. Let o be p(n). Solve 2*r = -u*y - 18, -2*r - r + o*y = 1 for r.
-3
Suppose -263*r + 263 = -198*r + 3. Solve -16 = 9*c - 12*c + 5*p, -2*c - 26 = r*p for c.
-3
Suppose -3*o + 13 = 1. Let j(d) = -41*d + 3. Let a be j(0). Suppose -a*n + 22 = -2*u, 32 = n + o*n - u. Solve 0 = 4*f - 2*c - 6, -4*f - 5*c + 7 + n = 0 for f.
2
Suppose -54*n + 84*n = 1680. Solve -5*r - n + 19 = -3*l, -3*l - 3*r - 3 = 0 for l.
4
Let r = 60 + -55. Suppose 0*n + 325 = r*n. Suppose -5*w + 90 = n. Solve -10 = 2*d, 2*d + w = 3*v - 8 for v.
1
Let z = -60 + 65. Suppose k = z*a - 3, 3*a = 5*k + 6 + 9. Solve l + h - 4*h + 8 = a, 5*h = 20 for l.
4
Suppose -28 = 5*v + f - 40, -2*v - 4*f + 12 = 0. Let h = -544 + 554. Solve -o + 2*o + v*b - h = 0, -5 = -b for o.
0
Let j be (6/(-4))/((-6)/20). Let t(f) = -5*f**3 - f**2 + 1. Let w be t(-1). Suppose -w*y + 11 - 1 = 0. Solve 3*r - 5 = -y*d, -2*d - 2*d - j = 3*r for r.
5
Let q(i) = i**2 + 4*i + 7. Let g = -58 - -53. Let l be q(g). Suppose l = 3*h + 3*f, 4*f + 8 = -0*h + 2*h. Solve -v + 11 = 3*d - 6*d, h*d + 18 = 3*v for d.
-3
Let m = 131 - 126. Let d be ((-10)/9)/5*(m - 14). Suppose -3*z + 5 = -4. Solve z*t = d*s - 7*s - 8, -2*t - 1 = -s for t.
-1
Let q(f) = -f**3 + 10*f**2 + 16*f - 158. Let u be q(10). Solve -5*s = -2*t + 7 - 26, u*t - 5 = -3*s for s.
3
Let c = -4 - -41. Let t = 41 - c. Suppose 4*l + 3*l = t*l. Solve l = -2*d - 5*i + 17, -4*i + 12 + 1 = d for d.
1
Let y(r) = -r**2 + 43*r - 45. Let o be y(42). Let f be ((-35)/o)/(4/12). Solve 0*g - 2*g + 3*i + 16 = 0, 5*g = 5*i + f for g.
5
Let k = -336 + 336. Let b be -1 - (k + -9) - 5. Suppose 3*s - 5*h + 14 = 0, 15 = 3*s + 5*h - 11. Solve 2*n = b*a - a, s*n = -4*a + 24 for a.
4
Let a(o) = 3*o + 22. Let g(d) = 7*d + 45. Let m(x) = 11*a(x) - 6*g(x). Let q be m(-4). Solve 0 = 5*b - 5*y + q + 12, -b + 5*y = 24 for b.
1
Let t = 0 + 0. Suppose 3*q - d + t*d - 31 = 0, 0 = -4*d + 20. Suppose -q*y + 18*y = 18. Sol