Suppose 5*s - 14 = -2*t - 0*t, 3*t + 1 = -2*s. Suppose 15 = 2*n + 3*n - p, 3*n - 9 = s*p. Suppose -q + 0*m + 42 = -m, -3*q = n*m - 144. Is 17 a factor of q?
False
Suppose -u - 9 = -2*f + 2*u, 40 = -5*f - 5*u. Is 9 a factor of (-3)/(f/15 + (-88)/(-540))?
True
Suppose 2*z - 30 = -2*v, 4*z - 6*v - 72 = -4*v. Suppose -46 = -7*d + z. Is d a multiple of 3?
True
Suppose 0 = -2*d + 4*d - 26. Suppose 4*k = 69 - d. Let q = 24 - k. Is 4 a factor of q?
False
Does 3 divide 86/(-645) - (-137)/15?
True
Suppose -b + 9 = -0*b + 3*j, 4*b - 18 = -3*j. Suppose 40 = b*p - p. Is p a multiple of 20?
True
Suppose 2*g + 2 = 3*g. Let k(y) = -3 - 5*y**3 + 4*y**3 - 4*y + 7*y**g + 5. Does 7 divide k(6)?
True
Let l = 51 - 49. Is 20 a factor of l + (3 - -95) - (1 + -1)?
True
Let t = -62 - -73. Suppose 76 = 13*a - t*a. Does 8 divide a?
False
Suppose -32*k = -36*k + n + 1749, 0 = -4*n - 20. Is k a multiple of 109?
True
Let v(a) = 12*a + 2. Does 11 divide v(5)?
False
Suppose 987 = -4*v + 1327. Is v a multiple of 3?
False
Let m be (1 + -2)/((-13)/(-26)). Does 4 divide 2/(12/(-39))*m?
False
Let z(o) = o**2 + 32*o + 178. Is z(-31) a multiple of 7?
True
Let b = 35 - 36. Is (-6)/(b - (-8)/20) a multiple of 5?
True
Let o(w) = 2*w - 2. Let r be o(3). Suppose 5*m - 4*m - 5*u = -7, -u - 48 = -r*m. Suppose x + m = 2*x + f, -3*x + 5*f = -71. Does 17 divide x?
True
Let i(u) = u**3 - 4*u**2 + u + 5. Let d be i(4). Let y be (0 + -5)*d*-1. Let f = -27 + y. Does 9 divide f?
True
Suppose w = 3*s + 681, w + 7*s - 663 = 4*s. Is 32 a factor of w?
True
Let v(u) = -2*u + 21. Let s be v(-7). Suppose 7*y - 63 = s. Is 2 a factor of y?
True
Let m(k) = -k**3 - 17*k**2 - 2*k + 17. Let w be m(-17). Let c = w + -21. Does 10 divide c?
True
Let b = -365 - -569. Is 12 a factor of b?
True
Let o(m) be the first derivative of 7*m**3/3 - m**2 + 7*m - 17. Does 15 divide o(-5)?
False
Let h(z) = 2*z**2 + 60*z - 35. Is h(11) a multiple of 17?
True
Let l(w) = -2*w**3 + 65*w**2 + 78*w - 3. Is l(32) a multiple of 18?
False
Does 29 divide (-834)/(-695)*890/2?
False
Suppose -16 = -3*d + 4*l, -5*d - 5*l + 6*l = -21. Suppose -3*r + 3*a + 738 = 0, 3*r - d*a + 1221 = 8*r. Does 14 divide r?
False
Does 2 divide (14/(-35))/(-2) + (-858)/(-10)?
True
Suppose 8*n = 5*n + 27. Is 27 a factor of 0 + (-3)/9 + 732/n?
True
Let f(j) = -18 + 2*j + 3 - 3. Let u be f(13). Suppose 92 = 4*d - u. Does 5 divide d?
True
Suppose -5188 = -3*k + 2141. Suppose -8*s - 707 = -k. Is 17 a factor of s?
False
Let z be -2*-5*6/(-15). Let m be 3/(z/(200/(-3))). Let w = m + -28. Does 22 divide w?
True
Let k(n) = -n**3 + 12*n**2 + 14*n + 12. Suppose -t - 6*t = 0. Suppose 0 = 5*q - t*q + 2*a - 69, 0 = q + 5*a - 23. Is 6 a factor of k(q)?
False
Let s be (-4 + -2)*(-21)/(-14). Let v(k) = -k**3 - 8*k**2 + 6*k - 22. Does 3 divide v(s)?
False
Suppose g + c - 82 = 0, 6*g + 4*c = g + 411. Does 80 divide g?
False
Let c = -36 + -26. Let p = -29 - c. Is p a multiple of 3?
True
Suppose -5*p + 6*p = -4*o + 542, -4*p + 2*o = -2168. Suppose -3*i + r = -778, -2*i - 3*r = r - p. Suppose -2*c + i = c. Does 29 divide c?
True
Let l = -724 + 1300. Is l a multiple of 12?
True
Let q be (-385)/(-20) + 1/(-4). Suppose -d = -q - 91. Is 55 a factor of d?
True
Let f = -20 - 1. Let q be 7/f - 71/3. Is 7*(0 + q/(-7)) a multiple of 12?
True
Suppose -200*c + 210*c = 1820. Does 7 divide c?
True
Let b = 562 + -240. Is b a multiple of 25?
False
Let m(c) = -179*c + 5. Is 15 a factor of m(-8)?
False
Does 17 divide 89*(-2 + (168/(-7))/(-6))?
False
Let i = 1 - -10. Is 3 a factor of i?
False
Let m be 645/10*8/(-6). Does 3 divide m/(-8) + 1/4?
False
Let t = 16 + -8. Suppose -12 = 4*g - t. Is 8 a factor of 4*g*(-22)/8?
False
Let k(f) = f**3 + 12*f**2 - 80*f + 2. Is k(-12) a multiple of 13?
True
Suppose 3*m - 6*m = 21. Let s = 23 + m. Is 4 a factor of s?
True
Suppose 7*q = 3*q + 5*f + 1395, -q + 350 = -f. Is 30 a factor of q?
False
Let s(p) = p**2 - p. Let n = -37 + 36. Is s(n) a multiple of 2?
True
Let o be 408/16*(-42)/(-9). Suppose -o = -5*i - 4. Is i a multiple of 3?
False
Let c(f) = -f**2 + 5*f + 11. Let o be c(8). Let s = o + 35. Is 9 a factor of s?
False
Suppose 2*f - p = 0, -p - 4 = -4*f - 8. Let q = 1 + 1. Is 29 a factor of f + -2 + q - -42?
False
Let t(b) = -515*b**3 - b**2 - b - 1. Let k be t(-1). Is 27 a factor of k/6 - 7/(-21)?
False
Suppose 2*v - 5*v - 2*s = -314, 0 = 4*v + s - 427. Suppose -4*q - v = -8*q. Is 27 a factor of q?
True
Suppose v - 28 - 2 = 0. Let g(s) = s**3 + 2*s**2. Let l be g(-2). Let t = v + l. Is t a multiple of 10?
True
Let t = 3821 - 2281. Is 32 a factor of t?
False
Is 13 a factor of 21/(-6)*-2 - -175?
True
Let a(i) = -i**2 - 21*i + 29. Let k = -132 - -112. Is 19 a factor of a(k)?
False
Let z(g) = -g**3 - g**2 - 13*g + 18. Is z(-5) a multiple of 3?
True
Let n = -12 + 17. Suppose n*o + 350 = -5*s, -s + 5*o = 42 + 22. Let r = 119 + s. Is r a multiple of 10?
True
Let r = 4 + -13. Let u(l) = -l**2 - 17*l + 19. Is u(r) a multiple of 9?
False
Suppose 2*o = o + 2*u, 3*u = -3*o. Let q = o - -2. Suppose 5*g + 182 = 3*y + 487, 2*g + q*y = 106. Is 29 a factor of g?
True
Let w be 7/(-14)*10*-1. Suppose v + 2 = 6. Suppose 0 = -v*q - 2*p + 78, -w*q + 0*q = -3*p - 70. Is q a multiple of 8?
False
Suppose -6 = n - 12. Suppose n*b - 35 = b + d, -2*b - d + 7 = 0. Is b a multiple of 2?
True
Let d(w) = 15*w**3 - 7*w**2 - 10*w + 12. Is d(3) a multiple of 36?
True
Let u(w) = -w**2 - 18*w - 37. Let o be u(-16). Is (o/2)/((-8)/16) a multiple of 2?
False
Suppose 5*g - 1894 = -0*g + s, 3*g + s = 1130. Is g a multiple of 54?
True
Let i = 221 - 111. Is 22 a factor of i?
True
Suppose -r - r = 5*s + 389, r + 5*s + 187 = 0. Let x = -117 - r. Does 16 divide x?
False
Let j = 825 + -356. Does 35 divide j?
False
Let l = -13 - 27. Let z = l + 27. Let r = 8 - z. Does 7 divide r?
True
Does 41 divide (-2)/12 - 239915/(-390)?
True
Let o be -1*(-1)/(3/6). Suppose 2*g = 4*y + 6 - 46, 5*y - 59 = -o*g. Is 2 a factor of y?
False
Let k(n) = 0*n**3 + 6*n - 4*n - n**3 - 7*n**2 + 21 - 5*n. Is 35 a factor of k(-9)?
True
Let u = 142 + -34. Suppose -5*p - 58 = -4*p + 3*d, 5*p + 358 = 2*d. Let m = p + u. Does 9 divide m?
False
Let z(p) = p**2 - 9*p - 4. Let b be z(10). Let d(f) = 15*f - 4. Is d(b) a multiple of 29?
False
Suppose d + 2*t = -2*t + 19, 29 = 3*d + 5*t. Suppose 4*f - 27 + d = 0. Let x(v) = -v**3 + 7*v**2 - 2*v - 7. Is 17 a factor of x(f)?
True
Is 30 a factor of 1 + 14728/18 + 76/(-342)?
False
Let i = 952 - -649. Is 5 a factor of i?
False
Let v(s) = -s**2 + 3*s + 170. Is v(-10) a multiple of 8?
True
Suppose -3*b - 61 = -13. Let p(v) = -v**3 - 16*v**2 - 7*v - 8. Is 26 a factor of p(b)?
True
Let j(d) = -759*d - 199. Is 19 a factor of j(-2)?
False
Suppose 2*y = 13 - 3. Suppose h - 44 = 3*h + y*t, 0 = 2*t. Let v = h - -42. Is 4 a factor of v?
True
Let v(o) = 20*o - 17. Suppose -187 - 85 = -16*i. Is v(i) a multiple of 25?
False
Suppose g - 83 = -0*g. Suppose -3*s + 698 = g. Does 34 divide s?
False
Let l = -1023 - -1086. Does 20 divide l?
False
Let f(c) = -106*c**3 + 5*c**2 + c - 15. Is f(-2) a multiple of 21?
False
Let k be 3/(-2) + (-9)/(-18) + 3. Does 42 divide (3 - (k - -4)) + 239/1?
False
Let q(h) be the first derivative of h + 5 + h**2 + 1/4*h**4 - 4/3*h**3. Is q(5) a multiple of 20?
False
Let y(v) be the second derivative of 5*v**3/6 - 7*v**2 - 20*v. Does 6 divide y(4)?
True
Let s be (-2)/7*7*-1. Suppose 18 = -2*v + 2*t, s*t + 1 = -4*v - 41. Does 10 divide (v/(-7))/(4/28)?
True
Suppose -306*i = -307*i + 2. Suppose -1600 = -4*l + 4*n, -4*l + 2523 = -i*n + 923. Is 16 a factor of l?
True
Suppose 6 = 3*h - 9. Let c = h + 252. Does 44 divide c?
False
Suppose 0 = 4*v - 20, -7*v = 4*h - 3*v - 624. Is h a multiple of 5?
False
Suppose 17 = -4*q + 93. Let b = q - 17. Suppose -b*s = -0*s - 24. Is 6 a factor of s?
True
Let u(b) = b + 3. Let c be u(0). Suppose 2*j - c*j + 65 = -2*k, 0 = 2*j + 2*k - 136. Is j a multiple of 20?
False
Suppose 0 = j + h - 641, 4*j + 8*h - 2561 = 5*h. Is j a multiple of 22?
True
Suppose -5*d + 4*j + 4513 = 0, -143 + 2846 = 3*d - 4*j. Suppose -3*w + 781 - 234 = h, 5*w - d = -3*h. Is 23 a factor of w?
True
Let u = 28 - 54. Let v = 30 + u. Suppose 0*h + 4*p = h - 42, v*h - p - 213 = 0. Is 8 a factor of h?
False
Let o(p) be the second derivative of 0*p**2 + 0 - 5/12*p**4 + 1/20*p**5 + 2*p + 1