Let d(a) = 28*a + 865. Does 9 divide d(19)?
False
Let w be 8 + 62/(-8) - (-62)/8. Let c(t) = 6*t**2 - 36*t. Does 32 divide c(w)?
True
Let l be (26*-2)/(-2) + -1. Let u = 20 - l. Let b = u + 20. Is 14 a factor of b?
False
Let o(a) = -5*a + 14. Suppose -5*k = -12 - 18. Let w be o(k). Let r = w - -32. Is r a multiple of 16?
True
Let g = -17 + 158. Suppose 2*h = g - 23. Is 9 a factor of h?
False
Suppose 0 = -h + 3 + 1. Suppose 3*r - 4*r - h*o = 138, o - 1 = 0. Let c = -94 - r. Is 13 a factor of c?
False
Let s(n) = 3*n + 46. Let b be s(-12). Let w = 33 - b. Does 10 divide w?
False
Let f = 108 - 107. Does 11 divide (-170)/(f/2 + (-12)/8)?
False
Let j(d) be the second derivative of d**5/10 - 5*d**4/12 + d**3/2 + 4*d. Suppose -3*m - 2*m = 3*r - 19, 0 = 4*r + m - 14. Does 14 divide j(r)?
False
Let q be (15/(-9))/(524/264 - 2). Let f = -56 + q. Does 9 divide f?
True
Does 97 divide 9*-4*84*(-16)/72?
False
Suppose -27*j + 17595 = -18*j. Is 115 a factor of j?
True
Let i be 1 - (-4 + 1) - 13. Let n(d) = -2*d + 2. Let q(t) = t + 1. Let y(v) = n(v) - 3*q(v). Is y(i) a multiple of 18?
False
Let s be ((-2)/(-3))/((-2)/(-15)). Let i(z) = z**3 - 5*z**2 + 2*z - 6. Let l be i(s). Suppose 3*o - 34 = -4*x + l*o, 0 = -3*x - o + 29. Is 9 a factor of x?
True
Let n(j) = 100*j**3 + 1 + 0 + 2*j**2 - 95*j**3 + j. Is 17 a factor of n(2)?
True
Let j = -2553 + 3625. Is j a multiple of 28?
False
Let u(k) = -72*k**3 + 3*k**2 + 2*k. Let j be u(-1). Suppose 0 = 4*a - 2*w - 162, -4*w + j + 76 = 3*a. Is a a multiple of 14?
False
Let n(v) = v**3 + 6*v**2 - v - 3. Let i be n(-6). Let a(m) = 6*m**2 - 3*m + 7. Does 13 divide a(i)?
True
Suppose -3*h + 4*o - 5 = 0, -5 = 2*h - 3*h - 2*o. Let p be (-4)/(h*(-2 - -1)). Suppose m = -q + 11, -4*q - 5 = -p*m - 17. Is q a multiple of 3?
False
Let p(n) = n**2 + 124. Let m be p(0). Suppose -2*t - m = -3*t. Is t a multiple of 31?
True
Let t = 116 + -2. Let i(r) = 26*r - 8*r - 127 + t. Is i(8) a multiple of 31?
False
Let q = 432 + 202. Is 19 a factor of q?
False
Suppose 6 - 2 = 4*v. Let j(u) = -9*u. Let n(k) = 1. Let h(c) = v*j(c) + 3*n(c). Does 18 divide h(-4)?
False
Let f(d) = 7*d - 7. Let c be f(13). Suppose 0 = -2*u + c + 122. Does 15 divide u?
False
Let q(c) = 2*c + 3. Let n be q(0). Is 210/(-28)*(-26)/n a multiple of 36?
False
Let r = 10 - 5. Suppose 4*a - p = 2*p - 1, -3*a - r*p + 21 = 0. Suppose -w + 74 = a*w - 5*y, -2*w - 2*y + 28 = 0. Does 4 divide w?
False
Let j(s) = 20*s + 175. Is 41 a factor of j(27)?
False
Let o = -1446 - -2745. Is 25 a factor of o?
False
Suppose 15 = 5*m, -4*i + 2*m + 34 - 8 = 0. Let d be -2 + 0 + (i - 2). Suppose 10 + d = 7*r. Is r even?
True
Suppose j = -3, 5*j + 134 = 3*v + 5. Does 19 divide v?
True
Suppose -9*x + 5*x + 8 = 0. Suppose 55 - 15 = x*y. Does 8 divide y?
False
Let j(y) = -y**3 + 11*y**2 + 12*y - 21. Is 4 a factor of j(9)?
False
Let t(i) = i**3 - 7*i**2 + 7*i + 8. Let m be t(6). Does 24 divide ((-72)/m)/((-3)/56)?
True
Is 10 a factor of 0/(-15) - 10*-13?
True
Let i = 1252 - -239. Is i a multiple of 71?
True
Let w = -19 + 21. Let r be 9/w*(-6)/9. Is 21 a factor of (-2 + 0)*(r - 35)?
False
Let l(v) = -v**2 + 4*v + 2 - 5 + 3. Let u be l(4). Suppose u = 6*i - 2*i - 244. Does 17 divide i?
False
Suppose -4*d + 4 = 3*o - 4*o, 4*d - 24 = -4*o. Suppose 2*h - 59 = -d*h - i, -3*i + 27 = 2*h. Is h even?
False
Suppose 12 = 3*r - 0*r. Suppose -k + 92 = -d, -r*k - 6*d = -2*d - 336. Does 11 divide k?
True
Suppose 62 = w - 3. Suppose -4*p = g - w, -p - 4*p - 5 = 0. Suppose g = 7*o - 4*o. Is 8 a factor of o?
False
Let w = 120 + -145. Let v = 71 + -13. Let c = v + w. Is 11 a factor of c?
True
Suppose 2*t = -3*z + 400, z - 89 - 63 = 4*t. Is 36 a factor of z?
False
Is (-3528)/(-15) - 14/70 a multiple of 47?
True
Let p(b) = -94*b**3 - b**2 - 10*b - 33. Is 115 a factor of p(-3)?
False
Suppose -9*o + 9 = -6*o. Is 11 a factor of (o/1)/(3/204*6)?
False
Suppose -4*s + 3 = -7*s. Is 12 a factor of (18/63)/(s/(-77))?
False
Let i(p) = -2*p**3 - 4*p**2 - 12*p + 8. Is 23 a factor of i(-6)?
True
Suppose 5*k - 130 = 110. Suppose 4*h - 144 = k. Is 12 a factor of (-5)/((-15)/(-9)) + h?
False
Let r be 600/(0 - 6/(-32)). Is r/14 - (-24)/(-42) a multiple of 42?
False
Let f = -85 - -326. Is f a multiple of 2?
False
Suppose 21*b + 20*b = 4346. Is 38 a factor of b?
False
Let o = 19 - 16. Suppose a + 164 = o*a. Does 23 divide a?
False
Let o(a) = -2*a**3 + a + 4. Let g be o(0). Suppose -3*r + 4*r + j = 29, -g*r = -5*j - 152. Does 9 divide r?
False
Let d(a) = -7*a - 1. Let r be d(-1). Is ((-18)/1)/((-9)/r) a multiple of 6?
True
Suppose 4*q - 33 = 5*s, -3*q - q - 4*s = -60. Let p = q + 71. Suppose 0 = 3*r + 4*m + m - p, -104 = -4*r - 5*m. Does 13 divide r?
False
Suppose -3*f + 25 = 2*f. Let t(o) be the second derivative of 11*o**3/6 + 5*o**2/2 - 4*o. Is 14 a factor of t(f)?
False
Let n = -41 - -45. Suppose 3*g + 0*j - n*j = 92, -124 = -3*g - 4*j. Is g a multiple of 4?
True
Is 13 a factor of (2355/20 - 3) + (-3)/(-12)?
False
Suppose -5*o - 2*t = -632, -1 = -2*t + 1. Is o even?
True
Let q be (-5)/(-1)*(-13)/(130/(-12)). Is 49 a factor of q/8 - 1602/(-8)?
False
Let f(o) = -11*o + 22. Let a be f(-11). Let d be 2/((-4)/(-2)) + a. Suppose -y + d = y. Is y a multiple of 24?
True
Suppose 2*m + 2*m + 26 = x, -3*x - m = -13. Does 65 divide x/(-21) + 0 - (-914)/14?
True
Suppose 5*q + 0*q = -20. Does 21 divide (4/10)/(q/(-940))?
False
Suppose -4 = d - 13. Let g(c) = c**2 + 7*c - 1. Is 41 a factor of g(d)?
False
Let p = -1564 - -2833. Is p a multiple of 27?
True
Suppose v = z + 3*v - 14, 0 = -5*z - 3*v + 42. Let u be 6/15 - z/15. Suppose u*b - 4*s = -3*b + 28, 5*s = 4*b - 38. Is 12 a factor of b?
True
Let i = 121 - 84. Suppose -84 = -2*u - 4*g, u + 3*g = -0*g + i. Is 6 a factor of u?
False
Suppose 0 = 14*s - 86188 + 32372. Is 99 a factor of s?
False
Let a(f) = -f**2 + 78*f + 85. Is a(44) a multiple of 31?
True
Let t(o) = 4*o**2 + 4*o - 8. Let m be t(8). Suppose -8*p = -12*p + m. Let a = p - 33. Is a a multiple of 13?
False
Suppose 4*r - 3912 = -240. Is r a multiple of 11?
False
Let y = 5486 + -3572. Is y a multiple of 29?
True
Let o(w) = 37*w - 27. Does 18 divide o(8)?
False
Suppose 0 = 3*z - 7*r + 2*r + 70, 2*r - 123 = 5*z. Let p = -1 - z. Is 6 a factor of p?
True
Is 0 - (-3891)/9 - (-21)/(-63) a multiple of 18?
True
Suppose -3*f + 24 - 15 = 0. Suppose f*k = 5 + 22. Is k a multiple of 2?
False
Let f(d) = 29*d**2 - 4*d - 3. Let a be f(-3). Suppose -132 = -2*v + z, 3*v + v = 5*z + a. Is v a multiple of 13?
True
Let w(u) = 16*u**2 - 13. Suppose -y - 2*g + 17 = 6, -2*g = -4*y + 4. Does 13 divide w(y)?
False
Let s(j) = j**3 + 45. Let k be 0/((-3)/(-9) + (-10)/(-6)). Is 5 a factor of s(k)?
True
Let z(l) = 5*l - 7 - 1 + 35*l - 10*l. Is 16 a factor of z(4)?
True
Suppose 2*q - 16 = -4*m, 0 = 5*q - 4*m - 1 - 11. Let o(s) = 5*s + 5. Let u be o(q). Let b = u + 43. Is 19 a factor of b?
False
Let q(z) = 3. Let o(b) = -b + 3. Let l(j) = 4*o(j) - 5*q(j). Let a(v) = 24*v + 17. Let r(u) = -6*a(u) - 34*l(u). Is r(-3) a multiple of 12?
True
Let a be 8/8 - 6/(-2). Suppose -a*z = -0*z - 444. Does 21 divide z?
False
Suppose 43*y = 44*y - 225. Does 24 divide y?
False
Suppose -274*m + 1458 = -268*m. Does 81 divide m?
True
Let p(o) be the third derivative of o**6/120 - o**5/10 - 5*o**4/24 - 7*o**3/3 - 5*o**2. Let l be p(7). Is 32 a factor of (32 + l)*(11 - 7)?
True
Let a(l) = -24*l + 12. Let w be a(-7). Suppose -w = -9*o + 1278. Is 15 a factor of o?
False
Suppose -16*s + 18*s - 2268 = 0. Does 27 divide s?
True
Suppose -24*c + 132 = -27*c. Is 13 a factor of (-4215)/(-12) - (-11)/c?
True
Suppose -2*b - 26 = -4*q, 3*b = 4*q - 31 + 2. Let k be (-1)/((-2)/10) - 0. Suppose -q*z + 4*f = -198, k*z = -0*z + 2*f + 204. Is 16 a factor of z?
False
Let f(j) = -j**3 - 7*j**2 - 8*j - 8. Let t be f(-6). Suppose -4*w + 71 = -5*x, w - 90 = -t*w + 5*x. Let o = w - 14. Is o a multiple of 2?
False
Let i = -1 - -21. Suppose -h + t = -3*h - 108, i = -5*t. Let u = 99 + h. Does 10 divide u?
False
Suppose 5*p = 0, -97 = -2*g + 2*p + 111. Does 31 divide g?
False
Let g = 6 + -1. Suppose g*h - 10 = 20. Let f = h - -8. Does 7 divide f?
True
Let j(n) = n**3 + 7*n**2 + 2. Let z be j(-7). Suppose p - z*g - 21 = 0, 0*g = 4*p + g - 84. Is p a multiple of 7?
True
Let n = 2407 - 1015. Does 34 divide n?
False
Let d = -37