 - 9 for k.
0
Let w(i) = -i**2 + 3*i + 12. Let p be w(5). Suppose 4*b + 2*l = 6, b + p*b + l = 5. Let h = -9 - -17. Solve -4*x = -4*d + h, 4*d - 4 = 3*x + b for d.
0
Suppose -2*p + 14 = 2*f, -2*f + 5*p - 3 = f. Solve 4*n - f*k - 12 = 0, 0*k - 21 = 3*n + 3*k for n.
-2
Suppose -81 = -17*u + 4. Solve -24 = -2*h - 4*l, 4 = -4*h - 0*h + u*l for h.
4
Let f(o) = -2*o + 18. Let l be f(14). Suppose 5*c = c + 92. Let b = c + l. Solve -5*a + 6 = 3*d, b - 3 = 4*a + 5*d for a.
0
Suppose -124*a - 24 = -132*a. Solve -4*x - 13 = -5*m, -x + 3 = a*m + 2 for m.
1
Let w be 2*3/(-12)*0/(-1). Suppose w*m = -2*m - 3*m. Solve -t + 0*r - r + 6 = m, -5*t + 5*r = -20 for t.
5
Suppose 4*g - 41 + 5 = 0. Suppose 10 = -4*p + g*p. Solve 0 = -s + p, 3*d - 2*s = 2*s - 20 for d.
-4
Let c(f) = -f**3 + 10*f**2 + 16*f - 8. Let u be c(11). Let v = u - 43. Solve 4 = -4*j - 0*j - v*a, 2*j - 10 = -5*a for j.
-5
Let j be 126/54 - (3 - (-8)/(-3)). Solve 2*b - 4*u = -0 - 2, -u - 12 = j*b for b.
-5
Suppose -7*l + 15 - 1 = 0. Suppose 7 = l*r + 7. Let c be (-2 - -2)/(-2) + 3. Solve -4*f = 0, -c*f + r + 8 = -4*t for t.
-2
Suppose -s + 2*s - 4 = 0. Suppose -2 = -2*a - 0. Suppose -k + 0*k - a = 0, -2*k = -5*z + 17. Solve -z*b + w + 0*w + 11 = 0, s*b - 15 = w for b.
4
Suppose h = 5*o - 13, -h = 5*o - 8 - 9. Let l(z) = 4*z + 2. Let s be l(3). Let t be 4/s - 1557/(-63). Solve 5*k + 2*m + h*m = t, 0 = 5*k - m - 25 for k.
5
Let j be 30/40 - 3/4. Suppose -2*b + j*s + 4*s - 8 = 0, 12 = 3*s. Let i be (b/3)/4*15. Solve i*r + 2 = -3*z, r + 0 = -4*z + 3 for r.
-1
Let s(z) = -z - 12. Let v be s(-10). Let l be v/(2 - 16/6). Let d = -3 - -7. Solve -4*k - n = l, d*k - 4*n + 6 = -2*n for k.
-1
Let l = 2 + 0. Let q(k) = 3*k - 28. Let n(r) = r**3 + 5*r**2 - 5*r + 18. Let o be n(-6). Let h be q(o). Solve 2*c = 3*i + 18, -i - 2 - h = -l*c for c.
3
Let j(k) = -11*k - 33. Let p be j(-11). Let v = -88 + p. Solve l = -i + 2, l = -2*i - v*l + 5 for i.
3
Suppose 53*n - 769 = -239. Solve 5*l = -4*m - 3 + n, -19 = 4*l - 5*m for l.
-1
Suppose -3*q = -3*z - 15, 3*z = -z + 5*q - 24. Suppose a + 24 = 3*a. Let u be (z/2)/((-3)/a). Solve -p = -2*y + u, -4*y + 0 = 2*p + 4 for y.
0
Suppose q + 2*u + 15 = 2*q, -3*q - u + 10 = 0. Let w = 0 + q. Suppose 9*k = 84 + 15. Solve -v = w*n - k, -2*v + 8 = 4*n - v for n.
3
Let h(g) = 7*g - 4*g + 0*g - 5 + g. Let v be h(-5). Let l = 25 + v. Solve -a + 5*x = l, 0*a - 5*a - 3*x = 28 for a.
-5
Let t be (3*88/(-99))/(4/(-6)). Solve -2*l = -m - 5, m - t - 1 = 0 for l.
5
Let o = 1802 - 1780. Solve -5*q = -a + o, -2*a - a = 5*q + 14 for a.
2
Let b = -861 - -865. Solve -4 = 4*o + b*q + 4, 4*o = 5*q - 8 for o.
-2
Let d(x) = x**3 - 7*x**2 + 2*x - 12. Suppose 0 = -f - 4*u - 1, -6 = 2*f + 3*u - 14. Let z be d(f). Solve 3*y = z*v - 12, 3*v + 2*v = y + 17 for y.
-2
Suppose -14*i + 11*i = p - 6, 2*i - 4 = 0. Solve -4*m + 3*l + 5 = 0, p*m - 30 = -m - 5*l for m.
5
Let j be 23 + (-2 - -3) + -2. Let s = -2955 - -2958. Solve -s*z = 2*o - 0*z + 13, 2*o - j = 4*z for o.
1
Let n be ((-8)/14)/(3*(-1)/21). Solve 5*y = 5*r, n*r + 5 + 5 = -y for y.
-2
Let y(r) = r - 2. Let u(c) = c**2 + 3*c - 6. Let n be u(-5). Let f be y(n). Solve -10 = -4*w - 2*x, -f*w + 5*x + 19 = -w for w.
4
Let k = -57 - -75. Let o(b) = -b**3 - 4*b**2 + b - 4. Let q be o(-4). Let h be (-12)/q - k/(-4). Solve -4*u = 5*m - 3, 5*u - h = 4 for m.
-1
Let a(z) = z**2 + 2*z - 1. Let u be a(1). Let p be (14 - 3 - 0) + -4. Solve -u*o - 5 - 1 = 0, 4*c + p = -o for c.
-1
Let d be 3 - -1*(5/1)/5. Solve 4*c = -5*l + 31, 1 + 11 = d*l for c.
4
Let w = 380 + -374. Solve 5*k + w = 2*m, -m - 18 = 4*m + 4*k for m.
-2
Let t(i) be the second derivative of i**3/6 + 4*i**2 + 7*i. Let n be t(-6). Solve 3*x + 4 - 2 = 2*k, -k + 3 = -n*x for x.
-4
Suppose 4*u + u - 2*v - 25 = 0, -v + 5 = u. Solve -2 = -2*a - b, -26 = -2*a + u*b - 0*b for a.
3
Suppose -4*x - 23 - 1 = 2*u, -3*x + 92 = -4*u. Let a be 3/(-2)*(u/6 - -2). Solve -a*z + 2*r - 5 = 7, -r = 2*z for z.
-2
Let l be 21/28 - (-20)/16. Solve 0 = 3*p - b - b + 7, l*p - 7 = -b for p.
1
Suppose 60*f - 66*f = -24. Solve 0 = v - f*k + 16, -v - k + 6 = 2 for v.
0
Let x(a) = 36*a**3 + 1. Let b be x(-1). Let u be (b/5)/(1/(-1)) - 3. Solve 3*f - 4*l = -0*l, -u*f = -3*l - 7 for f.
4
Let s be 2 + 128 + 1*(-3 + 1). Suppose -k + s = 15*k. Solve -2*i + 0*w + k = -2*w, 2*i - 4*w = 6 for i.
5
Suppose -11 = -5*n - 2*u, 0*n = -3*n - 2*u + 5. Suppose 92 = n*f - 1. Solve 4*d - 18 = -2*j, 2*j + 9 - f = -5*d for j.
1
Suppose -4*f + 3*f - 4 = -2*t, 0 = -f + t. Let w = f + -6. Let g = 8 + w. Solve -15 = -5*y - 2*z, 2*y - 3*z = -z + g for y.
3
Suppose 2*d + 3*d = -45. Let x = -14 - d. Let f(j) = -j**3 - 4*j**2 + 2*j - 11. Let l be f(x). Solve -5*n + 4*y = -0*n + 5, -l*n + y - 4 = 0 for n.
-1
Let u(h) = -8*h - 2. Let p(c) = c + 1. Let d(n) = -10*p(n) - 2*u(n). Let w be d(4). Suppose -4*f = 6 - w. Solve 5*b + f = -4*t - 3, 3*b - 4*t - 22 = 0 for b.
2
Let m be (-15)/(-10) - 150/(-4). Let z = 13 - m. Let y be 26/(-169) - 212/z. Solve -2*a = 4*o + y, o = -0*a - 2*a - 2 for o.
-2
Let s(g) = g**3 + 6*g**2 - 22*g - 36. Let z be s(-8). Let x be 4/(-6)*18/(-4). Solve 0 = x*r - h + 3, r = 5*h - z - 3 for r.
0
Let t = 5 + 0. Suppose 29*w - 27*w = 58. Solve -2*a - t*l = -a, -5*a + 4*l = -w for a.
5
Let c be (3*(-6)/10)/((-114)/380). Solve 0 = x - 3*d - c, -2*x + 3*d = 4 - 13 for x.
3
Suppose -4*m + 35 = 15. Solve 2*h - 33 = -5*s, -m*s + 15 = -3*h + 2 for h.
4
Suppose -3*h + 3*m = -m, 2*h - m = 5. Suppose 0 = x, x + 12 - 4 = h*b. Solve -4*g = -b*g + 2*c, 2*c - 7 = 5*g for g.
-1
Let k = -1029 - -1034. Solve -2*g - d + 5 + 6 = 0, -2*d = k*g - 27 for g.
5
Let t be (-1*(2 + -2))/1. Let a be (16 + t)*2/4. Suppose a = 3*u + u. Solve -4*o = i + 7, u*o - 4*i = -o - 10 for o.
-2
Let y be 13 + 3/9*-15. Solve -1 = -r + 2*k, -2*r - 2*k - y = 2 for r.
-3
Let p(w) = -w**2 + 6*w - 5. Suppose -4*l + 4 = -8, -4*y + 70 = -2*l. Let m = y - 14. Let t be p(m). Solve 4*d + c + 4 = -12, 5*d - 5*c + 20 = t for d.
-4
Let u = 117 + -65. Let y = -46 + u. Solve 2*r = 2*o, -o - 9 = 2*r + y for o.
-5
Let s(b) = 2*b**2 + 3*b. Let p be s(-2). Suppose -4*v - 1 = -f, -p*f + 6 = -f + v. Let d = -27 - -39. Solve f*y = -3*h + h + d, 0 = y - 4 for h.
-4
Suppose 0*s = 4*s - 2*v - 28, 0 = -v + 2. Suppose 13*l - 25 = s*l. Solve 2*f = 4*p - 16, -4*p - 5*f = -21 + l for p.
4
Let n be (-4)/(-3) - 2/(-3). Solve -2*s + 5 = g - 3, -n*s - 12 = -4*g for g.
4
Suppose 5*l - 33 + 18 = 0. Solve 3*p + 3*k + k = -4, -4*p + l*k + 28 = 0 for p.
4
Let y(i) be the second derivative of -i**3/2 + 13*i**2 - 23*i. Let z be y(8). Let f be (2/4)/((-3)/(-6)). Solve z*g - 3*o = 8 + f, -5*g = 4*o + 35 for g.
-3
Let o be (3/(-1) + 2)*-4. Suppose 16*x = 28*x - 120. Let f(l) = l**2 - 2*l. Let g be f(3). Solve -x = -g*w - 2*t - o, -5*t - 23 = -2*w for w.
4
Suppose -n = 4*n - 20. Suppose 0 = 6*c - 10*c + 52. Suppose -c*y + 17*y - 20 = 0. Solve -18 = -y*p + 3*l - 1, l + 15 = n*p for p.
4
Let b = 891 + -882. Solve 0 = -2*l - 4*o + 14, 3*l + 2*o = -0*o + b for l.
1
Let l be -2*(-5 - 39/(-6)). Let o be (l + (-45)/(-10))*2. Solve 5*a = -5*m - 35, 0*a = 3*m - 5*a - o for m.
-4
Let m be -2*2/(-2)*2. Suppose -3*l + m*o + 23 = 0, 3*l - 8*o - 25 = -3*o. Suppose -5*k + l = -5. Solve 2*t = k*n - 8, t + 0*t = -5*n + 20 for n.
4
Let h be 8*(-6)/60 - 29/(-5). Solve l = -a + 2 + h, 0 = -4*a + 2*l + 16 for a.
5
Suppose 3*d - 4 = 4*k, -3 = 2*d + 5*k - 21. Solve -c + 2*n = d*c + 8, 3*c = -5*n - 11 for c.
-2
Suppose 0 = a - 2*h + 6, 13 = 2*a - 2*h + 3*h. Solve -3 - 1 = -x, a*x - 13 = j for j.
3
Let b be (-24)/(-8) + (-1 - 2)*1. Suppose 5*p - 2*m = -0*m + 8, m + 4 = b. Solve -o + 3 = p, 2*g = 3*o - o - 16 for g.
-5
Let l = 202 - 62. Suppose -3*k + l = 119. Solve 0 = -4*d + z + 2, 5*z + 3 = -2*d - k for d.
0
Let q(k) = k**2 - 11*k - 10. Let g be q(6). Let o = 44 + g. Let l be (-2)/3*(1 - 7). Solve n = l*h + 9 + 9, -20 = o*h - 2*n for h.
-4
Suppose 19*l - 143 = 9. Solve -17 = -5*u + l*u + 2*y, -4*u = 3*y + 23 for u.
-5
Suppose -45 = -3*r - 24. Let p be (r/14)/((-2)/(-20)). Solve -j + 2*s - 1 = -0, 0 = -5*j + 2*s - p for j.
-1
Suppose -3 + 0 = 3*a. Let k = a - -6. Suppose 2*z - 6 = 0, k*y + 3*z - 13 = 6. Solve 0*j - 5*h - y = -2*j, 4*h + 2 = 2*j for j.
1
Let m = -34 - -5. Let n = -26 - m. Solve 2*j + 6 = -3*r - 3*j, r = -2*j - n for r.
3
Let x(v) = 