1 + 6*o a multiple of 11?
True
Let s(r) = 13*r + 12*r**2 - 10 - 17 - 4*r**2 - 3*r. Is s(-6) a multiple of 4?
False
Let x(t) = 503*t**3 - 4*t**2 - 7*t - 6. Let d be x(-3). Does 65 divide (-3 - d/26) + 18/(-117)?
True
Let o(h) = -39*h + 586. Let w be o(0). Let f = w + 306. Is 17 a factor of f?
False
Let z(y) = y - 6*y**2 - 2*y + 8 + 3*y + 0*y. Let w be z(-2). Let d = w + 146. Does 18 divide d?
True
Let n(w) = -19*w**3 - 12*w**2 - 3*w + 10. Is n(-10) a multiple of 10?
True
Suppose 15*d - 18 = 12*d. Let x(j) = 20*j - 35. Let s be x(d). Suppose 0 = 2*q - 37 - s. Is 15 a factor of q?
False
Let y(u) = 8*u**2 - 7*u - 3. Suppose -176 = 13*z - 2*z. Let x(h) = h**3 + 17*h**2 + 17*h + 19. Let i be x(z). Does 6 divide y(i)?
True
Suppose 10*i = -14*i + 24624. Does 9 divide i?
True
Suppose -3*u = -2*u - 3*h - 5, 11 = 5*u - h. Suppose -v = y - 2*v, y + u*v - 12 = 0. Suppose m - 46 = -3*j, -2*m = y*j - 82 - 18. Is 12 a factor of m?
False
Let t(l) = -33*l**2 + 13*l + 78. Let y(z) = 11*z**2 - 5*z - 26. Let s(d) = -4*t(d) - 11*y(d). Does 19 divide s(-7)?
False
Let b = 719 + 1081. Suppose -4*a + b = -5*y + 513, -2*a - 3*y = -671. Is a a multiple of 8?
True
Let p be (-378185)/(-95) - (-4)/(-152)*-4. Suppose p = 3*i - 3*a, 3*i - 5*a + 5326 = 7*i. Is 15 a factor of i?
False
Let j(o) = -o**3 - 3*o**2 - 3. Let b be j(-3). Let c be ((-1078)/8)/(b/(-12)). Let x = c - -755. Does 18 divide x?
True
Let f(k) = 9*k + 6 + 16*k + 57*k + 2. Let h be f(3). Suppose -2*d = 2*r - 7*r - 163, -2*r = 3*d - h. Is d a multiple of 21?
True
Let f = -55760 - -93816. Does 268 divide f?
True
Let m(v) = 147*v - 2195. Does 3 divide m(42)?
False
Suppose -6950 = -184*k + 174*k. Let z = 190 + k. Is 16 a factor of z?
False
Let f = -857 + 884. Suppose 2*s = f*s - 18050. Is 55 a factor of s?
False
Let s = 115 - -173. Does 8 divide s?
True
Let j(i) = 113*i + 3409. Does 57 divide j(-11)?
True
Suppose -t = 2*t - 36. Let s(n) be the first derivative of 3*n**2/2 + 6*n - 35. Does 6 divide s(t)?
True
Let v(u) = -u**3 - 12*u**2 - 224*u + 1. Is v(-27) a multiple of 11?
True
Let n(z) = -z**2 + 6*z - 6. Let m be n(2). Suppose i = 2*b + 87, m*i + b + 2*b - 188 = 0. Let j = i + -45. Does 8 divide j?
False
Suppose 3*h + 168 = 11*h. Let r = h - -70. Let m = 159 - r. Is 13 a factor of m?
False
Let d(h) = -1468*h**3 - 72*h - 228. Is d(-3) a multiple of 156?
True
Let p = 43 - -20. Suppose -3*o = 4*o + 5*s - 689, 4*o - 386 = s. Let c = o - p. Does 31 divide c?
False
Suppose -390 = -3*g - 3*l, g - 3*l = 91 + 39. Let f = 614 + g. Does 62 divide f?
True
Suppose a = -0*a + 5. Suppose a*c + 1754 - 4589 = 0. Suppose 3*o - c + 144 = 0. Does 39 divide o?
False
Let g = -3 + 21. Suppose 14*y = g*y. Let w(m) = 7*m + 42. Is w(y) a multiple of 14?
True
Let s = 60 - 57. Suppose m = s*m - 116. Is m a multiple of 6?
False
Suppose -271*d + 267*d = -5*r - 88491, 4*d - 88509 = 3*r. Does 34 divide d?
True
Let p(x) = 21*x + 9690. Does 24 divide p(126)?
True
Let m(n) = 25 - 2*n**2 - 53*n + 3*n**2 + 122*n - 60*n. Is 7 a factor of m(-17)?
True
Let l(s) be the second derivative of 3*s**5/5 + s**4/3 - 35*s**3/6 + 41*s. Let p(h) be the second derivative of l(h). Is p(2) a multiple of 8?
True
Let a = -14 + 20. Suppose -a*h + 22 = 5*h. Suppose 0 = -4*u - 4*o + 104, -2*o + 76 = h*u - 6*o. Is u a multiple of 3?
True
Let u(i) = -3*i**2 + 6*i - 3. Let c be u(2). Let b(j) = -j + 1. Let y be b(c). Is (12/(-30))/(y/(-10)) - -17 a multiple of 6?
True
Suppose 2*n = -f - 26, 3*f + 2*n = 3*n - 99. Let z = 67 + f. Let s = z - 22. Is s a multiple of 8?
False
Suppose h = -697 + 109. Let l = h + 618. Is 3 a factor of l?
True
Suppose -2*j + 58 = -m, -2*j - 2*m + 116 = 2*j. Suppose -j*y + 39*y = 530. Does 2 divide y?
False
Let k be (10*10/(-40))/((-1)/(-1278)). Is 8 a factor of (k/60)/((-6)/40) + -5?
False
Let y = 77 + -151. Let s = 76 + y. Suppose 4*n = 0, s*w + 0*w - 72 = -n. Is 18 a factor of w?
True
Let y(g) = -2*g - 1 - g + 16 - 6*g - 4 + 15*g**2. Is 36 a factor of y(-5)?
False
Let p(t) = -11*t - 8. Let g be (-10)/15*(0 + 3) - -4. Suppose -g*b - 2 = -3*j, 0 = 2*b - 7*b - 3*j - 26. Is p(b) a multiple of 6?
True
Let y(t) = -t**2. Let o(l) = 2*l**2 - 4*l - 20. Let j(w) = o(w) - 4*y(w). Let d be j(-6). Suppose -9*c + d = -509. Is 9 a factor of c?
True
Suppose 1132228 = 193*h + 48340. Is h a multiple of 26?
True
Let a(n) = 21*n**2 - 29*n - 16. Is 70 a factor of a(12)?
True
Suppose 708*n - 20328 = 680*n. Is 66 a factor of n?
True
Let t(a) = 39*a**2 - 11*a**3 + 30*a + 10*a**3 + 2*a**3 - 30 + 7*a. Is t(-37) a multiple of 13?
True
Suppose 173*q - 277*q = -155*q + 1764396. Is q a multiple of 93?
True
Let l = 269 - 262. Suppose -l*z + 610 = -125. Is z a multiple of 15?
True
Let m(o) = -o + 97 - 104 - 3*o. Let j be m(-3). Does 8 divide (j + -6)*(-35 - 2)?
False
Suppose 6 = 5*q - 194. Suppose 0 = -22*m + 1422 + 1086. Let r = m - q. Does 13 divide r?
False
Suppose 3*s - 714 = -26*p + 22*p, 4*s + 5*p - 954 = 0. Suppose -3*v + 2*r + 2 = 0, -2*v - 3*r = 3*v + 3. Suppose -3*u + s + 150 = v. Is 11 a factor of u?
True
Let j(a) = -a**3 + 8*a**2 - 14*a + 16. Let g be j(6). Suppose -2*c = 2*v - 608, -c + 1184 = g*v - 5*c. Does 20 divide v?
True
Let q(s) = 7*s**2 + 6*s - 8. Let c(x) = x**3 - 4*x**2 + x - 3. Let m be c(4). Suppose 0 = -3*d - 3*g - 4 + m, -d + 4*g = -24. Does 16 divide q(d)?
True
Let s be (-9 + 0 + -1)*-1. Does 31 divide (2 + 3)*s/(-50)*-930?
True
Let r be 2/(-22) - (-13330)/(-22). Does 29 divide (r/24)/(5 - 705/140)?
False
Let v(r) be the third derivative of r**6/120 - 3*r**5/10 + 5*r**4/6 - 7*r**3/3 - 3*r**2 - 11. Suppose 3*o - h = 55, 2*h = -7 - 1. Is 21 a factor of v(o)?
False
Let q(a) = -12056*a + 3127. Is q(-1) a multiple of 7?
True
Suppose -152*c = -66*c - 60372. Does 20 divide c?
False
Suppose a = -5*d - 8, 0*a = 5*a - d - 90. Let p = -17 + a. Let k(f) = -f**2 + 2*f + 68. Is 20 a factor of k(p)?
False
Let y = 19 - 15. Suppose -4*t - 5 = t, 3*t = y*q - 251. Let p = q - 44. Is 18 a factor of p?
True
Let o = -17 - -14. Let q be 9/((-18)/28) - o. Let m(x) = -6*x - 36. Does 8 divide m(q)?
False
Let a(x) = 12*x**2 - 7*x + 24. Let y be a(10). Suppose -61*j = -60*j - y. Does 27 divide j?
False
Suppose -2*t + 15 = -5*z, -10 = -t - 0*t + 5*z. Suppose p - 10 = 3*i, 3*p - 3*i + t*i - 30 = 0. Is 27 a factor of 2019/15 - (-4)/p?
True
Let a = -14 + 24. Let h be 2884/10 - a/(-25)*-1. Does 8 divide -1*3*h/(-27)?
True
Let k = -90 - -92. Let y(w) = 5 + 35 + 24*w + 9*w**k - 7*w**2. Does 21 divide y(-16)?
True
Let x(g) be the third derivative of 7*g**5/60 - g**4/6 + 11*g**3/2 + 179*g**2. Is x(-5) a multiple of 57?
True
Let l be (1/(-2) + -2)*(-189 - 5). Let h = l - 93. Is h a multiple of 14?
True
Let n(m) = m**3 + 8*m**2 - 10*m - 1. Let l be n(-9). Suppose w - 10 = 2*k, l = -6*k + 2*k. Suppose 220 - 76 = w*r. Is r a multiple of 15?
False
Is 86 a factor of 25289 + (-2)/(-1) + (-70)/(8 + 2)?
True
Suppose -24*m + 6 = -25*m, -3*m - 3258 = -f. Is 5 a factor of f?
True
Suppose 9*y = -18*y - 2073 + 26481. Is 63 a factor of y?
False
Suppose -5*d = 2*r - 19594 - 6650, 26247 = 5*d + r. Suppose 25*n - 4*n - d = 0. Does 50 divide n?
True
Suppose 0*i = i + 5*w + 39, -w = 2*i + 42. Let p = 9 - i. Suppose -b + p = 11. Is b a multiple of 8?
False
Let i(u) = -6*u + 58. Let j be i(10). Does 18 divide j/10 + 2161/5?
True
Does 34 divide 9192*-10*204/(-360)?
True
Let l be (-20)/(-5) + -1 + 1. Suppose -3*f = -q + 456, f + l*f + 4*q + 777 = 0. Is f/(-3) + -1 + 8/4 a multiple of 52?
True
Let a(w) = -308*w + 5705. Does 20 divide a(-34)?
False
Let k be -1 + (6 - 2) + -3 + 3. Is (42 + -3 + (k - 3))*1 a multiple of 12?
False
Let q = 192 - 287. Does 11 divide (-44925)/q - 10/(-95)?
True
Suppose -2243*n - 50370 = -2248*n. Does 146 divide n?
True
Let g = 2461 + 451. Does 32 divide g?
True
Let h(j) = j**2 - 4*j - 5. Let m be h(5). Suppose m*k - 4*k - 16 = 0, -4*u + k + 84 = 0. Let w = 27 - u. Is w a multiple of 3?
False
Let c = 53830 + -13618. Is c a multiple of 67?
False
Let f(c) = 3*c - 36. Let j be f(13). Let q be (j/9)/((-8)/(-36))*6. Suppose 390 = q*m - 7*m. Is m a multiple of 51?
False
Let x(n) = -6*n**3 + 2*n**2 + 7*n. Let c(s) = 7*s**3 - s**2 - 7*s. Let h(p) = 5*c(p) + 6*x(p). Is 19 a factor of h(4)?
True
Let m(g) = 5*g**2 + g + 12. Suppose 0 = t + 2*d - 2 + 6, -d - 12 = 3*t. Does 44 divide m(t)?
Tr