0 for p.
-5
Let h be (-2)/(3/(-9)*-6). Let l be (h/(-4))/((-1)/(-20)). Solve l*x + 4 = x for x.
-1
Let a(m) = m + 8. Let t be a(-6). Let k be 3/(3 + 27/(-12)). Let r(c) = c**3 - 12*c**2 - 47*c + 32. Let p be r(15). Solve t*l + p = k for l.
1
Suppose f - 111 = -5*d - 16, 4*f + 5*d - 425 = 0. Solve 17*m - f + 161 = 0 for m.
-3
Let s be (0 + -5 + 4)*-11. Suppose -s*f = -12*f. Solve f*o + 3 = o for o.
3
Suppose -4*k - 3 = -41*k - 3. Solve k = -353*g + 356*g + 6 for g.
-2
Suppose 214*c - 202*c + 9648 = 0. Let b = c + 818. Let n = 4 + 1. Solve 11 = n*t - b for t.
5
Suppose 8496 = 17*h + 132. Suppose 13*n + 24 = h. Solve -34*d + n*d - 4 = 0 for d.
2
Let k(l) = -l**2. Let d(w) = -w**2 - 12*w + 13. Let m(r) = -d(r) - 4*k(r). Let g be m(1). Solve 6*b - 10*b - g = 0 for b.
-1
Let k be (-484)/11*2/4. Let d = k + 27. Suppose -d*g - 4 = -24. Solve -w - g*w - 10 = 0 for w.
-2
Let c be 64/40 + (-2)/(-5). Let v be 0/(25/(-5)) + (c - 1). Solve 2*i = -1 - v for i.
-1
Let d = 406 - 169. Suppose 2*j - d = -237. Solve 1 + j = -r for r.
-1
Suppose 7*s + 14 = 28. Let m(b) = -b - 8. Let n be m(-16). Solve -s = -2*r - n for r.
-3
Let a = 187 - 193. Let o be ((0/(-2))/a)/(-2). Solve o*m = m - 3 for m.
3
Let m(f) = f**2 - 2*f. Suppose 3*r - 3*x = 93, 6 = r - 2*x - 20. Let a = r + -34. Let h be m(a). Solve h = -c - 2 for c.
-2
Suppose h + y - 14 = 0, h + 5*y = 17 - 7. Solve -25 = 8*z + h for z.
-5
Let k(u) = -6*u**2 - 5*u + 272. Let l be k(-7). Solve l - 9 = -4*f for f.
-1
Let u be 198/27*(-132)/(-11). Solve 3*v - u = 14*v for v.
-8
Let b(s) = 3*s**3 - s**2 - s + 1. Let j be b(1). Suppose -t = 5*m - 6*m - 76, 0 = 5*t - 4*m - 382. Suppose 17*a - t = 177. Solve y = -j*y + a for y.
5
Suppose 0 = -5*q - 3*r + 39, 7*r - 15 = 2*r. Suppose 4 = q*x - 14. Suppose 7*b - 2*b = 0. Solve x*j - 2 - 7 = b for j.
3
Let i = -6 + -19. Let m = i - -33. Suppose 0 = 12*y - 43 - 5. Solve -y = -b - m for b.
-4
Let f(y) = 2*y**2 + 102*y + 1246. Let g be f(-15). Solve -59*q + 70 + g = 0 for q.
4
Let w(c) = 56*c + 86. Let f be w(-8). Let l = -352 - f. Solve l*t - 15 = 15*t for t.
-3
Let k be (-4)/(-4) - (-60)/10. Suppose k*z - 4*z - 12 = 0. Solve -o - z = o for o.
-2
Suppose -4*y - 763 = -4*x + 237, -x - 980 = 4*y. Let j = -224 - y. Solve 6 - j = -4*f for f.
4
Let m = 3640 - 3604. Solve -m = -25*f + 14 for f.
2
Let i(s) = -s**3 + 9*s**2 + 71*s - 12. Let g be i(14). Solve -243 = g*z - 235 for z.
-4
Let k = 3394 - 3390. Solve -13 = -k*h + 3 for h.
4
Suppose 0 = 5*t - 3*b - 48, 42*t + 3*b = 37*t + 12. Solve 23*l = t*l + 85 for l.
5
Let k(t) = 4*t**2 + 59*t - 198. Let y be k(3). Solve 45 = -15*o - y for o.
-4
Let b(l) = -152*l + 3045. Let w be b(20). Solve 15*y - 35 + w = 0 for y.
2
Let u = 12 + -8. Let n be (6/9)/(u/12). Let y be (11/n)/((-12)/(-24)). Solve -2*s - y + 3 = 0 for s.
-4
Let b be 0*((-38)/(-90) + (-98)/441). Solve b = -23*a + 11*a - 36 for a.
-3
Let o be (-26 - -1)*(-20)/(-50). Let a be 80/140 - o/7. Solve 6 + 0 = a*c for c.
3
Let c = -5946 - -12421. Solve c = 10*y + 6415 for y.
6
Suppose -102633 = 9*g - 102651. Let h = 20 - 12. Solve -g*d = 2*d - h for d.
2
Let q be -8 - (-11 + 5) - 5*-3. Solve s = q - 11 for s.
2
Suppose -5*v - m = -152, 5*m = -6*v + 4*v + 47. Solve v*n = 43*n + 84 for n.
-7
Suppose 1 - 7 = -2*u. Let t = -1792 - -1808. Solve r + u*r = -t for r.
-4
Suppose -174 = 3*s - 2*f + 5*f, 123 = -2*s + 5*f. Let d = 61 + s. Let q be 2*(3 - 7/d) + 6. Solve -5 = q*c + 10 for c.
-3
Let t be (-201)/15 + 4/10. Let b = 41 + t. Suppose 3*l = l + 8, b = 2*j + l. Solve -3*h = -6*h - j for h.
-4
Suppose 10*t + 2*t = 900. Suppose 4*m - t = -3*k, 2*k = 1 + 1. Solve 9 = 9*n - m for n.
3
Let j be ((-6)/(-9))/(7833/1953 - 4). Solve 65*k + 27 = j*k for k.
-9
Suppose 2*k + f = 12, -4 = -4*f + 4. Let w(m) = -7*m - 4. Let j be w(-2). Let g be (15/(-25))/((-2)/j). Solve 0 = k*n - g*n for n.
0
Let p(r) = -r**3 + 5*r**2 - 21*r + 252. Let d be p(7). Solve 0 = -d*l + 24*l - 17 for l.
1
Suppose j + 3*s - 24 = -0*s, 0 = s - 3. Let n be (5 - (-3)/(-1))*10/4. Suppose n*i = -25 + 35. Solve i*v - 7*v - j = 0 for v.
-3
Let b be (1 - -19)/(-4 + 6). Solve 13*v - b + 49 = 0 for v.
-3
Let a(k) = -k**2 + 9*k + 1. Let b(j) = -8*j - 191. Let r be b(-25). Let v be a(r). Solve 11 = 5*h + v for h.
2
Suppose 0 = -6*v + 24*v - 12*v. Suppose 3*q + 2*s = 13, 0 = 5*q + s - 6 - 4. Let g be -4 - (q + v + -5). Solve i - 1 = -g*i for i.
1
Suppose 11*v = 16*v + 355. Let o = v - -74. Solve -4 = -o*w + 2*w for w.
4
Let s(x) = -x**2 + 23*x + 36. Let j be s(24). Suppose -5*y - 3*a - 12 = -7*a, -4*y - 4*a + j = 0. Solve y = 2*m + 2 for m.
-1
Suppose -2*v + 666 = m, -3*m - 252 - 438 = -2*v. Solve -345 + v = 3*u for u.
-3
Let y = 528 - 512. Solve -48*m = -32*m + y for m.
-1
Let p(f) = f**3 + f**2 + f + 17. Let b be 0*(-2 - (3 + -4)). Let j be p(b). Let u be (13/3 - 1) + 5/(-15). Solve u*r - 2 + j = 0 for r.
-5
Let t = -34775 - -34994. Solve 27*v - t = -3 for v.
8
Let q = 2976 + -2976. Solve q = 6*i + 67 - 31 for i.
-6
Suppose 0 = -14*r + 20*r - 48. Let p be (-22)/(-12) + (-45)/(-270). Solve -r*w = -6 - p for w.
1
Let t(h) = 3*h**2 + 14572 + 12*h**2 - 14573. Let v be t(1). Solve 0 = -15*z + v*z + 3 for z.
3
Suppose -1172 + 1802 = 63*x. Solve 21*c = 11 + x for c.
1
Let j be (-1 + 2)/(1060/80 - 13). Solve -130 + 138 = -j*s for s.
-2
Suppose -5*o + b = -0 - 47, 4*b = 5*o - 38. Let f be 0*((3 - 1) + 1 + -4). Suppose -g - 4*v - 13 = 0, -4 = v - f*v. Solve -g*s + 2 = -o for s.
4
Let q = 7850 + -7844. Solve 14*i = -q*i for i.
0
Let w(o) = o**2 - 1. Let l(d) = d**3 + 5*d**2 - 7*d - 8. Let z = 10 - 16. Let x be l(z). Let c be w(x). Solve -14 - 1 = c*n for n.
-5
Let v = -2 - -3. Let x be -8 + 6 + v*2. Let m(y) = 7*y**2 + 162*y - 141. Let p be m(-24). Solve x = -2*s + p*s for s.
0
Let s be 3 - (-172)/(-60) - 736/120. Let d be ((-840)/63)/(4/s). Solve d = 6*l - l for l.
4
Let h(g) = g + 4. Let i be h(13). Suppose 11 + i = -4*o. Let v(k) = -k**3 - 8*k**2 - 9*k - 14. Let s be v(o). Solve c + c = s for c.
0
Suppose 0 = -0*q - 2*q - 3*q. Suppose 2*g = 3*h - 4, -5*h - 11*g + 15 = -6*g. Solve o + h - 6 = q for o.
4
Let y(q) = -q**2 + 2*q + 1950. Let w be y(44). Solve 21 = -9*n + w for n.
9
Suppose 0 = -211*f + 213*f + 5*d - 4724, 9364 = 4*f - 4*d. Solve -2347 + f = -3*h for h.
0
Suppose -2*m + 0*d = -5*d + 220, 0 = 2*d - 8. Let b = 102 + m. Suppose -s = -0*s - 7. Solve -3*n - b = s for n.
-3
Suppose -3*s - 25 = 5*x, 2*s + 6*x - 2*x + 20 = 0. Suppose b + h - 2*h - 11 = 0, -4*b - h + 64 = s. Solve 2*u = 5*u - b for u.
5
Let t = -16 + 16. Suppose 0 = 2*b - 3*g + 2, -5 = -2*b - g + 1. Suppose 5 = m + b. Solve m*q + t - 6 = 0 for q.
2
Let i = -15495 - -15509. Solve -15*j - 61 - i = 0 for j.
-5
Let q be ((-45)/1*(0 - -1))/(-1). Let i = -42 + q. Solve 7*t - i = 11 for t.
2
Let j = -62 + 64. Suppose 19 + 1 = -2*w. Let q(o) = -o**2 - 11*o - 10. Let y be q(w). Solve j*b + y = -4 for b.
-2
Let n(g) = -g + 7. Let l be n(8). Let p be (146/4 + l)/(11/(-22)). Let z = 76 + p. Solve c = z*c for c.
0
Let h be ((-6)/9)/((-2)/15). Let z(k) = 7*k + 232. Let b be z(-32). Solve 0 = b*s - h*s for s.
0
Suppose -5*y = -y - 12. Suppose 3*r = -b - 13, b - r + y*r = -8. Suppose 0 = -v - 5*q + b, -5*v + 7*q + 10 = 2*q. Solve v*m - 9 = -m for m.
3
Let p = -19 - -7. Let k be (-1)/((-2)/p*-2). Let l = -821 - -826. Solve -4*r - l = k for r.
-2
Let u(t) = 18*t**2 + 33*t - 5. Let g(k) = 21*k**2 + 34*k - 4. Let d(h) = -5*g(h) + 6*u(h). Let l be d(-10). Solve l*s - 6 = 12*s for s.
-3
Suppose 0*d = -4*d - 4*q + 76, 4*d + q - 73 = 0. Let c be (-3 + 0)/(4881/(-348) + 14). Suppose -12*m - c = -140. Solve m = -4*g - d for g.
-5
Let p(n) = -n**3 + 16*n**2 + 22*n - 70. Let r be p(17). Solve -r*d + 28 = -d for d.
2
Let n(i) = -i**3 - 5*i**2 - 13*i - 14. Let k be n(-3). Solve -14 = -k*u - 0 for u.
2
Let q(d) = 5*d - 31. Let f be q(21). Let w = -71 + f. Suppose 0 = 5*l, -3*p - 3*l + 18 = -2*l. Solve -7*m + w = -p*m for m.
3
Let z = -17410 - -17782. Solve -6 = -z*l + 370*l for l.
3
Suppose -35*k + 22*k + 408 = 21*k. Solve -78 + 6 = -k*t for t.
6
Suppose -z - 4*b - 2 + 34 = 0, 5 = z - 5*b. Suppose 92 - z = 9*g. Solve 0 = -2*w - 2*w - g for w.
-2
Let t be (((-693)/14)/(-9))/(2/8). Suppose -8*b + 2 + t = 0. Suppose -b*q - 47 = -68. Solve -q*r = -3*r - 20 for r.
5
Let x = 3918 + -3364. Solve -552*g = -x