 11 = c*l + 27 for l.
-4
Let p(y) = y**2 + 10*y + 24. Let b be p(-3). Suppose -5*n - b*s = 5, -4*n = 4*s + 1 + 11. Solve 0 = 4*u - 2*i + 4, 6 = -i - n*i for u.
-2
Let m be (0*1/2)/(-8 + 9). Suppose -9*h = -m*h - 144. Suppose 34 = h*n - 14. Solve n*g + 4*v - 3 = 0, 0*g + g = -3*v + 6 for g.
-3
Let s(c) = 2*c**3 + 81*c**2 + 64*c + 963. Let a be s(-40). Suppose -2*h - 20 = -7*h. Suppose h*k = 3*k + 3. Solve -a - 11 = 5*m + 4*l, k*l + 11 = -4*m for m.
-2
Let w be (22 - (-5 - -25))*(-3)/2. Let d be 3*1*16/(-6). Let t be (9/w)/(6/d). Solve -5*z = 25, -z - 10 = 5*k + t*z for k.
3
Suppose 2*f - 10 = -5*y + 4*f, 2*y = -3*f + 23. Solve 5*o + 2*m = 15, 7 + 5 = 4*o - y*m for o.
3
Let b = 207 - 203. Solve b*i + 16 = -2*u, 3*i - 4 = 5*u + 4*i for u.
0
Let b be (-18530)/204 + (-1)/6. Let n be 3 - (-13)/(b/21). Solve n = -3*g + 15, 3*g + g - 5 = 5*v for v.
3
Let g(b) = -14*b + 57. Let o be g(4). Let h(v) = 9*v**2 - 2*v. Let i be h(o). Solve -a - 3 = -l, 3*a + 0 = -5*l + i for l.
2
Let m be (312/60)/(3/(-45)). Let q be (0 + 5/(-3))*m/65. Solve q*c + 5*b - 6 = 0, -3*c + b + 0 = 8 for c.
-2
Let k = 12663 + -12658. Solve k*z = 5*b - 35, -6*b - 10 = 4*z - b for z.
-5
Suppose -4*k + 45*b + 29 = 48*b, 5*b = -5*k + 35. Solve 5*w - 25 = 3*s, 2*s = -4*w + k + 12 for w.
5
Suppose -13*d + 11*d + 60 = 5*m, 3*m - 3*d - 36 = 0. Solve -j = -4, 5*k - 9*j = -m*j + 37 for k.
5
Let k = -6540 + 6547. Solve 2*q - 16*w - k = -13*w, 1 = q - w for q.
-4
Let x = -41 + 46. Suppose 5*l + 9 = 8*l - k, -2*l = x*k + 11. Solve -f + 2*g = 3*f - 12, 4*g + 12 = l*f for f.
2
Let z(q) = q**2 + 23*q + 25. Let c be z(-22). Suppose 0 = 2*o + i + c*i + 32, i = o + 31. Let n = o + 31. Solve 5*h + 15 = 4*u - 15, 35 = -5*h + n*u for h.
-2
Suppose -5*j = 2*s + 2, 5*s - 318 + 352 = 2*j. Solve -5*n - 5 = j*g + 4, g - n = -1 for g.
-2
Let q = -27325 + 27346. Solve 4*i + p = -q, 2*p = 5*i - 7*i - 6 for i.
-6
Suppose 0 = -x - 2*f + 8, 4*x + 107 = 5*f + 87. Solve 4*a = p - 17, -8*a + 3*a - 3*p = x for a.
-3
Let l = 224 + -215. Suppose 23*v - 55 = -l. Solve -6*x + 8 = v*y - 3*x, 0 = -4*x for y.
4
Suppose 2 = 1357*c - 1356*c. Solve -f - 8 = 2*w, c = f - 2*w - w for f.
-4
Suppose 3*o = 2*n + 4, -4*o + 6 = 3*n - 5. Suppose 5*j + 13*j = 108. Let s be (12/42)/(j/63). Solve 5*v - o*v + 12 = s*f, 6 = 3*v + 3*f for v.
-1
Let b be (22 - -11) + (-3 - (0/(-2))/(-2)). Solve -2*u + 2*w = -10, 4*u + b*w - 14 = 32*w for u.
2
Let j = 10006 + -9982. Solve 5*l + h - 18 = 0, -2 = -j*l + 22*l - 3*h for l.
4
Suppose -6*v + 10*v - 4*o = 52, -5*o - 49 = -3*v. Suppose 24*m - v + 8 = 0. Solve u + 5*k = -u - 4, k = m for u.
-2
Suppose t + s + 4 = 2*s, 5*s = -5*t. Let g be (0/(-3 + t))/1. Solve l - 10 = -l - 2*u, 4*l - u - 15 = g for l.
4
Let y be -10 + 228/15 + 3/(-15). Solve -3*a = 4*p + 11, y*a + 19 = -2*p + 8*a for p.
-5
Let q = 154 - 151. Let g(o) = -o**3 + 46*o**2 + 9. Let s be g(46). Solve -5 = -4*f - 4*n + 3, 0 = -2*f - q*n + s for f.
-3
Suppose -2*l = -c - 49 - 0, 4*l = -3*c + 83. Let k = l - -9. Solve 4*w + 4*d = -32, -3*d - k = -w + 6*w for w.
-4
Let t be ((-1292)/1938)/(4/6 + -1). Let f = 15 - 11. Solve t*d = 5*x + d + 7, -f*x - 3*d - 17 = 0 for x.
-2
Suppose 0 = -t + 4*z + 9, -4*t - 24 = t + 3*z. Let h be t/5 + 76/10. Solve -u - 2*d = h, 2*u + 0*d - 14 = 3*d for u.
1
Let a(d) = -44*d + 65. Let y be a(1). Let p be 0/((-8)/((-56)/y)). Let k be (6/(-4))/(1/(-2)). Solve 4*r - 5*q + 3 = p, r + 6 = 4*q - k for r.
3
Suppose -299 + 36 - 34 = -99*p. Solve -9*k + p = h - 10*k, 4*h - 16 = 2*k for h.
5
Suppose 0*f - 5*f = -3*r - 8, 4*r = 3*f + 4. Solve 0 = r*c + d - 9, 4*c - c + d = 6 for c.
3
Suppose -26*v - 75 + 205 = 0. Solve -47*j + v*a = -51*j - 9, 0 = 5*j - 3*a - 35 for j.
4
Let k = 248 - 243. Let a = -165 - -169. Solve -20 = 5*i + h, a*i + 0*i + 45 = k*h for i.
-5
Let m(o) = -21*o - 1022. Let y be m(-49). Suppose -31 = -3*k - 13. Suppose -q - 3*x = -y, k = q + 3*x - x. Solve -q*i = -i - 3*r + 3, 3*i + 3 = -3*r for i.
-1
Let k(n) = n**3 + 9*n**2 + 7*n - 3. Let s be k(-8). Let l = -91 - -74. Let q = l + 25. Solve 0 = -w - s*p - 15, w - 2*p + 2 = q for w.
0
Let t = 3343 + -3338. Solve 2 = -5*g + l + l, 2*g = -t*l - 24 for g.
-2
Let d be (-59)/(-3) + (0 + 1)*150/(-225). Solve -22*o = s - 16*o - 27, o = -5*s + d for s.
3
Let i(s) = 2*s**2 + 5. Let o be i(0). Solve d = -q - 2, o*d + 0*d - 2*q = -3 for d.
-1
Let s(t) = 2*t**3 - 39*t**2 + 90*t - 85. Let j be s(17). Solve -1367*w + 1362*w + 5*p = j, -4 = -w - p for w.
2
Let x = -5026 + 5026. Solve 0 = -5*y + y + n + 16, -n = x for y.
4
Let s(r) = -2*r**3 - 32*r**2 + r + 18. Let t be s(-16). Suppose 0 = 2*p - 36 + 14. Let m be 0/1*(p - 12). Solve m + 6 = 2*f - t*q, f = 3*q + 5 for f.
2
Let p = 11 + 7. Let r = -11 + p. Let v(g) = -288*g - 1437. Let s be v(-5). Solve -n = h + s, 2*n + r = -5*h - 5 for h.
-2
Suppose 15 = -f + 3*c, -4*f - 769*c + 20 = -765*c. Solve f = 4*m + l - 17, -4*l = 6 + 6 for m.
5
Let c = 20 + -8. Suppose 0 - c = -6*q. Let b be q/(-3*6/(-27)). Solve b*u + 3*d - 4 = -1, 6 = 3*d for u.
-1
Suppose 2*g - 91 + 9 = -4*n, 3*g = 5*n + 178. Let i = 56 - g. Solve -h = -0*v - v - 9, 0 = -i*h - 4*v for h.
4
Let a be (-113)/(-23) + 78/897. Solve -9 = 3*k - a*k - r, 2*k - 12 = -4*r for k.
4
Let y = 102 - 96. Suppose -5 = 5*o - y*o. Solve k - 2*d = 5, 4*d + o + 6 = 3*k for k.
1
Suppose -426 = -5*u - 401. Suppose -5*o = 4*b - 4*o - 133, u*o - 121 = -4*b. Solve 2*i + 2*s - 4 = 0, -2*i + 5*s = i + b for i.
-3
Let h = -1860 + 1864. Solve 4 = -l + o + 2*o, 0 = -4*l - h*o for l.
-1
Suppose 5*g - 12 = -g. Suppose -f + 2 + 1 = 0, g*f = -3*j + 27. Let n = 0 + j. Solve 0 = -u - 3*b + 15, -3*b + 5*b = 5*u - n for u.
3
Let t(z) = -17*z + z**2 - 44 + 42 + 14*z. Let o be t(-2). Solve -2*m + 20 = -4*k, m = k - m + o for k.
-4
Let d be ((-312)/40 - -19)/(4/10). Solve -w - 2*z - 1 = 0, -4*w - 172*z = -176*z + d for w.
-5
Suppose v - 44 = -5*p + 3*v, -4*p = 5*v - 22. Suppose 0 = -3*c + 17 - p. Solve -4*f = -3*w - 35, -c*f = f + 4*w for f.
5
Let o(z) = -z**3 + 3*z**2 - z + 3. Let w be o(-4). Let v = w + -67. Let b be 16/(-80) - v/(-10). Solve 2*d - b = j, 2*j - 2 = -d + 3 for d.
3
Suppose 0 = -5*n + 4*b - 13, 5*n - b = 4 + 4. Solve 253 = -2*g - 5*j + 240, 5 = -4*g - n*j for g.
1
Suppose -223*h + 317*h - 376 = 0. Solve -l + 27 = -4*x + 30, 5*l = h*x - 15 for x.
0
Suppose 0 = -5*t + 26 - 6. Let m = -2328 - -2331. Solve 0 = 5*q + 2*f + 7, m*q = -q - t*f + 4 for q.
-3
Let u(c) = -3*c + 21. Let a be u(5). Let v be (10 - (-3)/a*-6) + -1. Suppose -10 - 8 = -v*y. Solve 4*i - 5 = -5*n + i, -2*i = -y*n + 22 for n.
4
Suppose -21 = 15*g - 20*g - 4*k, -g = 2*k - 3. Suppose -19 = -2*n - 13. Solve 2*j - 3*l + g*l = -4, 0 = n*j + 5*l + 10 for j.
0
Let n(h) = -h + 15. Let i be n(-7). Let d(u) = i - 4*u - 15*u + 2*u**2 - u + 0*u**2. Let g be d(9). Solve z - 6*z - g*s = 5, 3*s + 1 = -z for z.
-1
Let k(j) = 18*j - 31. Let x be k(2). Suppose 114 = x*n - 36. Solve -2*c - 3*u = 19, 5*u = -3*c - 0*u - n for c.
-5
Suppose -9 = t + 3*u, -4 + 8 = 4*t + 2*u. Suppose j + 33 + 24 = -r, -r + 4*j = 52. Let l = -53 - r. Solve m - 12 = -o - t*m, -l*m = o - 8 for o.
-4
Let y be 250/40 + 10/(-8). Suppose -4*o = y*t - 45, 5*o - 5 = 4*t - 0*o. Solve -5*g + 7 = -0*f - f, 4*g = t*f - 7 for f.
3
Suppose -3*n + 6 = 24. Let s be (-4)/n*(-165)/(-10). Let d = 14 - s. Solve -2*z - 8 = -4*b, 7*b = d*z + 2*b + 10 for z.
0
Let l(k) = k**3 + 14*k**2 + 11*k - 15. Let i be l(-13). Solve 0 = 4*h - 2*q - i - 13, 1 = h + 2*q for h.
5
Let c be ((-8)/20)/((-1)/5). Let l be (9 + 5 + -13)/(1/19). Solve l = -c*j + d - 6*d, -5 = 4*j - d for j.
-2
Let z(r) = -r**3 + 104*r**2 + 100*r + 527. Let o be z(105). Solve -2*t - 5*v - 7 = -3*t, 2*v - o = -2*t for t.
2
Let v(p) = -5*p + 3*p - 6*p + 5 - 8. Let w(g) = 24*g + 8. Let d(l) = -8*v(l) - 3*w(l). Let b be d(-2). Solve 4*z = -5*n - b, 3*n = 5*z - z + 16 for n.
0
Let t be 256/(-10) + (6 - 189/35). Let j = 29 + t. Solve -i - 3*i - 3*l - 21 = 0, i = -j*l - 15 for i.
-3
Let h be (-3)/2 + (-198)/(-12). Solve -3*c + u = 1, -h*u = 2*c - 13*u + 6 for c.
-1
Suppose -3*z = f - 2, 3*f - 6 = -51*z + 54*z. Solve 0 = -a - 4, z = p - 2*p + 2*a + 5 for p.
-3
Let d(k) = 8*k - k - 2*k**2 - 2 + k**2. Let u be d(4). Suppose -5*f + 0*f = -u. Solve q + 17 = -6*i + i, 0 = -4*q + f*i + 20 for q.
3
Suppose 78 = -3*v - 2*v + 31*v. Solve 