 = o - -56. Solve 3*t = -g*t - 10 for t.
-2
Suppose -3*a + 16 + 11 = 0. Let c be (-1*5)/(-10 + a). Solve 14 = 3*n + c for n.
3
Suppose 3*s - 2*c = -13, -4*s - 10 = -c + 4. Let k be (0/(-3))/s - (-9)/3. Solve -k*g + 4 - 13 = 0 for g.
-3
Suppose 4*y - 140 = -2*g - 2*g, 0 = -5*y + g + 181. Solve -2*p = -11*p - y for p.
-4
Suppose -12 = 3*k - 5*r + 49, -3*k - 4*r - 16 = 0. Let u be (-84)/k - 1*(3 - 2). Solve 3*b - 6*b = u for b.
-2
Let r = -453 - -465. Solve r*m - 7*m + 25 = 0 for m.
-5
Let i be -62*(-2)/(-4)*2. Let q = i + 64. Solve -q*s = s for s.
0
Let m be (-12)/(-8)*2/3 + 1. Solve -3*z - m*z - 15 = 0 for z.
-3
Suppose 0 = -47*w + 46*w + 6. Solve k - 1 + w = 0 for k.
-5
Suppose -3*h + 8*h = 25. Suppose 3 - h = -a. Solve -a*t = t for t.
0
Suppose -4*u - n - 81 = -0*u, 4*n = 4*u + 96. Let q = -12 - u. Suppose o - z = 3*z - q, -5*o = -3*z - 6. Solve i = o + 1 for i.
4
Suppose -y - f = -3, -f = 5*y - 0*y - 19. Let m = -406 + 406. Solve m = y*z - 0*z for z.
0
Let b(t) = -t**3 - 6*t**2 + 7*t - 8. Let o be b(-7). Let j(v) = -4*v + 1. Let r be j(o). Suppose 0 = u + 3*q - 32, -5*q + r = u - 7. Solve -u = z - 5*z for z.
5
Let z be (-84)/(-10) + (-2)/5. Let l be (-12 - 0)*z/(-12). Solve 3*a - l = a for a.
4
Let c = -992 - -998. Solve -c*a - 18 = -6 for a.
-2
Suppose 4*q + 3 + 5 = -6*u, 0 = -5*u + 2*q + 4. Solve u*v - 4 = -v for v.
4
Let p be (-3*(3 + -2))/((-6)/4). Suppose 6*y - 24 = p*y. Solve -y*a = -2*a + 4 for a.
-1
Let f(s) = 53 + s**2 - 2*s**2 - s - 2*s - 49. Let j be f(-4). Suppose -16 = -w + 3*u, 5*u + 60 = 3*w - j*w. Solve 2*a + w = 7*a for a.
5
Suppose -2*x - 48 = -14*x. Suppose 5*b = -0*b - 4*n + 31, 2*b = 2*n - 2. Suppose y - b*y + 10 = 0, 11 = 3*r + y. Solve -x + r = h for h.
-2
Suppose -12*s - 98 = -14*s. Suppose -55*g + 36 = -s*g. Solve p + g = 4*p for p.
2
Let a(b) = -b**3 + 6*b**2 + 6*b + 9. Let t be a(7). Let i = -1245 - -1247. Solve -12 + t = i*c for c.
-5
Let p(k) = 6*k**3 + k**2 - 2*k + 1. Let u be p(1). Let d be (-63)/u*(-8)/14. Solve 2*h - 12 = d*h for h.
-3
Let g = -21 - -22. Suppose 0 = 2*p - 5*w - 3, 4*p + w = p - 4. Let r be 5 + (-4 - g/p). Solve 0*y - r*y = 0 for y.
0
Let x(o) = 3*o - 5. Let q be x(5). Suppose -5*r + 80 = -q*r. Let n = 18 + r. Solve -u = n*u - 3 for u.
1
Suppose -8 + 28 = -5*z. Let n be (z/5)/((-10)/25). Solve n*f = -3*f for f.
0
Let k(h) = -h**2 + 6*h + 1. Let b be k(5). Suppose 4 = 5*d - 6. Solve 0 = b*u - d*u + 16 for u.
-4
Let i be 92/22 - (-2)/(-11). Suppose q = 5*q - 2*j - 2, -i*j = q + 4. Suppose x = -q*x. Solve 0 = -x*g - 4*g - 4 for g.
-1
Let j be ((-4)/10)/(2/(-10)). Let k = 1815 + -1812. Suppose a + k = j*a. Solve -a*v - v = 0 for v.
0
Suppose -3*j - 36 = -7*j. Suppose -20 = -14*m + j*m. Suppose -4*p - m*x + 4 = x, 5*p - 5 = -3*x. Solve p - 21 = 4*i for i.
-5
Suppose -4*y = y - 2*j + 5, -2*y - 2*j = 2. Let m be (8/6 - 1)/(y/(-33)). Solve 1 - m = -2*n for n.
5
Let u be 34/10 + (-4)/10. Suppose -3*a + 9 = -3*d + 6*d, -5*d + u = 2*a. Suppose 3*b + 8 = r, -a*r + 4*b - 8 = -40. Solve -r = -5*m + m for m.
2
Suppose -42 = -2*w - 4*q, -85*w + 90*w + 4*q = 87. Solve -w*v + 100 = 5*v for v.
5
Let c(s) = s**2 - 9*s - 6. Let w(v) = v**2 - v + 1. Let j(y) = c(y) - 2*w(y). Let g = 9 + -13. Let f be j(g). Solve 0 = 2*m - 2 - f for m.
3
Suppose 0 = 5*v - 4*a - 26, 3*v - 2*v - 4*a - 18 = 0. Solve -4*w - v = 2 for w.
-1
Suppose 2*x = -3*x. Suppose x = 5*g + g. Suppose -4*i = -g*i - 16. Solve y = -i*y - 15 for y.
-3
Let k(j) = -75*j - 740. Let h be k(-10). Solve 2*c - 40 = h*c for c.
-5
Let n(s) = -s**3 + 7*s**2 - 9*s. Let b be n(5). Suppose 5*h - 30 = 4*c, 0*c - c = b. Solve -h = 2*g - 6 for g.
2
Suppose 38*j - 39*j - 2 = 0. Let y be j - ((-8)/2 - 1). Solve y*c = 4*c - 2 for c.
2
Let c = -100 - -105. Solve -3 - 12 = c*s for s.
-3
Suppose 4*q + 0*q = -o + 11, 3*o = -4*q + 17. Let a = -6438 + 6442. Solve a*m + q = -18 for m.
-5
Let s be 1/3*-1*2*-6. Let d = -2 + s. Solve 2*i = 10 - d for i.
4
Suppose 0 = -8*l + 6*l + 12. Suppose -z - 75 = -l*z. Solve z = 4*s - s for s.
5
Suppose 5*t - 100 = 2*l + l, -10 = -2*t. Let b = -22 - l. Solve b*y = 2*y - 5 for y.
-5
Let q(z) = -2*z + 5*z - 11 - 4*z. Let p be q(-11). Solve -o + 0*o + 5 = p for o.
5
Let r = 668 - 618. Solve -4*p - r = 6*p for p.
-5
Suppose 2*m - 7*m = -4*y - 96, -18 = -m + 2*y. Suppose 105 + 251 = -4*x + h, 5*h = m. Let d be ((-3)/2)/(33/x). Solve -10 - 6 = -d*c for c.
4
Let b be (2 + 15/2)*2. Suppose -b*z = -21*z. Solve 0 = -z*a + 5*a for a.
0
Let r(p) = 2*p - 11. Let h be r(7). Suppose -4*u = -9*u - y + 23, h*u = -4*y + 7. Suppose c + u*c = 0. Solve c = -g + 6*g + 20 for g.
-4
Let m(t) = -t**2 + 76*t - 483. Let n be m(7). Solve -2*q = -4 - n for q.
2
Suppose 10 - 112 = -17*z. Solve 10*b - 8*b = -z for b.
-3
Let v = -117 - -79. Let m be (v/(-4))/((-4)/(-8)). Let c = -17 + m. Solve -2*y = c*y + 12 for y.
-3
Suppose -14*s + 46 - 4 = 0. Solve 8*d = s*d for d.
0
Let i(h) = -h**3 - 7*h**2 + 21*h + 117. Let z be i(-8). Solve z*g - 4*g = 9 for g.
1
Suppose -6*s + s = -5*y - 60, 2*y = 4*s - 38. Let j = s + 12. Let u = j - -2. Solve 9 - u = 3*g for g.
-4
Suppose 0*j = 2*j + 14. Let y(h) = 3*h - 8 - 5*h + h + 2. Let r be y(j). Solve z - 2 = -r for z.
1
Suppose 0 = -5*j - i - 24, -j - 5*i - 1 = -i. Let h = -5 - j. Let p be h/(-3 - (-2 + 1)). Solve -4*d + p = 4 for d.
-1
Let h = 169 + -165. Solve -12 - 8 = h*b for b.
-5
Suppose 0 = -v + 2*v. Suppose -f - 3 = -t - 8, -f + 4*t + 8 = v. Solve f*c = -13 - 7 for c.
-5
Suppose 0 = 125*p - 140*p + 60. Solve -6 = -p*k - 10 for k.
-1
Suppose -v + c = -1, -v + c = -2*v + 3. Let k be 4*(3 + 36/(-16)). Solve -k*t - v*t = 0 for t.
0
Let l = 859 - 851. Solve 12*x - l = 40 for x.
4
Suppose 0*n + 4*n = 12. Suppose -20*p - 4 = -21*p. Suppose p*s = -8*s. Solve s*g = -n*g - 12 for g.
-4
Let f(t) = 6*t + 69. Let k be f(-10). Suppose -8*d = -5*d - k. Solve d = -3*u - 6 for u.
-3
Suppose -2*x - 2 + 12 = 0. Suppose -b = -2 - 0. Suppose -15 = -2*n - n, b*k - n = -x. Solve k = y - 0 - 3 for y.
3
Let i be (-2)/2 + 9 + -2. Suppose 52 - i = -b + 5*g, 0 = -b - 5*g - 26. Let t be (48/b)/((-2)/3). Solve 0 = t*r - 7 + 1 for r.
3
Suppose 4*u = 7*u - 6. Suppose 3*g - h = -u*g + 12, 0 = -5*g + 4*h + 3. Solve -g*z - 10 = 5 for z.
-5
Let t be 18/(-21) - 80/84*-3. Solve t = -2*q + 8 for q.
3
Suppose -1 = -v - 3. Let n be (-2)/v - 3/3. Solve 0*m - m = n for m.
0
Let y(b) = -b + 5. Let i be y(10). Let q = 24 + i. Let o = q + -11. Solve -x + o = 3*x for x.
2
Suppose 2*s + 24 = -2*c, s + c = 4*s + 36. Let o(w) be the first derivative of w**2 + 28*w + 1. Let g be o(s). Solve 0*r = 4*r - g for r.
1
Suppose 0 = -14*j + 3*j. Suppose -2*f - 1 + 1 = j. Solve -2 = -c - f*c for c.
2
Suppose 3*t - 10 = -2*t. Suppose 0*p = t*p - 2*h + 4, 10 = -3*p + 5*h. Let g be 4/4 + 0 + 1. Solve 2*b + g = -p for b.
-1
Suppose -5 = 2*g + c, 3*g = -c - 5 - 0. Suppose g = f - 5*b - 19 - 2, -2*f + 3*b + 21 = 0. Solve -f*a = -2*a + 16 for a.
-4
Suppose 5*x = 4*x + 1. Suppose -4*p + 0*p + 2*k = 12, k = -4. Let m be x - (3 - -1) - p. Solve j = -j + m for j.
1
Let l = -1 + 4. Let c = l - 1. Let g be 2 + -2*2 + c. Solve g*v + 4*v = 16 for v.
4
Suppose 71 + 13 = 7*w. Solve 20*k = 14*k + w for k.
2
Let t be (-14)/35 - -1 - (-7)/5. Solve -2*h - t = -6 for h.
2
Let o be (-3)/(-2)*15/(75/20). Solve 4*d + o = -6 for d.
-3
Let a(w) = -3*w + 1. Suppose 22*t = 32*t + 40. Let q be a(t). Solve -1 + q = -4*i for i.
-3
Suppose s = l - 3, -3*l + 6 = -5*l - 4*s. Let y be l/(-6) + 1 + (-14)/(-12). Solve -y*a + 2 = 4 for a.
-1
Suppose -4*d - 3*g + 20 = 0, -d + g = 2*d - 15. Solve 2*x + d = 1 for x.
-2
Let q(v) = v**2 - 3*v - 7. Let i be q(5). Suppose 2*a - 120 = -4*a. Suppose -5*y + n = -84, 4*y - 51 = -3*n + a. Solve -2 = i*k - y for k.
5
Let h be (-1)/3*(4 + -13). Let t be 6/(-3 - -1) + h. Solve t = -5*x - 18 + 3 for x.
-3
Suppose -q + 13 = 3*y + 2*y, 4*q - 3*y - 6 = 0. Suppose 0 = -q*m + 5 + 10. Let b be (14/(-8))/((-1)/4). Solve -m*f - 13 = b for f.
-4
Let w = -1255 - -1260. Solve -w*d = -15*d + 10 for d.
1
Let r be (0/1)/(3 - 2). Let f be (4/6)/(11/66). Let l = f - 2. Solve r*j - l*j + 2 = 0 for j.
1
Suppose -4*j - 1 = -5. Suppose n - 21 = -3*w, n = j - 4. Suppose -2*z = -z - 4, -4*i + 3*z + w = 0. Solve -3 + i = -f for f.
-2
Let o = -3 - -2. Let l(z) = 4*z. Let i be l(o). Let j = 0 - i. Solve 7*c - j*c 