3*i for j.
1
Suppose 4*b = 2*u + 2, 3*u = 6*u - b - 2. Let o be -8 + 19 + -8 - u. Solve 2*k = -z - 8, 3*z = -3*k - o*z - 26 for k.
-2
Let w be (-4 + (-32)/(-12))*(0 - (-1 + 16)). Solve 3*b = 4*o + w, 3*o = -5*b - 41 + 55 for o.
-2
Let o(u) be the first derivative of u**3/3 - 3*u**2/2 + 2*u - 63. Let n be o(3). Solve 0 = 5*p + n*j - 9, 0*p - 6 = 3*p + 5*j for p.
3
Suppose -15*i + 101 = 26. Solve -s + 3 + 7 = -y, 0 = -i*y + 4*s - 45 for y.
-5
Let o = 256 - 47. Let p = o + -198. Solve 3*b + 0*d - d = -p, 0 = 4*b + 5*d + 40 for b.
-5
Let p = -153 + 94. Suppose -4*y - 145 = 3*t, -4*t - 564 = -y - 339. Let j = t - p. Solve -3*h - 16 = j*x - 0*x, -3*h - 17 = 5*x for h.
-4
Let l(x) be the second derivative of 5*x**3/6 + 25*x**2/2 + 3*x + 15. Let q be l(-5). Let t = 2 + 3. Solve -4*r - 10 = 4*y + 10, y + 5*r + t = q for y.
-5
Let d be 3 - ((-10 - (-4)/2) + (-154 - -161)). Solve d*l = 3*k + 24, -4*k = 38*l - 40*l + 22 for l.
3
Let a be (-7 + 9)*(-3 - -44). Suppose -84*u + a + 2 = 0. Suppose -4*h = -5*h + 5. Solve -h*i = -3*q - 3, -i + 5 - u = -4*q for q.
-1
Suppose 4*t - 2 = 15 - 1. Solve 48*d - 47*d - 2*y - 5 = 0, -20 = -t*d + y for d.
5
Suppose -4 - 4 = -2*c. Let u(b) = -b**2 + 5*b + 26. Let o be u(8). Suppose o*l + 40 = 6*l. Solve -c*n = 2*d - 4, -4*d - n - l = -2*n for d.
-2
Let d be 56/42*((-11)/(-2) - 1). Let c be (21/d - 5)*(-16)/6. Suppose -c*h + 20 = -0. Solve -h*i = -p - 27, -4*p + 5*i - 38 = -5 for p.
-2
Let b(v) = 11*v - 13. Let d be b(-4). Let c = 3 - d. Suppose -11*l + c = l. Solve -8 = -3*x - 2*a, -l*a + a = -4 for x.
2
Let q(x) = x**2 + 10*x + 7. Let o be q(-11). Let b = -86 + 89. Solve b*a = z + 2*z - o, -a + 9 = 4*z for z.
3
Let g be (-4433)/(-1001) - ((-2)/(-3) + 20/(-84)). Solve 0 = s - 0*s + g*z + 3, 4*s = -5*z - 12 for s.
-3
Let g(j) = 5*j - 2*j - 7 - j. Suppose -4 = 2*f - 0, -4*f - 32 = -2*l. Let c be g(l). Solve i + 37 = 5*p + 5*i, p - c = -4*i for p.
5
Suppose 7*n + 186 = 69*n. Solve 5*s + 0*j - j = -16, -3*j = -n*s for s.
-4
Let v(u) = u**2 - 51*u + 600. Let t be v(18). Solve -2*w = 5*o + 7, -2*o + 5*o + t = -3*w for o.
-1
Let p(z) = 2*z**3 - 5*z**2 - 7*z + 8. Let l be p(3). Let c(m) = -5*m - 18. Let w be c(l). Solve 0 = -5*a + g - w, -3*a - 14 = 3*g - 2 for a.
-1
Suppose -32 = z - 34. Solve z*k - 3*a - 10 = -0*k, -2*k = 3*a + 14 for k.
-1
Let x be (-130)/25*10/(-4). Let b(j) = 4*j + x - j**2 + 8 - 20. Let l be b(3). Solve 0 = -m + 2, 7*v - l*v + 5 = -5*m for v.
-5
Suppose 5*d = -a + 1 - 23, 3*a + 3*d = -6. Let p(t) = -t**2 + 3*t + 7. Let b be p(a). Solve -f - 5*w + b = 0, 3*f + 0*w = -5*w + 11 for f.
2
Suppose -7*y = 67 - 63 - 193. Solve 23*d - 3*f - 6 = y*d, 10 = -5*f for d.
0
Let w be 3 - (18/72 + (-818)/8). Suppose 26*q - w = 5*q. Solve 2*z = -5*o + 2 - 17, q*z = 2*o + 35 for z.
5
Let n = -21 + 23. Suppose m - 5*b - 57 = -2*b, -n*b - 8 = 0. Let f = m - 45. Solve -5*t = -3*t + 3*l - 3, t - 5*l - 8 = f for t.
3
Suppose h = 2 - 2. Suppose 26*w - 33 + 7 = h. Solve 8 = 2*q, 3*z - 3*q + 11 = -w for z.
0
Suppose -21*q + 28*q - 105 = 0. Suppose q*h - 90 = -15. Solve 2*t = -4*v + 7*t - 3, -2*t = h*v + 12 for v.
-2
Let s be (-10)/35 + -4*1/(-14). Suppose y + p + 31 = 0, -5*y + 0*y - 3*p - 155 = s. Let l = y + 31. Solve -4*u - 12 = 0, 2*m + l*m + 7 = u for m.
-5
Let q = 1883 + -1879. Solve 3*i = 5*p - 2 - q, -i = 2 for p.
0
Suppose 7*n - 49 = -21. Let i = 3 - -2. Suppose -z = -2*z - 5*l, 0 = -z + 3*l. Solve 0 = 5*t + 2*u - 12, z*t + i = n*t - 3*u for t.
2
Suppose -6*m + m = -6*m. Suppose -f + r + m + 2 = 0, -10 = -3*f + 2*r. Let z be (-4 - f)/(-2 + 0). Solve -h + 5*h = 4*o - 16, -20 = -o + z*h for o.
0
Suppose 4*s + 26 = 14. Let t be 2 + -4 + 1 - s. Suppose -2*j = -4, 3*o - t*j + 3*j - 17 = 0. Solve -2*v + 6 = -a + 3*v, -5*a + 30 = o*v for a.
4
Suppose -2*y - 102 = -4*y. Let i = y + -10. Suppose -3*w - 14 = -i. Solve 3*j - 5*g = 31, 0*j - 3*j = 3*g + w for j.
2
Suppose -4*i - 2350 = -4*f + 958, i + 826 = 2*f. Let j = i - -828. Solve 0 = 5*v + 3*g - 22, j*v - 2*v - g = -8 for v.
2
Let i = 238 + -218. Let c be i/15*(-12)/(-8). Solve 0*q - 28 = 4*q - 4*k, 18 = -3*q + c*k for q.
-4
Let n(s) = 23*s - 189. Let q be n(8). Let t be (1 - (0 - q)) + 11 + 0. Solve 2*i - 1 = -5*d + 7, -3*i - 5*d = -t for i.
-1
Let l = -19 + 24. Suppose 4*w + 78 = l*h, 0*h = 2*h - 5*w - 38. Suppose -h*s = -19*s + 20. Solve 5 = -6*j + 4*j - c, 4*j + s*c = -20 for j.
0
Suppose -71*j = -72*j - 168. Let w = j + 170. Solve h = -4*q - w, 5*h + 4 - 13 = -q for q.
-1
Suppose j + 8 = 5*h - 37, -3*j + 45 = 5*h. Let g = 8 + -5. Let d = 0 - -3. Solve d = s - b, g*s = -b - b + h for s.
3
Let n(k) = k**2 + 8*k + 15. Let w be n(-9). Suppose -10*v - w = -74. Let l be 4*(-3)/(12/(-5)). Solve 0 = 3*f - v*i + 6, 0*i + 3*i = -l*f + 24 for f.
3
Let o = -7297 + 7301. Solve 4*r + 20 = -4*i, -o*i - 19 + 5 = 2*r for i.
-2
Let f = 1013 - 1011. Suppose 0 = 2*s - j - 33, -3*j = -f*s + 22 + 1. Solve -s = t + 3*a, -3*a = 2*t + a + 28 for t.
-4
Suppose -41*a + 12*a + 63 = -8*a. Solve a*p + 5*i = -28, 2*p + 4*i - 4 = -26 for p.
-1
Let i be (-4)/(5 + 104/(-24)). Let a be ((-6)/(-9))/(1440/(-243) - i). Solve -5*x + 15 = -3*p, -25 = a*p - 4*p + 3*x for p.
-5
Let d be 180/144 + (-46)/(-8). Let b be 59/d + (5 - 228/42). Solve -4*v = b - 24, 0 = l + v + 1 for l.
-5
Let o = -15 + 19. Let f be -6 + (17 - 4/(-4)). Suppose -11*x + f*x + 5*r - o = 0, 3*x - 5*r = 12. Solve -3*i = -2*i + q - 8, x*i - 3*q = 11 for i.
5
Suppose 4 - 8 = -4*k. Let v be 0/((-4)/(k - -3)). Let b be 4/5*(v + 5). Solve 0 = -5*m - 14 - 1, -b = 5*n + 3*m for n.
1
Suppose 37*b - 91 = 20. Suppose b*f - 1 = -2*q, 3*f = -4*q + 4 + 1. Solve -5*h - q*w = 2*w + 16, 5*h - 12 = 3*w for h.
0
Let h(g) = 7*g + 276. Let z be h(-32). Suppose 45*i = 32*i + z. Solve 2*b = -5*v + 2, -i*b - 29 = -4*v - 5 for b.
-4
Suppose w = t + 4*t - 16, -4*t + 4*w = 0. Suppose -11*z + 16*z - 17 = -l, -5*z = -t*l - 7. Solve 0 = 3*u + u + 3*i + 21, 9 = -z*i for u.
-3
Let w be (0 - (5 + 0)) + 69. Suppose -w = -16*l - 0. Solve -5*a - u - 45 = -5*u, -l*a = 2*u + 10 for a.
-5
Suppose -10 = -5*r + 5*s, 8*r = 7*r + 3*s. Suppose 4*q = 4*z + z - 4, -24 = -3*q - r*z. Solve -5*x - q + 39 = 2*b, -3*b = -5*x + 10 for x.
5
Let r be 1*3 - 0/(-1). Let u(d) = -5*d**2 - 26*d - 33. Let q be u(-13). Let t = q - -540. Solve t = -r*w - v - 8, v + 2*v = -3*w for w.
-4
Suppose -265*z - 3031 = -8331. Solve 4*p = -5*w - z, -11*w + 2*p = -12*w - 10 for w.
0
Suppose -3*p + 15 = -0*p + 3*g, 5*g - 20 = 0. Let s be -10 + 290/10 + -3 + p. Solve -4*d + s + 1 = -2*b, 2*d = -2*b - 6 for b.
-5
Let b(y) be the second derivative of -y**3/2 - 13*y**2 - 156*y. Let c be b(-10). Solve 0*i + 3 = -c*t + i, -2*t - 4*i - 6 = 0 for t.
-1
Let r be 2/(-7) + 16/(336/69). Solve 3 = a + 2*b, 0 = -4*a - 12*b + 13*b + r for a.
1
Suppose 4*o = -10 + 26. Let z(d) = -d**3 - 12*d**2 + 193*d + 88. Let c be z(-21). Solve -c*r - 20 = 4*a, o*a + 25 = -5*r + 2*a for r.
-5
Let q(i) = i**2 + 19*i + 31. Let l(y) = -35*y + 87. Let a be l(3). Let z be q(a). Solve -4*b - 4*n + 32 = 0, 0 = b - 2*n + 4*n - z for b.
3
Let x be 2 + 2 - -2 - -66. Let m be 2*-1*x/(-6). Solve 5*o + m = i, -4*o - 4 = o + 4*i for o.
-4
Suppose 0 = 256*k - 263*k - 434. Let g = -58 - k. Solve 15 + 25 = g*r + 4*p, -2*r = -4*p + 10 for r.
5
Let s(r) = -2*r**2 - 61*r - 25. Let u be s(-30). Suppose -3*x + 2 = 19*z - 21*z, u*z = 4*x + 9. Solve y - 3*f = -2, 2*f - 7*f + z = -2*y for y.
-5
Suppose -5*v - 2*g = -19, -3*v + 8 - 2 = 3*g. Suppose h - 6*u = -3*u + 14, 2*h = 4*u + 22. Let q be h*4/(12/3). Solve 2*t = s + 8, 0*t + q = 5*t + v*s for t.
3
Suppose -6 = 2*x + 4*v, 3*x + 5*v = 6*v + 12. Suppose -651 = -8*u - 619. Solve y + x*n + 7 = -5, 8 = -u*y - 2*n for y.
0
Let t be 7/4*(0 + 4). Suppose -t = -5*r - 2*r. Suppose 2*b = -3*h + r, -2*h - 2*h - 4 = 4*b. Solve h*p + 12 = -p - i, p + 3 = -i for p.
-3
Let z(i) = -5*i + 22. Suppose 4*j = -2*t + 42, 2*t - 5*j - 7 = -1. Let n be z(t). Let o = 43 + n. Solve o = 5*k - 5*c, -k + 3*c = 4 - 2 for k.
1
Let r(f) = -f**2 + 12*f - 12. Let v be r(8). Let o be ((-5)/v)/((-1)/20). Suppose -o*c - 2 = 4*n, -6*n = -n + 5*c. Solve 0 = 2*m, 5*m - 6 = -n*y - 0 for y.
3
Let d(x) = 12 + 5*x + 2 - 5*x + x. Let q be d(-10). Let o be (1/(-2))/(1/(-8)). Solve q*k = -2*u + o, k + 2 = -5*u - 3*k for u.
-2
Let z(q) = -13*q + 12 - 85 + 1 - 80. 