
Let w(g) = 3*g**2 + 5*g - 5. Let y be w(1). Let d(q) = 2*q - 15. Let z be d(14). Solve -3*b - u = -7*b + 1, -2*u - z = y*b for b.
-1
Let z = 22 + -8. Suppose 2*f + 40 = 3*i + 4*f, 4*i - 68 = f. Suppose 3*w = -5*w + i. Solve -19 = 5*b - 4*y + 12, 0 = -w*b + 2*y - z for b.
-3
Let s(i) = i**2 + 6*i - 12. Let l be s(-8). Let b(h) = h**2 + 12*h - 10. Let m be b(-13). Solve 5*o + 19 = -m*g, -5*o + l*g = 26 + 7 for o.
-5
Let s be (8/5)/(-4) + (-44)/(-10). Let u be 0/(-2) - (-1 + -1). Solve -8 = 4*p - s*x, -u*x - 4 = 4*p + 16 for p.
-4
Suppose -5*b - 4*o + 5 = 25, -15 = 4*b + 3*o. Suppose -12 = -b*m - 6*m. Solve -2*p = 5*l + 2 - 15, -4*l - 4 = -m*p for p.
4
Let h be (-20)/(-105)*15 - 6/7. Solve h*b + 4 = 2*w + w, -2*b - 4 = 0 for w.
0
Suppose 0 = 8*s + 23 - 47. Suppose -5*t + 4*o = -0*o - 12, 0 = -4*o + 8. Solve -d = -s*b - 11, t*d - 7 = 2*b + 3*d for b.
-4
Suppose 5*j = 10 - 0. Suppose 5*o + 10 = 0, -6*b + 20 = -4*b - 5*o. Solve y = -3*c - 2*c + 4, b*c + 3*y - j = 0 for c.
1
Suppose -4*n - 10 = -6*n. Let u = n - 4. Suppose u - 10 = -3*f. Solve -f*w + 5*k = -0*w - 10, 12 = 2*w + 2*k for w.
5
Suppose -y + 8 = 3*x, -5*x - 5*y + 6 = -4. Let l(g) = g**2 - 4*g - 7. Let k be l(6). Solve -x*f + 0*f + t = 13, -k*f - 4*t = 16 for f.
-4
Let v be (9 + (-135)/15)*2/10. Solve -p + 2 = v, 0*s + 5*p - 4 = 2*s for s.
3
Let w = 19 - 11. Let r be (0 - -8)*-2*6/(-12). Let c be 3 + -9 + 2 + r + -1. Solve -m = c*j - j - 4, -w = -m - 3*j for m.
-4
Let h(m) = 6*m**3 - 2*m**2 - 6*m - 3. Let b(z) = z**3 - z - 1. Let u(l) = -5*b(l) + h(l). Let f be u(2). Solve -j - 4*i = -9, f + 5 = 3*j + i for j.
1
Suppose 2*q - 1 = 2*c + 5, -5*q + 3*c = -17. Let k be q + ((-3)/(-3) - 2). Suppose 0 = w - 5 + k. Solve 2*m - 3 = -3*m - 2*s, s - w = -2*m for m.
-1
Let j(w) = -6*w + 6. Let q be j(5). Let k = q - -28. Solve -4*s - s = 5*u - 25, 5*s = 2*u + k for u.
3
Suppose 26 = 5*j - 24. Let k be (-24)/15*j/(-4). Suppose -12*w - 4 = -14*w. Solve -3*z = -t + k, -w*z + 7*z = -t - 20 for t.
-5
Let h be -3 + 9 - 0/12. Let j(m) = m - 4. Suppose 4*w - 18 = -2. Let n be j(w). Solve -v - 2*r + n - h = 0, -15 = -5*v - r for v.
4
Let q(s) = -s + 9*s**2 - s**2 - s**3 + 10 - s**2. Suppose -3*o + 6*f + 26 = 5*f, -25 = 5*f. Let r be q(o). Solve 2*n = 4, 3*p + r*n - 4*n = -11 for p.
-3
Suppose 4*l + g = 3*g + 42, 4*g = 2*l - 24. Let p = l - 16. Let o(t) = -t**3 - 6*t**2 - 2*t - 5. Let r be o(p). Solve -b - 1 = y, -4*y + 2*b = -r*y + 1 for y.
3
Let h(v) = -15*v - 70. Let y be h(-5). Solve 3*b - 1 + 6 = -y*o, 5*b = 0 for o.
-1
Let p be 474/15 - (-14)/35. Let l be p/(-144) + 2/9. Suppose -5 + 2 = -f. Solve l = -3*v - f*z, 6*v - 3*v - z - 12 = 0 for v.
3
Let x(p) = -p**3 - 7*p**2 - p - 5. Let y be x(-7). Suppose 0 = y*q + 5 - 15. Solve 3*d = 5*r - 15, -2*r + q*d = -4*r - 25 for r.
0
Let v = -440 - -443. Solve -5*i = 4*p + v, 5*p - p + 3*i - 3 = 0 for p.
3
Suppose 5*y - 16 = -4*t, 0 = 2*y + 6*t - t - 3. Let w = 18 + -20. Let n be (w/(-4) + 0)/((-21)/(-672)). Solve -q - n = -3*l, -3*q - 26 + 3 = -y*l for q.
-1
Let u be ((-28)/(-12))/(7/6). Let b be ((-7)/(14/(-8)))/(0 + u). Solve -4*f = 3*x - 3, b*f = 5*x + 6*f + 3 for x.
-3
Let j = 7 + -15. Let z(k) = -k**2 - 9*k - 2. Let n be z(j). Solve 2*b - 5*m = -n*m - 12, -13 = b + 4*m for b.
-5
Let j(l) = 2*l**3 - 4*l**2 - 1. Let u be j(3). Let x be (4/(-6))/((-2)/6). Let g be (-1)/(-3) - (80/(-12) + x). Solve -g*a - o = 18, -o - u = 3*a - 7 for a.
-4
Suppose -6*c + 5*c + 13 = 0. Suppose -6*t = -10*t. Suppose t = 6*y - 7*y + 3. Solve -3*w = -3*n + 12, w + 4*n - c = y for w.
0
Let b = 9 + -15. Let p(v) = -v - 8. Let l be p(b). Let w be ((-2)/l)/((-14)/(-28)). Solve -5*q - 30 = 5*s, -w*s - 5*q + 0*q - 27 = 0 for s.
-1
Let c(k) = 2*k**3 - 3*k**2 + 4*k - 7. Let h be c(2). Solve x - 22 = -5*z, -z = -h*x - 3*z + 18 for x.
2
Let o be 3/(-4) - 45/20. Let u be (-5 - o)*15/(-6). Let v(q) = 7*q - 8. Let r be v(u). Solve -5*j + r = -4*w, 15 = 3*j - 0*j - 2*w for j.
3
Suppose 0 = 4*c + 20 - 32. Suppose 2*x = -2, -c*x + 0*x = 2*b - 1. Let k be (-4)/14 - (-46)/14. Solve 4*r - 5*r = 2*m - 12, b*r + 11 = k*m for m.
5
Let p be 9*(-6 + 413/63). Suppose 0*s = -5*s. Solve 3*t - 9 = -o, s = p*t - t - 16 for o.
-3
Suppose -8*i = -2*x - 6*i - 20, 4 = 4*i. Let r be (70/25 + -3)*(x - 1). Solve 0 = -4*n - r*f + 10, -2*n - 2*n - 3*f + 13 = 0 for n.
1
Suppose j - 6 = 7. Let l = j + -9. Let p = -3 + 6. Solve -f + p*f = 5*a, l*a = 0 for f.
0
Let w(n) = -19*n - 36. Let m be w(-3). Solve -q = 5*y + m, 0*q - 5*q = -3*y - 7 for q.
-1
Let w = 11 - 8. Suppose 0 = -v - 2*v + 4*n - 3, v - 2*n = -w. Suppose 2*z + 2*u = 4, 4*z - u = 4*u - 1. Solve 20 = -4*g - 5*y, -v*g - 14 = 3*y + z for g.
-5
Suppose 3*a = 3*h + 4*a + 14, 4*h + 7 = a. Let b = -135 - -132. Let k be (h/(-2))/(b/(-6)). Solve 0 = 3*v - 12, -g + k*g = 2*v + 2 for g.
5
Let k = 2060 + -2060. Solve 0 = -k*s - 2*s - 4*n - 12, 0 = -3*s + n - 4 for s.
-2
Let p = -1328 - -1338. Solve -z + h = -2 + 1, -4*z + h + p = 0 for z.
3
Suppose 2*w = 4*u - 6, -3*u - 15 = -7*u - w. Solve 0 = -3*t + 4*s + 14, u*s = -2*t + 6*s + 11 for t.
-2
Let i = -72 + 77. Solve r + u + 6 = 0, 0 = -0*r + 2*r - i*u - 16 for r.
-2
Suppose 2*g - 3*j = -22, 2*g - 7 + 27 = 2*j. Let b = g + 12. Let c = 6 - b. Solve 0 = -2*x + 5*i + 15, c*x + i + 2 = -1 for x.
0
Let i(a) = -5*a + 21. Let l(p) = 2*p - 7. Let z(o) = 6*i(o) + 17*l(o). Let t be z(4). Solve -4*g - t - 1 = -4*u, 2*u = 4*g + 14 for g.
-1
Let h(r) = 0*r + 2 - 6*r + 2*r + 2*r**2 + r. Let w be h(2). Solve w*k = -4*b - b + 32, 4*b - k = 13 for b.
4
Let u be 22/44*(10 - -2). Solve -5*g = -3*p + 34 - 10, 2*p = -4*g - u for g.
-3
Suppose -2*r - 4 = -3*w, 4*r + 8*w + 2 = 11*w. Solve 2*s = -3*h + 5, -2*s + h = -0*h - r for s.
1
Let l(p) = 19*p - 18. Let u be l(2). Suppose -4*k + 5 = 1. Solve -5*f - 3*x = -8*x + u, -f - 4*x = -k for f.
-3
Let q = 2108 + -2108. Solve 3*k + 12 = g, 0 = 5*k + 4*g - q*g + 20 for k.
-4
Suppose 55*k = 30 - 30. Solve k = -f + 2*n + 12, 5*n = -f + 5*f - 33 for f.
2
Suppose -4*w + 13 = -3. Suppose -13*l + 10*l = -3*y + 15, 2*l - 26 = -4*y. Suppose w*o = 6 + y. Solve -o*f - 4*h - 4 = 0, 3*h + 2*h + 24 = f for f.
4
Let i be (-6)/(-4) - 6/(-4). Suppose 9 = 5*t - 1. Let g be (-6)/t*(2 - 3). Solve 0 = -4*q + q + g*j + 3, -i*j = -5*q + 7 for q.
2
Let m = 13 + -19. Let w(a) = -1 + 2*a + a**2 - 2 + 3*a. Let b be w(m). Solve -b*f - 20 = 2*f, 2*f + 14 = -2*l for l.
-3
Suppose -2*t - 57 + 9 = 0. Let r be (-4)/(-20) + t/(-5). Suppose r = l, -2*l = 3*k - 0*l - 46. Solve 5*u = -0*f + 4*f - k, 2*f + 3*u + 16 = 0 for f.
-2
Let s(u) = -2*u + 2. Let a(i) = 3*i - 3. Let g(j) = 3*a(j) + 4*s(j). Let n be g(1). Solve 2*d = 2*p - 0*d, n = -3*p + d + 6 for p.
3
Let i = 338 - 335. Solve -10 = -3*b - 4*f, b + 5 = i*b + f for b.
2
Suppose -2*c - 2*c - o + 5 = 0, 2*o = 3*c - 12. Let x = 2 - c. Let g be x + 60/4 + 0. Solve g = 5*r + j, 2*r - 5*r - 2*j = -2 for r.
4
Suppose 23 = 5*v + a, v + a = 5*a + 13. Suppose -9 = v*y - 8*y. Suppose -8 = -y*f - 2. Solve f*i = -5*p - 8, -12 = -p - 0*i + 3*i for p.
0
Let r(p) = -p**3 + 5*p**2 + 2. Let w be (30/20)/(3/10). Let h be r(w). Suppose -h*i + 3 = -i + d, 2 = -2*d. Solve 2*k + i*b = -b + 14, 0 = k + 2*b - 5 for k.
-3
Let x be -2*1/(-1)*1. Suppose x*w = -3*j + 43, w + 0*j = -4*j + 24. Solve 2*m + 10 = -2*b, -b + 0*b + 4*m + w = 0 for b.
0
Let x be 119/(6 + 11) - (1 - -4). Solve 0 = -2*j - x*j + m - 8, 14 = -2*j - 2*m for j.
-3
Suppose 0 = -4*k + z + 2*z - 9, 0 = 2*z - 6. Suppose -2*h + q = -k*q - 4, -h - 2*q = -7. Solve c - h*d = 3*c, -4 = 2*d for c.
3
Let v = -54 + 64. Let s be 2/4 - v/(-20). Solve i - p + s = 0, -25 = -5*i - 4*p - p for i.
2
Suppose 0 = -0*w + 2*w - 3*a - 6, 0 = -3*a - 12. Let b be 2/6 - 11/w. Let g be (-20)/(-1)*5/10. Solve -2*f = -2*u + g, -4*f + b = 3*u + u for u.
3
Suppose 5*o + 0*o - 115 = -5*z, -2*z + 100 = 5*o. Suppose 2*t - o = -0*t + k, -5*k - 13 = -3*t. Solve -3*l = b - t, 0*b - 28 = 2*b - 4*l for b.
-4
Suppose b = -4*i + 2*b + 86, -5*i - 5*b = -95. Let y = 22 - i. Solve 5*l = 2*u - 1 - y, 0 = -u + 5*l + 6 for u.
-4
Suppose -m + 10 = 4*m. Suppose -4*w - u = 119, 3*w - m*u + 131 - 28 = 0. Let l be (-9)/(-36) + w/(-4). Solve 2*d = -2*a + 2, -l = -3*d - 5*a + 3 for d.
-3
Suppose -26*t + 2*k + 26 = -22*t, t - 5*k - 20 = 0. Solve 3*l + 3 = -d + l, 2*l + 21 = t*d for d.
3
Let q