Does 31 divide o?
True
Is 32 a factor of (5/(120/3426))/(5/60)?
False
Let z = -8 - -5. Let w be (-2)/(-2)*z + -22. Is 17 a factor of -4 - w*(0 + 3)?
False
Let q(w) = 77*w - 15. Let x(h) = -387*h + 75. Let f(k) = -11*q(k) - 2*x(k). Does 13 divide f(-3)?
True
Let h(u) = u. Let c be h(4). Let j(m) be the third derivative of -m**6/120 + m**5/10 - m**4/12 + m**3 + m**2. Is j(c) a multiple of 30?
True
Let x be (-23)/(-1) - (3 + 0). Let b = 7 + x. Let n = 40 - b. Is 5 a factor of n?
False
Suppose b - 12 = 4*b. Let q(r) = -13*r - 76. Let d be q(-6). Is -2 - d*(b - -2) a multiple of 2?
True
Suppose 0 = l + 2*c - 56, 2*l + 3*c + 46 = 3*l. Does 26 divide l?
True
Suppose 0 = 3*o - j - 14, -o - 2 = 3*j - 0. Suppose 0 = -o*u + 3*c + 117, 137 = 4*u + 5*c + 12. Does 7 divide u?
False
Let d(q) = 14*q + 2723. Is d(0) a multiple of 24?
False
Suppose 0 = 3*c + u - 731, 0 = -5*c + 2*c + u + 721. Does 22 divide c?
True
Let l(a) = 15*a**2 + 13*a + 2. Is l(5) a multiple of 17?
True
Let s(v) = -v**3 - 5*v**2 + 2*v + 2. Let y be s(-3). Let t = -375 - -338. Let k = y - t. Does 15 divide k?
True
Suppose -3*q = 2*l - 1350, -508 - 1281 = -4*q + l. Suppose 4*h + 4*k - q = 0, 3*h + h = k + 453. Is h a multiple of 15?
False
Let l = -136 - -327. Is 17 a factor of l?
False
Suppose -5*y + 2*a = -2, 2*y = -5*a + 2*a + 16. Suppose -y*c = -f - f + 16, f - 26 = 3*c. Let v(o) = -10*o + 18. Does 36 divide v(c)?
True
Let s be 4/(-10) - 32/(-5). Suppose z + 100 = s*z. Is z a multiple of 20?
True
Let m be ((-40)/(-6))/(-4)*-3. Let v(x) = 2*x - 2. Let d be v(m). Suppose 198 = -5*q + d*q. Is q a multiple of 13?
False
Let y(q) = q + 14. Suppose 5*n - 3*x + 48 = 0, -2*x = n - 5*n - 40. Let c be y(n). Suppose -3*u + 113 = -c*z, -4*z - 154 = -4*u - 3*z. Is u a multiple of 13?
True
Suppose 5*f - 7*k + 3*k - 477 = 0, 0 = 3*k + 9. Does 31 divide f?
True
Suppose -v = 4*x - 3941, -8*x + v + 979 = -7*x. Is 27 a factor of x?
False
Let w be 0 + 5 + 1/(-1). Suppose 0 = 3*q + 3, 0 = w*d - 0*d - q - 145. Suppose -2*x - d + 120 = 0. Does 21 divide x?
True
Let o(t) = 122*t + 1038. Is o(-7) a multiple of 2?
True
Suppose -5*q = -q + 444. Let l = 171 + q. Is l a multiple of 12?
True
Let h be 16/20*(40 - 0). Let v = h - 7. Is 290/v + 6/15 a multiple of 4?
True
Let f(u) = -2*u + 140. Let z be f(0). Let o = z + -95. Let h = o + 11. Is h a multiple of 17?
False
Let w(l) = 24 + 4*l + 2*l + 2. Does 26 divide w(13)?
True
Let x(f) = 31*f - 56. Is 28 a factor of x(12)?
False
Does 27 divide ((-648)/(-28))/(1/14)?
True
Let p(x) be the first derivative of -5*x**4/12 + x**2/2 + 4. Let a(i) be the second derivative of p(i). Is 9 a factor of a(-2)?
False
Let m = -46 + 66. Is m/130 - 102/(-13) a multiple of 8?
True
Let t(x) be the second derivative of -x**3/6 + 15*x**2/2 - 10*x. Let v be t(0). Does 30 divide ((-812)/(-42))/(2/v)?
False
Let a(m) = m**3 - 4*m**2 + 17*m + 111. Does 15 divide a(13)?
False
Let r = -21 - -16. Does 10 divide 4/3*r*(-117)/6?
True
Suppose 18 = 3*s - 0*s. Suppose -35*w - 44 = -37*w - 4*y, -y = 4*w - 81. Does 4 divide (156/65)/(s/w)?
True
Suppose -5*n + 68 = 4*l, -4*l = -8*l - 12. Suppose n = a - 74. Does 10 divide a?
True
Suppose -68 = 4*i - 4*h, -2*i - 10 - 23 = -h. Let f = -12 + i. Is (f/(-6))/((-14)/(-63)) a multiple of 12?
False
Suppose 38*t - 134148 = -52372. Does 12 divide t?
False
Suppose -10*g = -15*g. Is ((g - 1) + 6)*1 a multiple of 2?
False
Suppose -t - 698 = -5*v, -6 = 2*v + 5*t - 296. Is 18 a factor of v?
False
Let f = -651 + 1278. Does 57 divide f?
True
Let l(k) = -k + 4. Let j be l(8). Does 11 divide 2709/49 - j/(-14)?
True
Let f be 10/(-5)*-1 + 2 + 0. Suppose -15 = -m - 5*y, -2*m - 3*m + 104 = -f*y. Is m a multiple of 3?
False
Suppose 8*b = 4*k + 3*b - 758, 5*b = k - 182. Suppose 36*j = 32*j + k. Is 14 a factor of j?
False
Let y(f) = -f**3 - 3*f**2 - 2*f - 2. Let v be y(-2). Let u be 3 + (-14 + -2)/v. Let n = u + 11. Does 22 divide n?
True
Let z(d) = d**3 + 3*d**2 - 3*d. Let h be z(2). Let t(n) = n**3 - 14*n**2 + 15*n - 20. Is t(h) a multiple of 19?
True
Let a = 13 - 7. Let j(v) = -v**2 + 2*v. Let m(b) = b**2 - 2*b. Let p(c) = -5*j(c) - 4*m(c). Does 21 divide p(a)?
False
Let a(x) = x**2 + 5*x + 10. Let l = -15 + 9. Is a(l) a multiple of 16?
True
Let d(q) = 9*q + 1. Let u be d(2). Let w(y) = -y**3 - 6*y**2 + y - 11. Let k be w(-6). Let n = u - k. Is n a multiple of 18?
True
Suppose 0 = 5*u - 10 - 15. Suppose -u*l + 126 = 16. Let p = l + 2. Is 9 a factor of p?
False
Let x(v) = -3*v**3 + v + 1. Let n be x(-4). Let b = n - 92. Suppose 2*w + 35 = b. Is 8 a factor of w?
False
Let o(t) = -t**2 - 3*t + 1. Let g = -5 - -3. Let b be o(g). Suppose b*y - 56 = 10. Is 11 a factor of y?
True
Let c(v) = -v - 1. Let u be c(-3). Suppose -2*n = 3*b - 10 - 12, -26 = -2*n - u*b. Let q = n - 8. Is q a multiple of 9?
True
Let h(b) = b**3 + 6*b**2 - 7*b + 13. Let t be h(-7). Suppose f = -3*f + 32. Suppose 118 + t = 5*i - 4*l, -2*l = f. Does 7 divide i?
False
Let m = 42 + -30. Let g = 8 - m. Let t = 34 + g. Does 12 divide t?
False
Suppose -13*s = -18*s. Does 23 divide (-1)/((-4)/276 + s)?
True
Let l = 10 - 10. Suppose 0 = 4*c + 5*i - 130 + 2, l = 4*c - 4*i - 92. Suppose 9 + c = 4*u. Is u a multiple of 3?
True
Suppose 3*g + 4*g - 28 = 0. Suppose -5*i - 56 - 15 = -g*f, 4*i - 20 = 0. Let k = 20 + f. Is 11 a factor of k?
True
Suppose -i - 37 = v, -i - i - 50 = -4*v. Let y be i/(-6) - 1/2. Suppose y*o + 2*k + k = 25, -o = 2*k + 2. Does 3 divide o?
False
Let s be 10/3*90/(-20). Let v be (-4 + 8)*s/(-12). Let h(y) = y**3 - 5*y**2 + 3*y - 6. Is h(v) a multiple of 9?
True
Suppose 16431 = 22*b - 3149. Is 89 a factor of b?
True
Suppose -26068 = -12*p - 1840. Does 62 divide p?
False
Let d(i) = -i**3 - 6*i**2 - i - 4. Let k be d(-6). Suppose -k*f - 4 = -4*f. Let o(v) = 14*v**2 - 4*v + 6. Is 27 a factor of o(f)?
True
Let r(s) = -s - 16 - 31 + 64. Does 3 divide r(2)?
True
Suppose 4*d + 3*m + 244 = 2*m, -4*d = 5*m + 228. Let b = 18 - d. Is b a multiple of 10?
True
Let d = 73 - 75. Let o(y) = -3*y - 1. Does 2 divide o(d)?
False
Let y = -2512 + 4326. Is 22 a factor of y?
False
Let i = -110 - -337. Is i a multiple of 13?
False
Is 7 a factor of ((-2)/(-3))/((-22)/(-10362))?
False
Let j(f) = 3*f**2 - 8*f - 118. Let r be j(-6). Let y(v) = -v**2 + 6*v + 2. Let w be y(5). Let a = r + w. Is a a multiple of 21?
False
Let c(r) = -36*r + 85. Is 13 a factor of c(-32)?
False
Suppose 4*r - q - 5 = 0, 4 = 5*r - q - 3. Suppose -9*w = r*w - 1023. Is 40 a factor of w?
False
Let t(o) = -6*o + 7. Let q be (1/1)/((-2)/6). Is 5 a factor of t(q)?
True
Does 9 divide (-12)/(-6) + 9/(18/184)?
False
Suppose 4*w + 0*k - 2*k - 100 = 0, -4*k + 99 = 5*w. Let t = -11 + 88. Suppose -w - t = -5*u. Is u a multiple of 3?
False
Let s(y) = 3*y**2 + 56*y - 92. Does 44 divide s(-27)?
False
Suppose -4*d + 4*f = -1744, 2*d - 106 = -3*f + 771. Does 14 divide d?
False
Let f(t) = -12*t**3 - 3*t**2 - t - 2. Does 28 divide f(-2)?
True
Is 25 a factor of (2*37)/((-112)/(-616))?
False
Let a(q) = -q**3 + 28*q**2 + 2*q + 6. Let y be a(28). Let d = -50 + y. Is 11 a factor of d?
False
Let k be 3/15 - 309/(-5). Suppose -2*s + 318 - k = 0. Is s a multiple of 32?
True
Suppose -2*b = 2*k - 1 + 21, -3*b + 3*k = 6. Let f be 277/3 - b/(-18). Let i = -50 + f. Is i a multiple of 9?
False
Let c = 126 + -49. Suppose -5*v + c = -238. Is 7 a factor of v?
True
Suppose 21*j - 26*j + 900 = 0. Is 20 a factor of j?
True
Let p be ((-24)/14)/(14/(-147)). Suppose -p + 74 = d. Is d a multiple of 27?
False
Let q(i) = i**3 + 11*i**2 - 9*i + 180. Is q(-10) a multiple of 40?
False
Suppose 3533 = 3*w + 2*g - 1471, 2*w - 3*g = 3336. Is 72 a factor of w?
False
Let i = 15 + -11. Is 17 a factor of 4 - (-63 + i + -1)?
False
Let w = 38 + 2. Let o be 6 + -1 + 0 + -1. Is 11 a factor of (w/50)/(o/110)?
True
Suppose -4*y + 5*h - 108 = -0*y, 4*h + 144 = -4*y. Let a = -27 - y. Is a a multiple of 5?
True
Let c(w) = w**3 - 8*w**2 + 2. Let o(n) = n + 7. Let k be o(2). Is 19 a factor of c(k)?
False
Let r(j) = -j**2 + 4*j + 22. Let h be r(7). Let o(y) = 47*y + 5. Does 20 divide o(h)?
False
Suppose -5*i - 4*l = -9, 6*i = 4*i + 4*l - 2. Suppose 0 - i = z + 2*q, -q - 3 = 0. Suppose -5*j = -3*p + 58, 0 = z*j + 2 + 8. Is p a multiple of 8?
True
Suppose -2*u - 2976 = -5*w + 4172, -3*w = 4*u - 4294. Is 22 a factor of w?
True