 -4*f + 0 = -5*o + 7. Let c be ((-20)/(-5) - 4)/(9/3). Solve o*p + p = c for p.
0
Let i be (-1)/(4/24 + 0). Let u = i + 8. Let s be 3 + (-1 - u) + 15. Solve 4*m = -m + s for m.
3
Suppose 5*p + 154 = 214. Suppose p = 5*n - 3. Solve u = -n*u for u.
0
Suppose -4*o + 3*o + 2 = 0. Let t = -1049 - -1051. Solve -t*r = o*r - 4 for r.
1
Suppose -3*t = -3*s - 15 - 6, -4*s - 19 = -3*t. Solve -7*c = -t*c for c.
0
Let y(c) be the second derivative of c**5/20 + c**4/2 + 5*c**3/6 + 9*c**2/2 - c. Let g be y(-4). Solve 1 = -4*q + g for q.
5
Suppose -2*t - 6 = -8. Let r be (t/2)/(8/16). Solve 3*z + 14 + r = 0 for z.
-5
Let v(d) be the second derivative of d**4/12 + 2*d**3 + 15*d**2 - 9*d. Let s be v(-9). Solve 0 = -s*y - 3 + 12 for y.
3
Suppose 20*k - 115 = 345. Solve 11 - k = 12*h for h.
-1
Let s(h) = 2 + 3 - 1 - h. Let o be s(2). Let b be (o - -1)*(0 - -1). Solve -n - 20 = b*n for n.
-5
Let u be 5/4 + 10/(-8). Solve 5*d = -u*d + 25 for d.
5
Let o(t) = 2*t**2 + 3*t + 2. Let i be o(-2). Let x(f) = -f**2 + 4*f - 1. Let y be x(3). Suppose -i*d - y + 14 = 0. Solve k = -d*k for k.
0
Suppose -4*c + 0*c = 3*i + 13, -3*i - c - 28 = 0. Let p(u) = -u**2 - 11*u + 5. Let d be p(i). Solve 0*z = d*z for z.
0
Suppose 0 = 6*d - 8 - 10. Solve 0 = -d*v - 4 + 1 for v.
-1
Suppose 0 = -4*t - 2*l - 270, -5*t + 4*l - 324 = 2*l. Let r be ((-18)/(-5))/(t/(-15) - 4). Solve 0 = 4*m - m + r for m.
-3
Let j = 27 - 24. Let f(b) = b**2 - 1. Let v be f(-1). Suppose v = -4*a + j*a + 5. Solve a*d + 6 - 21 = 0 for d.
3
Let w = 122 + -71. Solve 0 = -3*t + 45 - w for t.
-2
Let k(w) = -w**2 + 17*w - 7. Let g be k(16). Suppose n - g = -5*i - 3*n, 0 = 5*i - n - 4. Solve 2 = 3*b - i for b.
1
Let g(b) be the second derivative of b**5/20 - 2*b**4/3 - 7*b**3/6 - 4*b**2 - 3*b. Let o be g(9). Solve 4*s - 2 = o for s.
3
Let p(c) = 3*c**2 - 7*c + 1. Let f(x) = -7*x**2 + 15*x - 1. Let k(d) = -2*f(d) - 5*p(d). Let b be k(2). Suppose -2*r + b*r = 5. Solve y + 0 - r = 0 for y.
5
Let p = -189 - -189. Solve p = -5*i + 4*i - 3 for i.
-3
Let r = 14 - 11. Let o be -1 + r + (-4)/(-4). Solve -o*f = f - 12 for f.
3
Let w = -140 + 319. Suppose -w = -8*p - 19. Let r be 1/(-3) + (-26)/(-6). Solve -u - r*u = -p for u.
4
Let d = 20506 + -20506. Suppose -4*i + 9 = -7. Solve 0 = -2*w + i - d for w.
2
Let c(k) = 3 - 2*k**2 - k**3 + 3 + 2*k**3 + 4*k + 7*k**2. Let p be c(-4). Solve i = 4*i - p for i.
2
Let w(x) = 13*x**3 + x**2 - 1. Let u be w(1). Suppose -23 = -5*q - u. Suppose -l + 3*l = 4. Solve -4 = -q*f - l for f.
1
Let n be -11 + (-889)/(-28) - (-1)/4. Solve -10*c = -n + 41 for c.
-2
Let f(p) = -p**3 + 3*p**2 - 3*p + 9. Let h be f(3). Solve -5*o - 8*o + 52 = h for o.
4
Suppose -25 = -5*s - 5*c, 0*s + 2*c = 2*s - 18. Suppose 0*q = -q + 3. Solve 0 = -s*f + 4*f - q for f.
-1
Suppose 0 = 2*o - 12 - 6. Suppose -5*p + 24 = o. Suppose -14*f = -8*f - 42. Solve f = -p*i - 8 for i.
-5
Let m = -15 - -19. Let n be 9 - (6 - (m - 2)). Solve -n*l - 4 = 1 for l.
-1
Let q = -1640 + 1645. Solve -q*a = -27 + 7 for a.
4
Suppose -461 = -19*w + 52. Solve -3*q + w = 24 for q.
1
Let h(x) = x**2 + 170*x + 988. Let c be h(-6). Solve 15*z = c*z - 33 for z.
-3
Suppose 0 = -2*r - 25 + 97. Solve -39*x = -r*x + 6 for x.
-2
Let d(g) = -5*g - g**3 + 1 + 3*g - 2*g**2 + g. Let v be d(-2). Solve 0 = v*a - 2*a for a.
0
Let p be ((-450)/21)/(1/(-7)). Let s be (8/10)/(20/p). Let x = -1 + s. Solve y = x*y + 16 for y.
-4
Let g = -90 - -57. Let a(v) = v**2 - 3. Let d be a(-6). Let s = d + g. Solve s = -0*x - 2*x + 6 for x.
3
Let g be ((-7)/((-28)/24))/2. Suppose 3*a + g*p + 9 = 0, 2*a - 5*p + 0*p = 29. Suppose 1 = a*c - 3. Solve c*l = 5*l for l.
0
Let w(g) = -g**3 + 3*g**2 + 11*g. Let o be w(5). Solve -o*a - 5 = -6*a for a.
5
Let d(r) = -2 + 1 + r**2 + 0 - 3 + 10*r. Let j be d(-11). Suppose 3*u + 12 = j*u, 5*u - 27 = -4*m. Solve m = -n - 2 for n.
-5
Let s(v) = -3*v**3 - 1. Let t be s(1). Let p = 6 + t. Suppose -3*d - p*d = -75. Solve d = w + 2*w for w.
5
Suppose -5*d + 4 = -41. Suppose -2*z - 12 = 3*z - 3*n, 4 = -2*z + n. Solve z = 3*w + d for w.
-3
Suppose -9*p + 410 = 392. Solve -p*w = -5*w - 9 for w.
-3
Let k be (-1)/(-6) - (-1)/(-6). Solve -6*g = -k*g - 24 for g.
4
Let l be (2/1)/((-4)/(-6)). Let h = 25 - 31. Let m = l - h. Solve -3*t - m = -0*t for t.
-3
Suppose -29 = -17*g + 5. Suppose 0 = -5*b + 2*b + 3. Solve 0 = g*j - j + b for j.
-1
Suppose 3*c + 7 = -4*k, 12 = -4*c - k - 3*k. Let d be 0/(((-25)/c)/5). Solve 3 + d = -o for o.
-3
Let p = -6886 + 6886. Let u(y) = y**3 - 6*y**2 - y + 8. Let r be 2 + 2 + 2/1. Let q be u(r). Solve 8 = -p*i + q*i for i.
4
Let f be (-33)/(-132) - 380/(-16). Solve -9*n + f = -17*n for n.
-3
Suppose -t + 12 = -4*o - o, 5*o = -5. Solve 0 = -4*n + t + 1 for n.
2
Let b = 150 - 102. Suppose b = 4*g - 0*g. Solve v + g = -2*v for v.
-4
Suppose t - 4*t = -15. Let s(a) = 27*a - 93. Let i be s(-9). Let k = -334 - i. Solve k*m - t = 3 for m.
4
Let i(y) = -y**2 + 7*y - 5. Let m be i(5). Suppose -3*b + 71 = 2*b - 2*l, -22 = -2*b + 4*l. Solve 5*x + m = -b for x.
-4
Suppose -l = -3*a + 1, l + 2*a + 11 = 25. Let j(o) = -o**2 + 8*o + 5. Let s be j(8). Solve -s*d - 2 - l = 0 for d.
-2
Let x(j) = -5*j + 45. Let g be x(-18). Let n = g - 130. Solve 4*z - n*z = 4 for z.
-4
Let l = -483 + 490. Solve -11 = l*n - 39 for n.
4
Let h(c) = -c**2 - 42*c + 663. Let b be h(-53). Solve 16*y - 16 = -b for y.
-4
Let u = 253 + -243. Solve u*t - 12*t + 2 = 0 for t.
1
Let n(f) = -13*f**2 + 3*f - 9. Let u be n(3). Let k = -104 - u. Solve 5*s = 2 + k for s.
3
Let l be (24/(-20))/(24/(-80)). Solve 18*g = 14*g + l for g.
1
Suppose 5*r + 25 = 0, 5*r = -5*u + r + 20. Solve 3*k = -k - u for k.
-2
Let y be (-10)/(-20) + ((-3)/2)/3. Suppose y*s - 98 = -7*s. Solve s = 3*c + 2 for c.
4
Let f(x) = 3*x + 19. Let s be f(-12). Let u = -23 - s. Let i(b) = -2*b - 10. Let w be i(u). Solve w*h = -h - 3 for h.
-1
Let d be 25/10*(-54)/(-15) + 4. Solve 0 = 12*l + l + d for l.
-1
Suppose 2*x + 16 = 4*x. Suppose 0 = -f - 3*f + x. Solve 0 = -h - 1 + f for h.
1
Suppose -215 = -8*o - 175. Let z = 12 + -8. Let v = z + -2. Solve -3*k + v = -o*k for k.
-1
Let j(p) = p + 6. Let m = 68 + -71. Let g be j(m). Solve n = g*n for n.
0
Let u(r) = 7*r - 50. Let y be u(8). Solve -9*l = -y*l for l.
0
Let u be (-2)/(-4)*(200/125 - (-24)/(-15)). Suppose 0 = -h - j, -3*h + 8*h - 2*j = 28. Solve u*t + h = -t for t.
-4
Let t be (11 + 1)/(-3) + 3. Let f(j) = j**2 - 3*j - 2. Let q be f(t). Suppose -q*x - 3*x + 25 = 0. Solve 0 = -x*d - 0*d for d.
0
Let b = -296 - -299. Solve 9 = b*k + 3 for k.
2
Suppose 0 = 7*i - 2*i - 5. Let n be i*(-7 + -3)/(-5). Solve 5 = -t + n for t.
-3
Let w(t) be the third derivative of -t**5/60 + 7*t**4/24 + 5*t**3/6 - 11*t**2. Let y be w(10). Let m = -20 - y. Solve 2*k + m = 15 for k.
5
Let f be 9 + -3 + 1 - 2. Suppose -3*o + 2*t + 11 = 1, o + f*t - 26 = 0. Suppose -o*p + p = -30. Solve -3*d + 18 = p for d.
4
Let j = -5 - -10. Let s be (-30)/((-18)/(-12)*-1). Solve 0 = j*v - s for v.
4
Suppose -4*a + 156 = -5*n, 5*n - 4*n + 20 = -2*a. Let j = 30 + n. Suppose 2*g - 16 = -2*g. Solve 0 = -g*v + j*v for v.
0
Let d be ((-18)/15)/((-2)/125). Let i be d/9 - (-4)/(-12). Solve 0 = t - 3*t + i for t.
4
Suppose -23 = -14*y + 5. Solve i = -y - 3 for i.
-5
Suppose 2*p = 3*p. Suppose 3*o - 2*f - 5 + 47 = p, 5*f = -o + 3. Let i = 17 + o. Solve 2*a - i + 3 = 0 for a.
1
Let n be (12 + 0)/((-9)/(-6)). Suppose -5*g + 7 = -n. Suppose -3*f + 8*f = 45. Solve -f = g*j + 3 for j.
-4
Let y(v) = 3 - 4*v - v**2 + 0*v**2 + 2*v + v**3. Let q be y(2). Let m be 2/(-3)*(12 - 18). Solve f + q = m for f.
1
Let p = 54 + -50. Suppose 3*z - 4 = 2. Suppose -q + 3*m = -4, 3 = z*q + 2*q + m. Solve -f = -q + p for f.
-3
Let t = -30 - -27. Let b be (t - -4) + -3 + 5. Suppose 3 = -b*d + 9. Solve -d*x = 3*x - 25 for x.
5
Suppose 0 = -9*z + 8*z + 7. Let n be (-9)/(-3) + (-7)/z - -1. Solve 4*j + n + 5 = 0 for j.
-2
Suppose 20*b = 36*b - 13*b. Let p be (-2)/6 - (-30)/9. Solve f - p*f = b for f.
0
Let m = -4 - -6. Let k be 4/(-18) - 580/(-18). Suppose 10*b = 18*b - k. Solve m = b*j - 2 for j.
1
Suppose 0 = 23*f - 33*f + 70. Solve -3*z - 10 = f*z for z.
-1
Let r(w) = -2*w + 4*w**3 - 8*w**3 + 3*w**3 - 2*w**2 + 3*w**3 + 1. Let n be r(2). Suppose 0 = -7*k + n*k. Solve -5*g + g = k for g.
0
Let r(a) = -2*a**2 + 27*a - 81. Let z be r(9)