a be (2 - (-3 + 1)) + 1. Solve 4*q = 3*p + 2*q - 13, -5*q - 25 = -a*p for p.
3
Let f(t) = -2*t + 3. Let r be f(0). Solve -u - 2*l - 10 = -5*u, -r*u + 27 = 5*l for u.
4
Suppose -u = -1 + 3. Let s be 2/(-2) - -5 - u. Solve 5*v + 2 = -z - 15, 3*z = -s for v.
-3
Let i = -19 - -19. Solve -2*y + 0*y = -g, -5*y + 3*g = i for y.
0
Suppose -4*k - 4 + 12 = 0. Solve -d - 2 = -k*w - 3, 5*d = -4*w - 9 for d.
-1
Let r be (40/(-6))/(14/(-21)). Let g be (r - 11) + (1 - -2). Solve 2*h = -t - 2*h + 5, -g*h + 5 = t for t.
5
Let n = -9 - -29. Solve -z + 23 + 2 = 5*f, -4*z + n = 0 for f.
4
Let n be ((-10)/(-8))/(9/72). Solve -4*k = -d - 4*d + 12, 2*d = -k + n for d.
4
Let x(s) = -2*s**2 + 2*s - 5. Let u be x(4). Suppose 5*v + 3*o - 204 = 0, 4*v = 2*v + 4*o + 92. Let b = v + u. Solve -b = -2*h - 3*l, l - 2*l = 2*h - 7 for h.
2
Suppose 3*m - 5*n = -13, 0 = -4*n + n + 6. Let o be 0*((-3)/m - 2). Solve -5 = -4*w - 1, p + 2*w - 6 = o for p.
4
Let a be 5/2*2 - 27/27. Solve 5*l = -2*v + 19, 3*v + 8 - a = -l for l.
5
Let m be (-34)/6*12/(-4). Suppose -3*j + 4 + m = -3*o, 2*j + 2*o - 2 = 0. Solve 0 = -0*x - j*x + 5*h, 0 = 2*x - 2*h - 2 for x.
5
Let r(l) be the first derivative of 1 - 4*l + 1/2*l**2. Let q be r(9). Solve 4*s - q = 5*f + 2, 4*f - 13 = -3*s for f.
1
Suppose -6*i + 24 + 24 = 0. Solve 3*x + 2 = s - i, 5*s = 5*x for x.
-5
Suppose 5*j - 97 - 128 = 0. Suppose -x + j = 4*x. Solve 2*y + y - 4*q = -x, q + 12 = -4*y for y.
-3
Suppose -2*k + 4 = 0, -3*k + k - 12 = 2*g. Let q = -104 - -162. Let c = q + g. Solve -5*x - 5*w = -c, -4 = x - 2*w + 1 for x.
5
Suppose 0 = 4*s - 3*y + 19, 5*s = -6*y + 3*y + 10. Let k be 5*((-2)/(-1) + s). Solve -i - k*v + 4*v = 2, 0 = -4*v for i.
-2
Let t = 3 - -1. Solve -2*u - 3*o = -0*u + t, 6 = -3*u - 5*o for u.
-2
Let i(h) = 2*h**3 + h - 1. Let p be i(1). Let s = 22 - 21. Suppose 0 = 4*d - 3*c - 13, -p*d + 13 = 4*c + s. Solve -d*g - g + 40 = 4*b, -3*b + 5*g = 5 for b.
5
Let r(m) = -4*m**3 + 4 + 10*m**3 - m**2 - 5*m**3. Let g be r(0). Suppose -f - 2 + g = 0. Solve f*j + 6 + 1 = 3*d, -4*j + 2*d - 10 = 0 for j.
-2
Suppose 5*o - 15 = -0. Solve -3*u + 2*n + 9 = -o*n, -5 = -2*u + 3*n for u.
-2
Let j = -18 + 6. Let i be (-10)/3*j/(-10). Let r be 2/(i/26)*-1. Solve 2*z - 2 = u, 0 = -5*u - 3*z + 3 - r for u.
-2
Let y be 11*3/6*2. Let c(h) = h + 3. Let t be c(5). Suppose -5*r = 6*f - f + 15, -5*r + 5*f = -35. Solve 0*k = 5*d - r*k + y, -4*d - 4*k = -t for d.
-1
Let w = 5 + -4. Let c be 3 - -21 - w - 4. Solve 0 = -5*k + q - c, 5*k + 22 = 2*q - 4*q for k.
-4
Let u be ((-8)/7)/(34/(-357)). Solve 5*v - 4*w = u, -w - 4*w = 3*v - 22 for v.
4
Let d(n) = n + 7. Let p(a) = 3*a + 22. Let z(j) = 11*d(j) - 4*p(j). Let l be z(-13). Solve -l*b + 4 = -0*b, -1 = -h + b for h.
3
Suppose 0 = -4*l + 5*u + 41, -2*l + 3*l = -4*u - 16. Suppose n + 0*m - 2*m = -3, l*n = -4*m + 24. Solve a - 14 = -3*j, -n*j - 2 = -4*a + 9 for j.
3
Let t(q) = q - 2. Let i be t(4). Suppose -4*o + 4*b + 40 = 0, 4*o - i*b - 14 = 3*o. Let n = -2 + o. Solve 0 = -h + 2*h + n*j + 20, j = 2*h + 4 for h.
-4
Let n(q) = q**2 - 9. Let k be n(0). Let d = -4 - k. Solve 2*o + 12 = 6*o, 19 = -4*w + d*o for w.
-1
Let f(b) = -b + 16. Let h be f(12). Solve -k + 2*i = h, 3*i - 6 = -3*k - 0*i for k.
0
Let b = -40 + 43. Solve b*x + 11 = 4*n, n - 4*x = -3 - 4 for n.
5
Let c(s) = s**2 - 1. Let i be c(-4). Let x = 15 - i. Solve -2*u + u - 5*l - 4 = x, 5*u - l = 6 for u.
1
Let y be (-2)/5*(-30)/(-2). Let a = y - -7. Solve 13 = 3*v - l + a, -4*l = 3*v - 27 for v.
5
Let l = -36 - -21. Let m be 5/l - 7/(-3). Solve 0 = d - 1, m*o + 4*d = -2 + 4 for o.
-1
Suppose -3*y = -2*y - 2. Let x be ((-4)/(-8))/((-2)/(-12)). Solve -u = -x*z - z + 11, -y*u = -z + 1 for z.
3
Let a = -211 - -216. Let u be -2*3*4/(-6). Solve 4*f = 3*p - 29, -2*p - 9 = u*f + a for f.
-5
Let v = -31 - -46. Solve -2*r - 5*m + 4 = -2, m = 5*r - v for r.
3
Suppose f - 1 - 1 = 0. Let z(l) = -2*l + 18. Let m be z(9). Suppose -4*x - 3*p = -m*p - 91, f*p = -6. Solve 5 = t, 2*u = -5*t + 4 + x for u.
2
Suppose -215 + 115 = -5*j. Solve 5*d = 4*i - 0*i + 8, -2*d + j = 4*i for d.
4
Suppose -4*b + 1 + 11 = 0. Let d be (-1)/(-3)*0/b. Solve -2*g - 4*l - 16 - 14 = d, g = 3*l + 10 for g.
-5
Suppose 12 = 4*x - m, 0*x - 2*x - 5*m - 16 = 0. Let t be -5 + x + 1 + 14. Let o be (-3)/(-9) - (-44)/t. Solve -2*b - 5 = -o*c + b, -c + 6 = 4*b for c.
2
Let s = 12 + -32. Let t = -12 - s. Solve 8 = -2*b + 3*k, 0 = -2*k - 2*k + t for b.
-1
Suppose 3*n - 19 = -0*v + v, n - 1 = 3*v. Solve 2*o - n*x = -3*x - 26, 4*o + 5*x = 13 for o.
-3
Suppose -2*v + 4*v = 6. Solve 28 = -4*s - 3*r, -v*r + 4*r = -4 for s.
-4
Suppose 0 = 3*i - 5*n + 26 - 94, -88 = -4*i + 4*n. Let f = i + -5. Solve 3*q = -5*g + 2*q - f, g + q + 4 = 0 for g.
-3
Suppose -2*j + 6 + 0 = 0. Suppose 4*p + 18 = -2*r, r - p = -4*r - 56. Let q = 29 + r. Solve 0 = -j*m - 9, 3*m - 6 + q = 3*t for t.
1
Suppose -4*n = 2*z - n - 42, -71 = -5*z + n. Let w be (5/15)/(1/z). Solve 5*y = 2*p + 25, w*p - 3*y = p - 29 for p.
-5
Let v = 6 - 4. Suppose 2*m + v*m - 12 = 0. Solve m*d = -2*f - 21, -5*d - 2*f - 17 = 14 for d.
-5
Suppose 0 = -2*h - 3 + 13. Suppose -h*i + 8*i - 9 = 0. Solve -4*c = -2*f - 14, 5*f = -3*c + i*f + 14 for c.
4
Let i be (-1)/(-2) - 7/(-2). Let s(n) = -2*n - n - 3 + i*n. Let c be s(5). Solve 5*a - 2 = c*v, -3 = 3*v - a + 3*a for v.
-1
Suppose -1 = 2*g - 5. Suppose -g*m + 0 = -2. Solve b + m - 7 = -3*a, b = 3*a - 12 for a.
3
Suppose 4*u - 8 = -4. Let j = 7 - u. Solve 9 = -o - 4*y, -j = -y + 3*y for o.
3
Let m(b) = b + 4. Let t be m(0). Let k = 26 + -20. Let c be 75/45*k/5. Solve -4*n = p + 15, p + c*n - t*n = 15 for p.
5
Suppose 7*t - 10 = 5*t. Solve 4*k + 32 = -3*w - 0, 2*w + 33 = -t*k for k.
-5
Let j(a) = -13*a + 1. Let t be ((-5)/15)/((-2)/(-6)). Let d be j(t). Solve 5*l = -5*s + 15, -d = -3*s - 2 for l.
-1
Let r(i) = 3*i - 9. Let w(d) = 2*d - 8. Let p(t) = -3*r(t) + 4*w(t). Let g be p(-7). Solve -5 = -2*z - 3*k, -z = -g*z - k for z.
-5
Suppose 16 = m - 6. Suppose -5*q = -i + 14, -3*q + m = 3*i - 8*q. Solve -5*u + 5*z - 5 = -0*z, i*u - 3 = -3*z for u.
0
Suppose 2*h = 3*x - 5 - 1, -3*h - 4*x = -25. Solve -3*m = h*f - 9, 4*f - 1 + 3 = 3*m for m.
2
Let n = -15 - -15. Suppose 0 = -4*d + 12 - n. Solve -4*s - 18 = u, 31 = d*s - 8*s + 3*u for s.
-5
Suppose 0 = 9*v - 4*v - 20. Solve 2*l - 6 = -b - l, v*b + l - 13 = 0 for b.
3
Suppose 0 = -3*d + 6*d - 6. Let y = 3 - 3. Suppose d*k + 8 = 0, y = -5*g - 4*k + 3*k + 16. Solve g*j + 0 + 1 = -3*l, 2*j + 8 = 0 for l.
5
Let v(b) = -b**2 - 9*b + 7. Let r be 5*(32/10)/4. Suppose 33 = -5*p - r*f, -2*p - 3*f = 13 - 4. Let u be v(p). Solve 5 = 5*o - c, 4*o + 3 = -5*c + u for o.
1
Suppose -3*o + 15 = 2*o. Suppose 15 = 2*q + o*q. Solve -f - 11 = 5*u, 5*u + 3 = q*f + 2*u for f.
-1
Let q = 5 - 2. Suppose 5*f - 40 = -0*f - 5*r, -q*r = -9. Solve 0 = 2*v - f*b + 2*b, -5*b = 0 for v.
0
Suppose 2*i = 5*c - 10, 4*c + 2*i + 9 = 35. Solve -3*o = -0*w + 3*w + 3, 0 = 2*o - c*w - 10 for o.
1
Let i = -12 + 22. Solve 5*q - 10 = 5*k, 2*k + q + 0 = -i for k.
-4
Let c be 1*(1 + (-3)/3). Suppose c = 2*g - 2, 0 = -5*d - 0*g - g + 11. Solve -5*l - m = -8, -4*m + 6 = -d*m for l.
1
Let p(q) = q**3 + 4*q**2 - 3. Let d(i) = 2*i + 9. Let y = -12 + 6. Let m be d(y). Let t be p(m). Solve 3*z - 6 = 3*c, 6*z = 4*c + 4*z + t for c.
-1
Suppose -f - 4*b = -3*f - 6, -4*f + 3*b = -8. Solve 0 = f*h + 3*t - 28, -1 = h - 2*t - 4 for h.
5
Suppose -4*i = 4*r + 5 + 7, 0 = -3*i - 2*r - 5. Let d be 7/(-2*i/(-2)). Solve 3*k - 24 = 4*c - 1, 0 = -3*k - 2*c - d for k.
1
Suppose 5*v - 6*v = 25. Let q = 27 + v. Solve -2*t = -0*t + 3*h - 8, -1 = 3*t - q*h for t.
1
Suppose -3*l + 0*l = -12. Let m be -3*(20/6)/(-1). Suppose -m = -j - j. Solve l*h = n - 7, -j*h + 4 - 14 = 0 for n.
-1
Let f(d) = d**3 + 2*d**2 - 3*d + 4. Let q be f(-3). Suppose -5*l + 21 = -q. Solve -l*m - 27 = -m + 3*o, 0 = -3*m + 3*o + 6 for m.
-3
Let d(u) = -u**3 + 10*u**2 + 11*u. Let z be d(11). Let t = 6 + 6. Let y = 33 - t. Solve z = 5*w - j + 21, -3*w + y - 52 = 4*j for w.
-5
Suppose 4*l = 2*d - 33 - 13, 5*l = 3*d - 64. Solve -2*x + 14 = -4*t, 5*t + d = x - 0*x for x.
3
Let q be 5*-1*(-1 + -1). Solve 1 = 4*p + 5*x - q, 2*x = -4*p + 2 for p.
-1
Suppose -2*i = -5*f + i + 6, -f = -3*i - 6. Suppose m - 2 = f, -2*x - x - m + 11 = 0. Solve x*h - 2*h + 5 = 2*a, h - 15 = -2*a for h