**3 + 44*b**2 - 153*b + 23. Is v(-46) a multiple of 69?
True
Suppose -2*z - 3*j = -3 - 2, -j = 4*z - 15. Let s be (-1 + 1 + -1)/((-1)/47). Suppose z*w = -s + 267. Is 18 a factor of w?
False
Is 10/(-110) - 3700/(-44) a multiple of 6?
True
Let p be (3 - 0) + -3 + 2. Suppose 0 = p*g - 3*x - 20, 0 = -3*x + 3 - 15. Suppose 2*z - g*b = -31 + 173, 0 = 2*z + 3*b - 170. Does 29 divide z?
False
Let s(m) = m**3 - 35*m**2 + 65*m + 67. Does 19 divide s(33)?
False
Suppose -9*d + 27854 = 29*d. Is 39 a factor of d?
False
Let b(h) = 1 + 0 - 5*h**2 + 4*h**2 + 25*h - 26*h. Let x be b(-4). Let t = 0 - x. Is 2 a factor of t?
False
Suppose 12 = -4*d + 3*x, 2*x = -0*d + 5*d + 8. Suppose y - 6*y - m + 109 = 0, d = -5*y - 3*m + 107. Does 18 divide y?
False
Let s(j) = -j**2 + 12*j + 18. Let f be s(13). Suppose f*a + 19 = 3*p, -2*p + 3*a = -p - 5. Does 2 divide p?
True
Let i(l) = 3*l**2 + 5*l - 48. Is 29 a factor of i(-11)?
False
Suppose 44*b = 41 + 223. Suppose 3*w - 4 = p, 4*w = 2*w + 4*p - 4. Suppose -54 - b = -w*v. Does 10 divide v?
True
Let a be (2/4)/(10/240). Let i = -6 + a. Does 10 divide (52/i)/(1/3)?
False
Suppose -727 = -13*s + 1158. Is s a multiple of 29?
True
Suppose -2*s = -4 + 2. Let j be 4*((-4)/(-2) - s). Suppose 0*d = -j*d + 32. Is d a multiple of 8?
True
Let n = -27 - -31. Suppose 4*y + 4*k = -k - 12, 0 = -2*y - k. Suppose y*t = -4*h + n*t + 26, 5*h - 2*t - 32 = 0. Is h a multiple of 6?
True
Let h = -103 + 417. Let r be 12/(-18) - h/(-3). Let k = r + -62. Is k a multiple of 14?
True
Is 37 a factor of (48/(-56))/(2/(-420))?
False
Suppose 0 = 9*l - 2*l - 1344. Is l a multiple of 15?
False
Let u = 13 - 14. Let i = u + 9. Is i a multiple of 8?
True
Let r = 0 - 5. Let g(n) = 4*n**2 - 5*n - 2. Let a be g(r). Suppose -3*h - 205 + 25 = -3*y, 0 = -2*y - h + a. Is y a multiple of 7?
False
Suppose 2*a = -7*d + 3*d + 1600, 0 = 2*d. Is 25 a factor of a?
True
Suppose -a + 295 = -24*h + 19*h, 4*a - h - 1123 = 0. Is 14 a factor of a?
True
Suppose -4*k = -12, 12*i - 8*i - 2415 = -k. Does 37 divide i?
False
Let r = 43 - 238. Let b = r + 415. Is 55 a factor of b?
True
Suppose 3*w - 327 = 1341. Is 21 a factor of w?
False
Suppose 4*o + 53 = 133. Let b = 5 + -2. Suppose -f + 2*z = -o, -b*z - z = 3*f - 60. Does 11 divide f?
False
Suppose 336 - 1376 = -5*r. Is r a multiple of 26?
True
Let r(u) = u**3 + 5*u**2 - u + 1. Let k be r(-5). Suppose -2 = 4*y - 2*d, k*y - y - 4*d + 4 = 0. Suppose 4*s = 2*n - 8, n - 2 = 3*s - y*s. Is n a multiple of 4?
True
Suppose -7 = -3*l + k, 4*l + 8*k - 4*k = 20. Suppose 3*n + 5*b = 23, -5*b + 32 = 5*n - l*b. Does 9 divide -9*((2 - n) + 3)?
True
Let v(x) = 16*x**2 + 2*x + 24. Let w(d) = d**2 - 2*d - 12. Let k be w(-2). Is 17 a factor of v(k)?
True
Suppose -10*h = -80 + 30. Suppose 648 = h*i - i. Does 18 divide i?
True
Suppose 3*s - 12 = 5*s. Let i = s + 15. Is ((-3)/i)/(4/(-744)) a multiple of 22?
False
Let p be (-2895)/(-20) + (-2)/(-8). Let n = p + -45. Does 25 divide n?
True
Let w = -5216 - -9374. Is 33 a factor of w?
True
Suppose 5*a + u + 104 = 0, -4*a + 2*a - 5*u = 37. Let j = 33 - a. Is j a multiple of 18?
True
Suppose -66*r - 8127 = -93*r. Is 9 a factor of r?
False
Let o(k) = 2 + 83*k + 63*k + 130*k. Let u be o(-3). Is 9 a factor of 2/5 + u/(-35)?
False
Suppose -10 = -5*t, -1 = -2*f + 5*t + 9. Suppose 14 = -4*k + f. Is 3 a factor of -2 + 3 - (k - 3)?
False
Let a = 397 + -267. Is a a multiple of 26?
True
Does 53 divide (-174 + 0)/3*-10 - -3?
True
Let o(d) = -240*d + 104. Let h(x) = 37*x - 16. Let p(a) = 32*h(a) + 5*o(a). Let r be p(-5). Let n = r + -17. Is 15 a factor of n?
False
Suppose -29*w + 7 = -30*w. Let m(z) = 4 + 2*z**2 + z**3 + 7*z**2 - z**2 + 3*z. Is 14 a factor of m(w)?
False
Suppose 0 = 5*d - 350 + 30. Suppose -x - d = -0*x. Is 14 a factor of (-2 - -1)/(2/x)?
False
Let d = 353 + 725. Does 77 divide d?
True
Let f = -89 - -232. Is 3 a factor of f?
False
Let g = 1129 - 233. Does 28 divide g?
True
Let t(l) be the third derivative of l**6/120 - l**5/20 - 5*l**4/24 - 3*l**2. Let r be t(5). Let k = 79 + r. Is k a multiple of 28?
False
Let z(b) = b**3 + 12*b**2 - 4*b - 14. Let x be z(-10). Suppose -2*s = 5*m - 527, 0*m - 3*s = -2*m + x. Is m a multiple of 8?
False
Let z(q) = -135*q**3 - 3*q**2 + 6*q - 1. Let o(m) = -271*m**3 - 5*m**2 + 11*m - 1. Let r(c) = 3*o(c) - 5*z(c). Is 17 a factor of r(-1)?
False
Let h = 83 + 583. Does 28 divide h?
False
Let f(r) = -2*r**3 + 5*r**2 - 9*r - 10. Let g be f(-5). Suppose -g = -16*d + 11*d. Is d a multiple of 13?
False
Let q(t) = t**2 + 23*t - 22. Let a be q(-22). Let r = a - -74. Is r even?
True
Let v be (-2 + -23)*2/(-5). Let w = v + 0. Let j = w + 5. Is 9 a factor of j?
False
Does 8 divide -9 + 459 + (-4 - (-8 + -2))?
True
Suppose 3*g = -3*q + 2*g + 130, 4*q - g - 178 = 0. Suppose -9 = t - q. Is 3 a factor of t?
False
Let i(k) = k**3 - 6*k**2 - k + 1. Let g be i(6). Let h = g - -26. Is h a multiple of 3?
True
Let r be 78/(-27)*3*3. Let v be (3 - 6)*r/3. Let x = v + -5. Is 16 a factor of x?
False
Let h(v) = v**3 - 5*v**2 + 5*v - 20. Let o be h(6). Let t = o - -26. Is 16 a factor of t?
False
Suppose 5*p - 3 = 857. Let m = p - 99. Does 4 divide m?
False
Let p(l) = 9*l**2 + 8*l - 13. Is 17 a factor of p(2)?
False
Let u be 18*1 - (3 + -1). Let v be 3*(1 - 4)*(-12)/(-9). Let b = u + v. Does 4 divide b?
True
Let q(k) = 85*k + 163. Is q(12) a multiple of 13?
True
Suppose -10*u - 328305 = -139*u. Is 6 a factor of u?
False
Let a(x) = -7*x**3 + 9*x**2 + 7*x - 8. Let i(z) = 15*z**3 - 18*z**2 - 15*z + 16. Let g(r) = 13*a(r) + 6*i(r). Let f = 18 + -10. Does 16 divide g(f)?
True
Suppose -5*g - 2*y = -2428 + 57, 2*y - 471 = -g. Is 5 a factor of g?
True
Suppose 4*r = 5*r + 36. Let o = r - -62. Is 16 a factor of o?
False
Let o be (0/(-4) - 0)*-1. Suppose -475 = -o*d - d + 5*q, 5*q = 5. Suppose -5*v + 0*v + d = 0. Is 13 a factor of v?
False
Let l(m) = -2*m + 33. Let o be l(-8). Let i = 171 - o. Does 15 divide i?
False
Suppose -5*c + 96 + 229 = 0. Suppose 42*u - 37*u = c. Does 2 divide u?
False
Let k(y) = -y**2 - 8*y + 2. Let c be k(-8). Suppose -145 = -c*n - 3*v, -2*n + 4*v = -67 - 57. Is n a multiple of 12?
False
Let s(j) = j**3 - 2*j**2 - j + 3. Let g(t) = -4*t**3 + 12*t**2 + 10*t - 14. Let f(p) = -g(p) - 5*s(p). Let l be 30/(-9) + 1/3. Does 7 divide f(l)?
False
Suppose 53*u - 41000 = 3*u. Is 9 a factor of u?
False
Let i(b) = 17*b + 876. Is 11 a factor of i(52)?
True
Let n(i) = -6*i + 223. Is 3 a factor of n(17)?
False
Let l(i) = -i**3 - 3*i**2 + i + 3. Let z be l(-3). Suppose -4*m + 5*m - 3*b - 64 = z, 8 = 4*b. Suppose -m = 2*o - 6*o + 5*q, -4*o = 2*q - 84. Does 10 divide o?
True
Is 13 a factor of -39*(-3)/6*(146 - 0)?
True
Let z = -117 - -177. Does 15 divide z?
True
Let g = 0 - 0. Suppose 344 = 4*y - q, g*y + 5*y - 3*q - 423 = 0. Does 29 divide y?
True
Let v(f) = f**3 + 7*f - 12. Let x(q) = 7*q**2. Let i be x(-1). Let p be v(i). Suppose -4*y + p = -0*y. Does 19 divide y?
True
Suppose 5*k = -m - 79, 2*m + 3*m - 69 = 4*k. Suppose -4*y - 4*g = 20, 0 = -y + 3*g - 15 - 2. Does 2 divide k/y*3*1?
True
Let u be (-2)/(-10) + (-2329)/(-5). Let b = -326 + u. Is 14 a factor of b?
True
Let k be 6/(-9)*3 - 151. Let y = -68 - k. Is 17 a factor of y?
True
Let n be 20/(-5) - (2 - 10). Suppose 0 = 4*y + n*d - 88, -3*d - 96 = -3*y - 0*d. Is y a multiple of 7?
False
Let q = 80 + -28. Suppose -16*w + 14*w = -q. Does 13 divide w?
True
Let u = 8 - 6. Let y be (-1)/(-3)*0 + u. Suppose j - 64 = -4*m + 3*m, -y*j + 5*m + 135 = 0. Is 24 a factor of j?
False
Let f(y) be the third derivative of -y**6/240 + 7*y**5/120 + y**4/24 - 3*y**2. Let k(m) be the second derivative of f(m). Is k(-9) a multiple of 9?
False
Suppose -2*c = c - 9. Suppose c*i - 73 = -55. Does 2 divide i?
True
Let h be 24/3 + 3/(-1). Suppose 2*g - 128 + 11 = -h*i, 5*i = 5*g + 110. Let a = i - -7. Is a a multiple of 7?
False
Suppose -4*v + 2 = -r, -4*v + 8*r = 5*r + 2. Let n be v/2*2 + 2. Suppose n*o - 4*q - 40 = o, 4 = -q. Does 4 divide o?
True
Suppose 0 = -3*c + 5*k + 9716, c + 19388 = 7*c + k. Is c a multiple of 101?
True
Let f be 14/3*(-6)/(-7). Suppose -4*k + 295 = k + v, 0 = -f*k - 5*v + 257. Does 10 divide k?
False
Let c(m) be the first derivative of 5*m**4/4 - m**3/3 + m**2/2 + m + 2. Let x be c(-1). Let n(b) = -4*b + 1. Does 9 divide n(x)?
False
Suppose -2*z + 3