Let f(t) = 9*t + 58. Let z be f(-6). Solve 3*c - 1 = -z for c.
-1
Suppose -3*b - 12 = -6*b. Solve 0 = d + 5 - b for d.
-1
Let y = 3 + 0. Let o = -1 - -1. Let z = o - 0. Solve z = -0*b + y*b - 3 for b.
1
Suppose 5*m - 2*m = 3*h - 6, -4*m + 28 = 5*h. Solve h = 2*c - 2 for c.
3
Let r be 24⁄9 - (-4)/(-6). Suppose -5*f = 4*y + 8, -f - 2*y = 2 + r. Let n(w) = w**2 - 7*w - 5. Let c be n(8). Solve -c*v + f = -3 for v.
1
Let l(f) = -f - 3. Let i be l(-3). Let u = -6 - -5. Let j = u + 5. Solve -4*r + 3*r - j = i for r.
-4
Let g be (9/(-6))/((-6)/8). Suppose 0*b - 6 = -3*b. Suppose -w + 5*d + 4 = -2*w, -3*w + 28 = -5*d. Solve -g*j + b = w for j.
-2
Let j(y) = -y - 4. Let v(a) = -3*a - 1. Let n be v(2). Let x be j(n). Solve -s = 2 + x for s.
-5
Let l = -8 - -6. Let j(o) = -o + 1. Let x be j(-4). Let c = x + l. Solve -g + c = -0 for g.
3
Let y = 1 + -1. Suppose 4*b = -y*b. Suppose 0 = 4*u + w - 7, -3*u + 4 = -4*w - 6. Solve a + u*a = b for a.
0