= 25*l + 39. Does 5 divide (4 - 76)/6*35/l?
True
Let y(a) = 35*a - 35. Let p be y(0). Is 39 a factor of 5502/(p/(-5)) - -3?
False
Suppose 15*v + 28 = 11*v. Let t = 103 + -216. Let k = v - t. Is 8 a factor of k?
False
Let u = 4 - -10. Let k be (-6)/u + 68/28. Suppose 4*v - 2*f = 68, -f + 6 = k*f. Is 18 a factor of v?
True
Suppose 0 = 5*p + 15 - 10, 3*p = 4*v - 1559. Is 3 a factor of v?
False
Let c(k) be the third derivative of k**6/120 - 2*k**5/15 - 3*k**4/8 + 29*k**3/6 + 75*k**2. Does 5 divide c(9)?
False
Suppose b = -2*b - 4380 + 14484. Is 12 a factor of b?
False
Let w(j) = 2*j + 18. Let c be w(-9). Suppose c*z - 336 = -16*z. Is 7 a factor of z?
True
Suppose 3*h + 9 = 0, -4*h = 4*x - 0*h - 8. Suppose x*m + 6 = -5*o - 4, -5*m + 2*o = 31. Let y = m - -23. Is 9 a factor of y?
True
Suppose 18*w - 32434 - 46477 = 63361. Is 76 a factor of w?
True
Let u(x) = 9*x**2 + 16*x. Let q(y) = y**3 - 2*y. Let r(b) = q(b) + u(b). Is r(-6) a multiple of 8?
True
Suppose 5*x + 2*d = 4770, 2*d + 1242 = 3*x - 1636. Suppose 19*y - x = 298. Does 11 divide y?
True
Is 111 a factor of 2632/(-77) + 34 - 420028/(-22)?
True
Let w be (58 + 0)/((-6)/24). Suppose v + v - 3*s + 178 = 0, -4*s = 3*v + 267. Let t = v - w. Does 16 divide t?
False
Suppose -4*z = 4*j - 364, 0 = -2*z + j - 0*j + 191. Let w = -360 - -424. Let m = z + w. Does 32 divide m?
False
Let n = 43049 - 19332. Is 56 a factor of n?
False
Let a(f) = 33*f**2 + 67*f - 497. Is 36 a factor of a(8)?
False
Let o be 35/4*6*(220 + 22). Suppose 0 = 10*f - 45*f + o. Is 33 a factor of f?
True
Let v be 9/(-45) + (2 - (-91)/5). Let m be -2 - (3*v)/5. Is 30 a factor of (-6 - 2493/(-21)) + (-4)/m?
False
Let o(g) = -250*g + 33. Let i(m) = 85*m - 11. Let l(d) = -11*i(d) - 4*o(d). Is l(3) a multiple of 4?
True
Suppose -2*y + 2931 = 2*k - 1077, -3*k - 5*y + 6002 = 0. Is 34 a factor of k?
False
Suppose -11*x + 23 = 1. Suppose -x*r = -17*r + 6930. Is 22 a factor of r?
True
Let q be -15*((-64)/(-30) - 8/6). Let g(r) = 30*r + 33. Let n be g(q). Let t = -222 - n. Is t a multiple of 21?
True
Let z = 1120 - 638. Let a = 150 + z. Does 29 divide a?
False
Let g = 241 - -423. Suppose -29 = -4*y - 5*m + g, -y + 170 = -2*m. Suppose 3*r - 42 - y = -5*s, 5*r = -3*s + 122. Is 22 a factor of s?
True
Let g(j) = j**3 - 19*j**2 + 14*j + 72. Let i be g(18). Suppose -7*o + 57 + 90 = i. Is o a multiple of 7?
True
Let t(i) = -i**2 - 15*i + 75. Let b be t(4). Let a(w) = -w**2 + 15*w - 3. Let o be a(11). Let d = o - b. Does 10 divide d?
False
Let k(u) = -2*u + 9*u**2 + 179 + 6*u - 11*u**2. Suppose -3*f = 5*y + 10, -13*f + 12*f - y - 2 = 0. Does 18 divide k(f)?
False
Let s(q) = -q - 14. Let d be s(-16). Let c = -11 + d. Let w(u) = -u**3 - 7*u**2 - u - 21. Is w(c) a multiple of 48?
False
Suppose 0 = 5*v + 4*p - 131 - 54, 0 = -5*v - p + 200. Suppose -t = v - 39. Is 1/(t/(-12)) + 1 a multiple of 5?
False
Suppose -3*u + 4*q = -q - 21, 0 = -u + q + 7. Suppose -h + 213 = 4*g, u*h = 5*g + 6*h - 273. Suppose -31*x + g = -30*x. Does 27 divide x?
True
Let y(l) = l**3 - 9*l**2 + 7*l - 4. Let q be y(8). Let o(b) = -b + 16. Let w be o(q). Suppose u + 5 = w. Is u a multiple of 13?
False
Let v(b) be the third derivative of -b**5/30 + 4*b**4/3 - 7*b**3/3 + 3*b**2. Suppose -6*k - 3*g = -5*k - 13, -3*k + 39 = 4*g. Is v(k) a multiple of 22?
False
Let c = -21606 - -41838. Does 36 divide c?
True
Does 11 divide 3 + 19023 + -6 + 10?
True
Let p = 30933 + -29673. Is p a multiple of 4?
True
Suppose -36*f + 41*f = -5*k + 6730, -5*f - 3*k = -6738. Is f a multiple of 6?
True
Does 25 divide (14 + -12)/(1 + (51404/(-51412))/1)?
False
Let p be (-27)/(-18)*3/(18/20). Let x be (p/(-15))/(2/(-6)). Is 42 - (4 - (1 - x)) a multiple of 19?
True
Suppose 3*b + 2*t - 19 = 0, b + t - 8 = -1. Let w(n) = -16 - 2*n + n + 2*n - b*n. Is 6 a factor of w(-10)?
True
Suppose -3*y + 3528 = 6*y. Let l = y - 193. Does 23 divide l?
False
Suppose 3*t = -3*h - 42, -4*t + h + 0*h = 31. Let i(s) be the second derivative of s**5/20 + 2*s**4/3 - 11*s**3/6 - 6*s**2 + s - 17. Is i(t) a multiple of 6?
True
Let j(q) = -3*q**3 + 6*q**2 + 5*q + 28. Let w be j(-7). Suppose -4*c + 2*p = 4*p - w, -5*c + 3*p + 1656 = 0. Is c a multiple of 55?
True
Suppose -54*s + 52*s + 18 = 0. Suppose s*l - 6*l = 6. Suppose -222 = -0*k - l*k. Is k a multiple of 11?
False
Let z = 21162 + -10928. Is z a multiple of 16?
False
Suppose 0 = -2*g - 15 + 75. Let y be g*(1/(-3))/(15/(-27)). Is 2 a factor of 4/y - (-280)/36?
True
Suppose 3*a - m = 18379, -5*a + 30655 = -5*m + 8*m. Suppose 1100 - a = -12*t. Does 8 divide t?
False
Let s(g) be the third derivative of -g**6/120 + 11*g**5/60 + g**4/6 - 2*g**3/3 + 3*g**2 + 9*g. Let m(p) = 4*p - 15. Let v be m(5). Does 18 divide s(v)?
False
Suppose -4*o = -3*m + 9, 5*m = 2*o - 6*o + 15. Suppose -d = -q + 3*q - 169, 4*d + 5*q - 670 = o. Is d a multiple of 33?
True
Let v(d) = -5*d**2 + 153*d. Is 9 a factor of v(15)?
True
Suppose 3*a + 5*v + 13 = 0, a + 2*v + 2 = -2. Let u be (-27)/18*92/a. Let z = u + 30. Is z a multiple of 6?
False
Let o = -3672 + 4752. Does 5 divide o?
True
Let x = -32061 - -54815. Does 171 divide x?
False
Does 37 divide (-11 + (4 - -3) - -20752) + 9?
True
Is 55 a factor of 1/(15/109948) - (17 + (-1799)/105)?
False
Let w = -15328 + 23028. Is 65 a factor of w?
False
Let f(b) = 2*b + 11. Let t = -40 - -45. Let r be f(t). Suppose 5*w = 4*w + r. Does 11 divide w?
False
Let w(k) = -2*k + 345. Let z be w(0). Let l = z + -267. Is l a multiple of 13?
True
Does 62 divide (-6636)/56*(-656)/12?
False
Suppose 2*b = -5*g + b - 4798, -5*g - 4783 = -4*b. Let a = 2135 + g. Is 26 a factor of a?
False
Let s = 243 - 274. Let j = 511 + s. Is j a multiple of 13?
False
Let d = -740 + 743. Suppose -c + 1 = 0, 17*n - d*c = 21*n - 1291. Is n a multiple of 52?
False
Let v(k) = -7*k + 99. Let f be v(0). Suppose 2*g + g = -5*w - f, 4*g + w = -115. Let r = 67 + g. Is 3 a factor of r?
True
Let h(n) = -n**3 - 3*n**2 - 18*n - 4. Let v be h(-7). Suppose 0 = 5*x - 10, 4*r - x = -2*x - v. Is 7/((45/r)/(-9)) a multiple of 11?
False
Suppose a = 4*v - 0*v - 39, -2*a = 2*v - 12. Let y(l) = -l**2 + 6*l + 29. Let t be y(v). Suppose 0 = -t*x, 76 = 4*s + 2*x - 196. Is 14 a factor of s?
False
Suppose 9*t + 856 = 2*r + 7*t, 5*r + 5*t - 2090 = 0. Let c = r + -183. Is 30 a factor of c?
True
Let c = 364 - 193. Suppose -3*h + c = -42. Suppose 9*q - h = 10. Does 8 divide q?
False
Suppose 2*o + 5*r = 8049, -4*o + 22741 - 6676 = -r. Is o a multiple of 47?
False
Let w(l) = -50*l**3 + 4*l**2 + 2*l + 30. Does 45 divide w(-5)?
False
Suppose -6540 = -3*f - 1479. Let m = -1102 + f. Is m a multiple of 45?
True
Let s be (2/(-1 + 5))/((-6)/(-96)). Let z be 4/s - (3 + (-501)/6). Let l = 288 - z. Is 15 a factor of l?
False
Let y(g) = 624*g**2 - g + 46. Is y(2) a multiple of 5?
True
Suppose 0*k + 13*k - 26 = 0. Is 12 a factor of 88025/(-50)*k/(-7)?
False
Let z = -139 - -147. Suppose -z*l + 381 = -547. Is l a multiple of 58?
True
Suppose 8 = p + 5*z, -2*p + 0*z = -2*z - 4. Let h(u) = 89*u + 110. Is h(p) a multiple of 4?
False
Suppose 77*l + 78*l - 40*l = 821100. Is 170 a factor of l?
True
Let i be (-3)/(36/6)*(-6)/(-3). Let o(y) = -91*y**3 - y**2 - y. Does 5 divide o(i)?
False
Let c(u) = u**2 - 3*u - 1. Let n be c(-1). Suppose 3*l - n*y - 418 = 449, 5*l - 3*y - 1437 = 0. Is l a multiple of 13?
False
Let f(b) = 81*b**3 + 33*b**2 - 187*b + 13. Is 29 a factor of f(5)?
False
Let m = -9875 - -22075. Is m a multiple of 40?
True
Let j be (2/(-6) + 9/(-27))*-6. Suppose -7*d + 114 = -j*d. Suppose -4*t + 5*a = -36, -4*a + 11 = -3*t + d. Is 9 a factor of t?
True
Let p = -4349 + 7413. Is 39 a factor of p?
False
Let n(x) = x**3 + 17*x**2 - 19*x - 15. Let o be n(-18). Suppose -3*u = -o*q + 156, 4*u = -2 + 10. Suppose -c - q = -2*c - 2*p, c - p = 66. Does 21 divide c?
False
Let r be (-8)/28 - 519/21. Let d = 15 + r. Is (-216)/d - (-6)/15 a multiple of 6?
False
Let f(u) = -11*u**2 - 12*u + 34. Let i be f(4). Let r = -162 - i. Is r a multiple of 11?
False
Does 83 divide (229013/(-2))/29*-2?
False
Let y(w) = 2*w**3 - 14*w**2 + 11*w - 10. Let u(v) = -v**3 - v. Let f(h) = -u(h) - y(h). Is f(13) a multiple of 49?
True
Let h(m) = m**3 + 5*m**2 + 7*m + 2. Let b be h(-5). Let r = 36 + b. Does 16 divide r/(-6) + (-97)/(-2)?
True
Suppose 70*k - 69*k - 32 = 0. Let m = k + 117. Su