. Let l be h(-15). Solve 3*t + 5*d + 4 = -l, 4*t - d = -8 for t.
-2
Suppose 8*l + 16 = 12*l. Solve -5*i = 10, i - l*i = -3*y - 9 for y.
-5
Suppose 0 = -5*j - 15, -5*j - 18 = -4*g + 13. Let v be (-1)/(-1 - 3/(-6)). Solve 20 = -3*r - v*i, -g*r + 5*i + 1 + 3 = 0 for r.
-4
Let c be -2 - 1*(-1 - 3). Suppose c*d - 3*g = -0*g - 2, -4 = -2*g. Solve a - 3*i = -6 + 2, -d*a + 6 = i for a.
2
Let p(i) = -i - 4. Suppose 3*j - 35 = 5*b, -3*b + 5*j - 54 + 17 = 0. Let t be p(b). Solve -24 + 6 = -c + 4*k, t = -2*c + 2*k + 12 for c.
2
Let z be 0/(-16) + (1 - -1). Solve -3*d - 24 = -3*y, 0*y + z*y - 4*d - 24 = 0 for y.
4
Let s(y) = -y**3 + 2*y**2 + 2*y + 1. Let u be s(-2). Suppose m = -m + 14. Solve 2 = -w, -4*z + m*z = w - u for z.
-5
Let k(u) = u**3 - 14*u**2 + 13*u + 5. Let p be k(13). Solve 2*n + p*w = 12, 5*n - w = -27 + 3 for n.
-4
Let n(d) = -4*d**2 + 0*d**2 + 1 - 3 + d + d**3. Let i be n(3). Let l be (-242)/i - (-2)/(-8). Solve -2*x = -6, 3*k - 4*x = x - l for k.
-5
Let z(k) = k**2 + 10*k + 7. Let x be z(-9). Let j be (-3)/(-12)*x*-8. Solve 2*n = j*n - 5*w + 25, -5*n = 2*w + 19 for n.
-5
Let v be 5*(-1 - 2 - -2). Let d = v - -10. Solve d*m + j + 0*j = 26, -5*j = -m for m.
5
Let t = 18 + 2. Solve -5*s - t + 3 = -o, 4 = 2*o for s.
-3
Let r(q) = q**3 + 1. Suppose l + 5 = 6*l. Let h be r(l). Solve 4*y - 3*k + 7 = -6*k, h*y = 5*k + 3 for y.
-1
Suppose 4*m + 0*m = 16. Solve -4*v - 4*q = -4, 3*v = m*q - 5*q + 1 for v.
0
Let m be 1*(8 + 4)/4. Solve 6 = m*h, 4*o - 4*h + 20 - 4 = 0 for o.
-2
Let u be (-4)/6*30/(-4). Suppose 18 = k - 3*p, -u*k + 4*p + 33 = -24. Suppose 24 = b + t - 3*t, -8 = 2*t. Solve -2*x = 2*x + r - k, 4*r = 4*x + b for x.
1
Suppose -491 = -3*d + c, -4*d + 221 = c - 436. Suppose 89 = -2*s - 3*a + 4, 4*s + 4*a + d = 0. Let l = s - -54. Solve q + 3*q + l = -4*h, 5*q - 2*h = -13 for q.
-3
Suppose 0 = -5*x - 2*m + 19, 10 = 5*m + 25. Let v = 5 - x. Solve -5*s = -5*u - 15, -18 = u - v*u - 4*s for u.
2
Suppose -o + 0*o + 3 = 0. Suppose -k = -o - 2. Suppose -u + 3*y - 1 = 0, -4*u + k*u - y = 1. Solve -4*m - u*z + 7*z = 2, -z + 6 = 2*m for m.
2
Let q(z) = -z**2 - 4*z + 6. Let u be q(-5). Let t be (1 - 1)*u/(-2). Let l = 29 - 27. Solve -2*n - l*k + 10 = 0, -4*n - 2*k + 15 - 3 = t for n.
1
Let q be (0 + 3 - 1)/1. Solve i = -3*h - 6, 3*i + q = -2*i - h for i.
0
Let s(w) = -w**2 + 2*w + 4. Let p be s(3). Let x = -3 - 0. Let y be x - -7 - (-2)/(-1). Solve 2*n = -y, -2 = -2*j - 3*n - p for j.
2
Suppose s + 3*l + 10 = 0, 0 = s - l + 2*l + 2. Solve 2*y + 6 = s*j + 2, 0 = -3*y + 5*j - 10 for y.
0
Let d(q) = -q + 2. Let s be (-3)/2*(1 + -3). Let b(r) = r - 1. Let h(n) = s*b(n) + 2*d(n). Let u be h(3). Solve 2*v = -u*m, -2*m - 4*v = 2*m + 4 for m.
1
Let v(k) = -7*k + 23. Let f(x) = -3*x + 11. Let m(r) = 9*f(r) - 4*v(r). Let c be m(-5). Solve -c*a = 4, 4*i + 4*a - 11 = -31 for i.
-3
Let z be -3 + 40/(4/2). Suppose -h = -13 - z. Let p be ((-24)/h)/((-1)/5). Solve -13 = -p*u - 2*q + 3*q, -17 = -2*u - 3*q for u.
4
Let t = -10 + 10. Solve 5*x - 2*p - 28 = -t*p, -4*x - 5*p - 4 = 0 for x.
4
Let x(k) = -k**2 + 4*k + 1. Suppose 3*a - 5*n = -0*a - 13, -5*n + 29 = a. Let v be x(a). Suppose -15 = -u - 4*u. Solve -u*i - v = w - 0, -5*i = 4*w + 11 for i.
1
Let w = -3 - -3. Let q be 4/(-3 + (4 - -1)). Suppose f + w*f = q. Solve 2 = -x - c - f, 3*x + 2 = -c for x.
1
Suppose -2*o + 3 = -3*s, -3*s = 5*o - 9 - 9. Let c = s + -1. Suppose -3*g + 6 = -c*g. Solve 0 = -2*j + 2*z + 6 + g, 0 = -3*j + 2*z + 7 for j.
-1
Let r be 4/22 - (-288)/(-11). Let a be r/(-10) + 4/10. Let n(t) = 3*t - 4. Let i be n(3). Solve u - a*u = h - 7, 3*u = -i*h for u.
5
Let w = -62 - -67. Solve 5*m - 2*u - w = 0, 2*m = 6*m - 2*u - 4 for m.
1
Let r = 360 + -235. Suppose -5*f = 5*v - r, 51 + 24 = 3*v - f. Let w(p) = -p**2 + 5*p - 2. Let a be w(4). Solve -a*y - y - 5*o = v, -5*y = -5*o + 15 for y.
-5
Let i = 41 - 41. Solve 4*s - 36 = -5*b, i = 2*b + 3*b - 5*s for b.
4
Let i(r) = 5*r**2 + 5*r + 2. Let h be i(-3). Suppose 0 = -0*l - 4*l + h. Solve 2*d + 5*n = 19, -l*n + 7 = -4*d - 3*n for d.
2
Suppose a = 11*a. Let x(t) = -4 - 4*t**2 + 3 + 5*t**2. Let b be x(-2). Solve -2*u - 16 = 2*u + b*y, a = 2*u - y - 2 for u.
-1
Suppose 0 = -4*u - 4*n + 16, -4*u = -5*n + 3*n - 28. Solve 0 = -2*r - c - 3, 2*c + 0*c + u = 0 for r.
0
Let z = 8 + -1. Let w = -11 + 8. Let u = w + z. Solve u*i = 5*v + 29, -7*i = -4*v - 3*i - 24 for v.
-5
Let h(b) = 4*b**3 + 1. Let d be h(1). Solve -5*p - d*m - 44 = -4, -2 = -p + m for p.
-3
Let a = -107 + 111. Solve -4*d + 10 = -2*d + 4*j, a*d + j = 20 for d.
5
Let h = -112 + 115. Let t = -2 + 4. Solve 15 = -3*q + 5*z, h*q = z - 1 - t for q.
0
Suppose 0 = -m + 5 - 2. Suppose -3*i = -4*i - 5*s, -m*i + 51 = -2*s. Solve -3*a = -3*d + 6*d - 21, -d = 3*a - i for a.
4
Let t be (9 - 2) + 1 + -3. Suppose -95 = -t*v + 25. Solve -3*m - 5*n + v = 0, 0 = 3*n - 7*n + 12 for m.
3
Suppose 8 - 17 = -5*i + 3*g, i + 5 = 4*g. Solve 5*m - 2*k - 34 + 13 = 0, 0 = 2*m - i*k - 4 for m.
5
Suppose -2*f - 1 = -5*t, 0 = t + 2*f - 1 - 4. Suppose -11 = -3*n + t. Solve -z - a - 20 = n*z, 8 = -2*z + 3*a for z.
-4
Suppose -2*a - 2*a - 5*k + 4 = 0, 4*a = -4*k. Let f = a + 7. Solve 0 = -4*y - 0*y + 5*p + f, -y - 2 = -4*p for y.
2
Let p(a) = a + 2. Let r be p(0). Suppose 2*x + r*x - 12 = 0. Let g be ((-10)/4)/((-1)/2). Solve 2*b - 6 = -x*d + d, -g*d = 4*b - 10 for d.
-2
Let k be -2 + 2 - -2 - 2. Let x = k + 2. Solve -x*z + 4*b = -16, z = -3*z - 4*b - 28 for z.
-2
Let c be (3 - 1)*(-4 - (-75)/6). Solve 3*v - 2 = 3*t + 4, t + c = -4*v for v.
-3
Let g = -24 + 59. Let m = g + -22. Solve 0 = 5*b - 5*c - 20, 2*b + 3*c + 2*c = -m for b.
1
Let x be (5 - 6)*2/(-2). Let c = 2 - x. Let i be 21 + (-2)/c*1. Solve -q - 4*g - 8 - 5 = 0, 3*q = -2*g - i for q.
-5
Suppose -4*v - 4 = 2*g, -2*g + v - 2 + 8 = 0. Solve g*l - 6 = 4*l + o, 8 = -2*o for l.
-1
Let x(m) = 2*m**2 + 4*m + 3. Let n be x(-3). Solve -19 = 5*j + 2*l, -j + l = 4*l + n for j.
-3
Suppose x + 7*x = 0. Let q(h) = 22*h**2 - 2*h + 1. Let k be q(1). Solve -4*t = -20, x*m + 5*t = -m + k for m.
-4
Suppose 13*u = 8*u + 10. Solve -u*a + 26 = -4*y - 0*y, 3*a + 5*y = -16 for a.
3
Let t(n) be the first derivative of 4*n**3/3 - 2*n**2 + 2*n + 4. Let o be t(2). Solve -3*r + 6 = -3*b, -b - b = r + o for r.
-2
Suppose 4 = 5*d - 0*d - t, 4*t = -d - 16. Suppose -5*f + d*f = -10. Solve -l + r - 1 = f, 0 = -l - 4*r + 17 for l.
1
Let c = -17 - -17. Suppose -2*h + 10 = -c. Solve -23 = -5*k - h*a + 2, -5*k - 4*a = -20 for k.
0
Suppose 9 = -f + 4*f. Suppose -f*o + 4 + 2 = 0. Let n be 5*((o - -1) + -2). Solve 0 = 3*s - n*k + 2 - 1, s - 5*k - 3 = 0 for s.
-2
Suppose h = 4*h - 9. Suppose -l = h*l. Solve l = 2*x - 4*k - 28, 3*k = -x + 2*k - 1 for x.
4
Let v(i) = 5*i**2 + 2*i + 1. Let w be v(-1). Suppose 0 = -z + 3*z + w*q - 8, 4*z = 5*q + 16. Solve -2*j - r + 6 = 0, -7 + z = -j - 2*r for j.
3
Let x = 2 + 5. Let d = x + -3. Solve 12 = r + 4*z, -12 = -2*r - 4*z - d for r.
-4
Let h(p) = p**3 + p**2 - 9*p - 5. Let n be h(-3). Solve -5*b + 23 = 2*y + n, -y = 4*b - 17 for y.
-3
Let t be 5 + -2 + 29*3. Suppose -p + 6*p = t. Solve -g = -5*f - p, -14 = 4*f - g - 0*g for f.
-4
Let u = -15 + 20. Solve -4*l + a + 1 = 0, 4*a = 3*a - u for l.
-1
Let r = 14 + -11. Solve 0 = 5*w - r*y - 25, 5 = w - 0*w - y for w.
5
Suppose b - 15 = -4*b. Suppose 18 = 3*y + r, -r = 2*y - b*r - 20. Solve -4*u - 5*s - y = 0, 0 = -2*u + u - s - 2 for u.
-3
Let m = 0 - -4. Suppose -3*i + i + m = 0. Suppose 0 = -2*w + i*r + 20, 5 - 15 = 2*w + 4*r. Solve -2*k + 0*q - 4 = 2*q, 0 = w*q for k.
-2
Suppose -2*z - z - 6 = 5*i, -5*z - 10 = -3*i. Suppose -a + 1 = -i*a, -u + 5*a = 1. Solve -4*p - 25 = 2*d - 7*d, u*d - 20 = 3*p for d.
5
Suppose 0 = -4*l + 2*l + 8. Solve 2*k + x = k + l, -20 = 2*k - 5*x for k.
0
Let f(r) = -r**3 - 7*r**2 - 7*r - 3. Let l be f(-5). Let g be 3*4/l*-6. Solve d = -4*y + 13, -g*d + 5*y = d - 15 for d.
5
Let c(n) = -n**3 + 6*n**2 - 8*n + 20. Let y be c(5). Solve -2*w = -y*t - 4*w - 12, 5 = -5*w for t.
-2
Let a(c) = 5*c + 47. Let m be a(-9). Solve 5*v = -0*f - m*f + 5, v + f = -2 for v.
3
Let r(s) = s**2 - 7*s + 9. Let x be r(6). Suppose 2*i + 5 = -3. Let f(q) = q**2 + 4*q + 2. Let g be f(i). Solve 3*z + z = g*p + 14, 0 = 5*p + x*z + 22 for p.
-5
Suppose 5*m - m + 2*v = 16, 4*v = m + 5. Suppose -3*f = -9, m*f + 79 = 4*b - 0*b. Solve 2*