j + 27 for a.
4
Let h be (-6)/4*8/(-3). Solve -y + 5*y = 3*a - 35, -2*y - 30 = -h*a for y.
-5
Let y = 9 - -3. Suppose -4*i + 2*i = 4. Let u be 19 + -2 - (-6)/i. Solve 5*d = 2*t - t - y, -5*d + 2*t = u for d.
-2
Let u be (-18)/(-81) + 142/9. Solve 4*t + 20 = -3*n, 4 + u = -5*n for t.
-2
Suppose -5 = b, 0 = v - 3*v + 5*b + 31. Let n(a) = v + a - 2 - 4. Let y be n(5). Solve d = -2*h - 7 - 2, 0 = -y*h + 3*d - 13 for h.
-5
Let r be (-4)/(3*3/18). Let k be 2/r - 4/(-16). Solve -3*i - 2*y + 16 = -k*i, 5*i + 3*y = 25 for i.
2
Let o(a) = a + 4. Let s be o(0). Suppose -f + 5*f + i = 140, -4*i = -5*f + 196. Suppose -3*h + f = -0*h. Solve s*w - 5*k + h = 0, -4*w - 12 = 6*k - 7*k for w.
-3
Let t(m) = m**2 - 12*m + 24. Let f be t(10). Solve -9*z - f = 3*v - 4*z, 0 = -z + 1 for v.
-3
Let b be (-12)/6*((-3)/2 + 1). Solve -4*r = l + 7, -r - b = 1 for l.
1
Let l(d) = d**3 + 5*d**2 - 5*d - 16. Let v be l(-5). Solve 3*u = 6, -2*n + v = 3*u - 5 for n.
4
Suppose 0 = -21*j + 18*j + 54. Let l = -13 + j. Solve 4*n = -i + 6*i + 13, 0 = -l*n + 10 for i.
-1
Suppose -4*v - 3*a - 15 = 0, -2*v - a + 2*a = -5. Solve 2*c - f = -6, 3*c + 2*f + 9 + v = 0 for c.
-3
Let f(h) = -h - 3. Let j be f(-3). Let v be 6/(-10) + 37/(-5). Let n = v - -13. Solve 5*g - n = -7*b + 2*b, j = -b + 5*g + 25 for b.
5
Let s(h) = -h**2 - 7*h + 21. Let g be s(-9). Solve -g*n = -4*x + 1, x = -4*n - 2*x + 32 for n.
5
Let r = 2 - -5. Let z = r + -2. Let l = 6 - 3. Solve 4*k = l*j - 8, z*j + 16 = -3*k - 19 for j.
-4
Let q(j) = 3*j**3 + j**2 - 3*j + 1. Let b be q(1). Solve -t + 5*h - 12 = b*t, -5*t - 3*h = -14 for t.
1
Suppose 3*z - 32 = 10. Suppose -l = -2*l + z. Solve 5*g - l = -3*h, -3*g - h = h - 8 for g.
4
Suppose -17 = 2*y - 5*f - 26, -1 = -2*y - 3*f. Solve 3 = -5*q + y*t + 29, -3 = t for q.
4
Let d = 32 - 30. Solve -d*n + 5*c = -0*n - 18, 2*n + 6 = -c for n.
-1
Let n be (310/15)/(4*2/12). Solve -3*h + 24 = h - 2*g, -5*h = -3*g - n for h.
5
Suppose w - 2*w - 1 = 0. Let j be (-222)/(-15) - w/5. Let x be ((-2)/5)/(1/(-5)). Solve -5*i = j, -x*p + i + 0 = -5 for p.
1
Suppose 4*m = -2*o + 6, -5*m = 4*o - 4 + 1. Solve -17 = -m*p + 2*r, -2*r = 2*p - 0*p - 8 for p.
5
Let v = 4 - 0. Solve -5*o = -v*o - 3*z - 3, -2*o + 6 = z for o.
3
Suppose 0 = 4*y + f + 2*f - 26, 0 = 2*y + 5*f - 20. Solve 5 = 4*w + w + 5*s, y*s + 27 = 3*w for w.
4
Suppose -4*l + 3*l = -2. Suppose -3*z = w + 10, -z + 12 = 4*w - l*z. Suppose -x - n + 30 = -5*n, 69 = 4*x + n. Solve 3*d - x = 2*a - d, 6 = w*d for a.
-3
Suppose 2*s + 6 = -4*v, 2*s - s + 5*v + 12 = 0. Solve 0 = -s*z - 3*f - 12, -4*z - f + 29 = -6*f for z.
1
Let r = -5 - -12. Suppose d - 10 = 3*d. Let k = d + r. Solve 2*p - k*c - 16 = c, 0 = -5*p - c + 23 for p.
5
Let w(t) = -t**3 + 2*t**2 + t + 2. Let q be w(2). Suppose 0 = -5*i + 3*i + q. Solve 4*a + 1 = -p, -2*p - i = 2*a - 0 for a.
0
Let s be (-1 + -9)*(1 + -3). Suppose -3*p = 2*p - s. Suppose 3*i = p*j - 31, j = 3*j + 3*i - 29. Solve b + 7 = -4*k - j, -4*b - 5*k = 35 for b.
-5
Suppose -3*h + 7*h - 32 = 0. Let d(p) = -p + 3. Let i be d(0). Solve -q + 17 = -i*j, -2*j - h = -q + 4 for j.
-5
Suppose 2*u - u - 3 = 0. Let a = 43 + -41. Solve -u*h - t + 10 = 0, -3*h + 3*t + a*t = -4 for h.
3
Let h(w) = w + 17. Let d be h(-15). Suppose m = -2*y + 4, -d*m = 3*m + 2*y - 20. Solve 2*v + 5*z - 11 = -v, m*z - 14 = -5*v for v.
2
Let p be (21 + 0)*(-6)/(-7). Suppose -g + 2*o = o - 2, 0 = -3*g - 3*o + p. Let t be (-2)/g - 10/(-4). Solve 5*s = -t*f, 6*s - 2*s = f + 13 for f.
-5
Suppose 2*m - 56 = -2*u, -u - 3*u + 80 = -4*m. Solve 0*q = -q - 3*s - 2, -5*q - s = u for q.
-5
Suppose 5 + 1 = 2*p. Solve 2 = -a, -p*a - 10 + 4 = 5*c for c.
0
Suppose -2*n - 3 + 15 = 0. Let d be (-1)/n + 25/6. Suppose 16 = d*o + 4. Solve 2*a = -3*a - 5*w - 10, -o*a = -3*w - 12 for a.
1
Suppose -4 + 0 = 4*k. Let q be 2/k - -2 - -4. Suppose 4*r - r = 4*n + 14, -3*r - n = -q. Solve b - 4*c = 19, 5*b + 4*c + r = 1 for b.
3
Let d(j) = -j**2 - 2*j + 37. Let n be d(4). Solve -c + n = 4*m, 4*c = -6*m + 2*m + 28 for m.
2
Let i be (6/(-10))/((-3)/(-15)) - -7. Solve -i*u = -2*x - 2, 0 = -5*x + 4*u - 5 - 12 for x.
-5
Suppose 5*i = 5*b - 15, -4*i = -2*b - i + 6. Suppose -1019*a = -1016*a - 9. Solve 5*g - a*o + 3 = -5*o, -b*o = 2*g + 10 for g.
1
Suppose -2*g - 2*m = m - 45, g + 5*m = 5. Let i = -32 + 34. Let k be g/8 + i/8. Solve -3*q + v - 4*v = 9, -3*v = -k*q + 9 for q.
0
Suppose -3*j = -0*z + 3*z, -4*z = j. Solve z*l = l - h - 2, 4*l + h = 23 for l.
5
Suppose -2*l + 3*l = 0. Let b(k) = 0*k - 3 + k**2 + 0 + 4*k. Let r be b(-5). Solve -4*t - 3*a - 4 = l, 5*t - 5*a + r = -3 for t.
-1
Suppose -2*w + 4 = -6. Let q(k) = k - 5. Let p be q(6). Let f be (3 + -2 - p)/(-2). Solve f = -5*u - 0*u + 2*h - 13, 5*h = -w for u.
-3
Let r(p) = p + 12. Let m(w) = 9*w**2 + 1. Let h be m(1). Let a be r(h). Solve 2*x + x + 17 = -4*n, -5*n - a = 3*x for x.
1
Let q(w) = w**2 - 2*w - 5. Let z be q(4). Let y(r) = -8*r + r - 2*r**2 + 7*r**2 + 7 - 6*r**2. Let c be y(-7). Solve c*f - z*f = -2*x, -x - 4 = -2*f for f.
1
Suppose 2*u + 5*v - 30 = u, -3*u + 52 = -4*v. Let x = u + -8. Suppose 2*l = -3*l - 3*w + 114, 0 = 4*w - x. Solve a - 4*d - l = 2*a, -4*a + 21 = -5*d for a.
-1
Suppose 0 = -4*j + 20. Solve v - 2 = r, j*r + 4*v - 10 = -v for r.
0
Suppose 9*u - 3*u - 24 = 0. Solve -s - 16 = -5*s - 3*q, 0 = -s - 5*q + u for s.
4
Suppose 3*z = -4*n + 15, z - 10 = -4*n + n. Solve 2*s - 14 = -4*g + 8, -n*s + 3*g = 12 for s.
1
Suppose 4*w - 3 = -c + 7, -17 = -3*w + 4*c. Suppose 4*m = w*m + 4. Suppose m*s - 5 = 3*s + x, 5*s - 25 = -2*x. Solve -p + 1 = 2*y - 3, 0 = -s*p + 10 for y.
1
Suppose 10*i - 5*i - 25 = 0. Let p be (2/5)/(1/i). Solve 2*n + 21 = -p*t - 3*t, 4*t - n + 22 = 0 for t.
-5
Let d be -2 + 5 + 1 + (-2)/2. Solve 3*q = -5*n - d, 2*q - 1 = -n + 3*q for n.
0
Suppose -p = 4*t - 10, -4*t - 2 = -p - 8. Solve -4 = 5*o - g + 21, -p*o - 4*g = -12 for o.
-4
Let h(t) = t + 11. Let z be h(-6). Solve -4*k + 2 = j, -z*j - 12 = -4*k + 2 for j.
-2
Suppose -12 = -a + 3*y - 0*y, -3*y = 3*a. Let p = 30 - a. Let t be p/6 - 1/2. Solve -r + 0*r + 1 = -o, 4*r + t = -4*o for o.
-1
Let p be (-2)/4 + (-49)/(-14). Solve -p*o - 24 = 5*t + 3, -6 = 2*t for o.
-4
Let i(c) = -10*c + 11*c**2 - 4*c**3 - 3*c**3 + 3 + c**3 + 5*c**3. Let b be i(10). Solve 2 + 26 = 4*u + 3*j, 3*u = -b*j + 24 for u.
4
Suppose -w + 18 = 2*w + 4*g, 0 = -4*g. Let o = 99 + -95. Solve -w = -4*u - n, -7*u + 2*u + o = 3*n for u.
2
Let o = -1 + 3. Let z(l) = -3*l**3 - 2*l**2 - 2*l - 2. Suppose 0*f + 10 = -5*f. Let w be z(f). Solve -o*i = -5*q + w, -2*i - 2*i - 14 = q for q.
2
Let h = -4 - -7. Suppose -2*d = -s, 35 = h*s + 2*d + 3. Solve 2*t = 5*f + 13, -f = 6*t - t + s for f.
-3
Let a = -5 - -4. Let n be (-57)/(-12) - a/4. Solve n*u + 4*m + 14 = 0, -m = -2*u - 3*m - 6 for u.
-2
Suppose 4*v + h - 7 = 0, 2*v - 2*h - 11 = 5. Let i = 4 - v. Suppose 25 = 3*d - 5*q, -i - 14 = -d + 5*q. Solve y = -y + b + 2, -d*b + 17 = -y for y.
3
Suppose 3*o - 67 = -2*q, q + 4*o - 21 - 25 = 0. Suppose 3*k + 19 = -q. Let c be 20/k*15/(-2). Solve 3*d + 12 = -3*r, 5*r = 2*d + 3*d - c for r.
-3
Let d(s) be the third derivative of -s**5/60 + 5*s**4/12 + 2*s**3 - 4*s**2. Let b be d(10). Solve -2*w - 4*o + 18 = 0, -3*o = 2*w - 2*o - b for w.
5
Let m be ((-12)/(-1) - 2) + 0. Suppose -f - f = -m. Let o be 5/(1 - -2 - 2). Solve 3*i = -o*s + 5, -2*i - 5*s - f = -i for i.
5
Let d = 29 - 20. Solve 5*f - 2*t = -15, 3*f + 3*t + d = -0*t for f.
-3
Let q(s) be the first derivative of s**3/3 - 5*s**2/2 + 4*s - 2. Let l = -11 - -15. Let i be q(l). Solve h - 2*k - 10 = -i*h, -15 = 5*k for h.
4
Suppose -2*k = 3*r - 12, 4*k + 2*r - 12 = -r. Suppose 3*h = -k*m - m + 17, 0 = 5*h + m - 27. Solve -h*l - 3*b = -5*b - 12, 0 = 4*l + 2*b - 24 for l.
4
Suppose -2*h + 4*c = 2*h + 20, -10 = -2*c. Solve 5*l + 5*u = h, -3*l - 5*u = 5 + 3 for l.
4
Let c(k) = k**3 - 2*k**2 + 2. Let y be c(2). Suppose -y*p = -p - 4. Suppose 3*x - 65 = -23. Solve -p*m = 5*b - 3*b - x, 4*m - 16 = 0 for b.
-1
Let i be 16/(-24)*(-3)/2. Let m = -4 - -7. Solve m*a + 0 - 12 = 0, -b + a = i for b.
3
Let r = 54 + -51. Solve 0*p - 2*w = -p + 5, 5*p = r*w + 25 for p.
5
Suppose -25 - 12 = -g - 5*j, 2*g - 41 = j. Suppose -1 = n + 5*d, 0*n + 2*d = 5*n - g. Let a be 4/((2 + -3)/(-1)). Solve -m + 2 = 2*c - a*c, -n*c - 2 = -m for c.
0
Suppose -46 = -3*f + 14. 