= -15 for p.
-2
Let y(u) = u**3 - 18*u**2 + 15*u + 38. Let x be y(17). Suppose -x*t = -3*t + 9. Let q = t - -20. Solve 4*s + q = 3 for s.
-2
Let g(m) = 5*m - 85. Let h be g(18). Suppose 0 = -5*a - 3*k - 10, 3*a = 8*a - h*k - 30. Solve -4*n - a = 15 for n.
-4
Let z be (-2 - 0)/((24/(-213))/(-4)). Let s = z + 73. Suppose 0*g - s*g = -12. Solve -9 - g = 3*m for m.
-5
Let i(t) = t**3 + 3*t**2 - 16*t + 2. Let g be i(-6). Let x be (-11)/((-275)/(-20))*g. Solve 0 - 40 = x*n for n.
-5
Let f = 2713 + -2704. Solve f*c - 24 = -69 for c.
-5
Suppose 0 = -24*k + 60 + 228. Solve -k*o - 40 = -22*o for o.
4
Let o(t) = -6*t + 2*t**2 - 45 - 5*t + 30. Let a be o(7). Solve w - 4*w = a for w.
-2
Let a be (-16562)/(-1365) - (-8)/(-60). Solve 0 = -3*p - 6 + a for p.
2
Let f(q) = 21*q + 162. Let k be f(-8). Let s be 11 + (k - -4)*2. Solve 5*c - s*c = 0 for c.
0
Let j(c) = 4*c**2 - 14*c + 1. Let n be j(-2). Let a = n - 42. Solve -s + a = -1 for s.
4
Let o be 8/5 + ((-32)/10)/(-8). Suppose -z - 3 = -4*a - 4*z, 21 = o*a - 5*z. Let k(h) = 5*h**2 - 14*h - 1. Let f be k(a). Solve -f*w - 1 = 9 for w.
-5
Let o = -63 - -28. Let h = o + 41. Suppose -8*n + h*n = -4. Solve -b - n = -0 for b.
-2
Let p(v) = 2*v**2 - 335*v + 6535. Let f be p(145). Solve -3*n + f*n = -2*n for n.
0
Suppose -14 = 5*k - 3*y - 86, -5*k + 56 = y. Let v(z) = 5*z**2 + 4*z + 3. Let p be v(-2). Suppose 12*u - p*u = -k. Solve -u = -4*o - 24 for o.
-5
Let d be 2 + -8 + (4 + -1 - (-2 - 3420)). Solve -3423*l - 24 = -d*l for l.
-6
Let k(d) = 695*d + 2792. Let m be k(-4). Solve -45*h = -42*h - m for h.
4
Suppose 591 - 519 = -8*f. Let c = f - -11. Solve -d - 9 = c*d for d.
-3
Suppose 8*s + 4*d = 140, d = 3*s - 25 - 25. Solve -110 = s*a + 26 for a.
-8
Let g = 19235 - 19167. Solve 40*n - 57*n = g for n.
-4
Suppose -27*q - 3 = 12*q - 3. Solve q = 65*w - 66*w for w.
0
Suppose 46*u + 715 = 111*u. Solve 157 = -28*q - u for q.
-6
Suppose 3*k - 5*j = 7*k - 1143, 0 = -2*k - 3*j + 571. Let o = k - 287. Solve o = 5*f + 29 - 49 for f.
4
Suppose -6*i - 2*i = -48. Suppose -3*x + 16 = -2*f, 0 = 6*x - 3*x + 3*f - i. Solve 5*j - 1 = x*j for j.
1
Suppose 6 = -3*x - 0, 4*p + 2*x - 44 = 0. Let u be (p/6 - -4) + (-6)/(-2). Solve 3 = -u*i + 12 for i.
1
Let w be 1 + (2 - 3 - -5). Suppose -68 = -34*b - 0*b. Suppose 4*u = 5*x + 22 + 47, -14 = -u - b*x. Solve s + u = w*s for s.
4
Let k be 16/(-10)*-1*(-10)/(-4). Suppose 12 = 4*x + k*y, y + 3 = -3*x + 2*y. Solve 0*a - 5*a = x for a.
0
Suppose y = 3*y + 3*i - 15, 4*y - 5*i + 3 = 0. Suppose u - 10 = -3*c, 0*c = -5*u - y*c + 50. Solve -u = -4*d + 2*d for d.
5
Let s be 3/6*98 - -2. Suppose -5*v = -10, p - 2*v - 8 = 35. Let a = s - p. Solve a - 14 = -2*o for o.
5
Suppose 3*u + 71 = 53. Let j be (2*(-5)/u)/((-98)/(-1470)). Let x be (36/(-45))/(2/(-10)). Solve j = f + x*f for f.
5
Let i = -732 - -735. Suppose -24 = -4*k - 0*k - 4*b, -3*k + 24 = -i*b. Solve 0 = -5*n - 8 - k for n.
-3
Let i be 0/(-9) - (-3 + 1). Suppose i*u + 8 = 4*u. Suppose x - 8 = -o, -o + u*x - 2*x = 1. Solve 0 = -5*p - o + 10 for p.
1
Let c = -150 - -210. Suppose 5*b + 278 = -4*u + u, -b - c = 5*u. Let a = 55 + b. Solve a*m - 5*m = -25 for m.
5
Let j be 12/(-2 + 3 - 0). Let h(d) = d**2 - 407*d - 2472. Let s be h(-6). Solve 0 = -0*z - s*z + j for z.
2
Let t = -6 + 9. Suppose -17 = -5*d - 4*n + t, -d - 5*n + 4 = 0. Suppose -d*h = 2*c + 6 - 4, 5*c - 19 = 2*h. Solve -2*u = -c*u - 4 for u.
-4
Let r be 87*1*(-22)/33. Let t = r - -64. Solve 3*i - t*i = 6 for i.
-2
Suppose -5*i - 5*n + 536 = 381, -5*i = -2*n - 162. Solve -i = -14*q - 4 for q.
2
Let n be -1 - ((-2)/7 - (-970)/(-35)). Solve -n*v + 17*v = -40 for v.
4
Let i = 1055 + -1649. Let r = 616 + i. Solve 19*n - 12 = r*n for n.
-4
Let r = -4141 - -4281. Solve -r*m = -136*m - 12 for m.
3
Let m = 21506 + -21506. Solve m = -17*i + 84 + 1 for i.
5
Let y = -470 - -458. Let k be 10/y*(-96)/160*0. Solve i + k*i = 0 for i.
0
Let f(q) = -2*q**2 + 62*q + 101. Let h be f(33). Let k be (h + 31)*((-10)/6 + 2). Suppose -2*v + 7 = -1. Solve k*m + 2*m + v = 0 for m.
-2
Suppose -46*g + 3511 + 6849 = 102*g. Solve 189 = 17*a + g for a.
7
Let y(z) = z**3 - 58*z**2 + 61*z - 191. Let w be y(57). Solve 80*r = -43 - w for r.
-1
Suppose -2*k + 95 = 3*c, -63 = -2*c - 2*k + k. Suppose 6*f - 191 = c. Suppose -3 = -38*i + f*i. Solve 10 = i*s + 4 for s.
2
Let b = -4481 - -4481. Solve -272*s + 267*s + 30 = b for s.
6
Let o be 18/(-4 - (-44)/8). Suppose -o*a + 7*a - 4*i = -46, 4*a + i = 28. Solve 5*l + 19 + a = 0 for l.
-5
Let u be (24/(-40))/((-1)/5). Suppose 0 = h + u, i + 4*i + h - 17 = 0. Suppose 2*s + g - 14 = -3*s, i*g = 4*s - 16. Solve -o = -s*o + 10 for o.
5
Let y be 1/(1 - (-15)/(-12)). Let m be (-147)/(-14) + (-6)/y. Let f be m/120 + (-49)/(-10). Solve f*r + 3 = 18 for r.
3
Let p(v) = v**2 - 6*v - 5. Let h be p(8). Suppose 0 = 8*l + h - 51. Suppose -1 = l*z - 11. Solve -2 - z = -4*q for q.
1
Suppose -28*x = -965 - 4299. Solve -x = 17*c - 205 for c.
1
Suppose 44*w + 11*w - 78067 = 8*w. Solve w*x = 1660*x for x.
0
Suppose -64*w + 67*w = 36. Solve w*n - 8*n - 12 = 0 for n.
3
Let r(f) = 60*f**2 + 241*f + 4. Let m be r(-4). Solve m = -7*w - 1719 + 1712 for w.
-1
Suppose 93*m - 88*m = 105. Let o(n) = n**3 - 21*n**2 - 2*n + 42. Let a be o(m). Solve 35 = -a*u + 7*u for u.
5
Let z(s) = -2*s + 1. Suppose -4*x - 4*j = -12, 2*x + 3 - 6 = -j. Let f be z(x). Suppose f = -n - 3*u - 3, u + 10 = 4*n. Solve 0 = -n*k - 1 + 3 for k.
1
Suppose 0 = -6*y + y - 4*b - 58, -2*b = y + 14. Let k be (1/2)/(y/(-100)). Suppose 0 = k*f - 8 - 17. Solve 0 = 2*s + f - 7 for s.
1
Let f be (3/(-8) + (-396)/(-32))*(-5)/(-60). Solve 75*l = 74*l - f for l.
-1
Let t(i) = -i**2 + 51*i - 596. Let m be t(24). Solve m - 22 = 15*p for p.
2
Let c(i) = 11334*i + 68006. Let w be c(-6). Let m = -5 + 3. Let t be ((-9)/2 - -2)*m. Solve -w*y - 3 = -t*y for y.
1
Suppose -3*k = 5*n - 50, 32 = -221*n + 225*n + 4*k. Solve -n*c - 12*c = 150 for c.
-6
Let a = -3142 + 3154. Solve 5*g + g = a for g.
2
Let m(z) = -418*z - 2497. Let q be m(-6). Solve -2*c - q*c + 78 = 0 for c.
6
Suppose 0 = -4*g - 2*o - 9 + 53, 2*g - 2*o = 16. Suppose 5*n = h + 12, n - g = -0*h + 4*h. Solve 0 = n*b - b - 4 for b.
4
Let h(p) = 2*p + 30. Let z be h(-13). Suppose -14*t + 93*t + 5*t - 2268 = 0. Solve 5*b + t = -z*b for b.
-3
Let m be (-29 - -23)/(217/(-110) - -2). Let r = m - -226. Solve -r*n = -n + 5 for n.
-1
Suppose -74*y + 64*y = -360. Solve 0 = 6*n - 15*n + y for n.
4
Let q(f) = -231*f - 3373. Let n be q(-15). Solve 57*j - n - 307 = 0 for j.
7
Let d(v) = 68*v - 396. Let c be d(6). Let j be (-128)/(-9) - (-4)/(-18). Let k = j - c. Solve o - 2 = k*o for o.
-2
Let s be (-3 - -2)/((2 + -5)/36). Let l be ((-3)/(-2))/(s/16). Suppose 4 = -n - 3*g, 2*g = 2*n - 3*n - l. Solve 0 = y + n*y - 15 for y.
5
Suppose 12*j + 263 = 587. Suppose -15*r = -j*r + 60. Solve -r*u + 3 = -7 for u.
2
Let j = -179 - -183. Suppose j*d - 24 = -4*d. Solve m = d*m for m.
0
Let t be -1*((10 - 4) + 0). Let g be (-1 - (t - -7))*-2. Solve -g*s - 10 = -2 for s.
-2
Let k(a) = -a**2 - 4*a + 1. Let y be k(-3). Let l(r) = 2*r + 31. Let j be l(-18). Let b be j - (35/1)/(-5). Solve -3*v - y = b for v.
-2
Suppose -5*r = -0*d + 5*d + 235, 0 = -3*d - 6. Let l = r + 45. Let f be (l - 2)*(63/(-6))/7. Solve -f*k = k - 4 for k.
1
Let x(g) = -g**2 + 22*g + 36. Let v be x(19). Solve -14 = 100*y - v*y for y.
-2
Suppose -14 = 24*t - 14. Suppose -2*o = 12 - 56. Suppose -o = -3*b - 7. Solve t = b*u + 6 + 4 for u.
-2
Let r(o) = -o**3 - 16*o**2 - 98*o - 7. Let p be r(-13). Suppose -p - 1292 = -57*s. Solve 6*m = -3*m + s for m.
4
Let f(a) = 595*a - 9510. Let p be f(16). Solve p = -39*w + 49 for w.
1
Suppose -c = 25*c + 52*c - 936. Solve c - 8 = 4*y for y.
1
Suppose -o = -4*o + 528. Let l be o/(-24) + 12/9 + -2. Let a be (-2)/l + (-11)/(-4). Solve -a*r + r + 8 = 0 for r.
4
Suppose -12448*r + 12449*r - 29 = 0. Solve -8 + r = 21*l for l.
1
Let w = -229 - -255. Suppose -w*v + v = -500. Solve 18*o - v = 13*o for o.
4
Let g = -1353 + 1354. Suppose 0*m + 5*m = 25. Suppose 0 = -3*h + 5*p - 4, 4*h - 2*h - m*p = -6. Solve -b - g = h for b.
-3
Let d(f) = f**3 + 10*f**2 + 6*f + 10. Let h(l) = -4*l**2 - 3*l - 4. Let c(x) = 2*d(x) + 5*h(x). Let n be c(0). Solve 5*u - 4*u + 4 = n for u.
-4
Suppose -50*u = -53*u - 5*v + 70, -3*v = u - 38. Let k = 1 + 1