.
0
Let p(v) = -5*v**2 + 47*v + 11. Let j be p(13). Let m = j + 225. Solve -2*b + m*k = 0, b + 2*k + 6 = -0*k for b.
-2
Let o(s) = -19*s - 23. Let h be o(-3). Suppose -6*w + 9*w = 2*i + h, -3*i = -2*w + 16. Solve x - w = 3*a, 4*x - 2*x - 3*a = 13 for x.
-1
Let u be 2665/885 + (-38)/3363. Let w(r) = -r**3 + 5*r**2 - 5*r + 2. Let f be w(3). Solve -z + f = -2*d, -u*d + 5*z = -2*d + 25 for d.
0
Let j(d) = -263*d + 1583. Let z be j(6). Solve 2*w + z = s, 3*w = s + 4*s + 10 for w.
-5
Let f(z) = 3*z**2 + 22*z + 8. Let m be f(-7). Let g be 0/(5/10*(m + 1)). Solve 4*o + 0*o = 4*y - 8, g = -5*o + 3*y - 14 for o.
-4
Suppose -32 = -2*u + 6*y - 5*y, 5*u - 95 = -5*y. Let m(i) = -i - 1. Let s be m(-6). Suppose u = s*o - 3. Solve -3*w - 4 = o*c, -3 = -2*w - 5*c - 1 for w.
-4
Let y(o) = -o**2 - 8*o + 23. Let k be y(-10). Let n be (-108)/135*(0 + 10/(-4)). Solve -4*w - 10 = 2*f, k*w + n = -f - 7 for f.
3
Let i(u) = -7*u + 61. Let h = 178 - 170. Let m be i(h). Solve 5*s = -4*c - 23, -s = 3*s - m*c + 2 for s.
-3
Let b(l) = l**3 + 15*l**2 + 3*l + 4. Let s be b(-7). Suppose 377*r - s*r = 0. Solve -4*z + r*h = 3*h + 20, 5*h = 0 for z.
-5
Suppose -19 - 9 = -l. Suppose 0 = -7*s - 0 + l. Solve 5 = 5*m - s*o - o, 0 = -5*o - 10 for m.
-1
Suppose 16 - 32 = -114*v + 212. Solve -q - 1 = 2*q + 2*p, -v*p + 8 = 0 for q.
-3
Suppose -t - 4*d + 10 = 0, 3*d + 110 - 124 = -4*t. Solve -t*s = 5*u + 11, -4*u = -s - 3*s + 20 for u.
-3
Suppose -3*a - 3*f - 1559 = -7*a, -1552 = -4*a - 4*f. Let t = 394 - a. Let k be (1 - 0)*17 - 2. Solve -t*l = -2*i - 21, 6*i = i - l + k for i.
2
Suppose 16 = 2*g + 4*v, 3*g - 6*g = -v - 52. Suppose -g*r - 18*r + 102 = 0. Solve -10 = r*j - j + 5*i, 25 = -5*j - 5*i for j.
-5
Let x(b) = 54*b**3 + 6*b - 7. Let w be x(2). Let o be 1/(-6) - w/(-138). Solve -u = -y + 1, -4*u + o*u + 2 = -4*y for u.
-2
Suppose -101 = -5*b - 86. Suppose 2*p - 1 = 3*y, -p - b*y + 14 = -0*p. Solve u = 5*l + 18 + 7, l + 2*u = -p for l.
-5
Let p = -1 + -1. Let g be (p/4)/((-1)/8). Let w be 9003/111037 + (-145)/(-37). Solve -w*x + 5 = 3*z, -3*z = -1 + g for x.
2
Let n = -3400 + 3400. Solve 3*l = -5*o - 3, -4*l + n*l - 4*o = 4 for l.
-1
Suppose 3*g - 10*g + 161 = 0. Suppose 0 = s + g - 41. Solve -2*z - 5 + 1 = 0, -3*z - s = 4*o for o.
-3
Let z be (-11)/(-3) + 52/39. Let d be -1*0*(48/(-9) + z). Solve -2*t + d*w - 24 = -5*w, 4*t = 5*w - 28 for t.
-2
Let j(f) = f**2 + 18*f + 75. Let q be j(-12). Solve q*l - 4*n + 11 = 0, 2*n + 17 = -4*l + l for l.
-5
Let d(i) = 179*i + 3406. Let h be d(-19). Solve -2*u - 32 = -5*c - 5, 12 = 13*u + h*c for u.
-1
Let i(d) = d**3 + 19*d**2 + 19*d + 20. Let x be i(-18). Suppose 0*c - x*c = 5*y - 6, y - 3 = -c. Solve -13 = -5*h + c*p, 2*h - 5*h - p + 5 = 0 for h.
2
Suppose -259*n + 3*z = -255*n + 13, 0 = -5*n + 5*z - 25. Solve 4*h + u = 50 - 42, h + 3*u = n for h.
2
Let h be 2406/8 + (-8 - (-33)/4). Let t = 305 - h. Solve -3*r = -2*w - w + 3, -t*r = 5*w + 40 for r.
-5
Suppose 0 = 11*y - 4*y - 14. Let v be (11 - 2) + 2/(y/3). Solve v = -4*d - 0, -27 = -4*z + 5*d for z.
3
Let z = -163 + 214. Suppose 0 = 55*d - z*d - 12. Solve d*r = 15, 0 = b - 2*r + 6 + 5 for b.
-1
Let j = 15 - 10. Suppose -30*o = -12*o - 7758. Let a = o - 400. Solve j*i = -0*i - 4*x - a, 5*i + 3 = 3*x for i.
-3
Let q = 511 - 509. Solve 22*a - 3*n + 4 = 21*a, 12 = q*a + 4*n for a.
2
Let j(d) = -3*d**2 + 13 + 5*d**3 - 34 + 22 - 3*d**3. Let a be j(2). Solve a*k - 3*v - 12 = 4*k, 5*k + 5 = 2*v for k.
-3
Let y be (-682)/(-165) + 4/(-30). Solve y*s + 2*o = -22, 4*s + 3*o + 12 = -13 for s.
-4
Let t = -416 - -401. Let z = 31 + t. Solve -h = -2*h - 5*n - 23, -4*h = n + z for h.
-3
Suppose -4*x = -f - 142, -5*x - f = 4*f - 165. Suppose x = -9*z + 80. Solve 2*a - z*l + 7 - 22 = 0, 4*l = a - 12 for a.
0
Let o(a) = -5*a**2 - 3*a + 26. Let f be o(5). Let i = f - -133. Suppose 0*v + 15 = v. Solve v = 3*h, 2 = -u - 4*h + i for u.
-3
Suppose -5*a = 5*a - 290. Suppose -a*v + 4 = -54. Solve -3*w + 5 = -v*c, 6*w - 30 = 2*w - 2*c for w.
5
Let t = -2955 - -2958. Solve 3*r - 7 = -d - 11, 5*r + 8 = -t*d for d.
-1
Suppose 2*d = -3721*m + 3719*m + 162, 0 = -2*m + 2*d + 162. Solve m*c - 86*c = 3*n + 19, 5*n - 15 = c for c.
-5
Suppose 2*m = 3*m + 4*o + 86, -4*o = 4*m + 320. Let g = -677 + 681. Let a be g + m/18 - (-16)/3. Solve -5*f - 27 = s - a, 3*s + 5*f = -16 for s.
3
Let n(c) = c**3 - 13*c**2 + 12*c + 3. Let u be 2/(8/12) + 9. Let s be n(u). Let q = -1171 + 1177. Solve q*f - 2*f + 20 = 0, s*f = 2*h - 25 for h.
5
Suppose -20*t + u = -19*t - 7, -3*t - 5*u - 11 = 0. Solve t*p = -3*v, 4*p + 10 = -0*p + v for p.
-2
Let c(p) = p**3 - 33*p**2 - 35*p + 59. Let y be c(34). Suppose 6*n - y = -13. Solve -21 = 5*x - 6, n*l = x + 1 for l.
-1
Let s = 73 + -73. Let h be 84/8 - (2/(-4) - s). Suppose -h*k = -8*k. Solve r = o + 3*o + 2, k = -r + 2*o + 2 for r.
2
Let l be 4 + (7 - (9 + -2)). Solve -5*f + 19 = -7*f - 5*m, l*f + 3*m = -3 for f.
3
Let j be (8/(-6))/((-12)/(-378)). Let i = -46 - -91. Let r = i + j. Solve -r*f = -3*m + 1 - 10, -4*f + 18 = 2*m for f.
4
Let s(p) = -358*p**2 - 721*p - 5. Let c be s(-2). Solve y + 15 = -c*q, 169*q - 31 = -3*y + 173*q for y.
5
Let k be 56/(-133)*1254/(-132). Suppose 5*o = 5*x + 105, -o = o - 5*x - 42. Solve -5*g - 26 = c, 0*g + c = -k*g - o for g.
-5
Suppose 0 = n - 3*d - 18, -4*n - 5*d = 167 - 239. Solve -15*u + n*u = 6, -4*r = 4*u - 4 for r.
-1
Suppose 0 = -4*f - 5*b + 33, -6*f + f = 5*b - 45. Suppose -f*p = -64 - 80. Solve 3*v + 9 = -3*q, 4*q + p = v + 2*v for v.
0
Let a be 0/((-1 - -2)/(-1)). Let n(t) = t**3 - 3*t**2 + 6*t - 6. Let r = 120 + -118. Let f be n(r). Solve 5 + a = -3*o + f*x, 5*o = 2*x - 15 for o.
-5
Suppose 8*u + 5*w = 6*u + 128, -2*w = -8. Let v = -49 + u. Solve v*f - 6*f = 3*o + 8, 2*f = -5*o - 12 for f.
4
Let h be (-3 + 54/4)*-2. Let c = h + 22. Suppose -c = w - 6. Solve 2*d - 5*d + k = -w, -d - 5*k - 25 = 0 for d.
0
Let y = 34 + 19. Let j = -55 + y. Let g(p) = -p**2 - p + 4. Let a be g(j). Solve -h - h = -5*i - 15, 5*h - 6 = a*i for i.
-3
Let q(c) = -c**2 + 3*c + 4. Let f be q(3). Suppose -4*p + 172 = -6*a, -3*a - 59 + 66 = p. Solve d = -3*u + 17, -3*d + p = f*u - 0 for d.
5
Suppose 0 = 152*f - 154*f - 258. Let p = 131 + f. Solve -4*d - p*h + 31 = d, -d = 4*h - 17 for d.
5
Suppose 5*k - 220 = -160. Suppose -k = 108*p - 111*p. Solve 4*x - 5*t = 2 - 6, 0 = -3*x + 2*t + p for x.
4
Suppose -15 = -4*k - 3*v, 0 = 2*k - 3*v - 5 + 2. Let c(n) = 40*n + 84. Let h be c(-2). Solve 0 = -5*r + k*f - 20, 5*f + 8 = 2*r - h*r for r.
-4
Suppose -170*x + 452 = 112. Solve -4*c - 9 = 3*g - 5*c, 2*c = x*g + 10 for g.
-2
Suppose p + 49 = 3*z, -2*p = 22 - 8. Solve 5*b = 5, 4*o + z = -o - b for o.
-3
Suppose -5*l = 3*s - 18 + 13, -2*s = 2*l - 2. Solve i + 9*f - 4*f + 7 = 0, s = -2*i - 2*f - 6 for i.
-2
Let a(w) = -w**3 - 7*w**2 - w + 1. Let s be a(-7). Suppose 5*u - 155 = 35. Suppose -3*x = -u + s. Solve 3*g + 4*h + h = -17, 2*h + x = 2*g for g.
1
Let p be 2112/34 - 10/85. Let a(l) = 6*l**2 - 11*l + p - 76 - 3*l**2. Let s be a(5). Solve -2*b = -5*d - 10, s + 31 = -5*b - 3*d for b.
-5
Suppose 3*o = -21, -o - 32 = 350*i - 355*i. Solve 0*b - i*b - 9 = 2*q, -4*q = b - 9 for b.
-3
Let x(b) = -3*b**3 - 222*b**2 - 213*b + 447. Let v be x(-73). Solve 3*o - 14 = 8*k - v*k, 0 = -3*o - 4*k + 20 for o.
4
Let p be (-1)/4 - 4976/64. Let i(b) = b**3 - 9*b**2 + 6*b - 2. Let m be i(6). Let g = m - p. Solve a = 2*a - 2*o + g, -o + 7 = -3*a for a.
-2
Let u = -7823 - -7826. Let s(a) = -2 - 8*a**2 - 8*a - 4*a**3 + 0*a**2 + 3*a**3 + 4. Let h be s(-7). Solve 4*f + h = -2*b + f, -b = -u*f for b.
-3
Let i(g) = -2*g + 21. Let q(r) = -2*r - 2 - 5 + 6*r - 11*r. Let s be q(-1). Let x be i(s). Solve -3*h - n + 6*n - x = 0, 2*n = 3*h + 12 for h.
-2
Let d(a) = 439*a - 2193. Let t be d(5). Solve 4*y - 11 = 4*p - p, -t*p - 4*y = -6 for p.
-1
Let f = 48 + -34. Suppose -2*x + 11 = -4*d - 1, -3*x = -5*d - 16. Solve 2*i = -3*i - l + f, x*l - 12 = -2*i for i.
2
Let b(d) be the third derivative of -d**6/120 - d**5/5 - 7*d**4/8 + 5*d**3/6 + 156*d**2. Let i be b(-10). Solve 0 = -3*p - 3*s + s - 3, 2*p = 3*s - i for p.
-3
Suppose 0 = -4*m + 5*j - 20, 0 = 4*m + 287*j - 286*j - 4. Solve -6*x + 2*x - 16 = m, x = 4*c - 8 for c.
1
Suppose -r = 4*x + 3*r - 1316, 4*r = -5*x + 1640. Suppose 0 = -0*m + 3*m + x. Let v = 108 + m. Solve -k = 2*p - v