Let g be (-1)/2 + (-3)/2. Let o be (-12)/(-18)*(-3)/g. Solve -o = l - 3 for l.
2
Suppose 2*o = 7 - 1. Suppose -x - 3*h - 1 = -6, h = 4*x - 46. Suppose -2*j = 2*c + 2, 10*j + x = -2*c + 5*j. Solve o*i = -c - 10 for i.
-4
Let f be (-5 - -7)*(-30)/(-4). Solve f = -4*j - j for j.
-3
Let l be 1/(-5) + 31⁄5. Solve -2*q - q + l = 0 for q.
2
Suppose -2*l - 3*l = -3*f - 31, -2*l = 5*f. Let i(x) = -x**2 - 2*x + 1. Let w be i(f). Suppose -t - m - 9 = -5*m, 3*t = -m + 12. Solve 0 = -n + w + t for n.
4
Suppose 0 = 3*i - 0*w + 2*w - 4, -8 = i - 4*w. Suppose i = -a + 5*a + 8. Let s be 4 - (-6 - -2)/a. Solve 4*l = s*l for l.
0
Suppose -3*p + 24 = -3*m, -5*m = 4*p - 3 - 2. Solve -5 - 10 = -p*t for t.
3
Let u(x) = -x**2 - 3*x. Let i be u(-3). Let f = -2 + 2. Suppose i = b - z - 4*z + 2, 2*b + 5*z - 11 = f. Solve b*j - 2*j = 3 for j.
3
Suppose -45 = -10*a + 5*a. Suppose 3*b - 3*p = 2*b + a, 2*b - p - 3 = 0. Suppose 6 = 2*d + 2. Solve -f + d*f + 2 = b for f.
-2
Suppose -6*u = -8*u. Solve 4*p + u = 8 for p.
2