= 3*q + 108, v - 162 = 5*q. Let l = q - -12. Let o = 31 + l. Solve 2*w = 6*w + a - o, 0 = 3*w - 3*a for w.
2
Let n(o) = -o**3 - 4*o**2 + 10*o + 8. Let r be n(-6). Suppose 7*w - 39 = -4. Let g(u) = 3*u - 8. Let k be g(4). Solve 0 = w*b - 2*v + r, -b = 5*v - v + k for b.
-4
Suppose 4*z - 9 = 2*z + 5*u, z + 3 = -5*u. Solve -4*m = 4*i + 7 + 9, -11 = z*m + 5*i for m.
-3
Let b be (-36)/(-5) + 6/(-30). Let w = -2 + b. Solve 0 = -2*d - 3*v - 3, 15 = -w*d + 4*v + 42 for d.
3
Let j be 4*(-1)/2 + -6. Let v = 10 + j. Solve -z + t = 2*z + 8, -v*t = 3*z - 7 for z.
-1
Let t = 5 - 1. Solve -4*o = t*i + 8 + 16, -24 = 2*i + 5*o for i.
-2
Suppose 2*z - 2*x = -0*x - 2, -35 = -5*z - 5*x. Suppose 0 = 3*f - f - 6. Solve z*m + m = -3*v - 4, -f*v + 4*m + 28 = 0 for v.
4
Let v be (-6 + 7)*(-2)/4*0. Solve 5*p = 2*j + 3*j - 15, v = p + 2*j - 9 for p.
1
Suppose 0*z + 3*z = 9. Solve -z*v + 0*k - 4 = 2*k, -4*v = -3*k + 11 for v.
-2
Suppose 0 = -0*t - 3*t + 12. Suppose -2*b = -t*b. Solve -3*y + a = -b - 11, 5*y - 3*a - 25 = 0 for y.
2
Suppose 8 = 3*c + 5*p + 3, 0 = c + 2*p - 1. Solve -3*s + 7 = c*b, -8*s - 9 = -2*b - 3*s for b.
2
Let m = 20 - 9. Let j = -7 + m. Solve -4*o + 5*f - 9 = 0, -j*o + 5*f - 17 = -2*o for o.
4
Suppose 0 = 5*r + 2 - 82. Let u = 11 + -6. Suppose u*z = 5*k + 18 + 17, 2*z + 5*k + 21 = 0. Solve z*m = 3*w + 12, -3*w + 3*m + 1 = r for w.
-2
Let m be (10/(-4))/(7/(-14)). Suppose 0 = m*y + f - 8 - 12, -3*y = 4*f - 12. Solve -9 = 3*h, -y*r - 3*h - 3 = -2*h for r.
0
Suppose 4*r - 5*f - 33 = -2*f, -2*r = 5*f + 3. Suppose 11*c = 5*c. Solve -3*a = -4*t - r, 4*t + c*t + 2 = a for a.
2
Let u be (-4 - 1)*(-3)/5. Suppose 4*p = u*p. Solve -i - 3*i + 4*t - 12 = 0, p = 2*i + 3*t + 11 for i.
-4
Let u(q) = q**3 + 3*q**2 + 2*q + 2. Let l be u(-2). Solve 17 = -3*h - j, 2*h - l*j + 4 - 6 = 0 for h.
-4
Let x(q) = -4*q**3 - 7*q**2 + 5*q - 5. Let s(a) = -a**3 - a - 1. Let u(v) = 3*s(v) - x(v). Let j be u(-8). Solve -2*d + 2*i = -2, j*d = -0*d - i + 11 for d.
4
Suppose 12 = -8*s + 12*s. Suppose 42 - 3 = s*n. Solve 4*f - k - 2 = -12, 3*f + 2*k + n = 0 for f.
-3
Let a = -3 + -11. Suppose 20 = 5*z, t - 2*z = 14 + 16. Let b = a + t. Solve y + 6 = -2*m, -6*y + 4*m + b = -2*y for y.
2
Let h(k) = -k**3 - 5*k**2 + 4*k - 10. Let p be h(-6). Solve -v = 0, 0*v = -p*x + 3*v + 6 for x.
3
Let z = -7 - -16. Let o = -3 + z. Suppose -o*a + 160 = -a. Solve 3*j + a = -4*b, 2*j + 5 = -3*j + 3*b for j.
-4
Suppose 5*t = -15, 3*t - 10 - 3 = -k. Solve -q = -5*i + k, -2*q + 5*q - 29 = -4*i for q.
3
Let i(f) = 2*f**2 - 2*f - 5. Let o be i(3). Solve 0 = 5*m + 4*d + o - 4, 4*d + 8 = 0 for m.
1
Suppose 5 - 1 = 2*s. Suppose -z = s*z - 12. Solve z*m + 11 = -3*f - 0, -2*m - 3*f = 7 for m.
-2
Suppose 5*l = 5*u, 2*l = u - 2*u + 15. Suppose 5*j - 1 = 5*d + 9, 18 = u*d + 2*j. Suppose -d*m - m = -9. Solve 2*f + 6 = -2*c - 0*c, -5*c - m*f - 19 = 0 for c.
-5
Let m(k) be the first derivative of -k**2/2 - k - 2. Let r be m(-5). Solve 0 = -2*f + g + g, 0 = -r*f - g + 10 for f.
2
Suppose -4*h + 5 + 11 = 0. Let p = 11 - 7. Suppose 5*k + 4*x - 8 = 0, -5*k + p = x + x. Solve k = -5*c + h*y + 37, 26 = 4*c - y + 3 for c.
5
Suppose 0 = -f + 2 + 34. Let p = -21 + f. Suppose -3*v + 57 = p. Solve 0 = -4*g - 2*l + v, -3*g + 7 = -2*l - 7 for g.
4
Suppose -4*s + 4 = -24. Suppose -2*a + s*a = 20. Solve 4*h = v - 16, 18 = -a*h + 4*v + 2 for h.
-4
Suppose 1 + 11 = -2*l. Let d be (l/(-5))/(2/5). Suppose -4*o + d - 20 = -g, -3*g - 4*o - 13 = 0. Solve z - 6*z - 2*t - g = 0, -z - 2*t - 5 = 0 for z.
1
Suppose 5*j - 15 = 20. Let c be j - 6/(-3 + 5). Solve 5*a + 5 = 4*a + 4*p, c*a - 4*p = -8 for a.
-1
Let g(o) = -11*o**2 - 4*o**3 + 3*o**3 + 6*o - 5*o + 13. Let v be g(-11). Solve 4*n - 5*n = -i, 5*n + 7 = -v*i for n.
-1
Let q = -15 - -21. Let y = 6 - q. Let h = 3 + -1. Solve c = f - 4*f + 2, 2*f + h*c - 4 = y for f.
0
Let s be (2 - -1)*(-28)/(-7). Solve -3*y + s = -3*x, -3*y = -3*x + y - 15 for x.
-1
Let u(d) = 5*d. Let s be u(1). Suppose -5*c + c + t = -5, -s*c - t = -13. Let g be c + ((-15)/(-3) - 2). Solve 5*y + 10 + 20 = -5*v, -6 = 4*v - g*y for v.
-4
Let y be -2 + (-10)/(-4)*2. Solve 2*o = -3*o + 5*l, -4*l = y*o + 35 for o.
-5
Suppose 0 = 3*t - 4*x, -x = -6*t + 3*t. Suppose -y - 5*g + 5 = 0, 4*y + 3*g + g - 20 = t. Solve 5*c + 2*f = y*f - 35, 5*c = f - 25 for c.
-4
Suppose 4*t = -4*s + 24, -6*t = -9*t + 6. Suppose r + 14 = s*u, 4*u - 5 - 15 = -2*r. Suppose -g = g - r. Solve 3 - g = 5*f + 2*y, 22 = 5*f - 3*y for f.
2
Suppose 2*n = 4*q - 54, 2*q - 5*n - 5 = 2. Let i = q + -16. Solve i = -3*k + 7*k + 4, -1 = 4*w + 5*k for w.
1
Let m be (-35)/(-10)*((-2 - -4) + 0). Solve 0*z - 4 = t + z, 2*z - m = t for t.
-5
Let x = 12 - 10. Solve -x*h + h - 5*y = 26, y = 3*h - 2 for h.
-1
Let q(j) = 10*j**2 - 4*j**2 - j**3 + 16*j + 3 - 7*j. Let h be q(7). Solve 0 = l + 3*n + 9, 3*l + 0*n + h = -4*n for l.
-3
Let s = -1 - -1. Suppose s*o + 5*o - 4*m - 18 = 0, 0 = 3*o + 5*m + 4. Let d be 20/(-100) - ((-22)/(-5))/(-2). Solve 3*j = o*u, -2*j = 2*u + d*j for u.
0
Let q(u) = -u**2 - 3*u + 4. Let d be q(-3). Suppose 0 = -2*y + d*y. Let i = 1 - -1. Solve 5*c - 24 = s - i, y = -3*s - 2*c + 19 for s.
3
Let h(d) = d**2 + 13*d + 14. Let r be h(-12). Suppose a = r*a - 3. Solve -3*v = 3*g - 9, -16 = -4*v + a*g + 3 for v.
4
Suppose -28 = 2*w - o, 0 = -2*w - o + 7 - 27. Let f = w - -15. Solve -l = 5*y - 8, -7 = -y - l - f for y.
1
Suppose 17 = d - 47. Let c be (-2)/(-11) + d/11. Solve 0 = t + 5*f - 14, -3*t + f + c = -2*f for t.
4
Let l be 3/9 - (-11)/3. Suppose 0 = 3*f - 5*f + l*r + 2, -3*r + 3 = 0. Solve -f = 3*c, -4*k + 6 = -c - c for k.
1
Let x(m) = -4*m. Let n be x(-9). Let h = n + -22. Solve -4*b + 28 = 4*w, 5*w - 5 - h = -b for b.
4
Let w be 40/12 - (-2)/(-6). Suppose v = -5*m - 0*v + 46, 5*m - w*v - 62 = 0. Let o = m + -6. Solve 3*c + 3*z - 20 = z, 12 = o*c - z for c.
4
Let k = 1 + 4. Suppose -2*r + 1 = 7. Let v = r + k. Solve 0*u - 8 = 4*u, u = v*c + 6 for c.
-4
Let g be ((-18)/(-7))/(1*(-12)/(-56)). Solve -5*y + g = 3*u, 3*u - u - 13 = -5*y for u.
-1
Suppose 67*p - 62*p - 140 = 0. Solve 2*y - 4*m = 8 - 32, -5*y = -2*m + p for y.
-4
Let c = 5 - 1. Let p(q) = 5*q + 7 - 3*q**2 + q**3 - c*q + 8*q**2. Let h be p(-5). Solve 0 = 3*f - h*f, 4*l + 5*f + 8 = 0 for l.
-2
Suppose -3*m + n = -0*n + 24, 6 = 2*n. Let j be (-2)/7 + (-16)/m. Solve 3*t - 8 = -j*y + 5*t, -11 = y + 4*t for y.
1
Suppose -x - 4*x = 0. Solve y - 19 = 4*b, -4*y - 2*b = -x*b + 14 for y.
-1
Suppose -5*k + 5 + 20 = 0. Solve 0*z + 3*z + k = 2*h, 0 = -3*h + 5*z + 7 for h.
4
Let z be 3 + (2 + 1 - -2). Suppose -2*c + 4*a - 2*a = -16, 4*a = -20. Solve -2*g = -c*g, 4*h + 2*g = -z for h.
-2
Suppose 12 = 5*v - 2*b - 2*b, -2*v = -5*b + 2. Solve -v*j - 12 = 4*s, -3*s + 2*s = -j - 7 for s.
2
Let v = 24 - 20. Solve v*w - 17 = 3*t - 2*t, -3 = -5*t - 2*w for t.
-1
Suppose r = 5*b + 2, r + 3 - 5 = -b. Solve 0*o - r*c + 12 = 2*o, -3 = -4*o + 3*c for o.
3
Let j(y) = 5*y + y - y + 2 - 6*y. Let o be j(-2). Suppose q - 16 = -4*z, -2*z - 3 - 3 = -3*q. Solve 4*w = o, -2*p - 6*w = -w - z for p.
-1
Let f = 3 + 2. Solve a - 3*a + z = 5, f*z = 2*a - 15 for a.
-5
Let v(h) = 9*h**3 - h**2 + h - 1. Let p be v(1). Solve 5 = 5*d + 5*r, 21 = 5*d + r + p for d.
3
Let a be -7*1*(-30)/21. Suppose -s = 2*s - 4*n - 6, -5*n + a = 5*s. Solve 5*i = 3*z - 19, -s*i + 0*z = 2*z - 2 for i.
-2
Let c(g) be the first derivative of -5*g**2/2 - 2*g + 1. Let p be c(-2). Suppose 0 = 2*f - p - 2. Solve 0 = 4*a + 6 - 14, -2*q - f*a = -4 for q.
-3
Let t(g) = -5*g + 5. Let d(x) = -4*x + 5. Let n(m) = -6*d(m) + 5*t(m). Let r be n(-7). Solve 3*y - 11 = 5*i, y - 3 = r*y for i.
-4
Let t be (-1)/(-4) + (-19)/(-4). Suppose -4*p + s + 77 = 0, t*p + 1 = -5*s + 66. Let a = 18 - 15. Solve -4*h + 3 = a*z, -4 + p = -3*h + z for h.
-3
Let y = -6 + 12. Suppose 0 = -2*p + y*p - 128. Solve -2*v - 4*c = 8, 4*v = -0*v + 4*c + p for v.
4
Let g be (25/75)/((-2)/(-18)). Solve 2*r + 0*w - 2 = -g*w, -w = -r + 6 for r.
4
Let r = -5 + 8. Let t(d) = d + 6. Let q be t(-7). Let y be (-2 + q + 5)*2. Solve 5*u + n = 25, y*u - 5*n = r*u + 5 for u.
5
Let j(z) = -2*z**2 + 2 + 3 - 3*z**2 + z**3. Let v be j(5). Let d(p) = p**3 - 8*p**2 - 8*p - 7. Let w be d(9). Solve -u + 2*r + 24 = -v*u, w*u - 2*r = 0 for u.
-4
Suppose 2*d - 96 = -94. Solve v - d = 3*o + 2, 3*v = 2*o - 5 for v.
-3
Suppose 