Let a(w) = 3*w**2. Let x be a(1). Suppose 0 = x*t - 0 - 6. Solve 0 = -0*v + 2*v - t for v.

1

Let u be ((-10)/15)/((-1)/6). Solve -12 + 32 = u*d for d.

5

Suppose -10 = -4*n + 6. Solve n = -0*y - y for y.

-4

Let z(a) = -3*a - 1. Let y = 1 + -4. Let f be z(y). Solve -f = l + l for l.

-4

Let g(f) = 6*f + 1. Let q be g(1). Suppose -q*o + 8 = -3*o. Solve c + o = -0*c for c.

-2

Let i be 7 + -2*(-3)/(-2). Suppose g + 1 = 6*p - 2*p, 5*g - i*p = 11. Solve -t = -g*t - 10 for t.

-5

Let a = 12 + -12. Solve a = 5*l - 3 - 7 for l.

2

Let u be ((-4)/(-8))/(3/(-18)). Let h be (0/u)/(-2) + 2. Suppose h*q + 3*q = 0. Solve 1 = -q*o + o for o.

1

Let m be 374⁄18 - (-4)/18. Suppose -5*y = -2*y - m. Solve 0 = -4*n + y + 1 for n.

2

Let q be (-835)/(-55) - (-2)/(-11). Suppose 3*m - 6*m + 5*p - 17 = 0, 5*m - 5*p = -q. Solve r - m = -3 for r.

-2