 Solve 4*a = -2*p + v, 2*a + 2*a = -5*p + 19 for p.
3
Let s(d) = d**3 - d**2 - 3*d + 4. Suppose 4*t - z - 4 = 3*z, -2*t = 5*z - 9. Let w be s(t). Solve 0 = c - 5*y - 22, c - 9 + 2 = w*y for c.
-3
Let f = 27 + -17. Solve -i - 4*i = -c - 12, 2*i - f = 3*c for c.
-2
Suppose 3*m = 0, -3*m - 4 = -g - 0*m. Solve -3*s - 7 = 5*c, -g*s + 0*c + c = -6 for s.
1
Suppose y + 155 = 4*s, 0*s - y = -3*s + 115. Solve 0 = -3*f + f - 4*d - 10, 4*d = 4*f - s for f.
5
Suppose 0 = g - 3*g + 10. Let d be ((-6)/g)/((-4)/40). Solve 0 = -4*v + 4*z - d, -4*z = -20 + 4 for v.
1
Let x(o) = -2*o**3 - 3*o**2 - 3*o - 5. Let z be x(-2). Solve -5*r - 15 = -3*f, 0 = -4*r - z*f + 2*f - 12 for r.
-3
Suppose 0*h + 3*h - 3*c = -9, -c = -3*h + 1. Suppose h*p - 6 + 0 = 0. Solve -5*d - 4*w + 1 = 0, 3*w + 1 = -5*d + p for d.
1
Let w be (-8)/(2 + 0) + 4. Solve -m + w*m - r + 6 = 0, 5*m - 5*r = -10 for m.
2
Suppose 0 = 4*i + s - 19 - 9, -2*s = 0. Let c = i + -7. Suppose 4 = 4*q - 12. Solve c*p = -3*p + 3*k, -q*p + 2 = -3*k for p.
2
Let h = -8 - -10. Suppose -15 = -p - 2*g, -h*p + 3*g = 5*g - 20. Solve -p*o = -3*z - 9, -4*z - o = 5 + 7 for z.
-3
Suppose -9*v = -5*v - 4. Suppose v = -4*d + 9. Solve 0 = d*b - k + 4, 11 = -4*b - b + 3*k for b.
-1
Let q = 38 + -35. Suppose -2*c = -2*i - 66, c - 2*c - 5*i = -3. Solve -4*n = q*z + z - c, -4*z = n - 13 for z.
2
Let n(g) = -g**3 - 6*g**2 - 4*g + 7. Let f be n(-5). Suppose c - 2*c - 8 = f*y, -c - 3*y = 13. Solve -21 = -4*k + m, -k + m = 4*m - c for k.
5
Let a be ((-14)/(-4))/(14/28). Solve -a*o + 3*c = -2*o - 34, c = -2*o + 7 for o.
5
Suppose -4*t + 200 = -0*t. Suppose -2*x + t = -14. Solve 3*g - x = -4*s, -2*g + 28 = s + 3*s for s.
5
Let m(f) = f**3 - 8*f**2 + 7*f + 7. Let y be m(6). Let j = y + 54. Solve 0 = 3*z + 3*x - 3, z - 3*x + j = -3*z for z.
-4
Suppose 3*n - 17 - 7 = -3*w, -4*n - 3 = -3*w. Let g(q) = q**3 + 10*q**2 + 9*q + 5. Let h be g(-9). Solve -n*c - 5 = c + 5*z, h = -z for c.
5
Let i(s) = -3*s**3 - 2*s**2 + 1. Let o be i(-1). Suppose 0 = -j - j. Let f = j - -1. Solve -2 = p - h, 6*p + o*h + f = 3*p for p.
-1
Suppose -5*t + 3*t + 38 = 5*z, -4 = 2*z - 4*t. Solve -6*l + 3 = -2*l - 3*o, -2*o - z = -4*l for l.
3
Let o(q) = -q**3 - 6*q**2 - 7*q - 9. Let j be o(-5). Suppose -j + 2 = s. Solve -b + 2*i - 7 = 0, -6*b = -b + 2*i - s for b.
-1
Let d be (6 + -4)*(-6)/(-4). Suppose 13 + 5 = -d*h. Let z = h - -10. Solve 4*s + 45 - z = -5*a, 0 = -3*s + 4*a + 8 for s.
-4
Let z(f) = f**2 - f + 3. Suppose 0*v + v = 0. Let q be z(v). Solve -y = -2*u - 2, -q*y + 0 = -2*u + 2 for y.
-2
Let a(q) = q**3 + 4*q**2 + 5*q + 4. Let w be a(-2). Solve -p + 2*y - 3*y + 2 = 0, -w*p + 5*y = -4 for p.
2
Let m be 3 + (-4 - -4) + 1. Suppose -25 = -5*v + 5*o, -3*o = -v + 3*v - 25. Solve 2*u = m*b, 0 = 2*b + 3*u + v for b.
-1
Let g = 1 + 1. Let v(a) = a**3 - 10*a**2 + 7*a + 10. Let j be v(9). Let z = 11 + j. Solve 4*p + z = 3*c, -2*c + g = -5*p - 0*c for p.
0
Let s be (-2)/(-3) - (-296)/24. Solve n + 2*n - 4*w = -s, -3*n - 2*w + 11 = 0 for n.
1
Let a(k) = 23*k**3 + k**2 - k. Let l be a(1). Suppose 2*b - 3*i = 25, 2*i = 3*b - 2 - l. Solve -4*t - 3*s + 16 = -5*s, 22 = 4*t - b*s for t.
3
Suppose -4*s + 6*s + 2*k - 8 = 0, -5*s = 4*k - 19. Solve -17 = -5*r + 3, 5*r - 8 = s*p for p.
4
Suppose -2*z - 3*f = -18, -4*f + 4 = -4. Solve 0 = -v, q + 4*v - 15 = z*q for q.
-3
Let a(o) = -o**3 - 6*o**2 - 5*o + 4. Let y be a(-5). Solve -4*b + 5*w = -y, -6*b + 5 = -b - 5*w for b.
1
Suppose 7*d - 10*d = 0. Solve -l - 2*w - 3 = d, 0*l + 2*w = 4*l - 18 for l.
3
Let n(c) = -c**3 - 26*c**2 + 27*c. Let k be n(-27). Solve -4*o + 4 - 20 = k, 3*l + 20 = -2*o for l.
-4
Suppose 10 + 20 = 6*x. Suppose 4*t - 3*y - 50 = 0, t + 2*t - 23 = -x*y. Solve 2*w + 3*k + t = 0, 4*w + k - 1 = 2 for w.
2
Suppose 2*h = 2*w - 12, w - 2*h = -4*h. Solve 2*u + 5 = -w*s + 3*s, -2*s - 5*u = 14 for s.
3
Let u(f) = f**3 + 6*f**2 + 4*f - 1. Let w be u(-5). Solve 0*g + w*d = -5*g, 2*g = 5*d for g.
0
Suppose -7*c + 2*c - 20 = 0. Let a = c + 6. Let x be (-8)/(-4)*-1*-2. Solve w - 10 = a*o, o = -o - x*w + 10 for o.
-3
Let y(g) = g**3 - 5*g**2 + 2*g - 7. Let s be y(5). Let i(k) = 2*k - 2. Let u be i(s). Solve 3*d - 6 = -4*h, -u*d + 7*h = 4*h - 8 for d.
2
Let j(m) = -m + 8. Let g be j(8). Suppose g = 2*z - 4*r - 29 - 3, r = -3*z + 13. Let c = 11 - z. Solve v - 1 = 0, -2*i - 2*i = v - c for i.
1
Let b be -18*(4 + -5)*2/4. Solve -b = 3*m, -2*r - 3 = m - 2 for r.
1
Suppose w + w - m - 1 = 0, -m = 2*w + 9. Let y be -2*w/(-4)*-3. Solve 0 = 5*b - 25, i - 4*b = -y*b for i.
5
Let z = 6 + -3. Suppose 12 = 5*a - a - r, r - 9 = -z*a. Solve -a*s = -s - t - 1, 35 = -5*s - 5*t for s.
-2
Let s be (-20)/(-5)*(-6)/(-8). Solve 2*a + 0*a + 7 = -s*z, 5*z + 17 = 2*a for z.
-3
Let t = -3 + 2. Let s(d) = 5*d**2 + 2*d + 1. Let a be s(t). Solve 2*f + 3*v = 2, a*v = -4*f + 2*v - 12 for f.
-5
Suppose -b + 4*z - 8 = 0, -z + 2 = -4*b + 5*b. Solve 0*n - 4*l + 6 = -2*n, b = -3*n + 2*l - 5 for n.
-1
Let d(b) = 4*b + 14. Let x be d(-3). Solve -2*m = -2, 0*t + x*t = -m - 5 for t.
-3
Let d be 3*(3/3)/1. Suppose -4*k = -4 - 8. Solve 3 = -2*c + c, -d*i = -k*c for i.
-3
Let u = -2 + 7. Suppose -5*t - 10 = 5*d, -5*d - 20 = u. Let m be 2/(-5) - 8/(-20). Solve -4*l = 5*a - 22, a + 2*l + t*l - 17 = m for a.
2
Let k be 3/(1/(-5) + (-8)/(-10)). Solve -3*h = 4*u + 6 + 7, k*u = -2*h - 11 for h.
-3
Let l be (0/4)/(-3) - -3. Let v(k) = k**3 - 5*k**2 - 4*k - 3. Let z be v(6). Solve h + l*s - z = -2*h, -5*s + 14 = 4*h for h.
1
Let g(n) = 5*n**2 - n. Let h be g(1). Let x(c) = c**2 + 11*c - 24. Let w be x(-13). Solve h*z - 18 = w*j, 8 = 2*j + z + 1 for j.
1
Let z be ((-15)/(-5))/(6/4). Let a(m) = m + 1. Let b be a(3). Suppose -100 = -2*k - 2*k. Solve -s + 2*c + 3*c = k, z*s - 6 = -b*c for s.
-5
Let d(m) = m + 3. Let p be d(-3). Suppose -5*w - 84 + 219 = p. Solve -2*z - h = h, 5*z - 4*h = -w for z.
-3
Suppose -k + 5 = -j + k, 0 = -5*j + 4*k - 1. Solve -3*i + 5*i - 5*n + 9 = 0, 2*i + j = 3*n for i.
3
Let x(b) be the first derivative of 323*b**2/2 - b - 3. Let u be x(2). Let g be 4/14 + u/21. Solve -4*k = 8*q - 3*q + g, 0 = -2*k + 2*q - 2 for k.
-4
Suppose 5*f = 4*g - 2 - 4, -g + 2 = -f. Solve 20 = 4*u - 4*i, u + f*u - 4*i - 19 = 0 for u.
1
Let v(l) = 0*l**3 - 1 + l**3 + 2 - 9*l**2. Suppose -5*j + 46 - 1 = 0. Let s be v(j). Solve w + g = 6, -4*w + 5 = -5*g - s for w.
4
Let v(r) = -5*r - 2. Let o be v(-1). Solve 0 = -2*z + c - o, -z = 4*z + c - 10 for z.
1
Let b(s) = -4*s - 5. Let k be b(-2). Let j = -10 - -12. Solve -4*a = 8, -j*w - k*a + 0 = 12 for w.
-3
Let d be ((-8)/(-10))/((-2)/10). Let v = 1 - d. Solve -5*p + 21 = o, -v*o = 4*p - 3*p + 15 for o.
-4
Let n(z) = 106*z**3 - 7*z + z**2 - 5 + 3*z**2 - 105*z**3. Let m be n(-5). Let o(j) = -j + 6. Let y be o(3). Solve y*u = 3*v + 15, v + m*u - 4*u = -3 for v.
-4
Let v(y) = y**3 + 5*y**2 + 5*y + 6. Let d be v(-4). Suppose -3*b = -2*f + 21, 8*f - 4*f - 2 = -d*b. Solve -4*l = -4*h + 12, 0 = 2*h - h - f for l.
0
Let d be 23 - ((-8)/60 - (-17)/15). Solve 0 = -4*m - 2*c + d, -17 = -5*m + c - 7 for m.
3
Let v(z) = -z**2 + 13*z + 14. Let t be v(13). Solve 0*r - 4*r - 32 = 4*j, -j = 3*r + t for j.
-5
Let h = -6 - -8. Let n be (-4 - -1)*2/(-3). Let s be (2 + (-2)/(-4))*n. Solve -a + s = -4*d, -17 = -h*d - 4*a + 3 for d.
0
Let t(v) = 2*v - 7. Let p be t(5). Suppose 4 = h + 3*h. Let m(q) = 6*q**2 - 2*q + 1. Let j be m(h). Solve f + 0*f + p*n = 8, j*f - 4*n = -17 for f.
-1
Let j(w) = -w + 3. Let a be j(3). Suppose 3*l - l = a. Solve -5*n + 3*h - 12 = l, -2*n + 4 - 9 = -h for n.
-3
Let a = -17 + 25. Let d(z) = -z**3 + 9*z**2 - 7*z - 5. Let s be d(a). Solve -3*x + 9 = 4*f, f - 9 = -s*x - 0*f for x.
3
Let w(c) = 1 - 2 - 2 - 7*c + 19*c. Suppose 2*l = 3*l - 4. Let f be w(l). Solve 45 = 5*m + 4*a, 4*m - f = 4*a - 9*a for m.
5
Suppose 2*l + 6 = 4*l. Suppose 0 = 2*h + 3*f - l - 11, 3*f = -5*h + 26. Solve -3*z + 2*z + 3*c - 9 = 0, c - 16 = -h*z for z.
3
Let d be 1/4 - (5/20 - 4). Solve -q - 3*q + 2*m = -2, -d*q = -5*m - 17 for q.
-2
Let c = 17 + -11. Let g be -1*c*(-2)/4. Suppose -g*i + 8*i - 15 = 0. Solve 3*p - i = 2*o, p - 30 = -5*o - 4*p for o.
3
Suppose 0*w = -4*w + 8. Suppose 5*f = 4*u + 72, -u + 8 = 3*u. Let b = f + -11. Solve -b*s = c + 2, s - w = c - 6 for s.
-1
Suppose -2*x = 2*d - 54, -3*x + 18 = d - 13. Suppose 2*v = v + 2*g - 10, -5*g + d = 