13607 = -6*l. Is l a multiple of 21?
True
Let z = -7 + 11. Suppose z*a - 39 = y + 46, 5*a - 102 = -3*y. Suppose 2*r = 2*n - 2, 0*n + 3*r = -n + a. Does 6 divide n?
True
Suppose 29*i - 17768 = -1325. Is i a multiple of 27?
True
Suppose 2*i = -3*x + 10, 0*i + i = x. Let g be (-552)/(-20) - i/(-5). Suppose -q + g + 7 = 0. Does 11 divide q?
False
Is 9 a factor of (6804/315)/((-3)/(-340))?
True
Is 14 a factor of (-595)/2*(2 + (-14)/5)?
True
Suppose -d = 4*h - 0*d - 19, -h - 4*d - 14 = 0. Suppose h = -5*n + 211. Is 6 a factor of n?
False
Suppose 5*g + g - 432 = 0. Suppose 3*x - g = -4*z + 2*x, 0 = 4*x. Does 3 divide z?
True
Let t(g) = g**3 - g**2 + 2*g + 33. Let k(s) = -s**3 - 5*s**2 + s + 5. Let j be k(-5). Is 3 a factor of t(j)?
True
Let a(c) = -3*c + 12. Let n be a(9). Let j be -35*(1 + 78/n). Let w = -93 + j. Is w a multiple of 27?
True
Suppose -3*f + 63 = 3*i - i, f = -3*i + 98. Is i a multiple of 6?
False
Suppose -2*b = -0*b + 20. Is ((-36)/b)/((-21)/(-490)) a multiple of 12?
True
Is (152/(-28))/((24/(-21))/8) a multiple of 19?
True
Let x = 697 + -429. Let y = 380 - x. Suppose -4*v = -0*v - y. Does 14 divide v?
True
Let m(d) = -d**2 - 7*d - 2. Let k be m(-7). Is 10 a factor of -19*(3 + k)/(-1)?
False
Let r(z) = 14 - 4*z + 3 + 7*z. Does 11 divide r(9)?
True
Suppose 5*h - 3625 = 5*t + 9340, -h - 3*t = -2581. Is 14 a factor of h?
True
Suppose -26*j - 18*j = -23452. Is j a multiple of 21?
False
Let j be ((-60)/(-40))/(0 + (-6)/(-20)). Let p(d) = 46*d + 28. Does 23 divide p(j)?
False
Let g = -1174 + 2025. Is 8 a factor of g?
False
Suppose 226*m - 219*m = 5439. Does 21 divide m?
True
Let d(a) = 141*a**3 - 3*a**2 + 6*a - 4. Is 40 a factor of d(2)?
False
Let p = -37 - -37. Suppose 5*j + 5*m - 520 = 0, p = j - m - 2*m - 124. Is 11 a factor of j?
False
Let m(o) = -o**3 - 5*o**2 + 12*o - 13. Let v be m(-7). Is ((0 + v)*-3)/(3/(-44)) a multiple of 3?
False
Let q = 57 - 36. Suppose 2*c + 22 = 2*f + 2, f + 5*c - 22 = 0. Let n = q + f. Does 11 divide n?
True
Let a(d) = 63*d - 19. Let o(c) = -31*c + 9. Let h(v) = 4*a(v) + 9*o(v). Is h(-3) a multiple of 43?
True
Suppose 0 = -2*y + 2*n - 4, 0 = -2*y + 2*n - n + 1. Suppose -p - y*p + 827 = -o, 4*o - 852 = -4*p. Let c = -148 + p. Is 20 a factor of c?
True
Let c = 1 + 8. Suppose v + 2*v - c = 0. Suppose -56 = -4*f - t, -f = -v*f - t + 30. Does 13 divide f?
True
Let f be (-1)/2 - (-207)/18. Let r(c) = c - f - 2*c + 4*c. Does 19 divide r(10)?
True
Suppose -3*j = 2*x - 14, 0*x - 16 = -4*x. Suppose 0*z - 10 = -j*z, -2*z = -2*t + 228. Is t a multiple of 17?
True
Suppose 0 = 5*f + 20 - 95. Suppose f*p - 1870 = 4*p. Is 12 a factor of p?
False
Is 16 a factor of (-6)/4*280550/(-465)?
False
Let l(t) = -2*t**3 - 15*t**2 - 38*t + 7. Is l(-9) even?
True
Let v(p) be the first derivative of -p**4 - p**3 - 3*p + 18. Is 13 a factor of v(-3)?
True
Let y(r) = 10*r**2 - r + 2. Let a be y(-2). Let b = 11 + a. Is 11 a factor of b?
True
Let p(a) = a**2 - 15*a + 17. Let j be p(14). Let n(r) = 2*r**2 - 4*r. Let w be n(4). Suppose 2*y + w = j*y. Does 16 divide y?
True
Suppose 38*z - 44*z + 858 = 0. Is z a multiple of 13?
True
Let r be (1 - 3) + 1 - -21. Is 2 a factor of 16/r - 64/(-20)?
True
Suppose 0 = -5*v - 35 + 845. Let s = v + -71. Is 13 a factor of s?
True
Suppose 5*j - 3*c = 2*c + 15, -j = -5*c - 7. Suppose 2 = j*i, 4*u + u + 2*i - 1157 = 0. Is u a multiple of 33?
True
Let f = -34 + 33. Let k be (f + 3)*(-903)/(-42). Suppose s = 2*c - 185, s - 57 = -c + k. Does 19 divide c?
True
Is 47 a factor of 313 + (2/(-3))/(3/(-18))?
False
Suppose 2*u + 5 = 35. Suppose -u = -9*l + 4*l. Suppose -l*s = -s - 56. Is 7 a factor of s?
True
Suppose -4*m + 0*m - 12 = 4*n, m = -3*n - 13. Suppose -5*h = q + m*q - 828, 3*h = -4*q + 488. Is 8 a factor of h?
True
Let m = 51 - 45. Suppose 5*h - m*h - 104 = -k, k - 119 = 4*h. Does 8 divide k?
False
Let v = 64 + -121. Let s = v - -211. Is s a multiple of 11?
True
Let p(h) = 3*h - 8. Suppose -2*r + 4*w - 10 = 0, r + 0*r + 3*w = 15. Let d(y) = -y**3 + 5*y**2 - 4*y + 4. Let l be d(r). Is p(l) a multiple of 11?
True
Let y(z) be the first derivative of 2*z**3 - z**2/2 - 7*z + 13. Is y(5) a multiple of 46?
True
Suppose -5*i = -3189 + 719. Suppose 5*h - 179 + i = 4*m, 3*h = 2*m - 157. Does 16 divide m?
True
Let i = 187 - 120. Does 10 divide i?
False
Let u(n) = n**3 + 10*n**2 + 15*n + 1. Let l be u(-7). Let o = 48 + l. Is o a multiple of 12?
False
Let t(u) be the third derivative of 7*u**4/12 + 13*u**3/6 + 5*u**2. Suppose -2*x + 3*r + 2*r + 1 = 0, 4*r + 4 = 2*x. Does 35 divide t(x)?
False
Let l(a) = -a**3 - 14*a**2 + a. Let n be l(-13). Let g = 350 + n. Does 21 divide g?
True
Let r = 106 + -225. Let t = r - -309. Is t a multiple of 10?
True
Suppose 0 = 52*a - 824 - 1256. Is 3 a factor of a?
False
Let j(m) = 27*m - 10. Suppose -u = -0*u - 6. Is 38 a factor of j(u)?
True
Suppose -536 = 9*d - 2984. Let q = d - 142. Is 26 a factor of q?
True
Suppose 0 = -v + 2*v + 5*f + 5, -4*v + 3*f + 26 = 0. Let m be v/(-10)*18/(-3). Does 3 divide 4 + m - (1 - 0)?
True
Let m = -215 - -401. Is m a multiple of 6?
True
Suppose k = -2*k + 3*c + 1491, -5*c + 1943 = 4*k. Is 41 a factor of k?
True
Let r(n) = 107*n - 3. Let x be r(2). Let h = 327 - x. Does 29 divide h?
True
Let r be (2 - 2) + 2 + 178/1. Let b = r + -100. Does 10 divide b?
True
Let b = 166 + -168. Let i(a) = 1. Let w(c) = 29*c + 5. Let k(s) = 2*i(s) - w(s). Is k(b) a multiple of 11?
True
Let l(n) = -3*n**3 + 17*n**2 - 3*n + 11. Let b be l(5). Suppose b - 6 = 5*d. Is d a multiple of 8?
True
Let s(w) = 5*w**2 + 19*w + 59. Is 62 a factor of s(-15)?
False
Let f(a) = -29*a + 53. Let w be f(8). Let z = 339 + w. Does 40 divide z?
True
Suppose 5*w - 21 = -1. Suppose 0 = -w*c + 4*l + 112, 4 = 3*l - l. Is c a multiple of 15?
True
Let q(u) = -u**3 - 37*u**2 - 86*u + 52. Is q(-35) a multiple of 34?
True
Suppose 0 = -26*m + 494 + 1716. Is m a multiple of 13?
False
Let f(k) = 638*k - 77. Does 8 divide f(1)?
False
Let w(r) = -6*r**2 + 233 + 2*r + 9*r**2 - 2*r**2 - r. Is 24 a factor of w(0)?
False
Let m be (-23)/(-6) - 2/(-12). Suppose 28*j - 13 - 43 = 0. Suppose 9 = -g - m*z + 26, -5*z - 34 = -j*g. Is 6 a factor of g?
False
Let c be 27/5 - 14/35. Suppose 20 + 0 = c*u. Suppose -w + u*g + 19 - 1 = 0, -2*w = g - 27. Is 14 a factor of w?
True
Is 3299 - (-4 + -8 + 5) a multiple of 57?
True
Suppose -y + 4*j = -6 + 19, 4*j + 5 = -y. Let i = y + 21. Is 12 a factor of i?
True
Let f = 66 + -62. Suppose -s - f*s = -175. Does 11 divide s?
False
Suppose -29*t = -116*t + 153294. Is t a multiple of 15?
False
Suppose -u - 113 = -2*v - 8, -4*v = 3*u - 205. Is v a multiple of 2?
True
Suppose -3*q = 2*x + 101, x + q + 27 + 22 = 0. Is (-1*2)/(1/(x/4)) even?
False
Suppose -4*i - 310 = -5*x, -3*x + 2*i = -102 - 86. Suppose -x - 34 = -2*t. Is 3 a factor of t?
False
Suppose 50 = 2*n - 6. Suppose 0 = -4*a - 5*g + 41, 5*a + g - n = 2*a. Suppose a*h - 5*h - 80 = 0. Is h a multiple of 3?
False
Let b(c) = -7*c - 4. Let g be (-1 + -4 - -6)/(1/(-6)). Does 19 divide b(g)?
True
Let p = 195 - 141. Is 6 a factor of p?
True
Let m = -59 + 59. Let q(v) = -2*v + 1. Let j be q(-1). Suppose j*d + 2*t - 71 = -0*t, m = -2*d + 3*t + 30. Does 8 divide d?
False
Let b(t) = 1. Let v(y) = -12*y + 13. Let u(o) = -6*b(o) + v(o). Let g be u(-6). Suppose -4*m = -6*m - 2, 0 = -4*a - m + g. Does 5 divide a?
True
Suppose -11*y = -15*y - 72. Let f = y + 30. Is 6 a factor of f?
True
Let l(k) = k**3 + 6*k**2 - 4*k - 14. Let y be l(-6). Let a be (16/(-20))/((-4)/y). Suppose 60 + 14 = a*i. Is 12 a factor of i?
False
Let l be (22/33)/((-2)/(-9)). Suppose 0*k = l*b + 3*k, -15 = -b + 4*k. Does 11 divide (-47)/((6 - b)/(-3))?
False
Let i be (-18)/4*4/(-3). Suppose -5*s - z - 2 = 0, -z - 2*z = -4*s + i. Suppose s*j = -4*j + 212. Is 11 a factor of j?
False
Let b = 446 + -373. Does 16 divide b?
False
Let o(x) = -6*x + 19. Let k(r) = 12*r - 39. Let p(f) = -4*k(f) - 9*o(f). Is p(4) a multiple of 9?
True
Suppose -2*o = -x - 12, -x - 3*o + 4 - 26 = 0. Let i = x - -19. Is 13 a factor of (-1 + 10)/(1/i)?
False
Let p = 130 - 22. Is 12 a factor of p?
True
Let t(o) = -3*o + o**2 - 4 + 3 + 6. Let l = -1 + -3. Does 22 divide t(l)?
False
Suppose -5*o = -5*m + 5, -2*m + 6 = 2*m - 5*o. Does 15 divide 2 - -2 - (-37 - m)?
False
Let x = 20 - 17. Suppose -i - 5*h = 22, x*h