 v = g - 56. Solve -4*o = 12 + v for o.
-4
Let c be (-501)/(-9) + 4/12. Suppose -2*s = -4*m + c, 0 = 2*m - 6*m + 4. Let p = 29 + s. Solve f = -p*f for f.
0
Suppose 113*k - 99*k = 98. Solve -k = 4*u + 1 for u.
-2
Suppose -2*q + 4 = -4*a, 0*q + 5*q - 20 = 0. Solve -11 + a = 10*y for y.
-1
Let t(a) = a**2 - 11*a + 22. Let b = 10 - 1. Let p be t(b). Suppose 3*f + 0*f = 3*n, 0 = 3*n - p*f + 5. Solve 0 = -n*r - 0*r for r.
0
Let a(i) = 15*i - 69. Let v be a(19). Solve 0 = 2*h + v - 210 for h.
-3
Let z = -45 + 59. Suppose w - z = -4*x + 2*x, -4*w = -8. Solve -u = u - x for u.
3
Let s = -36 + 42. Suppose s*q - 3 = q + 2*c, 10 = 5*q + 5*c. Suppose 5*z - 8 - 7 = 0. Solve 4 = -z*k + q for k.
-1
Suppose k + 4*c - 64 = -k, 0 = -5*k - 2*c + 152. Suppose 9*b - k = -6*b. Solve -f + b = 4 for f.
-2
Suppose 0 = 4*s + 5*n - 33, 5*s = -0*n - n + 15. Suppose -a + s*a = 6*a. Solve -2*j + 0*j + 4 = a for j.
2
Suppose -5*f + 174 = -8*f. Let r be 16/(-56) + f/(-7). Solve x = -x + r for x.
4
Let i = 28 - 27. Solve 4*m = -i - 11 for m.
-3
Suppose j + n + 11 = 27, 3*n = 2*j - 57. Let s = j + -19. Solve -s*d + 25 = 3*d for d.
5
Suppose -3*c + 4*c = 4*y + 139, 4*y = 3*c - 393. Suppose -129 + c = -d. Solve -3*f - d = -11 for f.
3
Let v = 121 + -113. Suppose -7*z + 6 + v = 0. Solve -u = z*u for u.
0
Suppose 5*z + 5 = -10, 3*f - 21 = 5*z. Suppose 0 = -v - 2*w - 8, -3*v + 16 = -8*v - 4*w. Solve -f*c = -v - 10 for c.
5
Let l be 2/(30/27)*5. Let d = -7 + l. Suppose -1 = -u - 0*u + n, 5*n + 2 = d*u. Solve -4*k + u + 11 = 0 for k.
3
Suppose -2*h + 0*h = 0. Let i(l) = -2*l - 36. Let v be i(-19). Suppose 23*u - v = 22*u. Solve -u*y + h*y - 6 = 0 for y.
-3
Let v be -44 - -43 - -6*3. Solve -v - 16 = 11*z for z.
-3
Suppose 0*m + 3*m = 63. Let q = m - 15. Suppose 0 = 3*k - 0*k - q. Solve 1 = -k*c + 3*c for c.
1
Suppose 20 = 3*k + 2*k. Let g(q) = q**2 - 8*q - 6. Let m be g(9). Solve m*o + 5 + k = 0 for o.
-3
Let s(p) = 9*p - 10. Let x be s(2). Solve u + u = x for u.
4
Suppose 0 = -25*r + 26*r - 42. Solve 0 = 17*u + r - 8 for u.
-2
Let d be ((-4)/(-5))/((-3)/(-15)). Let w be (48/20 + -4)*-10. Solve w = -5*a - d for a.
-4
Let v(t) = -6*t + 66. Let k be v(11). Suppose k = -7*a + 5*a + 6. Solve 0 = -a*d + 15 for d.
5
Suppose 5*k - k + 3 = -3*p, -3*k - 16 = 5*p. Let u be 2/k - (-40)/12. Let x be 2/9 + 11 + 582/54. Solve -u*m + x - 2 = 0 for m.
5
Let p = -134 - -132. Let g be 20/6 - p/(-6). Solve -i + g*i - 4 = 0 for i.
2
Let m = 28 - 15. Let c = m - 10. Solve -4 = s + c*s for s.
-1
Let m(q) = q**3 + 19*q**2 + 91*q + 11. Let h be m(-9). Solve -3*z - 8 = -h for z.
-2
Let w(m) = 0*m + m + 7 + 0*m. Let i = -757 + 753. Let c be w(i). Solve 3 + 3 = c*p for p.
2
Suppose 91 - 1 = 3*f. Suppose f = -5*r + 75. Let z be 1/(((-3)/(-4))/3). Solve r = z*v - v for v.
3
Let f be (-8976)/112 - (-1)/7. Let i = f - -88. Solve 0 = -2*k - 0*k - i for k.
-4
Let y = -79 + 49. Let b be (-30)/(y/(-5))*6/(-10). Solve 4*f - 5 = b for f.
2
Let g(v) = -v + 7. Let a be g(-5). Let k = a + 1. Solve -3*m - 2 = k for m.
-5
Let s(k) = k**3 - 6*k**2 + 8*k - 11. Let b be s(5). Suppose -o + 0*y + 10 = -b*y, -3*o + y = -52. Solve -3*t = -o + 6 for t.
4
Let f be 3/(-2)*(-2 - 24/(-9)). Let w be (f - -1)*(-2)/4 - -11. Solve 6*t + 15 = w*t for t.
3
Let f = -3 - -21. Suppose -52 = f*o - 20*o. Suppose 0 = -r + o - 6. Solve 0*j = 5*j - r for j.
4
Let b(k) be the third derivative of 7*k**2 + 0*k + 5/6*k**3 + 0 - 1/24*k**4. Let m be b(5). Solve 0 = 5*w - m*w for w.
0
Suppose 2*o + 14*m - 12 = 12*m, -11 = -3*o + 4*m. Solve -33 = -6*c - o*c for c.
3
Suppose -3*x = 3 - 21. Suppose -5*n + 19 = -9*o + x*o, 2*n = 5*o. Let w be -2 + 4/(-2) + 4. Solve w = n*p - 10*p for p.
0
Let k = -56 - -53. Let w be (-3)/k*1*1 - -2. Solve 1 + 2 = -w*u for u.
-1
Suppose 0 = 33*o - 35*o + 32. Let b(h) be the third derivative of h**4/12 - 10*h**3/3 - 8*h**2. Let m be b(o). Solve -2*x - 2*x = -m for x.
3
Let f = 94 - 71. Solve 8 = 5*g + f for g.
-3
Suppose 0 = -3*m + 2*l + 19, 3*l + 0*l + 27 = 4*m. Suppose 0 = 3*z - 3*i, m*z + 2*i - 1 = 9. Solve 4 = 2*v + z for v.
1
Suppose 3*y - 2*y + 4*w + 3 = 0, -3*w = 12. Suppose -y = -l + 6. Solve l = -3*p + 4 for p.
-5
Let d(s) = -2*s**2 + 15*s + 65. Let h be d(-3). Solve 4*b = 6*b - h for b.
1
Suppose -1063*y + 168 = -1049*y. Solve y - 7 = 5*s for s.
1
Let j = -23 - -54. Let g = -30 + j. Solve 2*l + g = 5 for l.
2
Suppose -3*r + 12 = 5*c - 9, -3*c - 9 = 0. Solve -10 = -z - r for z.
-2
Suppose 5*c = -s + 12, -c - 2*c - 3 = 4*s. Let y(n) = -3*n - 3. Let p be y(c). Let o be (-10 - p) + (-3)/(-1). Solve -2*z + 1 = -o for z.
3
Let c(p) = -4*p + 38. Let h(t) = -8*t - 15. Let a be h(-3). Let i be c(a). Solve 0 = -i*l + 4*l for l.
0
Let n(j) = j**3 + 3*j**2 - j + 2. Let x be n(-3). Let o(p) be the third derivative of p**4/6 - 7*p**3/2 + 6*p**2. Let g be o(6). Solve x*l - 7 = g for l.
2
Let r be (5 - 1)*(-33)/(-22). Let a(m) = -m**2 - 3*m + 2. Let t be a(-2). Suppose n - 6 = t*j - j, 0 = 4*n + 3*j - 9. Solve -r = n*i - 0 for i.
-2
Let n(f) = -f + 31 - f**2 + 11*f - 36. Let z be n(9). Suppose 5*j - 24 = -z*a, 0 = 2*j - j. Solve -5*d - a = 19 for d.
-5
Suppose -4*c - 12 = 5*w, -46*w - 2*c = -45*w + 6. Solve -7 = -w*l + 7*l for l.
-1
Let k(u) = -u**3 + 4*u**2 - 2*u + 8. Suppose -4 = 4*r - 5*r. Let y be k(r). Solve -4 = -4*s - y for s.
1
Let j be (-2)/(3/14*(-24)/18). Solve j*y = 12*y + 25 for y.
-5
Let q(c) = c**2 + 7*c + 8. Let g be q(-7). Let v = -8 + g. Suppose v = -5*z - 15, 2*u + 2*u - 45 = -5*z. Solve -f = 2*f - u for f.
5
Let g = 1952 - 1909. Solve -34*k + 36 = -g*k for k.
-4
Let q = 753 + -753. Let m = 4 + -2. Solve q*b = -b + m for b.
2
Let t be (-8)/(-42)*-3 + (-20)/(-35). Solve t = -9*a + 2*a - 21 for a.
-3
Suppose -3*r + 18 = -6. Let h(y) = -y**3 + 33*y**2 + 71*y - 35. Let q be h(35). Suppose r*t - 12*t = q. Solve d + t + 1 = 0 for d.
-1
Let r be (-138)/12 - 1/2. Let s = 11 + r. Let h be 3 - s/(-2)*2. Solve 3*y = -h*y for y.
0
Let z be -4*(-3)/4*(-14)/(-6). Suppose z*o + 2*o - 5*o = 0. Solve o = -3*c + c - 4 for c.
-2
Suppose 155 = -5*n + 5*u, n + 2*u + 47 = 7*u. Let o = 9 - 34. Let p = o - n. Solve -c = -p - 3 for c.
5
Suppose t + 9*b - 6*b = 0, -5*b = 2*t - 1. Solve j = t*j - 10 for j.
5
Let j be -2*2 + 107 + -103. Solve 7*z + 4*z - 4*z = j for z.
0
Suppose -36 = z - 5*z + g, 2*g - 58 = -5*z. Let o = z - 7. Suppose -o*t = t + 3*k - 15, -25 = -3*t - 5*k. Solve -3*v + v + 8 = t for v.
4
Suppose -2*t - 2*t = -y + 28, t + 7 = -4*y. Let l(f) = f**3 + 8*f**2 + 6*f - 1. Let j be l(t). Solve -5*q - j = 4 for q.
-2
Suppose -4*w + 56 = -11*o + 7*o, 0 = 5*o + 25. Solve -7*z + w*z + 8 = 0 for z.
-4
Suppose 6*n = 8*n - 50. Let a = 29 - n. Solve 3*z + a = 7*z for z.
1
Let f(w) = w**3 + 7*w**2 - w - 4. Let m be f(-7). Suppose -6*g + m*g - 2*g = 0. Solve 5*i + 10 = -g*i for i.
-2
Suppose 32 + 82 = 3*x. Suppose 3*q - x = 31. Solve 4*l + 7 - q = 0 for l.
4
Suppose -3*u + 105 + 9 = 0. Solve 0 = -41*a + u*a for a.
0
Let u = 31 + -22. Suppose 2*y + 2*y + 32 = -3*o, -40 = 5*y + o. Let r = y + u. Solve -r = 2*f - 7 for f.
3
Let u be (0 - -1)*14/2. Let l be (-5 + u)/((-2)/16). Let y = -14 - l. Solve -f = y*f + 15 for f.
-5
Let i = -2 - -3. Let u be 3 + (13/39)/((-2)/6). Suppose d - u*v = -4*v - 8, 3*d - 16 = 4*v. Solve d = 2*w + i + 3 for w.
-2
Let f(a) = a**3 + 10*a**2 + 1. Let n be f(-10). Let v be (n - 18/12)/(1/(-18)). Solve -q - 2*q = -v for q.
3
Let i = 14 - 10. Let y be (4/i)/((-3)/(-9)). Solve 3 = y*d - 2*d for d.
3
Suppose 142*c - 10 = 137*c. Let x(l) = -l**3 - 6*l**2 - 6*l - 1. Let g(t) = t**3 + t**2 - t - 5. Let q be g(0). Let i be x(q). Solve c*y + i = y for y.
-4
Let k = -33 - -24. Let u be 3/k*-6 + (-12)/(-4). Solve -u*n - 3 = -2*n for n.
-1
Let v(n) = 4*n - 39. Let k be v(6). Let w be k/(-9) + (-22)/33. Solve -4*r + 7 = -w for r.
2
Let v(g) = -g**2 + 8*g - 9. Let j = 6 - 4. Suppose 4*o - 12 = -2*n - j*n, 4*o - 14 = -2*n. Let p be v(o). Solve -16 = p*i - 3*i for i.
-4
Suppose 5*m + 15 = -0*m. Let q(t) = t**3 - t**2 + 5. Let n be q(0). Let j = m + n. Solve 2 = -3*u + j*u for u.
-2
Suppose -4*i + 9*i + 50 = 0. Let d(v) = 9*v + 2*v**2 + v**2 - 8 - 2*v**2. Let g be d(i). Solve -s = -g*s - 4 for s.
-4
Let b(l) = -l**3 - 5*l**2 - 2*l + 4. Let j be b(-4). Let h be -1*2/j*0. Suppose -5*d = 5*n - 715 + 735, -5*d - n = -4. Solve 2*x + d*x 