) = 2*a**2 + 3*a - 3*a + 2*a + 4 + 3*a. Let s be b(-3). Solve 3*n - q + 10 = 0, 1 = n - q + s for n.
-2
Let m be 2 - (-2)/2 - 0. Suppose 0 = -3*q - 15, -m*w - 2*q - 1 = -0*w. Solve -2*a + w*f = -15, -3*a + 4*f - f + 18 = 0 for a.
3
Let y be (1/(-3))/((-2)/6). Let z be (y + 2)/(2 + -1). Suppose 0 - 12 = -z*v. Solve 2*f = -2*a - 2, 0 = -2*a + v*f + f - 9 for a.
-2
Let n(o) = 3*o**3 + o - 1. Let j be n(1). Suppose -j*y + 4 = -8. Solve 0 = -4*g + 2*b - 16, 3*g + 4*b - 6 - y = 0 for g.
-2
Let n be 7 - (-1 + 0 + 0). Solve n = 5*y - 2*t, 5*t - 4 = -y + 3 for y.
2
Let y = 4 + -5. Let c be (0/y)/(-3) - -14. Let u be (10/3)/(4/6). Solve -4*b - u*n = c + 9, 2*b + n = -7 for b.
-2
Suppose -3*u + 3 = y, -3*y + 5*u + 10 - 1 = 0. Suppose 0*x - y*x = -12. Suppose x*d = -0*d + 12. Solve 4*i + 12 = -4*c, -2*i = -d*c + 2*c + 9 for i.
-4
Suppose 3*z + 8 = 5*z. Suppose 5*f + 2*x + 0 = 2, 0 = -z*f - 5*x - 12. Solve -4 = -f*m, 0 = -t - m + 4*m - 6 for t.
0
Let z(i) = 2*i**2 + 16*i + 5. Let g be z(-8). Solve s = -3*s - 5*y - 21, g*y + 22 = -3*s for s.
1
Suppose -3*m - 2*m = -20. Solve -5*z + 12 = -3*k, -k - m = z - 0*z for z.
0
Let k(a) = a + 8. Let g = 17 - 24. Let n be k(g). Solve 4*j - 5 = m + 11, 0 = 2*m + 3*j - n for m.
-4
Suppose -f + 4*f = 6. Let r = 1 - -1. Let y be 4/2 - (r + -1). Solve -2*z = -3*l - y + 17, z + 9 = f*l for l.
2
Suppose 4*o + q = 32, o + 40 = 6*o - 4*q. Let l(j) = 7 + j - 4*j + 3 + 2*j. Let b be l(o). Solve i + 0*i = -2*d + b, -5*d = 2*i - 5 for i.
0
Let k(r) = 5*r - 2. Let d be k(2). Let f = d - 8. Solve f = n - 5*m + 14 - 1, 3*m = -2*n + 13 for n.
2
Let y = 20 - 17. Solve 2*x + d - 5 = -18, -4*x + y*d = 11 for x.
-5
Suppose 3*a - 4 = 11. Solve 3*n = a*x, -3*n = 1 + 14 for x.
-3
Let p(c) = c**3 + 2*c**2 - 5*c - 3. Let b be p(-3). Solve -5*q = -10 - 15, 2*k = b*q - 13 for k.
1
Let i = -34 - -37. Solve 3 = 2*v - i*v - q, -4*v = -3*q + 5 for v.
-2
Let d be ((-4)/3)/(6/27). Let j = -3 - d. Solve -6 = -q + w, -2*w = j*q - 0*q + 2 for q.
2
Let y = 62 + -58. Solve -r - 5 = -4*v, -2*r - 2*r = y for v.
1
Let g be (-2 - 14 - -1) + -1. Let n = 20 + g. Solve n*y + z = 5*z, 2*y + z - 15 = 0 for y.
5
Suppose u + 24 = 3*y, y - u + 5 = 15. Solve -5*n + 0*n + 4*w = y, 3*w = -2*n + 11 for n.
1
Let f = 93 - 59. Let m be 7/14 - f/(-4). Suppose n - m = 2. Solve 3*v + v = -u + n, -2*u = 4*v - 10 for v.
3
Let a = -11 - -26. Suppose 3*j - 5 - 28 = 0. Let t be ((-1)/3)/(1/(-9)). Solve -4*o - a = 2*z + j, 3*o + t*z + 27 = 0 for o.
-4
Suppose -t = 2*t - 2*g - 4, 0 = -4*t - 5*g - 33. Let q = 2 + t. Suppose q = 6*p - 3*p - 30. Solve 5*y = -3*d, 5*y + d - p = -0*d for y.
3
Suppose 40 = -2*l + 7*l. Solve 0 = s - 4*y - l, 3*y + 9 = -0 for s.
-4
Suppose -3*h - 2 + 4 = -o, 5*h = 5*o - 10. Solve -w - 4*w = 3*g + 20, -4*w = h*g + 16 for g.
0
Suppose -7*j + 12*j = 6*j. Solve 2*g - x - 14 = 0, 0*x - x - 4 = j for g.
5
Suppose -5*g + g = -24. Solve 0 = -4*j + 2*o - g*o - 16, -4*o = 5*j + 15 for j.
1
Let s(m) = m**3 - m**2. Let k be s(2). Suppose k + 2 = -d. Let y(p) = -p**3 - 7*p**2 - 9*p - 6. Let h be y(d). Solve -5*l + 13 + 2 = 4*q, 4*l = 3*q + h for q.
0
Let w(o) = -4*o - 4. Let y be w(-1). Solve y = 3*q - 4*b - 22, 3 = -3*q - b + 5 for q.
2
Suppose -5*z + 3*s = -0*s - 22, 4*s + 1 = z. Solve 2*m - 16 = 4*q + m, m + z = -3*q for q.
-3
Let y(i) = i**3 - 3*i + 4. Let l be y(2). Solve 2*u - 3 = b, l*b - 2*b - 15 = -u for b.
3
Suppose 2*i = 4*b - 34, -3*b = -i + 6 - 30. Let q = b + -3. Solve -q*r - 2*d = 2*d - 28, -19 = -5*r - d for r.
3
Let l = -92 - -94. Solve -h + l*h - 1 = 5*r, 4*r + h = -8 for r.
-1
Let f(l) = 2*l**2 + 0 - 3*l**2 + 3 - 6*l. Let d be f(-7). Let t = 7 + d. Solve 3 = a - y, y + t = 3*a + a for a.
0
Let g = 11 - 9. Solve r + 0 - 3 = g*d, -4*r = 4 for d.
-2
Suppose -5*b - 4 + 19 = 0. Let v = -1 + b. Suppose -3*k = -p - 3, -5*p - 3*k + 17 = -v*k. Solve 5*o - 20 = -0*o, -14 = -p*l - 5*o for l.
-2
Let r be ((-2)/5)/((-18)/90). Solve g + r = -n, 3*n + g + 8 = -4 for n.
-5
Let w(k) = k**2 - 7*k - 5. Let b be w(9). Solve 4*j = u - b, j - 18 = 4*j + 2*u for j.
-4
Suppose -5*n + 0*q + 90 = -5*q, 0 = -2*n + 3*q + 37. Let h = n + -5. Solve -c - 5*a = -3*c - h, 5*c - 4*a = -13 for c.
-1
Let u = 50 - 50. Solve 0 = -5*y - 3*l - 18, -2*y - l - 6 - 1 = u for y.
-3
Let h(d) = d**3 + 7*d**2 - 3*d - 10. Let y be h(-7). Let p be 18/(-12)*8/3. Let n = y + p. Solve -4*k + 3*w = -17, 5*k = 4*k - 2*w + n for k.
5
Let n be 38/14 - 12/(-42). Let a be -2 - (n + -4) - -6. Solve -i - 13 = 3*t, -4*i + a*t + 35 = i for i.
2
Let s = 5 + -3. Suppose 2*l = 14 - s. Solve -k + 2*v + 2 - l = 0, -v + 20 = 4*k for k.
4
Suppose -4*n = p - 15, 6 + 0 = p + n. Suppose 0 = p*u - u. Solve 4*j - 4*q + 46 - 6 = u, 2*j = -2*q for j.
-5
Let a be (1 - 1)*1/(-1). Let m be 0/(a - (-1 - -2)). Suppose -3*v + 15 = -m*v. Solve -v*n + 2*f - 18 = 0, -41 + 11 = 5*n - 5*f for n.
-2
Suppose 10 + 65 = 5*t. Let b = -10 + t. Solve 4*l = -b*m + 12, -l - m = -4*m - 3 for l.
3
Let p be 6 - (-4)/(-10)*5. Solve 0 = -5*l + 3*d - 5, -6 + 24 = -l + p*d for l.
2
Suppose 16 = -2*o + 6*o. Solve -6*v - 32 = o*x - 2*v, -5*x + 4*v = 13 for x.
-5
Suppose 2*m = -6, 0 = 3*n - m - m - 6. Solve 4*b = -b + 20, n = -4*h + 2*b - 8 for h.
0
Suppose f + 30 = 4*f. Suppose -3 + 8 = -u, -u - 15 = -2*q. Suppose 2*j - 3*j + 5 = 5*g, 0 = 5*j - 2*g + 2. Solve q*t + 45 = 4*k, t - k + j = -f for t.
-5
Let y = -1 + 5. Let g be -3 + 3 + 0/(-2). Solve g*i = 5*k + y*i - 1, k + i = 0 for k.
1
Let q(p) = 2*p**3 + p**2 - p. Let b be q(1). Let l = 10 + -24. Let n = l - -16. Solve n*c + b*v = 2, -4*c + c + v + 11 = 0 for c.
3
Let t be 27/12 + 1/(-4). Let i(p) = 3*p**2 - 10*p - 3 - 2*p**t - 4. Let w be i(11). Solve -2*r + 5*z = 6 + 3, 4*z = -4*r - w for r.
-2
Let x(j) = -j + 2. Let h be x(5). Let a be ((-51)/(-12))/(h/(-12)). Solve 4*z = -3*b - 15, 5*b - 5*z + 8 + a = 0 for b.
-5
Let q = 18 - 14. Let o be (6/q)/(21/70). Solve g + 13 = o*w, -5*w + 2*g + 10 = -1 for w.
3
Let r(b) = -b**2 - 19*b - 80. Let j be r(-12). Let l(d) = -d + 4. Let z be l(-6). Suppose 4*c - z = -c. Solve -4*w - 7 = -k - 25, 0 = -c*k - j*w + 24 for k.
2
Suppose -5*p = -3*u + u - 2, -2*u = -8. Solve -d - 3*b = 11 - 2, b + 3 = p*d for d.
0
Let w be 3 + (-3)/(-12)*4. Let a be (w/(-7))/(2/(-7)). Solve 3*u + 3*y + 14 = 5*y, -12 = a*u - 2*y for u.
-2
Suppose 5*x - 2*v = 4, -2*v = -5*v - 6. Let k be -3 - 3/(3/(-1)). Let j be 1/2*(8 - k). Solve x = -j*z - 5*c - 40, -5*c = -3*z + z + 5 for z.
-5
Suppose t + 2*m + 2 = -t, -29 = -t + 5*m. Solve -o + t*f = 5, 2*o - 3*f + 7 = -3 for o.
-5
Suppose -y = 9 - 11. Solve -y*i + 23 = 5*g, -i - 2*i = -3*g + 18 for i.
-1
Let f(y) = -10 - 2 + 11 + 7*y**2. Let q be f(-2). Solve 3*m + 6*b - 2*b = -q, 4*m - 3*b + 11 = 0 for m.
-5
Let k = -51 - -55. Solve 2*a = q + 3*q + 2, q - k*a = -4 for q.
0
Suppose -5*p = -4*y - 29, -3*p - 5*y + 13 = -3*y. Solve -2*r + p*m + 9 = -3*r, 3*r + 4*m = -16 for r.
-4
Let w(b) = 5 - 9*b**2 + b**3 + 3*b - 4*b + b**2 + 6*b**2. Let i be w(0). Solve 4*z + 24 = -y, 8*z = i*y + 4*z for y.
-4
Suppose -c = 4*c - 10. Let b = 78 + -73. Solve 3*g - c*o = -7, b*g - 5*o + 2*o + 11 = 0 for g.
-1
Let s = 0 - 14. Let a = -1 - s. Suppose 5*x - a - 7 = 0. Solve 4*y + 5*w = y + 3, 4 = -4*y - x*w for y.
-4
Let j be 128/72 - (-2)/9. Solve -x = 3*n - 0 - 9, n = -j*x - 2 for x.
-3
Let b(d) = -2*d**2 - 9*d - 4. Let r be b(-4). Solve 2*l = -2*w - 18, 2*w = -r*l - l - 14 for l.
-4
Let w(y) = -26*y + 2. Let g be w(4). Let t be (-40)/(-50)*350/(-4). Let u = t - g. Solve u = -3*x - 4*n, -9 = -3*x - x + 5*n for x.
-4
Let j(u) = -u**3 - 6*u**2 - 6*u + 4. Let o be j(-5). Solve 2*s + 8 = d + 2, -3*s = d + o for s.
-3
Let m(a) = a**2 - 9*a - 8. Let s be m(10). Solve 2*n - s = -5*w + 4*n, -4*w + 3*n = -3 for w.
0
Suppose -r - 3*r = -8. Suppose -r*h = -4*h + 10. Suppose 5*a + 20 = 4*z + 4*a, 3*a - 25 = -h*z. Solve 3*t - 7*t + z*s + 4 = 0, 0 = t + 4*s + 20 for t.
-4
Let g(w) = 5*w - 17. Let n be g(4). Solve 9 = -3*q + 2*r, -n*r = -3*q - 4*r - 9 for q.
-3
Let l = 14 + -10. Let k = 0 + 4. Let x = k - -6. Solve l*v = 5*d - 0*v - 12, 0 = -5*d + 5*v + x for d.
4
Suppose 2 = -2*p + 22. Suppose -p = 5*q, -4*q + 39 = d - q. Solve 5*c - 4*k = d, 3*c = -0*c - 2*k + 5 for c.
5
Let f(j) = j**2 + 7*j - 16. Let n be f(-9). Solve -4 = n*s + 3*t - 24, t - 24 = -5*s for s.
4
Let b(i) = i**3