 x - 0*x - a*l, x - 5*l - 24 = 0 for x.
4
Let p(j) = j**2 - 10*j + 5. Let u be p(10). Solve 4*y - y - 22 = u*z, -3*z - 16 = y for z.
-5
Let o be ((-78)/(-12))/((-2)/(-8)). Suppose o = 5*w + 1. Solve 0 = 3*h + 2*c + w, 2*h - 2*c - c = -25 for h.
-5
Let c be (-2)/(-5) - 36/(-10). Suppose d - 4 = -1. Solve 3 = p + 4*v, c*p - v = 9 + d for p.
3
Let j(n) = n**2 + 16*n. Let o be j(-16). Solve -2*s + 6 = s + 3*v, o = 4*s - 2*v - 14 for s.
3
Let k(x) = -x**2 - 4*x + 1. Let o be k(-2). Suppose 7*i - 2*i = -o*v + 25, 5*v - 7 = i. Solve z - i = -j, 0 = 2*z - 2*j + j + 3 for z.
0
Suppose -11*m - 32 + 142 = 0. Solve 4*p + 2*r = m, -p + 6 = -4*p + 3*r for p.
1
Let v be 7/(28/(-8))*(3 + -4). Solve 4*d - v = 2*d + 5*x, -5 = -5*d + 5*x for d.
1
Let q be 20/12 - (-1)/3. Solve -3*c = c - x - 17, -2*x + q = 4*c for c.
3
Let q(t) = -t**3 + 13*t**2 + t - 2. Let p be q(13). Solve -p = 2*c + 3*b, -c + 2*b = 3*c + 14 for c.
-4
Let l be (9/(-15))/((-1)/5). Solve l*a - 6 = 0, -5*a = -4*v - 0 - 10 for v.
0
Let x = -17 - -19. Suppose -30 = -5*v - 3*f, -v + 4*f = x*v + 11. Solve -l + v*l = -4*k, -9 = 3*k - 3*l for k.
-1
Let r be (-144)/(-10) + (-2)/5. Suppose -5*c + 3*z - 22 = r, 15 = -c - 2*z. Let g = c - -11. Solve g*y + 5*a = 4*y - 25, -y - 5 = a for y.
0
Let r(o) = -2*o. Let k(n) = 2*n + 8. Let c be k(-11). Let z = c + 10. Let t be r(z). Solve 5*l + t = 4*d, -4*d = 4*l - 7 - 1 for d.
2
Let u be (12/10)/(2/30). Suppose w - 4*w = -4*c - u, -2*w + 8 = -2*c. Let z(g) = g**2 + 2*g + 4. Let y be z(c). Solve -4*t + r = -20, -r + y = 5*t - 3*r for t.
4
Suppose -l + 4 = 5*o, -2*l + 2*o + 35 - 3 = 0. Solve -4*b + 2 = -f + 24, 2*f - 2*b = l for f.
2
Let w be (-14)/77 - (-70)/22. Let k be (9/w)/((-6)/(-10)). Solve 3*x - 16 = -k*i - 0, -2*x - i = -6 for x.
2
Suppose 2*k - 26 = -6. Suppose 0*c + k = 2*c. Solve -c*u + 2*j = -19, -2*j = -3*u + 5*u - 2 for u.
3
Let c = 23 - 21. Suppose 3*d + 0*f - 13 = -f, -c*d = -4*f + 10. Solve -2*o = 2*s, -4*o = -d*o - s - 4 for o.
2
Let a(k) = -k**3 + 6*k**2 + 3*k - 13. Let d be a(6). Solve 2*y = -8, 2*r + d*y + 18 = -0*r for r.
1
Let y be (4/(-10))/((-3)/15). Let g(r) = -2 - y*r + 3*r + 0*r. Let w be g(5). Solve -w*f - z - 15 = 2*z, 5*f = 5*z + 5 for f.
-2
Suppose -13*p = -10*p + 9. Let w(i) = -i**3 - 2*i**2 + i - 1. Let m be w(p). Solve 3*s = -0*j - 5*j + 5, -s + 5 = m*j for j.
1
Suppose -52 = -2*f + 68. Suppose -5*m + f = 2*q + 3*q, 3*q + m = 26. Solve q = -3*w + 5*b, -4*w - 3*b = b + 20 for w.
-4
Suppose p - 1 + 4 = 0. Let i be p - ((1 - 3) + -6). Suppose 4*y + 5 = 3*f - 2, 0 = -i*y + 2*f. Solve -5*h = z + 3*z - 10, -2*h + 6 = y*z for z.
5
Let d(p) = -p - 3. Let a be d(5). Let k be a/(-4) + -2 + 1. Let s be 34/8 - 5/20. Solve 3*w = -2*q + k - 12, 4*w + 28 = s*q for q.
2
Suppose -4*w - 4*g + 32 = 0, 3*w - 28 = 2*w - 5*g. Let q = 27 + w. Solve 6*f - 32 = -4*a + 2*f, -5*a - 3*f = -q for a.
3
Let o be 0 + (0 - (1 - 1)). Suppose -3*c - 3 = o, 0*t - t - 1 = 4*c. Solve h + 4 + 4 = 2*a, -t*h + 4*a = 18 for h.
-2
Let t be 31/11 - (-2)/11. Let u(i) be the first derivative of i**3/3 + i**2/2 + 3. Let l be u(2). Solve 5*w = 5*b + 20, 2*w = t*w - 2*b - l for w.
2
Let m = 27 + -23. Suppose 3*i - 2 = 5*i, m*i + 18 = 2*d. Solve -6*u - 4*f = -d*u - 12, -2*f = u - 6 for u.
0
Let f be (-14)/(-3) - (-6)/(-9). Suppose -5 = f*a + 3*i - 22, i = -a + 5. Solve 0 = 2*q - 2*b + a, 0 = 2*q + 4*b - 0*b - 28 for q.
4
Suppose 33 + 24 = 3*r. Suppose -5*z - 2 - 13 = 5*q, 3*z + r = -5*q. Solve -6*p = -2*p + z*y + 12, -y = -4 for p.
-5
Let w be (5/(-3))/(30/(-54)). Solve -6 = -w*q, -3*a - 5*q + 2 = -17 for a.
3
Let g be (-1 + -7)*1/(-2). Suppose -f + 1 = 2*d, 0*f + 26 = 2*d - g*f. Solve d = -u + 4*a, u - 3*u - 6 = -a for u.
-3
Suppose 0 = -2*s - s + 9. Solve -3*g = -2*m - 0 + 1, -5*m = s*g - 34 for m.
5
Suppose -j = 2*x - 8, -5*j - 10 = -0*j. Let o be 17/x - 14/35. Solve -4*t + 17 = -o*i, -3*t = -6*t - 2*i for t.
2
Suppose g = -1 + 4. Let y(j) be the second derivative of 2*j**3/3 - j**2/2 + j. Let d be y(1). Solve -a + g = -2*x, 0*a = -d*a - 4*x - 31 for a.
-5
Suppose 6 + 4 = 2*b. Suppose b*k - 17 = 8. Suppose 4*z - 29 = -0*z + v, -k*v = z + 19. Solve 2*m = -2*f - 10, -f = 2*f - 4*m - z for f.
-2
Let r be ((-196)/(-6))/((-4)/(-6)). Let b = r - 35. Solve 3*n = 9, -5*q - b = -4*n - 2 for q.
0
Let y be (-2 - -2*1) + 4. Suppose 0 = y*k - 5*k. Let h be -1*(2 - 2 - 3). Solve k = 3*c - o - 17, h*o = c - 31 + 12 for c.
4
Let q(b) = b**2 - 3*b - 2. Let x be q(4). Solve x*r = h + 7, 2*r - 10 = 3*r + 4*h for r.
2
Let h = 5 - 22. Let j = -15 - h. Solve q - j*o = 2, -o = q - 4 + 5 for q.
0
Suppose -v = -2*v + 9. Let u = 4 + -1. Let k = -2 + u. Solve -2*l - q + v = 0, -2*l - 2 - k = -3*q for l.
3
Suppose -5*d - 67 = -2*t, 2*t + 11 + 0 = -d. Let x = -6 - d. Solve 8 = 4*i, x*v + i = 3*v + 18 for v.
4
Suppose 0 = -5*y, 3*k + y = 6*y + 12. Solve 5 = 2*d + 3, p = k*d - 9 for p.
-5
Let i be (-2)/4*(1 - 1). Let r = i - -5. Let h be 1 + (-3 - -2)/1. Solve -5*d - 7 = 2*x, -3 + h = 3*x + r*d for x.
4
Suppose 6 = a + 4. Solve 3*n = -3, 0*n + 4 = -a*d - 4*n for d.
0
Suppose 5*o - 29 = 4*o. Let a = -24 + o. Solve -4*i + 16 = -2*t, -i = a*t + i - 8 for t.
0
Suppose -30 = 2*a - a. Let o be a/(-45) + (-4)/6. Solve o = -2*c + 3*c - 5*s + 29, 4*c + 1 = -3*s for c.
-4
Suppose -2 = -3*c + 4. Let o be (2 + -1)/(2/12). Let j(a) = 4*a. Let q be j(1). Solve o*d - 3*z - 23 = c*d, q*d = 5*z + 33 for d.
2
Let n(c) = 4*c + 4. Let v = -13 - -22. Suppose -v = -4*x + x. Let q be n(x). Solve 2*t = -5*w + q, 0*w + 4*t = -2*w for w.
4
Let j(a) = -2*a - 2. Let h be j(-3). Solve 2*d - 2*w = 0, 0*d + h*w - 2 = 2*d for d.
1
Suppose -5*l + 2*j + 5 = -4*l, -25 = -5*l - j. Solve 2*a - a - 3*b + 9 = 0, 3*a + 11 = l*b for a.
3
Let f(g) = -g**3 + 7*g**2 - 7*g + 7. Let s be f(6). Let i be (-17)/(-4) - s/4. Solve i*k - 26 = 5*d, -4 = 4*d - 0*d + k for d.
-2
Let b(n) = n. Let d be b(1). Solve -5*q = 5, 0 = -2*f + 4*f + 5*q + d for f.
2
Let s be 2 + (-1 - 0)/(-1). Suppose 0 = -s*j + 6*j. Solve j = 5*g - 2*i - 22, 5*g - 15 - 1 = -4*i for g.
4
Let q(z) = -z**2 + 6. Let j be q(2). Solve 4*m + 2 = 2*m - 3*h, -m - j = 2*h for m.
2
Let d = -108 - -119. Solve -4*h + 4*l - 4 = 0, 3*h - l = -5*l + d for h.
1
Let a be 8/2*2/(-2). Let z = 4 + a. Solve z = 2*i - 5*s + 11 + 11, -4*s + 14 = 2*i for i.
-1
Let w(c) = 2*c + 17. Let p be w(-7). Let t be ((-4)/(-10))/(2/10). Suppose 30 = 5*r + p*a, a = t*a + 5. Solve 0 = g - 3*x - r, 3*g + 0*x = -3*x - 9 for g.
0
Suppose 15 = 4*p - z, 0 = -z - 5 + 6. Solve 2*y - 16 = 5*x, p*y + 26 = -y - 4*x for y.
-2
Suppose -5*m = 5, 0*m - 3*m = -3*v + 99. Solve -v = -4*f + 4*t, 3 + 5 = -4*f - 4*t for f.
3
Let s(h) be the first derivative of -h**3/3 - h**2/2 + 25*h - 1. Let a be s(0). Let n = -41 - -44. Solve 20 = -4*u - n*z - z, 5*u + z = -a for u.
-5
Suppose -75 = -5*w - 4*r, 5*w + 2*r - 5*r - 40 = 0. Suppose -s + 7 = -w. Solve -3*q + q + s = -5*x, 10 = -2*q - 2*x for q.
-1
Suppose -6 = -o - v, -4*o + 3*v + 16 = -v. Solve -2*y - 12 = y - 3*a, 0 = 3*y - o*a + 22 for y.
1
Let k = -47 - -50. Solve 5*f - 3*s - 17 = 0, 3*f - k*s = -6*s + 15 for f.
4
Let m be ((-16)/(-10))/(6/15). Suppose 7*y + 4 = 4*y + m*v, -y + 20 = 4*v. Solve h + 1 = -d, -3*h - y = -5*d + 15 for h.
-3
Let x = 6 + -2. Let d(b) = 2*b. Let c be d(x). Solve 3*p - f + 7 = 0, -p - c = 5*f + 21 for p.
-4
Let b be 4/(20/9) - (-2)/10. Solve t + 2*t = 4*h + 1, b*t = -2*h - 4 for h.
-1
Let l be (20/(-8))/((-2)/4). Solve -c + u = -1, 5*c = -0*c - l*u + 25 for c.
3
Let s be (1/(-3))/((-1)/9). Suppose -20 = -7*y + 3*y. Solve -2 + 11 = -3*z + s*o, 3*z + 9 = -y*o for z.
-3
Let o = 0 + 3. Suppose o*y = -4*h - 10, 0*y + 2*y - h - 8 = 0. Solve -c + 2*p + 10 = 4*p, y*c = 3*p - 15 for c.
0
Let t = -98 - -120. Solve 2*q = 4*z - t, 4 = -5*q + z - 15 for q.
-3
Suppose -10 = -2*p - 3*l - 0, -4*l = 0. Let b be ((-4)/p)/((-4)/10). Solve -5*w = 5*o - 40, 5*w = b*o + 3*w for o.
4
Let p be (-4*(-1)/12)/((-2)/(-12)). Solve 6 = -p*h - 2*m, 2*h - 3*m = m for h.
-2
Suppose -2*h = -5*u - 15 - 10, -2*h + u + 29 = 0. Solve -5*d - y - h = 0, 3*y - y - 10 = 0 for d.
-4
Suppose 0 = -6*r + 2*r + 20. Suppose 0 = -2*m + 5*f - 4, -6*m - r*f + 60 = -m. Let p = m + -5. Solve -p*x + 4 - 21 = 4*n, 0 = x + 4*n + 19 for x.
1
Suppose -5*m + r = -0*r, -2*m - 7 = r. Let n be m*(3 - (0 + 2)). Let z be n/