2*t - 3*p + 10 = 0 for t.
1
Let m be 97/2 + (-5)/10. Suppose 7*f - 10*f = -m. Suppose 2*o - f = 3*a, -o + 3*a = -a - 18. Solve 3 = -3*k + c + o*c, -c = k - 1 for k.
0
Suppose -3*w - 4*t + 80 = -0*t, -5*w + 120 = 4*t. Suppose 22*d = 27*d - w. Suppose -4*j + 4 + 16 = 0. Solve -5*x = j*p, 6*x - x + d*p = 2 for x.
2
Let n(j) = j**3 + 6*j**2 - 55*j. Let w be n(-11). Solve k = 3*y - 13, 0 = -w*k + 2*k - 4*y + 20 for k.
-4
Let a(c) = -c**3 + 12*c**2 - 8*c - 118. Let d be a(10). Solve -q - 8 = -d*n, q + 4*q = 0 for n.
4
Suppose -5*u - s + 11 = 0, 8*s + 26 = 2*u + 3*s. Solve -2*t - 15 = 5*b - 6*t, t = 2*b + u for b.
1
Suppose -27 = -4*t + 25. Suppose -17*f = -t*f. Solve 3*h + 4*v = 23, -1 = h - 3*v - f for h.
5
Suppose -9 - 1 = -2*q. Suppose 0*r + q*r = -20. Let i be r/(-16) + (-55)/(-4). Solve 5*c + 2*p + i = 0, 0*p + 5*p - 15 = 0 for c.
-4
Suppose m + 3*z - 3 = 13, -2*m = z - 7. Let w(s) = 11*s**2 - 3*s + 2. Let b be w(m). Solve 0 = -y - 3*t + 10, 0*y = -3*y + t - b for y.
-2
Let p(z) = -z**2 - z + 13. Suppose 0 = 13*h - 10*h + 30. Let y = h + 10. Let u be p(y). Solve w + 4 = r, 4*r - u - 9 = -2*w for w.
1
Let i = -4 + -2. Let l be (-1)/(-4) + 13/(-4) - i. Solve -5*p + 4*p = -4*b - 8, -l*p = 5*b + 10 for b.
-2
Suppose -o - 3*v + 3 = 5, 0 = -o + 5*v + 38. Suppose 17*k - 16 = o*k. Solve -6*j = -5*j - k*a + 6, -j - 5 = -3*a for j.
-2
Suppose -300*x + 306*x - 72 = 0. Solve 4*m + 14 = 2*n, -3*n = -7*m + 12*m + x for n.
1
Let x(f) = 9*f - 323. Let v be x(38). Let m = 3 - 1. Suppose 7 = -m*q + v. Solve 4*j = -5*k + 27, -2*j - k = -j - q for j.
3
Let x be ((-1)/(-2))/(37/74). Suppose 0 = 5*c - 4*p - 8, -4*p + 0*p - 8 = -4*c. Solve -2*b + 3*i - x = c, -5*b + 4*i - 6 = -0 for b.
-2
Let y = 1421 + -1417. Solve -2*k + 5*d - 7*d = -10, 4*k - y = 4*d for k.
3
Suppose 0 = -2*k + 7*k - 60. Let u be (52/k + 0)*3. Let p = 18 - u. Solve 10*s = 5*s - f - 8, -s - p*f = -8 for s.
-2
Let h be 1 - (-3)/(1 - 0). Suppose 0 = 3*a - 0*a + 3*f - 99, 0 = 4*a - 3*f - 139. Let z = -17 + a. Solve h*l = 3*w - z, 25 = 2*l - 7*l for w.
-1
Let w = 164 - 155. Suppose 11*p = w + 57. Let v be (4 - 2/2) + 0. Solve 3*i = -v*x - p, x = 4*x + 3 for i.
-1
Let u(n) = n**2 - 9*n + 46. Let l be u(15). Let h be (-16)/l - 36/(-17). Solve -7 = b - o - h, -o = 2*b - 2 for b.
-1
Suppose -15*p + 4*v = -11*p - 4, -5 = -p + 5*v. Solve 27 = -5*g - 2*u, p = -3*g - g - 3*u - 23 for g.
-5
Suppose 4*o - 3*o - 22 = 3*z, 0 = -2*z - 4*o + 4. Let x = -2 - z. Suppose -x*m + 5*b = -0*m - 2, 0 = 3*b - 6. Solve -3*c = -j + 6, 0*c = 2*c + m*j + 15 for c.
-3
Let a be (435/12 - -5) + (-2)/8. Suppose a*p = 39*p. Let g = -2 - -30. Solve v + 2*s + 0*s + 11 = p, 4*v + g = -4*s for v.
-3
Suppose 3*r + 3 = 18. Suppose 0 = -2*x + 59 - 7. Suppose -1 = 3*v - 4*m, -5*m + x = 4*v - 14. Solve -3*o + r*q = 11, 2*o = o + 3*q - v for o.
-2
Let k = -66 + 32. Let v be (-4)/k + 432/(-204). Let r be (v/(-3))/((-4)/(-18)). Solve -3*t - r*z = 0, -3*z = t + 2*z - 12 for t.
-3
Let q be -5 + 7 + (0 + 0 - 0). Let w be (q*(-1)/5)/((-2)/10). Solve 0 = 5*v - 2*m - 10, -w = -v + m for v.
2
Suppose 3*w = -97 - 104. Let a = w - -78. Solve -4*x + 15 = 3*j, a - 1 = 2*j - x for j.
5
Let z be 1*((-13)/(-39) - (-11)/3). Solve -2*f - 2*o = -4, z*f + 7*o = 4*o + 4 for f.
-2
Let p(z) = -3*z - 19. Let f be p(-7). Suppose 5 - 10 = f*i + 5*o, -3*i + 2*o + 2 = 0. Solve 3*b - x + 8 = i, 2 = -5*b - 2*x - 4 for b.
-2
Let i be 8/36 - 34/(-9). Let z be -2*2/i + 0. Let n = 2 - z. Solve 20 = -2*w - 4*r, 6*w + 25 = 2*w - n*r for w.
-4
Let g(r) = -r**3 - 7*r**2 + 6*r - 10. Let h be g(-8). Let d = 11 - h. Solve d*w = k + 19, 0 = 3*k - 0 - 3 for w.
4
Let m(y) = y**3 - 38*y**2 - 36*y - 114. Let q be m(39). Solve 25 = -5*f - 5*u, -u - 10 = -f + q*u for f.
-2
Let n = -11 - -15. Let w = 7 - n. Let y(u) = u**2 - 4*u + 5. Let i be y(w). Solve -2*v + 4*h - 4 = -2, 2*v - i*h - 4 = 0 for v.
5
Let a = 350 + -348. Solve -a*i + 6*t - 30 = t, 0 = -4*t + 16 for i.
-5
Suppose 0 = -3*v - 28*v + 93. Solve 3*d = v, -4*d - 13 = -4*h - d for h.
4
Let x(c) = -c + 21. Let y be x(-14). Suppose 2*r = 2*a + 38, 2*r - 2*a = -3*a + y. Suppose 6*i - r = -0*i. Solve i*o - 5*s + 15 = 0, o + 3*o - s = -3 for o.
0
Let h(w) = 8*w - 12*w**2 + 13*w**2 + 22 + 4*w. Let x be h(-10). Let c(d) = 2*d**2 + 4*d - 1. Let u be c(-3). Solve -u*m - x = 4*l, m = 2*m - 3*l + 8 for m.
-2
Suppose -8*n + 114 - 74 = 0. Solve 25 = 3*a + a + k, -n = -k for a.
5
Let b = 31 + -33. Let x(l) = l + 7. Let r be x(b). Solve -5*i + 15 = r*m, -2*i - 5 = -3 for m.
4
Let s(x) = x**3 - x - 5. Let i be s(3). Suppose -5*g + i = -26. Solve 4*v = -n + 12, 0 = -3*n - 3*v - 0 + g for n.
0
Let s(l) = l**2 + 6*l - 10. Let c be s(-8). Suppose 0 = c*r + 20 - 26. Solve d = 3, -6 = 4*v - 3*d - r for v.
1
Let i = 319 - 279. Solve 0 = 5*s + 5*w - i, 3*w - 28 = -3*s - w for s.
4
Suppose 13 = x + k - 3*k, -3*k = 15. Suppose -p + i = -7, 3*p + x*i = 5 + 4. Solve 5*j + c = -3*c + 45, p*c = j + 20 for j.
5
Suppose -d = 5*p - 17 + 1, -4*d - 4 = 3*p. Let f be 9 + 1 - (-19 - -17). Let c be 6/f + 2/p. Solve -2*x - 23 + c = 4*h, -h = x + 6 for h.
-5
Let w be (-7 - -11)/((-12)/(-9)). Solve w*g + 5 - 16 = 5*n, 3*n + g + 1 = 0 for n.
-1
Let w be 1*6 - (4 - 3). Let x = 915 + -880. Suppose 2*k - 2*a = 6, -3*k + 4*a + 2 + 7 = 0. Solve -2*m + 4*d + 18 = 0, w*d = 8*m - k*m - x for m.
5
Let b(x) be the third derivative of x**5/20 - 4*x**4/3 + 4*x**3 + 62*x**2. Let c be b(10). Suppose 3 - 1 = g. Solve 2*m = -0*m + s - 1, -g*s = -2*m + c for m.
-3
Suppose 392*i = 395*i. Solve i = 4*n - 5*v - 5, 0 = 2*n - v - 3 - 4 for n.
5
Let l(c) be the first derivative of -1/2*c**2 - 9*c - 6. Let q be l(-9). Solve 3*d + q*p - 1 = p, -3 = -4*d + p for d.
2
Let x(q) = -q + 3. Suppose 0 = 2*o - 7*o + 45. Let b be x(o). Let s be b/21 + (-4)/(-14). Solve -3*c + 4*w + 1 + 2 = 0, 3*c - w + 6 = s for c.
-3
Let j = -20 - -22. Suppose 4*b + 3*w = 4*w + 18, 2*b + 3*w - j = 0. Solve 0 = -3*p + b*s + 7, 0*p + 33 = 5*p + 4*s for p.
5
Let n = 3 + -6. Let k = 4 - n. Let m be (-2)/8 - 1/(-4). Solve 3*f + m*f + 4*o + 2 = 0, -5*f = 3*o + k for f.
-2
Suppose -r = 6*g - 5*g - 5, 7 = 3*r - 5*g. Let z be (-297)/(-45) - 6/10. Let o = z - 4. Solve -2*q = o*n - 0*q, -r*n - 25 = -q for n.
-5
Suppose -16*o + 9 = -23. Solve -o*l + 3 = -3*t, 2*t = -6 - 0 for l.
-3
Suppose 2*k + 20 = 2*p, 4*p - 52 = -4*k + 2*k. Let s be (p/(-12))/((-2)/68). Solve -q + 3*f = 18, 8*f - s = 3*q + 3*f for q.
-3
Suppose 0 = -3*b, 0 = 2*x + 4*b - b + 60. Let p = -26 - x. Solve 3*m + 4*h - 22 = 0, p*m + 6*h - 20 = 3*h for m.
2
Suppose 11*y = 12*y - 5. Suppose 27 = -3*n - 5*t + 5, y = 5*t. Let m be 43/9 + (-2)/n. Solve -4*i = -0*d + 3*d + 26, 10 = -4*i + m*d for i.
-5
Let j(b) = -b**2 - 13*b + 10. Let s be j(-14). Let k be s*(-1)/4 + (3 - 0). Solve -u - 3 = -k*o - 4, 0 = -2*u + 10 for o.
1
Suppose f - 5 = -0. Suppose f*x - 8 = x. Solve -3*q = 2*y + 11, 2*y = -x*q - y - 4 for q.
-5
Let b be (20/8)/((-2)/4). Let s be (-1)/b + (-192)/(-15). Let w = -6 + s. Solve 5*o + w + 3 = 0, -5*o = 5*d for d.
2
Let k be 3 - (4/(-7) + 17/(-7)). Let c be (10/k)/(5/15). Solve -n - 3*n - 18 = -2*l, 0 = 3*l + 5*n - c for l.
5
Let v(d) = 3*d - 30. Let i(j) = j**3 - 6*j**2 - 15*j + 3. Let b be i(8). Let y be v(b). Solve 0 = -k - y*o + 2, k - 6*k - 2*o + 23 = 0 for k.
5
Suppose 21*s = -29 + 134. Solve 4*h = 5 - 17, 0 = 4*r - h + s for r.
-2
Suppose -4*g + x = -19, -5*x + 10 = g - 0*x. Solve 0 = -g*w + 3*n + 16, -3*n + 11 = w - n for w.
5
Let v(d) = d**2 - 5*d - 21. Let g be v(8). Suppose -g*i + 4*t + 11 = 0, -i - 3*t + 3 = -5. Solve 0 = 6*b - 3*b - 6, 5*o = i*b - 30 for o.
-4
Suppose 0 = -4*z + 2*z + 10. Suppose n - 3 - 12 = 0. Solve -5*d = -o + 25, -4*d - z = 3*o + n for d.
-5
Let i(h) = h**2 - 24*h + 25. Let b be i(23). Suppose -3*v = 10 + 26. Let p be (-8)/v + 38/6. Solve -3*n + n = -2*x, -b*n - p = 5*x for n.
-1
Let z = -62 - -62. Solve -c - 4 = 3*b, 2*c - 2*b - 16 = -z*b for c.
5
Let s be -6*-5*3/6. Let v = -239 - -227. Let g = v + s. Solve 0 = 2*r - 3*p + 6, 8 = g*r - r + 4*p for r.
0
Let a = 430 + -427. Solve 3*c + 2*n - n = 1, a*c - 4*n + 4 = 0 for c.
0
Let f be (-2)/(6 + (-117)/18). Solve 2*t - 2*o + 3 = 15, -f*o = -3*t + 22 for t.
2
Let s = -30 - -49. Suppose 4 = -3*h + s. Solve 0 = -4*u + 3*a - 5*a + 10, 4*u = -h*a - 5 for u.
5
Let f(q) = 3*q**3 - 14