((-18)/(-2436))?
True
Let s = 236 + -127. Suppose 0 = 5*p + 2*a - 208, 43 = 4*p - 2*a - s. Does 8 divide p?
True
Suppose 17457 = 26*d - 3*d. Is 33 a factor of d?
True
Suppose -2*r + 0*r = j - 189, 0 = 5*r - 3*j - 445. Suppose 22*l = 20*l + r. Is l a multiple of 23?
True
Suppose 268 = 2*a + d, -a + 186 = 3*d + 47. Does 19 divide a?
True
Let v(o) = 4*o**2 - o. Suppose -5*d - 4*m - 4 = 0, -m = -5*d - 1 + 2. Suppose d = -5*l + 20. Does 20 divide v(l)?
True
Let u = 15 + -7. Let p(i) = i**3 - 12*i**2 - 5. Let t(r) = r**3 - 13*r**2 - 4. Let a(y) = -5*p(y) + 4*t(y). Does 2 divide a(u)?
False
Let k = 1546 - 1046. Does 54 divide k?
False
Let r be (-2 - 28/(-8))*2. Suppose -2*o - r*o + 420 = 0. Is 12 a factor of o?
True
Let c = 51 + -18. Let u = c + -4. Let l = -20 + u. Does 9 divide l?
True
Let y = 1360 - 763. Is 24 a factor of y?
False
Let p(t) = t**2 - t. Let i be p(0). Let f be (46 - i) + (4 - 2). Is (f/(-28))/(2/(-21)) a multiple of 8?
False
Let k(r) = r**2 - 4*r. Let v(y) = -y + 13. Let j be v(8). Is k(j) a multiple of 5?
True
Let k(f) = -13*f + 3. Let n be k(-3). Suppose 5*w - 185 = -2*p, 257 - n = 2*p - w. Is 34 a factor of p?
False
Suppose 7219 = -19*t + 17612. Does 7 divide t?
False
Let n(h) = 5*h**3 - 4*h**3 - 2 + 3*h - 10*h**2 + 1 - 13. Let v be (2/(-4))/(5/(-100)). Is 16 a factor of n(v)?
True
Suppose 3*w = -5*k - 66 - 24, w + 31 = -2*k. Let v = -10 - w. Does 4 divide v?
False
Suppose 10*f = 18*f - 15936. Does 40 divide f?
False
Is (182 + 3)*((-104)/(-20) - 4) even?
True
Suppose -25 = 2*z - 5. Let s(w) = w**2 + 1371 - 4*w - 1363 + 12*w. Does 14 divide s(z)?
True
Suppose -14 = 2*h + r - 93, 3 = r. Let k = -5 + h. Is 3 a factor of k?
True
Let q = 840 + -329. Suppose -374 = -5*f + q. Does 15 divide f?
False
Let r be -2 - (12/(-5))/(39/260). Suppose -k - r = -3*c + 2*c, -2*c + k + 24 = 0. Is c a multiple of 3?
False
Is (9/(-6))/((-9)/696) a multiple of 15?
False
Does 43 divide (-2912)/(-4) + (-2 - -5)?
True
Let g be ((-18)/(-15))/((-1)/5). Is 9 a factor of (-1065)/(-45) - (-4)/g?
False
Let o be -185 + (-2)/(-1 + 3). Let x(c) = -3*c**2 - 4*c + 2. Let d be x(6). Let b = d - o. Is b a multiple of 14?
True
Let z = -693 - -1262. Suppose 6*t = t - 4*g + z, -581 = -5*t - g. Does 16 divide t?
False
Let i be (-18)/9 - 17*-4. Let j = -34 + i. Does 8 divide j?
True
Suppose 0 = -3*p + 9 - 3. Let u be (-11)/p - (-12)/8. Is 17 a factor of 170/u*(-22)/55?
True
Suppose 0 = 8*l + 1068 - 3868. Is 12 a factor of l?
False
Let k(i) = 4*i + 14 + 6 - i**2 - 7. Let p be k(4). Is 20 - p - (-6)/(-2) a multiple of 4?
True
Let d(b) = b**3 - 12*b**2 - 10*b + 17. Let n be d(14). Suppose 101 - n = -2*r. Is r a multiple of 12?
True
Suppose 3*s + 279 + 65 = 5*g, 3*s + g = -320. Let x be -12*(2 + s/8). Suppose 2*d + x = 4*d. Is d a multiple of 15?
False
Suppose 116 = 4*p - 852. Suppose -4*j = 7*s - 5*s - p, 0 = -3*j + 3*s + 177. Does 24 divide j?
False
Let f(q) = q**2 + 8*q + 60. Is f(-26) a multiple of 12?
True
Suppose -b = -5*b - 80. Let h = 41 + b. Is h a multiple of 13?
False
Let q be (-10)/(-55) - (-688)/88. Let s(x) = 5*x**2 - 12*x + 8. Let a(f) = f**2 - 1. Let n(h) = 4*a(h) - s(h). Is n(q) a multiple of 10?
True
Is 74 a factor of 7 - 27/(-6)*314?
False
Let h(d) = -d**3 - 4*d**2 - 2*d - 1. Let p be h(-3). Let k(j) = -17*j + 2. Does 10 divide k(p)?
True
Is 14 a factor of ((-6)/(-4))/(-3 - 734/(-244))?
False
Suppose 437 = -7*g + 878. Does 7 divide g?
True
Let g(k) = -k**3 - 3*k**2 - 10*k - 3. Let t be g(-3). Suppose b - t = 30. Is 12 a factor of b?
False
Let m(f) = f**3 + 7*f**2 + 4. Let b be m(-7). Suppose d = a + 3, d - 2*a - 2 = -b. Is d a multiple of 4?
True
Suppose -2*l = m - 236 - 143, 0 = -4*m - 4*l + 1500. Suppose -6*u = 35 - m. Suppose -3*r - 17 = -u. Is r a multiple of 11?
False
Let w(b) = 5*b. Let s be w(2). Suppose 6 = -4*j - s, 4*x - 124 = 2*j. Is 5 a factor of x?
False
Let f(t) = t + 4. Let i(w) = w**3 + 5*w**2 - 8*w - 6. Let h be i(-6). Let d = 9 - h. Does 3 divide f(d)?
False
Let j(i) = -2*i - 6. Let a be j(-10). Suppose 2 = -3*l + a. Suppose -2*h + 161 = 3*p, 0*h + 222 = l*p - h. Is 21 a factor of p?
False
Suppose -5*x = -n, -3*x + 2*x = -3*n. Is 10 a factor of x + 3 + 55 + 2?
True
Let w = -93 - -202. Let u = 20 + -16. Suppose -4*r + 166 + 2 = u*z, 0 = 2*r - 3*z - w. Is r a multiple of 21?
False
Let z(u) = 48*u - 61. Is z(7) a multiple of 11?
True
Let c(u) = 72*u**3 - 4*u**2 - 2*u + 4. Is c(1) a multiple of 7?
True
Let q = -7 + 7. Suppose 6*h - 3*h - 234 = q. Is 13 a factor of h?
True
Suppose -5*s - y = -1125, -4*s + 5*y - 7*y = -894. Is s a multiple of 39?
False
Let s = 32 + -27. Let i be 7/((-105)/54 - -2). Suppose -4*v + s*r + 43 + i = 0, 3*v - 113 = r. Is v a multiple of 12?
True
Let n be (-4 - -17)*(0 - 3/(-1)). Suppose 351 = 3*u - n. Is 17 a factor of u?
False
Let b = -17 + 23. Let v be 40/(-6)*b/(-8). Let u(p) = 20*p + 2. Is u(v) a multiple of 33?
False
Let f be 58/(-7) - (-4)/14. Let j be f*(-1)/2 + 3. Is 24 a factor of ((-216)/(-21))/(1/j)?
True
Let q(m) = -m + 3. Let y be q(3). Let n be (-1 + 2)/((-1)/(-14)). Let c = y + n. Is c a multiple of 14?
True
Suppose -4*m - k + 1433 = -362, 5*m = 3*k + 2265. Is m a multiple of 5?
True
Let l(y) = 2*y - 11. Let b = -87 - -96. Is l(b) a multiple of 2?
False
Suppose -3*o - 27 + 39 = 0. Suppose -j + 1 + 4 = 0. Suppose -2*h = -2*i - 112, 8 = -o*h + j*i + 233. Does 24 divide h?
False
Let o(p) be the second derivative of 14*p**3/3 - p**2 + 3*p. Let q be 3*(4 + (-22)/6). Is 7 a factor of o(q)?
False
Let k = 288 - 128. Is k a multiple of 10?
True
Let c(b) = -b**2 - 7*b - 6. Let r be c(-6). Suppose r = -o - 18 + 74. Is o a multiple of 28?
True
Let b = 24 + -24. Suppose 4*l - l + 228 = b. Let k = l + 145. Is 23 a factor of k?
True
Let a(o) = -567*o**3 + o**2 + 2*o - 1. Is 2 a factor of a(-1)?
False
Suppose 0*z = 2*z - 5*n - 1, -2*z + 2 = -4*n. Suppose -15 = -5*p, 63 = z*g - 0*g + 3*p. Is 3 a factor of g?
True
Let x(i) = -i**3 + 6*i**2 + 3*i - 8. Let t be x(6). Suppose -t*c = -17*c + 378. Is c a multiple of 27?
True
Let c = 19 + -17. Suppose 0 = -4*u - 4*k + 20, -5*u + 2*k = -c*u. Suppose 3 - 41 = -u*a. Is 7 a factor of a?
False
Suppose 2*w - 12 = -o - 0, 3*o + w = 11. Suppose 10 = -o*r - 12. Is 5 a factor of 3 + 0 + 33 + r?
True
Let w(b) = b**3 + 8*b**2 + 2*b + 7. Let g be w(-8). Let c = g + 18. Does 2 divide c?
False
Suppose -5*h - 4 = -4*m + 29, 3*m - 18 = -3*h. Let i(j) = 8*j + 4. Is 8 a factor of i(m)?
False
Suppose -492*a - 1224 = -501*a. Is a a multiple of 4?
True
Let s(x) = -50*x - 41. Is 3 a factor of s(-5)?
False
Let y = 7 - 36. Let w = -21 - y. Does 4 divide 49/4 - 2/w?
True
Let d(h) = -3*h - 5. Let a be d(5). Let r = 35 + a. Does 4 divide r?
False
Suppose 5*h + 78 = 3*b, 5*b - 3*h = -6*h + 164. Is b a multiple of 31?
True
Suppose 483 = -6*g + 2085. Is 11 a factor of g?
False
Let n be 2 - ((-10)/(-25))/((-1)/(-5)). Suppose -3*q - 3*t + 195 = n, 4*q - 4*t - 255 = -9*t. Does 27 divide q?
False
Let p be ((-2)/5)/((-19)/95). Is 2 a factor of p*-1 - (-5 - 5)?
True
Let b(j) = 8*j**2 - 15*j + 17. Is 10 a factor of b(9)?
True
Suppose 3*k + 993 = -4*p + 242, 3*k + 5*p = -749. Let t = -175 - k. Let x = 130 - t. Is 13 a factor of x?
True
Let r be -10*((-15)/(-6))/(-5). Let g be -3*2 - (7 - r). Let d = 16 + g. Does 4 divide d?
True
Let g(v) be the third derivative of v**6/120 - 11*v**5/60 - 5*v**4/12 - 7*v**3/3 - 18*v**2. Does 2 divide g(12)?
True
Suppose 0 = -3*t - 5*d + 20 - 2, -2*d + 10 = 4*t. Suppose -u = -t, -p + 2*u + 298 = 4*p. Is p a multiple of 9?
False
Let y(r) = 32*r**2 + 2. Let g be y(-2). Suppose 5*c - g = 3*q - 7, q = 2*c - 50. Is 27 a factor of c?
True
Suppose -5*g + 2358 = -4177. Does 47 divide g?
False
Let j = -26 + 29. Suppose -15 = 3*s, -5*u - 4*s - 10 = -j*u. Suppose u*r - 40 = -9*h + 4*h, -4*r = 5*h - 28. Is 12 a factor of r?
True
Let s(m) = m**2 - 8*m - 13. Let k(q) = -q**3 + 8*q**2 - 8*q - 1. Let j be k(7). Let h be 4/j*(0 - 20). Does 3 divide s(h)?
False
Let b be (-144)/5*80/(-24). Suppose 0 = 2*o - 2*g - b, 0*o - g - 92 = -2*o. Is o a multiple of 22?
True
Let u = -43 + 54. Suppose -3*a + 287 = 5*z, -a + 5*z = -u - 78. Is 15 a factor of a?
False
Is 36 a factor of 2/11 + ((-20730)/(-66))/5?
False
Let z(i) = i**3 + i + 35. Suppose -5*a - 5*k - 16 = -k, 4 = -5*a - k. Is 11 a factor of z(a)?
Fal