Suppose 3*c = -26 - 19. Let r be 20/c + 32⁄6. Solve 0 = -r*d + 6*d for d.
0
Suppose 0 = 4*b + 2*j - 3*j - 20, 0 = -4*j. Solve 4 = -v + b*v for v.
1
Let a(x) = -x**2 + 4*x - 1. Let k = 4 - 1. Let y = k + -1. Let s be a(y). Solve 0 = s*u - 23 + 8 for u.
5
Suppose -t + 5*c = 2*t - 2, 3*t = c + 10. Suppose -h + 4*s = 7, -9 + 4 = -t*h + 5*s. Suppose h*l = -2*q, -l - 3*q = q. Solve l = -0*i + 2*i for i.
0
Let g = 35 + -35. Solve g = -2*h - 2*h - 12 for h.
-3
Let i(x) = -2*x + 34. Let q be i(11). Solve -k = 2*k - q for k.
4
Let p(x) = -4*x**3 - 1. Let r be p(-1). Suppose -b + r*b = -3*l + 16, 5*l - 18 = b. Solve -l*j = j + 5 for j.
-1
Suppose 21 - 5 = -4*m - 2*b, -2*b = -4*m. Let s be -2*m/(-4) + 1. Solve 8 = -s*a + 4*a for a.
2
Let f be (-68)/(-18) - 2/(-9). Suppose -s + 2*o - f = -3*o, -o = -3*s + 2. Let w be (-1 - -1) + s + 2. Solve 6*x + w = 3*x for x.
-1
Let z(a) = -a3 + 5*a2 - 3*a - 1. Let r be z(4). Suppose 0 = 5*q - r - 42. Solve 4*x - q = x for x.
3