k + 8 = 4*r - 0*k, r + 3*k - t = 0 for r.
5
Let l(p) = -7*p + 30. Let b be l(4). Solve 4*m - 10 = 5*i - m, -i + b*m = 0 for i.
-4
Suppose 0*a = -a. Suppose -2 = -2*j, 4*b - b + 2*j - 8 = a. Suppose -o - 24 = -b*o. Solve -2*u + 5*p - 4 + o = 0, 4 = -4*u - p for u.
0
Let x(a) = -11*a**2 + a**3 + 0*a**3 - 10 + 10*a - 9*a + 2. Let d be x(11). Solve 4*v + 25 = h + 6, 0 = d*h + 3*v + 3 for h.
3
Let s = 152 + -150. Solve -4*i - 14 = -2*z, -4*i = 3*z - s + 1 for i.
-2
Suppose 3 = -4*v + d + 7, 4 = -2*v + 2*d. Suppose 2*l = -v*m + 9 - 3, 5*l + 41 = 3*m. Suppose m = -4*k + 15. Solve 0*f - 6 = -k*x + 4*f, -3*f + 15 = 5*x for x.
3
Let r = 379 - 376. Solve -3*i - 6 = -r*g, -3*g + g - 2 = 0 for i.
-3
Suppose 2*n = 4, -2*n - 3 = -3*g + n. Let i = -95 - -29. Let s be (-186)/i + (-2)/(-11). Solve j + 2 = -g*o + 5, j = 3*o + s for j.
3
Suppose -u - 262 = -5*s - 28, -u - 93 = -2*s. Suppose s = 5*r + w, 0 = -8*w + 4*w - 12. Solve 2*n - r = 3*q, -10 = -2*n + 6*q - 2*q for n.
5
Let i(o) = -18*o**2 + o. Let g be i(1). Let z = g + 36. Let c = z - 16. Solve -4*r = -5*y - 9, 0 = -c*y + 3 - 6 for r.
1
Let d(y) = -y**2 + y + 2. Let n be d(-5). Let x be ((-40)/n)/(5/35). Solve 2*s - x = 2*o, -1 = -2*o - 11 for s.
0
Suppose 3*f - 5*q - 21 = -0*q, -q - 11 = -4*f. Solve w + w - 5*o - 13 = 0, f*w = 3*o + 11 for w.
4
Let o be -5 - 0 - -2*1/1. Let c be (6*(-3)/o - 1) + 0. Solve 0 = c*v + b - 3, b + 2 = 0 for v.
1
Let f(v) = 4*v**2 + 15*v + 36. Let a be f(-3). Solve 4*n = 5*n + 5*b + a, -4*b = -n + 18 for n.
-2
Let j(t) = -t**3 + 6*t**2 - 2*t - 9. Let v be j(5). Suppose 2*i - 6 = 2*m, -v*m + 3*m = -5*i + 11. Solve i = u + 4*d - 15, -3*d = -9 for u.
4
Suppose -12 = -2*n + 8*j - 5*j, 0 = -4*n - 4*j - 16. Solve n*k = k - l, -3*k - 32 = 5*l for k.
-4
Let z(a) = a**3 + 3*a**2 - 6*a - 6. Let p be z(-3). Suppose 0 = k + 3*k - p. Solve 0 = -2*j - 2*t + 4, 0 = 2*j + k*j + t + 10 for j.
-3
Suppose -5*b + 40 = 5*k - 4*k, -4*k + 139 = -b. Solve -u - 4*u = 3*j + 3, 5*j = 5*u + k for j.
4
Let w(g) = 5*g - 1. Let x(i) = 2*i - 5. Let j be x(3). Let l be w(j). Let r = -1 + l. Solve -15 = -5*q - r*u, 0*u - 4*u + 20 = -2*q for q.
0
Let f = 115 - 103. Solve -5*k - 2*w = 1, -3*w = w + f for k.
1
Let l(z) = 30*z + 65. Let x be l(-2). Solve -5*r = -2*o - 16, 2*o = -2*r - o - x for r.
2
Let u be 6 + 6 + 5/(15/(-21)). Solve 3*w + u*f + 3 = -0*f, -f = 3 for w.
4
Let z be ((-36)/8 + 3)/(6/(-8)). Suppose -4*m - 4*q - 7 = -3*m, -2*m - 4*q - z = 0. Solve 0 = -4*g + 2*k - 20, -m*k = 2*g + 2 + 8 for g.
-5
Suppose -114 = -38*j + 38. Solve -j*n + 2 = -0*r + 2*r, 3*n = 5*r + 8 for r.
-1
Suppose -5*s = -s - 20, 3*g = -2*s - 107. Let c = 39 + g. Solve -i = 5*l - c*i - 1, -4*l + 20 = -4*i for l.
1
Let q(x) be the first derivative of -x**2 + 9*x + 16. Let i be q(3). Suppose 0 = 3*p - 4*p. Solve -2*t + c + 2 = p, -3*t + c + 4 = i for t.
-1
Suppose 3*i = -71 - 16. Let r = i + 33. Solve -9 = -2*f + 5*s, 7*s = -f + r*s - 12 for f.
-3
Let x(y) = -2*y - 14. Let a be x(-6). Suppose 0 = -2*p - 5*l + 13 + 18, 2*p + 3*l - 21 = 0. Let f = p - a. Solve 2*h + q - 6 = 0, -2*h = -6*h - f*q for h.
5
Suppose -38 = -5*c + 3*p, 5*c + p = 3*p + 37. Solve 0 = -2*v - 5*a + 3, 4*v - v + 5*a = c for v.
4
Let x(i) = i**3 - 4*i**2 - 4. Let d be x(4). Let r = d + 25. Solve 28 = 4*y + 4*l, -r = -4*y - 2*l - 1 for y.
3
Suppose -4*w + j = -7, 25*j = -2*w + 27*j - 4. Let l(g) = -4*g - g**2 + 2*g + 3 - 2*g. Let b be l(-4). Solve -5*t = 2*o + 7, -o + w*t = b*o - 25 for o.
4
Let d(h) be the third derivative of -h**4/24 + h**3 + 12*h**2. Let m be d(3). Let j = 13 + -4. Solve -3*v - 2*q + j = 0, m*q + 0*q = -3*v + 12 for v.
1
Let b be 1/7 - 111*5/(-35). Suppose 5*l - 1 = x, 3*l = 5*x - l - b. Solve -5*r + 8 = 5*t - 3*r, 4*r - 16 = x*t for t.
0
Let g be ((-110)/165)/(2/(-24)). Solve -2*q - 6 = 0, q + g = 2*b - 5 for b.
5
Suppose 4*r - 5*b = -5, -6 = 3*r - 4*b - 2. Let t = -87 - -107. Solve 5*g + 4*i = -r*g + 20, 4*i = -2*g + t for g.
0
Let a(y) = -y**2 - y. Let p(m) = -4*m**2 - 11*m + 22. Let q(w) = -3*a(w) + p(w). Let u be q(-10). Solve 0 = -5*b - o + 5, 25 = -u*o - 3*o for b.
2
Let u be ((-68)/(-16))/(-17)*0. Suppose -3*h = -4*h + 13. Suppose 0 = 2*x + 3 - h. Solve 4*w - 3*c = -2, -x*w + u*c - 16 = 3*c for w.
-2
Suppose -1 + 4 = k. Suppose -k*w + 6*w - 18 = c, -9 = 3*c. Solve 0 = -n + 5, 2*y + w*n - 21 = -0*y for y.
-2
Let f(i) = 7*i - 152. Let q be f(22). Solve -r + 6*u = q*u - 19, r + 26 = -5*u for r.
-1
Let w(i) = -105*i + 1 + 11 + 104*i. Let m be w(8). Suppose 0*n - n = -m. Solve 5*f - 25 = -5*p, 0 = n*f - 4*p - 3 - 1 for f.
3
Suppose 4*j - 9 = 3*n + 2, 4*n - j = 7. Suppose n*u - 3*a = 6*u - 3, -2*u + 5 = a. Solve 0 = -u*x - 5*b + 15, -3*b = b + 4 for x.
5
Let v be -7 + (100/10 - 1). Solve 4*p = 0, -v*j + 2*p = -6*j - 8 for j.
-2
Suppose -4*j - 2*f = -0*f - 8, -4*j = 5*f - 14. Let g be -3 + 0 - 3/j. Let d be ((-2)/g)/((-1)/(-27)). Solve 4*o - 4 = 3*a + d, 4 = o for a.
1
Let d(a) = a**2 - 4*a - 8. Let k be d(6). Suppose -k*b = -7 - 13. Suppose 5*g + 2 = -23, -4*x + b*g = -37. Solve -10 = 4*c - 5*h + 2, -2*h + 14 = x*c for c.
2
Let k = -526 + 531. Solve -3*f + 4*n + 15 = 0, k*f - n - 8 = -0*n for f.
1
Suppose -7*r + 19*r - 48 = 0. Solve 5*s - 5 = r*m, 0 = -m - 2*m + s - 1 for m.
0
Suppose -6*k + 20 = -2*k. Let r = 8 + -4. Solve 3*i - k = r*i, 2*i + 4 = -3*x for x.
2
Let u = -727 - -732. Solve 5*x - 1 = -4*w, -3*x + w = u*w - 7 for x.
-3
Let h be 1/(5/6*6/(-15)). Let g be 52/(-48)*h - (-6)/8. Solve 0 = -2*z + 6*z + o - 15, -g*z - 2*o + 14 = 0 for z.
4
Let o(k) = -k**2 - 4*k + 6. Let l be o(-6). Let p be 2/(-3)*171/l. Let x = p + 6. Solve 3*j - 3*n - 15 = 0, -2*j - 3*j - 4*n + x = 0 for j.
5
Let u = 445 - 430. Solve 0 = 3*h + 4*o + u + 2, 0 = -3*o - 15 for h.
1
Suppose -8*f + 4*f = -120. Let x = 39 - f. Solve 5*i - 3*r = 17, -i = 4*i - r - x for i.
1
Suppose 764*t = 775*t - 33. Solve 0 = -3*x - t*o, 4*x - 21 = -o - 6 for x.
5
Let s be 1/(-2 + (-38)/(-18)). Suppose 0 = -m + s. Suppose -3 = -v + m. Solve l - v = 2*w, 3*w + 6*l - 2*l - 4 = 0 for w.
-4
Let z be (20/20)/(2/6). Solve 3*w = z*f - 3, 4*w + 27 - 11 = 0 for f.
-3
Let z = 768 + -768. Solve z*g - g = 4*r - 6, -r = -2*g - 6 for r.
2
Suppose 4*f - 12 = 2*r - 0*f, -r = 2*f + 10. Let v be (-3 + 3 + 1)/((-2)/r). Solve -12 = 2*o + 4*c, -v*o + 41 = 2*c - 7*c for o.
4
Suppose -5*v = -3*v - 5*t + 155, 161 = -2*v - t. Let b = -77 - v. Solve 12 = b*h + 3*k, -2*h + 14 = -k + 5*k for h.
1
Suppose k + 14 = 2*k. Let t = k + -11. Solve -2*s - t*s = -5*f, 0 = -2*s + 4*f + 6 for s.
-3
Let x = -1701 - -1704. Solve -15 = 4*v + j, -15 = x*v - 2*j + 10 for v.
-5
Suppose y + 4*y - 60 = -5*m, -2*m = 5*y - 72. Let t(x) = 3*x + 12. Let c be t(-5). Let b be c*(y/(-12) + 0). Solve -4*o + b = -l - 3*o, 0 = l + 2*o - 2 for l.
-2
Suppose 3*v = -15, v - 265 = -2*t - t. Let p = t + -87. Let c(u) = 2*u**2 - u. Let f be c(1). Solve 2*b + f = p*o + 7, 0 = -3*o - 6 for b.
0
Suppose 4*g - g = m + 13, 0 = -4*m - 5*g + 33. Let h be (m + 4)*1/2. Let y be (-10 + h)*10/(-7). Solve -2*q + 7*p = 3*p + y, 4*q - 10 = 2*p for q.
5
Let l be (-28)/(-1 - 1)*75/(-150). Let s be 1 - 10/(-1 - 0). Let f = l + s. Solve -50 = -5*x - 5*j, x - 6*x = -f*j - 5 for x.
5
Let w be (7 - 536/80)/((-1)/(-10)). Solve -5*j - 5 = -2*z, 2*j = -w*z + 4*z - 3 for j.
1
Let u = 11 + -20. Let r = -7 - u. Suppose -2*t + 6 = -r. Solve -4*m = 4*j - 28, 0 = -3*j - 9*m + t*m + 27 for j.
4
Let m(f) = 10*f - 5. Let j be m(2). Solve l - 5*c = 6*l + j, 6 = 2*l - c for l.
1
Let s be (-862)/10 + 56/(-70). Let l = -87 - s. Solve -7 = -o - 5*f, o + o - 4*f = l for o.
2
Suppose -42*h + 78 = -29*h. Solve 5*r = -b, 5*r = -h*b + 2*b for r.
0
Let a be 276/18 - (-2)/3. Suppose 40*j - 44*j = -a. Solve -3*u = 2*m - 25, -u = u - j*m + 10 for u.
5
Suppose 5*t + 4 = -2*m, 0*t + 14 = 4*m - t. Solve -m*y = 5*f + 1 + 2, 4 = -4*f - 2*y for f.
-3
Let r be (-4 + 13)/(3/9). Solve -5*z - 7 = 2*b - r, 5*z - 35 = -5*b for z.
2
Suppose 0 = l + 2*l - 6. Suppose 5*i - l*m - 19 = m, 0 = -4*i + 3*m + 17. Solve i*o + 19 = -5*g, g - 2*o = 5*g + 14 for g.
-5
Suppose 17*x + 72 - 106 = 0. Solve -4*k - x = 2*b, 3*b = -k - 0*k - 3 for k.
0
Let f(m) = 15*m**2 - 2*m - 1. Let b be f(-1). Let l = b + -13. Solve -28 = 5*v + y, -v + 4*y - 8 = l*v for v.
-5
Suppose 0 = -2*z + 2*n + 20, -2*n - 34 = -3*z - 6. Let q be (