Let j = 5 + -8. Let v = 3 - j. Solve 2*a + v = 5*a for a.

Let u be (17 - 2) + 0/(-2). Let n = 17 - u. Solve 0*f = -f + n for f.

2

Let z(p) = 4*p**2 + 1. Let d be z(-1). Suppose -4*a - 25 = 5*b - 93, 13 = b + a. Suppose 0 = d*o - 5*t - 1 + b, 0 = 3*t - 12. Solve 4*n - 3*n + o = 0 for n.

-1

Let b be -1 + 2 + 7 + 8. Suppose 0*h + b = 4*h. Solve -q = -h + 3 for q.

1

Let k be (1*-1)/(7/(-35)). Suppose -k*y + 2*y = 0. Solve y = -5*v + 22 - 7 for v.

3

Let y(p) = 2*p**2 + 2*p - 2. Let t be y(2). Suppose 0 = -5*c + 2*b + 15, -5*b - 12 = 3*c - 2*b. Let s = 1 - c. Solve s = -2*h + 4*h - t for h.

5

Let m be 0/(¹⁄₁) - 0. Suppose 0 = -4*c - m*c. Suppose -f + 3*j + 74 = 3*f, -2*f + 5*j = -30. Solve 0*a - 5*a - f = c for a.

-4

Let g(b) = -b - 5. Let r be g(-8). Solve -r*i - 3 = -0*i for i.

-1

Suppose 3*n = -n + 20. Solve 2 = 3*y + n for y.

-1

Suppose 5*c = 5*f - f + 15, -f = -5*c + 15. Suppose -6 = -3*w - 3*i, -2*w + 3*i = i. Let x be (2 + w)*³⁄₉. Solve x = c*d - 2 for d.

1

Let q(h) = h**2 + 10*h - 6. Let x be q(-10). Let t = x + 10. Solve -3*s = -8 - t for s.

4