 divide k?
True
Let b(d) = -d**2 - 4*d + 9. Let c be b(-8). Is 1*(2 - 3) + 0 - c a multiple of 6?
False
Let d(j) be the third derivative of -1/24*j**4 + 0 + 23/6*j**3 + 0*j - 1/60*j**5 - 12*j**2. Is d(0) a multiple of 23?
True
Suppose s - 4*d - 144 = 0, 0 = 5*s + 3*d - 587 - 133. Let b = s + -74. Is 10 a factor of b?
True
Suppose u + 3 - 5 = 0. Suppose 0 = 2*h - 3*h - r + 120, -2*r - u = 0. Is h a multiple of 16?
False
Let f = -17 - -22. Let l(o) = o + 8. Let h be l(-8). Suppose h = -f*x + 29 + 31. Is x a multiple of 4?
True
Let v(d) = 3*d - 8. Let c be v(8). Is 57 a factor of (c - 20) + -1 + 320?
False
Let n(a) = a - 9. Let o be n(9). Suppose -4*q + 5*y + 11 = -0*y, o = 5*q - 2*y - 18. Is 27 a factor of 26 - 0 - (-5 + q)?
True
Let z = 259 + -146. Let u = -107 + z. Is 3 a factor of u?
True
Let q = 146 - -25. Suppose 0 = -3*f + 402 + q. Is f a multiple of 19?
False
Let b = 1818 + -688. Does 16 divide b?
False
Let b = -64 - -36. Let l = 46 + b. Does 6 divide l?
True
Let w(a) = 724*a**2 - a. Does 29 divide w(-1)?
True
Let t = 62 - 55. Let x(z) = z**2 - 2*z + 3. Is x(t) a multiple of 38?
True
Let y(k) = -k**3 - 10*k**2 - 3*k + 12. Let p be 1*(32/(-4) - 3). Let w be y(p). Let m = w + -100. Is 22 a factor of m?
True
Let c(b) = 5*b - 7. Suppose 3*o = -2*o. Suppose 3*n + o*v + 5*v - 9 = 0, -4*v - 9 = -3*n. Is c(n) a multiple of 4?
True
Suppose 0 = 2*f + 3*n - 200, 0 = -4*f + n + 396 + 18. Suppose -5*u - 3*a + 100 = 2*a, f = 5*u + 4*a. Is 23 a factor of u?
True
Let f be 12/2*2*5/30. Suppose 4*c - 132 = f*v, 5*c - 179 = -v - 0*v. Is 3 a factor of c?
False
Let u(p) be the third derivative of 0 - 1/120*p**6 + 0*p - 1/8*p**4 - 1/15*p**5 + 0*p**3 + 3*p**2. Does 4 divide u(-4)?
True
Suppose 2*p - 3 = 3*w + 2, 0 = -5*w + p - 13. Let k be (3 + -2)*w + 159. Suppose 0 = -a - 3*a + k. Is 13 a factor of a?
True
Let t(f) = 20*f**2 - 12*f - 4. Does 53 divide t(-7)?
True
Let s be -3 + 76 + (-4 - 0). Let m = -235 - -385. Let o = m - s. Does 27 divide o?
True
Suppose 24510 = 59*b - 53*b. Is 147 a factor of b?
False
Let s(n) = n. Let v(p) = 4*p + 11. Let d(q) = 4*s(q) - 2*v(q). Is 10 a factor of d(-24)?
False
Suppose -23*j + 75353 - 23649 = 0. Is j a multiple of 32?
False
Let b be 2/(-12) - (-13)/6. Suppose -b*g + 21 = g. Is g/42 - 142/(-12) a multiple of 6?
True
Suppose 4*z - 16 = 2*q, 0 = 2*z + q - 6*q - 8. Suppose -2*a = -z*j - 14, 4*j = -0*a - 2*a - 10. Suppose g - 67 = -2*p, 4*g + a = 5. Is p a multiple of 11?
True
Let i(l) = -l**2 + 5*l - 5. Let b be i(4). Is 3 - (-24 - (b + 0)) a multiple of 4?
False
Does 13 divide (-4)/6*(-3081)/1?
True
Let w = 5 - 0. Let o = w + -1. Suppose -112 - 20 = -o*d. Is 11 a factor of d?
True
Suppose 0 = 29*l + l - 4620. Is l a multiple of 7?
True
Suppose 2*y - 3*l = -4*l + 7, 5*y - 16 = -4*l. Suppose 0 = -y*d, -a + 7 = -2*d - 7. Is 7 a factor of a?
True
Is (-9)/((-9)/(-2)) + 92 a multiple of 9?
True
Let c be 2/(-3) + (-172)/12. Let g be ((-4)/(-6))/(2/c). Let s(u) = -u**3 - 5*u**2 - 3*u - 3. Is s(g) a multiple of 6?
True
Let l be (-52)/(-12) - (-2 + (-7)/(-3)). Let m(b) = 11*b - 9. Is m(l) a multiple of 8?
False
Let r = 406 - -42. Does 47 divide r?
False
Suppose 0 = -2*z + 1 + 7. Suppose 3*k = 2*t + 2 - 25, t - 14 = z*k. Is 10 a factor of t?
True
Let x(k) be the third derivative of k**8/5040 + k**7/1260 + k**6/144 + 7*k**5/30 + 2*k**2. Let c(i) be the third derivative of x(i). Is c(-6) a multiple of 26?
False
Let n(y) = -4*y**2 - 17*y + 3. Let w be n(-4). Suppose -224 = -f + 2*h, -w*f + 2*f + 1165 = -h. Is f a multiple of 13?
True
Does 3 divide (-108)/5*(25/10)/(-1)?
True
Let u = -12 + 12. Suppose u = 3*k - 103 - 104. Does 23 divide k?
True
Let j be (177/9)/((-1)/(-6)). Suppose 4*k - k - j = -5*d, 4*k - 144 = -4*d. Is 31 a factor of k?
True
Suppose 4*p = -p + 10. Suppose -p*m + 0*m + 5*k = 268, -4*m + 3*k = 508. Does 8 divide 4/12 - m/6?
False
Suppose 18*r - 1404 = 2160. Does 9 divide r?
True
Suppose -v - 114 = -221. Does 32 divide v?
False
Suppose 52*w + 6380 = 72*w. Does 2 divide w?
False
Let u = 1126 + -289. Does 58 divide u?
False
Let i(f) = -f**3 + 2*f**2 + 5*f + 3. Let u be i(-4). Suppose -t + 4*r + 46 = -r, 2*t = -3*r + u. Does 8 divide t?
False
Let t = -761 - -1333. Is t a multiple of 22?
True
Let p(b) = -5*b**3 + 2*b + 2. Let d be p(-2). Suppose -7*w = -3*w + 5*i - 81, 2*i - d = -2*w. Does 7 divide w?
True
Suppose -30 = -z - 26. Suppose -5*b - q + 165 + 84 = 0, z*q - 65 = -b. Does 6 divide b?
False
Let k(w) = w + 32. Suppose 2*y + 0*y + 12 = 0. Does 5 divide k(y)?
False
Let b = -70 + 119. Suppose 47*l = b*l - 324. Does 14 divide l?
False
Is 40 a factor of 9 - 1/(-2)*1730?
False
Let n(f) = -149*f**3 - 15*f - 14. Is n(-1) a multiple of 3?
True
Let l be 15*(2 + (-32)/12). Let u(w) = w**3 + 9*w**2 - 10*w - 1. Let m be u(l). Is 8 a factor of ((-4)/(-1))/(m/(-4))?
True
Let c(s) = s**2 + 25*s + 17. Let y be c(-13). Let z = y + 331. Does 12 divide z?
True
Let u(l) = 5*l**2 + l + 4. Suppose 3*c + 2*c = 20. Let j be u(c). Let t = j + -58. Is t a multiple of 19?
False
Let u(l) = 2*l**3 - 8*l**2 - 8*l + 13. Is 25 a factor of u(7)?
False
Let p be 194/(-8) + 2/8. Let y = p - -38. Is 3 a factor of y?
False
Suppose -o = -1, 2427 = -11*v + 15*v - o. Is v a multiple of 52?
False
Let g be 1 + -1 - (-128 - 1). Suppose p - g = -27. Let f = p + -69. Is f a multiple of 17?
False
Suppose -5*i + 575 = 5*t, 0 = 2*i - 7 + 3. Does 8 divide t?
False
Let u(w) = 29*w**2 - 3*w - 8. Let c be u(-2). Let b = c + -18. Does 21 divide b?
False
Let a be 8/(-12)*3/2. Does 29 divide (-324)/(-9) - (5 + a)?
False
Suppose 0 = -w - 2*o + 12, 5*o - 2*o - 15 = 0. Suppose 3 = a + w*a. Is 5 a factor of a/(3/96) - 1?
False
Let l = -36 + 38. Suppose 2*h = 5*w - 900, 2*w - l*h = -2*w + 718. Is 47 a factor of w?
False
Let x(t) = t**2 - 2*t - 3. Let r be x(3). Is 16 a factor of (r + -13)*((-18)/(-6) - 5)?
False
Does 17 divide 685/10*(2 + 2 + -2)?
False
Let k(b) = 15*b**2 + b - 2. Let a = -39 - -41. Is k(a) a multiple of 10?
True
Let q(l) = 11*l**2 + 7*l - 5. Let y be q(2). Suppose 2*r = -u + y, -78 = -3*r - 4*u + 4. Does 10 divide r?
False
Suppose -4*z + 237 = -z + 3*b, -3*z + b = -253. Suppose 50 = f - 3*p - z, 2*p = 2*f - 270. Is 24 a factor of f?
False
Is (-5)/1*(-19)/(95/535) even?
False
Let c(v) = 2*v**2 + 40*v + 29. Let b be c(-18). Let f = 33 - -40. Let a = f + b. Is 17 a factor of a?
False
Let i = 24 + -22. Suppose 3*y = -3*k + 72, -2*k - 3*y + 45 = -i*y. Is k a multiple of 3?
True
Does 23 divide (-4)/((-8)/(-10)) - -626?
True
Suppose 4*o + n - 1 = 1, 4*o = 3*n - 6. Suppose o*x - 249 = -3*x. Does 6 divide x?
False
Suppose -7*n = -438 - 5106. Is 18 a factor of n?
True
Let w(b) be the third derivative of b**4/6 - 2*b**3 - 16*b**2. Is w(9) a multiple of 8?
True
Let i = -76 + 26. Let f = 555 - 595. Is f/i - 76/(-5) a multiple of 8?
True
Is 9 + 374 - (-4 + -3 + 5) a multiple of 55?
True
Let o = 2 + 3. Let r = 0 + 2. Suppose -y - r*y + o*n = -24, -3*y - 3*n + 24 = 0. Does 8 divide y?
True
Suppose -3*m = -5*r - 2120, 5*m + r - 2929 - 651 = 0. Is m a multiple of 11?
True
Let q(h) = -18*h - 69. Does 18 divide q(-10)?
False
Let w(t) = -7*t - 29. Does 3 divide w(-12)?
False
Suppose 14*a - 4658 = -1102. Is a a multiple of 53?
False
Is 23 a factor of 6 - (-20007)/(2 - -7)?
False
Let x = -12 + 21. Suppose 38 = -x*q + 146. Does 6 divide q?
True
Let t(m) be the second derivative of -6*m**2 + 4*m + 0 + 1/20*m**5 + 1/3*m**3 - 3/4*m**4. Is t(9) a multiple of 6?
True
Suppose 3*o = -0*o + 6. Suppose -3*k - o*k = -535. Is 6 a factor of k?
False
Suppose -5*p + 11 + 4 = 0. Suppose -p*y - 12 = -y. Let s(v) = v**3 + 5*v**2 - 6*v + 2. Is s(y) a multiple of 2?
True
Let h = -1561 + 2856. Does 7 divide h?
True
Let o(b) = 2276*b + 25. Does 13 divide o(1)?
True
Let u be 0 + 6/(-2) - (-3 + -38). Suppose 0 = 2*k + 4*c - 248, u = -2*k - 5*c + 281. Is k a multiple of 23?
False
Is (-35)/((-7)/9 - (-8)/(-36)) a multiple of 19?
False
Let n = -8 + 28. Suppose -n = 6*t - t, -4*r + 80 = -5*t. Is (7/2)/(r/30) a multiple of 5?
False
Let h be (-12 - (-8 + 4)) + 3. Let v = 39 + h. Is 5 a factor of v?
False
Suppose -4354*p + 4353*p + 1596 = 0. Is 114 a factor of p?
True
Let f = 1545 + -879. Is 37 a factor of f?
True
Let k = -83 + 417. Is 9 a factor of k?
False
Suppose -2*x - 7*r = -3*r - 232, -x + r + 119 = 0. Is