 = 7 for t.
2
Suppose -18 = -o - 5. Let z = 7 - o. Let j be z/(-21) - 52/(-14). Solve -2*a + 1 = -j*g + 5, -2*a = -2*g - 2 for a.
4
Suppose -2*k + 0*k = -8. Solve 10*h = 5*h + s - 5, -2*s - 18 = k*h for h.
-2
Suppose -8*o = -18 - 86. Suppose 36 = -o*t + 19*t. Suppose 9*x - 4*x - 5*u - 25 = 0, 2*x + 3*u - 10 = 0. Solve x*b = -n + 22, -2*n - t*b = -b - 24 for n.
2
Let x = -161 - -163. Solve -4*m = -x*a - 6, 4*m - 9 = 3*m - a for m.
4
Let f = 12 + -20. Let i = f - -8. Solve -5*d + 4*n = -3, n = 3*d - i + 1 for d.
-1
Let f(t) = t**3 - 2*t**2 + 7*t - 10. Let a be f(2). Suppose -8 = -a*m - x, m = 5*x - 4 + 6. Solve b + c + m - 4 = 0, -3*c = 5*b - 10 for b.
2
Suppose -6*h + h = 0. Suppose 0 = -k + 5*i - 21, -4*k = -h*k - 2*i - 6. Solve 5*m - 2*u - 19 = -3*u, 0 = -k*m + u + 17 for m.
4
Let w = 5 + 0. Suppose -5*x + 0*x + 19 = -2*i, i + 2*x = 13. Solve -i = z - u, 2*z + w*u - 5 = 5*z for z.
-5
Suppose 5*x = 5*f - 65, 0 = 7*f - 5*f + 4*x + 4. Solve 3*t + f = 4*k, -6 = -3*t - 2*k - 2 for t.
0
Let u = 252 - 248. Solve -7 + 1 = 4*j + 3*h, -j - u*h + 5 = 0 for j.
-3
Suppose -5*q = -5*q - 8*q. Suppose 0 + q = 7*o. Solve o = -5*w - 3*h + 13, -2*w - 7 = -4*w - 3*h for w.
2
Suppose 10*w = 17*w - 231. Suppose i - 6*i - 2*c + 21 = 0, 4*c + w = 5*i. Solve 3*k - 6 = -r - 2, -4 = -i*k - r for k.
0
Let u(t) = -t**3 - 8*t**2 + 9*t + 9. Let v = -27 + 18. Let d be u(v). Suppose 0 = -d*m + 4*m. Solve m = 2*o - 5*z + 9, -4*o = -z + 5 + 4 for o.
-2
Let a be (-7 - -2) + 4 - -3. Solve -p - 4*h = p - 4, 3 = a*p + 5*h for p.
4
Let v(r) = -6*r + 12. Let f be v(2). Solve -4*d + 2*o - 14 = 0, f - 3 = -3*d - 3*o for d.
-2
Suppose 0 = 3*k + 2*i - 49, 19*i = 2*k + 20*i - 34. Solve -k = 3*l + 8*y - 9*y, -l - 17 = -3*y for l.
-5
Let x be (2 - 1)/((-1)/(-3)). Solve -5*d - 35 = -x*y, -y = -4*y - 2*d + 7 for y.
5
Suppose 3*j = -0*j + 15. Suppose 0 = -4*p - f + 92, 5*p - 95 = 5*f - j. Solve 3*a - 7 = 2*y, a - p = -3*y - 5 for a.
5
Suppose -8*y + 60 = -6*y. Suppose -4*r + 18 = -y. Solve 3*q + 4*s = 28, 32 = 4*q + s + r for q.
4
Let t(g) = -54*g - 319. Let n be t(-6). Solve -2*s - c = 2*c - 1, -2*s - n = -3*c for s.
-1
Let r(v) = 3*v**3 + v**2 - v - 1. Let k be r(-1). Let p be k + 1 + 2 + -1. Solve p*f + 3*f = 5*b, 2*b = 3*f - 9 for b.
3
Suppose 0 = 3*v - 8 + 2. Let l = 37 - 21. Suppose 47*r + 165 - 259 = 0. Solve -4*x - l = -3*m, -r*x = v*x + 16 for m.
0
Let j be 0*(-5)/15 + 56. Let g = j + -42. Solve -2*i = -4*b - 22, 2*i = -5*b - g - 0 for b.
-4
Let n = 27 - 22. Suppose 3*z = z + 10. Suppose 3*m = -2*m + 15. Solve -z*j = -n*g + 30, -m*j + 2 = 5*g - j for g.
2
Let v(y) = -y**2 - 11*y. Let m be v(-5). Suppose -m = -4*w - 14. Solve -5*k = -4*r - w, 0*k = -3*k - 4*r - 4 for k.
0
Suppose 4*w + 2*b - 9 = 85, w - 5*b - 29 = 0. Let h = 39 - w. Solve h = s + 4*n, n = -2*s + 2*n + 3 for s.
3
Let z be (-4)/18 + 58/18. Suppose 8*d - 7*d - 3 = 0. Let v = d + -1. Solve v*u + a = -4, -z*u + 0*a - 11 = 4*a for u.
-1
Let u = -12 - -7. Let c = u - -9. Suppose -15*q + 0*q = -90. Solve 2*j - c = o + q, 18 = 2*j - 5*o for j.
4
Suppose -34*b = -38*b - 20, -3*x - 2*b = -5. Solve -2 = 2*y + 2*l, -6*l = 3*y - 2*l + x for y.
1
Let r = 21 + 0. Let n be (490/r)/(2/3). Let t = -1 + 1. Solve t = -3*v + 3*a - 0*a, -3*v + n = 4*a for v.
5
Suppose 2*b = 2*n, 3*n + 5*b - 10 = -2*n. Solve 3*t - 1 = -t - 3*a, -n = t + a for t.
4
Suppose 8 = 3*r - r, -o + 2*r = -70. Let m = -45 + o. Solve -2*w + 13 = -q, -w = w - 5*q - m for w.
4
Let u(f) be the third derivative of -f**5/60 - f**4/8 + 2*f**3/3 + 20*f**2. Let j be u(-3). Solve 4*o = 4*n + 24, 0 = -2*n - 3*o + 4 + j for n.
-2
Let p be 1/1*12 + -2. Suppose 5*x - 1 = 9. Suppose 2*g - 4 = 2*n, 2*g + 35 = 5*n + 6*g. Solve x*r = -4*k + p, -2*r + 7 = -k - n for r.
5
Let m(k) = -34*k**3 - k**2 - 5*k + 5. Let t be m(1). Let q = t - -38. Solve 2*f + 11 = -4*j - 1, -2*j - 2 = q*f for f.
2
Let y(o) = o**2 + 15*o + 24. Let l be y(-14). Let a be 2/l*5 - -2. Solve a*i + 9 = -3*n, -4*i + 3*i - 3 = 4*n for i.
-3
Let r = -3 + 5. Let w(a) = a**3 + 6*a**2 + 5*a + 3. Let z be w(-3). Solve -3*i + 12 = -3*h, -7*i - r*h = -2*i + z for i.
-1
Let a = -78 - -105. Let r = a - 22. Solve -s - 2 = r*l + 5, -5*l + 3*s = -1 for l.
-1
Suppose 5*b = 2*u - 68, 2*b + 4*u + 44 = -3*b. Let y be ((-8)/b*-1)/(4/(-30)). Solve f - y = 4*k + 2*f, -4*f = 3*k - 6 for k.
-2
Suppose 4*p = 2*p + 2. Let h be (51/(-9) - -6) + (-33)/(-9). Solve 3*n - p = 4*n + l, h*n = -l - 1 for n.
0
Let g(n) = -2*n**3 - 17*n**2 - 13*n - 196. Let i be g(-9). Solve -t = 3*b + i - 6, -5*b - 8 = -2*t for t.
4
Let u = -120 + 134. Solve 2*l + 3 = 5*y, -4*l - u = -2*y - 0 for y.
-1
Suppose -2*i - 3*y - 8 = 0, -35*y - 6 = i - 33*y. Solve -3*a + a - 3 = -3*o, 2*o - a = i for o.
1
Let t be 362/(-543)*(-2)/((-2)/(-3)). Solve 5 = 4*g + 2*z - 7, g + 2 = t*z for g.
2
Let z(l) = -l**3 - 6*l**2 + 8*l - 6. Suppose 0*c = -c - 8. Let j be z(c). Suppose -7 + j = 3*n. Solve 3*q + 4*u + n = 0, 4*q + 0*u - 29 = 5*u for q.
1
Let l(m) = m**3 - 10*m**2 - 11*m + 2. Let g be l(11). Suppose -5*n + g*d - 8 = 0, 0*n = -4*n + 5*d - 20. Solve 4*o = 3*j - 2*j + 6, n = 2*o - 3*j + 2 for o.
2
Let n = -22 - -25. Suppose -n*x = -2 + 14. Let y be x + 14/(2/1). Solve -5*t - 15 = -y*b, -5*b + 11 = -4*t - 1 for b.
0
Let p = -46 + 53. Suppose 5*n - 38 - p = 0. Solve -2*t = -5*o + n*o, 3*o - 1 = -2*t for t.
2
Let k = -1 + 1. Let l(d) = -2*d**2 + d + 1. Let w be l(k). Suppose 2*a - w - 5 = 0. Solve -a*i = 3*p + 2*p - 10, -5*p + 45 = -4*i for i.
-5
Suppose -2*k = 4, -c + 5*k = -2*c - 4. Let j(h) be the first derivative of -h**2 + 15*h + 338. Let v be j(c). Solve v*f - 14 = 4*w, 0*w + 10 = -2*w for f.
-2
Let u(i) = i**2. Let p(m) = -6 + 3 - 2 - 5*m + 7*m**2. Let v(y) = -p(y) + 6*u(y). Let w be v(5). Solve 2*o - w*l = -3*o - 15, o + 5*l + 15 = 0 for o.
-5
Suppose 4*t - 1 - 7 = 0. Let v = 9 + 62. Let a = 71 - v. Solve 4*m - 8 = a, 0*d = 2*d + t*m - 10 for d.
3
Let o = 27 + -15. Suppose 0 = -2*w, m + 4 = -w + o. Suppose -v = -3*v + m. Solve -40 = 5*z + 5*f, 28 = -6*z + v*z - 5*f for z.
-4
Let y be 14 + (-3 - (1 - 3)). Let t = 7 - y. Let u = t - -15. Solve i = -3*z - u, 5*z + 13 = -i - 0 for i.
-3
Let j(d) = -d**2 - 23*d - 127. Let l be j(-11). Solve -i + 15 = l*g, 5*i + g - 16 = 11 for i.
5
Let j(v) = -12*v**2 - 2*v + 8. Let b be j(2). Let q = -39 - b. Let o be (-3 - -3)/(1*-1). Solve 0*s = -3*r + q*s + 25, o = 2*r - 2*s - 14 for r.
5
Let s be (-9)/15 + 4/(-10). Let v be s/(2/10*-1). Suppose 16 = d + 4*h, -v*d + 0*h = -4*h + 16. Solve d = 3*j + 15, -i + 5*j = 2*i - 40 for i.
5
Let n(m) = -12*m**2 - 8*m - 9. Let w be n(-1). Let a be -1 + -15 + (-1 - -1). Let s = w - a. Solve -2*u + 3 = 2*y - s*u, 3*y = -3*u - 18 for y.
-1
Let y(m) = m**3 + 6*m**2 + 4*m + 2. Let t be y(-4). Let n = -15 + t. Solve 0 = -4*z + n*b - 3, -z + 4*b = 3*z for z.
-3
Let a(z) = 2*z + 24. Suppose 8 = 2*i, -5*x - 7 = 3*i + 6. Let k be a(x). Solve 4*p = -2*y - p + 16, -k = y - 3*p for y.
-2
Suppose -a = 10*k - 5*k - 12, -5*a + 4*k + 60 = 0. Suppose -2*p + 5*w + 2 = -22, -5*w = -4*p + 48. Let t = p - a. Solve -1 = -d - t, m = 4*d - 1 for m.
3
Let i = 12 + 2. Let b be 4/i - (-103)/7. Solve -2*s - s - 3*d - b = 0, d - 10 = 4*s for s.
-3
Suppose n = 6*n. Suppose 2*g - g + 14 = 0. Let l be g + 15 + (0 - -3). Solve -5*s - k - 11 = 0, -5*s - 4*k - l - 10 = n for s.
-2
Suppose 12*j = 5*j + 6*j. Suppose 2*k - k - 3 = j. Solve -k*t = -2*t - 2*n, 0 = 4*n for t.
0
Suppose -37 = 2*d - v - 2*v, 5*v = -2*d - 77. Let u = d - -11. Let m = -12 - u. Solve 3*w = -4*z + 29, -2*w + 9 = m for z.
5
Suppose -3*p = -3*u - 6*p + 48, 3*p = 2*u - 7. Suppose 2*b = b + u. Solve -4*t - 6 = 3*d + b, t - 7 = 3*d for t.
-2
Let s(t) = -t**3 + 12*t**2 + t - 5. Let i be s(12). Solve -4*w + 5*w - 3*q = -i, -2*q = -4*w + 12 for w.
5
Let n = -48 - -47. Let x(u) = u**3 - u. Let l be x(n). Let c = -10 + 21. Solve i + 2*w + 5 = l, -2*i - c = w - 1 for i.
-5
Suppose -38 = -s - 0*s - 5*d, -4*d + 52 = 2*s. Suppose 31*z - s*z = 65. Let m(g) = -4*g - 1. Let b be m(-3). Solve o = c, z*c = -2*o + 3 + b for o.
2
Let d = -346 - -349. Solve -3*p - w = -10, p - 10 = -d*w + w for p.
2
Suppose 0 = 2*h + 24 - 2. Let m(z) = z + 8. Let d be m(h). Let g be (-3)/(3/6*d). Solve -3*r - 3 = 0, 2 = -g*a + 2*r + 8 for a.
2
Let q(v) = v**2 + 5*v. Let s be q(-5). Let b be (s/2 + 1)*0