 for j.
-2
Suppose -9 = -3*i - 6*y + 2*y, 0 = 2*y. Solve 0 = 2*p + t + 4*t - 15, -i*t = p - 8 for p.
5
Suppose 4*g = -0*s + s - 11, -4*g - 3*s - 15 = 0. Let h be (-7)/((-14)/(-6))*5/g. Solve -6 = -2*c - 3*f + f, 5*c = h*f + 15 for c.
3
Let w = 2 + 21. Suppose -2*s + 14 = -4*y, -w = -5*s + y - 6. Suppose v - 2*o - 2 = 6, 5 = -2*v - s*o. Solve -r + v*i = -i - 7, -r + 4*i + 8 = 0 for r.
4
Suppose 281*g + 21 = 302*g. Suppose 16 = 3*q - 5*n, -4*n + 5*n - 1 = 0. Suppose q = 3*d - 2. Solve 2*j + g = -d, -4*j = -5*s + 13 for s.
1
Suppose 26*d = 17*d + 18. Solve n - 7*j = -2*j + 2, n + d = j for n.
-3
Let v(r) = -2*r**3 + 52*r**2 + 57*r - 77. Let h be v(27). Solve -p - 28 = -h*p + 4*w, 0 = p - 5*w - 24 for p.
4
Suppose 0 = -0*h - 11*h - 33. Let r be ((-4)/(-3))/((-2)/(-9)). Let l be (1 + h)*(-15)/r. Solve -l*v = -4*m + 14, 0 = -m - 2*v - 0*v - 3 for m.
1
Let a be 0/(3/(63/(-6))*-7). Solve 2*n + 5*b = 3, -4*n + a*b + 19 = -3*b for n.
4
Suppose 0 = 2*m + 3 - 21. Let b(z) = -9*z**2 - z - 4*z**3 + 6 + 11 + 1 + 5*z**3. Let t be b(m). Solve 10*s - 5*s + t = -3*c, 4*s = -5*c - 15 for c.
-3
Let o(u) = -u**3 - 7*u**2 + 14*u + 20. Let f be o(-9). Suppose 3*j - f - 43 = -3*x, -5*j - x + 173 = 0. Solve -2*g - 11 = 3*n, -2*g + j = -5*n + 3*g for n.
-5
Let i be 5/7*2 - 40/(-70). Let r be (-6)/2 + (-80)/(-8). Suppose i*a - r*a = 0. Solve 2*o = -0 - 4, a = -4*l + 4*o for l.
-2
Suppose -4*y = -4*q + 24, 3*y = 6*q - 4*q - 17. Let r be (0 - q) + 1 + -2. Let x be r + -9*(-2)/3. Solve 0 = -2*m + x*f - 8, 5*m = -2*f + 6*f - 20 for m.
-4
Let k = -17 + 22. Suppose 0 = -4*f + k*f. Let j be (f - 0)/(3 + -5). Solve j = -3*l + 5*o + 5, 8*o + 5 = -3*l + 3*o for l.
0
Suppose -2*h + 3*y = -35, -h - 3*h + 7*y = -73. Solve 3*o = -h*u + 10*u - 9, -2*u + 6 = -4*o for u.
-1
Let l be (216/(-26))/(-2) + (-32)/208. Solve 3*k = -5*i - 4 + 15, -k + l*i - 19 = 0 for k.
-3
Suppose b + 26 = 4*n + 18, -9 = n - 3*b. Solve 0 = 4*o, -n*k = 2*k + 2*o + 25 for k.
-5
Let j(k) = 21*k - 9. Let x be j(7). Let g be x/9*(2 - (-3)/(-6)). Solve c - 4*o - g = 0, 29 = 3*c - 2*o - 2*o for c.
3
Let o(w) = -5*w**3 - 2*w**2 + 1. Let k be o(-1). Suppose -k*n + 1 = -11. Solve 2*u = 3*z + 2 + 2, -n*u + 17 = z for z.
2
Suppose -4*n + 14 = 2*d + 4, 3*n - 18 = -5*d. Solve d*r = -2*o - 2, -4*o + 2 + 6 = 3*r for r.
-4
Suppose 10*u = 6*u. Suppose u = 2*x - 27 + 5. Solve -s + 2*m + 0*m + 6 = 0, 4*s + x = m for s.
-4
Let x(l) = -45*l**2 - 3*l + 3. Let t be x(1). Let k = -45 - t. Solve 3*o + i - 8 = k, 1 = o - 2*i + 10 for o.
1
Suppose -198 = c - 200. Solve -c*i + 2 = -4, 5*m = -5*i - 10 for m.
-5
Let r be (2 - (-25)/(-20))*(-32)/(-6). Solve 2*v = 5*m - 14, -11*m = -r*v - 13*m + 20 for v.
3
Suppose 24 = 87*c - 85*c. Let x be c - (9/6)/(3/8). Solve i + 16 = 4*w - 3*i, -2*w + x = -i for w.
4
Suppose 0 = -s - o + 1 - 29, 0 = 5*o - 10. Let d = -27 - s. Solve 0*q - 4*q = -l + 4, 0 = -l + 3*q + d for l.
0
Let c(n) = 2*n**2 - 4*n + 1. Let j be c(3). Let m(l) = l**2 - 2*l - 33. Let u be m(j). Solve a - u*d + 12 = 0, 5*a + 3*d - d = -12 for a.
-4
Let n(c) = 2*c - 20. Let o be n(0). Let d = -16 - o. Solve 4*s - s = -q - 2, 0 = d*s + q + 2 for s.
0
Suppose -2*k - k + 15 = 0. Solve -4*s - 14 = -4*v + 18, -3*v = k*s for s.
-3
Let d(x) = -x**3 + 3*x**2 - x + 1. Let i be d(2). Solve -i*y - 4*s - 23 = 2*y, 0 = -3*y - 3*s - 15 for y.
-3
Suppose -3 = -3*y, -2*y + 8 = 2*s - 5*s. Let t(d) = -9*d - 15. Let w be t(s). Solve -l = -4*a + 10, 0 = -3*a - 0*l + w*l + 12 for a.
2
Suppose -18 = -161*t + 155*t. Solve -5*v + 1 = -3*x - x, -t*x + 5 = 2*v for v.
1
Let d(h) = -h**3 - 3*h**2 + 51*h - 13. Let x be d(-9). Solve 15 = -4*r - c, -3*r + 3*c - 44 = -x for r.
-5
Suppose 0 = 2*y + 3*l + 11, -2 - 6 = y + 2*l. Suppose -3*i = -y*i - 5. Solve 5*o = 2*j + 25, i*o - j - 21 = 4 for o.
5
Suppose 4*r = 18 - 2, 3*r = 4*y - 68. Solve 0*q - q = -2*p, 4*p = -3*q - y for p.
-2
Suppose -31 = -2*d + 5*f, 17*f - 16*f + 19 = 2*d. Solve 16 + 4 = 3*r + 2*m, d = 2*m for r.
4
Suppose -10*b - 875 = -35*b. Solve -2*k + 7*k = -5*i - b, 4*k - 2*i = -4 for k.
-3
Suppose -20*o + 96 = -4*o. Solve 0 = h - 5*z - 0*z, h + o = -z for h.
-5
Let z = 12 - 8. Suppose -3*a = -4*b + 7 - z, b + a - 6 = 0. Solve -4*k + 36 = 4*r, 3*k - b*r - 1 = 2 for k.
5
Let m(b) = -b**2 + 25*b + 30. Let h be m(26). Solve -4*n + 3*c = -4, -2*n - 16 = -h*n + 5*c for n.
-2
Let z be ((-16)/(24/3))/((-2)/5). Solve -k - z = 5*a + k, a - 5*k + 28 = 0 for a.
-3
Let n = 338 + -334. Solve -n*b = -3*u + b + 15, 5*u - 5*b = 25 for u.
5
Suppose -3*v + 24 = v. Let w be 2/v + 16/6. Suppose -d + 3*c = -11 - 10, d + w*c + 9 = 0. Solve d = 2*n, -a = -3*a + 4*n - 14 for a.
-1
Suppose 5 = 12*u + 5. Solve a - 3*s = -u*a - 13, 3 = -a + s for a.
2
Suppose 17*t + 118 = 458. Let r be 2 + (-2 + 1)*2. Suppose 6 = -a + 1, r = -d + a + t. Solve 3*m + 4*k - 20 = 0, -m + k - 4*k = -d for m.
0
Let f = 296 + -292. Solve -f*o - 4*r - 4 = -0*o, 3*o - 11 = 4*r for o.
1
Let i(t) = t**2 - 9*t - 14. Let w be i(11). Suppose -5*p - 10 = 3*u - w*u, 0 = -u + 2*p. Solve -q - u*q - 3 = -4*z, 4*q + 5*z = 14 for q.
1
Let m = 9 - 5. Suppose w + 0*w = m, -92 = -4*f + 3*w. Suppose 5*d - f = p, -3*p = 3*d - 8*p - 20. Solve 0 = -5*l + d*n + 45, -4*l + 2 - 11 = 5*n for l.
4
Suppose 6*m = 169 - 31. Let u = m - 5. Solve -6*f + u = -2*r - 2*f, 3*f - 17 = 5*r for r.
-1
Suppose 3*t + 125 = -2*t. Let a = t + 9. Let g be (-10)/(-8) - 12/a. Solve 3*k = -3*x + g - 5, 0 = -2*k + 5*x + 33 for k.
4
Suppose 0 = -4*v - 2*l - 0 - 24, -30 = 5*v + 5*l. Let d be 2 - 4*3/v. Suppose -d*h = -8 - 0. Solve -4*p + 3*z + 8 = p, 0 = 2*z + h for p.
1
Let h be (-46)/(-14) + (-10)/(-14) + -1. Suppose h*i = 16 + 14. Solve -2*t - 2*m + m = 0, 2*m = t - i for t.
2
Let i(y) be the second derivative of 5*y**3/6 - 9*y**2 + 44*y. Let v be i(4). Solve -v*l + 9 = 3*q - 2*q, 5*l - 5 = q for q.
5
Suppose -5*f + 14 = -16. Let u be (-2)/((-2)/3 + 0). Solve u*v - 16 = 4*g + g, 4*g = -v - f for g.
-2
Let u(a) = a**2 + 3*a + 1. Let l be u(3). Let p(d) = 4*d - 4. Let w = 7 + -5. Let v be p(w). Solve -v*r + 13 = q, 3*r = -r + q + l for r.
4
Suppose -14 = -5*i - x + 5, 4*i - 5*x + 8 = 0. Solve -i*d - 1 = -5*p - 4, 3*d = 4*p + 3 for d.
1
Let u = 15 + -11. Suppose u*l = 5*h + 13, -2*l + 5*h + 2 = -7. Let y be -47 - -43 - (-9 + 0 + 0). Solve 5*j - 3*x = 21, 16 = -0*j + l*j - y*x for j.
3
Suppose 0 = -8*h + 4*h + 28. Suppose -3*d = -2*d - 5. Suppose 5 = 3*t + 2*n, 2*t - d*n = 9 + h. Solve 5*g = -3*b - 25, -3 = -t*g + 5*b - 18 for g.
-5
Let w be (-4)/10 + 2548/70. Suppose 0*t = 3*t - w. Solve -7*z + 3*z = -4*o + t, 4*o - z = 9 for o.
2
Suppose -4*w - 17 = -25. Solve -3*h = -2*h - 4, w*l + 8 = 2*h for l.
0
Let r = 4 + 1. Let l be (36 - 38)/(2/(-4)). Solve r*g = -3*c - 40, -3*g - l*c - 9 = 26 for g.
-5
Suppose -3*b = -q + 17, -5*b - 15 = 5*q - 20. Solve d - 28 = -q*n, -5*d + n = -10 - 0 for d.
3
Let i be (-58)/(-26) + (-747)/3237. Solve -3*t + 2*v + 2 = 0, i*v - 7 = -3*t - 9 for t.
0
Let p = 1 - -1. Suppose 12*o - 1522 = 530. Suppose 9*r + 10*r - o = 0. Solve p*j = 6*j, -4*j + r = 3*k for k.
3
Let x(v) = -v**3 - 10*v**2 + 26*v + 27. Let p be x(-12). Solve 2*f - p*b - 22 = 0, 3*f - b + 5 = -6*b for f.
5
Suppose -25*r + 825 = 8*r. Solve c + 13 = -c - x, -r = 5*x for c.
-4
Let v = 25 + -21. Suppose -3*m + 28 = f, m + v*f - f - 20 = 0. Solve 0*a - 2*z - m = -2*a, -5*a = -z - 12 for a.
2
Let k be (-2)/(((-6)/10)/((-6)/(-4))). Suppose 4*c - k*x + 8 = 0, -2*c - 2*x + 6 + 8 = 0. Solve 5*n + 1 - 10 = b, n = -b + c for b.
1
Let h be ((-44)/6)/(4/(-30)). Suppose -13 = 6*v - h. Suppose -3*k = 5*u - 23, 3*k - v = -u - 0*u. Solve -q = -u*b - 1, b = 2*q - 4*q + 2 for b.
0
Let v(n) = n**3 - 5*n**2 - 65*n + 363. Let y be v(6). Solve 3*w = -4*m - y, m + 3*w = -0*w for m.
-3
Suppose -4*u = -984 - 524. Let b be (-1)/((-4)/468 + 0). Let x be u/b + (-2)/9. Solve x*r + 8 = 2*q, r + 8 = -3*r for q.
1
Let t(y) = 2*y - 13. Let k be t(6). Let x = k + 4. Solve -5*i + b - 21 = 0, -i - 18 = x*b - 1 for i.
-5
Let s be (3 + (-3)/2)*2. Suppose -5*c = 5*p - 3*c - 15, 5*c = -s*p + 9. Suppose -u + 5 = p. Solve t - 4*y - 3 = -17, -u*t + y = 0 for t.
2
Suppose m + 5*a - 26 = 0, -2*m - a = -7*m. Solve -2*c - 15 = 5*v + m, -2*v - 10 = -c for c.
2
Let x be (138/(-6))/(((-1)/3)/(-1)). Let z = x + 74. Solve 0 = -z*k + 2*p + 5, 0 = p - 0*p for k.
1
Sup