- 2, -3*f = r*z - 17 for z.
1
Let r = 4614 + -4609. Let y(q) = 3*q - 8. Let x be y(6). Let f = 10 - 5. Solve f*j = r*z + 6*j - x, -2*z + j = -4 for z.
2
Let f(n) = -459*n - 10093. Let k be f(-22). Solve 5*h + k*a - 15 = 0, -258*h + 2*a = -263*h + 3 for h.
-1
Let p(b) = 40*b - 144. Let q be p(4). Suppose -12 = -q*d + 14*d. Solve 0 = -4*i + 4*j + 12, -3*j = i + 11 + d for i.
-2
Let u = 40 - 188. Let x = -207 - u. Let v = x + 66. Solve 4*q - 5 - 3 = 2*c, 3*q - 2*c = v for q.
1
Let d(x) = -12*x + 41. Let j be d(3). Solve 2*i + 8 = -2*m, -4*m - 24 = i - j*i for m.
-5
Suppose -218*j + 224*j - 90 = 0. Suppose 2 - 2 = j*u. Solve 5*z + 0*n - 2*n - 8 = u, 3*n + 3 = 3*z for z.
2
Let l be ((-8)/6)/((-4)/9). Suppose -65 = -x - 5*m + 3*m, -3*m + 297 = 5*x. Suppose 5*y + 37 = x. Solve 4*n = y, 0 = t - 0*n + n - l for t.
2
Suppose -2666 = -218*l + 3002. Solve 4*t - 16 = -3*d, -9 = -5*t + l*d - 27*d for t.
1
Let j = -7424 - -7425. Let n be (-1)/((3*-1)/(-9)). Let i be -1*(-2 + 3/n). Solve 5*k + i*x + 29 = 0, -k + 3*x + j + 4 = 0 for k.
-4
Suppose -38*s - 21*s = 29*s - 352. Solve z = -3*f, -s*z + 0*f = -5*f for z.
0
Let o = 19382 - 19377. Solve 0 = l - u - 1, 5*u = 3*l - o + 10 for l.
5
Suppose 1068 - 3161 = -7*s. Let b = s + -295. Solve 5*z - 27 = -3*r, -z + 0*z + 19 = b*r for r.
4
Let a(o) = 155*o**2 + 640*o + 85. Let q be a(-4). Let c = 3 + 2. Suppose 0 = -c*b + 3 + 2. Solve 0 = k - 5*t + q, -2*k + 4 = 3*t + b for k.
0
Let j(p) = -1415*p + 31135. Let u be j(22). Let d(l) = -2 - 3*l**3 - 4*l - 3*l**2 + 2*l**3 + 0*l**3. Let x be d(-2). Solve h = -x*h - 15, 0 = -u*k + h for k.
-1
Suppose 28*u - 88*u = -42*u - 36. Solve -5*a - 4*p - 6 = 0, -3*a + 5*p = 6*p - u for a.
2
Let d be (80/6)/(-8)*270/(-225). Solve -d*s = -m + 12, 0*m + 2*m - 20 = 3*s for m.
4
Let b be (26/(-3))/(5 + (-34)/6). Suppose -b*l + 8*l = 275. Let u = 57 + l. Solve u*t = 2*o - 2, 4*o + 7 = 2*t + 3 for o.
-3
Let u(a) = 2*a**2 - 8*a - 7. Let w be u(7). Let f(c) = c**2 - 10*c - 4. Let o be f(13). Let v = 37 - o. Solve -3*x = 4*r + v*x + w, -2*x - 11 = r for r.
-5
Let b = 272 + -272. Suppose -d + 5*y + b = -8, 2*y = 0. Solve 5*k = 3*q + 12, d = -4*k + 20 for q.
1
Let m(p) = p**3 - 19*p**2 + 10*p - 80. Let t be m(19). Let r be (-3)/((-15)/4)*t/44. Solve 2*a + 4*x = -0*x - 10, x = -2*a + r for a.
3
Let p = 351 + -351. Solve -4*r = -2*c + 2, p = 5*c + r - 3 - 2 for c.
1
Suppose 268*d = 307*d - 117. Solve 0 = -5*f + 3*p + 1, d*f - 2*p + 16 = 8*f for f.
2
Let o be (-23 + 0)*(-4 - (9 - 12)). Let u be 4/28*o + 10/(-35). Solve u*m + 3*y + 22 = -2*y, -5*m - 30 = 5*y for m.
-4
Let h(n) = -444*n - 6187. Let m be h(-14). Solve 19*b = 15*b - a + m, 2*b - 13 = a for b.
7
Let j = 219 + -216. Suppose -8*i + 5*i = -4*k - j, 0 = -i + 3*k - 4. Solve 2*g = -u + i, u + 1 = -0*g + g for g.
2
Let g be (-2)/(-7) - (-26)/7. Suppose -2*o + 2*v - 380 = 0, 2*v + 746 = -4*o - v. Let r = -185 - o. Solve 0 = g*f + r*s + 8, -4*f + s = 2*s for f.
1
Suppose 13*h = -706 + 745. Solve 2*j = -w - 10, 4*j + 15 = -h*w - 7 for w.
-2
Suppose -5 = -4*d + 7. Let l be (0/5)/(d/6*-6). Solve -b + 9 = -g, l = b - 2*g - 4 - 10 for b.
4
Let w be (-1 + 5/2)/((-66)/(-396)). Suppose 8*j + 3 = w*j. Solve -5*n + 7 + 26 = 4*t, t - n + j = 0 for t.
2
Let o = -988 + 1000. Solve -2*x + 4*f = -o, -x = -6*x - f + 19 for x.
4
Let x(o) = -o**2 + 6*o + 2. Let a be x(6). Suppose 2*k - 90 = 2*y, -y = -2*k + 2*y + 91. Suppose 5*b = -24 + k. Solve a*g - 6 = b*g + z, -2*z = 0 for g.
-3
Let h(g) = -g**3 + 3*g**2 + 13*g - 32. Let w(q) = -6*q**2 - 51*q - 20. Let i be w(-8). Let s be h(i). Solve -v = -0*j + 2*j - 1, -4*v = s*j for v.
-1
Let s = 19338 - 19334. Solve -j = -k + s, 5*j = -k - 2*k - 4 for k.
2
Let q = -68 + 69. Let c(d) = 3*d**3 + d - 1. Let w be c(q). Suppose -35 = -w*v - 4*l, -v - 6*l + l = -30. Solve 0 = -v*n + 3*h - 5, -n - n = -h + 1 for n.
2
Let u(j) = -16*j + 336. Let i be u(21). Solve i = -5*f + 4*p + 22, 4*f = 2*f + 5*p + 19 for f.
2
Suppose 30 = 3*w + 3*g + 3, 5*w - 63 = g. Solve -4*i - 4*m + w = 0, -5*i + m = -4*m + 5 for i.
1
Suppose 0 = 10*w - 126 + 76. Solve 2*p + 8 = 4*s, -27 = -4*s - w*p - 33 for s.
1
Suppose 0 = 5*n - 4*q + 12, 3 = 8*n - 4*n + q. Suppose 108*x - 106*x - 30 = n. Solve 5*j + x = 2*s, -4*j + 0 = -3*s + 5 for s.
-5
Let k(n) = 2*n**2 + 16*n - 38. Let b(l) = 2*l**2 - 27*l + 3. Let y be b(13). Let v be k(y). Solve 0 = -v*u - 3*f + 4, -2 = f for u.
5
Suppose -8 = -2*s + 7*y - 5*y, -5*s = 4*y + 7. Let v be -2*(-10)/4*s. Solve -3*g + 28 = -4*q - v*g, -q = -4*g - 11 for q.
-5
Suppose -64*y - 182 = 42*y - 132*y. Solve -4*r - y = -q, -5*q - 2*r - 34 = -3 for q.
-5
Suppose -365 = -8*p + 19. Suppose 64*r = p*r + 80. Solve -r*b + 2*l - 11 = -2*l, -5*l = 4*b + 17 for b.
-3
Let w(m) = -13*m + 30. Let q be w(2). Solve -y - 18 = q*a, -3*y - 1 = 4*a + 13 for a.
-5
Suppose -435*q + 115 = -410*q - 85. Solve -4*o = -5*z - q*o - 24, -2*z + o = 7 for z.
-4
Suppose j - 3*o = 2, 226*j - 225*j = 4*o + 1. Solve 12 = k + j*x - 8, 5*x = 4*k - 5 for k.
5
Let v = 100 - -30. Let d = -126 + v. Solve -d*h - 26 = -3*o, 2*o - 4 + 5 = -h for h.
-5
Let a be (-37)/222 - 6/((-108)/147). Solve -4*q - 14 = 6, -b + a = -q for b.
3
Let t = 6873 + -6870. Let v(z) = 5*z**2 + 1. Let o be v(1). Solve 3*q = t*w - o, q - 8 = 5*w + 2 for q.
-5
Suppose -15*k - 5*r - 21 = -13*k, 3*r = -2*k - 3. Solve -13*s = -k*s - 4*j + 10, 3*j - 12 = 3*s for s.
-2
Suppose 0 = -4*l - 87 + 107. Let p = l + 7. Solve 16 = 4*t, -o + t + t = p for o.
-4
Suppose -4*p = 5*p - 144. Let d(n) = -n**3 + 17*n**2 - 14*n - 27. Let b be d(p). Let i = 5 + -5. Solve -b*t - 4*z + 9 = i, -4*z = -t + 3*t + 6 for t.
5
Let z(i) = -i**2 + 13*i. Let n be z(13). Let c be (41/((-3)/3))/(-3 - -2). Suppose c*m = 39*m. Solve g = j - 2 - n, m = 4*j + 2*g + 10 for j.
-1
Suppose -4*u + 15 = -u, 3*b + 2*u - 25 = 0. Suppose -3*p = -4*f + b - 0, 2*p = 5*f - 8. Let d = 30 - p. Solve 3*a + 4*y = -7, -2*y = -5*a - 0*y - d for a.
-5
Let p(h) = h + 29. Let b be (81/6)/(12/(-24)). Let s be p(b). Let w(n) = -n**2 - 4*n + 1. Let r be w(-3). Solve r*a + 2*y + 3*y - 1 = 0, 20 = s*a - 4*y for a.
4
Let x be 8/20 + (-84)/(-15). Suppose 3*c + 3 = x. Let u be ((-12)/(-4) + c)*10/8. Solve 0 = -r, -u*r + 3*r = -4*v for v.
0
Let t(i) = -8*i**2 + 41*i + 6. Let n(q) = q**2 + 4*q - 16. Let j be n(-7). Let m be t(j). Solve w - 3*w = -r - m, 0 = 4*w - 16 for r.
-3
Let y be 33/13 + (-97)/(45396/(-216)). Solve -y*j = -2*b - 12 + 1, j - 3 = b for j.
5
Suppose 3*l + l = 12. Suppose 3*s - 5*i = -20, -2*s - i + 4 = -3*s. Suppose s = -36*r + 44*r - 40. Solve -5*p = l*v - 14, -2*v + r*p = -3*v + 18 for v.
-2
Let a be 16/(-2)*(-1)/4. Suppose a*y + 67 = 73. Solve -y*v + v = 3*r + 15, 3*r = -5*v - 15 for v.
0
Suppose 0*c = -2*y + 7*c + 64, c = -8. Solve -2*q = -3*k + 29, 3*k + 3*q + 2 = -y for k.
5
Suppose 12*a - 27 = -23*a + 288. Solve 2*u = 5*y - 5, -3*u - a = -24 for y.
3
Suppose 0 = -8*v - 2922 + 3634. Solve 0 = -4*z - 2*i + 22, 94*z + i - 20 = v*z for z.
3
Let d be (72/54)/((-1)/(-6)). Let i(n) = n**2 - 4*n - 27. Let h be i(d). Solve -4*m + h*m = -f - 3, m + 2*f = -7 for m.
1
Let x = 29 - 19. Suppose 3*o = x*o - 70. Suppose 0*t + t = -4*j - o, -3*t + 9 = -j. Solve 0 = -5*z + 5*k + 10, -z = 4*z - 2*k + t for z.
-2
Suppose -65*v + 66*v = 15. Let m(y) = 6*y - 1. Let s be m(3). Let i = s - v. Solve 3*b + a + a = 7, -5*b + i*a - 15 = 0 for b.
-1
Let j = 2904 + -2871. Solve -j = -5*x - 4*v, 4*x + v - 12 = 5*v for x.
5
Suppose -b - 2*b + 2*x + 83 = 0, -2*b + 34 = 4*x. Suppose 42 = -4*q + b*q. Solve 0*w - 3*o = -5*w - q, 5*w = o - 4 for w.
-1
Suppose -28 = 2*i - 4*b - 10, 0 = 3*b - 21. Let d = -6 - -8. Solve i = -s - 3*c, -4*s - 1 = d*c - 11 for s.
4
Suppose -5*d + 4*m = -373, 2*d + 19 = -5*m + 188. Suppose -20 = -2*t - 4*c + 30, 0 = -3*t - 4*c + d. Solve -4*l = 3*k - t - 2, 3*l = 2*k + 9 for l.
5
Let s be ((-2)/(-4))/((-14)/(-8) + -2) - -4. Solve -2*b = -3*z - 14, -4*z = s*b + 3*b - 12 for b.
4
Let n(y) = y - 5. Let i = 0 - -8. Let p be n(i). Suppose 5*h + 0*h + 12 = -g, g - 12 = 3*h. Solve -3*j = -3*o + 6 - g, -p*o - 2 = -2*j for o.
-4
Let q be (-9)/((-2907)/34) + (-338)/(-38). Solve 4*w + q = n, -w + n + 2 = 5 for w.
-2
Let t be 155/(-4) + (-26)/104. Let u = -49 - -5. Let l = t - u. Solve l*g + 0*n = -n - 21, 5*n = 3*g + 35 for g.
-5
Suppose -622 - 278 = 90*