4 divide ((-15)/2)/(220/(-35200)*(-10)/(-104))?
True
Let s(m) = -6*m - 6*m**3 + 7*m**3 - 3*m**3 - 12 - 3*m**2 + 2*m**2. Does 3 divide s(-3)?
True
Suppose -2*n - 2*p + 21955 = -3*p, n - 3*p = 10990. Is 16 a factor of n?
False
Let c = -234 + 241. Is 166 - (c + -6)*0 a multiple of 29?
False
Is 46 a factor of (490/50 - 11)/((-2)/2070)?
True
Suppose -6*s + 4*s = 0. Let f = 665 - 665. Suppose 0 = -f*y + 3*y + 3*j - 36, -3*j - 12 = s. Is y a multiple of 2?
True
Let v be (63 + -64)/(1 - 56/54). Does 3 divide (-36)/8*-2*v?
True
Suppose -4*g = -5*v - 32, -3*v - 2 + 5 = 5*g. Suppose -2*l - s = -4*s - 1345, -g*l - s + 2012 = 0. Is l a multiple of 13?
False
Let v = -681 + 1347. Suppose 51 = -5*o + v. Suppose -5*n + 3*w = -1083, -n - 3*w + o = -108. Is n a multiple of 13?
False
Let t(v) = -6*v**2 + 20*v - 7. Let b be t(3). Is 8/(-4)*6*7*b a multiple of 21?
True
Let i be (-1 - 1) + (643 - -7). Let q be 2/9 + 86/18. Suppose q*c = -3*c + i. Is 23 a factor of c?
False
Is ((-3534)/(-186))/((-10)/(-16)*4/1630) a multiple of 163?
True
Suppose 4*y = 22*x - 18*x + 2308, 0 = y + 5*x - 595. Is y a multiple of 44?
False
Let b(j) = -2*j - 7. Let t be b(-8). Let v(a) = a**3 - 9*a**2 + 7. Let g be v(t). Suppose 8*z = g*z + 99. Does 11 divide z?
True
Suppose 3*d - 5*b - 26 = 0, 0 = -6*d + 5*d - b - 2. Suppose -d*z + 14 = 2*k, -27 = 4*z - 5*z - 5*k. Is 13 a factor of (-91*z/10)/(6/(-30))?
True
Suppose -4560 = -126*a + 114*a. Does 10 divide a?
True
Let c(h) = h**3 - 8*h**2 - 23*h + 238. Is c(8) a multiple of 8?
False
Let b(y) = 1. Let z(s) = s**3 + 19*s**2 - 16*s + 4. Let f(j) = 6*b(j) + z(j). Is f(-19) a multiple of 41?
False
Suppose 0 = 28*z - 32*z + 64. Suppose -2*i + 8 = 0, -7*i + 3*i + z = 4*r. Is 14 a factor of (3 - 17)/(2/(-20)) + r?
True
Let y(r) = 281*r + 10099. Does 56 divide y(37)?
True
Let h(k) = 2 + 5*k**3 - 14*k - 4*k**3 + 6*k**2 + 3 + k**2. Let x be h(-9). Let l = x - -39. Is 8 a factor of l?
True
Let q(k) = 722*k**3 - 25*k**2 + 8*k - 33. Is q(3) a multiple of 180?
True
Let z(a) = 3*a**3 + 128*a**2 - 80*a - 180. Is z(-43) a multiple of 14?
False
Let c(h) = -21 + 13*h - 16*h + 0*h. Let r be c(-7). Suppose 4*p + 3 - 43 = r. Does 5 divide p?
True
Let l(j) = -569*j**3 + 7*j**2 + 6*j. Is l(-1) a multiple of 57?
True
Let i = -89 + 129. Suppose -268 = 44*s - i*s. Let c = -59 - s. Is c a multiple of 8?
True
Let a(q) = 9*q - 12*q + 4*q**2 - 6 + q**2 - 2*q**2. Let r be a(4). Let s = r + -6. Is s a multiple of 3?
True
Let o be 407 + (-10)/(-8)*4. Suppose 1508 + o = 15*x. Is 32 a factor of x?
True
Suppose 683 + 1912 = 5*v. Suppose -3*u + v = -621. Is 13 a factor of u?
False
Suppose 76*j - 41913 = 56166 - 34467. Is j a multiple of 3?
True
Let z(t) = -2*t**3 + 14*t**2 + 18*t - 11. Let p be z(8). Suppose p*k - 4 - 1 = 0, 0 = c - 4*k + 1. Does 12 divide (-3 - -2 - c) + 196?
True
Let r(l) = -396*l**3 - 27*l - 113. Does 29 divide r(-4)?
False
Let g = 54 + -93. Let j = g - -14. Let p(m) = m + 73. Is p(j) a multiple of 12?
True
Let p = -5721 - -9004. Is 3 a factor of p?
False
Let d be (38/(-4) + 1)/((-11)/22). Suppose -177 = 20*b - d*b. Let l = 139 + b. Is 20 a factor of l?
True
Let f(u) = 104*u - 16. Let t be f(2). Suppose -668 = -4*g - 5*d, 5*d - t = -g - 25. Is 10 a factor of g?
False
Let i = 888 + 279. Let t = -487 + i. Is 40 a factor of t?
True
Let w = 11991 - 3132. Is w a multiple of 147?
False
Is 57 a factor of 3026 - (6/(-24) + 21/4)?
True
Let i(r) = -243*r + 3105. Does 15 divide i(0)?
True
Suppose 4*m + 3120 = 6*m. Suppose -m = -4*z - z. Suppose -w + z = 5*w. Is w a multiple of 12?
False
Let j = -25 + 43. Let a = j + -70. Let v = a + 100. Does 16 divide v?
True
Let k = -21008 + 24929. Is k a multiple of 5?
False
Suppose -99*n = -53*n - 50*n + 42284. Does 31 divide n?
True
Let g(d) = -7165*d - 146. Let u be g(-2). Suppose 28*z = 1860 + u. Does 7 divide z?
False
Let x = -11824 - -13430. Is 5 a factor of x?
False
Let k(q) = -q**3 + 19*q**2 - 6*q + 35. Let l be k(19). Let y = l + 148. Let z = y + -34. Is z a multiple of 35?
True
Suppose 0*o = 8*o - 48. Let g be 16/o*(-33)/(-44). Is 32 a factor of (-6)/(-30)*-188*(-10)/g?
False
Let i = 84 - 81. Suppose -i*o - 5*h = -2*o - 60, -4*h + 147 = 3*o. Does 2 divide o?
False
Suppose 45484 = 4*l - 3*k - 65600, 0 = -5*l - 2*k + 138832. Is l a multiple of 178?
True
Let i = -525 + 550. Suppose -4*u + 4956 = 4*x, 28*u - i*u = 4*x - 4977. Is 16 a factor of x?
False
Suppose 0 = -z + 5*y - 15, 2*y - 4 = 4. Suppose -z*i = -336 + 116. Is i a multiple of 20?
False
Let b(z) = -10 + 6*z - 2*z**2 + 19 - 4 - 2 + z**3. Is b(5) a multiple of 6?
True
Let q = 54 - 11. Suppose 2*y + 35 = q. Suppose -2*x + 282 = x - y*s, -2*s = -5*x + 456. Does 15 divide x?
True
Let v(s) = -s**2 + 25*s - 96. Let f be v(20). Suppose z - 4*z - f*c + 140 = 0, 20 = 4*c. Is z a multiple of 21?
False
Let y(j) = -j - 8. Suppose -48 = -5*b + 11*b. Let d be y(b). Suppose d = -8*p + 4*p + 384. Is p a multiple of 12?
True
Suppose 3*h = -5*c - 2726 + 8306, -3*c + 3348 = -h. Suppose 15*x - 234 - c = 0. Does 5 divide x?
True
Let o = 39 + -71. Let r = 452 + o. Does 35 divide r?
True
Let x(b) = b**3 - 7*b**2 + 2*b - 8. Let t(i) = -2*i**3 + 7*i**2 - 2*i - 5. Let w be t(4). Let y be (14*-1 + 0)/(-31 - w). Is 6 a factor of x(y)?
True
Suppose 2*q + 5*l = 3187, 17*q = 20*q + 4*l - 4763. Is 138 a factor of q?
False
Let c(d) = 5*d - 28. Let f be c(-7). Let t = f + -9. Let q = 223 + t. Is 18 a factor of q?
False
Suppose n = -2*n + p - 158612, -n - 52868 = -p. Is 48 a factor of ((-9)/7 - -1) + n/(-28)?
False
Let z(g) = g**3 - 12*g**2 - 14*g + 15. Let w be z(13). Suppose -23*f - w*v = -27*f + 912, 5*v = 5*f - 1135. Does 15 divide f?
False
Let v = -3 + -10. Suppose g - 105 + 27 = 0. Let c = g + v. Is 13 a factor of c?
True
Let t(s) = 3*s**3 + 6*s**2 - 15*s + 6. Let i = -22 - -27. Let m(j) = 7*j**3 + 11*j**2 - 31*j + 13. Let l(w) = i*t(w) - 2*m(w). Is 8 a factor of l(-9)?
True
Let s(f) = 3*f - 12. Let w be s(4). Suppose w = -172*u + 169*u + 3447. Is 25 a factor of u?
False
Let b(u) = -u**2 + 20*u - 25. Suppose 2*i = -k - 30, 4*i - 10 = 4*k + 134. Let j = -27 - k. Is 6 a factor of b(j)?
True
Let j(w) = w**2 + 17*w - 28. Let l be j(-18). Let p(m) = -4*m - 11*m + 21 - 5*m + 3*m. Is 29 a factor of p(l)?
False
Suppose 0 = 4*p + 400 + 500. Is 5 a factor of -6*p/10 + 6?
False
Suppose -96 + 326 = 5*o. Let v = -44 + o. Suppose 101 = 2*a + 2*t - 7, v = t. Does 4 divide a?
True
Let i(x) = x**3 - 14*x**2 + 3*x - 7. Let q be i(11). Let n = -96 - q. Let w = n + -122. Is w a multiple of 15?
False
Suppose -4*h + 19805 + 13829 = 2*i, 5*h = -25. Is i a multiple of 71?
True
Suppose 460 = 3*g - 620. Suppose -94*o = -89*o - g. Is 13 a factor of o?
False
Let r be 5 - 8 - 10170/3. Let f = 5301 + r. Does 16 divide f?
False
Let a(f) = f**2 + 6*f + 3. Let u be a(-6). Let x(t) = -t**2 - 9*t - 4. Let r be x(-8). Suppose -3*i - r*m = 2*i - 342, 204 = u*i + 2*m. Is 22 a factor of i?
True
Let v(n) = -7 - 6 - 5*n - 6*n + 0. Is 34 a factor of v(-10)?
False
Suppose 20*v - 3187 = 1313. Suppose -5*w = 3*j - v - 207, -3*w + 5*j = -266. Does 5 divide w?
False
Let z = 135313 + -76238. Does 12 divide z/125 + (-4)/(-10)?
False
Let f(z) = 103*z - 22. Let p be f(3). Let u = p - 97. Is u a multiple of 19?
True
Suppose 7 = i + 5. Let c be -1 - 3*(i + -3). Does 12 divide (c/(-6)*2)/(4/(-570))?
False
Is 14 a factor of (-14)/7*1/((-2)/6856)?
False
Let q(c) = 33*c - 43. Let w be q(6). Is 2*(w/2 + 3) a multiple of 15?
False
Let i = -51 + -5. Let t = 61 + i. Suppose -9*f = -t*f - 236. Does 44 divide f?
False
Let d(a) = -2*a**2 + 19*a + 82 - 31 + 11*a**2 + 25. Is 12 a factor of d(-5)?
False
Let n = 328 - 328. Suppose a + 1 = n, -4*s = -s - 5*a - 62. Does 4 divide s?
False
Let a = -5 + 3. Let m be ((-26)/6)/(a - (-10)/6). Suppose -58 = 11*b - m*b. Does 9 divide b?
False
Let r = -6 + 12. Let j(i) = -2*i**2 - 5*i + 5. Let o(x) = -x**2 - 5*x + 6. Let h(a) = -4*j(a) + 6*o(a). Is 7 a factor of h(r)?
True
Let m(n) = n**2 + 3*n - 5. Let d(x) = x**2 + 17*x - 23. Let s be d(-18). Let b be m(s). Suppose 2*p - 4*t = -5*t + 252, b*p = 5*t + 615. Is p a multiple of 13?
False
Let h = -303 + 2560. Suppose p = 1, 4*v + 0*p + p = h. Let d = v - 378. Does 46 divide d?
False
Let t(g) = -32*g + 54. Let v be t(2). Let u(o) be the second derivative of o**5/20 + 5*o**4