 - v = 11*c. Is c a multiple of 15?
True
Suppose 3 - 3 = -5*l. Let z = -27 - l. Is (-114)/z - 4 - 538/(-9) a multiple of 15?
True
Suppose 47535 = 20*v - 3225. Suppose 0 = -6*f + 882 + v. Does 30 divide f?
True
Let v(w) = w**3 - 3*w**2 - 3*w + 5. Let j be v(4). Suppose 0 = 4*t - 4*z - 492, -j*z = -4*t - 10*z + 477. Is t a multiple of 20?
True
Let p = -3083 + 4530. Does 2 divide p?
False
Suppose -55*o - 211 = -5*k - 54*o, 3*k + 2*o = 124. Is k even?
True
Suppose 0 = 4*y - t - 61783, 4*y + t = -0*t + 61769. Does 52 divide y?
True
Suppose -f + 2164 = m + 233, -1923 = -f - 3*m. Does 30 divide f?
False
Suppose -5*d - 2*h + 11249 = 0, -3*h - 10321 - 943 = -5*d. Let r = d - 1565. Is r a multiple of 59?
False
Let h = 14586 - 13297. Is h a multiple of 23?
False
Let b(v) = -48*v - 2. Let h be b(-1). Let n = 83 - h. Is n a multiple of 15?
False
Let z = 577 + -292. Suppose 1100 = -280*a + z*a. Is a a multiple of 5?
True
Suppose 3*i + 350 = z, 2*i - 3*z + 234 = -2*z. Let b = i - -120. Suppose -6*j = b*j - 700. Is 35 a factor of j?
True
Suppose 36*b - 3*i + 7292 = 37*b, 4*b - 29220 = i. Is b a multiple of 22?
True
Suppose -2*n = -2*a + 356, a + 930 = 6*a + 5*n. Suppose 1150 = 4*z - a. Is z a multiple of 37?
True
Let h(g) = g**2 - 1. Let m(k) = -10*k**2 + 0*k - 6 + 14*k**2 - 11*k**3 + k. Let s(d) = 4*h(d) - m(d). Is 13 a factor of s(2)?
False
Let p(w) = 359*w**2 + 1. Let r be -3 - (-8 - 2 - -6). Does 20 divide p(r)?
True
Suppose 10*b - 9*b = -5*f + 8031, -2*f + 4*b = -3208. Does 48 divide f?
False
Let m be (0 - 4) + (-11 + 5 - -10). Suppose m = -4*x + 2*t + 926, 3*x + 0*x = 3*t + 699. Is x a multiple of 10?
True
Suppose 10*f = 13*f + 21. Let g(m) = -4*m + 3*m - 8*m + 11 - 2. Is g(f) a multiple of 9?
True
Let l(b) = -250*b + 586. Is 66 a factor of l(-23)?
True
Suppose 0 = -4*x + 2*i + 1880, -5*x - 4*i - 484 = -6*x. Suppose k = 5*k, -4*c + 5*k + x = 0. Does 34 divide c?
False
Let r be (-2 - 3) + (-4598)/(-11). Suppose -72 = -c + r. Is 38 a factor of c?
False
Suppose -4*s = -6*s + 6. Let t(r) = -23 - 22*r**s + 28*r + 23*r**3 - 23*r**2 - 3. Does 15 divide t(22)?
False
Let z(m) = 15*m**2 + 322*m + 61. Does 21 divide z(-37)?
False
Suppose 5*i + 63519 = w, 5*w - 8*w = i - 190509. Is w a multiple of 252?
True
Suppose 13*m = 3473 + 7837. Is m a multiple of 11?
False
Suppose 2*s + 3858 = -5426. Suppose -3*z - 5*y - 85 = 0, -y + 926 - 931 = 0. Does 16 divide s/z - (-4)/(-40)?
False
Suppose -9*t + 210 + 42 = 0. Suppose 33*u + p - 39 = t*u, 4*p - 9 = u. Is 4 a factor of u?
False
Suppose -3*v + 6 = 0, 2*p - 16*v + 224 = -19*v. Let j = -107 - p. Is 8 a factor of j?
True
Let o(g) = g**2 - g - 4. Let h be o(3). Suppose 5*p = y - 6, -5*p + h*y = 4*y + 18. Is -2 - ((p - -1)*122 + 0) a multiple of 8?
True
Suppose n - 249 = -4*a, 5*n + a - 881 = 288. Let o = n + -152. Is 15 a factor of o?
False
Suppose -744 = -g + 7*g. Let r = g + 128. Suppose r*i - 564 = 204. Is i a multiple of 12?
True
Is 7 + (-4778284)/(-112) - (-10)/(-8) a multiple of 53?
False
Let r(q) = 10*q**2 + 11*q - 15. Let s be r(11). Suppose 3*p - 2*x = -x + s, 2205 = 5*p - 4*x. Is p a multiple of 28?
False
Let y(t) = -12*t**2 - 3*t - 11. Let i be y(-3). Let j = 288 + i. Is j a multiple of 13?
False
Let x(t) = t**3 - 7*t**2 - 8*t + 4. Let h be x(8). Does 21 divide (0 - -33)/(6/384*h)?
False
Let j = 6949 - -1051. Is j a multiple of 16?
True
Let v(o) = -o**3 + 17*o**2 - 27*o + 25. Let h be v(11). Let r = -150 + h. Is r a multiple of 38?
True
Let z(d) = d**3 - 8*d**2 + d - 3. Let a be z(8). Suppose 2*j = x + 127 + 70, a*x = -5*j + 530. Suppose u + 90 = j. Is u a multiple of 5?
False
Suppose 122*n = 111171 + 44989. Is n a multiple of 40?
True
Let h = 15457 + -9326. Does 10 divide h?
False
Suppose -2*x - 8 = 0, -4*x - 1297 = -3*h - 6*x. Suppose 3*f = -18*u + 17*u + h, 4*u = -5*f + 732. Is 24 a factor of f?
True
Suppose -3*b - 1098 = 3*q, -4*b - 1870 = b - 5*q. Let r be (-6)/(-4) + b/(-4). Let h = 140 - r. Is h a multiple of 20?
False
Is ((-2925)/(-6))/(-65)*(-6244)/6 a multiple of 5?
True
Suppose -2*b = 2*p - 8170, 356*b = 357*b - 3. Does 51 divide p?
False
Let l(r) = 22*r**2 - 102. Is 73 a factor of l(-12)?
True
Let h = 4628 - -57073. Does 15 divide h?
False
Let l be (-3)/(-4) - 13/(-4). Suppose 3*n - 128 = -4*u, 0*u + 5*n + 128 = l*u. Suppose u = 3*d + q, q - 8 = -3*q. Does 3 divide d?
False
Let x be (1 - 1/1)/(204/68). Suppose 0 = 3*y - 49 + 19. Let q = x + y. Is 4 a factor of q?
False
Suppose 56*c + 602330 = -47*c + 134*c. Is 29 a factor of c?
True
Let u(a) = a**3 - 49*a**2 + 207*a - 25. Is u(49) a multiple of 87?
False
Let g be 3 + -1 + (-36)/(-2 + 3). Let h = -34 - g. Suppose h = 12*t - 8*t - 216. Is 9 a factor of t?
True
Let i(z) = 126*z + 1870. Is 81 a factor of i(7)?
False
Is (-179 + 369)*898/20 a multiple of 265?
False
Let v(n) = -149*n - 310. Is v(-79) a multiple of 56?
False
Suppose 76 = 5*l - 2*b, 12*l = 11*l - 2*b + 32. Is l even?
True
Let k = 9 - 16. Let i(q) be the first derivative of -q**3/3 - 6*q**2 - 15*q + 6. Does 3 divide i(k)?
False
Let j(p) = -11*p - 94. Let u be j(-9). Suppose -t = -k + 216 + 246, 4*k + u*t - 1803 = 0. Is k a multiple of 42?
False
Let j(b) = b**3 - 73*b**2 - 195*b - 414. Is j(76) a multiple of 3?
True
Does 12 divide 2519*(21 + 1)/(0 - -2)?
False
Let c(l) = l**2 - 14*l - 1. Suppose 59*f = 60*f - 13. Let t be c(f). Does 41 divide ((-2)/7 - (-10)/t)*-46?
False
Is (-26)/1 + 11 + 4917 a multiple of 22?
False
Let u = -2028 - -2553. Does 4 divide u?
False
Suppose -4*k = 4*z - 27444, -9459 + 43824 = 5*k - 5*z. Does 9 divide k?
True
Let z(o) = 3*o**3 + 75*o**2 + 74*o + 28. Let v be z(-24). Suppose -k = -3*s + 4*k - 127, -2*k = -s - 41. Let m = v - s. Is 9 a factor of m?
False
Is (27/(-450)*20)/((-3)/32200) a multiple of 8?
True
Let a(v) = 18 - 36*v + 10 + 103*v + 110*v. Is 21 a factor of a(6)?
False
Suppose -2*i + 4*j = 2462 - 11484, 2*i = -2*j + 9004. Does 18 divide i?
False
Let g(t) = 3*t**2 - 13*t + 8. Let v be g(-10). Let d = -216 + v. Suppose -q + d = 5*q. Is 7 a factor of q?
False
Let t = 128729 + -61849. Does 38 divide t?
True
Let t(y) = 5*y**2 - 39*y - 74. Let c(b) = -2*b**2 + 13*b + 25. Let m(f) = -8*c(f) - 3*t(f). Let x be m(-12). Is 28 a factor of (28 - 3) + x + -7?
True
Suppose 2*j - 4*y = 34, 15*j = 10*j + 5*y + 60. Suppose -j*r + 860 = 69. Does 6 divide r?
False
Suppose -11082 - 8790 = -48*z. Does 3 divide z?
True
Let w(i) = -12*i + 86. Let v be w(-30). Let k = v - 132. Is k a multiple of 7?
False
Let j(k) = 3*k - 33. Let t be 1854/36 + (-10)/(-4). Suppose -2*x + t - 22 = 0. Is j(x) a multiple of 3?
True
Suppose -60 = -x - 53, -2*c + 5*x + 5925 = 0. Does 12 divide c?
False
Let p(f) = 4*f**2 + 19*f + 24. Let w be p(10). Suppose 4*g - 2*h + 317 - 1549 = 0, 2*h = 2*g - w. Does 34 divide g?
False
Let y be 7 - 2 - -189*(-21)/9. Let r = 83 - y. Is 80 a factor of r?
False
Let d(x) = -5*x**2 - 303*x - 92. Is d(-46) a multiple of 71?
True
Let p be 4936/(-6)*3*(-5)/10. Suppose -2*r + 4*s + p = 0, 0 = 2*r + 9*s - 6*s - 1269. Does 11 divide r?
True
Let k = 15417 - 8394. Does 17 divide k?
False
Let g(u) = 60*u**3 + 13*u + 58. Does 33 divide g(5)?
True
Is (43/3)/(10/105*(-33)/(-2046)) a multiple of 217?
True
Let m = 89 + -85. Is ((-383)/(-2))/(m/8) a multiple of 67?
False
Let x = 11621 - 6107. Does 13 divide x?
False
Let n = 31 - 27. Suppose n*j + 4*r = 3*r + 384, -j = -r - 91. Suppose -126*t + 121*t + j = 0. Is t a multiple of 2?
False
Let y = 26 - 214. Let k = 295 - y. Does 21 divide k?
True
Let v(f) = -24*f - 11. Let g be v(-2). Suppose -7*p = g*p - 23628. Is 22 a factor of p?
False
Suppose 9*j + j - 50 = 0. Let o(i) = i + 55. Is 18 a factor of o(j)?
False
Suppose 2*k - 3*l + 13 = -320, 162 = -k + 3*l. Let r = k + 205. Is 34 a factor of r?
True
Let t = 18 + -16. Suppose 3*y = -z + t*z - 29, 4*z - 4*y - 116 = 0. Is 22 a factor of z?
False
Suppose 0 = 2*j - j - 4. Suppose 5*h = j*l - 53, 0 = -7*l + 4*l + 2*h + 45. Is l/(68/240) - 0 a multiple of 12?
True
Let x(p) = -p**3 - 6*p**2 - 13*p + 16. Let u = 339 - 347. Is 7 a factor of x(u)?
False
Let w(k) = -144*k + 4534. Is w(-133) a multiple of 13?
True
Suppose 89*l - 670 = 84*l. Let a = l - 78. Does 7 divide a?
True
Let r(o) = -3*o + 46. Let a(k) = k - 23. Let p(c) = 13*a(c) + 6*r(c). Let t = 64 - 77. Is 6 a factor of p(t)?
True
Suppose 3*