?
False
Does 15 divide (8 - -1)*1280/192?
True
Is (-100)/(-125)*((-719)/(-4) + (-2)/(-8)) a multiple of 24?
True
Let s(c) = 997*c - 1897. Does 19 divide s(6)?
True
Let n = 2081 + -110. Does 12 divide n?
False
Let z be (1 + 9)*(77/22 - 3). Suppose -z*i - 3*c = -1191, -2*i - c = -6*i + 963. Does 80 divide i?
True
Let p be 34/(-85)*(-1 + 6). Let j be (826/21)/(p/(-3)). Suppose -j - 145 = -d. Is d a multiple of 15?
False
Suppose 2*u = 26600 + 12064. Is 12 a factor of u?
True
Let m(y) = -8*y**3 - 4*y**2 - 2*y - 2. Let t be m(-3). Suppose 12*p + 4 = -8. Does 8 divide -2 + 4 - p - t/(-4)?
False
Let k = -34 + 39. Suppose c - 124 = 3*g, 4*g - 175 = 5*c - 751. Suppose 0*m + 5*m + 5 = 0, i + k*m = c. Does 18 divide i?
False
Suppose 284 = 2*f + 4*w, 2*f - 200 - 116 = 4*w. Suppose -36*l + 30*l + f = 0. Suppose -7 = 24*c - l*c. Is 4 a factor of c?
False
Let n(q) = 3*q**2 - 18*q - 757. Is 11 a factor of n(37)?
True
Let n(y) = -y**2 - 15*y + 6. Let h(i) = -17*i + 23. Let p(k) = -9*k + 11. Let c(s) = 6*h(s) - 13*p(s). Let x(q) = -2*c(q) - 3*n(q). Is x(-8) a multiple of 16?
True
Let j = -4873 + 37257. Is j a multiple of 128?
True
Suppose -11*j - 1000 = -3*w - 10*j, 0 = 5*w - j - 1670. Let p(h) = -h**3 + 5*h**2 - 11*h + 5. Let r be p(7). Let d = w + r. Is 33 a factor of d?
True
Let c(w) = -12*w - 6. Let q(u) = -u**3 - 3*u**2 - 2*u - 2. Let a be (-2)/(((-16)/(-4))/4). Let o be q(a). Does 4 divide c(o)?
False
Let u(j) = 4*j + 147. Suppose 15*n + 184 = 7*n. Is u(n) a multiple of 6?
False
Let s be (-1)/3*(-23)/((-414)/(-162)). Suppose 0*h + s*h = 411. Is h a multiple of 9?
False
Let h(u) = -u**2 + 23*u + 12. Suppose 10*w - 215 = 15. Let z be h(w). Does 33 divide 3/9 + (-1186)/z*-2?
True
Suppose -8*g = 4*y - 10*g - 40730, -2*g + 40742 = 4*y. Is 38 a factor of y?
True
Let h(u) = -u**3 + 12*u**2 + 21*u. Let c(b) = -b**3 + 3*b**2 + b. Let p(y) = -2*c(y) - h(y). Is p(10) a multiple of 86?
False
Let u be 4/(-18) + 372/(-27). Let l = -1066 + 1060. Does 42 divide ((11 - 2)*u)/(l/8)?
True
Let u = -4 - -13. Let p(z) = -8*z**2 - 440*z + 2*z**3 + 11 - z**3 + 432*z. Does 20 divide p(u)?
True
Let l = 28 + -31. Let a be (69/(-4))/(l/8). Suppose 5*o + 3*z = a, 0*o = 4*o + 4*z - 40. Is 8 a factor of o?
True
Is 17 a factor of -11 + 243/18 - 507940/(-40)?
False
Let k(b) = 37*b**3 - 10*b**2 - 28*b - 80. Let c(t) = 17*t**3 - 4*t**2 - 13*t - 39. Let h(r) = 13*c(r) - 6*k(r). Let u = -8 - -15. Does 15 divide h(u)?
True
Is 15 a factor of (-2773752)/(-423) + (-2)/(-3)?
False
Let g = 104 + -98. Suppose g*a - 209 - 583 = 0. Is a a multiple of 12?
True
Suppose 0*m + 3*b - 19 = -m, 4*m - b = 11. Suppose -m*a + 1876 = 4*t, 2*a - 1214 = -3*t - 279. Does 59 divide a?
True
Let p(u) = 21*u - 1. Let j be (-5)/(-2)*(-12)/(-10). Suppose -5*t + 14 = 4*i, -j*i - 4*t = -8*i - 3. Is p(i) a multiple of 5?
True
Let y(z) = z**3 - 8*z**2 + 5*z - 7. Let p be y(6). Let g = 63 + p. Is 13 a factor of g/((20/16)/5)?
False
Suppose -86*v = -154*v - 189*v + 4979375. Is 17 a factor of v?
False
Let j = 42 - 102. Let w = j + 64. Suppose 160 = 4*z + w*y, 3*z - 172 = -z + 2*y. Is z a multiple of 14?
True
Let h = 16512 - 11005. Is 8 a factor of h?
False
Let g(d) = 2*d**3 + 26*d**2 + 27*d + 42. Let f be g(-12). Suppose 0 = -f*t + 1244 + 166. Is 5 a factor of t?
True
Suppose 68 = v + 3*m, -5*v + v + 4*m + 240 = 0. Let a be (-15428)/(-348) - 1/3. Suppose -6*g - a = -v. Is g a multiple of 2?
False
Let r be (-3 - -5) + -1 + 2. Let x be (4 + (3 - 5))*(-1 + r). Suppose x*l = 8, -g + l - 50 = -4*g. Does 4 divide g?
True
Suppose 4*r - 6*r = -12. Suppose 3*z = r*z - 6. Suppose 2 = z*y + 3*k - 17, -3*y + 32 = k. Does 11 divide y?
True
Suppose -12*w + 2*p = -407034, -23*w + 101766 = -20*w + 2*p. Is 20 a factor of w?
True
Let x(j) = 12*j - 4*j - 6 - 6 - 14. Let s be x(4). Is 4 a factor of 30 + s/3 - 0?
True
Let q be -1069*6/(-66) - 4/22. Let o be q + 4 + -3 + -2. Suppose -l + 4*v - o = -3*l, -5*l - v + 240 = 0. Is l a multiple of 10?
False
Let b = 2 - 8. Let w(k) be the third derivative of -k**6/120 - 7*k**5/60 - 13*k**4/24 + k**3 + 944*k**2. Is 42 a factor of w(b)?
False
Suppose -24*q - 14469 = -31*q. Is 53 a factor of q?
True
Suppose 2*a - 32*a + 4*a + 8112 = 0. Is a a multiple of 104?
True
Suppose -4*z = -20, 5*z - 13482 = -4*u - 2081. Is u a multiple of 3?
True
Suppose -11 = 4*c - 19. Suppose c*b - 2 = 12. Does 17 divide 4 - b - -23 - 3?
True
Let u = -8723 + 22249. Does 16 divide u?
False
Let g(x) = -x**3 + 20*x**2 - 32*x - 39. Let t be g(17). Suppose 4*r + 5*d - 1679 + 499 = 0, -t = -r - 4*d. Is 50 a factor of r?
True
Let y = 14709 + -13836. Does 3 divide y?
True
Let g(s) = 38*s**2 + 3*s + 3. Let a be g(-1). Suppose 0 = -3*u + 2*i - 19, 3*i = -2*u - a + 8. Is (u/6)/1 - 221/(-2) a multiple of 10?
False
Let o(t) = 87*t - 1829. Is o(44) a multiple of 22?
False
Let q(i) = 2*i**2 - 38*i + 33. Is 43 a factor of q(-28)?
False
Let z = 478 + -456. Suppose -4*s = -9*s + 20. Suppose -s*p = z - 98. Is p a multiple of 3?
False
Let h(l) = 2*l**3 + 5*l**2 + 66*l - 397. Is h(6) a multiple of 13?
True
Suppose -4513 = -4*w - 5*g, 2*w + g - 572 = 1683. Is w a multiple of 49?
True
Is 141 a factor of (0/(-59) - (-5)/1) + 15505?
True
Let f be 5/(135/2424) + 8/36. Suppose u = 4*u - f. Is 3 a factor of u?
True
Let l(o) be the third derivative of o**5/10 - 13*o**4/24 + 8*o**3 + 172*o**2. Is 7 a factor of l(6)?
False
Suppose 12*k = 8*k + 2028. Let l be 6/(-8) + k/(-12) - -3. Let u = 45 + l. Does 5 divide u?
True
Let c(b) = -b**3 + 5*b**2 + 5*b - 8. Let l be c(4). Suppose -2*z = 5*z - l. Suppose 0 = -2*q + 2*m + 216, 0 = -3*q + z*q - 2*m - 108. Is q a multiple of 27?
True
Let r = -5065 + 19888. Is 183 a factor of r?
True
Let t be (-48)/(-112) + (-11)/(-7). Suppose -h = t*f - 3*h + 26, f = -2*h - 28. Let j(q) = q**3 + 18*q**2 - 7*q - 12. Is j(f) a multiple of 22?
False
Suppose -k + 2 = 3*s, -3*k - 4*s + 46 = -5*s. Suppose 2*o - 2*j - 1700 = 0, -k*j = -5*o - 10*j + 4248. Is 16 a factor of o?
True
Let t(s) = 6*s**2 + 117*s - 14. Is t(-42) a multiple of 27?
False
Suppose 6*d - 12026 = d - 3*i, 3*i - 2398 = -d. Does 158 divide d?
False
Suppose 8 = -3*s + 7*s. Suppose -44 + 0 = s*n. Let y = 51 + n. Is 6 a factor of y?
False
Let p(r) = r**3 - 42*r**2 + 49*r - 74. Is 11 a factor of p(44)?
False
Let r(a) = a**2 - 97*a + 1522. Is 3 a factor of r(115)?
False
Suppose c = 3*k + 22693, c - 8306 = -3*k + 14399. Is 57 a factor of c?
False
Let x(g) be the third derivative of -g**5/60 + 17*g**4/12 + 23*g**3/6 + 120*g**2 + g. Does 31 divide x(25)?
True
Let w(r) = -3*r - 11*r - 152 + r**2 - r + 0*r + 38. Is w(-6) a multiple of 4?
True
Let c(p) = 33*p**2 - 111*p + 885. Does 23 divide c(34)?
True
Let a(l) = l**3 + 15*l**2 + 11*l + 3. Let r(i) = 2*i**2 - 20*i + 18. Suppose 71 = 9*t - 1. Let o be r(t). Is 45 a factor of a(o)?
True
Suppose -s = x - 5716, -4*x - x + 4*s = -28562. Is 74 a factor of x?
False
Let b = 1340 + -508. Suppose -2*c + b = l, 423 = -13*c + 14*c + 4*l. Is 12 a factor of c?
False
Let g(p) = 9*p - 22. Let f be g(10). Is 13 a factor of (-3506)/(-34) + (48/f)/(-6)?
False
Let q = 8381 - -11275. Is q a multiple of 27?
True
Suppose -19*n - i = -18*n - 28, 36 = n - i. Suppose -h + 15 = -6*h. Let s = n - h. Does 35 divide s?
True
Let u(q) = -119*q**3 - 5*q**2 - 8*q - 11. Let o be u(-2). Let y = -530 + o. Does 11 divide y?
True
Is 30 a factor of 1106/(-4)*((-4334)/42 - 110/(-330))?
True
Let y(u) = 1 + u**2 + 0*u - 21 + 2*u. Let b be y(-6). Suppose 19 = -b*n + 115. Does 5 divide n?
False
Let u be 1 + (-13)/(26/24). Let m = -6 - u. Let z = 13 + m. Does 18 divide z?
True
Suppose 165*j - 13296 = 162*j + 3*n, 0 = 3*n - 3. Is j a multiple of 13?
True
Let j = 41 + -41. Suppose 5*g - 99 - 461 = j. Suppose 22 = q - g. Is 16 a factor of q?
False
Suppose -p + 15695 = -4*a + 3*a, 0 = -5*p - 4*a + 78502. Is 47 a factor of p?
True
Let c be (18/(-5))/((-20)/150). Let l(f) = 3*f + 101. Let u be l(3). Let n = c + u. Does 19 divide n?
False
Suppose -d - 9*d + 13840 = 0. Suppose -9*f = -340 + d. Is 6 a factor of (4 + f/16)*-4?
False
Let o(l) = 4*l**3 - 2*l**2 - 2*l - 5. Let b be o(-2). Let t = b - -585. Is 16 a factor of t?
True
Let u = -161 - -203. Suppose 25*p = u*p - 1360. Does 8 divide p?
True
Let r be 3 - (-4)/3*507/26. Let o(n) = 27*n + 84. Is o(r) a multiple of 37?
False
Let f = 