Let a(v) = -1. Let r(k) = -k - 16. Let c(i) = -2*a(i) - r(i). Let x be c(-13). Solve -2*j + x = 15 for j.
-5
Suppose -1 + 16 = 5*i. Solve 0 = -i*j + 8 + 1 for j.
3
Let r be 1 + 2 + 0 + 0/(-3). Solve 4*o + 9 = -r for o.
-3
Let o(n) = 3*n - 51. Let r be o(17). Solve r = -4*x + 8 + 4 for x.
3
Let x(n) = 4*n + 1. Let k be 2/(-4) - (-3)/2. Let v be x(k). Suppose 0 = m - v*m + 20. Solve -m*a = 6 + 4 for a.
-2
Let j(i) = -i**2 - i + 3*i - i. Let f be j(1). Let u = -20 - -28. Solve f*m = -4*m - u for m.
-2
Suppose 0*h = -h + 15. Solve 0 = -y + 6*y - h for y.
3
Suppose 4*n - 5*n = 0. Suppose -64 = -r - 4*r + i, n = 5*r + 3*i - 68. Solve 0 = 4*q + 1 - r for q.
3
Suppose 0*n - 2*n - 5*g + 30 = 0, 5*g = 4*n. Suppose 21 = 3*h - 3*c, -22 = -4*h + 2*c + 4. Suppose 0 = -h*t + 5*t + 5. Solve -n*a - 15 - t = 0 for a.
-4
Suppose 0*o - 6 = -3*o. Suppose 3*u = 9, -2*p - 42 = -6*p + o*u. Suppose -3*z + 7*z - p = 0. Solve -f = -z*f for f.
0