 = -2*i + 239, 512 = 2*h - 2*i. Let m = h + -44. Is m a multiple of 22?
False
Let h(u) = -u**3 - 17*u**2 - 25*u - 20. Let v be h(-16). Let b be v/12 + (-6)/(-9). Suppose 12*n = b*n + 18. Is n a multiple of 9?
True
Let a be 4/(-16) - (-18)/(-24). Is 24 a factor of (1 - a) + (-1 - -50)?
False
Let j(o) = 11*o**3 + 2*o**2 + o - 1. Let f be j(-1). Let c = 69 + f. Is 16 a factor of c?
False
Suppose 0 = -2*z + 5*k - 12, 4 = -2*z + k - 0*k. Let n(i) be the first derivative of 25*i**3 + i**2/2 + 2*i + 5. Is 19 a factor of n(z)?
True
Is (1155/(-20))/((-28)/224) a multiple of 33?
True
Suppose -4*g = 5*t - 34, 0 = 3*t - 2*t + g - 6. Let f = 31 - t. Is 4 a factor of f?
False
Suppose h - 4 = -5*c + 3*c, h + 3*c = 9. Let y(z) = 4*z**2 + 13*z - 4. Let s(w) = 4*w**2 + 13*w - 4. Let p(k) = -4*s(k) + 5*y(k). Does 10 divide p(h)?
False
Let q(k) = 475*k + 214. Is q(11) a multiple of 49?
True
Let w be (-12)/72 - 229/(-6). Let i = w + -28. Is 4 a factor of i?
False
Let c(p) = 4*p**2 + 17*p + 22. Let n(o) = o**2. Let w(q) = -c(q) + 3*n(q). Does 6 divide w(-10)?
True
Let u(s) = -16*s**3 - 9*s**2 - 5*s + 7. Let z(j) = 5*j**3 + 3*j**2 + 2*j - 2. Let o(f) = 3*u(f) + 8*z(f). Is 15 a factor of o(-3)?
False
Does 11 divide (-12)/(-9)*33/4?
True
Suppose -g - 9 = -4*g. Does 7 divide 5 + -1 + (3 - (-3 + g))?
True
Let z be (17/51)/((-2)/(-12)). Let m be 5/(-4)*z*-6. Suppose -m*p - 30 = -17*p. Does 15 divide p?
True
Suppose 5*q - 5*i = -3*i + 2695, 3*i + 2690 = 5*q. Is 12 a factor of q?
False
Let s = 2977 + -1313. Does 26 divide s?
True
Suppose -3*m - 2362 = -3*x + 887, -2*m + 3224 = 3*x. Does 14 divide x?
True
Suppose 0 = -2*d + 4, -2*o + 14*d = 9*d - 336. Does 7 divide o?
False
Let m be 0 + 1 - -3 - 0. Suppose -m*c - c = -3*i + 20, -3*i = 0. Let n(l) = -l**3 - 5*l**2 - 7*l - 5. Does 3 divide n(c)?
False
Let h(n) = -n. Let t be h(8). Let y(q) = -5*q. Let d be y(t). Suppose -4*f + d = 3*s, f - 3*s - 2 = -f. Is 2 a factor of f?
False
Let f = 45 + 16. Let z = f - 35. Is z a multiple of 3?
False
Let z be (-4)/10 - 216/(-40). Suppose 25 = 5*p + z*r, 2*p - 4*p - 4*r + 12 = 0. Does 28 divide (-831)/(-15) + p/(-10)?
False
Suppose u - 70 - 115 = 3*m, 2*u + 2*m = 386. Is u a multiple of 10?
False
Does 11 divide (-218 - 1)*((-3)/(-1))/(-9)?
False
Let t = 54 - 55. Let u(p) = -151*p**3 + p**2 - 2*p - 3. Is 40 a factor of u(t)?
False
Let n be ((-1)/3)/(17/8211). Let v = n - -308. Is v a multiple of 49?
True
Let u be 8/(-12)*1458/(-3). Suppose 4*z - u = 252. Is 24 a factor of z?
True
Let o = 16 - 15. Is o*(-3 + 50/5) a multiple of 7?
True
Suppose 1742 = 12*r - 5578. Is 12 a factor of r?
False
Let r be 484/5*(-16 - -21). Suppose 5*c = 5*m + c - r, 5*c = -2*m + 220. Is m a multiple of 25?
True
Suppose -d - 2*m = -137, 5*d = -2*m + 78 + 575. Suppose 1 = -j + d. Suppose -4*h - a = 2*a - j, -3*a - 82 = -2*h. Is 17 a factor of h?
False
Does 16 divide (-16623)/(-30) - (-2)/(-20)?
False
Suppose 0*z + 5*j - 12131 = -4*z, -j + 6061 = 2*z. Does 37 divide z?
False
Suppose -o = 5*c - 310, 0*c + 194 = 3*c - o. Is 7 a factor of c?
True
Let x(u) = 5*u**2 + u. Let b be x(-1). Let t = 0 + b. Suppose -3*d - 3 = 0, t*d - 2*d - 6 = -2*o. Is o a multiple of 2?
True
Let p be -3*4/12 + -20. Let z = -18 - p. Let y = 34 - z. Does 12 divide y?
False
Suppose -2*b = -4 - 4. Suppose 0 = -b*g + g + 15. Suppose -3*f + 51 = g*q, 0 = -f - 0*f + 4*q. Is 4 a factor of f?
True
Let n be -1*(0 - (-4)/(-2))/2. Does 15 divide n*(2 + -3)*-150?
True
Let v(a) = -a**3 - 6*a**2 - 7*a - 6. Let k be v(-6). Let u = k + -27. Is 3 a factor of u?
True
Let v = 5 + 1. Suppose -3*d = 3*b - 18, -4*d + 3*b - b = -v. Is d a multiple of 2?
False
Let c = -89 + 92. Does 41 divide (-18)/99 + (-1993)/(-11) - c?
False
Let j = -87 + 119. Does 14 divide 422/4 - (-48)/j?
False
Suppose 13*b = 7*b + 1638. Suppose 3*q - 203 = 5*c + b, -5*q - c + 812 = 0. Is q a multiple of 27?
True
Suppose -2*k = -3*b - 34, -6*k + k + 4*b = -71. Suppose 0 = k*g + 4*g - 1275. Does 10 divide g?
False
Let s(u) = -2*u**3 - 4*u**2 + 8*u + 7. Suppose -5*y + 30 = -4*g, 5*g + 4*y - y + 19 = 0. Does 13 divide s(g)?
True
Is 28 a factor of (-10 - 400/(-24))*(2 - -481)?
True
Let r(h) be the third derivative of -1/15*h**5 + 4*h**2 + 0 + 1/6*h**4 + 2/3*h**3 + 0*h - 1/120*h**6. Is 9 a factor of r(-5)?
True
Suppose 7*c + c - 864 = 0. Does 9 divide c?
True
Let t(y) = -y**2 - 6*y + 4. Let v be t(-6). Suppose -2*q - 24 = 2*s - 254, v*s = 3*q + 446. Is s a multiple of 32?
False
Let x(f) = -f**3 - 10*f**2 + 9*f - 90. Is 6 a factor of x(-12)?
True
Let v(w) = -3*w - 12. Let q be v(-5). Let h be 11 + -3 + (-12)/q. Suppose -k + 4*k - 3*x - 132 = 0, -4*x = h*k - 144. Does 10 divide k?
True
Let a = 388 + -58. Does 6 divide a?
True
Let u(p) = -p + 15 + 4*p**2 - 2*p**3 + 0*p + 3*p**3 - 3*p**2. Let d be u(0). Suppose d = l - 30. Is 15 a factor of l?
True
Let u = -37 + 85. Suppose -u = 3*p + p. Let l = 24 + p. Does 3 divide l?
True
Let n(x) = -19*x**2 - 3*x - 8. Let l be n(4). Is l/(-8)*1/(1/2) a multiple of 9?
True
Let d(x) = 431*x**3 + 2*x**2 - 3*x + 2. Does 54 divide d(1)?
True
Suppose 17*k - 20*k = -2*t + 183, 2*k + 354 = 4*t. Is t a multiple of 35?
False
Let f = 51 + -13. Suppose d + 11 = f. Does 5 divide d?
False
Suppose -3*f - 339 = 4*d + 3956, 2*d = 5*f - 2115. Is d/(-14) + (-44)/(-77) a multiple of 11?
True
Does 20 divide 1350/36*128/5?
True
Let o = -212 - -380. Does 12 divide o?
True
Suppose 0 = 2*p + 2*f + 6, 4*p + f + 7 + 8 = 0. Suppose 5*x = 3*g + 19, -4*x + 14 + 0 = -3*g. Is p/g*252/(-8) a multiple of 26?
False
Let g = 16 - 12. Let u be 2126/(-8) - 1/g. Is 19 a factor of u/(-4) + 2/(-4)?
False
Suppose 3*p - p + 175 = 3*y, 124 = 2*y - 5*p. Does 7 divide y?
False
Let n(a) = 3*a**3 + 3*a**2 - 3*a + 16. Let f(t) = -4*t**3 - 4*t**2 + 4*t - 24. Let s be 3 - 7/((-28)/(-32)). Let q(j) = s*f(j) - 7*n(j). Does 4 divide q(0)?
True
Let f = 1932 - -938. Does 35 divide f?
True
Let p(g) = 11*g**2 - 4*g + 2. Let r be p(2). Suppose 2 = -c - r. Let q = c + 60. Is q a multiple of 20?
True
Suppose 3*y + 221 = w - 2*y, 2*w + 3*y - 468 = 0. Is 7 a factor of w?
True
Let r(q) = -4*q**3 + q**2 - 14*q - 12. Does 53 divide r(-5)?
True
Let v(f) = 5 - 7*f**2 + 17*f + 22*f + 0*f**3 - 34*f + 2*f**3. Suppose 0 = -4*n - 5*z, 4*z + 31 = 3*n - 0*z. Is 21 a factor of v(n)?
True
Suppose 9 = 4*f - j, -f + 5 = j - 1. Suppose k + 4*k = -3*i + 134, f*i - 179 = 4*k. Suppose 0 = 3*u - 2*g - 145, -4*u - 2*g + 251 = i. Does 25 divide u?
False
Let b(y) = y - 10. Let i be b(5). Let u(t) = -22*t - 26. Is u(i) a multiple of 14?
True
Let u(a) = -17*a - 12. Let s be 3 - 5/10*20. Is 11 a factor of u(s)?
False
Let g(j) = -447 + 4*j - 3*j + 15*j**2 + 448 + 0*j. Is 7 a factor of g(2)?
True
Suppose 4*m - 6*m = 68. Let z = m - -12. Is 13 a factor of ((-55)/z)/((-1)/(-10))?
False
Suppose -14*x - 598 = -19848. Does 42 divide x?
False
Suppose 4*b + 18 = 10*b. Suppose 3*c + 105 = 5*c - 3*d, 5*c + b*d = 315. Does 12 divide c?
True
Suppose 2*h = h + 10. Let g = 18 - h. Let m(l) = l**2 - 6*l + 5. Does 21 divide m(g)?
True
Suppose -2*f - 3*f + 40 = 0. Let m(c) = 2*c + 6*c**3 - 7*c**3 + f*c - 11 - 6*c**2. Is 18 a factor of m(-8)?
False
Suppose 3*t + 7 = 4. Let l(o) = 2*o**2 + 5*o - 4. Let d be l(-4). Does 9 divide 18/(t/((-12)/d))?
True
Suppose 0 = 21*w - 10*w - 6732. Does 36 divide w?
True
Suppose 5*f + 155 = 5*y, 3*f - y + 99 = 10. Let g = -18 + 52. Let b = g + f. Does 3 divide b?
False
Suppose 0 = -2*v - 5*a - 53, -2*a = -3*v + 11 - 62. Let c = v + 43. Does 4 divide c?
True
Suppose -2*f = 0, 12*p - 4*f - 4644 = 9*p. Does 86 divide p?
True
Let s = -24 - -25. Does 9 divide ((s - -1) + 6)*4?
False
Let q = -614 - -1097. Is q a multiple of 26?
False
Let n(j) = 2*j - 12. Does 2 divide n(14)?
True
Let a be (-2 - -1) + 2 + 5. Let x(w) = -5257 + 4*w + 5257. Is x(a) a multiple of 6?
True
Let d be (-8)/(2*2/(-22)). Suppose -6*a = -2*a - d. Is a a multiple of 11?
True
Let l(p) = p**2 + 7*p. Let o be l(-7). Suppose o = -3*w - 5*c + 210, 9*w - 350 = 4*w + 3*c. Is 35 a factor of w?
True
Suppose -m + 176 = -9*m. Let o be (8/6)/(m/(-33)). Suppose -f + o*f - 60 = 0. Is f a multiple of 12?
True
Suppose -4*b + 147 = 479. Let o = b - -273. Is o a multiple of 38?
True
Let y(i) be the first derivative of -i**4/4 + 19*i**3/3 + 2*i**2 + 5*i - 25. Is y(19) a multiple of 9?
True