Let v = 13 + -10. Solve 3*u + 0*u = v for u.
1
Suppose -5*r = 3*t - 16, 0 = 4*r - 3*t + 4 - 6. Let k = 2 + 0. Solve -r*c + k + 0 = 0 for c.
1
Suppose 5*n - 14 = 46. Suppose n = -f + 5*f. Solve f*y - 6*y = -6 for y.
2
Suppose -23 + 8 = -5*r. Solve -r*y + 4 = -y for y.
2
Let g = 3 + -6. Let a be (g - (1 - 1))*-1. Solve 0 = 4*t + 1 + a for t.
-1
Let c = 8 + -12. Let h be 3 - (1 + 6 + c). Solve -5*o + 28 - 8 = h for o.
4
Suppose -4*v + r + 19 + 18 = 0, r = -4*v + 43. Solve v*x - 5 = 5*x for x.
1
Suppose c + 23 = 4*j, 3*j + 2*j + 3*c = 16. Solve 0 = -2*u + u + j for u.
5
Let u(a) = a2 - 8*a - 3. Let s be u(8). Let f(t) = 2*t2 + 3*t + 3. Let o be f(s). Solve o = -5*m + m for m.
-3
Let u = -1 + 6. Suppose 3n - 4 - u = 0. Let q be 1(n + (-6)/2). Solve q = 2*r - 6 for r.
3