, -v + 4*p = -14 for v.
2
Let s be (-64)/(-12) + (-4)/(-6). Suppose 6*j - 18 = 3*j - 3*h, 3*h - s = 3*j. Solve j*f = -2*l, 0*f - 8 = -2*f for l.
-4
Let h be 3/(90/(-32) - -3). Suppose -h*n = -20*n + 28. Solve 5*v - 4*v + 5*i = -n, 0 = -5*i - 10 for v.
3
Suppose -2*q + q + 31 = -4*o, -3*q - 33 = 2*o. Suppose -55 = 5*p - 0*p. Let a = o - p. Solve 4*g - 2 - 3 = -3*k, -a*g - 2*k + 4 = 0 for g.
-1
Suppose 2*s - 31 = -5*p + s, -3*p + 4*s + 37 = 0. Suppose 2*n = -3 + p. Let h be (0/4)/n + 4. Solve 2*f = -h*k + 5*f - 2, 4*k - 5*f + 6 = 0 for k.
1
Let r = -446 + 449. Solve r*t - 2 = -3*f + t, 4 = t for f.
-2
Let s be 70/10 - 0/2. Suppose 0 = -4*i - s + 7. Solve 4*w + 20 - 4 = i, 5*k + 1 = w for k.
-1
Let g = -136 + 140. Let s = -33 + 35. Solve 0 = -s*h + 5*a + 15, h + g*a = -2*h - 12 for h.
0
Let q = -395 + 400. Solve 0 = q*h - 2*a + 5, -15 = -6*a + 3*a for h.
1
Let z(c) = 4*c + 97. Let f be z(-23). Let a(d) = 1 - 2*d + 15 - 6. Let g be a(f). Solve -m + 4 = -2*v + 6*v, g = 3*v + 3*m - 12 for v.
0
Suppose -a - 4 = 0, -147*z + 3*a = -150*z. Solve -2*q + z = -y, -4*y = -0*q + 4*q - 32 for q.
4
Let f = 38 - 37. Let v be (-7)/42*-8*3*f. Solve -3*c + 6 = -2*u + v, -5*u + 41 = 4*c for u.
5
Let t be -10*5/(-20)*2. Suppose -5*v + 10 = -t*w, -2*v - 34 = -7*v - 3*w. Solve -3*k - 4 = d + 2*k, 4*d - v*k = 9 for d.
1
Suppose -4*y + 24 = y - 3*p, -3*y = 2*p - 3. Suppose y = -8*c + 27. Solve 4*z - 12 = c*k, 0 = -5*z + 3*k + 15 - 3 for z.
0
Let p = -185 - -209. Solve 3*a = 3*r - 21, 2*a + p = -0*a + 4*r for a.
-2
Let q = -42 + 44. Suppose h - 12 = -q*h. Solve -h*j + 5*b = -0*b - 35, 2*b + 6 = 0 for j.
5
Suppose -3*w + 19 = 2*h, 2 = -2*h - 0*w + 4*w. Let a(l) = h - 2 + 3*l - 2*l - 2. Let b be a(-1). Solve -5*s = -0*s + 10, b = 4*k - 2*s + 12 for k.
-4
Suppose -3 = l - p, l = 3*p + 2*p - 23. Suppose -4*d + 24 = w, -w + 4*d - l = 6. Solve w = 4*u + 4*t, 0 = -t - t for u.
2
Let c = -718 + 719. Solve -j - c + 0 = -f, -3 = 3*f for j.
-2
Let m(i) = i**2 - 6*i - 11. Let y be 80/(-15) + 1/3. Let p(n) = n**2 + 2*n - 7. Let s be p(y). Let c be m(s). Solve -b = 4*k + 19, k = -c*b - 0*b - 19 for k.
-4
Let f(c) = c**3 + 6*c**2 - 8*c + 4. Let b be f(-7). Let j = 1 + b. Let t be (j/(-20))/((-2)/20). Solve -2*v - 5 = -r, 2*r + 14 = -5*v + t*r for v.
-2
Let l = -30 - -43. Suppose -l*q = -11*q - 4. Solve q*t = 3*t + 3*u - 2, 4*u = -3*t - 4 for t.
-4
Suppose 5*m - u - 24 = 0, 25 = 5*m - 3*u + 3. Suppose 4*s + 5 = m*s. Solve 0 = -2*k + r - 6*r + 8, -s*k + 3*r - 11 = 0 for k.
-1
Suppose f - 15 = -3*j - j, -6 = -2*j. Solve f*z + 0*z = 5*g + 22, -5*g - 5*z + 10 = 0 for g.
-2
Let a be (2/7)/(31/868). Solve -2*n - a*q - 8 = -4*q, 2 = -q for n.
0
Suppose 2996*j - 2988*j - 24 = 0. Solve -j*x + 10 = -5*x - 4*y, -3*x = y - 5 for x.
3
Let h = -383 - -384. Solve -5*a + h + 2 = s, -4*s - 11 = -3*a for s.
-2
Let k(o) = o**3 + 3*o**2 - 7*o - 6. Let p be k(-4). Suppose f + 2 = -2*t, f = 3*t - 8 + p. Solve 4*u = -d - 17, -u + t*u - 23 = 4*d for u.
-3
Suppose x = x - 6*x. Solve x = -2*p + 5*w + 19, 4*p - 2 = -2*w - 0 for p.
2
Suppose -291*l = -293*l + 2. Solve f = 4*p + l, -3*f - 4*p + p = -3 for f.
1
Let l be (-270)/(-27) - (-1 + 3). Solve -w - 2*q + l = 3, 2*w - q - 10 = 0 for w.
5
Suppose 0 = 2*i + 7*u - 6*u + 1, -u - 3 = i. Solve -3*g + 3*o + 18 = 0, i*g + 4*o + o = 5 for g.
5
Suppose -4*v + 6 + 2 = 0. Suppose 4*d + d = -5*b + 10, 0 = -4*b + 2*d - 22. Let o be b/(-4) + 204/48. Solve -3*q + v = 2*p, 5 = -o*q + 5*p + 25 for q.
2
Suppose 4*r + 2*h - 30 = 0, -3*r - h = -0*r - 21. Suppose 0 = -5*k + 4 - 24. Let f = k + r. Solve -f*a + 0*a - 12 = 2*p, 4 = -2*p + 2*a for p.
-4
Let x be 10/4 + 5/(80/24). Solve 0 - x = 4*n, 0 = 3*d - 4*n - 16 for d.
4
Suppose 30 = k - 0*f - 5*f, 5*k + 5*f = 0. Let h(u) = -u**2 - 14*u + 18. Let l be h(-15). Solve 2*r + k*n = 1 + 2, l*n = -3 for r.
4
Suppose 0 = 1682*f - 1688*f + 30. Solve f*s + 8 = 4*n - 2, -4*n + 3*s = -14 for n.
5
Suppose 50*k - 397 = 453. Solve h - 2*h + 4*n = 1, -k = -4*h - 5*n for h.
3
Let g be (0 - 2)*5/(-2). Let i be ((-4)/5)/(1 - 7/5). Let d = 1 - 1. Solve 3*k - i*k + g*o + 5 = d, 8 = -4*o for k.
5
Suppose -5*a + 3*p + 18 = 0, 4*a + p = 5 + 6. Solve -a*w + 11 = 4*m, 0 = -4*w - 2*m + 4*m for w.
1
Suppose -q + 5 - 18 = -5*z, -1 = -5*z - 3*q. Let m(x) = -15*x**3 + x + 2. Let b be m(-1). Solve -4*p + 2*p = z*k - b, -5*k + 4 = -4*p for k.
4
Let d(t) = t. Let z(l) = l**3 - 8*l**2 - 10*l + 12. Let k be z(9). Let g be d(k). Solve v + 9 = 3*r, 6*r - 3*v - 9 = g*r for r.
3
Suppose -5*v + 5*n - 2 = -7, 3*n = 2*v - 1. Let q be 1/v - (3 + (-39)/6). Solve 3*b = q*i + 13, -4*b + 2*i + 5 = 1 for b.
-1
Let d be 216/270*10/4. Solve v + 0*t + 3*t + 8 = 0, t + 1 = -d*v for v.
1
Suppose 0*k - 4*c + 22 = 3*k, k - 5*c = -18. Suppose 0*b + 8 = k*b. Solve -5*m + 9 = -b*a, -5*m - 2*a = -0 - 3 for m.
1
Suppose 0 = -3*s - a + 16, 4*a - 12 = -9*s + 10*s. Solve s*n = -d + 2 + 4, -4*d = 3*n - 11 for d.
2
Let b = 79 + -77. Solve 6 = b*h, -4*x + 24 = 4*h - 8 for x.
5
Let w = 903 + -887. Solve v - 2*o - 1 = 3, 4*v + 4*o = w for v.
4
Suppose 0*g + 9 = 3*g. Suppose g*u - 2*u - 2 = 0. Let p be (u - -2)/(2/3). Solve 3*r - 2*d - 1 = 0, 0 = -r - 5*d + p for r.
1
Suppose -57*w + 11 + 274 = 0. Solve 0 = -u - 4, 0 = -3*r - u - u - w for r.
1
Let y(w) = w**3 + 3*w**2 + 4*w + 2. Let k be y(-4). Let j = -28 - k. Solve -q - 1 = -3*v, -3*v + 4*q = j*v - 11 for v.
-1
Let f = -31 + 34. Suppose -3*t = -2*v + 3, 4*t - 16 = -f*v + 14. Suppose -m - 4*x - 10 = 0, v + 10 = 2*m - 4*x. Solve 2*k + 4 = 2*j - 6*j, -6 = m*j + 3*k for j.
0
Let n be (-132)/(-28) + 4/14. Let l be 2/2*-1 + 1. Suppose l*z - 10 = -2*z. Solve 0*i - n*h = 3*i + 25, -z*h = i + 25 for i.
0
Suppose 0 = -i + 51*i. Solve 0 = -2*y - i*y + 3*b + 10, 4*b = 5*y - 25 for y.
5
Let i be 154 - 8/(-6)*(-27)/18. Let s = i - 149. Solve t + 7 = -s*c, 0*c + 3*t + 11 = c for c.
-1
Let x be (-212)/(-18) + 4/18. Solve 3*y - 12 = 3*l, l + x = -3*l + 3*y for l.
0
Let i(q) = -3*q + 77. Let t be 28 - (-3)/(0 - 1). Let z be i(t). Solve 5*u + 3 = z*c + c, 4*c + 4*u = -28 for c.
-4
Let x = -54 + 56. Suppose -3*z - x*l = -11, 3*l - l + 7 = 3*z. Solve 0 = m - z*p + 14, -m - p + 8 = 2*m for m.
1
Suppose -5 = 13*k - 122. Solve -2*m = -3*j - 4, 3*j - 40 + k = -5*m for m.
5
Let i be 2 + (-2)/7*(-28 + -7). Solve y = -t - 2, -3*t - i = -2*y + 7*y for t.
1
Let f = 4 + 8. Suppose -y + 4*y = f. Suppose -j = -0 + 4, -y*j = -4*w + 36. Solve 1 - 17 = -4*z - w*c, 16 = 4*c for z.
-1
Let b be 2/(1*-2)*-4. Let o be 6/24 - 2/8. Suppose 2*t + 2*t - 4 = o. Solve -5*f - b*m + t = 0, 4*f + m = -3*m for f.
1
Let c = -49 - -49. Let d(i) = -i**3 - 5*i**2 - 6*i - 4. Let y = 8 - 12. Let n be d(y). Solve c = -4*l - n*f + 32, f + 4*f - 20 = 0 for l.
4
Let z = 1659 + -1652. Solve s = 3 + 1, -s = 3*y - z for y.
1
Suppose -3*z - z = -24. Let s = -3747 + 3749. Solve v = -3*r + 4*r - s, -v + 5*r = -z for v.
-4
Let z = -634 + 634. Solve z = -p - 2*p - a + 9, 4*p - 12 = -3*a for p.
3
Let l be 12/(-3)*(-5)/(-4). Let m = 8 + l. Suppose m*k + 4*y - 66 = 0, k + y - 19 - 2 = 0. Solve b = -5*t - k, -3*t - 11 - 3 = -b for b.
2
Let a = -3 + 20. Solve -3*d = 4*y - 5, -2*y + 2*d + 3*d - a = 0 for y.
-1
Let a(y) be the first derivative of 2*y**3/3 - 12*y**2 - 24*y - 8. Let s be a(13). Solve 3*x = -3*i, 2*i = -s*i for x.
0
Let j = 2 - -2. Let w be 6 + (-1 - (4 + -2) - -1). Solve -j*h = -f - 1, 2*h + h - w*f - 17 = 0 for h.
-1
Let l be 38/8 + (-17)/(-68). Suppose -b + 3 = -2*n, -2*n + l*b - 15 = -3*n. Solve 6*c - c - 6 = 2*u, -3*u - 4*c + 14 = n for u.
2
Let o be (-2)/(-4)*7/(56/80). Solve -o*t = -u - u + 19, 8 = 4*u - 4*t for u.
-3
Let l = -755 + 759. Solve 0 = -l*z - y - 12 + 1, 0 = 3*z + 4*y + 18 for z.
-2
Let k(j) = -j**2 - 9*j + 4. Let o be k(-9). Suppose -5 = o*z - 1. Let r = -1 - z. Solve r = 2*x - 5*t - 2, 3*x + 5*t = -22 for x.
-4
Let g be (10/3)/(13/(312/16)). Solve -g*j - 8 = -3*f, f - 1 = 2*j + 2 for j.
-1
Suppose 2 = -33*s + 167. Suppose 3*l = -2*w - 7, -w - 14 = 3*l + 2*l. Solve 2*n = s*x - 12, -n - 5 = -2*x - w for n.
4
Let r(i) = 5*i**2 + 46*i + 44. Let o be r(-1). Solve -o*l + q - 5*q = -14, -4*q = 4*l - 16 for l.
2
Let n(b) = -2*b + 3. Let v be n(2). Let s = 4 + v. Solve 4*h - 8*h = -s*i + 18, -4*h = 4*i + 4 for i.
2
Suppose -4*k = -x + 3*x - 46, 0 = -4*k + 16. Solve 0 = -3*c + 2*j + 14, 4*j 