+ 2*d. Does 10 divide d?
True
Let u = 14 + -13. Suppose 2*n - u - 61 = -5*g, 0 = -4*n - 3*g + 96. Does 21 divide n?
True
Suppose -3*w - 4*f + 295 = 0, f = -3*f + 16. Suppose -w = 7*r - 10*r. Suppose 0 = 32*k - r*k - 102. Does 24 divide k?
False
Suppose 3*f = 5*f. Let d be 8*-4 + f/(-4). Let q = -20 - d. Is q a multiple of 6?
True
Let z(c) = 61*c**3 + 12*c**2 - 4*c + 6. Does 10 divide z(3)?
False
Is (-2484)/23*2*(-14)/16 a multiple of 63?
True
Let u(p) = p**3 + 7*p**2 - 10*p + 2. Let m be u(-7). Suppose -3*d + 315 = -m. Suppose -4*g - a + 0*a = -157, -3*a = -3*g + d. Is g a multiple of 20?
True
Suppose 5*f = -5*z + 15, 3*z - 19 = -0*f - 5*f. Suppose 1325 = 5*l + 2*i, 2*i + 1345 = f*l - 0*i. Does 39 divide l?
False
Let r = -30 + 25. Let n be ((-64)/r)/((-3)/(-15)). Let m = n - 18. Does 23 divide m?
True
Let q be (-5 - -3 - -4)*4. Suppose m - q = 4*d + 101, -5*d = 25. Is m a multiple of 11?
False
Suppose -17*f + 300 = -12*f. Suppose -2*x + f + 52 = 0. Does 28 divide x?
True
Let u be -4*(27/(-4))/3. Let o = u + 4. Suppose -s = -3 - o. Does 8 divide s?
True
Suppose -16*g + 658 = -1742. Let r = g + -97. Does 53 divide r?
True
Let k(w) = w**2 - 11*w - 28. Is k(19) a multiple of 27?
False
Suppose 2*x - o + 4 = 0, -3*x - 2*o - 2*o + 16 = 0. Suppose 0*y + 2*y - 56 = x. Let i = y + -20. Does 4 divide i?
True
Suppose 14*t - 5298 - 78 = 0. Is 12 a factor of t?
True
Let d(f) = -94*f - 22. Is 12 a factor of d(-1)?
True
Let f = 274 - 31. Is 6 a factor of f?
False
Suppose -5*f + 2*q - 400 = -2445, 5*q = -5*f + 2010. Does 5 divide f?
False
Suppose -3*u + 336 = 66. Suppose -v - 2*v = 5*a + 2, -3*a = -2*v - 14. Suppose -p - 4 = -0*p, a*m - 4*p = u. Does 30 divide m?
False
Suppose -3*a - 113 = 40. Let v = 55 + a. Is v a multiple of 4?
True
Let b be ((-5)/(-3))/((-5)/(-6)). Let j = b + 245. Is 19 a factor of j?
True
Let y = -48 + 33. Let a be (y/(-6) + -1)*24. Let m = 5 + a. Does 10 divide m?
False
Let d = -82 - -86. Let i = d + 50. Is i a multiple of 3?
True
Let m = 29 + -34. Let j(g) = 2*g**3 + 13*g**2 + 6*g - 6. Does 9 divide j(m)?
False
Suppose -8*r + 20 + 188 = 0. Suppose -y - y = -r. Is y a multiple of 13?
True
Let g(p) = 5*p**2 - p. Let y be (-4)/(-14) - 23/7. Let z be g(y). Suppose -4*a = 2*h - 142, a + 0*a + 3*h = z. Is 11 a factor of a?
True
Let h(f) = -f**2 - 17*f + 11. Suppose -10 = -3*o - l, -4*o - 2*l = -2 - 8. Let v = o - 18. Does 22 divide h(v)?
False
Let l(w) = 3*w**2 + 5. Let r(f) = -4*f**2 - 6. Let n(x) = -5*l(x) - 4*r(x). Let u be n(-1). Suppose u = -2*z - 6*j + 4*j + 26, -4*j = 16. Is z a multiple of 4?
False
Let g be 7080/(-84) - 4/(-14). Let y = g - -98. Does 9 divide y?
False
Let d(y) = 2*y**2 - 15*y - 5. Let m be d(7). Is 30 a factor of (81/6)/(m/(-80))?
True
Let a(p) = -p**3 - 10*p**2 + 16*p + 4. Let x be a(-11). Let b be 308/(-12) + (-2)/6. Let k = b - x. Is 9 a factor of k?
False
Let a(h) = 6*h**3 + 9*h - 13. Is 37 a factor of a(4)?
True
Suppose -2*m - 1276 = -4*m. Is 11 a factor of m?
True
Let y = -12 - -13. Let q be 15/(-1)*y/(-3). Let j(n) = -n**3 + 8*n**2 - 7*n - 2. Is j(q) a multiple of 15?
False
Let s = -9 + 11. Let c be (-12)/8 + s/(-4). Is (-123 - -1)/c - 0 a multiple of 12?
False
Let u = -6 - -10. Suppose a - 3 = 0, u*a - 3 = 4*b + 1. Suppose p = -b*p + 9. Is 3 a factor of p?
True
Let j(y) = -3*y + 15. Let z be j(9). Is z/(-21) - (-1)/(7/290) a multiple of 21?
True
Suppose -c + 28 = 10. Let d(r) = r**3 - 18*r**2 + r - 6. Is 6 a factor of d(c)?
True
Let r(y) = 4*y**2 - y - 17. Let o be r(5). Suppose 4*b + 3*v = 2*b + 51, 3*b = -3*v + o. Is 5 a factor of b?
False
Let k(b) = b**3 + 12*b**2 + 2. Let r be k(-12). Suppose 2*z - 294 = -5*s, 7*s - r*s + 5*z = 285. Does 25 divide s?
False
Suppose -1239 = -11*w + 8*w - 3*q, 0 = -w + q + 421. Is 7 a factor of w?
False
Suppose -445 - 1025 = -10*s. Is 21 a factor of s?
True
Suppose 4*w - 132 = -r + 1407, r + 1533 = 4*w. Does 12 divide w?
True
Let n(x) = 5*x**2 + 15*x + 9. Let m be 3 - 6 - (-1 - -5). Is 26 a factor of n(m)?
False
Suppose -3*w = -19 + 7. Suppose -3*l + 5 = -w. Suppose 0 = 6*k - l*k - 36. Is 4 a factor of k?
True
Suppose 2*x = -2*y - 6 + 18, -3*x - 4*y + 21 = 0. Is 5 a factor of (-1)/x + (-380)/(-15)?
True
Let p(a) = 2*a + 24. Let c be p(0). Suppose 6*b + c = -0*b. Does 16 divide (-39 - -3 - b)*-1?
True
Does 8 divide (3 + 2)*(-12)/(-20) - -45?
True
Let b be (-2 - (-2)/2)*-20. Suppose 0 = -3*p - 0*f + f + 6, 0 = -5*p + 5*f + b. Let l(d) = 9*d. Is l(p) a multiple of 9?
True
Suppose -4*g + 0*g + 16 = 4*m, 0 = -m + 4*g - 11. Let r(t) = 5*t**3 + 3*t - 2. Is 2 a factor of r(m)?
True
Let f(s) = -3*s - 1. Let a(b) = 21*b + 6. Let c(o) = 4*a(o) + 30*f(o). Let m(x) = -x - 16. Let t be m(-11). Is c(t) a multiple of 7?
False
Suppose -3*n - 6*a = -11*a - 613, -3*n + 563 = 5*a. Is 12 a factor of n?
False
Let a be ((-2 + 14)/4)/3. Does 13 divide a/12*4*117?
True
Suppose 4*v + 6604 = -3*w + 8*w, -3*w - 2*v + 3958 = 0. Is w a multiple of 30?
True
Let m(y) = -4*y + 9. Let u(z) = 4*z - 9. Let q(f) = -4*m(f) - 5*u(f). Let x be q(-7). Let t = -23 + x. Is t a multiple of 3?
False
Let r be 11 + -10 - (-1690)/(-4)*-2. Is (-2)/14 + r/42 a multiple of 5?
True
Let u(y) = -2*y - 32. Let j be u(-14). Is 1572/9 + j/(-12) a multiple of 25?
True
Let b = -58 - -52. Suppose -5*d = 3*k - 4 - 65, -k = 3*d - 43. Let h = d - b. Is 18 a factor of h?
False
Suppose 3*j = -t + 2, 0 = 3*t + t - 5*j - 25. Let q be ((-18)/(-12) + 2)*(-20)/(-7). Suppose 0 = t*x - q*x + 20. Does 4 divide x?
True
Let z(j) = 7*j + 46. Let m be z(22). Suppose 4*x = -2*c + m, 3*c - 105 - 145 = -5*x. Does 8 divide x?
False
Suppose 5*l - 30 = -0*l. Suppose 15 - l = 3*m. Suppose 5*p = i - 49, -p + 2 + m = 0. Is i a multiple of 18?
False
Let u = -59 - -69. Is u a multiple of 10?
True
Let h = 8 - 106. Let y = h + 190. Is 16 a factor of y?
False
Suppose 3*l = -2*l + 4*v - 3724, -l + 4*v = 748. Does 27 divide (-8)/(-44) - l/22?
False
Suppose 4*y = -t - 45, 2*t - y + 3*y = -84. Let b be (4 + -16)/3*7. Let s = b - t. Does 13 divide s?
True
Suppose -2*j + 6 = 0, -2*j + 134 = 2*h - 88. Is 18 a factor of h?
True
Let j = -561 - -983. Does 11 divide j?
False
Is 87 + (-1)/1 - -2 a multiple of 3?
False
Let p = -51 + 50. Is (672/(-18))/(p/3) a multiple of 16?
True
Suppose 3490 = 2*p + 2*h, -19*p = -14*p - 3*h - 8693. Does 19 divide p?
False
Let v = 1144 - -104. Does 48 divide v?
True
Let a(r) = -77*r**3 + 3*r**2 + 2*r. Let d be a(-1). Suppose 78 = 6*n - d. Does 4 divide n?
False
Let w = 250 - -438. Is 43 a factor of w?
True
Suppose 1600 = -54*u + 59*u. Does 20 divide u?
True
Let a(z) = z**2 - 8*z - 5. Let n(c) = -c**2 + 9*c + 6. Let w(u) = 5*a(u) + 6*n(u). Let i = 43 - 34. Does 15 divide w(i)?
False
Let r be ((-36)/(-27))/((-2)/12). Let x(c) = c**3 + 12*c**2 + 14*c + 17. Is 15 a factor of x(r)?
False
Let k = -14 - 7. Let d = k + 70. Is (-306)/(-7) - (-14)/d a multiple of 11?
True
Let b be (38/57)/((-2)/(-45)). Is 5*2/6*b a multiple of 6?
False
Let t(n) = 2*n**2 - 11*n + 3. Let z be ((-4)/(-6))/((-4)/(-54)). Is 34 a factor of t(z)?
False
Let m = 73 + 19. Does 19 divide m?
False
Let b(z) = 11*z**2 - 13*z + 60. Does 34 divide b(7)?
False
Let g(z) be the third derivative of z**6/120 + z**5/12 + z**4/12 - 4*z**2. Let f be g(-2). Let x = f - -10. Does 6 divide x?
True
Let d(c) = -7*c + 4 + 0*c - c. Does 15 divide d(-4)?
False
Let h(x) = 4*x. Let r(j) = j**3 + 6*j**2 + 5*j - 1. Let o be r(-5). Let c be h(o). Is c/(-10) + (-436)/(-10) a multiple of 13?
False
Suppose -94 = 5*i - 6*i - 4*v, -3*i = v - 282. Does 5 divide i?
False
Suppose -75*m + 16 = -71*m. Suppose 3*h + 5*p + 0*p = 49, 4*h - 76 = m*p. Is h a multiple of 5?
False
Let d(b) = 10*b - 12. Suppose h = -2*i + 15, h + 5*i = 5*h - 21. Let s be d(h). Let n = -34 + s. Is n a multiple of 24?
False
Suppose -7*s + 8*s = 561. Does 33 divide s?
True
Let p = -1 + 4. Suppose -5 = -p*k + 1. Suppose k*q = q + 16. Is q a multiple of 16?
True
Let i(t) be the third derivative of -t**4/8 - 5*t**3/6 - 2*t**2. Let p be i(-5). Suppose -5*a + 130 = p. Is 8 a factor of a?
True
Let b(u) = u**2 + 11*u + 9. Let k be b(-10). Does 40 divide 45*k/3*-3?
False
Let y = 5 + -4. Let o be 2 - (y - (1 + 0)). Suppose 19 = o*v - v. Does 8 divide v?
False
Suppose 15 = 3*c - 3. Let b be 1*(-402)/(-21)*7. Suppose -5*h + 2*m = c*m - 333, -2*h - 2