 = -4*p + r, 0 = -5*n + 4*p + 28. Solve 0 = -n*g + 3*g for g.
0
Let z = -33 + 31. Suppose 3*p - 8 = p. Let g = p + z. Solve -3*y + g + 10 = 0 for y.
4
Let d(j) = -12*j + 0*j + 0*j**3 + 2 + 3*j**3 - 2*j**3 + 11*j**2. Let z be d(-12). Suppose 14 = z*g + 4. Solve 0*b = g*b + 10 for b.
-2
Let a be (-6)/(-1 - 2/4). Suppose 0 = p + 1 - a. Suppose -17 = p*z - 53. Solve 3 - z = -3*h for h.
3
Let o(d) = d**2 - 6*d - 3. Let f be o(7). Suppose 4*y + 65 = 5*q, 5*q = y + 4*y + 70. Let h be q/6*8/6. Solve h*a - f = a for a.
4
Suppose -2*j + 5 + 7 = 0. Let c = j + -3. Solve 0*u = -c*u for u.
0
Suppose -2*a + 16 + 39 = p, 5*p = 3*a - 50. Let v be (0 + -3 - -2) + 1. Solve v*l - a = 5*l for l.
-5
Suppose -3*a = 3*f, -f + 0*a + a = -8. Let m = 0 + f. Solve 7*j - m*j = -9 for j.
-3
Let i = -73 + 75. Solve -i*r + 12 = -6*r for r.
-3
Let n(t) = 5*t**2 + t + 1. Let q be n(-1). Let p be 4/(-10) - (-12)/q. Let z be (2 - 2)/(-2) + p. Solve -j + 0 = z for j.
-2
Suppose -b - 4*t + 4 = 0, 5*t - 4 = -3*b + 1. Solve b = 5*o - 2*o + 3 for o.
-1
Let l be (-44)/(-2) - (-2)/1. Let v = l - 8. Solve 0 = o + 3*o - v for o.
4
Suppose 5*u = -t + 2, -t - 2*u + 0*u + 2 = 0. Solve t*q = -q - 9 for q.
-3
Let t be 3*(-6)/9*-2. Suppose -t*p = p - 125. Solve -4*f + p = f for f.
5
Suppose -4 = -0*s - 2*s. Solve 9 = s*q - 1 for q.
5
Let r(f) = f - 3. Let w be r(3). Suppose 0 = -3*s - 3*d - 57, 2*d + 6 = -w. Let n be s/12*(-6)/2. Solve n*q = 6 + 6 for q.
3
Suppose -6 = -19*f + 17*f. Suppose 6*s = x + f*s - 19, 4*x = s + 21. Solve -1 = x*u + 19 for u.
-5
Let q = 0 - -2. Suppose -4 = -o + q*o. Let f be (-46)/o - (-4)/8. Solve -2*b - 2*b = -f for b.
3
Let m be -3*(3 + -2) + 3. Solve m*c + 2*c = -4 for c.
-2
Suppose 2*b + 0*b = 4. Let h = b - -3. Suppose 0 = -p - n - 2*n + 5, 0 = 4*p + 3*n - 11. Solve -p + h = -g for g.
-3
Suppose 54 = 3*i + 3*d, 36 = -4*i - 5*d + 110. Let f(v) = v**3 - 15*v**2 - 16*v + 3. Let p be f(i). Solve 0 = 3*u - 2*u - p for u.
3
Let i be 391/69 + (-1 - 1/(-3)). Solve -i*u + u = -20 for u.
5
Let a = -17 + 25. Suppose a*f - 9*f = 0. Solve f = 2*z - 0*z + 8 for z.
-4
Suppose 0 = -4*u - p + 24, p - 2 = -u + 7. Solve u*c = 37 - 12 for c.
5
Let t = 22 + -2. Let c be 0*(-3 - t/(-8)). Solve 0 = z - c - 2 for z.
2
Let k = 27 - 26. Solve 1 = 2*a - k for a.
1
Suppose -4*w - 14 = -54. Suppose 2*l = -x - w, -23 + 3 = 4*l. Let h be ((0 - 0) + x)/(-2). Solve h*u + 2*u = -6 for u.
-3
Let j = -4 - -7. Suppose 12*m = -8 + 20. Solve -4*i = -j*i + m for i.
-1
Let n(t) = t**2 + t + 5. Let r be n(0). Suppose 0 = d + 4*d - 15. Suppose -4*s - 6 = -7*s. Solve -d*b + s = -r*b for b.
-1
Let p be 6/(-1) - -3 - -3. Let a = p + 1. Solve 9 - a = 2*v for v.
4
Let g = 33 + -23. Suppose -5*d - 20 = -g*d. Let r = d + -4. Solve 2*u + r*u = 4 for u.
2
Suppose 2*j - 2*x + 22 - 56 = 0, 23 = j - 3*x. Suppose -4*b + j - 2 = 0. Suppose -6*r = -4*r. Solve r = -o - 0*o - b for o.
-3
Let b be 4/(-5) - (-1)/(15/27). Solve v + 0*v = b for v.
1
Suppose -2 = 4*r + 6. Let p = 1 - r. Solve -2*i - p = i for i.
-1
Suppose 0*s = -s - 3*x, -x + 6 = s. Suppose s*z = 11*z. Solve z = -6*t + 3*t + 9 for t.
3
Let i be -1 - (-9 + 2)*2. Suppose 3*x = -2*x - 3*f + i, -4*x = 2*f - 10. Solve 0 = -x*k - 3 - 7 for k.
-5
Let k(j) = -3 - 4 + 4 + j - 6. Let w be k(11). Solve w*h = -0*h + 8 for h.
4
Suppose 0 = -2*i + 4*h + 14, 0 = 2*i - i + 4*h + 5. Suppose 0 = -i*f + 5*f - 6. Solve 8 = x - f*x for x.
-4
Let u(c) be the third derivative of c**5/30 - c**4/12 - c**3/3 - c**2. Let r(i) = i + 6. Let t be r(-4). Let d be u(t). Solve 6 = -4*n - d for n.
-2
Suppose -2*y = -3*y + 45. Let z be 9/((y/(-6))/(-5)). Solve -2*m - 20 = -z*m for m.
5
Let y(f) = -f**2 + 9*f + 13. Let s be y(10). Solve -g = s*g - 8 for g.
2
Let d = -2 + 4. Let y = 8 + -12. Let c be (-10)/((-2)/y*-2). Solve c = -4*a + d for a.
-2
Suppose 2*l = -4*j - 12, 21 = -5*l + j - 31. Let q = 16 + l. Solve 2*i - 4*i + q = 0 for i.
3
Let m be -4*(1 + (-9)/6). Let x = m - -2. Suppose -8 - x = -3*k. Solve -3*n = 7 - k for n.
-1
Let p = 66 + -63. Solve p*l - 4 = l for l.
2
Let f be (3 - 4/18) + (-2)/(-9). Solve -2*b - f = b for b.
-1
Let q = 45 + -30. Suppose -3*p + 12 = 2*x + p, -3*x - 5*p + q = 0. Solve x = -2*j - 3*j - 25 for j.
-5
Let s = -12 - -16. Solve s = 5*g + 24 for g.
-4
Suppose -5*c = 3 + 87. Let o = c - -20. Solve -o = -b - 1 for b.
1
Let t = -14 + 10. Let j be (-3)/(-2) + (-10)/t. Solve -8 + 0 = -j*n for n.
2
Let h be ((-8)/20 + 6/15)/1. Solve -5*s + s + 16 = h for s.
4
Suppose 3*u - 5 = -4*n, 3*n - 3*u + 4 = 13. Suppose 11 = -5*l + 26. Solve l*a - n = 1 for a.
1
Suppose 15*r + 1 - 31 = 0. Solve 0 = -3*p - r*p + 25 for p.
5
Let g be 1/3 - 58/(-6). Let k be (8/5)/((-1)/(-15)). Let f be (k/30)/(4/g). Solve 0 = -x - 0 - f for x.
-2
Let d be ((-2)/(-12))/((-3)/(-18)). Let b = d + 11. Suppose -n - n = 2*z - b, -24 = -4*z - n. Solve z = -6*x + 4*x for x.
-3
Let w = 4 - 6. Let m be w - 2/(-3)*3. Solve 3*c - 6 - 6 = m for c.
4
Let y(m) = 2*m**2 - 3*m**3 + 4*m**2 + 4*m**3 + 3*m + 8. Let d be y(-6). Let o be 2/(-10) + (-2)/d. Solve -1 = k - o*k for k.
-1
Suppose 3*l - 9 = 6. Solve l - 9 = 4*m for m.
-1
Let z be (2/(-3))/((-2)/9). Let u be z + 2/6*0. Solve -2*i - 1 = -u for i.
1
Suppose 5*l - 10 = -0*l. Solve -3*n + l = -13 for n.
5
Let x(p) = -p - 9. Let r be x(-12). Suppose 5*u - r*d - 6 = 27, 3*d + 3 = 0. Solve -u*i - 5 = -i for i.
-1
Suppose 2*x + 0 = 4. Solve x*j - 5*j = 9 for j.
-3
Let z(d) = -d**3 + 8*d**2 + 8*d + 3. Let r be z(9). Let a be 2 - 3*r/(-9). Let h be 3/(-1 - -2 - a). Solve h = 2*m - m for m.
3
Suppose 0 = -3*c - c + 16. Solve r = -c*r for r.
0
Let a(k) = -k**2 - 5*k + 4. Let b = 58 + -35. Suppose 0 = 4*i + 3*x + 23, -4*i + 6 = -3*x + b. Let j be a(i). Solve 5*h = h - j for h.
-1
Suppose 0*l - 3*t = -3*l - 6, 2*l + 4*t = 20. Suppose 5*i = -l*m + 1 + 22, -2*m = 2. Solve i*w - 29 + 4 = 0 for w.
5
Let s(f) = f**2 + f - 2. Suppose -4*c - c + 22 = -3*t, 26 = 5*c - 4*t. Let l be s(c). Suppose -11 = -l*g + 5. Solve 15 = a - g*a for a.
-5
Suppose -m - 2*m = 0. Suppose m = -3*f - 2 + 17. Let r(t) = -t**2 - 5*t. Let s be r(-4). Solve s*i = f + 3 for i.
2
Suppose 0 = -3*p - r + 42 + 3, -5*p = 3*r - 71. Let k = p - 16. Solve k*x = x for x.
0
Let y(s) be the third derivative of s**6/120 - 7*s**5/60 + s**4/4 + 2*s**3/3 + 2*s**2. Let d be y(6). Solve d*o + 2 = -6 for o.
-2
Let s(k) = k + 11. Suppose 20 = 5*p, -4*z + p = z + 34. Let q be s(z). Solve -2*j = q + 1 for j.
-3
Let l(b) = b**3 - 6*b**2 + 5*b + 2. Suppose -5 - 3 = 2*y. Let o = y + 9. Let s be l(o). Solve -3*t = s*t + 5 for t.
-1
Let m(u) = 8*u - 63. Let s be m(9). Solve -4 = 11*w - s*w for w.
-2
Suppose -4*m - m = 15. Let f be (-7 + 4)/(m/2). Solve 0*j + j + f = 0 for j.
-2
Let x be 0*((-3)/2 + -12 + 14). Solve x*f = f for f.
0
Suppose 8 = 4*o - i, o - 3*i + 1 = -2*i. Solve -2*a = -o*a + 4 for a.
4
Suppose 2 = 5*c + i - 23, -i = c - 9. Solve c*k - 3*k = 3 for k.
3
Suppose -4*q + 2*l + 10 = 0, 2*q - l + 5*l = 0. Let f(m) = -m**2 + 9 - m + 3 + 0*m**q. Let j be f(0). Solve -x - 3*x - j = 0 for x.
-3
Let q be 1*(-13 - (0 + -1)). Let p(l) = -l**3 + 8*l**2 - 6*l - 10. Let x be p(7). Let a = x - q. Solve -a = -2*b + 1 for b.
5
Let f = -6 - -18. Solve 6*n - 3*n + f = 0 for n.
-4
Let b = 14 - 11. Solve 0 = n + b - 4 for n.
1
Let g be (2/(-14)*20)/(32/(-112)). Solve -6*r - 20 = -g*r for r.
5
Suppose -2*x - 36 = -3*a, 5*x + 12 = a - 13. Let i be 2/a + 48/10. Solve -3*t = -i*t + 10 for t.
5
Let k be 2 + -10*(0 + -1). Suppose 3*x - x = k. Solve 0*o + 2*o + x = 0 for o.
-3
Let j be (0 - -1 - 0) + 2. Let s = -3 + j. Suppose s*h - 8 = -4*h + x, -6 = -3*h - x. Solve 0 = -z + h*z - 4 for z.
4
Let c = -15 + 18. Suppose -n - 4 = -c*n. Let k = -1 - -5. Solve -n*j + 0*j = k for j.
-2
Suppose 2*z + 8 = 0, 0 = 5*y - 4*z + 2*z - 28. Solve -25 = y*o + o for o.
-5
Let j be -2 - -2 - -5 - 3. Let r be 0/2*2/4. Let y = r + 2. Solve j = -y*z + z for z.
-2
Let o = 5 + 9. Let b = o + -7. Solve -b + 2 = p for p.
-5
Let w be (-105)/(-75) + (-3)/(-5). Solve -s - 3 = w*s for s.
-1
Suppose 0*d = -5*d - 20. Let o be 36/21 + d/(-14). Solve -o*m + m - 5 = 0 for m.
-5
Suppose -3*b = 3*j + 6, -2*b + 0*b = j + 7. Let g(u) = -7*u + 3. Let x be g(b). Suppose 0 = -z - 5, -p - x = -2*p + 3*z. Solve 4*a - 3 = -p for a.
-5
Let a be ((-140)/(-42))/(4/6). Solve -7 = -3*j