f/(-12))*3. Solve t = -j*b, t + 2*t + b = 0 for t.
0
Let b be 2*(-6)/12*-288. Suppose -4*u - 288 + b = 0. Solve -2*o + 12 = -5*j + 2*j, -2*j + o - 8 = u for j.
-4
Suppose 3*a = -2*a + 50. Let d be ((0 - -3)/3)/((-6)/36). Let l be (-1)/3 - 14/d. Solve 0 = q + 3*q - l*v - a, -2*v + 15 = q for q.
5
Suppose 9 = 3*s + 10*g - 7*g, 5*g = 5. Suppose 6*h - 32 = -s*h. Solve -4*b = -d + 1, -3*b = d + 3 - h for b.
0
Suppose -4*h = 5*o + 19, h + 14 - 11 = -3*o. Let r(w) be the first derivative of 3*w**2 - w - 1. Let v be r(o). Solve -p + 2*q = 4*q + 3, 3*p + 20 = v*q for p.
-5
Let u = -2944 - -2954. Solve 5*j + 0*i + u = 5*i, i - 8 = 3*j for j.
-3
Suppose 0 = 78*h - 83*h - 5*u + 65, -4*h - 3*u = -58. Solve -4*p - 3*x + 0*x + 18 = 0, -5*p - 2*x + h = 0 for p.
3
Let f = 72 - 70. Let r be (-4)/((-4)/f) - (4 - 2). Suppose r = -5*h + 5, 2*p - 3*h = h. Solve 0 = -j + p*a + 7, -1 = j + 3*a + 2 for j.
3
Let j(g) = g**3 + 16*g**2 + 17*g + 35. Let u be j(-15). Suppose u*w - 2*w - 60 = 0. Let x = 25 - w. Solve -2*v = -m - 1, -14 - 8 = -4*m - x*v for m.
3
Suppose 29*c - 756 = -97*c. Solve 3*p - c = -3*a, 0 = -4*a + a + 3 for p.
1
Let m be (-32)/(-6)*(-54)/(-3). Let r = m - 96. Solve 2*s + r*a - 7 = -5*a, 3*s + 15 = a for s.
-4
Let g(k) = k**2 - k - 30. Let z be g(-5). Suppose z = -2*i + 341 - 333. Solve 3*m + 21 = -3*r, 0 = -r - i*r - 3*m - 31 for r.
-5
Let m(j) = -3*j + 17. Let n(v) = -v + 31. Let g be n(21). Suppose a = g*a - 45. Let h be m(a). Solve x = 3*o - h, -5 - 1 = 3*x + 5*o for x.
-2
Let q = 101 + -120. Let w = 26 + q. Suppose w*x = -0*x + 161. Solve 0 = 4*f - 2*t + 5 + 1, -3*f + x = 4*t for f.
1
Let g(n) = -4*n**2 - 108*n - 363. Let l be g(-23). Solve -h - l = -2*m - 10, -3*m = -4*h + 5 for m.
-3
Let y be (-2)/(-3)*(-12 - -26 - 11). Let d be y/(-4 + 6)*9/3. Solve -d*b + 2*f = 6, 4*f + 18 = -b + 2 for b.
-4
Let x = 170 + -50. Let q be ((-3)/12)/((-10)/x). Solve 2*d - 2*s = -3*d + 20, d + q*s - 4 = 0 for d.
4
Let f(u) = u - 11. Let v be f(11). Suppose 5*p = -v - 10. Let k be (8/12)/(p/(-6)). Solve c - k*r = -2, -1 + 2 = -c + r for c.
0
Suppose 9*i = 21 + 6. Let r(z) = z**2 - 2*z - 8*z + i*z + 9. Let a be r(6). Solve 3*j + 2*h = -2*j - 3, a*h = -5*j - 7 for j.
1
Let d(o) = o - 5. Let k be d(-7). Let f(i) = -i**2 - 11*i + 12. Let y be f(k). Solve 0*s + s + 2*u + 4 = y, 3*u = s - 16 for s.
4
Suppose 11*d - d = 20. Suppose -4*r = 6*x - d*x - 24, r - 2*x = 6. Suppose 4*h + r = -a, 4*a = h + 13 - 3. Solve -10 = -a*l, -2*c - 2*c + 3*l = 19 for c.
-1
Suppose -y + 276 = 4*x - 2*y, 3*x = y + 207. Suppose -x = -16*n + 107. Solve 12 = -4*c, 4*c = -v - n - 1 for v.
0
Suppose d - 18*d = -4182. Let h = d - 140. Let i = 112 - h. Solve -5*l - 4*b = -2*b + 19, -i = -2*b for l.
-5
Suppose 0 = 5*z + 2*c - 14, 15*c = 5*z + 14*c - 23. Solve n = u - 6 + 1, 0 = -3*u + z*n + 17 for u.
3
Let b be 42/49*(4 - -17). Suppose 0 = -b*m - 3*m. Solve -10 = 5*y + 2*t + 9, -3*y + 4*t - 1 = m for y.
-3
Suppose 80*a = 79*a + 10. Let j be 24/a - (-5)/(225/(-18)). Solve -7 = -j*v + 2*c + c, 2*v - 5*c = 13 for v.
-1
Suppose f - 14 = -5*o, -o - 845*f = -846*f - 4. Solve -5*x = 14*k - 12*k - 10, -o*k = 4*x - 15 for x.
0
Let c(w) = -2*w - 28. Let l be c(-14). Suppose l = -65*x + 60*x + 15. Let d be (((-4)/x)/(-1))/(16/168). Solve -d = 3*h - h - 2*q, 2*q = 3*h + 18 for h.
-4
Let s be (2 - 8/(-16))/(19/38). Solve 10*n - 5*n = s*l - 25, -l + 9 = -2*n for l.
1
Let m = -33 + 63. Suppose 4*g + 5 = -3*i + 8*i, -3*g - 3*i = -m. Suppose 4*h = g*k - 17, -4*k = -4*h - 5 - 7. Solve 3 = y + 3*b, -5*b - 6 = -h*y - 2*b for y.
3
Let l(r) be the first derivative of -4*r**3/3 - r**2 + 25*r - 12. Let t be l(5). Let b be 3/9 - (t/15 + 3). Solve -3*c + 18 = b*d, 5*c = 2*d - 0 + 2 for d.
4
Suppose 2*p + 132 - 206 = 0. Suppose 3*k + 2*f = 12, 3 = 2*k - 34*f + p*f. Solve 2*d = 2*j - 12, -2*d - k = 4 for j.
1
Let z(u) = -2*u. Let f be z(-30). Suppose -62 = -o - f. Solve o*a + 5*r = -2 - 3, 3*a + 4*r = -4 for a.
0
Let q = 1557188 + -1557185. Suppose -5*h = -3*h. Let m be 2/3 + 10/3. Solve -q*k + o + 14 = h, -m*o + 3 - 4 = -k for k.
5
Let t = 11 - 3. Let j be 1064/28 - 1*(1 + -5). Suppose 159 = 9*k + j. Solve -r + 4*c + k = 0, t = -5*c + c for r.
5
Let b(m) = 4*m - 9*m**2 - 15 + 3*m**2 + 0 + 5*m**2 + 3*m**2. Let d be b(2). Solve -5*y = 3*n + 14, -d = 2*y + 5*n - 3 for y.
-4
Let q(z) = 0 - 64*z - 2*z**2 + 4 + 6 - 8. Let o be q(-32). Solve r - 5 + 19 = -4*h, 0 = -o*h - 3*r - 12 for h.
-3
Suppose 128*y = 21 + 107. Solve 3*f - 2*i = -25, -2*f - 6 = i - y for f.
-5
Suppose 10*z + 175 = 885. Let r be (-1*2)/(-8) - (-570)/(-8). Let x = r + z. Solve -5*y + 4*q = -12, -6 = 2*q - x*q for y.
0
Suppose 24 = 12*l - 6*l. Let d be (-28)/56 - (-2)/l. Solve -3*g + 5*y = -d*g - 10, 0 = 4*g - 4*y - 16 for g.
5
Let s(o) = -6*o + 17. Let f be s(-7). Suppose 31 = -9*a - 455. Let x = f + a. Solve 3*n - 6 - 24 = 3*b, x = -n - 2*b for n.
5
Let s(a) = a**2 - a - 68. Let q be s(9). Let y be q/(12/(-9))*(-46)/69. Solve 0 = 2*n - y, 2*n - 2 = m - 0 for m.
0
Suppose -16*g = -45 - 83. Suppose -5*p - g = -18. Solve -3*h - 9 = -3*f, -p*f = 2*h - 0*h + 6 for h.
-3
Let d(q) = 2*q**2 + 39*q - 59. Suppose 5*m - 28 + 127 = 2*g, 0 = -2*m - 3*g - 51. Let v be d(m). Solve 2*h + 4*x = -2*h + 16, 0 = -v*h + 5*x + 7 for h.
3
Let z = -139 - -178. Suppose -7*k = -z*k + 1216. Solve 8 = -4*j + 5*x + k, x + 2 = 0 for j.
5
Let m(d) = d**3 - 39*d**2 - 214*d - 249. Let p be m(44). Solve 20*j + 30 = -3*y + 15*j, 0 = 5*j + p for y.
-5
Let d(x) = 5*x**2 + x + 2. Let r be d(-2). Suppose -5*i - 19 = 2*h, -265*i - 7 = h - 263*i. Solve 9*l = 4*l + r, 7 = -h*y + l for y.
-1
Let x(s) = -16*s + 9 - 2 + 33*s + 2*s**2 - 7*s. Let d be x(-7). Suppose 4*c = -3*c + d. Solve 21 = 3*f + 5*h, -6 - 9 = -c*h for f.
2
Let o = -1500 + 1522. Solve -3*j - 5*v + o = -0*j, 3*j - 5*v + 28 = 0 for j.
-1
Let q be (-7)/(42/(-18)) - -223. Let x = 228 - q. Solve -2*v + o + o - 8 = 0, 2 = x*o for v.
-3
Let h be (-40)/(-25) + (-2)/(-5). Suppose -2*g - 213 = 3*b, -104 = g - h*b + 3*b. Let m = g + 100. Solve 4*i + 5*o - 17 = 0, 4*o = 2*i - 1 - m for i.
3
Suppose 35*i - 8 = -28 + 195. Solve 16 = 4*s, 3*s = 9*t - i*t + 28 for t.
-4
Let a be 117/12 + -10 - 63/(-12). Solve 4*t = -a*o + 2, 5*t + 17 = 2*o + 3 for t.
-2
Let q(u) = 7*u**2 - 112*u + 422. Let f be q(10). Solve -8*j + 4*w + 2 = -5*j, -f*w = -3*j + 4 for j.
2
Suppose -4*n + 5*f - 18 = 0, -3*f + 4*f - 4 = n. Let v be (28/(-8) - n)/((-12)/40). Solve -4*q + 10 = -v*a - 0*q, -5*q = 0 for a.
-2
Let z be (-28)/(-70) - (-176)/10. Suppose 0 = -a + 4*o - z, -a - 3*o = -0*o - 17. Let p(y) = -y + 4. Let l be p(a). Solve -4 - 4 = -l*r, -5*k - 4*r = -31 for k.
3
Let l(y) = -3*y - 56. Let j be l(-22). Suppose -5*g + j*g + 15 = 0. Let f be 10*((g - -6) + -1). Solve 4*v = 2*v - 3*z - f, 3*v = 2*z - 4 for v.
-4
Let w(p) = p**3 - 24*p**2 + p + 6. Let f be w(24). Suppose i = 3*z + 22, -4*i + z = -6*i + f. Solve 5*j - 2*t - 15 + 2 = 0, -4*t - i = 0 for j.
1
Suppose 10 = 16*u - 21*u, 4*u = 2*l - 18. Let h be ((-4)/2 + 1)*-5. Solve -l*y + 10 = 3*p - 11, -4*p = -y - h for y.
3
Let f = -19787 - -19817. Solve -f*x + 4*z + 30 = -28*x, 3*x = -z + 10 for x.
5
Let o = -325 - -166. Let g = o + 169. Solve 0 = -2*m + m, -5*m + g = -5*u for u.
-2
Suppose -2*y - 8*t + 11*t + 1126 = 0, 3*y - 1700 = -t. Let i = -561 + y. Solve m = 4*m + u + 14, 0 = -4*m - i*u - 15 for m.
-5
Suppose -v + 3*a + 2*a = 24, 3*v - 4*a + 61 = 0. Let m = 11 + v. Let r be (-6)/3*8/m. Solve 3*g = f + r + 1, 3*g = 5*f - 9 for g.
2
Let j = 1803 + -1801. Solve j*q + 5*a = 7, -25*q + 27*q + 20 = 4*a for q.
-4
Let s be -14 + (-1 - -155)/11. Solve -5*l + 6*m - 11*m + 10 = s, 0 = 3*l + m + 4 for l.
-3
Suppose 5*k + s + 0*s + 18 = 0, 2*s + 3 = k. Let t = 5 + k. Let i = -15536 - -15543. Solve 15 = -2*a + i*x - t*x, -3 = -x for a.
0
Suppose 15*u - 5*u = 250. Suppose 0 = -24*f + u + 23. Solve r + 17 = 4*a + 2*r, 3*a + f*r - 14 = 0 for a.
4
Let y = -106 + 110. Suppose -4*r - 3*q = -6*q + 25, 7 = -y*r - 3*q. Let f be ((22/33)/(r/6))/(-1). Solve 3*a + a - f = -5*o, -5*o + 2 = 3*a for o.
1
Let a(x) = 3*x**2 - 76*x + 101. Let c be a(24). Suppose -2*d = -c*s + 5, -5*s + 37 - 2 = 4*d. Solve -o + 18 = 4*z - 3*o, -o = z - s for z.
4
Let y be ((-63)/3)/(-7) - 0. Solve 2*u - y = -f, 5*f - 6*u - 15 = -u for f.
3
Let f(r) = 10*r - 50. Let u 