 x for u.
-1
Let v be 23/(-6) + 2/(-12). Let l = v + 7. Solve -15 = -3*i + l*o, -3*i + 0*i + 15 = -2*o for i.
5
Let h(w) = -3*w**2 - 2 + 1 - w - 3*w**2 - w**3. Let d be h(-6). Suppose -3*r + 7 + d = 0. Solve -r*q = 5*u - 13, -u + 3*u - 7 = -q for u.
5
Let d = 41 - 18. Let c = 27 + -22. Solve 3*j + 4*r = -d, -6*j + j = -c*r + 15 for j.
-5
Suppose -3*d - 10 = p, 3*p + 5*d + 4 + 10 = 0. Solve 2*v - p*h = 6*v + 6, -5*v - 18 = -h for v.
-3
Suppose 2*q + 5 = g, -45 + 11 = -5*g + q. Let f = 17 - g. Solve 22 = 3*k - 5*i, 5*k + 4*i + i = f for k.
4
Let n be (0 + -1)/((-3)/(-21)). Let t(l) = 2*l**2 + 7*l - 1. Let v be t(n). Suppose -3*p - v = -7*p. Solve p = -4*w, -5*i - 17 = -w + 5 for i.
-5
Let y(j) = -2*j**2 - 2*j + 2. Let g be y(-2). Let r(q) = -4*q - 3. Let u be r(g). Let h = 46 + -27. Solve -m - h = u*f, 3*m + 6 = f + f for m.
-4
Let h = 8 + -5. Suppose 35*r - 41*r = -66. Solve -2*q + 3*q + 3*i = r, -h*q - 37 = -5*i for q.
-4
Let k = -7 - -7. Let j = k - 0. Suppose -2 = -2*b - j*b. Solve -2*l + 3 = -5*u, 3*l - 7*u - b = -3*u for l.
-1
Suppose 126 = 6*t + t. Solve 3*m - 2*u = -t + 6, -5*m = 4*u + 20 for m.
-4
Let p = -127 - -131. Solve 4*m + 1 = u + p, 4*u = -4*m + 8 for u.
1
Suppose -4*h + 15 = -4*k - 17, 4*h - 17 = -k. Solve 3*v + h*c - 7 = 0, -5*v - 2*c + 18 = -0*c for v.
4
Suppose -24 = -2*w - 4*t, 2*t = -4*w + 6*w. Solve 1 = -3*d + a, 4*d + 0*d + w = 2*a for d.
1
Let k(t) = 7*t - 2. Let n be k(5). Suppose -2*h + n = -7. Solve -s = -5*v - h, -3*v = 5*s + 3 + 9 for s.
0
Let l = -23 + 27. Solve -4*r = r + 2*k - 13, 0 = l*r - k - 13 for r.
3
Suppose c - 2*r = -5*r + 1, c + r - 3 = 0. Suppose -f = b + 4*f - c, 2*b - 5*f = 8. Solve -2*s + 0*s + 4*q - 8 = 0, -q - b = s for s.
-4
Suppose -4*w = 2*c + w + 11, -2*c = -w - 7. Solve -j - 1 = -3*b, b + 1 = c*b for j.
2
Suppose 8 = -4*l - 0*l, 5*t - 5*l = 10. Suppose t*z = 2*z. Let j = 5 + z. Solve -s + 5*c + 23 = -j*s, 2*c = -4*s - 14 for s.
-2
Let p be (-30)/(-6)*(-4)/(-5). Solve 2 = -5*o - 2*k, -p*k - 1 - 3 = o for o.
0
Let x(b) = -b**3 + 3*b + 2. Let n be x(-2). Let s(j) = -j**3 + 19*j**2 - 18*j + 6. Let o be s(18). Solve n*g - 2*d = 12, 15 = 5*g - 3*d + o*d for g.
3
Let j be 20/10 - (-1)/1. Let k be 7 - (0 + j + -1). Solve -y + s - 2 + 5 = 0, k*y = -2*s + 8 for y.
2
Suppose -2*i + z + 27 = 2*z, i + z - 12 = 0. Solve 0 = -0*y + y + c + 3, -5*c - i = 4*y for y.
0
Let g = 122 - 120. Solve -4*a + 27 = 3*y, 9 + 7 = g*y + 2*a for y.
5
Let w(l) = l**3 + 3*l**2 - 4*l. Let h be w(-4). Suppose 3*v - 16 = -5*v. Solve 0 = 4*i - h*o - v*o + 6, -i + o = 0 for i.
-3
Let u(s) = -3*s + 2. Let a be u(-2). Let q(b) = 3*b - 4. Let g be q(a). Suppose 4*z = -z + g. Solve -3 = j, z*n + n + 5*j = 0 for n.
3
Suppose -u + 8 = 5. Suppose 2 = l - 1. Suppose -17 + 1 = -4*h. Solve -l*j - 25 = -h*n - 4, u = -j for n.
3
Let k be (-1)/(-2) + (-21)/(-6). Suppose 5*m = 5*y - 10, 1 + 1 = -2*y + k*m. Suppose -11 = -y*z - 1. Solve 4*x = -12, -z*q + 7*q - 2*x = 21 for q.
3
Suppose 0*v = 3*v - 15. Suppose -2*w - v*r = -11, 5*w + 13 = -4*r + 66. Solve -y + 1 = p + 8, -4*p = -y + w for y.
-3
Let f = 3 + -1. Suppose f*u - 33 = -u. Solve -2*l = -4*o + u - 1, -4*l - 5*o = 7 for l.
-3
Let n = 105 - 100. Solve f = -2*k + n, k + 3 - 4 = 0 for f.
3
Let g = -35 + 51. Solve 0 = 3*i - 15, h - g = -3*i - 6 for h.
-5
Let f be 0 + 0/(-2) - -6. Suppose 4*w + 2 - f = 0. Let i be (9 - 2)*4/7. Solve -5*u + 4*h - i = 0, -h + 0 = 3*u - w for u.
0
Let s = 14 - 11. Solve -m + 10 = m, 0 = s*k + 3*m for k.
-5
Let x(g) = 7*g**3 - g**2. Let n be x(-1). Let j = n + 13. Let h be 40/12*15/10. Solve 0 = -j*w + 2 - 27, -3*v = h*w + 16 for v.
3
Suppose -40 = -4*i - 16. Solve -26 = -a - 5*t, -i*a + 4*t - 15 = -a for a.
1
Let m(x) be the second derivative of -x**5/20 - 5*x**4/12 + x**3/3 - 3*x**2 - x. Let d be m(-6). Solve 5 = -l, -d = -3*v + 2*l - 5 for v.
1
Let r(h) = h**2 - 8*h + 10. Let s be r(9). Solve y = -5*v + s, 4*y - v = v - 12 for y.
-1
Let x be 26/(3*8/(-12)). Let q = -11 - x. Suppose 3*h = -2*p + 10, 0*h - 2*h + 4 = 0. Solve -2*y = p*y + 2*m - 2, 0 = y - q*m - 3 for y.
1
Let f = -94 - -97. Solve -16 = -n - 3*n + 4*v, v = -f*n + 12 for n.
4
Let h = -6 + 8. Solve -h*a = 4*p + 16, -3*p + 7*p + 22 = -5*a for p.
-3
Let k(p) be the second derivative of -2*p**2 - 3*p + 0 + 1/6*p**3. Let q be k(7). Solve -4*m + 12 = 0, 4*m + 1 = -2*u + q*m for u.
-2
Suppose 2*m + 3*t = 27, 0*m + 2*t = -2*m + 30. Let c be 4 + (1 - 0 - 3). Suppose -5*s + 18 = -c*s. Solve 2*f - s = -4*x, m = 3*f + f + 2*x for f.
5
Suppose -2*i = y - 2 - 1, 0 = -2*i + 4. Let k = -2 - -3. Let u = y + k. Solve 4*z - 4*v + 6 - 22 = u, 2*z + 5*v - 15 = 0 for z.
5
Let j(q) = -q**2 + 4*q + 25. Let r be j(-3). Solve 0 = 4*l + 8, -3*o = -7*o - r*l - 20 for o.
-3
Let u(m) = m + 3. Let k be u(-3). Let f be (k - -3) + 13/1. Let g be (f/10)/((-2)/(-15)). Solve -4*d = 4*i - 2*d + g, 3*i + 11 = -d for i.
-5
Let i be (-10)/(-4) - 3/(-6). Suppose z = -3*k - i - 0, -k = 3. Let c(a) = -a + 12. Let b be c(9). Solve w + b - z = 0, -h + 2*w = 2 for h.
4
Let n = 11 + -11. Solve -4*c + x + 10 = n, 0 = -3*c + 4*x - 7*x for c.
2
Let i = 25 + -27. Let u(d) = -2*d**2 - d**3 + d + d**2 + 3*d**2. Let y be u(i). Solve -4*q = 4*z, -6*z + 2*q - y = -z for z.
-2
Suppose p - 2*p + 2 = 0. Let w be (-10)/4*(-13)/(130/12). Solve 4*q = -w*n + 3, -3*q + 5 = p*q + 5*n for q.
0
Let o = -143 - -151. Solve 2*s + 5*f = s + o, s - 2 = -2*f for s.
-2
Let d(h) = -2*h - 17. Let q be d(-11). Solve 0 = -3*g + 4*k - 3*k + 9, 22 = q*g - 4*k for g.
2
Let h = -5 + 10. Let b = 5 + -5. Let m be (-2)/(-1 - b) - -2. Solve 9*c = m*c + h*f, 3*c - 4*f = -1 for c.
1
Suppose t + t - 15 = 5*q, t - 3*q - 10 = 0. Let c = 6 + t. Solve -6*p + 2*p - c = -3*s, -4*p - 6 = 2*s for p.
-1
Let d(u) = 8*u - 7. Let n be d(5). Suppose y - 4*y = n. Let t = y - -27. Solve 5*g = -3*i + 1 + t, -5*g = -5*i + 15 for i.
4
Let l = 1 + 3. Suppose -5*x = 4*a - l, 4*a = x + x + 4. Suppose -3*c + 6 = -x. Solve -c*y - 14 = -4*v, -y - 15 = 5*v + 3*y for v.
1
Suppose -2*v + 16 = 2*s + 2*s, v + 3*s = 11. Let r = 4 - 2. Let l = 60 + -57. Solve l*d = d - r*y - 8, v*y = -d - 3 for d.
-5
Suppose -3*o + 18 = -o. Suppose 0 = -o*p + 7*p + 8. Solve -2*j - p*r = 20, r = -5*j - r - 18 for j.
-2
Suppose 0 = -21*j + 19*j + 54. Solve 0 = -5*f - 3*q + j, -16 = -3*f - 3*q + 5 for f.
3
Let v be (2/5)/((-1)/(-5)). Suppose b - 105 = -5*z, z + 2*b - 17 - 4 = 0. Solve 5*w = o - 21, -w + v*o - z = 6*o for w.
-5
Suppose -3*s = -3*q + 30, 3*q + 4*s = -1 - 4. Suppose -3 = 9*i - 84. Solve -m - 2*m = -3*b - i, q*b + 5 = -5*m for b.
-2
Let h be (16/(-10))/(6/(-15)). Solve 4*b - 5*t = h + 33, 0 = 5*t + 25 for b.
3
Suppose -x = v - 1 + 7, -5*x - 20 = -5*v. Let h = x + 7. Solve s - 6*s = h*o + 6, -3*s = 3*o for s.
-2
Let k = 51 + -34. Suppose -47 - k = -4*d. Suppose 4*o - d = q, 4*o = q + o + 11. Solve -2*c + c + 5 = 3*w, -q*c = -w + 19 for c.
-4
Suppose u + 6 = 4*u - 3*y, -y = 4*u + 2. Solve 5*g - 2*k + 8 = 0, u*k + 8 = 2*g + 2*k for g.
0
Let a = 18 - 86. Let j = -48 - a. Solve -4*s - 4*o = j, -4*o - 9 = 3 for s.
-2
Let x(f) = -f**2 + 5*f + 3. Let r be x(5). Suppose -4 = 2*c - 2*l, -r*c - 3*l + 2*l + 10 = 0. Solve -3*t + 3 = -j - c*t, -33 = 5*j + 4*t for j.
-5
Let f(z) = -2*z - 6. Let g be f(-4). Suppose -3*l + g*t + 6 = 0, -4*l + 1 = -0*l - 5*t. Solve 4*x + 16 = 2*y, -12 = -x + l*x - 4*y for x.
-4
Let f(k) = -2*k**2 - 2*k. Let j be f(-3). Let v = 4 - j. Suppose 2*a - 25 = -3*a. Solve -3*x - x + d - 18 = 0, -2*d - v = a*x for x.
-4
Suppose 9 = 2*k + k, 4*y - 3*k = -17. Let x be ((-21)/9 - y)*0. Solve b - 3*m + 4 = -x*b, -4*m - 3 = -3*b for b.
5
Suppose -4*y + 2*y + 8 = 0. Solve -y = 2*g + 2, 4*i - 8 = 4*g for i.
-1
Suppose b - 3*t + 17 = 0, 2*t + 3*t = 0. Let s = 25 + b. Let v = s - 8. Solve v*g = 3*g + 3*d, -5*g + 5*d - 50 = 0 for g.
-5
Suppose 3*a + 5*v - 40 = 0, 3*a + 3*v = 17 + 13. Suppose -a*k + 6 + 9 = 0. Solve -2*s - 2*u + 4 = 0, -11 = -k*s - 0*s - 4*u for s.
-3
Suppose 6*j = 4*j. Suppose 2*k = -j*x - 5*x, 2*k - 12 = x. Let q = 85 + -59. Solve 2*a - 5*w = -8, -k*a - q = -w - 6 for a.
-4
Suppose f = -4*f + 25. Suppose n + n - 20 = -f*u, 4*n - 3*u = 14. Suppose n*g - 29 = 51. Solve -4 = -4*r + 4*q, -r - 2*q = 2*q - g for r.
4
Let t(k) = -k**2 + 3*k + 4. Let i be t(11). Let r be 2/10 - i/30. Solve -23 = 5*l - h, -l + h 