+ 40 for p.
-5
Suppose 0 = -4*k + f + 27, 0*k + f + 21 = 3*k. Suppose -3*c + 0*c + 24 = 0. Suppose -3*r + c*r = 0. Solve r*l = -t - l - k, 3*l = -6 for t.
-4
Let p = 9 - 2. Let x = -11 + p. Let f be 14*(x - 184/(-28)). Solve 5*k - l = 3*k - 4, 0 = -5*k - 4*l - f for k.
-4
Let u be 7 - ((-9 - -4) + 3). Suppose 2*q + 2 = 0, 3*q - u = -4*x + 4*q. Solve -4*g + 0*m - 4*m = 8, -5*g + x*m = 24 for g.
-4
Let h = -17 - -21. Solve 3*u - 3 = -3*t, 5*t + 3*u = -7 + h for t.
-3
Let v(b) = -b**2 - 40*b - 139. Let c be v(-36). Solve -23 = 2*z + c*i, -3*i + 4 = -4*z + i for z.
-4
Let h be (18/(-6))/(6/(-4)). Suppose 4*i - r + h = 11, 3*i - 5 = -r. Solve 3*v - i = 4*b, 6 = -b - 2*v - 0*v for b.
-2
Suppose -2*g + 3*s + 2 = 0, 4 = 4*g + s + 4*s. Solve -g = -5*h - a, -3*h - 3*a + 0 + 3 = 0 for h.
0
Suppose 11*v = 21 + 12. Solve 0 = -2*b - 10, -v*b + 4*b + 4 = -c for c.
1
Suppose -12*n + 6*n + 84 = 0. Let v be (-80)/(-14) - (-4)/n. Solve -r - 2*h - 5 = 0, 17 = -r - 4*h + v for r.
1
Suppose 44 = -5*d + 9. Let g = 9 + d. Suppose m + g - 11 = 0. Solve -4*r - 5*q = -m - 0, -q = 4*r - 5 for r.
1
Let m(o) = o**3 + o**2 + 2*o - 4. Let v be m(2). Solve -2*b - v = 4*q, -6*q + 5*b = -q for q.
-2
Suppose -4*a = a - 50. Suppose x + 2 = -3*h, 0*h + 5*x = -h - a. Let n = 38 + -34. Solve 5*m + 10 = h, q + 10 = -n*m + 2 for q.
0
Let f = -40 + 40. Solve 3*j - 4 = -2*l, f = -4*l + j - 6*j + 6 for l.
-1
Suppose 6*z = 2*z - 8. Let w = z - 0. Let r be (-18)/(-8) - w/(-8). Solve r*t + 3*t - 3*y - 5 = 0, 5*y = 4*t - 4 for t.
1
Let i be (-348)/(-84) - 3/(2 - -19). Solve i*x + 9 = -p, -x + 0*x - 18 = -5*p for p.
3
Let z(t) = t**2 + 10*t - 4. Let p be z(-6). Suppose 5*v - 5*x = 165, 0 = x + 2 + 3. Let c = p + v. Solve -5*d = 4*r + 16, -2*d - 3*r - r - 16 = c for d.
0
Let m = 5 + -2. Suppose 3*i - m*d = -0*i + 6, 11 = 5*i - 4*d. Suppose -4*h - 26 = -v - 5, i*h + 88 = 5*v. Solve -j - 4 = 0, -5*j - v = -0*r + r for r.
3
Suppose -s = -j - 20, -2*j - 16 = -6. Solve -2*c = 2*u + c + 17, -3*c = s for u.
-1
Let u(d) = -5*d**2 + 199*d + 58. Let c be u(40). Solve -5*x = -5*n + c - 33, 0 = 3*n - 6 for x.
5
Let k be (-21)/35*(-250)/30. Solve -8*o + 10*o - 2 = 2*w, 5*o + k*w = -15 for o.
-1
Let u = 31 + -13. Suppose u = 3*d + 3*x, 4*x = -5*d + 12 + 15. Solve 4*o + 0 = d*l + 13, -3*l = 9 for o.
1
Let s be ((-10)/(-8))/((-3)/108). Let h = s - -48. Let q = 21 + -11. Solve -h*o + 0*r - 5*r = -q, -4*o - 5 = 3*r for o.
-5
Suppose -2*u + 5*w + 28 = 0, -3*u - u = 4*w - 84. Solve 3*y - 24 = 3*v, 3*v = y + y - u for v.
-3
Suppose 0 = 4*i - 6*v + 10, 5*i - 5*v - 12 + 17 = 0. Solve 0 = 4*p - 0*p + 5*h - i, -5*p = 5*h for p.
-2
Let w(t) = t**2 + 11*t + 13. Let l be w(-10). Suppose l = n, 0 = -2*y + 3*n + n - 12. Solve y*z = -3*z - 2*x - 11, -2 = 2*z + 4*x for z.
-5
Suppose -27 + 423 = 33*u. Solve -j = -5, -3*w - u - 18 = -3*j for w.
-5
Let f(g) = g**2 - 28*g + 3. Let z be f(28). Suppose -27 = -z*a - 3*w, 2*a - 7*a + 65 = -5*w. Solve -4*q = c - 9, -a + 4 = -2*q - 3*c for q.
2
Let l(d) = -5*d**3 - d**2 + 7*d + 7. Let n be l(-1). Let p = 4 - -2. Solve -4*b - 19 = -3*r, -n*r - 2 - p = 3*b for b.
-4
Let h be 9/6*1*2. Suppose 2 = b + 7, s - 27 = 5*b. Suppose -s*q + h*q - 22 = 0. Solve -2*d - 15 = -3*k, 4*d = 4*k - q + 2 for d.
0
Let o be (-80)/(-15) - 8/6. Suppose 2*y + r - 7 = 0, -o*y - 4*r = -3 - 5. Solve 4*x + 12 = 3*s, 0 = -y*s + 4*x - x + 20 for s.
4
Let a(u) = u**3 - 31*u**2 + 3*u - 90. Let q be a(31). Solve y + 5*z = -22, 8 = 4*y - q*z - z for y.
-2
Suppose 9*g - 10 = 35. Suppose -4*v - g*x + 2 = 0, v - 4*x = 5*v - 4. Solve 3*w + 17 = n + 7, 0 = v*w + 6 for n.
4
Let k = -16 - 3. Let i = 22 - k. Let u = i + -36. Solve 3*f + 7 = g, u*g - f = 4*g + 5 for g.
4
Let p = 219 + -214. Solve -p*v = -2*f - 21, 0*v - 18 = 3*f - 3*v for f.
-3
Let h = -18 + 8. Let x be (-6)/h - 102/(-30). Suppose x*m = -20, 3*u - 13 = m - 2. Solve -10 = z - u*g, -g + 4*g = 3*z + 15 for z.
0
Let m = 144 + -141. Solve 4*l = -2*p - m + 15, p = -4 for l.
5
Let g(o) = -4*o - 11. Let x be (6/10 - 1)*10. Let a be g(x). Solve 3*w = 5*s - 17 - 15, -5*s = a*w for s.
4
Let h(o) = -o - 1. Let a(k) = 8*k. Let s(w) = -a(w) + 4*h(w). Let g be s(-1). Solve 2*z - 4*z - 4*t - g = 0, -5*z + 5*t = -10 for z.
0
Suppose 20 = 6*l - 10. Let w be 2 - 3/(1 + -4). Let x be 2 + 2 + -3 + w. Solve 2*f = -l*j + 25, 0 = 3*f + x*j - 3 - 17 for f.
0
Let o be (-92)/(-20) + ((-12)/30)/(-1). Solve o*a + 15 = 0, -15 = 2*n + 5*a - 2*a for n.
-3
Let s(d) = 19*d + 13. Let v(g) = -2*g - 1. Let h(y) = -4*s(y) - 44*v(y). Suppose m = -0 + 4. Let k be h(m). Solve 4*c = w - 6*w - k, w - 6 = 2*c for w.
-4
Suppose 0 = -9*c + 8 - 8. Suppose -5*i = 5*d - d - 12, c = 5*d - 15. Solve -5*j - z - 10 = i, 6*z - 4*z = 5*j + 25 for j.
-3
Let x(z) = 6*z + 2. Let h be x(1). Let o(d) = d - 5. Let j be o(h). Solve 3*t - 19 = 4*u + 4, -j = t + 4*u for t.
5
Suppose 3*y - 7 + 0 = l, 2*l - 8 = -5*y. Let c = 1 + 9. Solve -y*g - c = -4*k + 3*g, 5*g = -5*k + 35 for k.
5
Let l(v) = -v**2 + 3*v. Let h be l(5). Let u be 2*1/2*h. Let q = u - -13. Solve -3*y + 3*s - 12 = 0, -y - q = s - 7 for y.
0
Suppose 44 - 134 = -30*s. Solve 4*q = -5*w - 4, -s*w - 2 + 6 = 4*q for q.
4
Suppose 2*b = -3*b + 130. Let c = b - 24. Solve -4*w - p = 22, -4 - 2 = c*w - 2*p for w.
-5
Suppose -2*t = 3*w + 18 + 63, -5*w + 3*t = 135. Let c = -25 - w. Suppose -3*k = 5 - 2, -5*g - c*k + 13 = 0. Solve -5*y - 4*l = g, 0 = -3*l + 15 - 6 for y.
-3
Let i(g) = g**3 - 14*g**2 + 14*g - 192. Let t be i(14). Solve 1 + 5 = -5*o + q, -t*o - 5*q = -1 for o.
-1
Let o(a) = a**3 + 6*a**2 + 5*a + 2. Let r be o(-5). Let g(h) = -h + 4. Let j be g(r). Suppose -c = -j*c + 9. Solve 2*u - 2*k = 6, 5*u + 3*k = 4*u - c for u.
0
Let t = 226 - 224. Solve -t*w + 5*i - 11 = 0, -5*i + 0 = -5 for w.
-3
Suppose -2*l = 2*l - 16. Suppose -5*z = 4*b + b - 60, b - l*z = 2. Solve -a = -8*r + 4*r + 8, 5*r = -2*a + b for r.
2
Let c(o) = o**2 + 10*o + 30. Let n be c(-5). Solve -5*j + 35 = -n*v, -5*v + 2*j - 20 = -v for v.
-3
Let d be -3*(5/1)/(-1). Suppose -5*t + 95 = d. Let f = -10 - -10. Solve 0 = -3*b - x - f*x - t, -4 = x for b.
-4
Let r(c) = c**2 + 26*c + 157. Let f be r(-17). Solve -16 = -5*b + 3*i + 2, -b + f = -i for b.
3
Let s = -6 - -8. Let c be 32/18 + 4/18. Suppose -c*g - 4*r - r = -14, -4*g = 3*r - 42. Solve 2*w = s*d - g, -4*d + 3*d = -2 for w.
-4
Let g be (-16)/(-12)*45/12. Solve g*w = 2*f + 30, -1 = -2*w - 2*w - 3*f for w.
4
Let s(o) = -2*o + 20. Let g be s(9). Solve -8 = -2*m - b, 7*m - 30 = g*m - 5*b for m.
2
Let p = -1146 + 1149. Solve 3*g = 3*n - 2*n + 13, 4*g + p*n = 0 for g.
3
Let i = 41 + -28. Let s(f) = -3*f - 20. Let z be s(-10). Suppose -8*w = -z*w + 4. Solve -5*p = -3*x + i - 6, 2*p = w for x.
4
Suppose -f = 38 - 40. Solve -5*z - 4 + 2 = -2*n, 4 = f*z + 4*n for z.
0
Let g(q) = 3*q**3 + q**2. Let d be g(1). Solve -3*h + 2*c = -5*h + d, 4 = 2*h - 4*c for h.
2
Let k be 1 + (12 + -1 - -2). Suppose -2*y = -0 - 2. Let g(s) = 3*s**3 - 2*s**2 + 2*s - 1. Let c be g(y). Solve 5*m + c*i + 16 = 0, -k - 6 = 4*m - 2*i for m.
-4
Let a be (-3 + 4 + -1)/2. Suppose 85 = -a*m + 5*m. Solve 2*x + 22 = -x + 2*z, 2*x + 5*z = m for x.
-4
Let a = 610 + -606. Solve -2*t + 6 = -4*c, -4*t - a = 5*c + 23 for c.
-3
Suppose 3*f + 0*f = 63. Let k be 0*(2 - f/12). Let h(x) = -x - 1. Let t be h(-5). Solve j - z - 1 = 0, k - 4 = 2*j + t*z for j.
0
Let u be (-16)/(-14)*(-112)/(-32). Let g be -10*((-8)/(-5))/u + 4. Solve 5*a + 2*w + 24 = 0, a - 5*w = -g*a + 6 for a.
-4
Let j be 276/14 + (-2)/(-7). Suppose 3 = r - n, 3*r - j - 5 = -5*n. Let k = -101 - -106. Solve 13 - k = -r*g + 3*x, 0 = 5*g + 5*x + 40 for g.
-4
Let j(d) = d**3 - 8*d + 3. Let x be j(2). Let z be (15/x)/(9/15*-1). Solve -q + 0*q - 5 = 4*b, -q = -z*b - 4 for b.
-1
Let b(d) = -2*d - 1. Let x be 10 + 4 + -12 + 8/(-2). Let y be b(x). Solve -2*z + 5*n = y*n + 8, -2*z + n - 5 = 0 for z.
-1
Let t be 1 + 1 + (-5 + 3 - -4). Solve 3*r + 9 = t*f, -2*f - 4*r - 16 = -4 for f.
0
Suppose 5*v + 4*o - o = -2, -18 = -3*v + 3*o. Let q(t) = -5*t**2 + 4*t**v + 0 + 2. Let w be q(0). Solve 0 = -y + 3*m, -w*m - 3*m + 8 = y for y.
3
Suppose 38*x + 30*x = 272. Solve g + z - 4*z = 4, 3*z - 16 = -x*g for g.
4
Let x(c) = -8*c + 25. Suppose 35*t - 37*t = -6. Let g be x(t). Solve 2*i + 3*y + g - 5 = 0, 2*y = -i + 1 for i.
5
Let u = -36 + 41. Suppose 3 =