 (-3 + -9)/(-3) - 2700/(-27) a multiple of 8?
True
Let u(v) = 28*v**2 - 31*v + 83. Does 5 divide u(-9)?
True
Suppose 2*k - 570 = -79 - 19. Is 8 a factor of k?
False
Let i(r) = 888*r + 1545. Does 41 divide i(8)?
False
Let o(z) = -z**3 - 8*z**2 - 18*z - 7. Let l be o(-8). Let a = l - 135. Suppose 0*d + a*w = 2*d - 626, -4*d + 1250 = -2*w. Is 39 a factor of d?
True
Let o = -2699 + 13923. Is 2 a factor of o?
True
Let w(l) = l**3 - 11*l**2 + 17*l - 171. Let n be w(12). Let h = n - -204. Is h a multiple of 30?
False
Suppose 6*l - 2*s - 45022 = 0, -7*l + 5*l + 4*s + 14984 = 0. Does 139 divide l?
True
Let a(x) = 5*x - 5. Let r(b) = 2*b + 33. Let n be r(-10). Does 5 divide a(n)?
True
Let c = -32296 + 35836. Is c a multiple of 30?
True
Let z(v) = v**3 + 7*v**2 + 7*v + 25. Let j be z(-7). Does 36 divide 2/(-5)*26280/j?
False
Suppose 0 = 7*b - 4*b - 9. Suppose 3*p + h = 254, p - 5*h - 345 = -b*p. Let c = 153 - p. Is c a multiple of 12?
False
Is ((-352)/24)/(196/(-48) + 4) even?
True
Let k(u) = 132*u - 1357. Does 95 divide k(11)?
True
Suppose -3*l - 2*q + 212 + 135 = 0, -4*l = -2*q - 486. Is l a multiple of 3?
False
Does 34 divide ((-35940)/80)/(-2 + 15/12)?
False
Let z(i) = i**2 + 5*i - 10. Let q be z(-6). Is 34 a factor of 1 - q - (-4893)/21?
True
Let r = -21 - -47. Suppose -31*g + r*g = -15. Suppose -20 = -4*z, g*a - 4*z - 100 = a. Is a a multiple of 30?
True
Let o(f) = -6*f**3 - 25*f**2 - 3*f - 302. Is o(-19) a multiple of 19?
False
Suppose 0 = -5*v + 4*k - 403 - 3424, -1530 = 2*v - 2*k. Let x = v + 1688. Is x a multiple of 18?
False
Suppose 5*v + 14*m = 9*m - 1165, -5*v = 4*m + 1170. Suppose 2*q + 3*n = q + 431, -866 = -2*q - 2*n. Let r = q + v. Does 14 divide r?
True
Let v be (-80)/6 + 1/3. Let z(c) = 4*c + 67. Let o(a) = -7*a - 53. Let x(w) = 3*o(w) + 2*z(w). Is 48 a factor of x(v)?
True
Suppose 101*p + 5*h = 97*p + 50183, 0 = -p + 4*h + 12509. Does 21 divide p?
True
Suppose -2*t - 18*x + 21212 = -20*x, 5*x + 10 = 0. Is 26 a factor of t?
False
Suppose 3*w - 5*m = 23 - 2, -4*w + 11 = -m. Let x(r) = 6 - 8*r**2 + 16*r - 6*r**w + 13*r**2 + 3. Is 8 a factor of x(15)?
True
Let o = 68309 + -48264. Is 95 a factor of o?
True
Suppose -3*y = q - 5732, -7784 = -2*q - 5*y + 3677. Is q a multiple of 12?
False
Let s = -188 + 193. Suppose 4*p - 1869 = -3*v, -s*v - 934 = -2*p - 7*v. Does 36 divide p?
True
Let g be (1/(-4))/(26/(-520)). Suppose -2*t = 4, 9 = 3*j - t - 8. Suppose g*z = 15, 3*r - 291 = z - j*z. Is 20 a factor of r?
False
Let a = 30461 - 26145. Is a a multiple of 19?
False
Suppose 11*s - 21*s + 6720 = 0. Let y = s + -349. Does 12 divide y?
False
Let m(a) = 5*a**2 - 63 - 6*a + 65 + 2*a. Let w be m(1). Suppose 75 = -w*y + 216. Is 13 a factor of y?
False
Let x(l) = -l**2 + 8*l + 18. Let f be x(9). Suppose -140 = -2*g - 3*a, -f*g + 8*g - 4*a = -80. Is 6 a factor of g?
False
Let s(o) = 47*o**2 - 32*o - 16. Let j be s(8). Suppose -8*z + 12*z + w = j, 4*w + 3420 = 5*z. Is z a multiple of 28?
False
Let k(l) = 3*l - 8. Let i be k(5). Let n = 4 - i. Is 37 a factor of 379/9 - n/(-27)?
False
Let y = -157 + 162. Suppose 4*c + y*z = -59 + 2235, -2*c + 3*z + 1088 = 0. Does 32 divide c?
True
Suppose 48927*p - 48943*p = -401648. Is 30 a factor of p?
False
Let g(x) = -x**2 - 7*x - 10. Let z be 20/(-8) - (-1)/(-2). Let w be g(z). Suppose 0 = -w*t + 3*k + 280, 4*k - 2*k - 700 = -5*t. Is t a multiple of 28?
True
Suppose b - 6 = -7. Let q be 3/((-63)/(-14487)) + b/(-7). Suppose q = 7*h + 3*h. Does 12 divide h?
False
Suppose 0 = 2*i - 12 - 10. Suppose i*v = 4*v - 28. Is 14 a factor of -49*(v + (-78)/(-21))?
True
Let u(k) = -4*k + 25*k**2 - 9 - 10*k**2 - 15. Is 45 a factor of u(-6)?
True
Let o be 6*(-7 - (-94)/12). Suppose -o*x = p - 158 - 3520, x - 734 = -p. Does 46 divide x?
True
Suppose -269*x + 12257750 = 2109187. Is x a multiple of 25?
False
Suppose 6107 = -13*f - 3006. Let k = -309 - f. Is 49 a factor of k?
True
Let p = -97 - -466. Let i = -310 + 119. Let h = i + p. Is h a multiple of 23?
False
Let w(x) be the first derivative of 12 - 10*x + 4*x**3 + 1/4*x**4 + x**2. Does 33 divide w(-10)?
False
Let b(n) = -58*n + 37. Let o be b(-5). Suppose -2*z + 3*g + o = 0, 5*z - 1387 = 2*g - 553. Is 21 a factor of z?
True
Suppose 52715 = -448*v + 487*v - 190528. Does 77 divide v?
True
Suppose 102*f = 98*f + 4*z + 92, z + 59 = 3*f. Is 11 a factor of 1191/f - (-1)/(-6)?
True
Let z be (7488/(-960))/((-1)/45). Suppose 5 = 5*o - 20. Suppose -39 - z = -o*a. Is a a multiple of 12?
False
Let d = 11887 + 393. Does 92 divide d?
False
Suppose 22 = 2*o - 14. Let h = -19 - -19. Let f = h + o. Is f a multiple of 3?
True
Let p(w) = -2*w**3 - 3*w + 22. Let d be p(6). Let f be (2 - d/4)/((-3)/3). Let y = 101 - f. Is 33 a factor of y?
False
Suppose -83217 = -7*u + 3*f, 5*u = -4*f + 66142 - 6689. Is 80 a factor of u?
False
Let p(w) = -3*w - 93. Let c be p(-24). Suppose 0 = 6*x - 10*x + 640. Let t = c + x. Does 11 divide t?
False
Suppose 0 = r + 3*a - 8*a, 5*r - 2*a = 0. Suppose -4*n - 3*m + 491 = r, m + 243 + 385 = 5*n. Does 12 divide n?
False
Let d(n) = 9*n**2 - 2*n - 29. Let f be d(-15). Let b = f + -1406. Does 25 divide b?
False
Let v = -12969 + 22064. Is v a multiple of 107?
True
Suppose 6*z = 180 + 444. Suppose 3*g = -g + z. Does 7 divide g?
False
Is (171*-1)/(-5 - 546/(-112)) a multiple of 6?
True
Let x(w) be the third derivative of 17*w**5/60 + w**4/8 + 4*w**3/3 + 22*w**2. Let q be x(8). Is 14 a factor of ((12/(-5))/(-3))/(4/q)?
True
Let h = -571 + 392. Let b be h + (-1)/(1/(-1)). Let u = -115 - b. Is 7 a factor of u?
True
Let n = 700 - 695. Suppose n*i - 15 - 60 = 4*r, 5*r = -5*i + 120. Does 19 divide i?
True
Let j(i) = -22*i + 197. Let z be j(-10). Suppose 3*d - z = -210. Does 10 divide d?
False
Let m(l) = -l**2 - 3*l + 65. Let t be m(-19). Let n = -170 - t. Is 13 a factor of n?
False
Is (-373265)/(-35) - (-15)/(-21) a multiple of 111?
False
Suppose -2*y + 3*r - 37 = -15, 20 = 5*r. Is 9 a factor of ((-669)/(-6) + y)*2?
False
Let u(k) = 491*k**2 - 3*k + 24. Let f be u(-4). Suppose 15*a - f = -1592. Does 12 divide a?
True
Is (14/4 - 3)*(-2010250)/(-85) a multiple of 129?
False
Suppose 2*z + 91 = 501. Suppose g = 3*i + z, 7*g + 4*i - 420 = 5*g. Is 4 a factor of g?
True
Let b = 47 - -33. Suppose 0 = 6*f - b - 58. Suppose o = 86 + f. Does 34 divide o?
False
Let g = 1298 - -12266. Is g a multiple of 52?
False
Suppose -9*f + u = -4*f - 23, -5*f - 5*u = -5. Suppose 8754 = f*m + 2462. Is 22 a factor of m?
False
Suppose k - 34 = -34. Let j be (9/(-2))/((-1)/6) - k. Does 12 divide (-6)/j + (-4)/(108/(-1437))?
False
Let h(i) = 3 + 140*i**2 + 4 - 5*i + 3 - 5. Is h(2) a multiple of 67?
False
Let m(j) be the first derivative of 5*j**2/2 + 156*j + 9. Is m(0) a multiple of 26?
True
Is 13 a factor of (116 - 792)/((-6)/15 - 0)?
True
Let a be 10/(-15)*2/((-4)/6). Let d be a/(-4) - (-107)/(-2). Let i = 89 + d. Does 3 divide i?
False
Suppose -16*y + 93694 = -c, -5*y + c + 30922 = 1644. Is 8 a factor of y?
True
Suppose -4*n = -5*u + 13, n + 3*u - 10 = 8. Let p(s) = 15*s**2 + 2*s - 3. Let j be p(n). Is 6 a factor of (0 + j/8)*(-40)/(-15)?
False
Let u(v) = v**2 - 12*v - 57. Does 10 divide u(67)?
False
Let n(i) = i**3 + 3*i**2 + 4*i + 1. Let g be n(-2). Let j be 105/9 - g/9. Suppose 336 = -j*b + 1248. Is b a multiple of 14?
False
Does 13 divide -3 + 283944/60 + (-9)/(-15)?
False
Let c = -4034 + 13706. Is c a multiple of 12?
True
Let n(r) = 212*r**2 - 39*r - 284. Is 13 a factor of n(-7)?
False
Suppose -13 = -3*p + 20. Suppose 14*v = p*v + 9. Is (v + -2)*21*2 a multiple of 21?
True
Let w = 7055 + -5136. Is 19 a factor of w?
True
Let l(m) = 3*m**2 - 13*m - 11. Let p(k) = -3*k**2 + 13*k + 10. Let z(t) = 4*l(t) + 3*p(t). Is z(17) a multiple of 31?
False
Suppose 2693 = 25*v - 27382. Does 3 divide v?
True
Let a(c) = 5928*c**3 + c**2 - 2*c + 1. Let u be a(1). Suppose -f = 7*f - u. Does 39 divide f?
True
Let q be (-78)/4*(-2 - 0). Suppose -3*p + q = -186. Suppose d - 2*d + p = -2*h, -3*h = d - 70. Does 21 divide d?
False
Let a be 2911/4 - 132/176. Is (a/2)/(-3 + (-14)/(-4)) a multiple of 33?
False
Let z be (3/(-2))/((-2)/44 + 0). Let f = -29 + z. Suppose f*n - 194 - 274 = 0. Is 39 a factor of n?
True
Let a(p) be the third derivative of -193*p**4/12 + 2*p**3 - 42*p**2. Is 22 a factor of a(-1)?
False
Suppose -d + 3*r = -48,