- -40406. Solve 0 = -5*o - v + 8, 7*v = -3*o + 2*v + l for o.
1
Let g be 5 - 1 - (-3 - (5 + -5)). Let q(v) = v**2 + 2*v + 2. Let u be q(-2). Solve -3*h - 9 = 0, u*n + h = -0*n + g for n.
5
Suppose -4*b - 2*f + 56 = -6*f, 5*f = -15. Suppose 0 = 4*n - a + b, a + 3*a - 2 = 2*n. Let l be 1/(21/6 + n). Solve 5*h - l*r = -3, -3*h + 5*r + 2 = -0 for h.
-1
Suppose -4*c + 31*c = 2*c + 75. Solve -10*z + 5*z = 5*q + 35, -3*q = -c*z + 9 for z.
-2
Let i = 374 + -371. Let l be (-12)/24*(-7 - i). Solve y = l*g - 3*g - 8, -4 = 2*y for g.
3
Suppose 0*m - 210 = 6*m. Let b be m/(-28) - (-2)/(-8). Let c(d) = 6*d**3 - d + 2. Let n be c(b). Solve -i - 4*x - 12 = 0, n*x - 4*x = -i - 10 for i.
-4
Let r(d) = 2*d**3 - d**2 + 1. Let h be r(1). Let l = 30 - 16. Let v = 13381 + -13381. Solve v = -2*c - 3*x + 7*x - 12, c - l = -h*x for c.
4
Let n be (-4)/(-22) - (-961)/341. Suppose -3*u = -6*u + 93. Suppose u + 34 = 13*q. Solve -2*b = q*l, l + 8 + 9 = n*b for l.
-2
Let d(x) = -x**3 - 28*x**2 - 34*x - 186. Let j be d(-27). Solve -j*o - 5*b = 8, 3*o + 2*b = 53 - 58 for o.
-1
Let r = 505 + -501. Solve 1 = -g - q, -10 = 7*g - 9*g + r*q for g.
1
Let k(l) = 3*l + 94. Suppose 0 = -266*w + 262*w - 120. Let z be k(w). Solve -2*h + 7 = -3*q, q - 2*h + 13 = -z*h for q.
-5
Let c(i) = -3*i**3 + 40*i**2 - 15*i + 29. Let p be c(13). Solve -p*v + 6 = -2*u + 2*v, 9 = -3*u + v for u.
-3
Let c(n) = n**2 + 20*n - 27. Let w be c(-25). Let q = w - 85. Solve 3*v + 4*t = 12, 5*t + 7 + q = 5*v for v.
4
Let s(a) = -80*a + 164. Let f be s(2). Solve -f = -2*o + 5*u + 4, 4*o - 5*u - 6 = 0 for o.
-1
Let r be 834/(-8) + (-42)/24 + 2. Let h = 106 + r. Solve 0 = -h*f, f + 10 = -4*p + 2*p for p.
-5
Let p = -63 + 67. Suppose -10*f + 5 = -11*f - 2*h, p*f - 3*h - 35 = 0. Solve f = -a - 0, 2*c - 3*a - 7 = 0 for c.
-4
Suppose -8*s = -6*s + 2*s - 24. Solve 3*t - s*f - 2 = -5*f, 2 = -t + 3*f for t.
1
Let d(s) = 2*s**3 - 27*s**2 + 4*s - 1. Let r be d(13). Let c = 123 + r. Solve -22 = 4*g - c*x, 5*x = -2*g + 2*x for g.
-3
Let b = -5 - -8. Let g be 4/(3 + 156/(-24))*14*-1. Suppose 0 = -b*o + u + 20, -4*u = g + 4. Solve -2*q + 3*m = m, 5*m = -o for q.
-1
Suppose 5*d - n + 17 = -77, -2*n = -d - 17. Let j = -18 - d. Suppose 102*k - 36 = 90*k. Solve -3*m = -k*u + 7 - j, m - 23 = -4*u for u.
5
Suppose -3*a = -6, 0*q + 3*q = 3*a + 30. Solve -q = -4*f + 4*n, 19*n - 1 = f + 22*n for f.
2
Let v = -3228 + 3230. Solve 0 = -v*k + 4*n + 6, -n = -4*k + k + 4 for k.
1
Let u be (954/742)/((-2)/(-42)). Suppose 0 = -7*p + 4*p - 9, 0 = -4*r - 3*p + 23. Suppose r*d + 11 = u. Solve -d*w - 4 = v - 2, 5*w - 2*v = -5 for w.
-1
Let o(h) = h - 5. Let x be o(8). Suppose 0 = -x*z + 4*z - 2. Suppose 71*b = 297 + 58. Solve 5*d + 5*u - 5 = 0, -b*d = -z*d - 5*u - 11 for d.
2
Suppose -3*h - 49 = 4*f, 0*f - 3*h + 31 = -4*f. Let n be 9 + 5/(f/4). Let s be (-90)/(36/6) - (-31 + 13). Solve 10 = 2*d, 2*d - n = -s*w - 0*d for w.
-1
Let p be (-15 - (14 + -27))*-8. Solve 0 = -0*j + 4*j + 3*t + p, 0 = -t for j.
-4
Let x = 8 + -6. Let z(b) be the first derivative of 7*b**2 + 61*b + 282. Let n be z(-4). Solve -f + x = 5*p, -21 + 8 = 2*p + n*f for p.
1
Let k be (18/(-4))/((-2)/4). Let y(d) = -d**2 - 5*d - 1. Let l be y(-1). Solve -f - k = g, -4*f - l*g - 28 = -g for f.
-5
Let v be (36/(-24))/(2/(4 - 0)). Let z(d) = d**3 - 2*d**2 + 3*d - 4. Let h be z(v). Let w = h - -61. Solve -w*p = p - 12, 3*y = -4*p + 9 for y.
-1
Let r be (-3794)/(-28) - (-6)/4. Suppose 10*y - 113 = r. Solve f - k = 8, 4*k = -k - y for f.
3
Suppose -48*w + 41 = -210 - 325. Solve 3*q - 6 = r, -15*r + w*r + 2*q + 3 = 0 for r.
3
Let l(o) = o**3 - 9*o**2 - 17*o - 24. Let c be l(11). Suppose -3*d - c = -70. Solve -d = -4*f - n + 2*n, -4*f - n = -3 for f.
2
Suppose 55 = 5*b + 5*r, 6*r = 10*r - 8. Suppose 0 = -3*a - 3*t + b, -4*a + 0*t + 4 = -4*t. Solve -4*g - g + 5 = -a*f, 0 = -f + 4*g - 1 for f.
-5
Let i = 714 - 711. Solve 3*q + 5*g = i*g + 5, -q = -g - 10 for q.
5
Let u = 240 - 242. Let k be u/6 + 4/12. Solve -5*g = p - 8, -4*g = -k*g - 4 for p.
3
Let z(w) = -6*w - 7. Let i be z(-2). Let o = 128 + -124. Suppose 0*n + 90 = 3*x - 3*n, -4*x = o*n - 80. Solve 2 = -3*b - 4*r - x, -i*b + 3*r = 16 for b.
-5
Let r(z) = 4 + 17 + 2 + z**2 + 24*z. Let d be r(-24). Suppose -k - 5 = -5*o, 5*k = -0*o + o + d. Solve 3*a = 4*g + 16, -6 = -2*g - o*a - 0*a for g.
-1
Let b(c) = -3*c - 2 + 31 - 12 - 6*c**2 - c**3. Let s be b(-6). Solve 2*v + 3*v = 3*m + s, 0 = v + m + 1 for v.
4
Let g(v) = -18*v + 58. Let o be g(2). Let p = 28 - o. Solve 3*r + 15 = 5*h, -2*r + p*r + h = 3 for r.
0
Let x(k) be the third derivative of -k**5/60 + 5*k**4/24 + 14*k**3/3 + 13*k**2 - 2. Let w be x(-3). Solve w*y + h = -14, h + 14 = -2*y - 3*h for y.
-3
Let v = 61 + -57. Let o = v + -1. Solve -4*x - 2*a = 12, 5*x + o*a = 7 - 23 for x.
-2
Let x = 8 - 1. Let c be (42/((-168)/(-12)))/(-1*1). Let f = x + c. Solve -b = 3*w, f*b - w + 0*w = -13 for b.
-3
Suppose 27*o - 127092 + 126984 = 0. Suppose h = s - 9, h = 2*s + s - 17. Solve -2*d + s = 4*w + 2, -o*w = -2*d - 6 for w.
1
Suppose -45 = 5*n - 0*n - 3*o, -n - 22 = 2*o. Let a = 0 - n. Suppose 2*z = -4*z + a. Solve 10*g - 5*g + 14 = -3*q, 0 = -2*q + z*g - 4 for q.
-3
Let s be -21 + 5 + 13 + 9*1. Solve 3*w + 5*f = 14, s = -4*w - 3*f + 21 for w.
3
Let t = 327 + -331. Let r be (3/3)/((-9 - -7)/t). Solve r*f - 5*i = 0, -5*i = -2*f - 2*i for f.
0
Let p(y) = 7*y - 12. Let w be p(2). Suppose a = 4, 5*a - w*a + 613 = 5*u. Let v = u + -113. Solve -3*b = -4*j - 11, 4*b = 4*j - 0*b + v for j.
-2
Let c(v) = -v**3 - 3*v**2 - v + 8. Let b be c(-3). Suppose -3*w + 5*p = -9 - b, 0 = -4*p - 4. Solve -5 = 4*r + 2*s + w, -2*r - 4*s = 14 for r.
-1
Suppose 2*b = 0, -5*i + 25 = 7*b - 3*b. Let f be (-1 + 6 + -3)/(18/117) + -9. Solve i*y = -5*t, 25 = -f*t + 4*y - 3*y for t.
-5
Suppose 713*o = 723*o - 17550. Let b = -1752 + o. Let g = -6 + 11. Solve -17 = -b*u + 3*h + 4, 5 = -5*u - g*h for u.
3
Let z be 1528/56 + 1 + (-27)/21. Suppose 4*b = 9 + z. Solve -5*k + y + b = -y, -2*k - 2*y + 12 = 0 for k.
3
Suppose -4*q - 9*q + 416 = 0. Suppose q = 9*s + 14. Solve f = 2*c + s, -5*c - f - 6 = 6 for c.
-2
Let v be 9 + (-175)/20 + (-158)/(-8). Solve v = 5*x + 2*k - 3*k, x - k - 4 = 0 for x.
4
Let r = -2555 + 2579. Solve 22*z - 2*f - 2 = r*z, z - 4 = 4*f for z.
0
Let k be 7 + ((-3)/7 - (-1026)/(-399)). Solve -31 = -4*f + k*d - 7, 0 = 3*f - 5*d - 20 for f.
5
Let m = -160 + 163. Suppose 0 = -2*h + 4, -m*d = 2*h + 2 - 18. Solve -d = 4*n, -5*l + 2*n = 5 - 22 for l.
3
Suppose 42 = -2*i + 36. Let d be (1/(-2))/(4*i/120). Solve 5*m - 4 = d*j + 11, -3*j + 2*m = 7 for j.
-1
Let r = -79 + 91. Suppose 0 = -a + g + 2, -7*g + r*g = a - 10. Solve 2*v + 17 = 5*w, 3*w - 3*v + 0*v - 12 = a for w.
3
Let s be (3 + 50/(-20))/((-1)/(-136)). Suppose -71*r + s*r + 36 = 0. Solve 3*x + 3*p = -r + 30, 3*x - 22 = -4*p for x.
2
Let m be 0/(4/2)*9/18. Suppose -32*x + 64 = -m. Solve 0*l + b - 7 = -x*l, b - 11 = -4*l for l.
2
Suppose 34*o + 408 = 28*o. Let a = 92 + o. Solve 4*d + 8 - a = -3*k, -3*d + 12 = -5*k for d.
4
Suppose 5*l = 10*l - 15. Let g be 2 + (3/l - 3). Suppose -4*t = -3*u - 5, u - t = -g*u. Solve -4*o - 6 = 2*i, -u*i + 2*i = -5*o - 2 for o.
-1
Suppose -10*v + 195 = -439 + 114. Solve 0 = -56*o + v*o, 0 = -5*d - o + 5 for d.
1
Let r = -71 + 73. Suppose r*j - 6*j = -28. Let f be 1/(j/10 - (-5)/(-25)). Solve -f*c + 6 = -p, 0 = c + p - 0*p for c.
2
Let x(t) = -t + 21. Let d be x(4). Let h = d - 21. Let a be 6 - h*(-5)/10. Solve -5*c = 3*u - 5*u + 19, -a*u = 2*c + 22 for c.
-5
Let s be 1/(-7*2/(-1008)). Suppose 14*f - s - 138 = 0. Solve -f = -2*o - 5*v, -4*o - v - v = -22 for o.
5
Let c be 3 - (5/(-1) - -3 - -2). Suppose -12 = -c*g - 3. Suppose -4*f = -g*f - 5*y - 14, 2*y = -f. Solve -5*r - f*i = -2*r - 23, -8 = 2*r - 2*i for r.
1
Let r be 7/(3 + -10) + 14 + -1. Solve 3*j + 10 = 2*c, -10*j - c + 6 = -r*j for j.
-2
Let o = 1592 - 1583. Solve -5*y - 3*r + o = 2, 5*r = y + 21 for y.
-1
Suppose 207*j = 407 + 214. Solve 0 = -4*h - 37*q + 32*q + 10, j*q = -3*h + 9 for h.
5
Let r = -4 + 6. Let v = 691 - 411. Let y be (v/(-21))/10*6/(-4). Solve r*h - 14 = 3*d, d + y*h + 1 = -1 for d.
-4
Suppose 12 = -4*j - 61*v + 66*v, -3*v + 16 = 2*j. Solve 0 = 4*c + 2*s - 18, -j*c = c + 3*s - 24 for c.
1
Let u(r) = 318*r + 5727. Let h be u(-18). Solve -h*g = -3*z - 3, 