 d = -3 - l. Suppose 0*j - 4*j + 50 = 3*v, 2*v = d*j + 5. Does 4 divide v?
False
Let n = -13 + 14. Is (n/2)/((-2)/(-52)) a multiple of 5?
False
Suppose -4*s = 12, 6*s - 3*s = j - 13. Suppose 3*q - 42 = -2*m + j*q, q + 4 = 0. Does 11 divide m?
False
Suppose 3*n - 5*s - 45 = 94, n = -s + 49. Is n a multiple of 16?
True
Let g(l) = 4*l + 5. Is g(9) a multiple of 10?
False
Let k(n) = n**3 + 10*n**2 - 10*n + 5. Let p be k(-10). Suppose 4*i = 35 + p. Is 14 a factor of i?
False
Is 35 a factor of (-335)/2*(0 + (-12)/15)?
False
Let x = -220 + 324. Is x a multiple of 26?
True
Suppose -4*s + 6 = -2*y, -4*y + 5 = -3*s - 3. Suppose -y*q + 57 = -133. Does 19 divide q?
True
Let l be 1/4 - 259/(-4). Suppose -l = 5*h - 25. Is 5 a factor of 20/h*(0 + -2)?
True
Let b be (1/2)/(3/(-36)). Suppose -2*r - r - 81 = 0. Is r/b*2/3 a multiple of 3?
True
Is 32 a factor of 3/((-12)/(-128))*3?
True
Let k = -21 - -25. Let h = 37 + 8. Suppose h = f + k. Does 11 divide f?
False
Let v = 122 + -87. Is v a multiple of 5?
True
Suppose s - 40 = -4*s. Is s a multiple of 8?
True
Suppose -4*l - 5*b = -342, 111 - 15 = l - 4*b. Suppose 37 = -5*w - l. Does 4 divide w/(-6) + 4/(-24)?
True
Let o = 3 + -3. Let c be 9 + o - (0 + 3). Suppose g - c = -0. Is 6 a factor of g?
True
Suppose -155 = -7*a + 237. Does 14 divide a?
True
Suppose 5*m - 462 + 22 = 0. Does 40 divide m?
False
Let p = -9 - -11. Is 3 a factor of p/(-3) - (-64)/6?
False
Suppose -8 - 3 = -2*y - 5*b, 0 = -4*y + 4*b - 20. Is 17 a factor of (119/y)/7*-2?
True
Let z(n) = n**2 + 4*n + 2. Let p be z(-5). Let g = -17 - -17. Let b = g + p. Does 5 divide b?
False
Suppose -2*v - 7 + 99 = 0. Is 23 a factor of v?
True
Suppose 100 - 25 = 5*j. Let y = j + 19. Does 19 divide y?
False
Let b(n) = -n - 6. Let d(r) = -2*r - 5. Let w(q) = 4*b(q) - 3*d(q). Let c be w(6). Suppose -c*t - 1 = -40. Does 13 divide t?
True
Let t(b) = -11*b + 1. Suppose 0 = 2*c + 1 - 5. Let i be t(c). Is 17 a factor of (-2)/(-7) - 708/i?
True
Suppose 0*a + 2*a - 14 = -2*h, -a + 3 = -3*h. Is 24 a factor of (-2)/a + 200/6?
False
Let p(i) = -2*i**2 + 2*i + 2. Let g be p(2). Let f = 12 + g. Is f a multiple of 3?
False
Suppose -h + 5*v - 23 = 0, -4*h + 0*v - v = 71. Is 12 a factor of (-8)/84*h*14?
True
Let p = 3 - 12. Is 9 a factor of -81*((-6)/p + -1)?
True
Let u(n) = 3*n - 6. Does 3 divide u(4)?
True
Suppose -2*k + 1848 = -6*k. Let i = k - -237. Is (8/10)/((-6)/i) a multiple of 15?
True
Suppose 5*b = 12*b - 1316. Does 47 divide b?
True
Suppose -4*a = 4*u - 20 - 24, 2*a = 2*u - 6. Let m = 12 - u. Suppose -55 = -m*y - x, 2*x = y - 12 + 1. Is y a multiple of 7?
False
Let a be ((-63)/(-2))/((-4)/8). Let f = a - -143. Suppose i + 4*i - f = 0. Is i a multiple of 7?
False
Let k(c) be the second derivative of c**3/6 + 13*c**2/2 - 3*c. Is k(-9) a multiple of 2?
True
Suppose 7*u - 3*p + 301 = 8*u, 3*p + 6 = 0. Is 22 a factor of u?
False
Let n be (18/3 - 3)*-1. Let h(t) = -4*t. Does 12 divide h(n)?
True
Suppose -m - 3*a - 183 = -4*m, -5*m - 2*a + 291 = 0. Does 13 divide m?
False
Let q be (-4)/(-6)*(-201)/(-2). Let o = q - 28. Is 13 a factor of o?
True
Suppose -5*f + c = -2, -4*f - c = -f - 6. Does 13 divide (-13*f)/(4/(-8))?
True
Suppose -29*v + 33*v = 160. Is 10 a factor of v?
True
Suppose 0 = -2*j + 4*j - 128. Suppose 4*r = r - 4*v + 59, 3*r - v = j. Does 7 divide r?
True
Suppose 0 = 5*r + 23 - 3. Let g be (24 - 3)/((-6)/r). Is 16 a factor of 4/g + (-374)/(-14)?
False
Suppose 5*s + 5*t - 305 = 0, 0*t - 3*t = -5*s + 281. Is 10 a factor of s?
False
Let i(d) = 3*d**3 + 20*d**2 + 34*d + 15. Let m(z) = z**3 + 7*z**2 + 11*z + 5. Suppose -3*l = 5 - 11. Let o(g) = l*i(g) - 7*m(g). Is 2 a factor of o(-8)?
False
Let j(z) = -z**3 + 13*z**2 - 13*z - 2. Is j(10) a multiple of 14?
True
Is 9/(-3) + (119 - 2) a multiple of 57?
True
Suppose 90 = 7*s + 20. Is 6 a factor of s?
False
Let o = 5 + 4. Is o a multiple of 9?
True
Suppose -3*s + 4*l - 38 = 0, 2*s - 6*l + 37 = -l. Let o(y) be the first derivative of -y**4/4 - 4*y**3/3 + 9*y**2/2 + 5*y + 5. Does 11 divide o(s)?
False
Suppose 0*i + 4*i = 276. Is i a multiple of 23?
True
Let a = 9 - 9. Suppose a = -6*m + m - 10, 0 = -p + m + 36. Is 17 a factor of p?
True
Suppose -6*f + 437 = 119. Does 22 divide f?
False
Is 9/((-81)/30)*-42 - -3 a multiple of 11?
True
Suppose 0 = 4*k + 64 - 320. Suppose -3*u + 3*y = -237, -k = -2*u - y + 97. Suppose -5*h + 2*v = 7*v - 100, -u = -4*h - v. Does 10 divide h?
True
Suppose 4*y + 68 = z, -4*z - 3*y + 33 = -220. Is z a multiple of 4?
True
Suppose v - i + 6*i + 2 = 0, -3*i = 2*v - 31. Does 4 divide v?
False
Suppose -2*n + 4 + 2 = 0. Suppose 5*j + n = 33. Suppose 0 = -5*r + 2*l + 38, 2*l = -j*r + r + 42. Does 4 divide r?
True
Let i(d) = 10*d**2 - d. Let u be i(1). Suppose -4*t + u - 1 = 0. Suppose 10 + 26 = t*q. Is q a multiple of 11?
False
Let h(k) = k**2 - 1. Let y be h(-4). Suppose -z = 3*j - y, -2*z + 21 - 1 = 4*j. Suppose 0 = -q + 4*r - r - 2, -50 = -3*q - j*r. Does 7 divide q?
False
Let l(k) be the second derivative of k**5/20 - k**4/12 - k**3/6 + 25*k**2/2 - 5*k. Let i be (-2)/(-9) + 4/(-18). Is 11 a factor of l(i)?
False
Suppose -4*w + 5*h = -w + 4, -11 = 2*w + 5*h. Let a = w + 11. Let n = a + -4. Is n even?
True
Suppose -2*h = h + 42. Let j be (-4)/h - 2409/(-21). Suppose j = 5*b + l, -b + 95 = 4*b - 3*l. Is b a multiple of 11?
True
Is (6/3)/(2/32) a multiple of 16?
True
Let w = 19 + -14. Let y be 46/4 + (-2)/(-4). Is 3 a factor of y/(-20) + 18/w?
True
Suppose 5*r = -7 - 8. Let o(q) = 4*q**2 - 2*q - 1. Is 10 a factor of o(r)?
False
Suppose -2*i + 105 = 3*i + 3*x, -i - 5*x + 43 = 0. Suppose s = 3*s - i. Is s a multiple of 4?
False
Let v(b) = b**3 + 5*b**2 - 8*b - 9. Let x be v(-6). Suppose 5*c - 135 + 36 = -x*p, 4*p - 124 = -4*c. Does 14 divide p?
True
Let k = -21 - -48. Let f(r) = 6*r. Let v be f(-1). Let u = v + k. Is u a multiple of 14?
False
Suppose 0 = 2*y - 9 - 225. Does 39 divide y?
True
Suppose 0 = 5*y - 2*y. Is 12 a factor of -52*(-4)/(4 - y)?
False
Let s = 27 - 17. Let b = s - -3. Is 13 a factor of b?
True
Let d(z) = z**2 + 4*z. Let f be d(-8). Suppose x - f = -3*x. Does 3 divide x?
False
Let d(b) = 7*b**2 - 10. Let h(y) = y**2 - 1. Let t(z) = d(z) - 6*h(z). Does 5 divide t(4)?
False
Suppose -3*o + 2*f + 83 = 0, -151 = -5*o - 3*f - 0*f. Suppose -4*a = -67 - o. Is 24 a factor of a?
True
Let x(u) = 8*u + 12. Let m(l) = 23*l + 35. Let p(b) = -3*m(b) + 8*x(b). Is 6 a factor of p(-6)?
False
Suppose -8 = 4*t, -2 = -4*d + t - 0*t. Suppose 2*a - 103 = -4*o + a, -2*a - 2 = d. Does 10 divide o?
False
Let k(z) = -14*z + 1. Does 12 divide k(-7)?
False
Let m = -103 - -231. Does 9 divide m/9 + (-2)/9?
False
Suppose 0*o + 6 = 3*o. Suppose -6 = -3*y - 4*z + 7*z, 2 = o*z. Does 2 divide y?
False
Let s be (-13)/(-4) - (-2)/(-8). Suppose -7*r = -s*r - 92. Is 16 a factor of r?
False
Let r(l) be the first derivative of -l**3/3 + 15*l**2/2 + 9*l + 4. Does 13 divide r(9)?
False
Suppose -153 = 5*o + 127. Let p = o + 93. Suppose -k = -r - p, -2*r = 5*k - 23 - 169. Is k a multiple of 19?
True
Let r(y) = -5*y - 6. Let x be r(-5). Suppose 0 = m - 0 - 2, o + 2*m - x = 0. Does 13 divide o?
False
Let q = 138 - 75. Does 21 divide q?
True
Suppose i - 18 = 6. Let h = -4 + i. Is h a multiple of 10?
True
Let y = 165 - 105. Is 9 a factor of y?
False
Let y = 488 - 340. Is 26 a factor of y?
False
Let h = 88 - 57. Is 13 a factor of h?
False
Let b(s) = 6*s - 9. Let r be 1 + (-2)/(-1) + 3. Is 7 a factor of b(r)?
False
Suppose -4*y + 26 = -38. Does 15 divide y?
False
Let v = 23 + -12. Suppose 5*x - 3*c = -2*c + 20, -2*x + c = -v. Suppose m + 60 = x*m. Is 15 a factor of m?
True
Let s(a) = a**2 - 4*a + 3. Let b be s(4). Suppose 3*g = -3*c + 27, -4*c - 10 = -5*g - 2*c. Suppose -d + 5 = -2*j + g*j, b*j = 3*d - 42. Is d a multiple of 11?
True
Let q(k) = k. Let g(p) = -4*p + 1. Let y(l) = -g(l) - 5*q(l). Is 7 a factor of y(-8)?
True
Suppose 4*j + 3*b - 301 = 0, 129 = 2*j + b - 22. Is j a multiple of 3?
False
Let c(o) = -o**3 - 5*o**2 - 4*o + 1. Let f be c(-4). Let v(a) = -2 + 3*a - f - 4*a + a**2. Is v(5) a multiple of 13?
False
Let d = 6 + -11. Let u(i) = -i**2 - 4*i - 3. Let q be u(d). Let t(r) = -4*r + 1. Is 18 a factor of t(q)?
False
Suppose 0 = -j + 2*k + 23, k = 2*j - 2*k - 42. Let z = j - 5. Is z a multiple of 5?
True
Suppose 1 = -2*p + r, -3