 2*l + 1 = 0 for z.
3
Let u be -19 - (0/(-18))/(-2 - -4). Let v(p) = -p + 19. Let r(z) = z. Let q(g) = 2*r(g) + v(g). Let b be q(u). Solve f + 5*w = 5, b*f - 3*w - 14 = 4*f for f.
-5
Let g(d) = 2*d + 10. Suppose 4*o = -2*t - 0*t + 166, o = -4*t + 311. Let m be 14/t - 57/11. Let i be g(m). Solve -12 = 3*s, i*b + 3*b = -2*s - 23 for b.
-5
Suppose -10*o + 5*o + 13 = 2*f, 3*o - f - 10 = 0. Solve x = -5*t - 15, 2*x - 3 = o*x + t for x.
0
Suppose -4*h + 5*p - 18 = 0, 4*p + 7 - 31 = 0. Solve 8 = 13*t - 9*t, h*k - 6 = 3*t for k.
4
Suppose 7 = -v + 3*c + 14, -16 = -4*c. Suppose -5*w = 3*g - 16 - v, 3*w + 4*g - 32 = 0. Solve 4*h + 4 = w*l, -2*h + 2 = 2*l + h for l.
1
Suppose 4*l - 16 = -2*k, -1016 = -4*l + 3*k - 1020. Solve -l*v + 33 = 5*h, 8*v - 12 = 5*v for h.
5
Let k(r) = r**3 + 5*r**2 + 262*r + 1314. Let i be k(-5). Solve 0 = -4*v - 8, -11*v + 8*v = i*g - 10 for g.
4
Let z be 2*46*147/196. Suppose -z = -81*h + 93. Let r = 1 + 1. Solve -r - 4 = h*d - 3*k, 0 = d - 2*k + 5 for d.
3
Let d(w) = w**2 - 54*w + 725. Let v be d(24). Solve v*q - 18 = 3*k, k - 4*q + 10 = -q for k.
-1
Suppose 66*d + 4 = 70*d. Suppose 2*j - 7 = -d. Let h(u) = u**2 - 19*u - 20. Let i be h(20). Solve -3*n + 5*x + 13 = i, j = 4*n + x + 24 for n.
-4
Let z = 32 - 43. Let y(f) = -f**2 - 11*f + 7. Let m be y(z). Suppose 3*j = -3*v, -3*v - m - 13 = -j. Solve -2*s + 4*s + 3*k = -11, -s + 14 = -j*k for s.
-1
Suppose -3*x + 17 = 15*m - 17*m, -3*m - 15 = -x. Solve 0 = -2*v - 3*f + x, 0 = 2*v + 4*f + 8 - 10 for v.
3
Suppose -10 = -x - 4*x - 5*m, -m + 6 = 3*x. Suppose 16 = -x*c + 22. Solve 0 = -v - w + 6, -23 = -c*v - 4*w for v.
1
Let q(j) = j + 10. Let r be q(-5). Suppose -r*l + 2*l = -3. Suppose 5 = s - l. Solve g - 4*k - 16 = 0, -3*g + 16 = -s*g - 4*k for g.
0
Let a = -10224 - -10229. Solve i + 40 - 20 = a*f, -2*f - 10 = -4*i for i.
5
Let h(i) = -8*i**3 + 69*i**2 - 37*i - 1. Let w be h(8). Solve -25*n + 30*n + w = 3*g, 11 = 3*g - 2*n for g.
1
Suppose 197 + 253 = 45*d. Solve -r = -4*p + 11, -d*r - 5*p = -14*r for r.
5
Let a = 111 - 88. Let l be a/23 + 2*(-1)/(-2). Let u be (l/(-3))/((-2)/(-90)*-6). Solve 4*x = 5*t + 7, 3*x + u*t + 5 - 19 = 0 for x.
3
Let q = 12887 + -12883. Solve -2*u - 24 = q*c, 0 = -0*u - 4*u - 2*c - 18 for u.
-2
Let j be ((-10)/(-6) + 0)/(138/2484). Let l = 38 - 56. Let k = j + l. Solve 5*i = 0, -3*u - i - k = 3*i for u.
-4
Let c(j) = 2*j**2 + 46*j + 4. Let z be c(-23). Suppose 49 = 5*n + z. Let f = -7 + 12. Solve -3*u = -2*b - n, 0*u = f*u - 15 for b.
0
Let j(r) = 4*r**2 - 75*r + 5. Let a be j(19). Suppose -11*g = -a - 20. Solve -2*d + 0*d = 2*v, 12 = g*d for v.
-3
Let k be (-5)/6 - (-6613)/2334. Solve k*w - a + 0 = 8, 2*w + 5*a = 20 for w.
5
Suppose 0 = -3*g - 4*n - 16, -2*g + 13 = 7*n + 41. Solve -29*w + 25*w = -3*d - 8, g = -4*d + 16 for w.
5
Let a be (-3*(-1)/2)/(81/162). Suppose -16 = -4*f, 2*h + a*h = -5*f + 20. Solve -4*z - 3*t = 10, h*z = 2*z + 3*t + 2 for z.
-4
Let y(z) = -39*z + 39. Let w be y(1). Suppose w = -u + 4, 0*u - 29 = -q - u. Solve 2*f - f = 3*m + 20, -3*m - q = -2*f for f.
5
Let i(f) = 12*f**3 + f**2 - 1. Let d be i(1). Let b = 27 + -30. Let l be 5 - 7 - (b - 2). Solve -s + d = 4*u, 3*u - 9 = l*s - 0 for s.
0
Suppose 136*y = 141*y - 120. Let k be 273/y + -2 - (-15)/(-40). Let v(d) = d**3 - 3*d**2 - 2*d - 5. Let r be v(4). Solve g - l + 4*l + k = 0, -l = -g + r for g.
0
Let k(h) = h**2 - 40. Let t be k(-7). Suppose -216 = -2*i - 4*i. Suppose -i = 4*j - 13*j. Solve j*z = -5*a + z - t, 3 = 4*a - z for a.
0
Let b(j) = -6*j**3 + 265*j**2 - 40*j - 174. Let l be b(44). Solve 5*i + 5*c = -20, 2 - 5 = i + l*c for i.
-5
Let g(n) = -n**3 - 11*n**2 + 6*n - 17. Let f be g(-12). Suppose -7*o = -2*o - f. Let m = 11 - 8. Solve o = -4*y - l, 0 = -y - 0*y + m*l - 6 for y.
-3
Suppose 2*h + 4 = -i, i - 5 + 21 = -5*h. Let n = -108 + 113. Suppose 114*z - 134*z + 80 = 0. Solve i = 5*g - z*g + 4*y, n*y - 5 = -3*g for g.
0
Let n(x) = x**3 - 16*x**2 + 17*x - 17. Let h be n(15). Suppose z - 3*p + h = 0, 0 = -3*z + 4*z + 3*p - 17. Solve 3*t - 2 = 2*t + 2*j, -5*j + 4 = z*t for t.
2
Let f be 2175/450 + 15/(-18). Solve f*y - 3*b = 3, -3*y = b - 8 - 4 for y.
3
Let d(x) = -3*x**2 + 7*x - 5. Let j be d(2). Let i(l) = 4*l**2 + l - 15. Let c be i(j). Solve -m - c = 4*o, -o - 31 = -3*m + 4*o for m.
2
Suppose 0 = -6*n - 21*n + 378. Let k be n/6 + 15*(-7)/(-63). Suppose 3*p = 5*y - 5, -p = -6*p - 3*y + 37. Solve 0*a - 4*i = -k*a - 4, -2*a + i - p = 0 for a.
-4
Let s(p) = -p - 7. Let n(a) = -6 - 2 + 7 - 3. Let q(r) = 5*n(r) - 3*s(r). Let k be q(10). Solve 5*y + 4*h = -k, 5*h + 3 = 3*y - 8 for y.
-3
Let r = -26 + 26. Suppose 2*n - 3*s - 21 = 0, 2*s = -r*n - 4*n + 18. Let l = -1 + n. Solve -l*a = -3*c + 20, c - 3*a = -3*c + 12 for c.
0
Let k = 68 + -66. Suppose 0 = -k*f - 2*l - 3*l + 72, 3*f - l = 74. Suppose 2*g - 2*b = 3*b - 8, f = 5*g - b. Solve 3*u + 3*p = g, -u = -0*u + 4*p - 5 for u.
1
Let m(q) = -7*q**2 - 11*q - 9. Let i be m(-1). Let f be (i/(-4) + 1)/(132/352). Solve y = o - f, -o + 13 = -4*y - 8 for o.
1
Suppose 6*y - 22 - 8 = 0. Suppose s = z + 5, 4*s + 5*z - y - 6 = 0. Solve -7*b + 3*b = -5*l - 16, -s*l = b - 4 for l.
0
Let v(b) = -48*b**3 + b**2 - b - 3. Let q be v(-1). Let a = q + -43. Solve 9 = a*y + 3*n, -7 = -3*y - 5*n + 8 for y.
0
Suppose -23*l = 952 - 1021. Solve -9 = 3*f - a, 2*a + l = 5*f - 6*f for f.
-3
Suppose -56*y = -65*y. Solve -d = -5*x + d, -4*x + 5*d = y for x.
0
Let s(m) = -m**3 - 8*m**2 + 4*m + 24. Let i be s(-8). Let o be (-10)/(-6)*-3*(i - -7). Solve 4*k + 1 = 5*w, -2 = 5*k - 2*w - o for k.
1
Let s be ((-56)/(-70))/(1 + 7/(-5)). Let q = -8 + 9. Let u be (-19 - -18)/(q/s). Solve -n + 9 = 3*z - 0*n, u*n = -5*z + 15 for z.
3
Let u(n) = 23*n - 824. Let y be u(36). Solve -d = 3*a + 5, -6*d = -3*d - 2*a + y for d.
-2
Let q be ((-45)/105*9)/((-44)/14 + 3). Solve u = -5*b - 2, -2*b + 2*u = 23 - q for b.
0
Suppose -28*t + 25*t = 3. Let m be (-5 - 1)*t/2. Solve -15 = -5*v + 5*d, 2*d + m*d = v - 19 for v.
-1
Let a = -24764 + 24773. Solve -p + 1 = g, -4*p - g + 4 = -a for p.
4
Suppose 925*d = -2*m + 928*d + 93, -2*m - 2*d + 118 = 0. Suppose -127 = 2*l - 21. Let j = m + l. Solve -g + 1 = -j, -5*q - g + 7 = 0 for q.
1
Suppose 361 = -6*j + 104*j - 31. Solve -r = -j*n - 12, 19*n - 10 = 24*n for r.
4
Suppose -692 = 51*q - 947. Solve u = 2*l + l - 12, -l + q*u + 4 = 0 for l.
4
Let u be (-4298)/77 + (-4)/22. Suppose 0 = 4*b - n - 234, 0 = 2*b - 4*b - 2*n + 122. Let p = b + u. Solve -p*y + 22 = 2*q, 3*q = -5*y - 2*q + 45 for y.
4
Let r = -198 - -201. Suppose -6*n = -2*y - 8*n, y + r*n = -4. Solve y*q - 5*x = -2 - 9, -q + 2*x = 4 for q.
2
Suppose 0 = 7*r - 43*r + 1305 - 441. Solve 4*a + 21 = 5*z, z + a + 18 = r for z.
5
Let a(b) = -b**2 - 66*b - 351. Let n be a(-6). Solve -r - 10 + n = -o, -1 = r + 2*o for r.
-1
Suppose -r - 207 = -212. Suppose 9*n = 3*n + 138. Solve -1 = 2*t - z + 6, 0 = -r*t - 3*z - n for t.
-4
Suppose 2*b = 3*z + 28, -z = 2*b - 171 + 175. Solve -35*n - b*u = -31*n - 14, -n = -u + 1 for n.
2
Let o(a) = 193*a - 383. Let b be o(2). Solve -4*q = 2*u - 18, 1 + 12 = -b*u + 2*q for u.
-1
Let x(z) = z**3 - 6*z**2 - 18*z - 9. Let l be x(9). Suppose -l = 4*u - 3*w, -4*u + w = -w + 72. Let p = u - -20. Solve 7 = -p*h + h + i, -25 = 3*h - 5*i for h.
-5
Let l = -13749 + 13761. Solve -5*o = -2*i - 20, 3*o - 3*i - l = -4*i for o.
4
Let w = 56 + -42. Suppose 0 = w*j - 19*j + 65. Suppose -j*k + 8*k + 15 = 0. Solve 0 = -n + 2*b - k - 5, -2*n - 7 = -b for n.
-2
Suppose 9*r + 16 = 34. Let i be 2*(4 + (-1)/r). Solve 8 = -o + 4*a, 3*o - i*a + 2*a + 3 = 0 for o.
4
Suppose m - 4*r + 8 - 32 = 0, -r = -5*m + 6. Solve w + 3*l + 6 = m, -3*l + 2 - 8 = 2*w for w.
0
Let g = -205 + 238. Suppose 2*b + 1 = 19. Suppose g = 12*p + b. Solve 0 = -5*q + 5*j - 10, 0 = -5*q + p*j + j - 4 for q.
1
Let s(o) = -o**2 + 21*o - 90. Let a be s(6). Solve a = -2*x - h + 3 - 0, x - h + 3 = 0 for x.
0
Let d = -4373 - -4383. Solve 0 = 4*p + 4*n + d + 14, -3*n = p + 14 for p.
-2
Suppose 9 = 88*u - 255. Solve 0 = v - 0*d - d + 2, -v - 10 = -u*d for v.
2
Suppose -5*l - 26 - 4 = -5*n, 18 = 4*n + 2*l. Solve -n*i = 4*v - 11, 117*v + i = 119*v - 9 for v.
4
Let i(g) = g + 3*g - 294 + 320. Let t be i(-6). Solve -3*q = 4*a - 5, t*a = 5*q - 0*q + 9 for q.
-1
Let t be (-3 + 9/(81/300))*-3. Let z = 165 + t. Suppose 9*w