- 2 = -13*h + 11*h, c = -5*h + 4*k + 41 for h.
5
Let b be -1 + -174*4/(-6). Let d = -114 + b. Let i = 7 + -1. Solve -5*q + 11 = -4*z, i*q - q - z = -d for q.
-1
Let g be (-8)/12 + 28/6. Suppose -2373*b + 2401*b = 140. Solve -p - g*n + 8 + 3 = 0, 3*p - b*n + 35 = 0 for p.
-5
Let k be (1 + -1)/((-1)/1). Suppose 104 = 4*s + 4*g, -2*g = s - 6*g - 36. Suppose -27*f + s*f - 2 = k. Solve -8 = 3*n - f*m + 2, 3*n = -5*m + 25 for n.
0
Let m be (67/5)/((-3)/(-15)). Suppose -107 + m = -4*f. Solve 3*u + 0*u - f = -2*g, 0 = 4*g + u for g.
-1
Let f(k) = k**2 - 31*k - 512. Let u be f(-12). Solve 57*l - 24 = 61*l + 4*b, u*b - 16 = 4*l for l.
-5
Let x be (-2)/4 - 2/(-4). Suppose 0 = 44*q - 50*q + 24. Suppose 4*t = -x*k - k + 1, -4*k + q = 0. Solve 4*y + u = -0*u, 2*y - 3*u - 14 = t for y.
1
Let q(z) = -5*z - 108. Let k(h) = 36*h + 756. Let b(n) = -4*k(n) - 27*q(n). Let d be b(-12). Solve 15 = 3*w, -i + 2*i + 5*w - 30 = d for i.
5
Let d = -2922 - -2946. Solve -3*g + d = 3*o, -53*o - 17 = -g - 57*o for g.
5
Let v = -85 + 90. Let n(y) = -13*y - 36. Let t be n(-3). Solve m - 13 = -2*z, 0 = -t*m + 6*m - v*z + 16 for m.
3
Let j = -78 + 88. Suppose -2*q - 2*q = 0, -2*o + 4*q = -j. Suppose 13 = -o*y + 48. Solve 5*m = -2*u + 5*u - y, 5*m - u = 1 for m.
1
Suppose 3*k + 5*b = -24, -5*b + 10*b + 30 = 0. Solve -2*n = 3*o + 14, -k*n - 4*o - 9 = 9 for n.
-1
Suppose 4*m + 288 = 332. Solve -3*y - 5*q - 18 = 0, -5*y - q = -3 + m for y.
-1
Suppose -2*h + 28 = 4*x, x = -5*h + 15 + 10. Solve -8 = 4*p + m, x*p - 19*m = -18*m - 19 for p.
-3
Let z be 16/3 - (-8)/12 - 3. Let k be z + -2*(2 - 3). Suppose 3 - 18 = -k*c. Solve 0 = -c*i + 3*g, 3*g = i + 3*i + 5 for i.
-5
Let j(c) = -c - 3. Let l be j(-4). Suppose 6*z = -l + 31. Solve -2*f + 33 - 8 = -z*g, g = 5*f - 5 for f.
0
Let t = -301 - -301. Suppose 25 = 5*a - t*a. Solve 2*z + 2*z - a*g = 7, -3*g = -z + 7 for z.
-2
Suppose 37*r = 4310 - 610. Suppose -125*p + 135*p = r. Solve 6*w - 5*o - p = w, 0 = 3*w + 5*o + 2 for w.
1
Let q = 7919 + -7910. Solve 0 = 3*h - q, -7*h + 6*h = -2*l - 11 for l.
-4
Suppose -23 = -4*u - t, -3*u + 2*u = 4*t - 17. Solve 2*i + i = -4*z - 8, -u*i + 30 = -2*z for i.
4
Let p = 16 - 12. Let x = 1209 - 1201. Solve n = 2*m + 4*n - 11, m - x = -p*n for m.
4
Let u = 7891 - 7880. Solve 5*z = -n + u, 4*n = 4*z - 12 - 16 for n.
-4
Suppose t + 231 - 839 = 0. Let x = 611 - t. Solve v + 4*v - 1 = x*j, -2*j = -2*v - 2 for j.
3
Let k(c) = c**2 + 2*c - 3. Let n be k(7). Let l = n - 48. Let b = -11 + l. Solve -p + b = -o + 2*p, 5*o = -p + 11 for o.
2
Suppose -13*s + 113 = -264. Suppose -s*o + 6*o = -69. Solve -2*z - o*v = 3*z - 25, -5*z + 2*v + 25 = 0 for z.
5
Let w = -241 + 231. Let k be (1372/12)/7 - w/15. Solve -m - 5*r = -21, -k = -m + 4*m - 5*r for m.
1
Suppose 2*r - 3*f + 15 - 21 = 0, 0 = r - 2*f - 3. Solve 0 = r*i + i + z + 1, -4*z - 18 = 2*i for i.
1
Let k(u) = -u**3 + 30*u**2 - u + 33. Let w be k(30). Solve w*y = -i, -22*i = -4*y - 26*i for y.
0
Let n = -3580 + 3583. Solve 3*p + n*k = 8*k, -2 = -2*p + 4*k for p.
-5
Let w be (7/28)/(32/3072). Solve 0 = -2*p - z - w + 32, -2*p + 5*z = 4 for p.
3
Let p(b) = 7*b**3 + b**2 - 24*b + 22. Let r be p(1). Solve -3*h - r*g + 10*g + 7 = 0, -2*h = 4*g + 22 for h.
-3
Suppose 2*n - n = 4. Let m(r) = -r**3 - 13*r**2 + 123*r + 191. Let w be m(-19). Solve 3*k - 2*k = n*p + w, -3*k = 5*p + 25 for k.
0
Suppose -3*f = 2*o - 126, 0*f - 306 = -5*o - 3*f. Suppose 16*r - o - 4 = 0. Solve -r*m + 2*d = 4, -9 = -3*d + 3 for m.
1
Let l = 3838 + -3834. Solve -31 = -2*v + l*n - 21, 5 = -2*v + n for v.
-5
Let l = -2412 - -2417. Solve 10 = -y - 3*f, 43 - 3 = l*y - 3*f for y.
5
Let b be 8 - 16/(-14)*77/(-22). Solve -l + 13 = -5*u, -4*u - 32 + 12 = b*l for u.
-3
Let x be (-3)/(21/(-49)) + -7. Suppose x = -b - 0*b - 5*b. Solve 4*z = -w - 19, 4*z + b*w - 2*w + 10 = 0 for z.
-4
Suppose -p + 4*h = -38, 2*p = -636*h + 631*h - 41. Let d be (-1 - -1)*(-1 + 0). Solve d = 2*b + 2 + p, b = a - 5 for a.
3
Suppose 545 = 5*z + 5*t, 0*z - 461 = -4*z + t. Suppose -z*q + 25 = -109*q. Solve -q*o - 6 = -2*n, 5*n - 16 + 1 = 2*o for o.
0
Let i be 13/6 + 1*(-8)/48. Let d be -12*(i + 27/(-12)). Solve 4*h = -5*n - 27, d*n - n = -h - 9 for n.
-3
Suppose 0 = 2*o - 651 + 645. Solve o*l = -4*n - 6 + 1, 0 = -4*n + 4 for l.
-3
Let l(s) = s**3 - 9*s**2 + 6*s - 11. Let u be l(10). Let z = 153 - u. Solve -z*r - a = 15, 3*a = 5*r - 4*r - 6 for r.
-3
Let w(m) = 24*m**2 - 862*m - 55. Let f be w(36). Solve -14 = -2*o - 3*b, -4*o - 2*b = 5 - f for o.
1
Let k = 6891 + -6880. Solve 3*q - 26 = -7*n + k*n, -5*n - 35 = -5*q for q.
2
Let p(w) = w**3 + 7*w**2 + 36*w + 68. Let m be p(-2). Solve -m = 2*r - 18, -b = -3*r + 5 for b.
-2
Let u(d) = -d**3 + 4*d**2 + 5*d + 7. Let o = -64 + 58. Let r be -5*(4 + o)/2. Let l be u(r). Solve 3*x + 4*v = -5, 6*x = 4*x + v - l for x.
-3
Let i be -1 + 3 + (15 - (11 - 15)). Let a = 3 - -1. Suppose -5*z - w + 53 = 0, -a*z - 3*w + i + 28 = 0. Solve 3*x - z = 4*h + 1, 20 = -h - 5*x for h.
-5
Suppose -s = -3*g - 153, -2*s + 2*g - 158 = -3*s. Suppose -s = -8*c - 156. Solve x + 4*x - 10 = c, 4*o - x - 14 = 0 for o.
4
Let o be (-3)/(((-561)/(-55))/(-17)). Solve 31*w - 28*w + o*p - 7 = 0, -w + 7 = 4*p for w.
-1
Let h = 0 + -1. Let t = 1 - h. Suppose -4*q - 14 = -3*g, 41*g - 36*g - 30 = 0. Solve -2*u - 4 = -3*s + 3*u, -s + q = -t*u for s.
3
Let c(j) = -j**3 - 17*j**2 - 22*j - 94. Let l be c(-16). Solve 4*s = 4*q, -1 = -l*s - q - 4 for s.
-1
Let g = -5296 + 5296. Solve g = 3*m - a - 13, -m - 5*a - 10 = -41 for m.
6
Let w(i) = -i**2 - 6*i - 5. Let n be w(-5). Suppose -31 = -4*f - 3*b, n*f - b - 53 = -5*f. Solve -6*y + y = -5*r + f, -5*y - 22 = -r for y.
-5
Let w = 5 + 0. Let z = 182 - 129. Suppose -w*s + z - 7 = -2*v, 3*s = -5*v + 40. Solve 3*c = c + 4*u - 16, -s = -c - 4*u for c.
-2
Suppose -2*u + 2*t + 7 = -3, -u - 2*t - 1 = 0. Suppose 8 + 7 = u*m. Solve -2*x - x - 10 = 5*a, -a = m*x + 2 for x.
0
Suppose d = -3*r - 760 + 788, 2*r - 3*d = 15. Solve -2*k + 16*x - 11*x = -1, r = 4*k - 3*x for k.
3
Let g be -12 + (10 - (1 - 5)). Solve -3*i + 2*m = -7, 5*m - 40 = -6*i + g*i for i.
5
Let g(d) = -2*d**2 + 43*d + 16. Let q be g(22). Let l be q/36 + (-255)/(-18). Let w be -1*12/(-5 - -2). Solve -3*x + l = -w*v, 5*v - 2*x = -4 - 17 for v.
-5
Let h = 4614 + -4609. Suppose 4*m + 4 = 12. Let u(d) = -d**2 + 6*d - 5. Let f be u(4). Solve m*a - h = -q, 0*q - f*q - 20 = -a for q.
-5
Suppose -5*b + 0*b = 0. Suppose -p = -b*p. Let z = 2042 + -2030. Solve -3 = -t, 3*s + p*s = -t + z for s.
3
Let o be (-12)/(-38) + 255/95. Solve 0 = 2*v + t + 3, 4*v - 41*t = -42*t - o for v.
0
Let a(c) = 2*c - 9. Let j be a(6). Suppose 2*v = -4*m + 6, -m - j = -v - 2*m. Solve -5*n = 15, 0 = -y - 2*n - v - 5 for y.
-2
Let a be (19/190)/((-4)/(-80)). Solve 0 = 3*j - a*g + 13, -11 + 5 = -3*g for j.
-3
Let x be -3 + -7 - -9 - (-4 - -1). Suppose -4*l - x = 2, 5*l = 4*f - 5. Solve f = 4*c - 3*b - 16, -5*c + 21 = -0*b - 4*b for c.
1
Suppose -6*p + 4*p = -20. Let i(u) = -2*u + 21. Let o be i(p). Let c(t) = t**2 - 15*t - 13. Let y be c(16). Solve -9 = -4*z + 5*g, -3*z + g = -o - y for z.
1
Suppose 16*h + 49*h = 41*h + 144. Solve -r + s = -2, -3*r + h = -40*s + 43*s for r.
2
Let h be 1*-3*-1*(-6)/(-6). Suppose -h*y - 52 = s, 3*y + 4*s + 56 = -y. Let v = 19 + y. Solve 5*z = -i - 24, 5*z - 3*z + 3*i + 7 = v for z.
-5
Let c be (15 - 8) + 0 + 0. Let l be c/(-21) + (-6)/(-18) + 5. Suppose b = 5*b - 16. Solve l*k + 2*h = 6*h - 11, 4*k + b*h = -16 for k.
-3
Suppose -39*n = -8*n - 16399. Let a = n - 525. Solve 2*j = -2*l + l - 2, -3*j = -a*l - 8 for l.
-2
Let n = 4609 - 4605. Suppose 10*h - 12 = 7*h. Solve -4*g + n*y + 17 = g, 2*g - h*y = 14 for g.
1
Suppose -10 = 4*v - 5*w, -5*v - 26*w = -25*w - 2. Solve -4*t + 2*t = 2*d - 8, v = -4*t + 4*d for t.
2
Let k = -6 - -8. Let y(h) = 31*h**2 + k + 9*h + 9 - 30*h**2. Let t be y(-8). Solve i + 5 = 0, -t*b - 10 - 9 = 5*i for b.
2
Let i = 1 + 3. Suppose -3*o + 29 = 26, g - 2*o - 2 = 0. Suppose 4*j - 30 = -2*n, 4*j + 99 = g*n + 3. Solve -i*w + 5*v = -n, -3*v = -w + v + 19 for w.
-1
Let x(t) = 34*t + 144. Let c be x(-4). Let j = 8 + -3. Let g = -20 - -22. Solve -4*v - g*p + c = 0, 3*v - j*v + p = -4 for v.
2
Let o be (3 - -1)*(-1)/(-2). Let z be o/9 - (-43)/9. Let f be (-6*(-1)/4)/(-2 + (-399)/(-190)). Solve m + 2*j = -7, -f = m + 5*j