 o*k + 16 = -16 for b.
4
Let v(j) be the second derivative of j**5/20 + 7*j**4/12 - j**3/2 - 13*j**2/2 - 17*j. Let r be v(-7). Solve 0*h + h - 20 = 4*p, -3*h = p - r for p.
-4
Suppose -138*z + 60 = -118*z. Solve -5 = 4*q - z*w, -w = -4*w - 15 for q.
-5
Suppose -4*z = x - 100, z - 32 = -0*z - 2*x. Suppose -3*v - z = -7*v. Solve 2*s = -2*s - 3*t - v, -2*s = 2*t + 4 for s.
0
Let p(x) = -x**3 + 5*x**2 + 2*x - 6. Let n be p(5). Let g be 156/208 - (-20)/16. Solve g*q + y + 1 = 0, 0*y = -3*q + n*y + 26 for q.
2
Let o be (-3)/(-15) + 16/(-5). Let l be ((-4)/(-2))/((18/(-48))/o). Solve -d - 2*u - u = l, -3*d = -5*u - 8 for d.
-4
Suppose 6*p - 21 = -9. Suppose 0 = 3*l + p*l - 130. Solve -2*d - 13 = 2*i - 1, -l = 5*i + d for i.
-5
Let l = 47 + -44. Let s = 3 - l. Solve -w + 2*f + 2 = s, 0*w + f + 1 = -4*w for w.
0
Let o(k) = -k**3 - 8*k**2 - k + 7. Suppose 6*b = 4*b - 16. Let a be o(b). Let t be (-9)/a - 144/(-15). Solve 0*y - y - 4*z = 12, 3*z = -t for y.
0
Let x = 20 + 7. Let y = -157 - -159. Solve 0 = -5*s - 2*v + 6*v + x, -v + 3 = y*s for s.
3
Let c(m) = 358*m + 2508. Let i be c(-7). Suppose 0 = 5*d - 13 - 7. Solve -3*h - 5 = -i*z - 0*h, -d = -5*z - h for z.
1
Let x(a) be the second derivative of -a**5/20 + a**4/6 + 4*a**3/3 - 11*a**2/2 + 4*a. Let f be x(3). Solve f*g - 2*g = -5*u + 5, 4*g - 23 = 3*u for g.
5
Suppose 9 - 297 = 6*m. Let h = 50 + m. Solve 2*l - h = -4*u - 16, -u - l = 5 for u.
-2
Suppose -b + 9 = 6. Suppose 0 = h + 4, -b*j - 4*h + 18 = -7*h. Suppose 5*u = -7*l + 5*l + 8, 5*u - l = -4. Solve u = c + j*f, -3*c - 2*f - 1 = 3 for c.
-2
Let b be ((-12)/(-4))/(10/80). Solve -8*m + f = -3*m + b, -20 = 3*m - 2*f for m.
-4
Let f be 15 + (-5 - 3) - 7. Solve 3*j + 12 = -l, f = -2*j + 2*l - 9 - 7 for j.
-5
Let j be 0/(-2) - 1*-11. Suppose 0 = -a - 5*q + 16, a - q + 4 = 4*q. Let k = j - a. Solve -4*s = -t - k, -3*s = 2*t - 6*s for t.
3
Let v be 12/(-4)*(-10)/2. Solve -4*g - 5*x = -0*x - 9, -5*g - x = v for g.
-4
Suppose -678 = 15*o - 738. Solve -5*z - 20 = 5*u, 3*u + o*z + 11 = -0*u for u.
-5
Let x(h) = -3*h - 14. Let g(r) = -9*r - 7. Let i be g(0). Let z be x(i). Solve 3*b = -4*o + 3*o + 11, -o = b - z for b.
2
Let a be (-1)/((-2)/250 - 0). Suppose -31 - a = -6*i. Suppose 4*z - n - 50 = n, z - i = -4*n. Solve -2*f + 4*f - z = 5*m, 5*f + 31 = -4*m for f.
-3
Let u be 2/(-10) - 22/(-10). Let p(x) = -2*x**3 - 15*x**2 - 8*x + 7. Let r be p(-7). Let y = 16 - r. Solve -3*w = -y*a - 7*w + 2, u = -w for a.
5
Suppose -73 - 23 = -24*x. Solve -2*c = -x*y - 4 + 16, 0 = c - y + 5 for c.
-4
Let u(k) = -k**2 - 3*k + 4. Let s = 9 + -4. Suppose 0 = y - 5*a + 4 + 9, 2*a + s = -3*y. Let d be u(y). Solve -5*r = -3*r + 5*c + 19, 2*c = d*r - 22 for r.
3
Let r(u) = -9*u - 16. Let t be r(-15). Let p = t - 111. Solve -2*y = -3*w - 11, 13 = -w - p*y + 4*y for w.
-5
Let k = -237 + 240. Solve -4*g = g + x - 19, k*g - 13 = -x for g.
3
Suppose 3*x - p = 26, -2 = -x - 0*p - p. Suppose -10*b + x + 153 = 0. Solve 3*c - 3*m = 3, m - 3*m + b = 4*c for c.
3
Suppose 162*u + 98*u = 83*u + 354. Let s(h) = 2*h + 2. Let x be s(-2). Let y = x + 5. Solve 3*w + 10 = -u*w + n, -y*w = 5*n + 6 for w.
-2
Let d be (-1)/3 - 16/(-3). Let t be (1 - (-2 + 0))/(18/12). Suppose -q - 5*s + d = 0, 0*s = -t*q - 3*s + 10. Solve -2*r + 2 + 7 = -q*b, 0 = b + 1 for r.
2
Suppose 3*a + 7 = 2*x - 2*a, x - 7 = -a. Solve -f + b = 4*f - 2, 3*b = 3*f + x for f.
1
Let a(u) = -3*u + 31. Let t(p) = -p + 10. Let x(l) = -2*a(l) + 7*t(l). Let s be x(0). Solve -4*o + 24 = -s*k + 3*k, k + 1 = -3*o for o.
1
Suppose -25*d - 2*b = -23*d + 6, 3*d = 5*b + 23. Solve -10 = 5*o, 0 = -n - 2*o - 0 + d for n.
5
Suppose 2*n - 8 = -0*n. Let l(k) = 6*k**2 + 85*k + 14. Let a be l(-14). Solve 1 = h + n*u, 3*u - 12 = -3*h - a*u for h.
5
Suppose -3*i + 8*i = -140. Let a = i + 60. Suppose -5*x - 4*m + a = 0, x + m = -3*x + 19. Solve x*z + 4*b - 12 = z, -4*b = 0 for z.
4
Let x(v) = v**2 - 3*v - 3. Let f be x(-3). Suppose -2*j + 5*j = f. Solve -4*r - 27 = 3*m, -j*m + 4*r - 5*r = 28 for m.
-5
Suppose -3*o = -19 + 1. Suppose 0 = 4*v + k - o, -2*v - 2*k + k = -2. Let n be 28 + -23 + -9*(10/15)/2. Solve f = 2*b - n, -v*f = b - 3*b for b.
2
Let k be 250/90 - (-2)/9. Suppose k*a - 11 - 13 = 0. Suppose a = -4*m, -4*c - c - 3*m + 44 = 0. Solve x = 3*f + 2*x - c, 3*x = -15 for f.
5
Let f(q) = q**2 + 9*q - 66. Let g be f(5). Solve 3*v = -2*k + 5*k + 18, -4*k = v + g for k.
-2
Let i = -120 - -140. Solve -i = 4*q, -2*k - 2*q + 9 - 29 = 0 for k.
-5
Let g(w) = -33*w - 130. Let n be g(-4). Solve n*z + 31 = 5*v, -5*z + 4*v - 7*v = 0 for z.
-3
Suppose -84*w + 97*w = 52. Solve 2*a + 12 = -t, w*a + 12 = a for t.
-4
Suppose -3*u + 21 = 3*z, 4*u - 11*z - 1 = -6*z. Solve h + 3 = -j + u, -5*h = -j - 29 for h.
5
Let h(a) = -2*a - 12. Suppose -5*j = -25, -5*j + 1 = 4*q - 0. Let y be (2 + q - -3)*6. Let d be h(y). Solve 5*g + 45 = 5*o, d = -5*o - g - 0*g + 21 for o.
5
Suppose -13*o - 2*x = -15*o + 18, -30 = -3*o + 2*x. Solve 3*l = -4*z - 11, 2*l + 3 = 5*z - o for l.
-5
Let i = -1143 - -1145. Solve b + 1 = 2*j, 5*b = -0*b - i*j - 5 for b.
-1
Let g = 128 + -16. Suppose 4*b = 124 - g. Solve 4*q + a = 4 + 7, 4*a = -b*q + 5 for q.
3
Suppose 0 = -n - 0 + 2. Suppose b = n + 2. Let j be 6 + -1 + b/(-2). Solve -2*s = -4*t - 14, -s = -t - 1 - j for s.
1
Suppose 120 = 7*j - 2*j. Suppose 0 = -i + 3*i - j. Let r be 3/(-9) + 64/i. Solve 6*m + r*d = 3*m - 8, m - 3*d = 2 for m.
-1
Let g(j) = -j**3 - 7*j**2 - 6*j - 3. Let o be g(-6). Suppose -8 = -3*y + 10. Let b = y + o. Solve 4 - 16 = -3*s - 4*x, -x = b*s - 12 for s.
4
Suppose 4*s + 414 = -2*s. Let l = -65 - s. Solve -5*k = -l*x + 5, -3*x - 3*k - 25 = -x for x.
-5
Let g be 116/20 - 3/(-15). Let j be (10/(-3))/(g/(-9)). Solve 21 + 4 = 4*w + 3*r, -j*w = r - 23 for w.
4
Suppose -2*g + 2*q = 28, 0 = -5*g + q + q - 67. Let r = g + 18. Solve -5*s + 15 = 0, r*t + 5*s - 2*s = 4 for t.
-1
Let v(h) = 8*h**2 + 27*h - 22. Let n(i) = 9*i**2 + 26*i - 22. Let k(d) = 6*n(d) - 7*v(d). Let u be k(-17). Solve y + 5 = -u*q + 2, -12 = 2*q - 5*y for q.
-1
Suppose -10 = 9*a - 4*a. Let x(p) = p**3 + 7*p**2 + 1. Let h be x(-7). Let n = h - a. Solve 3 = 3*y - 4*r, -2*y + 3*r = -n*y + 1 for y.
1
Let z = 8 - -11. Let k = -19 + z. Solve 5*m + 0*m + f + 24 = k, -4*m + 4*f = 0 for m.
-4
Suppose 0 = -2*u + 1 + 7. Let a = 16 + -12. Let i be (a/(-10))/((-2)/120*1). Solve u*n = 4*c + i, -3*c + 10 = -6*c + n for c.
-2
Let l be -3*4*1/(-6). Solve -5*i + 2*a = 17, -l*a = 5*i + 37 - 4 for i.
-5
Suppose 5*g = t - 30 - 0, t - 3*g - 30 = 0. Let a = t - 25. Let b = 0 + 8. Solve 0 = 4*d - a*r - b + 44, d + 4*r - 12 = 0 for d.
-4
Let y = 823 + -821. Solve -4 = x + y*c - 1, 4*x + 4*c = -16 for x.
-5
Let y = 13 + -8. Let p be (7/(28/(-30)))/(6/(-4)). Solve -4*l + g = 0, 4*l = y*l + p*g for l.
0
Suppose 41*q + 25 = 46*q. Suppose -4*o + t = -47 + 12, -5 = -t. Let g(a) = 5*a**3 - a**2 + a. Let j be g(1). Solve -3*c + o = -c + q*x, 0 = 3*c + 5*x - j for c.
-5
Let g = -742 - -745. Solve -g*m = -3*n + m - 15, -m + 15 = -3*n for n.
-5
Let o = 1 + -1. Suppose -4*u - u + 80 = -5*m, -3*u + 4*m + 48 = 0. Solve 4*i = -5*a + u, 4*i + a - 7 - 9 = o for i.
4
Suppose 0 = -7*i + 151 - 116. Solve 2*p + 4 + 10 = 4*m, -i*m + 37 = 4*p for m.
5
Let n(r) = 2*r**2 - 9*r + 14. Let k be n(2). Solve h = 3*h - z - 1, -4*z + k = 0 for h.
1
Let f be -8 + 8 - 2*-3. Suppose -p - 1 = -f. Suppose 90 = -0*q + p*q. Solve 0*g + 5*h = g + q, h - 3 = 0 for g.
-3
Let z(f) = f**2 + 7*f. Let o(r) = -r - 28. Let p be o(-21). Let n be z(p). Solve 5*u - 3*k + 12 = -7*k, n = -4*u + 5*k + 15 for u.
0
Let u be 126/8 - (-1)/4. Suppose 320 = -8*n - 392. Let v = 92 + n. Solve 4*f = -i + 23, 0 = -2*i + f - v*f + u for i.
3
Let s(g) = -4*g + 58*g**2 - 54*g**2 + 0 - 5*g**3 + 3. Let q be s(2). Let a = -27 - q. Solve 0 = -5*t + 4*j + 7, t - a = 2*j - j for t.
-1
Suppose -4*b = 3*l + 4, b + 24 = -3*l + 8*l. Let w = -10 - b. Let v = w - -8. Solve -4*m = -4*f + 20, -5*m + v - 24 = -4*f for m.
-2
Let w = -462 - -485. Solve -4*d - 4*y = -d + w, 2*y + 24 = -4*d for d.
-5
Suppose 8 = -3*r - 5*t, -38*r + 3*t = -41*r. Let k = 8 - 3. Solve -u = k*o + r*u + 20, -2*u = -o + 2 for o.
-2
Let t = -2470 - -2471. Solve 3*z + 26 - 5 = 3*b, -4*b + t = 5*z for b.
4
Let h(g) = 40*g + 3. Let z be h(0). Solve -4*n = -3*a - 5, -2*a - z*a - 19 = 4*n for a