Let n be (48/(-63) - (-4)/(-7))*-9. Solve -3*t + n = t for t.
3
Let y(n) = n - 3. Let f be y(9). Solve -2*g = -f*g - 16 for g.
-4
Let t be (4⁄2 - 2)*1. Suppose -50 = -3*x - 2*b, -3*b - 75 = -3*x - t*x. Let v be (16/x)/(4⁄10). Solve -v = -2*h - 8 for h.
-3
Let j(t) = -t**2 + 5*t + 1. Let m = -7 - -12. Let f be j(m). Suppose -3*s + f = -11. Solve -s*p + 0*p - 4 = 0 for p.
-1
Suppose -30 = -3*z - 3*z. Solve 6*h = h + z for h.
1
Let g(s) be the second derivative of -s4⁄12 + s2 + 3*s. Let x be g(0). Solve 2*o = o - x for o.
-2
Let r = -10 + 11. Let v be 6⁄15 - (-13)/5. Suppose 0 = -v*b + 4 - r. Solve 2*q = 3*q + b for q.
-1
Let l = -139 + 139. Solve l*k = 3*k for k.
0
Let t = -2 + 1. Let r = -3 - t. Let q be (-5 - -2)*r/6. Solve q = z - 2*z for z.
-1
Suppose 3*j = 4*j - 2. Solve -5*f = -4*f - j for f.
2