 0 for x.
5
Let r be -2*25/20*-2. Solve -x + 3*t + 25 = 10, 0 = 4*x - t - r for x.
0
Let d be (-27)/21*(-21)/9. Suppose 4*r + 1 = -3, -4*w = -d*r - 103. Solve 5*t - w = 0, -2*t + 0*t + 7 = -3*k for k.
1
Let p be 1002/21 - (-10)/35. Let c = -143 + 159. Suppose 13*d = c*d - p. Solve -4*n = 2*j + d, -5*n + 14 = -2*n - 5*j for n.
-2
Let n = 2478 + -2474. Solve -p = n*d - 12, -3*d + 6*d + 8 = -5*p for p.
-4
Let z = -2068 + 2071. Solve -5*j = -10, 0 = z*h - j - 1 for h.
1
Let m(o) be the second derivative of -o**3/6 + 7*o**2/2 - 10*o - 3. Let k be m(4). Solve -z + 5*n + 16 = 0, k*z + 2*n + 25 = 5 for z.
-4
Let o be -5 + (-3*6 - -5). Let x be 5/((-165)/(-11)*(-1)/o). Solve 0 = -2*a + 4*k, 0 = -4*a + k + 4*k + x for a.
4
Suppose -12 = p - 3*p. Suppose -p = -z - 1. Suppose 5*x = x - 2*v + 10, 0 = -3*x - z*v - 3. Solve -i - 19 = -x*g, 3*g + i - 26 = -2*g for g.
5
Let h = 6688 + -6685. Solve 9 = h*g + 5*y - 20, 0 = -y + 4 for g.
3
Suppose -2*w + 8 = 2*d, -2*w - 5 = -5*w + 4*d. Suppose 0 = -2*y + w*h + 3, 6*y = 4*y + 5*h + 1. Solve 2*i + y*r - 7 = 3*i, 5*i + 5*r + 15 = 0 for i.
-4
Let q(n) = -n**3 + 4*n**2 + 5*n - 3. Let k be q(5). Let d = -1 - k. Let z = -11250 - -11257. Solve -2*g = 4*h + 2, 0 = 5*h + z*g - d*g for h.
-1
Suppose 0 = 501*w - 546*w + 810. Solve z = 2*z + 3*j - w, -3*j + 30 = 5*z for z.
3
Let g(c) = -5*c. Let y be g(-1). Let p = 77 + -65. Let o be p/(-66) + 24/11 + 0. Solve b = -b + o, 4*h + y*b = 5 for h.
0
Suppose 0 = -4*v, -11*u = -12*u + v - 30. Let p be 12/(u/5) + 5. Solve 3*n = 5*f - n, f - 19 = -p*n for f.
4
Let m(r) = 3*r**3 - 8*r**2 + 4*r + 5. Let v(z) = z**3. Let c(j) = -m(j) + 2*v(j). Let t be c(7). Let i = 19 - t. Solve 15 = 6*l - l - 5*k, -l + i*k = -3 for l.
3
Let d be (-235)/(-35) + 2/14*2. Let o be 2/d + 18/(-14) - -3. Solve 2*y = 3*q, 12 = o*y - 0*y + 3*q for y.
3
Let g(t) be the first derivative of -t**4/2 + 7*t**3 + 7*t**2 - 13*t + 40. Let o be g(11). Solve -3*f + 12 = -5*a, 4*f + f - o = 0 for a.
0
Let c(t) be the third derivative of -19*t**4/24 - 259*t**3/6 - 60*t**2 + 2. Let h be c(-14). Solve i - 11 = z + 4*z, 2*i - 5*z - h = 0 for i.
-4
Suppose -82 = -70*u + 29*u. Solve -3 = -3*m + v, 0*m + u*v = m + 4 for m.
2
Let p be ((-3)/(-2))/(5/220). Suppose -3*x + 54 - p = -3*z, 5*z - 23 = 2*x. Solve y + 0*y = 2*m - 6, z*m = -4*y + 28 for y.
2
Suppose -c + 5*a + 36 = -2*c, 37 = -2*c - 3*a. Let k = -9 - c. Suppose 5*w = -5*n - 215 + 265, -2*n = -8. Solve -k*b - 1 = 3*i, 0 = 2*b + 2*i - w*i - 20 for b.
4
Let n(x) = -x**2 - 9*x + 8. Let h be n(-11). Let u be 17 + 7/(h/(-10)). Suppose u*w - 26*w = -16. Solve -16 = 4*d, w*d + 14 + 3 = -v for v.
-1
Let u(v) = 11*v + 7. Let j = 3 - 0. Let t be u(j). Let b be 2 + (0/(-1) - -2). Solve 27 = -3*c - 3*h, c = -4*c - b*h - t for c.
-4
Suppose 13*v = -78 + 169. Solve 6*m + v = 4*m - g, -4*m = -5*g + 7 for m.
-3
Let q be 6/(-8) - (-5 - 524/16). Let z(k) = k**2 - 40*k + 116. Let f be z(q). Solve 4*j - 10 = f*m, 4*j + 3*m - 31 = -j for j.
5
Suppose 4*o = -2*q + 10, 3*q - 2*o - 9 = 6. Let u(c) = c**3 + 9*c**2 + 11*c - 15. Let y be u(-6). Let k = y + -23. Solve k*w - q*n = 33, n - 15 = 4*n for w.
2
Let r(x) = -2*x**3 + 59*x**2 + 30*x + 5. Let s be r(30). Solve s*n = -m - 23, -3*m - 14 = 2*n + 3 for m.
-3
Let x(f) = f**2 + 10*f - 8. Let k = -369 + 358. Let a be x(k). Solve 6 = -a*l - 2*j - 0, -5*j - 5 = 5*l for l.
-4
Let n(r) = -r**3 - 9*r**2 - 4*r - 21. Let a be n(-9). Suppose 5*j = -4*w - 4, -12 = -a*w + 11*w - j. Solve -2*o - w*g = -0*g - 2, -g - 22 = 5*o for o.
-5
Let l be 8/(-60) - 94/(-30). Let s(v) = v**2 - 3*v + 3. Let a be s(l). Let w be 13272/476 + 2/17. Solve -4*n + w = 3*u, -5*u + a*n - 2 = -10 for u.
4
Let k(d) = -44*d + 1. Let y be k(-2). Suppose 29*u - 1087 = 1726. Let i = u - y. Solve 0 = 3*o - 3*r + 12, -6 = 3*o - r + i for o.
-5
Let z = 433 + -430. Solve z*b = -2*l - 10, -3*b + 2*b - 2*l - 6 = 0 for b.
-2
Let i(l) = l**2 - 472*l - 4322. Let h be i(-9). Solve h*f + 10 = 2*d + 4*f, -5*f = -d + 5 for d.
5
Suppose -5*y + 0*p + 2*p = -41, 5*p = -40. Solve -2*w - y*b - 10 = -6*b, 25 = -5*w - 2*b for w.
-5
Let v(b) be the first derivative of b**3 + b**2/2 - b + 71. Let j be v(1). Solve -a - j*p = 10 + 1, 0 = 4*a + 4*p + 28 for a.
-5
Suppose 16 = -2*t, -5*t + 64 = -17*l + 21*l. Solve -l*a = -23*a + i - 15, -5*a + 17 = -i for a.
4
Let g(x) = x**2 + 180*x - 728. Let q be g(4). Solve -4*i + 2*l - q = -24, -i + 15 = 5*l for i.
5
Let t(j) = -j**3 + 5*j**2 - 51*j + 267. Let n be t(5). Solve n*m - 14*m - 2 = -3*r, -4 = m - 3*r for m.
2
Let v(z) = z**3 + 13*z**2 + z + 18. Suppose -4*b + 3*w - 49 = 0, -4*w - 29 = b - 12. Let y be v(b). Solve 5*o + y = 5*m, -2 = m - 5*o - 15 for m.
-2
Let a(k) = -k**3 + 2*k**2 + 3*k + 5. Let y be a(3). Solve -5 = 2*h + z, 9*h - y*z + 31 = 5*h for h.
-4
Let b = 48 - 46. Let k(i) = i**2 - 5*i + 5. Let s be k(b). Let p = 4 - s. Solve 23 = p*u - 2*l, -2*l - l = -2*u + 18 for u.
3
Let u be 2*(0 + -2 + 3). Let w(v) = -v**2 + 13*v**2 - v**3 + 26 + v**2 + 3 - 14*v. Let l be w(12). Solve -u*n - g = -l*g + 2, n + 2*g = 11 for n.
5
Let s = 298 - 292. Let r = 16 + -9. Suppose -s + r = m. Solve -n - 7 = 3*b - m, -4*n = -2*b + 10 for b.
-1
Let q(v) = -v**3 + 9*v**2 - 13*v - 7. Let t = -368 + 375. Let p be q(t). Solve 5*f = -p*f - s + 19, -10 = -3*f - 2*s for f.
4
Let x be 79/2 + 1 - 2/(-4). Let u = 47 - x. Solve 2*a + 2*g = -2 - 4, 0 = -2*a + 4*g - u for a.
-3
Let n(o) = 916*o - 11 - 915*o + 56. Let r be n(0). Suppose s - r = -2*y, 0 = y - 4*y + s + 65. Solve -5*j - 31 = 2*d, j - 6*j + d = y for j.
-5
Let w = -30 - -56. Suppose w = 15*y - 4. Suppose -3*l = 5*x - 17, x + x - 41 = -5*l. Solve -2*j = q + l, y*q = -0*q + 5*j + 9 for q.
-3
Let f(m) = -m**3 + m**2 - 103*m. Let d be f(0). Solve -4*t - 2*k = 3*k + 26, 2*t + 4*k + 16 = d for t.
-4
Let r be -2 - -20*4/16. Solve -3 = r*t - 4*i, 0 = 52*t - 57*t - 2*i - 31 for t.
-5
Suppose 257 = -8*x + 112*x + 49. Solve z = -m + 1, -2*z = -3*m + x - 9 for z.
2
Let a(o) = 2*o - 16. Let g be a(9). Let v = 99 - 99. Suppose -3*m + 5 = m + 3*r, v = -4*m + 4*r + 12. Solve -3*w - m*t = 16, 0*t - 5*t = -g*w + 2 for w.
-4
Let t be (1 - -151)/(-2 - (-3 - -2)). Let j = t + 157. Solve 3*v - 3*n + 21 = 0, j*n + 0 = -3*v - 5 for v.
-5
Let b = 4036 - 4034. Solve 0 = -b*w - 3*t, 0 = 4*w + 3*t + 2*t + 2 for w.
-3
Let v = -6 - -8. Let h be 11352/(-430)*55/(-2). Let s = -701 + h. Solve v*q = 7*q, -5*m + s = -q for m.
5
Suppose 37*i + 15*i = 5720. Let o be i/25 - ((-36)/(-15))/6. Solve x + 3 = -2*r, 0*x - 4 = -o*x - 4*r for x.
5
Let k(v) = -274*v - 1908. Let z be k(-7). Suppose 8 = -4*c - 8. Let a be 2*2/c - -2. Solve 4*p = p + g + z, -2*g = p - a for p.
3
Suppose -41 = -8*r + 127. Let q be 7/r + (-8)/(-3). Solve -2*s = -q*u - 17, 2*u + 18 = 4*s + 4 for s.
1
Let f(k) be the second derivative of -k**4/12 - 3*k**3 + 5*k**2 - k + 2. Let z be f(-18). Solve 1 = -o + 3*g - 1, -5*o - g - z = 0 for o.
-2
Let b(v) = 7*v - 5*v + 3*v - 41 + 121. Let z be b(-12). Solve -5*k - z = -4*q, 0 = -k + 5*q - 0*q - 25 for k.
0
Let i(j) = -j**2 + 36*j - 186. Let u be i(7). Solve 0 = 2*d - 2*o - 12, u*d - 12*d + 2*o = 16 for d.
4
Let f = 348 - 77. Suppose f - 232 = 13*c. Solve 0 = c*x + p - 2, 3*x + 4*p - 22 = -5 for x.
-1
Let w be (-9 + 7)*153/(-6). Let l be (2/6)/((-17)/w) + 15. Let v be (2 - 32/l)/(10/(-70)). Solve s - v = 0, 2*t + 5 = s + 1 for t.
-1
Let t be (3 + (-2 - 3))/((-3)/6). Suppose -q - 3*a = t, 0 = q + 5*a + 8 - 0. Solve -3*b - 3 - 1 = d, q*b - d = -1 for b.
-1
Suppose -2*j + 96 = 2*n - 284, 0 = -n + 2*j + 187. Let s = n - 184. Solve 4*f = -3*h + 28, 5*h - 14 - 26 = -s*f for f.
4
Suppose -8*z + 156 = -4*z. Suppose 5*g + z = -71. Let h = g + 22. Solve 2*x = x + 4*p + 4, h = -5*x - 2*p - 24 for x.
-4
Suppose 4025 = p + 6*p. Let g = p + -572. Solve 2*r + 1 = -f, g*r + 4 = 5*r for f.
-5
Suppose v + 1654 = 4*f, -80*f = -81*f - 4*v + 422. Let d = f - 409. Solve -21 = 4*m + i, 5*i - 35 = d*m - 15 for m.
-5
Let m be (15/25 - (-32)/(-20)) + 362. Let c = -356 + m. Solve 0 = 3*y + c*o + 6, -2*y = -5*o - 21 - 0 for y.
3
Let o(r) = 60*r + 249. Let g be o(-4). Solve 8*u + 4*t = 3*u - 3, g = -u + 2*t for u.
-3
Suppose 0 = -5*w - 2*b + 10, 3*w - 3*b - 11 = 16. Solve 0 = 2*h - 5*x + 29, -23 = 4*h + x - w*x for h.
-2
Let w be (-35)/(-21) + (-4)/(-12). Solve -4 = w*q - 3*n, -n -