Let a = -8 + 9. Let w be (-7 - a)/(3 - 4). Let d = -5 + w. Solve -d*x = -5*i + 6, -9 = x - 2*x - 2*i for x.
3
Let g(s) = 2*s**2 + s. Let f be g(1). Suppose 14 = -f*t + 53. Solve -2*y + 2*d - t = -d, -y + 5*d - 24 = 0 for y.
1
Let l = 917 + -910. Solve -l - 9 = 5*h - 4*v, 3*h + 20 = 5*v for h.
0
Let w(k) = 942*k**2 + 4 + 2*k**3 - 933*k**2 + 14*k - k**3. Let n be w(-7). Solve -o + 9 = n*o - q, -8 = 4*o + 3*q for o.
1
Suppose 3*i + 12 = -0, -d + 2*i = -11. Solve 2 = 3*p - 5*h, 4*p - d*h + 6 = -5*h for p.
-1
Let b(w) = -3*w - 24. Let o be b(-9). Suppose 4*d = -0*d + 128. Suppose -2*r + 12 = -j, 5*r - d = 6*j - o*j. Solve -4*a + 4*t = -r, -3*t = 5 + 7 for a.
-3
Let b = -25 - -29. Suppose 0 = 2*l + b*l - 24. Solve -3*q = 2*i - 8, -3*q + i = q + l for q.
0
Suppose 3*i - 172 = -4*v + 6*i, 2*i = -4*v + 172. Suppose 4*o + 3 = v. Solve 0 = -4*a - 2*w - 0*w + o, 0 = a - 4*w - 16 for a.
4
Let g be (9/(-12))/((-3)/12 - 0). Solve 4*p - 4*n = 37 - 5, g*n + 12 = 0 for p.
4
Suppose 43 = -0*d + 3*d + 5*f, -5*d - 2*f = -97. Suppose 5*z - 4 = d. Solve -2*q + 23 = -4*u - q, 0 = -z*q + 15 for u.
-5
Suppose -3*p - 52 = -29*p. Solve 2*c - 5*g = 15, p*c - 4*g + 7*g = -25 for c.
-5
Let o = 0 + 0. Suppose 5*v + 3*s = o, -v - 13 = 3*v + 5*s. Suppose 32*h - 515 = -71*h. Solve 2*x - h*f - v = 2, -4*x + 5*f = 5 for x.
-5
Suppose 47*k - 246 = -11. Solve -3*g = -k*j - 13, 0 = -g + j - 0*j + 1 for g.
-4
Suppose -26*p - 32 = -30*p. Suppose 5*t - p = 2. Let a be 0/(6/4*t). Solve -5*d + 29 = i, a = 6*d - 3*d - 4*i + 1 for d.
5
Suppose v = -5 + 3. Let g be (-1 - (-1)/v)/(15/(-40)). Solve u = -c - 4*c - 4, -g*c - 4*u = 0 for c.
-1
Suppose -11 + 59 = 12*s. Solve -4*f - 8 = h, 2*f + 4 = -6*h + s*h for f.
-2
Let m be 1 + (-4 - -4) - -15. Let x = -16 + m. Solve -4*q + x*q = -4*s - 4, -12 = 4*q + 4*s for q.
-1
Let z(k) = -k + 7. Let b be ((-35)/(-15))/((-4)/(-12)). Let d be z(b). Solve 4*a = 4*m, 3*m - 5*a - 8 - 2 = d for m.
-5
Let h(r) = 2*r**3 - 8*r**2 + r + 2. Let w be h(4). Let z(c) = -c**2 + 9*c - 13. Let v be z(w). Solve -2*i - v*m = 26, -2*i - 10 = -m + 2*m for i.
-3
Suppose 5*r - 6*r - 5 = 0. Let k = -3 - r. Solve 0 = -j - 2*m - k + 10, -5*m + 6 = -j for j.
4
Let f(q) = 6*q - 142. Let a be f(24). Solve 3*j = -2*w + a, -j = 2*j + 4*w - 10 for j.
-2
Let y = -134 - -143. Solve -4*v + y*n - 4*n = 13, -2*n + 10 = 0 for v.
3
Suppose 2*g = 3*g. Let w be 1 + -1*((-3 - -6) + -8). Let n be 10 - (3*w/9 - 0). Solve 2*s - n = 2*q, 2*s = -g - 2 for q.
-5
Suppose -3*z - 26 = -29. Let b = 8 - 0. Let n be (-2)/(-4)*b/z. Solve -3*h + 5 - 10 = -5*r, -24 = n*h + 2*r for h.
-5
Let m be (-13)/52 - 2/(-8). Suppose -15 = -5*y, 2*p - y - 7 = -m*y. Solve 17 = -k - 8*n + p*n, 5*k = 3*n - 13 for k.
-5
Let w be (12/(-15))/(2/(-5)). Suppose 0 = -264*u + 277*u - 26. Solve w*p + 9 = -u*p + 3*y, 5*y + 8 = -p for p.
-3
Let p be 4*((-2)/(-8) - 0). Solve t - 4*n = 11, 2*n - p + 4 = t for t.
-5
Suppose 4*t - 18 - 2 = 0. Suppose -28 = -2*j - 5*i, 2*j + t - 1 = 3*i. Let q be 2/(-2) - (-14 - 1). Solve 3*k - q = -y, -3*k + 18 = -y + j*y for k.
4
Let a(d) = 2*d**2 - 35*d - 14. Let v be a(18). Suppose 4*z - o - 99 = 0, -4*o - o = -4*z + 111. Solve 4*u = -j - z, 4*j + j - v*u = 0 for j.
-4
Let a(m) = -m**3 - 13*m**2 - 13*m - 8. Let d be a(-12). Solve -3*h + y - d = 0, 5*y = 2*h + 2*y - 9 for h.
-3
Let m = 199 + -183. Solve k - m = -4*n - 0*k, -k = -3*n + 5 for n.
3
Suppose 3*k = b - 15, 10 = -2*k - 0*k. Let x = b - -2. Solve -4*w + 16 = -4*m, 2*m + x*w + 4 = -0*w for m.
-3
Let f(d) = 0*d + 3*d + 2*d + d - 10. Let u be f(-3). Let a be (-324)/(-126)*u/(-6). Solve 7*w - 16 = 2*w + j, -a = -4*w + j for w.
4
Suppose 0 = -3*f - 3 - 0, p = 5*f + 8. Solve 5*c = -2*i - 0*i - 11, -i - 7 = p*c for i.
2
Let y = 30 - 14. Suppose -4*g = -2*l + y, 4*l + 4 = -4*g + 12. Suppose -f = -3 - l. Solve 5*o + 4*p + f = 0, o + 3*o + 4*p + 4 = 0 for o.
-3
Let l(r) = -2*r**3 - 6*r**2 + 8*r + 4. Let s be l(-4). Solve -5*u + 6*p - 4*p - 25 = 0, s*u + 2*p + 2 = 0 for u.
-3
Let r(i) = i + 23. Suppose -4*b - 4*q - 35 = b, 0 = 5*b - 5*q + 35. Let k be r(b). Solve -3*w + 10 = d, k - 3 = d + 4*w for d.
1
Suppose -4*j + 5*u - 8 + 15 = 0, 2*j - 3*u = 3. Solve d - j*d - 3*s = -11, 2*s = 2 for d.
4
Suppose -6*k + 10 = -4*k. Suppose 30 = 2*s - k*a, 17 = s - 4*a + a. Suppose 12 = s*z - 13. Solve -3 = z*b - 3*p, p - 1 = b - 2 for b.
-3
Suppose 69 = -5*w + 89. Suppose -d - 2 = w*g - 13, d = 3*g - 3. Solve -i + 0*i - 5*o = 18, -g*o - 9 = i for i.
-3
Suppose -2 - 8 = -5*q. Suppose 19 = q*n + 3*f + 1, 0 = f - 4. Let k be (2/(-5))/(3/(-15)). Solve 5*z + n*h - k = 0, 14 = 4*h - 2 for z.
-2
Suppose 0 = -r - 4*r + 5*d + 15, 5*r - 2*d = 27. Suppose -3*h + 2*h - r = 2*p, -3*h + 7 = -p. Solve -h - 1 = 3*s - b, -4*b = -20 for s.
1
Let t = 54 + -53. Solve 3*h + 2*m = -t, 0 = 2*h + 3*h + 5*m - 5 for h.
-3
Let w = 30 + -24. Suppose -9 = 3*n + 3*r, 4*r = n - 0*n + 3. Let g be 4 + n/((-12)/8). Solve 3*l - 12 = 5*t, 2*t - g = -3*l + w for t.
0
Let l(s) = s**3 + 15*s**2 - s - 12. Let k be l(-15). Solve -1 - 3 = -2*x, 14 = k*t + x for t.
4
Let c be 4 + -2 - (-6)/2. Suppose -18 = 3*z - c*z. Solve 0 = -5*q - x + 3, 2*q = 3*q + 5*x + z for q.
1
Suppose c + 49 = 56. Solve 4*o + o - r + 17 = 0, 5*o = -4*r - c for o.
-3
Suppose -5*k - 39 - 31 = 0. Let s = k + 19. Solve -p - s = 3*x, 0 = -4*p - x - x for p.
1
Suppose 6*n - 4*n - 5*z = 25, n + 7 = -4*z. Solve -2*x = l - 4, n*l = 13 - 33 for x.
4
Let q = 59 + -31. Let r be (24/(-28))/((-6)/q). Solve -r*a + 3*m + 6 = -7, -4*a + 21 = 5*m for a.
4
Let p = 2278 + -2275. Solve -p*j + 10 - 4 = 0, -u + 7 = 2*j for u.
3
Let f be (0/(-5) + -5)*48/(-15). Solve 1 = 3*b - 0*b + 4*q, 4*b - 2*q = f for b.
3
Let m(f) = f**3 + 3*f**2 - 17*f + 10. Let o be m(-6). Solve -4*u + 4 = -2*x, -o = -x - u - 0 for x.
2
Let z be (-1)/((-5)/25 - 12/15). Solve 4 = y - 3*r, -5*y + 2*r + z + 6 = 0 for y.
1
Let a(p) = -12 - 4*p + 5*p + 0*p. Let k be (0 - 1)/((-32)/448). Let z be a(k). Solve b - f - 6 = z*b, -4*b + 3 = -5*f for b.
-3
Let v(g) = -3*g - 41. Let c be v(-17). Suppose -p + 3*p = c. Solve 3*b + 3 = 0, z = p*b - 3*b + 5 for z.
3
Let v(u) = u**2 - 8*u + 17. Let z(r) = r + 29. Let y be z(-24). Let s be v(y). Solve -s*q - 2*h + 6 = 0, 5*q - 3*h + 0 = 7 for q.
2
Suppose 46 = 5*d + 3*l, 5*l = -3*d - 13 + 47. Solve u = 4*q, 3*q = d*q + 5*u for q.
0
Let o(f) = f**3 + 8*f**2 + 15. Let c be o(-8). Suppose -3*h + c = -r, -4*h + 3 = -r - 17. Solve -j = 4*n - 6, h*j - 4*j + 1 = 3*n for n.
1
Let p be (-234)/195*5/(-3). Solve 4 = -r + 2*o, 0*r + 3*o = p*r + 8 for r.
-4
Let s(r) = 17*r**2 + 18*r - 10*r**3 + 2 - 12*r**3 + 21*r**3. Let l be s(18). Solve -2*b + l*f + 2 = 0, 4*b - f - 1 = -6 for b.
-2
Suppose 4*h + 23 = -2*w + 3*w, 0 = -3*w + 4*h + 29. Solve 0 = 5*k - m - 1, -w*k - 3*m = -15 for k.
1
Suppose -p + 9 = -4*m + 3*m, -2*m + 10 = 0. Solve -2*x - r = -5*r + p, 5*x + 3*r + 22 = 0 for x.
-5
Suppose -26*n + 24*n + 6 = 0. Solve j - 6*j = -3*g + 15, -n = j - 3*g for j.
-3
Let j = 3 + -2. Let q be (-79 - -95) + 2*4. Suppose -5*z + z - 20 = -4*a, -15 = -2*a + 3*z. Solve -3*v + j - 2 = 4*d, -4*v + d + q = a for v.
5
Suppose 62 = 16*a + 15*a. Solve v + 3*m = 7, a = 5*v - 4*v - 2*m for v.
4
Let y(m) = -m - 11. Let i be y(5). Let j = -1 + i. Let a be (0 - 0)*(j - -16). Solve o + w - 8 = a, 7 = 3*w - 8 for o.
3
Suppose 5*k + m = 10, 2*k + 2*k - 24 = -4*m. Let w be (1 - 0) + k/1. Let h be -5 + (-3)/(6/(-14)). Solve 2*z - 5*j = 10, -10 = -h*z - j + w*j for z.
5
Let r(c) = 1 + 4*c**2 + c - 5*c**2 + 4*c. Let b be r(4). Let n(f) = f**3 - 5*f**2 + 2*f - 7. Let l be n(b). Solve h + 5*i = 5, -3*h + l = 2*i + 14 for h.
-5
Let m(a) = -2*a - 9. Let j be (-9)/(-2*12/(-16)). Let f be m(j). Suppose c + 5 = 3*w + 23, c + 3*w = -12. Solve -3*b + 7*b - f*d = 11, 18 = c*b + d for b.
5
Let v be 24/3*(-3)/(-12). Suppose -3*y = -9, -3*p = 2*p + 5*y - 450. Suppose -3 = -b, 4*b = 4*f + b - p. Solve v*w + 17 = -0*w - 5*h, 4*h + f = w for w.
4
Let j(a) = 3*a**2 - 3*a + 6. Let o(c) = 2*c**2 - 3*c + 6. Let b(s) = 3*j(s) - 4*o(s). Let h be b(3). Solve -3*v + 6 = p, 3*p + 0 = v - h for p.
-3
Let q = -14 + 18. Suppose -3*r = -q*r. Solve -u + 1 + 6 = 4*h, 2*h - 4*u - 26 = r for h.
3
Suppose 10*g = 6*g. Let y be 5/(-2)*8/(-2). Suppose 0 = 2*a + y, -k + a = -4*a - 38. Solve 4*v = -3*l - 0*v - k, -2*l - 5*v - 11 =