 for a.
5
Let t be 2 - (0 + 8/4 + -4). Solve 0 = 2*w - w + 4*y + 1, -4*y + 24 = -t*w for w.
-5
Let q be (-4)/(-3 - (4/(-2) + 1)). Solve 0 = 2*j - q*o - 14, -4*j + 1 - 8 = 3*o for j.
2
Suppose a = -2 + 3. Suppose -o + a = -3. Suppose 3*r + 10 = -v + 2*v, 2*r - 26 = -o*v. Solve -2*t = s + 6, -v*s + 2*s + t + 14 = 0 for s.
2
Suppose w - 2*x - 5 = 3*x, -3*w + 4*x = -48. Suppose z - 5*z = -w. Solve 0 = d - z*c + 2, 6*d = d + 3*c + 12 for d.
3
Let a(k) = -7*k**2 + 2*k + 6. Let n(g) = -g**2 - g. Let p(c) = -a(c) + 6*n(c). Let b be p(9). Suppose 0 = 3*u + u. Solve -y = v - 3, b*y - v + 11 = -u*y for y.
-2
Let n(z) = z**3 + 7*z**2 + 6*z + 4. Let x be n(-6). Let d be 20/6 + 2/3. Solve 4*o - o + d*v = x, -o + 2*v = 12 for o.
-4
Let j be (-2)/(-7) - (-12)/7. Solve 4 = j*d, 3*y - 5*d = -2*y - 5 for y.
1
Let d be (-25 - (1 + 1)) + 4. Let s be (-26)/(-65) - d/5. Solve 5*t - s = 0, 5 + 8 = 5*a + 3*t for a.
2
Let k(m) = -m**2 + 6*m - 3. Let h be k(2). Suppose -h*f = -f. Solve -16 = 4*d - f*d, -z - 25 = 5*d for z.
-5
Suppose 0 = -l + 2*l - 5, -3*l = 4*q - 27. Let w = -9 + q. Let i(u) = -u - 1. Let v be i(w). Solve 0 = v*h - 10, -18 = 4*g - 7*h + 4*h for g.
-3
Let z = -26 - -29. Solve 2*h + 3 = z*c + 5, 5*c - 22 = -3*h for h.
4
Let y = 3 - 15. Let k = -8 - y. Solve 5*i - 9 = k*i + 2*l, -2*i + 3 = -l for i.
-1
Suppose -4 + 0 = -2*x. Let h be 1/(x/3)*-2. Let v be ((-8)/3)/(2/h). Solve 0 = -4*m - j + 5*j + v, -j - 6 = -2*m for m.
5
Let j be (3 - 3) + (-6)/(-3). Solve 5*u - 30 = 5*g, -5*g - j = 3*u - 4*g for u.
1
Let c be 36/15 + (-10)/75*3. Solve -z = -3, z + 3 = -3*o + c*z for o.
0
Suppose -5*k + 4*m + 15 = 0, k + 5*m + 2 = 5. Solve -4*y + 17 = 1, -3*t + 3*y - k = 0 for t.
3
Let z = 110 + -109. Solve -2*o + 5*r - 9 = 0, -5*o - r - 10 = -z for o.
-2
Let u(v) = -v - 5. Let p be u(-5). Suppose p = -j + 10 - 0. Solve -q - 8 = -x, -q - 5*x + 0*x + j = 0 for q.
-5
Suppose -6*p + p = 3*j - 34, 0 = -5*p + 3*j + 16. Suppose 12 = p*u - 2*u. Let a be (0 + 2 - 3) + 1. Solve -2*g - 20 = u*h, a = h - 2*h + 2*g + 5 for h.
-3
Suppose 2*m = -2*f + 764, 0*f = -3*m - 2*f + 1150. Let k be m/26 - (-2)/13. Solve -5*t + 2*v = -k, -3*t + 2*v + 9 = 4*v for t.
3
Let o be ((-2)/(-6))/(1/(-3)). Let m(q) = -3*q**3 + q**2 + q + 1. Let p be m(o). Solve 0 = p*g + 2*d - 8 - 4, 0 = -2*g - 3*d - 2 for g.
5
Suppose 5 = k - d + 2, -4*k + 5*d + 8 = 0. Let g = -3 + k. Suppose g*b = -b + 35. Solve 0 = -5*h + 2*v + 3*v + 5, -2*h + 3*v + b = 0 for h.
-4
Let r = -25 - -27. Solve 2*u = 0, 5 = h + 5*u - r*u for h.
5
Suppose 2*c - 21 = -c + 3*m, -3*c + 1 = 2*m. Let b be (8 - c) + (-1)/(-1). Let o be 4/b + (-4)/(-3). Solve -o*l - 4*q = -10, -5*l + 0*l = -2*q - 1 for l.
1
Let t be (2 - -4)*16/24. Solve 2*n = 3*q - 8, -t*q - q + 12 = -4*n for q.
4
Let f(a) = 12*a - 27. Let j be f(6). Solve 5*r - 4*m = 9, 6*m - j = -5*r + m for r.
5
Suppose 0 = 14*w - 1 - 55. Solve 2*c + 14 = 2*o, w*c + 21 = -2*o - c for o.
2
Suppose 4*v - 10 = 3*n + 4, -3*v - 2*n + 19 = 0. Suppose -3*o = -4*w - 41 + 14, -3*o = v*w. Solve -2*i = s + 8, 2*i + 15 = o*s + i for s.
2
Suppose 18 = 3*v - 27. Let m be (12/(-10))/((-2)/v). Let b = m + -5. Solve -4*a + 4 = n, 3*n + 2*a - 2 = b*n for n.
0
Suppose t + 2*t = 0. Suppose x = -t*x. Let q be x/2*(-1)/2. Solve -5*f + 2*f = 4*o - 6, q = -o - 4*f + 8 for o.
0
Suppose 0 = -14*s + 8*s + 24. Solve -3*o + s*j = 16, -j + 4 = -o - 1 for o.
-4
Let f = -59 - -60. Solve -x + f = -2*i - 0, -4*i = 3*x + 27 for x.
-5
Suppose -5*f = 9 - 79. Let n = -5 + 8. Let k(v) = 9*v - 1. Let g be k(n). Solve -5*t + h = 4*h + g, 5*t + f = 3*h for t.
-4
Let g(n) = -5*n + 1. Let u be g(1). Let h be 1/u - (-21)/4. Suppose -4*q + 5*q - 3 = 0. Solve 2*y = -4*x - 2, q*x - 1 = -y - h for x.
-3
Let l be 2 - 1*2*-1. Let c be (-8)/2*(-2)/l. Suppose -3*v - 31 = -4*k + c*v, -3*k + 3*v + 21 = 0. Solve -5*z - k*q = 0, -2*z + 6 = -3*z - 2*q for z.
4
Suppose 4*a = -d + 6*a + 2, -5*a = -2*d + 4. Solve -n + p = -6, -3*n - p = d*p - 6 for n.
4
Let t(x) = 15 + 0*x + 4 + x. Let j be t(-10). Suppose 0 = -4*u + a + j, -u - 2*a = 4*u + 5. Solve 0*r - f + u = 3*r, 2*f = -5*r + 3 for r.
-1
Let f be -2*2*1/(-1). Solve -5*a + 3*g = -0*g - 1, 0 = -f*g - 8 for a.
-1
Let c = 0 + 4. Let q be -7 - -4 - (-48)/(-2). Let x = -3 - q. Solve 4*d + x = 4*p, d = -c*p + p + 10 for p.
4
Suppose 0*r + 60 = 5*r. Suppose 0 = 2*o - r - 10. Let d be (1 + o)*2/6. Solve -d*k - 28 = -4*b, 5*b - k - k = 29 for b.
5
Let w(d) = -6*d - 1. Let j be w(-1). Let k(b) = 0*b - b + 2*b. Let u be k(j). Solve -2*t - 3*o + 0 = 2, u*t + 5*o = -10 for t.
-4
Let o be 3/(-2) - 22/(-4). Suppose 3*d - 8 - o = 0. Suppose 4*q = -3*w + 117, -4*w - q + 89 = -54. Solve -4*v = -5*c - 7 + 2, 5*c - w = -d*v for c.
3
Let r(i) = -2*i**3 - 13*i**2 - 8*i - 8. Let u be r(-6). Solve -2*b - 2*c = b - 11, 0 = -2*b - u*c + 18 for b.
1
Suppose -3*k + 4 = -4*t - 2, 10 = 5*t + 5*k. Let r be (t - (-2)/4)*6. Solve r*g + 0*g + y = -17, -5*g = y + 27 for g.
-5
Let i(p) be the second derivative of -p**3/2 + 2*p**2 - 2*p. Let c be i(-3). Solve 3*j + 3*o - c + 4 = 0, 13 = 2*j - 5*o for j.
4
Let m(t) = -2*t**2 - t + 1. Let v be m(-2). Let n be 69/15 - 2/v. Suppose r + q = 10, r - 6*r + 4*q = -n. Solve o = 0, 0 - 10 = -5*d - r*o for d.
2
Suppose 9 = 3*r - 69. Solve 4*i + 10 = 3*p, 0 = 5*i + 3*p - 0*p + r for i.
-4
Suppose -2*v = -6 - 8. Let o(h) = -h - 2. Let z be o(-3). Solve -3*p + q = z + v, 4 = -p + q for p.
-2
Let r be 23/(-4) + 5/(-20). Suppose 92 = 3*p + 2*z, 3*z - 1 = 2. Let w be (r/18)/((-2)/p). Solve 0 = 4*n + y + 4*y + 10, w*y = 2*n - 10 for n.
0
Suppose 7 - 22 = -3*h. Solve -2*i = -5*l - 7, -3*i = h*l - 6*i + 8 for l.
-1
Let r(d) = d**2 - 7*d + 5. Let k be r(7). Let t = -106 - -110. Solve -3*y - k*a - 25 = 0, 5*a = t*a - 2 for y.
-5
Let j be 28*1 - (-2)/(-2). Suppose -21 = z + 5*k, -z + 5*z + 5*k + 9 = 0. Solve -3*y = -7*y - d + 17, z*y - j = -3*d for y.
3
Let w be -6*(42/(-4))/7. Solve d + 0*d - 18 = 4*a, a + 2*d + w = 0 for a.
-5
Suppose 3 = -f + 6. Solve 2*q - 18 = -0*q - 4*x, -18 = -f*q - 3*x for q.
3
Let x be (-7)/14 + 14/4. Solve 4*v + x*h = -8, 7*h - 3*h + 6 = -3*v for v.
-2
Suppose -5*d + 6*b + 72 = 5*b, 3*d - 33 = 4*b. Suppose s = -4*s + d. Let o(m) = 2*m**3 - 2*m**2 - 2*m. Let l be o(2). Solve -l*j = 5*k + 27, 0*j = -j - s for k.
-3
Suppose 0 = -6*u + 8*u. Let h be ((-3)/6 - 0)*u. Solve h = -o - 3*z - 13, 0 = -0*o - 4*o - z - 8 for o.
-1
Let h = -5 - -10. Suppose h*a = -2*t + 14, 5*t - 16 = -3*a - 0*a. Solve -2*i + 5*f - 5 = 0, -t*i + 6*i - 5 = 5*f for i.
5
Suppose o = -3*j - 38, -2*j - 12 = -0*j - 2*o. Let m = 19 + j. Solve -4*u = y - 3*y, m = -4*y + 4*u for y.
-4
Let t be (-6)/((-3)/2 - 0). Let z = 6 - t. Suppose 0 = n - r + z, n = -2*n - 2*r + 14. Solve -3*d = -n*i + 6, 2*d = 3*d for i.
3
Let p be 3/2*(12 + -10). Suppose -9 = p*x, 0 = 3*w - 3*x - x - 21. Solve -2*z - 4 = -4*l, -w*z - 8 = z + 5*l for z.
-2
Let z = 29 + -17. Solve -4*b + z = -4*u - 2*b, u + b = -9 for u.
-5
Let d(k) = k - 5. Let l be d(5). Solve i = l, 11*w + i = 6*w for w.
0
Suppose -5*g = -25, g = 3*s - 2 - 2. Solve -y - 5*f = 10, 3 = -2*y + 4*f - s for y.
-5
Let r = -3 - -5. Suppose 3*u = -3*j + 12 + 15, 3*u - 17 = -j. Suppose -5*y - 10 = -4*k + 16, r*k + 2*y = u. Solve -l + 19 = -7*a + 2*a, -k*l = 4 for a.
-4
Let p(a) = a. Let n be p(3). Suppose 4*o + n = 5*o. Solve u + 2*b = b, 10 = 2*u - o*b for u.
2
Suppose k + 10 = j, -3*j - 6*k + 3*k = 0. Solve -j*d + 5*x - 21 = -d, 6 = -4*d + 2*x for d.
1
Let u(i) = 6*i - 10. Let a be u(2). Solve -a*c + 4*t + 3 + 3 = 0, -5*t = -c for c.
5
Let z be (-16)/24 + 6/9. Solve 26 = 5*a + p - 0*p, z = -a + 5*p for a.
5
Let b = 59 - 55. Solve 4 = -5*m + a - 2, -b*m + 12 = -5*a for m.
-2
Let b = 1 - -4. Suppose 5*a - 13 = 4*n, 0 = 5*n - 3*n + 5*a - 31. Solve -j - 4*o + b = -0*j, 6 = n*o for j.
-3
Let x(c) = 4*c**2 + 16*c + 28. Let d be x(-2). Suppose 0 = 5*h + 10. Let l be -12*(h - 8/(-6)). Solve -4*t + l*t = d, 0 = -2*p - t + 5 for p.
1
Suppose t - 3 = -i + 1, 0 = -t + i. Solve -o - 3*o - 2 = -5*a, 0 = -o + t*a + 1 for o.
-3
Let d(z) = -z**3 - 5*z**2 - 2*z - 6. Let g be d(-5). Suppose 2*f = 4*m - 8, m + m + g*f = -6. Solve 0*v - 4*i = 2*v, v - m = -i for v.
2
Let q = 48 - 2. Suppose -3*l - 27 = -5*i + 4*i, -q = 4*l + 2*i. Let z be (-4)/l - 18/(-5). Solve 0 = 3*g + 3*c + 12, -z*g - 21 + 5 = -4*c