k(2). Suppose -p = -3*z - 4*z. Does 28 divide z?
False
Suppose 0 = -2*n + 4*n + 16. Let g be (n - -10)/(1/25). Suppose 5*y + 0*y = g. Is y a multiple of 2?
True
Let j = -3293 - -6417. Is j a multiple of 22?
True
Is 16 a factor of ((-72)/(-5) - 0)/((-732)/(-26840))?
True
Let z = 4760 + -2240. Is 88 a factor of z?
False
Let b(v) = -v**3 - 4*v**2 + 3*v - 6. Let h be b(3). Does 10 divide 1/(3/h)*-2?
True
Suppose 12*d + 0*d - 228 = 0. Does 11 divide d?
False
Is 32 a factor of ((-933)/(-4))/(1*9/36)?
False
Suppose -6*o + 3*o = -27. Suppose 12*r - o*r = -24. Is (2/4)/(r/(-192)) a multiple of 4?
True
Suppose z - 5*z + 20 = 0. Suppose z*u + 2 = 2*a - 20, -5*u - 28 = -3*a. Is a/15 - 1278/(-30) a multiple of 15?
False
Suppose -3*o + 3*g = 30, -g = -4*o + 2*o - 22. Let i be (-15)/(-25) + o/(-5). Suppose -i*z - 2*z + 52 = 4*x, -4*x - z = -68. Is 10 a factor of x?
False
Suppose -2*w = -4*c - 8, 2*c - 3*w = -0 - 4. Is 3 + (-723)/(-6) - (-1)/c a multiple of 41?
True
Let m(k) = 5*k**2 + 41*k - 18. Is m(-14) a multiple of 19?
False
Let i = -644 + 1096. Is 21 a factor of i?
False
Suppose 0 = -11*y + 13*y + 20. Is 20 a factor of (-1 - 5/y)/((-1)/90)?
False
Suppose -4*b + 548 = 3*u, -5*u + 1086 - 188 = -b. Does 9 divide u?
True
Let f(o) = -o**3 - 6*o**2 + 7*o + 5. Let v be f(-7). Suppose 2*q = -v*z - 0*q + 288, 2*q + 118 = 2*z. Is z a multiple of 18?
False
Suppose 3*b - 6 = 3, 3*b + 231 = -5*f. Let h = -35 - f. Is h a multiple of 2?
False
Let k be 4 - (12 + -4) - -7. Let c = k + 3. Suppose -10*o + c*o + 176 = 0. Is 13 a factor of o?
False
Let a(d) be the second derivative of d**3/3 + 7*d**2 - 9*d. Let f(r) = 6*r + 43. Let o(s) = 11*a(s) - 4*f(s). Is o(-15) a multiple of 4?
True
Suppose 84*m - 96*m + 4512 = 0. Does 94 divide m?
True
Suppose -g - 4 = -7. Let q(k) = 65*k - 19. Is q(g) a multiple of 44?
True
Suppose -6*z - 1500 = -5820. Is z a multiple of 45?
True
Does 24 divide ((-2)/(30/55))/(2/(-222))?
False
Suppose 0 = -10*z - 56*z + 24684. Does 19 divide z?
False
Suppose -5*r = -h - 43, h = -3*h + 8. Suppose 4*k - 67 = r. Suppose 2*m - 21 = -2*m - 5*w, k = 4*m + 3*w. Does 4 divide m?
True
Suppose -8 + 2 = -d. Suppose 15 = d*m - 5*m. Is m a multiple of 3?
True
Suppose -n = 5*r - 152, 8*r + 8 = 4*r. Is n a multiple of 18?
True
Suppose c = -5*w + 2*w - 30, -w + 5*c = -6. Let f be (-2)/w + (-96)/(-54). Suppose f*k + 5 = 3*a - 3, -4*a - 4*k = -44. Is a a multiple of 6?
True
Let i(r) = r**3 - 20. Let m = -12 + 12. Let f be i(m). Is f/(-3)*36/30 a multiple of 8?
True
Suppose 0 = 4*z + m - 8261, 2*m = -2*z + 5*m + 4127. Does 20 divide z?
False
Let t = 781 + -738. Does 28 divide t?
False
Let j = 413 + -143. Is 61 a factor of j?
False
Let j = 894 - 606. Is 72 a factor of j?
True
Let b(r) = 5*r**2 + 10 - 4*r + 2 - 13. Is b(4) a multiple of 21?
True
Let x = 13 - 6. Let a(s) = s - 1. Let p(c) = c + 9. Let z(i) = -2*a(i) + p(i). Does 4 divide z(x)?
True
Let c(v) = -v - 2. Let y be c(-12). Let b be (2/y)/(13/65). Let t(o) = 14*o**2 - 1. Is 5 a factor of t(b)?
False
Suppose 0 = 3*k - 2*i, -i = -2 - 1. Suppose 15 = -3*v, k*s = s + 5*v + 25. Suppose g + s*g = 13. Does 13 divide g?
True
Let u(t) = 8*t - 1. Let h be u(5). Suppose 0 = 3*q - 15 + h. Is q/(-5)*(-25)/(-10) a multiple of 3?
False
Is 22*(-1)/(-8)*6080/20 a multiple of 20?
False
Does 9 divide (210/10)/((-2)/1216*-6)?
False
Let t(y) = -107*y + 1. Let n be t(-1). Let p(d) = -d + 1. Let a be p(-2). Suppose 0 = w + a*w - n. Does 18 divide w?
False
Let c(z) = 2*z**2 + 31*z + 13. Let d(v) = v**2 + 16*v + 6. Let k(w) = -4*c(w) + 7*d(w). Does 6 divide k(-6)?
False
Let t = -88 - -257. Is 13 a factor of t?
True
Suppose -x - 1 = -5. Suppose 5*q - 3*a - 108 = 0, x*q + a = 6*a + 76. Is q a multiple of 4?
True
Let y(a) = -116*a**2 - 2*a - 2. Let l be y(-1). Let v = 194 + l. Is v a multiple of 15?
False
Let v be -4 - (-4 + 487)/(-3). Suppose -248 = -5*z + v. Let j = 168 - z. Is j a multiple of 29?
True
Let w be 13/39 - (-914)/(-6). Let i = w + 321. Is 13 a factor of i?
True
Is (12/(-8))/((-18)/7656) a multiple of 14?
False
Let s be (-4 + 366)/(3 + -1). Suppose -3*x = -7*x - 3*q + s, 4*x - 4*q - 216 = 0. Is 23 a factor of x?
False
Suppose 2*s - 8 = -2*y + 3*y, y = -s + 1. Suppose t = -x + 11, -3*x + 30 = 4*t - s. Is x a multiple of 6?
False
Suppose -4*q - 45 = 219. Let o = q - -156. Suppose 7*t - o = 85. Is 4 a factor of t?
False
Suppose 18*k + 21*k = 57876. Is k a multiple of 11?
False
Let s = -89 - -92. Suppose -3*m = c - 173, s*c - 161 = 4*m + 293. Is 11 a factor of c?
False
Let l(a) = -4*a + 4. Let i be l(-7). Let v = -23 + i. Is v a multiple of 8?
False
Let a = -565 - -474. Let g = -5 + -17. Let l = g - a. Does 18 divide l?
False
Let h = -472 + 316. Is 13 a factor of (-14*(-2)/6)/((-4)/h)?
True
Suppose 5*g + q - 10561 = 0, -5*g + 3985 = -2*q - 6573. Is g a multiple of 22?
True
Suppose -4 = -2*r + v, 3*r + 2*v - 28 = -2*v. Suppose -4*x + 2*c = -2, -r*x + 3*c = 5*c - 14. Is 15 a factor of x/(-10) - 302/(-10)?
True
Suppose 4*m - q = -342, -2*q - 80 = m - 5*q. Let p = -46 - m. Is 15 a factor of p?
False
Let g(m) = -m**2 - 126. Let h = 12 + -12. Let q be g(h). Let s = -84 - q. Is 12 a factor of s?
False
Suppose 30 = -0*a + 3*a. Let h(q) = 14*q + 12*q**2 - 51*q - q**3 + 24*q. Does 21 divide h(a)?
False
Let r(l) be the third derivative of -l**7/1260 + l**6/80 + l**5/20 - 2*l**2. Let g(d) be the third derivative of r(d). Is 19 a factor of g(-12)?
True
Suppose 0 = 9*c - 8*c - 31. Let v be -8 + 2*(2 + -3) + 1. Let m = v + c. Is m a multiple of 11?
True
Is 18 a factor of 544 - ((-114)/(-27) + (-8)/36)?
True
Suppose 0*j = 3*j - 5*k - 322, -4*k = -3*j + 317. Is 33 a factor of j?
True
Let q = -11428 - -20548. Is 39 a factor of (-2)/(-11) - (-5 - q/55)?
False
Let a(r) = -r**3 + 9*r**2 + 7*r + 14. Let h be a(10). Let c = h + 15. Let p(m) = 10*m**2 + 2*m + 1. Does 4 divide p(c)?
False
Let n = 2538 - 1799. Does 9 divide n?
False
Let r = 714 + -626. Is r a multiple of 4?
True
Let p = -92 - -105. Suppose -4*z = 0, -k - 3*z + p = -0*k. Is 4 a factor of k?
False
Let b(w) = -w**3 - 18*w**2 + 2*w + 20. Let m(p) = p + 1. Let f(u) = b(u) - 4*m(u). Does 26 divide f(-18)?
True
Let n(z) = 25*z**3 - 6*z**2 + 3*z - 14. Let a(b) = 13*b**3 - 3*b**2 + b - 7. Let m(c) = -5*a(c) + 3*n(c). Is m(2) a multiple of 23?
True
Let c = 1252 - 918. Is 4 a factor of c?
False
Let i(y) = y**3 + 10*y**2 - 6*y + 7. Is i(-8) a multiple of 26?
False
Let z = 3147 + -1876. Is z a multiple of 11?
False
Let m(a) = 2*a + 37. Let k be m(-17). Suppose 3*y = 2*j + 390, -k*j = y - 5*y + 521. Is 16 a factor of y?
True
Suppose -3*o + 14 = -j, 4*j + 11 = -0*o + 3*o. Suppose -369 + 109 = -3*b - 4*t, -5*b - o*t = -425. Suppose d = -d + b. Does 20 divide d?
True
Suppose u + 6 = 3*u. Suppose u*x - 69 = -0*x. Is 6 a factor of x?
False
Let o(t) = -82*t + 42. Let p be o(-5). Suppose 0*h - 2*a = 4*h - p, -5*h - 3*a = -563. Is 23 a factor of h?
True
Let l(a) = 53*a + 4*a**2 + 28 - 13 - 54*a. Does 7 divide l(5)?
False
Suppose 5*o - o = 36. Let n = o - 5. Does 23 divide n/(-10) - 1341/(-15)?
False
Suppose -p = 2*m - 4, 5*p + 6 + 4 = 0. Suppose m*n = 3 + 3. Suppose -o + n*o = 84. Is 14 a factor of o?
True
Let m be ((-7)/(-2))/(3/1260). Is 7 a factor of ((-4)/2)/(12/m*-5)?
True
Suppose 2*g + 443 = 83. Let y = g + 268. Is 22 a factor of y?
True
Suppose -d + 27 = 2*d. Let l = d + -7. Suppose -4*z = -5*z - l, -2*g + 32 = 4*z. Is g a multiple of 5?
True
Suppose t = 5*r - 36, 2*t - r + 3*r = -36. Is 5 a factor of (2 - t) + (-5 - -2)?
True
Is 5 a factor of (122/14)/(10/70)?
False
Is (-10177)/(-5) - (-6 + 270/50) a multiple of 72?
False
Let m = -3677 + 7322. Is m a multiple of 81?
True
Let j = 586 + -358. Is j a multiple of 47?
False
Suppose -36*t - 115206 = -62*t. Is 21 a factor of t?
True
Let q be (-2)/14 - 1/(-7). Let s(i) = -i**2 + 5*i + 29. Does 9 divide s(q)?
False
Let m = -64 + 540. Is m a multiple of 42?
False
Suppose 4*w = -0*w + 128. Suppose 0*k + 136 = 2*k - 4*s, -k + s + 68 = 0. Let g = k - w. Does 18 divide g?
True
Let i(u) = 2*u**3 + 2*u**2 + 12*u + 2. Is i(7) a multiple of 10?
True
Does 25 divide (-10)/3*-1*(9 - -126)?
True
Let t(s) = -s**3 + 2*s - 4*s**2 + 0*s - s - 5. Let y be t(-5). Is 5 a factor of y/2*32/12?
True
Suppose -200*b + 1434 = -198*b - 2*v, 3*v = -b + 729. Is 64 a factor of b?
False