*l + 14. Let s = b - -2. Is s a multiple of 3?
True
Suppose -v - 3 = 4*z, -3*z - z = 4. Does 8 divide (v - 13)*(-77)/28?
False
Let z = 71 + -20. Suppose -z = x - 111. Is 33 a factor of x?
False
Let i(k) = k + 12. Let s be i(6). Suppose -5*x + 2 = -s. Is 6 a factor of (-5)/((-5)/3) + x?
False
Let o(v) = v**3 + 3*v**2 - 5*v + 1. Let p be o(-4). Suppose -159 = -3*i + p*q - 10*q, 3*q + 212 = 4*i. Suppose -3*w + 13 = -i. Is w a multiple of 11?
True
Suppose -75 = -25*n + 30*n. Is 18 a factor of (-2)/(-3) + (-590)/n?
False
Suppose -4*u = -58 + 274. Is 18 a factor of (u/(-4))/((-2)/(-4))?
False
Suppose -24*p + 15*p + 18 = 0. Suppose 3*v + v - 964 = p*j, -v + 4*j = -241. Is v a multiple of 9?
False
Let o = -1058 - -1962. Does 32 divide o?
False
Let d(j) = j**3 - 3*j**2 - 8*j + 18. Let o(a) = a**3 - 5*a**2 + 4*a + 5. Let x be o(4). Does 7 divide d(x)?
True
Let y = -49 - -62. Suppose -408 = 5*w - y*w. Is w a multiple of 11?
False
Suppose 4*y - 16 = 32. Let d = 12 - y. Suppose d = 5*c - 2*c - 6. Is c a multiple of 2?
True
Suppose -7*a + 35 = 7. Let m be (-6 + a)*(-15)/(-6). Is (2 + -1 + -2)*m a multiple of 2?
False
Let a(v) = 6*v**3 - 3*v**2 + 4*v - 7. Let r be a(2). Suppose 3*g - 2*k - r = 0, -k = -0*k - 1. Is 13 a factor of g?
True
Suppose -205 = 504*k - 505*k. Does 5 divide k?
True
Let s(h) be the second derivative of -h**4/12 - h**3/3 + 7*h**2/2 + 6*h. Is 4 a factor of s(-3)?
True
Suppose -5*b + 1254 = -5*k - 1931, 5*b = -3*k + 3209. Is 54 a factor of b?
False
Let a(t) = t**3 + 18*t**2 + 16*t - 2. Suppose 5*g + 7*g + 204 = 0. Is a(g) a multiple of 8?
False
Let s = -210 - -251. Is s a multiple of 2?
False
Let t be (-3879)/(-18) - (0 + 2)/(-4). Suppose l = -l + 306. Let m = t - l. Does 21 divide m?
True
Let o be (-2 + 2)*(-3 - -4). Suppose 14 = 3*x - 5*i - o, -4 = 4*i. Suppose 0 = 3*s, x*v = -v - s + 192. Does 24 divide v?
True
Let v = 1429 + -974. Is v a multiple of 65?
True
Let p(n) = n**2 + 7*n - 4. Let t = -3 - -8. Let s = -14 + t. Does 12 divide p(s)?
False
Let b(g) = 4*g + 11. Let h be b(11). Suppose -5*v - 5*p - h = 0, -v - 13 = -2*p + 4. Let u = 35 - v. Is 16 a factor of u?
True
Let k(f) = 32*f - 16. Let s(w) = 11*w - 5. Let h(y) = 5*k(y) - 16*s(y). Let j = -7 + 5. Is h(j) a multiple of 17?
False
Let o = -1 + 81. Does 10 divide o?
True
Let i = 204 + 68. Suppose -2*a + i = 2*j, 2*a = a + 4*j + 116. Does 22 divide a?
True
Suppose -4*k + 4*u + 329 = -215, 0 = -2*k + 5*u + 260. Let m be 2/7 + (-40)/k. Suppose m*i = -2*s - 4*i + 52, s + 4*i = 32. Does 10 divide s?
True
Suppose 4175 = 4*g - 5*b, 3*g + 8*b - 3145 = 9*b. Is g a multiple of 25?
True
Let n = 19 - 18. Suppose -5*c + n - 41 = 0. Is (-6)/(-3) - (c - 104) a multiple of 23?
False
Does 23 divide -18 + 19 - (3/(-3) + -1194)?
True
Suppose 0 = -f + 2, 2*m - f - 8 + 0 = 0. Suppose 0 = -0*b + m*b - 475. Is b a multiple of 8?
False
Let x be 0 + (-5)/(-30) + (-17)/(-6). Suppose -2*j + 190 = -3*q, 4*q + 169 - 437 = -x*j. Is j a multiple of 10?
False
Suppose 4*j - 4796 = -4*r, 0 = 3*j + 5*r - 3144 - 459. Is 13 a factor of j?
True
Let f = 264 + -180. Does 12 divide f?
True
Let i be (-2)/(884/(-300) + 3)*-4. Suppose -3*b = -6*d + d + 5, -5*d = 4*b - 40. Suppose -3*j - 2*l + i = 13, -4*l + 229 = b*j. Is 12 a factor of j?
False
Let i = -119 + 130. Suppose -i = 4*d - 347. Does 28 divide d?
True
Let b be -2*1 + 12/(6/1). Suppose -5*z + 147 + 118 = b. Is z a multiple of 13?
False
Let t(i) = -2*i**3 - 6*i**2 + 4*i + 4. Let m(c) = 2*c**2 + c - 5. Let j be m(0). Is t(j) a multiple of 12?
True
Let r be 189/15 + (-4)/(-10). Let f be r + 3 + -6 + -2. Suppose s + 3*o = 2, 0 - f = -s + 3*o. Does 2 divide s?
False
Suppose 0 = -4*g - 5*y + 6145, -3*g + 1935 = -3*y - 2640. Is g a multiple of 50?
False
Suppose 0 = 93*h - 91*h - 338. Is 13 a factor of h?
True
Suppose -x - 5*d + 2432 = 0, d = 7 - 12. Does 39 divide x?
True
Suppose -b - 98 = -1335. Does 29 divide b?
False
Let w(y) = -y**3 - 10*y**2 + 24*y - 11. Let d be w(-12). Is 12 a factor of d/(-55) - ((-198)/10 + 0)?
False
Suppose 0 = 7*p + p - 1520. Does 19 divide p?
True
Is 107 a factor of (-7 - (-7)/7) + 438 + -4?
True
Let y = -20 - -74. Let v = -45 + y. Does 3 divide v?
True
Suppose -153*f = -a - 155*f + 2256, 11280 = 5*a - 2*f. Is a a multiple of 9?
False
Let p = 2 - -8. Let x = p + -14. Is 12 a factor of 18*1/(x/(-10))?
False
Let p(o) = 2*o**2 + 3*o + 2. Let n be p(-6). Suppose 0*c - 2*c = -n. Let z = 60 - c. Does 12 divide z?
False
Let h = -22 + 25. Let z be -1 + 0 - h*-12. Suppose 0 = 2*v - 3*v + z. Is v a multiple of 7?
True
Let h = -14 - -17. Let l be (81 + 2)*h/(-3). Let i = 141 + l. Is i a multiple of 10?
False
Let t be (-28)/(-8)*16/(-12)*-3. Let k(j) = j**2 - 15*j + 25. Is k(t) a multiple of 11?
True
Suppose -4*s + 24 = -5*o + 4*o, 3*s = 2*o + 23. Let a(y) = -y**2 - y + 1. Let k be a(o). Is 2 - (k + -3 + 6) a multiple of 10?
True
Let a = -1530 + 2670. Does 57 divide a?
True
Let d = 26 + 74. Is 50 a factor of d?
True
Let a be 2 - (-1 - (-2)/2). Is (207/(-9))/((-1)/a) a multiple of 21?
False
Let g = 480 + 1232. Is g a multiple of 16?
True
Suppose l - 91 = -4. Is l a multiple of 29?
True
Suppose 5*f = -20, f - 1758 = -5*u - 347. Is 9 a factor of u?
False
Let q(v) = -4*v**2 + 10*v - 7. Let a(m) = -m**2 + m. Let j(u) = 3*a(u) - q(u). Let g be j(5). Does 17 divide ((-3)/6)/(g/324)?
False
Let x(r) = -r**3 + 9*r**2 - 12*r + 4. Let m be x(10). Let l = m - -356. Is 9 a factor of l?
False
Is 644/69*-19*3/(-2) a multiple of 19?
True
Suppose -m + 0*m = 0. Let d be (-1 - 3) + m/1. Let s = d + 66. Is 13 a factor of s?
False
Suppose -214*r + 864 = -212*r. Is 24 a factor of r?
True
Let p = -234 + 361. Is 33 a factor of p?
False
Suppose 37 = -5*i + 4*o, 2*i = -4*o + 3*o - 20. Suppose -3*p = 2*z - 18, 0 = 2*p - 0*z - 2*z - 12. Is 3/i + 74/p a multiple of 6?
True
Let f(t) = 318*t**2 + 2*t - 8. Does 89 divide f(-3)?
True
Is (0 + -2 + -3)*-135 a multiple of 13?
False
Suppose 0 = -2*g - 5*a + 15 - 5, 4*a = 3*g - 38. Suppose 0 = 3*z - 2*y - 126, -g - 2 = 4*y. Is 4 a factor of z?
True
Suppose 0 = 3*j - 8*j + 785. Does 51 divide j?
False
Let d = 117 - 64. Suppose -162 - d = -5*g. Does 43 divide g?
True
Suppose 5*n + 165 = s, -3*s - s - n + 681 = 0. Suppose 7*u - 2*u = s. Is 2 a factor of u?
True
Let s(i) be the second derivative of 1/6*i**4 - 11*i - 1/3*i**3 - 3/2*i**2 + 0. Is 9 a factor of s(3)?
True
Is 19 a factor of 753 + (6/(-3) - -2)?
False
Suppose 4*h = -4*m + 2328 + 1956, 4*h - 4280 = -3*m. Is h a multiple of 12?
False
Let x(k) = k**2 - 7*k + 6. Let u be x(5). Let s(w) = 9*w - 10. Let o be s(u). Does 22 divide -1 + 1 + (-2 - o)?
True
Suppose 46*g - 47*g + 14 = 0. Suppose -2381 = -g*l + 1049. Does 49 divide l?
True
Let l(k) = -3*k**3 + 15*k**2 - 16*k + 8. Let j(z) = -8*z**3 + 45*z**2 - 49*z + 24. Let a(o) = 4*j(o) - 11*l(o). Is 6 a factor of a(-16)?
True
Suppose 2 = -2*v, 0 = -2*i - v + 69 + 1766. Is 32 a factor of i?
False
Let w be 94/(-1)*(-4)/(-8). Let i = w + 123. Is 38 a factor of i?
True
Suppose -2*m - 3 = -25. Suppose -10*h - 44 = -m*h. Is 7 a factor of h?
False
Let q be 3/18 - 44/(-24). Suppose 0 = -q*j + 44. Does 22 divide j?
True
Suppose l - 5*f = 3 + 14, 0 = -5*f - 10. Let s(u) = 2*u - 12. Let z be s(l). Let y(h) = 5*h**2. Is 7 a factor of y(z)?
False
Let a be 1/5 - (-16408)/35. Let w = -273 + a. Suppose 0 = -5*u + w + 24. Is u a multiple of 19?
False
Let a(m) be the third derivative of m**6/120 + m**5/15 - m**4/6 + 7*m**3/6 - 13*m**2. Let r be a(-5). Suppose -k + 42 = r*k. Is 6 a factor of k?
False
Suppose -143 = 5*x + 5*s + 147, -172 = 3*x + 5*s. Let o be 8*(-3)/6*x. Suppose 56 - o = -5*q. Is 9 a factor of q?
True
Suppose 4*c - 4136 = -4*w - 0*w, -w - 4151 = -4*c. Is c a multiple of 90?
False
Let u(a) = a**3 + 10*a**2 + 13*a. Let i = 17 + -23. Is 11 a factor of u(i)?
True
Let s = 147 - 105. Is 5 a factor of (-15)/(-6)*s/7?
True
Suppose 5*h - x - 321 = 0, x = -3*h - 8 + 207. Suppose 0 = 5*o, 5*m + 0*o - 3*o = h. Suppose m = g + 4. Does 9 divide g?
True
Let d(w) be the second derivative of 8*w + 0 - 19/2*w**2 - 7/6*w**3. Is d(-10) a multiple of 18?
False
Suppose 4*q = 4*v - 8, v + q + 1 = 3*q. Suppose 5*j = -k + 41, v*j - 44 = -3*k + 109. Is k a multiple of 14?
True
Let g be (-4)/(-18)*(1 + 8). Suppose 2*p = 4*k - 158, g*k - 5*k = 15. Let v = p - -146. Is 16 a