)/72*3?
True
Suppose 14*w = 17*w - 2*m - 5800, 0 = -5*m - 10. Is 46 a factor of w?
True
Let o = -428 - -71. Let j = 638 + o. Let r = j - 56. Does 25 divide r?
True
Let k(l) = 25*l**2 - 47*l - 248. Does 27 divide k(19)?
True
Let x(i) = 2*i - 7. Let g be x(5). Suppose -g*r + 6 = -r. Suppose 279 = r*v + w, -w - 4*w - 279 = -3*v. Is 13 a factor of v?
False
Suppose 2*r = -3*d + 23409, 3*r - 2*d = 44807 - 9661. Does 32 divide r?
True
Let j be ((-14)/3)/(32/(-6) - -5). Suppose 4*w + 184 = 4*l, -j*w + 3*l = -15*w - 50. Let x = -9 - w. Does 33 divide x?
False
Let p(u) = -u**3 - 4*u**2 - 3*u + 8. Let k be p(-7). Suppose -3*h = h + k. Is (12/24)/((-2)/h) a multiple of 11?
True
Suppose -32 = -12*m - 8. Suppose 4*x + m*j = 2412, 4*x - 1804 = x + j. Is x a multiple of 43?
True
Let z = 265 - 262. Suppose -y = -2*v + 949, 0 = z*y + 28 - 13. Is v a multiple of 9?
False
Suppose -10 = -r - 5. Suppose r*f - 19*f - 1064 = 0. Let u = -44 - f. Is u a multiple of 6?
False
Suppose 18*h - 20 = 14*h. Suppose 305 = 5*i - h*z - 0*z, -265 = -5*i - 3*z. Is 2 a factor of i?
True
Let f(w) = -w**2 - 15. Let i be f(-24). Let t = 749 + i. Is 12 a factor of t?
False
Let o(g) = -24*g**2 - 4 + 4*g + 0*g + 29*g**2. Let i be o(-2). Is 41 a factor of 328 - ((-4)/(-8)*i + -8)?
False
Let c = -6879 + 8936. Is c a multiple of 25?
False
Let q(f) = 6958*f**3 + 10*f**2 - 63*f + 95. Does 11 divide q(2)?
False
Let s = 10253 - 3887. Is 69 a factor of s?
False
Suppose 14*v + 0*v = 4760. Let i = -230 + v. Does 10 divide i?
True
Suppose -4*b + 5*w + 3 = -1, 5*w + 1 = b. Let h be (4 - (b - 0))/((-90)/120). Is -2 - -1 - -2 - h a multiple of 4?
False
Let o(u) = 20*u + 122. Let c be o(-6). Suppose -s = 2*s, -c*s + 957 = d. Is 29 a factor of d?
True
Let l = -219 + 222. Suppose 2*o - 1782 = 4*d, o = l*o + 2*d - 1752. Is 24 a factor of o?
False
Is (-13 + (-118722)/(-12))*(-4)/(4/(-2)) a multiple of 21?
True
Let c(u) be the second derivative of -15/2*u**2 + 0*u**3 + 1/6*u**4 + 0 - 26*u. Is 3 a factor of c(5)?
False
Let q be (-2)/(-20) + 16745/50. Suppose q = 4*f - 3*d, -2 = 3*d - d. Is f a multiple of 49?
False
Let i(c) = 158*c + 4559. Is i(-4) a multiple of 42?
False
Suppose 34 = 5*k - 3*w, -2*w = -2*k - 4*w + 4. Suppose -k*y = -4*y + 11*y. Suppose 5*f - 3*h - 120 = y, 3*f - 3*h - 72 = -6*h. Does 3 divide f?
True
Let a = 232 + -634. Let u = a - -210. Does 24 divide (u/(-10))/(((-6)/(-10))/3)?
True
Let w = -20 - 50. Let z = -74 - w. Let y(n) = 10*n**2 - 3*n + 8. Is y(z) a multiple of 18?
True
Suppose 1442*y - 1185 = 1427*y. Is y a multiple of 13?
False
Let b = 9406 + -7462. Is b a multiple of 4?
True
Let m(r) = -r**3 - 6*r**2 + 8*r - 3. Let x be m(3). Let g = x - -63. Suppose -2*h = -g*f - 86, -5*f - 57 = h - 2*h. Is h a multiple of 11?
False
Suppose 32536 + 23891 - 7827 = 12*y. Does 15 divide y?
True
Let n(w) = 74*w + 22. Let a(r) = 74*r + 22. Let f(q) = -6*a(q) + 5*n(q). Is f(-7) a multiple of 31?
True
Let n be 1399/(-4) - (30/24 + -2). Let p = 1146 + n. Is p a multiple of 66?
False
Let q = -8678 - -16407. Is q a multiple of 100?
False
Suppose 0 = -13*p + 4*p + 621. Let m = 96 - p. Is 3 a factor of m?
True
Let j = 22 + -22. Suppose m + j*m + 439 = 2*y, 4*m - 908 = -4*y. Is 15 a factor of y?
False
Let q = -110 - -248. Suppose -z = -r - r + q, 3*z - 225 = -3*r. Suppose -2*w = -4*a - 150, -a = -w + 3*a + r. Does 24 divide w?
False
Let w(y) = y**2 + 39*y - 124. Let o be w(-42). Suppose 2*u + 1837 + 141 = 4*a, -2*a - 5*u + 983 = 0. Suppose -a + 118 = -o*r. Does 11 divide r?
False
Let v(s) be the first derivative of -s**4/4 - 3*s**3 - 9*s**2 - 64*s + 68. Is v(-9) a multiple of 49?
True
Suppose 119*t - 774 = 110*t. Does 13 divide (-2)/(-4 + 340/t)?
False
Let b(n) = 445*n**2. Let r = 409 - 410. Does 11 divide b(r)?
False
Let k = -9 - -11. Suppose 0 = 4*x + 8*x. Suppose x*u - u + 278 = 5*b, b - 61 = -k*u. Is 40 a factor of b?
False
Let c be -1*(1 + -40) + -2 + 2. Let b = c - 46. Let r(s) = s**2 - 4. Is 9 a factor of r(b)?
True
Let m be ((-4)/1)/((-2)/(-14)). Let x(p) = p**2 + 9*p + 4. Does 36 divide x(m)?
False
Suppose -3340519 - 2023611 = -265*m. Is m a multiple of 29?
True
Suppose -8*w + 40412 = 2*w + 6342. Does 41 divide w?
False
Let f be 597/(-6) - (-3)/(-2). Let r = 223 - 64. Let t = r + f. Is t a multiple of 16?
False
Let s = 15510 - 13613. Is 7 a factor of s?
True
Let n = 163 - 82. Let g = n + 413. Is g a multiple of 51?
False
Let s be (-3 - 856/(-4))*-1. Let z = -198 - s. Is 13 a factor of z?
True
Let k(o) = 22*o**2 + o - 2. Let s be k(-2). Let i = s + -25. Let b = i - -16. Is 12 a factor of b?
False
Is 13 a factor of 3 - -14*31/((-31)/(-240))?
False
Let d(y) = y + y**2 - 2*y + 3*y - 10. Let l be d(-12). Suppose 2*t - l = 16. Does 21 divide t?
True
Let b(s) = -9*s**3 + 404*s**2 + 22*s - 51. Does 19 divide b(43)?
False
Let a(m) = m**2 - 8*m - 85. Let z be a(20). Let l = 283 - z. Is l a multiple of 6?
False
Is 13 a factor of 91/105*3144*(-10)/(-4)?
True
Suppose 78*p = 75*p + 4*a + 38356, -5*p + 2*a = -63936. Is p a multiple of 8?
False
Let y(p) = -10*p**3 + 12*p**2 + 4*p + 6. Is y(-6) a multiple of 26?
True
Let m(s) = 119*s + 8842. Is m(13) a multiple of 98?
False
Suppose 4*r = 27 - 31. Is 12 a factor of 14/(-7) + -3 + r + 130?
False
Let z(u) = u**3 - 70*u**2 - 140*u - 258. Does 5 divide z(72)?
True
Let p(a) = 2*a**3 - a**2 - 26*a - 7. Let i = 424 + -418. Is 17 a factor of p(i)?
False
Let h(p) = 78*p + 1615. Does 17 divide h(102)?
True
Let n = -1022 + 534. Let o = n + 509. Is 9 a factor of o?
False
Let p(s) be the third derivative of -s**4/2 + 5*s**3/2 - 2*s**2. Let o = 276 - 283. Is p(o) a multiple of 11?
True
Suppose 0 = -3*m - 35 + 20. Let j(c) = -5*c**3 - 8*c**2 - 3*c + 10. Let l be j(m). Let r = l + -165. Is r a multiple of 57?
True
Let p = -2271 - -2811. Does 60 divide p?
True
Let s be 3*(-5 - (8 + -12 - 18)). Let m(n) = n**2 + 4*n + 7. Let c be m(-5). Let w = c + s. Does 16 divide w?
False
Suppose 258 = -2*r + 2*o, 2*r + 281 = -o + 32. Is (-1)/((-250)/1482 + (-21)/r) a multiple of 9?
False
Suppose g + 4*j = 175, 2*g - 362 = -2*j - 3*j. Suppose 1234 = 5*f - g. Is f a multiple of 19?
True
Let m(h) = 46*h**2 - 20*h - 68. Does 41 divide m(-12)?
False
Let c = -5227 + 5441. Is 34 a factor of c?
False
Let y(w) = w**3 - 11*w**2 + 8*w + 12. Let v be y(10). Let u be 3252/(-4)*v/6. Suppose 16*m - u = -396. Is 9 a factor of m?
False
Let n(m) = 52*m + 4. Suppose -r + 7*r = 30. Let g be n(r). Let t = 397 - g. Does 18 divide t?
False
Let k be (-6)/((-5)/3945*-6). Let n be (-4)/(-10) + k/(-15). Let w = n - -66. Does 12 divide w?
False
Suppose m = 2*o - 193, 3*o - o - 2*m = 188. Suppose 0 = -14*f - 5*f - 874. Let w = f + o. Is w a multiple of 11?
False
Let g be 1/((-1 - (-506)/508)*-2). Is (0 + 1)*(12 + -8 + g) a multiple of 26?
False
Suppose 4*k = -5*f + 10 + 38, 3*k - 6 = 0. Suppose -12 = 4*t - 2*v, v = 4*t - 2*v + f. Is 0*t/20 - -5 even?
False
Let h = 488 - 488. Let g = 2 + -2. Suppose g = -h*i - i + 41. Does 3 divide i?
False
Let w(d) = 14*d + 32. Let l be w(-10). Let i = l - -113. Suppose -2*r - 327 = -4*r - 3*s, i*r + 4*s = 828. Is 12 a factor of r?
True
Let d = 2157 - 1541. Let l = d - 226. Is 13 a factor of l?
True
Let a be ((-3)/(-18) - 14/21)*-12. Is (-207)/a*(-858)/117 a multiple of 12?
False
Let w = 33 + -32. Suppose 0 = -2*i - 3*o - 5 - w, -7 = -5*i - 2*o. Suppose 3*z + 84 = i*c, c - 3*z + z - 31 = 0. Is c a multiple of 25?
True
Let u = 95 + -65. Let k be ((-108)/u)/(2/20). Does 14 divide (k/10)/((-12)/280)?
True
Suppose 111*p - 104*p + 525 = 26635. Is 9 a factor of p?
False
Let a(m) = -1893*m - 680. Does 9 divide a(-3)?
False
Let g(s) = -s**3 + 36*s**2 + 4*s + 96. Let w be g(36). Suppose 13*f - 8*f - w = 0. Does 4 divide f?
True
Suppose 70 = 20*q - 30. Is ((-16)/q)/(1*2/(-270)) a multiple of 54?
True
Let f be (-104)/(-40) - 2 - 8/5. Let p(c) = 355*c**2 - 2*c - 2. Is 16 a factor of p(f)?
False
Let k(i) = i**2 - i - 1. Let n(l) = 9*l**3 + 7*l**2 - 11*l + 3. Let v(b) = 3*k(b) - n(b). Let g be v(3). Is ((-10)/15)/(3/g) a multiple of 6?
False
Let w = -1291 + 2531. Let h = w + -736. Is h a multiple of 13?
False
Let r(h) = 2*h - 39. Let u be r(28). Suppose 3262 = -3*d + u*d. Does 26 divide d?
False
Let i = -437 - -637. Is i a multiple of 2?
True
Is 5456 + 31 - (3 + 6) a multiple of 83?
True
Suppose -7*g 