x + 22 = 4*j for j.
5
Let s be 1295/407 - (-2)/(-11). Suppose -3*r + 20 = r + j, r + 8 = s*j. Solve 5 = 5*w + 4*i, 3*i - 13 + 48 = r*w for w.
5
Suppose -101 = 6*n - 287. Suppose -n = 2*l - 4*i - 1, 0 = 3*l - 4*i + 37. Let c be 10/35 + 23/l + 3. Solve 5*d - 3*a = 0, d + c*d + 5*a = 0 for d.
0
Suppose 14 = -14*j + 42. Suppose 2*p = h + j, -4*h = -3*p - 3*h + 2. Solve 0 = -5*m + 3*l + 5, p = 2*m - 5*l - 0 - 2 for m.
1
Suppose -5*m + 4 = z - 3, -z - 2*m = -4. Suppose -1471*c = -1485*c + 56. Solve -z*h + c*h = -4*y - 24, -2*h - 14 = 2*y for y.
-5
Let b be (-2775)/20 + 1*4/(-16). Let c = -136 - b. Solve 3*q = -2*z - 7, -2*z = -c*q - 2*q + 15 for q.
1
Let s be (48/(-10))/(-2) + (-2)/5. Suppose -9*k + s*k = 77. Let g(p) = -p - 3. Let m be g(k). Solve 5*x + 4*z = m, 3*x - 9 + 0 = -z for x.
4
Let u be (54/12)/3 - 1203/6. Let b = -197 - u. Solve -b*a - 1 = 3*f, 3*f = 2*a + 16 + 3 for f.
3
Let l(n) = -n**2 - 15*n - 10. Let b be l(-14). Suppose -1 = 3*u + 5*z - 0*z, -3*u + 1 = b*z. Solve -9 = -3*s + 2*r, 6*s - u*s = -r for s.
1
Suppose -11 = -214*f + 215*f + 3*k, -3*f + 7 = k. Solve -2*w + 2 = -f*h, 3*w - 20 = -2*w - 5*h for w.
3
Suppose -4*j - 3*x = -2, -4*j = -35*x + 32*x - 14. Solve 4*u = 4*t - 20, -5*t - u + 17 = -j*u for t.
3
Let x be (-266)/(-6) - 2/(-3). Let m be (1/(-2)*2)/((-5)/x). Let t be m/(-6)*132/(-18). Solve -5*s + z = 5, -2*s - 4*z = -31 + t for s.
0
Suppose 5*w + 5*r + 10 = 0, 246*w - 244*w + 4*r = -10. Solve -4*d + 2 = -m, 0 = 4*d + 3*m - 9 - w for d.
1
Let f be (-6)/9*(-1 - -13). Suppose 810 = 14*g + 4*g. Let y be (f/12)/((-6)/g). Solve -n - 4*n = r - 13, -25 = -5*n + y*r for n.
3
Let z(q) = q**3 - 11*q**2 - q + 11. Let w be z(11). Suppose 0 = 23*f - 20*f - 5*o - 14, -f + 5*o + 8 = w. Solve -2*l - f*h = 10, 11 = -5*l - h - 14 for l.
-5
Let y(u) be the third derivative of 5*u**4/24 - 19*u**3/3 + 11*u**2. Let s be y(12). Let l = 22 - 17. Solve -30 = -l*t + 5*i, -3*t + 2*i + s = t for t.
5
Let t be -15 - -20 - (4 - 2). Solve -4*c = -5*x + 20, -16 = -4*x + 4*c - t*c for x.
4
Suppose -74*t + 120 = -72*t. Suppose 0 = 3*z - 5*b - t, -2*b = 4*z - 35 - 45. Solve 0 = -g + 2*h + 5, 0 = g - 2*g - 3*h - z for g.
-5
Let d = 29945 - 29920. Solve -3*m - 15 = 0, d = 2*f - 3*m + 4 for f.
3
Let j = -5046 - -5086. Solve -a - d - 3 = -1, -5*d - j = -5*a for a.
3
Suppose -10*b - 2*l - 673 = -11*b, -3*l - 2692 = -4*b. Let d = 674 - b. Solve -j + 3*y + 19 = -y, -3*j + d = 2*y for j.
3
Suppose -10*g - 8 = -12*g. Suppose 2*f - 14 = -4*v + 2, v - 4*f = g. Suppose -v*h + 150 - 126 = 0. Solve -5*r - 1 = -h, 5*i - 24 = r for i.
5
Let q(l) = -41*l - 13. Let i be q(-3). Suppose 34 = -y - g, 5*g - 4*g - i = 3*y. Let z = 38 + y. Solve -3*j = a + 2, -3*j - 6 = z*j + a for j.
-2
Suppose 2*y - 40 = -18*y. Suppose t + 0 + 11 = -3*u, 5*t = -2*u + 10. Solve -t*v - k + 0 = -4, y = 2*v - k for v.
1
Let i = -96 - 38. Let c = -130 - i. Solve -7 = -4*m - 5*z, z + 8 = m - c*z for m.
3
Suppose 3*w - 6 + 18 = 2*r, 3*w - 12 = -2*r. Solve -3*n + 62*o - 66*o - 3 = 0, 4*n + 3*o + 4 = w for n.
-1
Let c(s) = s**3 - 19*s**2 + 19*s - 13. Let l be c(18). Solve -4*j - j = -4*z - 7, -3*z - l*j + 21 = 0 for z.
2
Let k(d) = 0*d + 106*d**3 - 104*d**3 - 6 - 3*d**2 - d. Let g be k(3). Suppose 472 - 112 = g*l. Solve -3*a + 20 + l = -5*j, 0 = -2*a - 3*j - 5 for a.
5
Let k be (-22)/(-55) + 17/(-5). Let a = k + 28. Let z be ((-5)/a*-9)/((-2)/(-10)). Solve -2*s + 22 = 4*b, s + z = 2*b - 0*b for b.
5
Let w = -34 + 107. Let b = w - 73. Let o = -123 + 126. Solve 2*j + 4*a - 4 = b, o*a = -2*j - 2*a + 4 for j.
2
Let s(f) = -3*f**2 - 3*f - 2. Suppose 39*r + 4 = 35*r. Let z be s(r). Let n be 1/((2 - (-9)/(-4))*z). Solve 0*y = i + y + n, 4*i + 10 = -2*y for i.
-3
Suppose -4*x - 4 = 0, -c + 27 = -2*x + 13. Solve 0 = 2*n + 6, -15 = -5*f - 7*n + c*n for f.
0
Suppose 5*j = -81 - 34. Let s = j - -25. Suppose -2*i + 7 = c, -s*i + 3*c + 2 = -1. Solve -3*b = 3*y + 27, -i*b + y + 0*y - 7 = 0 for b.
-4
Suppose -7*f = -20 + 34. Let o be f/8*-20*1. Solve 4*m + r = 18, -5*m + 28 = -4*r - o for m.
5
Let z = -4 + 6. Let v be 19 + -11 + (43 - 47). Solve -2*m + 4 = -2*r, z*r = v*m - 6 - 6 for r.
2
Let w(c) = c**2 - 36*c - 67. Let a be w(-2). Solve -2*d = q + d + 7, -5*d - a = q for q.
-4
Let l = 11097 - 17622. Let u be (-2)/((-9)/(l/(-10))). Let k = u + -142. Solve 0 = 2*i - 4*i - k*s + 12, 0 = -i + 4*s - 16 for i.
0
Suppose -2*z + 24 - 8 = 6*t, -4*t = 5*z - 7. Solve 5*k - j = 14, -2*k - t*k - 4*j = 6 for k.
2
Let a = -683 + 687. Let x = 6 - 2. Suppose -5*f - 5 = x*b - 19, -a*f + 3 = -5*b. Solve 0 = 2*r + w + 7, f*r - 4*w + 6 = 4 for r.
-3
Suppose 74 = 9*t - 16. Let x(h) = 7*h - 67. Let v be x(t). Solve -3*p - j + 12 = 2*j, -11 = -2*p - v*j for p.
1
Let t(z) = -3*z**2 + 13*z - 4. Let s be t(4). Let q = -3 + 5. Suppose 0 = i - 26 + 21. Solve -2*b + i*v - 21 = 0, -q*b + 3*v = -s*b + 11 for b.
2
Suppose -30*v + 26 = -17*v. Let n(d) = d**3 + 2*d**2 - 2*d - 1. Let s be n(1). Solve 2*j + 8 = v*y, s*y + 6 = 2*y for j.
-1
Let p(x) = x**3 - 2*x**2 + x. Let o be p(1). Suppose -8*g + 18 + 38 = o. Suppose g*k - 12 = 9. Solve -3*r - k + 15 = 0, -z + 9 = 3*r for z.
-3
Suppose 8*l - 8 = 4*r + 4*l, -3*l = 5*r - 22. Suppose 12*h - 11*h + 5*f - 5 = 0, 5 = r*h + 5*f. Solve -4*z = -w - 24, h = -z + 1 + 4 for w.
-4
Let g be (2/(-3))/(-3 - (-8650)/2880). Let v = g - -198. Solve -v*w + w = j + 2, 0 = 5*j + 4*w + 10 for j.
-2
Suppose -5*z - 66 = -5*j - 16, 0 = 5*j + 5*z - 80. Suppose 7*u - 56 = -7*u. Solve -2*i + 7*l - u*l - 13 = 0, -l = -5*i - j for i.
-2
Suppose -11 = -4*z + 5. Suppose 16*y + 11424 = 11840. Solve z*g - 2*i = -y, 2*i = -5*g + i - 15 for g.
-4
Let m be (2 + -3)/((-1)/4). Let v be (-23)/(-5) + 1 - 3/5. Let o(f) = f - 2. Let z be o(2). Solve 0 = -5*b + v*t + 5, z = m*b - t + 2*t + 11 for b.
-2
Suppose -q - 7 = -3*u, 0*u - 3*u = 4*q + 13. Suppose 15*v - 35 = 55. Suppose -t + v = 1. Solve j + 0 - u = 0, -t*s - 4*j = 16 for s.
-4
Let b(g) = -35*g**2 + 78*g - 11. Let k be b(2). Solve 5*l + k = 4*a, -3*a - 5*l + 15 + 15 = 0 for a.
5
Let v = 389 + -370. Suppose -120 = -v*p - 11*p. Solve -5*b - 35 = -s - p*s, -s = -4*b - 19 for s.
3
Suppose a + 6*a = 14. Suppose a*b = -4*l + 2, 2*b = 5*l + 3*b - 7. Solve -l*j = -0*j + w + 13, -2 = -2*j + 4*w for j.
-5
Let q = -255 - -260. Solve 2*o - 2 = 2*b + q*o, -4*b + 3*o = 22 for b.
-4
Suppose -4*m - m = 0. Let z(g) = -3*g + 2. Let f be z(m). Suppose -f*c + 50 - 40 = 0. Solve -c*t = -4*u + 20, 0 = 5*u + 2*t - t + 4 for u.
0
Let f(j) = -18*j + 44. Let n be f(-11). Let t = 254 - n. Solve 5*o - 25 = 4*z, t + 5 = -3*o - 4*z for o.
1
Suppose -160*a = -122*a. Solve a = 9*c - 4*c + 4*x - 37, 0 = c - 2*x + 1 for c.
5
Let h = 23 + -21. Let b be (-15)/(-20)*h*2. Suppose 5*x - 6 = b*x. Solve t + 7 = 3*u, 0 = -5*t - x*u - u + 3 for t.
-1
Suppose 5*l - 11 - 24 = 3*x, -l + 29 = -5*x. Suppose 2*n = -3*o - 12, -2*o + 0*n = -2*n - 12. Solve 4*f - 2*q = -o - 10, 0 = l*f - 5*q + 25 for f.
0
Suppose -24 - 59 = -5*j + 2*k, 0 = -4*k + 4. Let b be (-88)/5 - 12/30. Let h = b - -20. Solve 4*n = -i - j, -n - 12 = i + h*n for i.
3
Suppose 16*x = 14*x + 4*j - 32, 0 = x - j + 8. Solve 3*n - 5*l = x, 4*n - 9*n = 2*l + 31 for n.
-5
Let n be -1 + 9*27/3 + 0. Suppose 27*u - 22*u - n = 0. Solve -4*p - 4*l = -0*l - u, l + 6 = 4*p for p.
2
Let x(m) be the third derivative of -m**4/24 - m**3/2 + 5*m**2. Let s be x(-9). Suppose 5*p - s*p = -2. Solve 4*v = -p*c - 0*v + 2, 5*c - 11 = -4*v for c.
3
Suppose -149*s + 364 + 37 = -442 - 51. Let h be 1*(0 + -2) + 9. Solve -3*t + 3*z = h*z - s, 0 = -2*t - z - 1 for t.
-2
Let o(d) = d**3 - 14*d**2 + 35*d + 2. Let f be o(3). Solve f*c - 20 = 4*c + 4*g, 3*c + 5*g = -25 for c.
0
Let i be 6 + 76 + (4 - 0)/1. Suppose i = 24*p - 34. Solve -p*d = -v - 22, -1 = 2*d + 5*v + 1 for d.
4
Let v(f) = -237*f**3 - 4*f**2 - f. Let t be v(-1). Let r = 236 - t. Solve u + 2*b - 13 = 0, -6 = -2*u + r*b - b for u.
5
Let j be ((-26)/132 - 37/222)/(4/(-22)). Solve 5*v - 9 = -j*w - 7, 5*v = -10 for w.
6
Suppose -5*u - 4 - 5 = 4*d, -3*d = 5*u + 8. Let i be (1 + 3 + -7)/d. Solve 5*j - 7 = -3*l + 5*l, -8 = 5*l - i*j for l.
-1
Let m be (-1)/(-6) + ((-476)/(-24) - 3). Let a be 9/(-36) + m/4. Solve -3*p + 2*y = -7*p - a, 2*p + 5*y + 2 = 0 for p.
-1
Let x = 2343 + -2338. Solve -x*f + 45*l - 20 = 40*l, -4 = f - 4*l for f.
-4
Let j 