
Let n = -36 + 49. Let r be (-2)/8*n/(78/(-120)). Solve 6 = -r*v - 14 for v.
-4
Suppose -19*j + j = -90. Solve j*a + 3 - 18 = 0 for a.
3
Suppose 0*x = -4*g - 2*x + 14, -3 = 2*g - x. Let h(b) = 13*b**3 - 1. Let c be h(g). Let j = -28 + 32. Solve 0*a + c = j*a for a.
3
Suppose 0 = -4*h, 0 = -3*o + 2*h - 4 + 13. Solve o*l + 3*l = -12 for l.
-2
Let d be (10/15)/(1/(-36)). Let k = d + 26. Solve -k*n - 1 = -3*n for n.
1
Let q(a) be the first derivative of a**3/6 - 9*a**2/2 - 4*a + 5. Let t(y) be the first derivative of q(y). Let o be t(11). Solve -o = j + j for j.
-1
Let s = -224 + 224. Solve -2*c - 39 + 35 = s for c.
-2
Suppose -6*j = -18*j + 60. Solve -j*u - 6 = u for u.
-1
Let x(d) = -3*d - 18. Let b be x(-7). Solve -y = b*y - 20 for y.
5
Let k(z) = -2*z + 9. Let p be k(-14). Let h = p + -26. Solve 15 = r + h for r.
4
Let o(j) = -12 + 28 + j + 2*j**2 - 18 + 3*j**3. Let n be o(1). Solve -n*p - 15 = p for p.
-3
Let j = -6 - -10. Let b be (-1 + 16)*11/33. Suppose -4*l - 5*m - 3 = 12, b*l - 3 = m. Solve -j*n + l*n = -16 for n.
4
Suppose 8*u - 205 + 21 = 0. Solve 0 = 3*h - u + 17 for h.
2
Let k(i) = 4*i - 3. Let v be k(4). Let p(g) = g**2 - 13*g. Let l be p(v). Solve l*n - 2*n = 8 for n.
-4
Suppose 2*s - 34 = -4*x, 2*x + 8 = s + 3*s. Let v be (-4)/x + (-17)/(255/(-10)). Let a(p) = p**2 + 5*p - 6. Let k be a(-6). Solve k*i + i + 2 = v for i.
-2
Let q = 31 - 14. Let k(m) be the first derivative of m**3/3 - 15*m**2/2 + 6. Let x be k(15). Solve x = 3*h - q + 2 for h.
5
Suppose -x - 4*b + 5 = -3, 5*x - 2*b - 18 = 0. Let m(d) = -2*d**3 - d**2 - 3*d - 2. Let v be m(-2). Solve 0 = -x*l + v - 0 for l.
4
Suppose 0 = 4*w - 34 + 22. Let s be ((w/(-2))/3)/(3/(-18)). Solve s*y - 1 = -10 for y.
-3
Let s be (-55 + 3/(-1))/((-4)/2). Solve 0 = s*y - 31*y + 4 for y.
2
Let g(i) = -i + 1. Let k(p) = -3*p - 6. Let t(a) = -2*g(a) + k(a). Let j be t(-5). Let b(f) = f**2 + 3*f + 3. Let o be b(j). Solve 5*l + 6 = o*l for l.
-3
Suppose -2*y - 5*x - 5 = 0, 5*y + 2*x + 27 = 4. Let m = y + 5. Let j = -5 + 7. Solve m = -7*s + j*s - 25 for s.
-5
Let c be (-6)/(-18) - ((-22)/6 + -1). Let l = 70 - 66. Solve -c*w - l = 6 for w.
-2
Suppose 0 = 15*u - 9 - 96. Solve 0 = -u*s + 11*s - 12 for s.
3
Suppose 35*b - 42 = 32*b. Solve 5*g = -1 - b for g.
-3
Suppose 0*l - 2*l - 8 = -y, -2*l = 5*y - 16. Let i be -5*(l - (-16)/10). Let c be (0/(-4) + 0)/i. Solve c = -s - 0 - 1 for s.
-1
Suppose -2*k - 200 = -7*k. Let s = 22 - k. Let p = s - -18. Solve -2*y + 2 + 4 = p for y.
3
Let u(b) = -2*b**2 + 13*b + 6. Let m be u(7). Let s = m + 7. Let k be (-18)/(-4)*(-4)/(-6). Solve -k*w + 3 = s for w.
-1
Let o(y) = y**3 - 14*y**2 - 20*y + 75. Let w be o(15). Solve w - 8 = 2*h for h.
-4
Suppose 20 = b - p, -6 = -5*b - 4*p + 58. Solve -4 - b = -10*h for h.
2
Suppose 0 = 4*w - 5*l - 40, 21*w - 25*w - 3*l + 8 = 0. Suppose 5*h - 2*y = 19, -y + 11 = 4*h - 4*y. Suppose 0 = -i + h - 3. Solve 0 = k - i*k + w for k.
5
Let l(u) = 2*u**2 - 12*u - 6. Let j be l(7). Suppose 0 = -107*d + 111*d - j. Solve -d*p - 1 = 3 for p.
-2
Let i be ((164/(-6))/((-6)/(-18)))/(-2). Solve 43*c = i*c - 10 for c.
-5
Let k(w) = 6*w - 3 + w - 8*w. Let m be k(-3). Solve t = 2 - m for t.
2
Suppose -6*h + 2*h - 4*i = -16, -4*h - 3*i + 12 = 0. Suppose -30 = -5*y - h*y. Suppose y*s = 10*s. Solve -3*m - 20 + 5 = s for m.
-5
Let j = -1409 - -1409. Solve j = -7*a + a - 24 for a.
-4
Let o(t) be the second derivative of t**5/20 + 5*t**4/12 - 2*t**2 + 24*t. Let u be o(-4). Solve -5*p = u + 3 for p.
-3
Let a = 722 - 694. Solve a = 12*s - 8 for s.
3
Let l = 1421 - 1421. Suppose 0 = -2*v + v + 2. Suppose v*z - 14 = -q, z + z - 26 = -4*q. Solve l = -q*a + a for a.
0
Let y = 699 + -686. Solve -2*l - y = -7 for l.
-3
Suppose 72 = 2*y + 7*y. Solve y*m - 24 + 8 = 0 for m.
2
Let a = -440 - -484. Solve 46*k - a*k - 4 = 0 for k.
2
Let x be 4/80*10*0. Solve x = s - 0*s - 2 for s.
2
Let w = 376 - 376. Solve -3*t + t + 6 = w for t.
3
Suppose 0 = -f - 16 + 20. Suppose k = -s + 3, 4*s = f*k + s - 5. Solve -2*g + 8 = k*g for g.
2
Suppose -8*s + 3*s + 29 = 4. Suppose 3*b = -2*i + 11, 4*i = -2*b - 0*i + 10. Solve -2*o = -b - s for o.
4
Let p = -227 + 231. Solve i = -p*i for i.
0
Suppose 5*d - 3*n + 2*n = 30, 4*d = 2*n + 30. Suppose -3*h - 15 = 0, t = 5*h + d + 28. Solve 0 = -4*z - 8 - t for z.
-4
Let c(g) = -2*g. Let h be c(-3). Let u(k) = -4*k - 25. Let d be u(-5). Let b = h + d. Solve -4*i = -3*i - b for i.
1
Let s be (-2)/(-12) + (-34)/(-12). Let r be (-1)/(s/(3/(-1))). Solve r + 2 = -u for u.
-3
Suppose -12 = -5*z + 8. Suppose 7 = -3*g - 0*m + 4*m, -3*g - 3*m + 21 = 0. Suppose -25 = -z*f - g*j, -4*j = -4*f + 55 + 5. Solve 2 = 4*i - f for i.
3
Let m be ((-15)/(-6))/(1/2). Let f = m - -10. Let u be (f/(-5))/(6/(-4)). Solve -5 = -u*y + 1 for y.
3
Suppose -4*p + 20 = 4*s, -3*p = -2*s + p - 8. Let c(y) = 2*y - 3 - 15 + 2 + 0. Let d be c(10). Solve -d*t = s - 14 for t.
3
Suppose 5*c - 20 = -5*h, c - 2 + 3 = 4*h. Solve 0 = -0*l - l + c for l.
3
Let a be (-86)/(-14) - 11/77. Solve -a*d = d for d.
0
Suppose m = q - 1, 4*m = -4*q - 228 + 256. Solve 3 = 7*h - q for h.
1
Let n(p) = p**2 - p + 10. Let s be n(0). Let y = 49 - 47. Suppose 11*j - 6*j + 3*x = 37, -5*j + y*x = -17. Solve 10 + s = -j*r for r.
-4
Let u(c) = -c**3 - c**2 - c + 2. Let f be u(0). Suppose f*i = i - 4. Let o = 8 + i. Solve -4 = o*d - 2*d for d.
-2
Let v = 6 + -5. Let t be (-19)/(-3) + v/(-3). Suppose 3*m = -2*b + 46, 0 = m - b - 3*b - 20. Solve -2*k = -m + t for k.
5
Let i(h) = 36 + 2*h**3 + 9*h**3 + 14*h**2 - 13*h - 4*h**3 - 6*h**3. Let s be i(-15). Solve s*n + 8 = 2*n for n.
-2
Suppose j - 10 = 2*v, -2*j + 4 + 8 = -2*v. Suppose -3*s = -5*w + 55, 5*s + 40 = -j*w - 31. Let l = 20 + s. Solve -f + l = 2 for f.
3
Let t(h) be the third derivative of h**6/120 + h**5/10 - 5*h**4/24 - 7*h**3/3 + 3*h**2. Let s be t(-6). Let k = 26 - s. Solve -2 = -2*l - k for l.
-4
Let q be (-2)/(-7) - (-19)/(-14)*-2. Suppose 0 = -3*n - q*w + 6 - 0, -4*n - w + 11 = 0. Solve 7 + n = -2*t for t.
-5
Let a(i) = i**2 - 7*i + 13. Let o be a(5). Let b = 10 - 6. Solve -4*c + o*c = -b for c.
4
Let s(g) = -19*g + 121. Let p be s(6). Solve -2*y = -p*y + 5 for y.
1
Let u be (4*2 - 2)*(-10)/(-20). Suppose 2*b - 2 - 24 = 0. Suppose -2*x - 3 = -b. Solve x*o - 10 = u*o for o.
5
Let r = 0 + 0. Suppose 18 = 4*i + 14. Let h be i/1*24/12. Solve r = 3*o - h*o for o.
0
Let d be 0 + 0 + -8 + 16. Suppose -d*m = -0*m - 16. Solve 3*w + m - 8 = 0 for w.
2
Suppose -4*h + 26 = 4*l - 3*h, 10 = l + 2*h. Solve -3*n + 5*n + l = 0 for n.
-3
Let z(g) be the second derivative of -g**3/6 - 7*g. Let q be z(-1). Solve n = 3 + q for n.
4
Let s(h) = h**3 - 34*h**2 - 108*h - 67. Let x be s(37). Solve -17 = -9*n - x for n.
-3
Let k = -882 + 882. Solve k = -16*z + 19*z - 15 for z.
5
Suppose -3*t + 15 = -3. Solve -12 = -2*s + t*s for s.
-3
Suppose -5*d = -15, 0 = -5*h - d - 10 - 17. Let t be (-45)/(-18)*h/(-15). Solve 3*f = t + 5 for f.
2
Let d(o) be the first derivative of 3 + 0*o - 2/3*o**3 + 3/4*o**4 + 1/2*o**2. Let w be d(1). Solve 0 = w*r + r for r.
0
Suppose y - 229 = -208. Solve 0 = 8*h - h - y for h.
3
Let f = -104 - -123. Solve f = 5*t + 29 for t.
-2
Let f be ((-45)/(-9))/((-2)/(-4)*2). Suppose 2*h + 9 = y, 0*y - 2*y + f*h = -20. Solve 1 = y*q - 4 for q.
1
Let q(p) = 2*p**3 - 2*p**2 - 2. Let l be q(0). Let s be -2*l/8 - 19/(-38). Solve s - 11 = -5*g for g.
2
Suppose 5*a - 6 - 34 = 0. Suppose -24 + a = -4*y. Suppose 0 = -3*t - 2*t. Solve t*k + y = -k for k.
-4
Suppose 159 = -3*h + 189. Solve h*g - g = 45 for g.
5
Suppose 63 = 3*r + 5*s, 4*r - 5*s = -0 + 49. Let c(i) = 3*i**2 - 16*i + r*i. Let g be c(-1). Solve -9 = -g*a - 21 for a.
-4
Suppose 5 + 1 = 3*y. Let h be (6/4)/(1/y - 0). Let o = 6 + -2. Solve -o*k - 23 = -h for k.
-5
Let y(h) = h**3 - 2*h**2 + 2. Let c be y(2). Suppose c*i + 4*s - 6 = 0, 4*i + 0*s - 4*s = 0. Solve 2*r + 5 = i for r.
-2
Suppose -12*v = -9*v - 15. Solve v*u - 14 - 6 = 0 for u.
4
Suppose -51*j - 20 = -52*j. Solve -9*i = -5*i - j for i.
5
Let a = 20 - 24. Let j be (a - -2)/(2/1). Let q be ((-24)/16)/(j/2). Solve 0 = 2*g + q*g + 20 for g.
-4
Let a be 4 - (-2 + 0)*2. Suppose 4*o - a*o = 0. Solve 0 = -o*y + 2*y for y.
0
Let a = 26 + -57. Let f = a - -34. Suppose 4*i - o - 20 = -f*o, i = 5*o + 16. Solve -2*q + i = -0 for q.
3
Let a = -32 - -56. S