). Let t = x - -3. Solve -6*q + 3*q + 8 = -4*a, 4*a - 4*q + 4 = t for a.
-5
Let f be 9/(-3) + 6 + -1. Solve -2*l + f*c = l + 7, -5*c = 4*l + 17 for l.
-3
Let f = -4 - -8. Let x be 2 + 5 + 15/(-5). Solve -x*g - 28 = -f*o, -6 = -o - o - 2*g for o.
5
Suppose 0 = -2*d + 5*d + 3. Let g be d + (-3 + -5)*-1. Solve 38 = 3*m - 4*n + g, 4*m = 3*n + 32 for m.
5
Let u = 5 + -12. Let p = -8 - u. Let o be 9 + -2 + p + -1. Solve 4*h + 8 = -4*k - 0, o*h + k + 2 = 0 for h.
0
Suppose -4*c + 15 + 13 = 0. Let d be (-12)/(-7) + 2/c. Suppose 0 = -0*w + 2*w - 2*l - 20, -3*l = -5*w + 40. Solve w*s + 3*g + 3 = d*s, -2*g + 1 = s for s.
-3
Let r(t) = t**3 + 5*t**2 + 3*t - 4. Let k be r(-4). Suppose -2*j = -4*y - k*j, -2*j = -y. Solve 4*x + 5*s = -y*s - 9, -6 = x + 5*s for x.
-1
Let a(n) = n**3 + 4*n**2 + 3*n. Let g be a(-2). Suppose -g*l = l. Let i = 10 + -6. Solve l = i*c - 0*o + 2*o + 2, 0 = -4*c - 4*o - 4 for c.
0
Let z(c) = -c**3 - 5*c**2 + 4*c - 8. Let t = 7 + -13. Let p be z(t). Solve -12 = -3*h, -5*f - 10 = -3*f - p*h for f.
3
Suppose 0 = -4*z - o + 3 + 5, 0 = -z + 2*o + 11. Suppose -3*j - 4*d - 3 = -8*j, 0 = 2*j - z*d + 3. Solve -3*q - 27 = -j*l - l, -2*q = 10 for l.
3
Suppose -2*r + 5*r = 15. Suppose -4*a + 0*a + y + 13 = 0, 0 = r*y + 5. Solve a*m = 3*o, -20 = m - 5*o - 0*o for m.
5
Let r(j) = j**2 - 3*j + 2. Let i be r(3). Suppose -z + 15 = 2*z. Suppose -7*w = -z*w - 5*k, 0 = -2*w + 4*k + 4. Solve i*h = -y - y + 4, -4*y = -5*h + w for h.
2
Suppose 0 = -2*r - 3*u + u, 0 = -2*r - 3*u - 5. Suppose -i + 3*i - 5 = v, 7 = i - r*v. Solve 5*k - 6 = i*z, 4*k - 2*z = k + 6 for k.
0
Let k = -5 + 13. Let a be k/3*(-15)/(-10). Solve 0 = -4*t - 8, -a*t - 13 = 2*x - x for x.
-5
Let q = -84 - -90. Solve 3*u - 5*o = q*u - 28, -7 = 3*u - 2*o for u.
1
Let i be 1 + (-16)/10*40/(-16). Solve 0 = i*w - 3*v + 10 - 1, 12 = 5*w + 4*v for w.
0
Suppose -t = -2*c + 5, -c + 2*t = c - 2. Solve 0 = -i - n + 6*n + 16, 3*n = -c*i - 28 for i.
-4
Let i be ((-12)/(-10))/(6/20). Suppose -10 = -4*v + 6. Solve -i*j + 2*m + 1 - 25 = 0, 0 = 4*j + v*m + 12 for j.
-5
Let d(m) = -2*m**2 + 20*m + 3. Let u be d(9). Solve -4*g = 4*f + g + 33, 2*f - u = 5*g for f.
-2
Let t = 2 + 3. Suppose 47 = 5*y - 2*i - 11, -3*y - t*i = -10. Solve 2*r - 9 = -3*m, y = 5*r + 5*m - 0*m for r.
-3
Let y be (-136)/(-36) - (-2)/9. Solve 2*r + 0*r = 3*m, y*m - 2*r - 2 = 0 for m.
2
Suppose 0 = 16*x + 18 - 82. Solve x*l - 1 = -3*n, -l + 4*l - 5*n + 21 = 0 for l.
-2
Let s = 26 + -45. Let w = s + 13. Let q be 0 - ((-3)/(-1) + w). Solve -x + 15 = 4*t + t, 1 = -x + q*t for x.
5
Let u = -21 - -45. Let h = -8 - -13. Solve -4*z = -h*w + 41, -z = 2*w - 6*w + u for w.
5
Let v be 3 + 3 + -5 + -1. Solve -f = -5*f - 4*h - 8, v = -3*f - h - 2 for f.
0
Let t = -10 + 5. Let j = 0 - t. Solve -5*s + w = -j, -3*s + 4*w - 20 = -6 for s.
2
Let x(i) = -3*i**2 - 13*i. Let k(d) = 2*d**2 + 12*d + 1. Let w(j) = 4*k(j) + 3*x(j). Let y be w(9). Solve 2*c = y*t - 18, -5*c - 6 = -t + 4*t for t.
3
Suppose 36 = 5*u - 9. Let h = 0 + u. Solve -3*b + h = 5*g, g = 4*b + 4*g - 1 for b.
-2
Let i be 74/8 + 2/(-8). Let a be ((-12)/i)/(3/(-9)). Solve -4 + 2 = -j, 30 = -a*p + 5*j for p.
-5
Let x = 7 - 2. Suppose -4*v = -x*v. Suppose 3*m + 2 - 11 = v. Solve 0 = 3*h + 3, h + 14 = -5*p - m*h for p.
-2
Let p be ((-3)/6)/(2/(-20)). Solve -6 = p*d - q, q - 6*q - 14 = -3*d for d.
-2
Suppose -5*h + 4 = -3*h. Suppose 11 - 15 = -h*p. Solve 0 = -3*u - 2*s - 3, 0 = -u - u - 3*s - p for u.
-1
Suppose -u + k + 2 = -1, 2*u - 5*k = 3. Suppose -16 = -u*b - 0*b. Let s be b/14 + (-38)/(-14). Solve m + s*j - 15 = 0, -4*m + 2*j = -2*m + 2 for m.
3
Let j = 3 - 3. Suppose j*w = 3*w. Solve w = -3*m + 4*k - 7, 0 = -2*m + 5*k - 1 - 6 for m.
-1
Suppose -5*b - 6*c + 2*c + 27 = 0, b - 2*c + 3 = 0. Solve -5*u - w = 15, -13 + b = -2*w for u.
-4
Let m be 9 + (2 - 4)/1. Solve 2*v = 4*q - v + m, -3*q = -2*v + 6 for q.
-4
Let o(c) = c**2 + 3*c - 4. Suppose y = 5*l + 6, 0 = 2*y + l + 10 - 0. Let a be o(y). Solve 0 = -3*z + z - 5*q - 10, a = 2*z - 3*q - 22 for z.
5
Let r(u) be the first derivative of u**3/3 - 5*u**2/2 - 4*u - 1. Let g be r(6). Solve -5*k = -5*m + 10, 6*k = 3*m + g*k - 3 for m.
5
Suppose 0 = -2*s + 2*o, -3*o = -0*s - 4*s + 4. Solve 15 = 3*q, -s*v - 3*q = q - 8 for v.
-3
Let m(k) = -k + 19. Let h be m(15). Solve 7 - 23 = 2*q + h*p, -2*q + 2*p = -8 for q.
0
Let d(n) = n + 2. Let m(s) = 2*s + 3. Let i(q) = -6*d(q) + 5*m(q). Let a be i(8). Solve -4*k + 3*u + a = k, k + 21 = -5*u for k.
4
Suppose 8*o = 15*o - 21. Solve 2*k - o*f = f - 30, k - 3*f + 20 = 0 for k.
-5
Let m be (-1)/4 + 808/32. Solve -r + 10 = -2*a + 4*r, 5*a - 3*r + m = 0 for a.
-5
Suppose 0 = -5*m + 99 + 26. Suppose -6*x = -7*x + 2*q - 10, -5*q = -m. Suppose -3*f + 8*f - 15 = x. Solve 0 = -5*a - 2*d + 17, 3*a = -f*d - 2*d - 5 for a.
5
Let r(x) = -2*x + 17. Let m be r(7). Solve t - m*v = -7, -2*v = -t + 2*t - 13 for t.
5
Suppose -g = 4*g. Suppose g = -3*a + 2*z + 19, -3*z + 2*z = a + 2. Solve a*p - 11 = -3*l + 2*p, 0 = 3*l + 2*p - 7 for l.
5
Let x be 1/4 - (-1255)/20. Suppose 0 = -3*v + 3*y + x, 0 = -3*v + 2*v + 3*y + 19. Let d be 4/10*(v - 2). Solve -4*o + d = -4*m, 4*o - m - 5 = 4*m for o.
5
Let r be (-3)/5 + (-184)/(-40). Solve -3*m = 2*y - 0*y + r, 0 = 4*m + y + 7 for m.
-2
Suppose 0 = 4*o - 4, -5*q = -7*o + 2*o + 5. Suppose -5*b - 3*r + 100 = 0, b - 3*r + 13 - 51 = q. Solve -3*j + 3*h - 24 = j, 0 = j - 5*h + b for j.
-3
Let q(x) = -10*x - 3*x**2 + x**2 + 10 + 3*x**2 + x. Let f be q(8). Solve 1 = 5*g - 14, 2*a - f*g = -16 for a.
-5
Let a be (-7 + 1)*(-1)/2. Let j = a - -9. Solve -4*o = -0*o + 4*h + j, -3*o = -5*h - 23 for o.
1
Suppose 5*k + 0*k + 2*f = 2, 0 = k - 2*f - 10. Solve 3*q + k*v = -0*v + 13, 5*v - 1 = 3*q for q.
3
Let w be ((-10)/15)/(1/3). Let a be -1 - (2*-2)/w. Let u = a - -3. Solve 0*t = t + 5*j - 11, 4*t + 5*j + 1 = u for t.
-4
Suppose 0 = y - 3 + 12. Let d = -4 - y. Solve d*z = 5*b + 3 - 23, z + 16 = 5*b for z.
-1
Let o(s) = s**2 - 2*s + 2. Suppose -4*j - 10 = -9*j. Let p be o(j). Solve 4*b + 0*d = -2*d - 8, 5*d = p*b + 16 for b.
-3
Let s(g) = g**2 + 7*g - 8. Let h be s(-8). Suppose 2*a = -2*f + 18, h*a - 3*f = -4*a + 22. Solve -2*u - 3*n - a = 0, -3*n + 2 = -3*u + n for u.
-2
Let r(m) = m**2 - 3*m - 4. Let w be r(7). Solve h - 3*q + 22 = 2*q, 4*q - w = 4*h for h.
-2
Let l(m) = -m + 1. Let x be l(0). Let z = -6 - -2. Let d(f) = -f. Let k be d(z). Solve -k*j = c + 3, -2*j + c = -x + 4 for j.
-1
Suppose 2*b - z - 4 = 6, 22 = 4*b - 3*z. Suppose -m = 5*j - 11, -5 = -b*j + j + m. Solve j*a = 5*d - 23, -5*a + 2*a + 3*d = 21 for a.
-4
Suppose -3*y = -0*t + 4*t - 1, 2*y = -4*t - 2. Solve -3*k = -2*m - y, -4*m - 4*k + 4 = m for m.
0
Let t(x) = x**2 - 5*x + 5. Let u be t(5). Suppose 8*h = 5*h + 9. Solve -1 = -2*r - 2*y - 3, h*y = u*r - 19 for r.
2
Let p be 1/(-1) + 4/(-1). Let r(j) = -j - 5. Let s be r(-12). Let k = p + s. Solve -3*t + 8*t = -5*u - 45, -4*u - k*t = 28 for u.
-5
Let l(s) = s**2 + s - 3. Let z be l(-3). Solve 0*u - 2*u + 2*c - 12 = 0, -z*u + c = 8 for u.
-1
Let a be -4 - (-5 + 2) - 1. Let d(f) = -2*f - 1. Let u be d(a). Solve 0 = -u*y - 0*y + 3*z, 5*y - 20 = z for y.
5
Let a(u) = -4*u**3 + u**2 + 7*u + 6. Let c be a(-2). Solve -c = 5*m - 4*z, 4*z + 0*z = -2*m for m.
-4
Let s(p) = -p + 5*p - p - p**2 - 2*p**3 + 2. Let z be s(-2). Solve -w - z = 3*n, 21 = -5*w + n + 3*n for w.
-5
Suppose 3*f - 4*f = -8. Suppose -6*j + 20 = -2*j. Suppose k = -j*h + 16 + 6, 3*k = -5*h + 26. Solve -h*o - q - f = 0, q + 6 = -3*o - 0*o for o.
-2
Suppose -m + 2 = 31. Let u = 49 + m. Solve -2*y + 3*y = -3*j + u, 0 = -y - j + 10 for y.
5
Let j be 1 - (-1 + 0 + -3). Solve -j*g = -6*g - 5*x + 14, -4*g + 14 = -x for g.
4
Let d be 2/4*(0 + 0/(-4)). Solve 0 = 4*a + 2*m - 8, 4 + d = -m for a.
4
Suppose 2*s - 20 = -10. Solve f - x - 3 = 0, -s = 4*x + x for f.
2
Let h be (-2)/(4/(-6)) - -1. Suppose -4*w + 2*o + 139 = -o, -h*w + 104 = 4*o. Suppose 4*y = w - 11. Solve -5 = -i, 11 - 48 = 4*n - y*i for n.
-3
Let t = 8 - 4. Solve t - 13 = -3*g + 3*u, u = 2 for g.
5
Let a = -4 + 7. Suppose -a*d = c - 6*c + 25, 2*d + 18 = 4*c. Solve 15 = -5*n, -5*n = -0*v + c*v + 5 for v.
5
Let f(h) = -4*h - 4. Let q be f(-4). Let t = q - 6. Solve 0 = -2*l + 2, 4*x = -l + t*l - 21 for x.
-4
Let m be (5 + -2 - 1) + 1. Let r(n) = -n**2 + 3*n + 4. Let h be r(4). So