 10*r - 4*k - 25013 - 891 = 0, -16 = -4*k. Is 144 a factor of r?
True
Suppose 5*i - 2*c = 2748, 5*c - 554 = -i + c. Let x = -517 + i. Does 33 divide x?
True
Let c(n) = -41*n + 14*n - 45*n. Does 36 divide c(-5)?
True
Let s(g) = 382*g**2 + 1232*g + 7348. Is s(-6) a multiple of 151?
False
Suppose 2*x + r - 6944 - 7330 = 0, 0 = 4*x + 8*r - 28572. Is x a multiple of 15?
False
Is 15 a factor of (718466/2072)/((-2)/(-80))?
False
Let b be (-4)/6 + (-2 - 438/(-9)). Let p = 51 + b. Is 17 a factor of p?
False
Let q = 54 + -50. Suppose 0 = q*l - l - 321. Is 22 a factor of l?
False
Suppose 4*s + 7*n - 15488 = 12*n, 3*n = -3*s + 11616. Is 32 a factor of s?
True
Suppose 0 = l - 2*k - 2535 - 4511, 3*k = 6. Is 50 a factor of l?
True
Is 72 a factor of (11823/56)/((-12)/(-64))?
False
Let k = -24469 + 41389. Does 36 divide k?
True
Suppose 137722 + 11882 = 26*w. Does 42 divide w?
True
Let f = -27 + 30. Suppose -3*s = 14 - 2, -14 = -f*x + 2*s. Suppose 5*m - y = 3*y + 392, m - 84 = -x*y. Is 27 a factor of m?
False
Let n = 9625 - -7486. Does 61 divide n?
False
Suppose 13*j - 2953 = 24. Let m = 220 + j. Is 11 a factor of m?
False
Suppose -52981 = -4*b + 2*t + 6821, 5*b = 4*t + 74754. Is b a multiple of 5?
True
Let k = -750 - -1864. Let d = 1758 - k. Does 23 divide d?
True
Let h(m) = 5*m**3 - 16*m**2 + 18*m + 16. Let r(b) = -b**3 + b**2 - 3*b. Let w(p) = h(p) + 6*r(p). Is w(-10) a multiple of 11?
False
Let z = -4 + 86. Let c = z + -60. Is c a multiple of 2?
True
Let w(k) = 708*k + 122. Is 39 a factor of w(11)?
False
Suppose 87*t - 88*t - 24 = 0. Let x be (16/(-6))/(t/9 - -2). Let o(h) = 18*h - 18. Does 7 divide o(x)?
False
Let c = -547 + 548. Let q be (6/4)/(6/40). Suppose -y - v = -23, c = 2*y - 5*v - q. Is y a multiple of 5?
False
Let z(r) = -12*r**3 - 4*r**2 - 5*r - 3. Let c(m) = -m**3 + 22*m**2 - 38*m - 43. Let i be c(20). Does 15 divide z(i)?
True
Let c(z) = 7*z + 52. Let h be c(-7). Let w be 2 - (-18)/h*2. Let a = 68 - w. Is a a multiple of 18?
True
Let y(m) = -m**2 - 25*m - 22. Let j be y(-24). Suppose 1 = -j*n + 11. Suppose -2*u = -3*i - 182, -i + 446 = n*u - 4*i. Does 8 divide u?
True
Is (14/4 - 1) + (-297681)/(-134) + 9 a multiple of 5?
False
Let n(q) = -q**3 + 10*q**2 + 5*q - 7. Let r be n(9). Let j = r - 47. Suppose -17*w + j = -16*w. Is 12 a factor of w?
True
Does 16 divide 3954 + -13 + (34 - 16)?
False
Let p be ((-36)/24)/((-6)/28). Let l(i) = 15*i + i**3 - 4 - 5*i + 3*i**2 - p*i - 4*i. Does 7 divide l(4)?
False
Suppose -4*f = 6*q - 46748, -5*q + 44264 = 2*f + 5314. Does 44 divide q?
True
Does 91 divide (30758/(-4))/(22/(-60) - (-302)/(-2265))?
True
Let i = -3610 - -3614. Let d(q) = 1 - 12*q + 1 + 3*q**2 - 3 + 4*q**3. Does 15 divide d(i)?
True
Does 23 divide (-289376)/40*((-3219)/406 - 9/(-21))?
False
Let q(p) = 5*p**3 - 12*p**3 - 6 + 2*p + 3*p**3. Let i be q(-3). Suppose 0*f = -4*f + i. Does 6 divide f?
True
Let l be 9/((-36)/(-16)) + -1. Let c = l - -14. Suppose -13*z + c*z - 288 = 0. Is z a multiple of 18?
True
Let n = 2261 + 2885. Is 58 a factor of n?
False
Let k = -3129 + 5982. Is 27 a factor of k?
False
Suppose y - 2*y + u + 7 = 0, -3*y = -u - 11. Let r(f) = 140*f + 6. Let i be r(y). Let v = i - 141. Is v a multiple of 33?
False
Suppose -58*c = -79*c. Suppose c = 10*t + 8*t - 4860. Is t a multiple of 5?
True
Let m(n) be the third derivative of n**5/30 - n**4/8 - 115*n**3/6 - 169*n**2. Is m(15) a multiple of 3?
False
Let k(b) = b**3 + 5*b**2 - 22*b - 35. Let h be k(-8). Let v = 81 - h. Is v a multiple of 5?
False
Let k be ((343/(-21))/(-7))/(1/(-3)). Let j be 20/70 - 681/7. Let l = k - j. Is l a multiple of 18?
True
Let k = 3501 + -267. Suppose 0 = -6*v + k + 888. Is v a multiple of 26?
False
Let p(d) = d**3 - 9*d + 9. Suppose 6 = -5*f + 8*f. Suppose -f*r + 10 = 2. Does 37 divide p(r)?
True
Let l(i) = -i**3 + 2*i**2 + 4*i. Let x be l(3). Suppose -2*k - x*d = -6*k + 1051, 5 = -d. Is k a multiple of 30?
False
Suppose -m = 5*m - 18. Let z be 1/((1 - 2)/(-6 + m)). Suppose z*y = -0*y + 387. Does 51 divide y?
False
Suppose 0 = x - 2*c + 2094 - 12935, -2*c = -2*x + 21676. Does 55 divide x?
True
Let n(u) = 71*u**3 - 5*u**2 - 62*u + 246. Does 45 divide n(4)?
False
Suppose 6516*l + 274974 = 6558*l. Is l a multiple of 14?
False
Let w = 10526 - 5460. Is 34 a factor of w?
True
Let r(g) = -7*g - 148. Let f be r(14). Let s = f + 346. Is 4 a factor of s?
True
Let t be (18/(-5))/((-3)/315). Suppose 13*o - 14*o + 3*i + 199 = 0, -o + 184 = 2*i. Let y = t - o. Is y a multiple of 27?
False
Let u(q) = 7*q**3 - 27*q**2 + 100*q - 21. Does 26 divide u(17)?
False
Suppose 15*y + 2*y = 68. Let z = 464 + y. Does 12 divide z?
True
Let t(u) = 34*u + 26. Let y be t(8). Let x = -200 + y. Is 8 a factor of x?
False
Suppose -28*j = -17*j + 1020712. Is 6 a factor of j/(-154) + (-6)/11?
False
Let s(g) = -g + 2. Let k be s(-1). Let z = k - -53. Suppose 2*i - 4*h + 240 = 6*i, 0 = i + 5*h - z. Is i a multiple of 16?
False
Suppose -29*o - 48455 + 70913 = -245821. Is 29 a factor of o?
True
Let t = 2557 - -10453. Does 9 divide t?
False
Let v = 4046 - -5684. Is 139 a factor of v?
True
Suppose 27 - 3 = 6*a. Suppose 0 = -a*k + k. Let u = 22 + k. Is u a multiple of 22?
True
Let y(s) = s**2 + 46*s - 348. Is y(-76) a multiple of 42?
True
Is 23/((-276)/(-110328)) + 0/2 + 2 a multiple of 6?
False
Let p be 4 + (-9 - -3) + 21. Let y(o) = -o**3 + 20*o**2 + 18*o - 2. Does 22 divide y(p)?
False
Let l(v) = -2*v**2 - 9 - 39*v**3 + 29*v + 38*v**3 - 5*v**2. Let h be l(-10). Is 1 + (94 - (9/3)/h) a multiple of 13?
False
Let m(o) = -o**3 + 10*o**2 + 8*o + 36. Let b be m(11). Suppose -75*g + 78*g + n - 1030 = 0, -b*g + 4*n = -1010. Is 28 a factor of g?
False
Suppose -320433 = -47*x - 7*x + 3*x. Is 27 a factor of x?
False
Suppose 105 = -3*j - 234. Let t = j - -275. Is t a multiple of 12?
False
Let k(t) = t**2 - 15*t - 43. Let p be k(18). Suppose p*d - 1158 - 74 = 0. Is 15 a factor of d?
False
Let a(u) = -19*u - 173. Let k be a(-9). Does 5 divide k*(73/(-2))/((-1)/(-5))?
True
Let d(g) = -g**2 + 8*g + 58. Let c be (-6 + -14)*6/(-12). Does 4 divide d(c)?
False
Is 8 a factor of (528/(-154))/((-27)/31437)?
True
Suppose 0*q = -131*q + 1205997 + 809307. Is q a multiple of 176?
False
Suppose 2*x - 594 + 1012 = 0. Let h = x - -341. Does 3 divide h?
True
Let x(p) = p**3 - p**2 + p - 35. Let l be x(0). Let w = -30 - l. Let n = 7 + w. Does 3 divide n?
True
Suppose -22*b + 21*b = -8. Let v(n) = -19*n - 8 + 5*n**2 + b*n + 11*n. Does 12 divide v(-4)?
True
Suppose 0 = 5*a + 5*t - 75895, 30360 = 2*a + 15*t - 14*t. Is 173 a factor of a?
False
Suppose -65160 = -5*u + 3*w, -2*w + 9918 = 4*u - 42232. Is u a multiple of 26?
False
Let z = 6196 + -2591. Is z a multiple of 31?
False
Let p(b) be the second derivative of -b**5/20 + 19*b**4/12 - 23*b**3/6 - 10*b**2 + 8*b. Is p(16) a multiple of 10?
True
Let b = -15957 - -29394. Is 18 a factor of b?
False
Let q = 12363 - 12334. Let n be (20/6)/((-1)/(-6)). Suppose q*c - n*c = 837. Is 7 a factor of c?
False
Let s(g) = 26*g - 43. Let h be s(-29). Let y = h - -1145. Is 58 a factor of y?
True
Let t = 2870 - 2401. Is 10 a factor of t?
False
Suppose -s + 0*c = -3*c - 7, 3*c = -4*s - 32. Let w = 40 - s. Let x = w + 3. Is 6 a factor of x?
True
Suppose 0 = v - 96 - 111. Let f = v - 27. Is 20 a factor of f?
True
Let h be (3 + 68/(-20))*(-290)/1. Let a(s) = -18*s + 63*s**2 + 3 - h*s**2 + 68*s**2. Does 25 divide a(-3)?
False
Let w be (-9)/((-18)/30 + 4/(-10)). Let r be (2/(-3))/((-2)/36). Suppose -w*g = -r*g + 84. Does 16 divide g?
False
Let z be 4/8*-1 - (-26)/4. Suppose 0 = -z*s + 203 + 307. Let q = 100 - s. Is q a multiple of 2?
False
Let w(x) = x**3 - 2 + 1031*x**2 - 20*x - 2049*x**2 + 1026*x**2. Does 23 divide w(-8)?
False
Let c(l) = -24*l - 12. Let v be c(-5). Suppose -v*i + 118*i = 1680. Does 4 divide i?
True
Let k be (-57)/(-9) - 4/12. Let n(p) = -2 + 102*p + 3 + 11*p - k. Is n(1) a multiple of 9?
True
Let q be (-48)/(-64) - 2118/8. Let i = q + 324. Is 6 a factor of i?
True
Suppose 51 + 99 = 25*j. Suppose -20*o - 88 = -2*d - 18*o, -3*o = j. Does 3 divide d?
True
Let p(y) be the second derivative of y**4/2 - 4*y**3/3 + 9*y**2 + 41*y. Let f be p(5). Let c = f - 30. Does 14 divide c?
True
Let w = -31 - -23. Let u be 20/w*(-16)/5. Does 41 divide u/40 + 379/5?
False
Suppose 0 = 70*c - 75*c + 45. 