= 0 for a.
4
Let f be 1 + -1 - (-7 - -5). Solve -3*q + 1 = 2*u, f*u + 4*q = 7*u - 14 for u.
2
Let u be (-60)/35*(-7)/2. Solve 15 = -3*r - 5*l, 2*r - u = l + l for r.
0
Let w be ((-14)/4)/(-7) - (-18)/4. Solve 4*n + 3*u = -2*u + 40, -5*u = -5*n + w for n.
5
Let k = -10 + 13. Solve 10 = 4*n - 9*n, -k*n = 5*h - 9 for h.
3
Suppose 3*v - 6*v - 2*y = -76, 2*v - 46 = y. Solve -3*n + v = -3*z, -5*z = 3*n - 7*n + 37 for z.
-5
Let t = 6 + -1. Suppose -t*n + 5 = -4*n. Solve -n*y = 3*i - 3 - 31, y = -i + 8 for i.
3
Suppose 0 = -2*w + 3*r + 27, 0*w - 2*r - 13 = -w. Suppose 4*z = 2*z. Suppose -5*i + 29 + 31 = z. Solve -5*p + i = -4*g, g + 4*g + 2*p = -w for g.
-3
Let o = -31 - -33. Solve 0 = o*i + r + 9, -4*i = 3*r - 5 + 24 for i.
-4
Suppose 4*d + w - 2*w - 21 = 0, 3*d - 12 = -3*w. Solve 3*p - 4*i = 13, d*p - 2*p - i = 10 for p.
3
Let l = 4 + 1. Solve s = -3, s + 4*s = l*t - 10 for t.
-1
Suppose -p = p - 8. Let v = p - 4. Let g(n) = -n**2 + 8*n - 3. Let j be g(7). Solve -w + v*s - 2 = s, 14 = -2*w - j*s for w.
3
Let p(l) = 2*l - 13. Let n be p(8). Let s(u) = u**2 - 4*u - 6. Let r be s(6). Solve 0 = -n*t - o - 1, 4*t = o - r for t.
-1
Let k = 32 + -32. Solve k*m = -4*m - 3*p - 3, 0 = -5*m + 5*p + 40 for m.
3
Let l be -8 - (1 - 1)/(-2). Let v = 2 + l. Let i = v + 9. Solve -4*d - 2 = -t, -4*d + 1 = -i*t + d for t.
-2
Let r(h) = -2*h - 9. Let j be r(-6). Let w = 5 - j. Solve i - l - l - w = 0, 2*i - 7 = l for i.
4
Let g(r) = -r**3 + 11*r**2 - r + 15. Let w be g(11). Suppose 2*l + w = -q, 5*l - 10 = 5*q - 35. Solve -s = 3*d - 14, -3*d + 22 = q*s + 3*s for s.
2
Let b(w) = -5*w - 4. Let s be b(-4). Let j(k) = k**2. Let g be j(-4). Let d = g - 11. Solve -1 = 5*u - s, -2*u = -d*h - 21 for h.
-3
Let j be (-2)/9 - 40/(-18). Let b be (-3)/(j*1/(-2)). Suppose -i = 3*i - 80. Solve -4*d + 4 = -b*d + 2*l, -i = -5*d - 3*l for d.
4
Let q = 12 - 17. Let t = q + 8. Solve y = 3*h + 6*y, -y + t = 0 for h.
-5
Let l(o) = -o**2 + 15*o - 56. Let v be l(8). Solve v = 2*j + i - 4, -4*j + i = -i - 24 for j.
4
Let o = -5 - -5. Suppose -d + 6 - 2 = o. Let x = d + -2. Solve -4*j = -x*u + 4 + 6, 3*u - 5*j - 12 = 0 for u.
-1
Let q = 1 + 1. Solve -5*r + 4*h + 3 + 0 = 0, 0 = r - q*h - 3 for r.
-1
Let d be 2*2/4 + 13. Suppose -d*b = -9*b - 20. Solve -4*l - 5*j + 12 = 47, b*l + 2*j = -26 for l.
-5
Let w = -8 - -11. Let p(j) = -j**3 + 5*j**2 - 5*j + 3. Let m be p(w). Suppose -11*y + 2 = -10*y. Solve -f + 3*q = -m*f - 4, -2*f - y*q = 4 for f.
1
Let n be 1/(-1)*(2 + -2). Solve -2*b + h - 1 = 0, -3*h + n = -b - 3 for b.
0
Let b = 25 + -4. Solve -h + b = 5*n, -2*h + 1 = -1 for n.
4
Let x = -8 - -14. Suppose -2*z = -2 - x. Solve -z*w + 10 = -2*k, 0*w = 2*w - 3*k + 5 for w.
5
Let n(g) = -g**3 - 22*g**2 - g - 14. Let h be n(-22). Solve 4*z - 2*o + 12 = 0, 3*o - h = 4*z + 4 for z.
-3
Suppose -5*c = v + 28, -4*c - 8 = 3*v + 21. Let l be -5*(v + 3 - 2). Let q = 15 - l. Solve 2*m + 6 = -0*a - 4*a, -a + q*m = 18 for a.
-3
Suppose 2*y = -3*p - p + 16, 4*y = 4*p + 8. Solve 0 = 2*i + y*l - 22 - 0, 3*l + 1 = 2*i for i.
5
Let z = 21 - 15. Suppose -3*d - 9 = -4*u, -2*d = -z*d + 20. Suppose b - u = -2*b. Solve 0 = -b*m - 5*c + 29, 0*c + 4*c = -2*m + 24 for m.
2
Let v(q) = q**3 - 4*q + 4. Let b be v(3). Solve -2*n = -2*x + 16, 2*n + 5*x - b = -0*x for n.
-3
Let j be 10 + 12/(4 + -7). Let p be (-1)/1 + 24/2. Let r = p - j. Solve 4*f - 5*y = -1 - 7, y - 10 = r*f for f.
-2
Let r(d) = -d. Let z be r(-5). Solve 5*j + 9 = 3*u, 0 = -z*j - 2*u - 24 + 5 for j.
-3
Let f = 2 + 3. Suppose -f*g - 6 = -21. Solve g*w - 2*w - 5*k = 4, w = k + 4 for w.
4
Suppose -5*f + 24 = -1. Solve f*s + 2*l = 19, -2*l + l - 13 = -5*s for s.
3
Let s = 3 - 1. Suppose -u - s + 7 = 0. Solve 0 = -3*h - 15, u*z = z + 5*h + 21 for z.
-1
Let r(u) = -u - 13. Let h be r(-13). Suppose h = -3*k - 3*a + 63, -98 = -3*k + 2*a - 20. Solve 2*i + 2*i + 16 = 0, k = -5*z - i for z.
-4
Let l be 9/((-10)/(-8) - 2). Let j = l + 17. Solve -5*m = -j*c + 9 + 41, 5*m + 5*c = 0 for m.
-5
Let p(j) = 5 - 2*j**2 + 3*j**2 + 6*j + 2. Let m = -9 + 4. Let s be p(m). Solve s*y = 5*y + q + 13, 0 = -y - q - 7 for y.
-3
Let b(x) = x**2 + 3*x + 5. Let q be b(-2). Solve -3*y = 2*y - 3*v - 23, -q*v + 5 = 2*y for y.
4
Suppose k - 10 = -1. Solve -3*h - 4*d = -3 + k, 0 = -4*h - 4*d - 4 for h.
2
Let y be 1/(-1*2/(-24)). Suppose -3*t + 14 - 1 = u, 2*t - y = -4*u. Solve 5*v - 20 = v, 5*k = -t*v + 40 for k.
4
Suppose -2*a + 22 = 4*j, 3*a + 3*j = -0*a + 24. Solve p + a*y = 0, -3*p + p = 5*y + 5 for p.
-5
Suppose 20 = -0*p + 5*p. Suppose -q + p = q. Suppose -6 = -q*c - 5*s, -5*c + s = -3*s - 15. Solve 3*r - 23 = 4*x, -2*r - c*x = x - 2 for r.
5
Suppose x - 5 = -2*b, -b = 2*b. Suppose -3*a = -x - 1. Suppose -3*h + a*m - 6 = -m, 4*m - 12 = 0. Solve 0 = -3*s + l - h, -5 = 4*l + 3 for s.
-1
Let a(r) = -r**2 + 13*r - 12. Let u(n) = n**2 - 6*n + 12. Let i be u(6). Let m be a(i). Solve 5*q + 2*z - 19 = m, 8 - 18 = -5*q - 5*z for q.
5
Suppose 22 = -n + 27. Solve 0 = 4*t - 2*h + n*h, -3*t + 2*h - 17 = 0 for t.
-3
Suppose 3*a = 4*y + 40, 4*y + 48 = -2*a + 6*a. Let b be (-2 - -2) + 2 + 2. Solve -4*n = 4*c, b*n = 5*c + a + 19 for c.
-3
Suppose 3*w - 3*n + 3 = 24, 5*w = 2*n + 23. Suppose -2*t - 3*x + 12 = 3, -9 = 4*t - w*x. Solve t = g + 3*d - 7, 2*g - d = -3*d + 2 for g.
-2
Suppose m + 5*t - 17 = 0, -50 = 2*m - 4*m - 2*t. Solve -k - o = -1, 5*k - 3*o + 0*o + m = 0 for k.
-3
Suppose -j + 16 = -3*j + 4*s, -15 = -5*j - s. Suppose 3*d = j*d + 7. Let o(x) = -17*x - 5. Let g be o(-1). Solve d + 2 = -3*f - 3*y, 2*y - g = 4*f for f.
-3
Let f(r) = -r**2 - r + 2. Let x be f(0). Let w(a) = a**3 - 3*a**2 + 4*a - 2. Let d be w(2). Solve -1 = d*p - 5*s - 10, 0 = -x*s - 6 for p.
-3
Let f be (4/5)/(3/(-15)). Let d be (f/(-10))/((-1)/(-15)). Suppose -4*l = -d*l + 64. Solve 4*t - 16 = i, 7*i - 4*i = -4*t + l for t.
5
Suppose -2*d + 5 = -d. Suppose -2*l - l = d*n - 14, 0 = 3*l - n - 8. Solve 2*w - 5*x - 11 - 5 = 0, l*x = -12 for w.
-2
Let b = 11 - 8. Suppose 0 = -4*l - 4*w + 3*w - 8, 21 = -3*l + b*w. Let j = l - -8. Solve -3*d + 2*r = -8*d + 25, -3*r = -d + j for d.
5
Let o = -38 - -43. Let n be (-2)/(-2*2/4). Let p be (-3)/(-3) - (n + -25). Solve -o*c - p = 4*k, -5*k = -3*c - 5 - 2 for k.
-1
Let h(t) = -t - 1. Suppose -3*l = p - 19, 11 - 1 = 5*p - 2*l. Let z be h(p). Let g = z - -8. Solve r = 5*y + 10, 5*y + 0 = -g*r - 10 for r.
0
Let w = 12 + -8. Let d = 16 + w. Solve 0 = -q - 4*q - 2*o + 15, -2*q = -2*o - d for q.
5
Let t(b) = b**2 - 4*b - 4. Let f be t(4). Let h = 6 + f. Suppose 2*z - 4*c + 10 = 32, z = c + 11. Solve -4*x + z = 3*o, -h*o - 30 - 1 = -5*x for x.
5
Let d(f) = 1 + 5 - 1 - f. Let c be d(0). Let z = c - 1. Solve -z*r + 19 = 5*p, 6*r = 2*r + 4 for p.
3
Suppose 5*o + 3 = 13. Let y(s) = 6*s - 1. Let b be y(o). Suppose 3*g - 17 = -z, g + 2*g - 2*z - b = 0. Solve -2*w + 10 = -3*t, -g*w = 4*t + 2 - 4 for w.
2
Suppose -4*a - 9 = -j, 0*j + 4*a = 3*j - 11. Let u be j/(-3) - 22/(-3). Solve u = 2*f + z, -5*f + 5*z = -0*z - 10 for f.
3
Let w(b) = b + 5. Let h be w(-7). Let r = h - -6. Let x(f) = -f**2 + 6*f - 3. Let y be x(4). Solve -5 = -y*i - r*z, -3*z = 5*i + 2*z for i.
5
Let y = 23 + -15. Let m = -1 - -7. Suppose -x + m = -2. Solve y = -q - 5*n + 3*n, -2*n - x = 0 for q.
0
Let f = 20 + -16. Solve -2*y = 2*y - f*x, 2 = -5*y + 3*x for y.
-1
Let p(f) = f**2 + 2*f + 9. Let b be p(4). Solve -c - 2*u = 13, 0 = 2*c + 3*c + 2*u + b for c.
-5
Suppose 0 = 4*p - 0*p + 3*g - 2, 4*p + 2*g - 4 = 0. Suppose 5*f + t = 30, -2*f + 3*t + 5 = p*f. Solve -3*b + 4*u = 6, b + 5 = f*u + 3 for b.
-2
Suppose -6 = -f + 1. Suppose t - 1 = f. Solve -11 = 2*a + 3*w + t, -2*a = -3*w - 11 for a.
-2
Suppose -3*r + h = 54, -2*h - h = 0. Let l = -16 - r. Solve b + 2 = -n, 5*n + l = -4*b - 10 for n.
-4
Let a be ((3 + -3)/2)/1. Solve -5*j + a*j = d - 21, -d = -j + 3 for d.
1
Let a be ((-3)/(-4))/((-1)/(-12)). Let z = -5 + a. Let m = 0 + 6. Solve -4*j - m*f = -f + 16, z*j - 24 = 5*f for j.
1
Suppose -w = o - 2*w - 3, -3 = 5*o + w. Let h be ((-10 + o)/(-1))/2. Solve h*l - 22 + 6 = -a, -3*l + 20 = -2*a for a.
-4
Let o = -36 + 39. Solve j = -6*i + i + 27, -4*j = -i - o for i.
5
Suppose 4*i + 83 = 3*t, 2*t - 9 = i + 13. Let k be (i/(-6))/((-7)/21). Let r be -2*(-3)/((-12)/k). Solve -17 = 2*d - 8*z + r*z, -3*d - 13 = -2*z for d.
-1
Suppose 8 = 3*t - 16. Le