-a for a.
0
Suppose -4*n + 4*u + 8 = -8*n, n = 2*u + 13. Solve -2*l - 3*i + 19 = 0, -n*i = 2*i - 25 for l.
2
Suppose 0 = 2*w + 2 - 10. Let p(u) = u - 2. Let b be p(w). Let j = 6 - b. Solve i - 1 = -h - 0, h = j*i - 14 for h.
-2
Let a be 1 - -1 - (1 - 1). Solve -a = -2*n + n + q, 0 = 5*n - 4*q - 12 for n.
4
Let r(c) = -6*c. Let h be r(-1). Suppose i - h = 8. Let b = i - 6. Solve -2*u - 6 = -5*v - 0, -u = -5*v + b for u.
2
Let o = 7 + -12. Let d be o/(-2)*(-168)/(-20). Suppose 3*z - d = 3*x, z = -2*z + x + 11. Solve 4 = 2*j - w, -w - 10 = -z*j + 3*w for j.
1
Suppose 0 - 5 = -p. Let s(k) = 5*k + 7. Let t be s(p). Solve 4*c - t = -4*q, -3*c + 4*q = 2*c + 5 for c.
3
Suppose -5*o + 10 = -5. Let x = o - 1. Suppose l - 18 = -x*l. Solve 0 = -3*t + 4*b - 2, -2*t + 2*b = 3*t - l for t.
2
Suppose 2*o = 6*o - 12. Solve 3*d + v - 1 = o*v, -v - 11 = -5*d for d.
3
Suppose 1 = q + z, 3*q - 11 = -3*z + 4*z. Let w(c) = -c**2 - 3*c**2 + q*c**2 + 1 + 5*c. Let h be w(4). Solve 0 = h*r - 3*g - 2*g - 20, -5*g = 3*r + 28 for r.
-1
Let h be (-5)/((-2 + 1)*1). Let t(i) = -i**2 + 6*i - 4. Let v be t(h). Let k be 0/(-1*3 + 1). Solve 2*l - 3*a - 6 = k, 0 = 2*l + 2*a + v + 13 for l.
-3
Suppose -5*c + 16 = -c. Solve 3*n - 5*n = -5*b - 6, 0 = -c*b + n - 3 for b.
0
Let h = -13 - -18. Suppose h + 4 = f. Suppose -4*d + f*d - 250 = 0. Solve 5*r - 5*l + d = 0, -5*r - 2*l - 10 = l for r.
-5
Suppose 2*z + 2*z = 4. Let l = 6 - 4. Suppose -2*c = -l - 2. Solve g - z = -r, -3 = g - c*g for r.
-2
Let f = 57 + -56. Solve -3*d = 4*m + 9 + f, -d + 2*m = -10 for d.
2
Let r be (-11 + (4 - 0))*-1. Let b = 4 + -1. Solve 3*y - r + 1 = u, 5*y = b*u + 6 for y.
3
Let i(l) = l + 1. Let k = 4 + 0. Let d be i(k). Solve 4 = -2*a - a - 4*u, -26 = d*a - 3*u for a.
-4
Suppose -4 = 3*b - 13. Solve b*c - 13 = 5*x, -2*c - 6 + 4 = 2*x for c.
1
Let l(w) = 7*w**2. Let b be l(-1). Let v(m) be the second derivative of m**4/12 - 2*m**2 - 2*m. Let i be v(-4). Solve -3*k = i, k = -3*c - 0 - b for c.
-1
Let m(h) = h**3 + 2. Let b be (-6)/(-8)*(2 + 2). Let r be m(b). Solve 4*s + 5*a + 0*a - r = 0, 4*s = -4*a + 24 for s.
1
Suppose 4*g = -g. Let m be (-3 + g)/((-21)/266). Solve 0 = 5*n + z - 22, 5*n = -5*z + m - 8 for n.
4
Let h(a) = a + 1. Let x be h(-1). Suppose -2*f + 2*q = -x*f, 4*q = -2*f + 6. Solve 2*v + 2*v + 3*o + 7 = 0, -o + f = 3*v for v.
2
Let n be (-4)/(2*1/1). Let j = 4 + n. Solve -3*f + a = 5, 3*f + 3 = j*a - 1 for f.
-2
Let j be (-2)/(-5) + (-4)/10. Suppose b - 4*b - q + 3 = j, 2*q = -4*b + 6. Solve b = -h + 2*w + 3, 3*w - w - 12 = 4*h for h.
-5
Suppose -65 = -3*n + 7. Solve -4*w + n = p, p = -w + 10 - 1 for w.
5
Suppose 8 = 4*p - 0. Solve -4*i + u = 5*u, 0 = -i + p*u - 15 for i.
-5
Suppose 4*g + 5*p = 8*g + 4, g = -p + 8. Let d be 20/(-25)*(-10)/4. Suppose o - g = -d. Solve 4*y + l + 10 = 0, l - 15 = 5*y + o for y.
-3
Suppose -o = -3 - 5. Let z be (4*(-2)/4)/(-2). Let p be 3 + 2 - 0/z. Solve -3*c - p*w + 3 = -o, -3*c + 2*w - 17 = 0 for c.
-3
Suppose 0 = -5*p + 8*p - 6. Let h be -2*((-1)/2 - p). Solve 5*z = -5*g - h, g = -0*z - 3*z - 11 for g.
4
Suppose 6*m - 4 = 14. Solve 0 = m*v - 5*n - 14, -2*n - 14 + 0 = -4*v for v.
3
Let s = -162 - -163. Solve j = -f + 7, -4*f + 5*j - s + 2 = 0 for f.
4
Suppose 2*l + 3*f - 13 = 0, 0 = 4*l + 3*f - 19 - 4. Solve -s + 3*s + 16 = 5*x, -l*x - 2 = 4*s for x.
2
Let z = -1 + 6. Solve 5*t = -2*i - 2 - 1, z*i = -5*t for t.
-1
Suppose -2*v - v = -2*g + 22, 3*g - 23 = 2*v. Suppose -o = -2*i - 33, -g*i + o - 3*o = 60. Let w = i + 28. Solve 2*u + 0*h = 3*h - w, 3*h = -5*u - 14 for u.
-4
Let r = -3 + 5. Suppose r + 0 = l. Suppose 7 = -2*n + l*g + 19, 0 = -2*n - 4*g. Solve -p + 3 = -2*s, -15 = -2*p + n*s - 9*s for p.
5
Suppose -3*r - 28 = 5*x, 0 = 5*x - 0*x + 2*r + 32. Let w = -5 - x. Solve -2*q = w*v - 25, q - 20 = -3*q for v.
5
Suppose u - 7 = 4*u + 4*d, d = 2. Let y = u - -8. Solve 1 = 3*x + x + y*a, 3 = 3*x + 3*a for x.
-2
Suppose 2*o - 3 = 3. Solve -o*l = t + 2*t - 3, -5 = -l - 2*t for l.
-3
Let m be ((-1152)/(-52) - 4/26) + -2. Solve 5*d = m, -2*d - 4 = -p - 10 for p.
2
Suppose 0 = -0*o - 2*o + 6. Solve -4*w = -3*v - 17, o*v + w = -0*w - 7 for v.
-3
Suppose -3*f - 5*y - 275 = 0, 3*f - y - 3*y + 293 = 0. Let j be (-2)/10 - f/(-25). Let m be ((-6)/9)/(j/42). Solve 5*l = 4*z - m, z + 9 = 4*z for l.
1
Let z(x) = x**3 + x**2 - x + 5. Let n be z(0). Solve -2*s + 18 = 5*q, -n*s - 24 = -5*q - s for q.
4
Let m = 19 - 16. Suppose -m*a + 19 = 7. Solve 2*v - 8 = -3*k + 1, 9 = 3*k - a*v for k.
3
Suppose 5*k + 4*q = -0 - 8, -4*k = 5*q + 10. Solve k*p + 7 = p - 2*j, -5*j = -4*p + 16 for p.
-1
Suppose 0*a - 12 = 3*v + 3*a, 0 = 2*a + 10. Solve 4 = -4*b + 8*b, -5*b = -2*j - v for j.
2
Suppose -6*j + 8*j = 0. Solve -5*a = -4*u - 0*u + 1, j = -2*a + 2*u - 2 for a.
3
Suppose 2*p + h = 68, 2*p + 93 = 5*p - 3*h. Let l be p/12 + 1/4. Let x = -3 + l. Solve x = a - 1, 5*a + 5 = u - 3*u for u.
-5
Suppose 2*l + 2*h = 0, 2*l - 3*h + 7 = 27. Solve 0 = -l*r - 2*s + 14, -3*s = 3*r + r - 17 for r.
2
Let m(t) = t**2 + 2*t + 7. Let w be m(0). Suppose -6 - 2 = 2*k. Let o = k + w. Solve -3*v - 3 = 5*h, 2*h + o*v = -2*h - 3 for h.
0
Let k be 3/9 + (-5)/((-45)/258). Solve 4*p = w + 3, 0 = 5*w + 6*p - 4*p - k for w.
5
Let d be -2 - -6*(-6)/(-9). Solve 4*l + 8 = k, l = 3*k - d - 0 for k.
0
Suppose r + 0*i + 9 = -5*i, -5*r = 3*i + 23. Let h = r + 6. Solve -h*g + 3*k = 6, 8 = -g - 0*k + 4*k for g.
0
Suppose -g = -0*b + 5*b + 7, -2*g = 3*b. Solve 0 = -4*r + y - 3, -y + 4*y + 9 = g*r for r.
-2
Suppose w - 6 = -w. Let p = 28 - w. Solve 5*d - 25 = -5*k, 0 = 3*d - 2*k + 7*k - p for d.
0
Suppose 5*a + 6 = 4*b, 17 = 4*a + 4*b - 7. Solve -q - v = 0, -2*v + 7 = -a*q - 3*q for q.
-1
Let l be (-2)/13 - 186/(-26). Solve -2*k - 7 = -h, -4*h + 2*k + l = k for h.
1
Let b be (2/((-6)/3))/(5/(-25)). Solve 0 = -5*s - y + 1, b*s - 3*y = -6*y - 7 for s.
1
Suppose -3 - 12 = -5*w. Solve -3*i = -4*n - 13, w*i - 1 = 5*n - 4*n for n.
-4
Suppose 7 = 3*c + 25. Let f be (5/3)/((-2)/c). Suppose 4*u + j - 6 = 0, 0 = -f*u - 0*j - 4*j + 2. Solve -u*p - 4 = 3*p + 2*y, y - 5 = p for p.
-2
Suppose 0*y + 6 = y. Suppose 3*i = y - 0. Solve 3*j - i*l + 3 = -0*j, 2*l = -6 for j.
-3
Let t = 3 + -4. Let m(k) = -k - 4. Let p be m(-9). Let r be 2/4*(t + p). Solve -2 - 4 = 4*i + 2*d, 5*i + 12 = r*d for i.
-2
Let n(d) = -d - 6. Let a be n(-4). Let s be (-82)/(-7) + a/(-7). Suppose 4*o - s = o. Solve 3*k - o*w = w + 15, 4*w = -2*k - 12 for k.
0
Let r be 1/(-4) - (29/(-4) + 2). Solve q + 6 = -0*u + u, -28 = -4*u + r*q for u.
2
Let j(u) = -u + 4. Let n be j(0). Suppose -8 = -n*i - 4. Solve 4*g - 5*g = l + i, g - 8 = 2*l for g.
2
Let h = 1 - 7. Let g = h + 10. Solve -4*p + 1 = -m, 0*p - g*p + 3*m = -11 for p.
-1
Let g = 57 - 37. Solve a - g = 5*f, 4*f + 3*a - 4*a + 16 = 0 for f.
-4
Suppose 4*j - 3 = 5. Solve -j*z = -4*b - 2, -3*z - 25 = 2*z for b.
-3
Suppose 0 = -3*s + 2*s + 2. Solve 8 = -0*l + 4*l - s*w, 0 = 3*w for l.
2
Let b be -29*(2 - 3)*1. Suppose 0 = -5*a - 5*x - 5, -b + 6 = -4*a + 5*x. Solve -3*q - 5*s + 1 = 0, -3*s + s - a = 0 for q.
2
Suppose -12 = -4*j + 4*u, 0*u = -5*j - 2*u + 15. Solve 8 = 4*q, -j*q - 3 - 1 = 5*a for a.
-2
Suppose -d = -5 + 1. Suppose 0 = d*z - 9 - 23. Solve g + 0 + 4 = 0, -3*x - 5*g = z for x.
4
Let l = -2 - 12. Let r be (-12)/l*(-5 - -26). Solve r = -4*n + 2*h - 0*h, 4*n + 23 = -3*h for n.
-5
Suppose -5*r = -x - 18 - 65, -2*x - 86 = -5*r. Solve 4*i = 8, -3*u - 2*i + 7*i - r = 0 for u.
-2
Suppose -j + 9 = 3*q - 2*j, 4*q - 12 = -4*j. Solve -37 = 3*s + 5*d, 0*s - 2*s + q*d = -7 for s.
-4
Suppose 5*i + v = -23, 2*v = -5*i - v - 19. Let q = 0 - i. Solve -q*m + 3*s - 31 = 0, 2 = 5*s - 8 for m.
-5
Let v be (-1)/(3/(-18 - -3)). Solve 3*b + 6 + 20 = v*i, -3*b = -2*i + 14 for b.
-2
Let k(g) = -g**3 + 5*g**2 + 5*g + 6. Let h be k(6). Solve h = -5*u + 4*n - 9, -2*u - 6*n + 3 = -n for u.
-1
Suppose z + 4*g = -0*g - 12, -4*z + 4*g = -12. Suppose -4*t = 4*v - 7*v - 20, -2*v - t + 5 = z. Solve -4*k = 2*w - 0*w - 10, v = k - 2*w for k.
2
Let n = 142 - 135. Solve -2*p + n = 3*q, 0*p - 14 = -3*p - q for p.
5
Let w(s) = -s**3 + 12*s**2 + 6*s - 8. Let f be w(12). Suppose -4*d - 3*r - 2*r = -f, 0 = 4*d + 2*r - 52. Solve -3 = -4*z - 2*o + 11, 5*z = 4*o + d for z.
3
Suppose 0*r = 2*r + 5*w + 11, 3*r = -3*w - 3. Solve 3*l - 7*f = -2*f - 22, 4*l - r*f + 20 