Suppose 4*m = 3*f + 14, -5*m + 31 = -2*f + 5*f. Solve 2*t + 0 = f for t.
1
Let r be 70 - (1 + 1) - -1. Suppose 3*s + 24 - r = o, -2*o + 64 = 5*s. Suppose 6 = 5*g - s. Solve -g*v - 1 = 3 for v.
-1
Let r be (-1)/((4 + -3)/(-5)). Suppose -r*u + 17 + 3 = 0. Suppose 16 + u = 4*y. Solve 0*m + y*m = 10 for m.
2
Let q(u) be the third derivative of u5⁄60 + u4⁄24 + 23*u3⁄6 + u2. Let z be q(0). Suppose 20 = 3*c + 2*c. Solve c*h = -z + 3 for h.
-5
Suppose -4*q - 5*h = -20, -5*h = -h - 16. Suppose q = -0*f + 2*f. Solve 3*d + f*d = 6 for d.
2
Suppose -255 = -5*t + 4*p + p, 0 = -2*t - p + 87. Let m(h) = 2*h3 - 2*h2 + 3*h - 3. Let x be m(2). Suppose -t = -5*u - x. Solve -2*n - 3 + u = 0 for n.
2
Suppose 2*o + o = 18. Solve j - o = -1 for j.
5
Let p be (-17)/(-3) + (-4)/6. Suppose 0*x - p*x = 5. Let o be 0x(-1)/(-2). Solve 0*d - d = o for d.
0
Suppose 2 = 4*g - 2*s, 3*s = -3*g - g + 27. Let y = g - 1. Solve -h + 0 = -y for h.
2
Suppose -3*w - 2*w + 10 = 0, 5*w - 65 = -5*p. Solve -2*s + p = 1 for s.
5