 = 0 for l.
4
Let z = 20 - 12. Solve 0 = -2*r + m + 3*m - 20, 5*r + z = -4*m for r.
-4
Let b be 1/4*12 - -11. Solve 0 = -4*z - z - a - 10, 4*z = -2*a - b for z.
-1
Let g be (6/14)/(60/(-105))*32. Let z = g - -26. Solve 4*x - 3*x + 3 = -2*m, 0 = z*m + 4 for x.
1
Let b(d) = -15*d - 55. Let g be b(-4). Solve 2*q = g*c + 6*q - 30, -2*c + 14 = 2*q for c.
2
Suppose 6*v - 12 = 3*v. Let u(z) = -10*z - 1 + 0 - z**3 + 7*z**2 + 0 + 5. Let s be u(5). Solve v = -2*t + s*t, -q = -4*t + 6 for q.
2
Let j be 2/(-1) - 1*(3 + -5). Solve -3*s + 4*s + 5 = j, -23 = -2*d + 5*s for d.
-1
Let b be (-4)/(-10) - (-54)/15. Let x(h) = -41*h + 87. Let f be x(2). Solve -5*i + z + 8 = -5, 23 = b*i - f*z for i.
2
Let v(w) = 2*w + 6. Let k be v(-3). Suppose -q + 5*u = -k*q - 6, -3*u = 0. Solve 3*d - q = 3*n - 3, -2*d - 10 = 4*n for d.
-1
Let c = 22 - 20. Suppose -5*l + c*l = 0. Solve 29 = 2*m - 5*o, 3*m + 4*o + 7 + 7 = l for m.
2
Let j(k) = -2*k**2 - 16*k - 11. Let u be j(-7). Solve -4*a = -5*a + 2, b - u*a = -4 for b.
2
Let d = 23 + -19. Let z be (15/(-12) + 2)*(d - 0). Solve 0*p + 3*p - 17 = 5*h, 0 = -2*p - 5*h + z for p.
4
Let y(u) be the first derivative of 3*u + u**3 - 6 + 3/2*u**2. Let g be y(-2). Solve -5*j + 0*d + g = -3*d, 5*j + 4*d - 23 = 0 for j.
3
Let i(a) = -4*a + 58. Let o be i(12). Suppose 32*y = 27*y + o. Solve j + 4*x - 3 = y*j, 5*j = x + 4 for j.
1
Let g(k) = 5*k + 6. Let w be g(2). Let l be 0/2 + 0 + 4. Let i(p) = p + 2. Let t be i(3). Solve t*f + 2*u + 7 = -w, -u - 16 = l*f for f.
-3
Let m(w) = -w**3 - w**2 + w + 2. Let y be m(-2). Let h be 1*3/9*48/y. Solve 0 = -4*z + h*r + 28, -2*z = -7*z + 4*r + 32 for z.
4
Let i = -410 + 407. Suppose -105 = 2*z + 3*z. Let c be (-91)/z - 2/i. Solve c*g + 5*v = -0*v + 5, 19 = -5*g + v for g.
-3
Suppose 4*q + 4*z = 40, 12*z + 2 = -q + 7*z. Solve v - 2*u + 5 = -u, -q = 5*v + u for v.
-3
Suppose 8*r + 56 = 12*r - 4*m, -2*m = r + 1. Let d be (-159)/(-12) - 1/4. Let w = d - r. Solve -2*b = -3*n - 3, w*n + 8 = 3*b + b for n.
1
Suppose -138 = -23*q + 23. Solve -2*k + 14 = 4*y - 5*k, 3*y - 4*k - q = 0 for y.
5
Suppose -2*y - r + 3 + 2 = 0, 5*r = 5. Solve m = -v - 6, 11 = -0*v - v - y*m for v.
-1
Suppose 3*j = 2*j + 5. Suppose f + 2*f = 27. Suppose -f*h = -j*h - 20. Solve -3*c + 4*c - 1 = 4*a, -h*a - 20 = -5*c for c.
5
Let m be 3/6 - -6*6/24. Solve -4*k + m*k + 2*a + 2 = 0, -5*k - 5 = -3*a for k.
-4
Suppose 4*f + 22*u - 28 = 18*u, 2*f + 16 = 4*u. Solve -f*l - 8*z = -3*z + 10, -4*l + 28 = -2*z for l.
5
Suppose 0 = -f - 2, -3*h + 4*f - 39 = 40. Suppose 2*t + 21 = 2*i - 49, -3*t = 4*i - 119. Let z = h + i. Solve 3 = -5*d + 2*u, -z*u + 10 + 7 = 5*d for d.
1
Suppose 0 = -12*p + 11*p. Suppose 12*o = 21 + 27. Solve -q + p*n - 1 = 3*n, o*n + 8 = 0 for q.
5
Let k = 5532 + -5531. Let j = 17 + -12. Solve -5*a = j*n - 5, -8*a - 4*n + k = -3*a for a.
-3
Suppose 4*s = -3*d - 0*d, -3*s - 9 = 0. Suppose 4*n + 5*f - 13 = 0, 2 = -n - d*f + f. Solve -2*h + 4*i = 22, -3*h = 3*i + i - n for h.
-3
Let z = -68 + 68. Suppose -4*b - 4*y - 5 + 13 = 0, z = -4*b - 3*y + 6. Solve 5*v - 4*r - 31 = b, -4 = -r + 2*r for v.
3
Let x = 47 - 26. Suppose p = 4*s + 4, -s - 3 = 3*p + 2*s. Solve 3*f - 3*h = -x, p*h - 3 = f + h for f.
-5
Let f be -3*1 - (1 + -1). Let b = 0 - f. Suppose b*z + 15 = 8*z. Solve -3 = 3*n - u, z*n + 2*u - 5*u = 3 for n.
-2
Suppose -9*m = 816 - 861. Suppose -2*q - a - 3 = 0, 4*a = -4*q - 8 - 4. Solve -15 = -m*b - l, -5*b + l + 25 = -q*l for b.
4
Let z = 38 + 18. Let d = z - 41. Solve 15 = -4*r + 2*r + 5*o, -d = r - 5*o for r.
0
Suppose 15 = -3*z, -3*b - 4*z - 4 = 1. Suppose 3*l - 14 = -4*h, -h + 13 = -b*l - 2. Solve -3*m + h*c = -19, -6*m + c + 17 = -m for m.
3
Let f be 3 + -1 + 7 + 3. Let j = 23 - f. Solve 2*p = 4*d - 2, 0*p = -3*d - p - j for d.
-2
Let j(m) = -m + 21. Let g be j(7). Solve 5*u = 4*c + g, 6*u = 2*u - 3*c + 5 for u.
2
Let m be 21/63 - 13/3. Let t be ((-2)/m)/((-10)/(-20)). Suppose 11 = 2*j + t. Solve 0 = z - r + 2*r - 3, 4*r - 3 = j*z for z.
1
Let z(b) = b**3 - 6*b**2 - 7*b + 2. Let d = -100 + 107. Let n be z(d). Solve -33 = 5*w - n*m, -3*m = -w - 0*m - 17 for w.
-5
Let w be ((-9)/(9/4))/(-2). Suppose -d - 32 = -4*j + 3*d, -5*j - w*d = -47. Solve -3*g - j = 0, 5*n = -4*g + 13 - 0 for n.
5
Let l(d) = 2*d - 16. Let j be l(14). Let z = j + -7. Suppose 2*n - 129 = -5*r, -2*n - 3*n = -z*r + 115. Solve -5*k + 5 = a, 0 = -5*k + k + 5*a - r for k.
0
Suppose -2*m - 16 = -0*b + b, 2*b + 35 = -m. Let p be (-130)/b + 8/(-36). Solve 2*t - 8 = -p*d + 5*d, -4*t = d - 1 for t.
-1
Suppose 0 = -r - 1 - 2, 3*r - 76 = -5*f. Solve 16 = -k - 5*w, -4*w = k + 4*k + f for k.
-1
Suppose -a = -f + 18, 1 = -3*a + 4. Solve r - 3*v = -0 + 18, 2*r + f = -5*v for r.
3
Suppose -9*v + 36 = -3*v. Let h = 1 + v. Solve 8 = -2*l + 5*c, 0 = h*c - 3*c for l.
-4
Let t be ((-4)/(-6))/(6/126). Let m = -11 + t. Solve 0 = 5*p - r - m*r - 31, 3*p - r = 13 for p.
3
Let s(j) = -3*j - 3. Let g be -3*60/81 + 2/9. Let w be s(g). Solve -2*t - 8 = 4*k - 0, 7 = -w*t - k for t.
-2
Suppose 0 = -t - 2*t. Let o(b) = 62*b - 183. Let z be o(3). Solve -6*k + k + q + 14 = t, -z*q - 6 = -3*k for k.
3
Let m = -48 + 53. Solve -m*q - 15 = 0, -2*v + 4*q + 8 = 2*v for v.
-1
Let j(b) = b + 14. Let a be j(-11). Suppose 0 = 4*d - a*d - 2. Solve -3*r + p = 1, -4*r - d*p - 6 = -p for r.
-1
Let v = -444 - -449. Solve 2*h + v*y - 25 = 4*h, -h - 20 = -5*y for h.
-5
Let t be (4/1)/(5/(140/(-8))). Let j be 76/(-266) + (-1)/(t/4). Solve b - 2*p = 2, j = -b + 3*b - 2*p - 4 for b.
2
Suppose 0 = g + 4*b - 27, -5*g = -b - 98 - 37. Solve -5*k - g = -3*j, -13 = 8*k - 5*k - j for k.
-3
Suppose 25*o - 30*o = -45. Let d(j) = -2*j + 18. Let k be d(o). Let t = -6 + 8. Solve -n + 2*z - 5 = z, 3*n + t*z = k for n.
-2
Let c(d) = -5*d**2 - 178*d - 103. Let l be c(-35). Suppose 2*y = -3*y - 50. Let u = 15 + y. Solve -u*o - l*t = -7*t + 10, -o - 3*t = 14 for o.
-5
Suppose -961*w = -965*w + 8. Solve 2*d = 3*j - 11 - 1, -8 = -5*d - w*j for d.
0
Let r(m) = 2*m**2 - 14*m - 20. Let d be r(13). Let g be (-4)/34 - (-424)/d. Solve 3*f = 3*a + 4*f - 16, 3*f = g*a for a.
4
Let x(a) = -a**3 - 13*a**2 - 18*a + 49. Let n be x(-11). Solve -3*g + 18 = n*d + 14, 11 = -2*d + 3*g for d.
-1
Let d(b) = -b**3 - 4*b**2 + 7*b + 10. Let t be d(-5). Suppose 5*g = -f, t*g + 4*f = -4*g. Solve -4*k = -w + 9, g*k + 2 = -2*k for w.
5
Let k = 903 + -900. Solve 3*o - 4*j = -12, 7 = -3*o - k*j - 5 for o.
-4
Suppose 5*r + f - 180 = 0, r + 3*f = 4*f + 30. Let v = 55 - r. Solve 0*g - c = 2*g - 1, 4*g - v = 4*c for g.
2
Let n = 16337 + -16333. Let b be 31/3 + 2/(-6). Solve 0 = n*s + 5*g + 10, -s - 6*g = -g + b for s.
0
Suppose f - v = -2*v + 22, 2*v = 2*f - 60. Suppose -5*n = -f - 4. Suppose 10 = -z + n*z. Solve -4 = 4*c + z*m + 2, 0 = c + 4*m + 5 for c.
-1
Let p be (-32)/(-6) + 2/3. Let a = p + -3. Solve -a*t - 4*l = -3, 0*l = -2*t - 3*l + 2 for t.
1
Let q = 966 + -964. Solve -4*w - 2*h = -18, 4*w + 4*h - 18 = q*w for w.
3
Let s be (-3 + 20/6)/(3/18). Suppose -4*u + 6 = -2*b, -4*u + 3*u - b + 3 = 0. Solve 0 = -w + 3, -s*d + u*w = -0*w + 8 for d.
-1
Let z = 1880 + -1878. Solve -u - 2*g = -3, -2*u + 13 = z*g - 5*g for u.
5
Let a be (-2 - 1)/(45/10)*-6. Solve -a*g = -7*g + v + 9, 0 = 5*g - v - 15 for g.
3
Let s = 907 + -892. Solve -l - 3*v = 5, -s = 2*l + l - v for l.
-5
Let i be (-3 + 72)*(-1)/(-1). Let s = i - 49. Suppose -4*r + 20 + s = 0. Solve -2 = -q + 5*h + 3, 2*q - 5*h = r for q.
5
Let m be (14/42)/(((-1)/6)/(-1)). Solve -15 - 8 = m*p - 5*q, -3*p + 3 = 5*q for p.
-4
Suppose -6*v - 15 = 2*q - 3*v, 0 = 3*v + 15. Suppose q = 3*x + 4*a + 10, -3*x + 4*a + 11 + 11 = 0. Solve x*p - 4*u = 18, -5*u = -p - 0*p + 15 for p.
5
Let v(l) = -l - 5. Let j be 4 - -1 - 0/3. Let w be v(j). Let c be ((-4)/(-14))/(w/(-280)). Solve d - i = -2, 4*i - c = 2*d - 3*d for d.
0
Let j(t) be the third derivative of t**5/60 + 13*t**4/24 + 2*t**3 - 28*t**2. Let b be j(-12). Let a = 0 + 2. Solve 5*i - a = -s, b = s + 3 for i.
1
Suppose -4*b = -5*m + 36, 10 + 7 = 2*m + b. Let a = 10 - 6. Let q be (-14)/a*m/(-14). Solve -5*k = -5*g - 15, 0 = -2*g - 2*g - 3*k + q for g.
-1
Let a be 5 + (-8 - -6) - -3. Solve -3*t = -2*o - 9, 2*t + 3*o - a = 5*o for t.
3
Let f(d) = -d - 2. Let t be f(-6). Suppose 105 = -t*g - 6*v + v, 0 = -2*g + 2*v - 66. Let c be (-192)/g - 4/10. Solve b + b - 16 = 4*a