 -3*p - 16 = -j, -p - w*p - t = 0 for j.
1
Suppose 2*u - 3*p = 4*u, -u + 3*p = -9. Solve 5 = -g - u*x, -4*g + 0*x + 2 = x for g.
1
Let w be 1*0*1/3. Suppose 0 = -w*f + 3*f - 9. Suppose f*l = -l. Solve l = -4*v + 3*v, 0 = 5*q - 5*v - 10 for q.
2
Let c be 2/(12/(-4) - -4). Solve 0 = -2*y - c*y + x - 18, 0 = 2*y - 5*x + 18 for y.
-4
Let f be (36/(-14))/((-2)/14). Suppose -a = 2*a - f. Let o be 16/a + 2/6. Solve 3 = 3*y - o*p, -2*p - p + 7 = 2*y for y.
2
Let l = -139 - -143. Solve -2*d - 5*b + 14 = 0, 2*d + 2*b = 12 - l for d.
2
Let t = 30 + -25. Let r = 6 + 1. Suppose -2*x = -r*x + 25. Solve t*q + y = -13 - x, -2*y + 3 = -3*q for q.
-3
Let x be 1/((2/(-17))/(-2)). Let d(b) = -2*b**2 + 9*b - 4. Let s be d(4). Solve s = 5*a + 5*o - 30, -2*o = 3*a + 2 - x for a.
3
Let t be 38/14 - (-6)/21. Suppose 0 = -5*k - 20, -t*k + 22 = 3*r - 7*k. Solve 5*w = -r*a + 7, 2*w - 3 + 9 = -3*a for w.
3
Suppose -11*p = -8*p + 3. Let g = 2 - p. Solve 2*o - 11 = -g*s + 10, -4*s = -4*o - 8 for o.
3
Suppose 3*a = 4*s + 15, a + s + 2*s - 18 = 0. Suppose 3 = -2*b + a. Solve -x + 25 = -4*y, -3*x + b*y - 7*y - 5 = 0 for x.
5
Suppose -r - 15 + 5 = 0. Let b = r + 8. Let i be (-2)/(b*(-3)/(-15)). Solve -z - t + 1 = 2*t, -1 = -z + i*t for z.
1
Suppose -3*k - 7 = o, -o = -2*k - 4 - 4. Suppose 5 = p - 1. Suppose -x + a + 0 = -p, x + a + o = 0. Solve -4*c + 0*c - x*t - 4 = 0, 3*c + 14 = 4*t for c.
-2
Let b(g) = g**2 + 11*g + 11. Let r be b(-10). Suppose 3 = a + r. Let k be 140/(-8)*(-4)/5. Solve 0*i - f + k = 3*i, -5*f + 2 = -a*i for i.
4
Let s(j) = j + 1. Let i be s(2). Suppose -i*m = -7*m - 4. Let x be 1 - (-2 + m + -1). Solve -x*l - d = 25, -l = -d + 2 + 3 for l.
-5
Let b(u) = -u**3 + 16*u**2 - 25*u - 32. Let s be b(14). Let q = 6 - 4. Solve -4*n + s = -2, 3*o + 3 = -q*n for o.
-3
Let l be (-128)/13 - 2/13. Let r = l + 4. Let v = 8 + r. Solve 3*n - q - 15 = v*q, -3*n = q - 7 for n.
3
Suppose 7*u - 12*u = -25. Let l(a) = -a**2 + 8*a - 2. Let h be l(7). Solve 5*m - h = -5*p, -2*m + 1 = -p + u for p.
2
Let m = 2 + 0. Let d be 2 + (m - (-72)/3). Suppose 0 = -2*u - 2*u + d. Solve y - 7 = 3*f - 17, -u = -5*y - 4*f for y.
-1
Let s(i) = -i**3 + i + 1 + i**2 + 0 + 1. Let g be s(2). Suppose -32 = -5*a + 2*o, 2*a = a + o + 4. Solve g = m + 2, 0 = -3*z + 4*m + a - 0 for z.
0
Let r = 3 + -27. Let p be (-9)/12 + (-66)/r. Solve 5*d = 4*x - 35, -3*d - p = d + 2*x for d.
-3
Let j be 1 - 1/1 - -5. Solve -q - 2 = j*i - 2*i, -5*i = 4*q + 8 for i.
0
Suppose -4*t = -15 + 99. Let h = -13 - t. Solve -3*z + s = -11, -5*z + h = -5*s - 17 for z.
3
Let y be ((-10)/15)/(2/(-6)). Let r = y + -2. Solve -2*n + 5*o = -n - 17, r = n - 3*o - 11 for n.
2
Let u = -1 + 5. Suppose -10*q - 84 = -24*q. Solve 0*z + 7 = -u*l - z, -q = 4*l + 2*z for l.
-2
Suppose 61 - 7 = 3*p. Suppose -48 = -3*l + p. Suppose f = 4*f - 9. Solve u + 18 = -5*c, 5*u + 0 - l = f*c for u.
2
Suppose -4*i = -0*i. Suppose -b - 4*b = c, -4*c + b = 0. Solve c = -5*g + 5*z - 20, 3*g - z = -i*z - 12 for g.
-4
Let r be (-135)/18 - 2/4. Let w = 5 + r. Let j be 4/w*(1 - 4). Solve -21 = 4*c + 5*t, -4*c - j*t = -6 + 26 for c.
-4
Let q(p) = p**2 - 4*p. Let u be q(4). Suppose u = 4*l - l - 39. Let s = l + -8. Solve -5*v + s = -5*h, -v + 16 = -h - 3*h for h.
-5
Let b(c) be the second derivative of -c**5/20 - 5*c**4/12 + 2*c**3/3 - 6*c**2 - 10*c. Let g be b(-6). Solve -3*r + 6 = g, 3*i = 2*r - 5*r + 9 for i.
1
Let a = 27 + -22. Solve -g = -3*p + 4 - 3, -p = a*g - 27 for p.
2
Let r = -10 - -15. Suppose 6 = r*t - 4. Solve t*s + 5*d = -7, -2*d = -0*d + 6 for s.
4
Suppose 3*y + 4*t + 2 = 3*t, 0 = 3*y + 5*t + 10. Solve 5*q - 22 = 3*a, -a - 14 = -y*q - 5*q for q.
2
Let g(n) = n**3 + 4*n**2 - 3*n - 3. Let w be g(-3). Let v be ((-40)/w)/((-2)/3). Solve -4*x - v*b = -24, 27 = 2*x + 3*x + 2*b for x.
5
Suppose a + a = 0. Let l = 1 - a. Solve -3 + 18 = -5*h, 0 = -u + 2*h + l for u.
-5
Suppose 4*q - 12 = 2*g, -3*g + 3*q = -7*g + 20. Let w be (4/6)/(g/9). Let k = 0 + w. Solve -4*f + 3*y - 18 = 14, -k*y - 3 = 3*f for f.
-5
Let x = 3 + -3. Suppose -3*d - 1 + 10 = x. Solve c + 13 = -2*v, -3*v + 0*v + d*c - 6 = 0 for v.
-5
Suppose -3*m - 13 = -3*v + 11, 0 = -2*v + m + 13. Solve 4*i - y = -2*y - 7, 3*y - v = i for i.
-2
Suppose -6*u = -0*u - 12. Solve 3*t - 9 = 8*t + 3*q, -10 = u*t - 2*q for t.
-3
Let j(w) be the second derivative of w**5/20 + w**4/3 + w**3/2 + w**2 + 4*w. Let b be j(-3). Solve 0 = -b*v - l + 6, -4*l = -v + 2*v - 10 for v.
2
Let f(k) = k + 6. Let h be f(-6). Suppose -5*u + 29 = 2*l - h*u, 22 = l + 5*u. Solve -l*d + 3*d - 11 = -o, o - 2*d - 7 = 0 for o.
3
Let m = 0 + -1. Let i be m/1 + (9 - 2). Suppose -3*u = -i*u + 51. Solve -2*j - u = j + 2*z, 3*z = j - 9 for j.
-3
Let j(i) = -10*i - 2. Let f be j(-1). Suppose t + 3*t = f. Solve -3*k - t*w = -4, k + 4*k - 24 = w for k.
4
Suppose 116 = -2*z + 6*z. Suppose 2*x = 5*p - z, 11 = -4*x + p - 2. Let d(h) = -2*h + 1. Let y be d(x). Solve -5*q = 2*n + 16, -3*n + 13 = -y*q - 4*n for q.
-2
Let p be (-38)/(-6) + 2/3. Let t = p + -2. Suppose 5*m = c + 1, t*m - 7 + 2 = 5*c. Solve -3*y = 5*u - 4, 5*y - 2*y - 5*u + 16 = m for y.
-2
Let x = -3 + 6. Let s = -5 - -10. Suppose -7 = -v + s. Solve x*f - v = k, 0 = -0*f - 4*f - 5*k - 3 for f.
3
Let a(j) be the second derivative of j**3/3 - j**2/2 - j. Let t be a(3). Solve b = -2*b + 5*v + 17, -5*b = t*v + 25 for b.
-1
Let d(y) = -y + 2. Let l be d(2). Solve -f + 0*s + 3*s + 3 = 0, -2*f + 4*s + 6 = l for f.
3
Let z(u) = u + 8. Let i be z(0). Solve -h - i = -2*n - 0*h, -23 = -5*n + 4*h for n.
3
Let t be -2 + (25 - (-6)/(-3)). Let o be 6/t - 19/(-7). Solve -20 = w - 5*x, 3*w + 2*x - o*x - 10 = 0 for w.
5
Let f = 0 - 3. Let q be (f/(-3))/((-1)/(-4)). Suppose -4*r - q = -20. Solve 5*z - 6 = 2*w, -11 = 5*w + r for z.
0
Suppose 0 = -0*a + 3*a - 21. Let s = -4 - -7. Suppose -3*i + s = -3. Solve i*h + 6 + a = 3*y, 2*y = -5*h - 4 for h.
-2
Let k be 3/(-1) + 13/(78/60). Solve -3*d - 3*i - 21 = 0, -3*i - k + 1 = -2*d for d.
-3
Suppose 5*o + 3*a - 9 = 0, -o + 5*o - 3 = -a. Solve 2*d - 8 = 0, o*h - h - 14 = -4*d for h.
2
Let g be (6/(-15))/((-1)/(-35)). Let q be 2/7 + 4/g. Suppose 3*t + 3 = q, t - 24 = 2*y - 7*y. Solve -3*i + 21 = y*b, -2*i + b - 2 = -3 for i.
2
Suppose 0 = r + y + 3, -4*r - y - 3 = -r. Solve 0 = 5*p - r*p - 2*f + 23, -3*p - 4*f + 7 = 0 for p.
-3
Suppose -4*p + 5*b - 2 = 0, -4*p - b + 0 = -10. Suppose p*k - 67 = 97. Let w = -57 + k. Solve 0*t = 3*t + o + 10, -w = 3*t - 2*o for t.
-5
Let r = -2 - -4. Let o be 20/(-15)*(-6)/4. Solve v + r = -3*b, -4*v = 7*b - o*b - 6 for v.
4
Suppose 4*i - 255 = -251. Let h be 1*(-1 + (4 - 1)). Solve -h*b = 2, 2*k = -3*b + 2 - i for k.
2
Let p be (-20)/(-9) + 2/(-9). Let j be (p - 0/1) + -7. Let h be (-4)/(-10) - 13/j. Solve -h*c + 3 = -o - 1, 0 = -3*o - 5*c - 12 for o.
-4
Suppose 3*h = 5*p + 91, 0 = 5*h - 3*p - 84 - 57. Let c = h + -11. Solve 2*s - 5*g + c = 0, 5*s = 4*g - 3 - 3 for s.
2
Let z(k) = 6*k - 3. Let p be z(2). Let c be (-114)/(-10) - 2/5. Suppose -5*x = -15, 4*d + 0*x - c = 3*x. Solve -4*t + 20 = -p*t, -d*w - 11 = -t for w.
-3
Suppose -2 = 3*m - 14. Solve -4*i = 13 + 3, -2*y - i = m for y.
0
Let a(k) = -k**3 - k**2 + 1. Let c(s) = -5*s**3 + 2*s**2 + 6. Let q(t) = -6*a(t) + c(t). Let h be q(-8). Solve -9 + h = -5*l + x, 4 = 3*l - 2*x for l.
2
Let x be -3 - 5/(3/(-3)). Let m be 3 + (-4)/(0 - x). Solve -m*p + z = 14, -5*z + 4*z = 3*p + 10 for p.
-3
Suppose -o - 4*h + 19 = 0, -3*o + 16 = o - 4*h. Suppose x + s = 5, -2*x + 3 = -s - o. Solve -x*v = -d - 27, 0*v + 4*d = v - 13 for v.
5
Let c(q) = -q**3 + 11*q**2 + 2. Let d be (-2)/(-5) + (-53)/(-5). Let v be c(d). Solve -v*b + 2*f - 2 = 3*f, -4*b + f = -8 for b.
1
Suppose -5*w - 15 = -4*p, w + w = p - 3. Solve p*m - 2*a - 17 = 0, m = 2*a - 5*a for m.
3
Suppose 0 = -8*s + 10*s. Solve 4*m + 4*a - 36 = s, -2*a - 5 = -13 for m.
5
Let w(l) = -16*l**3 - 3*l**2 - l + 1. Let p be w(-1). Solve 4*m - 6 = -2*u, 3*u + 2*u = -4*m + p for m.
0
Suppose -5*c + 3*b - 6 = 0, 2*c + b + b - 4 = 0. Solve -1 = l, -2*l = -c*h + 3*h + 2 for h.
0
Let c(m) = m**3 - m**2. Suppose j = -4 + 1. Let w = j + 5. Let v be c(w). Solve 3*u + 5*n = 17 - 52, -16 = v*n for u.
-5
Let d be 2 + 0 + -1 + 30/3. Solve 4*y = -3*i - d, -2*y - 3*i - 1 = -0*y for y.
-5
Suppose 0 = 5*g - g - 16. Solve 0 = 2*r - v + 2 - 3, 0 = r - g*v - 11 f