be k(7). Let w = 14 - v. Suppose -c = d + 4 - 1, -4*d + w = -3*c. Solve -3*q - 7 - 2 = d for q.
-3
Suppose 2 = n + 4*q - 10, 5*n - 96 = -2*q. Let v be (-2)/(-2)*((-22 - 4) + 5). Let d be (35/v)/((-2)/(-3))*-2. Solve -d*z + 0*z + n = 0 for z.
4
Suppose -2*n = -3*h + 14, 2*h - n - 15 = -7. Suppose 19 = p + 4*f, 2*f = p + 2*p - 1. Suppose p*s - s = 8. Solve s*g = -18 + h for g.
-4
Let j be 21/15 + 4/(-10). Let l(u) = -7 - u - j + 4. Let i be l(-7). Solve -4*p = -p - i for p.
1
Let a(i) = -i - 1. Let p be a(-3). Suppose -p*y = -3*f - 24, 3*f + 71 = 5*y + f. Suppose 5 = 5*m - y. Solve 16 = -5*b - m for b.
-4
Let i = -2 + 5. Let y be (2/4)/(-5 - (-42)/8). Suppose y*z - i*o - 15 = 0, -4*z = -5*o + 7 - 34. Solve -v + 0 = -z for v.
3
Suppose -11*f - 28 = -18*f. Solve -f*c + 10*c = 24 for c.
4
Let h be 3/(-6)*16/(-4). Solve -6 = -h*i + 2 for i.
4
Let n = 69 + -66. Suppose 2 = w + n*o, -w - 5*o = -2*w + 2. Solve w*i + 6 = 4*i for i.
3
Let q(m) = -m - 4. Let b be ((-56)/6)/(4/(-24)). Suppose 3*v = -2*v - z - b, 2*v + 36 = 3*z. Let r be q(v). Solve c + 3*c - r = 0 for c.
2
Suppose 6 = -r - 3*t + 2, r + 1 = -2*t. Suppose 5*b + r = 5. Solve -c + 5*c - 4 = b for c.
1
Suppose -f - g = -5*f - 11, 2*f = 3*g - 3. Let n be 0 - (-10 - (f + 2)). Solve -2*h = h - n for h.
3
Suppose 3*w + 2*i = 4*w - 10, 0 = 2*w + 3*i - 20. Solve -w = -5*u + 15 for u.
5
Suppose -3*q - 30 = -5*n + 25, 2*q = 5*n - 60. Let i(c) = c**3 - 15*c**2 + 15*c - 4. Let x be i(n). Solve 2 + x = -3*d for d.
-4
Let a(h) = -10*h**3 - h**2 + 2*h - 1. Let g be a(1). Let c(v) = v**3 + 10*v**2 + v + 14. Let k be c(g). Let w = -94 + 94. Solve k*x + 23 - 3 = w for x.
-5
Suppose -18*m = -25 - 29. Solve -12 = 3*j + m*j for j.
-2
Suppose 11*m = -16 + 82. Solve -3*p - 2*p + m*p = 0 for p.
0
Suppose 0*q - 3*q - 19 = -y, -q = -2*y + 53. Let g = -28 + y. Solve 20 = -g*b + 4*b for b.
5
Let h be (-6 - (-224)/36) + (-34)/(-9). Solve 13*m - h*m + 45 = 0 for m.
-5
Let i = 64 + -61. Let u be -2 - -3*7/i. Solve 4 - 19 = -u*a for a.
3
Let m(p) = p**2. Let z(f) = 3*f**2 + 9*f - 6. Let w(y) = -2*m(y) + z(y). Let l be w(-10). Suppose -l*c + 6 = -v, 3*c - 3*v - 11 = v. Solve -o = -0 + c for o.
-1
Suppose -4 = -5*x + 3*w - w, 4*w = -8. Solve -c + x + 3 = 0 for c.
3
Let j = 10 - 10. Suppose m - 4 = -j*m. Solve m*o = 5*o for o.
0
Let z = -551 - -557. Solve 4*x - z*x = -10 for x.
5
Let a(u) = -9*u**3 - 1. Let w be a(-1). Suppose 10 = -5*x - 5*m, 3*m - 2 = 3*x - 26. Solve -s = -x*s - w for s.
-4
Suppose 2*f - 7 = -3. Suppose 4*u = -f*a - 44, -44 = 5*u - 2*u - 4*a. Let c be (4/(-10))/(u/60). Solve 0 = c*y + 3*y for y.
0
Let l(j) be the first derivative of -j**3/3 + 3*j**2 - 5*j + 3. Let g be l(7). Let v be (g/(-30))/((-1)/(-30)). Solve -v = -c - 2*c for c.
4
Let a be 30 + 4 + (-20)/5. Solve -20 = a*d - 26*d for d.
-5
Let m = 62 - 54. Suppose -5*c = m*c - 0*c. Solve -5*x + 2*x + 9 = c for x.
3
Suppose 5*b + 5*a - 85 = 0, 9*b - 6*b - 5*a = 35. Solve -6*j = -b*j - 36 for j.
-4
Let q = -1111 + 1111. Solve -3*a + 20*a = q for a.
0
Let w(y) = -y**3 + 6*y**2 + 3. Let i be w(6). Suppose -356 = -60*r - 296. Solve i + r = 2*z for z.
2
Let o(z) = 40*z + 1560. Let w be o(-39). Suppose -6 = 3*g - 5*g. Suppose 0 = -g*v - 0 + 6. Solve w*r + 2 = -v*r for r.
-1
Let v = -84 + 5. Let m = -63 - v. Solve -1 = -5*q - m for q.
-3
Let k(w) = 11*w + 4. Let d be k(-2). Let m(t) = t**2 - 11*t - 8. Let h be m(10). Let b = h - d. Solve b = -5*o + 2*o + 6 for o.
2
Suppose 9*t = 10*t. Suppose t = -4*l - l. Suppose 3*a = -l*a + 6. Solve a*p = -p for p.
0
Let b be (-11)/(-3) - 2/3. Suppose -1 - 8 = -b*g. Solve g*k + k = 20 for k.
5
Suppose -n + 13 = 3*l, -4 = 2*n + 4*l - 26. Let c(k) = -2*k**2 - 15*k + 17. Let t be c(-8). Let o = t - n. Solve o*q + 5 - 1 = 0 for q.
-2
Let h be (-315)/(-12) + 9/12. Let u = h - 25. Solve u*p = -3*p - 20 for p.
-4
Let p = -1141 - -1141. Solve -2*f - 22 + 16 = p for f.
-3
Suppose 2*t - 6 = 4*t. Let v(b) = 16*b + b**2 + 15*b - 28*b. Let s be v(t). Solve 2*m + 6 + 4 = s for m.
-5
Let d = 9 - 4. Suppose 0 = i - 5*m - 1 + 24, 15 = -5*i + d*m. Suppose 0 = 3*x + i*x - 5. Solve y + 0*y = -x for y.
-1
Suppose -2*m = 0, -4*m = -2*z + 3*z - 2. Let b be -1 - (-4 + -2)/z. Solve b*q = -q - 3 for q.
-1
Let m be (984/(-205))/((-12)/45). Solve 10*b - m = 4*b for b.
3
Let n = -135 - -138. Solve n*k = k for k.
0
Suppose 0 = k + 3*f - 38, -3*f - 81 = -3*k - f. Let m = k + -29. Solve 4*d = -m - 12 for d.
-3
Let x(q) be the first derivative of 2*q**3/3 - 9*q**2/2 - 38. Suppose 2*v - 4*v + 10 = 0. Let g be x(v). Solve 0*i - g = -i for i.
5
Suppose -1 + 5 = a. Suppose h = -0*h + a*w - 48, -h = -2*w + 56. Let i be (-10)/4*h/40. Solve -8*k - 4 = -i*k for k.
-1
Let n = -447 - -465. Solve -n = -4*y - 14*y for y.
1
Let m(i) be the second derivative of -1/2*i**2 + 0 + 1/20*i**5 + 1/6*i**3 - 3*i - 1/12*i**4. Let b be m(1). Solve b = -2*t - 3*t + 15 for t.
3
Suppose 8 = a + 3*f, -4*a + 15 + 17 = -3*f. Suppose -a*b + 3*b + 10 = 0. Solve b*m = -m for m.
0
Let i = 82 - 82. Suppose 9*j - 12*j + 2*x + 12 = i, -4*j - 4*x - 4 = 0. Solve -1 = -j*q + 5 for q.
3
Let f(o) = 10*o**2 - 1. Let j be f(-1). Let c = 20 + -26. Let a be (4/5)/(c/(-30)). Solve z + j = a*z for z.
3
Let p(d) = -10*d - 1. Let g(u) = 9*u + 1. Let l(y) = 5*g(y) + 4*p(y). Let b be l(2). Solve -2*a - 3 = -b for a.
4
Let x = 641 - 563. Solve -3*l - x = -69 for l.
-3
Let m = 24 + -20. Let h(g) = g**2 - 2*g - 4. Let c be h(4). Suppose f - 3*f = m*s, -c*f = -3*s - 22. Solve -6*y - 6 = -f*y for y.
-3
Let f be (0*(-7)/(-91))/(4 + -2). Solve f = 7*k + 43 - 50 for k.
1
Suppose -11*c + 51 = 6*c. Let a be (c - (2 - (1 - -2)))/1. Solve -o = a*o + 5 for o.
-1
Suppose 5*o + 4 = t + 2, 5*o = -5*t + 10. Suppose 3*h = r + 302, -2*h + 2*r + 208 = -0*h. Let a = h + -99. Solve a = -t*j - 3*j for j.
0
Let j(k) = -k**3 + 12*k**2 + 12*k + 18. Let u be j(13). Suppose -7 - 18 = -u*o. Solve o*w - 4 = w for w.
1
Let t be 53/106 - (-1)/(-2). Solve 0 = -6*j - t*j - 12 for j.
-2
Let o(l) = 8 + 3 - 21*l**2 + 2 + 8 - l + l**3. Let k be o(21). Solve -4*g + 4 + 8 = k for g.
3
Suppose 86*y - 166 = 92. Solve y*a = 6*a + 12 for a.
-4
Let l(n) = 4*n**3 + n**2 - n. Let c be l(1). Let j = -326 + 334. Suppose 0*m = -c*m + j. Solve m + 6 = 2*x for x.
4
Let g = 12 - -19. Let h = g - 24. Suppose -h*q = -9*q. Solve q = -5*c + c for c.
0
Let n = -45 + 49. Suppose -4*z - n = -8*z. Solve 0*r = -r + z for r.
1
Let n be 2 + (-1 - 1) + 2. Let t(z) = -z + 1. Let w be t(7). Let d = 10 + w. Solve 2*j + n = -d for j.
-3
Let u be 6/(-14) + (-524)/(-14). Suppose -20 = -2*q + 2*t, -2*q - 2*q = -t - u. Solve 4*w + q = w for w.
-3
Let o = -43 + 45. Solve -16 = -2*n - o*n for n.
4
Let i = 405 + -390. Solve i*n = 19*n - 4 for n.
1
Suppose 4*d = -3*f + 20 - 0, 4*d - 20 = f. Solve d*p - 11 = -21 for p.
-2
Suppose -2*g + 0*g = -6. Let f be (2/3)/(56/(-12) - -5). Solve f*q + 10 = -g*q for q.
-2
Let t = -17 - -17. Suppose 2*a - 3*a + 4 = t. Let s be (-10)/a*2/(-1). Solve s - 4 = y for y.
1
Let a(j) = -j**2 - 7*j - 5. Let c be a(-7). Let g be (c/4)/((-5)/20). Suppose g*l = 3*l. Solve -z - 4*z = l for z.
0
Suppose -12*g + 88 = 10*g. Solve 5*m + g*m = 36 for m.
4
Let s(h) = -h**3 + h**2 + h - 2. Let o be 32/(-48)*(0 + 3). Let j be s(o). Let v be 0*(2 + (-12)/j). Solve v = n - 2 for n.
2
Let w(n) = -20*n + 2. Let j be w(0). Solve 18 = 4*g + j for g.
4
Let y = -1212 + 1236. Solve 40*p = 52*p - y for p.
2
Let b(s) = -10*s + 2*s - 18 + s**2 - 7 + 7*s. Let i be b(6). Solve 7 - 27 = -i*c for c.
4
Suppose -5*l = a - 5*a - 17, 26 = 3*a + 4*l. Solve f = -a*f for f.
0
Suppose 142 = -2*a - 5*d + 3*d, -5*d - 151 = 2*a. Let y = a - -71. Solve r + 0 + y = 0 for r.
-3
Let z = -129 + 65. Let k = z - -70. Solve x + k = 10 for x.
4
Suppose -v - 9*v = 0. Solve v = 13*k - 9*k - 20 for k.
5
Suppose 0 = 4*x - 0*x - 8. Let f be 54/(-15) + (-4)/10. Let c = 11 - f. Solve p - c = -x*p for p.
5
Suppose 0 = 4*i - 14 - 6. Suppose 14 = i*g + 2*g. Suppose 0 = 3*r - 3. Solve g = t - r for t.
3
Let m(i) = -i - 9. Let x be m(-11). Suppose 0 = -2*n - d + 24, n - 3*n = x*d - 28. Solve -n = -2*v - 0*v for v.
5
Let h = 7 + -1. Let q(g) = -2*g**2 - 26*g - 30. Let z be q(-12). Let r be 8/h + (-142)/z. Solve -5*k = -0*k + r for k.
-5
Let o be ((-300)/(-120))/((-3)/(144/(-10))). Solve o = -5*q - q for q.
-2
Sup