b + 1 = 0 for p.
1
Let j = -369 - -374. Solve n = j*v - 25, 0 = 4*n - 2*v + v + 5 for n.
0
Let z be 1 - 1 - (-131 - 4). Let f be (2/(-3))/((-30)/z). Suppose 2*y - f = 3. Solve 0 = 3*t + y*d - 3, t = -t - d + 3 for t.
2
Let j = -877 + 892. Let k = -4 - -6. Solve k*x = -5*u - j, 4*x - u + 12 = -5*u for x.
0
Suppose -7*t = t - 40. Solve 0*d = d - t*j + 18, 4*j - 18 = 2*d for d.
-3
Let h(i) = -3*i**3 + 3*i**2 - 7*i + 5. Let v be h(2). Let n be 14/v + 8/3. Solve -5*x = 4*s - 12, -s - n*s - 26 = -5*x for s.
-2
Suppose -35*i + 32*i = 0. Solve i = -2*l + 5*q + 30, -l + 5*l - 4 = -4*q for l.
5
Let c(t) be the first derivative of t**2 + 44*t - 16. Let r be c(-21). Solve -3*z = 3*w - 21, -z = 4*z - r*w for z.
2
Suppose 2*i - 3*i = -15. Suppose i*g - 12*g = 0. Solve -h + 10 = t + t, 5*h + 3*t - 22 = g for h.
2
Let n(z) = 0*z**3 - z**3 + 2*z**3 - 8*z - 5*z**2 + 15. Suppose -20*j + 104 + 16 = 0. Let b be n(j). Solve -4*a + c + 0*c = -8, a = -b*c - 11 for a.
1
Let t = -40 - -42. Suppose -3*c + 3*r + 27 = 0, t*c + r = c + 1. Solve 4*q = -l - l, -c*q - 4*l - 6 = 0 for q.
2
Let n(o) = o - 4. Let d be n(11). Suppose -38 = -d*u + 32. Solve -4*t + 32 = -3*w + u, -4*w - 3*t = -4 for w.
-2
Let v(y) = -y**2 + 4*y - 3. Let d be v(2). Let h = d + 4. Suppose 4*n = -2*t + 14, 0 = -h*n + 2*t + 4. Solve 0 = -3*o + o - 4*c + 6, n*c = 5*o + 9 for o.
-1
Let a be 1 + 4/(3 - 7). Suppose 26 = 3*u - 5*d, a = u - 3*d - 1 - 13. Solve 9 = 3*v, u*c - v - 3*v + 12 = 0 for c.
0
Let a(j) = -5*j + 4*j + 0 + 3 + 5. Let n be a(4). Solve t = n*u + 13, 1 = -u + t - 3 for u.
-3
Suppose -131*q + 132*q - 4 = 0. Solve -k + q*o - 6 = k, o + 12 = -4*k for k.
-3
Let k = -48 + 38. Let v(c) = -c**2 - 11*c - 7. Let u be v(k). Solve -u*m = h + 2, 8 = 3*m + 5*h - 6 for m.
-2
Let i = 33 + -30. Let s(f) = -f**2 + 2*f. Let d be s(i). Let x be (6 - (d + 6)) + 19. Solve -5*r - 14 = -3*t, x = -t - 9*r + 4*r for t.
-2
Let g(q) = -2*q + 10. Let k be g(-14). Let m = k - 36. Solve -3*t + 1 = 4, 3*d = 5*t + m for d.
-1
Suppose 136 + 84 = 22*p. Solve p = -3*a + 2*z - 13, 3*z - 12 = 0 for a.
-5
Suppose -v + 3*z - 6 = 0, -4*v + 5*z - z = 8. Solve 16*d = 12*d + 4*k + 20, v = -d + 2*k + 10 for d.
0
Let n be 6/14*(12 + (-2 - 3)). Solve -4*v - n*t + 1 = 0, 5*t + 0 = 5*v - 10 for v.
1
Let r = 21 + -15. Solve -5*i - 1 = -2*u, -r*i + 18 = 5*u - 3*i for u.
3
Let r(l) = 2*l**3 + l**2 - 7*l + 2. Let x be r(3). Let j be (2/(-4))/((-11)/x). Solve 12 = -3*i, 3*i + j*i = -5*w - 25 for w.
-1
Let s = -729 - -733. Solve 0 = a - 5*m - 2, 0*a - s*a - 10 = -2*m for a.
-3
Let r be (1282/18 - 3) + 4/(-18). Let t be r/(-34) + (4 + -1)/1. Solve 2 + t = -3*s, -o + 4*s + 3 = 0 for o.
-1
Let u = 55 - 49. Suppose -u*r = -23 - 31. Solve -2*h + h + 10 = 5*d, -2*d - 3*h = r for d.
3
Suppose 0 = 5*o + 4*t - 2, -t = -0 + 2. Solve 1 = z + g, 0 = o*g + 6 for z.
4
Let u(n) = -n**3 - 10*n**2 - n + 12. Let z = -8 - -5. Let r = -13 - z. Let s be u(r). Solve -4*h - 3*q = -q - s, -q = -1 for h.
5
Let j = 637 - 635. Solve 2*b + b = j*c - 14, -10 = -b - 3*c for b.
-2
Suppose -25 = p - 3*f - 91, -4*p + 5*f + 236 = 0. Suppose 0 = -5*b + 4 - p. Let d be 1 - -3 - 5 - b. Solve n = 5*k + 4*n - 29, -n = -3*k + d for k.
4
Suppose 0 = 2*m - 81 - 73. Let f = m - 51. Solve 0 = -5*z - 2*i - f, z - 2 = -4*i + 6*i for z.
-4
Let t be ((-4)/(-7) - 275/175)*0. Solve -5*h + t*h = 5*r, 2*h = -r + 5 for h.
5
Let z(w) = 2*w + 19. Let m(a) = a**3 - 6*a**2 - 15*a - 15. Let c be m(8). Let d be z(c). Solve -5*h + 0 = 5*u - d, 2*u - h = -13 for u.
-4
Let c(g) = 0*g**2 - 1 - 3 - 9*g**2 + g**3 + 9*g + 2. Let f be c(8). Suppose -f*n + 5*n = -5. Solve 8 = -i + n*k - 9, -i + 1 = k for i.
-2
Suppose 5*v = -a - 2*a + 62, 5*a + 2*v = 97. Let z = a - 16. Solve 3*l + 2 = -c + 2*c, 2 = z*l - 5*c for l.
-1
Let v = 1287 + -1282. Solve -2*b + v*n = -13, 5*b + 16 = -4*n + 32 for b.
4
Suppose 4*g = 2*z + 9 + 13, -2*g + 3*z = -17. Suppose -6*k + g*k = -8. Solve -d - 2*d = k*c - 20, 25 = -3*d + 5*c for d.
0
Suppose 0 = -5*i + 90. Let m = -14 + 13. Let x(v) = -2*v**3 + v**2 + 2*v + 1. Let n be x(m). Solve i = -4*j - 2*k, -n*j + 2*k = -4*j - 14 for j.
-2
Let d(t) = -2*t - 4. Suppose 4*p + 0*p = -20. Let x be d(p). Suppose -u - x = -4*u. Solve f + 9 = -h, 4*f - u = 3*h - 3 for h.
-5
Let g(q) = 2*q**3 - 5*q**2 - 3*q + 14. Let z be g(2). Solve 3*m = -0*o - 2*o - z, -3*o = 4*m + 4 for m.
-4
Let l = 14 + -16. Let g be (-1*1)/(l/4). Let q(f) = -f**2 - 6*f - 4. Let r be q(-4). Solve -2*j + 30 = -r*i, -4*j + i = -g*i - 35 for j.
5
Let b(s) = -s**2 - 12*s + 33. Let w be b(-14). Suppose -3*x = -w*j + 32, -3*x + 5 = 5*j - 3. Solve j*i = i + 5*h + 6, 5*h = -4*i - 27 for i.
-3
Let b = 300 + -295. Solve i + 2*i + 4 = b*y, y - 6 = -2*i for y.
2
Suppose -19*n - 9 = -16*n. Let f be (-1)/(-1) + n + 3. Solve 3*d + f = 4*c + 17, -3*c = 3 for d.
4
Suppose -o - 5 = -4. Let f(y) = y**2 + 2*y + 1. Let s be f(o). Solve i - 12 = -5*b, s = 3*b - b - 2*i - 12 for b.
3
Let o be (-1 - 19)/(-12 + 10). Suppose -2*b = r + o, 4*r = -5*b + 6*b - 13. Let m be -1 - 2*b/2. Solve m*v - 8 = -h + 3*h, 2*v + 5*h = -6 for v.
2
Let d be 42/70 + 88/(-5) + 0. Let b = -13 - d. Solve j - 14 = b*p, 5*j - 2*p + 4 = 2 for j.
-2
Suppose 2*f - 3 = 7. Solve 3*u + y = -14, -f*u + 3*y = -0*y for u.
-3
Let z be 5/7*4*(17 + -10). Let y be 12/(-18) - 8/(-3). Solve 2*l + 3*a - z = 0, 3*l + a = y*a + 8 for l.
4
Let p = -254 + 256. Solve 3*w - w - 2*i = p, 0 = 5*i - 5 for w.
2
Suppose 3*k - 34 = 2*s - 7*s, 0 = 2*k - 6. Solve -5 = -l - p, s*p - 25 = -2*l + 3*l for l.
0
Let p(g) = 2*g + 18. Let l be p(-7). Suppose 6*i - 10 = l*i. Solve 3 = -i*v + 2*b - 22, 4*b = -5*v + 5 for v.
-3
Let m(u) = 4*u - 42. Let j be m(18). Suppose -5*q + j = f + f, f - 5*q + 15 = 0. Solve f*o - 8 = 2*l - 1, 4*o - 12 = 0 for l.
4
Suppose -3*j - 3*j + 24 = 0. Suppose 0 = -j*o - 3*w - 1 - 4, -3*o + 4*w = -15. Solve -3*k = 3*z + 15, 2*z - z - o = 5*k for z.
-4
Suppose -30*c + 10 = -28*c. Solve -4*q + s + 17 = 0, 0 = -3*q + 3*s - c + 20 for q.
4
Let n(r) = 5*r**2 - 130*r + 4. Let h be n(26). Solve 14 = b + h*d, -8*b + 7*b - d + 5 = 0 for b.
2
Let k(c) = -14*c + 364. Let z be k(26). Solve 4*g - 15 = 2*g - t, z = 4*g - 3*t - 5 for g.
5
Suppose -6*y - 4*k + 172 = -4*y, 3*y = 3*k + 276. Let i be (2/(-6))/((-10)/y). Suppose -2*a + i*w = -4 + 11, 7 = 3*a - w. Solve h + h = 5*s, a*s = h for h.
0
Suppose -12 = -3*j, p + 2 = -4*j + 20. Suppose 0 = -3*o - 5*u - 9, 5 + 0 = -p*o - 3*u. Solve 16 = 5*f + o*a - 7, 5*f - 2*a - 7 = 0 for f.
3
Let j be (1450/(-870))/(10/(-168)). Suppose -5*i + 9 = -1. Solve 2*x - 4*y - j = 0, 0 = -5*x + i*x - y + 7 for x.
4
Let s be (-26)/((-14)/8 - (-6)/(-24)). Solve 3*b + 0*b = -p - 9, 3*p = -2*b - s for b.
-2
Let y = 20 - 18. Solve y*n = -2*v + 4*v - 12, -5*v + 2 = 2*n for v.
2
Let h be 15/6*(-1 + 5). Let p = -116 + 120. Solve -5*b = -h, 0 = -p*s - 3*b + 2*b + 10 for s.
2
Let h(o) = o**2 + 22*o + 26. Let z be h(-21). Solve -2*p - 4 = -z*k - 0*p, 3*p = -5*k - 6 for k.
0
Suppose -18 = 3*b - 3*n, 13 + 10 = -4*b + 3*n. Let v = -16 - -26. Let t = v + b. Solve 3*z = 6, 5*z + 1 = t*i - 14 for i.
5
Let s(i) = -i + 2 + 0*i + 10*i**2 + 7*i - 3*i. Let t be s(-2). Suppose 4*u - 5*y - t = -0*u, 0 = -y. Solve -m = 5*o - 8 - 7, 0 = -m + o - u for m.
-5
Let c(g) = g**3 + 7*g**2 - 10*g + 1. Let w be c(-8). Solve 5*x + w = -u, -5*u - 4*x - 19 = 3 for u.
-2
Suppose 47*c - 31 = 16*c. Solve 4*i + 2*m + 20 = 0, 4*m = -i - 6 + c for i.
-5
Let b = -44 - -46. Suppose 0*o + 2*o - 38 = 0. Let h be (-7)/(-35) + o/5. Solve 4*j + g + 30 = -g, b*j - h*g = 10 for j.
-5
Suppose 3*x + 5*f = 0, -x = -4*x - f + 12. Suppose 3*z = x*w - 20, -5*w + 11 + 9 = z. Solve 4*s + 4*k = 0, z*s - 4*s = 3*k for s.
0
Let p(c) = c**3 + 35*c**2 + 65*c - 30. Let n be p(-33). Solve -3 + 5 = 4*s - d, n*d = -3*s - 6 for s.
0
Let n be 1*2/4*-6 + 11. Suppose -15*d = -13*d - n. Solve 0 = -3*b - 4*a - 4, 2*a = b + d*a for b.
-4
Let k be (6 + 9)*2/6. Solve 3*r + 2*p = 4*r + 11, 4*p = k*r + 25 for r.
-1
Let s(f) = f - 5. Let j be s(9). Suppose j*w - 3*k + 36 = 0, 2*w + 16 + 16 = -2*k. Let b be (-66)/w + (-1)/2. Solve 4 = b*u - 5*m - 21, -2*u - 10 = 2*m for u.
0
Let q = 12 + -10. Suppose 3*u - 14 = -2*m, -16 = -u - 3*u - q*m. Solve 5*k - 33 = 2*t, -2*k - u*t = k - 7 for k.
5
Let s = -75 + 93. Let f be 3*-1*(1 - -4). Let j = s + f. So