Let j = -18 + 25. Suppose j*q - 13 = 1. Solve -4*d - 6 - q = 0 for d.

-2

Suppose 6*r - 2*r = 56. Let j be (12/r)/((-1)/(-7)). Suppose 0 = l - j*l + 10. Solve -2*t - l = -t for t.

-2

Suppose -9*v - 18 = -12*v. Solve v*l - 12 = 10*l for l.

-3

Let q = -13 - -20. Solve q - 2 = -v for v.

-5

Let y = 7 - 2. Let f be y + -2*(-2)/4. Let u be (18/(-15))/(f/(-20)). Solve 0 = a - 3 + u for a.

-1

Suppose -3 = -3*d - 2*b + 1, d - 5 = 3*b. Suppose -d*u + 4 = -2*i + 4*i, 4 = -i. Suppose -r - u = -3*r. Solve 17 = -5*z - r for z.

-4

Let a be (-3)/2*(-8)/6. Suppose -a*o = o. Solve o - 2 = -2*r for r.

1

Let c be (3/(-6)*-6 - 1) + -2. Solve c = -z - z for z.

0

Let w(x) = x**2 - 3*x - 2. Let l be w(4). Suppose l*n = n. Solve n = -7*f + 2*f for f.

0

Let m = 28 - 40. Let w be (-279)/m + 2/(-8). Suppose -5*p - 4*j + w - 3 = 0, 5*p = -j + 20. Solve 0 = p*b - 2*b for b.

0