 z = 7*u. Suppose m + 2*m - 3*g - 63 = 0, u*m + g = 36. Does 19 divide m?
True
Suppose q - 170 = 6*q. Let v = q - -49. Does 14 divide v?
False
Let i(j) = 4*j**2 - 2*j - 12. Is 42 a factor of i(9)?
True
Let g be (-2)/8 - (-771)/12. Suppose g = q + 5*z, 0*q - q + 4*z + 100 = 0. Is q a multiple of 14?
True
Let u = 184 - 310. Let x = 254 + u. Is 9 a factor of x?
False
Let v(m) = 27*m**2 - 2*m - 2. Let u be v(1). Let c = u - -27. Does 25 divide c?
True
Suppose 3*s - 2 = -8. Let l(d) = -6*d + 2. Let b be l(s). Suppose -11*y + b*y = 60. Is 10 a factor of y?
True
Is (7 - 9) + 3 + -3 + 449 a multiple of 21?
False
Is (-110)/(-130) + 4/26 - -305 a multiple of 13?
False
Let j(b) = b**3 - 9*b**2 + 9*b + 11. Does 5 divide j(9)?
False
Let k = 528 - -57. Suppose -k = -7*i - 2*i. Does 13 divide i?
True
Let x(t) = -10*t**3 - 5*t**2 + 2*t. Let p be x(-4). Is 23 a factor of p/6 + 0 + -3?
False
Let g = 24 + -24. Suppose -4*n = -y + 1, 0 = -4*y - 2*n - g*n + 22. Suppose -108 = -2*i - 2*h + h, -280 = -5*i - y*h. Does 13 divide i?
True
Let g(z) = 10*z - 2. Let x be g(-2). Let o = 46 + x. Suppose -o - 36 = -4*a. Is a a multiple of 6?
False
Let f(p) = -p**3 + 10*p**2 + p + 5. Suppose -4 = -2*d + 14. Suppose -5*h + d*h - 40 = 0. Is 4 a factor of f(h)?
False
Suppose -4*p + 3*l - 2*l + 1148 = 0, 4*l + 1446 = 5*p. Is 22 a factor of p?
True
Let p be (5/2)/((-6)/(-12)). Suppose 17 = -2*g - x + 2*x, 5*g + p*x = -5. Let l(d) = -d**2 - 7*d + 8. Is 14 a factor of l(g)?
True
Let w(j) be the third derivative of -j**6/120 + 11*j**5/60 + 7*j**4/12 + 11*j**3/6 + 11*j**2. Does 7 divide w(12)?
True
Suppose -5*v = 11 + 29. Suppose 95 = 2*m + 3*s, 5*s + 28 = -m + 2*m. Let z = v + m. Is z a multiple of 23?
False
Suppose 2*h - 5490 = -7*h. Suppose -h = -5*g - 5*t, 14*g - 10*g - 503 = t. Is g a multiple of 25?
True
Suppose 0 = -q + 3. Suppose 149 = q*g + 53. Suppose 0*s = 2*s - g. Does 16 divide s?
True
Let t = 553 - 178. Does 15 divide t?
True
Let f = 17 - 17. Suppose -5*d - p - 134 = f, d + 11 = -3*p - 27. Let r = 63 + d. Is r a multiple of 13?
False
Suppose 23*w - 32083 = 7017. Does 10 divide w?
True
Let d(o) = 12*o + 107. Is 13 a factor of d(16)?
True
Let o be (-4)/(-6) + (-6 - (-32)/6). Suppose 4*i - 5*d - 62 = o, 4*d + 10 = 4*i - 3*i. Is 3 a factor of i?
True
Let c(r) = 2*r**2 - r. Let a be c(1). Is (13/3)/(a/9) a multiple of 17?
False
Suppose -2*m = 2*y + 3*m + 12, 38 = -4*y - 3*m. Does 11 divide y/(-2)*(-10 + 12)?
True
Suppose 0 = -2*x + 2*o + 10, -5*x + 0*o = -3*o - 23. Does 14 divide (7 - (x - 1)) + (0 - -164)?
True
Suppose 0 = -5*c + 4*j - 5, 9*c + 5*j - 40 = 4*c. Suppose 3*u + 0*u = -5*y + 962, -2*y + c*u + 389 = 0. Is 15 a factor of y?
False
Is 5 a factor of (0 - (-10582)/11) + -1 + 6?
False
Suppose 0 - 15 = -5*q. Suppose -21 = -m - 0*m - 4*u, q*m = 4*u + 31. Suppose -5*c - 3*w + 165 = 0, -3*c - m + 126 = -w. Does 12 divide c?
True
Let p = -13 + 17. Suppose -3318 = -p*v - 2*o + 2656, 4*v + 3*o - 5971 = 0. Is v/25 - (-2)/10 a multiple of 28?
False
Let k = 337 - 342. Suppose -1220 + 20 = 4*b. Is 14 a factor of (b/k)/5*6?
False
Let v(s) be the third derivative of 19*s**4/24 - 20*s**3/3 - 43*s**2. Does 28 divide v(11)?
False
Suppose 4*j + 9*s = 4*s + 911, 3*j = -3*s + 687. Does 13 divide j?
True
Let r = 228 - 334. Let d = r + 250. Is 24 a factor of d?
True
Let b = -25 + 24. Let h be -72 - (-4 - (-3 - b)). Let u = 121 + h. Does 20 divide u?
False
Suppose -1680 = 26*f - 54*f. Is f a multiple of 18?
False
Let u(i) = 5*i**3 - 11*i**2 + 13*i - 28. Let q(x) = -14*x**3 + 34*x**2 - 40*x + 83. Let a(f) = 6*q(f) + 17*u(f). Is a(-18) a multiple of 8?
True
Suppose -4*p = 3*r - 2303, -2*r - 71*p + 1538 = -67*p. Is 8 a factor of r?
False
Suppose -i + 324 = h, -3*h + i = 5*i - 971. Is 25 a factor of h?
True
Let f(a) = 2*a + 12. Let d be f(-5). Suppose -5*c - d*q = -108, -76 = -3*c - 6*q + 2*q. Let y = -8 + c. Is 12 a factor of y?
True
Suppose -2*k - 3*t - 59 = 0, 0 = 4*k + t + 2*t + 109. Let p = 64 - -39. Let n = p + k. Is 31 a factor of n?
False
Let s(h) = -h**2 - h + 7. Let a be s(2). Suppose 5*n - 3*f + 4 = 281, -f + a = 0. Is n a multiple of 6?
False
Let x(a) = -a**2 + 9*a - 9. Let p be x(7). Let v = p + -3. Suppose -v*o - 160 = -6*o. Is 9 a factor of o?
False
Suppose -4*a + 1287 - 395 = 0. Does 18 divide a?
False
Let g(v) = -82*v - 1. Does 55 divide g(-6)?
False
Suppose -4*w + 3*i + 17 = 0, 4*i = 3*w + 3*i - 19. Suppose 0 = -2*b + w*b. Suppose b = 4*d, 10 = -3*k + d + 55. Is 15 a factor of k?
True
Let s be -2320*(2/(-10) + 1). Let d(x) = x**2 + 7*x + 4. Let k be d(-9). Is s/(-44) + (-4)/k a multiple of 16?
False
Suppose 1 - 11 = -2*z. Suppose -3*t + 5*l = -40, -z*t - 4 = -5*l - 54. Is (t - 9)*(0 - 7) a multiple of 17?
False
Let j(o) = -o**3 - 5*o**2 - 2*o - 5. Let s be j(-5). Suppose 8 + 7 = s*z. Suppose 36 = -z*u + 96. Is 10 a factor of u?
True
Let y(a) = 14*a**3 - 4*a**2 + 10*a + 16. Is 11 a factor of y(5)?
True
Let n = -42 - -51. Suppose n*x = 575 + 451. Is 38 a factor of x?
True
Suppose -w = 3*w - 40. Suppose -3*y - 6 = -d, 8*y - 3*y + 3*d + w = 0. Does 2 divide ((-3)/y - 2)*-14?
False
Suppose 0 = -5*q + 947 + 1428. Suppose 7*i + q = 12*i. Does 19 divide i?
True
Suppose -6*z + 52 = -1526. Suppose -7*r + 1557 = -z. Is r a multiple of 20?
True
Let l(s) = -s**3 - 16*s**2 + 26*s - 7. Let q be l(-18). Let h = -47 + q. Is h a multiple of 22?
False
Suppose -335*i = -333*i - 978. Is 23 a factor of i?
False
Let s(h) = -15*h**3 + 6*h**2 + 6*h. Let z(j) = -224*j**3 + 91*j**2 + 91*j. Let w(n) = -91*s(n) + 6*z(n). Let t be w(-1). Let c = 35 + t. Does 5 divide c?
False
Let f(a) = 7*a**2 + 6*a - 1. Let y be f(7). Is 24 a factor of (5*3/6)/(8/y)?
True
Suppose h + 2*l = -2 + 15, 31 = 2*h + 5*l. Suppose 6*v - 25 = -5*k + 10*v, -4*k = -5*v - 20. Suppose 3*q - h*s = -0*s + 45, 0 = -k*q - s + 57. Does 6 divide q?
True
Let h(c) = -c**3 + 6*c**2 - 5*c + 4. Let v be h(5). Let r be (45/(-18))/((-1)/v). Is r*-4*(-12)/80 even?
True
Suppose 11*z = 3138 + 228. Is 21 a factor of z?
False
Suppose -4*z + 60 = n, 3*z = 3*n - 137 + 32. Is (-27 - -3)/((-6)/n) a multiple of 43?
False
Suppose -13*d = -7*d - 2016. Does 24 divide d?
True
Let u be 6/12*(-6)/((-1)/1). Suppose -2*k - 15 = -u*k. Is k a multiple of 5?
True
Let b(g) = g - 2. Let q be b(11). Suppose q*j - 138 = 258. Is j a multiple of 11?
True
Let q = -59 - -138. Is q a multiple of 24?
False
Let o(u) = -u**2 + 15*u - 14. Let i be o(14). Suppose -5*k + k + 12 = i. Suppose -k*v - 33 = -6*v. Does 7 divide v?
False
Let t(r) = 126*r**2 + 6*r + 4. Let g be t(-3). Suppose g = -35*l + 40*l. Does 38 divide l?
False
Let s be (-20)/(-4) + (3 - -127). Let x = s - 88. Is 39 a factor of x?
False
Let d(a) = -a - 6. Let p be d(-10). Let s(u) = -p + 4 + 10 - u + 7. Is 8 a factor of s(-7)?
True
Suppose 0 = 5*u + 2*o - 200, -33 = 2*u - 4*o - 113. Does 13 divide u?
False
Suppose 0 = -37*t + 33*t + 12. Suppose t*m + 125 = 5*g - 360, 0 = -5*g - 2*m + 485. Is 16 a factor of g?
False
Let p(y) = -y**3 - 3*y + 4*y + 6*y**2 + 4*y - 2. Let w be p(7). Does 5 divide w*((-8)/2)/4?
False
Let g(p) = -2*p**2 + 17*p + 6. Let a be g(9). Is -2*a/(-12) + (-27)/(-6) even?
True
Let u(s) = -39*s - 21. Is u(-18) a multiple of 56?
False
Does 56 divide (-2 - -7 - 1)/((-1)/(-182))?
True
Let t = 14 + -11. Suppose -t*q - 5*p + 0*p = -3, p = 4*q - 27. Is q/8*(-440)/(-11) a multiple of 15?
True
Let i(x) = x**2 + 16*x + 22. Let j be i(-15). Suppose 45 = j*d - 12*d. Is 6 a factor of ((-1)/(-1))/(d/(-225))?
False
Let u = 14 - 2. Let q(v) = v**3 - 12*v**2 + 6*v + 4. Does 19 divide q(u)?
True
Let u = -2 + 7. Suppose 380 = u*r - 0. Suppose r = 5*y - y. Does 8 divide y?
False
Let f(w) = w**2 + 13*w - 17. Let g(a) = a**3 + 7*a**2 + 8*a - 5. Let h be g(-6). Is 7 a factor of f(h)?
False
Let a(v) = -v**3 + 22*v**2 + 14*v + 8. Does 16 divide a(20)?
True
Suppose -5*b - 18*x + 14*x + 2410 = 0, -b + 498 = 4*x. Is b a multiple of 45?
False
Let m be -2 + 145 + 12/3. Is 7 a factor of -3 - (m*-1)/3?
False
Let g(x) = 3 + 21*x - 3 - 5 + 1. Let j be g(-2). Is j/(-6) - (-4)/(-6) a multiple of 3?
False
Let w(v) be the second derivative of 1/3*v**3 - 2*v - 5/2*v**2 + 0 - 1/4*v**4 - 1/20*v**5. Is 3 a factor of w(-4)?
True
Let t(i) = 9*i**2 - 3*i - 19. Is t(6) a multiple of 36?
False
Let h = 911 - 851. Is 2 a factor of h?
True
Let o(v)