0, -5*i + 0*f - 4*f = 18 for i.
-2
Suppose 0 = -22*w + 22 - 25 + 113. Solve -w*l - 15 = 0, d + 8*l - 5*l + 11 = 0 for d.
-2
Let h be (44/8)/11 - 10/(-4). Suppose 0 = -m + k - 44, -4*m + 2*k - 179 = -h. Let g be (-330)/m*(-2)/(-3). Solve -g*u - 2*s + 6 = -u, 3 = 4*u + 5*s for u.
2
Let x = -8174 - -8177. Solve -2*p + 37*o - 17 = 32*o, -p - x*o = 3 for p.
-6
Suppose 38*m - 9 = 75*m - 38*m. Solve -y = 4*t - m - 8, y = 3*t - 4 for t.
3
Suppose -3*m + 3*b = 9, -3*m - 5*b + 12 + 27 = 0. Let i(f) = f**2 - 10*f - 9. Let c be i(11). Solve -3*z - m*r + 5 = -1, r + 10 = c*z for z.
4
Let k be -2*(-2)/(-14) - 1884/(-28). Let y = k - 67. Let v be 0/(-26) - (y - 1). Solve -b = -4*h + v, -5*b - 20 = 5*h + 10 for b.
-5
Suppose 0 = 129*g - 478 - 1457. Let m(l) = -11*l - 6. Suppose -9 = 2*c - 1. Let f be m(c). Solve 3*q - 2*o - g = 0, 5*q - 2*o + 17 = f for q.
3
Let q(d) = d**3 - 9*d**2 - 25*d - 347. Let a be q(13). Solve -3*g - 9 = 4*k + 8, a*k + 11 = -g for k.
-2
Let s be 0/(4/(-36) - 144/162). Solve s = q - 4*a, q + 6*a - 9 = a for q.
4
Suppose 0 = 2*q + 5*v - 7, -3*q = -2*q - 2*v - 26. Let z(o) = o**3 - 15*o**2 - 17*o + 18. Let u be z(q). Solve -4*g = -4*x + 40, -4*x + 5 = g - u*x for g.
-5
Suppose 9*v - 4 = 32. Suppose v*w - 2*x - x = -20, -2*w + 5*x - 10 = 0. Let d be (-3 - (-8)/4)*w. Solve 5*y + 31 = -4*b, -3*y + 6 = -d*y for b.
-4
Let w be 12/(-9) + (-400)/6 + 5. Let m = w - -65. Solve 0*x = 4*z + x + m, 4*z - 4*x = 8 for z.
0
Let y(w) = -11*w + 24. Let q be y(7). Let f = q + 65. Let b = f - 9. Solve 3*s - b*v = 9, 0 = -3*s - 2*v - 0 - 1 for s.
1
Let l(y) = 1. Let w(o) = -2*o + 32. Let s(n) = 12*l(n) - w(n). Let f be s(7). Let u be (-1*8/f)/((-6)/(-18)). Solve u*j + 4*z + 20 = 0, 5*z + 0*z = -15 for j.
-2
Let t be (-1 + (-3)/(-6))*0. Suppose t = -s - 123 + 125. Solve 0 = -5*c - s*o - o + 6, 3*c = 5*o - 10 for c.
0
Let k(g) = 5*g**2 - 2*g - 6. Let x(m) = -17*m**2 + 8*m + 17. Let b(c) = 7*k(c) + 2*x(c). Let l be b(-4). Solve 2*n + 2*j - 12 = l, -n + 9 = 3*n + j for n.
1
Let b(y) = -y**3 - y**2 - 2*y + 130. Let o be b(0). Let g = -128 + o. Solve 0 = -s + f + 6 - 1, -g*s - 4*f = 14 for s.
1
Suppose -4*h + 2*h + 20 = -2*l, -3*h = 3*l. Suppose -93 = -4*x - h. Suppose 2*s - x = 4*d, 0*s + 5*d = 3*s - 29. Solve -2*y + z = -0*y, -5*y + s*z = 2 for y.
2
Let q(j) = j**2 + 3. Suppose -2*y = -20 + 16. Let n be q(y). Solve 0*v + 2*v + 1 = m, -3*v = 4*m + n for m.
-1
Suppose 2*r = -q + 16, 606*r - 611*r + 2*q + 13 = 0. Solve -4*b - 46*y + 43*y = -15, y - 5 = r*b for b.
0
Suppose -6*f + 41 = 17. Solve -3*h = -4*j + 10 - f, -5*j - 3*h - 6 = 0 for j.
0
Let n(d) = 24*d**2 + 1. Let p be n(1). Suppose 0 = 2*j - 2 - 32. Let r be j/3 - 2/(-6). Solve -m + 2*y - p = -6*m, -3*m = -3*y + r for m.
3
Suppose -155*y - 76 = -193*y. Solve 13 = -y*v - 5*p, 2 = -3*v - 2*p - 1 for v.
1
Let x be (-12)/(-15) - 24/(-20). Let k be 5/6*x*3. Solve k*s + 4*h - 15 = -0*h, 0 = 5*s - 5*h + 30 for s.
-1
Let y = -85 + 87. Let s be 12/(-20)*10/(-3). Solve -s*q - 3*u = y*q + 5, -2*q + 8 = -2*u for q.
1
Suppose 0 = u - 3*u + 4*c - 388, u + 166 = -5*c. Let y = 186 + u. Solve 4*h - 35 = -5*l, 5*h - 3*h + 3*l - 19 = y for h.
5
Let o(r) = -51*r**3 + r**2 - r. Let d be o(1). Let l = 55 + d. Solve 5*n = -x + 16, l*x = 2 + 2 for n.
3
Let k = -18304 - -18309. Solve -k*x = -5*d + 35, -72*x + 70*x - 5*d = 0 for x.
-5
Suppose 4*c - 4*r = 0, -3*c - 2*c + 2 = -4*r. Suppose 4*z = c*z. Solve 3 = d - 3*x - 7, -4*d - 2*x - 2 = z for d.
1
Suppose 0 = w - 5*n - 4, -2*n = w - 3*n - 20. Suppose 0*k + 3*p = -3*k + 18, 4*k = p + w. Solve 24 = 4*l + 4*u, -5*u + 15 = -4*l - k for l.
1
Let m be (1/(-5))/(1 + 42/(-35)). Solve -m = -z + c, -z + 2*c + 3*c = -5 for z.
0
Suppose 0 = 3*b - 10 + 4. Suppose b*h - 3*h - 42 = 0. Let x = h - -44. Solve -x*f - 2*r + 14 = 0, 5*r + 4 = -4*f + 35 for f.
4
Suppose 2*z = 17*m - 16*m - 8, 0 = -4*m - 2*z + 12. Solve -3*p = -4*y + 7*y - 24, m*p - 5 = 5*y for y.
3
Let f(s) = s**3 - 19*s**2 + 19*s - 12. Let z = 128 - 236. Let n be (-160)/(-9) - 24/z. Let g be f(n). Solve 3*a - j - 31 = -g*j, -5*j = a - 27 for a.
2
Suppose w + 7 = -38*v + 41*v, 3*v + 5*w - 19 = 0. Solve 5*t - 13 = -2*r, v*t + 4 = -r + 11 for r.
4
Let f(x) = 0*x - 136 - 7*x + 2*x - 3*x. Let h be f(-17). Solve d - o + 4 = h, -5*o + 2 = 3*d - 2 for d.
-2
Suppose 0 = -2*m + 44 + 8. Suppose -5*n + 9 = -m. Suppose w - 3*k = 2*w - n, 3 = 3*k. Solve -1 = -4*i - 2*f + 5, -5*f = -w*i - 1 for i.
1
Suppose 0 = w + 3*i - 1, -5*i = 3*w - 2*w + 5. Let d = -7 + w. Suppose 4 = 2*s - d*b, -4*s + 0*s - 5*b = -8. Solve s*n = 5*l - 9, 5*l - 8 = 3*n + 3*l for n.
-2
Suppose -42 = -3*h - 2*v, -59*h + 57*h - 3*v = -38. Solve -4*m + 4*n = -5*m - 14, -5*n - h = 0 for m.
-6
Let k = 1352 + -1348. Solve 3*b = -k*q - 23 + 9, 2*b - 2*q = 0 for b.
-2
Let i = 24 - 20. Suppose 22 = i*f + 2. Suppose 3*a = -2*z + 4, 0*a + 8 = -a - 3*z. Solve d - 17 = 4*p - f, -2*p - a*d = 24 for p.
-4
Let o = -39 + 39. Solve o = -2*b + 4*x - 6, 5*b - 17 = 5*x - 3*x for b.
5
Suppose 2*u - 10 + 7 = 5. Solve 2 = c + 2*y, 47*y - 49*y = u*c + 4 for c.
-2
Suppose 2 = 2*v - 4. Let w(m) = 17*m - 41. Let x(n) = 33*n - 80. Let s(i) = -11*w(i) + 6*x(i). Let h be s(v). Solve -3*u = -2*a + 2, 2*u = 5*a - 1 - h for u.
0
Let q(n) = -15*n - 536. Let m be q(-36). Solve -3*w + m*u - 5*u = 10, -4*w - 7 = -5*u for w.
-3
Suppose 179 = -6*j + 1883. Let z = -282 + j. Solve 30 = 5*c - 4*v, 6*v - z*v + 16 = -2*c for c.
2
Suppose -6 = 4*b - b, -y = -2*b - 4. Suppose -58 = -2*h - 5*t, -503*t = 5*h - 508*t - 75. Solve -11 = -a + 2*g + g, y = a + 3*g + h for a.
-4
Let h be 7/2 - (247/38 + -8). Solve k = -2*k + 3, 4*k = h*v - 16 for v.
4
Suppose -28*c + 299 + 177 = 0. Let h = 19 - c. Solve 8 = 2*k, 2*k = -2*s - 0*k - h for s.
-5
Let s = -2222 - -2240. Solve 14*b - s*b - 20 = a, -4*b = -3*a + 20 for a.
0
Suppose -85*h - 15 = -88*h. Solve 0 = -5*o + 5*y - 4*y + 4, 0 = -h*o + 5*y for o.
1
Let u(c) = c - 1. Let z(n) = -2*n - 11. Let m(b) = u(b) + z(b). Let r be m(-15). Suppose -4 = -5*q + r*q. Solve -q*p + v + 4 = 0, 9 = p - 0*v + 3*v for p.
3
Let t(q) = -2*q - 15 - 12 - 3*q + 7. Suppose 15 = d + 6*i - 10*i, 0 = 5*d + 3*i + 40. Let f be t(d). Solve f*k + 15 = 5*b - 0*k, -5*b + 2*k + 12 = 0 for b.
2
Suppose 235 = -85*u + 490. Solve 0*v + 2*v - 6 = y, u = v for y.
0
Suppose h - 2*i + 53 - 58 = 0, 10 = 2*h + i. Solve -a = 3*b - 13, 12*a - 24 = 8*a - h*b for a.
1
Let i be 52/39*(-474)/4. Let g = -156 - i. Let f be (-2)/(-4) - (-10)/4. Solve -f*w + 2 = 7*t - 2*t, -g*w = -4*t - 16 for t.
-2
Let f be ((-378)/441)/((-6)/14). Suppose -3*x - 2 = -f*x + a, 8*x + a = 19. Solve q + n + 7 = 2*n, 29 = -5*q + x*n for q.
-4
Let q be 2/(-5) - (-264)/60. Suppose 3*p = 2*m - 11, 0 = -3*p + 1 - 4. Suppose 0 = 45*c - 49*c + 16. Solve -3*x + 0*x - q*j - m = 0, -c = 2*x + 4*j for x.
0
Let c(o) = 25*o - 203. Let z be c(0). Let k = z + 208. Solve 0 = -2*d - 6, -k*p + d + 2*d + 4 = 0 for p.
-1
Let d = 6410 + -6391. Solve 0 = -4*i + 3*v + 27, 0 = 22*i - 19*i - 2*v - d for i.
3
Let a = 742 - 501. Let p = 256 - a. Solve -5*i + 0*r = 2*r + 10, p = -3*r for i.
0
Suppose -24*s - 34*s + 216 = -4*s. Solve -23*h = -c - 22*h - 2, -s*h + 20 = 0 for c.
3
Let d be ((0/2)/(-2))/(158 - 157). Solve d = -33*z + 38*z + 3*k + 14, 14 = -2*z + 3*k for z.
-4
Suppose 3*k + 16 = 7*k. Let m(r) = 6 + 1 - 3 - r**3 + 8 + 3*r + 4*r**2. Let u be m(5). Solve 2*j + 6 = u*h, 3*h + 2*h + k*j + 3 = 0 for h.
1
Let i be ((-45)/(-50))/((-6)/(-5))*56/3. Solve 5*g - g + 2*z + i = 0, -2*g + 4*z = 12 for g.
-4
Suppose -2*r - 5*d = r - 1402, 4*d + 1848 = 4*r. Let j = 469 - r. Solve m - 5 = -j*q, -m = 4*q - 1 - 4 for m.
5
Let t(u) = -2*u + 13. Let i be t(4). Let d(n) = -3*n - 22 + 5*n - n**3 + 0*n**3 + 0*n**3 - 5*n**2. Let x be d(-6). Solve -x*o + 12 = -2*h, 7 = -i*h - 3 for o.
4
Let d(n) = -83*n**2 - n - 2. Let o be d(-1). Let k = 50 + -132. Let j = k - o. Solve -j*p - 2*p - 8 = 0, -2*p = 5*i + 29 for i.
-5
Let g = 37 - 34. Let o be 3 - (1 + g) - -4. Suppose -2*z - 5 = -4*i + 21, -33 = -5*i + o*z. Solve -2*u = i, 4*u - 15 = 3*t + 7*u for t.
-2
Let d = -415 - -418. Suppose 4*f = -d*q + 26, -q + 0*f - 3 = -f. Solve 5*p + q*x = -13, 0 = -p + 5*p - x for p.
-1
Suppose -4*f = 3*w + 160, f = 2*w + 5*f + 108. Let m be w/(-5) + (-192)/480. Solve 3*d + 25 = 5*s, d = -d - m for s.
2
Suppose 0 = 