 = 0, 3*g - 4*k = 12 - 3 for g.
-1
Suppose -4*j = -3*j - 3. Let v be (-22)/(-4) + 4/(-8). Suppose 2*n = n - 3*u - 13, -v*u - 23 = n. Solve 4*o - 5 + 15 = n*i, -4*o - j*i + 5 = 0 for o.
-1
Let p(o) = -o + 10. Let t(m) = -m**3 + 4*m**2 + 7*m - 3. Let k be t(5). Let z be p(k). Solve -z*s = 3*v + s, 4*s + 20 = 2*v for v.
4
Let v(l) = -l**2 + l - 2. Let w be v(0). Let a = -2 - w. Suppose 2*u = -4*x + 64, -x - u - 2*u = -16. Solve -2*r + 3*b - b - x = a, 5 = b for r.
-3
Suppose 125*q - 122*q + 4*w = -4, -2*q = w - 4. Solve 2*i - q = -3*j + i, 4*j = -i + 5 for j.
1
Suppose 49 = 4*v - b - 4*b, 0 = 5*v + 2*b - 86. Suppose 18*d = v*d + 18. Solve 3*t = d, t = 5*u + 5*t - 32 for u.
4
Let v(t) = t**3 + 2*t**2 + t + 2. Let x be v(3). Suppose -2*i - 3*w + 36 = 0, 3*w = 2*i - w - x. Solve 5*y = 3*n - i, -2*y + 3 = 9 for n.
2
Let o(t) = -t + 14. Let x be o(12). Suppose -x*p = -0*p - 192. Suppose 4*k = k + p. Solve -k = 4*d + 5*b, 3*d - 2*b = -4 + 3 for d.
-3
Let w = -14 + 25. Suppose 1 = -5*n + w. Suppose 79 + 213 = 73*r. Solve 2 = -2*g + 4*q, 0*q + r*q = -n*g - 10 for g.
-3
Let y be 5*5/25*5. Suppose 4*g = -y + 13. Suppose -3*k - 4 = g*b, k - b + 1 - 8 = 0. Solve -k*f + u - 13 = -5*f, 0 = -f - 2*u + 11 for f.
3
Let n be 3952/57 - 2/(-3). Let h = -66 + n. Solve -h*k + 3*k - 3*g + 16 = 0, 4 = -4*k + 5*g for k.
4
Suppose 4 = -4*r + 5*r. Suppose -r*n + 9 = -4*b + b, -b = -n + 2. Solve 3 = -3*t + 6*t, n*t = -2*g - 3 for g.
-3
Let b be (2/(-2))/(6 + -5). Let k be (-1 - b) + 16/2. Suppose -2*j - k = -6*j. Solve j*g - w - 6 = 0, g - 3*g - 4*w - 4 = 0 for g.
2
Suppose 4*h + 2 = 2*t, -2*t - h + 2*h = -2. Suppose -9*s = 13*s - 726. Suppose 8*g + t = s. Solve -2*i + 3*q - 25 = 0, -g*q + 2*q = 2*i for i.
-5
Suppose 3*i + 15 = z + 3, 3*z - 4*i - 26 = 0. Let p be (3/z)/((-3)/(-12)). Solve -1 = p*h + t, -h + 4*t - 2*t + 7 = 0 for h.
1
Let t(s) = s + 3. Let c be t(-3). Suppose c = 7*h - 3*h. Suppose -2*g = 5*b - 29, b + 0*b + 3*g - 11 = h. Solve -n + 2 = 4*a + 5, 0 = -n + b for a.
-2
Let n(w) = w**2 + 2*w - 7. Let y be n(-5). Suppose 0*k + y = 2*k. Solve -5*x - 3*d - 19 = 0, -2*x - d = k*d for x.
-5
Suppose 62*u - 40 = 54*u. Solve u*d - 6 = 2*r + 13, -4*d = r - 23 for d.
5
Suppose 2*o - 4*d - 26 = 0, -4*o - 5*d + 8 = 21. Suppose 5*p + 301*q - 305*q = 8, 0 = p - 2*q - 4. Solve -o*s - j = p, -j - 4*j = -5*s for s.
0
Let z be 2 - (39/12 - 4/16). Let f be z/(-6) + 88/48. Solve -f*p + 2*y = -2, 2*y + 10 = 5*p - 7 for p.
5
Let t = -58 - -104. Suppose -5*h - 5*b = -160, 2*b + 16 - t = -h. Solve 0 = 5*d + 4*x - x - h, 5*d - 13 = 4*x for d.
5
Suppose 0 = 3*n + 4*i - 57, 9*i - 5*i = 2*n - 38. Solve -4*p = 3*t + n, 4*t + 0*p = p for t.
-1
Let u(t) = 5*t + 2. Let c be u(2). Suppose -3*b = -6*b + c. Suppose 4*h + h - 20 = -4*l, 0 = b*h. Solve 5*n + 3*d = 21, l*n + 5*d = 4*d + 17 for n.
3
Let p(n) = -n**3 + 23*n**2 - 14*n - 171. Let i be p(22). Solve -i*a = -3*h + 24, -3*a - a - h = 9 for a.
-3
Let o(j) = -5*j - 14. Let z(u) = u. Let k(w) = -o(w) - 6*z(w). Let i be k(8). Solve q + 12 = -4*n, q - i*n = -n + 24 for q.
4
Suppose -61*x - 96 = -93*x. Solve a = -3*l + 15 - x, -2*l = 3*a - 15 for a.
3
Suppose 0 = 4*f - 2*f. Suppose f*b - 5*b = 0. Suppose 4*v = -4*n + 52, -5*n + b*n + 3*v = -41. Solve -4*q - n = -2*i, i - 5*q = 2 + 9 for i.
1
Let m be ((-10)/(-3))/((-6)/(-9)). Let o = 148 - 144. Solve -o*v = 4*d - 4, -m*v - 2 = 3*d - 3 for d.
2
Let o(v) = -v**3 + 7*v**2 - 8*v - 7. Let t be o(5). Suppose t = 5*l - 12. Solve 2*s + 5*w - 33 = 0, -6 - 1 = -l*s + w for s.
4
Suppose -28 + 12 = -4*m. Suppose -5*f + 11 = -0*f + q, 9 = m*f + q. Solve -10 = 2*w + u, f*w + 10 = -3*u + 7*u for w.
-5
Let n(m) be the second derivative of -3*m**5/20 - 2*m**4 - m**3/6 - 2*m**2 - 41*m. Let t be n(-8). Solve -3*c - 7 = 2*c - 4*l, 2*c = l - t for c.
-3
Suppose 4*k = -3*g - 3, 3*g - 8*g - 5 = 0. Solve q - 19 + 5 = 3*n, -q - n - 6 = k for q.
-1
Let o = 9 - 3. Let g = 1 - -6. Let f be (-3 + g - 4)/(-3). Solve f = -5*s - 4*t - o + 16, 2*s + 4*t = 16 for s.
-2
Suppose 504*c - 14 = 497*c. Solve -c*w + 4*w + b - 9 = 0, -2*w - 2*b = -12 for w.
3
Let i(t) = 2*t + 12. Let o be i(-6). Suppose o = -0*y + 2*y - 4. Solve -4*q - 8 = 0, y*r = 5*q - 2 + 8 for r.
-2
Let m(v) = -2*v**2 - 47*v - 58. Let u be m(-22). Solve 5*a - 3*a - 4 = -3*z, 2*z = -4*a - u for z.
4
Let o be (-21)/2*76/57. Let a be -3*(-21)/o*(-2)/3. Solve -25 = -5*c + 4*y, -a*c + 5 = -y - 3 for c.
1
Let h be (20/(-6))/((-8)/12). Suppose -3*w + h*q - 10 - 1 = 0, -5*w + 3*q = -3. Let r = -11 + 16. Solve u + 2*i = 2*u + 9, w*u = -5*i - r for u.
-5
Let j = -382 + 386. Let v be (-1 - -1)/(4 - 2). Solve v = -4*l - 4*u - 28, 7*u = -5*l + j*u - 25 for l.
-2
Suppose 5*z + 2*j - 2 = 0, -13*z - 3*j + 3 = -16*z. Solve 0*t - 2*q + 22 = -3*t, z = -5*t - 4*q for t.
-4
Let r(l) = 3*l**2 + 2*l - 2. Let o be r(-2). Let q be o/(-9) - (-22)/6. Let g be -7 + ((-360)/8)/(-5). Solve -4*p + q*z = 13, -g*p + 2*z = -1 + 9 for p.
-1
Suppose 5*p = 2*u + 10, 5*u + 0 - 2 = -p. Suppose u = -4*v - 4*v + 6*v. Solve v*j + 5*j + 5*l - 25 = 0, -2*j - 10 = -3*l for j.
1
Let s(x) = x - 9. Let b be s(-15). Let u = -22 - b. Solve 0*o - 5*o - 25 = -5*i, u*i - 3*o - 12 = 0 for i.
3
Suppose -2*g + g - 43 = -3*a, 5 = -5*g. Let b = a - 10. Solve 20 = -2*v + b*v - 5*q, -4*q = 4*v - 12 for v.
5
Let w(n) = -n. Let c(k) = -k**2 - 2*k - 5. Let f be 14/12 + (-3)/18. Let v(o) = f*w(o) - c(o). Let q be v(0). Solve -2*b - 26 = -q*a, -5*b - 1 = 2*a + 6 for a.
4
Let v(u) = -2*u - 6. Let h be v(-4). Suppose 0 = -4*p - 2*q + 158, p + 3*q = -p + 73. Suppose -20 = -4*n - 0. Solve -n*c + p = 4*g, -h*c + 4 = g - 10 for c.
5
Suppose 6 - 2 = q. Suppose 19 = -5*d - 1, -q*a + d + 20 = 0. Solve h + 4 = -3*h + 4*w, h = -a*w + 14 for h.
2
Let r(i) = -3*i - 9. Let j be r(-11). Let q be ((-6)/4)/(3/(-12)). Solve -3*s + 3 = p - q*p, 3*s + j = -4*p for s.
-4
Let s be -11 - -7 - 1*(1 + -5). Solve s = r - 3*r + 5*y + 19, 0 = 4*r + y + 17 for r.
-3
Suppose 0 = -5*w + 4*h + 22, 0*h - h = 3. Suppose 5*j + 12 = -t, 2*t = -w*j + j + 12. Solve -3*q = i - t, -q + 3 + 3 = 2*i for q.
2
Suppose 0 = -4*k - 4*x + 11 + 1, 2*k - 13 = 5*x. Suppose -g + 2*f = g, 4*f - 4 = 2*g. Solve 22 = -g*j + 5*i, k*j + 14 + 10 = 5*i for j.
-1
Suppose -3300*f + 3306*f = 6. Solve 5*q = 4*t + 4 + f, -3*q + 3 = -2*t for q.
1
Suppose 0 = w + 4, 20*n - 2 = 18*n - w. Solve 4*u - 2*l - 36 = 2*l, 0 = n*u - 5*l - 37 for u.
4
Let n = 2 - 12. Let x(b) be the first derivative of b**4/4 + 3*b**3 - 6*b**2 - 13*b + 148. Let k be x(n). Solve 0 = 5*y - 4*j + 35, j + k = 2*y - 6*y for y.
-3
Suppose -4*q - 3 - 1 = w, q - 6 = -2*w. Suppose -w*b + 20 = 4*k, -b = -0*b + 2*k - 5. Solve -34 + 6 = 5*g + 4*i, -b*g = 3*i + 26 for g.
-4
Suppose 3*o - 4*d - 49 = 0, -7*o = -8*o + 5*d + 31. Solve c = -3*z - 8, -c - 4*z - o = -1 for c.
-2
Let d be (-1 - 1)*(3/(-2) - 2/(-4)). Let q = 3 + -2. Let k = q + 4. Solve d*s + s - 4*c + 23 = 0, k*c = -s + 24 for s.
-1
Suppose 0 = h - 3 + 1. Suppose 4*b - 3*l = -45, 0 = h*b - b - 2*l + 10. Let c be (0/1)/(b/12). Solve -3*q = 0, c*q - q + 6 = 3*r for r.
2
Let d(v) = -v**3 + 23*v**2 + 2*v - 38. Let l be d(23). Suppose l - 18 = -5*w. Solve 0 = w*m - 5*o - 28, 0 = 3*m - o - 19 + 3 for m.
4
Suppose 2 + 17 = -n - 4*m, m = -2. Let u = 13 + n. Solve u*l - c = l + 1, 5*l + 40 = -4*c for l.
-4
Let t = -4 - -9. Let r be -3*341/132*-4. Solve -k = q + 2*q + 18, 0 = -2*k - t*q - r for k.
-3
Let u be (43/3)/(0 + 2/6). Suppose -13*o = -u + 4. Solve 9*b + 29 = -3*f + 4*b, -o*f + 3 = -3*b for f.
-3
Suppose 2*s + s + 3 = -4*o, 3*s = -2*o - 9. Suppose -97*v + 434 - 143 = 0. Solve 0 = -m - v*m + 4*a, -o*a - 32 = 5*m for m.
-4
Let v be (-3)/18*-30*1. Solve v*j + 0*j - 5*s = 0, 16 = 4*j + 4*s for j.
2
Let k be (-2)/7 - 408/(-56). Let o be k/4 - (-7)/28. Solve -o = x + 4*z, 2*z - 4 = 2*x - 0*z for x.
-2
Let q(l) = -7*l + 3*l + 2*l - 9 - 5. Let c be q(-11). Suppose 4*v + c - 28 = 0. Solve 2*t - 6 = -3*n + 5*t, v*n + 2*t - 3 = 0 for n.
1
Let i = -4 + 11. Suppose i*q = 2*q + 20. Suppose -9*t + q = -5*t. Solve n - 4*l - 1 = -0, n + 2*l = t for n.
1
Let g be (-20*1)/(-1)*1. Suppose g*p + 8 = 21*p. Let o = 12 - p. Solve -2*t + 5*b = o - 26, t + 3 = -b for t.
1
Let f = -877 + 882. Solve -5*z + 4*i = 32, 6*z - f*i = z - 35 for z.
-4
Suppose 5*g - 15 = 5*x, -2*g - 5*x = -2*x - 6. Solve -4*t