5*d + 12 for d.
4
Let h(v) = -41*v - 195. Let y be h(-5). Solve -2*r - 5*g = -10, y = -15*r + 20*r + 5*g for r.
0
Suppose -9 = 3*u + 14*d - 17*d, -3 = 3*u - d. Let f = -890 - -895. Solve f*b + 17 = 4*k - u*b, -5*b = 4*k - 7 for k.
3
Suppose 40*y - 20*y + 46*y = 330. Solve -y*j + 51*d + 20 = 46*d, -1 = j + 4*d for j.
3
Let h = 181 - 178. Suppose 2*q - 4*s = s + 33, 84 = h*q + 4*s. Solve 2*x = -x + 5*p + q, 3*x + 5*p + 6 = 0 for x.
3
Suppose 247*c + w = 246*c + 2, 0 = -3*w - 3. Solve -2*v + 3*n - 1 = 0, v = 4*n - c*n - 2 for v.
-5
Suppose 5*x - 299 = -o, -3*o = -0*x + x - 71. Suppose 36 = 19*n - x. Solve n*k + 17 = -3*y, -k + 5*y - 5 - 4 = 0 for k.
-4
Suppose 393*m - 109*m - 2532 = 2296. Solve -4*t - 5*n - 26 - 15 = 0, -n = 3*t + m for t.
-4
Suppose -14 = 6*g - 5*g. Let l be (-1)/((-26)/g + -2). Suppose 3*q + 4*p = 20, 10*q - 2*p = -p - 5. Solve j + q*j - 7 = -3*u, 4*u - l = j for j.
1
Let a(r) = 3*r**3 - 156*r**2 - 4*r + 214. Let l be a(52). Solve -w - 2*o - l = 0, -3*w - 5*o - 16 = 1 for w.
-4
Let n be 15/12 + (-11)/(-4). Let r be (8/84 - (-26)/168)/((-1)/(-20)). Solve -6*j + n*j + 20 = 4*b, b + 3*j = r for b.
5
Let n be (8 - (-540)/(-24))/((-1)/(-42)). Let d = n - -624. Solve 3*c - d = -q, 5 + 0 = c + 2*q for c.
5
Suppose 5*q - 8 = -4*k, 4*q - 5 = -k - 3. Let g = -4 - -7. Suppose -95 = g*v - 8*v. Solve -p + v = 3*y, 6 = -2*y - q*y + 4*p for y.
5
Let l be ((-1)/(-4))/(69/2484). Suppose -b = 2*z + 2*b - l, b + 8 = 3*z. Solve -2*r = -z*m + 10, -5*r - 1 = 9 for m.
2
Suppose -o + 5*o + 108 = 0. Let g be (6/o - 0) + 4690/45. Let s = 107 - g. Solve 0*b + 2*i = -b + s, -2*b - 8 = -3*i for b.
-1
Let z = 40 + -48. Let x(s) = -s**2 - 10*s - 10. Let t be x(z). Suppose t*q + 8 = -3*h + 2*q, 4*q = -h - 16. Solve h*c = -2*k + 10, 2*c - 9 = 2*k + k for k.
-1
Suppose -4*g = -17 - 15. Let o(k) = 2*k**2 - k - 1. Let y be o(-1). Suppose 0 = 114*h - 418 - 38. Solve -2*i - h = 0, -5*i - g = -2*r - y*i for r.
1
Let k = 263 - 261. Suppose -28*g = -k*g - 78. Solve 4*w = -5*m + 20, w + 4*m - 20 = -g*w for w.
5
Suppose 19*a - 20*a = 12*a - 26. Let y be 8/3*42/28. Solve y*j - 2*r = 4, a*r + 2*r = 3*j + 7 for j.
3
Let j be (133/(-57))/(133/(-285)). Solve -2*q = -9*r + 14*r + 3, -3*r - j = 2*q for q.
-4
Suppose 2*p - 3*l - 3 = 0, -8*l = 3*p - 6*l + 2. Let s = -83 + 83. Solve -3*x + 1 = -f, s = -p*x + x + 2*f + 2 for x.
0
Let x = 100 + -102. Let w be x + (-50)/(-14) + 6/14. Solve -h - r - 1 = 0, h + 1 = -w*r - 0 for h.
-1
Suppose 6 = -6*o + 7*o. Suppose -16 = -o*g + 2*g. Let t(w) = 3*w + 26. Let s be t(-6). Solve -s = 4*h + g*b, 2*b = b - 5 for h.
3
Let p(g) = 17*g**3 - 168*g**2 - 23*g + 33. Let t be p(10). Solve w - 22 = -5*f, -4*w - t*f = w for w.
-3
Let o(y) = -y**3 - 17*y**2 + 11*y + 619. Let p be o(-15). Solve r = -p*d + 6, r - 10 = -3*d - 5 for r.
2
Suppose 3*a - 8*a - 4*c + 458 = 0, 5*a = 4*c + 442. Let b be (-9 - (-1960)/a) + 6/27. Solve h = -2*d + 2*h - b, -5*d - 15 = h for d.
-4
Let t(x) = -x**3 + 29*x**2 - 30*x + 59. Suppose -7*k + 25 + 171 = 0. Let j be t(k). Solve a = 2*v - 9, -4*v = j*a - 3 - 0 for v.
3
Suppose 3808 = 83*u - 99*u. Let o = u - -242. Solve -3*f = 4*g - 26 - 2, -2*g + f + o = 0 for g.
4
Let l(t) = 2*t - 8. Let v be l(5). Let n = 1092 + -1088. Solve -2*m + 5 + v = r, 0 = -n*r - 2*m + 10 for r.
1
Suppose -27*r + 17*r = -21*r. Solve -2*k + r = 3*v - 21, -4*k + 7 = -v for v.
5
Let q = 29 - -81. Solve -q*x + 114*x + 2 = -3*t, -x = -4*t - 9 for x.
1
Let c(b) be the second derivative of b**3/6 + 5*b**2/2 - b - 6. Suppose 2*t = 3*t + 3. Let j be c(t). Solve j*y - 2 = -z, z - 5 - 3 = 4*y for y.
-1
Let a = 31735 + -31735. Solve a*l = -8*l + 5*p - 27, -3*l = -5*p + 7 for l.
-4
Let o = 179 + -175. Let i = -8 + 15. Let h(w) = -w**3 + 6*w**2 + 6*w + 9. Let u be h(i). Solve -s - o*l + 16 = 0, u*l = -2*s + s + 10 for s.
4
Suppose -k - 4*y = 3*k - 8, -4*y = -2*k + 4. Let m be 3/12*2*(2 - k). Solve m = -3*v - 3*r - 3, -1 = 4*v + 2*r + 5 for v.
-2
Suppose 3*l = -7*k - 2*l + 23, -5*k + 5*l = -25. Solve -4*w + 8 = m, k*m + 9*w - 21 = 4*w for m.
4
Let m = -495 + 499. Let r(c) = -c**2 + 16*c + 2. Let k be r(16). Let z be (-55)/(-15) + k/6. Solve 0 = -z*x - 8*v + m*v, -5*x = -v + 6 for x.
-1
Let g = -3719 + 3724. Solve 0 = 2*d - 10, -g*a + 2*d + d = -5 for a.
4
Let o be (-23 + 936/52)/(-2*(-5)/(-6)). Let v = -1 + 0. Let l be 5 + -1 - (-1 + v). Solve -o = l*n - n - 2*m, -3*n - m = 4 for n.
-1
Suppose 3*q - 378 + 184 = -188. Solve -3*v - 2*c + 1 = 0, -2*c + 5 = q*v - 5*c for v.
1
Let p = -9 + 12. Suppose -5*q - 2*s = -q - 18, -2*q + 3*s = p. Let g(o) = 2*o**2 - 12*o - 25. Let c be g(8). Solve 3*m - q = c*m - i, 3*m + 5 = -2*i for m.
-1
Let c be (8/22)/((-1)/(-44))*1/2. Solve 0 = -2*i - 2*u + 8, -i = -4*u + 2*u + c for i.
0
Suppose -30*j = -36*j + 30. Suppose -2*l + 40 = -4*o - 14, -4*o - j*l = 33. Let x be -3 + (o/3 - -9). Solve -t - 5 + 1 = x*q, -19 = -2*t + 5*q for t.
2
Let f be (5 - (-20)/(-5))*23. Let s(m) = -19*m - f - 16*m + 33*m. Let i be s(-13). Solve 0*v = -i*v - 15, 5*v = 2*d - 35 for d.
5
Let a(x) = x**3 - 8*x**2 - 16*x + 164. Let w be a(7). Solve -9*y = -8*y - 3*b - 7, -w*y - 2*b = 23 for y.
-5
Let v be -1*4 + (-50)/40*-4. Let d be (3*v)/(12 - 273/26). Solve -3*x - n = -d*n + 9, 0 = 5*x + 5*n - 5 for x.
-2
Let x be 3 + 0 - (-2 + 2). Let b be -5 - 2/((-4)/6). Let n be 5 - (10/(-40))/(b/24). Solve -4*q - 18 = -k, -x*k + n*q + 5 = -9 for k.
2
Suppose -11*h - m = -60, 2*h + 5*m + 14 = -4. Solve 0 = h*l - f - 34, 6*f = 2*l + 2*f - 26 for l.
5
Let w(r) = -r**3 - 9*r**2 + 11*r + 13. Let j = -57 + 47. Let b be w(j). Suppose -2*a + 4 = -0. Solve b*h - 17 = a*l, 3*h - 2*l = -h + 20 for h.
3
Let v be -13 + (-20)/((-240)/156). Solve 3*m + 5*u = -9 + 3, -5*u - 15 = v for m.
3
Let r(u) = 4*u**2 - 23*u + 9. Let s be r(9). Let b(q) = 111 - 2*q - s + q. Let t be b(-17). Solve -4 + 3 = -l + 3*h, 0 = -2*l + 2*h - t for l.
-2
Let z(i) = 6*i**2 - 463*i - 866. Let s be z(79). Solve -t - a + 3 = -2, s*a + 33 = 5*t for t.
6
Let i be 6/1 + -4 + 12. Let k be (1 + (4 - i))*-1 + 3. Suppose 6*b - k - 6 = 0. Solve -b*c - 6 = 3*h, -3*h + c = -0*c + 6 for h.
-2
Suppose -7*z = 4*z - 176. Suppose h - 4*b + z = 0, -4*h + 13*b - 16*b = -12. Solve h = 3*w - 5*k + 9, 2*w = -k + 2 + 5 for w.
2
Suppose 0 = 104*q + 33*q - 411. Solve -5*r + 11 - 36 = 4*i, -2*r + q*i + 13 = 0 for r.
-1
Let q(l) = -2*l**3 + 25*l**2 + 44*l. Let p be q(14). Suppose -y + p = d, -3*y + 72 = -0*d - d. Solve 0 = -5*s - y, o + s - 5*s - 23 = 0 for o.
3
Suppose -2*a + 48 = 2*a. Suppose -13*w + 58 = 16*w. Suppose m = a + w. Solve -5*x = b, -x - 5*b + m + 10 = 0 for x.
-1
Suppose -7 = -7*b, -3*f + b = f + 1. Solve 0 = 4*z - 4, w - 2*z - 1 + f = 0 for w.
3
Let l = 4441 + -4404. Let d = 15 + -10. Solve -30 = -3*c + 3*g, 2*c = d*g - 2 + l for c.
5
Suppose 175*p = 164*p + 132. Suppose 2*r = 4*o + 16, -p = -4*r + 5*o + 11. Solve 3*a - r*z = z, 0 = 5*z - 15 for a.
3
Let x = 278 + -414. Let z = -31 - x. Let b = z + -101. Solve -y + 2*c - 4*c = -1, -17 = -b*y + 5*c for y.
3
Let g be 1*5*(-4)/(-5). Let n(y) = -y**2 + 6*y + 33. Let b be 1225/140 - (-3)/12. Let f be n(b). Solve f = 2*r - 3*k + 2, -6 = -g*r + 5*k for r.
-1
Let s = -22 + 36. Suppose -4*w = -5*w + m + 1, 1 = m. Suppose w*o - 2*h = -2, 5*h - 6*h + 5 = 0. Solve -k + o*i = i - 13, 2*i = -2*k - s for k.
-2
Suppose 44 = -3*n + 590. Let x = n - 182. Solve x = -t - 4*t - 2*y - 19, -5*y - 22 = 4*t for t.
-3
Suppose -4*r - z + 696 = -867, 3*z - 399 = -r. Let t = 390 - r. Solve -w - 2*v + 1 = t, 2*w - 5*v = 8 + 12 for w.
5
Suppose -289 = -20*u + 11*u - 109. Solve -r - 4*r = -5*t - 55, -2*r = 5*t + u for t.
-6
Let q(i) = i**3 - 21*i**2 - 18*i - 77. Let w be q(22). Solve -n + 14 = a + w, 4*a + 2*n = 16 for a.
5
Let s be ((-36)/21)/((-9)/42) + -14 + 10. Solve 0 = -4*c + 5*f - 1, -c + 99 = -s*f + 102 for c.
1
Let v(y) = 30*y**2 + 276*y + 1064. Let a be v(-4). Solve 445*s - 10 = -2*p + a*s, p = -2*s + 5 for p.
5
Let y(b) = -b**3 + 21*b**2 - 96*b - 56. Let t be y(8). Solve 20*f - 5*c = 16*f - t, -20 = -5*c for f.
3
Let l be (-25)/(1 + (0 - 2)). Let h = 68 - 38. Let u = h - l. Solve -5*x - g + 29 = -u*g, 0 = 2*x + 3*g - 7 for x.
5
Let p be ((-2 - -2) + 3)*(-4)/6. Let g be (2/2)/(5/(-20)*p). Solve -3*l + 10 = g*d, -4*l = -7 - 9 for d.
-1
Suppose -418 + 256 = -106*j + 368. Solve 2*y + 13*o