 4*k - 5*d + u - 1, 5*k + 23 = -4*d for k.
-3
Let p be 0 - 3/(9/(-3)). Let s(q) = 3*q + 1. Let y be s(p). Solve -8 = 5*f - 3*i, y*f + 0*i = i - 12 for f.
-4
Let a(q) = -q**2 + 7*q + 10. Let l be a(8). Suppose -4*c + l = 5*r, -r + 5*r - 6 = -c. Solve f = 2*k - r, -4 = -4*f + 12 for k.
3
Let h = -9 + 5. Let k be (-2)/(-7) - h/(-14). Solve k = 5*l, -5*d + 4*l + l = -5 for d.
1
Let y be (10/(-15))/(1/(-3)). Solve 2*f = -n, f + y = n + 5 for f.
1
Let g = -473 + 476. Let b be (6/4)/(2/4). Solve -3*w + 2*f = 20, b*w - g*f - 4 = -28 for w.
-4
Suppose 2*j - 14 = -0*j. Let c be j/(-42) - 31/(-6). Let v(l) = l**2 + 5*l - 3. Let r be v(-6). Solve -c*q = -r*x - 34, 4 = -3*x - 5 for q.
5
Suppose 6 = 2*o + 2. Solve -16 = -3*q - o*r, -4*r - 12 = -4*q - 2*r for q.
4
Let g be 0 + -2 - -2 - 0. Solve -4*x = -m - 3*m - 4, 3*x - 4*m - 2 = g for x.
2
Let g be (2 - 3)*(-8 - -4). Solve 9 = -2*a + 1, -4*j - g*a = 32 for j.
-4
Suppose -8 = -j - 0*j - 2*l, -4*j = 4*l - 16. Let r = j + 5. Solve 2*n + 5 + 5 = 2*i, 0 = -3*n - r*i + 17 for n.
-1
Let h(o) = -o + 8. Let g be h(8). Suppose -z - 5 = g, -3*f - 2*f = z - 10. Solve i - 4 = 0, 0*q + f*q + 8 = -i for q.
-4
Suppose 2 - 10 = -2*z. Solve -8 = a - 3*s + 10, z*a + 5*s = 13 for a.
-3
Suppose 6*s - s - 2*s = 0. Solve s = -5*x - 15, 4*l - 7 = -2*x - 21 for l.
-2
Let b be (-18)/(-5)*(-195)/(-26). Solve x - 6 = r, 5*r + 1 = 3*x - b for x.
1
Let j(x) = 4*x - 12. Suppose -2*d + 4*d - 16 = 0. Let f be j(d). Solve y - f = -5*n, 2*y + y = n - 20 for n.
5
Suppose 3*b = 2*b + 7. Suppose 2*t - b = -1. Solve t*x + 14 = -0*w - w, 2*w + 20 = -4*x for w.
-2
Let a(g) = g**3 + 5*g**2 + 4*g - 3. Let v be a(-4). Let f(k) = -8*k - 4. Let z be f(v). Let t = -10 + z. Solve -n = 4*h - 2*h + t, -3*h + 4*n = -7 for h.
-3
Let n(c) = -c**2 - 7*c + 14. Let b be n(-6). Solve -4*x - 4*a + b = 0, -x + 0*a - 4 = -2*a for x.
2
Suppose 4*o = 2*v - 32, -5*v + 0*o = -3*o - 52. Suppose -v*j + 48 = -4*j + 5*h, 3*h = -4*j + 48. Solve -2*f - j = -3*a, 4 - 20 = -4*a + 4*f for a.
4
Let c = -52 - -55. Solve -2*q - 25 = c*q, -37 = 3*w + 5*q for w.
-4
Let r be (-2)/7 - (-24)/(-14). Let m be (27/(-6))/(r/8). Solve 6*d + 2*b = 2*d + 12, 4*b - m = -5*d for d.
2
Let q be 12/(-16)*(-5 - -1). Suppose 3 - 13 = -2*c. Suppose -4*g + 11 + c = -j, -g - j = 1. Solve g = 3*y + y + q*m, -y + 4*m = 23 for y.
-3
Let r(v) be the second derivative of v**4/6 - v**3/6 - v**2/2 + 7*v. Let z be 4 + (-3)/(6/4). Let o be r(z). Solve -4 = o*d - p, 2*p + 6 = -3*d - p for d.
-1
Let m(k) = -k**2 - k + 13. Let n be m(0). Suppose 5*z + 22 = -3. Let u = z + n. Solve -2*q = -5*t - 35, u*t - 4*t + 4*q = 0 for t.
-5
Suppose 0*q = 4*q + 8. Let k(m) = m + 10. Let h(t) = 1. Let u(f) = -6*h(f) + k(f). Let p be u(q). Solve -p*d + 14 = -2*c, 5*c + 3*d + 19 = -0*d for c.
-5
Let v = 0 + 0. Let b be (-5)/2*(0 - 2). Suppose 2*x + 3*p = 12, x - b*x + p = -52. Solve 4*t - 4*u + x = 0, 5*u + 2 + 3 = v for t.
-4
Let o = -22 + 41. Solve u = -3*s + 3*u + o, -5*u - 5 = s for s.
5
Suppose 0 = -4*f - u + 30, -f - u + 8 = 2. Suppose -f = -4*m + 2*m. Solve 3 = -3*v + m*d, -3 = v + d + 5 for v.
-5
Let l = 11 - 5. Solve 3*h + l = -0*h, y + 4*h = -9 for y.
-1
Let l(o) = -o**3 + 3*o**2 - o + 6. Let p be l(3). Solve -16 = -r + 3*h, r + p*h = -2*r for r.
4
Let c(y) = y**3 - 9*y**2 + 4*y - 33. Let i be c(9). Solve 3*b + 3*f = 24, 8 - 27 = -2*b - i*f for b.
5
Let d = 10 - 15. Let b = 9 + d. Solve m + 12 = 2*q - 0*m, -4*m = -b*q + 32 for q.
4
Let o(x) = x**3 + 7*x**2 + 8*x. Let k be o(-6). Let r be 3 - (-4)/k*-3. Solve r*y = -5*i + 16, i = -i + 8 for y.
-1
Let k = 37 - 11. Solve -w - 3*x = -0*w + 14, -4*x - k = 5*w for w.
-2
Suppose 5*l + 2 = 3*v + 33, 5*l - 21 = -2*v. Solve 0 = l*m + w + 3*w + 5, m - 5*w = -1 for m.
-1
Suppose 4 = 4*u - 4*j, 3*j - 6*j = -2*u. Solve u*q - 3*m = -18, -4*m = 4 - 16 for q.
-3
Let g(y) = y**3 + 11*y**2 - 12*y + 11. Let r be g(-12). Solve 5*u + r = 2*l, -l - 4*u + 7*u = -6 for l.
3
Let c(d) = d**2 - 18*d - 30. Let i be c(20). Solve 3*x - 2*a + 11 = -0*x, 0 = 2*x - 2*a + i for x.
-1
Suppose 1 = 2*j - 3. Solve -2 = 2*s - g - 3*g, -j = -g for s.
3
Let n be -3 - (3 + 0)*-3. Let p be 0/(-3*(-4)/n). Solve -4*s + 5*b - 12 = -p*s, 5*s + 15 = -5*b for s.
-3
Let q(l) = l**3 + 9*l**2 - 4*l - 10. Let m be q(-9). Suppose 4*p = m - 6. Solve p*z - 7 = -27, 2*s + 2 = z for s.
-3
Let k = -17 - -19. Suppose -6*i + i = -10. Solve -2*c + s + i = -k, -3*c - 4*s + 17 = 0 for c.
3
Let a be (-6)/21 - (-90)/21. Suppose 2*x + x = a*o - 36, 2*x = -8. Solve -r = 2*q + 2, -3*r = -q - o - 2 for q.
-2
Let d be -1 + -2 + 4 + 1. Suppose -1 - 1 = -d*s. Let w be s*(2 - -3) - 2. Solve z - 4*r = -13, z - 10 = 2*z - w*r for z.
-1
Let w be (0 - -1)/(16/48). Solve -2*i = -3*z - 8, 5*i + w*z - 20 = z for i.
4
Let h = -2 - -7. Let u(f) = f + 4. Let v be u(-2). Let n = 89 - 79. Solve v*k = -2*k, 0 = -h*p + 2*k - n for p.
-2
Let f = 7 + 12. Let z = -14 + f. Solve 0 = z*y + 15, 0 = 2*d + 2*y + 2 - 0 for d.
2
Suppose 2*j - 11 = 69. Solve 2*m + 3*m + j = -3*o, m - 10 = 3*o for m.
-5
Let q = 30 - -10. Suppose 4*b - q = 2*b - 3*a, 0 = -b + 3*a + 20. Let l be ((-4)/5)/((-8)/b). Solve -6 = -2*h + 2*r, -h + l*r - 9 = 7*r for h.
1
Suppose -t = 4*t - 40. Suppose -12 = -0*b + 3*b. Let r = -2 - b. Solve 4*l - 3*g + 23 = 0, 3*g - t = -l + r*l for l.
-5
Let j = 3 + -1. Suppose -n + 3*n - 6 = 0. Let t be 3*3/(-27)*-6. Solve -21 = -n*x + j*x - 5*f, t*x = 5*f - 18 for x.
1
Let i be 1/((-12)/(-10) - 1). Let g = -50 + 72. Suppose -4 = -2*u - 4*p, i*u - 3*p - g = -7*p. Solve m + m = y - 3, -y = m + u for m.
-3
Let b(s) = 3*s - s - 2*s + s - 2. Let n be b(7). Let j(w) = -w**2 + 6*w - 5. Let t be j(n). Solve 3*o + 3 = -3*i, 4*i + o - 1 - 4 = t for i.
2
Let c(z) = -z**2 + 6*z + 3. Suppose 2*w = 3*o + w - 18, -o + 5*w = -6. Let g be c(o). Solve 4*m + 16 = 5*t, 4*m + 3*t + 19 = g for m.
-4
Let n = 9 + -4. Let l(v) = 4 + 4*v + 0 + 0*v. Let r be l(n). Solve -r = -3*u + 3*x, 0 = -3*u - u + 2*x + 26 for u.
5
Suppose -f = -0*f - 2. Let p = f - 1. Suppose -2 - p = -y. Solve n + y*s + 7 = 0, -1 = -5*n + 5*s + 4 for n.
-1
Suppose -34 = -4*y - 6. Suppose u + 4*h = 3*u + 6, 0 = -4*u + 2*h + 12. Solve 4*m + 7 = a, 10*a - u*a + m + y = 0 for a.
-1
Let x(y) = y**3 + 5*y**2 + 3*y + 6. Let w be x(-4). Let z = -6 + w. Solve -9 = 3*o - q - z*q, 0 = 2*o + 2*q + 6 for o.
-3
Suppose -u - 2*b - 22 = -6*u, 3*b - 5 = -2*u. Suppose -c + 3*c - u = 0. Solve 2 = -2*f, f - 5 = 4*d + c for d.
-2
Let f = 129 + -120. Solve o + 3*t - f = 6*o, o = -3*t - 9 for o.
-3
Let r be (-5)/10 + 36/8. Solve -2*j - 1 = -j, r*v = -4*j - 4 for v.
0
Let j be 2/(-8) + (-386)/(-8). Suppose -4*b + j = -5*h, b - 2*b + 3*h + 12 = 0. Solve 2*a = -2*g - 16, -2*g - b = 3*a + 9 for a.
-5
Suppose 0 = -2*o + 4*n - 12, -6*o = -10*o + 4*n - 8. Solve -o*q - 8 = -4*w, -2*w - 4*q - 16 = -0*w for w.
0
Let a be (-16)/(-10) + (-6)/10. Let x be (-1)/(1/(a*-4)). Suppose -2*h + 10 + 0 = 0. Solve h*p = 0, x*y + 3*p + p - 8 = 0 for y.
2
Let s be (-6)/(-4)*(-3 + 52/12). Solve 2*l = k - 3*k + s, 4*k + 4 = 4*l for k.
0
Suppose 2*s = 5*y - 21, -1 = y + 3*s + 5. Suppose 0 = -h - y*h + 12. Suppose -h*a = -a - 4. Solve a*i = d - 6, i - 2*i - 17 = 3*d for d.
-4
Suppose 3*v = 5*p - 17, 0*v = -2*v + 2. Let c = 6 - 4. Solve 10 = -p*t - 2*r, 5*t + c*r + 0*r + 13 = 0 for t.
-3
Suppose -5*q + 0*q + 20 = 0. Solve 4*u + 22 = -5*k, -u + 0*u + 5 = -q*k for k.
-2
Suppose 0*y + 4*b + 5 = 3*y, 0 = b - 1. Suppose 0*r - 9 = -r - 2*j, -19 = -3*r - 2*j. Solve 2*o - 21 = -y*l + r*o, -o = 2*l + 1 for l.
2
Suppose 3*j = -j. Let c = 12 - j. Let o = 7 - 2. Solve -3*p - 12 = p - 2*g, o*g = 4*p + c for p.
-3
Let t = 9 + -9. Suppose t = 5*p - 0*p. Solve r + 4*j + 3 = 0, 2*r - 3 = -p*r + j for r.
1
Let b = -6 + 11. Suppose 3*y - 4 = y. Let j = -13 + 15. Solve -20 = -b*t, y*t - 1 = j*q - 3 for q.
5
Let p(r) = 17*r. Let n be p(-2). Let m = n + 64. Suppose t - 2 - 10 = 4*o, 0 = o + 2. Solve -3*c + t*s - 16 - 11 = 0, 3*c = 5*s - m for c.
-5
Let y be 20/9 - 8/36. Let a = y - -2. Suppose -5*p - a*h = -25, 5*h + 5 = -2*p + 3*p. Solve n + p = -4*n - 5*i, -i = 5*n + 5 for n.
-1
Let f(c) = -5*c. Let u be f(-1). Suppose u*g - 5*o + 6 + 4 = 0, 2*g - o = 0. Solve 2*i - 3*m - 8 = 0, -5*m - 14 = -3*i - g for i.
4
Suppose -p + 7 = -8. Solve 5*c = 2*g - 17, 5*g - 3*c + p = -2*c for g.
