Let p(l) = 8*l - 2. Let c(t) = -3*t + 1. Let q(f) = -11*c(f) - 4p(f). Let s be q(3). Let n be (12/(-8))/(-1(-2)/(-4)). Solve s*a - n*a = 3 for a.
-1
Suppose -t = -6*t + 10. Suppose -t*k + 10 = 3*k. Let z be (-6 - -6)*k/(-4). Solve z*r - 4 = -4*r for r.
1
Suppose -17*m + 15*m + 8 = 0. Suppose 4*x = 16 - m. Solve 0 = -3*i - 0*i - x for i.
-1
Let c = 22 + -20. Solve 0 = -b - c*b for b.
0
Let g(l) = 4*l3 + l2 - l. Let d be g(1). Let u = -1 + 3. Suppose -u*n + 4*n = 0. Solve -12 = -n*f + d*f for f.
-3
Let y be (57⁄6)/(2⁄4). Let p be ((y + 0)/1)/1. Solve -5*o - 1 = p for o.
-4
Suppose -11 - 9 = -10*t. Solve -b - t = 1 for b.
-3
Let p be 0 + -2 + (-3 - -19). Solve -2*w - p = -4 for w.
-5
Let b(s) = 6 + 3*s - s - 3*s. Let h be b(6). Let x be (4⁄6)/(1⁄6). Solve -5*y + 4*y - x = h for y.
-4
Let l(z) = 2*z + 28. Suppose 2*t - 2*x - 6 = 3*t, 0 = 2*t - x + 27. Let q be l(t). Suppose 4*u = 11 - 3. Solve u*m - 4 = q*m for m.
-2