 5*t = -0*t. Let d be (-4)/4*-5*1. Solve m*w + d + 11 = t for w.
-4
Suppose 4*u - 2 = 10. Suppose 7*w - r = 2*w + 26, -4*w - u*r + 17 = 0. Suppose s - 3*b - 3 = -2, -5*b - 15 = -w*s. Solve -y - s = -3*y for y.
2
Let a be 468/63 + 4/7. Solve 5*x - a - 17 = 0 for x.
5
Let m be 1/(-1)*-6 + 2. Suppose -m*p + 12 = -2*p. Solve -t = p - 3 for t.
1
Let j(x) = x**2 + x + 1. Let d be j(-2). Suppose d*o - p - 26 = 0, -3*o + 5*p + 21 = -13. Suppose 4*a - o + 0 = 0. Solve 4 = 2*l + a for l.
1
Suppose -16 + 116 = 4*h. Suppose -10 = -3*p + 2*u, 6*p = p - 5*u + h. Solve -p*g - 5 = -1 for g.
-1
Let w = -14 - -23. Let y = -4 + 4. Suppose -3*k + w = -y*k. Solve -k - 3 = -3*n for n.
2
Suppose 8*u = 9*u. Solve 2*h + u - 6 = 0 for h.
3
Suppose -5*k = 8 + 7. Let y(u) be the second derivative of -u**5/20 - u**4/12 + 2*u**3/3 + 2*u**2 - u. Let g be y(k). Solve 4*n = -n - g for n.
-2
Suppose 40 = -8*a + 3*a. Let y = a - -11. Solve -y*q + 2 = -7 for q.
3
Let t(n) = 6*n**2 - 4*n + 3. Let y be t(2). Solve 0 = 4*m + 7 - y for m.
3
Suppose -4*u + 2 = -10. Let f(q) = -q**3 + 3*q**2 - q + 4. Let r be f(u). Solve 2*c = -3 - r for c.
-2
Let x(c) = c**3 + 8*c**2 + 7*c - 2. Let i be x(-7). Let o be 208/20 - i/(-5). Suppose h - 5*v = 10, -3*h - 8*v + 3*v = o. Solve -4*s - 12 = -h*s for s.
-3
Let m be (-5)/((-15)/(-9)) + -7. Let u = m - -12. Solve -3*k + u = 11 for k.
-3
Suppose 4 = 5*h - 31. Suppose 2*s - h = -5*y, s + 4*y - 11 = -y. Let x(a) = a**2 + 2*a - 4. Let k be x(s). Solve -k*i = -2*i - 6 for i.
3
Suppose 0*n + 3*n + 2*h = -35, -22 = 2*n + 2*h. Let r = -3 - n. Solve 0 = -4*m - m - r for m.
-2
Suppose -t - 2*t - 12 = 0. Let r be 0 - (t + 3 + -1). Solve -r*i = -i - 2 for i.
2
Let w(r) = -r**3 + 11*r**2 + 11*r + 12. Let n be w(12). Let c(d) = d**2 + 2. Let z be c(n). Solve 0 = -0*q + z*q - 8 for q.
4
Let a be ((-7)/21)/((-2)/18). Suppose -3*m + 9 = 5*u - 296, -2*m = 10. Suppose 5*h + 21 + 22 = 3*j, -4*j = -5*h - u. Solve -a*o - j = -6 for o.
-5
Suppose -k - 10 = -3*k. Solve k*t - 4 = 1 for t.
1
Let a(c) = -c**2 - 4*c + 7. Let g be a(-5). Suppose 2*d = -5*q - 7, g*d - d - 2*q - 10 = 0. Solve 8 = d*t + 4 for t.
1
Let b be (-1)/4*0*1. Solve d + 2*d = b for d.
0
Let x be (3 - 3)/(-2) + 2. Solve 0 = -5*n + x*n - 12 for n.
-4
Suppose 2*s = -5*u + 3*s + 16, u = 3*s - 8. Suppose 4*c = -t + 13, -u = -2*t + c + 4. Solve -t = -3*x + 10 for x.
5
Let b = 49 - 36. Solve 0 = -2*z + b - 3 for z.
5
Let g(l) = 7*l**3 + l**2 - 2*l + 1. Let p = -7 - -8. Let n be g(p). Suppose 0 = -3*a + n*a - 16. Solve a*v + 2 = 10 for v.
2
Suppose 0 = -5*f - j + 5*j + 120, 2*f = 4*j + 60. Solve -f = -5*n - 0*n for n.
4
Suppose 1 = -5*j + 21. Suppose 4*c + c - 76 = -x, 96 = 5*c - j*x. Solve c = -2*a + 6*a for a.
4
Let p(s) = 3*s - 6. Let c be p(0). Let q be (5 - 1)*3/6. Let d be q/c + 90/27. Solve d*k + 8 = -k for k.
-2
Suppose 3*n + 17 = -r - 24, -3*n + 134 = -4*r. Let k be 2*(r/(-2) + 0). Let g be (-19)/(-7) + 10/k. Solve -3*t - g + 0 = 0 for t.
-1
Let s(z) = -z**2 + 11*z - 30. Let m be s(6). Solve -2*g + g + 4 = m for g.
4
Let r(k) = k + 8. Let n be r(-6). Suppose -z - 3*z - 8 = -2*i, -n*i = 4*z. Solve -i*o + 0*o - 10 = 0 for o.
-5
Suppose 3*n + i - 10 = 15, 0 = 2*n + 3*i - 19. Solve p + p + n = 0 for p.
-4
Suppose 9*y - 19 - 17 = 0. Solve -4 + 0 = -y*j for j.
1
Let g(l) = l**3 - 2*l**2 - 7*l + 4. Let v be g(4). Solve -5*i + 18 = v for i.
2
Suppose -6 = -5*x + g - 2, 3*g + 12 = 5*x. Let w(d) = d**2 + d - 2. Let l be w(x). Let s = l - -4. Solve -3*c - s = 4 for c.
-2
Suppose 4*k = 12*k. Solve 0 = 2*b - k - 8 for b.
4
Let r = -26 - -27. Solve 2*d + r - 9 = 0 for d.
4
Let t be 2*6/4 + 0. Suppose k - t*k = -2. Solve k = -5*a - 4 for a.
-1
Let c(w) = -5*w - 11. Let m be c(-9). Suppose 6*a = m + 74. Solve -43 + a = -5*k for k.
5
Let z(k) = -k**2 + 11*k - 12. Let u be z(9). Suppose 2*o - u = -o. Solve 0 = -2*b + 4 + o for b.
3
Suppose 0 = -2*f + 2*o + 13 + 25, 0 = 3*f + o - 41. Solve 0 = 2*j + 3*j - f for j.
3
Let s be (-1)/(0 - 3/12). Solve -s*q - 2 = -6*q for q.
1
Let f(d) = d**3 + 6*d**2 + 5*d + 3. Let a be f(-5). Suppose -a*b - b + 16 = 0. Let h be (-3)/(2*12/(-8)). Solve b*t + h = 5 for t.
1
Let l = 7 - 9. Let a be 2/4*28 + l. Solve -3*m + a = 3 for m.
3
Suppose -4*o - 20 = i, -i + 25 = -0*i - 5*o. Suppose 5*u - 20 = 0, -5*t + 4*u - 6 = -i. Solve -7 = -d - t for d.
5
Let s(l) = 6*l - 6. Let m(w) = -w + 1. Let g(u) = 5*m(u) + s(u). Let f be g(6). Solve -f*a + 2 = -3 for a.
1
Let q be (-6)/(-15) - (-99)/15. Let h be q/(-14) + 7/2. Suppose -2*a + 25 = h*a. Solve -3*k - a = 10 for k.
-5
Suppose 7*t = 3*t + 32. Let h = 17 - t. Solve 0 = q + 2*q + h for q.
-3
Let t(f) = f**3 + 2*f**2 - 3*f - 3. Let m be t(-2). Solve -3 - m = -2*p for p.
3
Suppose -8 - 12 = 4*v. Let z = v - -9. Solve 3*a + 8 = -z for a.
-4
Let t(d) = -5*d**2 - 6*d - 3. Let z(l) = -3*l**2 - 3*l - 2. Let n(c) = 4*t(c) - 7*z(c). Let u be n(3). Let q be 96/20 + (-1)/(-5). Solve u*x - q = 5 for x.
5
Let n = -7 - -12. Let v = n + -5. Solve g + v = 1 for g.
1
Let k be (1 - -4) + 5 + -8. Solve -k*l = -l - 4 for l.
4
Let p(j) = j**2 - 3. Let z be p(-2). Solve 4*q = 7 + z for q.
2
Suppose -8*t + t + 42 = 0. Solve -5*x + t = -19 for x.
5
Suppose -2*w - 1 + 25 = 0. Suppose -2*o = -w - 0. Let m(a) = -a**3 + a**2 + 4*a + 2. Let u be m(-3). Solve -5*i - o = -u for i.
4
Let z = 3 + 15. Let r = 11 - 8. Let j be -15*r/z*-2. Solve -j*p - 15 = -2*p for p.
-5
Let t(n) = -2*n - 6. Let b be t(-4). Solve 3*o - b*o - 4 = 0 for o.
4
Let n(i) = i**3 - 5*i**2 + 6*i - 2. Let v be n(4). Let z(t) = t + 3. Let l be z(v). Solve 3*x + l + 0 = 0 for x.
-3
Let v(m) = -m**2 - 4*m + 7. Let y be v(-5). Let r be 4/6 + y/(-3). Suppose -4*p - q + 7 = r, q - 2*q = -2*p + 11. Solve -p*z - 7 = -1 for z.
-2
Let w = -49 + 59. Solve -4*z = -6*z + w for z.
5
Suppose -2*i = -3*x + 2*x - 6, 2*i = -5*x - 6. Suppose 18 = 2*b - i. Let d = -6 + b. Solve a - 3*a = -d for a.
2
Let d(s) = -s**2 - 10*s - 6. Let p be d(-9). Let b be (2/3)/((-2)/3). Let o be (2 + b)/((-1)/(-3)). Solve o = 2*z - p*z for z.
-3
Let l be 16/(-6)*(-18)/(-8). Let n be 3/l - 1/2. Let z be (-2)/4*(n - -1). Solve z*c = -2*c - 2 for c.
-1
Let u = -68 + 71. Solve 0*h + h = -u for h.
-3
Suppose -10 = -i + 5*m, -2*m - 2*m - 8 = 2*i. Solve -x - x = i for x.
0
Let x(m) = m - 16. Let g be x(16). Solve g = a - 0*a for a.
0
Let w be (-3)/(23/(-20) - -1). Let n = -22 + 24. Suppose n*r + 4 = -2*r, 4*r = g - 7. Solve -g*y - w = -8*y for y.
4
Suppose 2*t - t = -4. Let g(v) = -v**3 - 4*v**2 + v + 4. Let y be g(t). Suppose 0 = -y*s - 4*s. Solve -4*n + 2*n = s for n.
0
Suppose -2*z - 5*i + 43 = 0, 10 = -z + 3*i + 4. Solve z = -4*v - 3 for v.
-3
Let n(t) = -t - 4. Let y be n(4). Let d = 12 + y. Suppose d*c = -0*c. Solve c = 4*h + 14 + 2 for h.
-4
Let s = -23 + 14. Let n = -8 - s. Let g be n/((2 + -4)/(-4)). Solve -g*t - t = 0 for t.
0
Let h be ((-12)/(-30))/((-12)/10)*-6. Solve 0 = 4*i + h - 10 for i.
2
Suppose 0 = -m + 3*m. Suppose -46 + 6 = -20*o. Solve o = -j - m for j.
-2
Let t be -2 - -4 - (0 - 0). Suppose 0 = -u + t*u. Solve 6*p - p = u for p.
0
Let n = 5 + 1. Solve 2*k = -k - n for k.
-2
Suppose -v - 1 = -2*v. Let x(i) = -i**2 + i. Let w be x(v). Solve -4*h = -w*h + 4 for h.
-1
Suppose 35 = -5*j - 4*h, 10 = -2*j - 3*h - 11. Let x be (-1)/((-5)/(-2) + j). Solve 0 = -x*b - 0 - 10 for b.
-5
Let b(g) be the third derivative of g**6/60 - g**5/15 + g**4/12 + g**3/3 - g**2. Let p be b(2). Let j = 11 - p. Solve -10 - j = -5*t for t.
3
Let t be 2/(-4)*18/(-3). Suppose -12 = -8*o + 6*o. Solve y = t*y - o for y.
3
Let o(z) = -z**3 - 17*z**2 + 7. Let d be o(-17). Solve -2*s - 15 = -d*s for s.
3
Let w = 3 - 3. Suppose -3*l - 2*r = -27, w = -3*l - 2*l - r + 45. Suppose -5*q + l = -16. Solve 5*h = -0 - q for h.
-1
Let i = 0 - -5. Let b = -3 + i. Solve u - b*u + 2 = 0 for u.
2
Suppose r + 0*r - 1 = 0. Let o be 6 + r + 5/(-5). Let d be (3 - 3) + 0 + o. Solve 0 = -d*p + 4*p for p.
0
Suppose -7*r + 2*r = p - 1, 2*r - 5*p = -5. Solve r = l - 0*l for l.
0
Let p = -13 - -21. Let k = p + -6. Solve 0 = 3*j + k*j - 15 for j.
3
Let k(p) = p. Let r be k(0). Solve 2*v = -10 - r for v.
-5
Let s be 8/5*(-5)/(-2). Solve 6 = -s*a + 2 for a.
-1
Suppose -4*n + 8*u - 3*u = 3, 5*u - 24 = -3*n. Let l = 12 + -8. Let t be ((-4)/(-6))/(1/3). Solve n*o + l = -t for o.
-2
Let r(y) =