 - 13, b*k + k - x*o - 1 = 0 for k.
3
Let b(o) = -o**3 + 9*o**2 + 11*o - 7. Let y be b(10). Solve -5*u + 3*h + 3 = 0, y*u = -2*u + 5*h + 5 for u.
0
Suppose 15 = -10*i + 11*i. Suppose 0 = -3*f - 3*o, -4*f - o = -0*o - i. Solve 0 = 5*a - 15, 4*t - 3 - f = -4*a for t.
-1
Let r be -4 + 1 - (-5 - 2). Let k = r - -13. Let g = 234 - 231. Solve -3*o + 12 = w, 2*w - k = -5*o + g for o.
4
Let n be (-164)/369 - ((-40)/9 - 0). Solve w - 35 = -5*j + 5*w, 3*j + w - n = 0 for j.
3
Let o(x) = -x**3 + 6*x**2 + 9*x - 9. Let l be o(7). Suppose l + 3 = 4*f. Solve -h - f*s - 10 = 0, 4*s = -12 - 4 for h.
-2
Let u(w) = -8*w - 4*w - 7*w + 21*w + 32. Let v be u(-15). Solve -3*k - 1 = -2*c + c, -1 = 5*k - v*c for k.
-1
Suppose -80*o + 90*o - 30 = 0. Solve -r - 3*r = 4*z + 4, 0 = -o*r + 5*z + 13 for r.
1
Suppose 5*i = -19 + 64. Let a be 4/(-2) + 4*1. Let x(b) = -b**2 - 5*b + 1. Let m be x(-4). Solve -a*v + c = -3*v - i, m*v = -c - 29 for v.
-5
Suppose 3*d = -14*d + 34. Solve 20 = -4*j + 4*k, j - 5*k = -23 - d for j.
0
Suppose 4*v = 5*p + 53, 31*v + p = 33*v - 19. Solve 0 = -o + 5*j - 2 + v, -1 = -5*o + j for o.
0
Let p(d) = -3*d**2 - 14*d - 5. Let k be p(-4). Solve 0 = 3*b - 15, -35 = k*l + b - 5*b for l.
-5
Let r = -305 + 308. Let u(f) = -f + 38. Let t be u(16). Solve 4*x = -0*w - w - t, -15 = r*x for w.
-2
Let j(c) = 3*c - 6*c + 19 + 2*c + 3*c. Suppose 2*u + 16 = k - 2*k, -5*u = 2*k + 40. Let z be j(u). Solve 3*o + 18 = z*x, -2*x - x = -4*o - 22 for o.
-4
Let o be (19 - (4 - 6)) + -5. Solve 3*c = -t - o, c + 0*c = t for c.
-4
Let y = -2 - -16. Let a(s) = -s**2 + 15*s - 9. Let v be a(y). Solve 2*i = -2*k - 10, -i + v*i + 20 = -k for k.
0
Let y(s) = 37 + 0*s**2 - 5*s**2 - 13 + 9*s + 4*s**2. Let o be y(10). Solve i + 5*f = o, -2*i = -3*f - 2 - 0 for i.
4
Let b be (0 + -3 + -17)*(-90)/150. Solve 8*s + f = b*s + 3, -2*f = 2 for s.
-1
Suppose -4 = q - 8. Let n be -1 - -1 - (-12 + 14). Let j be (-1 - n - -2)/(63/168). Solve -3*r + h = -q, r + 2*h - 5 = j for r.
3
Let j be -11 + -2*3/(-6). Let n = j - -4. Let x be (4 - 1) + n/(-3). Solve -17 = 3*h - x*m, -3*h - 8 - 5 = -m for h.
-4
Suppose -5*s + 5 = -0*s. Let w be (6/(-3))/(s/(-2)). Let j be w/10 + (-13)/(-5). Solve j*i - 7*i + 4*a = -16, 0 = 5*i + 2*a + 8 for i.
0
Suppose 5*a - 96 = -2*g, a - 2*g + 2 = 14. Suppose 3*y = a - 6. Suppose -4*s + 3*n = -3 - 13, -y = -s - 2*n. Solve s*m = 12, -4*r = r - 3*m + 9 for r.
0
Let w(j) = 3*j - 5. Let b be w(2). Suppose 3*u - 2*u - 5 = -3*p, 0 = p + b. Solve 5*d + 2*l = 8, u*l = -2*d + 3*l + 20 for d.
0
Suppose 2*w - 5*g - 64 = 0, 3*w + 5*g + 16 = 62. Solve 0 = -3*a + 4*b + w, -5*a + b = 4*b + 2 for a.
2
Let m = -155 + 275. Let a be 4/22 - m/55. Let t be 20/(-10) - 8/a. Solve -w - d + 3 = w, 3*d = -t*w - 7 for w.
4
Suppose -17*d + 225 - 157 = 0. Solve -b + 12 = d*g, -3*g + 24 = -g - 4*b for g.
4
Let n(z) be the third derivative of -z**6/120 + z**5/12 + z**4/6 - 5*z**3/2 + 11*z**2. Let s be n(5). Solve 5*x - 4*o + 6 = 0, 7*o + s = -x + 4*o for x.
-2
Let q be (-9)/(324/24) - (-17)/3. Solve -3*o = 4*m - 5*m + 9, q*o = 3*m - 19 for o.
-2
Suppose -z + 0*z = 10. Let t be (48/z)/((-6)/20). Suppose -8*c + t = -4*c. Solve -5*m - 21 = x - 2*x, c*m = -2*x - 28 for m.
-5
Let t = 191 - 60. Let i = -128 + t. Let y(p) = -p**3 + 5*p**2 + 5. Let x be y(5). Solve -4 = 3*h + 2*r - 4*r, x*h + i*r = 6 for h.
0
Let z = -36 - -21. Let n = 20 + z. Solve 4*j + n*k - 30 = 0, 2*j + 14 = 4*j + 2*k for j.
5
Let f = 61 - 54. Solve -2*m = -f*m + 4*p + 13, -3*p - 11 = -5*m for m.
1
Suppose 12*l - 42 = -2*l. Solve -4*r = 4*g - 3*g - 19, l*r - 11 = -4*g for g.
-1
Let i = 76 - 32. Let b = i - 22. Solve 3*x = 5*f - 6, -4*f - 3*x = 1 - b for f.
3
Suppose -3 = -w - p, -3*w - 8 = -4*p - 24. Solve w*v = -2*m + 12, 2*v + 2*m = -3*v + 15 for v.
3
Suppose 2*b - 1 = 3. Suppose 3*w + 40 = 4*h, b*w = -5*h - 22 + 72. Suppose -2 + h = 2*m. Solve -8 = 4*a - k - 2*k, m*a - 2*k = -8 for a.
-2
Let q(p) be the second derivative of -p**4/12 + p**3/3 - 28*p**2 - 5*p. Let m be q(0). Let l be 8/(-14)*m/16. Solve -l = -d - v, -v - 2 + 1 = 0 for d.
3
Let x(d) = 0*d - 3*d + d + 0*d. Let a be x(-1). Solve -3*r - a*i - 13 = 0, -r + 4*i + 6 = 1 for r.
-3
Let p = -51 + 51. Solve -t - 17 = -5*h, -5*h + 3*t + 21 = -p*h for h.
3
Let o be (15 + -12)*(-32)/(-6). Suppose 5 = 7*u - o. Solve -2*j - 19 = 4*z + u*j, -j - 6 = 3*z for z.
-1
Let a be (703/(-296))/(2/(-16)). Solve -3*g = -4*u + 15, -20*g + a*g - 3*u - 5 = 0 for g.
-5
Suppose -14 + 2 = -3*u. Suppose 0 = 2*z - u*f - 52, -z + 3*f + f + 32 = 0. Solve 0 = 3*j - 4*q - q + 26, 0 = -5*q + z for j.
-2
Let j = -499 + 503. Solve -b = 3*d - 8, -j*b = -0*d - 5*d - 15 for b.
5
Suppose -2*w = 3*n + 3, n + 7 = w + 1. Suppose -i - 4 = -w*i + t, 4*i + 2*t = -8. Solve -r - 4*v + 13 = 0, -4*r + 4*v - 8 = -i for r.
1
Let m = -65 + 67. Suppose 3*b = -k - 2*b - 19, -2*k + 10 = -2*b. Let g(w) = 5*w - 1. Let x be g(k). Solve -m*r = 5*l + 11, -l + x*l = -r - 6 for r.
-3
Let f(c) = -c**3 - 8*c**2 + 8*c - 11. Let q be f(-9). Let n be ((-4)/q - 25/10)*-2. Solve 5*y + 2*o - n + 3 = 0, -2*y - 5*o - 5 = 0 for y.
0
Let x be ((0 - 1) + 1)/(-2). Let b = 0 + -8. Let g be (30/4)/((-6)/b). Solve -d - d + 4*q - 6 = x, 5*d - 5*q = -g for d.
-1
Suppose 8*k = 133 + 19. Suppose -k = -5*q + 4*r, q - 6*q = 3*r - 12. Solve 0 = -q*l + 6*l - 4*a - 8, 2 = -a for l.
0
Suppose 8 = 7*c + 43. Let q be 6/(-20)*c*2. Solve -q*u + 4 = -4*w, -u = -0*w - w for u.
-4
Let y = -500 - -510. Solve -m - 17 = -4*u, m + 6*u = u + y for m.
-5
Let x be 1/((-8)/4)*-10. Suppose 2*v = 5*t - 35, 4*v + v = -x*t. Solve 2*z = 3*z + 2*n - 7, -20 = t*z - n for z.
-3
Let c(a) = -40*a + 169. Let l be c(4). Solve -2*b = -3*s - 2*s - l, -2*s - 21 = 5*b for b.
-3
Let o be (-32)/(-20) + 4/10. Solve -3*p + o = -p, 0 = 3*g - 3*p + 3 for g.
0
Suppose -4 = 4*g + 4*u, -2*u - 7 = 3*g - 0*g. Let f be 12*g/(-16) - 2/(-8). Solve s - 20 = -3*s, f*b + s - 25 = 0 for b.
5
Let x be (-4)/(-12) - 37/3. Let r be (-7)/(-42) + (-238)/x. Let f = -17 + r. Solve -z + n = -1, -f*n + 1 = -z - 0*z for z.
2
Let r = -29 + 33. Let g = 3 - -1. Suppose -r*l = -2*n + 20, 3*n - 18 - 2 = g*l. Solve -4*u - 12 = n, q - 3*u + 0*u = 8 for q.
-1
Let v(d) = 2*d**3 + 14*d**2 - 3*d - 7. Let y be v(-7). Solve 2*g + 19 = 3*o, -y + 4 = -2*o for g.
-2
Let g be (5/3)/(255/459). Solve 2*x + 3*r - 14 = 0, g*r + r - 28 = -5*x for x.
4
Suppose 4*j - 1 = -y, -2*y + 15*j - 12*j + 13 = 0. Solve 0 = -3*c + 4*f + 10 + 13, -5*c - y*f + 15 = 0 for c.
5
Let s(n) = -n**2 + 19*n + 22. Let x be s(20). Solve -2*b + b = x*g - 1, -3*g - 3*b + 9 = 0 for g.
-2
Let f(c) be the second derivative of c**4/6 - 5*c**3/2 + 5*c**2 - 12*c. Let i be f(7). Solve -5 = -y, -b + 0*y - i*y = -13 for b.
-2
Let m(y) = -y**3 - 5*y**2 + 6*y + 5. Let c = -7 + 1. Let z be m(c). Let b be (-2)/(-8)*0 + 2. Solve 5*j + z*s - 6 = -1, 0 = b*j + 3*s for j.
3
Let z = -9 - -9. Suppose 0 = c - z*c - 6. Let f be 88/24 + (-4)/c. Solve 0*g = x - g, 3*x = -f*g for x.
0
Let u be -2 + 3*(-6)/9. Let i = u - -6. Suppose -4*s + 9*s = 4*w + 23, i*s = -2*w + 2. Solve s*a + 0*f = -2*f - 4, -4 = -f for a.
-4
Let d(p) = -p + 7. Let m be d(5). Let t(s) = s**2 - 7 - 3*s**2 + 0*s**3 + 4*s - 3*s**m - s**3. Let x be t(-6). Solve -2*f + 4 = -2*b, 4*f - x = 4*b + b for f.
5
Let v = -1545 - -1548. Solve -o - 5*c - v = -2, -5 = 5*o + 5*c for o.
-1
Let q(x) = 3*x - x**2 + 4 + 2 + 2. Let z be q(4). Solve 14 = 5*j - l, -16 = -4*j + z*l - 2*l for j.
2
Suppose w = f - 1, f + 3*w = -2*f + 3. Suppose 4 = d + f. Solve -4*z = 5*s - 12, d = z - 2*s + s for z.
3
Let x = 18 - 10. Suppose 0*a + 4*a = 5*z, -4*a = z - 24. Suppose z*y - 9*y = -15. Solve -5*g + 3*t = -x, 2*t - 1 = -y*g - 0 for g.
1
Let s(z) = z**3 - 20*z**2 + 38*z - 23. Let m be s(18). Solve 0 = -3*r - 2*r - 3*p - m, 3*p + 1 = r for r.
-2
Let o = -206 + 211. Solve -2*f + 10 = 2*f + 2*p, -o*f - p = -14 for f.
3
Suppose 152*i - 148*i = 5*c + 20, c - 2*i + 10 = 0. Solve 0*w = -l + 5*w + 9, c = 5*l - 3*w - 23 for l.
4
Let u = -73 - -79. Suppose -4*c = 6*z - z + 12, -2*c - u = 3*z. Solve -16 = -5*v - 2*t, z = -3*v + 5*v + 5*t + 2 for v.
4
Let g = -98 + 101. Solve 4*o - d = -0 + 2, 4*o - g*d = -2 for o.
1
Suppose -30 = 5*b + 5*q, 0 = b + 2*q - 3*q + 10. Let n be ((-420)/40)/(6/b). Solve k + 4*f = n + 6, 8 = 2*f for k.
4
Let h be 5/1 - (8 - 5). Sup