uppose -t*p + 1 = -p. Solve k + r = p for k.
-3
Let f(o) = -o - 1. Let s be f(-4). Suppose -2*r = s*r - 15. Solve l + r = 2*l for l.
3
Let y(g) = g**3 - 3*g + 3. Let x be y(2). Suppose 4*u - 36 = -4*l, 4*u + 2*l = -u + 36. Let q be 3 + (-2)/(u - 4). Solve -q*i = -i + x for i.
-5
Let c be (-221)/(-85) - (-3)/(-5). Solve 1 = -c*q - 3 for q.
-2
Suppose z - 4*k + 14 = 0, 2*z - 6*k + 16 = -k. Suppose 0 = -5*n - 3*s + 10, -7 = s - 2. Solve -z*p + n = -3*p for p.
-5
Let w be 15/(-30)*(0 - 0). Solve -f + 3 = -w for f.
3
Let d(o) = 3*o**2. Let l be d(1). Let z = 35 - 24. Solve 1 = -l*r - z for r.
-4
Suppose -140 = -9*w + 2*w. Solve -4*n - 4 + w = 0 for n.
4
Suppose -2*a + 3*z = 3*a + 39, -4*a - 3*z - 15 = 0. Let w = 7 + a. Solve -3*p = -w - 2 for p.
1
Suppose 5 = r, 10 = -6*q + 11*q - 5*r. Solve q = 4*f - 9 for f.
4
Suppose 0 = -2*x + t + 5, -2*t + 5*t + 3 = 0. Let w = -7 - -7. Suppose w*i = 2*h + 3*i - 6, 0 = 3*h - i - 9. Solve -h*d - 5 = x*d for d.
-1
Let b = 73 + -73. Solve 1 = -g - b for g.
-1
Let o = 67 + -47. Solve -4*v - o = -0 for v.
-5
Suppose 0 = -5*y + 4*u - 19, 2*y + 2*y + 14 = 2*u. Let x = 0 + 5. Let s = x + y. Solve r + s = 2*r for r.
2
Let l(s) = -s**2 + s. Let d be l(0). Let p(m) = 4*m**2 - 1 + 4*m + 3*m - 5*m**2. Let g be p(6). Solve -n + 0 - g = d for n.
-5
Let f(q) = -4*q**3 + 4*q - 3. Let j(b) = 8*b**3 - 9*b + 7. Let p(v) = 5*f(v) + 2*j(v). Let u be p(1). Let s = u + 5. Solve -3*c + s + 7 = 0 for c.
3
Suppose 2*f = -2*h + 28, 5*f + 11 = -4. Suppose 4*l + 40 = 2*c, 2*l + 3*c + 3 + h = 0. Let m be ((-156)/l)/((-8)/(-20)). Solve -m = -5*i - 14 for i.
5
Suppose -2*y = 5*t - 5*y - 30, 0 = 2*y. Let n be 9/(-36) + 34/8. Solve -5*a + n = -t for a.
2
Let n(y) = y - 1. Let o be n(10). Let d be 2/(-4) - 22/(-4). Solve d*m + 16 = -o for m.
-5
Let s be ((-5)/3)/(10/(-30)). Solve 3*r + 1 + s = 0 for r.
-2
Let p(j) = -j**2 - 4*j + 15. Let u be p(-6). Solve u*q = -0*q - 6 for q.
-2
Let y(z) = 2*z + 1. Let d be y(1). Let q be 1 - d - -3 - 0. Solve 3*x + 5 = -q for x.
-2
Let c = -121 - -136. Solve -1 = 4*x + c for x.
-4
Suppose 0 = 6*r - 4*r - 14. Let g(n) = 19*n**3 + n**2 - n + 1. Let y be g(1). Solve 2*s - r*s = -y for s.
4
Let g(y) = y**3 + 4*y**2 + 2. Let p be g(-3). Solve p = -3*w + 2 for w.
-3
Suppose 3*i + 6 = 15. Let x(z) = -z**3 + 5*z**2 + 2*z - 1. Let y be x(i). Suppose -3*q = -y + 8. Solve -5*s - 5 = q for s.
-2
Let v = -7 + 12. Suppose -v*h = -w + 4*w - 23, 5*w + 2*h - 32 = 0. Suppose t - 15 = w*b - 3*b, t - 5*b = 23. Solve 4*x + t = x for x.
-1
Let s(n) = -4*n**2 + n - 5*n**3 + 4*n**3 - 2 - n. Let x be s(-4). Let y be (-10)/(-4 + x + 4). Solve l = y*l + 16 for l.
-4
Suppose -17 = -3*h + 13. Suppose 0*u - 3*j - 116 = -5*u, -3*j + 109 = 4*u. Solve -3*p + h = u for p.
-5
Suppose 12 = -3*q + 5*q. Let b(f) = -f**2 + 6*f + 5. Let j be b(q). Solve j*a - 20 = a for a.
5
Let h(i) = -4*i - 3 - i**3 - 6*i - 5*i**2 + 5*i. Let w be h(-4). Let r be 2/(-10) - 22/(-10). Solve k + w = r*k for k.
1
Let k(i) = -9*i**2 - 2*i - 1. Let z be k(-1). Let y be (-10)/(-4) - 4/z. Solve 0*b + y*b = -12 for b.
-4
Suppose 3*v = 4*v - 5*s + 22, 4*v + 5*s = 12. Let c = -13 + 19. Let d = c + v. Solve 0 = 2*a - 2 - d for a.
3
Let w(o) = 4*o + 1. Let g be w(1). Suppose g*v = -2*h - 9, -2*h + 5*h - 5*v - 24 = 0. Solve -2*j = j + h for j.
-1
Suppose -78 = -4*x - 2*k, 18 = -0*x + x + 2*k. Let a(z) = z - 8. Let n be a(8). Solve 4*b - 9*b - x = n for b.
-4
Let w be (-3)/9 - (-56)/6. Let a be (-1 - -4) + w/(-9). Solve -a*p - 4 = 6 for p.
-5
Let c(r) = r**3 + 5*r**2 - 2*r - 6. Let y be c(-5). Suppose 4*t = 5*p, 5*p + 5*t = y*t. Solve p*j = -4*j - 16 for j.
-4
Suppose -4*j - 4 = -20. Suppose f + a = -a - 10, -5*f - 2*a - 10 = 0. Let q(w) = -w**2 - 9*w - 13. Let z be q(-7). Solve 5*b + z + j = f for b.
-1
Let n(t) = -t**3 - 5*t**2 - t - 4. Let l be n(-5). Suppose -6 = -2*s + 2*x, -2*x - 2*x = -5*s + 13. Let z = l - s. Solve -a + 2*a + 3 = z for a.
-3
Let h be (-33 + 33)/(((-2)/(-2))/1). Solve h = 3*a - 0*a + 3 for a.
-1
Suppose -1 - 11 = 2*t - 4*b, -b - 15 = -5*t. Solve 10 = t*m + m for m.
2
Let d = 2 + 2. Suppose -p = 4*p - 20. Let a be 0*-1*2/p. Solve a = -2*v - 0 + d for v.
2
Suppose 0*y - 2*y + 6 = 0. Let g be (y - 3)/((-4)/(-2)). Solve -5*q + 2*q = g for q.
0
Suppose 2*f = 5*i + 3, 4 = 2*i - i - 5*f. Let u(t) = -9*t**3. Let a be u(i). Suppose 0 = -b - 2*o + a, 4*b + 5*o = b + 24. Solve -8 = b*v - 2 for v.
-2
Let j be (-2)/(-5) + 23/5. Solve -j*k - 17 = 3 for k.
-4
Let w = 9 + -1. Let y = -8 + w. Suppose y = l + 4 + 1, 2*g - 9 = l. Solve g*i + 6 = 4 for i.
-1
Let b(v) = v**3 - v. Let t be b(1). Solve -4*p - 8 = -t*p for p.
-2
Let z(y) = -y**3 + 7*y**2 + 2*y + 6. Let n(x) = -3*x**3 + 22*x**2 + 7*x + 19. Let a(q) = -2*n(q) + 7*z(q). Let b be a(5). Solve 2*i = 3*i + b for i.
-4
Let a(j) = -2*j + 6. Let g(u) = -5*u + 19. Let l(y) = -8*a(y) + 3*g(y). Suppose -4*z = -20, -m = 2*z + 1 - 2. Let s be l(m). Solve -k - 2 = -s*k for k.
-2
Let m(u) = -u**2 + 5*u + 6. Let w be m(6). Suppose 3*p = -0*p + 15. Suppose z = -p*x + 15, 2*x + 2 = 2*z - 2*x. Solve -z*l + w*l = -25 for l.
5
Let u be 95/38*(-2)/(-5). Solve 0 = -2*l - u + 9 for l.
4
Suppose z + 1 = 5*w, -5*w + 3*w - 4*z - 4 = 0. Solve w = r - 3 + 1 for r.
2
Let h = -13 - -8. Let f be (2 + -1)*-1*h. Suppose f*j + 0*j - 2 = 2*g, 4*g - 16 = 0. Solve -3 + j = -n for n.
1
Let n = -41 + 41. Solve s = -n*s for s.
0
Suppose 5*n = -0*n + 10. Suppose 27 = n*q - 5*o + 1, -3*o = 12. Suppose -4*u + q*l = -24 - 36, -3*u + 5*l = -45. Solve -3*d + 0*d + u = 0 for d.
5
Suppose x - 4*v = 17, -2*x - 5*v - 10 = 8. Suppose 5*t - n = 19 + 2, 0 = -5*t + 3*n + 23. Solve -x = z + t for z.
-5
Suppose 0*u = 4*u - 48. Solve 0 = -5*n + 2 - u for n.
-2
Suppose -4*r = -u - 12, 8 = 5*u - 6*r + 3*r. Solve -s - u*s = 20 for s.
-4
Suppose 3*l = -3*y + 18 - 3, 3*l = 0. Suppose 3*x + z = 11, -y*z = -4*x - 0*z - 17. Solve x = -u - 3 for u.
-5
Suppose 3*r = -q - 16, -4*q + 2*q - 22 = 4*r. Let y be (q/(-2))/(1/14). Let t(u) = u**3 - 7*u**2 + u - 4. Let m be t(y). Solve m*z = -2 + 11 for z.
3
Suppose -5*t + 6 = -4. Let y be ((-3)/(-4))/(3/48). Suppose -y = -4*v, -d - t*d + 2*v + 3 = 0. Solve -x - d = 1 for x.
-4
Let w(z) = -z**2 - 14*z - 9. Let y be w(-12). Solve 0*d + y = 3*d for d.
5
Let a(r) = r**2 + 3*r + 2. Let d be a(-3). Suppose 6 = 2*t + t. Solve t*l + d = -0 for l.
-1
Let g(p) = -p + 14. Let c be g(10). Let q be 0/(5/(5/1)). Solve q*a - a = c for a.
-4
Let w be (9/6)/((-3)/4). Let a = w - -5. Let t be (a - -3) + (1 - 3). Solve 13 = -t*d - 3 for d.
-4
Suppose -n = 3*k - 13, -k + 3*n = 2*n + 1. Solve r + k*r = 0 for r.
0
Suppose -q = -7 + 5. Solve -q*f = 2*f + 8 for f.
-2
Suppose -j - 4*j = 0. Let y = 7 + -5. Suppose -4*k = 0, y*m - k = -0*k + 24. Solve j = 6*h - 3*h + m for h.
-4
Let x(h) = h**2 + 4*h - 9. Let g be x(-6). Suppose v - 65 = -4*v. Solve g*y + v = -2 for y.
-5
Let y(n) = -n**2 - 3*n + 4. Let r be y(-6). Let m = 16 + r. Solve m*t - 8 = 4*t for t.
-4
Let r = -155 + 160. Solve 2*t - 3 = -r for t.
-1
Suppose 0 = -3*l + 2*l. Let g be 0 + -1 + (0 - l). Let h be 0/(-1 - -1 - g). Solve 5 = -h*b + b for b.
5
Let u(r) = 1 + 2*r + 2*r - 5*r. Let x be u(1). Suppose -k = -x - 3. Solve k*g = -10 - 5 for g.
-5
Let y(r) = r - 4. Let d be y(4). Suppose 23 = -3*v + 74. Suppose -12 = -v*s + 14*s. Solve -4*i + d = s for i.
-1
Let y be (0 + 6/10)/((-14)/(-140)). Solve -y*f + 6 = -3*f for f.
2
Let x(t) = -t**2 - 6*t - 6. Let s be x(-6). Let u be (6/18)/(2/s). Let f = 4 + u. Solve -10 - 5 = -f*n for n.
5
Suppose -4*b + 29 = 3*l, -l + 0*b + 23 = 4*b. Suppose -l = 5*j - 18. Solve 3*h - 3 = j for h.
2
Suppose 0 = -5*z - 4*c + 66, 2*c = -z - 3*c + 30. Suppose -z = -o - o. Solve 0 = -o*i + 6 + 19 for i.
5
Suppose -4*g - 62 + 14 = -4*h, -3*g + 52 = 5*h. Solve -4*n + h + 1 = 0 for n.
3
Suppose -33 = 4*p - 57. Solve -2 = -2*l - p for l.
-2
Let v = 0 - -2. Solve 0*d = -v*d - 2 for d.
-1
Let t = -30 - -34. Solve 0 = -4*h + 2*h - t for h.
-2
Let h be 9*2 + 3 + -3. Let n = h + -8. Solve n = -d + 6*d for d.
2
Suppose 1 = -2*b + 13. Solve -b = -m - 2*m for m.
2
Suppose 3*p + 4*c - 40 = 0, -p = 3*c - 2*c - 12. Solve p*r - 20 = 4*r for r.
5
Let o = 2 + 0. Suppose 10 = 2*g + 2*z, 0 = o*g - g - z + 5. Solve -u + 5 = -g*u for u.
5
Suppose -2*u = 4*o + 2*u - 28, 5*o + 4*u = 38. Solve 4*i = 2*