Solve 10*x + 2 = -v + 11*x, -l*x = -18 for v.
4
Let r = -805 + 804. Let i(h) = 20*h**2 + 13*h - 1. Let b be i(r). Solve -3*z - 8 = 2*s, z - b*s = -s + 3 for z.
-2
Let z be (-12)/4 - ((-12)/6 + -2 - 5). Solve -r + z = n, 11 = -2*n + 4*r + 5 for n.
3
Let s = -52 - -53. Let u(n) = -28*n**3 + n**2 - 2*n + 2. Let f be u(s). Let b = -24 - f. Solve -4*x + 5*x - 1 = k, -b*k = 4*x - 11 for x.
2
Let n(f) = 2*f**2 + 29*f + 162. Let w be n(-14). Suppose 11*l + 115 - w = 0. Solve i + 3*p + 21 = -2*p, l*p = 2*i - 10 for i.
-1
Let j(v) = -v**2 - 18*v - 31. Let o be j(-13). Let p = 37 - o. Let s be 11/p + (-56)/84. Solve -2*u = -c - 4, -3*u = -c + s*c + 8 for u.
0
Suppose 6*y - 2*y = 124. Let x(u) = -33 - y*u**3 - 17*u - 26*u**3 + 58*u**3 - 18*u**2. Let q be x(19). Solve 0 = 3*v - 5*m + 4, 4*m + 31 = -q*v + 12 for v.
-3
Suppose -5*u + 4*h + 57 = 0, 6*u = 5*u + 3*h - 4. Solve 2 = -2*s - 4*q, -q + u = 47*s - 43*s for s.
5
Let f be 30*(2/10)/(5/20). Suppose -f + 36 = 3*x. Solve x*r = -2*d + 4, 2*r - 29 = 5*d - r for d.
-4
Let z(m) = -3*m**2 - 214*m + 21. Let c be z(0). Solve 15 = -5*s + 2*q, 0 = 3*s - 2*q - c + 26 for s.
-5
Suppose 47*a - 53*a = 6. Let k be (-30)/9*(14/(-10) + a). Solve k = -2*i - r, r = 3*r - 4 for i.
-5
Suppose j - 2*m = 13, 0*m = m + 1. Let b(o) = 6*o - 65. Let g be b(j). Let z be (g/(-6)*2)/(8/(-432)). Solve z = d + d - 2*h, -2*d - 10 = 5*h for d.
5
Suppose 15*o = 7*o. Suppose -6*f + 151 + 107 = o. Solve -4*g + 3 = 5*s + f, 2*g + 5*s = -30 for g.
-5
Let g(k) = -14*k + 535. Let p be g(34). Solve -2*s = 2*v - 4, 4*v = 56*s - p*s + 9 for s.
-1
Let d = 128 + -103. Let b be 12/(-10)*d/(-10). Solve b*x - 2*r - 4 = -0, -2*r - 12 = -5*x for x.
4
Let f(v) = -v - 6. Let t be f(-6). Let u(q) = 2*q**2 + 135*q + 198. Let j be u(-66). Solve t = 2*g - 5*s + 22, -2*s = -g - j*s - 9 for g.
-1
Suppose 2*t + 10*o = 5*o + 6, -4*t + 2*o + 12 = 0. Suppose -t*j + 5*r = 0, 0 = 2*j - r - 5 - 2. Solve -4*w = -5*k + 3 + 29, -j*w + 5*k = 35 for w.
-3
Let z = -12263 - -12266. Solve -4*q + 11*v - 24 = 13*v, -4*v = -q + z for q.
-5
Let p = -5014 + 5016. Solve p*t + n + 4 = 0, -2*t = -2*n + 6 + 10 for t.
-4
Let c = -3 + 15. Let o(l) = 6*l - 2. Let f be o(3). Suppose -t + f - c = 0. Solve 5*p - 3*d - 21 = -0*d, -5 = p + t*d for p.
3
Suppose -14*r - 286 = -566 + 224. Solve c - 50*y = -53*y - 11, -r*c = 2*y + 4 for c.
1
Suppose 15*z - 181 - 29 = -g, -4*z - 3*g + 56 = 0. Solve p = -5*h - 7, -10*p + z*p + 4*h - 4 = 0 for p.
3
Let h(o) = -68*o**3 - o**2 + 1. Let s = -24 - -23. Let v be h(s). Let m = v + -63. Solve l - 20 = -5*i, -m*l = i - 5*i - 13 for l.
5
Let m(z) = 26*z - 179. Suppose 3*a - 23*p - 1 = -19*p, 10 = 5*a - 5*p. Let v be m(a). Solve 3*y + 5*g + 11 = 0, 2*y - 7*y = v*g - 3 for y.
3
Let g be 9/2 + -5 + (-7)/(-2). Suppose 0 = 5*t + g*b + 2 + 4, 8 = 2*t - 4*b. Solve -2*z + 2*c = t, 0*z + z - 9 = -2*c for z.
3
Let x be (-40 + -5)/(-15) - 0. Solve x*z - 5*z - 8 = -2*h, -4*h - 4*z = 16 for h.
0
Let k(r) = -5*r**2 + 22*r + 50. Let g be k(6). Solve 0 = -4*s + h + 19, g*s + 0*h - 4*h = 20 for s.
4
Let r = 3202 + -3199. Solve 30*w - 25*w - 2*v = -6, 0 = 5*w - r*v + 9 for w.
0
Let m(i) = -7*i**3 - 11*i - 3. Let w(z) = 6*z**3 + 9*z + 2. Let a(t) = 5*m(t) + 6*w(t). Let u be a(2). Solve -3*b = -4*r - 5*b - 24, -u*b = r + 16 for r.
-4
Suppose p + 10 = -27. Let y = -32 - p. Let j(i) = -4*i**3 + i**2 + 2*i. Let b be j(-1). Solve 12 = -x - 4*w, y + b = -2*w for x.
4
Suppose -10*o - 17163 + 17353 = 0. Solve q = -3*z - 22 + o, -4*z - 3*q = 9 for z.
0
Let f = 13 - 8. Let d be f - 6/2 - -2. Suppose 0 = 2*a + u - 16, -a - 1 = 4*u - 2. Solve -q + 2*m = 4*m - 6, d*q + 3*m = a for q.
0
Suppose 64*g - 309 + 117 = 0. Solve v + g*a - 12 = 0, 4*a - 32 = 2*v + 2*v for v.
-3
Let w(d) = -d**3 + 5*d**2 - 8. Let v be w(4). Suppose 8*z = 2*g + 10*z - v, 10 = g + 3*z. Solve -4*l - 4 = 5*s - 0, -g = l - 3*s for l.
-1
Let k(o) = 8*o + 37. Suppose y = 5*m + 15, -3*m - 5 = 3*y + 22. Let q be k(m). Solve -5*c + 21 = 4*n, -4*n + 4*c = -q*n + 8 for n.
4
Suppose -m = 4*m - 75. Let w be 210/(-12)*(-96)/m. Let d = -109 + w. Solve 4*n - d*u = -15, -2*u + 8 = -2*n - 0*u for n.
-3
Suppose 4*q = 5*m - 4, -520*m = -515*m + 5*q - 40. Solve -g + 3 = 5*a, -m*a - 27*g = -23*g + 4 for a.
1
Let h be -15*5/(-30)*216/135. Solve -l = -3*m + 16, -3*m - h*l - 29 = -25 for m.
4
Let a = -871 + 457. Let b = a + 426. Solve b = -2*n + 2*y, 3*n + 0*y = -2*y - 3 for n.
-3
Suppose -2*v - 6 = -3*m, 4*m - 8 = -2*v - 3*v. Suppose -217 = -11*t + 146. Let p = t - 30. Solve v = -5*s - 2*w + 25, w + 1 = -3*s + p*w for s.
3
Let z be (-72)/12 + 19 + (4 - 5 - -6). Solve z = 3*j - 2*q, 0 + 1 = 4*j + 5*q for j.
4
Let z(w) = -w**3 - w**2 + 98*w - 55. Let c be z(9). Solve d + 4 = 4*r - c, r = 4 for d.
-5
Let g = -288 + 309. Solve 5*l + 4*r = g, -2*l = -5*l - 5*r + 10 for l.
5
Suppose 0 = -3*n + n. Suppose n = -l + 5*l - 32. Let u(i) = i**3 - 5*i**2 + 2*i + 2. Let d be u(1). Solve 3*f - 5 = 2*w, 2*f + d*w + w = l for f.
3
Suppose 1 + 75 = 92*q - 200. Solve q*y + 10 = -5*n, -2*y - 7*n - 6 = -4*n for y.
0
Let u be (-5)/(30/(-482)) + 16/(-12). Let d = u - 75. Solve -3*q - 13 = -4*g, g - q = -d*q - 8 for g.
1
Let x(v) = v**2 - 11*v + 3. Let h be x(11). Suppose 229 = -6*k + 247. Solve -3*y - 1 = n, -h*n - k = -0 for y.
0
Suppose 1343*v + 121 = 1354*v. Solve 0 = 4*x - 20, 2*i = -5*x + 4 + v for i.
-5
Suppose 64 = 21*r + 64. Solve 0 = 2*v - 4*q + 10, -4*v + r*v - 5*q + 19 = 0 for v.
1
Let d be 3301/6 + (-73)/438. Let q = d + -550. Solve -1 = -4*s - 3*x - 17, q = -x for s.
-4
Let i(t) = -2*t**2 + 8*t + 136. Let b be i(10). Solve -5 = -14*r + b*r - 5*k, -2*k = -2 for r.
0
Let y(m) = 33 + 22*m - 4 - 23*m - 6. Let u be (6/8)/(7/84). Let s be y(u). Solve -j = 3*o + s, 3*j - 4*o = -9*o - 26 for j.
-2
Suppose 2*v = 6*v + 16*v. Suppose 0 = -0*y - y. Solve y = -5*a - 15, v*h + 3*h + 4*a + 9 = 0 for h.
1
Let c be 7 - 6 - 9/(-3). Let w = 401 + -396. Let t = -2 + 7. Solve -4 - 1 = -w*i - t*l, -l = c*i + 5 for i.
-2
Let q be 62/7 - 2/(-14). Let r be (-2)/q - 203/(-63). Solve 2*p - 2 + 0 = -u, -r*u = 5*p - 4 for u.
-2
Let p be 48/2 + 2 + -2. Let t = -29 + 26. Let o be (1 + -10)*t/9. Solve -4*x = -4*a - p, -o*a = x + 2 + 4 for x.
3
Suppose -10*a - 95 = -215. Solve -4*f = 5*u + 11 + 20, -4*u = a for f.
-4
Let t be (2860/195)/(66/36). Solve 2*z + t = 4*o + 2, 4*z - 24 = -4*o for z.
3
Suppose 3*y = -2*a, y - a = 10 - 5. Suppose 31*f - 43 = -14*f + 47. Solve t = 1, -3*d + y*t = f - 0 for d.
0
Let m be ((-63)/(-6))/((-2)/(-4)). Let x be 14*(54/12 - 1). Suppose -24 = 5*r - x. Solve 4*n - 31 = -5*c, 5*n - r - m = -2*c for c.
3
Let g be -2 - (-2 - 8)*1. Let o be 3*(-2)/(-8) - (-18)/8. Suppose -23 = -5*b - o*v, 2 = -5*b - 4*v + 26. Solve 0*c + b*c = 2*w, 4*w = 4*c + g for c.
2
Suppose 62*g = 56*g. Suppose -3*b = -4*i - 12, i + 4*b = -i + 16. Solve i*a - 5*a + 2*n - 18 = g, -n + 3 = -a for a.
-4
Suppose -16 = -4*c - 4*w, 2 = w + 4. Suppose 0 = -i - 5, 10*u - 5 = c*u + i. Let x be ((-1)/3)/(1/(-15)). Solve u*o + 4*d = -x*o - 3, 6 = 2*d for o.
-3
Let k(z) = -41*z - 35. Let a be k(-7). Let y = a + -240. Solve n + n + y = -3*p, -2*p - 8 = -5*n for n.
0
Let d(y) = 2*y**2 + 2*y. Let h be d(-2). Suppose -110*v + 2 + 39 + 23 + 46 = 0. Solve 5*u + h*c + v = 0, -4*u + 3*c - 8 = -c for u.
-1
Let g(h) = -7 - 21*h - 19*h + 8*h**2 + 12*h**2 + 37*h - 14*h - 2*h**3. Let d be g(9). Solve 22 = -5*k - d*c, k - 5*c = 2 - 1 for k.
-4
Suppose 0*g - 5*g + 511 = 3*j, -311 = -3*g - 4*j. Let h = g + -84. Suppose 3*q - h = -3*l + 2*q, -2*q = -3*l + 2. Solve -l*i - 4 = 4*b, i + 1 = 6*i + 3*b for i.
2
Suppose -20*v + 5*v + 75 = 0. Suppose -5*k - 24 = -4*r - 4*k, -5*k + 30 = v*r. Solve 1 = -w + h - r*h, -4*h = -3*w + 16 for w.
4
Suppose -2*m + 84 = -3*w, 4*m + 3*w - 150 = -0*w. Let q(t) = -6*t - 39. Let n be q(-13). Let d = m - n. Solve -5*j = 0, -3*c = -d*j + 4*j + 6 for c.
-2
Let w(p) = p**3 + 10*p**2 - 16*p - 53. Let y(a) = a**3 - 8*a**2 + 5*a + 3. Let s be y(7). Let h be w(s). Solve 4*b - 4*n = -n - 3, 2*b = h*n for b.
-3
Suppose -4*g + 6 = -g. Let o(r) = -3*r**2 + 75*r + 462. Let c be o(30). Solve c = 3*q - 2*b + 27, 2*q - g*b = -12 for q.
-3
Let v(q) = 2*q**3 - q - 3. Let t be v(-4). Let s = 132 + t. Solve 3 = 3*j - j - 3*p, j - s = -2*p for j.
3
Suppose 16*o - 14*o - d = 843, -o - 3*d = -432. Let b