6)/(-30) + v/(-30). Solve 0 = 4*x - 3*n - 26, -a*n = 4*x - 0*n - 14 for x.
5
Let c = 1 + -3. Let h = c - -7. Solve -16 = 2*d - 3*j, d - j + h*j = 14 for d.
-2
Let b(a) = 2*a - 7. Let s be b(6). Let p = -8 + 10. Let g be p + (11/(-1))/(-1). Solve 9 = 3*w - 3*j, -4*j - s - g = -w for w.
-2
Let o = 4 - 1. Let h be (-2*1)/((-4)/10). Solve -h*x = -o*s - 0*x - 11, 0 = -2*s + x + 2 for s.
3
Let d be 1/(-9)*-39 + (-3)/9. Suppose 24 = 5*f - 2*u, -3*f + 16 = -4*u + 2*u. Solve -d*a + g + 4 = -2*a, -g = -f*a + 10 for a.
3
Let s be (-2)/5 - (-22)/5. Suppose y = s*y - 15. Solve -4 = -y*v + 2*n, -5*v + 0*v + 22 = 4*n for v.
2
Suppose -4*p + 3*g + 12 = 0, -4*p + g = -9*p + 15. Let h = 2 + p. Solve -h*o - i = -4 - 5, -5 = 5*i for o.
2
Let h be 198/4 + 2/(-4). Suppose h = 4*v + 13. Solve 3*p + 3*o - v = 0, -4*p + 4 = -o + 2 for p.
1
Let w(t) = t**2 - 3*t - 5. Let r be w(5). Let n be 6*-1*(2 - 8). Suppose 4*y = -4*f + n, -4*f - 3*y + 23 = -10. Solve -h + 5 = i, h + f*i - 3*i = r for h.
5
Let i(j) = -j**2 + 9*j - 10. Let f be i(8). Let z = 4 + f. Solve -5*v = -12 - 8, z*h + 2*v - 14 = 0 for h.
3
Let t be ((-16)/10)/(4/(-10)). Let c(i) = -3*i + 1. Let r be c(1). Let k = 3 + r. Solve t*m - 2*u + 20 = 0, u + 1 + k = -2*m for m.
-3
Suppose 2*f + 2*f - 24 = 0. Suppose 24 = -2*g + f*g. Solve k - 3*k - 3*u = -g, k - 3 = 4*u for k.
3
Let a = -27 + 32. Solve 12 = 4*g + f, 4*g = f + a + 7 for g.
3
Let o(p) be the third derivative of p**6/120 - p**5/60 - p**4/24 + p**3/3 - 2*p**2. Let r be o(0). Solve f - 9 = g, -6*g = -g - r*f + 30 for g.
-4
Let i = 40 - 24. Solve 0*c = -2*c + 4*z - i, 4*z - 20 = 0 for c.
2
Let b(c) = 2 - 2 - c. Let h be b(-2). Suppose -h*q = 3*q. Solve -n + z = q, 2*z - 15 = 2*n + 3*n for n.
-5
Let z = 10 - 5. Solve -16 = -2*h + 2*y, 0*y = -z*h + y + 28 for h.
5
Suppose 4*g - 4 = -3*s, 4*g + 0*s = 3*s + 4. Solve -4*q - 5 - g = 2*v, 2*q - 2*v = -18 for q.
-4
Suppose 2*d - 4 = -x + 5, 6 = -3*x + 5*d. Let q = 0 + x. Solve -q*o = -k - 6, -o + 2*k + 2 = k for o.
2
Let i = 8 - 6. Let x be 0/((-4)/(-2 - 0)). Suppose -i*k = -x*k. Solve -p - 4 = 5*q - 3*q, -5*p = k for q.
-2
Let n(b) = b + 7. Let w be -1*1/1*18. Let o be 6/w - (-22)/(-6). Let s be n(o). Solve -3*g - s*j - 1 + 4 = 0, 4*g + j - 16 = 0 for g.
5
Suppose -h + 2 = -1. Let s = 0 + h. Solve 0 = 5*q - s*o + 16, o - 4*o = -4*q - 11 for q.
-5
Suppose -2*a - 5*p - 5 = -0*a, -4*a - 2*p - 2 = 0. Solve 2*i + 14 = -4*d, -i - 4*d - d - 22 = a for i.
3
Let j = -33 + 38. Suppose -j*s + 17 = 3*h, 5*s + 2*h - 3 = 15. Let z be -1*2/4*-60. Solve 0 = n + 5*r - z, -s*n + r + 20 = n for n.
5
Suppose g = 1, -2*p - 4 = 4*g - 12. Solve -13 = -4*w + f - p, f = -3 for w.
2
Let h(u) = u + 0*u - 8 + 9. Let z be h(11). Let n(q) = q**3 - 11*q**2 - 13*q + 12. Let y be n(z). Solve -4*l + 0*w + 3*w - 25 = y, 2*w - 18 = 3*l for l.
-4
Let q(d) = d**3 - 3*d**2 - 3*d - 4. Let r be q(4). Suppose -3*z + 5*k = -5, 24 = -r*z + 4*z + 2*k. Solve z*w = -4*f - 11, -4 = w + w + 2*f for w.
-3
Suppose 3*d = 4*z + 5 - 32, 4*d + 23 = z. Solve 3*i - 3*q = -i - 4, -2*i + z*q = 8 for i.
2
Let q(o) = 2*o**2. Let w be q(-1). Let h(l) = l**2 + 6*l + 7. Let s be h(-7). Let y = s + -6. Solve -k - w = -5*m, 3*m + 2*m - y = 4*k for m.
0
Let x be (-3 - 2)/(-1)*(-4)/(-4). Solve 4*k = -5*u + 12 - 4, 0 = -x*k + 3*u - 27 for k.
-3
Let c = 12 + -7. Let k = c - 2. Suppose -60 = -k*b - b. Solve -2*g - 3*g - b = -5*d, -2*d = 4*g for d.
2
Let c = 40 - 30. Solve -k + 3*k - c = 3*u, 3*k = -5*u - 4 for u.
-2
Suppose -5*q + 2*y - 39 = 0, -4*y + 3*y = -2*q - 15. Let u(j) = 12 + 3*j - 2*j + 0*j. Let t be u(q). Solve -16 = -5*n + 3*i, -i - 12 = -2*n + t*i for n.
2
Let r be (18/21)/((-6)/(-28)). Suppose 4*j - 2*d = 2*j + 38, 58 = 3*j - r*d. Solve -3*i + 19 = -5*u - j, 2*i - 33 = 5*u for i.
4
Let p be 24/7 - (2 + (-18)/7). Solve 0 = -p*a + 2*b + 14, 3*a + 3*b - 5*b = 11 for a.
3
Let c(r) = -r**2 + 10*r - 3. Suppose -25 + 7 = -2*o. Let t be c(o). Solve -3*b = -0*q + 2*q - t, 0 = -5*b - 3*q + 9 for b.
0
Let f be 2 - 0/(-2 - -1). Solve f*d = 3*u - 8*u + 1, -5*u + 13 = -4*d for d.
-2
Let i = 134 + -134. Solve -5 = 4*c + 3*o + 9, -5*c + 4*o - 2 = i for c.
-2
Suppose 2*f - 5*f + 6 = 0. Solve 3*a = -2*h + 21 - 6, f*a = 6 for h.
3
Suppose -23 = -6*b + 7. Solve -4 = 2*c + p + 4, -b*c - 21 = 2*p for c.
-5
Let u(s) = -s**3 - 4*s**2 + 6*s + 7. Let z be u(-5). Let f = 2 + 0. Suppose 2*c = -2*c - 4*h, 5*c = -f*h + 6. Solve a - c*a + 2*y = 5, 2*a - z = y for a.
3
Let m = 5 + -5. Let q be 34/8 - (-3)/4. Suppose 2*c - q*c - 4*w = -17, -c - 7 = -5*w. Solve -c*j = 3*k, m = k - 2 for j.
-2
Let j be 5 + -3*(-6)/(-18). Solve -2*x = j*u + 10, -2*x + 4*u + 2 = -28 for x.
5
Let p(v) = 5*v**2 + 3*v + 14. Let z(y) = 9*y**2 + 7*y + 27. Let t(c) = 7*p(c) - 4*z(c). Let l be t(-4). Solve -2*n - 6*g - 6 = -2*g, 0 = l*n + 5*g + 7 for n.
-1
Let i(u) = -u - 9. Let c be i(-13). Solve 3*k + 6 + 3 = -3*z, -3*z - c*k - 8 = 0 for z.
-4
Let n(d) = -4*d**2 + 2. Let m be n(2). Let z = 14 + m. Solve z = t - 4*t + g + 7, -t - 11 = -3*g for t.
4
Let w be ((-16)/6)/((-3)/18). Let c = -9 + w. Solve 3 - c = -t - 5*g, 0 = t + 4*g - 4 for t.
4
Let l(g) = -g**3 - 2*g**2 + 2. Let h(j) = -3*j + 1. Let v be h(1). Let s be l(v). Solve 4*k + 2*z - 14 = -4, -s*z = -k for k.
2
Suppose 0 = -7*s - 5*s + 24. Solve 0 = d + d + 4*l + s, 5*d + 5*l = -15 for d.
-5
Let p be 4/(56/210 + 4/10). Solve -5*o - 5*k = 20, -3*o + k - p = -2*k for o.
-3
Let k(v) = 3*v**2 - 7*v - 2. Let x be k(-5). Let u be x/(-9)*1/(-4). Suppose 5*n - 5 = -m, -3 = 4*n + 3*m - 18. Solve c + 4*a = -n*c + 12, a = -5*c + u for c.
0
Let d = 4 - 2. Suppose -d = -4*a + 6. Suppose 3*w - 2*w - 40 = 0. Solve 3*m - a = -t - 22, 3*m = -5*t - w for m.
-5
Suppose 3*o + 4*d + 4 = 5*d, -3*d + 12 = 3*o. Let t = -9 - -13. Suppose -5*m = -2*l - 179, 7*m - 115 = t*m + 5*l. Solve 3*c + 1 - 16 = o, -5*c + m = -2*q for q.
-5
Suppose -3*q + 4*q + b - 20 = 0, -3*b = -4*q + 108. Solve 5*a + 35 = -3*v - 2*v, -3*a - 4*v = q for a.
-4
Let h(g) = 2*g + 2. Let b be h(-5). Let l = b + 8. Solve -5*z + 3*r + 0*r - 4 = l, 5*z - 5*r + 10 = 0 for z.
1
Suppose 0 = -2*w + 3*q + 10, -2*w + 3 + 7 = -5*q. Solve -w*l = -3*u - 15, -20 = -2*l - 0*l + 4*u for l.
0
Let a = -9 + 15. Suppose a*w = 2*w + 12. Solve 0 = -o - m - 3, -o + w*m + 21 = 2*o for o.
2
Let u(h) = -h**2 - 15*h + 16. Suppose 16*i = 18*i + 32. Let o be u(i). Solve -5*q + f + 10 = o, -q + 1 = f - 1 for q.
2
Let j = 63 + -59. Solve x - 13 = 3*d - x, 0 = j*d + x + 21 for d.
-5
Let h(f) = f**2 + f - 4. Let q be h(-3). Suppose -3 + 0 = -n + j, 5*n + j = -3. Let i be (-2)/4*(-6 - n). Solve 0*t = q*o + i*t - 3, 0 = 3*o - 2*t + 2 for o.
0
Let i be ((-2)/(-6))/(2/18). Suppose 0*g - 5*g = 20. Let q be (-2)/g*(0 + 0). Solve -5*x - 10 = q, 3*x = w - 7 + i for w.
-2
Let h(m) = m. Let j(g) = -g + 3. Let w be j(0). Let v be h(w). Suppose -3*d - 20 = -4*q, 3*q - 2*d - 1 = 13. Solve k + 18 = -q*o - o, -19 = 2*o + v*k for o.
-5
Let n = -53 + 55. Solve n*h + 2*g + 10 = 0, g - 1 - 10 = 3*h for h.
-4
Suppose 2*c - 1 = -x, 5*x - 4*c = 25 - 6. Let w be (-3)/(-6) - 26/(-4). Let g be (-1 - -3)/(4/6). Solve -r = -2*n + n + g, x*n - 5*r - w = 0 for n.
4
Suppose -3 = -2*y + 7. Let x(s) = -s**3 + 4*s**2 - s - 1. Let l be x(3). Let p be (-5)/(6/4 + -2). Solve -2*d = p, -l = g - y*d - 27 for g.
-3
Let m = -48 + 48. Solve o = 4, -5*o + m*o + 16 = 2*r for r.
-2
Let k be -3 + (4 - 1) + 9. Let l = -12 - -15. Solve -w + 0*u = l*u - k, -2*w + 4*u = 12 for w.
0
Let n = 36 - 23. Suppose -u = -4*d - n, -7*u + 3*d = -2*u - 14. Suppose 5 = 2*w - u. Solve 4*f - 22 = q, 4*q + w = -f - 0 for q.
-2
Suppose -3*o = r + 2*o + 4, -5*o = -2*r - 38. Let q be (-564)/r - 10/35. Suppose -q = -3*x + x. Solve -4*n - 3*c = -c - 26, -x = -4*c for n.
4
Suppose 0 = 5*i - i. Solve -5*u = 5*v - 5, 3*u + 9 = -i*u + 3*v for u.
-1
Let s be (80/(-4))/(2/(-2)). Solve 5*v + s = -3*w, -v - 4 = -7*w + 4*w for w.
0
Let m = 18 - 15. Solve 5*p + m = -2*w, -2*w + p - 3*p = 0 for w.
1
Let c(q) = 2*q**3 + 2*q**2 + 2*q - 3. Let v be c(2). Suppose m - v = 5*u, 77 = 2*m + 2*m + 3*u. Solve -4*i - m = 2*l, -2*i + 10 = l - 5*l for i.
-3
Suppose 3*w - j - 6 = -4*j, 27 = 3*w - 4*j. Solve -3*q + 7*q = -4*f - 16, 25 = -4*f + w*q for f.
-5
Suppose 0 = -3*s + 2*a - 5 + 1, a = -4. Let k = s - -9. Suppose 4*i + 72 = 3*d - d, 0 = 4*d +