Let l = h + -13. Suppose 2*c + c - l = 0. Solve r - c*r = 0 for r.
0
Let r = 2 - -1. Suppose -4*z + 20 = -3*l, z + r = 2. Let g be l/(-6) - 12/(-18). Solve s = g*s for s.
0
Suppose 3*y + y + 2 = 3*b, 0 = -y + 1. Solve 0 = b*s + 5*s + 3*s for s.
0
Suppose f - 3 = -0. Let d = -2266 + 2271. Solve f*b - d*b = 8 for b.
-4
Let f be 1 + 10 + -4 + 1. Solve f*n - 4 = 6*n for n.
2
Let y = -618 - -622. Solve 115 = -y*z + 95 for z.
-5
Let y(r) = 32*r - 17*r - 17*r + 6 + 2. Let g be y(3). Let s = -9 - -17. Solve 5*u + g = -s for u.
-2
Let v be -2*(0 - (3 - -2)). Suppose t = -v*t. Solve t = -x + 6*x + 15 for x.
-3
Suppose m = 3*y + 18, 160*m = 161*m + 4*y + 17. Solve -m = 8*v - 19 for v.
2
Suppose 60 = -d + 6*d. Suppose -7*k + d = -6*k. Suppose -3*r + 0 = -k. Solve -r*u + 20 = u for u.
4
Let x(t) = t**2 - 7*t + 4. Let g be (4/10)/((-4)/(-60)). Let d be x(g). Let v be 1 + -1 + d + 2. Solve -8*b + 3*b = v for b.
0
Let r be (-86)/5 + 3/15. Let v = 19 + r. Suppose v*z = -2*z + 5*s + 7, 27 = 4*z - s. Solve -z + 28 = -4*a for a.
-5
Let i(z) = 57*z - 329. Let p be i(6). Solve 0 = -p*u + 22*u + 27 for u.
-3
Let t = 1 - 1. Suppose 17083 = -m + 17085. Solve t*f = m*f - 6 for f.
3
Let w(x) = -3*x - 8. Let k be w(-8). Suppose -2 = -2*r - k. Let f be ((-2)/r)/(8/56). Solve f*g = 5*g for g.
0
Let u(j) = j**2 - 7*j + 20. Let i be u(7). Suppose -5*a = -i, 0 = 3*c - 5*c - 3*a + 28. Solve -4*d + 12 = -c*d for d.
-3
Let t(w) = 4*w**2 + 3*w**2 + w + 6*w + 9 - 6*w**2. Let i be t(-6). Suppose 0 = 5*p - 9*p. Solve 12 = -i*g - p*g for g.
-4
Suppose 4*l = 2*y + 236, -35*l + 40*l = 4*y + 298. Solve 13*c - l - 7 = 0 for c.
5
Suppose -2*l + 2*p + 24 = 0, 0 = 3*l - 5*p + 3*p - 36. Let i be 2/(-4) + ((-34)/(-4) - 1). Let r = i - 7. Solve r = 4*y - y - l for y.
4
Let t = 0 + 7. Let f be (4/(-6))/(t/(-42)). Solve 0 = 2*q - 12 + f for q.
4
Suppose -2*h = 4*c - 7*c - 113, 2*h + 2*c - 88 = 0. Solve h*l - 44*l = 10 for l.
2
Let y = -35 - -40. Suppose g + 13 = 3*g + y*k, 1 = -g - 4*k. Solve -4*b + g = 7 for b.
3
Let r be (-168)/18*4/(32/12). Let v be (-6)/4*(-84)/9. Let x = v + r. Solve z + 0*z + 1 = x for z.
-1
Let u = 84 - 130. Let l = u - -50. Solve -l*d + d = 0 for d.
0
Let k be 2/(-5) + 6/(-10). Let i be (k/4)/(11/(-748)). Suppose i*j = 22*j - 10. Solve -6*v + 4 = -j*v for v.
1
Let y = -17 - -22. Suppose y*a = -g - 2, 0 = -g - 3*g - 2*a - 8. Let k be 0/2*(-1)/g. Solve k*r = -3*r for r.
0
Suppose 4*l + 3*q - 14 = 0, -q = -l + 5 + 2. Suppose 0 = -l*z + 4*s - 1, 0*s = 2*s - 8. Solve z*i - 3 - 6 = 0 for i.
3
Let w = 868 + -793. Solve -16*o - w + 27 = 0 for o.
-3
Let z = -6 + 0. Let r be (z/(-4))/(2 + 9/(-6)). Solve -4*k - r = 9 for k.
-3
Let p(f) = f**2 + 2*f - 114. Let r be p(-12). Solve 11*v - 5 = r for v.
1
Let j(h) be the second derivative of h**5/20 - 5*h**4/6 - 11*h**3/6 + h**2 - h. Let v be j(11). Suppose 2*a - v = 2. Solve z = -a*z for z.
0
Suppose -4*b - 32 = 4*k, 2*k + 4*b + 7 = -17. Let v(z) = z**2 + 5*z. Let c be v(k). Let m be (-1 + 1 - c)*1. Solve -j + 1 = -m for j.
5
Suppose -4*h = -l + 283 - 59, -4*h - 224 = 3*l. Let g(k) = -7*k. Let z be g(-2). Let t be z/h - (-13)/4. Solve 2*o - t*o = 4 for o.
-4
Let i = -12 + -3. Let p be 26/5 + 3/i. Let v(g) = 14*g - 69. Let k be v(5). Solve -4*l + k = -p*l for l.
-1
Let q(g) = -g**2 + 3*g + 4. Let c be q(3). Let s be (-28)/(-6) - c/6. Suppose -3*o = h - 2*o + s, 5*o + 20 = h. Solve -4*l + l + 12 = h for l.
4
Let h be (-1)/(-3) + (-3)/9. Suppose 2*v = v + 4. Suppose 2*k + 8 = 5*d, -d - 3 = -k - v*k. Solve h = -d*z - 0*z - 10 for z.
-5
Let n(u) = -u**3 + 15*u**2 + 17*u - 12. Let d be n(16). Suppose -3*s + d = -5*j, -j + 6*j = 5. Solve s = 2*b + 1 for b.
1
Let o(t) = -2*t**2 - 19*t - 19. Let p be o(-7). Solve -k - p = -19 for k.
3
Let a = 928 - 926. Solve 3*u + a*u = -5 for u.
-1
Let f be 5/(-5) + 0 + 19. Suppose -5*p = 4*g + 195, p - 3*p = g + 51. Let w be 4/f + (-80)/g. Solve -w = 4*j + 2 for j.
-1
Let w(s) be the second derivative of s**4/12 - 4*s**3/3 + 3*s**2 - 12*s. Let t be w(9). Solve -3*n = -0*n - t for n.
5
Let c = -7 - -7. Let z be (-1 - -1) + (-6)/(-2). Suppose -z*f + f = c. Solve -d = -f*d for d.
0
Let c be 2/6 - 2/(-3). Let d = 1 - c. Suppose 3*n - 10 = b, -b = -2*n - d*b + 8. Solve -2*k = n*k - 20 for k.
5
Let n = 606 - 575. Solve 12*z + 17 = -n for z.
-4
Let i = 16 - 42. Let q = i - -33. Solve -5*u + 2 = q for u.
-1
Let g be 21/18 + (-12)/72 + 2. Solve 0 = -g*o - 3*o for o.
0
Let k = -119 - -199. Let v = -73 + k. Solve 0 = 2*a - v*a + 5 for a.
1
Let d be 2/((8/3)/4). Suppose a = 4*c + 20, -d*c - 2*c = 5*a - 25. Let v = -6 + a. Solve -1 = v*y + 3 for y.
-2
Suppose 75 = 6*z + 45. Suppose -9 = -2*d + u, 5*u + 0*u = -3*d + 7. Solve 9 = z*v + d for v.
1
Suppose 45 + 25 = 5*x. Let d = 17 - x. Let z = d - -1. Solve z*m - 2*m + 2 = 0 for m.
-1
Suppose 0 = -33*d + 372 + 684. Solve 21 = d*k - 25*k for k.
3
Let v(j) = j**2 + 2*j - 19. Let d be v(-6). Solve d*r - 46 + 26 = 0 for r.
4
Let s be 4/((-18)/(-12) + -1). Solve 0 = m + 8 - s for m.
0
Suppose s + y = 11, 15 = 2*s + 5*y - 10. Suppose -s = -3*i + 5. Suppose i*b = b. Solve b = 4*f + 5 + 7 for f.
-3
Let w(k) = k**3 - 7*k**2 + 9*k - 14. Let i be w(6). Let c = 6 + -9. Let s(y) = 2*y**2 + 3*y - 4. Let p be s(c). Solve m = p*m + i for m.
-1
Suppose 10 = 2*f, 4*x - 16 = 2*x - 2*f. Let i(h) = -h**2 - 10*h - 5. Let g be i(-13). Let o = -24 - g. Solve -5 = x*t - o for t.
5
Let c = 145 - 143. Solve 0 = -c*s - 4 - 6 for s.
-5
Let y(u) = u**3 + 18*u**2 + 14*u - 46. Let l be y(-17). Solve l*a - 11*a + 30 = 0 for a.
5
Suppose 0 = -m - m + 8. Let h(j) = 3*j**2 - 17*j - 3. Let q be h(6). Solve 3*u - q = m*u for u.
-3
Suppose -c + 15 = 4*u, -3*c - 5*u + 24 = -0*u. Let y = 7 - c. Let n = 38 - 31. Solve 0 = -y*x - 3 + n for x.
1
Suppose 6 + 3 = 3*s, s = -v + 14. Suppose v*w - 4*w = 0. Solve w*j - 2*j = -4 for j.
2
Let t(k) = 9 + 3*k**2 + 3*k**3 + 7*k - k**3 - k**3 - 12*k**2. Let s be t(8). Solve 3*j - s = -4 for j.
-1
Let o(y) = -4*y. Let x(c) = c - 1. Let k(i) = o(i) + 5*x(i). Let g be k(6). Solve l = -0 - g for l.
-1
Suppose 35 = -7*k + 49. Solve 10 = 4*n - k*n for n.
5
Suppose -3*r - 49 = -5*z, z - 3*z = 5*r - 1. Let n = z - 6. Suppose 5*f = n*f + 6. Solve -f*m = m for m.
0
Suppose 0 = j - 0*q + q - 21, 5*q + 21 = j. Solve -j = w - 21 for w.
0
Let p(x) = -23*x + 13*x + 8*x + 36. Let d be p(17). Solve 16 = -d*r + 6*r for r.
4
Suppose -4*l = 3 - 19. Suppose -2*v + 5*s = -2 - 0, l*v + 2*s + 44 = 0. Let i = -7 - v. Solve -n - 1 = -i*n for n.
1
Let c = 5 - 1. Suppose f - 6 = c. Let x be 4/f - 8/20. Solve -l + x = -4 for l.
4
Let m(r) = r + 5. Let q be m(-5). Suppose p + 2*d - 9 = -q*d, -4*p - 2*d = -18. Suppose 3*t + 15 = 0, 2*w + p*t - 4*t = 45. Solve -2*l = -6*l + w for l.
5
Let c be (6 + -5)*-3 - 1/1. Let a = c + 9. Solve -3*m + 4 = -a*m for m.
-2
Let g(o) = -2*o + 12. Let j be g(3). Solve 3*a - j = -3 for a.
1
Suppose 0 = c - 2*c + 1. Let k be (-2 - (c - 4))*-2. Let x be 2/(3/(-18)*k). Solve 4*y - 14 - x = 0 for y.
5
Let i(a) = 0 + 2 + 912*a - 914*a. Let j(z) = z + 3. Let c be j(-6). Let w be i(c). Solve 3*k = w*k - 10 for k.
2
Let j be 3972/66 - (-5 - (-228)/44). Solve j = -17*k + 5*k for k.
-5
Suppose 0 = -0*w + 7*w - 70. Suppose w*d - 6*d = 0. Solve d = -6*t + 2*t for t.
0
Let r(d) = -d**3 - 4*d**2 - 5*d - 5. Let b be r(-3). Let y be b/(-2)*-6 - -2. Suppose 5*h = -2*w + 12, -y*w = 2*h - 4*h - 1. Solve 5*x = w - 11 for x.
-2
Let n = -211 - -216. Solve 7*v = n*v - 10 for v.
-5
Let f be 5/(12/2 + 16 + -21). Solve -f*h - 3 = 22 for h.
-5
Suppose 0 = -3*c + 3, 0*b + 4*c + 12 = -4*b. Let f = b - -13. Suppose -f*u + 10*u - 6 = 0. Solve -p + u - 3 = 0 for p.
3
Let m be (0*(-5)/35)/2. Solve -8*w + 10*w + 10 = m for w.
-5
Suppose 2*q - 5 + 3 = 0. Solve 0 = -o + q for o.
1
Let d = 493 + -486. Solve -3*k + d*k = 0 for k.
0
Let x = -5 - -33. Suppose -x = -3*j - 2*p, 5*j + 0*j - 35 = -p. Suppose b - 8 = -3*b. Solve 0 = -j*y + 5*y + b for y.
2
Let h = 90 + -44. Let b = h + -42. Solve -b*u = 8 - 24 for u.
4
Let b be 472/(-48) + (-2)/12. Let h be (b/(-8))/(2/(-40)). Let c = h - -25. Solve c = -3*x - 0*x + 9 for x.
3
Suppose -3*p = -2*q + q - 2, -p = 3*q - 4. Suppose 0 = 2*f + 4*w - p - 3, 3*w = 0. Suppose f*g = 6*g. Solve -4 = u - g*u for u.
-4
Let w be (-2 + 20)*6/12. Solve -4*m - w = -m for m.
-3
Let o(n) 