 - 5*j, 2*l - y*j - 19 = 0 for l.
-3
Let i = 15 - 13. Solve -8 = i*k, 5*x + 2*k = -k - 7 for x.
1
Let n be 1/(-4)*2*0. Suppose -2*v = k - 7, -4*v + 11 = k - n*k. Solve p + v*f = 4, 3*p - 4*p - 5*f + 10 = 0 for p.
0
Suppose 6 = -3*u, -3*g = -g - 2*u - 26. Solve -b = 3*x + g, -2*b + 14 = x - 4*x for b.
1
Let x(w) = -4*w - 1 + 4*w**2 - w**3 + 4 + w. Suppose 2*b - 1 - 5 = 0. Let s be x(b). Solve -s*v - v = 2*u + 2, 2*v + 4*u - 14 = 0 for v.
-3
Let w be (-1)/(-5 + 20/(3 - -2)). Solve c = -x - w, 0 = 5*x - 6*c + 3*c + 13 for x.
-2
Let d = 2 + 0. Let u be (-4)/10 - 81/(-15). Suppose -5*c + 15 = 0, 4*s - 3*c = 98 + u. Solve -d*h + o + 0*o - 11 = 0, 5*o - s = h for h.
-3
Let t = 21 + -17. Solve 3*z - 2*a = -4 + 17, 0 = t*z - 4*a - 24 for z.
1
Suppose -l + 2 + 1 = 0. Suppose -l*h + 5 = -22. Let t(a) = -a**3 + 8*a**2 + 9*a + 8. Let i be t(h). Solve 5*s = o + 3*o + i, o = -2 for s.
0
Suppose m - 16 = -2*z - z, 4*z = m + 26. Let o(x) = -x**2 + 3*x - 2. Let y be o(2). Solve 4*n - 2*n - 4 = y, 0 = 4*k + 5*n - z for k.
-1
Let n = 14 + -5. Suppose -3*u = 3 - n. Suppose p - 5*j = -2*p + 16, -4 = u*j. Solve -5*x - p*l = -25, 4*l - 35 + 0 = -5*x for x.
3
Let j(m) = -3*m - 6. Let k be j(-3). Solve -3*n = 3*h + 1 + 17, -k*h + 2 = -2*n for n.
-4
Let m = -4 + 4. Suppose -2*j = l - 8, 0 = 5*j + l - 15 + 1. Let d be 1 - (1 - j) - -2. Solve m = q - 0*q - 3*b + 3, -d*q + 5*b - 12 = 0 for q.
-3
Let x be 0/((3 - 0)*3/9). Suppose -2*h = -14 + 2. Solve 5*b - 8 = -p, -b = -2*p - x*p - h for p.
-2
Let n be (-3 - (1 + -4)) + -1. Let p be 6 + (9/(-3))/n. Solve 3*f = c - 1 + 18, 2*c - f + p = 0 for c.
-2
Suppose -2*r - 2*r = -16. Suppose m = -m + r. Suppose m*z + 1 = 23. Solve -q - 5*p = -z, 5*p + 2 = -2*q + 9 for q.
-4
Suppose 2*w = -2*w - 24. Let l = w + 13. Let a(n) = n**3 - 6*n**2 - 6*n - 7. Let v be a(l). Solve 2*c = 3*j - 16, v = -3*c + 2*j - 26 + 7 for c.
-5
Let f(w) be the first derivative of w**2 - 12*w - 3. Let h be f(8). Solve -h*m + 25 = -4*g + m, m - 5 = -2*g for g.
0
Suppose 0*o - 12 = -4*o. Suppose -3*h = -8*k + 3*k + 105, 5*k + o*h = 75. Solve -5 = m - j, -m - 5*j + k = 5 for m.
-2
Suppose -j + 0*g + 34 = 5*g, 2*g - 28 = -2*j. Solve -3*z - j = -2*r, 0 = 3*r - 0*z - 3*z - 6 for r.
-3
Suppose 2*p - 12 = -0*p. Let d = p - 4. Let j = 7 - d. Solve -k - 2*i + 24 = -j*k, -16 = -4*i for k.
-4
Let g be 63/(-14)*16/(-18). Solve g*b - 2*u + 5 = -13, -b = -3*u + 7 for b.
-4
Suppose 0 = -4*z + 4*r + 84, 5 = -4*z + 5*r + 92. Solve b - 5*j = -3*b - z, -4*b - 5*j = -2 for b.
-2
Let k be 21/(-3)*(-3 + 1). Solve 4*j + 5*d = -k, -2*j + 7*d - 2*d = -8 for j.
-1
Suppose 2*t + k = 9, 2*t + 3*k = 4*k + 3. Solve b + 4*g + 20 = -0, -t*b + g = -5 for b.
0
Let r(h) = h. Suppose -5 + 1 = n, 20 = 4*b - n. Let j be r(b). Solve 0*p - 9 = 4*k + p, -4*k + j*p + 16 = 0 for k.
-1
Suppose 4*j - 102 = 5*u, -4*j + 66 = 2*u - 5*u. Let c be (-176)/u + (-8)/(-36). Let o = 14 + -10. Solve o*d = -2*v + 4 + c, -5*d - v = -16 for d.
3
Let j = -4 + -16. Suppose 4*b - 8 = 2*r - 0*b, -9 = 3*b. Let u be 8/j + (-54)/r. Solve i + i - 4 = -u*y, 2*i = 3*y - 12 for i.
-3
Let r(s) = 2*s. Let l(g) = -g - 1. Let w be l(-2). Let x be r(w). Let m(k) = k**2. Let c be m(x). Solve 3*a - c*a + 3*v - 11 = 0, -3*v + 17 = 5*a for a.
1
Let r = -71 + 73. Solve 2 = 4*t - i + 1, -r*t - 5 = 5*i for t.
0
Suppose 12*m = 6*m + 18. Solve 5*z + 18 = 2*q, -z - 6*q = -m*q - 10 for z.
-2
Suppose 0 = -0*c + 3*c - 6. Suppose 4*u + c*f - 24 = 0, u - 6*f = -2*f - 12. Solve -u*w - j = 7 + 2, 0 = -w - 3*j - 5 for w.
-2
Suppose 3*y + 15 = 8*y. Let x(p) = -p**2 - 2*p + 0 + 2 + 7*p. Let n be x(5). Solve -27 = -y*u - 6*o + o, -22 = -4*u - n*o for u.
4
Let s(z) = -z**2 + 8*z - 7. Let y be s(6). Suppose 10 = 4*j - y*h + 3*h, 5*j - 2*h - 12 = 0. Solve -j*r = x, -5*x + x - 22 = -3*r for x.
-4
Let b be 3 + 1 - (-4 + 8). Solve b = -z - 5*y - 3, 4*z - 2*y = -y + 9 for z.
2
Suppose 0 = 5*v - 0*v - 10. Let a(r) = r**2 + r - v*r + 2 - 4*r. Let y be a(5). Solve 0 = 4*m + 2*q + 6, 9 = -5*m - 2*q - y*q for m.
-1
Let l = 8 - 5. Suppose 0 = -l*w + 4*w. Solve w + 1 = 2*c + 3*d, -c = -3*d - 14 for c.
5
Let k(w) = w - 1. Let j(m) = -10*m**3 - m**2 + m + 1. Let l be j(-1). Let x be k(l). Solve -5 = 5*c - 3*n, -4*n - 22 = -c - x*n for c.
2
Let l = 40 - 26. Let b be 2/(-7) - (-4)/l. Let g = b + 1. Solve 2*f - q = 6*f + 9, 0 = q + g for f.
-2
Suppose -7*x + 3*x = -16. Solve 0 = -3*a - a + x*t - 24, 4*a + 15 = t for a.
-3
Suppose q - 9 = -2*q. Suppose -3*z - z = -8. Suppose -66 = -z*o - o. Solve -x + 4*p - o = 0, 4*x - q = 3*x - p for x.
-2
Let t(n) = n**3 - 3*n**2 + 2*n - 4. Let v be t(3). Suppose v*q = -q + 12. Solve -8 = -q*l, 53 = -5*r + 5*l + 18 for r.
-5
Suppose m - 6*m = -25. Solve -m*h - y - 19 = 0, 2*h + y + 6 = -y for h.
-4
Suppose -2*o = 2*o - 12. Suppose n = 5*i - i - 66, o*i - 52 = 2*n. Solve 0 = -3*l - g - i, 6*g = 2*l + 3*g - 4 for l.
-4
Let s(u) = 2*u**2 - 2*u - 1. Let x be s(2). Let b be 2 + 8/4 - x. Solve -o - o - h - 11 = 0, b = -h for o.
-5
Let n(w) = -6*w**2 + 26*w + 2. Let c be n(4). Let s(v) = -v**2 + v + 2. Let f be s(2). Solve -2*r + f*r + 5*k + 10 = 0, 0 = 2*r - 3*k - c for r.
5
Let m be ((-3)/6)/(1/(-2)). Suppose -3*g - m = -37. Suppose 4*p - 8 = 3*s, -4*s = -5*p + g - 2. Solve -a - 4*x + 4 = -2, 0 = -x + p for a.
-2
Let x be 5/20 + (-38)/(-8). Solve 0 = -x*o + u + u + 12, o - 4*u - 6 = 0 for o.
2
Let y be 3/5 - (-365)/(-25). Let o = 18 + y. Solve 3*r + z + 10 = 0, -3*r - o*z + 6 = 1 for r.
-5
Suppose -5*h + 36 = 3*y, 2*y - 3*h = -2*h + 11. Solve -u + 6 = 3*f, 2*f - 7 - y = -4*u for u.
3
Let i = 7 + 1. Suppose 2*u + 0*u - 8 = 0. Let b = 17 + -9. Solve 5*l - f = b, l + i*f + 11 = u*f for l.
1
Let a be (0 + 0/4)/3. Solve -3*f = -4*w + 2*f + 26, 4*w + 5*f - 6 = a for w.
4
Let r be (20/(-4))/((-3)/18). Solve -3*t = -2*h - 6*t + 14, 0 = -5*h - 5*t + r for h.
4
Let n(m) = m**2 + 5*m - 10. Let c be n(-7). Solve v + 1 = -x, -2*v + 3*x - 4*x - c = 0 for v.
-3
Suppose 0 = -k - 1 + 3. Suppose g = k*g - 3. Let j = -6 + 10. Solve 5*r + s + 1 = 4*s, g*r = j*s - 5 for r.
1
Let y(j) = -3 - 6*j**2 + 7 + 7*j**2. Let o be y(5). Solve 4*h - 3*l = -o, -4*l + 1 + 16 = -h for h.
-5
Let z be 0/(5/(-9 + 4)). Let y = -7 - -11. Let o = y + z. Solve -5*d = -4*u - 5 + 50, o*d + 5*u = 5 for d.
-5
Suppose 3*i + i = 0. Suppose 3*f - 5 = 5*w, -w = -i*w + 4*f - 22. Suppose 4*l - 3 = -3*x, -l - 2*l - w*x + 3 = 0. Solve p - 2*k - 13 = -l, -2*p - 4 = 4*k for p.
4
Suppose 3*k - 16 - 17 = 0. Suppose -4 = -2*o - 8. Let s = k - o. Solve -3 - 1 = -2*x, -3*t - 5*x = -s for t.
1
Let h = 12 + -5. Let s = h + -5. Solve 5*y - i = -24, -s = -2*y - i - 13 for y.
-5
Let t(i) = i**2 - 2*i + 3. Let s be t(2). Let g = s - -2. Solve g*n + 5 = -5*j, 4*j - 6*j = 5*n - 1 for j.
-2
Let r be (0 - -2 - 8)/(-1). Let k be 0*(-2 - (-9)/r). Solve k = 3*i + 15, -i = -4*x + 2*i + 23 for x.
2
Let l(n) = -n**3 + 8*n**2 - 6*n - 5. Let y be l(7). Let a = 37 + -21. Let q be a/12*(0 + 3). Solve r = q*r + 4*s - 6, -2*r = y*s - 4 for r.
2
Suppose 0 = s - 2*x + 6, -3*x + 3 = -4*s + s. Suppose 13 = s*z + 5. Solve 0 = q + 2*h + 3 + z, 2 = 4*q - 3*h for q.
-1
Let l = -8 + 8. Suppose -6 = -3*j - l. Solve -v = 5*p + 7 + 12, 0 = -5*v + j*p - 14 for v.
-4
Let d(t) = 4*t + 3. Let b be d(-2). Let m = -3 - b. Suppose 3*g - 2 = -f + m*g, -5*f - g + 2 = 0. Solve f = -5*r + 4*l + 8 + 4, 0 = 2*r + 2*l - 12 for r.
4
Suppose 3*d - 7 - 2 = 0. Suppose -5*q - 10 = d*u, -3*u + 2*q + 4 = -u. Solve u = 4*g - 12, -5*x - 3*g - g - 13 = 0 for x.
-5
Let c(a) = -a**2 + 5*a + 2. Let z be c(5). Solve 0 = j + 5*h + 27, z = -h - 3 for j.
-2
Suppose -50 = -b - 4*c, 4*b + 0*b - 4*c - 200 = 0. Suppose -2*p = -7*p + b. Let l = p - 6. Solve q = -l*a - 10 + 1, -5*a - 4*q - 25 = 0 for a.
-1
Let p(r) = 3*r. Let q be p(1). Suppose h - 2*d = -0*h - 2, -q*h = 2*d - 10. Let s be h/5 - (-99)/15. Solve -s = 4*l - 3*b + 20, -b = -4*l - 17 for l.
-3
Let w(r) be the first derivative of -r**2 - 4*r - 2. Let q be w(-3). Solve -f + b = 1, q*b + 31 = 4*f + 5*b for f.
4
Suppose 4*h = -k + 21, -3*k - 5*h + 1 = -27. Let c = k + -4. Let r be (c/(-6))/1*8. Solve 5*n + 5*g + 6 = 1, -r*g = n + 13 for n.
3
Let t = -4 - -8. Suppose p + t*p = 10. Solve -4*l = 4*w - 7*l + 7, -4*w - p*l = 2 for w.
-1
Let p = 5 - 5. Suppose 2*m = -p*m - 8. Let j = -4 - m. Solve 3*l = -j*l, 0 = y 