2*p + 6 = 3*j for j.
4
Let n = 25 + -22. Let d = 9 + -17. Let f be d/52 + (-184)/(-13). Solve -f = v - n*p, 0 = 5*v + 3*p + p - 25 for v.
1
Let r(g) = -6*g**2 + 4*g - 6. Let x be r(6). Let w be (-5)/(-3)*x/(-55). Solve v = 3*c - 13, -4*v - w = -2 for c.
4
Let p(l) = -l**3 + 6*l**2 + 2*l - 2. Let u be p(6). Let z = -4381 + 4386. Solve 4*t - b - 8 = b, -u = -5*t - z*b for t.
2
Let q(h) = h + 16. Let n be q(-16). Suppose -z - 4*r = 13, n = 2*z - 3*r - 0*r - 18. Solve b + 5 - 17 = 2*u, z*b - 26 = 4*u for b.
2
Let t = 1 + 3. Suppose -y - t*g - 15 = 0, -3*y + 40 = y - 4*g. Let z be -28 + 32 - (0 + 1 - 1). Solve -3 = 3*m + z*i + 19, 18 = m - y*i for m.
-2
Let a(w) = w**2 + 5*w - 2. Let i be a(-9). Suppose 13*p - i = 18. Solve 9 = -3*y - 0*y, 3*m = p*y + 24 for m.
4
Let r(d) = -2*d - 6. Let x be r(2). Let m be ((-4)/6)/(x/120). Let j be 186/m - 6/(-8). Solve -f - 8 = 5*u, j = -5*u - 5*f + 4 for u.
-1
Suppose -60 = 13*h - 25*h. Solve 0 = -5*j + 4*l + 4, l = -h*j + 2 - 3 for j.
0
Let s be 1*2 - (-3 - -7). Let h(x) = -2*x**3 - 3*x**2. Let l be h(s). Solve 2*a + l*m = a + 20, 4*a = -3*m + 28 for a.
4
Let y = 240 + -238. Solve 5*d + y*k = -0*d, 3*k - 13 = -d for d.
-2
Let a be 30/36 - 3082/12. Let n = 261 + a. Let q be (2/(-3))/((-2)/6). Solve -14 = 2*g - 4*w, g = -q*g - 2*w - n for g.
-3
Let f(n) be the second derivative of n**3/6 + 11*n**2/2 + 2*n. Let w be f(-8). Solve 0*t - 2 = t, 3*u - w*t - 12 = 0 for u.
2
Let z(u) = -31*u + 158. Let s be z(5). Solve -s*o + 7 = 2*h, -3*h - 2 + 8 = 3*o for o.
3
Let a(j) = 2*j - 13. Let o be a(4). Let v(b) = b**3 + 6*b**2 + 7*b + 12. Let h be v(o). Solve 4*n + h = -3*t, 0 = 3*t - 4*n + 3*n + 7 for t.
-2
Let y = -330 + 333. Solve -4*x = -y*v + 26, -11 = -v - 2*v + x for v.
2
Suppose -279 + 259 = -10*a. Solve -4*v + 2 = a*m - 8, -v + 3*m - 8 = 0 for v.
1
Let c = -54 + 56. Suppose 2*g = z + 7, 5*g - c*z - 7 = 9. Solve -w = -3*n + 2 + g, 3*w + 4*n - 27 = 0 for w.
5
Let k = -19 - -33. Suppose c - 22 = -5*g, 2*g + g + c = k. Let i = 10 - g. Solve -2*d = -q - 4*q - 9, 0 = -3*d + q - i for d.
-3
Let n(l) = -3*l - 5. Let h be n(-4). Let m be (1 - 1)*(8 + -7). Suppose m = -4*y + y. Solve -12 = 4*z - 4*x, 5*x - h = 3*z - y*x for z.
-4
Suppose 3*o = 14 - 5. Let m(i) = -14*i - 12. Let f be m(-8). Suppose o*t + t = f. Solve c + 3*r - 4*r = 1, -5*c - t = 5*r for c.
-2
Let q = -549 - -555. Let o(y) = -2*y - 6. Let n be o(-4). Let s = n - 0. Solve -a - 5*d - 8 = 0, a - s*d - 17 = q*a for a.
-3
Suppose f + 16 = 5*f. Suppose -4*o = -6 - 6. Solve 2*p - f*p + 3 = -3*u, 0 = 4*p - o*u - 3 for p.
0
Let p be (-2 - 2)*3/4. Let g(w) = 2*w**2 + 3*w - 5. Let o be g(0). Let c = p - o. Solve -12 = r + 3*z, r - c*r + 3*z = -18 for r.
3
Suppose -3*j + 18 = -0*w + 3*w, -4*w = -2*j + 6. Let t be 15/1 + (-3)/w. Suppose 2*y = -y + t. Solve y = -f, -f - 2*f = 3*z + 24 for z.
-4
Let j be (26/3)/((-12)/(-18)). Suppose 7*a = -j*a. Solve a = 5*c + 25, -2*c = t + 7 + 7 for t.
-4
Suppose 0 = 52*v - 54*v + 6. Solve -5*x - 5*k + 45 = 0, -v*x + 7*x - 5*k = 0 for x.
5
Suppose 2*f = 10*f - 24. Suppose 8*a + f*a = 22. Solve -5*o + 0 = -a*u + 20, 0 = -2*u + 4*o + 16 for u.
0
Let g = -568 - -572. Solve -2*r = -5*h - g, -r + 4*h - h = -2 for r.
2
Let u be (-5*16/320)/(3/(-48)). Let n = 6 - 6. Solve 0 = -3*l + 9, -4*s + n = u*l - 16 for s.
1
Suppose 3*q - 3*c = 10 + 2, 0 = -5*q + c + 20. Solve -b + 19 = -3*l + 3*b, q*l = b - 8 for l.
-1
Suppose 0 = -9*y + 8*y - 4. Let l be ((-5)/4)/(y/16). Suppose 2*g - 2 = -l*u + 3, -4*u - 5*g = 13. Solve -5*n = -u*b - b, b = 5*n for n.
0
Suppose -2*w - 3*w + 4*a = -20, -4*a = 4*w - 52. Solve -4*d + h - w = 5*h, -h = -d for d.
-1
Let w = -15 - -36. Let b = w - 22. Let d(m) = -24*m + 1. Let u be d(b). Solve 2*v - u = -3*v + 4*n, -5*n - 15 = -3*v for v.
5
Let z(l) = -l**2 + 10*l - 18. Let h be z(3). Let i(f) = -f**2 + 10*f + 3. Let m be i(10). Solve h*d - 5*p = 17, -m*d - 4*p - 20 = d for d.
-1
Suppose 4*z - 64*z = -420. Solve -5*l = -5*y - 10, y - 2*y = 4*l + z for l.
-1
Let v(h) = -h - 1. Let l be v(-5). Suppose -4*d + 4 = l*a, a + 0 = -3*d + 5. Solve -2*q = -d*g - 4, 4*q - g - 2*g = 11 for q.
5
Let n be 6*((-8)/6)/(-4). Suppose n*w - 45 = -3*w. Suppose 2*g = 0, c + 2*g - 5 = g. Solve r + r - w = -c*v, r = v - 6 for r.
-3
Let r = 34 - 24. Let f = -357 - -364. Solve -2*k = 4*c - f*k + 19, c - 3*k + r = 0 for c.
-1
Let y(q) = -q**2 + 8*q - 8. Let c be y(6). Let l = c + -1. Suppose 2*s - 5 = -5*i, 15*s + 16 = 19*s + 4*i. Solve 2*w - s*v + 9 = 6*w, 3*v = l for w.
1
Let s = -6 - -10. Suppose -53 = 10*j - 153. Let a be (-8 + j)*2/((-2)/(-3)). Solve -h - 16 = s*f, -4*h = f - 5 - a for h.
4
Suppose 3*d - 5 = -2*s + 14, -20 = -2*d - 5*s. Suppose -4*y - n + d + 15 = 0, 4 = n. Solve y*h = -4*f - 20, 2*h + 3*f = -0*h - 12 for h.
-3
Let o be -2 - (0 - 1) - -3. Let k be 11/((-22)/(-4)) - 1. Suppose -k = -p + o. Solve 0*w - n = p*w - 2, 4*n = 8 for w.
0
Let q be ((18 + -4)/56)/((-1)/(-12)). Suppose -2*r + 8 + 6 = 0. Solve i - 3*i + 4*j = 6, r = -2*i + q*j for i.
-5
Let o(g) = -g**2 - 35*g - 250. Let j be o(-24). Solve 4*y + j = 2*u, 2*u - 4*y + 6*y - 8 = 0 for u.
5
Let q = 5 + -3. Let u be q - -1 - (-20)/(-5). Let l be 4 + 0/(-1 + u). Solve -3*s + 6 = -5*r - 8, 0 = -3*r + l*s - 4 for r.
-4
Let n(d) be the third derivative of -d**4/24 + d**3/2 + 31*d**2. Let l be n(3). Solve l = -4*o - 4*a - 20, -a - 2*a = 0 for o.
-5
Let v be -2 + ((-24)/(-15))/(2/5). Solve -6*o = -s - v*o - 25, 0 = -2*s - o - 5 for s.
-5
Suppose -4*w + 130 = w. Let c = w + -22. Solve -36 = -c*s - 4*h, 3*s + h = -2*s + 25 for s.
4
Suppose 0 = -o + 3*b - 7, 0 = 4*b + 1 - 17. Solve 0 = 2*s - o*s + 3*y, -s + 5*y + 12 = 0 for s.
-3
Let q = 17 - 9. Let j = q - 4. Let r = 316 - 304. Solve 4*w + j*g = r, -2*g = -w - 0*g for w.
2
Suppose 9*i - 10*i = -7. Suppose -8 = -3*v + i. Solve 4*o - 24 = -4*q, 5*o - 2*q + v + 0 = 0 for o.
1
Let l = 831 + -829. Solve -5*x + 30 = -5*u, u = -0*x - x - l for x.
2
Let m be (-18 + 4)*(1 - 2). Suppose 6*n - 34 - m = 0. Solve -3*x = 2*r + 12, n*x - 3*x = -3*r - 20 for r.
0
Suppose 39*x - 192 + 36 = 0. Solve -5*h = l - x*h + 4, 3*l = -2*h - 13 for l.
-5
Let v = -1103 + 1107. Solve -5*n = -v*s - 17, -3 = 2*s - 2*n + 3 for s.
2
Let k be (-1)/(141/(-138) + 1). Suppose -41 = 5*z - k. Solve 5*w + z = m + m, -3*m = 4*w - 13 for m.
3
Suppose 14*i = 8*i + 6. Solve q + i = j, 3*q + 5*j + 13 = -14 for q.
-4
Suppose -3*t = -3*d - 0*d + 30, -5*d + 65 = -2*t. Let s = -91 + 108. Let r = s - d. Solve 0*g = -n - r*g - 7, 5*n + 2*g + 19 = 0 for n.
-3
Suppose -4*s = -5*p + 41, -5*p - 5*s - 4 = -9. Solve -p - 3 = -4*t, -3*x - 4*t = -8 for x.
0
Suppose k = 2*j + 5, 0 = -2*j - 3*j - 2*k + 10. Solve -w - 5*g - 11 = j, 14 = 13*w - 8*w + 2*g for w.
4
Suppose -t + 5*s + 7 = 0, 0 = -5*t + s + 56 - 45. Solve -t*h + i = -5, -2*h - 1 + 4 = i for h.
2
Let o = 34 - 8. Suppose 0 = 5*a - 4*t - 0*t - o, a = 2*t + 10. Solve -f + w = 2*w + a, f - 6 = 3*w for f.
0
Let h = -169 + 177. Let n be ((-4)/(-10))/((-8)/(-80)). Solve 0 = n*v - 0*i + i - 16, -h = -2*v - i for v.
4
Let s = -29 - -52. Let w = s + -20. Solve 12 = -4*b - d, w*b + 4 = -b + d for b.
-2
Let v(y) = -y**2 - 5*y + 9. Let h(n) = -n**3 + n**2 - 6. Let t be h(0). Let a be v(t). Solve s = -c, s + 2 = -a for c.
5
Let o = -674 + 676. Solve -5*v + o*d + 5 = 0, -4*v + 1 = -3*d - 10 for v.
-1
Let q be -3*(45/108)/((-1)/4). Solve 17 = -q*v - 4*t, -3*v - t = -4*t + 21 for v.
-5
Suppose -4*t + 2*s + 248 = 6*s, 0 = -4*s + 12. Let x = t - 56. Solve -d + 10 = -f - x*f, 0 = -d + f + 1 for d.
-2
Let p(f) = 17*f**2 - 57*f + 22. Let j be p(3). Solve -b - 27 = 5*n - j*b, -n - b = -1 for n.
-3
Suppose -9*x + 7*x + 4*i + 26 = 0, 5*x - 4*i = 59. Solve -d - 8*c + 1 = -5*c, -3*c = -d - x for d.
-5
Suppose 4*t + 0*d = -2*d + 74, t - 17 = -d. Solve 2*r - t = -4*v, -2*r - 2 - 8 = -2*v for r.
0
Suppose -5*w = -5*t + 35, t - 4*w + 28 = 4*t. Suppose t = 8*q - 4*q. Solve -8 = d - 4*c, 0 = 2*d - 7*d + c - q for d.
0
Let z(p) = p**2 - 7*p + 3. Let c be z(7). Suppose 2*k - 4*k = -8. Suppose -11 + 97 = 2*d - k*v, d + 2*v = 27. Solve -5*f + d = -5*h, -3*f = -h + 4*h - c for f.
4
Let l = 425 + -422. Solve l*b + 17 = q, -2*b + 16 = -6*b for q.
5
Let c(z) = -2*z**2. Let t be c(0). Solve 0 = 5*a + 20, 3*q + 4*a + 0*a + 10 = t for q.
2
Suppose 4*y - 4*s = 8, y = 3*s + 9 -