Suppose 2*s + 2 = 2*n, 3*s - 15 - 6 = -5*n. Suppose -30 = -3*j + 3*c, 0 = 3*c - 5 - 1. Let h = -11 + j. Solve -n*p + 7 = h for p.
2
Let z = 1 - -1. Suppose -5*x - 33 = -s, -s + 29 = -x - 2*x. Solve -5*y = -z - s for y.
5
Let q(x) = x**2 + 1. Let l be q(-2). Suppose l*h - 4*h = 12. Solve 5*f + h = -13 for f.
-5
Let r(u) = 8*u3 - u2 + 1. Let b be r(1). Let t be (b/(-12))/(2/(-3)). Solve 0*y + t = -y for y.
-1
Suppose 2*j + 57 = 2*c + c, 3*c = -2*j - 27. Let s = j + 26. Suppose 11 = -0*t + t. Solve -s*h - 4 - t = 0 for h.
-3
Let x(v) = -3*v - 12. Let a(m) = -m3 - 6*m2 - 4*m. Let f be a(-5). Let n be x(f). Solve -n = -5*h + 12 for h.
3
Let g(o) = -o - 9. Let x be g(-10). Suppose -1 = -p + x. Solve -p*q = -3*q for q.
0
Let r be (-1 + 0)*-2 - -10. Let w be r/(-18)*63/(-2). Solve -5*j - w = 4 for j.
-5
Suppose -m = -4*m + 12. Suppose 2*d - 7 = -3*o, 0*d + 4*o - 12 = -m*d. Suppose 0 = d*a - a. Solve -x = -a + 3 for x.
-3
Let p be 160⁄12*6⁄1. Suppose p = 6*s - s. Let y be (5/(-15))/((-1)/(4 - -2)). Solve -6*z + s = -y*z for z.
4