 for a.
-5
Suppose 0 = c + 5*x - 18, 5*c + 7*x - 48 = 3*x. Suppose -4*k + 28 - c = 0. Let f be 5/2*4/k. Solve 5*d = -2*m - f + 3, -m + 6 = -3*d for m.
3
Let m = -10 - -19. Let d(k) = -k**3 + 9*k**2 - k + 13. Let i be d(9). Suppose -o - m = -i*o. Solve 11 = -5*j + 6*h - o*h, 0 = 4*j - 5*h + 14 for j.
-1
Suppose -7 = 5*k + 23. Let v(j) = -j**2 - 5*j + 8. Let r be v(k). Let i = -2 - -8. Solve -14 = 2*m - 2*f + i*f, 4*f = r*m - 2 for m.
-3
Let p = 13 + -10. Let h(z) = 0 - p*z + 4*z + 0. Let f be h(5). Solve 0 = -5*r + 3*x + 21, -f*r + 7*x + 25 = 2*x for r.
3
Let o(n) = n**3 - 6*n**2 - 5*n - 9. Let c be -2 + 6 + 5 + -2. Let j be o(c). Solve 0 = -j*f + 2*u + 14, -3 + 11 = -4*u for f.
2
Let x(a) = 5*a + 4. Let h be x(4). Suppose -5*b + 13 = 4*l, -l = 4*b - 7*b + 18. Solve 0 = -i - z, b*z = 2*i + i - h for i.
3
Suppose 3*s - 10 = -5*y - 2*s, 2 = y + 4*s. Suppose -i = i - 4. Suppose y*f - 4*h = 8, h - 8 = -i*f + 5. Solve 2*l + 3*x = -f, x = 2*l + 2*x - 2 for l.
3
Let h be -8*(2 - (-1 + 1)). Let b = -28 - h. Let l be (-45)/b - (-3)/12. Solve -2*p - l*o = -12, 2*o + 4 = 3*p - 6 for p.
4
Let p(m) = 3*m + 8. Let i be p(-7). Let r be (-1)/(-1) - i/1. Suppose 2*q = 10 + r. Solve l - 3*f = -l + 9, -3*f = -3*l + q for l.
3
Let u = 7 - 2. Suppose -2*c = c, -4*c = u*o. Solve 2*x - 4 = -3*p, -5*p + 5 = -o*x + 3*x for p.
-2
Let f be (8 - -3 - 3)/2. Suppose 0 = -x + 4*x + 5*z + 2, f*x = -2*z + 2. Solve 3*n + 4*b = -26, -7 + x = -2*n + 2*b for n.
-2
Suppose -2*d - 3 = -3. Solve 2*a - 8 = d, -u + 9 = a + 2*a for u.
-3
Suppose 0 = 3*i - 14 + 2. Solve -9 = -j + i*t + 15, -t - 5 = 0 for j.
4
Let t(c) = -c**3 + 3*c**2 - 2*c + 3. Let h be t(2). Solve 3*p + 3*w + h = 0, 4*p + 5*w + 5 = -3 for p.
3
Suppose -3*t + 14 = -5*h, -h + 14 = -3*t - 3*h. Let r be 26*(-1)/t + 3. Let g be 18/8 - 4/r. Solve 0 = 4*o - 2*j - j + 11, 3*o + g*j = -4 for o.
-2
Let k be 1/(3/12) - 0. Let z be 1/(2/k*1). Suppose -12 = -z*f - 2*f. Solve -s - 5*u = 8, u - 12 = -4*s + f*u for s.
2
Let w be 0 - (0 - 18) - (-8)/(-4). Let n = 17 + -7. Solve 2*b + b + w = -5*v, n = -4*b - v for b.
-2
Suppose 2 + 21 = p. Let z = -21 + p. Solve 8 = -4*y - 2*o, z = 2*y - 2*o - 0*o for y.
-1
Suppose 4*x = -x. Suppose x*b + 10 = 5*b. Suppose 2*z = 6*z. Solve z = -b*n - j - 12, 5*j + 12 = -4*n + 6*n for n.
-4
Let n = -21 + 28. Solve -2*u = 3*q - n, u - 6 = -3*q - 4 for u.
5
Let w = -4 + 7. Suppose -28 = -2*o + k, -12 = w*k - 6*k. Solve 8 = -2*m - 4*i - o, 5*m + 4*i + 36 = 0 for m.
-4
Suppose -2*q - 4*b = b + 12, -2*q + 3*b + 20 = 0. Solve -4*o - 8 = -5*n, 0*o = 5*n + q*o + 8 for n.
0
Suppose -4*r + 8 = 0, r = g + 2*g - 4. Suppose t = 2*q, 3*q - 7 = -t - g*q. Solve -t*m = 3*j + 15, 3*j + 4*m + 10 = -5 for j.
-5
Let f(z) = -z + 2. Let l be f(2). Solve -j + 8 = -0*j - n, -2*j + 3*n + 21 = l for j.
3
Let d be 0/(4/2 + 0). Let z be 3/(-12) - 185/(-4). Suppose -3*g + 3*b = g - z, 2*b = g - 14. Solve k - 12 = -4*q, q - g = -d*q - 2*k for q.
2
Let s be (-18)/(-8) - 6/(-8). Solve -s*l + 6*l - 18 = 3*m, -3*m - 2 = 5*l for m.
-4
Suppose 2*p + 80 = 7*p. Let t = 38 + p. Suppose 0 = 5*q - 26 - t. Solve 1 = -2*y + n, -5*y + y + q = 4*n for y.
1
Let m(z) = -z**2 + 14*z - 11. Let y be m(13). Solve 0*g - y*g + 5*i = 0, 0 = -g - i + 7 for g.
5
Let j(o) = o**3 - o**2 - o + 2. Let t be j(0). Solve -h + 4 = -t*w, -2*h = -3 - 1 for w.
-1
Let k(y) = -y - 3. Let r be k(-5). Let g(h) = 2*h**2. Let j be g(-1). Solve j*t + r*c = -2, 2*c - 6 + 17 = t for t.
3
Let z(a) = a + 3. Let j be z(-3). Let y(x) = 11*x**2 + x - 1. Let o be y(1). Let u = o + -8. Solve u*p + 4*t - 16 = -j*t, -5*t = 4*p - 21 for p.
4
Let m be (-7 + 4)/((-3)/9). Solve 3*g - m = -2*w, 2*w + 6 = g + g for g.
3
Suppose -1 = -4*c + 19. Let w be 2 + -3 + 1 + c. Solve -4*m + 16 - 2 = 3*j, -j = -w*m + 27 for m.
5
Let i(s) = s**3 + 3*s**2 - 5*s - 4. Let q be i(-3). Suppose 0 = 5*p + 6 + 19. Let w = 7 + p. Solve j + w*c - q = 5*c, 2*c = -3*j + 11 for j.
5
Suppose 0 = -5*m + w + 9, m - 5*m - w = 0. Let a be -2*3*m/(-2). Solve -3*r = 2*x + 16, 4*r - 2*x - 5 = -a for r.
-2
Suppose 5*h + 6 - 21 = -5*g, 4*h + 2*g - 6 = 0. Suppose h = 16*c - 15*c - 5. Solve -1 = -2*k + c*q + 16, 2*k - 4*q = 14 for k.
1
Let s be (-5)/(-3) + (-5)/(-15). Let b(p) = -1 + 3*p - p - 5*p. Let v be b(-1). Solve -16 = -4*w, s*w + v - 6 = 4*q for q.
1
Let k be 2/(-1*4/(-6)). Suppose 3*l = -k + 15. Solve s + l = 0, -n + 0*s = -3*s - 12 for n.
0
Let q be 2/(((-2)/(-3))/1). Let u(y) = 7*y**3 + 3*y - 2. Let d be u(1). Solve d*f - q*h + 22 = 3*f, -3*f - 2*h = 17 for f.
-5
Suppose i - 3*i = -4*p - 26, 3*i - 36 = 3*p. Solve d + 4*t - i = 0, 4*t - 13 = d - 0*d for d.
-1
Let q = 3 - 0. Suppose -t + 0*t + 7 = -2*p, -6 = -4*t - q*p. Solve 2*u - 4 = -2*m, -5*u + t*m - m = -24 for u.
4
Let q = 13 - 9. Let p be (2 - q) + (-14)/(-2). Let w(a) = -a**3 - 4*a**2 - 2*a + 3. Let c be w(-4). Solve p*m + 0 = o + c, -o + m = 3 for o.
-1
Let v = 1 + 34. Suppose -m + 25 = m - z, -4*m + v = z. Solve -2*t = -3*a + 6, 4 = -3*a + m for t.
0
Let k(l) = l**3 + 4*l**2 + 3*l + 1. Let x be k(-2). Solve 3*t = -x*c - 6, c = 2*t - 6 + 4 for t.
0
Suppose -2*o - 400 = -7*o. Suppose 0*m = 2*m - o. Suppose 3*a - m + 4 = 0. Solve 2*n - a = -2*l, -4*l + 7 = -4*n - 9 for l.
5
Let b(t) = t**2 - 4*t. Let z be b(5). Let n = -8 - -13. Suppose m - r = -1 - 1, -r + 20 = n*m. Solve d + m = 0, -v - 10 - z = 4*d for v.
-3
Let i(w) = w**3 - 12*w**2 + 19*w + 15. Let c be i(10). Solve -2*t = -2*b - 6, c*t + 0 - 9 = 3*b for b.
-3
Suppose 0 = -z + 3*n + 15, 4*z - n = 8*z - 112. Let v = z + -19. Let c be ((-10)/(-4))/(4/v). Solve 0 = k + 4*y + 3 + 4, -5*k + c*y + 15 = 0 for k.
1
Let f = -17 + 22. Solve 0 = 5*z + f*d + 5, -4*z - d - 40 = -6*d for z.
-5
Let a(m) = -2*m - 6. Suppose -5*b - 5*g = 45, -5*b = -b + 2*g + 26. Let q be a(b). Solve 2*s - 5*d - 10 = 0, d = -s + q*d - 1 for s.
-5
Let k = -155 + 157. Solve k*y = -4*v - 8, 14 = 4*y - 2*v - 0 for y.
2
Let u = 8 - 11. Let m be ((-36)/u - -1) + 2. Solve 3*x + 3*d - 4 = -13, m = -5*x - 4*d for x.
-3
Suppose -3*h - 1 = -4. Solve 3*w - h = -5*m - 4, -3*m = 0 for w.
-1
Suppose 0*d - 5*d = -20. Solve -2*r - 30 = 4*q, d*q - 3*r = 5*q + 20 for q.
-5
Suppose -14 = 2*r - 42. Suppose 2*h + h - 4*x - 38 = 0, -2 = x. Let p be 22/h - 1/5. Solve -3*f + 4 = -4*b - 3, -2*b = p*f - r for f.
5
Suppose -h - 6 = 2*c, -2*c - 20 = 2*c. Let t = -33 - -65. Suppose -g - 5*y = 16, t = g + 3*g - h*y. Solve g*d - 16 = 2*a + 2*a, 4*a + 24 = -4*d for a.
-5
Suppose -2*z = -3*n + 87 - 29, 4*z = n - 16. Suppose n = 5*q + 5. Solve 0 = -q*p + 2*f - 2, -8*p + 3*p + 4*f - 2 = 0 for p.
-2
Suppose -2*w = 5 + 1. Let p(x) = -x + 1. Let z be p(-2). Let o = w + z. Solve -2*l + 1 - 3 = -2*k, 5*k + 5*l + 35 = o for k.
-3
Let b = 12 + -7. Let z be b*(-3)/(-9)*3. Suppose 4*s - x - 17 = 0, -4*s - 3*x = -9*s + 30. Solve 0 = 5*h - 7*n + 2*n - z, 15 = -s*h - 3*n for h.
-2
Let g = -17 - 5. Let c = g - -33. Solve 2*z = u + 5*z, -4*u - z = c for u.
-3
Let y be (0 - -15)*(-1)/(-3). Suppose -5*h + y*i = -0*h - 70, 27 = 2*h - 3*i. Solve 4*a - 3*t + 11 = -h, 4*a + 3*t = -14 for a.
-5
Suppose -15 = l - 6*l. Suppose 4*s = -4*i - 0*s + 80, -2*s + 60 = l*i. Solve 0 = 3*t + 12, 0 = 4*a - 6*t + t - i for a.
0
Let y be (4/3)/(6/9). Solve 5*p = n - 9, -2*n - y*p - 6 = -3*n for n.
4
Suppose 2*x - u = -0*u + 20, -20 = -x + 3*u. Let y = -12 + 7. Let k = x + y. Solve 4*c - 5*p + k = 0, 3*p - 11 = -2 for c.
3
Let g be 0 + 4 + 0 - 0. Solve 0 = -4*c - 2*v + g, v = 5*c - 3*v + 21 for c.
-1
Suppose -12 = -x + b + 2*b, 4*b + 36 = 3*x. Suppose c - x = t + t, t = -c. Solve q = 2*u + 1, -6*u - c*q = -u - 30 for u.
2
Let c = -5 - -9. Suppose c*w + w = 25. Solve 5*g + 2*n - 6 - w = 0, 2 = -n for g.
3
Let p be (-1*1/1)/(11/(-11)). Solve -p = i, h + 3*i = 3 - 8 for h.
-2
Let g be 72/32 - (-2)/(-8). Solve -2*b = 2*r + 2*r + 4, g = -5*r - b for r.
0
Let g(c) = 3*c - 6. Let l be g(-4). Let a be ((-12)/9)/(1/l). Solve -4*n - a = 3*t - 0*n, 0 = -5*t - n - 23 for t.
-4
Let n be 4/22 - 120/(-66). Let d(u) = 7*u + 5. Let p be d(-4). Let z be p/(-5) - (-2)/5. Solve -o - 7 = 2*x, -z*x + 5*o - 8 = n for x.
-3
Let q(b) = b**2 + 6*b + 1. Let n = -5 - 2. Let y be q(n). Solve -5 = t - 4*t + 2*x, y = 4*t - 3*x for t.
-1
Suppose -y + 16 = 3*y. Suppose -4 = -2*u + y*g, g + 4 = u - 3*g. Suppose u = -5*k + 3 + 7. Solve 5 + 1 =