a be h(2). Is 19 a factor of r(a)?
False
Let n(w) = -w. Let s(o) = 5*o + 17. Let p(x) = x. Let y be p(1). Let g(u) = y*s(u) + 4*n(u). Does 4 divide g(0)?
False
Let u(y) be the second derivative of y**4/12 - 13*y**3/6 + y**2/2 - 3*y. Let x be u(12). Let n = -6 - x. Does 5 divide n?
True
Is (-51 + 23)/((4/(-19))/2) a multiple of 38?
True
Suppose 0 = 5*g - 2*g. Suppose i + 3*w + 10 = -g*i, 5*i = -2*w + 2. Let a(x) = 7*x**2 - 4*x + 3. Is a(i) a multiple of 10?
False
Let p be (-6)/(-6)*(-22 - -1). Let b = 15 + p. Let f = b + 8. Does 2 divide f?
True
Does 14 divide ((-1)/((-1)/2))/((-28)/(-518))?
False
Suppose 3*u + 2*k - 9 = 0, 4*u - 23 = k - 0*k. Suppose u*d + 3*b = -0*d + 164, -2*b - 38 = -d. Does 9 divide d?
False
Let a = 1190 - 221. Is a a multiple of 14?
False
Let k(j) = -j**3 - j**2 + 5*j + 4. Let z be k(5). Let q(r) = -r**2 + 15*r - 55. Let f be q(10). Is (-44)/(-55) + z/f a multiple of 8?
False
Suppose -4*s - 6036 = -8*s. Does 54 divide s?
False
Let r be (-16)/(((-36)/8)/9). Suppose -2*a - 3*b + r = 0, -5*a = -b - b - 42. Is a a multiple of 5?
True
Let r be 2/(-10) + (-232)/40. Let v(w) be the second derivative of -w**4/12 - 4*w**3/3 - 9*w**2/2 + w. Does 3 divide v(r)?
True
Let k(h) = -39*h + 528. Is 8 a factor of k(-8)?
True
Let q(d) = 8*d**2 + 5*d + 3. Let y be q(-3). Is 2/15 + 1492/y a multiple of 23?
False
Does 6 divide 0/9 - -37 - (-3 - 1)?
False
Let f be -6*96/15 - 8/(-20). Let s = f - -109. Is 11 a factor of s?
False
Let s(o) = -o**2 + 12*o + 12. Let u be s(13). Let r = 5 - u. Is r even?
True
Let z(i) = -11 + 3 + 2*i**2 + i**2. Does 19 divide z(-3)?
True
Let f = 1727 - 327. Is f a multiple of 11?
False
Let v(c) = -208*c**2 + c + 1. Let n be v(-1). Let m = n - -431. Is m a multiple of 47?
False
Suppose 0 = -4*q - q, r + 4*q = 638. Let j = -318 + r. Does 16 divide j?
True
Suppose -144 = 5*l - 7*l. Let j = 139 - l. Suppose -29 = -2*b + j. Does 16 divide b?
True
Let n = 6 + -4. Let m = 2 + n. Suppose 26 = 2*q + 3*i + 4, q - m*i + 11 = 0. Is q a multiple of 5?
True
Let u be (-103)/(-6) - (-1)/(-6). Let a = u - 1. Is 4 a factor of a?
True
Suppose 26*h - 112 = 22*h. Does 14 divide h?
True
Let a = -6065 - -11543. Is 48 a factor of a?
False
Let k(v) = 4*v - 5. Let j be k(2). Suppose j*m = 7*m - 160. Is 5 a factor of m?
True
Let u(h) = h**2 - 9*h + 9. Let r(p) = p**3 - 4*p**2 - p. Let y be r(2). Is u(y) a multiple of 13?
False
Let l(q) be the third derivative of q**5/60 + 7*q**4/12 + 25*q**3/6 + 26*q**2. Is l(-13) a multiple of 12?
True
Suppose 3*w + 0 = 12. Suppose 0 = 7*u + w*u - 3036. Does 37 divide u?
False
Let z(i) = 57*i - 41. Does 6 divide z(11)?
False
Let q be (-184)/20*(-1 - 4). Suppose 14*a + q = 16*a. Is 23 a factor of a?
True
Let g = 8 - -6. Let z = -6 + g. Suppose -12*j = -z*j - 96. Is 12 a factor of j?
True
Suppose 3*q + q - 3*p = 768, 0 = -2*p. Suppose -5*t - 448 = q. Let g = 184 + t. Does 28 divide g?
True
Suppose 5*c = -x - 15 + 3, -8 = c + 3*x. Is 9 a factor of (-128)/c*(-30)/(-20)?
False
Let w = -1942 - -2280. Does 7 divide w?
False
Suppose -3*x = 4*x + 238. Suppose -6*n + 3*h = -10*n - 87, 0 = 4*n - 4*h + 52. Let l = n - x. Is l a multiple of 16?
True
Let r(w) = 3*w - 7. Let v(d) = -3*d + 7. Let n(c) = 2*r(c) + 3*v(c). Let l be n(5). Is 60*(l/6 - -2) a multiple of 8?
True
Let d(w) = 0*w**2 - 2*w**3 + 8 + 3*w**3 + 12*w**2 - 2*w + 0*w. Is 8 a factor of d(-12)?
True
Let i(r) = -13*r + 3*r + 38*r**2 - 39*r**2 - 7 - 4*r. Let k(o) = -o**2 - o + 5. Let z be k(-4). Is i(z) a multiple of 21?
True
Let v(c) = 2*c - 1. Let k be v(4). Suppose -k*b + 14 = -2*b + 2*q, 5*q = 3*b + 4. Suppose 5*t - 636 = -4*i, b*t = 3*i - i + 258. Is 40 a factor of t?
False
Let v(y) = -43*y**3 + 6*y**2 - 6*y - 5. Let z(g) = -14*g**3 + 2*g**2 - 2*g - 2. Let c(q) = -3*v(q) + 8*z(q). Does 10 divide c(2)?
False
Suppose 13*c - 5 + 31 = 0. Is c + 7/4 - 2884/(-16) a multiple of 9?
True
Let z = -314 + 1088. Is 18 a factor of z?
True
Is (-45)/(-75) - (-28020)/50 a multiple of 23?
False
Let l(k) = -7 + 10*k + 6 - 2*k**2 + 4. Let i be l(5). Suppose -4*v - s + 41 = 0, -12 - 3 = -i*s. Is v a multiple of 9?
True
Suppose x = -3*w - 2*x + 6, 0 = -4*x. Suppose 54 + 30 = w*a. Is 6 a factor of a?
True
Suppose -6*w + 12 = -2*w. Let h = 15 + -13. Is 5 a factor of (h/3)/(w/90)?
True
Let f(c) = c**2 - 13*c + 17. Let l be f(12). Suppose -199 + 29 = l*p. Is (p/10)/(4/(-20)) a multiple of 7?
False
Let d = -2 - 1. Let u(r) = -r**2 - 1. Let q(l) = -l**3 + 5*l + 1. Let z(j) = q(j) - 2*u(j). Is 33 a factor of z(d)?
True
Let h(a) be the second derivative of a**4/12 - a**3/3 + a**2 + 3*a. Let t be h(2). Suppose 0 = -3*s - m + 29 + 30, -t*s - m + 39 = 0. Is 5 a factor of s?
True
Suppose 12*y - 20*y + 9992 = 0. Is 27 a factor of y?
False
Suppose 2*j + 124 = -180. Let n = -96 - j. Is n a multiple of 13?
False
Let f(i) = -36*i - 13. Is f(-1) a multiple of 7?
False
Let h(u) = -6 - u**3 + 2*u**3 + 5*u - 8*u + 10*u**2. Let t be h(-9). Suppose 5*s - t - 13 = 0. Is s a multiple of 18?
False
Suppose -10*f + 3520 = -0*f. Suppose 4*a - 96 = f. Is a a multiple of 14?
True
Let x(m) = -2*m + 7. Let f be x(6). Let o(c) = -c**3 - 5*c**2 - c + 1. Let d be o(f). Suppose n = -r - 0*n + 12, -3*r + d = -3*n. Is r a multiple of 3?
False
Suppose 8*o + 8 = 16. Is (-1 - o) + (-3 - -137) a multiple of 11?
True
Let y = -140 + 223. Suppose -4*f - 71 = 33. Let a = y + f. Does 19 divide a?
True
Does 22 divide -48*(3960/(-27))/4?
True
Let k(p) be the third derivative of 7*p**5/12 + p**4/4 - p**3/6 - 12*p**2. Does 47 divide k(-3)?
False
Suppose 0 = -3*s + 5*y + 5 + 22, 0 = -5*s - 3*y + 11. Let v(t) = 6*t**2 - 7*t + 6. Is v(s) a multiple of 25?
False
Let k = 243 + -213. Is k a multiple of 4?
False
Let t(r) = 141*r - 1. Is 34 a factor of t(3)?
False
Let x(l) be the second derivative of -2*l**3 + 29*l**2/2 - 17*l. Is 37 a factor of x(-9)?
False
Suppose 3*d = -2*d - 265. Let h = 78 + d. Is 15 a factor of h?
False
Let q(z) = 0 + 2*z + 3 - z**2 + 3. Let x(j) = j**2 - 3*j - 6. Let d(r) = -7*q(r) - 6*x(r). Is d(4) a multiple of 13?
True
Is 44 a factor of 1/(-3) + 18352/48?
False
Suppose -7*u + 11*u = 4*n + 368, 0 = -3*n - 6. Is u a multiple of 29?
False
Suppose 504 = -8*a + 16*a. Suppose 7*j - 931 = a. Is 12 a factor of j?
False
Let h = 10 + -18. Let k = h + 4. Let i = 38 + k. Does 17 divide i?
True
Let t = -9 + 13. Let u(p) = 3*p**2 - 2*p - 12. Let n be u(t). Suppose -n = 6*i - 208. Does 7 divide i?
False
Let z(v) = v**2 - 5*v + 6. Let i be z(5). Suppose -i*x + 135 = -x. Is 7 a factor of x?
False
Suppose 63*r + 5250 = 69*r. Is 13 a factor of r?
False
Let x(w) = -96*w + 156. Does 12 divide x(-28)?
True
Let x = -3000 + 3195. Is x a multiple of 8?
False
Let f be (0 - -2)*(-26)/4. Let o = 16 + f. Suppose -o*r + 61 = -92. Is r a multiple of 17?
True
Suppose 20 + 649 = 3*w. Suppose -3*a + w + 281 = 0. Does 45 divide a?
False
Let t(x) = -x**3 - 25*x**2 + 20*x - 105. Is t(-26) a multiple of 2?
False
Let n = -4 + 6. Suppose 8 + n = -3*q + 2*d, 14 = -5*q + 2*d. Does 4 divide (-2)/q - 3 - -7?
False
Let m(u) = 433*u - 4. Is 39 a factor of m(1)?
True
Suppose -2*z + 58 + 20 = 0. Is z a multiple of 39?
True
Suppose 4*m + 4*y = 1712, 0 = 5*m + y - 4*y - 2108. Is m a multiple of 14?
False
Suppose 2*p - 6*p = 2*w + 20, -p = -5*w + 5. Suppose -v - 2*v + 3 = w, 2*a = -v + 91. Is 14 a factor of a?
False
Let k be (-10)/3*(-6)/5. Suppose 5 = -k*d + 353. Let c = -37 + d. Is c a multiple of 9?
False
Let v = -125 + -105. Let n = v - -324. Does 33 divide n?
False
Let t = 1 - -1. Suppose 4*g = t*a + 14, 0 = a - 2*a - 4*g + 17. Let q = 14 + a. Is q a multiple of 11?
False
Suppose -4*p - 5*z = -998, -2*p + 8*z + 514 = 3*z. Is p a multiple of 18?
True
Suppose 150 = -5*a - m - 121, 0 = -4*a - 2*m - 218. Suppose 4*v = 7*v + 99. Let z = v - a. Is z a multiple of 7?
True
Let m be 3 + 10 - (-2 - -1). Suppose 17*z - m*z = 288. Does 17 divide z?
False
Let k = -83 + 87. Is 114 + 0*(-3 + 2)/k a multiple of 19?
True
Let z be 7 - 1*(-4 + 6). Suppose z*g = 470 + 30. Suppose -i + 4*i - g = -o, -196 = -2*o - 5*i. Is 22 a factor of o?
True
Suppose -3816 = -6*r + 6546. Does 14 divide r?
False
Let p(f) = -2*f**2 + 4 + 0*f**2 - 4*f - f**3 - 3*f**2. Suppose -7*r - 8 = -5*r. Is 2 a factor of p(r)?
True
Does 5 divide 2830/(-9 - -14) - -2?
False
Let g = -21 + 26. Suppose -3*