Solve -3*x - p = z*x for x.
-4
Suppose -4*j = 0, 2*o = -2*o + 2*j + 8. Let n(f) = f**2 + 7*f + 6. Let p be n(-5). Let v = p - -4. Solve 3*t - o*t - 1 = v for t.
1
Let s be 32/12 - 2/3. Solve 3*r = -s*r - 20 for r.
-4
Let p be (3 + 0)/(0 - -1). Let g = 27 - 25. Suppose 1 + 2 = 3*f. Solve f + g = p*m for m.
1
Let v be 2/(-3) + (-55)/(-15). Solve 0 = -2*s - 1 + v for s.
1
Suppose -r - 3*r - 5*q = -3, 0 = -2*r + 2*q + 6. Let w(v) be the first derivative of -v**2 - 14*v + 3. Let p be w(-10). Solve t - p = -r*t for t.
2
Let j = 7 + -2. Suppose 0 = -j*q - 0 + 35. Solve -2 = 3*b + q for b.
-3
Let i(w) = -7*w + 19. Let l(t) = -2*t + 5. Let a(o) = -6*i(o) + 22*l(o). Let j be a(-7). Let s = j + -4. Solve 0 = -4*d + d + s for d.
2
Suppose -6 = -5*d + 4. Solve -6*p = -d*p - 16 for p.
4
Suppose -5*z = 3*t + t + 21, 2*t + 13 = -3*z. Let i = 2 + t. Let k = 6 - i. Solve 0 = -4*f + 15 - k for f.
3
Let l(v) be the first derivative of -v**2 + 2. Let z be l(-2). Solve 0 = -z*u - 0*u + 4 for u.
1
Let y(m) = m**2 - 4*m + 3. Suppose 2*o + 3*o - 2*s = 16, 3*s + 2 = 2*o. Let z be y(o). Solve z*a = -7 + 4 for a.
-1
Suppose 6*o = 5 - 5. Suppose b - 3*f + 7 = 0, -b - 3*f + 2*f + 9 = 0. Suppose -v + n - b = 3*n, v = 2*n + 11. Solve v*h + 9 = -o*h for h.
-3
Let m be 8/(-44) + (-92)/(-22). Let o(l) = -l**3 + 4*l**2. Let i be o(m). Solve 4 = -i*j + 4*j for j.
1
Suppose 2*n + 12 = 18. Solve n = -b - 2*b for b.
-1
Let q = 11 - 11. Solve 0*v - 3*v - 9 = q for v.
-3
Let p be (2 + -3 - 4)/(-1). Let n(a) = 2*a - 5. Let y be n(5). Solve -y*h = 15 + p for h.
-4
Let w(n) = -n**2 + 18*n - 32. Let r be w(16). Solve r*k = 2*k for k.
0
Suppose 3*b - 5 = 1. Suppose -46 = -4*q + 26. Suppose -w + 5*m + 2 + q = 0, 6 = -b*m. Solve 1 - 11 = -w*d for d.
2
Let s = 63 - 39. Suppose -g = 3*g - s. Solve -o + g = 2*o for o.
2
Let s be ((-3)/2)/(12/(-32)). Suppose 2*m - 10 = -s. Solve -2*z = -m*z for z.
0
Let t(g) = g**2 - 3*g - 7. Let c be t(5). Suppose -6*u = -2*u - c*d + 84, 3*u + 2*d = -46. Let i be 3/((15/u)/(-5)). Solve -i = -3*w - 3 for w.
5
Let b(c) = c**3 - 3*c**2 - 1. Let p be b(3). Let l = 3 + p. Solve -l*d + 6*d = 20 for d.
5
Let g be 4/(-14) - ((-27)/7)/3. Solve 0 = -4*d + 5*d + g for d.
-1
Suppose -9*s = -14*s + 30. Solve s*n + 20 = n for n.
-4
Let v = 11 - 4. Let y = v + -3. Solve 3 = -a + y*a for a.
1
Let a be (-10)/(-35) - 142/7. Let g be (a/(-6))/(2/3). Solve 0 = -4*z + 3*z + g for z.
5
Let w(t) = -t**3 - 8*t**2 - 7*t + 1. Suppose 0 - 16 = -4*b. Suppose -q + b = -5*q, 4*x + 2*q = -30. Let f be w(x). Solve -3 = -2*h + f for h.
2
Suppose 0 = -5*r + 4*m + 8, 2*r + m - 1 = -3. Let n(o) = -o + 7. Let c be n(4). Suppose r = c*a + 2*a. Solve a = -g + 2*g + 4 for g.
-4
Let l = 2 + 0. Solve 0*j = l*j - 10 for j.
5
Let m = 36 - 33. Solve 7*v + 12 = m*v for v.
-3
Let v be ((-16)/(-6))/(8/24). Let s be 2/(-3 - (-26)/v). Solve b = -3*b - s for b.
-2
Let k(a) = a + 13. Suppose 3*y + 7 = 5*q, 5*q - q = -4*y - 52. Let h be k(y). Solve -h*t = -t - 9 for t.
3
Suppose -7*w + 32 = -10. Solve w*i + 3 = 7*i for i.
3
Let t = 121 - 120. Solve 0 = -4*p + t - 5 for p.
-1
Let q = 12 + -8. Let g be 1*0*q/(-16). Solve 4*i + g = -8 for i.
-2
Let o(y) = -2*y - 1. Let r be o(-1). Let t(f) = -2*f + 5*f**3 - 6*f**3 + 3*f**2 + 4*f - 3*f. Let g be t(r). Solve -x + 0*x + g = 0 for x.
1
Let c(a) = -a - 5. Let i(p) = -2*p - 5. Let z(u) = -3*c(u) + 2*i(u). Let g be z(5). Suppose g = v - 3 + 1. Solve 6 = 2*d + v for d.
2
Suppose 0 = 7*o - 5*o - 14. Solve 5*n + o = -3 for n.
-2
Let u = -89 + 126. Suppose s = x + 9, 3*s - 3*x - u = 2*x. Suppose -49*d + 18 = -46*d. Solve -t + s*t = -d for t.
-2
Suppose 8 = z + 4. Solve -z*b - 10 - 10 = 0 for b.
-5
Suppose 10 = 5*p - 3*l + l, -4*l = -5*p. Let d = 1 + -1. Solve -p*q + 0 - 8 = d for q.
-2
Let a = 2 - -2. Let w be 59/2 - (-2)/a. Suppose -5*g = 5*k - w, 3*g - 3 = k - 13. Solve -2*x + 1 + k = 0 for x.
4
Let l = -4 + 6. Suppose -l*t + 3*t = 7. Let i(h) = h - 1. Let f be i(t). Solve -f*q = -3*q + 12 for q.
-4
Suppose -2*m + 4 = -2. Let h be (8/(-12))/((-1)/m). Suppose 4*c - 90 = -5*w + 3*c, 0 = -h*c. Solve -3 = -3*j - w for j.
-5
Suppose o - 2*o = -30. Let l be 460/o - (-1)/(-3). Solve -m = -4*m - l for m.
-5
Let w be 0/(2*(-1)/(-2)). Let g be -1*(-2 - w)/2. Let a = g + 6. Solve -a = 3*f - 1 for f.
-2
Suppose 3*h - 3*l = 57, h + 3*l - 1 = 2. Suppose 4*n = n - g + 11, -g + h = 4*n. Solve 0 = n*d - 3*d for d.
0
Let g(u) = -2*u - 5*u - 1 + 3*u. Let m be g(-2). Let k = 3 + m. Solve 2*c + k = -0*c for c.
-5
Suppose -1 = c - 3. Solve c*j + 1 = j for j.
-1
Let h(a) = a**2 + 5*a + 6. Let p be h(-4). Let i(y) = y**2 - 5*y - 8. Let c be i(6). Let x be (-1)/(-2) + (-31)/c. Solve -2*o - x = p*o for o.
-4
Suppose 12*j - 9 = 3*j. Suppose -44 = -3*q + k - 3*k, 3*q = k + 41. Let v be (-47)/(-7) - (-4)/q. Solve v = 2*r - j for r.
4
Let m = 9 - 5. Let c be 1/5*m*5. Suppose 5*q = 3*l + 8 - 1, 2*l = -2*q + 6. Solve q*z - z - c = 0 for z.
4
Let l = -20 - -8. Let d be (2 + l)/(-1 - 1). Let r be d + 1 + -2 + -2. Solve -2 = -h + r for h.
4
Let i(l) = l**3 - 10*l**2 + 10*l - 7. Let r be i(9). Solve -r = s + 2 for s.
-4
Let s be 0 - ((-2)/2 + -1). Let t be s/(-4) - 105/(-14). Suppose t*k - 2*k = 0. Solve k*z + 4*z = 16 for z.
4
Suppose 5*c + 4*u = 3*u + 38, c = 4*u + 16. Suppose -j + 3*p = -c, 3*p = -2*j - p - 4. Solve -j*s + 1 = -s for s.
1
Let c(k) = k**2 + 3*k + 2. Let l be c(-3). Suppose 0 = -2*y + 12 - l. Solve -26 = -y*p - 1 for p.
5
Suppose -13 = -u - 7. Solve -y = -u*y - 20 for y.
-4
Let s = 6 - 9. Let d be 4 + s + (3 - 1). Solve 2*k = d*k - 2 for k.
2
Let k = -126 - -81. Let i be (12/(-10))/(6/k). Solve 4*s + i = 7*s for s.
3
Suppose 13*u - 20 = 8*u. Solve 4 = u*a - 4 for a.
2
Let c(p) = p**2 + 4*p. Let z be c(-5). Suppose -z*t = -3*t. Solve -2*q + t = 4 for q.
-2
Let t(f) = -f**3 + f + 2. Let i be t(-2). Solve 3*y - i*y = 25 for y.
-5
Let l be 2/10 - 18/(-10). Let g = l + 6. Solve -2*h - g + 2 = 0 for h.
-3
Let y(u) = u**2 - u - 3. Let s be y(3). Solve -s = 4*z - z for z.
-1
Suppose 5*z - 5 = 4*j - 6, 4*z - 3*j = 0. Solve -6*c + 3*c + z = 0 for c.
1
Let q be 60/(-9)*(1 - -2). Let a = 20 + q. Solve 8 = 4*l - a for l.
2
Suppose 0*n - n - 3*t = -20, -3*n + 38 = -2*t. Let l be -3 - ((-56)/(-9) - 8/36). Let f = l + n. Solve 0 = -2*u + f + 1 for u.
3
Let o be 2/(-3) + 32/12. Let y(v) = -1 + v**3 + 0 + 5*v**3 - 3*v**3 - 2*v**2. Let z be y(o). Solve -4*r - r + z = 0 for r.
3
Suppose -u = -3*g + u - 5, 0 = 3*u - 12. Suppose -4*l - 6 = 10. Let v = l - -6. Solve -t - v = g for t.
-3
Let n = 1 - 1. Let z(c) = -1 - 5 + 2 - c + 5. Let x be z(n). Solve 5*s - x = 4*s for s.
1
Let p = 9 + -13. Let w(n) = n**2 + 3*n - 1. Let y be w(p). Suppose 5*m + 7 = m + 5*v, y*m + 9 = 5*v. Solve m = 4*f - 6 for f.
2
Let u be 10/(-3)*3/(-2). Solve 1 = -4*a + u*a for a.
1
Suppose a + 6*k = k + 10, 0 = -3*a - 4*k + 19. Solve 2*q + 1 = -a for q.
-3
Suppose 2*o - 72 = -o. Let v be 0/3 - 3*-1. Suppose -v*p = p - o. Solve p*q - 2*q - 12 = 0 for q.
3
Let k be 8/(-6) + 686/42. Solve 6*j = j + k for j.
3
Suppose 0 = 5*c + 2*o - 18, -3*c + o = -3*o - 16. Suppose 5*a + u = 2, 5*a + 2*u - c = -0*a. Solve a - 4 = q for q.
-4
Suppose -3*r - 3*l + 6 = 0, 4*l + 4 = r - 2*r. Suppose -65 = -r*c + 15. Solve -3*f - f = c for f.
-5
Let f be (21/(-35))/((-1)/5). Suppose -f = -w - a, 2 = -3*w - 2*a + 8. Solve n + w - 1 = 0 for n.
1
Suppose -2*d + 23 = p, 4*p - d = -2*d + 57. Suppose 0 = p*y - 12*y. Let c be ((-4)/10)/(2/(-10)). Solve -2*i - c*i + 20 = y for i.
5
Suppose -3*g = -4*g. Suppose g = 3*d - 5 - 13. Solve -4*r = -d*r for r.
0
Let q be (-4)/(-2) - (1 - 4). Solve -4*a + q - 13 = 0 for a.
-2
Suppose -5*q = -9 - 11. Let w(u) = u**3 - 5*u**2 + 2*u + 3. Let g be w(q). Let d = -4 - g. Solve d - 6 = 5*x for x.
-1
Suppose 37*s = 36*s + 2. Solve 3 - 9 = s*n for n.
-3
Suppose k + k = 24. Suppose 0 = 3*w - w - 8. Suppose k = -s + w*s. Solve -s*a + 30 = 10 for a.
5
Let v(h) = -h**3 - 2*h**2 + 2*h + 1. Let r be v(-3). Let i(a) = -1 + 3*a - r*a + a + a + 6*a**2. Let u be i(1). Solve -u = -3*t + t for t.
3
Let n(z) = -z**2 - z + 2. Let j be n(0). Suppose 5*q = j*q. Solve q = -a - 0*a + 1 for a.
1
Suppose 0 = -3*u - 0*u. Suppose -3*c + 0*t + 1 = -5*t, u = 5*c - 3*t - 23. Solve -5*w = -8 - c for w.
3
Suppose 15*u - 6*u = -9*u. Solve u = -20*v + 25*v - 5 for 