 5, 2*j = 5*m for m.
2
Suppose -4 - 4 = -4*a, -2*k + 5*a - 4 = 0. Suppose -5*g = -5*l - 10, -k*g - 3*l + 3 = -9. Solve -g*o + 6 = -f - 3*f, -10 = -2*f - 5*o for f.
0
Suppose -z = 5 - 7. Solve 2*f = u - 11, -5*f - z*u - 23 = -3*u for f.
-4
Let m = -2 + 0. Let i = m + 4. Let w = 23 - 15. Solve o - i = -a, -3*a + 2*o = -w*a + 10 for a.
2
Let u = -24 - -28. Solve -5*p - 2*x = -3, 0*p + x = u*p + 8 for p.
-1
Let g = -10 - -11. Let n be (-16)/(-8)*(g - 0). Solve -2*z + 2*d = -n, -5*d - 28 = 3*z - 7 for z.
-2
Let p(b) = -2*b - 6. Let x be p(-4). Suppose -3*d - 3*g - 3 = 0, -5*d + x*g + 31 = -2*g. Solve -d*r = -5*a - 30, -4*a + 0*a - 22 = -2*r for a.
-3
Suppose -13*t = -2*t - 121. Solve -25 = -5*x - 5*f, 0 = -x - 3*f - 0 + t for x.
2
Suppose 4*i + o = -5, i - 2*o - 11 + 1 = 0. Suppose 2*y - 3*d - 65 = i, -3*d + 153 = 5*y - d. Solve -y = p + 4*p + 4*a, 20 = -5*a for p.
-3
Suppose 2*w + 12 - 20 = 0. Solve 0 = -w*l - 2*c - 14, l - 3*l + c = 1 for l.
-2
Suppose 0 = 5*m, 5*i + 4 = 7*i - 4*m. Solve 1 = n, -2*n - n - i = k for k.
-5
Let b(c) = -c - 1. Let t be b(-6). Let p be 50/(-5)*(0 - -1). Let f be (p + 16)*(-1)/(-2). Solve -3*s = -5*i - 7, -2*i = f*s - t*s + 6 for s.
4
Suppose -2*k + 3*a = -0*a, -3*k = 5*a. Suppose -2*f + 6 = -k*f. Suppose 3*c - 12 = 0, -i + f*c - 12 = -c. Solve -o + 3 = i*p + 2*o, -4*p + o = 17 for p.
-3
Let s = 5 - 11. Let l be -1*((1 - -2) + s). Solve -m = 4*f - 12, -l*f - 2*f - 5*m = 0 for f.
4
Let d(l) be the first derivative of l**4/4 + 7*l**3/3 - 5*l**2 - 11*l - 1. Let m be d(-8). Let r = 1 + 1. Solve -k = 2, -m*s + s - 16 = r*k for s.
-3
Suppose -2*w - 2*r + 28 = 2*w, 4 = 2*r. Suppose 8*f + w = 9*f. Let m be ((-20)/(-6))/((-4)/(-6)). Solve -f*j = -j - 2*h + 23, -2*j - m*h - 15 = 0 for j.
-5
Suppose 0 = -0*z - z. Solve -2*k = 2*t + 4, 4*k + 22 = 3*t - z*t for t.
2
Suppose -k - 5*z = 0, 4*k + z = 2*z + 42. Suppose -5*v = -0 - k. Solve -2*s - 9 = s - 5*a, 0 = -v*s - 4*a + 16 for s.
2
Let j = -24 + 40. Suppose 3*b + 5*l + 1 = 0, -25 = -0*b - 5*b - 3*l. Solve -3*q - o = -0*o - b, j = 5*q - o for q.
3
Suppose 6 = 5*m + 21. Let s be (m - 0)*(-14)/3. Solve -2*u + q + 4 = -2, 2*u - 5*q - s = 0 for u.
2
Let r(y) = y**3 - 2*y**2 + y. Let j be r(1). Solve j = 3*a - t - 13, -15 = -a - 4*a - 5*t for a.
4
Let o be -1 - -9*(-6)/9. Let i = 12 + o. Solve 11 + 3 = i*x + h, 4*x = 2*h + 14 for x.
3
Let s(o) = o**3 + 7*o**2 + 12*o + 12. Let f be s(-5). Solve -a + 7 = 3*d + a, -f = -a for d.
1
Let c = 192 + -185. Solve 0 = 5*v - 4*h - c, v + 13 = -2*h - 2*h for v.
-1
Let x = 22 - 20. Let u(t) = t**2. Let f be u(-4). Suppose x*d - f = -2*d. Solve 0 = -d*p + z - 25, -2*z + z + 10 = -p for p.
-5
Let d = 32 - 18. Suppose 0 = -3*p + 5*n - d, 0*p + 3*p - 10 = -n. Solve 2*z = k - 3*z - 24, p*z = -8 for k.
4
Let b(s) = 2*s**2. Let o be b(-3). Let q be -5*(o/10)/(-3). Let j = -1 - -4. Solve -j*u + 14 = 2*l, l + 12 = q*l + 2*u for l.
4
Let n = 1 - -2. Suppose -3*h = a - 12, -3*a + 13 = n*h - 5. Solve -4*q = -5*r - h, 0*q + 3*r - 3 = 4*q for q.
-3
Suppose 4*q = 2 + 6. Solve 4*y + 2 = -2*v - 0*y, 2*y - 4 = -q*v for v.
5
Suppose -5*n + 56 = 3*s, -3*s = 4*n - 2*s - 42. Solve -n = -4*x - 3*q, -x + 7 = -3*q - 3 for x.
4
Let k(h) = 7*h - 4. Let d be k(4). Let f be (3/2)/(d/80). Solve 5*j + 10 = 0, v - 3*v = f*j + 6 for v.
2
Let t be (4 - 1)/3*-5. Let b(m) = m**2 + 6*m + 5. Let i be b(t). Let u be -2 - (i + -2)*1. Solve u = -5*o - 2*d + 23, -o + 2*o - 2 = -3*d for o.
5
Suppose 0*m = b + 2*m - 1, 0 = b - 2*m - 9. Let i = b + -5. Suppose i = 5*u - u - 144. Solve 0 = -3*d + 3*g + 9, 3*d - 10 = -4*g - u for d.
-2
Let a be (-34)/(-3) - 8/(-12). Let i be 10/4*(0 + a). Solve 5*f + 36 = 3*p - 4, -i = 2*f - 4*p for f.
-5
Suppose -2*w + 5*w = 0. Let f(i) = 6 + 0*i + 8 + w + i. Let l be f(-10). Solve 2*a = k, 3*a = -l*k + 2*k for k.
0
Let g(q) = q - 2. Let i be g(0). Let d = i + 8. Solve 4*k = 20, -7 = -4*w - d*k + 3*k for w.
-2
Let s(r) = -2*r**2 - 13*r + 9. Suppose 2*j = 5*i - i + 26, j + 15 = -2*i. Let t be s(i). Solve -4 = -2*g + 4*g + 3*o, 0 = -t*o + 4 for g.
-5
Suppose -4*u - 30 = -q + 2*q, 0 = 5*u + 5. Let z be 81/2 - 3/6. Let f = q + z. Solve o - 4*x = -f, -4*o - x - 3 = -o for o.
-2
Suppose 0 = -4*h + 20, 0*d + 1 = d - 3*h. Suppose -61 = -5*p - 3*t + d, 5*p + t = 69. Solve 2*r - 5*x = -x + 2, p = r + 4*x for r.
5
Let l(f) = 2*f - 1. Let n be l(3). Suppose -5*g + h - n*h + 12 = 0, -8 = 4*h. Solve -g*m - 4*z = z - 27, -5*m - 2*z = -21 for m.
3
Suppose 0 = -2*l + l. Let s be 1/(-4) + 21/4. Solve l = -s*v - 3*a + 25, -a - 2*a + 19 = 2*v for v.
2
Let l be (9 + -7)/(2/7). Let n be 2/l + 40/7. Solve -3*w - 3*u - 2*u + n = 0, 0 = 4*w + 2*u + 6 for w.
-3
Let q(d) = 4*d - 4. Let m be q(2). Solve 3*v + 13 = -0*w + m*w, 5*w = v + 8 for w.
1
Let i(f) = f + 3. Let n be i(3). Let l be (-20)/(-6) - 2/n. Solve -x - l*x + 3 = -3*d, 4*x - 27 = -5*d for d.
3
Suppose -4*k - 17 + 47 = 5*x, 5*k - 27 = -x. Let s(d) = -d**2 + 10*d - 20. Let u be s(4). Solve 3*p + 24 = -3*a, x*a - p = -3 - u for a.
-5
Suppose 2*r + 2 = 8. Suppose -3*h + 4*y + 0*y + 19 = 0, -3*y - 13 = -2*h. Solve r = 3*c - h*m + 2, 4 = 4*m for c.
2
Suppose 3*o + 6 = 5*o. Solve 2*n + 8*h = o*h + 5, n = 2*h - 11 for n.
-5
Suppose 2 = 2*c - c. Solve 5 = -0*i - c*i - 3*v, -2*v - 10 = -2*i for i.
2
Suppose -5 = -3*f + 2*f. Let n be ((-19)/(-5))/(f/25). Solve -48 = -4*j - 5*u - 7, j = -3*u + n for j.
4
Let f = 5 + 1. Let u = -2 + f. Let a be (4/(-3))/(6/(-90)*5). Solve -5*s = m - 26, -a*s = -u*m - 11 - 5 for s.
5
Let f = 21 - 18. Solve -7 = f*v + u, 3*v - 2*u - 9 = u for v.
-1
Suppose -11 = -5*n + 2*n - 2*r, 5*r = 5. Solve -4*x + i - 9 = 0, -5*x = -2*i + n*i for x.
-1
Let f(g) = g + 15 - 5*g**3 + 2*g**3 + g**2 + 4*g**3 + 0*g**3. Let j be f(0). Solve x = 3*x + 2*o + 2, -x - 5*o + j = 0 for x.
-5
Let o(j) = j**3 + 5*j**2 - 5*j + 6. Let d be o(-6). Suppose 2*r - 1 - 17 = d. Solve 3*w = 12, -31 = 3*h - 4*w - r for h.
-2
Let s = 6 + -4. Suppose -5*d = -j - 25, 5 = d + 3*j + s*j. Let f = 7 - d. Solve -a - 4*g = -f*a + 11, -3*g = -3*a + 6 for a.
-1
Let l(w) = w**2 + 11*w + 19. Let z be l(-9). Solve j + h - z = 0, -j + 2*h = -6*j - 1 for j.
-1
Let v be (-1)/((-5)/(-4))*-5. Suppose k - v*k + 9 = 0. Suppose -33*o + 32*o = -3, -1 = 4*t - 3*o. Solve 3*f - 2*p = -6, f - t*p + k*p = -7 for f.
-4
Let d be -1 + 4 + -1 + (-4)/(-2). Solve 3*m = -4*w + 8, -m = 5*w + d*m - 15 for w.
-1
Suppose 37 = -4*j + 13. Let o(z) = -z**3 - 5*z**2 + 6*z + 4. Let b be o(j). Solve 0*c = -b*l - c - 3, -5*l = 5*c - 15 for l.
-2
Suppose -4*u - 1 = r + 4, 4*u + 4*r + 20 = 0. Suppose -65 + 2 = -3*t. Suppose 4*j = 5*l + 2, 5*j = -4*l + 2 + t. Solve -m + 2*n = u, -j = m + n - 0 for m.
-2
Let o(t) = -t**2 + 11*t - 5. Let b be o(10). Suppose -b*p = 2*v - 11, 4*v + 0*p = 2*p + 10. Solve -q + v*a + 13 = 0, 3*q - 5*q + 1 = -a for q.
-2
Suppose 2*l - 3*v + 21 = 0, 34 = -4*l + 5*v - 3. Let h(f) = -6 - 4*f + f + 3. Let q be h(l). Solve 2*o + q = 0, -2*a + 0*a = 4*o + 4 for a.
4
Let x = 7 - 6. Let z be (x - 5) + 9 + -1. Let k(d) = -d**3 + 5*d**2 - 2*d - 4. Let y be k(3). Solve z*l + r - y = -4*r, -5*l - r + 10 = 0 for l.
2
Let d(y) = -y**2 - 10*y - 20. Let x be d(-6). Solve 4*i = -v + 11, 0 = -x*v - 5*i + 2 + 9 for v.
-1
Suppose 4*p + 3 = -5. Let w = p - -2. Suppose -4*o + 5 + 11 = w. Solve 0 = -o*b + 4*q + 8, 2*q + q = -4*b + 22 for b.
4
Let b = 18 + -14. Solve 2*m + 2 = -b*h, -17 = -6*m + 2*m - h for m.
5
Let f(h) = -h**3 - 4*h**2 - 2*h - 5. Let v be f(-4). Suppose v = 3*r - 3. Solve -r*u + 4*l = 3*u - 12, l - 10 = -2*u for u.
4
Suppose 22*p = 27*p. Solve p = -2*r - 0*r - 3*k + 14, 4*r = -4*k + 24 for r.
4
Let m be ((-2)/(-2))/((-13)/(-299)). Solve 0 = -5*d + r - m, -3*d + 4*r - 6 = 1 for d.
-5
Let z(v) = -7 + 0*v**2 - v**2 + 6*v + 4*v. Let q be z(8). Solve -3*h - b + 0*b - q = 0, 5 = -4*h + b for h.
-2
Let i = 8 + -4. Suppose -y + 0 = -i. Let k(n) = n**3 - 6*n**2 - 7*n + 4. Let c be k(7). Solve u + 0*w = y*w + 20, c*u - 5 = w for u.
0
Let n(g) = 2 - g**3 + 3*g - 1 - 2 + 4 - 2*g**2. Suppose 3*o = -2*q - 5, -3*q + 9 = -5*o - 12. Let c be n(o). Solve -13 + 1 = 3*f - c*p, -2*f - 4*p = 14 for f.
-5
Let s(t) = 6*t**2 - 2*t + 1. Let l be s(1). Let h = l + -3. Solve -16 = -h*x + 2*v, -4*x + v + 40 - 17 = 0 for x.
5
Let g(p) = p**3 - 2*p**2 - 2*p + 1. Let v be g(4). Suppose 4*y = -2*z +