 + 3*t + 12 + 6 = 0, 4*o + 3*t = 24. Let g be (-158)/o - (-8)/(-12). Let s be ((-4)/(-6))/((-9)/g). Solve 0 = 7*x - s*x for x.
0
Let y(s) = -3*s**2 - 10*s - 3. Let h be y(-3). Suppose 0*o - 4*o = h. Solve o = -r - r + 4 for r.
2
Let o(v) = -3*v**2 - 9*v - 1. Let y be o(7). Let n = y - 64. Let p be ((-4)/5)/(22/n). Solve 0 = 5*f - 0*f - p for f.
2
Let j be -5 - (-2)/(8/(-12)). Let d be (j/6)/(-2)*-9. Let s be 4/d - (-34)/6. Solve -s = -5*n + 6*n for n.
-5
Suppose 0*w + 3*w = 24. Let y(b) = -b**2 - 5*b. Let u be y(-3). Solve w = u*q - 2*q for q.
2
Let a(o) = -2*o**2 - 47*o + 24. Let k be a(-24). Solve k*p = -p - 5 for p.
-5
Suppose 0 = 3*u - 3 - 0. Let h be 2*-1*51/(-34). Solve h*p + u = -5 for p.
-2
Let d be 5/(-3)*(-216)/90. Solve 25 = d*r + r for r.
5
Let a(r) = -372 + 372 + 12*r**2 + r. Let v be a(1). Let i = v + -13. Solve i = -z - z + 8 for z.
4
Suppose 0*u - 2*u + 124 = 0. Let z = u - 54. Solve -z*t + 3*t = -10 for t.
2
Suppose -3 = 2*u + 3. Let s(x) = x**2 + 10*x + 9. Let c be s(-6). Let v be ((-4)/(-10))/(u/c). Solve v*i - 6*i = 20 for i.
-5
Let b be (-3 - 1 - -3)*17. Let f = -13 - b. Solve 3 = u + f for u.
-1
Let v = -89 + 91. Suppose -v*w = -4*d - 16, -3 = -w - d + 5. Solve 3*m - 4 = w for m.
4
Suppose -27*b - 106 = -3*p - 32*b, 0 = 5*p + 4*b - 194. Solve -40*g = -p*g - 4 for g.
-2
Suppose -2*d = 7 - 11. Suppose 12 = -4*w, -d = -4*c + w + 9. Solve 3 = -c*y + 1 for y.
-1
Let l = 12 + -6. Let y = 3 + 6. Suppose -n - 2*n = -y. Solve l*m = n*m for m.
0
Suppose 0 = -3*k - 3*h - 0*h + 33, -4*h - 4 = 0. Solve 4*b = -0*b - k for b.
-3
Suppose -85 = -5*n + 3*r, -7*n + 75 = -2*n - 5*r. Solve -57*y + 62*y = n for y.
4
Let w be (-20)/25*(-6 + 1). Solve w*z - 14 + 6 = 0 for z.
2
Suppose 30*k = 23*k + 28. Let a = 9 - 6. Solve -k = -a*m - m for m.
1
Suppose -4*t + 2*t = -40. Let q = 0 - -9. Let i be ((-1)/(-3))/(1/q). Solve i*r = -r - t for r.
-5
Suppose -2 = 3*k + 5*x + 11, 2*x - 19 = k. Let w = -9 - k. Solve 2 = -w*j - 4 for j.
-3
Let o = 13 + -8. Let b be (-3)/6*(-7 - -5). Let r = -9 - -13. Solve -o*f = -r*f + b for f.
-1
Let h(j) = 4*j**2 - 4*j + 5. Let b be h(3). Solve b*n - 28*n = 1 for n.
1
Let r be 1/(3 - (-88)/(-32)). Suppose 2*l + 4*n = 9 + 3, -l - 15 = -5*n. Solve l = r*x - 0*x + 20 for x.
-5
Suppose -13*s + 8*s = -20. Let i(k) = -2*k**2 + 7*k + 7. Let b be i(s). Solve 0 = b*g - 1 - 5 for g.
2
Let d be ((-8)/4 + 4)*(-6)/(-4). Solve -d = -2*g + 7 for g.
5
Let k(i) = 6*i + 6. Let j be k(3). Let u be 164/j - 5/(-30). Suppose 4*o + 5*y = 8*o + 17, 0 = -5*o + 5*y - 15. Solve -o*s + u*s = -5 for s.
-1
Let x = 14 - -25. Suppose -3*i - 3*o = -27, -5*o + 6*o + x = 3*i. Solve -5*s - i = -37 for s.
5
Suppose 3*z + 5*f = 0, -2*f + 0*f = -z. Suppose 5*k = -z*k + 10. Solve -w = k*w - 3 for w.
1
Suppose 6*l - 5*l = 4. Suppose 5*h + 14 = 2*g, -l*h = g + g + 4. Solve -4 = g*v + 2*v for v.
-1
Let f(b) = -b**3 + 6*b**2 - 6*b - 4. Suppose -s + 3*s - 2*i = 10, -4*s = 3*i - 13. Let h be f(s). Solve -3*g - h = g for g.
-1
Let y be 4/(-6) - 65/(-3). Let c be (-24)/(-14) - (-6)/y. Suppose 0 = -5*k - 15 + 30. Solve -c = k*t + 10 for t.
-4
Suppose -3*c - 15 = 0, -2*m - 29 = -6*m + 5*c. Solve 0 = v - m for v.
1
Let x be (-20)/(-3)*(5 + (-147)/15). Let f be (-1)/(-2 - 60/x). Solve -3*g = g - f for g.
2
Suppose -41*z = -44*z + 6. Suppose z*i = -7*i + i. Solve i = 12*n - 8*n + 4 for n.
-1
Suppose x - 2*k + 6 = 5*x, -3*k = 5*x - 7. Solve x*c = c for c.
0
Suppose 3*a - 6 = a. Suppose 60 - 48 = f. Solve -f = -a*r - 3 for r.
3
Suppose -7*d + 3*d + 48 = 0. Solve d = -3*m + 6 for m.
-2
Suppose x + 132 = 4*b, 54*b - 5*x = 57*b - 76. Solve 0 = b*n - 30*n for n.
0
Suppose -11*b + 16*b = -4*r + 135, 2*r = -4*b + 102. Solve 26*k = b*k - 9 for k.
-3
Suppose 2*r = 61 - 19. Let b(o) = o**2 - 9*o + 25. Let i be b(6). Let j be (4/6)/(i/r). Solve j*y - 10 = -0*y for y.
5
Suppose 0 = -d - 3 - 0. Let s be (d/2)/((-1)/2). Suppose -54 - 5 = -5*b - z, 5*z - 31 = -3*b. Solve -s*u - b = u for u.
-3
Let t be (4/3)/(30/45). Let n be 1/((8/60)/t). Solve n = 3*f - 6*f for f.
-5
Let x be (-13)/(13/2)*1*-16. Solve 0*h - 8*h = -x for h.
4
Let t(m) = -m**2 - m + 3. Let s be t(0). Let a(o) be the first derivative of 2*o**2 - 79. Let r be a(s). Solve -r = 2*c - 5*c for c.
4
Let f(n) = n**2 - 20*n + 29. Let c(m) = -m**2 + 20*m - 29. Let d(h) = -3*c(h) - 2*f(h). Let p be d(19). Solve 2*r + p + 0 = 0 for r.
-5
Suppose g + 2 = 7. Suppose g*j - 30 = a, -24 = -4*j + a - 3*a. Solve -3*d - 12 = -j*d for d.
4
Let q = 20 + -16. Suppose 3*a = -4*u + 34 + 12, -q*a - 3*u = -52. Solve a - 1 = -3*j for j.
-3
Let o(h) = h**3 + 14*h**2 - 8*h + 20. Let d be o(-13). Solve -288*l + 15 = -d*l for l.
-3
Let m(i) = i**2 + 18*i - 7. Let c be m(-19). Solve v - 9 = -c for v.
-3
Let k(r) = 5*r**2 - 2*r + 10. Let t(l) = -11*l**2 + 5*l - 20. Let s(d) = -13*k(d) - 6*t(d). Let i be s(6). Solve -m + i*m - 3 = 0 for m.
3
Let h(q) be the second derivative of -q**5/60 - 7*q**4/12 + 4*q**3/3 + 6*q. Let a(p) be the second derivative of h(p). Let x be a(-10). Solve 0 + x = 2*c for c.
3
Suppose -m = 2*m - 18. Let v(t) = -2*t**2 + 3*t**2 + t - t - m*t. Let s be v(6). Solve s = -6*r + 2*r - 12 for r.
-3
Let g(m) = m - 6. Let o be g(6). Solve -7*u + o = 7 for u.
-1
Let c(s) = 4*s - 1. Let j be c(7). Suppose 4*i = 3*k - 34 - j, 0 = -3*k - 3*i + 54. Suppose -v - 1 = -0*g - g, v = -3*g + k. Solve -v*d + 5*d - 2 = 0 for d.
2
Let x(t) = 0*t - 3*t + 14 + 2*t. Let n be x(8). Suppose n*w = 3*w + 3. Solve -2*a - w = -a for a.
-1
Let q = -1310 - -1331. Solve 4 = -19*i + q*i for i.
2
Suppose 0 = 349*b - 362*b + 156. Solve -18*l - 24 = -b*l for l.
-4
Suppose 0 = -2*o - 121 + 125. Let j(k) = -k**2 + 8*k + 1. Let r be ((-5)/2)/((-3)/6). Let a be j(r). Solve -o*b = 2*b - a for b.
4
Suppose 64*m - 133 = 123. Solve -13 = m*p - 17*p for p.
1
Let t(v) = v**3 + 7*v**2 + 4*v - 12. Let r be t(-6). Let z be -5*(16/(-10) + 0). Let w = -4 + z. Solve -w = -m - r for m.
4
Let d(t) = -7*t - 1 - 5 + 5*t. Let r be d(-4). Suppose 20 = -z - 4*x, 0*x + x = -z - 5. Solve z*n = n + r for n.
-2
Suppose 0 = 3*p - 4*r - r - 218, -5*r = 5*p - 350. Let s = -67 + p. Solve -6*w + s*w - 4 = 0 for w.
-2
Let h(o) = -o**3 + 6*o**2 - 5*o - 4. Let q be h(2). Solve 2*p - q = 2 for p.
2
Let y = -523 - -530. Solve -3 = 2*g - y for g.
2
Let j(h) = h**2 - h. Let c be j(-1). Solve 6 = -2*t + c for t.
-2
Let k be ((-4)/((-4)/5) - -14) + -6. Solve 0 = 8*j - k*j - 5 for j.
-1
Let j = 18 - 16. Suppose 4*x = r + j, 3*r + 0*r - 3 = 3*x. Solve 0 = -5*f - r - 3 for f.
-1
Let q be -2*(-20)/8 - 0. Solve -20 + q = 3*v for v.
-5
Suppose -14*y - 54 = -82. Solve y*z - 19 = -11 for z.
4
Let j(f) = f**2 - 2*f + 4. Let c be j(2). Solve 8 = -c*v - 12 for v.
-5
Let i be ((-2)/(-5))/(23/(-115)). Let c be (2/1)/i - -3. Solve r + r = c for r.
1
Suppose 2*j = -s - 5, -5*j - 15 = -5*s + 35. Suppose s*b + 9 = f, 0 = -2*f - b - 2*b + 5. Let o(y) = 2*y + 5. Let h be o(5). Solve a + f*a - h = 0 for a.
3
Suppose -5*o = 5*u - 20, 5*u - 15 = -4*o + 7. Let q be 20/6*u/5. Let c be ((-9)/q)/(15/(-40)). Solve c = t + 2 for t.
4
Suppose 3*t - 15 = -6. Let v(n) = -n**3 - 9*n**2 + 9*n - 4. Let h be v(-10). Suppose a - h = -2*a. Solve -20 = t*m + a*m for m.
-4
Suppose -2*j = 4*z - 32, -2*j - 3 = -z + 5. Let y = 1 + z. Let q be 22/99 - (-25)/y. Solve 1 = -m - q for m.
-4
Let z(n) = -22*n + 73. Let j be z(3). Solve 4 = j*m - 3 for m.
1
Suppose r + 6 + 1 = -2*u, 0 = -5*u - 25. Let j(i) = i**3 - 5*i**2 - 6*i. Let z be j(6). Solve z = n + r for n.
-3
Let g = -29 - -31. Suppose 5*f = 4*q - 16, q + f = -g*f + 4. Solve -3*j = -q*j + 3 for j.
3
Suppose 5*n + 7*k = 2*k + 25, 45 = 5*n + k. Suppose -3*t - 3*c - n = -t, 5*c = -t - 12. Let a(x) = -x**2 + 5. Let y be a(t). Solve q + y = -0*q for q.
-1
Let h be (1 + 2)*4/3. Suppose 3*b + 0*b = h*x - 12, -5*b - 20 = x. Let s be (b/(-6))/(3/9). Solve -3*c = -11 + s for c.
3
Let s(w) = 4*w**2 + 2 + 0*w - 4*w - w - 5*w**2. Let u be s(-5). Suppose 0*q = -q + u, -x = -5*q + 10. Solve x = 4*y - 2 + 14 for y.
-3
Suppose 0 = j + 1 + 2. Let s = j - -3. Suppose s = 3*c + c. Solve c = l - 5*l - 12 for l.
-3
Let x(k) = k**2 - 28*k + 8. Let g be x(22). Let f = -123 - g. Solve -2*y + 5 = f for y.
2
Let x be -2 - (1 + -1) - -2. Let g be ((-12)/(-18))/(1/6). Suppose 8 = -g*t - 4*h, -h + 4 = -2*h. Solve x = -p - 