
False
Let h(p) = p**2 + 17 + 0*p - p - 16*p. Is h(25) a multiple of 31?
True
Suppose 3*s - s = 178. Suppose 6*w - s = -17. Suppose 0 = -0*j - 3*j - 2*x + 16, -w = 3*x. Does 3 divide j?
False
Let r(j) = j + 1. Let k(n) = 21*n**2 - 12*n - 23. Let b(l) = k(l) + 3*r(l). Is b(-3) a multiple of 24?
False
Let x(i) = -i**3 - 6*i**2 - 2*i + 10. Let y be x(-5). Let h(p) = 3*p**2 - 4*p + 5. Is h(y) a multiple of 18?
False
Let u be (-12 - -11)/(1/(-17)). Let n = u + -20. Is 9 a factor of -1 - (-2 + 105/n)?
True
Let o(s) = -2*s**3 - 10*s**2 - 14*s - 10. Let z be o(-6). Let l = -267 + 165. Let r = z + l. Is 10 a factor of r?
False
Let k = 229 + -157. Suppose 0 = -a - 4, v - 3*a - 51 = -0*v. Suppose 3*n - v = k. Is 22 a factor of n?
False
Suppose 4914 = 20*q - 7*q. Is 18 a factor of q?
True
Let p be ((-14)/21)/(-3*(-2)/36). Is 11 a factor of 722/10 - p/(-20)?
False
Let v(k) = 3*k + 1. Let t be v(7). Let u be -1*(t/(-2) - -1). Suppose -70 = -w + u. Is 11 a factor of w?
False
Let j(c) = 3*c + 46. Let i be j(-14). Suppose -i*y = -3*d + 94, -4*d + d + 2*y + 104 = 0. Is d a multiple of 19?
True
Suppose 0 = -45*j + 20*j + 12500. Does 14 divide j?
False
Suppose 5*r - 5*o + 0*o - 1885 = 0, 5*o + 1510 = 4*r. Suppose 21*y = 24*y - r. Does 25 divide y?
True
Let r(c) = c**2 - 5*c + 22. Let z be -6*(2/(-3) - 10/12). Is r(z) a multiple of 14?
False
Suppose 3*p + 0*p = 15. Suppose p*j + 11 + 10 = v, 4*j = -3*v + 63. Is (v/4)/((-4)/(-64)) a multiple of 28?
True
Suppose -o = -15*o + 9*o. Suppose -3*y - 51 = -3*u - 0*y, o = 3*u + 2*y - 36. Does 7 divide u?
True
Let g = -398 + 422. Is g a multiple of 8?
True
Let j(q) = -5*q**2 - 3*q + 2*q**3 + 6*q - q**3. Let p be j(6). Suppose 0 = -0*f + 2*f - p. Is 8 a factor of f?
False
Let b(k) = -k**3 - 12*k**2 - 2*k - 4. Let g(n) = -n**3 - 11*n**2 - 3*n - 3. Let f(x) = 3*b(x) - 4*g(x). Is 15 a factor of f(-5)?
True
Suppose 0 = -23*s + 9317 + 7404. Does 70 divide s?
False
Let b(y) = -4*y**3 - 10*y**2 - 23*y - 24. Does 53 divide b(-7)?
False
Suppose -27*f + 779 = 14*f. Does 19 divide f?
True
Let q be 5 - 2 - 9/(-3). Suppose 0*s + 1116 = -q*s. Let p = s + 271. Is p a multiple of 17?
True
Suppose -6*c + 6 = -4*c. Let y be c/6*6/1. Is 3 a factor of (-3 + 6)/(1/y)?
True
Let c = 322 - 220. Is 8 a factor of c?
False
Suppose -4*w = -4*h + 7436, -10*w = -9*w - 5. Is 31 a factor of h?
False
Let r = 105 + -91. Suppose -13*n + r*n = 15. Is n even?
False
Suppose -r = 2*d - 16 - 14, 5*d + 134 = 3*r. Let f = 112 - r. Suppose x + 3*c - 26 = 4, -f = -3*x - 5*c. Does 9 divide x?
True
Suppose 4*w + 2518 = 6046. Is 21 a factor of w?
True
Let l be -9*(8/6)/1. Suppose m - 5*w - 40 = -17, 2*m + 3*w = -6. Does 3 divide (3/(-2))/(m/l)?
True
Let t = 83 - 73. Suppose 244 = t*z - 76. Is 16 a factor of z?
True
Let j(a) = -24*a**3 - 3*a**2 + 19*a**3 - a**2 - a - 2*a. Does 15 divide j(-2)?
True
Let d be 18/3 - -4 - 0. Let s(m) = m. Let o be s(d). Suppose -75 = -15*i + o*i. Is i a multiple of 4?
False
Suppose -10*v + 6865 = -3485. Is v a multiple of 29?
False
Is 12 a factor of (56 - 2)/(7/((-189)/(-6)))?
False
Suppose 5*l - 10 = 3*x, 15 = -x + 4*x. Suppose 0 = v - 2*v. Suppose 5*f = -v*f + 4*y + 430, 5*f - l*y - 425 = 0. Does 17 divide f?
False
Suppose -10*m = 18*m - 1288. Suppose 44 = -2*s + 6*s. Let q = m - s. Is 18 a factor of q?
False
Let h(g) = 2*g**2 + g + 84. Is h(16) a multiple of 21?
False
Let p(k) = 4*k**3 - 23*k**2 - 12*k + 10. Let o be p(8). Suppose 4*a - o = -5*z, 5 = 5*a + 30. Is z a multiple of 34?
True
Suppose -147*v + 112*v + 14280 = 0. Is 29 a factor of v?
False
Suppose -y - 2 = -5*o + 7, 0 = o + 1. Is 19 a factor of 24234/98 + 4/y?
True
Suppose y + 2*b = 10, 4*b + 6 = 4*y + 2. Suppose 0 = 3*k - 0*k - z - 105, 0 = -y*k + 4*z + 140. Is 7 a factor of k?
True
Let u be (1 + -4)*4*(-13)/(-6). Let n = 21 - u. Does 14 divide n?
False
Let w = 83 - 125. Let h be w/(-2 + (-32)/(-20)). Suppose 4*z - 7*z = -h. Does 9 divide z?
False
Let n(c) = -2*c**3 + 5*c**2 - 3*c + 3. Does 9 divide n(-5)?
False
Let g be (-12)/(-7) - (-18)/63. Suppose -k - 3*h + g = 15, 4*k = 5*h - 69. Is 31 a factor of (-4 - -93) + k/(-4)?
True
Let y(g) = -g**2 - 3*g + 14. Let i be y(-5). Suppose i*b + 48 = k, -102 = -3*k + b - 2. Is 16 a factor of k?
True
Let p(v) = v**3 + 12*v**2 - 36*v - 10. Is p(-12) a multiple of 71?
False
Let l(c) = 2*c + 18. Let a(t) = t - 1. Let y(x) = -10*a(x) - l(x). Let j be y(-4). Suppose -2*f + 193 = 5*h + j, 3*h = 3*f - 198. Does 11 divide f?
False
Let q = 1120 + -417. Is 19 a factor of q?
True
Suppose 0 = 3*z, 2*j - 5*z = -7*z + 1428. Is j a multiple of 17?
True
Let g be 2/(-9) - 632/72. Suppose -2*t + 8*t = 36. Does 2 divide t*((-24)/g - 2)?
True
Suppose 2*z - 42 = 3*z. Let x be 24/14 + (-12)/z. Suppose -2*a = u, -3 = -x*u - 5*a + 4*a. Is u even?
True
Suppose -4*y + 90 = 410. Does 6 divide -2 - y/4*1?
True
Let o(w) = 0 + 2*w**2 + 24*w - 16*w + 8. Let f be o(-7). Does 8 divide 580/f - 4/(-10)?
False
Let c be (16/5)/((-22)/(-55)). Suppose 4*m = c*m - 88. Is 9 a factor of m?
False
Let j = 46 + -43. Suppose 3*h - 3*p = 270, -j*p + 153 + 22 = 2*h. Is 20 a factor of h?
False
Suppose 45 = -5*w + 5*n, 1 = -2*w - 2*n - 5. Is 6 a factor of (-3968)/(-93) + (4/w - 0)?
True
Let m(u) = 19*u**2 + 55*u + 748. Is m(-14) a multiple of 33?
False
Suppose 0 = 20*q - 10*q - 2430. Is 9 a factor of q?
True
Suppose 3*l = -l, 2*l - 48 = 2*r. Let v = 92 + r. Is 34 a factor of v?
True
Suppose 0 = -12*r + 2*r + 120. Let w = 88 - r. Is 19 a factor of w?
True
Does 18 divide (-560)/24*6/(-5)?
False
Let x(z) = -z**3 + z**2. Let i(b) = -b**3 - 5*b**2 + 9*b + 6. Let a(d) = i(d) - 2*x(d). Suppose 10 - 3 = l. Is 21 a factor of a(l)?
False
Suppose 52 = 2*w + 2*x, 2*x + 0*x - 142 = -5*w. Let k be 66/4 - 15/w. Suppose -2*d = -2*f + k, f + 2*d - 12 = -f. Is 7 a factor of f?
True
Suppose -2*c = -c + 18. Let s be (-3)/(c/(-2))*-15. Suppose -4*y + 5 = 1, -s*y - 307 = -4*o. Is 24 a factor of o?
False
Let r = 708 + -390. Is 3 a factor of r?
True
Let h = -5 - -7. Suppose 2*j = -2*y + 60, -5*y = h*j - 29 - 46. Is 5 a factor of j?
True
Let m = -17 + 32. Suppose -3*i = -m, -2*d - 2*i + 14 = -d. Let k = d - -9. Does 4 divide k?
False
Let j(g) = 494*g**2 - 25*g - 75. Is 39 a factor of j(-3)?
True
Let z = 52 + 10. Let j be z/4*2/1. Suppose -i = 5 - j. Is 26 a factor of i?
True
Suppose 0 = 5*y + 669 + 431. Let v = -65 - y. Suppose -3*q + 5*m = -v + 37, 3*q - 102 = -3*m. Is 9 a factor of q?
True
Let j = -256 + 550. Suppose -4*x + 3*w + 246 = 0, 4*w = 5*x - 14 - j. Is x a multiple of 10?
True
Let j = 403 + 52. Does 10 divide j?
False
Let t = 2649 + -1841. Does 74 divide t?
False
Let m be -3 + 60/35 + 2/7. Is 51 a factor of 193 - (1 + m + 1)?
False
Let h = 57 + -43. Let b(a) = a**3 - 16*a**2 + 31*a - 4. Is b(h) a multiple of 16?
False
Suppose 16 = -d - 3*l - l, -d - 20 = 5*l. Suppose 4*u = 2*u + 10, d = 2*z + 4*u - 86. Is z a multiple of 10?
False
Does 12 divide ((-3)/4)/(2104/(-416) + 5)?
False
Suppose l - 28 + 26 = 0. Suppose l*p - 5*t - 22 = 0, -5*p = t - 56 - 26. Is p a multiple of 12?
False
Is 28 a factor of -1 + 0/(5 - 6) + 589?
True
Let y(o) = 8*o**2 - 8*o + 4. Is y(-9) a multiple of 21?
False
Let j = -219 - -278. Does 8 divide j?
False
Is ((-222)/12)/(5/(-10)) a multiple of 3?
False
Let q = 12 + -15. Is (28 - 4)/((q + 4)/6) a multiple of 12?
True
Let a(w) = -3*w + 12. Let l be a(-6). Does 33 divide (198/l)/(2/10)?
True
Suppose 55 = -4*x - x. Does 31 divide (x/2)/(4/(-56))?
False
Let w(s) = -s**3 + 5*s**2 - 3*s + 2. Let o be w(4). Suppose 1849 + 3863 = 7*y. Is 29 a factor of o/(-21) - y/(-14)?
True
Let y = 27 - 29. Is 28 a factor of 141/5 - y/(-10)?
True
Let z = 1203 + -759. Is 6 a factor of z?
True
Let m be 14/4 - (-6)/(-4). Let d be (m - 1)/(2/4). Suppose -39 = -d*y + 5*i, -3*i + 65 = 4*y - 0*i. Does 17 divide y?
True
Let u be 5 + 6*(-8)/12. Suppose -4*f + 25 = u. Suppose 4*s - f*s + 74 = 0. Is 6 a factor of s?
False
Let w = 38 + -38. Suppose 56 = b - 3*i, w = -5*b + 2*b - 5*i + 126. Does 13 divide b?
False
Suppose -5 = -3*o - d, 0 = -3*d + 6*d - 15. Suppose -m - 5 + 21 = o. Does 4 divide m?
True
Let c = 12 - 6. Suppose -2*d - 2*r = c, -r = -9*d + 4*d + 9. Does 15 divide (-15)/d*(-3 - -1)?
True
Suppose 42*f + 12 = 41*f. Does 18 divide (-7736)/(-32) + (-3)/f?
False
Suppose 2*d - 10 = -6. Suppose -4*y + h