64 = 0. Let k be 3*-1 + -1*i/(-1). Let n be 1/2*(11 + k). Solve -5*l - 15 = -n*l, 0 = -o + 2*l - 15 for o.
-5
Let o be 189/18*340/102. Solve 0 = 10*z - 3*z - o, -z = 5*c - 20 for c.
3
Let j be ((-1)/(-1))/(1/(-9)). Let m = -4 - j. Suppose 3*x + 147*t - 8 = 145*t, 2*x - 20 = -5*t. Solve -m*n + 20 = x, 2*o - 3*n + 21 = 7 for o.
-1
Let t(k) = 2*k**2 - 35*k - 612. Let y be t(-11). Solve 5*r - y*j = -17*j + 48, 5*r - 44 = -j for r.
8
Suppose 0 = -8*r + 7 + 209. Suppose r = 2*a + a + 5*f, f - 19 = -4*a. Solve a*j = 12, -z - 11 = -4*j - j for z.
4
Let j be ((-16)/(19 - 3))/((-2)/10). Let g be 136/12 - (-1)/(-3). Solve -4*z = h - 2*z + g, -3*h + j*z = -22 for h.
-1
Let f(o) = -45*o - 402. Let z be f(-9). Solve -5*p = 10, 6*p - 1 = -z*r + 5*p for r.
1
Let d be 6/18 + 12/(144/20). Solve 6*g = g + d*l - 3, -4*l + 12 = -4*g for g.
1
Suppose 5*j = -2*u + 13, 4*j + 0*j - 4 = 0. Suppose -t = -5*t + u. Let v be (t/(-3))/(3/(-36)). Solve 5*b = -k - v, 0 = -0*b + 5*b - k - 4 for b.
0
Suppose -2*z + z + 4 = 0. Suppose -5*r + 12 - 2 = 0. Suppose -22 = -g - 3*g - 2*h, -25 = 73*g - 77*g - 3*h. Solve -z*l = -4*d + g, r*l = 5*l - 2*d for l.
2
Let p be (18/(-63))/((-6)/105). Suppose p*v + 2*k = k + 11, 12 = 5*v + 2*k. Solve 0*c + 5*r + 10 = v*c, 5*c + 3*r = 25 for c.
5
Let j = 28377 + -28372. Solve 2*o + 20 = j*g + 23, -5*g = -5*o for o.
-1
Let v(f) = -17*f - 463. Let w be v(-30). Solve -2*g + 57 = w, -3*n - 34 = -5*g for n.
-3
Suppose 4*a - 24*j - 23 = -29*j, 0 = -5*a - 3*j + 19. Solve 13 = a*y - f, 2*f - 3 = -3*y + 6 for y.
5
Let j(g) = 1032*g + 9293. Let c be j(-9). Solve c*o = -109*h + 108*h + 11, -3*h - 18 = -2*o for h.
-4
Suppose -6 = q - 4*c, -4*c = 8*q - 10*q - 4. Suppose -3*r = q*m - 16 - 67, m = 4. Solve -5*h = -4*j - 17, -7*j = 3*h - 2*j - r for h.
5
Let u be -263 + 10/12*6. Let s = u - -258. Solve 4*i = -4*q + 2*q + 10, s = -2*i - 2*q + 10 for i.
0
Let d = 10 - 5. Suppose -4*i + 1298 = 38. Let o = -312 + i. Solve -3*n + 3*p + 14 - d = 0, 0 = -o*n - p + 9 for n.
3
Let n = 529 - 301. Suppose x + n = 232. Solve r = 2*r - x, 0 = 5*y + 5*r - 15 for y.
-1
Suppose 65*p = 73*p - 544. Let a = p + -66. Solve m + 26 = 5*n, 0 = -3*m - a*n + 1 + 6 for m.
-1
Suppose 0 = 4*c - 101 + 197 - 108. Solve 3*w - 3*r = c, 0*r = 4*r + 4 for w.
0
Let w be (10 - -7)*(5 - 664/136). Solve w*i - 6 = 2*h, -89*i - 15 = -94*i for h.
0
Let p be ((-2023)/(-51) + -37)*3/2. Solve -43*z - p*h = -46*z - 9, z = -5*h - 3 for z.
-3
Let u be ((-4)/(-5))/(16/120). Let q(d) = -d + 16. Let l be q(u). Let g = l + -6. Solve 0 = -4*c + 4*f - 12, -5*f - g = -3*f for c.
-5
Let p be -5 + -6*(-4)/8. Let g = p + 7. Solve g*b - 23 = -5*f + 22, -8 = -2*b for f.
5
Let h be -11 - 224/(-2)*235/1645. Let o be (4/3)/((-2)/(-36)). Solve t = 4*u + 3*t + o, h*u + t + 27 = 0 for u.
-5
Let m(j) = j + 11. Let i be m(-11). Suppose f - 3*f + 56 = i. Suppose -23*u + 22*u = -f. Solve 4*d - k + u = 3*k, 0 = -3*d + 2*k - 18 for d.
-4
Suppose -4*n + 4*o - 2068 = 0, 3*o + 1020 = -3*n - 513. Let s = n + 524. Solve -s*p - 3 = -3*j - 6*p, 2*p + 21 = -5*j for j.
-3
Let n = 133 + -114. Suppose 3*p = 6*s - s - n, 4*p + 5*s = 33. Solve p - 23 = -3*o - 3*i, 2*o = i - 1 for o.
2
Let i be ((-4)/3)/((-24)/36). Suppose -i*v = 9 + 5. Let k be -2 + (-12)/v + (-60)/(-14). Solve -5*o - 12 = -2*h, 0 = -3*o - 2*h - 0 - k for o.
-2
Suppose -78*l + 5*c = -79*l + 50, 4*l - 88 = -4*c. Solve -w - l = 4*o - 6*o, -2*o + 4*w + 30 = 0 for o.
5
Let o(s) = -17*s - 882. Let r be o(-52). Solve r*q + 4*f = -10, q = -2*q + 5*f + 7 for q.
-1
Let c be (16/(-12))/(98/(-18) - -5). Suppose f - c*j = 12, 4*j = f - 4*f - 16. Solve -k - 3 = h + k, 2*h + 5*k + 7 = f for h.
-1
Let q be (-2)/(-10) + (-78)/(-10). Let j = q - 6. Let a(w) = w**2 + 234*w - 707. Let i be a(3). Solve 5*z - 3*n = 29, i*n = j*z - 22 + 2 for z.
4
Let y be (52/8 + -3)*270/189. Solve -y*p = -2*j + 21, 11*p = -5*j + 16*p + 15 for j.
-2
Let p(g) = -4*g + 83. Let k be p(20). Suppose 73 = 5*x - 3*s - 2, k*x - 26 = -2*s. Solve 4*l + 12 = -q, -4*q - l + 0 = -x for q.
4
Suppose 15*k - 13 = 9*k + 5. Solve k*f = 3*z - 12, -3*f + 2*f = -5*z + 12 for z.
2
Let u(q) = -1093*q + 2205. Let x be u(2). Solve -2*h - x + 6 = -k, -h + 2*k = 14 for h.
-4
Suppose 4*s + 4*s = 24. Let r be 147/4 + s/(-4). Suppose 8*h = 76 + r. Solve 4*q + h = -u, 4*u = 4*q + 20 + 4 for u.
2
Let r(t) = -40*t - 1838. Let q be r(-46). Solve 3*k - 5*a + 5 = 8, -q*a + 14 = -5*k for k.
-4
Let b(c) = 2*c**2 + 15*c + 32. Let q be b(-3). Suppose 4*n = 8*n. Solve n = 3*t - q*g + 10, -3*g + 10 = 3*t + 2*g for t.
0
Let o be (1 + 5/2)*12. Let m = -37 + o. Let l = -30 - -33. Solve -m*r - l*a = -9, -2*r + r + 5*a = 15 for r.
0
Suppose 12 = 11*c - 21. Let o be (0 + c)*(-28)/(-21). Suppose -o = -2*m - 5*b, 5*m - 2 = 2*b + 8. Solve -15 + 1 = 3*g + 2*d, -3*d = m*g + 11 for g.
-4
Suppose 16*y - 47 = 17. Solve l = y*j, 5*j + 17 = -3*l - 0*l for l.
-4
Let l be (-2)/(16/(-8) + 144/84). Let p = 3 + 1. Solve c + h = -l, c - p*h + 3*h - 3 = 0 for c.
-2
Suppose -54 - 8 + 5 = -19*u. Solve -2 = u*b + 10, -5*b - 22 = -p for p.
2
Let i(j) = -j - 1. Let s be i(-4). Let d = -137 + 142. Solve 4*o + d = -3*v, -6*o - 10 = v - s*o for v.
5
Suppose 2*n = q - 6*q + 374, q - 382 = -2*n. Let w = 204 - n. Solve w = -5*h + 4*c - 10, 5*h + c = -7 for h.
-2
Let d be (-12)/105*7 + (-18)/(-10). Let h be (-10 - (-9 + d))/((-2)/7). Solve -3 = -2*f - 5*s, 0 = -4*f + 5*s - 2*s - h for f.
-1
Suppose 5*o = 102 + 93. Let h = o + -2. Let l = -37 + h. Solve 0 = 3*d + 4*w + 7, -2*w + 4 = -l for d.
-5
Suppose 67*c = -28*c + 190. Solve -11*s - 1 = 2*f - 10*s, -29 = -c*f + 5*s for f.
2
Let r = 694 + -1057. Let f be 3/5 + (r/55 - -8). Solve 0 = k - f*q - 4 - 1, 16 = -k - 5*q for k.
-1
Suppose -4*t + 28 = 2*y, -3*t + 5*y - 205 + 187 = 0. Solve -3*r - 4 = -t*d - 0, 3*d = -2*r + 3 for d.
1
Let p = -9582 + 9605. Let b = 10 - 6. Solve -p = -z + 5*t, 5*z - b*t - 15 = t for z.
-2
Let f(d) = 286*d + 290. Let s be f(-1). Solve -s*k - 34 = -5*l, 0 = -5*l + 105 - 75 for k.
-1
Suppose 3*f - 2*f - 8 = c, 30 = -5*c - 5*f. Let v be (c + (-18)/(-6))*6/(-8). Solve 0 = 4*h - k + 16, -2*h + 0*h + 6 = v*k for h.
-3
Suppose 4*c + 14 = 2*m, -5*c = 3*m + 115 - 125. Solve 3*n - 17*t - 15 = -14*t, 2*n + 3*t = -m for n.
2
Let u(h) = 86*h**3 - 4*h**2 + 6*h + 5. Let x be u(2). Let l = -686 + x. Let q be (-23)/(-7) + 2/(-7). Solve p - t - q = 0, p + l*t + 3 - 6 = 0 for p.
3
Let i = 51 + -47. Suppose -3 = 2*d + r + 2*r, -2*d - 4 = i*r. Let q be -1*(d + 3) + 11. Solve -q*b + 15 = -4*b + 3*z, 4*b + 5*z = 17 for b.
3
Let j = 3454 - 3435. Solve 3*t + 13 = -5*f - j, -2*t - 4 = -f for t.
-4
Let s(d) = 7*d - 9. Let q be s(2). Let c(r) = 18*r + 4. Let w be c(2). Suppose -t = -q*t + w. Solve -2 = 4*m + 4*o + 2, t = -5*o for m.
1
Let h = -4469 - -4469. Solve 44*f + 3*i = 41*f, -4*i + 8 = h for f.
-2
Let n be 4/(-160)*24*(-2 + -3). Solve -1 = n*x - 4*x + z, 5 = 5*x + 3*z for x.
1
Let n(t) = 50*t**2 - 163*t + 4. Let j be n(4). Let p = 154 - j. Solve h = -4*x - p - 2, 0 = x for h.
-4
Suppose 4*o - 2*h - 4 = 0, 79*o + 2*h = 76*o + 17. Solve 4*b - 3 - 4 = o*d, 4*b - d - 5 = 0 for b.
1
Let f be ((-2664)/148)/(3 + (-51)/15). Solve -f*j = -42*j + 2*d + 8, 0 = -5*d - 5 for j.
-2
Let s(g) = -7*g + 18. Let p(l) = 21*l - 53. Let r(t) = 3*p(t) + 8*s(t). Let b be r(4). Suppose -b*n + 19*n = 126. Solve 4*j - j = -y + 12, n = 2*j + 5*y for j.
3
Suppose -6*x = -18*x - 72. Let c be 14/x*(19 - 28). Let g be 9/(-36) + c/4. Solve g*m - f = 6 - 24, f - 3 = 0 for m.
-3
Suppose -18*f + 259 = -281. Suppose 5*n = 5*s + f, 0 = 4*n + n + s - 30. Let b be n/((-2)/(-8) - 11/(-4)). Solve r - 13 = 5*j, 0 = 5*r + 3*j - 7*j - b for r.
-2
Suppose 3*m + 0 = 18. Let z(v) = 3*v + 55. Let b(a) = a**2 - 3*a - 18. Let l be b(0). Let r be z(l). Solve w - 2*p = r, -2*p - m = -5*p for w.
5
Let z(y) = -9*y - 105. Let o be z(-13). Suppose -o*t = 16 - 40. Solve -5*x = -k - 6, 27 = 4*k + t*x + 7 for k.
4
Suppose 0*d = 4*d. Let x(w) = w**2 + w - 5. Let r be x(0). Let l be ((-10)/(-3))/(r + (-51)/(-9)). Solve -3*y + d*v = 3*v - 21, 2*y - v = l for y.
4
Let a(w) = -5*w**2 - 32*w + 6. Let z(s) = -s**2 + s + 1. Let v(q) = -a(q) + 6*z(q). Let f be v(0). Solve -o = 2*j + 3*j + 22, 4*j + 16 = f for o.
-2
Suppose y - 58 = -3*b, -3*b - 2*y + 46 = -4. Solve 0 = 5*s + 5*j - 2*j + b, 3*s - 3*j