= 2 for p.
-5
Let y(b) = b**2 - 7*b - 3. Let g be y(0). Let i = 3 + -6. Let t be g/2*10/i. Solve -12 = -t*x + 3 for x.
3
Let w(u) = -9*u + 34. Let q be w(3). Solve 4 = d + q for d.
-3
Let m be 22/4 + (-2)/4. Let s(c) = 5*c - 1 + 11*c + 7*c - 22*c. Let b be s(m). Solve -h = -b*h for h.
0
Let a be 0/(((-32)/(-4))/(-4)). Suppose 0 = -f + 4 - a. Suppose -g - g + p + 16 = 0, f = -p. Solve -2 = 2*y - g for y.
2
Suppose -315 = 42*k - 57*k. Solve -k = 5*v - 16 for v.
-1
Let q be -83 + ((-30)/5)/(-2). Let s = -77 - q. Solve -s*g + 25 = -8*g for g.
-5
Let m = 109 - 95. Solve -6*g = -m*g for g.
0
Suppose -4*u - 4*s + 9*s = -6, 0 = -2*u + 4*s. Solve -u*r = -0*r - 20 for r.
5
Let f = 18 + 42. Suppose 9*y = 4*y + f. Solve i - 5*i = y for i.
-3
Let b(y) = y**2 - 6*y - 3. Let l be b(-4). Let j = l + -27. Solve j = 2*f + 2 for f.
4
Let m(o) = 5*o - 2. Let i be m(3). Let s = -13 + i. Solve 5*n - 2 + 22 = s for n.
-4
Suppose -3*k - 2 + 8 = 0. Suppose 5*m - 15 = -k*s + 1, m + 5*s = -6. Let z be (-6)/m*4/(-3). Solve -3*d - 25 = z*d for d.
-5
Let g be ((-2)/6)/(8/(-48)). Solve 0 = -g*j + 14 - 16 for j.
-1
Let r(i) be the first derivative of i**2 - 4*i + 10. Let s be r(4). Solve 4 + 0 = s*o for o.
1
Suppose 6*d - 30 = 54. Let t be (-40)/(-140)*(d - 0). Suppose -k + v + 15 = -v, t*k + 3*v = 5. Solve -4*a = 1 - k for a.
1
Let j = -39 - -35. Let z = j - -8. Solve -z*g = 13 - 1 for g.
-3
Let p(l) = -3*l + 71. Let q be p(25). Let c = 10 - 18. Let u = q - c. Solve 6 = -u*f - 14 for f.
-5
Suppose -414 = -12*x + 54. Solve 35*k = x*k + 8 for k.
-2
Let j(p) = p**2 - 2*p. Let n be j(3). Suppose -t - 63*c + 66*c + 18 = 0, 5*t - 4*c - 79 = 0. Solve -n*z - 2*z - t = 0 for z.
-3
Suppose 0 = -2*v - 3*u + 9, v - u - 7 = -0*u. Let h(t) = -t**2 + 4*t - 4*t + 15*t - 24. Let z be h(13). Solve z*f = v*f + 16 for f.
-4
Let u be (1 - -4) + (-11 - -6). Solve u = -14*t + 9*t + 25 for t.
5
Let h = 63 - 51. Suppose -h = -39*o + 33*o. Let q be ((-2)/(-3))/(2/6). Solve -q*t = o*t - 12 for t.
3
Suppose -5*v = -44 + 19. Suppose -4*n + v*k = -0*k, -4*n = 3*k. Solve n + 3 = -q for q.
-3
Let s be 15/(-2)*(-22)/33. Solve -s*d = 2 + 8 for d.
-2
Suppose -i + 2*u - 4*u = -7, 2*i - u - 34 = 0. Solve 30*m = 25*m - i for m.
-3
Suppose 0*u = 4*u - 152. Suppose 22 = 10*m - u. Solve -m*j = -2*j + 8 for j.
-2
Suppose s + 20 = 5*y, -10*s + 5*s = -3*y + 34. Solve h + 4 = -y*h for h.
-1
Let v(h) = -16*h - 43. Let c be v(-3). Solve -2*t + c*t - 15 = 0 for t.
5
Suppose -3*t + 7*w - 116 = 9*w, -4*w = 4*t + 160. Suppose -5*h + 68 = -157. Let j = h + t. Solve 0 = 3*o - 0*o - j for o.
3
Let a be 1*(2/(-2))/(1/(-4)). Suppose -4*o + 13 - 1 = -3*u, a*u = 0. Solve o*s = 1 + 5 for s.
2
Let r be ((22 - -4)*2)/2. Let b = r + 4. Let i be (-10)/(-4)*24/b. Solve -a + 12 = i*a for a.
4
Let a = 30 + -30. Suppose 2*v + 2*v - 20 = a. Let h be ((-14)/4)/((-5)/10). Solve v*m = -h - 3 for m.
-2
Suppose 18 = 3*a - 4*z, 6*z + 20 = 4*a + 2*z. Solve 0 = a*g + 3*g + 15 for g.
-3
Suppose -4 + 19 = 2*l - 3*u, -4*u = 5*l + 20. Let d be 1/(-3)*l/7. Let q be (d/(-1))/(8/4). Solve 0 = -q*o - 2*o for o.
0
Suppose -96 = -7*i + 3*i. Suppose 4*r - i = -0*r + 3*j, r = 2*j + 6. Solve 2*k - r = -k for k.
2
Let m = -25 + 33. Suppose 9*p - m = 8*p. Solve p = 3*c + 20 for c.
-4
Let s be 3 - 1 - (-5 + 5). Suppose -t - s = -4. Solve t = -3*w + 17 for w.
5
Suppose -8 = -2*i, 0*z + 4*z = i - 92. Let d = z + 23. Solve -3*x + d = -2 for x.
1
Suppose -2*b + 3*g = -17, 0 = -3*g - g - 20. Let f be (b - 1)*1/(-3). Solve -u + 3*u + 8 = f for u.
-4
Let v(i) = -5*i - 23. Let r be v(-5). Solve -r = -2*h + 6 for h.
4
Suppose 2*h - 116 = 2*t, -5*t - 9 = -h + 65. Suppose -5*l + 160 = 5*b, -3*b + l + 46 = -h. Solve -5*k - b = -8 for k.
-5
Suppose -3*p + 2*r = 2*p, 2*p = -2*r + 14. Suppose -5 = -2*a - 3, -o = 3*a - 11. Solve -p*g + o - 2 = 0 for g.
3
Suppose -2*b + 34 = -5*c, -3 = 5*c + b + 40. Let x = -5 - c. Solve 5 = -2*k - x for k.
-4
Let y = 13 + -11. Suppose 0*g + y*g - 3*n = 15, 0 = 5*n + 25. Suppose -p + g = -5. Solve -3*t = p - 2 for t.
-1
Let k = 303 - 278. Solve -7*v + 2*v + k = 0 for v.
5
Suppose c - 3*g = 19, -c + 5*g = 3*g - 16. Solve -2*b = -c*b + 24 for b.
3
Let l be 365/(-75) - (1 + (-13)/15). Let w be ((-1)/l)/((-5)/(-25))*4. Solve -h + w = 3*h for h.
1
Let f(q) = -q**2 - 3. Let m be f(5). Let g be 10*-1*(-3 - 1). Let w = m + g. Solve -a + w = 2*a for a.
4
Let x be 0 - 84/12 - -43. Solve 96 = 20*j + x for j.
3
Suppose -u - n + 5 = 1, 0 = -4*u + n + 16. Let m be 8*u/40*5. Solve m*f - 1 = 3 for f.
1
Suppose -2*k = -6*k. Let b be (-16 + 2)/(1 - -1). Let t = 10 + b. Solve -t*d + 0*d + 3 = k for d.
1
Suppose -4*w = -w + 5*o - 41, 2*w + 2*o = 22. Suppose -g = 5*u - 19, -w*g + 4*u = -3*g + 20. Let l be (-7)/(-2) + g/(-2). Solve -d + l*d = -6 for d.
-2
Suppose 0 = 6*o + 40 - 106. Solve -4*y = -o - 5 for y.
4
Suppose 5*i + 3 = 13. Suppose -3*x - 5*a + 22 = 0, -2*a + 1 = 3. Solve j + i*j = x for j.
3
Suppose -4*l + s = -3, -4*s = -9*s + 25. Let i(r) = 0*r**l - 14 - r**2 - 27*r + 9*r. Let b be i(-17). Solve 2*d = -b + 11 for d.
4
Suppose 6*n + 5*n = 847. Let x = -75 + n. Solve x*s - 3 + 5 = 0 for s.
-1
Suppose 4*p + j = 199, 2*p - 7 - 94 = -j. Suppose -w + 55 = p. Solve w = s + 2*s for s.
2
Let g be (-1)/(((-5)/10)/(4 + -2)). Solve -21 = 11*l - g*l for l.
-3
Let o(i) = -i - 9. Let g be o(9). Suppose 12 = 3*a - 0*a. Let c be (-86)/(-18) - a/g. Solve -10 = c*w - 0 for w.
-2
Suppose 0 = 13*y - 12*y - 16. Suppose y*c - 5*c = 55. Let m(b) = b**3 + 3*b**2 - 2*b - 3. Let v be m(-3). Solve -v*r + c = -2*r for r.
5
Let o be (10/(-1))/(18/(-9)). Suppose -2*q - x + 0*x = -3, 0 = 4*q + 3*x - o. Solve q*u + 1 = 9 for u.
4
Let i = 134 + -127. Solve -o + i - 2 = 0 for o.
5
Let v(u) = u**2 - 5. Let s be v(-4). Suppose -s = 6*x + 1. Let d be -3*(x/(-6) + -3). Solve 4*z - d - 4 = 0 for z.
3
Suppose -96 = 24*h - 30*h. Solve -5 = -h*y + 15*y for y.
5
Let a(h) = h**2 - 5*h + 5. Let k be a(4). Let t be 0 + ((-1 + k)/(-4) - -2). Solve r + t = -3 for r.
-5
Suppose -2*h - 4*t = 2*h + 320, t + 2 = 0. Let n = -76 - h. Solve n*b = -2*b for b.
0
Let y(h) = -10*h - 7. Let c be y(-4). Let w = c + -22. Suppose 0*p - 16 = -4*p. Solve 9 = -p*m - w for m.
-5
Let f(p) be the first derivative of -p**2 - 7*p - 3. Let h be f(-5). Suppose 0*w + 7 = 4*w + 3*l, 2*w + l - h = 0. Solve 0*r = -r - w for r.
-1
Let b = -165 - -75. Let r = 96 + b. Let m(t) = t. Let z be m(2). Solve -r = -4*k + z*k for k.
3
Suppose 5*m - 3*r = 36, -2*r = 2*m - 4 - 4. Solve m*k = -16*k - 66 for k.
-3
Suppose -6*w + 225 = -w. Suppose 4*o + o = w. Let t be ((-84)/(-63))/(1/3). Solve o = -t*f - 3 for f.
-3
Let j be 14/133 - (-283)/19. Solve 0 = 16*k - 11*k + j for k.
-3
Let k = 22 - 22. Suppose -12*f + 9*f + 24 = 0. Solve k = -2*z + f - 0 for z.
4
Suppose 2*h + 19 = 5*y, 34 = 3*h - 0*h + 5*y. Solve -h = 76*v - 73*v for v.
-1
Let g(a) = -a**3 - 13*a**2 + a + 16. Let z be g(-13). Suppose 0 = 3*n - 4*p + z, 3*n + 2*p = -2*n + 21. Suppose n*u = 4*u. Solve 2*m = -u*m - 2 for m.
-1
Let m(j) = -2*j**3 + 8*j**2 + 6*j - 8. Let w be m(4). Suppose 5 = 7*k - w. Suppose -2*b + 0 = -2. Solve b = -2*c + k for c.
1
Let x(o) = 6*o**2 - o - 2. Let m be x(-1). Suppose 0 = -0*w + 3*w + 3*n - 6, m*w - 5*n = 20. Solve -2*r + w*r = 4 for r.
4
Suppose 0 = 2*y - 11*y + 27. Let j be 26/6 - y/9. Suppose 2*g + 0*h - 12 = 2*h, -2*h - 30 = -j*g. Solve 2*v = -v + g for v.
3
Let h be (-4 - -2) + (-1 - -5). Suppose -3*j = h*j - 25. Suppose v - 10 = -v - j*t, -5*v = 3*t - 25. Solve 0 = -o - 4*o - v for o.
-1
Suppose -3*q - q = -12. Suppose 2*l + q*l - 25 = 0. Suppose l*u - 5*f + 15 = 40, 0 = 4*f + 12. Solve u*s + 15 = 7*s for s.
3
Let b = 0 - 14. Let k(v) = -v**3 - 13*v**2 + 16*v + 34. Let y be k(b). Solve 0 = -3*m - y for m.
-2
Suppose 12*p - 6*p - 12 = 0. Let i(l) be the first derivative of 4*l**3/3 - l - 1. Let b be i(1). Solve -b*d = p*d + 25 for d.
-5
Let f be 12 + -5 - (-46 - -11). Solve -9 = -f*o + 39*o for o.
3
Suppose 2*y + 0*y = 4*q - 28, 5*y = -q - 26. Let a be (-1)/y - (-2)/(-12). Solve a = -2*j + 4*j - 10 for j.
5
Let b(r) = r**3 - 19*r**2 + 18*r + 7. Let d be b(18). Suppose 4*a - 4 = -2*g, -5*a + 25 = -4*g + d. Solve -2 = -a*w + 2 for w.
2
Suppose 2*f + 10 - 26 = 0. Solve -5*c = -f*c + 3 for c.
1
Let m(a) = -a - 13. Let c be m(6). Let f = 7 + c. Let q 