28 + g = -2*w. Is (-4)/(-1 + 5)*w a multiple of 16?
False
Suppose 3*d + 205 = -w, -9*d + 3*w = -4*d + 365. Suppose 152 + 240 = -g. Is g/d - 4/(-10) a multiple of 6?
True
Does 28 divide (((-190)/25)/19)/((-1)/3610)?
False
Let p be (6/9)/(2/15). Suppose g = -x + p, 2*x - g = g + 6. Suppose -32 - 13 = -3*i + 4*f, 0 = x*i - 5*f - 61. Is 15 a factor of i?
False
Let c = -10 + -10. Let j = c + 28. Let y(i) = i**3 - 7*i**2 + i + 5. Is y(j) a multiple of 24?
False
Is 86 a factor of ((-30024)/(-135) + (-3)/(-5))*6?
False
Let y = 10 - 6. Suppose k + 2*k + 2*u - 14 = 0, -5*k = -y*u + 6. Is 12 a factor of (-3)/k - (-300)/8?
True
Suppose -2*w - 124 = -p - 4*p, -2*w = -6. Suppose -2*o + 3*v = -p, -1 = -o - 2*o - 5*v. Is 7 a factor of o?
True
Suppose 12*r - 5*r - 3955 = 0. Does 8 divide r?
False
Let a(q) be the first derivative of 7*q - 3*q + 29 - 28 + 5*q**2. Is 18 a factor of a(4)?
False
Suppose 5*v + 3*c = 10, 2*c - 2 = -v + 4*c. Suppose -v*t + 5 - 143 = -n, -4*n + 2*t = -570. Is n a multiple of 16?
True
Let c be ((-2)/(-4))/(1/6). Suppose -2*k = c*k. Suppose 112 = -k*m + 4*m. Is m a multiple of 14?
True
Suppose 2*a + 358 = 1070. Does 3 divide a?
False
Suppose -5*i - 5*j + 58 = -4*i, -4*i + 2*j = -188. Is 24 a factor of i?
True
Let a(d) = 368*d**2 + 6*d + 5. Does 13 divide a(-1)?
False
Suppose 0 = -3*j + 1123 + 503. Is 21 a factor of j?
False
Let g(i) = 20*i - 25. Let m(u) = -u**2 + 101*u - 124. Let x(z) = 11*g(z) - 2*m(z). Is x(-14) a multiple of 30?
False
Suppose 13042 + 142638 = 80*g. Does 17 divide g?
False
Let r(m) = 5*m**2 - 7*m - 20. Does 9 divide r(-10)?
False
Let k be (-20 + 8)/(6/(-4)). Does 12 divide k/((-1 + (-15)/(-9))*1)?
True
Suppose -7*l + 294 + 91 = 0. Does 11 divide l?
True
Suppose 123*d = 118*d - 3*l + 984, -d - l = -198. Is d a multiple of 39?
True
Suppose 0 = 21*x - 11*x - 10080. Does 42 divide x?
True
Suppose -17*v - 78561 = -60*v. Is 87 a factor of v?
True
Let x(i) = -i**2 - 24*i - 64. Is x(-13) a multiple of 6?
False
Suppose -17*s + 8201 = 58. Is s a multiple of 89?
False
Suppose -37 = -3*u - 10. Suppose u*m - 4*m = 750. Does 15 divide m?
True
Suppose 48 = 7*k - 1. Is 2 a factor of k?
False
Suppose 2*h = -u + 28 + 4, -u + h + 35 = 0. Suppose -w + 46 + u = 0. Does 8 divide w?
True
Let u(k) = -16*k + 5. Suppose 2*r - 5 = -2*g + 3*r, 5*g = -3*r + 7. Let d be u(g). Let m = d - -36. Does 3 divide m?
True
Let t(o) = 4*o**3 + 3*o**2 + o**2 - 5 - o - 5*o**3 + 2*o. Let z be t(5). Does 2 divide (z/(-10))/(5/12)?
True
Suppose 307 + 148 = -7*a. Let y = 92 + a. Does 9 divide y?
True
Suppose -4*l - 13 = -3*n, 39 + 1 = -5*l - n. Let u be (-1411)/l + (-3)/(-7). Let s = u + -142. Does 12 divide s?
True
Let l(i) = -i**3 + 11*i**2 - 8*i + 10. Let h be 8 + 4 + 1 + -3. Is l(h) a multiple of 21?
False
Suppose 317*m - 318*m + 552 = 0. Is m a multiple of 24?
True
Suppose 0 = -12*q + 8*q + 6724. Is 41 a factor of q?
True
Suppose 4*o - 12 - 8 = 0, -4*j = 2*o - 346. Suppose 48 + j = 4*r. Is 5 a factor of r?
False
Is 6 a factor of (195/(-117))/((-1)/51)?
False
Let u = 0 - -5. Suppose 0 = -l - u*z + 60, -3*z - 54 = -l - 5*z. Is l a multiple of 10?
True
Let x(u) = u**3 - 2*u**2 + 3*u - 3. Let a be x(2). Suppose 2*y - 65 = -5*f, 3*y + 7*f = a*f + 108. Is 9 a factor of y?
False
Let j = 1149 - 541. Is j a multiple of 32?
True
Let h be 3 + 6 + (-2 - 0). Let k = -10 + 18. Let p = h + k. Is p a multiple of 15?
True
Let q be 343/3 - 2/6. Let y = q + -63. Is y a multiple of 17?
True
Let u(a) = 186*a**2 + 2*a + 2. Let l be u(-1). Suppose 4*r - l = -3*p, 2*p - 136 = -3*r - 2*p. Is r a multiple of 8?
True
Let g = 62 - 60. Suppose g*r - 2*l + 6*l - 136 = 0, 2*r = 4*l + 176. Does 14 divide r?
False
Does 25 divide (-13085)/(-25) - 8/(-5)?
True
Let v(x) = 3*x - 18. Let z be v(8). Suppose m - 2*m - z = 3*a, m = 4*a + 15. Suppose -m*g + 4*g = 35. Is g a multiple of 12?
False
Let w(g) = 63*g - 182. Is w(6) a multiple of 11?
False
Let i(m) be the second derivative of m**7/840 - m**6/144 + m**5/120 + m**4/2 - 4*m. Let j(q) be the third derivative of i(q). Is 17 a factor of j(6)?
False
Let p(h) = -h**3 - 4*h**2 - 1. Let j be p(-4). Let c be 1/(-2) - 14/(-4). Is 27/c + 0 + j a multiple of 4?
True
Is 19 a factor of ((1 - -2) + -2)*(-2166)/(-2)?
True
Let n(l) = -38*l**3 + 2*l**2 + 2*l + 1. Let d(x) = -x**3 + 7*x**2 - 6*x + 5. Let b be d(6). Suppose 5 = -3*k - w, b*w + 9 = -k + w. Does 13 divide n(k)?
True
Let z be 12 - -6 - 4/1. Suppose -12*t - 120 = -z*t. Does 5 divide t?
True
Let f(t) = 12*t**2 - 2*t - 2. Let l be (2 + -6)*2/8. Let n be f(l). Suppose -14*h + 36 = -n*h. Is h a multiple of 3?
True
Suppose -3*c + 2544 = -4*x, 3*c - 603 - 1962 = -3*x. Is c a multiple of 33?
False
Suppose 3*k - 32 = 37. Let h = -12 - -21. Let y = h + k. Does 16 divide y?
True
Let c(p) = -3*p**3 - 5*p**2 + 10*p - 8. Is c(-5) a multiple of 4?
True
Let r(g) = g**3 + 3*g**3 - 3*g**3 - 8 - 2*g + g + 6*g**2. Let s be r(-6). Is s - -2 - (-3 - 13) a multiple of 3?
False
Let w(t) = -7*t + 1. Let v be w(7). Let g = v + 84. Is g a multiple of 8?
False
Let q(k) = -17 + 33 + k**2 + 14*k + 6. Is 54 a factor of q(-16)?
True
Let i = -27 - -25. Let z(x) = 2*x**2 + 1. Let y be z(i). Is 2 a factor of 65/y - (-8)/(-36)?
False
Let t = 13 + -16. Does 7 divide 4*t/(-28) + 438/7?
True
Let x(d) = -d**2 - 11*d - 20. Suppose -2*w + 6*w - b = -34, 5*b = w + 18. Is x(w) a multiple of 2?
True
Is 36 a factor of ((-2*60)/1)/((-2)/11)?
False
Suppose -5*i + 406 = 5*b - 354, -i = -b + 156. Is b a multiple of 7?
True
Let s(u) = -u**3 + 5*u**2 - 5*u + 9. Let d be s(4). Suppose -2*t = -d*t + 54. Is t a multiple of 9?
True
Let s = 97 + -71. Let c = 49 + s. Is 15 a factor of c?
True
Is ((-420)/300)/(1/(-265)) a multiple of 3?
False
Let r(y) = y**2 + 5*y - 7. Let n(h) = 2*h**2 + 11*h - 15. Let l(s) = -6*n(s) + 13*r(s). Is l(4) a multiple of 9?
False
Is 75 a factor of (-54)/12 + (-28149)/(-22)?
True
Let r(x) = -151*x**3 - x**2 - 2*x - 2. Let s be r(-1). Suppose 0 = 3*p - 522 + s. Does 31 divide p?
True
Is 13 a factor of (-3)/15 - 42920/(-100)?
True
Suppose 0 = -0*n + 5*n. Suppose n = 4*v + v - 265. Does 13 divide v?
False
Suppose -y + 4*k - 10 = -6*y, y - 21 = 3*k. Let o(w) be the third derivative of 5*w**4/24 + 2*w**3/3 - w**2. Does 12 divide o(y)?
False
Let m(c) = -c**2 + 15*c - 10. Let y be m(18). Let b(j) = -15*j**3 - j**2 - 1. Let z be b(-2). Let o = z + y. Is o a multiple of 24?
False
Let i be (8/(-5))/((-12)/210). Let s = i - -36. Is 19 a factor of s?
False
Let d(j) = j**3 + 2*j**2 + 3*j - 25. Is 16 a factor of d(7)?
False
Let c(r) = -r**3 - 5*r**2 - 5*r - 8. Let a be c(-4). Let m be (-14)/8*a + -3. Suppose -5*y + 2*z = -2*z - 254, m*y - z = 212. Is 17 a factor of y?
False
Let w = 11 - 6. Suppose w = x + 8. Is 2 + (4 - (-4 - x)) a multiple of 2?
False
Does 26 divide 4 + (-2630)/(-8) + 2/8?
False
Suppose 4*n = -3*c + 527, 0 = 5*n + 5*c - 444 - 221. Let b = n - 64. Is b a multiple of 16?
True
Suppose -3*k = 3*v - 249, -v + 5*k - 26 + 79 = 0. Is 26 a factor of v?
True
Let b = -109 - -117. Suppose 48 = 2*u - 5*d, -2*d + 0*d = b. Is u a multiple of 9?
False
Let y(f) = 62*f**2 + 4*f + 32. Is 63 a factor of y(-4)?
True
Let u be ((-1)/(-2))/(22/(-11880)). Does 4 divide (u/(-16) - -2) + 5/40?
False
Let v = -9 - -13. Let j be v - (8/2 + -3). Is 10 a factor of (j/9 - -3)*12?
True
Let j(i) = -i**3 - 12*i**2 + 15*i - 17. Let r be j(-9). Let l = -130 - r. Is 34 a factor of l?
False
Suppose -5*k + 15 = 5*t, 2*t = 2*k + k - 9. Suppose t = 11*s - 8*s. Suppose 2*u - 109 - 77 = s. Is u a multiple of 31?
True
Let y = -75 - -79. Suppose -y*f + 199 = -233. Does 36 divide f?
True
Let n(o) = 4*o - o**2 + 10*o**2 + 8*o**2 + 7 - 4*o**2. Is n(-3) a multiple of 14?
True
Suppose d - 3*y - 114 = -y, d - 115 = 3*y. Suppose 2*s + 3*s = 0. Suppose s*w + d = 4*w. Is w a multiple of 8?
False
Let l be (-3 - 1) + (6 + -2)*-1. Does 41 divide l/(-10) + 22712/85?
False
Let d(q) = q**2 - 10*q - 17. Let r be d(13). Let u(g) = g - 5. Let y be u(9). Suppose -p + 5*i + r = 0, y*p + 0*p - 25 = -i. Is 2 a factor of p?
False
Suppose -18576 = -114*q + 105*q. Is 129 a factor of q?
True
Suppose 0 = -s - 2*k - 8, 3*s + 2*k = -1 - 3. Suppose -y + s*y = -5*a + 138, -4*y + 642 = 2*a. Suppose -5*i - 48 = -y. Does 6 divide i?
False
Is 1/((-1)/114)*(-48)/32 a multiple of 11?
False
Suppose -5