 for p.
2
Let x be (-5 + 2 - -5)/1. Suppose -2 = 2*t - 8. Solve s + x*y = -y - 14, 0 = -4*s + t*y + 19 for s.
1
Suppose 5*c + 6 = 21. Suppose -3*w + 244 + 200 = 0. Let a be (-2)/(-6) + w/6. Solve 4*v + 5*t + c = 16, -2*t + a = -5*v for v.
-3
Let w be 1875/65 - 2/39*-3. Let x = w - 25. Solve -n + 2*n = -4*k + 12, -k = -x*n + 14 for k.
2
Let u(l) = -10 - 4*l + 0*l + 2*l**2 - 3*l**2 + 4*l**2. Let z be u(3). Solve z*v + 4*p - p + 1 = 0, -3 = -v + p for v.
1
Let z be 3*((-2)/(-12))/(5/(-490)). Let q = z + 54. Solve -l = 3, 3*s = 3*l + q + 13 for s.
3
Suppose 2*g - 3*k + 122 = 0, 3*k = 4*g + 68 + 176. Let w = 66 + g. Solve 0*c + 5*n = c - 27, -5 = w*c + 3*n for c.
2
Let p = -601 - -624. Solve 2*g - 13 = -3*x + 4, -5*x - 2*g = -p for x.
3
Let f = -121 + 123. Solve 0*h - 5 = f*v + 3*h, -1 = -v + 2*h for v.
-1
Suppose 41 - 9 = 8*m. Solve -n + 5*k = -2*n + 13, m*k = -n + 11 for n.
3
Let p be (40/(-60))/((-4)/18). Solve 4*d = -m + 7, -p*d - 1 = -m - d for m.
3
Let v(m) = -m + 1. Let a be v(-5). Let g be (-6 + a)/(3/1). Let o be g - (-6 - (2 + -5)). Solve 0*q + 20 = -2*q - o*b, -q = -5*b - 16 for q.
-4
Let d(o) = 5*o**2 - o + 1. Let u be d(1). Suppose 5*y - 31 = -u*h - 6, 5*h - 24 = -4*y. Solve h*v - 20 = -2*m + 6*m, 4*v + m - 10 = 0 for v.
3
Suppose 8*t - 28 + 12 = 0. Solve t*y = 3*b - b + 2, 0 = -3*y + 4*b + 3 for y.
1
Let c(b) = -b**2 - 25*b - 64. Suppose -t - l - 17 = -2*l, 2*t - 4*l = -24. Let s be c(t). Solve 12 = s*i + 5*o, 3*i = -0*o + 2*o - 1 for i.
1
Suppose 0 = 36*t + 256 - 652. Solve -j - t = -0*j - 2*q, 0 = -4*j - 3*q for j.
-3
Let p be (-46)/(-345) + (-56)/(-30). Solve -17 = -3*x - p*u, -6*u + u = -5 for x.
5
Let q be (9/3)/(-7 + 471/66). Solve 2*t - y = 7 + 3, 3*t - 5*y - q = 0 for t.
4
Let u be (2/1)/(1/1). Let h be (-2)/4*((-11 - -3) + -2). Solve 3*q - h*r + 9 = 1, q + u*r = 1 for q.
-1
Let b(w) = 2*w**2 - 12*w + 22. Let p be b(3). Solve 5*m = p*r - 9, 1 = -3*r - 11 for m.
-5
Let s = 188 + -186. Solve -4*i - 2*t = -6*t - 8, s*t = 4*i - 8 for i.
2
Let a = 1619 - 1616. Solve a*t = -5*s + 6 + 4, 4*t = -s + 2 for s.
2
Let k = 29 + -74. Let f be 18/k - (-4)/10. Solve -n - 2 = 0, -2*i + n - 7 - 1 = f for i.
-5
Let s = 152 + -147. Solve 3*v = -2*t - 12, -s*v = -t + 27 - 7 for t.
0
Suppose -2 = -c - 0. Suppose -2*p + 18 = c. Let w be 1/(-4) - (-18)/8. Solve -w*a = -5*a - s - 8, s - p = 5*a for a.
-2
Suppose 0 = 4*g - 15 + 7. Let k be (-9)/18*(-9 - 1). Suppose 5*x - 4*z + 6 = 0, k*x - 1 = 3*z - 3. Solve g*t - s + 5 = -2*t, t = -x*s + 1 for t.
-1
Let i(d) = -d**3 + 10*d**2 + 12*d - 3. Let a be i(11). Let z be 32/6 + 1/(-3). Let w be 25/z*(3 - 2). Solve o = 3*l + a + w, o = 4*l + 16 for l.
-3
Suppose 3*b + 7 = -5*i + 29, -6 = 5*i - 4*b. Let h be (2/i)/(3/(13 + -1)). Let x be 2/(4/6 - 0). Solve -n + 6 = x*l + 4*n, 2 = l - h*n for l.
2
Let m be 2/(-6) + (-7)/(-3). Suppose m*w - 49 = -3*l, -2*w + 13 + 46 = 5*l. Let u be (4 - 5) + w + -2. Solve 9 + 1 = -5*i, -2*i = -2*j + u for j.
5
Let x = -209 - -185. Let r(o) = -23*o**2 - 1. Let h be r(-1). Let s = x - h. Solve 4*b + 22 = 2*i - 5*i, s = -3*b + 3*i - 6 for b.
-4
Let r = -211 - -231. Solve -4*q + 2*l = r, 4*q + 9 = l - 9 for q.
-4
Let n be (-488)/(-32) - 1/4. Solve -5*y + n = -3*q + 8*q, -4*y = -3*q + 23 for y.
-2
Let a = 94 - 53. Let d = a - 31. Solve -2*s + n = 2*n - 5, 3*n = -s + d for s.
1
Let g be -7*15/(-35) + -3. Solve g = -4*b - 4*i - 1 - 7, 1 = -b - 2*i for b.
-3
Let k(c) = 6*c - 4. Let s be k(2). Let n be 0 - -6 - (-6 + s). Solve -4*g - n*j + 24 = 0, 5*g - 2 = -3*j + 5*j for g.
2
Let t(s) = 7*s**3 + 23*s**2 + 9*s - 6. Let z(r) = r**3 + r**2 - r + 1. Let o(l) = t(l) - 6*z(l). Let a be o(-16). Solve -3*h = 0, -2*h + 5*h = a*g for g.
0
Let g be (12/9)/(-2)*(-30)/4. Let q = -2 + 7. Solve -8 - 23 = -3*r - 5*v, 0 = g*r - v - q for r.
2
Let y be (8/(-10))/((-24)/180*3). Solve 5*k + 3 + 6 = -l, -l + 2*k - y = 0 for l.
-4
Suppose 34 = 9*g - 11*g. Let f = -15 - g. Let n(d) = -4*d - 3. Let q be n(-2). Solve q*a - 19 = f*j + 3, 0 = -2*a + 3*j + 11 for a.
4
Let x be (4 - (-102)/(-12))*32/(-24). Solve -16 = -2*j - 5*q, x*j + 4*q - 6 = j for j.
-2
Let u(k) = -k**2 - 10*k - 13. Let m be u(-4). Solve -x - m = 4*i, i = -4*x + 6 - 20 for x.
-3
Let n = -65 + 199. Let p = -132 + n. Solve -2*d + p = -2*z, 2*d + z + z = -14 for d.
-3
Let a(v) = -4*v. Let h be a(-1). Let l be -5*((-12)/(-4) - h). Suppose 0 = 4*c + o - 10, 3*o + 0 - 16 = -l*c. Solve r + 2*p - c = 0, -p - 3 = 3*r + 2*p for r.
-4
Suppose -42*d + 3*d = -78. Solve 0 = -3*p, 16 = 4*u - 0*u + d*p for u.
4
Let a = -3 - -3. Suppose -4*p = a, 2*i - 15 = -3*i + p. Solve -t - k + i = 0, 7 = t + 2*k + 2 for t.
1
Let u be 5/5*3 - 1. Solve -2*i = 0, -2*s - u*s - 4 = 5*i for s.
-1
Let h = 29 + -26. Suppose 0 = -h*k - 4*g + 31, 2*k + 4 - 26 = -3*g. Solve -5*w = 4*p + 35, 0*p - 5*w + k = -4*p for p.
-5
Let h be 868/210 + 4/(-30). Suppose 8*k - h*k + 3*d - 76 = 0, -4*k + 3*d + 52 = 0. Solve 3*w - 12 = 0, 0 = -3*n - w + 2*w - k for n.
-4
Suppose -4*p - 2 = -3*i, -2*i + 3*p + 0 + 1 = 0. Suppose -f + 4 = -0*f + 5*q, 4*f + i*q = 16. Solve 5*t + 5 = -2*y - 3*y, f*y - t = 16 for y.
3
Suppose -10 = 5*d, 7*u - 3*d - 10 = 3*u. Solve -5*v + u + 14 = s, -2*s = 10 for v.
4
Let u be 2/2 - (-20 - 1). Let a = -56 - -38. Let z = u + a. Solve -o + 0*v - z*v = 17, 5*o - 2*v = 25 for o.
3
Let f = 214 + -212. Solve -2*i = -f, 3*o - 4*i - 2 = o for o.
3
Let p(w) = -w**3 + 76*w**2 - 83*w + 605. Let z be p(75). Let f(k) = k**3 - 6*k**2 - 4*k - 8. Let m be f(7). Solve -z*v = 2*c - 33, -5*v - 3*c + m = -6*c for v.
5
Let w(b) = b**3 - b**2 - 2. Let j be w(0). Let n = j - -6. Solve -n*q + 2*p + 3*p = -9, -q + p = -2 for q.
1
Suppose 3*q - 4*q + 18 = 5*c, -2*c + 2 = 3*q. Solve 0*z - z + 4 = -3*p, -c*p = 4*z for z.
1
Suppose c - 15 = -2*w - 36, 4*w + 7 = 5*c. Let h(o) = -o**3 - 9*o**2 - 9*o - 2. Let d be h(w). Solve -d = -3*v, 5*k + 3 - 26 = v for k.
5
Let u be 3 - ((-6)/(-14) - 34/14). Solve -u*n + 3*b - 22 = 0, -n + 5*b - 28 = 3*n for n.
-2
Let o(z) = z**3 - 2*z**2 - 6*z + 10. Let g be o(3). Solve 5*v = 3*w + g, v - 12 = -5*w + 5 for w.
3
Let d(b) = b + 5. Let y be d(0). Solve 5*s = 2*f - 8 + 38, f + y = 0 for s.
4
Suppose -4*w = -11 - 5. Suppose 0 = w*a + 73 - 81. Solve 5*q = a*t + 2 + 20, -5*t + 3*q = 17 for t.
-1
Let q(m) = -5*m - 10. Let a(c) = -c. Let x(u) = -3*a(u) + q(u). Let f be x(-5). Solve o = 3*g - 0*g - 13, -2*o + 4*g - 20 = f for o.
-4
Suppose 0 = 2*f - 9 - 1, -2*f - 75 = -5*b. Let i = 77 + -77. Solve i = -4*p - v + 9, 5*p - 7 = 3*v + b for p.
3
Let y(g) = g**2 + 16*g + 62. Let j be y(-11). Solve c = 3*t + 7, -2*t + j = c + 5 for c.
4
Let p(c) = -6*c + 2. Let q be p(-2). Suppose -13*x = -q*x + 2. Solve 10 = m - 5*n, -n + x = -3*n for m.
5
Let y be 1 + (-1)/(4/(-8)). Suppose -124 = -5*k + w, 2*k + y*k - 2*w - 123 = 0. Solve -g = -0*g - 4*o + 15, 0 = -5*o + k for g.
5
Let q = 54 + -39. Suppose 10*n + 40 = q*n. Solve n = 4*f - 4*w, 3*f + 1 = -w - 5 for f.
-1
Suppose 59 = 5*u - 4*g - 7, -2*u + 4*g + 36 = 0. Let p = -6 - -8. Let n be (-10)/(-80)*4 - (-1)/(-4)*-86. Solve -j - 4*v - u = j, -4*v - n = -p*j for j.
3
Suppose u - 4 + 2 = 0. Let w(v) = -2*v + 4. Let h(n) = -n**3 + 6*n**2 - 2*n + 9. Let f be h(6). Let z be w(f). Solve -3 = -3*g - 0*i - 5*i, u*i - z = g for g.
-4
Let h(l) = 10*l**2 - 4*l + 1. Let j be h(2). Let w = -29 + j. Solve -3*k + 2*p + 0 = -3, 4*p = w*k - 4 for k.
1
Suppose 0 = -3*b - 5*o + 31, -o + 0 = -2*b - 1. Suppose -6*x + 5*x = -b. Suppose -h = x - 8. Solve 0 = -0*i + i + 4*g - 13, -3*g = -h for i.
5
Let b(m) = 3*m - 6. Let a be b(3). Suppose -a*t + 33 = 5*u + 1, 2*u - 4 = t. Solve -2*d = d - t*x + 21, -x - 9 = 4*d for d.
-3
Suppose 4*v - 3 - 9 = 0. Solve -v*a = 3*y + 21, a + 9 = 3*y - 5*y for a.
-5
Suppose 52 = 6*z + 7*z. Let x be (-11)/(27/(-6) + z). Let c be 0 - (-1 - (1 - -2)). Solve 2*g + c*j = x, 25 - 7 = 2*g + 3*j for g.
3
Let r be (4/(-4))/(1/(-3)). Suppose 19 = 5*b + 4*c, r*c - 2 + 8 = 3*b. Solve 2*h = -u - 2, -3*u - b*h + 1 - 7 = 0 for u.
-2
Suppose 0 = -0*w - 4*w - 20. Let b be 3/5 + (-2)/w. Solve -4*x - 5*o = -b - 8, -4*x + 3*o - 31 = 0 for x.
-4
Let m = -1 + 4. Solve -k + 0 = -2*i - 7, 0 = 5*k - m*i for k.
-3
Suppose 0 = -3*a - 5*m + 185, -5*m = 3*a + a - 245. Let i = -57 + a. Solve -3*d + 14 = -0*s - s, -i*s - 2*d = 9 for s.
-5
Let t = 2 + 1. Let