pose -p - 4*p = g. Solve 4*r + p - 16 = 0 for r.
4
Let k(v) = -v**2 + 4*v + 2. Let n(y) = -y**2 + 4*y + 3. Let m(p) = -3*k(p) + 2*n(p). Suppose -12*b - 16 = -76. Let i be m(b). Solve 0 = 3*l - i*l for l.
0
Let y(o) = 2*o - o + 3*o**2 - 2*o**2 - 2*o**2 + 22. Let l be y(0). Let f = 24 - l. Solve 4*w - f*w = 10 for w.
5
Let n(p) = p**2 + 4*p - 3. Let t be n(-5). Suppose 8*m - 4*m - t*z = 50, -2*m = z - 35. Let v = m - 9. Solve 0*w + v = -2*w for w.
-3
Let u(z) = z**2 - 70. Let g be u(-9). Solve -g + 17 = -6*y for y.
-1
Let b(z) = 15*z - 117. Let h be b(8). Solve 9 = -h*v + 12 for v.
1
Let r = 0 + -27. Let z = -23 - r. Let w = 10 - z. Solve 0*b - w = 2*b for b.
-3
Suppose -33*y - 40*y + 292 = 0. Solve 0 = y*s + 2 + 18 for s.
-5
Suppose -2 + 8 = 2*m. Suppose 3*z = -m*g + 9, 0*g = -4*g + 2*z - 6. Solve -2*l + 4 = -g for l.
2
Let m = 91 - 79. Suppose -g = 5*p - m, 0 = -2*p + 6*p + 4*g. Solve 2*z - p = z for z.
3
Let x(s) = 6*s - 118. Let j be x(25). Solve j = -r + 29 for r.
-3
Suppose 63*p + 21 = 66*p. Solve p*u = u for u.
0
Suppose 64 = 6*p - 2*p. Suppose 0*k + 4*x - p = k, 2*x = -k + 14. Suppose 2*h + 21 = 3*h - 4*v, k*v = -3*h + 79. Solve 6*q - h = q for q.
5
Suppose -42*g - i = -39*g - 71, -4*i = 4*g - 108. Solve 24*o - 2 = g for o.
1
Let l = -55 - -58. Suppose -2*r - 3*n + l + 1 = 0, 0 = -2*r + n + 12. Suppose 3*z - 18 = 3*t, -5*z - 7 = -2*t - 28. Solve -2*a + r*a + z = 0 for a.
-1
Let a(f) = 5*f + 179. Let t be a(-34). Solve 5*i - 11 = t for i.
4
Let x(k) = -7*k - 24. Let o be x(-3). Let b be (2 - 3/o*2) + -2. Solve w - b = 3*w for w.
-1
Suppose 0 = 9*y - 5*y - 12. Let l = -47 + 52. Solve -l*o = -2 - y for o.
1
Let s be (1 - -4) + -2 - -2. Let v = -1098 + 1098. Solve -s*k - 20 = -v*k for k.
-4
Suppose -21 = -4*n - 13. Solve 3*q + n = 5 for q.
1
Suppose -126 = -10*l - 26. Solve -37*m + 32*m - l = 0 for m.
-2
Let q be 1/(1/(-2) - -1) + 3. Suppose -q*n = -n - 24. Solve n = -k + 1 for k.
-5
Let r = -7 - -37. Suppose r + 50 = 4*g. Solve 4*k = -k + g for k.
4
Let n be (-2)/17 + 1008/476. Solve 54 - 62 = n*w for w.
-4
Let k be (-3*1/(-6))/((-10)/(-60)). Suppose 3*z - 5*i + i = 4, k*i + 3 = 3*z. Solve -16 + z = 4*p for p.
-4
Suppose 0 = 2*i - 2 - 2. Let l = 1 + -2. Let o be (12/4)/l + 11. Solve 0*a - i*a = o for a.
-4
Let u = 809 - 805. Solve 3*t - 13 = -u for t.
3
Let n(x) = -x**2 + x + 19. Let p be n(4). Solve 0 = -p*o + 21 - 35 for o.
-2
Suppose 5*k = -2*r, -9*k = -6*k + 3*r. Suppose 3 = -j - 3*p + 5, 3*j - 3*p - 6 = 0. Let x = j + k. Solve 3*s = -x*s for s.
0
Suppose -230 - 154 = -32*c. Solve 19*l - c*l + 14 = 0 for l.
-2
Let v be 12/27 + 12/(-27). Solve -5*i + 0*i + 10 = v for i.
2
Suppose 3*f + 3 - 4 = -2*p, -2*p = f + 5. Solve -2*i + f*i - 3 = 0 for i.
3
Let j(z) = 5*z**3 - 29*z**2 - 7*z + 11. Let r be j(6). Solve -r = -6*a - 11 for a.
-1
Let h = 14381 - 14373. Let f(r) = -r - 2. Let l be f(-6). Solve -h*c - 16 = -l*c for c.
-4
Suppose 0 = -5*g - 5, -3*g = -o - 5*g + 13. Solve -o*u + 13*u = 4 for u.
-2
Let c(z) = -z**3 - 3*z**2 - 2*z - 4. Let k be (-58)/(-7) - (-4)/(-14). Suppose -4*p + y = k, p = -4*p + 3*y - 3. Let n be c(p). Solve n*d = 5 - 13 for d.
-4
Suppose s = 5*s - 4, 0 = 4*p - 5*s - 75. Let g be (-159)/9 + p/(-15). Let w = g - -20. Solve -w = -4*b + 3 for b.
1
Suppose 10*c = 5*c. Solve c = -23*f + 22*f - 1 for f.
-1
Suppose 2*g - q - 25 = -2*q, -70 = -4*g + 2*q. Let m(j) = 5*j + g - 12*j + j**2 - 2 + 2. Let d be m(7). Solve 8*v - d = 3*v for v.
3
Let t(v) = -v + 1. Let q be t(-4). Suppose -4*b + 1 = -3*b + 3*h, 4*h = -4. Suppose -q*k + 4 = -o, o + b*o = 5*k. Solve n + k = 6 for n.
5
Suppose -25 = 4*i - 2*r - 107, -2*r = -10. Solve 13 = -2*y + i for y.
5
Let w(c) = c**3 + 5*c**2 - 11*c + 23. Let t be w(-7). Solve -15 = 5*o - t*o for o.
-5
Let w(q) = q**2 - 7*q + 8. Let z be w(6). Let c be ((-207)/(-6))/(6/8). Suppose -5*l + 2*d - 7*d = -55, -2*d + c = 5*l. Solve -l = -z*n + 4*n for n.
-4
Let x(c) = c**3 - 10*c**2 + 9*c + 2. Suppose -3*r + i + 11 = -3*i, -4*r + 16 = -5*i. Suppose 3*w = 4*w - r. Let b be x(w). Solve -y + 6 = b*y for y.
2
Let j be 1/((5 - 6)*(-1)/35). Solve 103*g + j = 96*g for g.
-5
Let d(r) = r**3 - 5*r**2 + 5*r. Let w be d(5). Let i = w - 20. Suppose -2*p + p = -i. Solve -p*h + 20 = -h for h.
5
Let i = 185 - 77. Let b be (-81)/i + 6/8. Solve w - 1 = -b*w for w.
1
Suppose 0 = 6*a - 29*a + 115. Solve -a = -3*v - 2*v for v.
1
Suppose 3*p + 5 - 2 = -5*z, -2*p - 2*z + 2 = 0. Suppose -2*g - 25 = -5*y, -y + 26 = y - p*g. Solve -5 - 10 = y*d for d.
-5
Suppose 10*i = 12*i - 4. Suppose -r + i*r = -5*d + 20, -r = -5*d + 30. Solve -d*t - 9 = 1 for t.
-2
Suppose -4*y + 3*s + 69 = 0, -11 - 31 = -3*y - s. Let t be (24/y)/(-4)*10/(-2). Solve 0*c = -2*c - t for c.
-1
Suppose 5*w + 25 = -0*w. Let x be (4 + w)/(3/(-9)). Suppose -6*d = -4*d. Solve d = t - x for t.
3
Let w be (24/15)/(16/120). Solve c = 5*c - w for c.
3
Suppose 206 = 3*r - 5*x, -2*x - 3 = r - 68. Suppose 65*g = r*g. Solve 2*t + g*t - 4 = 0 for t.
2
Let w(m) = m**3 - 15*m**2 + 16*m - 20. Let y be w(14). Suppose 0 = 2*u - h - 5, -5*u + 12 = -2*h - h. Solve 0 = -u*b + y*b + 10 for b.
-2
Let c be (-66)/(-12) - (-1)/(-2). Suppose -1 - 1 = -c*s + 4*r, -s - r = 5. Let d be 1/(s + (-10)/(-4)). Solve 5 - d = b for b.
3
Let n = 15 - -4. Let s = n + -13. Solve -s*v + v + 10 = 0 for v.
2
Let c = -2081 - -2171. Solve 0 = 87*d - c*d + 3 for d.
1
Let g be 5 - 1 - (-55 + 59). Solve m + g = -3 for m.
-3
Let y = 6 - -199. Suppose 5*q = 4*h - h - y, 3*h + 4*q = 160. Suppose 6*a + h = 9*a. Solve 0*x + 5*x = -a for x.
-4
Let k be ((-29)/(-2) - 1)*-2. Let u = -25 - k. Suppose 2*f - 5 = -x, -u*x + 7*f + 2 = 3*f. Solve 6 + 0 = -x*t for t.
-2
Let m be (-17)/(-4) + (-2)/8. Suppose -3*v = 11*q - 6*q - 3, 2*q + 3 = 3*v. Let o be (20/(-6))/(2/(-3)). Solve q = -y + o*y + m for y.
-1
Let h be 3/(-3)*(1 + -1). Suppose 0 = 5*q - 2*c - 31, -2*q + 4*c = 1 - 23. Suppose 5*p = -15, 14*v = 12*v - q*p - 5. Solve -v*t - 3 - 12 = h for t.
-3
Let k be (8/(-6) - -2)/((-6)/(-27)). Solve 4 = k*z + 1 for z.
1
Let u = 476 + -455. Solve 11 - u = -5*q for q.
2
Suppose 47 = -5*z + 57. Suppose 0 = -2*p + 3*d, -3*p - 2*p - d = 0. Solve p*t + z = t for t.
2
Let s = 42 + -46. Let k be ((-85)/25 - s)*5. Solve -k*w - 13 = -1 for w.
-4
Let k be 1*(2 + -1) - -1. Let b be (0 + -3)*(-2 + k - 4). Suppose -3*v + f = -11, -v - 4*v = -4*f - 30. Solve s = -v*s - b for s.
-4
Let q = 159 - 154. Suppose -2*h - 11 = -57. Suppose -4*m + 2*w = -3*w - 3, -3 = -3*w. Solve -q*x = -m - h for x.
5
Let y = -3 - -6. Let f(s) = 3*s**2 + 143*s + 644. Let j be f(-5). Solve -b = -y*b + j for b.
2
Let z(w) = -2 - 14*w + 10*w + 7*w. Let m be z(9). Suppose 3*x + 4*v - m = -v, 0 = -2*x - 3*v + 15. Solve x = 3*d + 6 for d.
-2
Let m(n) = -2*n**2 + 64*n - 42. Let q be m(31). Solve 17*c - 3 = q*c for c.
-1
Suppose 0 = -16*t + 31 + 1. Suppose 2*a - 16 = -t*a, -3*a = -v - 11. Solve -7 = -3*z - v for z.
2
Suppose -y + 4*u + 18 = 0, -4*u = -2*y + 9 + 11. Let z be 0/(y - 0 - 1). Suppose -3 = -2*j - j, -4*n - 4*j + 52 = 0. Solve -n = -z*f + 3*f for f.
-4
Let r be ((-726)/(-99))/((-2)/(-3)). Solve u + r = 7 for u.
-4
Let k(o) = 30*o**2 + 2*o. Let c be k(1). Solve -15*b - c = -23*b for b.
4
Let k be 8/14 + (-219)/(-21). Suppose z - 3*f = -k, -6 - 1 = z - 2*f. Solve 0 = -2*o - 5 + z for o.
-2
Suppose -4*j = -158 - 322. Let y = -118 + j. Solve y*f = -f - 12 for f.
-4
Let z be (-6)/12 - 4/(-8). Let v = z + 5. Solve v = g + 7 for g.
-2
Suppose -3*v + 4*v = 6. Let z be (-1)/(625/(-210) - -3). Let c = z + 62. Solve -v*r + r + c = 0 for r.
4
Let i(o) = 6*o**3 - o**2. Let y be i(1). Suppose 2 = y*f - 18. Let l be 266/38 - (9 + -7). Solve -f*u - u - l = 0 for u.
-1
Suppose 4*m - 120 = -4*m. Let s be m/4 + (-2 - (-54)/24). Solve -s*d - 9 = 7 for d.
-4
Let k = -1 + 1. Let h = -109 + 111. Let m = h - k. Solve m = -b - 0 for b.
-2
Let y = -39 - -49. Suppose -29*l = -24*l - y. Solve -1 = l*p + 7 for p.
-4
Let w be 5/(-25) + (-102)/(-10). Let a be (-33)/(-5) - w/(-25). Suppose -11*v + a = -10*v. Solve 0 = -3*c - v - 8 for c.
-5
Let c be (-2)/3 + ((-68)/(-3) - -3). Solve -4*j = j - c for j.
5
Suppose -5*m = -4*d - 13 - 50, 3*d = -2*m - 30. Let r = -1 + 0. Let z be (r + -2)/(18/d). Solve z*o + 2 = -8 for o.
-5
Suppose 41*j = 40*j - 5*x + 85, 2*j + 5*x - 170 = 0. Solve 80*z - 25 = j