*u - 5*p + 15, 2*u = -2*u + 3*p - 9 for u.
0
Suppose -a = -6*a + 60. Let i = a + -33. Let h = 26 + i. Solve 0 = 5*g - 2*g - j + 5, h*g - 3*j + 3 = 0 for g.
-3
Suppose 3*o = p - 12, 0*o + 4*p + 27 = -3*o. Let h = 5 + o. Suppose h = 2*l + l - 4*k, 2*l + 4*k = 0. Solve -5*f - x + 27 = 0, l = 2*f + 3*x - 4*x - 8 for f.
5
Let t = -506 - -511. Solve t*x + 20 = 4*j, -3 - 22 = -5*x - 5*j for x.
0
Let m be 1 - 0 - (3/3 + -2). Let b be (m + -3)/(5/(-15)). Solve -5*g = 0, -g - 3*g = -b*j + 15 for j.
5
Let z be ((2*-5)/2)/(-1). Let u(c) = -4*c**2 - 54*c + 32. Let m be u(-14). Solve 5*a + m*y = 2*y - 1, z*y = 10 for a.
-1
Let y = -546 + 548. Solve 3*u - 16 = m, -4*u = -7*u + y*m + 17 for u.
5
Let t(y) = -y**3 + 4*y**2 - 2*y - 1. Let s be t(2). Let a be 1/(s/(-6)) + 2. Let k be (-2 - -13) + a + 0. Solve -4*x + 2*x + k = 5*b, -2*x = -b + 7 for x.
-2
Suppose 0*s - s + 15 = 0. Let z = s + -12. Solve -9 = z*d - 3*l - 2*l, -2*l + 6 = -2*d for d.
-3
Suppose -4*i = 4*l - 40, 2*i + 5*l = 4 + 4. Let h(c) = -c**3 + 81*c**2 - 76*c - 313. Let m be h(80). Solve -b + 2*b = 4*z - m, 3*b - 5*z + i = 0 for b.
-3
Let r(p) = 34*p + p**2 + p**3 - 38*p + 0*p**2 + 3. Let a be r(2). Solve -a = m - w + 5*w, 5*w + 20 = -5*m for m.
-3
Let u be (-18)/4*50/(-75). Solve 2*v = o + 6, -v - 10 = v + u*o for v.
1
Let a(d) = d**3 - 9*d**2 - 8*d - 1. Let g be a(10). Solve 0 = 2*m - 3*p - 18, 5*m - 4*p = -3*p + g for m.
3
Suppose -4*w + 25 = w. Let v(b) = -b**2 + 14*b + 17. Let l be v(15). Suppose k - l = 5. Solve 2*i + k = -x, i + w = -0*i + x for i.
-4
Let h = 1930 + -1927. Solve h*z - 3 = 0, -5*t + 17 = 2*z - 5*z for t.
4
Suppose -5*z + p = -28, -2*z + 2*p - 5 = -21. Solve 3*a = q - 13 - z, 3*q - 19 = 2*a for a.
-5
Let i(f) = 4*f + 31. Let x be i(-4). Solve -3*r + x = -4*b, -5*b - 12 = r + 2*r for b.
-3
Let g(k) = -13*k - 587. Let h be g(-46). Solve -4*v + h = p, 5*p - 2 = p + 5*v for p.
3
Suppose 0 = 3*g - 2*m + 3*m - 7, 2*g = 5*m - 1. Solve 0 = -0*w + g*w + 5*k + 12, k = -2 for w.
-1
Suppose 286*k - 289*k = -6. Solve 0 = -5*j + k*r - 0*r - 25, -2*j = r + 1 for j.
-3
Suppose 3*t - 9 = -y - 2, -5*y = 4*t - 2. Let l(g) = 74*g + 150. Let x be l(-2). Suppose -x*n = t*n. Solve n = 2*a - 0*d + 5*d - 12, d = 4 for a.
-4
Suppose -2*d = -6*d + 12. Let q = -1125 - -1131. Let w = 3 + -1. Solve w*s + 5 = q*s - d*j, -2*s = -2*j for s.
5
Suppose -u + 4*u - 45 = 0. Let a(m) = m - 1. Let o be a(1). Suppose o = -7*n - 129 + 346. Solve -4*p - n = 5*w - p, 5*w + u = 5*p for w.
-5
Suppose 15*m - 14*m - 2*j = 0, -3*j - 6 = -3*m. Solve 3 = 5*b + m*d, 4*d = 5*d - 2 for b.
-1
Let u(d) = d - 12. Let w be u(-4). Let v be (3 + 1*w/6)*0. Solve v = -4*j + 4*m - 10 - 6, -10 = 2*j - 3*m for j.
-2
Let t(k) = 0*k**2 + 2 + 8*k**2 - 9*k - 5*k - 92*k**3 + 91*k**3. Let m be t(5). Solve 3*g + 2 = -p, m = 3*g - 4*p - 1 for g.
0
Let o = 651 - 651. Solve 4*j + c + 1 = 0, -4*c - 17 + o = 3*j for j.
1
Let b(v) = -3*v - 2. Let o(z) = 2*z + 2. Let k(w) = 3*b(w) + 4*o(w). Let y be k(-3). Solve 0 = -2*t - s, 2*t - 6 = -y*s + 2 for t.
-1
Let y = 112 - 174. Let a = y + 67. Solve -n + 8 = 2*o - 2*n, 5*o + a*n = 35 for o.
5
Let f be (2/(-4) + 0)*0. Let w be ((-68)/51)/((-2)/3). Suppose r = w*r - 3. Solve f*g + 4*p = -g - 15, -r*g - 5*p - 24 = 0 for g.
-3
Suppose -11 = 3*t + 5*n, -5*n - 1 = 2*t - 4*t. Let o(q) = -q**3 - 2*q**2 + q + 4. Let k be o(t). Solve -3*u = k*r + 18, -3*u = r - 4*r + 3 for u.
-4
Suppose 0 = -2*y - 5*n + 8, -42*n + 44*n - 12 = -3*y. Solve -13*c + 16*c + 3*u = 0, -27 = -y*c + 5*u for c.
3
Let n be 2*(-1)/(-4)*26. Suppose o - 26 = -10. Let y = o - n. Solve 5*h + 20 = 4*i + 3, -4*h + y*i - 13 = 0 for h.
-1
Let v(o) = o**3 - 2*o**2 + 2. Let m = 19 + -16. Suppose 3*c = 2*k + 8, -m*c - 2*c + 10 = -5*k. Let j be v(k). Solve l - 4 = 4*w, -l + 1 = -j*w - 3 for l.
4
Let t = -1434 + 1436. Solve 2*v = g - 5, t*v + 3*g = 2*g + 5 for v.
0
Let i = -716 - -716. Solve 0 = 2*o - r + 7, 5*o + 2*r + r + 34 = i for o.
-5
Let b = -16 - -26. Suppose -b*r + 56 = -6*r. Suppose 2*z + r = 5*k, k - 1 = -3*k + 5*z. Solve 0 = -2*f + 2*w - k, -2*w = -3*w + 4 for f.
2
Let x be 0 + -18 + -6*(-6)/(-12). Let s = x - -21. Solve -2*f + 0*f + 3*t - 1 = s, 2*t - 14 = 4*f for f.
-5
Let g(r) = 3*r**2 + r + 1. Let v be g(1). Suppose 15 + 10 = v*k. Solve 0 = -2*h + 10, -4*j - 41 = -0*j - k*h for j.
-4
Let r(b) = -5*b + 10 + b + 3*b. Let n be r(10). Let s be (n/3)/((-6)/(-2)). Solve 8 = -3*o - o + 4*i, s = -4*i + 4 for o.
-1
Let f(z) = z**2 + 21*z - 20. Let l be f(-22). Suppose -2*n - 1 - 3 = 0. Let q be (n - -3 - l)*0. Solve q = 3*m + g - 7, -m + 5*m = -4*g + 12 for m.
2
Let z be ((-42)/28)/(2/(-4)). Suppose -8 - 1 = -z*n. Let b = n - 1. Solve -4*l - 3 = 5*j + 12, 2*j = -b*l - 6 for l.
0
Let d = -4 + 6. Let j be (0 + -2)*(-4)/(-8). Let z be 87/18 + j/(-6). Solve 2*f + z = 3*p, -5 = 3*f - d for p.
1
Let p(c) = -c**3 + 3*c**2 + 7*c + 6. Let j be p(4). Solve -i = -2*i + 2*y + 3, -i - 5*y = j for i.
-3
Let o(l) be the third derivative of l**4/24 + 5*l**3/2 + 19*l**2. Let w be o(-10). Solve 3*d = h - 3, -5 = d + 4*d - w*h for d.
-1
Suppose 11*f = 6*f + 6*f. Solve -4*m + f*z - z = -15, -3 = 3*z for m.
4
Let u be 8 + ((-20)/15)/((-1)/3). Suppose -4*v - u = -7*v. Solve 4*q = v*z - z - 17, -z - 16 = 3*q for z.
-1
Let r be (2 - -1)*20/30. Suppose 0 = r*y - 2*b + 10, -y + 25 = -0*y + 5*b. Let x be 18 + y/1 + 3. Solve 0 = 4*p + d + 16, 5*p + 2*d + x = d for p.
-5
Let j be (-3)/(-9)*0 - -31. Let m = j - 29. Solve 5*u - m*x - 13 = 0, 5*x = u + 3*x - 9 for u.
1
Let c(r) = 8*r + 117. Let p be c(-14). Solve -15 = -p*d, b + 5*d = 3*d + 11 for b.
5
Let t = -5 + 15. Let d = t + 6. Solve -4*x + 4*q = x + d, 2*x + 2*q - 8 = 0 for x.
0
Let h(j) = 122*j + 3. Let i be h(1). Suppose -4*m + i = m. Solve 2*f - 7*f = v - m, 4*v + 2*f = 28 for v.
5
Suppose 5*g + 31 = -14. Let t = g + 14. Let w be (-117)/(-52) - 3/(-4). Solve w*x - x - t*h - 7 = 0, -x - 10 = 2*h for x.
-4
Let d(t) = -67*t - 197. Let z be d(-3). Solve 0 = 2*p + 3*y - 16, 5*p = z*p - 5*y + 15 for p.
5
Let x be (1526/35)/(2/5). Suppose 9 = -x*j + 112*j. Solve -b + j*m - 8 = -3, 2*b = 4*m - 6 for b.
1
Suppose 0 = c - 10 - 5. Suppose -5*r = -4*w + 5, r - c = -4*r. Suppose -10*q - 4 = -3*j - 9*q, 4*q = 3*j + 11. Solve -6 = 4*y + n - 20, -j*y = w*n - 19 for y.
3
Let j = 458 + -454. Solve 3*y + 15 = j*b, 0*y = 2*y + 10 for b.
0
Let w(o) = -o**3 - 2*o**2 + 3*o - 15. Let b be w(-4). Solve 4*c + 5*k - 15 = 0, 0 = b*c - 7*c - 4*k + 6 for c.
5
Suppose 3*c = 3*o - 9, 7*o - 2*c = 10*o - 14. Solve 0 = 3*n - 0*n + 4*d + o, 0 = 2*n + 4*d + 4 for n.
0
Let d(p) = -5*p - 12. Let g be d(-9). Let l be g/44 + 798/(-8). Let j be 2/(-9) + (-22)/l. Solve -12 = 4*z - 0*n - 4*n, -4*n - 4 = j for z.
-4
Suppose 24*k - 17*k = -28*k. Solve 5*s - 15 = k, -s - s + 26 = -4*w for w.
-5
Suppose -12 = 2*t - 4*f, 5*t + 4*f + 21 = 47. Let s be 0 - (-4)/((-1)/(-1)). Solve -3*p = -u + 14, -s*u - t*p = -p - 17 for u.
5
Suppose 14 = -4*n - g + 4, -n + 5*g = -8. Let v be n*-6*(-6)/(-9) + -3. Solve -10 = -2*x + w, -v*x + 3*w + 9 + 16 = 0 for x.
5
Let b = 517 - 517. Solve 2*g = -2*d - d - 4, b = 3*d + g + 2 for d.
0
Let o be (7/(-14))/(2/(-100)). Solve -3*r - 6 = -3*z, -2*z + 0*z - 5*r + o = 0 for z.
5
Let u = 5 - 0. Suppose -19 = -5*o + 6. Solve -4*z = 4*x - 4, o*z + 4*x + 1 = u*x for z.
0
Suppose -20 = 6*h - 8*h. Let b(v) = v**3 - 11*v**2 + 8*v - 3. Let n be b(h). Let z = n + 27. Solve 5*k + d = 3*d + z, -2*k - 2 = d for k.
0
Let z(m) = -4*m - 1. Let i(p) = p + 1. Let q(v) = 5*i(v) + z(v). Let h be q(9). Solve 2*o + 2 = -4*f, h = -f - o + 3*o for f.
-3
Suppose -3*s + 7 = -2*r, 51*s - 49*s = 2*r + 4. Solve -5*w - 3*h = -h - 10, 0 = s*w - 3*h - 6 for w.
2
Let m(r) = 3*r + 24. Let q = -14 + 7. Let a be m(q). Solve 3*g - 8 = i, 4 - 2 = -4*i - a*g for i.
-2
Suppose -275 + 267 = -2*h. Solve 2*f = 4, u - f + 5 = h*u for u.
1
Suppose c - 4*c + 18 = 0. Suppose 0 = -4*p - 2*y + 6, -11 = -3*p + c*y - y. Solve -4*z + 2*f = 2, 4*f - 8 - 16 = -p*z for z.
2
Let q = -102 - -102. Let m = -400 + 916. Let l be m/18 - 1/(-3). Solve -j + 7 = 2*j + 4*a, q = 5*j - 2*a - l for j.
5
Let h be (1/(-3))/(3/(-36)). Let z be ((-40)/(-30))/(h/6). Solve 45 = 5*s + 4*m, z*m + 10 = 4*s - 0 for s.
5
Let o be 33/(-12) - -3 - (-87)/(-12). Let s be o/1*(4/(-2) - 0). Solve 20 = -4*p + x - 1, p = 2*x - 