 -3*p for p.
-1
Let y = -32 + 34. Suppose -y*p = -14 + 8. Solve 0 = -4*g + f - 2*f, 0 = g - p*f for g.
0
Suppose 5*v = -26*v + 155. Solve -o + 1 = 5*q + 14, v*o = 10 for q.
-3
Let h = -26 + 26. Suppose h = -5*w + w. Solve 2*u + j + 4 = 0, -3*u + 4*j - 37 + 9 = w for u.
-4
Let x(v) = -v**3 + 23*v**2 - 44*v + 47. Let k be x(21). Solve 5*s + 22 - 3 = -3*o, 0 = s - k*o + 15 for s.
-5
Let d = -651 - -656. Solve -5*k + 12 = 4*g, -3*g + d*k - 22 = k for g.
-2
Suppose -4*h - 3*h = 735. Let a = 108 + h. Suppose -6*b + 35 = -b. Solve a*d = 4*i - b, -5 = -5*i + 3*d + 2*d for i.
4
Let h be (-14)/(-8)*(13 + 6/(-6)). Solve -3*i - c = 4*c + h, -4*c = -5*i + 2 for i.
-2
Suppose -d = 5*d - 48. Suppose -11*m + d*m = -39. Solve 5*j - 5*p + 5 = 0, 0*j + 5*p = j + m for j.
2
Let w be -11 + -1 - -15 - -2. Solve -4*n = -3*t - 8, -w*t + 3 = -n + 22 for n.
-1
Let p(h) = h**3 - 14*h**2 + h - 12. Suppose 0 = -5*b - c + 67, b = -2*b + 4*c + 54. Let m be p(b). Solve m*l + g = -10, 0 = l - 0*g + 4*g + 12 for l.
-4
Let a(g) = -g - 4. Let b be a(-6). Suppose -u = l + 10 - b, -l = 4*u + 32. Let i be (-6)/u + (-186)/(-8). Solve -4*x - p + 10 = -5, -4*p + i = 4*x for x.
3
Let c be (-2)/8 - (-2)/8. Suppose 5*d - 10 = 0, -d + 11 = 197*l - 194*l. Solve -2*t - l*t = -u - 10, c = -5*t - 4*u + 35 for t.
3
Let d(h) = -h**2 - 16*h + 85. Let p be d(-20). Solve -m - 3*b = -p*m + 28, 2*m - 4*b = 24 for m.
4
Suppose -3 = -3*j + 42. Suppose 2*q = 3*q + 4. Let d be (-13)/q + (-4)/16. Solve 2*y = -d*p - j, -20 = 7*p - 3*p + y for p.
-5
Let p be (-27 - -1)/(5/((-75)/30)). Solve -j - 2*o = 3 - 4, p = 4*j - o for j.
3
Let y(f) = -11*f + 81. Let q be y(6). Suppose 0 = q*z - 18*z + 24. Solve -4*h - 4*c = z, 4*h + 5*c - 5 = -16 for h.
1
Let w = 221 + -212. Solve -3*r + 0 + 1 = 4*s, 0 = 5*r + 4*s + w for r.
-5
Let t(n) = n. Let r be t(-5). Let b be (-4)/6 - r/3. Suppose 0 = -f - h + b, -6*f + 3 = -f + 3*h. Solve 0 = -d - 5*w + 10, -d + f*w + 2*w - 4 = 0 for d.
0
Suppose -2*j + 80 = 3*j. Suppose -33*z + 199 = 1. Suppose 10*c = z*c + j. Solve -c*y + 2*t + 2 = 0, 2*y + 3*y + 2*t + 20 = 0 for y.
-2
Suppose g = -3*g + 5*x - 582, 5*x = -3*g - 419. Let w be 2/11 + 26/g. Solve v + 4*y = 21 - 8, 4*v + 2*y - 10 = w for v.
1
Suppose -4 = -2*k, 6*t - 2*k - 30 = 4*t. Solve -3*a - 2*d + 0*d - 19 = 0, a - 4*d = t for a.
-3
Let a(t) = -5*t - 26. Let h be a(-6). Suppose -7*d = -2*d - 10. Let g = d - -5. Solve h*z - 3*s - 18 = 0, -3*z + g*z - 4*s - 20 = 0 for z.
3
Suppose 10*k - 4*k + 150 = 0. Let f = -33 - k. Let u be 2/3*(-5 - f). Solve 2*q - u = 2*p + 4*q, p - 5*q - 17 = 0 for p.
2
Suppose 17 - 2 = 3*h, 2*d - 5*h = -43. Let t be (d - 2)*(-4 + 3). Suppose -6 = -t*s + 8*s. Solve -1 = -a, 0 = 5*k + 2*a + s*a - 24 for k.
4
Let q = -8 + 2. Suppose -24 = -3*i + 6*i. Let u = q - i. Solve -2*y - 12 = u*h - 0*h, 0 = 5*h - 2*y + 16 for h.
-4
Let n be ((-12)/10)/(21/(-70)). Let b(c) = -3*c + 6. Let u be b(n). Let v = 6 + u. Solve 3*h - f - 5 = v, -3*h - 5*f + 26 = -h for h.
3
Suppose 0 = 5*b + v - 91, 0 = 2*b - 5*v - 3 - 55. Suppose 2*m = -3*y + b, 3*m - 5*y = -2*m - 15. Solve 4*p + 4 = 0, m*z + 6*p - 1 = 3*p for z.
2
Let x(o) = -9*o**3 + 3 + 10*o**3 - 2. Let k be x(-1). Solve i - 3*g - 30 = 4*i, k = -5*i - 2*g - 35 for i.
-5
Suppose 3 = 2*j - 5. Suppose -p + j*p = 18. Let n = 12 - 5. Solve -p = -5*b + 3*c, -n*b - c = -3*b - 15 for b.
3
Suppose -33 = 24*t - 105. Solve 0 = 4*d + t*o - 16, o = -3*d + 8 - 1 for d.
1
Let u = -54 + 79. Solve 3*t + 5*f = -u, -t + 15 = f - 4*f for t.
0
Let p(a) = -a**3 + 13*a**2 + a - 8. Let o be p(13). Suppose -d = o*d. Suppose d*g + 4*g = 0. Solve g = 2*i - 5*x + 16, -4*i - i = 4*x - 26 for i.
2
Let j(k) = k**2 + 9*k + 14. Let i be j(-8). Suppose 4*c - 80 = -2*o, -3*o + i*o + 13 = c. Solve -3*r - 4*u + 25 = 2, 5*r - 3*u = c for r.
5
Suppose 0*u = u + 2*w - 10, 3*w = -4*u + 30. Solve -4*z - 8 = 2*o - u*z, -5*o = -4*z + 18 for o.
-2
Let a = -121 - -124. Suppose -2*k - a*z = 2 + 7, -5*k + 30 = -3*z. Solve 0 = -k*j - g + 10, -2*g = -5*j + g + 26 for j.
4
Let n be (32/(-12))/((-2)/(-51)). Let k be (4/(-6))/(1/9). Let x be n/(-12) - (-4)/k. Solve x*f - 26 = -3*w, 2*f - 5*w - 6 = -2*f for f.
4
Suppose v - 2 = 1. Let o be (-9)/v + (-5)/(-1). Suppose -2*f + 5*u - 13 = -5*f, -o*f + 9 = 3*u. Solve -5*x - 4*j + f + 20 = 0, j - 4 = 0 for x.
2
Let f(o) = o**3 - 2*o**2 + 1. Let x be f(0). Let c(z) = -z + 4. Let r be c(x). Solve r*k - 5 = -5*n, 4*k + 4*n - 4 = -0 for k.
0
Suppose -8*y + 7*y + 8 = 0. Let u(h) = -3*h + 93. Let d be u(30). Suppose -16 = -2*q + 4*g, 4*q + g = 4*g + 27. Solve -f + 3*a = -q, -a = 2*f + d - y for f.
3
Suppose -5*t + 5*l = 2*l + 20, 2*l - 14 = 4*t. Let u(b) = -3 - 6*b + 2 + 3*b. Let w be u(t). Solve 4*h - 12 = w*d, -2*h = -3*d + 2*h - 16 for d.
-4
Suppose 5*g + 345 = 360. Solve 0 = 5*n - 5*x + g - 13, -3*x - 6 = 2*n for n.
0
Let j(t) = -t + 23. Let v be j(19). Let y(f) = -f + 8. Let s be y(v). Solve -s*u - 16 = -4*c, 3*u + 1 = -4*c - 11 for u.
-4
Let r(m) = -m**2 - 6*m + 2. Let u be r(-4). Let p be (-8)/(-28) + (-19)/(-7). Solve 0 = p*h - 4*l + 2, -6*l + 4*l = 3*h - u for h.
2
Let g be (-112)/(-24)*36/7. Suppose -25 = 19*t - g*t. Solve -3*q = 5*k - 14, t*k + 3*q - 2*q - 18 = 0 for k.
4
Suppose -4*s = -11*s. Suppose 0 = -5*c - 5*k + 5, s = 5*k - 5. Solve 2*m + 3*h - 8 = 4*m, 2*h - 4 = c for m.
-1
Let i = -31 - -46. Suppose -39 = -3*f + 2*f. Suppose 0 = -f*g + 36*g + 15. Solve -2*s - 2 = -4*b - 8, g*s - 4*b = i for s.
3
Let v = 25 + -41. Let l(m) = m**3 + 17*m**2 + 17*m + 19. Let g be l(v). Solve -5*z + 1 = g*i + i, -z - 2*i - 1 = 0 for z.
1
Suppose 22*o - 18*o = 28. Let b be 1/(((-2)/(-1))/6). Let s = 9 + 7. Solve -5*h + 3*t - o = 1, -s = b*h + t for h.
-4
Suppose 195*z = 203*z - 64. Solve 0 = -4*p - 3*v - z, -5*p + 7*v - 10 = 2*v for p.
-2
Let w be (1/2)/(2 - (-15)/(-8)). Solve 7*z = 5*u + 4*z - 8, 2*u = w*z + 6 for u.
1
Let y = -4 + 4. Let v be y/(2*(-3)/(-6)). Let a = -290 - -294. Solve v = -a*r + 2*s, 0 = 4*r - 3*r - 5*s for r.
0
Let a(v) = -2*v**3 - 3*v**2 + 2*v + 13. Let i(t) = -t**3 + t**2 + t + 1. Let g(x) = a(x) - 3*i(x). Let h be g(6). Solve -5*q - 28 = -q + h*m, q - 4*m = 8 for q.
-4
Let c(q) = q - 33. Suppose a - 2*o - 8 = -o, -3*a + 2*o = -27. Let u be c(a). Let r be (-8)/5*55/u. Solve r*i - v = -2*v + 4, -4*i + 4 = 2*v for i.
1
Let f(a) = a**3 + 5*a**2 - 7*a - 2. Let x be f(-6). Let r be -1*(3/(-2))/(2/4). Solve -r*w - 1 - 8 = 0, -5*w = x*m + 27 for m.
-3
Let g(v) = v**2 - 1. Let q be g(1). Suppose q = 5*h - 4*u - 26 - 0, -4*u - 10 = 3*h. Suppose -76 = -3*r - 25. Solve -4*k - j + h + r = 0, 4*k - 28 = -4*j for k.
4
Suppose -4*w = -f - 21, -w - 1 = -5*w - 3*f. Let j = 7 - 2. Solve 3*d + 0*d + w*v = 9, 2*v - 1 = -j*d for d.
-1
Let j = -281 + 281. Solve j = 4*y - 2*r + 5*r - 4, 4*r - 14 = -y for y.
-2
Suppose 2*l + 4*q - 30 = -12, 2*q = l + 3. Let w be (3/l)/(5/115). Solve -f + 9 = -4*n + 28, -3*f - 4*n = -w for f.
1
Suppose 6*h - 8*h - 8 = -2*g, -5*g - h = -8. Solve -10 = 2*c - 3*l - 2*l, -c + g*l = 3 for c.
5
Let n = 1126 + -1124. Solve c + 20 = -c + 3*z, -4 = -n*c - 3*z for c.
-4
Suppose 3*n - 6 = 0, -3*n = -0*r + 4*r - 30. Let j = r + -1. Solve -2*w = -5*v + 25, 3*v - j*v - 4*w = 14 for v.
3
Let u be (95/152)/((-1)/(-8)). Solve 4*r - 11 = 5*h + 34, -20 = -h - u*r for h.
-5
Let h be 25/20 - 3/(-4). Suppose -24 = h*g - 4*g. Suppose x - g = -3*x. Solve x*q - 5*r = -29, 2*q - r = -2*r - 2 for q.
-3
Let a be -6 - (-42)/(1 + 6). Solve a = 3*n - 12, -4 - 1 = -3*q + n for q.
3
Let n be ((-145)/(-15) - -1) + (-6)/9. Solve k + 0*k + 5*b - 2 = 0, -b = 5*k - n for k.
2
Let n(y) = -5*y - 21. Let g be ((-10)/6)/(2/6). Let d be n(g). Solve -2*j - 10 - d = 2*a, -2*j = 3*a + 16 for j.
-5
Let g(c) = -c + 28. Let p be g(-12). Let a = p - 18. Solve 2*u = 3*i + 2*i - a, 5*u = 5*i - 25 for i.
4
Let w be ((-254)/(-1524))/((0 - 2)/(-24)). Solve 3*t + w*t = -d - 9, -d + 5 = -2*t for t.
-2
Let d = 9 + -7. Let j(g) = 3*g - 63. Let r be j(22). Suppose 4*n - 1 = 4*w - 25, 5*w - 14 = n. Solve -w*t = r*z + 8, -5*z + d*t + 0 = 24 for z.
-4
Let n(m) = -m**3 - 3*m**2 + 32*m + 84. Let i be n(-6). Solve -4*a = 3*r - 20 - i, 2*r = 5*a - 2 for r.
4
Suppose -32 + 40 = 2*k. Solve -16 = 3*f - l, k*l = -2*f - 0 - 6 for f.
-5
Let o(i) = i**2 - 2*i + 5. Let t be o(6). Suppose 4*k = 3*l + t, 7*l + 40 = 5*k + 2*l