 for p.
-2
Let b = 6 + -1. Suppose -4*d + 14 = j, -b*j = 4*d - 105 + 35. Suppose 20 = 4*v, -q = -2*v - v + j. Solve 4*w = -3 - q for w.
-1
Let v be 1/((21/(-7))/(-15)). Solve -v*u = -2*u - 9 for u.
3
Let y(l) = 9*l - 2 - 11*l - 3*l**3 - 13*l**3 - 4*l**3. Suppose -g + 5*o - 26 + 0 = 0, -4*g = o - 1. Let i be y(g). Solve -j - i = 3*j for j.
-5
Let y = 31 + -47. Let w = 21 + y. Solve 4*m + 3 = w*m for m.
3
Let n(i) = -i**3 + 6*i**2 + 8*i - 1. Let c be n(7). Solve -y + c = 3 for y.
3
Let c = -12 + 10. Let b be 0/12 + (-2 - c). Solve g + b = 2 for g.
2
Let s be 2/(-18) + (-3184)/(-144). Let k be 4 + (-432)/198 + 4/s. Solve v = k*v - 5 for v.
5
Suppose 2*m - 15 - 5 = 0. Suppose 0 = -405*f + 403*f + 10. Solve f*d - 10 = m*d for d.
-2
Let u(o) = -o + 43. Let w be u(19). Let k be (-4)/w - (-43)/6. Solve -4*s + k*s = 0 for s.
0
Suppose 4*s = -0*s - 140. Let t be (-6)/33 - s/11. Suppose 4*o - 4*z - 33 = -o, -t*o = 4*z - 7. Solve 0 = 5*y - 0*y + o for y.
-1
Suppose 3*x - 228 = a, 5*x - 3*a - 155 = 221. Let s = x - 43. Suppose -j - 4*c = 16, -3*j - 3*c = -c - 2. Solve j*g - s + 14 = 0 for g.
5
Let m = 18 + -1. Suppose -w = -1, 2*f - 3*w = -0*f + m. Suppose 3*y - f = 8. Solve -2*u + y = -0*u for u.
3
Suppose 3*f = 167 - 59. Suppose -3*p + 0*p = -f. Solve p = -3*y - y for y.
-3
Suppose 0 = -3*n + 2*y + 305, 4*n - 2*n = 2*y + 200. Solve n - 104 = h for h.
1
Let w = 353 + -350. Solve -l + 20 = w*l for l.
5
Let c(z) be the third derivative of z**6/8 + z**5/15 - z**4/4 + z**3/3 - 6*z**2. Let g be c(1). Solve -7*w - g = -2*w for w.
-3
Let k = -94 - -196. Let v = k - 97. Solve 0 = -v*g - 4 - 6 for g.
-2
Suppose -2*w = 4*i, 0 = 3*w + 2*i - 7*i. Suppose 0 = 3*t - 7 - 5, -2*y - 5*t + 24 = w. Solve 0 = -y*v - v + 12 for v.
4
Suppose 3*g - g = 0. Suppose g = u + 3*u - 12. Solve -u = 4*b - 19 for b.
4
Suppose -8*y + 55 = -3*y. Let z = 14 - y. Suppose 0 = -4*b + 5*r, -z*r = -2*b - 8*r. Solve -3*t - 10 + 1 = b for t.
-3
Let y(q) = 24*q + 202. Let f be y(-8). Solve f*d = -0*d - 30 for d.
-3
Suppose l = -2*y - 3, -6 = l + 6*y - 3*y. Suppose 2*q - l*q = 0. Solve 2*j + 2 = -q for j.
-1
Suppose 8*j + j = 4*j. Solve 0*k + 7*k = j for k.
0
Let i(t) = -2*t**3 - 6*t**2 + 6*t + 1. Let p be i(-4). Suppose p*k - 33 = 12. Solve 3*g - k = 4*g for g.
-5
Suppose -70*n + 47*n + 138 = 0. Solve n*b + 12 = 18*b for b.
1
Let u(l) = -75*l + 111. Let o be u(-2). Solve -4*z + 269 = o for z.
2
Suppose 2*t = 21 + 3. Suppose 0*h - t = q + 4*h, 9 = 5*q - 3*h. Solve -j + 3 + 0 = q for j.
3
Suppose -5 - 27 = -4*d. Suppose 9*p - 4 = d*p. Solve p = 5*v - 1 for v.
1
Let o = 831 + -799. Solve -25 = -7*w + o*w for w.
-1
Let f = 11 + -7. Suppose s + u = 6, 4*u + 0 = f. Suppose 5*i - 90 = -5*p, 0*p - 4*i - 81 = -s*p. Solve -5*j - 3 = p for j.
-4
Let h be -1 + 6 + (-2)/(-1). Let p(i) = i**3 - 7*i**2 - 3. Let x be p(h). Let k be ((-2)/2)/(1/x). Solve -k*u + u = 8 for u.
-4
Let k be 32/3*(-5)/60*-207. Solve 186*s - k*s - 6 = 0 for s.
3
Let t(k) = k + 14. Let w = -43 - -31. Let p be t(w). Solve -p*i - 2*i = 0 for i.
0
Suppose -3*t = -3*f - 18, 3*t + 6 = 2*t - 5*f. Let w be -11*(-4)/t*-4. Let k be (w/33)/((-1)/9). Solve 3*n + 0 = k for n.
4
Suppose p + 4 = -8. Let d be 3/p*(-76 - 0). Let j(b) = b**2 + 8*b + 8. Let c be j(-7). Solve 5*r - d = c for r.
4
Suppose 33 = -2*u + 3*a, -a = -2*a + 3. Let h be ((-6)/u)/(1/4). Solve -3*r + 2 = -h*r for r.
2
Suppose 5*p = 14 + 86. Solve 24*i - p*i = -20 for i.
-5
Suppose 2*z - 73 = -3*m, 0 = 5*z + 10 - 5. Suppose -5*a - m = -5*d, 2*d - 14 = -2*a - 4. Suppose 4*c + 5*s + 17 = a, 0 + 17 = c - 3*s. Solve 7 = -5*h + c for h.
-1
Let c be -3 - -2 - (0 + -36). Let j be 4/14 + 60/c. Suppose j*i + 4*v - 20 = -2*i, 4*v + 8 = 0. Solve -i = -5*x - 17 for x.
-2
Suppose -35 = 900*s - 907*s. Solve -3*d = -s*d for d.
0
Let c be 0/(2 + -3) + 5. Let w(u) = 2*u - 7. Let l be w(c). Suppose -z + f + 2 = -1, z - 2*f - l = 0. Solve 0 = -z*m + 5*m for m.
0
Suppose -16 = 3*p + 4*t, 4*t + 16 = 4*p - 0*p. Suppose p = 3*o - 4*o + 5. Solve 0 = o*y - 3 - 2 for y.
1
Let x = 29 + -26. Suppose 4*b + 0*k - x*k = 33, 0 = 4*b + k - 53. Solve 2*u = 6*u + b for u.
-3
Let w be 6/(2/((-8)/(-6))). Suppose -3*c = -2*m + 2, -6*c + 2*c + m = -w. Solve 0*j = -j - c for j.
-2
Let w(n) = -5*n**2 + 22*n - 5. Let u be w(4). Solve -p = -1 + u for p.
-2
Let z(y) = 2*y**3 - 80*y**2 - y + 44. Let k be z(40). Solve -3*f = 1 - k for f.
1
Let y = -8 - -11. Let l(p) = p**2 + 6*p - 8. Let o be l(-6). Let t be (6/o)/(12/(-32)). Solve -5*z + t = -y for z.
1
Suppose 5*y - 20 = 5*k, y = 3*y + 3*k - 3. Let j be 7 - (y - 1) - 0. Suppose -3*l + j = 2. Solve 4*f = -19 - l for f.
-5
Suppose -p + 4 = 2. Let v = -991 - -997. Solve -p*r = 14 - v for r.
-4
Let m(x) = -4*x - 4. Let c be m(3). Let g = c - -19. Suppose 2*r - r + g*z = -15, -3*r - 5 = z. Solve w + 0*w = r for w.
0
Let a = 4 - 2. Suppose 12 = 3*f - 3. Suppose a*i = 3*o + f, o - 4 = 3*i - 15. Solve -3*k + i*k = 0 for k.
0
Suppose -b + 3*m - 7 = 0, -3*b - b - 2*m = 0. Let z = 13 - b. Let n = -12 + z. Solve n*g + 0 - 2 = 0 for g.
1
Suppose -5*t + 30 = 5*v, 5*v = 7 - 2. Suppose 134 = 5*g - 2*b, -2*g = -3*b + t*b - 48. Suppose g = 5*m + 2*y, -2*y + 12 + 6 = 3*m. Solve -m = -5*d + d for d.
1
Suppose 2*x = -30 + 44. Solve -4*m + x*m - 12 = 0 for m.
4
Let m(n) = n**2 - 18*n + 4. Let z be m(18). Suppose -z*a + 4 = -0*a. Solve 2 = -j - a for j.
-3
Let w(y) = 2 - 46*y + 12 + 13 + 42*y. Let s be w(6). Solve -s = 4*h - h for h.
-1
Let p(j) = 2*j + 23. Let k be -4 - 4 - (5 + -3). Let n be p(k). Solve 0 = -n*l - 7 - 5 for l.
-4
Suppose -8 = 2*h + 3*a, 0*h + 5*a + 12 = -4*h. Suppose f - 3 = 3*v, -v = f - 3*v - h. Let y be ((-3)/(-2))/(3/4). Solve f = -3*m + y*m for m.
0
Let n = -419 + 419. Solve -2 + n = 2*f for f.
-1
Suppose -2*m - 4*n + n - 28 = 0, 0 = -n - 4. Let f = m + 12. Let i(k) = 2*k**2 - 7*k + 5. Let a be i(4). Solve f*b + a = 1 for b.
-2
Suppose 3*a - 20 - 4 = -4*g, 5*a = -5*g + 35. Solve -a = -12*d - 52 for d.
-4
Let i(g) = 10*g**2 + 4*g - 2. Suppose -4 + 2 = -2*c. Let v be i(c). Solve -7*n = -11*n + v for n.
3
Let z be 17/1 + 0/4. Let w = -57 + 69. Suppose 0 = 6*o - w - 6. Solve 5*n + o = -z for n.
-4
Let z = 30 + -30. Suppose z = 3*h - 4*t - 0*t - 16, 0 = -h - t + 3. Solve -s + 15 = h*s for s.
3
Let l = -1178 + 1187. Solve l = i + 2*i for i.
3
Let b(k) = k**3 + 7*k**2 - 3*k - 10. Let m be b(-7). Suppose 1 = 3*x - m. Solve -x*f = -1 + 21 for f.
-5
Suppose g - 4*r + 19 = 0, 10 = r + r. Suppose -4 = -d + g. Let c = 13 - d. Solve 0 = c*j - 3*j for j.
0
Let x(i) = i**3 - 6*i**2 + 6*i - 1. Let p be x(5). Suppose 3*t = -5*d - 5, -p = -t + 5*d + 1. Solve 4*k + 20 = -t*k for k.
-5
Let u be (2 - 0/(-4)) + (-66 - -1). Let a = 63 + u. Solve 5*y + a*y = 0 for y.
0
Suppose 46*i = -70*i + 4060. Solve 20*y - 27*y = -i for y.
5
Let q be (-44)/(-12) + (-7)/105*-5. Solve q = 41*d - 43*d for d.
-2
Suppose 4 = -4*v - 4*s, 4*s - 32 = 4*v - 2*v. Let z be (-12)/(-5) - v/10. Solve -7 - 8 = -z*l for l.
5
Let l be (-114)/19*(-1)/3. Suppose l*u - 4*h - 16 = 2, 21 = 3*u - 4*h. Solve 0 + 6 = -u*w for w.
-2
Let l(j) = 14*j - 95. Let t be l(7). Solve -23 + 20 = t*x for x.
-1
Let j be 0 + 0 + -6 + 3 + 3. Solve j = -0*o - 3*o - 3 for o.
-1
Let z(u) = -13*u**2 - u - 2. Let k be z(-2). Suppose 3*i - 7*i = 4*j + 320, 9 = -3*i. Let c = k - j. Solve -3*v - 2*v - c = 0 for v.
-5
Let n = -269 - -143. Let q be 3/2 + n/28. Let l be (-2)/q + 10/3. Solve 0 = -l*h + h - 15 for h.
-5
Let n(h) = -9*h - 3. Let j be n(-1). Let a be (9 + -3)/(j/2). Solve 0*y - a*y = 0 for y.
0
Suppose 0*y + 108 = -4*y. Let c be 1/2*(-7 - y). Solve 3*i - i = c for i.
5
Suppose 3*y = 2*n + 138, 153 = 3*y - n + 4*n. Let q = y + -42. Solve q*r - 10*r - 8 = 0 for r.
-2
Suppose 2*d + 2*i + 1 = 3*i, -3*d + 3*i - 6 = 0. Solve -d = -5*y + 14 for y.
3
Let v = -49 + 50. Solve -12*b = v - 1 for b.
0
Let z = -181 + 189. Solve p - z*p = -14 for p.
2
Suppose 0 = 5*z + 151 - 31. Suppose -2*p = 2*p - 12, 21 = q - p. Let t = z + q. Solve -u = -t*u for u.
0
Suppose -3*n - 2*i = -14 - 29, -3*i = 5*n - 71. Let z = 4 - 3. Solve 4*x - z = -n for x.
-3
Suppose 5*t = -4 + 174. Let c = t - 55. Let n = 24 + c. Solve -18 + 3 = -n*v for v.
5
Suppose 0 = 9*h - 16*h. Solve -2*m + h - 10 = 0 for m.
-5
Let d(n) = 2*n**2 + 4*n + 6. Let u be d(-3). Suppose 9*x + 6 = u*x. Solve 5*r