= -o*p - 8, -5*y = -5*p - 35. Solve -20 = y*s - s for s.
-4
Let i(m) = m**3 + 5*m**2 - 7*m + 2. Let z be i(-6). Let s = z + 7. Solve 6*l - s = l for l.
3
Suppose -f = -3*w + 8*w + 22, f = -2*w - 10. Suppose 4*r - x - 4 = -2, 0 = 4*r + x + 2. Let k = r - w. Solve -9 = k*u - u for u.
-3
Let f(v) = -v + 6. Let x be f(3). Let q(n) = 4*n - 13 - 10 + 16. Let r be q(x). Solve -5 = r*o + 15 for o.
-4
Let y(c) = c**3 + 19*c**2 - 28*c - 65. Let g be y(-20). Solve 0 = -22*w + 3*w - g for w.
-5
Let h(c) = 2*c**2 - 40*c + 529. Let r be h(11). Solve 0 = 2*j + r - 335 for j.
2
Let t = 3 - 6. Let f be 1/((-4 - t)/(-5)). Solve -f*c - 1 = 19 for c.
-4
Let m = 181 + -179. Let q = -2 + 5. Let h = q - m. Solve 0 + h = -y for y.
-1
Suppose 12 = 2*d - 2. Solve -d + 19 = -3*q for q.
-4
Let o be (17 - 0)/((-30)/(-14) + -2). Let l = o + -103. Solve -4 = -4*m + l for m.
5
Let q be (4/(-14))/(15/1365). Let s = -10 + 14. Let y be s/q + 186/26. Solve y = 2*x + 1 for x.
3
Let t(l) = -4*l**2 - 24*l - 17. Let n be t(-5). Solve n*v = 2*v - 5 for v.
-5
Suppose -11*f - 30 = -17*f. Solve p = f*p for p.
0
Suppose 0 = 4*w + 5*s - s - 76, 2*w + s = 37. Let v = w - 14. Suppose -v*q = -12, -a - 2*a + q = -18. Solve -8 = -5*k + a for k.
3
Let b(k) = -k**3 + 18*k**2 + 40*k + 3. Let p be b(20). Solve 4*q - p = 1 for q.
1
Let p(d) = -5*d - 5. Let s(v) = 66*v + 66. Let a(m) = 27*p(m) + 2*s(m). Let n = -1 + -1. Let i be a(n). Solve 0 = -k - i*k - 8 for k.
-2
Let z be (-6)/(-3)*33/(-3). Let a be (726/(-18))/11*6*-1. Let x = z + a. Solve 0 = 4*f - x*f - 4 for f.
1
Let b(o) = 3*o**3 - 25*o**2 + 35*o - 31. Let u be b(7). Solve -6 = -u*r + 24*r for r.
-1
Let a(k) = 5*k - 5. Suppose 5*b = -15 - 5. Let i be ((-6)/2)/(6/b). Let d be a(i). Solve 3 = -r + d for r.
2
Let n(i) = i**3 - 2*i**2 + 11*i + 6. Let x be n(0). Solve 5*j = x*j - 3 for j.
3
Let w be 8/40 + 236/20. Solve -6 = w*c - 18*c for c.
1
Let z be 1/((-2)/4*-1). Let o = 61 + -58. Suppose -z*y = -o*y. Solve y = 5*a - a for a.
0
Suppose -l + 72 = -4*l. Let s be (3 + 9/(-6))*l/(-9). Solve -s*j - 25 = -9 for j.
-4
Let s be (20/(-8) + 1)*(-20)/(-6). Let t(z) = 2*z**2 + 7*z - 15. Let x be t(s). Solve x = a + 2 - 0 for a.
-2
Let v be -4*(28/(-16) + 1). Suppose -k = k, z + v*k = 2. Solve 0*x = z*x + 8 for x.
-4
Let z(c) = -c**3 + 9*c**2 - 8*c - 4. Let f be z(8). Let n be f/(-2 + -2) - -1. Let p = -42 - -48. Solve v + p = -n*v for v.
-2
Suppose -4*p + 15 = -k - 20, -2*p + 75 = -3*k. Let t be (-20 - k)*(2 + -1). Let g = 1 + -1. Solve -r - t*r = g for r.
0
Let c(j) = j**2 + 9*j + 17. Let b be c(-7). Suppose 0*x + 9 = -4*w - 5*x, 5*x + 17 = -2*w. Let m be -2 + 4/4*w. Solve m*o - 3 = b for o.
3
Let m be 0*5/(3 + -8). Solve s - 28 + 33 = m for s.
-5
Let z be 74/(-5)*(-10)/4. Let u(i) = -3 + 38*i + 2 - z*i. Let j be u(1). Solve r - 4*r - 3 = j for r.
-1
Let b(y) = -y**2 + 16*y + 25. Let r be b(17). Let x(j) = -j + 13. Let n be x(r). Suppose 5*o = 30 + n. Solve -4*v = 9 + o for v.
-4
Suppose 0 = -7*l + 114 + 33. Suppose -5*m + 2*w - l = -10*m, 5*m = -w + 18. Solve -y = -0*y - m for y.
3
Let p be (-65)/(-4) + 2 - (-33)/(-132). Solve 5*v = -v + p for v.
3
Suppose 0 = -29*p - 31*p + 1080. Solve 0 = 3*k + 27 - p for k.
-3
Let g(m) = m**3 + 15*m**2 - 16*m + 4. Let y be g(-16). Solve n + n = -y for n.
-2
Let o = -30 + 46. Suppose 0 = -3*x - 4 + o. Solve 4*i = -x - 0 for i.
-1
Suppose -b - r = -28, -15*r = 3*b - 20*r - 68. Solve 22*c - 8 = b*c for c.
-2
Suppose 3*t + 19*o - 32 = 20*o, -5*t = 4*o - 25. Solve -t*p + 70 = -23*p for p.
-5
Let c be (16/(-10))/((-12)/30). Suppose 0 = 3*v + c*v - 63. Solve v*m = 4*m - 20 for m.
-4
Suppose -j - 6 = -a, 0 = 3*a + a - j - 15. Solve -4*u + 3*u = a for u.
-3
Let h(q) = 28*q + 168. Let t be h(-6). Solve -5*u - 23 + 3 = t for u.
-4
Let h be 2/((-42)/(-175)*5/3). Solve 6*j - h*j = 2 for j.
2
Let a(y) = -43*y + 192. Let r be a(4). Solve r = -36*i + 41*i for i.
4
Suppose -34 = -p - 23. Solve 4*d = 5 + p for d.
4
Suppose 2*j - 6*j + 112 = -4*f, 0 = 4*f. Solve y = 27 - j for y.
-1
Let s be (-3)/(-5) - 936/60. Let p = s + 17. Suppose -4*y + 4 = 0, 5*x = y + 6 + 3. Solve x = -g - p for g.
-4
Suppose -2*p - 3*m = -3, 4 - 9 = -5*p - 5*m. Suppose 4*w - 60 = 5*a, 0*w + 4*w + 4*a - 24 = 0. Let d be (1 - 8/4)*(-15 - -11). Solve p = -d*s - 30 + w for s.
-5
Let v be (-4)/4*(-9 + 9). Solve -3*b = -b - v*b for b.
0
Suppose 2*u - 5*c = 30, -2*u - 3*c - 3 = -1. Solve -u*w = -0*w + 25 for w.
-5
Let w = 15 - 14. Suppose -2*v + 4*d = -7*v - w, 2*d + 8 = 0. Solve 0 = -v*a - 6 + 3 for a.
-1
Let p = -403 + 408. Solve 0*l + p = 5*l for l.
1
Let c(y) = y**2 - 3*y - 16. Let z be c(6). Solve z*d = 4*d - 4 for d.
2
Suppose n - 3*g = 5*n - 1, 0 = -5*n - 5*g. Let f(m) = 3*m**2 + 19*m + 11. Let y be f(-6). Solve 2*d = -n + y for d.
2
Let f = -2024 - -2024. Solve -p + 2*p - 5 = f for p.
5
Let q = 172 + -158. Solve 8*o + q = -18 for o.
-4
Let l(c) = -3*c - 9. Let r(z) = 4*z - 3*z - z + z**2 + 3 + 8*z. Let y be r(-7). Let t be l(y). Solve -t = 2*q - q for q.
-3
Suppose 0 = 5*j, 6 = 2*z + 5*j - 42. Let c = 26 - z. Solve c*a - 1 = a for a.
1
Suppose -2*v = -f - 24, -4*v - 4*f = f - 34. Solve -i + v - 8 = 0 for i.
3
Let w = -58 - -39. Let u = w - -27. Suppose -23 + u = -5*z. Solve 0 = z*d - 5 - 10 for d.
5
Suppose 0*w = -5*w - 5*k + 45, 0 = 5*w - 3*k - 77. Solve w*q - 10*q = -6 for q.
-2
Suppose 5*w = i - 87, -i = -5*w + 4*w - 71. Solve i = d + 66 for d.
1
Let o = 226 + -225. Solve o = -5*j - 4 for j.
-1
Let a be (-58)/(-12) + (14 + -8)/36. Solve -7*l + a = 33 for l.
-4
Suppose 2*b + 3*c - 13 = 4, 0 = 2*b - c - 5. Suppose b*l - 16 = -0. Solve 2 - 22 = l*d for d.
-5
Let q(p) = 6*p - 2. Let u be q(1). Suppose -2*h = u*h. Suppose -2*g = -2*d - 4, h = 2*g - 0*d - 5*d + 5. Solve -5*n + 5 = -g for n.
2
Let z be 1 + 0 - 4/2. Let h = 1 + z. Let r be h*(21/6 + -3). Solve r*l - 5 = -l for l.
5
Suppose -o - 288 = -4*j, 3*j + j - 5*o - 272 = 0. Suppose 4*h - 5*h + j = 0. Let u = h - 48. Solve -6*i + i = -u for i.
5
Suppose -334*x + 332*x = -6. Solve 14*r - x = 15*r for r.
-3
Suppose 188 = 5*c + t, 2*c - 7 - 61 = 2*t. Let w = c - 31. Solve -9*y + w*y = 6 for y.
-2
Let z be (5 + -11 - -5)/(8/(-160)). Solve -24*d - z = -28*d for d.
5
Let l(d) = d**2 - 29*d - 546. Let b be l(42). Solve 2*q + 30 - 28 = b for q.
-1
Let m be -3 - -18*((-3)/3)/(-2). Suppose 2*b = -2*k + m, 8 - 23 = -3*k + 3*b. Solve -3*g - 1 = -k*g for g.
1
Let r = -18 + 18. Suppose 3*n - 4*v = 24, r = 4*n - 2*n + 3*v + 1. Solve 0 = -k - k - n for k.
-2
Suppose 0*i + 2 = 2*i + 2*b, 4*i = b + 9. Suppose -w - 4*w = 2*j - 31, -2*j + 24 = -i*w. Suppose p - j = -9. Solve -l - p = -0 for l.
-4
Let x(g) = g**3 - 16*g**2 + g - 14. Let t be x(16). Suppose 0 = -0*k + t*k + 2*q - 50, 75 = 3*k - 4*q. Solve 0 = 6*w - 11*w + k for w.
5
Let s be (8/(-10))/(9/(-135)). Let y be s/(-6) + -3*3. Let l = -9 - y. Solve -r - r = l for r.
-1
Suppose -14*q = -q. Solve 2*h = 4 - q for h.
2
Suppose 13 = 5*o - 12. Suppose 2*i = 4*v + 4 - 32, -i = 2*v - 6. Suppose 0 = 4*a - v*a + 2. Solve -a = o*r - 3*r for r.
-1
Let a(h) be the second derivative of h**4/6 + 11*h**3/6 + 7*h. Let k be a(-6). Solve -2*r - 20 = -k*r for r.
5
Let v(b) = b**3 - 6*b**2 + 6*b - 3. Let c be (1 - -4) + 0/(-3). Let u be v(c). Suppose 3*f + u*p - 12 = -p, 4*f - 2*p - 22 = 0. Solve w + f = -0*w for w.
-5
Let g = 44 + -41. Let w be (9 - g)*-1*4/(-8). Solve 2 + 4 = -w*a for a.
-2
Let u(z) = -z**2 + 10*z + 12. Let y be u(8). Suppose 32*n = y*n. Solve -4 = 2*f - n for f.
-2
Suppose -42 = 4*u - 11*u. Let y be ((-3)/6*-4)/u*9. Solve y = -3*n - 0 for n.
-1
Suppose -20 = -3*p - 4*u, -p + u = -0*p + 5. Let i = p - -6. Suppose -2*h - 4 = i, -4*f + 31 = -3*h. Solve b - 2*b = f for b.
-4
Suppose -6*r - 47 - 67 = 0. Let z be 3/(-9) + r/(-3). Solve g = z*g for g.
0
Let g(f) = 7*f**2 - 362*f - 90. Let y be g(53). Solve 383*v - y*v + 4 = 0 for v.
1
Suppose -17*h + 178 = -26. Solve -h = -12*l + 8*l for l.
3
Let x be (-10)/(-1)*(-160)/50. Let y = x - -55. Solve -4*q = -y + 3 for q.
5
Suppose 3*w = y - 2, 7*y - 2*y - 2*w - 36 = 0. Solve 0 = y*i + 2 + 14 for i.
-2
Let o = 27 - 25. Suppose -o + 7 = 5*v. Let w(m) = 5*m**2 - 1. Let n be w(v). Solve 0 = -n*q + 10 + 2 for q.
3
Suppose 0 = -h - 3*h + 5*l - 4, -3*h + 4*l = 4. Suppose h*i - 3*c + 7*c + 96 = 0, -4*i + 5*c = 69. Let d = -20 - i. So