Let n = 1 + -7. Let v = 10 + n. Suppose 1 = -v*o + o - 2*m, 32 = 4*o - 4*m. Solve 0 = -o*t + 2*t + 3 for t.
3
Suppose 2*p + 2 = 5*j + 22, -4*p - 4*j = 16. Solve p + 6 = -2*x for x.
-3
Let u(x) be the third derivative of x4⁄24 + 11*x3⁄6 - 2*x**2. Let i be u(0). Suppose -c = 3*c - 4*r + 4, -r - 8 = -4*c. Solve 2*b = c - i for b.
-4
Suppose 2*t = 6*t - 24. Suppose 10*r = t*r + 12. Solve -2 = w + r for w.
-5
Suppose -4*a - 50 = -5*y, 9*a = -2*y + 5*a - 8. Solve -y = 5*i - 3*i for i.
-3
Suppose 7*r - 3*r - 24 = 0. Let g© = -c**2 + 5*c + 8. Let o be g®. Solve -o*j - 2*j = 4 for j.
-1
Suppose -10 + 0 = -2*x. Let c be 0/(((-2)/1)/1). Solve x = -c*b - b for b.
-5
Let s be 2⁄5 - 46/(-10). Suppose 0 = 5*c - s*u - 5, 3*c - u + 4*u = 15. Solve -c*l = -6 - 0 for l.
2
Let a = -8 - -10. Suppose -b = -a - 1. Let v(m) = -2*m - 8. Let r be v(-6). Solve -b*n = -r*n + 1 for n.
1
Let k(m) = 2*m - 11. Let q be k(8). Let f be ((2 - 1) + -1)/2. Solve -5 = q*u - f for u.
-1