+ 16 = u, 0 = -l + k*l + 5*u + 30 for l.
-5
Let i be 1/(2/66*3). Suppose 5*m + 1 = i. Solve 0 = -m*v - 2*k - 7 - 5, 3*v - 4*k + 11 = 0 for v.
-5
Let l be 1*-1 - (-41 - -10). Suppose -4*h - 2 = 4*f - l, 0 = -5*f + 2*h. Suppose -5*n + 72 = 22. Solve -7*r + n = -2*r - 2*c, -f*r - 7 = -3*c for r.
4
Let m = -13 + 27. Solve -w + 8 = -2*j - 3*w, 2*w = 4*j - m for j.
1
Suppose 0 = -3*r + 5*b - 4*b - 4, -4*b - 26 = 2*r. Let o be 6*(r - (-14)/4). Solve 2*d - 4*m - 14 = 3*d, -d + o*m + 7 = 0 for d.
-2
Let r be (1 - 0)*(0 - 1). Let s be r/5 + (-795)/25. Let o = 52 + s. Solve 0 = -5*f + o, i + 4 = 2*i + 2*f for i.
-4
Suppose 3*d = 9 + 3. Let c be -1 - (-5)/(5/6). Solve -d*b - 30 = -2*g, -g + 0 = -c*b - 30 for g.
5
Suppose -2*m - 2*o = 2*m - 6, 0 = -4*o + 4. Let p be m + 5 - (8 - 7). Suppose 0*q - 9 = -q. Solve -k = -3*h + q, p = -3*k - h - h for k.
-3
Let x be ((-18)/4)/1*-2. Let g = -63 + 66. Solve 0 = 3*r - x, r - 10 = -4*k + g*r for k.
4
Suppose -r = -a - 3*a - 1, -r - 4*a = -9. Let y = -1 + r. Solve c + 2*h = 0, -6*c + 4*c = -y*h for c.
0
Let j(t) = t**2 - 7*t + 3. Let g be j(8). Solve -3*h - 3*i = -9, 2*h - 4*i + g = -13 for h.
-2
Let u(b) = 4*b**3 + b**2 - b + 1. Let v be u(1). Let k = v - 1. Suppose 2*h = 3*h - k. Solve -4*y = -h*x + 24, y - 5*x + 14 = -4 for y.
-3
Suppose 2*u - 20 = -14. Solve f - 13 = -u*g, 0*g - g = 2*f - 11 for f.
4
Let z = 21 - 18. Let s = -11 + 20. Solve 1 = -2*j + p, -z*j + 3*p = -p + s for j.
1
Suppose -4*v + 25 = v. Solve 13 + 17 = 3*w + 3*k, -4*k - v = -5*w for w.
5
Suppose p + 15 = -3*m + 2*p, 2*p + 10 = -2*m. Let n be ((-10)/8)/(m/20). Solve 2*i = -n*d + 7*i + 20, 11 = 3*d - 4*i for d.
5
Suppose 4*j = -4*n, 5*n + 32 = 5*j - 2*j. Solve k + 8 = -j*b, -2*b - 5*k - 23 = b for b.
-1
Let b(l) = l**3 + 4*l**2 - 6*l - 2. Let u be b(-5). Suppose 0 = -3*r - 4*i - 3, 5*r + 4*i + 1 = 4. Let q = u - r. Solve 4*v + 3*h = 14, -h + q - 2 = 0 for v.
5
Let b = 50 + -38. Solve 5*p + b = -4*f, -p + 0*f = -4*f - 12 for p.
0
Suppose -4*k = -5*b + 7, 2*k - 5*b - 7 + 18 = 0. Solve y + 1 = 2*g + k, -3*g - 4*y = -4 for g.
0
Suppose 5*k + 18 = p - 2*p, -5*p = -4*k - 26. Solve 2*n = -2*h - p*n - 10, -4 = -4*h - 2*n for h.
3
Suppose -4*u + 12 = -f, 0 = -3*u + 2*f - 6*f - 10. Solve -3*j - 15 - 13 = -5*s, 12 = -u*j + 2*s for j.
-1
Let a be (-12)/8 - -2 - (-10)/4. Solve 5*c = j + 25, -c = -a*c + 3*j + 10 for c.
5
Suppose 0*o = 5*v - 5*o - 30, -4*o - 3 = 3*v. Solve -v*q = -s - 10, -q = -0*q - s for q.
5
Suppose 0 = m + m - 6. Suppose -m*b - 2 = -32. Solve -4*p - 2*r - 22 = 0, -3*r = -2*p + b - 1 for p.
-3
Let w(r) = -r**3 + 4*r**2 - 4*r. Let g be w(2). Let c(h) = -2*h**3 - 4*h**2 - 3*h - 2. Let l be c(-2). Solve g = f - l*x + 15 - 0, -2*f - 3*x = -25 for f.
5
Let w(l) = l - 1. Let a be w(11). Let y = -6 + a. Let v be (-75)/(-10)*y/5. Solve 2*z - 5*z = -n - 4, -5*z + v = -n for z.
1
Let j(n) = n**2 + 5*n - 14. Let t be j(4). Solve 2*h - t = p + 2*p, -p - 2*h + 6 = 0 for p.
-4
Let h(a) = -10*a + 12. Let r(d) = -3*d + 4. Let k = 9 - 2. Let l(s) = k*r(s) - 2*h(s). Let q be l(-6). Solve -4*z + 2*z - 2*m - q = 0, 0 = z + 3*m + 9 for z.
-3
Let z be 1 + -2 - (-20)/4. Suppose -47 = -4*y - 5*i, -z*y + i = -0*y - 53. Solve -2*k - 2*k - 5*r = y, r + 20 = 5*k for k.
3
Let w = -21 - -36. Solve -5*a - c + 1 = 4, 5*c = -a - w for a.
0
Let h = -8 - -12. Solve -3*s = s + 4*x - h, 11 = s + 3*x for s.
-4
Let z(y) = -8*y**3 + y**2. Let w be z(-1). Let j = w + -9. Solve -18 = -2*d - 2*r, -2*d + j*r = 4*r - 26 for d.
5
Suppose -3*n = -2*n - 72. Let k = 57 + -30. Solve -y - 1 = -f, 0 = -5*y - 5*f + k - n for y.
-5
Let r = 13 + -11. Solve -i - 3*i + 4*z - 12 = 0, -r*z = 3*i + 4 for i.
-2
Let b = -15 + 27. Suppose -l - q - 12 = -43, 125 = 3*l - 5*q. Solve -4*g - w - 13 = -l, -2*g + b = w for g.
5
Let k be (10/4 - 0)*4. Solve -3*n = -3*c - 5 - k, 0 = -3*n for c.
-5
Suppose -t = -3*q + 11, -2*t - 5*q + 13 = -4*q. Suppose -s - 2*f - 3*f - 5 = 0, 12 = 4*s + t*f. Solve 4 = -2*g - 0*j + j, -s*g = -j + 4 for g.
0
Suppose -3*n + 6*n = -5*w - 59, -5*w = -n + 47. Let o = 22 + w. Suppose -9*q + 5*q = -88. Solve -5*v = r + q, -v - 4*r - o = -0*r for v.
-4
Suppose 5*f - 3 = -m - 0, 3*m - f = 9. Solve 3*w = -4*h - w - 4, 4*h + m*w + 1 = 0 for h.
2
Suppose 2*d = d. Suppose d*v + 5*v - 5*m = -5, v + 2*m - 2 = 0. Solve v = 3*w - n - 15, -2*n - 21 - 1 = -4*w for w.
4
Let t = 113 - 89. Solve -4*y + 17 = k, 3*y - t = -3*k - 0*k for k.
5
Let d(u) = 2*u - u**2 + 0*u**2 + 0*u**2 - 3*u. Let g be d(0). Suppose g = -h + 3*h - 32. Solve 2*o - h = -3*o - 2*f, 4*o - 4*f + 4 = 0 for o.
2
Let s = 6 + -3. Let m(h) be the first derivative of -5*h**4/4 + h**2/2 + h + 2. Let l be m(-1). Solve -18 = i + 2*i - 2*a, l*i + 11 = -s*a for i.
-4
Let g = -1 + 1. Suppose -4 = -4*n - 4*c, -4*c = 5*n - 0 - 2. Let v = -1 - n. Solve 4*z = -3*a + v, -4*z - a + 2*a + 21 = g for z.
4
Let r = -318 - -329. Let q(y) be the third derivative of y**5/12 + y**4/12 + y**3/6 + y**2. Let b be q(-1). Solve l + b*l = 15, 2*j = -5*l + r for j.
-2
Let u = -1 + 2. Let o(c) = c**2 + 9*c + 10. Let l be o(-8). Let s be -1*(3 + -3 - 0). Solve s = -h + l*w - 0*w + u, 5*h + 2*w = 29 for h.
5
Let c be ((-4)/(-6) + -2)*36/(-16). Let m = 14 + -10. Solve c*s + 12 = 0, g + m*s + 25 = -2*g for g.
-3
Suppose 4*s + 24 = -0*s. Let n = s - -4. Let q = 2 - n. Solve -q*h = -x + 4, 0 = 2*x - 5*x - 12 for h.
-2
Let q(c) = 2*c - 31. Let b be q(18). Solve r - 2*y = -2*r - 5, 4*y + 1 = -b*r for r.
-1
Suppose -10*z + 50 = -0. Solve 4*n - 8 = -3*a, n = z*a - 2 + 4 for a.
0
Let w = -7 + 7. Let h be (w + 6)*(-8)/(-6). Solve 2*y - 2*o - h = 0, 5*y + 7*o - 2*o - 30 = 0 for y.
5
Suppose -6*v = 4*k - 2*v + 4, -5*k + 22 = -4*v. Suppose -2*w = -0*w - k. Solve -4*i = -2*r + 5*r + w, -i = r for i.
-1
Suppose -1 = -5*v + 14. Solve 4*a + 17 = 3*i, 2*a - v = 4*i - 9 for a.
-5
Let a = -10 + 24. Let l(x) = -14*x**3 + x + 1. Let k be l(-1). Let j be ((-8)/a)/((-4)/k). Solve j*r - 4 = 2*v, 24 = v + 5*r + 2 for v.
2
Let d be -8 + 3/(12/(-16)). Let u = d + 13. Solve -5*a = -3*p + 1, a - p = -a - u for a.
-2
Let r(t) = t**2 - 4. Let u be (-1)/((-3)/6) + 3. Let x be r(u). Solve w - c + 11 = 5, -3*w - x = -4*c for w.
-3
Let r be ((-24)/32)/((-3)/16). Solve 3*b = n + r, 7 = -4*n - 0*n + 3*b for n.
-1
Let z be 54/10 + 27/45. Solve c - 12 = 3*d, -3*d = -c - z*d - 18 for c.
-3
Let c(o) = -o - 15. Let z be c(-9). Let g = 6 + z. Solve -5 + 0 = i, -3*s - i - 11 = g for s.
-2
Let b(j) = j**3 + 4*j**2 - j - 2. Let n be b(-4). Suppose -n*q = -4*q + 20. Solve 3*d - 2*c = -q, 3*d + c + 3*c = 20 for d.
0
Let u be 2*2 + (-5 - -5). Let f be 0 + 2 - (-4)/u. Solve 20 = 2*l + w + 4*w, f*w = 5*l + 12 for l.
0
Suppose 67*x - 68*x + 2 = 0. Let n = 7 - 3. Solve 0 = n*c - 3*f + 3, 3*c - x*f + 24 = -7*f for c.
-3
Suppose 5*o - 10 = -3*c, -9 = -5*c + o + 17. Solve 4*n = -3*l - 7, -c*n + 2 = 7 for l.
-1
Let y = 11 + 7. Solve 3 = 2*w + w, -4*u + 2*w + y = 0 for u.
5
Let i be (-25)/10*8/(-10). Solve 3*l + 4*t = -i, -4 = 5*l - 5*t + 11 for l.
-2
Let m be ((-6)/4)/(2/4). Let h = m - -5. Suppose 5 = h*v - 5. Solve v*a + 8 = -4*d, -5*a + 4*d = -a + 28 for a.
-4
Let z(n) be the first derivative of -2*n**2 + 3*n + 4. Let o be z(-5). Suppose o = 5*g - 37. Solve -k + 1 = -4*w - 14, 4*k - g = 4*w for w.
-4
Let l be -3 + 2 - -1 - -3. Let a be 1*-12*l/(-6). Solve -3*u + a = -0*u + 4*b, 5*u + 5*b = 10 for u.
2
Suppose -2*d + 20 = -4*q, 2*d + 4*q + 1 = -3. Solve -2*u - d*o = -18, 2*o = 3*u - 7 + 20 for u.
-1
Let q = 62 + -27. Solve -4*r - 5*c - 32 = 0, c + q = -5*r - 4*c for r.
-3
Let o be 0 - 5/(-3)*3. Solve 3*q - o*p - 21 = 4*q, p = -q - 1 for q.
4
Let y = 18 + -18. Solve -h + 5*x = 3*h + 20, y = -2*h - 3*x - 10 for h.
-5
Suppose z = 2*z - 3. Suppose z*o + 0*o - 33 = 0. Solve -1 + 7 = -2*w, -5*p - 2*w = o for p.
-1
Suppose -6*q + q + 10 = 0. Suppose -6 = -0*y + 3*y. Let d = y - -6. Solve x + 1 = -q*v - d, -v = x + 2 for v.
-3
Let b = -6 + 6. Suppose -4*r = -b*r + 48. Let i be 1/6 + (-154)/r. Solve m + 9 = -2*p, 0 = 3*p - 6*p - m - i for p.
-4
Let k be (-20)/8*(-4)/10. Let m be 8 + 0 + 12/(-4). Solve -m*g + 3*z = 19 - k, z - 4 = g for g.
-3
Let f(h) = h**2 + h - 7. Let j be f(4). Solve 4*v = -3*p - 15, -4*v + j - 3 = -2*p for v.
0
Let p = 32 + -27. Solve g + p*b + 19 = -6, 4*g = 4*b + 20 for g.
0
Suppose 4*w + 0*w = -3*y - 