182 = 0. Is l a multiple of 31?
True
Suppose -17*i + u - 3702 = -19*i, 2*i - 3684 = 2*u. Is i a multiple of 11?
True
Let t = 50 + 10. Is 6 a factor of -10*(-8)/t*30?
False
Let s(r) = -r**2 + 15*r - 26. Let l be s(5). Suppose -q + 89 = -2*v, -3*q - 5*v = -l - 221. Is q even?
False
Let z be (-2)/((35/1092)/5). Let j = z + 890. Does 35 divide j?
False
Let s(x) = 4*x + 20. Let u be s(-5). Suppose -3*k + 231 = 5*p, -k + u*k - 5*p + 67 = 0. Is k a multiple of 41?
True
Suppose -393*x - 60456 = -622*x. Is 3 a factor of x?
True
Let d be (-16)/(-64) - (-3)/(-12). Suppose -16*k + 3552 + 2048 = d. Is k a multiple of 25?
True
Let a(q) = 2971*q - 1170. Is 144 a factor of a(6)?
False
Let b = -2 + 17. Suppose -4*y - 3*m = -0*y - b, -5 = -m. Suppose 8*u - 2*u - 252 = y. Is 14 a factor of u?
True
Suppose -4*s + 1559040 = 209*s - 45*s. Is 8 a factor of s?
True
Suppose -3*o + 9*o = -924. Let u = o - -994. Is u a multiple of 78?
False
Let o(s) = -2*s**2 + 57*s + 8. Let r be o(39). Let q = r + 2787. Does 39 divide q?
False
Let c(z) = -116*z**3 - 4*z**2 - 2*z + 2. Let y be c(-2). Suppose -5*o - q + 4*q = -4582, o - y = q. Is 90 a factor of o?
False
Let c = -19030 + 23935. Is 13 a factor of c?
False
Suppose -58*b + 56*b - 686 = -4*v, -10 = 2*b. Is v a multiple of 14?
False
Let k(z) = z**2 + 16*z + 21. Let h be k(-14). Let x be h + -534 - (0 - -1). Does 14 divide x/(-17) + (-22)/(-187)?
False
Suppose 19*v - 42 - 34 = 0. Suppose -29 = -v*j + 263. Does 4 divide j?
False
Let s(p) = 3. Let x(v) = 39*v + 1. Let f(h) = -5*s(h) + x(h). Does 38 divide f(14)?
True
Suppose 0 = -0*d + d + 10. Let n be -3*(-2)/d + (-57)/(-95). Does 13 divide (n - (-52)/(-5))*(4 - 14)?
True
Let a(c) = 11*c**3 + 55*c**2 - 145*c + 7. Is a(3) a multiple of 16?
False
Suppose -10*b - 6750 = -13862 - 48748. Is b a multiple of 147?
True
Suppose 2*b - 8 = 0, 18234 + 45228 = 5*g - 2*b. Does 3 divide g?
False
Suppose -5*z + 3300 = g - 6605, -z - 19810 = -2*g. Is g a multiple of 14?
False
Let v = 930 + -227. Suppose 0 = -7*z + v - 136. Is 3 a factor of z?
True
Let u = -45 + -15. Suppose -i - j = 47, i - 2*j + 2 = -57. Let z = i - u. Does 9 divide z?
True
Let p(u) = 134*u + 131*u - 266*u + 52. Let g(a) = -25*a**2 + 1. Let w be g(-1). Does 14 divide p(w)?
False
Let y = 1800 - 1506. Is y a multiple of 21?
True
Let l(a) = -2*a**3 - 66*a**2 + 28*a + 83. Is l(-34) a multiple of 111?
True
Suppose -m = -2*a + 1 - 20, 3*m = 15. Let g(q) = q**3 + 12*q**2 - q + 4. Is 4 a factor of g(a)?
True
Is 17/((-136)/(-16)) - (-4830 - (3 + -1)) a multiple of 59?
False
Let f(o) = 3*o**2 + 157*o + 34. Let w be f(-52). Let a be (-2)/(-7) + 229/7. Let b = a + w. Does 15 divide b?
True
Suppose -3*o + 4*o - 2 = 0. Let m(w) = o*w + 54*w**2 + 1 - 229*w**3 - 54*w**2. Is m(-1) a multiple of 19?
True
Suppose 5*q + 2*o - 4216 - 32221 = 0, -2 = -2*o. Does 56 divide q?
False
Let z be ((-2)/(1 - -1))/((-13)/(-9438)). Let s = 1032 + z. Is s a multiple of 14?
False
Suppose -4*l + 7 = -q, -3*l = -4*q + q + 6. Let p be 1/2*(1 + (l - 4)). Does 30 divide (-2 - p) + 1 - (-111 - 13)?
False
Does 40 divide ((-2400)/(-11 - -5))/(6 - 664/112)?
True
Let u(t) = t**3 - 15*t**2 + 10*t + 16. Let z be u(15). Let k = 58 + -55. Suppose -4*q + z = o, -3*o + q + k*q = -498. Is o a multiple of 15?
False
Let x(k) = k**2 + 38*k - 76. Let r be x(-40). Suppose -5*y - r*v + 110 = -91, 0 = -2*y + 2*v + 84. Does 2 divide y?
False
Suppose -2*p - 349 + 971 = 0. Suppose 119*r + 4452 = 140*r. Let z = p - r. Is 9 a factor of z?
True
Let t = 22775 + -10208. Is 9 a factor of t?
False
Suppose 5*z - 104 = 61. Suppose 2363 = 2*d + o, -z*o = d - 31*o - 1183. Is d a multiple of 95?
False
Let m(s) = 1547*s - 2122. Does 264 divide m(14)?
True
Let k(m) be the third derivative of -m**6/120 - m**5/20 - m**4/4 + 5*m**3/6 - m**2. Let z = 1982 - 1987. Is 17 a factor of k(z)?
True
Suppose 5*z + 297 = -2*r + 108489, -3*z = 5*r - 64900. Does 10 divide z?
True
Suppose -4*w - 7*i + 306 = -3*w, -5*w + 5*i + 1770 = 0. Does 3 divide w?
True
Let a = 21 + 255. Suppose -277*z = -a*z - 682. Does 36 divide z?
False
Is (64295/(-154))/(-167)*(-1)/(5/(-28906)) a multiple of 108?
False
Suppose -104*t + 109*t + 1760 = 0. Suppose 5*m - m - 2580 = -5*u, 1935 = 3*m + 4*u. Let h = t + m. Is 16 a factor of h?
False
Let v = -846 + 2083. Suppose -5*t = 5*s - 6135, 4*t + v = -24*s + 25*s. Is 12 a factor of s?
False
Let a(v) = -417*v + 850. Does 91 divide a(-8)?
True
Let y(o) be the third derivative of -7*o**5/12 - o**4/12 - o**3/2 - 3*o**2. Let g be y(-1). Does 2 divide (g/5)/(24/(-60))?
True
Suppose -2*v + 46 = -2*z - v, v - 94 = 4*z. Let a be 3*4/z - (-21)/6. Suppose 15 + 60 = a*t. Does 25 divide t?
True
Suppose -640845 = -101*z + 433896. Is 89 a factor of z?
False
Let z(k) = -2192*k**3 - 2*k**2 + k + 3. Let x be z(-1). Does 7 divide (37/(-148))/((-2)/x)?
False
Suppose 1943 = 14*w - 2313. Suppose -w*n - 1140 = -314*n. Is 19 a factor of n?
True
Let m = -10516 + 21401. Is m a multiple of 200?
False
Let g(y) = 0*y - 5 - 1 + 5*y - 6*y + y**2. Let d be g(0). Does 18 divide (d/(-27) + 525/(-54))*-10?
False
Does 5 divide 35*(-20 - (-604 - -1))?
True
Let v(a) = -2*a**2 - 3*a - 5. Let b(d) = -d**3. Let u(m) = 5*b(m) - v(m). Let w(t) = t**2 + 212*t - 2. Let i be w(0). Is 47 a factor of u(i)?
True
Let v = 13907 - 9754. Is v a multiple of 15?
False
Suppose -3 = -4*z - 3*w + 28, 45 = 5*z + 5*w. Is 11 a factor of 6 + z/(-8)*-10?
True
Let j be 8/(-3)*279/(-124). Let o(l) = 9*l**3 - 11*l**2 + 22*l - 42. Is 21 a factor of o(j)?
True
Suppose 4*r = 3*a + 209805, -398*r - 3*a - 52449 = -399*r. Does 20 divide r?
False
Let r = 3827 - 3271. Is r even?
True
Let p(h) = -4*h**3 + 20*h + 34. Does 62 divide p(-5)?
True
Suppose -10*t + 2081 = q - 11*t, -q - 4*t + 2056 = 0. Does 38 divide q?
False
Is (686/(-21))/(46/(-24633)) a multiple of 17?
True
Let a = 6843 + -4521. Does 27 divide a?
True
Let a(s) = -37*s**3 + 8*s**2 + 7*s - 18. Suppose -2*t - 3*t - 15 = 0. Is 19 a factor of a(t)?
False
Suppose 4*t - t - 5*o = 195, -3*o = -4*t + 260. Let a = 75 - t. Is 7 a factor of (a/20)/((-2)/(-188))?
False
Is (-3)/(-48) + (-1 - 1140635/(-80)) a multiple of 107?
False
Let o = -1219 - -5317. Does 49 divide o?
False
Let c(b) = -8*b**2 - 2*b + 9. Let o(f) = -f**2 + 1. Let s(j) = c(j) - 6*o(j). Let t be s(0). Suppose h - 4*w = 37, 0 = t*h + 5*w - w - 31. Does 3 divide h?
False
Let p = 4552 + -3502. Is 6 a factor of p?
True
Let a(v) = 134*v - 776. Is 38 a factor of a(16)?
True
Let z = -6 + 6. Let l be (z - 4)*8/8. Is 11 a factor of (-4)/(l/(-3)) - -74?
False
Let q(f) = 50*f**3 - 7*f**2 - 42. Let y be q(8). Suppose -y = -13*z - 5*z. Is 15 a factor of z?
True
Let t(x) = x**3 - 134*x**2 + 229*x - 3085. Is t(134) a multiple of 29?
False
Suppose -9*f + 6*f + 228 = 0. Suppose 661 = 13*q + f. Is 9 a factor of q?
True
Suppose 0 = 4*z - u - 240, -18*z - 60 = -19*z + u. Let t(j) = 27*j - 3. Let n be t(2). Let i = z - n. Does 9 divide i?
True
Let k be -30*(-7)/((-9 - -1)/(-4)). Suppose 3*i + 792 = 3*b - k, -4*i = -3*b + 901. Is b a multiple of 12?
False
Suppose 26*d - 4831 = 1149. Suppose 10*l - 1490 + d = 0. Is 18 a factor of l?
True
Suppose 20 = -4*r - 0*r, -r = 5*g + 5. Suppose -5*z + 45 - 10 = g. Let o = 21 - z. Does 7 divide o?
True
Suppose -33*b = -31*b - 1066. Suppose -251 = -7*o + b. Suppose -2*z - o = -2*s - 34, z = -5. Does 17 divide s?
True
Let z(j) be the third derivative of -5/24*j**4 + 1/12*j**5 + 11/6*j**3 + 0*j - 2*j**2 + 0. Is 11 a factor of z(-5)?
False
Suppose 6009*c = 5992*c + 13120 - 1356. Is c a multiple of 20?
False
Suppose k - 5*v = -29, 0*k + 5*k - v + 25 = 0. Is 8 a factor of (k*3)/(-6) + 6?
True
Suppose 6*q + 1402 = 1222. Is (-13675)/q - 8/(-48) a multiple of 12?
True
Suppose 11*l = 3243 + 1344. Does 37 divide 0/(-3) - (-5 - l)?
False
Let y = 5 + 31. Let r be 16/(-36) + 160/y. Suppose -2*t + 52 = r. Does 6 divide t?
True
Suppose 2*t - 2*k - 11 - 5 = 0, -2*t - 5*k - 5 = 0. Suppose t*b + 763 = 3*g, 3*b - 5 = 4*b. Is g a multiple of 7?
False
Let n = -128 - -333. Let x = -199 + n. Does 2 divide x?
True
Let n = 49 - 33. Suppose n*y = 11*y + 755. Is y a multiple of 28?
False
Suppose 0 = 2*c + 2, 0 = -60*o + 61*o + c - 4019. Is o a multiple of 16?
False
Suppose 5*k - 231 = 2*a - 0*k, -a = -3*k + 118. Let t = a + 235. Is 22 a factor of t?
True
Let t