ve 3*s + 2*n + k = n, n - 11 = 4*s for s.
-3
Suppose 3 = -3*d + 21. Let c be 94/8 + (-2 - -4)/8. Suppose 3*n - c = d. Solve 0 = -2*y - m + n, -2*y - y + 8 = 2*m for y.
4
Let a = -88 + 96. Solve -w = o - 4*w - 4, 0 = -4*w - a for o.
-2
Let g = -89 - -94. Solve -4*v + v = -12, 2*v = g*w - 2 for w.
2
Let t = -3 - -7. Solve 4*z - t*x = 3 + 1, -4*z + 7 = -x for z.
2
Let k = -37 - -41. Solve -2 = 4*g - k*f - 18, 5*f = -5*g for g.
2
Let u = 8 + -3. Let o be ((-15)/6)/((-1)/2). Solve o*s + m - 2*m + 5 = 0, u*m + 3 = -3*s for s.
-1
Suppose 0 = -3*r - 0*r + 6. Suppose -2*q = q - i - 4, 4 = -r*q - i. Solve -2*b - 3*y + 11 = -2, -3*b + 5*y + 10 = q for b.
5
Let t be (-2)/10 - (-44)/20. Solve 2 - 1 = 5*r - 4*x, 2*r + t*x = -14 for r.
-3
Let f be 4 + 0/(-2 + 3). Solve 0 = 2*m - 6, -f*d = d + m - 8 for d.
1
Let m = -24 - -15. Let n(x) = x + 15. Let v be n(m). Solve 0 = -2*l + v, -u + 2*l + l - 7 = 0 for u.
2
Suppose 9*o = 4*o. Let i(u) = 10*u**2 - 1. Let s be i(-1). Solve f + o = 4*w - s, -3*f + 1 = 2*w for w.
2
Suppose -y = -4*y. Solve 2*a + 3*v - v - 2 = y, 2*v + 14 = 2*a for a.
4
Let z be -12 + 9 + (4 - -1). Solve 3*t = z*m + 4, -t + 4*m = 8 + 4 for t.
4
Let u(g) = g**3 + 10*g**2 + 9*g + 2. Let n be u(-9). Solve 10 = x - 3*c, 0 = -3*x + c + c + n for x.
-2
Let q(i) = i**2 + 3*i + 6. Suppose 2*y + 3*p + 14 = 0, 3*y + 2*p = -1 - 15. Let h be q(y). Let n = h + -4. Solve v - 21 = 2*s - n, -30 = -3*v + 3*s for v.
5
Let b = 6 + 17. Suppose 5*f + 2 = -d + 17, -f = d - b. Solve -z + 4*r + 17 = 2*z, 0 = 5*z - 5*r - d for z.
3
Suppose 4*x + 2*y - 18 = 0, -2*y - 9 = 4*x - 9*x. Solve -5*n - 2*w = 15, 0 = -2*n + 5*n + x*w + 9 for n.
-3
Let c(z) = 2*z + 12. Let f be c(6). Solve 0*w = 2*w - 5*q, -4*w - 2*q - f = 0 for w.
-5
Let b be 3 - (-20 + 3 + 0). Suppose -b = -5*s, 0 = -5*j - 2*s + 124 - 16. Suppose u + u - 4*h = j, -u = 3*h + 10. Solve 4 = -2*k, -7 = q + u*k + k for q.
-1
Suppose -2*l = -5*l - 3*j + 21, -j + 15 = 5*l. Suppose l*r = -2*r + 128. Solve -4*t + r = -3*s, s - 2*t = -7 - 7 for s.
-4
Let r(k) = -k**2 - 6*k - 4. Let b be r(-3). Suppose 0 = -0*f + b*f - 10. Suppose f*l = l + 4. Solve -5*x = 4*a - 6*x - 16, l*x = 16 for a.
5
Suppose 4*t + 149 = -55. Let o be t/(-4) + (-3)/(-12). Solve -3 + o = -2*k + 2*p, -4*p = 2*k - 2 for k.
-3
Let r = -2 - 0. Let k be 1*r/(2*-1). Suppose -2*w + 3 + k = 0. Solve q + 2*u = -0*q - w, 4*q + 5*u = -8 for q.
-2
Suppose 3*n + 16 = -4*u, -2*n = -0*u + u + 4. Let b be 3 - (-10 - (1 + n)). Solve 0 = -5*x + 3*y + b, 2*x + 19 = 6*x - 5*y for x.
1
Let t(g) = 5 + 2*g - 1 - 1. Let d be t(4). Let k be 0/(-2) - 0/2. Solve 5*m + d = -o - 0*m, k = 4*o - m + 2 for o.
-1
Suppose d - 12 = -3. Solve 2*w = p + d, p + 0*p + 6 = w for p.
-3
Let z(f) = 19*f + 1. Let p be z(1). Suppose -7*l = -2*l - p. Solve -w - 7 = -4*t, 2 = 2*w + l*t + 4 for w.
-3
Let j(l) = l**2 - 14*l + 9. Let b be j(7). Let x be 10/b - (-25)/4. Solve d + 19 = -2*d + 2*n, -3*d = 3*n - x for d.
-3
Let p(x) = x - 1. Let k be p(5). Solve -15 = -3*z + 3*q, 0 = z + z + k*q + 20 for z.
0
Let n be (-3 - 1 - -1)*-3. Solve m - 5*m = -5*k + n, k + 4*m = -3 for k.
1
Let w be (-1)/(-1) - (1 - 4). Let d = w + 0. Solve 0 = -2*o + 2*y + 8, 12 = -d*o + o - 5*y for o.
1
Suppose -q + 3*o + 10 = 0, 2*o + o - 32 = -5*q. Let b be 2 + -2 + -4 + q. Solve b*n - 2*y = -7, -4*n = -2*y - y + 10 for n.
-1
Suppose -6 + 14 = 2*w. Suppose -2*x - 2*l + 10 = 0, -5*x + w*l + 4 = -3. Solve x*p - 5*g = -2*p - 20, 3*g - 14 = 4*p for p.
-2
Suppose 26 - 1 = 5*i. Let o be 0/(-6) + (-1)/(-1)*3. Let s = i - o. Solve 3*g - 4 = s*w, 5*g = -w + 4*w + 7 for g.
2
Let v(i) = i**2 + 4*i - 1. Let p(m) = m**2 + 4*m. Let s be p(-2). Let l be (3 - 1)*(-6)/s. Let h be v(l). Solve h = -5*b - 3*k - 20, 5*k = -2*b - 35 for b.
-5
Suppose -b = -5*b + 92. Solve -5*o = -f - 23, -2*o + b = -4*f + 3 for o.
4
Suppose -c = -4 - 2. Suppose -c = -3*y - 0. Let q = -9 + 9. Solve q*o - 3*o + x + 17 = 0, y*o - 18 = 2*x for o.
4
Let m be (41 - -1)*1/2. Solve -5*q - m = 3*y, 4*y - 2*q = 2*q + 4 for y.
-2
Let q = -37 - -40. Solve -h = h - g + 11, -g = -q*h - 16 for h.
-5
Let g(t) = -t**2 - 8*t + 4. Let r be g(-8). Solve -k + 12 = -3*u, 0*u - 8 = 2*u - r*k for u.
-4
Let t be (-3)/6 - (-2)/4. Suppose p = 2*r - 3, t*r - 3*r + 6 = -p. Solve 3*x + 18 = -b - x, -4*b + r*x = -23 for b.
2
Suppose 0 = u + 5*c - 5 - 0, 0 = -3*u - 5*c + 55. Solve -5*v = -3*f + 3, 4*v - v + u = -4*f for f.
-4
Let j(o) be the second derivative of o**3/6 + o**2/2 + 3*o. Let v be j(0). Solve -7 = -2*s + 5*a, s + v = 6*s + 4*a for s.
1
Let y be 12/4*(-8)/(-6). Solve -2 = -3*s - 2*p, -12 - y = -2*s - 5*p for s.
-2
Suppose 2*q + 3*f = 44, 3*q = 6*q + 3*f - 69. Solve 5*j - q = -5*y, -j - y + 5 = j for j.
0
Suppose 3*p + 5 = -13. Let f be p/5*10/(-3). Let l be f/(-18) - (-2)/9. Solve 5*r + 45 = -2*m - 3*m, l = -2*r - 10 for m.
-4
Suppose -3 = -3*t, -g - 4*t = 3*g. Let o be (g + 2)*(3 - 0). Solve -u - 5*p - 17 = -4, -p = o for u.
2
Let t be -4 - 0*(-3)/(-9). Let g = t + 6. Suppose -g*d = -d, 4*d = 5*f. Solve 2*b - n = 2, f = 5*b - 4*n + 5*n - 19 for b.
3
Let y be (-2)/4 - (0 - 5/2). Suppose -3*z = r - z - 2, -1 = 4*r - z. Solve y*f + 0*i - 7 = -i, 5*f + i - 16 = r for f.
3
Let b = 10 - 0. Solve -j + 3*j = 4*a + 22, 2*j - b = 0 for a.
-3
Let u(f) = -f**2 - 10*f + 4. Let j be ((-63)/(-12))/3*-4. Let x = j - 2. Let m be u(x). Solve 5*n - 2*h = 16 + m, 0 = -3*n + 4*h + 23 for n.
5
Let h(i) = i**2 + 8*i - 7. Let r be h(-9). Solve 5*s = -2*k + 18, -5*s - 6*k + 26 = -r*k for s.
2
Suppose 5*a = 55 + 5. Solve a = -3*h - 2*x - 2, -11 = 4*h - 5*x for h.
-4
Let j be ((-6)/18)/((-2)/24). Solve j*l + 3*i = 7, 0*l = 4*l + 4*i - 4 for l.
4
Suppose 2*b - 3 = 1. Solve b*u + 7 = -3*y, -3*y + 4 - 1 = 0 for u.
-5
Let s(u) = -u**3 - 4*u**2 + 5. Let i be 4/(-8) + (-7)/2. Let m be s(i). Solve -m*t + 3*y + 15 = 0, t = 4*t - y - 9 for t.
3
Let l be (-3 - 11/(-3))*6. Suppose u - 10 = -4*u. Suppose -4 = u*q - 4*q. Solve l*n = -q*m - 22, 3*n + 7 = m - 7 for m.
-1
Suppose -2 - 14 = -4*n + 4*k, -k = -4*n + 1. Let y be -1 + 0 + (-1)/n. Solve y*m = -3*g - m + 12, 0 = -2*m for g.
4
Let d(y) = -y - 1. Let h be d(2). Let n = h + 5. Suppose 0*o + n*o - 18 = 0. Solve o*x - 4*x = w + 10, 0 = -2*x + 3*w - 9 for x.
3
Let f(j) = j**3 - 6*j**2 - 6*j - 5. Let m be f(7). Let d be m*1*(19 - 18). Let l be 5 - (-1)/((-1)/1). Solve 0 = 3*o + i + 10, l*o - d*i + 8 = 3*o for o.
-4
Suppose -16 + 4 = -2*d. Let z be 45/4 + d/8. Suppose 3*q + 1 + 9 = 2*u, 0 = -u + 4*q + 10. Solve -3*y - u*o - 7 = 0, o = -3*y + 1 - z for y.
-5
Let b(i) = -i**2 - 4*i - 2. Let p(l) = 3*l + 3. Let v be p(-2). Let g be b(v). Solve -f + y - g = 0, f - 4*y + 4 = -2*y for f.
2
Let t = 177 + -175. Solve 0 = -t*y + p - 11, 2*y = 2*p + p - 17 for y.
-4
Let i(j) = -j**2 + 4*j - 3. Let r be 41/13 - 8/52. Let z be i(r). Solve -2*p - p + 4*b = 11, -5*p + 3*b = z for p.
3
Suppose 0 = -k - 3*d + 12, 5*k - d + 0*d = 12. Suppose u + 4 = k*u. Solve 3*f - 1 = q + 7, u*f = -2*q for q.
-2
Suppose 0 = d - 3*d. Solve 5*m + 15 = -4*w, 3*w - 5*m = -d*w - 20 for w.
-5
Let h = 17 - 8. Suppose -5*i + 2*i + h = 0. Solve -12 = 4*w - 0*q + i*q, -5*w + 4*q - 15 = 0 for w.
-3
Let i(s) = s + 8. Let d be i(-4). Let a = 29 + -4. Suppose m + 12 = d*w, 4*w + 3*m - 3 = a. Solve 4*x - 5 = w*j + 3, -x = -2*j - 3 for x.
1
Let a(j) = j + 2. Let b be a(2). Solve -b*y = -z - 12, 2*z - 1 = y - 11 for y.
2
Let c be 8/(-2) + 6 + 4. Solve -4 = n - 4*f, -4*n + 3*f + 4 = -c for n.
4
Let b = -1 + 3. Solve -10 = -2*n + 3*a, 3*n + b*a - 2 + 0 = 0 for n.
2
Let m be ((-22)/6)/((-1)/(-3)). Let p = -4 - m. Solve -g - 3*f = 3*g - p, 2*f = -5*g for g.
-2
Let i be (1 - 3) + 3 + 4. Let l(a) = -a**2 + 6*a + 19. Let p be l(8). Solve c - 13 = p*r - 0*r, r - i = 5*c for r.
-5
Let d be 1*(-6 - -1)*-1. Solve -5*f + 2*f = -5*j - 32, 2*f + d*j + 12 = 0 for f.
4
Let x = 116 - 80. Let u be (x/(-15))/(6/(-40)). Let c = 7 - 3. Solve 3*b + 2*h = -u, b = 4*b + c*h + 20 for b.
-4
Let v(m) be the second derivative of m**5/20 - m**4/3 + 5*m**3/6 - 3*m**2 + 6*m. Let x be v(4). Solve 5*o + 3*t = x, -5*t = o - t + 4 for o.
4
Suppose w - 1 - 5 = 0. Suppose 3*g - l - 8 = 0, g + 0 = -4*l - w. Solve 2*f = 2*r - 10, 0 = g*f + f + 5*r + 15 for f.
-5
Let n be (-13)/52 - 2/(-8). Suppose 0 = -n*s - s. Solve -5*a = s, -5*u + u = a + 8 for u.
-2
