Let o(u) = 2*u**2 + 1. Let v = -6 - 1. Let n(i) = -i - 6. Let a be n(v). Let j be o(a). Solve 0 = 3*x - 4*x + j for x.
3
Suppose 2*p + 2*p - 40 = 0. Suppose -4*h = -2*h - p, -3*n + 1 = -h. Solve -6 = -0*s - n*s for s.
3
Let u = 35 + -31. Solve -u*i + 2 = -6*i for i.
-1
Let z(v) = v + 12. Let o be z(-2). Solve 0 = 4*p - 6*p + o for p.
5
Suppose 4*v - 5 - 3 = 0. Suppose b - v*x - 3 = -x, 4*b + 4x + 4 = 0. Let d be (-1)/(-1)(1 + b). Solve -3 = -d*a + 3 for a.
3
Suppose 2*m = -t + m + 7, -m + 13 = 4*t. Suppose -12 = g + 2*g, -2*x = 2*g + 2. Suppose 5*o + t*v - 16 = 6*v, 0 = -x*o + 5*v + 7. Solve -o*b = -7*b - 3 for b.
-1
Let q be 6⁄7 + 6⁄42. Solve 4*l - 11 = q for l.
3
Let c be (10/(-6))/((-2)/6). Solve -3*k - c = 2*k for k.
-1
Let b be ((-1)/(-4))/(8⁄128). Solve -b*k + 8 + 0 = 0 for k.
2
Let u be 3*(16⁄3 - 3). Suppose 2 = 4*x + 3*a, -3*x + 8 = -4*a - 6. Solve -x*h = -u*h for h.
0