+ 25*u. Let c = -16 - -22. Suppose -r = -2*k + c, -4 = 3*k - 2*r - 13. Solve 8 = -k*b + 4*v, -4*v + 2 = -u*b - 3*v for b.
0
Let u = 207 + -88. Let n = -86 + u. Let a = n + -30. Solve -3*b - 3 = a*v - 18, v - 9 = -2*b for v.
1
Let o(y) = -3*y**2 + 18*y + 24. Let l be o(10). Let b = l - -98. Solve 3*v - b*a = 16, -24 = 3*v - 5*v + 4*a for v.
2
Suppose 502 = -27*w + 97. Let c be 0 + 6 + 3*5/w. Solve -2*q + 19 = 2*i + 3*q, -i = c*q - 17 for i.
2
Suppose -27*x + 4 = -2*i - 25*x, 4*i + 5*x - 28 = 0. Solve -6*t - 4*y = -i*t + 20, 0 = -3*y - 12 for t.
-1
Let x = 54 + -58. Let t be (-9)/(-4) + 1/x. Suppose 2*s + 14 = -4*o, t*o + 19 = 3*s - 0*o. Solve -i - 1 = -2*u, -2*u + 2*i - s = -3*i for u.
1
Let d = 244 + -238. Suppose 2*w + d*w = 3*w. Solve -4*g + 14 = -v, -5*g + 24 = 2*v - w*v for v.
2
Let i = -1234 + 1234. Solve -n + 2*n - 3*a - 15 = i, 2 = 2*n + a for n.
3
Let m(l) = 15*l - 204. Let b be m(14). Solve 0 = r + 2*o - 3, -3*r + 9 = b*o - 7*o for r.
3
Let z = 49 + -51. Let v = -1 - z. Suppose 8*m = 33 - v. Solve -20 = -4*s - m*k, 0 = 3*k - 8*k for s.
5
Suppose 0 = 4*l - 32, -25 = -58*u + 63*u - 5*l. Solve 2*c - u*r + 12 = r, -4 = -3*c - 5*r for c.
-2
Let w be (6/(-14))/((-390)/910). Solve 2*g = -2*r - 10, 16*r = 15*r + 2*g + w for r.
-3
Suppose -45*u - 17 + 67 = -85. Solve -3*b = -2*w - 5, 5*w + u*b - 7*b + 9 = 0 for w.
-1
Suppose -5*b - 5*a + 10 = 0, a - 5*a = 12. Let i = b + -6. Let z be -6*i*(-10)/(-15). Solve 3*u - 3 = -5*q - z, q = 2*u - 8 for u.
3
Let n(f) = -28*f**2 - 1290*f - 73. Let m be n(-46). Solve 0 = v + r, -2*r - 17 = -m for v.
-1
Suppose 498 = 13*v - 1192. Let h = v + -125. Suppose 13*g + 15 = 16*g. Solve 0*m + 2*m - g*u = 0, 0 = h*u - 10 for m.
5
Let g(f) = -153 + 16 + 157 - 6*f + 148. Let y be g(26). Solve 3*w = 0, -3*d + y = 3*w - w for d.
4
Let l be 9 - 7 - (2 - 0). Suppose 19*q + 0 - 19 = l. Let v be 1 - q*(-9 + 5). Solve -v*n - 6*x = -2*x - 24, 0 = 3*n - 2*x - 10 for n.
4
Let l(p) = 14*p**2 + 31*p + 12*p**2 - 6 - 5 - 24*p**2. Let m be l(-16). Solve 0 = -5*u + 5*n, -m*u + 0*n - 18 = n for u.
-3
Let g = -9276 - -9276. Solve g = b + 4, 23 - 13 = -2*m - 2*b for m.
-1
Let l be (-378)/(-30) + 2/5. Let u = l - 10. Suppose 0 = -4*v - 2*f - 2, 4*v + 4*f = f - u. Solve -6 - 2 = -2*x, v = 3*q + 5*x - 14 for q.
-2
Let m(b) = 2*b + 45. Let d be m(-12). Suppose -d*y - 10 = -26*y. Solve 9 = 3*q, -2*j - 1 = -q - y for j.
2
Let m be (-5)/((-15)/(-394)) + (-92)/138. Let d be m/88 - (0 - 6/4). Solve d = -2*a + 2*c - c - 4, 0 = -5*a - 2*c - 1 for a.
-1
Suppose p - 14 = -6*p. Suppose 4*d - p*t = 4 + 6, -3*d = t - 10. Solve 4*q + 5*a = 28, 3*a - 9 = d*q - 3 for q.
2
Let k be (-30 - -25) + 13*1. Suppose k = 59*s - 55*s. Suppose s*u = u + 3. Solve -u*y + 2 = 3*o + 5, -2*y - o = 2 for y.
-1
Let n(i) = -5*i - 7. Let x be n(-2). Suppose -2*r = -4*j - 4, -4*j = -x*r + 4 + 2. Solve 5*f - 13 = -3*u - 41, -18 = 4*f - r*u for f.
-5
Let q be (-16)/(-56)*7*3. Suppose 4*r - 74 = 2*y, 2*r + 71 = q*r + y. Suppose r*w - 19*w = -28. Solve 3*p + 34 = -0*p + 5*a, p - 5*a + w = 0 for p.
-3
Let u(v) = -6*v**2 + 46*v - 39. Let f be u(6). Solve -f = -2*k + 3*g, -10*g - 3 = 4*k - 7*g for k.
3
Suppose 9823 + 4667 = 30*x. Let s = x + -469. Solve -2*t - 2*u - s = 3*u, 0 = 4*u + 8 for t.
-2
Let j(g) = -2*g**3 + 30*g**2 - 29*g + 59. Let s be j(14). Solve -i = -2*o - 7, 5*o - 44*i + s*i = -35 for o.
-6
Suppose 15*p - 1964 = -419. Suppose -4*w = -p + 83. Solve -45 = -5*a + w*b, b - 3 = -2*a - 0*a for a.
4
Let p = 30 + -27. Suppose 2*o - 5*o - 5*l - 6 = 0, -12 = 4*l. Let d be 2*o*1/6*12. Solve 4*k - 3*a - 1 + 6 = 0, 0 = -p*k + 5*a - d for k.
1
Suppose 0 = -8*a - 10*a + 144. Suppose -a*i = -6*i. Solve 0 = -f - 4*f - 2*y + 15, -f - y = i for f.
5
Suppose 80 = 4*o + 4*g, -3*o = -4*g - 53 - 35. Solve 2*f = 2*u - 10, 4*u = -f + 6*f + o for f.
-4
Let c be (1605/10)/((-2)/4). Let i = c + 332. Solve -3*b = -2*d - 2*d + i, -2*b = d for d.
2
Let o(s) = -5*s - 60. Let y(l) = l**3 - 5*l**2 - l. Let d be y(4). Let z be o(d). Solve p + 13 = 3*p - v, 5*p - 5*v = z for p.
5
Suppose -3*x + 27 = -3*m, -87*x - m + 9 = -85*x. Solve 4*k = 4*r + 28, -17*r + x = -20*r for k.
5
Let n(k) = k**2 - 3*k - 63. Let c be n(-7). Let b = 45 - 69. Let x = 26 + b. Solve 4*t - x*l + 0*l + 18 = 0, -4*t = 3*l - c for t.
-2
Suppose -69*n = -57*n + 3924. Let y = -325 - n. Solve -4*c + 8*c = -y*w + 26, -3*w + 5*c = 16 for w.
3
Suppose 5 = -5*p - 0. Let t be (11 - 11)/(p + 3). Suppose t = -105*u + 100*u + 25. Solve 3*s = -2*c, -c = -5*s + 8 + u for c.
-3
Let j be 6*408/144 - 12. Solve 3*o - 17 = j*u, -48*u - 2*o = -51*u - 11 for u.
-1
Suppose -z = -4*q - 38, 0*z = -q + 2*z - 6. Let a be 3/((-12)/q) - 27/(-18). Solve -x + d = 0, a*x - d - 35 = -4*d for x.
5
Let x = -158 + 100. Let q = x - -63. Solve 0*w = 5*w + f + 23, -q = -w + 3*f for w.
-4
Suppose 2*b - 18 = -2. Let z(d) = -19*d + 156. Let p be z(b). Solve 0*y + 5*y + 7 = -3*c, -3*c - p*y - 5 = 0 for c.
1
Suppose -5*n + 609*s = 614*s, -n - 4*s - 6 = 0. Solve 4*r = n*z + 6, -13*z - 2*r + 18 = -17*z for z.
-5
Suppose 3*u + 4*d = -427, -6*d = -4*u - 5*d - 563. Let j = u - -146. Solve 0 = -4*c - 4*s, 4*c + 30 = -c + j*s for c.
-3
Suppose -4*v = -17 - 3. Suppose -2*r + 4*i + 0*i = -112, -259 = -5*r + 3*i. Let t = -48 + r. Solve t*u + 3*k + v = 0, -k = 3*u + 1 - 4 for u.
2
Let l(g) = 29*g - 149. Let h be l(6). Solve 0 = -3*i - 2*b + h, -2*b - 40 = -4*i - 6*b for i.
5
Let c(q) = -397*q - 47. Let l be c(1). Let j = -443 - l. Solve -w = -3*z + 2, -3*z + 5 + j = 3*w for z.
1
Let g(l) = 2*l**3 + 13*l**2 + 8*l - 18. Let n be g(-5). Solve -2*h - n = -4*h - 3*a, h - 5*a = -11 for h.
4
Suppose -3395*l + 3409*l = 70. Solve n + 2*f = 9, 5*n - 8*n + 25 = l*f for n.
5
Suppose 0 = 2*d - 32 - 96. Let h = d - 47. Suppose 3*n = 5*m - 46 - h, 2*m - 26 = n. Solve 0 = 2*y - f - 2 + m, 4*f - 8 = -3*y for y.
-4
Let f be -3*(16/12 - 2). Suppose 0 = -5*h - 15, f*x + 4*h + 5 = -1. Suppose -x*t + 1 = -11. Solve 9*z - 11 = 2*n + t*z, -z - 8 = 3*n for n.
-3
Let y(b) = 4*b - 9. Let r be y(6). Suppose -r*j = -14*j + 9. Let i be 2/6*-1 + j/(-27). Solve 0 = 4*p - 3*g + 26, -5*p + i*g - 3*g = 19 for p.
-5
Let a(k) = -k**3 + 6*k**2 + 12*k - 58. Let p be a(6). Solve 4*s = s + 2*g - 7, -4*s + p = 2*g for s.
1
Let c be 77*(4 + -2 - 3). Let l be (c/2)/(1/(-2)). Suppose -3*x + 39 = -3*d, 4*x + 2*d = d + l. Solve -2*s - 3 = -5*n, 2*n = 5*s + x - 0 for n.
-1
Let g = -44 - -64. Suppose 3*n - 70 = g. Let p = n - 29. Solve p = -t + 2, 11 = 5*z + t for z.
2
Let m(n) = n**3 - 9*n**2 - 3*n + 35. Let y be m(9). Let z be (6*4 - y/(-2))*1. Solve 4*j - z = -3*c, -4*j - 4*c = -9 - 23 for j.
4
Let j = 31728 + -31693. Solve -q + 2*y = -9, 3*y = 4*q - j + 9 for q.
5
Let q be (-7 + 6)/((-3)/39*1). Suppose -7*x = -q*x + 24. Suppose 0 = 3*k + x*y - 28, 4*k - 3*k + y = 11. Solve 5*p + 6*u - 5*u - 11 = 0, -4*u - k = 0 for p.
3
Let d = 49113 + -49111. Let m(p) = p + 8. Let h be 2/(-2)*1 - 5. Let n be m(h). Solve 4*s - n = d, 5*j = 4*s + 1 for j.
1
Suppose 0 = -33*c + 453 - 156. Suppose 18*x - 54 = -c*x. Solve f - x = 0, -5*s = -f - 2*f - 19 for s.
5
Suppose -3*r - 57 + 66 = 0. Suppose -3*a = -15, 4*w - 2 = 3*a + r. Solve -3*h + 19 = 4*i + 2, -20 = w*h - 3*i for h.
-1
Suppose 26 - 48 = -27*b + 59. Solve 55 = -2*c - b*f + 64, 3*c = 4*f - 12 for c.
0
Suppose -5*x = 4*d - 216, 0 = -4*d + 20 - 4. Suppose -16*h + 15*h - 6 = -2*y, -5*h = 4*y - x. Solve f + y = -0*s - s, -3*f - 4*s = 18 for f.
-2
Let q(b) be the third derivative of -b**5/60 - 11*b**4/24 + 10*b**3/3 + 19*b**2 + 2*b. Let i be q(-11). Solve 0 = 2*p - 6, -3*p + i = -4*a + 3 for a.
-2
Let k(t) = t**3 + 19*t**2 + 97*t + 80. Let r be k(-9). Solve 22 = 3*s - 2*g + r, 3*g = -5*s - 17 for s.
-1
Let n be (126/12 - 10)*16/2. Let h = -85 - -87. Let z be 6/6 - (-2 + 0). Solve -4 = -z*a + n*j, -j = 3*a - 12 - h for a.
4
Suppose -28*z + 738 = -19*z. Let j = 93 - z. Suppose 0 = -j*u - 3*u + 28. Solve u*n = p + 2, -3*p - 2 = n - 10 for p.
2
Let l be ((-120)/45)/(4/6). Let s be ((-6)/l)/((-20)/(-40)). Solve j - y + s = 0, -y + 4 = -j + y for j.
-2
Let y(d) = 1999*d - 9990. Let i be y(5). Solve 20 = 4*m + 4*t, -i*m + 54*t + 24 = 58*t for m.
4
Let z(k) = -2*k**2 - 253*k - 2326. Let u be z(-10). Solve 4*m - 64*t + 61*t = 21, -t - 23 = -u*m for m.
6
Let w be (-208)/(-40) - (-84)/105. Solve -c =