= j for p.
-2
Let a be (0 - (1 - 0)) + 5. Solve -5*s + 14 = a for s.
2
Let j be (-26)/(-5) - (-48)/60. Solve -j*k - 1 = 5 for k.
-1
Let u be 3 - (-3 + 3 - -1). Suppose -73 = -u*r + h + 10, 3*h = -9. Suppose -r = -5*i - t, 5*i - t - 3 = 27. Solve -i + 2 = 5*x for x.
-1
Let v(h) = -h**3 - 7*h**2 + h + 15. Let x be v(-7). Solve -4 = 3*f + x for f.
-4
Let g be 9/(-12) + (-15)/(-20). Let q(v) = -2*v + 16. Let d be q(g). Solve 0 = -4*b - d for b.
-4
Let q = -4 + 10. Let x be (-2)/q*-9 + 0. Solve -x*s = s - 16 for s.
4
Let r(b) = -b**2 + 3*b + 1. Let q be r(2). Solve 4*j = q*j - 3 for j.
-3
Let m(p) = 5*p**3. Suppose -2*b - 5 - 5 = -3*y, 21 = b + 5*y. Let k be m(b). Solve -25 = -0*z + k*z for z.
-5
Let q = 9 + 3. Suppose 0 = 2*a + 2*a - q. Solve 0 = -a*k - 2 - 1 for k.
-1
Suppose d + 0 = -5, 5*d + 6 = -r. Suppose 0 = -2*h + 3*z - r, 5*h = 4*z - 12 - 25. Let t = h - -9. Solve 0*n = -t*n - 4 for n.
-1
Suppose p = 2 - 4. Let n = 4 + p. Suppose 0 = -n*i + 18 + 2. Solve -25 = -5*h - i for h.
3
Suppose 0 = -h - 5*v, -6*h - 2*v + 13 = -3*h. Solve -h*k + 7*k = -8 for k.
-4
Suppose -2*m = -3*r - 8 - 12, 0 = -5*m + 5*r + 40. Solve 0 = -m*t + 12 for t.
3
Let k = 0 - 6. Let p be 4/k + (-28)/(-6). Suppose -f - p*f = 0. Solve f = -5*l + 2*l + 12 for l.
4
Suppose 1 = k + 4. Let m be (4/(-3))/(2/k). Solve f = -m*f for f.
0
Suppose 0 = 3*z - 0*z - 18. Let r be (-2 + 3)/((-1)/2). Let w be (z - 2) + r + 0. Solve 5 + 3 = -w*g for g.
-4
Suppose 5*j + 0*m - m = 20, -3*m = -4*j + 16. Solve -3*o - j = -o for o.
-2
Let x be (-2)/((-6)/(0 - -3)). Suppose j + x = -0*j. Let t be j/(((-14)/(-20))/(-7)). Solve 0*k = 2*k - t for k.
5
Let h be (0 - 3)*(-40)/30. Solve -q = h*q - 15 for q.
3
Let c(a) = -a**2 - 9*a + 8. Let l be c(-8). Solve -4*w - l = -0*w for w.
-4
Let r be 3/6 + (-189)/(-6). Suppose -4*k + 4*q - 5*q = -58, q = 2*k - r. Solve -2*j + 5 = k for j.
-5
Let j = 24 + -12. Suppose 3*z - j = 4*d - 8*d, 3*z - 2*d - 12 = 0. Solve -s + z = -3*s for s.
-2
Suppose 0 - 14 = -2*k. Suppose 8 = 5*v - k. Solve -2*j - v*j = -20 for j.
4
Suppose 0 = -3*m + 8*m + 70. Let r = -10 - m. Solve -r = -3*y + 5 for y.
3
Suppose -4*r - 6 = -w, -5*r - 2 = -4*w - 0*r. Let b be (10 - 0/w)/2. Solve 0 = -4*j + b*j - 4 for j.
4
Let z(r) = -29*r + 1. Let l(f) = f. Let x(i) = 3*l(i) + z(i). Let t be x(-1). Solve 5*q - 2 + t = 0 for q.
-5
Suppose 0 = 2*l - 5*l. Solve 5*g + l*g - 20 = 0 for g.
4
Suppose -2*k + 2 - 21 = 5*g, 0 = -2*k + 4*g + 26. Let f(b) = b**2 - b - 4. Let d be f(k). Suppose -2 = -3*j - d*s, 0*j + 5*s - 5 = 4*j. Solve j = h + 2 for h.
-2
Suppose -5*x = -4*q - 12, 0 = -5*q - 2*x + 10 + 8. Suppose 0 = -q*j - 3 + 19. Solve 12 = 4*m - j*m for m.
-3
Let n(a) = -a**2 - 8*a - 8. Let c be n(-7). Let r = c - -5. Solve 3 + 5 = -r*v for v.
-2
Let a = 19 - 7. Let m be (-1)/4 + 75/a. Suppose -4*t + 7 + 11 = 3*k, -k - 8 = -t. Solve t = -3*f - m for f.
-4
Let n(a) = a**2 - 6*a - 3. Let s be n(7). Let o(b) = b**2 + 11*b + 4. Let g be o(-10). Let y be g/27 + 110/9. Solve -s*v = -8*v - y for v.
-3
Let b = 417 + -262. Let q be (-4)/22 - b/55. Let h = 8 + q. Solve h = -r + 2*r for r.
5
Suppose -18 = -6*g + 12. Solve g*l + 1 = 4*l for l.
-1
Let o be 19/(1/(-1 - -2)). Suppose -3*k + o + 11 = 0. Solve g - k = 3*g for g.
-5
Suppose 2*w = 1 - 5, -n = 4*w. Solve 2*f = -0 - n for f.
-4
Suppose 36 = 5*a - 4. Let x(w) = w**3 - 9*w**2 + 9*w - 5. Let g be x(a). Solve -4*z + z = g for z.
-1
Let x = -48 + 30. Let t be (18/(-5))/(x/45). Let d be (3 + -1)*t/3. Solve -2*k + d*k = 0 for k.
0
Let z = 41 - 41. Solve -3 = -u - z for u.
3
Let n = -124 + 137. Solve 5*x - 2 = n for x.
3
Suppose 2*k - 5*t = -14, 0 = 4*k - 4*t + t + 28. Let l be k/5 - (-8)/20. Let f be (-2)/2 - 1*l. Solve -3*n - 4 - 5 = f for n.
-3
Suppose 4 = 2*o + a + a, -4*a = 8. Suppose 0*f - j + 6 = 2*f, 11 = -5*f + o*j. Solve -4*g + f = 9 for g.
-2
Let q = 0 + 3. Suppose 0 = 5*j + 2*f - 54, 2*f + 27 = j - q*f. Suppose -h + 4*u + j = 3*h, 5*h + 3*u - 7 = 0. Solve -2*w + h = -4 for w.
3
Suppose 3*w - 4*a + 4 = 0, 3*a = w - 2*a + 5. Let g = w - -15. Suppose 0 = -5*t + g - 5. Solve 0 = -0*h + t*h + 10 for h.
-5
Suppose 2*f = 4*f + 14. Let h = f - -7. Let y be h - -21 - (1 + 0). Solve 0 = 5*n - n + y for n.
-5
Let a = 4 + 2. Let b be (-4 - -5) + 3/1. Suppose 0 = d - a + b. Solve 2 = 2*z - d for z.
2
Suppose 3*n + 0 - 9 = 3*d, -4*n + 3*d = -9. Solve 4 = r - n*r for r.
4
Suppose 20*s = 25*s - 50. Solve q = -q + s for q.
5
Suppose -3*y + 11 = -2*t, 0*y - 4*y + 3*t = -14. Solve 0 = -2*u - 13 + y for u.
-4
Let k be 11/((-44)/8)*-1. Solve -2*l - 8 = -k for l.
-3
Let n be (1 - 2) + (-9 - -11). Solve -n = 4*s + 7 for s.
-2
Let u(s) = -s**3 - 2*s**2 - s + 1. Let j = -5 + 3. Let p be u(j). Let w(z) = -z**2 + 5*z - 2. Let a be w(4). Solve -5*x = a + p for x.
-1
Let z be (-77 - -1)/(-4) - -1. Solve 0*f = -4*f - z for f.
-5
Suppose -4*p + t + 6 = 0, 3*t - 5 = -2*p + 5. Solve 0*l - l = -p for l.
2
Let t(j) = j**3 - 12*j**2 + 21*j - 7. Let c be t(10). Solve g - 16 = -c*g for g.
4
Suppose -7*o - 21 = -j - 3*o, 3*j - 3*o - 27 = 0. Solve -3*x = 2*x + j for x.
-1
Let v be ((-3)/3)/((2/(-6))/1). Solve -v*i = -5*i - 6 for i.
-3
Suppose 3*n - 2*n - 75 = -4*r, 35 = 2*r + n. Solve -4*o - o + r = 0 for o.
4
Let w = -14 + 18. Let o be (0/2)/1 + w. Solve -c + o*c = 15 for c.
5
Let h(c) = 3*c - 22. Let q be h(8). Solve f - 2 = q for f.
4
Suppose -5*v + 3 = -2*v - 4*b, -5*b + 35 = 4*v. Suppose -v*t = -0*t - 15. Solve 5*c + 6 = t*c for c.
-3
Suppose 3*r + r - 2*f - 2 = 0, -22 = r - 5*f. Suppose -4*x = -x - 36. Solve -d - r*d = x for d.
-3
Suppose -q + 2*u + 2 = 0, -7*u = 2*q - 2*u - 4. Solve j + 3 = q for j.
-1
Suppose -2*n + w = n + 38, -4*n = 3*w + 29. Let l = -9 - n. Solve v - l*v + 5 = 0 for v.
5
Let t = -13 - -17. Solve 0 = -0*s + t*s for s.
0
Suppose -4*u = -u - 3, 5*u - 11 = -2*r. Solve -3*o = 6 + r for o.
-3
Suppose -v = 5*i - 20, -3*v + 4*i + 13 = 2*v. Suppose -5*w = -3*h - 5, 0 = -5*h - v*w + 4 + 1. Let z be ((-6)/(-4))/(2/4). Solve z*p + 6 = -h*p for p.
-2
Suppose 6*t = -4*t + 20. Solve 2*o - 20 = -t*o for o.
5
Let q(c) = -4*c - 90. Let r be q(-29). Solve r = 5*h + 6 for h.
4
Let x(c) = c**2 - 3*c - 4. Let s be x(4). Suppose s = -4*t - 0*t. Solve 0*v - 3*v + 9 = t for v.
3
Suppose -4*w + 60 - 12 = 0. Solve 5*j - j = w for j.
3
Let z(c) = -c + 2. Let g be z(0). Let t = 19 - 17. Let w = -1 + 5. Solve g*v + w = -t*v for v.
-1
Let s(r) = r**2 - 5*r - 1. Let l be s(6). Suppose 4*t + 7 = a + 2*a, -t + 2 = 0. Solve 5*q + l = -a for q.
-2
Suppose 4*a + 8 = -3*w, 3*w + 5*a - 2 = 6*a. Solve n + 3*n - 16 = w for n.
4
Let v(n) = n**3 - 3*n**2 + n - 1. Let a be v(3). Let w = -39 - -23. Let z = 24 + w. Solve 0 = a*y - 6*y - z for y.
-2
Let x be (15/(-60))/((-2)/8). Solve 0 = 2*j - x - 3 for j.
2
Suppose -3*u = -5*u. Let w(j) = -1 + 2*j**2 + 2*j**2 - j**3 + 9 + 2*j**2 + 6*j. Let y be w(7). Solve 2*p + 7 + y = u for p.
-4
Let d(j) = 31*j - 59*j + 32*j - 8. Let o be d(6). Solve 4*q - o = -4 for q.
3
Let a = -6 - -8. Suppose 3*j = 5*j - 44. Suppose -q = -a - j. Solve 5*u = -q - 1 for u.
-5
Let k(t) = 3*t**2 - 2*t. Let q be k(2). Suppose 3*d + q = -d. Let z = d + 5. Solve 3*y = 4*y - z for y.
3
Let v be ((-2)/(-3))/((-6)/(-9)). Solve -3 - v = -2*k for k.
2
Suppose 117 = -7*p + 10*p. Suppose p + 1 = 5*g. Solve g = 2*w - 0*w for w.
4
Let a = 13 - 7. Solve -2*j - 8 = -a*j for j.
2
Let s(z) = z**2 - 4*z - 1. Let t be s(5). Solve 4*v = -16 - t for v.
-5
Let d be -4*(-4)/8 + -4. Let c = d - -7. Solve c*m = 3*m + 6 for m.
3
Let l = -2 - -13. Let m be 10/6 + l/33. Solve -8 = -2*u - m for u.
3
Let w(z) = z**3 + 11*z**2 + 17*z - 3. Let u be w(-9). Solve 5*l + 1 = u for l.
1
Suppose -4*i - 6*v + v = -8, 4*v = 3*i - 6. Let f be (-108)/(-14) + 8/28. Suppose -y + f = y. Solve i*m - y*m = 0 for m.
0
Suppose 2*y - 30 = -4*y. Solve -y - 10 = 3*t for t.
-5
Suppose 3*s = -1 + 7. Suppose s*y - 3 = 7. Suppose 0 = -2*r - y*n - 22 - 3, 3*r + 20 = -4*n. Solve a = -r + 1 for a.
1
Let z(t) = t. Let g(f) = -f**3 + 6*f**2 - 4*f - 1. Let s be g(5). Let a be z(s). Solve j - a*j = -15 for j.
5
Let z(o) = 7*o - 8. Let d be z(5). Suppose -46 = -4*p + 6. Suppose 4*j - d = p. Solve -4*n + 2 = -j for n.
3
Let j = 6 + -4. Suppose 2*w - 8 = -0*w. Let o be (16/4)/(w/10). Solve -4*g = -j*g - o for g.
5
Let m(h) = -h**2 - 13*h + 3. Let q