x + 20 for k.
5
Suppose -25 + 37 = 4*z. Solve -3*l = l + j - 22, 4*l - 26 = -z*j for l.
5
Let r be (1 + 14/(-6))*-3. Let b(v) = v**3 - 5*v**2 + 4*v + 2. Let q be b(r). Solve -a - 3*a = -t - 12, 5*t + q*a - 28 = 0 for t.
4
Let z = 4 + 0. Let l(g) = g + 7. Let t be l(-5). Solve z*k + s - 5 = t*k, 28 = 4*k - 4*s for k.
4
Let h = 69 - 67. Solve 4*r = s - r - 11, -h*s = 2*r + 2 for s.
1
Let s(m) = m**2 - 5*m - 5. Let y(f) = 2 + f**2 + 0 + 2*f**2 - 2*f**2. Let c be y(2). Let b be s(c). Solve -3*z + 1 = -l, b = l - 4 for z.
2
Let c be (0/2 - -1)*4. Let k(r) = r**2 + 5*r + 4. Let y be k(-4). Let v = y - -7. Solve 3*w - c*h = v*w + 36, -w + 1 = -h for w.
-4
Suppose -3*l - 151 = -4*q, 2*q + q + l = 97. Solve q = -3*c + 5*z, -4*c + 3*z - 17 = 2*z for c.
-3
Suppose 4*k + 14 = -2*r + 2*k, 4*k - 8 = 2*r. Let t(d) = d**3 + 6*d**2 - 2*d - 7. Let q be t(r). Solve 2*m + 17 = -3*o, -2*m - 10 - 13 = q*o for m.
-4
Suppose 11 = 4*b - 1. Suppose -b*l = -3 - 9. Solve -w + l = -3*t, -4*t - 1 = 4*w - w for t.
-1
Suppose 2*z - 37 + 7 = 0. Suppose -j = -3*q - 5, 4*q = -3*j - 0*q + z. Solve -2*i - 30 = -j*v, v + 5*i + 8 + 13 = 0 for v.
4
Let h be (-162)/36*(-2)/3. Solve -h*u - 19 = -4*s, -4*s = 4*u - 0*s - 12 for u.
-1
Let y(c) = 2*c - 4. Let w be y(3). Let k be -2*18*2/8. Let u(g) = g**2 + 6*g - 6. Let j be u(k). Solve -w*q = z + 5 - 2, -2*z + 5*q = -j for z.
3
Suppose -9 - 3 = -4*s. Solve 2*t - s = 2*n - 1, 3*t + 5 = -n for t.
-1
Suppose -2*j = 14 - 42. Solve -4*y = l - 16, 4*y - 10 - j = l for l.
-4
Let h(r) = r**2 - 6*r - 2*r**2 + 0*r**2 + 0*r - 4. Let t be h(-4). Solve 3*y - k = -1, -y - 3 = t*k - 7 for y.
0
Suppose -10 + 0 = -5*s. Let u(q) = q**2 - 2. Let f be u(s). Solve 3*g - 2*l = -5 - 0, -g - f = -l for g.
-1
Let k be (7 + -3)*5/10. Solve -k*z - w - 7 = 0, -3*z + 6*w - 27 = 2*w for z.
-5
Suppose 150 = 4*k - 10. Let l = k + -19. Solve -3*v = -2*h + l, 0*h + 3*v = -3*h - 6 for h.
3
Let j = 19 + 0. Solve 5*g - x + 16 = -3*x, -5*x = 2*g + j for g.
-2
Let k be 6 - (4/(-4) + 4). Solve 9 = 5*l + i, -3*l + k*i = -6*l + 3 for l.
2
Suppose 2*k - k - 4 = 0. Suppose 5 = 5*f - 5. Solve 4*d - 2*d = -2*j - 8, -k*j + f*d = 16 for j.
-4
Suppose -4*z + 9 = -t, -2*z + 4*t + 12 = 2*z. Solve -n + 3*o = 6, 2*n = -n + z*o + 3 for n.
3
Suppose 2 + 1 = 3*n. Let w(l) = 3*l**3 - 2*l**2 + l. Let y be w(n). Let f be 6 + y/(-4 + 2). Solve 2*s = 5*v - v + 10, -v + 2 = -f*s for s.
-1
Suppose 3*s - o = -6*o + 8, -s = 5*o - 16. Let z(c) = 3*c - c + c**2 - 6 - 5*c. Let y be z(s). Solve -5*a = 2*t - 24, -5*a - y = -8*a - 5*t for a.
4
Suppose -2*u + 248 = 3*u + t, 2*u - 83 = 5*t. Suppose 7*v + 36 = l + 2*v, -v - u = -4*l. Let g = l + -6. Solve -2*s = -0 + 2, 5*q - g*s - 5 = 0 for q.
0
Let u be 1/(-4 + 3)*0. Solve 3*o - q - 11 = 0, 2*q = -3*o - u*o + 5 for o.
3
Let b(g) = -g**3 - 4*g**2 + 4. Let s be b(-4). Solve -5 = -3*a - x - s*x, -4 = 2*x for a.
5
Suppose 3*t - 18 + 7 = 4*y, -y = 2*t. Solve 4*i + 3*j - t = 0, 2*i + 3*j - 2 = 3 for i.
-2
Suppose 0 = 4*x + 16, -16 = -4*t - 0*t + x. Let n be 40/24 - t/(-9). Solve 0 = y - 2*b, n*y = -3*y - 2*b + 12 for y.
2
Let h(g) = 2*g - 24. Let u(w) = w - 12. Let n(d) = 3*h(d) - 7*u(d). Let c be n(8). Let b be (-4)/(-6)*(8 + -2). Solve -b*a + 12 = c*s, 3*s - 13 = 4*a - 4 for a.
0
Let b = -14 + 22. Solve q - 28 = -5*k - 13, -4*q - b = 3*k for q.
-5
Let v = -1 - -1. Suppose -3*j + 14 - 5 = v. Solve 15 = -2*o + 3*l, 4*o - 10 = -j*l + 5 for o.
0
Suppose -1 = -2*r + r. Suppose 4*h + 12 = -2*z, 2*h - r = -11. Let n be 66/z - 4/8. Solve c - 3*y = -n, -3*c - 2*y + 8 = -c for c.
-1
Let c(d) = 0*d + 0*d + d**2 + 4 + 8 + d. Let l(a) = -a - 4. Let r be l(-4). Let x be c(r). Solve 11 = 4*z + 5*g, 0 = -4*g - 0 + x for z.
-1
Let f be (-1)/((-2)/(-2))*0. Suppose 2*h = z - 0*h - 6, f = -2*h - 2. Solve -6 = -z*j - g + 6, -5*j - 10 = -5*g for j.
2
Let h(n) = -n**2 - 11*n. Let b(m) = -5*m**2 - 56*m. Let w(z) = -2*b(z) + 11*h(z). Let c be w(-9). Solve 3*v = 2*o + 3*o + 10, c = 2*v - o + 5 for v.
-5
Let k be (-4)/(-6) + 128/24. Suppose -2 = -z + k. Solve 4*q - 8 = 2*g - 4*g, -z = g - 4*q for g.
0
Let x(a) be the third derivative of a**6/120 + 7*a**5/60 - 7*a**4/24 + 4*a**3/3 - a**2. Let n be x(-8). Solve -f - y = n, -3*f = f - 3*y + 21 for f.
-3
Let a be 9/(-18) + (-22)/(-4). Suppose -4*t = -3*g + 20, -a*g + 10 = -3*g - t. Solve 16 = 2*x - m - 2*m, g*x - 12 = m for x.
2
Let l(x) = -22*x + 68. Let g be l(3). Solve g*w + 15 = 4*b + w, 10 = b + w for b.
5
Let j be 90/21 - (-4)/(-14). Let p = 11 - j. Suppose -5*d - 3 + 13 = 0. Solve 0*o - o = -3*h - p, 0 = d*o + h for o.
1
Suppose 0 = -y - 4*q + 28, 4*y + q = 59 + 23. Solve -h = k - 6, -4*h + y = k + k for h.
4
Suppose -4*n + 2 + 34 = 0. Let h = n + -1. Suppose -2*b = -3*d + 9, -5*b + 2*d + 2 - h = 0. Solve -u = 5*x - 28, b*x + 4*u - 27 = -3*x for x.
5
Let w = -5 + 8. Let p = 2 + w. Let k = 5 + -1. Solve -k*q + 3*h = -6*q + 5, -2*q - p*h + 11 = 0 for q.
-2
Let t(j) = -j**2 + 5*j + 14. Let r be t(-2). Solve -w + r - 3 = -a, -4*w - 4*a = 4 for w.
-2
Suppose 4 = -m + 3. Let u = 2 - m. Suppose 0 = -u*b - 3*i + 57, 2*b - 3*b + 4*i + 9 = 0. Solve -b - 8 = 5*f, 4*y - 5*f - 41 = 0 for y.
4
Let y be ((-6)/(-6))/(1/(-16)). Let x be ((-20)/6)/(y/24). Solve -5*b + 10 = x*u, 2*b + 0*b - 10 = 4*u for u.
-1
Let a(u) = u - 5. Let j be a(8). Suppose -2*b + 7 = j*f, -6*f + 2*f = -5*b - 17. Solve g - 5 = 5*k, -5*g - 2*k + 25 = f*k for g.
5
Suppose n - 5*w - 52 = 0, -4 = -3*w + 4*w. Solve -3*b - 5*a = n, -4*a - 9 = -2*b - 1 for b.
-4
Suppose p - 5 = -3*m, -p - 3*p + 5*m + 3 = 0. Solve -2*c = 2*a - 8, -3 = -p*a + 5*c - 9 for a.
2
Let j(y) = y**2 - 9*y + 5. Let n be j(8). Let k = n + 6. Suppose -2*h - 3*h = -25. Solve -3*c - 1 = a + k, a + h*c = -10 for a.
5
Let b(q) = -q**2 + 3*q + 1. Let m be b(3). Let n = m + 1. Solve f + n*f = -3*k + 27, -3*k + f = -7 for k.
4
Let v be (-1)/8*-2*4. Suppose 0 = f + v, -i - 3*f = -0*f - 1. Solve -i*u - m - 2*m = -12, -2*u + 5*m + 6 = 0 for u.
3
Let t be (3 - 2)*6/2. Let z be 2*3/(-6)*-11. Let q = z - 9. Solve -q*g + h + t*h = -6, h = -5*g - 7 for g.
-1
Let h = -14 + 18. Solve p = -5*o - 8 - 11, -h*p = o for o.
-4
Let t be (-1)/(-3)*-5*-3. Suppose -y - 4*y - m + 26 = 0, t*m + 15 = 4*y. Solve 2*a - y = -5*k + 6*a, 2*a = 2*k - 2 for k.
1
Suppose 0 = -p - 2*p. Solve -2*c + 6 = -2*j - 4, p = -c + 5*j + 25 for c.
0
Let w be 2*(0 + 1)*3. Suppose -w = 2*b - 3*b. Suppose f - 13 = 3*u, 4 + b = 2*f - 2*u. Solve 6 = -5*o + f, 3*j + 2 = -5*o for j.
1
Let n(p) = -11*p**3 - 2*p**2 + 2*p + 3. Let q be n(-1). Solve -15 + 4 = 5*d - 3*j, 4*d = 2*j - q for d.
-4
Let d = 5 + -5. Let t be 4/8*d + 2. Solve -3*w + t*v = -14, -2*w + 0*v - 5*v + 3 = 0 for w.
4
Suppose 2*v - 44 + 2 = 0. Suppose 4 = 3*m + n, -5*m + 3*n + 38 - 8 = 0. Solve -k - v = 4*z - m, 0 = -3*k - 5*z - 26 for k.
-2
Let h = 13 + -10. Solve 5*a = -2*r + 13, -5*r - a = -h*a + 11 for r.
-1
Let c = -4 - -4. Solve -3*p - 2*p = 4*d - 31, 4*p + 2*d - 20 = c for p.
3
Let w(y) = -6 - y - 3*y + y - 2*y - y**2. Let g be w(-5). Let j be (g/(-4))/(18/24). Solve -2 = 5*f - 3*z, -5*z = -f + j + 2 for f.
-1
Let i(j) = 2*j - 11 - 9 + 7. Let z be i(10). Solve 3*h - 7*h = 3*o + 1, -4*h - z = -3*o for h.
-1
Let t(r) = r**2 - 4*r - 5. Let j be t(5). Suppose -z - 7*b + 3*b + 7 = 0, -3*z - 6 = 3*b. Let h = j - z. Solve -4*s = q + 2 + 1, 0 = 4*s - h*q + 33 for s.
-2
Suppose 3*m + 2*d = -162, -2*d = -0*m - 5*m - 286. Let z be (2/7)/((-8)/m). Suppose 12 = 2*v + z. Solve v*t - 2*j + 5*j = -30, -4 = -2*t + 2*j for t.
-3
Let q(u) = -4*u + 3. Let a be q(2). Let o = 10 + a. Solve o*c - 5 = -t + 15, -3*c - t = -10 for c.
5
Let h(z) = -z**2 - 11*z + 5. Let i be h(-11). Solve 4*l + 4*o = 32, 2*l + 2*l - i*o - 5 = 0 for l.
5
Let z be (-15)/6*(-8)/5. Solve 0 = 4*g - z*f + 16, -f = -3*g - 0*f - 12 for g.
-4
Let f(l) = 2*l - 14. Let t be f(10). Let k(u) = 2*u**2 - 8*u - 6. Let o be k(t). Solve -5*n + 2*x - 2 = 0, -4*x - o = 3*n - x for n.
-2
Suppose 2*k - 1 = 2*v + 3*v, 0 = -3*k - v - 24. Let d(o) = 2 + 1 - o - 7. Let j be d(k). Solve 3*f + c = 1, j*f - c + 1 = -0 for f.
0
Let u(i) = i + 5. Let k be u(0). Suppose -k*g + 108 = -g. Let w = -30 - -35. Solve 0 = -b + 4*j - 22, -5*b + w*j = -4*b + g for b.
-2
Suppose g + 0*g + 7 = r, 2*r = -5*g - 7. Let i be 0/(g + (-3 - -7)). Solve 2*d - 4 = 0, i*d = b + d + 2 for b.
