et q(c) = -c**3 + 10*c**2 - 2*c + 15. Let w be q(5). Let h = r + w. Is h a multiple of 12?
False
Let q be 2/7 - (-272)/28. Let p(j) = j**2 - 10*j + 4. Let m be p(q). Suppose 4*u + 79 = m*t + u, -3*t - u + 69 = 0. Is t a multiple of 11?
True
Let d be (0 + (-660)/8)/(-6)*-4. Let u = -34 - d. Is 8 a factor of u?
False
Suppose -352*j - 2898 = -373*j. Does 3 divide j?
True
Let w(f) = 3*f**3 + f**2 - 2*f - 3. Let q(c) = -2*c**3 - 2*c**2 + c + 4. Let i(v) = -4*q(v) - 3*w(v). Is 10 a factor of i(3)?
False
Let l = 47 + -26. Let y = -18 + l. Suppose y*k - d - 226 = 18, -402 = -5*k - 3*d. Is 12 a factor of k?
False
Let y(f) = 2*f. Let k be y(0). Suppose k = -2*l - 0*l + 6. Suppose -2*w = -l*v + 25, -7*v = -2*v - 4*w - 39. Is v a multiple of 3?
False
Let m be (-220)/(-18) + 2/(-9). Let y = m + -11. Let z = 16 - y. Is 8 a factor of z?
False
Let q = 19 - 11. Let i = q - 5. Suppose 0*s = -i*s + 9. Does 3 divide s?
True
Is -2 + 2045 - (-203)/29 a multiple of 82?
True
Let v(i) = 2*i**2 + i - 309. Is v(19) a multiple of 10?
False
Let x(a) = 3*a - 2. Let o be x(2). Is 11 a factor of ((-5)/12)/(3/(-27))*o?
False
Suppose b - 1008 = -4*i, 5*b - 2*b + i = 3068. Is 28 a factor of b?
False
Let h(z) = -97*z + 94. Does 8 divide h(-2)?
True
Let p be 1/(-4) + -18*(-84)/32. Suppose 7*q - 163 = p. Is q a multiple of 30?
True
Let h be 0 + 6 + -8 - -3. Suppose 6*n = 2*n + 96. Is (270/n)/(h/4) a multiple of 12?
False
Let j(s) = -s**3 + 19*s**2 - 6*s + 11. Let h be j(17). Suppose 7*b - 206 = h. Does 8 divide b?
False
Let p(i) = -i - 22. Let m be p(-16). Let d be 322/21 + 2/m. Let f = 37 - d. Is 10 a factor of f?
False
Let x = -15 + 23. Let o be ((-1)/(-2))/(x/(-512)). Let z = 7 - o. Is 13 a factor of z?
True
Suppose 10*q - 286 - 274 = 0. Does 7 divide q?
True
Suppose -8*y + 5*y + 153 = 0. Suppose y + 69 = 3*d. Is 20 a factor of d?
True
Let p(n) = 2*n**3 + 3*n**2 + 2*n - 5. Let i(y) = -3*y**3 - 6*y**2 - 5*y + 11. Let o(t) = 4*i(t) + 7*p(t). Is o(4) a multiple of 4?
False
Does 7 divide 96/(-10)*(625/10)/(-5)?
False
Suppose -4*a + 16 = 4. Does 44 divide (-4370)/(-50) - a/(-5)?
True
Let i(r) = 58*r**3 + r**2 + 2*r - 2. Let n be i(1). Suppose -4*z - 17 = -2*y - n, 11 = 2*z + y. Is 3 a factor of (-6)/(-1*z/4)?
True
Let t(l) = -2*l**3 - l**2 - l. Let v be t(-1). Suppose 3*h + v*p = -6, 3*h - h - 2*p - 6 = 0. Suppose 4*f = -h*f + 28. Is 2 a factor of f?
False
Suppose -7*b - 2072 = -11*b. Suppose 0 = -6*a + b + 76. Let s = a - 68. Is s a multiple of 10?
False
Let r = -32 - -34. Let j(t) = -1 + 32*t - 13*t + 5*t**2 + r - 14*t. Is j(-4) a multiple of 8?
False
Suppose 3*k - 1731 = -5*y, -4*y + 1388 = -k + 5*k. Is 40 a factor of y?
False
Suppose -32 = 3*k - 7*k. Let q be -28*(28/k)/(-7). Does 16 divide (-1 + 119)*7/q?
False
Suppose -h + 8 - 39 = -3*f, 0 = -2*h + 4. Let u(i) = i**2 + 7*i + 4. Let y(n) = -5*n**2 - 27*n - 17. Let d(a) = -9*u(a) - 2*y(a). Is 4 a factor of d(f)?
True
Suppose 0 = 6*u - 2*u - 8. Suppose -o = -0*o - r + 5, u*r = 3*o + 10. Suppose n + 2*n - 99 = o. Is n a multiple of 5?
False
Suppose 2*r - 4*y = 280, 877 = 5*r - 3*y + 156. Does 2 divide r?
True
Suppose -4*q + 3*b = -2*q - 15, q + 2*b = -10. Is 75 - (2 + 3 + q) a multiple of 7?
True
Suppose -2*f - 5*g = -86, 96 = 3*f + 5*g - 28. Suppose 4*w = 3*l + 40, -3*w + w + 50 = -4*l. Let h = f + l. Does 13 divide h?
True
Suppose -g + 500 = -5*q, -3*g - 2*q = -5*g + 992. Is 24 a factor of g?
False
Suppose 5*c - 2*o = 3*o + 20, -2*o = 3*c - 12. Suppose -132*i - 342 = -138*i. Suppose 0 = 4*f - x - i, -c*f = f + 2*x - 81. Is f a multiple of 13?
False
Suppose 33*i = -5410 + 15970. Is 64 a factor of i?
True
Suppose 3*t = 4*t + 4*n - 429, 5*n = -2*t + 867. Let y = -291 + t. Is 20 a factor of y?
False
Let n(c) = 6*c**3 + 15*c**2 + c + 2. Let y(h) = -h**3 - h + 1. Let l(t) = n(t) + 4*y(t). Is 38 a factor of l(-7)?
True
Suppose -370 = -7*x + 330. Suppose -x + 25 = -5*v - 5*h, -4*h + 75 = 5*v. Suppose n + 7 = 4, 2*l = -n + v. Is 5 a factor of l?
False
Is 16 a factor of ((-336)/(-210))/(3/3300)?
True
Let w = -161 + 166. Let f(p) be the third derivative of 5*p**4/24 + 5*p**3/6 - p**2. Is f(w) a multiple of 15?
True
Let p(j) = 12*j**2 + 3*j - 11. Let v be (-187)/(-44) + 2/(-8) + 0. Is p(v) a multiple of 33?
False
Suppose v - 2 = 0, 37*i - 3*v + 2250 = 41*i. Is i a multiple of 11?
True
Suppose 0 = k - 23 + 5. Suppose 0 = s - 2*f - k - 10, 76 = 3*s - 4*f. Does 20 divide s?
True
Suppose -4*u - 4 = y + 1, 3*y + 5*u = -50. Let x be (15/y)/(1/(-25)). Suppose b + 0 - x = 0. Does 4 divide b?
False
Let l be 17/(-51) + (-1)/(-3). Suppose 0*f - 5*f = l. Suppose -y = 2*y - 4*i - 191, f = -y - 3*i + 42. Does 19 divide y?
True
Suppose 5*h = 3*h - 4. Let k(v) = 10*v + 2. Let o be k(h). Let u = o - -62. Is 11 a factor of u?
True
Suppose -8*y + 5*i - 1578 = -12*y, -2*y = -i - 782. Does 13 divide y?
False
Let k = -14 - -19. Suppose k*f - 2*f - 372 = 0. Does 30 divide f?
False
Let o(m) = m + 17. Let a be o(-3). Suppose 0 = a*r - 8*r - 1158. Does 37 divide r?
False
Suppose -8169 - 4116 = -21*k. Does 21 divide k?
False
Let s(t) = 2*t**3 - 6*t**2 + 2*t + 4. Suppose -a - 3*a + 20 = 0. Let u be s(a). Suppose 4*m - 34 = -f + u, 4*m = -5*f + 148. Does 14 divide m?
False
Suppose 34 = -5*v - w, 2*w = -v - 13 - 1. Let l be 0 - -3 - (-25)/3*3. Is l + 12/(-3 - v) a multiple of 25?
False
Let t be (-2)/4*(-12 - -4). Suppose -3*h + 4 = t*n + 25, n + 8 = -h. Let y = 24 + h. Does 4 divide y?
False
Suppose 1420 = 2*k + d - 6*d, -k + d = -704. Is k a multiple of 70?
True
Let d(s) be the third derivative of s**6/120 + s**5/10 - 5*s**4/24 + s**3 - 7*s**2. Let t(f) = f**2 - 5. Let n be t(0). Does 26 divide d(n)?
False
Let x = 1015 - 743. Is 49 a factor of x?
False
Suppose 0 = 3*t - 4*y + 211, -3*y - 346 = 5*t - 4*y. Is (-4)/(-6) + (-2231)/t a multiple of 11?
True
Let r(b) = 2*b**3 + 18*b**2 + b + 13. Let u be r(-9). Suppose 2*n + 579 = u*c + c, -2*c + 3*n + 236 = 0. Is c a multiple of 23?
True
Is 17 a factor of (-156)/546 + (-6393)/(-7)?
False
Let c be 4/11*11/2. Suppose 0 = -h - 5*z + 41, -c*h = 3*h - 2*z - 340. Is 22 a factor of h?
True
Let d = 188 - 116. Suppose -68 = -5*q - l, -q - 4*q + d = -l. Is 553/q*4/2 a multiple of 16?
False
Does 2 divide (540/162)/((-2)/(-60))?
True
Let b(q) = -50*q - 2. Let u(p) = -4*p - 3. Let t(h) = -5*h - 4. Let i(l) = -3*t(l) + 4*u(l). Let k(j) = b(j) - 3*i(j). Does 13 divide k(-1)?
False
Let x = 214 - 110. Suppose 5*j = -2*n - 271, -4*j + 5*n = 2*n + 203. Let r = x + j. Is 17 a factor of r?
True
Suppose 2*n + 3*k - 225 = 0, -n - 25 = 5*k - 120. Suppose 0 = 24*h - 22*h - n. Is 19 a factor of h?
False
Let i(g) = -120*g - 3. Let s be i(-3). Suppose 0 = -2*v - 3*d + 337, -2*v = 9*d - 10*d - s. Does 22 divide v?
True
Suppose 5*l - 4*l = 0. Suppose 0 = -3*j + 3 - l, -5*j + 3 = -x. Does 21 divide (126/(-8))/(x/(-8))?
True
Let f(h) = -3*h - 36*h**2 + 49*h**2 - h**3 + 13 + 12. Is 39 a factor of f(11)?
True
Let h = -6 + 32. Is 7 a factor of h - 24 - 19*-1?
True
Suppose -p - p = 8. Let i(j) = -4 + 8*j**3 + 5*j - 3*j**2 - 4*j**3 + 5*j**2 - 5*j**3. Does 18 divide i(p)?
True
Suppose 0 = 2*q - 4*s - 172 - 112, -428 = -3*q + 4*s. Does 16 divide q?
True
Is 16 a factor of (5/10*4)/((-1)/(-136))?
True
Let k(z) = z**3 - 7*z**2 - 7*z + 4. Let a be k(9). Suppose -3*v + 59 = -a. Does 18 divide v?
True
Suppose 85*w - 89*w = -2048. Is 16 a factor of w?
True
Suppose -2*b - 14 = -4*b + 2*d, -46 = -3*b - 2*d. Suppose 2*a + 5*p = 594, -2*p - b = a - 310. Is 51 a factor of a?
False
Suppose 2*i + 290 = 4*h, 3*i + 147 = 2*h - 0*i. Let o = 83 + h. Is o a multiple of 34?
False
Suppose 2 = q - 1. Suppose 0*z + 2*z + 4*c = -16, -3*z + 21 = -q*c. Suppose -z*y + 22 = -i + 3*i, 4*i - 5*y - 35 = 0. Is i a multiple of 4?
False
Suppose -7*l = -l - 24. Suppose 3*z + l*k - 188 = 2*z, -3*z + 4*k + 532 = 0. Does 12 divide z?
True
Let a(s) = 18*s + 34. Is 72 a factor of a(9)?
False
Let x(t) = t**2 + 15*t - 15. Let m be x(-22). Suppose -31 = -5*h + m. Does 34 divide h?
True
Let z = -43 + 89. Let x = 52 - z. Does 2 divide x?
True
Let y = -32 - -24. Let m be (-7)/28 - 130/y. Suppose m*p = 15*p + 38. Does 19 divide p?
True
Let q be 5 - 9 - (-19 - 0). Suppose 5*b = -0*b + q. Suppose b*u - 44 = -u. Is 11 a factor of u?
True
Let i(a) = a**3 - 14*a**2 + 38*a - 4. Is 7 a factor of i(15)?
True
Let