e 2*d + t*b - 16 = a, 0*d + 4*d - 5*b + 13 = 0 for d.
3
Suppose -8 = -7*p + 3*p. Solve 3*v + 14 = -5*r, -r - 5*v + p = -2*v for r.
-4
Let q(x) = -26*x**3 - 2*x**2 + 1. Let z be q(-1). Solve 2*b - 11 = -o - 0, 0 = -5*o + z for b.
3
Let n(v) = -6*v. Suppose 4*l + 2 = -2. Let p be n(l). Let x = -6 + 6. Solve 11 = u + 5*k, 4*k + x - p = 2*u for u.
1
Suppose -4*i = -7*q + 3*q - 36, -2*i + 5*q + 21 = 0. Let b be i/12*(-27)/(-2). Solve -3*f = 4*g + b - 1, -3*f = -g - 2 for f.
0
Suppose -4*u + 6*u - 8 = 0. Let y(k) = k**3 - 2*k**2 - k - 1. Let v be y(3). Solve 2*c - 12 = u*f, f - 6 - v = 4*c for f.
-5
Let i(q) = -6*q - 5. Let t be 4/(-18) + 194/(-18). Let x(d) = d + 1. Let g(f) = t*x(f) - 2*i(f). Let o be g(3). Solve 3 = b, r - b = -o*b + 5 for r.
2
Let h be (2/(-8))/((-2)/8). Solve 2*z - h = 4*s + 13, 5*s - 5 = -2*z for z.
5
Let d be -2 + 1 - 45/(-15). Solve 0 = -6*r + 4*r - d*k + 2, 0 = r - 2*k - 4 for r.
2
Suppose -3*t - 39 = -8*t + 3*n, -12 = 4*n. Suppose 3*v - 6*v + t = 0. Solve -z - 2 = 3*f - 0*z, -v*z = -4*f - 16 for f.
-2
Let s be (7/3)/((-3)/(-18)). Suppose 0*u - u = -4*g - 4, 0 = -u - 2*g - s. Let w = -2 - u. Solve 0 = -5*h + f - w, -h + 4*f = 4*h + 9 for h.
-1
Let x = 9 - 1. Let h(a) = 4*a - 9. Let w be h(x). Suppose -5*c = 2*n - 11, 2*n + 2*n - c = 11. Solve 2*g = -n*o + 6*g - w, -21 = o - 4*g for o.
-1
Suppose 4*i = 13 - 5. Let d be (0 + 2)/(0 - (-2 - -1)). Solve 2*a = h + 8, -a - i*h - 7 = -d*a for a.
3
Let u = 1 + -4. Let z be u + 6/(-2) + 10. Solve -3*n + o - 15 = -4, 2*n - 4*o = -z for n.
-4
Suppose -g = -3*g + 12. Suppose 2*j - q - g = -0, j = -3*q - 4. Solve -4*r - 3*o - j = 0, 2*r = -3*r + 3*o - 16 for r.
-2
Suppose a + 5*h - 12 = 2*h, 0 = -5*a + 2*h + 9. Let t be 8*(2 - (3 - a)). Let f(b) = 2*b. Let l be f(2). Solve -2*r + t = 2*i - l*r, 3*i - r - 18 = 0 for i.
5
Let w(d) = -2*d + 1. Let c be w(-2). Suppose c = 2*h - 3. Solve -3*s + 5*n + 11 = 0, -4*n = -2*s + h*s for s.
2
Let d = -10 - -14. Let p = 2 - 0. Let y(n) = n**2 - n. Let v be y(p). Solve u - 3 - 1 = 4*f, v*u = 4*f + d for u.
0
Let b(c) = c**3 + 5*c**2 + 6. Let r be b(-5). Suppose r*n - n = 0. Suppose n = 4*s - 3 - 1. Solve -5*o - 4*p = -11, -o + 5*p + s + 7 = 0 for o.
3
Suppose 0*n = 5*n - 20. Let o be n/(-1 + 4 + -1). Suppose -4*d + 9 = -2*y - 3, -o*d + 14 = -5*y. Solve 0 = d*w - 7*w - q, q + 1 = -4*w for w.
1
Suppose 24 = 3*k + k. Suppose -2*x = -x + 5. Let l(i) = -3*i - 7. Let c be l(x). Solve c*r - k = -4*s + 3*r, -r + 6 = 2*s for s.
4
Suppose 8*o - 12*o = 0. Let z = o + 0. Solve 5*w = -z*w - c + 18, 14 = 5*w + 3*c for w.
4
Suppose 5*x + 3*h = 15, -h + 5 = -3*x + 2*x. Let y be (2/(-2) - x) + 4. Let n = -3 + y. Solve 4*s = 5*z + 29, -3*s = -n*s - 3 for z.
-5
Suppose -25 = -u + 4*o - 3*o, 0 = -5*u - 2*o + 160. Solve 4*i - 17 = -k + 2*k, -u = -3*i - 5*k for i.
5
Let j(p) = 2*p**3 - 2*p**2 - p - 2. Let z be j(2). Let l = -1 - -1. Let s = z - l. Solve -2*k - s*f + 3*f = 4, 3*k + 11 = -4*f for k.
-1
Let r be (-16)/(-4) + 4*-1. Suppose r = -v - 3*q + 35, -q + 6*q = 3*v - 35. Solve -4*f = 4*i - 0*i + v, 3*f - 20 = 4*i for f.
0
Suppose -h = -0*f + 5*f - 22, -h - 18 = -5*f. Suppose 4*l = -h*l. Solve l = -4*y + 20, 3*y = 4*d + y + 18 for d.
-2
Suppose -i = 4*i + 4*t - 16, 3*i + 5*t = 7. Suppose -5*r + 5*h = i*h - 64, 0 = h + 4. Solve -b = 4*u + 6 - 21, -u + r = 3*b for b.
3
Let u(f) = -f - 2. Suppose -3*m + 2*m - 6 = 0. Let p be u(m). Solve -a + p = -q + 6*q, 2*a + 5*q - 8 = 0 for a.
4
Let y be 45/(-15)*34/(-6). Solve -5*t + y = 3*o, -t = 4*t - 5 for o.
4
Let z(i) = 4*i**2 + i - i**2 - 2*i**2 + 2 - 2*i**2. Let y be z(2). Suppose y + 42 = 3*o. Solve -o = 4*q - 3*w, -2*w = q + 3*w - 8 for q.
-2
Let u be (-147)/(-14) + (-3)/(-2). Let t be (0 + 1)/(4/u). Solve -5*i + 1 + 14 = -5*p, -t*p = 0 for i.
3
Suppose 55 = 22*p - 33. Solve -c + 3*j + 14 = p, -7 = 2*c + 3*j for c.
1
Suppose -2*v = -5*v - 3*m + 3, 2*m = -v - 1. Solve v*j - 4*k + 6 = -k, -k - 3 = 4*j for j.
-1
Let g be ((-6)/12)/(-1 + (-33)/(-36)). Solve 0 = z + 3, 5*z + 6 = q - g for q.
-3
Let w(t) = t**3 + 3*t**2 - t + 1. Let k be w(-3). Solve 2*h + k*r + 1 = r, -3*h - 5*r = 0 for h.
-5
Let k(j) = -j - 2. Let q be k(-5). Solve -q*x - 3*i = 0, -4*x + 0*i = i - 9 for x.
3
Let z(b) = -4*b**2 + 8*b + 1. Let h be z(2). Let p = -13 - -19. Suppose -p = 3*i - 5*i. Solve -h = 3*c + 5*n - i, -n = -2*c - 3 for c.
-1
Suppose -m = -2*t + 4, 0 = 4*t + m - 0*m - 8. Let o be 4/(-8)*-3*t. Solve -o*p + 24 = -3*k, 2*p - 3*k = -3*p + 34 for p.
5
Let v(s) = s - 3. Let l be v(0). Let c be (l + 2)/((-3)/(-6)). Let u be c/(-1) + 1*2. Solve u*k = 3*j + 24 - 1, 3*k - 4*j - 19 = 0 for k.
5
Let a(g) = -g**2 + 9*g + 10. Let v be a(10). Suppose -s = -v*s. Suppose 5*h - h - 20 = s. Solve -5*b - 33 = -r + 3*r, -h*r - 4*b = 40 for r.
-4
Suppose -11 = -5*z + 3*a, -10 = -z - 0*z - 2*a. Solve z*t = -c + t - 2, -4 = -3*c + t for c.
1
Suppose 2*n - 24 = 4. Solve 5*l = -2*x + 16, -5*l + n = -2*x - 10 for x.
-2
Let h(z) = -9 + 0*z + z - 2*z + 0*z. Let w be h(-9). Solve 4 = -4*a, 0 = 2*n + 2*a - w - 6 for n.
4
Let r(q) = q**3 + 2*q**2 - q. Let p be r(-2). Solve 6*v - 11 = 4*v + 5*h, 3*v - p*h = 0 for v.
-2
Let h be 6/(-6)*(0 + -2). Solve 0 = h*d - 7*u + 3*u - 10, 4*u = 5*d - 1 for d.
-3
Suppose -2*c - 2*c + 12 = -3*w, -5*w - 20 = 4*c. Let i be (16/w)/((-2)/4). Solve 0 = -3*d + 5*q - 2 - i, -2*d - 2 = -q for d.
0
Let u(h) = h**2 + 15*h + 13. Let g be u(-15). Solve 0 = -8*x + 3*x - 10, 2*x + g = 3*l for l.
3
Suppose 2*j = -j. Solve j = -5*g + 25, -5*n + 4*g - 20 = -n for n.
0
Let q be -1*(3 - (-2 + 5)). Solve 2*f - c + 7 = q, 5*c = -2*f + 8 + 3 for f.
-2
Let g be 468/126 - (-2)/7. Solve 4*z + 6*y - 2*y = 32, -g*y = -4*z for z.
4
Suppose 0 = 5*n - 18 + 3. Let g be (-12)/(-30) + (-13)/(-5). Solve -g*k + 31 = 5*c, -3*k - 7 + n = -2*c for c.
5
Suppose -d - 3*w = -6*d + 44, -4*w + 23 = 5*d. Let v be d - 2/2 - 2. Suppose -4*j = 4*z - 32, v*j - 4*z + 4 = -4. Solve 3*r = 3*s, 0*r - 2 = -j*r + 2*s for r.
2
Let b(r) = -r**2 + 4*r + 5. Let w be 0 - 0 - (-15)/3. Let v be b(w). Solve 0 = 3*j + q - 19, -q + v = -4 for j.
5
Let f = -21 + 13. Let z = -4 - f. Solve 0*l = z*n + 4*l - 12, 2*l = n + 6 for n.
0
Let j be (-2)/3 + (-11)/(-3). Suppose 6*v - 21 = -v. Solve j*a - d + 1 = -2*d, -d - 1 = -v*a for a.
0
Let d = -5 + 8. Suppose d*a - 1 = 2*a. Let v = -5 - -10. Solve 5*r + 24 = u, 5 = -v*r - 4*u + a for r.
-4
Suppose -3*v + t = -64 + 24, -4*v = -3*t - 60. Let r be ((-8)/6)/((-4)/v). Suppose 5*q = 24 - 4. Solve -q*k + 20 = -r*y, -2*y + y = k - 1 for k.
3
Suppose -y - 2*f + 19 = 2*y, -y + 2*f = -1. Solve -2*l - 3*s + 13 = 0, -2*l - 5*s = -14 - y for l.
2
Suppose -a = -3 + 1. Let l be (-3 + 9)*a/(-4). Let n be (-1)/(3/(6*l)). Solve 3*w - 3*s = 0, 2*s + 8 = -5*w - n for w.
-2
Let m(t) be the first derivative of -t**4/4 + 14*t**3/3 - 6*t**2 - t + 5. Let i be m(13). Let a = 30 - i. Solve -2*b = -4*n - 12, -2*n - b - a = 2*n for n.
-4
Let v = -19 - -29. Let w(u) = u**3 - 4*u**2 + 5*u - 2. Let x be w(3). Suppose -x*n = -2*n - v. Solve 0 = -4*l - 2*b - 24, 3*l - n - 3 = 5*b for l.
-4
Let u = -3 - -6. Suppose -5 = -u*z + 1. Solve 0*m = -3*m + w - 3, z*w = -5*m - 16 for m.
-2
Let m be (-1)/(6/(-3))*0. Suppose m = r + 3*r. Suppose -51 = -3*w - r. Solve -n - 2*t = -0*n + 1, 4*n - w = -t for n.
5
Suppose 3*q = -0*q + 9. Suppose 2*d - 25 = -5*h, -4*d + 1 = -q*h - 10. Solve -5*u + 7 = s, -h*u = -2*s + 4*s for s.
-3
Let d = 118 + -117. Solve -j = 2*t + t + d, 4*t + 5*j + 5 = 0 for t.
0
Suppose 31 = 4*j - 3*q, 2*j - 2*q - 6 = 12. Let c be 2/(4/6 + 0). Solve j*s - 6 = -k, -c*s + s = -k for s.
1
Suppose 3*z - 3*h = 12, -5*h - 16 = -0*z - 3*z. Solve -3*v - 9 = 3*p, p = 2*v - z - 1 for p.
-3
Suppose -13 = -2*z + f, 10 = 4*z - 2*z - 2*f. Solve z = -3*c + 2*l, 2*c + 3*l - 10 = 2 for c.
0
Let k(r) = r**2 + 2*r + 3. Let b be k(-2). Suppose 0*u = x - u - 1, 3*x - 21 = -b*u. Solve 2*y - x*j - 4 = 8, -2*y - 2*j - 6 = 0 for y.
0
Let s = 0 - -2. Suppose 2 = f - 2. Let j(y) = 13*y**2 - y. Let l be j(-1). Solve -1 - l = 5*q + 5*a, f*a = s*q for q.
-2
Let b = 6 + 0. Solve -d = 2*s - b*d + 20, 3*s + d - 4 = 0 for s.
0
Let t = -33 + 53. Suppose 0*j = -5*j. Solve j = -5*i + w + 2 - t, -4*i = -3*w + 21 for i.
-3
Suppose -6*r + 2*r = -20. Suppose 2*n + r = 3*n. Solve -3*t + 11 = -4*z, -5*z + n*t - 15 = -0*z for z.
-2