Let o = 12 + -10. Suppose -o*j + 5*x = -10, 0 = 4*j - 0*x + 3*x + 6. Solve -3*q + j = -12 for q.
4
Let n(t) = 2*t. Let o be n(3). Let s be 152/(-32) - o/(-8). Let l = s - -7. Solve l = -m + 4 for m.
1
Suppose 1 = -3*b - 2. Let u be b*3/((-9)/3). Solve 4*w - 7 = u for w.
2
Let v = 4 + 0. Suppose -v*l + 6 = -l. Suppose 3*j - 29 = -2*k, -5*j + 6*j - 15 = -l*k. Solve 3*d = j*d - 4 for d.
1
Let w be 2⁄1 + -2 - -10. Suppose -w = -r - 2. Solve 5*k = k - r for k.
-2
Let p(w) = w3 + 4*w2 + 3*w + 1. Let o be p(-2). Suppose 0 = 2*l - 2*j - 22, 0 = o*l - 7*j + 2*j - 41. Let h be (l - (1 - 0))/2. Solve 2*q - h = 5 for q.
4
Suppose -12 = 3*a, 4*a + 5 = -5*h - a. Let y be (6⁄4)/((-2)/(-4)). Solve -y = -h*w + 4*w for w.
-3
Let l(w) = 11*w + 1. Let s be l(2). Suppose -4*m + s = -17. Solve -4*n - n = -m for n.
2
Suppose 10 = -0*t + 2*t. Solve -t = 5*b + 10 for b.
-3
Let s(t) = 2*t + 0 - 4 + 2*t + 3. Let n be s(1). Solve -g = 2*g + n for g.
-1