= -a*p for p.
3
Let a(q) = -q**3 + q + 9. Let n be 0 + 1 - 0/4. Let f be (1 - 0) + (0 - n). Let t be a(f). Solve 0*r = -3*o - 3*r + t, -2*o - 5*r + 3 = 0 for o.
4
Let v be -2*(0/1 - 1). Let p = 3 - 0. Let g be 2 - 2*(v - p). Solve -n = 2, k + 3*k - g*n - 12 = 0 for k.
1
Let u be (33/(-6))/((-3)/(-6)). Let i = u - -15. Let n = 0 + i. Solve -n*o - 12 = 4*j, 3*j = o + 3*o - 2 for j.
-2
Let a = 7 + -5. Suppose 0 = -5*h - 5*o + 50, 3*o + 5 = a*h + 10. Solve -3*b + h*q + 8 = 0, 3*b - 3*q + q - 5 = 0 for b.
1
Let u = -76 - -78. Solve -u*b - 9 = a + 3, a - 16 = 5*b for a.
-4
Let l be (-125)/(-5)*(-3)/(-5). Solve 3*h = -2*d - 2*d + l, 2*d = -5*h + 11 for h.
1
Suppose 0 = -2*j - 3*j. Suppose -q - 2*q + 12 = j. Let z = -4 - -6. Solve -2*l + 25 = -5*b, -2*l - z*l - 20 = q*b for l.
0
Suppose r - 20 + 2 = 5*s, -5*s - 24 = 2*r. Let q(p) = -30 - p**2 - 10*p + 13 + 11. Let a be q(s). Solve -3*n = 3*x + a, 5*n + 1 + 1 = 2*x for n.
-2
Let z be 2 + -2 + 2 + 0. Solve 3*p - 23 = 5*v, v = z*p + 6*v + 18 for p.
1
Suppose 3*w - w = 0. Solve 2*n + 2 = -0, w = 4*k + 5*n + 17 for k.
-3
Let y = -11 - -16. Solve 4*l - 35 = y*k, -5*l + 1 + 18 = 2*k for l.
5
Suppose -4*x - 25 = -9*x. Solve -u = -a + 8, 2*u + 34 = -u + x*a for u.
-3
Let m be (-2 - -2)*(0 + 1). Let c be m + 0 - 8/(-1). Suppose -g = -c + 4. Solve 3*w + 5*b - 19 = 0, -6 - 17 = -5*w - g*b for w.
3
Suppose -u + 11 - 6 = 0. Solve 0 = -2*m - u*n + 3 - 5, 5*n = 0 for m.
-1
Let t(y) = y**3 + 3*y**2 + 4. Let w be t(-3). Suppose -r = -5*b - 27, -3*r + b + 1 = 2*b. Solve 5*g + r + 12 = 3*z, -13 = w*g - 3*z for g.
-1
Let w = 5 + 0. Suppose -f = 5*k - 11, -w*f = 5*k - 14 - 1. Solve i = -k*q - i - 4, 3*i + 20 = 4*q for q.
2
Let i be (10/4 - 4)*(-14)/3. Solve 2*q + 1 = -3*b + i, -b - q = -2 for b.
2
Suppose -5*r + 4*w + 2 - 9 = 0, -4*r + 7 = w. Solve -5*q + 6 = -5*u - 4*q, 5*q = -4*u + r for u.
-1
Suppose 2*d = 5*c - 8, -2*c + 2*d = -c. Solve -2*x - 3*r = -4*x - 13, -c*x - 8 = 2*r for x.
-5
Suppose 0*g - 5*g + 15 = -2*p, p - 5 = 0. Solve 4*k = g*v - v + 4, k = -3*v + 5 for k.
2
Let w be (-1 - -4)/((-7)/(-7)). Solve w*h + 4 = -u, h = u - 6*u - 6 for h.
-1
Suppose 0 = 3*k - 20 + 17. Solve 3*z - 4*i - 2 = k, 2 = 2*z + i for z.
1
Let m = 13 + -10. Solve -5*d = -v + 5, 3*v = -m*d - 1 - 2 for v.
0
Let s be 1 - -1 - 4/(-2). Let t = 13 - 9. Solve 4*z + 5 = z - l, t*z = -4*l - s for z.
-2
Let u be -7*((-16)/(-280))/((-1)/5). Solve -8 = 2*j, -2 - 2 = -3*y - u*j for y.
4
Let y = -2 - -3. Let g be ((-3)/(-2))/((-3)/(-4)). Suppose 2 + 4 = g*a. Solve 5*p - y = 4*j - 0, -4*p + j = -a for p.
1
Let s be 1 + 0 + 56/14. Solve -k = -4*u - 14, 0 = 3*k - 3*u - s - 1 for k.
-2
Suppose 3*g = 24 - 6. Solve -5*j - m + 11 = 0, 2*j - 4*m + 12 = g*j for j.
2
Suppose -4*m + 3*g - 57 = 0, -2*m + 2*g - 3*g - 31 = 0. Let s be (3/m + -1)*-5. Let i = 12 + s. Solve 0 = -6*j + 3*j + c + 10, 0 = -j - 5*c - i for j.
2
Suppose -8*k = -4*h - 5*k + 39, k - 25 = -5*h. Solve -4*u + 2 = -h, -l - 4*u + 9 = 0 for l.
1
Suppose -3*w = 4*n - 24, -5*w - n = 2*n - 51. Solve 0 = -5*p + 6*p - 5*k - 2, -3*p - 3*k - w = 0 for p.
-3
Suppose -p = -3*p + 6. Let m = 4 + -2. Solve m*c + 3*d + 1 = 3, c - p*d + 17 = 0 for c.
-5
Let f be (-294)/(-77) - (-6)/33. Solve f*x + 2*m + 1 = 3*m, -m = -1 for x.
0
Suppose -t - 3*n = 2*t, t + 4*n = -12. Let h(a) = -a**2 + 6*a. Let d be h(5). Suppose 4*i - d = 3. Solve 3*o - 3 = i*f, f - t*o = -0*o - 9 for f.
3
Let o be (-8)/20 + (-66)/(-15). Suppose 0*i + 2*i + 2*f = 2, -o*i + 4*f + 12 = 0. Solve -5*x + 8 = -4*w - 5, 5*w + i*x = -8 for w.
-2
Let b be 2 + (8 - (8 + -4)). Solve 0 = 4*h + r + 17, -3*r - b = 3*h - 0 for h.
-5
Let h be 0*3/(-3)*16/(-32). Solve -4*n - 4*d = h, 2*n - n = 2*d + 3 for n.
1
Let h = -7 - -7. Let b be (-3 - h - 4)/(-1). Solve -2 = -q, 5*v = 2*v + 4*q + b for v.
5
Suppose -72*x + 2 = -71*x. Solve -4 = -4*n, -c + 2*n - x = -4*c for c.
0
Let m(o) = -o. Let g be m(-6). Suppose -5*c = -5*t + 125, 0 = t + 4*t - c - 133. Let f be (18/(-15))/(6/(-15)). Solve f*s = -4*q - 4 - t, -2*s - g = -q for q.
-4
Let l(p) = 2*p**3 - 3*p**2 + 2. Let x be l(2). Suppose 36 = -3*i + x*i. Let z(g) = -2*g - 5. Let m be z(-4). Solve c - 9 = m*n, c + i = -2*n - 2*n for n.
-3
Suppose 5*m - 5*p - 5 = 0, -m = 5*p + 2 + 3. Solve m = -2*n - 2*i - i + 9, -n - 3*i = -6 for n.
3
Let c be (-6)/4*(-1 - 1). Let l(p) = 2*p**2 + 1. Let k be l(-1). Let y = k - 2. Solve c*u - 2*q - 8 + y = 0, -3*q = 3*u - 12 for u.
3
Suppose -2*o = 6, -4*o + 23 = 2*d - 3*o. Suppose 3*b - 6 = -i, -4 = -4*i - 3*b + b. Solve -2*p = -5*q + 11, i = -p - p - 3*q + d for p.
2
Let d be -1*((-294)/12 + (-1)/2). Solve -5*o = b + 25, 5*o - 2*b = -0*b - d for o.
-5
Let b(p) = p**3 + 6*p**2 - 3*p - 4. Let d be b(-6). Suppose i = -5*u + 4 - d, i + 3*u = -4. Solve 3*f + 14 = x, -2*x - 2*f + 16 = -i*f for x.
2
Let k(j) = 2*j**2 - 9*j + 18. Let t be k(4). Solve -5*m = -2*n - t, -4*n - n - 2*m + 23 = 0 for n.
3
Suppose 0*v - 5*v = -285. Suppose -4*j = -67 - v. Let z = 2 + 3. Solve 11 - j = z*w, -5*h = 2*w + 3 for h.
1
Let y = -8 - -11. Suppose 0 = -y*b + 3*x + 18, b - 12 = 3*x + x. Suppose -21 = -b*u - s, -3*s - 8 = -3*u + 4. Solve -c + 6 = 3*d + 18, 5*c + u*d + 10 = 0 for c.
3
Let g = -27 - -30. Solve -4 = -x + r - 4*r, -g*r - 4 = 5*x for x.
-2
Suppose -5*g - 2*l - 52 = -156, 5*l = g - 37. Solve 2 = z, -4*b - 6*z + z + g = 0 for b.
3
Let i(c) = c**2 + 6*c - 7. Let z be i(-7). Suppose b + 1 = 5*u + 16, -3*u = 4*b - 14. Let t = 4 + u. Solve z = -v + 3*p + t*p - 11, 4*v - 2*p + 8 = 0 for v.
-1
Let t(l) = -l - 10. Suppose -10 = -4*b - 34. Let q be t(b). Let a(d) = d**2 + 4*d + 4. Let u be a(q). Solve s - u*n = -1, 2*n + 2*n - 4 = 0 for s.
3
Let q be (-30)/(-2) - (2 + -2). Suppose 0 = 2*i + i - q. Solve -2*d + i*b + 9 = -2, -2*b = d - 1 for d.
3
Let k be 3*(-6)/9*(-10)/4. Solve -r + k*c = 2, -2*c + 3 = 1 for r.
3
Let s = 12 + -9. Solve 2 = s*l - 4*k, l + 3*k - 7 = -2 for l.
2
Let p(u) = u**2 + 12*u + 11. Let o be p(-11). Let r be (o - 6)/((-1)/2). Solve -2*q + r = a, 0*q + q = 4 for a.
4
Suppose 0*t - 4*t + 16 = 0. Let v be (-6)/8 - 23/(-4). Suppose v*s = -k + 3*k - 2, t*k = 3*s + 4. Solve 0 = -b + k, 2 + 11 = -2*h + 3*b for h.
-5
Let q = 4 - 2. Suppose 0 = -q*p + 4*k + 26, -p + k = 4*k - 18. Let t = p - 9. Solve 0 = r + 4*u + 21, -t*u + 3*u = 5*r + 20 for r.
-1
Let s be 6/(-10) - 56/(-10). Suppose 2*c + 16 = 2*r, 2*c + 6 = 5*r - 19. Let o be (-16)/(-3) + (-1)/r. Solve 0 = -5*w - s*f + 10, -w - 3 = w - o*f for w.
1
Let x(g) = -2*g - 40. Let t be x(-22). Solve -5*l - a - 19 = 5, -3*l = -t*a - 4 for l.
-4
Suppose 0 = -5*f + 5, 3*o - 2 = 5*f - f. Solve 0 = -5*t + 10, 1 = o*j - 5*t + 3 for j.
4
Let z(i) = -i**3 + 5*i**2 + 10*i - 8. Let d be z(6). Suppose 18 = v + d. Solve 0 = -3*p - x + 11, -v*p + 10 = -0*p + 2*x for p.
3
Suppose -a = -4*a. Let n(l) = l**2. Let u be n(a). Suppose 4*t + 35 = 5*j, u*j + 2*j + 5*t = -19. Solve 0 = -r + 3*k + 11, 0*r + j*k = -2*r - 14 for r.
-1
Let b(v) = -2*v**2 + 12*v + 5. Let t be b(6). Solve 3*u - 7 = t*j - 0*j, 1 = j for u.
4
Let p(w) = w**3 - w**2 + w + 1. Let m be p(-1). Let c be 3 + (m - 1)/1. Solve -5*q + 2*k + k = 0, c = -3*q - k for q.
0
Let v be 8/44 - (159/(-11))/3. Solve -p + v*p - 5 = 5*t, 0 = 3*t + 3 for p.
0
Let s = -10 - -18. Let z(v) = v**2 + 2*v - 12. Let l be z(-5). Solve k + 2 = -l*f - s, -3*k = -6 for f.
-4
Let s(j) = j**3 + 6*j**2 - 27*j + 10. Let k be s(-9). Solve -4*l + 26 = -2*v, 2 = v - l + k for v.
-3
Suppose 4*q - 10 = 8*q - 2*x, -q + 5 = x. Solve -5*o = 4*s + 6, 3*s + 1 + 11 = q for o.
2
Suppose 5*u - 194 = -h - 41, -3*u = -4*h - 78. Let f be 16/u*-3*-5. Solve -3*a - 8 = 4*o, 0*a - 2*a - f = 0 for o.
1
Let u(x) = -x**2 - 6*x - 5. Let c be u(-2). Solve 0 = -3*y - 5*z, y - c*y - z - 7 = 0 for y.
-5
Let z(m) = 2*m**2 - 48*m + 5. Let o be z(24). Solve w = 2*w + 2*h + 7, 19 = -3*w - o*h for w.
-3
Let o be ((-8)/10)/((-16)/40). Solve -t - o*j + 7 = 0, -t + 5*j = -2*t + 16 for t.
1
Let j(z) = -2*z + 1. Let i be j(-1). Suppose 0 = w - 3 - 4. Solve -5*a - i*y = -w*y - 41, 2*a + 3*y = -2 for a.
5
Let r = -3 - -7. Let m = 5 - r. Suppose 2*o = 3*o - 2. Solve -3*h + m = -o*s - 15, -3*h - 9 = 3*s for s.
-5
Let i be (24 - -1) + (-2)/(-2). Solve -2*c + 2*z + 5 = 1, 5*c + 3*z - i = 0 for c.
4
Let m(q) = q - 7. Let i be m(9). Solve 5*t = -5*z, 0 = 3*z + i*z - 10 f