 + 6 = u, h = -z*i - 4*c for i.
-4
Let j be ((-6)/(-6))/(1/11). Solve 2*n - 13 + 6 = -s, -s + 4*n = j for s.
1
Let v(c) = c**2 + c + 2. Let p be 2 - 3 - (-3 - -5). Let z be 4/p - 2/3. Let n be v(z). Solve -34 = -3*a + 5*h, a + 5*h - n*h = -2 for a.
3
Let o = -1018 + 1027. Let u = 11 - -4. Suppose 3*v = -0*v + u. Solve j = 2*k - v - 2, -3*j - 4*k = -o for j.
-1
Let v = -13 + 15. Let u(a) = a**3 + 6*a**2 - 6*a + 9. Let j be u(-7). Solve v*b - 4*b = 4*y + 16, 12 = -3*y - j*b for y.
-4
Let z be 3 + 0 + -5 + (0 - -6). Solve 2*b + 3*p - 2 = -4, 3*b + 4 = -z*p for b.
-4
Suppose 2*z - 4*v - v - 3 = 0, -4*v = 3*z - 16. Let b(c) = 2*c**2 - 14*c - 11. Let m be b(9). Solve -z*p + 20 = 4*l, m = -5*l + l + 5*p for l.
0
Suppose 0 = 3*j + 11 + 31. Let c = j + 26. Solve -3*v + 2*v = -3*w - c, 0 = -2*w - 2*v - 16 for w.
-5
Let x(g) = g**3 + 4*g**2 - 2*g - 5. Let z be x(-4). Suppose -c + n - 5 = 0, z = -4*c - 5*n + 28. Let s = 0 + c. Solve -i - 4 = r, s = -5*i + 3*r - 1 - 3 for i.
-2
Suppose 3*s + 15 + 11 = 5*d, 0 = -d + 4. Let x be (s - (3 + -3)) + 3. Solve 0 = 2*z - o + x, 0 = -4*z + o + 1 for z.
1
Let b be (-46)/(-14) + (-4)/14. Suppose -2*q = 3*x, -2*x + 0*x = q. Let o(k) = k + 10. Let t be o(q). Solve -t = 3*i + 5*u, 4*i + u = -b*u for i.
5
Let l be -1 + -2 + (-1 - -8). Suppose -4*a + 6*a - l = 0. Solve 3*n - 3*v = a*n + 13, -4*n = -v - 8 for n.
1
Let o be 2/1 - 4/(5 - 3). Solve -4*q + 2*h + 2 = 0, o = 4*h - 3 - 17 for q.
3
Let o(p) be the third derivative of -p**4/24 + 7*p**3/6 - p**2. Let k be o(5). Let v be (15/(-9))/(1/(-3)). Solve v*a - w = -9, -2*a = k*a - w + 8 for a.
-1
Let g(b) = 3*b - 1 + 2*b + b - b**2. Let p be g(5). Suppose 2*v + 10 = p*v. Solve 0 = -3*d + 5*n + 4, -n + 6*n - 20 = -v*d for d.
3
Let m be (-9 + (-2)/2)/((-1)/3). Solve 4*o - 5*c + 5 = 0, -2*o - 10 + m = 2*c for o.
5
Let n = 0 - -3. Suppose -4*m - 7 = -r - 0*r, 0 = -4*m + n*r - 13. Let z = 1 + m. Solve 0*j - 5*j - 10 = 5*w, -w - 2*j - 4 = z for w.
0
Suppose -8 = -2*k - 4*f + 22, 3*k + 3*f - 36 = 0. Solve -4*n = 4, -n + k = 5*w - 5*n for w.
1
Let h = 10 + -5. Suppose -22 = -h*q + 3. Let z = q - 5. Solve -2*l = z, -l = -u - u + 2 for u.
1
Let s(n) = -2*n - 13*n**2 + 2 + 11*n**2 - 1 - 3. Let b be s(-2). Let t = b - -21. Solve 9*h - 4*h + t = 3*l, 3*h + 9 = -5*l for h.
-3
Let h be 24/8 + (2 - -1). Let k = 0 + 2. Suppose 2*q + k = h. Solve 4*x - n = 1, q*x + n + 1 = -x for x.
0
Let f(h) = h**3 + 4*h**2 + 2*h - 1. Let m be f(-2). Let u be (-3)/(6/3 - m). Solve -3*d + 2*y = 4, 2*d + y = u*y - 4 for d.
0
Suppose -6*d + 7*d - 5 = 0. Suppose -d - 17 = -m. Solve 5*n = 2*h - m, -4*n - 13 = 2*h + h for h.
1
Let m be (-2)/(0 + -1 - -2). Let s be ((-1)/m)/((-3)/30). Let w be (-24)/s - 1/(-5). Solve -i - w = -d, 0 = 5*d - 4*i + 2*i - 25 for d.
5
Let i be 3 + ((-4)/18 - (-20)/90). Solve i*p + 7 = -p + 3*b, 0 = -3*p + b - 9 for p.
-4
Let u be 1*8/(-18)*369/(-82). Solve -u*r - 2*o + 6 = 0, -2*r + 4*r + 5*o - 6 = 0 for r.
3
Let f be 1/(-2) + (-38)/(-4). Let m = f - 4. Suppose -4*k + n = -18, -4 = -m*k + n + 18. Solve -4*z = k*w + z - 4, -w + 8 = 3*z for w.
-4
Let u be (-3)/(-2) + 6/4. Let r be u/((-1)/((-8)/6)). Solve r*y - 7*z + 2*z = -19, 3*z = 9 for y.
-1
Suppose r - 11 = 9*v - 5*v, 5*r + 2 = v. Let b be 8/(3 - r/(-1)). Solve 2*f - 4*k = -1 - 1, 2*k = -4*f - b for f.
-1
Suppose 145*d + 45 = 150*d. Solve -5*y = 5*n - 45, 30 = 4*y + n + d for y.
4
Let l(z) = -3*z + 0*z - 1 - z. Let n be l(-1). Let x = 101 + -67. Solve -v + n*t + 20 = 0, 4*t + x = 4*v - 6 for v.
5
Suppose -3*d + 12 = 2*h, 4*h = -0*d - d + 14. Solve d*c - 2 = 2*y, 2*y = -2*y + 2*c + 2 for y.
2
Let o(i) = -i**2 - 7*i - 7. Let j be o(-6). Let r = 0 - j. Let c be (5/1)/(-5 + 6). Solve c*m - 5*x = 25, -r = -4*m - 3*x + 12 for m.
4
Suppose -6*a + 4*a + 30 = 2*y, -18 = -2*a + 2*y. Solve -31 + 6 = -5*g + 5*n, 4*n = -4*g - a for g.
1
Suppose -16*c = -11*c - 30. Solve 0 = -2*l - c, 12 = 2*z - l + 1 for z.
4
Let k(d) be the first derivative of -3*d - 3 + 5*d**2 + 4*d**2 - 5*d**2. Let g be k(2). Solve 16 = -v - 4*n, 0 = 4*v - 0*n - n + g for v.
-4
Let g be 0/((-1)/(-1 + 12/8)). Solve -4 = 2*k, z + g = k + 1 for z.
-1
Let a(t) = t - 4. Let i be a(8). Let v be (8/(-6))/i*-45. Solve -n + v = 5*h, 2*h - 2 = 2*n + 4 for n.
0
Let l = 2 + 1. Suppose -5*i = 3*x - 9 + 1, 2*i = 4*x - 2. Solve 4*q - 5*h - 13 = 0, 0 + x = -q - l*h for q.
2
Let q(l) = -l**2 + 16*l - 37. Let o be q(5). Solve -k + j + 3 = -4, o = 4*k + j for k.
5
Let u = 4 - 0. Suppose 0 = -u*m + 4*b, 0 = -m + 2*m - 4*b + 6. Solve -5*z - 2*s + 22 = -3*s, 3*z + m*s = 8 for z.
4
Let o be (22/10)/(4/20). Let r = o - 7. Suppose -g - 58 - 22 = -5*k, -2*g + 95 = 5*k. Solve 0 = -2*x - 5*m + k, -2*x + 23 = -r*x + 3*m for x.
-4
Let p(j) = j**2 + j - 3. Let w be p(-3). Let y be (10/25)/(1/(-20)). Let d be 34/4*y/(-4). Solve 3*t = 5*m - w + d, -2*t = m + 8 for m.
-4
Let x = 4 - 1. Suppose x*a = 7 + 5, -11 = -5*p + a. Let f be 1 + 2/4*(7 - 1). Solve f = -g - 2*h, -3*h - h - 8 = -p*g for g.
0
Let f(q) = -6*q - 54. Let r be f(-9). Solve -2*m = 4*u - 0*m + 8, r = 5*u + 3*m + 8 for u.
-4
Suppose -23 = -5*s + 2. Suppose 24 = s*t - 21. Let q be (-6)/t - 14/(-3). Solve b + 4 = -4*o, -b - q*o - 4 = 2*b for b.
0
Let z(t) = -t**3 - 22*t**2 - 19*t + 57. Let h be z(-21). Suppose -4*k + 2*x = -20, -3*k - 3*x = -1 + 4. Solve -3*j + 0*j + 15 = -4*n, 0 = -k*n - 3*j + h for n.
0
Let y = -35 + 30. Let x be (10/(-4))/(2/(-4)). Let q = y + x. Solve 3*m - 10 = -2*p, -3*p = -q*p + m - 1 for p.
-1
Let r = 48 - 13. Suppose -2*g - 2 + r = -5*w, -5*g = -4*w - 40. Solve -4*f + 4 = -2*u, g*u = -f + 5*u for f.
2
Suppose 0 = -2*q + 3 + 5. Suppose -2 = 2*o + 6*z - 2*z, -4*o + 2*z + 36 = 0. Solve 4*t + q = 0, o*t = 3*n + 5*t - 17 for n.
5
Let k be 0*(-4 - (-65)/15). Solve 0 = 3*a - 0*z + z - 10, k = a + 5*z - 8 for a.
3
Suppose 0*x = 2*x. Suppose -5*h = -w - x*w + 20, w - 8 = h. Solve -v - 4*v = w*t + 5, -4*v - 3*t - 1 = 0 for v.
2
Suppose -2*l = 2*l - 92. Let x(n) = 2*n + 6. Let z be x(7). Let d = -5 + 8. Solve -5*k - l = -d*q + 2, -4*k = 5*q + z for q.
0
Let x be (4 - 6)*(0 + -2) - -17. Solve 4*w + 5 + 3 = o, 5*o = w + x for o.
4
Let w = -29 + 49. Suppose l - 3*l - 6 = 0. Let d = l + 7. Solve -3*b + w = -d*a, -b + 2*a = -0*a - 8 for b.
4
Suppose -3*q + 7 = z, z - 4*q + 0*q = 14. Let s = z + -5. Solve s*t + r - 29 = 0, 2*t = -t - r + 19 for t.
5
Let v be (-3 - (2 + -4)) + -1. Let t = 3 + v. Solve 4*b + 4*u - 3 = t, -7 = 2*b + 5*u for b.
4
Let y be 6/15*10 - -1. Solve 3*z - y*f + f = 0, -z + f = 0 for z.
0
Let f = -162 - -166. Solve -2*k = f*l, -5*l = -2*k + 1 + 17 for l.
-2
Let i(k) = 4*k. Let c = -2 - -3. Let l be i(c). Solve -t + h = -4, 3*t + 2*t = l*h + 18 for t.
2
Let h be (42/(-4 - -7))/1. Solve 0 = 4*s - i - h, -3 + 1 = i for s.
3
Suppose -5 - 9 = -7*l. Solve l*g + 6 = -k + 6*g, 3*k = 3*g for k.
2
Suppose 3*l - 9 + 0 = 0. Suppose -2*b + 4 = -4. Solve -3*k + 2*m = -2, -3*k - b - 14 = l*m for k.
-2
Suppose 26 = -2*r + 3*r. Let x be r/7 + 4/14. Let f(w) = -w**2 + 6*w - 4. Let s be f(x). Solve s*t = 5*d - 7, -2*d - t - 5 = -0*d for d.
-1
Suppose -z = -5*l + 7, -4*z + 15 = z. Let u be (14 + (l - 2))*1. Suppose 0 = -3*g + u - 5. Solve 2*n - 5*y + 1 = 0, -2*n - g*n = -y - 9 for n.
2
Let s be 10/6 - 2/(-6). Suppose 14 = -0*j - s*j. Let v(c) = -c - 3. Let g be v(j). Solve 2*m = 0, 0 = 2*i - 6*i + g*m - 16 for i.
-4
Suppose -m - 2*m = -3, -q + 3*m = 0. Suppose -q*w = -7 + 1. Solve 2*l - 12 = -5*i, 4*l + i - w*i = -20 for l.
-4
Suppose 3*r = -4*g - 0*g - 6, -2*r = 5*g + 11. Let c be (2 + -2)/((-6)/g). Solve -3*l - 3*f + f = c, 2*f = -l - 4 for l.
2
Let p be 15/2*30/25. Suppose -3*y - l = -p, -5*y + 4*l + 35 = -l. Let z be (0 - -1)/(y/12). Solve -z*t + 3*b - 5 = b, 13 = 5*t + 2*b for t.
1
Suppose 11*x + 4 = 13*x. Solve -x*a + 6 = -3*b, -b = -5*a + 3*b + 8 for a.
0
Let u(h) = -4*h**3 - h**2 + h + 1. Let d be u(-1). Solve d*o - 5*c + 3 = 0, -4*c + c = 0 for o.
-1
Let j = 15 + -13. Suppose c + 0*c = 0. Solve c = -u + t - j, u = -u - 4*t - 10 for u.
-3
Suppose 3*a - 2*w + 8 = 0, 5*a - 2 = -5*w + 18. Solve 2*u = u + k + 3, -5*u + k + 7 = a for u.
1
Let p(n) = n**2 - 8*n + 8. Let b be p(6). Let f be (-111)/(-21) - b/(-14). Solve -2*x = f*v - x + 9, 3*v + 11 = 5*x for v.
-2
Suppose 3*h - 11 - 13 = 0. Suppose -5*x = -d + h, -3*d + 11*x = 6*x - 