Let a = 13 - 10. Solve a = -0*c + c for c.
3
Let x(i) be the second derivative of i4⁄12 + 5*i3⁄3 - 5*i**2 + 8*i. Let u be x(-11). Solve 4*b - u = 19 for b.
5
Suppose 0 = -0*k - k. Solve 2*v - 7*v = k for v.
0
Suppose 3*h - 7 + 4 = 0. Let y be 11 + -1 - (0 - 0). Let l = h + y. Solve 36 - l = 5*x for x.
5
Suppose -2 = 2*u, -w = 3*w + 4*u. Solve x - 3 + w = 0 for x.
2
Let y be (-1*1)/((-3)/15). Let k = y - 5. Solve k = -3*i - 1 + 16 for i.
5
Suppose -12*j - 6*j + 162 = 0. Solve 0 = -5*d + 11 + j for d.
4
Let v be 4/((-12)/9)*-3. Suppose v*f = 4*f + 125. Suppose 0*x = -2*i - x + 11, 0 = 4*i + 3*x - f. Solve -9 = -o + i*o for o.
-3
Let w be (-3)/15 - 42/(-10). Let i = w + -2. Solve -i*n - 1 = -n for n.
-1
Let q be (-6)/(-18) - 1⁄9*3. Let t be 3⁄6 + 9⁄6. Solve q = x + t*x for x.
0