y + l*s - t = 15 for y.
5
Let m be 2/(-11) - (-816)/132. Solve 1 = -2*l - 5*a, -3*a = -l - 1 + m for l.
2
Let n(k) = 3*k**2 + 8*k**2 + 2*k - k**3 + k**2 + 4. Let d be n(12). Solve 3*r - 4*q = d, 3*r + 4*q + 4 = -0 for r.
4
Let c be ((-24)/36)/(2/(-6)). Solve -2*i = 5*z + 2 + 21, c*i = -2*z - 14 for i.
-4
Suppose 4*r + 2*d - 24 = 7*d, -4*r - d + 48 = 0. Let k(b) = b**2 - 10*b + 5. Let l be k(r). Solve -j - 5*y = 2*j, 2*j - 2*y = -l for j.
-5
Let s be (-10)/(-2) - (9 - 10). Solve 2*d + 5 = -b + s, -3*b = -2*d + 21 for d.
3
Let j(x) = x + 2. Let y be j(1). Solve 5*l - 6 = -2*z + 9, y*l = 3*z + 9 for l.
3
Let h = 16 - 13. Solve 5*x - 5 - 1 = -n, 4*x = -h*n - 4 for n.
-4
Suppose 3 = 5*n - 3*q, -2*n + 3*q - 21 = -5*n. Solve -5*o = 5*t + 2 + 18, -14 = n*t + 4*o for t.
-2
Let m(q) = -q**3 + 4*q**2 + 2. Let h be m(4). Solve 4*c - h*y = 16, -3*c - y + 2 = -0*c for c.
2
Let l(x) = x**3 + 2*x**2 + 2*x - 1. Let u be l(-3). Let c = u + 26. Solve -m = -2*p - 3*p - 5, -5*p - 2*m + c = 0 for p.
0
Suppose -t + 4*h + 10 = 0, 3*h - 14 = -2*t + 28. Suppose 0 = -6*j + 8*j - 6. Solve 3*k - 8*k = -4*n + t, j*k + 8 = n for n.
2
Suppose 4*q + 0*z = -4*z + 20, 0 = 5*q + 3*z - 25. Let p = -59 - -60. Suppose b - p = 0, y + y - q = -b. Solve -5*r = -0*r + d, -y*d + 10 = 0 for r.
-1
Let f(n) = -n + 1. Let v be f(-3). Let y be (14/v)/(5/10). Solve x + 0*j = 3*j + y, -4*x - 4*j = 4 for x.
1
Let h be (-16)/(-6)*(-165)/44. Let f = h - -12. Solve f*w - p = 11, 3*w + 0*p - 5*p = 27 for w.
4
Let k = 3 + -1. Solve 2 = -2*h, -4*h = k*t + t + 16 for t.
-4
Let j be (46*-1)/(2 + -4). Solve -3*n - 2*t = 2*t + 3, 0 = -4*n + t - j for n.
-5
Let h = -3 - -8. Let j = 11 - 7. Suppose -4*g + 48 = g + j*b, -18 = -3*g + 3*b. Solve -4*r + 2*v = 5*v + 24, h*v + g = 4*r for r.
-3
Let z = -4 + 10. Solve r = -4*x - r, 2*r + z = -x for x.
2
Let d be ((-2)/(-5))/(2/10). Suppose 0*q - 31 = -d*q - 5*y, 33 = 3*q + 3*y. Solve -4*j = m + 17, -3*j + 4*m = j - q for j.
-3
Suppose 0 = 4*c - 7*c - 36. Suppose -25 - 67 = 4*j. Let b = c - j. Solve h = -2*h - 4*r + b, -7 = -2*h - 3*r for h.
5
Let l(q) be the first derivative of -q**3/3 + 4*q**2 + 10*q - 1. Let r be l(7). Let x = 54 + -37. Solve -x = -v - 5*i + 10, 5*i - r = 4*v for v.
2
Let w(n) = 2*n**2 - 8*n + 2. Let u be w(4). Solve 15 = 3*h, u*l - 3 = -0*l + h for l.
4
Suppose -16 = -p + 9. Suppose 5*a + 50 + p = 5*o, 4*a + 12 = 0. Solve 0*d + o = 5*d - 2*r, -d - 1 = 3*r for d.
2
Let q be 6/21 - (-52)/14. Suppose 3*r = q*s - 32, 5*s + 4*r - 16 = 3*s. Solve -4*b + s = -4*f, 11 = -3*b + 5 for f.
-4
Let t(q) = 6*q. Let l(f) = -f + 1. Let n(h) = 5*l(h) + t(h). Let z be n(-5). Solve 5*v - 3*y - 4 = 0, z = -v - 2*y + y - 4 for v.
-1
Let d(w) = 15 + 4*w - 3*w + w - w. Let t be d(-10). Solve -t*n + 10 = -5*f, 6 = 4*n - n + 2*f for n.
2
Let b(x) = -x**2 - 18*x - 76. Let z be b(-10). Solve -4*s - 3*c = -7*s - 24, z*s + 3*c - 3 = 0 for s.
-3
Let r = -17 + 46. Let h = -26 + r. Solve -5*x = -x - h*m - 4, 0 = -3*m - 12 for x.
-2
Let k(t) = -t + 10. Let o be k(8). Suppose -l + 10 = o. Suppose -4*j - h = -l - 39, 3*j = -3*h + 33. Solve -j = 3*u, 0 = -5*r + 4*u - 2*u + 13 for r.
1
Let t(a) = 2*a - 9. Let z be t(6). Solve -z*x = -15, 4*x - 35 = 5*q - x for q.
-2
Let b(s) = -s**3 - 3*s**2 + 2*s + 10. Let g be b(-3). Solve 2*t + 0 = -2*h - 2, -2*h + g*t = 26 for h.
-5
Let q(v) = v**3 + 6*v**2 + 2*v - 2. Let x be q(-2). Suppose 5*u = r + 3, 2*u + 2*u = 3*r - 2. Suppose r*w = w. Solve 8 + 1 = b + 2*y, 5*b - y + x = w for b.
-1
Suppose -s + 3 = 1. Let u(f) = 9 + 6*f - 3*f**3 - 4*f**s + 2*f**3 - 2. Let q be u(-5). Solve -17 = -4*p + 3*p - 4*r, 0 = -5*p + q*r + 19 for p.
5
Let y be 14/(-6) + (-2)/3. Let o be 2 + y*(-2 + 1). Let u be ((-4)/(-1))/((-3)/(-9)). Solve v + a + 1 = 0, -5*v + o*a - 57 + u = 0 for v.
-5
Let n(w) = 11*w**2 - w. Let m be n(-1). Let t = -5 + m. Solve -2*x - 23 - t = 5*c, 2*c - 17 = 5*x for c.
-4
Let o = 2 - 0. Suppose 2*f - 5*h = 1 + 5, o*h + 12 = 4*f. Solve -3*i + 3 + 0 = -4*z, -3*z - 6 = -f*i for z.
3
Let o = -28 - -29. Suppose -2*r + 3 - o = 0. Solve 4*d + 13 = -5*t, -4*t - 2*d - r = 7 for t.
-1
Let x be 1/(-5) - (-1 + 42/(-10)). Solve v + v = 3*p - 4, 10 = -p - x*v for p.
0
Suppose 2*d + 1 - 5 = 0. Suppose w = 5*c + d, -w + 2*w + 5*c - 2 = 0. Suppose 0 = -5*v + 4 + 26. Solve 3*t + 5*r = -v, w*t + 2*r + r + 4 = 0 for t.
-2
Let o(c) = 9*c - 51. Let a be o(6). Solve 2*u = 5*z, -4*z = 2*u - a*u - 3 for u.
5
Let g = -75 + 75. Solve 0 = 2*x, -4*x = -3*c - g*c - 3 for c.
-1
Let u = 9 + -5. Let d be (-27)/(-6)*2/1. Let n(r) = r**3 - 10*r**2 + 9*r. Let t be n(d). Solve t*v - b + 10 = 2*v, u*v = 5*b + 6 for v.
4
Let r(b) = -b**3 - 2*b**2 + b. Let p be r(-2). Let z be (-1 - -5) + p + 1. Solve -2*g + 4 = 4*v - 8, -z*g = 5*v - 14 for v.
4
Let q be 0 + (-7)/1*1. Let x = q + 5. Let u = 3 - x. Solve 5*s + 2*a = 35, 5*s - 21 = -u*a + 29 for s.
5
Let n(c) = c + 14. Let a be n(-5). Suppose -69 - 135 = -4*f. Let b be 2/(-3) + f/a. Solve b*i - 4*r - 3 = 0, r + 0 + 6 = 3*i for i.
3
Suppose -401*u - 6 = -402*u. Let i(r) = 3*r. Suppose -y + 1 = 7*b - 2*b, 0 = -3*y + b + 3. Let t be i(y). Solve 5*g + 0*m - 12 = -t*m, 3*m = g - u for g.
3
Let s = -16 - -26. Let d(i) = i - 7. Let o be d(s). Solve -o*b = -2*x - 13, 3*x - 7*x = 4*b - 24 for b.
5
Suppose -3*p + 4*p - 12 = b, 0 = -3*b - 9. Suppose d + 3*n + n - 13 = 0, 5*d + 4*n - 33 = 0. Let c = p - d. Solve -5 = -t - g, 4*t - c*g - g = 2 for t.
3
Let s(k) = k + 2. Let i be s(11). Let h be (8/4)/(2/i). Solve q = -3*c + 11, -q + h = 2*c + 4 for q.
5
Let u be (-36)/(-3)*(-2)/(-6). Suppose c = -u*c + 10. Let m be -2 - (-12)/(-1 - -4). Solve s + 8 = c*r, r = -m*r + 2*s + 12 for r.
4
Suppose 0 = 5*r - 4*z - 22, z - 2 = r - 7. Solve g + r*g + 10 = l, 20 = -4*l for g.
-5
Let g be 20/35 - (-48)/14. Solve 2*f = -a, 24 = 2*a + 2*a - g*f for a.
4
Let q be (-8)/(-3)*15/10. Suppose q*x = 2*x + g - 7, 3*x = -2*g + 7. Let f(y) = -9*y**3 + y + 1. Let c be f(x). Solve 4*o - 2*a - 4 = -16, 5*o + c = 4*a for o.
-5
Let f be -2 + -2 + (-1 - -1). Let o = f - -16. Suppose -3*j = j - o. Solve -4*k + 4 = a, -5*k + j*k + 5*a + 2 = 0 for k.
1
Let v be 15/90 - 22/(-12). Solve -4*g = 4*j, g = -v*j - 4 + 3 for g.
1
Let g = 4 + -2. Suppose -g*j + 2 = -2. Let c = 5 - -1. Solve 19 = -5*f + i, -j*i + 20 = -c*f + 2*f for f.
-3
Suppose -3*m + 18 = -0. Solve m = 2*q - 4*q - 4*z, q - 3*z = 17 for q.
5
Let z be 9 + -6 + -1*1. Suppose 28 + z = 5*s. Let o be 34/8 + (-2)/8. Solve t - d = 2 - s, -o*t - d = -4 for t.
0
Let r(t) be the second derivative of -t**3/6 - 5*t**2/2 + 2*t. Let f be r(-7). Solve -3*o - l = f, -3*o = 5*l - 0 - 14 for o.
-2
Let d be (-14)/(-8) + 5/20. Solve 5*r - 2*l = -4, r - d*l + 11 = -5*l for r.
-2
Let o = 41 - 17. Let k = o + -16. Suppose -3*h + 3*s - s = -11, 0 = 4*h + 4*s - k. Solve h*b = -5*t + 10, 7 = -b + 4*t - 1 for b.
0
Let y be 2*-2*15/(-12). Suppose 0 = 3*b - 2*b - y. Suppose c - 5 = b. Solve -5*n - c = 2*r, 4 = 4*n + 4*r - 0 for n.
-4
Suppose 6*x = 2*x. Suppose 2*w - 3*d - d - 24 = x, -24 = -2*w - d. Solve 0 = -3*q + 3*u + w, 0 = 2*q - 5*u - 0 - 11 for q.
3
Let z(s) = s**3 - 12. Let n be z(0). Let x = -9 - n. Suppose 0 = -5*a - x*r, 5*r + 31 = a + 3. Solve -2*q + 9 = -a*j, 0*q + 16 = 3*q - 5*j for q.
-3
Let l = 1 - 0. Let h be 3/((-1)/l + 2). Solve 0*q = h*q + n - 13, 3*q + 3*n = 9 for q.
5
Let k be -2*1*(-4)/((-4)/(-2)). Solve -4*f - k*w - 16 = 0, 3*f + w + 5 = 5*w for f.
-3
Let w be -4 - (-2 + 6)/(-1). Solve -t + 5*t + 4 = 0, w = -2*p + 3*t + 3 for p.
0
Let z = -4 - -1. Let f = 2 - z. Let r = f - 5. Solve -5*c = 5*y - 5 - 10, r = -5*y for c.
3
Let c = -153 + 173. Solve 5*y = -b + c, 3*b = -2*b for y.
4
Let b = 4 + 1. Suppose 13 - 93 = -b*a. Suppose -2*m = -2*k + 2, -3*k + 13 = k - m. Solve 4*l - 3*h = -5*h - 16, a = -k*h for l.
-2
Suppose -2*d - 3*d = -10. Suppose -2*i - s = -9, d*i + i = 4*s - 14. Let b = i + 1. Solve -2*z = 3*p - 13, 6*p - 3*p - 18 = -b*z for p.
1
Let z be (-1)/((-4)/(-16)) + 20. Solve 5*t = t + 2*s - z, 3*t + 12 = 4*s for t.
-4
Suppose -3*v - 17 = -4*w, 2 = 4*w + v + v. Let t be 3 - w - (1 - -1). Let h = 8 - t. Solve -5*u = 3*l - 6, 0 = -2*l - 2*l - u - h for l.
-3
Suppose 4*k - 9 = 23. Let b be (-16)/(-6) + k/(-12). Suppose 0 = -5*q + 50 - 15. Solve -3*x - 11 = 4*d, 3 - q = b*d for x.
-1
Let u(v) = -11*v - 73. Let n 