+ 3*j - z, d - 4*j + f = 0 for d.
-2
Suppose w + 18 = 4*w. Suppose w*l - 11 = 1. Let g(q) = 6*q**2. Let n be g(l). Solve 5*p + n = 3*x, 0 = -4*p - x - x - 6 for p.
-3
Let i(l) = -3*l**3 - 2*l**2 - 57*l - 56. Let s be i(-1). Solve 3*v - 3*f = -3, -s*v + 3*f - 10 = -f for v.
3
Let o = 47 + -27. Let p = o - 16. Solve -m + 14 = -p*r, -4*r - m - 4*m - 2 = 0 for r.
-3
Let x be 1/12 + (-2148)/(-144). Solve x = 5*a - 4*g, 2*a + g = -4*g - 27 for a.
-1
Let l(y) = -y - 2. Let a = -9 - -4. Let b be l(a). Solve 3*t = 4*i + 24, b*i + t = 3 - 8 for i.
-3
Let r = -1 - -11. Suppose -r = -2*m + 4*w, -4*m - w - 6 = 4*w. Suppose 2*k = m + 3. Solve 3*x + 2*x + k*p + 13 = 0, 0 = p - 1 for x.
-3
Let l = 14 + -7. Suppose 2*y = l*y. Let o(t) = 6*t**2 - 2*t. Let g be o(2). Solve y = -5*d + g, -d = 2*j + d for j.
-4
Let o = 378 - 376. Solve -3*d = -x - 4*x, 0 = o*d - 5*x for d.
0
Let g(n) = -n**2 + 15*n - 42. Let l be g(4). Solve 6*m - l*m - 2*c - 26 = 0, -4*m + 6 = 2*c for m.
4
Let k = 4 + 12. Suppose -5*u = -4*d + 13 + 4, k = 4*d - 4*u. Let x be (-1)/1 + 2 + 17. Solve -2*v - m - 3 = 2*m, -d*m = -3*v + x for v.
3
Suppose 2*q + 2*v - 6 = 0, 0 = 2*q - 3*v - 17 - 4. Solve -2*b - 4 = 3*f + 1, -2*b = 4*f + q for f.
-1
Let x be ((-4)/10)/(2/(-40)). Solve -4*n + 4*z = -x, -4*n + 3*z + 0 + 9 = 0 for n.
3
Let l(m) = -m**3 + 28*m**2 - 28*m + 29. Let o be l(27). Solve -o*x = k, -x = -3*k - 0*k + 14 for k.
4
Let a(l) = -2*l**3 - 6*l**2 - 5*l - 3. Let u be a(-3). Let m be ((-6)/4)/((-1)/10). Let g = m - u. Solve r - 5 = 2*w - g, -w - 11 = 2*r for w.
-3
Let l be 1 + (-6 - 1)/1. Let w = 6 + l. Suppose 0 = -w*j - 2*j. Solve 2*v + 2 + j = 0, -13 = 2*g + 3*v for g.
-5
Suppose 11 = 5*c + z, -4*c + 6 = c - 4*z. Let k be c + 1 - (-12)/(-6) - -1. Solve -k*y + 0 + 3 = -3*j, 0 = 3*y + j - 10 for y.
3
Let m(o) = o**3 + 2*o. Let q be m(3). Suppose -d = -c - 3*c + 17, -2*c + 5*d = -31. Solve -4*j + c*h = 5, -5*h = 5*j + q + 17 for j.
-5
Suppose -3*v = 17 - 71. Let o be 0 + ((-8)/(-10))/((-2)/(-10)). Suppose i - 7 = -3. Solve i*y - 2*j = 10, o*y + 4*j - 46 = -v for y.
4
Suppose 0 = 6*v - 16*v + 50. Solve -5*h = -v*q - 25, -2*h = -3*q - 7 - 5 for h.
3
Suppose 98 = 7*b + 84. Solve 4*p + 4*m = -24, -3*p + m = b - 0 for p.
-2
Let z = 86 + -74. Suppose 22 = 5*q - 3*i + 2, -i = 4*q - 16. Suppose 0*d = w + q*d - 3, 0 = -3*d. Solve -w*x + 5*u - z = 0, 0*x + 2*x + 13 = 5*u for x.
1
Suppose -7 = -14*y + 35. Let k = 5 + 0. Solve y*f = v + f + 9, -k*v = -5*f + 30 for v.
-3
Let q = 660 - 647. Solve i = 4*x + q, -x - 5*i = -1 - 1 for x.
-3
Suppose -6*a = -3*a + n - 8, 5*a = 5*n. Let q be (-2 + a)/5 - -6. Suppose -4*v + 4*d + 16 = -2*v, -2*v + 4 = 2*d. Solve 5*b = -v*g - 27, g - b - q = 2*b for g.
-3
Let v = -428 - -431. Solve -i - 5 = -v*u + 5*u, 3*i = 4*u + 25 for i.
3
Let b be 0*3*2/(-6). Suppose 5*t - 16 - 24 = b. Let u be ((-16)/64)/((-1)/t). Solve 5*v - 4*h = -1, u*v + 6*h + 5 = 3*h for v.
-1
Let c = 56 + -59. Let w be 2 + 2/(2 + c). Solve w = -2*i - h + 4, 2*h = 5*i + h + 4 for i.
0
Suppose -2*v - 6 = 0, -v - 21 = -2*k + 2*v. Let o be (-3 + (-3)/(-4))*(-16)/k. Solve b = j + 1, 2*j = 5*b - o - 5 for j.
2
Suppose -4 = -11*v + 18. Solve 2*s - 3*m = 5, 9*m - 5*m = -v*s + 12 for s.
4
Let d be 0/4*(-1 + 2). Let c be (-30 - -2)/(-7) + (3 - d). Solve -m = b + 4*m + 4, -2*m - c = -5*b for b.
1
Suppose q - 1 + 6 = i, -5*q = 25. Let k = i + 4. Suppose -3 = -5*l + 4*l. Solve 0 = 5*z - 5*g - 40, k*z + l*g - 17 = 2*g for z.
5
Suppose -34*y + 46 = -90. Solve -4*k + 18 = -5*f, -4*f + y*k = -10 + 26 for f.
-2
Let s = 76 - 73. Solve 4*a = s*d + 28, 6*d + 32 = 3*a + d for a.
4
Let x = -56 + -1. Let b = -32 - x. Solve -5*c = n + 2*n - b, 2*n + c = 5 for n.
0
Let i be 0 + (-8)/(1 - 5). Suppose -5*c = -i*h - 48, -4*c - h = 28 - 69. Solve c = -3*s - w, -2*s - 2*w = -3*s - 8 for s.
-4
Suppose 4*a + 20 = 40. Solve 0*o + 2 = -2*o + 4*n, 4*o = a*n + 2 for o.
3
Let c = -284 - -288. Solve -3 + 0 = 5*g + c*q, g = 5*q - 18 for g.
-3
Let s = 1038 + -1023. Solve 3*j = -s, -3*y - j = -5*j - 35 for y.
5
Let h be -6 + 30/9*-3. Suppose 0 = -r - 3 + 31. Let d = r + h. Solve 4*g = 5*t - d, g + 3*g = 4*t - 8 for g.
2
Let a(c) = -c + 6. Let p be a(1). Solve -3*k = -z - 5, p*z = -k - 18 - 7 for k.
0
Suppose 22*o - 23*o - 2*k = 2, 0 = -o + 2*k + 18. Solve o = -4*j - 2*c + 6*c, -3*j = 2*c + 6 for j.
-2
Let j(l) = -5*l**2 + 32*l - 3. Let o be j(6). Solve 2*h + 7*q - o*q = -18, 0 = -5*h - q - 21 for h.
-5
Let u be 14 + ((-36)/21)/(40/140). Solve 2*v - 2*r = u, -3*v + 2 = -v + r for v.
2
Let c(p) = p**2 + 7*p - 2. Let q be c(-7). Let o be 4/(-8)*60/q. Suppose -o*a = -16*a + 5. Solve 2*m = -3*m + a*i - 30, 3*i = -3*m for m.
-3
Let k(b) = 61*b - 178. Let i be k(3). Solve i*v + 4 = u, -1 = -3*u + v + 11 for u.
4
Let g = 1552 + -1544. Solve -5*v - g = -v, -4 = -5*b + 2*v for b.
0
Let w be (-12)/(-8)*(-44)/(-3). Suppose -2*g + w = -2*n, -4*g - 4*n + 6 = 2. Solve -g*f = 2*c - 3*f + 17, -5*f = 25 for c.
-1
Suppose 4*m - 14 = 2, -2*m - 47 = -5*q. Solve 6*c + 25 = q*c - r, -3*r - 31 = -4*c for c.
4
Suppose 0 = -d - 33 + 9. Let m be 35/11 + d/132. Solve -2*l - 3 = -5*q - 15, 4*l + 2 = -m*q for l.
1
Let c be 2 + (-2 + 2)*1/(-3). Solve 2*z + 3*r = -4, 0 = c*z - 5*r + 6 + 14 for z.
-5
Suppose o = -2*o + 15. Suppose -l + 12 = o*l. Solve 0 = l*c - 6, 3*c - 16 = 5*n + 6*c for n.
-5
Let y be 1 + -5 - -4 - -30. Let d be ((-4)/(-5))/((-3)/(-75)). Suppose 5*f = -3*l - 0*l + y, l - d = -5*f. Solve 3 = 3*p, 0*q - 5*q = 5*p - l for q.
0
Let t = -35 - -46. Let v be (-51)/(-2) - 1/(-2). Suppose 5*x - v = -t. Solve r - 4 = -5*s, r - x*s = -3*r + 16 for r.
4
Suppose 0 = -11*v + 47 + 206. Let z be 3/(-5) - (-8)/40*v. Solve -8*l = -z*l - 4*g + 12, 19 = -3*l - 2*g for l.
-5
Let s = 170 - 166. Solve s*k + 0*k - 5 = 3*z, 10 = 5*k for z.
1
Let r = -403 - -403. Solve 4*l + 3*t + 1 = r, 5*t = 5*l + 12 - 2 for l.
-1
Let s = 6 + -2. Let g be 31 + 0 + 3 - 4. Suppose 2*q + 2*r - s*r = g, -4*r = 5*q - 66. Solve -4*w + 3*u + 2*u - q = 0, 4*w - u + 6 = 0 for w.
-1
Let r(q) be the third derivative of q**5/30 - 5*q**4/24 - 3*q**3/2 + 12*q**2. Let g be r(4). Solve -2*o + 5 = 5*t - g, -o + 1 = t for o.
-1
Let l be (20/15)/((-1)/3). Let n be 3*l/(-42) + 988/266. Solve 3*h + 1 = 5*c - 4, 0 = n*h - 4*c - 4 for h.
5
Let a = 142 + -142. Solve y + 13 = -5*z - a*z, -3*z - 5 = 2*y for y.
2
Suppose 3*b - 6 = -3*f, -2*b = -49*f + 47*f - 12. Let s(k) = k**2 - 4*k + 2. Let d be s(7). Solve l + d = -b*j - j, -4*j = -l + 22 for j.
-5
Let w be (-200)/(-64) + (-3)/24. Suppose -r + 0*r + w = 0. Solve b + 2*b = 4*z + 28, 0 = 5*b - r*z - 32 for b.
4
Suppose -u - 7 = -10. Let w be ((-2)/(-3))/(2/u). Solve -5 + w = 2*x + 2*c, 3 = 3*c for x.
-3
Suppose 7 + 53 = 3*s. Suppose 3*i - s = -5. Let a be i - 0 - 0/10. Solve 3*f = -a*m + 2 + 2, -3*m - 5*f - 4 = 0 for m.
2
Suppose 0 = -31*x + 35*x + 236. Let h = 61 + x. Solve -2*s + 0*s + 2*f = h, -5*f = 0 for s.
-1
Let y(j) = -5*j + 5. Let n be y(1). Suppose -5*p + n*p = 2*p. Solve -2 = 2*i - 5*r + 22, -2*i + r - 8 = p for i.
-2
Let p(k) = -5*k**2 + 6*k**2 + k**3 - 2*k**3 + 32 - 3*k + 0*k**2. Let t be p(0). Solve -5*u - z - 4 = 3*z, -5*u + 3*z - t = 0 for u.
-4
Let o(i) = -2*i. Let h be o(-1). Let a be (-2 - 0/3) + 14. Let b = a - 7. Solve -4*y = -b*n + 15, -4*n - 14 = -0*n + h*y for n.
-1
Let a = -5 - -8. Let r(g) = g**3 - 9*g**2 + 8*g + 10. Let x be r(8). Let u be x/3*(-21)/(-14). Solve -a*s - u = 2*p, -5*s = 4*p + p for s.
-5
Let g be (-30)/(-75) - (-6)/10. Solve k - g = 2*t, 0*k + 5*k - 5 = -5*t for k.
1
Suppose 0*f = 4*f. Suppose -2*m - 3*m + 10 = f. Solve 4*w = -m*d + 22, 2*w + 5*d - 12 = 11 for w.
4
Let u(y) = 2*y**2 + 8*y - 7. Let h be u(-5). Solve -4*a - 2*z = 0, 3*a + h*z - 1 = 2 for a.
-1
Suppose 6 = 5*s - 9. Suppose 0 = -2*i - i + s. Let a = 189 + -189. Solve -q - 3*z - 6 - i = 0, -5*q + 3*z + 19 = a for q.
2
Let f(d) = -2*d**2 + 2*d - 1. Let u be f(1). Suppose 3*r - 7*r = 12. Let p = u - r. Solve -2*z + 2*s + 27 = -7*z, p*s = -2 for z.
-5
Suppose 13*f - 118 - 103 = 0. Solve -5*l - f = -x - 0*x, 2*l - 5*x + 16 = 0 for l.
-3
Let c = -27 + 25. Let a be (-48)/(-22) + c/11. Suppose 3*d - 3 = -q + 3, -18 = -5*d + q. Solve 6 = 2*i - 7*i + d*p, -2*i = -a*p for i.
-3
Suppose -1225*m = -1215*m - 10. Solve -5*z + 4*q + 2 = -2, 2*z - q - m = 0 for z.
0
Suppose 4*v + b 