 4*u for k.
-4
Let s(t) = -t - 1. Let a be s(-2). Suppose -5 = -3*b + a. Solve 2*c = 4*f - 10, -b*c + f - 7 = 3*c for c.
-1
Let v be 13/5 + 1 - 8/(-20). Solve 2*u - 4*y + 26 = 0, 4*u + 28 = v*y - 2*y for u.
-5
Let q = -213 + 218. Solve -l - 10 = -2*l + 4*j, -20 = -5*l + q*j for l.
2
Suppose -2*m + 8 = -q, 5*q - 3 = -m + 6*q. Solve 0 = m*l - 0*l + 5*y + 30, -20 = 2*l + 4*y for l.
-2
Suppose -3*m + 4*m - 18 = -5*j, -3*m + j + 86 = 0. Suppose -22*s - 46 = -24*s. Solve -8*p + 4*p = -4*a + m, 0 = 5*p + a + s for p.
-5
Let p(r) = 4*r**2 - 2*r + 3. Let a be p(1). Solve s - a = -2*z + 2*s, -5*s + 30 = z for z.
5
Let g be 7 - (3 + -5)/(-1). Suppose -2*w = -g - 5. Solve -w*r + 3*n = -r - 10, -3*n = -6 for r.
4
Suppose 0 = -4*z + t + 13, 5*z - 2*t - 12 - 8 = 0. Solve -2*m + g = 6, 2*m - z*g - 3*g = 10 for m.
-5
Suppose n - 6 = -n, -u - 9 = -3*n. Solve o = 2*h - 5 - 10, -3*h + 3*o + 30 = u for h.
5
Let c(x) = x**2 - 13*x + 4. Let o be c(13). Suppose -4*b + 20 = b. Solve 0 = 2*g - g - d + b, -5*g = o*d + 2 for g.
-2
Let t be -10*1*(-3)/6. Suppose 2*f + 1 = t. Suppose -5 = -5*k, -f*w - 3*k + 13 = 2*k. Solve -3*o = -2*u + o - 4, w*u - 1 = -o for u.
0
Suppose 0 = 4*v - 14 + 6. Solve 3*z - 17 = -v*p - 3*p, 2*p - 14 = -3*z for p.
1
Let c be 7 - 12/(-20)*-5. Suppose -k - 2*k = -6. Let b = k + -2. Solve b*u - u = -3*d - 7, -4*u - 36 = c*d for d.
-4
Let l be (-11)/77 + (-15)/(-7). Solve -l*n + p = 6*p + 29, p + 5 = 0 for n.
-2
Suppose 0 = -5*y + 45 - 5. Let g be 176/10 + y/20. Solve 3*i = -0*i + 3*m + g, -2 = -i - 3*m for i.
5
Let y be 0/(12/(-42) - 10/14). Solve -2*o + 5*q - 14 = -4*o, 4*o - 3*q + 24 = y for o.
-3
Let a(z) = 8*z - 1. Let m be a(1). Let d = m + -4. Solve 5*w = -2*f - 21, 2*w - w + d*f - 1 = 0 for w.
-5
Let b = -25 - -36. Let q(r) = r**2 - 11*r + 2. Let y be q(b). Solve -h + 0*h = -4*k + 4, -3*k - y*h + 3 = 0 for k.
1
Let l = 17 + -1. Suppose 2*s = 5*m, 5*s - 17 = -4*m + l. Solve 7 = 5*q + z, -5*q - s*z - 4 = 1 for q.
2
Suppose 3*p - 2*p = 2. Let a = -58 + 61. Suppose -4*l + 49 = -a*v, -p*l + 5*v = -17 - 18. Solve 2*u + l = 0, -3*t + u - 2*u - 20 = 0 for t.
-5
Let n(b) = b**2 + 4*b + 5. Let p be n(-4). Solve -p*a - 5 = z + 9, -2*a - 4 = 2*z for a.
-3
Let i(c) = -c**3 + 8*c**2 + 4*c + 5. Let k be i(8). Suppose 35 + k = -2*y. Let t be (-2)/9 + (-512)/y. Solve 3*b + 3*h = -2*b - 17, 4*b + t = -2*h for b.
-4
Suppose 0 = 2*m - 0*m - 6. Let b = 3 - m. Let g(r) = -r**2. Let u be g(b). Solve 4*i = 2*t + 20, u = 5*t - 2*i + 6*i + 8 for t.
-4
Let x be ((-7)/2)/((-2)/(-4)). Suppose 3*p + 2*p - 70 = 0. Let s = p - x. Solve 5*o + 3*u = 29 - 1, -4*o = u - s for o.
5
Suppose 4*b - 1 = -3*a + 1, -3 = -a + b. Solve -3*z - 14 = -a*o, 3*z = 2*o - z - 18 for o.
1
Let v = 10 - -8. Suppose -3*f - y = -3*y - 28, v = 3*f + 3*y. Solve 0 = -2*g + 5*g + s - f, 2*g + 4*s - 22 = 0 for g.
1
Let x(q) = -3*q + 4. Let g be x(-2). Solve 3*r - 4 = -4*y + r, 3*y + 5*r = g for y.
0
Let c(v) = -v**2 + 2*v + 3. Let q be c(3). Suppose h - 5 + 3 = q. Suppose -2*w + 57 = z, -z - 23 = -h*w + 32. Solve m + 20 = -4*l, -4*m = 3*l - 0*m + w for l.
-4
Suppose -l = 2*m - 1, 0*m - 7 = -2*m - 3*l. Let j = m + 5. Solve -5 = -5*s + 4*r + 6, -j*s - r = -13 for s.
3
Let y(k) be the second derivative of -1/3*k**4 - 1/6*k**3 - 1/2*k**2 + k - 1/20*k**5 + 0. Let p be y(-4). Solve -15 = p*r + 3*d, 0*r + 4 = -5*r + 2*d for r.
-2
Let n be (1 - 2) + 1/1. Let k(f) = f**3 + 3*f**2 - 2*f - 4. Let l be k(-3). Solve 2*m + j = -l*m, 2*m - 4*j = n for m.
0
Let x = -12 + 19. Suppose -s = 1, -3*n - 2*n + 2*s + 107 = 0. Let m be (-2)/(-7) + 78/n. Solve 4*b - 3*o = 36 - x, -2*b + m*o = -22 for b.
5
Let a = -12 + 13. Let s be (a - (-1 + 1)) + -1. Solve 3*t + p - 4 = 0, s = 3*t + p + 3*p + 11 for t.
3
Let v(z) = z + 12. Let n be v(-10). Suppose 7 = 3*j - n. Solve -f + j*f - 12 = -3*a, -3*f = -5*a + 20 for a.
4
Let z = 22 + -22. Solve l = -3 - 1, z = -i - 4*l - 17 for i.
-1
Suppose 2*d = 5*a - 21, 7*a - 3*a - d - 15 = 0. Solve -5*q + 15 = -a*x, q = -q for x.
-5
Let n(a) = 4 - 6 - 7*a + 3 - 3. Let v be n(-2). Solve -2*o - v = 4*b, -2*o - 2*o - 6 = 2*b for o.
0
Suppose 0 = -5*m - 5*l, 2*l + 3 = -m - 0. Let p be (-1)/(-2) + (-10)/(-4). Solve a - h = -2*h, m*a - p*h = -6 for a.
-1
Let u(z) = -2*z**3 + z**2 - z - 1. Let m be u(-1). Let f(h) = h**3 - 5*h**2 - 3*h - 13. Let q be f(6). Solve 0 = -m*o + g, -3*o + q*g = -0*o for o.
0
Let h be (-3)/(-2 - 14/(-10)). Solve 0 = -3*q - 6, -h = -3*i + q - 0 for i.
1
Let o = 121 - 119. Solve 3*w - 4 = -2*b, -2*w + o*b = -0*w + 4 for w.
0
Let t = 14 + 12. Suppose -5*i - 2*y = -t, 5*y - 49 = -4*i - 18. Suppose i*w - w - 9 = 0. Solve -5*g = -3*d + d + 4, 0 = w*g for d.
2
Let s(b) = b**2 + b + 14. Let v be s(0). Let c = v + -8. Let w be 5*9*4/c. Solve -5*x - w = -q - 4*q, 2*x = -5*q + 9 for x.
-3
Let p = 7 + -3. Solve 5 = -2*c + m - p, -5*c + 2*m - 22 = 0 for c.
-4
Let l be 4 - (-4)/(-12)*3. Let x(j) = 7*j**2 - j + 1. Let z be x(2). Suppose -z - l = -5*m. Solve 4*c - 5*c - 8 = -4*h, c - 2*h = -m for c.
-4
Let y = 12 + -6. Suppose u = 3*m + 1 + 3, -y = -3*m. Suppose -3*z - 4*l = u, 3*z - 2*z + 4*l + 14 = 0. Solve z*c + 13 = 5*s, 5*c - 3*s = -0*s - 4 for c.
1
Suppose 0 = 3*v - 12, 4*h - 2*v + 4*v = -4. Let t be 40/(-15)*h/4. Solve -u + 25 = -5*i, t*i + 5 + 8 = u for i.
-4
Suppose -7*g + 3*g = 0. Let s(d) = d + 5. Let j be s(0). Solve g = -j*l - 5, -10 - 13 = 4*i + 3*l for i.
-5
Let b = -17 + 29. Suppose 0 = 6*c - 3*c - b. Solve 4*o + 0*o = -3*f + 12, 0 = c*o - 4*f - 12 for o.
3
Suppose -2*x - 2*c = 0, 3*x - 8*x = -c - 24. Suppose 2 = -b + 4. Let h be ((-3)/6)/(b/(-8)). Solve 1 = -u, -x*w - h*u = -8*w + 14 for w.
3
Let k be 2 - -1 - (-1)/(-1). Suppose -3*h = -k*h. Solve 3*p + h*p = -5*b + 2, -p = 2*b for p.
4
Let m(q) = 2*q + 3. Let p be m(4). Suppose 3*s = 1 + p. Solve 3*j + 11 = 4*h, -h + 4*h - s*j = 17 for h.
-1
Let h be (-7 - -13)*(0 - -1). Suppose 2*t + 40 = h*t. Solve 0 = -5*u - b + 7, u + 3*u + 3*b - t = 0 for u.
1
Suppose w + 15 = 6*w, l - w = 0. Let i(c) = -c**3 + 2*c**2 + 5*c - 2. Let x be i(l). Let m = x + 1. Solve j = 2*h + m, -2*j + 5*h = j - 12 for j.
-1
Let j = 2 - -2. Suppose -j*f = 12 + 8. Let z = f - -8. Solve z*x = 5*p + 35, 35 = -5*p + 2*x + 5 for p.
-4
Let k be 10*-1*14/(-28). Solve -k*d - 5*f - 30 = 0, 0 = -3*d + d + 5*f + 9 for d.
-3
Let y = -5 - -8. Suppose -y*q + p = -9, -2*q + 5*p = 8*p - 6. Suppose q*g - 37 = -10. Solve 0 = -3*v - 4*a + g, 3 + 0 = v - 5*a for v.
3
Suppose 11 = -3*h + 5*l, -11 = -h - 3*l + l. Solve -4*b + 5 = h*z, 5*z + 2*b + 4 - 3 = 0 for z.
-1
Let p(u) be the second derivative of -2*u**3/3 - u**2/2 - 3*u. Let l be p(-4). Solve -j = -3*m + 9, 0*j = 5*j + l for m.
2
Let h(w) = w**2 + 5*w - 4. Let t be h(-5). Let d = 13 + t. Suppose -1 = -2*m + 5*v, 0 = 3*m - d*v + 4*v - 4. Solve 2*p + 12 = -5*b + p, -2 = 4*b - m*p for b.
-2
Let p = 88 + -82. Solve -p*c - 5*d = -c, 0 = 2*c - 2*d for c.
0
Let s be (-72)/40*(-20)/6. Let m be (-1)/s - (-25)/6. Solve -m*t = -6*l + 4*l + 18, -l = -5*t - 15 for l.
5
Let m be (-3 + (-10)/(-5))/(3/(-6)). Solve 2*o - u = -9 - 2, m*o + 5*u = 7 for o.
-4
Suppose 3 = -4*o + 11. Let c be (o/(-4))/(2/(-12)). Let q(k) = k**2 + 14*k + 18. Let y be q(-13). Solve 4*g = 5*g - 3*r - 19, c*g - y*r = 37 for g.
4
Let d(n) = n**2 + 6*n - 6. Let y be d(-7). Let c be ((-3)/(-2))/(y/2). Solve 4*x = -5*j - 9, 2*j = c*x + 2 - 1 for j.
-1
Let m(w) = w - 9. Let a be m(11). Solve a*y = 2*p - 5*p + 4, 5*p = -5*y for p.
4
Let q(w) = 6*w**2 + w. Let f be q(1). Let k = f + -5. Suppose 0 = -x + 4*y + 2 + 2, 0 = 3*x - 5*y - 26. Solve -2*d = -d + k*i - x, i = 2*d - 4 for d.
4
Let y be -4 + 3 + -1 + 5. Suppose -k + 42 = k. Let a = 34 + -23. Solve -y*o = 3*q - k, -5*o - a = q - 10*o for q.
4
Let a(c) = -6*c - 1. Suppose -5 = -3*d + 1. Let h be (-1 + 3)*(-1)/d. Let g be a(h). Solve 0 = -3*t - 15, 10 = -g*i - 2*t - t for i.
1
Let m(b) = 4*b - 8. Let r be 2/9 + 61/9. Let f be m(r). Solve -4*g - f = -2*u, 2*u - 1 = 3 for g.
-4
Let f = -4 - -7. Suppose 5*k + 8 + 12 = 3*z, f*k + 13 = 2*z. Suppose -5*g = 5*o - 55, o - 3*g = -7*g + z. Solve -3*j - b = 10, 3*j + 5*b - b + o = 0 for j.
-3
Suppose -3*y = -4*h - 24, -y - 3*h - h + 24 = 0. Solve -p + 5*k + y = -0*p, 5*p + 3 = 4*k for p.
-3
Let r(s) = s**2 + s + 1. Let m be r(-2). Suppose -m*o + 8 = o. Solve 0*n - 7 = 2*n