 -4*g - d for g.
-5
Let q = -9 + 15. Let h(c) = 13 - 2*c + 6*c + q*c - c**2. Let g be h(11). Solve -3*k = -g*k for k.
0
Suppose 0 = 24*r - 10*r. Solve 0 = -h - r + 2 for h.
2
Let z(y) = -y**3 + 6*y**2 - 4*y - 6. Let c be z(5). Let r be (-34 + 4)/(-6) + c. Solve -r*w + 3 = -7*w for w.
-1
Let i(f) = 4*f - 1. Let y be i(9). Solve 7*q - y = -0*q for q.
5
Suppose -3*d - 5*h - 56 = -6*d, 2*h = d - 17. Let j = d + -25. Solve -2*r = j*r for r.
0
Let n(y) = -y**3 + 16*y**2 - 13*y - 30. Let d be n(15). Solve -11*s - s = d for s.
0
Suppose 0 = -5*x - 7 + 7. Suppose x = -48*i + 43*i. Solve i = -4*f + 3 - 7 for f.
-1
Suppose 4*b = 11 + 5. Solve -25*m + 21*m - b = 0 for m.
-1
Let t = -799 - -772. Let j(s) = 2*s**3 + s. Let g be j(2). Let q be (-4)/g - 6/t. Solve 2*i + 10 = -q*i for i.
-5
Let s be 3 + 14 - 9 - (1 + 2). Solve -13 - 7 = -s*z for z.
4
Let z = 2073 + -2013. Solve 19*f = -f + z for f.
3
Let q(y) = y**3 - 46*y**2 - 256*y + 71. Let m be q(51). Solve m*r - 2 = 21*r for r.
-2
Let b(t) be the second derivative of -t**4/12 + 7*t**3/6 - 9*t**2/2 - 15*t. Let h be b(5). Solve d - h = 1 for d.
2
Suppose -n - 12 = -4*n. Let y be n + -4*(3 + -2). Solve y = 3*r + 1 + 5 for r.
-2
Let o = -48 - -39. Let v(p) = -p**2 - 8*p + 13. Let t be v(o). Solve -k - k = t for k.
-2
Let x = -632 - -632. Solve x = 12*k - 21*k + 27 for k.
3
Let p be 8/24 - (2 + 22/(-6)). Solve -2 = -p*n + 4 for n.
3
Let i be (-6870)/6*((-16)/(-10) + -2). Suppose -15*y = -i + 98. Solve 4*f - y + 8 = 0 for f.
4
Let x(r) = 2*r**2 + 4*r - 9 - 8*r - r. Let g be x(4). Solve f = 4*f - g for f.
1
Let s = 820 - 739. Solve s*u + 21 = 74*u for u.
-3
Suppose -c - 2 = 3*j, 0 = 10*c - 12*c + j + 24. Solve -5*a = -c*a for a.
0
Suppose 5*v = 2*c + 1 - 11, 0 = -2*c - v + 10. Solve c = 2*q - 3*q for q.
-5
Let u be ((4 - 7) + 0)/(2/(-8)). Solve 67*v = 63*v - u for v.
-3
Let w = 1 + -29. Let r = w - -37. Solve r = -4*i - 3 for i.
-3
Suppose 16*t - 40 = 8*t. Solve 3*s = -t*s for s.
0
Let x(a) = a**2 + 34*a - 111. Let g be x(-37). Solve 5*h = -g*h - 10 for h.
-2
Let a(j) = -5*j - 83. Let h be a(-17). Solve -h*i - 14 = 5*i for i.
-2
Let f = -438 + 442. Solve f*g = g - 15 for g.
-5
Let d(q) = 8*q - 4 - 28 + 2*q - 15*q. Let c be d(-7). Solve c*r = r for r.
0
Let i be (-1 - 1 - -1)*0. Let h(b) = -b**2 + 3*b + 16. Let p be h(5). Suppose 4*q - p = -2*g, i = 4*g + g - 15. Solve 4*a + q*a + 8 = 0 for a.
-2
Let l = 84 + -41. Suppose 2*y = 3*d + 2 + l, 5*y - 50 = -5*d. Solve 5*h + 0*h - y = 0 for h.
3
Suppose -10 = p + 2*r, 5*p + 25 = -2*r - 3*r. Let b be (8*(-15)/(-160))/((-2)/(-8)). Solve -b = -p*j - j for j.
3
Let c = -13 - -18. Let v(u) = -u**2 - 8*u - 9. Let g be v(-6). Suppose -g*t + 30 = -15. Solve -c*s - t = -2*s for s.
-5
Let n be 40/5 - 6 - -10. Solve -4 = -n*x - 16 for x.
-1
Let h be -33 - (8 - -1)/(-3). Let v = 6 + h. Let i = -24 - v. Solve i = 3*r - 0 + 15 for r.
-5
Suppose -2*c = -6*c + 64. Suppose f - c = -1. Suppose -5*i - f = 0, i = -5*p + 1 + 16. Solve 5*n + 6 + p = 0 for n.
-2
Suppose -6*q - 3*q + 54 = 0. Solve 2*s + q = -s for s.
-2
Let p(q) = -q**3 - 8*q**2 - 2*q - 2. Let r be p(-8). Suppose -r*z = -10*z. Suppose z = -2*k - 5*k. Solve k = -s - s - 4 for s.
-2
Let u be 1895/55 - 3*2/(-11). Solve -6*w - u = -53 for w.
3
Suppose -5*d = -4*r - 1 + 11, -d = r - 7. Suppose 4*q - 4*k = -8, -6 = -q + k - d*k. Solve 0 = -4*g - 10 - q for g.
-3
Suppose -10 = f - 3*f. Suppose f*y + 9 = 2*y, -2*s + 21 = y. Solve -6*m + s = -2*m for m.
3
Let o = -51 - -54. Suppose 0*k - o = -k, 5*k = -3*n + 60. Solve 0 = -0*b + 3*b - n for b.
5
Let f(w) = -w + 43. Let n be f(14). Suppose 7*s - n = 97. Solve 5*d + s = -7 for d.
-5
Let o = -206 - -206. Solve o = 6*u - 4*u + 6 for u.
-3
Let c be 243/3 + -6 + 3. Let b = -73 + c. Solve -4 = a - b for a.
1
Suppose 3 = 5*g + 2*x, 5*g = 3*g - 2*x. Let l be 2/(-4)*((-3 - 2) + g). Solve -l*a - 9 = a for a.
-3
Suppose 3*l + 18 = 5*t, 3*t + 3*l = 2*l + 22. Let n = t + 0. Solve w - 25 = n*w for w.
-5
Suppose -2*y = -6*y + 5*q + 33, 0 = 2*y - 3*q - 19. Suppose -25*z + 27*z - 6 = 0. Suppose -5*l = z*b - 2*l - 21, -y*b + 4*l - 4 = 0. Solve -28 + 8 = -b*t for t.
5
Suppose -3*m = -2*v + v + 18, -3*v - 3*m = 6. Suppose -5*f - 2*o = 41, -2*f + v*o + 37 = -6*f. Let s = f + 16. Solve -5*p - 6 = s for p.
-3
Let o be 90/27*(-24)/10. Let j be 1/((o/(-4))/8). Let c be (-2)/j*(2 + -20). Solve k - c = -2*k for k.
3
Let y(w) be the third derivative of -w**5/30 - 9*w**4/8 - 5*w**3/3 + 7*w**2. Let z be y(-13). Let i(h) = -h - 2. Let u be i(-4). Solve -u*d = -z*d for d.
0
Let m be (300/(-528) - (-4)/(-22))*-8. Solve -m*k + 14*k + 40 = 0 for k.
-5
Suppose -d + 0 = -4. Suppose -d*p = 3*m - 0*m + 4, 4*p - 28 = m. Let l be ((-6)/(-9))/(m/(-108)). Solve -5*q = -2*q - l for q.
3
Let k(s) = s**2 - 5*s - 355. Let b be k(-17). Solve 2*c = b*c + 17 for c.
-1
Let r(d) = -4*d**2 - 7*d - 3. Let z(y) = -y**2 - 2*y - 1. Let x(s) = -2*r(s) + 7*z(s). Let o be x(-4). Solve 3*a - o = -2*a for a.
3
Let w be ((-6)/(-2) + -4)*-10. Solve w + 15 = -5*a for a.
-5
Let x(m) = m**3 + 17*m**2 + 20*m + 66. Let v be x(-16). Let l(b) = -4*b + 3 + 4 + 3*b. Let q be l(4). Solve v*r - 5 = -q*r for r.
1
Let w be 6/(-6) + 6/(-2)*-25. Let o = w + -72. Solve -6*k + o*k = -4 for k.
1
Let c(h) = -2*h + 12. Let w be c(-12). Suppose -6 = 34*l - w*l. Solve l*g = -0*g for g.
0
Let p = 5 + -2. Suppose 0 = 3*a + a. Suppose -2*k + 3*q + 4 = a, 4*k + k - 10 = 4*q. Solve 0 = k*c + p*c for c.
0
Let d = 743 + -737. Solve -n - d*n - 28 = 0 for n.
-4
Suppose 12 = -2*m - 4*t - 0, -5*m - 24 = 4*t. Let z = m - -3. Let b be (6/(-10))/(z/5). Solve b*x - 20 = -x for x.
5
Suppose -2*u = 4 - 10. Solve u*p + 5 = -2*p for p.
-1
Let k(f) = f - 2. Let g(a) = -3*a + 4. Let d(p) = 3*g(p) + 8*k(p). Let n be d(-7). Solve -n*b = -2*b + 2 for b.
-2
Suppose 6*w + 41 = 5*a + 4*w, -11*w - 33 = 0. Solve 8*i - 33 = a for i.
5
Let a(i) = 0*i + 1 + 2 + i**2 - 5*i - 2. Let k be 5/(0 - (-4 - -3)). Let y be a(k). Solve -y + 6 = u for u.
5
Suppose -5*y = 6*y - 143. Solve -17*u + y*u - 12 = 0 for u.
-3
Let q = 111 + -58. Let m = 56 - q. Solve 6 = 3*s + m for s.
1
Let s = -837 - -846. Solve 33 - s = -8*w for w.
-3
Let x(c) = c**3 + 8*c**2 + 4*c - 13. Let m be x(-7). Solve 0 = 7*s - 3*s + m for s.
-2
Suppose -11 = 84*d - 103*d + 65. Suppose -2*m + 6 = -0*m - l, 0 = -3*m - 5*l - 4. Let n be m/(4/(-2))*0. Solve d*z - 2*z = n for z.
0
Suppose f + 3*p = -f + 19, -4*f + p = -45. Suppose 3*i + 25 = 5*x, 1 = x - 5*i - 4. Solve f + 4 = x*v for v.
3
Suppose -a - 255 = -275. Solve 7*h - a = -20 for h.
0
Suppose 0 + 12 = -c + 5*y, 2*c - 18 = -4*y. Let o = 3736 + -3730. Solve c*b = -o + 15 for b.
3
Let y(z) = 2*z**3 + 9*z**2 - 3*z - 8. Let n be y(-4). Solve -n + 8 = 6*b for b.
-2
Let h(b) = -12*b**3 - 6*b**2 - 7*b - 2. Let j be h(-1). Solve 15 - j = -v for v.
-4
Let q be 11*(-6 - -3) + 1. Let o be ((-8)/6)/(q/72). Solve 0 = -2*k - o*k + 15 for k.
3
Let m(o) be the third derivative of o**6/30 + o**5/60 + o**4/24 - 6*o**2. Let r be m(-1). Let s = r + 6. Solve s*w = 5*w - 9 for w.
3
Let c(f) = 3*f**2 - 2*f + 1. Let o be c(1). Let d = -441 - -445. Solve d*p - 2 = o*p for p.
1
Suppose -4*u + 66 - 14 = 0. Let l = -13 - -4. Let i = u + l. Solve 0 = i*a - a + 3 for a.
-1
Let x be (-3)/(-12) - ((-135)/20 + -4). Suppose -x*j + 12 = -8*j. Suppose 3 = 3*c - 0. Solve j*t = c - 21 for t.
-5
Suppose -5*z - 4*l + 34 = 0, -7 = -2*z - 3*l + 8. Solve -v + z*v = 0 for v.
0
Let f be (42/(-4))/((-12)/(-16)). Let j be (-22)/(-7) - (-2)/f. Solve 0 = i - 1 + j for i.
-2
Suppose -c + 55 = 3*l, 7 = 4*c + 15. Let a be -4*(l/(-2) - -1). Let i = a + -34. Solve -u = -i + 5 for u.
-5
Suppose -6*m = -10*m - 12. Let r = m + 3. Suppose -4*z = -r*z. Solve z = -4*u + 2*u + 8 for u.
4
Suppose 8*u - 21*u + 26 = 0. Solve -8*l - u = -6*l for l.
-1
Let t = -4 - -4. Suppose 8 = 4*c - 0*c. Suppose -c*i = -4*i + 8. Solve 0 = -t*l - i*l for l.
0
Suppose a + 4 = 2*a + y, -3*a + 3*y + 6 = 0. Let f(o) = -o**2 + 7*o + 2. Let w be f(7). Let v be (0/3)/(2/w). Solve v*c + 12 = a*c for c.
4
Suppose 10*v - v - 18 = 0. Suppose -2*h - 5*i + 23 = 0, 4*h - 3*i - 1 = 2*i. Suppose -12 = -h*j - 5*y, -2*j + v*y + 8 - 2 = 0. Solve -j*f - 2*f = 0 for f.
0
Suppose l = 5*l. Let h(j) = 3*j + 0 + l*j - 4*j - 2. Let r be h(-4). Solve 0 = -r*v + v + 1 for v.
1
Let h(a) = -a**