). Let i = -66 - m. Does 12 divide i?
False
Let m = 15 + -10. Suppose 3*a + 0 - 24 = 3*b, -m*b - 5 = 0. Is 7 a factor of a?
True
Suppose 0 = 2*s - 0*s - 16. Is (-1 - -5)*18/s a multiple of 6?
False
Let i(r) = -4*r**2 - 2*r + 2. Let h be i(-2). Let d be h/4*24/(-15). Suppose -d*m + 2*g + 56 = -2*g, -g = 3*m - 30. Is m a multiple of 11?
True
Let k = -63 - -83. Does 20 divide k?
True
Suppose n - 2*w - 15 = 0, 2*w - 7 = -n + 16. Suppose -5*a = l + 3*l + 8, 3*a + 3*l = -3. Let v = a + n. Is v a multiple of 8?
False
Let d be (-14)/(-5) - 2/(-10). Suppose -c - 53 - 252 = 5*i, 2*i + 135 = -d*c. Let x = 86 + i. Is x a multiple of 13?
True
Suppose 0*v - 24 = -3*l + 4*v, -5*v + 1 = 4*l. Suppose -23 + 3 = -l*b. Suppose -4*n - 3*d = -25, b = n + d - 1. Is 4 a factor of n?
False
Let v(y) = -y**3 + 4*y**2 - 3*y + 8. Let o be v(4). Is 7 a factor of ((-56)/(-12))/(o/(-6))?
True
Suppose 0 = -7*x - 44 + 142. Does 5 divide x?
False
Let y(r) = 6*r**2 + 2*r - 2. Let h = -2 - 0. Does 9 divide y(h)?
True
Let z = -21 + 4. Let k = z + 33. Does 8 divide k?
True
Suppose -5 - 7 = 2*q. Let v = q + 14. Does 3 divide v?
False
Let n(p) = 9*p**2 - p - 1. Let w = 21 - 4. Suppose -5*t + 52 = -5*u + w, 3*t + 9 = -3*u. Does 15 divide n(t)?
False
Let j be 1/2 - 2/(-4). Is (292/(-12))/(j/(-3)) a multiple of 19?
False
Suppose 5*n - 115 = -2*t - 2*t, -2*t = 4*n - 62. Is 10 a factor of t?
False
Is 16/3*150/20 a multiple of 18?
False
Suppose 35 + 6 = o. Does 41 divide o?
True
Suppose 5*j = -0*f + 3*f + 140, 4*j + 4*f = 112. Suppose -5*i = 2*h - 81, -2*i - 3*h + j = -0*i. Let b = -8 + i. Is b a multiple of 7?
False
Let z be (46/4)/((-3)/(-6)). Suppose 5*c - g = 15, 2*c - g - 6 = -4*g. Suppose 4*q - z = -c. Does 5 divide q?
True
Let v = 19 + -13. Let f be 92 + (-3 - (-4 + -1)). Suppose -4*o - 4*x + 72 = 0, -o + 3*x = -v*o + f. Is o a multiple of 11?
False
Suppose -5 + 41 = -3*y. Is 3 + -3 - (y + 4) a multiple of 4?
True
Let r(f) = 14*f - 5. Let h be r(4). Let y = h + 18. Is y a multiple of 21?
False
Let i(s) = 2*s**2 + 10*s. Is i(-9) a multiple of 9?
True
Suppose 3*j + 294 = 3*r, 5*r - 450 = -0*j - 5*j. Let c = 132 - r. Is c a multiple of 14?
False
Let s(j) = 8*j + 0*j**2 + 7*j**2 - 10*j. Is 12 a factor of s(2)?
True
Let n(f) = f**2 - 5*f + 4. Let a be n(5). Suppose 0 = 3*h - a*h - 31. Let g = h - -82. Does 23 divide g?
False
Let j = 9 - 13. Is 8 a factor of (-4*13)/j - -3?
True
Let u be (3/(0 + -1))/1. Let n be 7 - -3*u/9. Let v = n - 0. Does 6 divide v?
True
Let a be 15/6*8/10. Suppose 5*z - 6 = -p + 2*z, 5*p - 95 = -a*z. Does 7 divide p?
True
Suppose -s - f + 8 = 0, 4*s + 2*f - 21 = 21. Let d be (-1 + -7)*s/2. Let t = -26 - d. Is 13 a factor of t?
True
Let y(u) = u**3 - 9*u**2 + 9*u - 9. Let g be y(8). Let j(q) = -q - 3 - 4*q + 2. Is j(g) a multiple of 2?
True
Suppose -150 = -3*f + 39. Is f a multiple of 16?
False
Suppose 0*x - v = -3*x + 83, 3*v + 15 = 0. Is x a multiple of 10?
False
Suppose 11*d - 8*d = 168. Is d a multiple of 4?
True
Let i(j) = -j + 8. Does 2 divide i(4)?
True
Suppose -345 = -2*g - g. Suppose 4 - 27 = -d + 4*s, g = 5*d + 4*s. Let z = 40 - d. Is 7 a factor of z?
False
Suppose -215 = -5*q + 3*g, 2*g - 10 = 4*g. Suppose 3*c + 7*k - 3*k - 19 = 0, -4*c = -2*k - q. Is c + 0 + (1 - 2) a multiple of 4?
True
Is ((-26)/(-4))/(5/40) a multiple of 13?
True
Let g = -23 + 32. Is (-2)/g + 146/9 a multiple of 8?
True
Suppose 0 = -5*g + 2*b - b + 128, -3 = b. Is 5 a factor of g?
True
Suppose 0 = 4*i + 3*l - 198, 51 - 212 = -3*i + 4*l. Is i a multiple of 17?
True
Let l be (1/2)/((-6)/(-1128)). Suppose l = 3*o + 34. Does 18 divide o?
False
Suppose i + 3*l + 3 - 11 = 0, -5*l - 49 = -2*i. Does 6 divide i?
False
Let i = 14 - 43. Let b = -1 - i. Does 13 divide b?
False
Let t = -2 + 2. Suppose t = -w + 2 + 6. Suppose -18 = -2*l - w. Is 3 a factor of l?
False
Let j be 2/(-5) - (-17)/5. Suppose -3*d - 2*d = 2*l - 29, -j*d + 9 = -3*l. Does 3 divide d?
False
Let m = 59 + -29. Let l = m + -16. Does 4 divide l?
False
Let h(k) = 4*k. Let z be h(1). Suppose -f + 90 = z*f. Is f a multiple of 11?
False
Suppose 55 = h - 4*m, -5*h + 311 = -m - m. Is 3 a factor of h?
True
Let w = 45 - 22. Is w a multiple of 8?
False
Let d be (-53)/(-3) + 2/6. Let b be (-2)/(-4)*6 + d. Suppose n + a - 138 = -4*n, -n + 2*a + b = 0. Is 16 a factor of n?
False
Let j(k) = k**2 + 4*k + 3. Does 22 divide j(-10)?
False
Suppose 3*t + 5*o - 17 - 84 = 0, 4*t - 104 = o. Suppose 0*g = 3*g. Suppose g*j = -j + t. Is 16 a factor of j?
False
Let u(a) = -11*a + 31. Does 15 divide u(-4)?
True
Suppose 0 = -y - 6*y + 931. Is 14 a factor of y?
False
Suppose 0 = -y - 5*i + 69 - 1, -2*i + 200 = 4*y. Suppose p - y = -0*p. Is p a multiple of 12?
True
Let y = -26 - -96. Is y a multiple of 45?
False
Let q = -5 + 10. Suppose 0 = -q*s - y + 78, y = -4*s - 0*s + 63. Is s a multiple of 6?
False
Let h(b) = b**2 - 3*b + 1. Let d be h(4). Let p = 1 + -1. Suppose p = d*i - 4*c - 149, 0 = 4*c - 6*c + 8. Does 11 divide i?
True
Let a(u) = -u**3 + 6*u**2 + 2*u - 9. Let n(g) = -7*g**3 + 2*g + 1. Let m be n(-1). Is a(m) even?
False
Suppose -4 = 5*c + 2*g - 2, c + 2*g = 6. Let x be -3 - c - (-4 + 1). Is 7/x*2*2 a multiple of 6?
False
Let y = 5 - 1. Suppose -p - y*p + 4*f + 170 = 0, 0 = p + 5*f - 34. Does 17 divide p?
True
Does 5 divide 22*(-4 - 0)/(-4)?
False
Let z be 9/(-1 - (-13)/10). Suppose -5*m + 14 = -4*m - 3*t, -z = -3*m + 5*t. Suppose 3*v - 5*b - 6 = 0, -m*b = -4*v + 7 + 6. Is v a multiple of 7?
True
Let d = -8 + 10. Let o(m) = 4*m**3 - m**2 + 4*m - 3. Is 7 a factor of o(d)?
False
Suppose 7*c - 2*c - 2*z = -46, 5*c + 25 = -5*z. Let t(k) = k**2 + 4*k - 2. Is t(c) a multiple of 8?
False
Let j(s) be the third derivative of -s**6/120 + 7*s**5/60 - 7*s**4/24 - s**3/3 + 9*s**2. Does 18 divide j(4)?
True
Let f(q) = -3*q**2 + 4*q + 1. Let p(k) = 3*k**2 - 5*k - 1. Let l(n) = -6*f(n) - 5*p(n). Let r be l(1). Suppose 0 = r*h - 4*h + 32. Is 21 a factor of h?
False
Is 2 a factor of -1 + (2 - 2) + 6?
False
Let o(j) = 3*j**3 - j - 3 + j**3 - 5*j**3 - 5*j**2. Let w be o(-5). Suppose -3*i = w*s + 2*s - 43, -5*i + 25 = -5*s. Does 4 divide i?
False
Suppose q + 14 = -5. Suppose -3*v = -2*l + 83, -8*l + 5*v + 220 = -3*l. Let p = q + l. Does 15 divide p?
True
Let x be 15/(5/((-10)/(-9)) + -3). Let w be (603/2)/(6/(-8)). Is (-1)/5 - w/x a multiple of 20?
True
Let b(a) = -a**2 - 5*a + 2. Let g be b(-7). Is 10 a factor of 81/3 + g/(-4)?
True
Is 9 a factor of 105 - (-3 + 8 + -8)?
True
Is 24 - 4/12*6 a multiple of 5?
False
Let q(g) = 1 - 12*g - g**2 - 1 - 9. Does 11 divide q(-8)?
False
Suppose -13*l + 11*l = -78. Does 13 divide l?
True
Let n(g) = 2*g**2 - 6*g + 5. Let j(s) = s**2 - 3*s + 3. Let u(t) = -7*j(t) + 4*n(t). Is 5 a factor of u(6)?
False
Suppose -4*k = -3*k + 2. Let c be (-1 + (-51)/6)*k. Is (-3)/(-3) + -2 + c a multiple of 9?
True
Suppose -4*n - 40 + 144 = 4*h, 0 = -3*h - n + 76. Let o = 53 - h. Does 14 divide o?
True
Suppose 0 = -3*q + 5*q - 70. Is q a multiple of 23?
False
Let i(q) = -q**2 + 12*q - 13. Let l be i(11). Is 4 a factor of 12 + 1 + l + 3?
False
Suppose v = -0*v + 34. Is 18 a factor of v?
False
Let c(k) = k**3 + 12*k**2 + 2*k + 12. Let b be c(-12). Is 14 a factor of (18/b)/((-9)/84)?
True
Is 16 a factor of 0 + 3 - (4 - 97)?
True
Let q(x) = 50*x - 2. Let l be q(5). Let h(o) = o**2 + 7*o + 8. Let d be h(-7). Is 14 a factor of d/36 - l/(-18)?
True
Let c = 8 - 17. Let s(d) = 2*d**2 + 9*d + 3. Is 23 a factor of s(c)?
False
Suppose -460 = 2*s - 7*s. Is s a multiple of 23?
True
Let h(f) = -2*f - 8. Let l be h(-5). Suppose l*o = 19 + 23. Is 7 a factor of o?
True
Let h = -16 + 57. Is 24 a factor of h?
False
Let q = 17 - -33. Does 6 divide q?
False
Let h(i) = 50 - 11*i - 3 + 9*i. Is h(0) a multiple of 9?
False
Suppose -15 = -c - 4*c. Suppose -f - c = -35. Does 16 divide f?
True
Let m be (1/4)/((-4)/(-16)). Let j be 1 - (m + -1 - 1). Is (j - -11)*1 + 0 a multiple of 13?
True
Let b(r) = r**2 + 3*r + 2. Let i be (6/2)/(-2 + 1). Let z be b(i). Suppose 0 = -0*t + z*t - 6. Is 2 a factor of t?
False
Let v = -39 + 85. Let o = v - 17. Suppose -2*j = -7 - o. Is j a multiple of 6?
True
Let k = 11 - 13. Does 14 divide 0 + k*42/(-2)?
True
Let m(v) = -v**2 + 66. Does 22 divide m(0)?
True
Suppose 315 = -3*q + 6*q. Does 35 divide q?
True
Suppose -4*r = -3*i - 2*r + 130, 2*r - 