p - 4 = -2*h for h.
0
Suppose w = -4*w + 15. Let n be 0/(3 - w - -1). Solve -3*l - 5*x = n, 7*x = 2*l + 4*x + 19 for l.
-5
Let z = -4 + 6. Suppose 0 = j - 2*j + 4. Let b be (-1 + 5)/(-2) - -2. Solve -2*i - 6 = -z*x, b = 4*i - 0*x + j*x - 20 for i.
1
Let b be -2 + 4 + 0/(-4). Solve u = 3*v - 8, -4*u + 12 = -b*u + v for u.
4
Let i(w) = -10*w + 2*w - 6*w**2 + 3*w**2 + 2*w**2 - 12. Let f be i(-5). Solve -f*g + 4*q = 2*q + 8, 0 = 5*g + q + 22 for g.
-4
Suppose x - 26 = -x. Suppose -2*g + x = v - 6*g, 5*g = -10. Solve 2*t - 7 = -v*h - t, 2*t = -5*h + 3 for h.
-1
Let d be (-1)/((-2)/(-6)*-1). Suppose 0 = -4*k - d - 13. Let m be (-4)/(-8) - (-2)/k. Solve m = 4*g - p - 0 - 1, 4*p = 12 for g.
1
Let k(d) = d**3 - 10*d**2 - 13*d + 27. Let c be k(11). Solve 0 = -3*q + j, q - c*j = -3*q for q.
0
Let g be ((-2)/2)/(-3 + 1)*12. Solve g*p - q - 8 = 4*p, 3*p - 11 = 2*q for p.
5
Suppose 3*s = -0*s + 9. Solve 0*b + 3 = b - s*k, 0 = b + 2*k + 7 for b.
-3
Let h be 5/((3 - 3 - 1)*-1). Solve 29 = h*s + v, 4*v = 4*s + 2*v - 12 for s.
5
Let w(n) = 5*n**2 + 3*n**2 - 4*n**3 - 5*n**2 + 5 + 4*n + 3*n**3. Let j be w(4). Solve -a - a = j*l - 12, -4 = -2*l for a.
1
Let j be (2 - 5) + (4 - -1). Solve 0 = d - 2*i - 6, 5*i - j*i + 11 = 2*d for d.
4
Let x(f) = f + 1. Let h(c) = -3*c - 10. Let o(w) = h(w) + 5*x(w). Let j be o(6). Let u be (-1)/(-1*(-2)/(-50)). Solve -5*g = 5*n - u, 2*g + 3*n = j*g - 1 for g.
2
Suppose s + s - 10 = 0. Suppose -28 = -4*w - 3*f, -3*w = s*f - 28 - 4. Solve 0 = -2*y + 5*x + 20, -y - x + 12 = -w*x for y.
0
Let u = -7 - -2. Let f = 7 + u. Solve 5 = 5*k, -f*s + 8 = s + 5*k for s.
1
Let q(n) = -n - 5. Let a be q(-6). Let p be ((-7)/(-2) + -2)*2. Let r = a + p. Solve r*j + 4 = 0, 3 = t - 2*j - j for t.
0
Let y = 3 - -2. Suppose 5*z = -5*v + 60, -3*z + y*z - 8 = 0. Suppose 2*f = -0*f + v. Solve -4*c - 4*a + 16 = 0, -f*c + 3*a - 5*a + 16 = 0 for c.
4
Suppose -b = 2 - 8. Suppose -i = -51 + b. Solve 2*r + l = 5, 8*l + i = 4*r + 3*l for r.
5
Let d(j) = j**2 + 2*j + 2. Let g be d(-2). Solve 3*p = 3*u + 9, -u + g - 5 = -4*p for p.
0
Suppose 0 = 8*m - 32. Solve 0 = -2*b + 4*f - 10, f - 18 = -m*b + 7 for b.
5
Let p(w) = -2*w**2 - 5*w - 4. Let b be p(-3). Let y be 89/b - 8/28. Let d = 18 + y. Solve -d*c + 4*m - 3*m - 14 = 0, 4*m - 20 = 2*c for c.
-2
Let o = 9 - 7. Suppose 0 = -3*r + 16 + o. Solve -2*q = r - 2, -18 = -5*z - q for z.
4
Let i(k) = k - 20. Let l be i(0). Let u = l - -37. Let b be 33/9 + (-1)/(-3). Solve -3*p + u = -b*r, -4*p - 8 = r + 1 for p.
-1
Let l(p) = p**3 + 14*p**2 + 26*p + 26. Let h be l(-12). Solve 0 = -2*m + 3*g - h, -5*m - 2 = -4*m - 2*g for m.
2
Let g(m) = m - 1. Let v be g(3). Let x = v + 19. Let n = 6 + -3. Solve 0 = 5*w + c + 12, -5*w + 5*c - n*c = x for w.
-3
Suppose -2*w = 5*l - 12, -l = l - 2*w - 2. Solve -l*n - 2*n + 4 = 0, 3*u + 10 = 4*n for u.
-2
Let c(q) = 13*q**2 - 1. Let t be c(-1). Solve -2*b = 5*f - 2*f + 3, -t = -b + 3*f for b.
3
Suppose 4*y - 16 + 0 = 0. Suppose -y*j + 4 + 14 = -3*w, 0 = -2*j - 3*w. Solve j*n = i - 2*n + 29, 0 = 4*i - 4*n + 36 for i.
-4
Let i = -31 + 13. Let c = i - -24. Solve -3*u - 3*n = -c, -2*u + 0*n = n - 5 for u.
3
Let q be (50/(-40))/(1*2/(-24)). Solve 3*r = -s + 2*r, -4*r - q = s for s.
5
Suppose -3*v + 5*x + 41 = 3*x, 2*x + 19 = v. Suppose 3*i + 0*i - 2*o = v, o = 5*i - 16. Solve i*a + 8 = 4*s - 17, -10 = -4*s - 2*a for s.
4
Let z be -2*2/(-10)*15. Suppose -5*a + z = -4*a. Solve -4*i - v = -4, 3*v - a*v = i - 12 for i.
0
Let g(l) = -l**3 - 12*l**2 - 10*l - 4. Let h be g(-11). Let d = h - -16. Solve y - 4 = 5*q + d, -2*q - 2 = -y for q.
-1
Suppose -4*v = 5*a + 22 - 2, 20 = -5*a. Let n(d) = v*d + 4*d + d. Let q be n(3). Solve 4*m + w = -2 + 7, 4*m = -3*w + q for m.
0
Suppose c - 4*c = -12, 3*c = 2*j + 26. Let v = 12 + j. Solve 2*t + t + 19 = 4*n, -4*t - v*n = -16 for t.
-1
Suppose -s - 8 = -5*s. Solve s*b = -5*l - 8 - 16, -2*l + 2 = -5*b for b.
-2
Let a = 17 - 6. Let w be 2*(1 + a/2). Solve 5*s + 21 = -4*j, 0*s - w = 5*s + 2*j for s.
-1
Let q(t) = -t**2 - 9*t + 5. Let y be q(-5). Solve 5*o + y = 0, -g - 5*o - 40 = -4*g for g.
5
Let q = -45 - -47. Solve 0 = -p + q + 1, 0 = 5*n - 4*p + 37 for n.
-5
Let u = -19 + 21. Suppose -u*p = -2, 4*p - 8*p - 41 = -5*o. Solve f - 3 = -2*h, o = -0*h + h + 2*f for h.
-1
Let u = 17 - 15. Solve -50 = -5*s - 5*y, -2*s + 7 = -y + u for s.
5
Suppose -13 = -5*q - g + 4, 0 = 2*q + 3*g + 1. Let r = -1 + 5. Solve -r = -4*b, 4*b - 6 = -q*h + 2*b for h.
1
Suppose r - o - 13 = 0, -r - 2*r + 44 = 2*o. Let y = 4 - -27. Let q = y - r. Solve s = v + 2*v - q, 3*s - 4 = -2*v for v.
5
Suppose -51 = -2*k - k. Suppose 0 = -4*x + z + 2*z, 3*x = -2*z + k. Solve 3*p + 11 = 5*d - x, 15 = 3*d - 4*p for d.
1
Let f(n) = -30*n**2 - 4*n + 5. Let d(o) = 31*o**2 + 3*o - 4. Let c(j) = 4*d(j) + 3*f(j). Let q be c(1). Solve 4*u + 4*s - q = -13, 3*s - 1 = 4*u for u.
2
Suppose 0 = 3*a + 1 - 10. Solve 3 = -3*d - d - 5*v, 0 = v + a for d.
3
Let t = 48 - 46. Let q be 2/(-4) - 3/(-6). Solve 4*m - t*l - 18 = q, l + 2*l = 2*m - 7 for m.
5
Let n be (-23)/7 - 10/(-35). Let j = n - -7. Solve 0 = 2*o + 2*t, o - j = -2*t - 0*t for o.
-4
Suppose -2*q + 3*q - 7 = 0. Solve 0 = -a - 2*x + q, 0 = -3*a + 4*x - 2*x - 11 for a.
-1
Let k(q) be the first derivative of q**3/3 - 2*q**2 - 7*q - 1. Let g be k(6). Let z = -15 + 20. Solve -n = g*c + z, -n = 2*c + c + 1 for n.
5
Suppose -2*l - 3 + 0 = -s, -3*s + 3*l = -12. Solve 23 = -s*r + 2*p, -2*p + 27 = -4*r + 7 for r.
-3
Suppose 4*y - y = -12. Let a be (25/(-6) - -4) + (-37)/(-6). Let j = y + a. Solve -4*u - 5 = j*v - 31, 4*v = -u + 17 for u.
5
Suppose 2*i - 5 = -1. Suppose 2*z - d = 2*d - 6, -i*z + 18 = 3*d. Solve 3*a = -2*p + 21, -z*p + 6*a - 11 = 2*a for p.
3
Let i = -6 - -2. Let h be (-10)/(-45) + i/18. Let n(a) = -a - 2. Let j be n(-4). Solve 3*y + 12 = -j*c, -3*c = -h*c + 9 for y.
-2
Suppose -2*p - 2*p = -48. Let i be 3/p - 11/(-4). Suppose i*j - 8*j + 10 = 0. Solve 5*u - 15 = -4*o, -2*o - 5 = -j*u + 1 for u.
3
Let v(t) = -t**3 + 5*t**2 - 3*t - 4. Let u = 10 - 6. Let q be v(u). Solve -5*l = 4*d + 2, 5*d + q*d - 3*l = -21 for d.
-3
Let w = 119 + -71. Suppose 3*u - 3*s + w = 0, 3*s - 44 = 3*u + s. Let t(l) = -2*l - 3. Let x be t(u). Solve 3*b - 9 = 3*y, 5*b - 6 + x = -5*y for b.
0
Suppose 0 = y - 86 + 19. Suppose t = -o + 17, 5*t + 1 = 4*o - y. Suppose 3*x = 6*x - 12. Solve 0 = u - p - 9 + 1, u + o = -x*p for u.
3
Suppose 7 - 15 = -3*x + 5*n, -2*x + 3*n + 6 = 0. Suppose 3*v + 9 = x*v. Solve j = -4*r + 25, r - 35 = -3*j - v*r for j.
5
Suppose -38*s = -42*s + 32. Solve 0*q = -2*q + s, 2*q + 2 = 5*t for t.
2
Suppose -5*b = -5, b - 52 = -5*z + 4*b. Solve -2*q + 4 = -g - 9, g - z = -4*q for q.
4
Suppose -4*w - 3 = -5*w. Suppose -2*c + w + 5 = 0. Solve -4*l - c*j - 14 = j, l + 5 = -2*j for l.
-1
Let j = 156 + -151. Solve 2*g + 3*b + 16 = -b, -4*g + 7 = -j*b for g.
-2
Suppose 0 = -l - 2*i + 1, 0*l - 16 = -5*l + i. Solve -4*y - 17 = n, 4*y + l = -2*n - 19 for n.
-5
Let n(q) = -q**2 + q**3 + 8*q**3 + q - 5*q**3 + 0*q**2. Let c be n(1). Solve -4*u + 4 = 4*a, -a = c*a + 5 for u.
2
Suppose -4*g - 3 = -m, -5*m + 2*g - 3*g + 15 = 0. Solve -m*h = 5*d - 3, -2*d + 0 = 2*h + 2 for d.
3
Let s = 4 + -4. Let a be (-3 + 6)/(-3) - -16. Solve s = -4*m + 4*z, 3*m - 4*m = 2*z - a for m.
5
Let s(a) = -a**2 + 8*a - 7. Let o be s(5). Solve 0 = -4*h - n + 19, 2*n = -2*h - 0 + o for h.
5
Let x(o) = -2*o**2 - 3*o + 2. Let t be x(-3). Let d = -4 - t. Solve 3*h - 9 = j, 0 = 2*j - j + d for h.
2
Suppose 28*g = 5*g + 759. Let i be -10*-1*2/4. Solve 5*o - 5*l + 15 = 0, -3*l - g = i*o - 2 for o.
-5
Suppose -5*t = 3*d - 31, -4*d - 2*t = -5*d - 8. Solve 0 = -5*p + d*i - 0*i - 33, 4*p + i = -16 for p.
-5
Let x(c) = c**3 + 4*c**2 - 11*c - 30. Let a be x(-5). Solve 3*u + 2*d - 11 = 0, a*d = 4*u - d - 11 for u.
3
Suppose 1 = -2*s + 3*s. Let g(i) = 3 + s - 6 - i - 2. Let a be g(-8). Solve 0 = 4*c + 3*d + 31, -3*c + 14 = -a*c - 2*d for c.
-4
Suppose 0 = -3*u + u + 4. Let a be 3*(u - 12/9). Solve -a*p + 17 = 4*q + q, -2*p - 33 = -5*q for q.
5
Let s be 21/1 + (-1 - -2). Solve 2 = -4*a - 18, s = -4*w - 2*a for w.
-3
Let s(p) = -p + 17. Let t be s(15). Solve 9 = -5*h + 5*k - 1, t*k - 5 = 3*h for h.
-1
Let k(a) = -a**3 + 2*a + 3*a + 6*a**2 + 2*a**3. Let j be k(-5). Let x be -2 - 1*(j - 2). Solve 2*l + q = -q + 4, x = -4