Suppose 5*r = b*m - 104, -r = 5*m + 2*r - 128. Is m a multiple of 10?
False
Let u(l) = l**3 + 6*l**2 - 4*l - 2. Suppose 3*i + i = -24. Does 15 divide u(i)?
False
Let o = 29 - 136. Let i = o - -164. Does 19 divide i?
True
Let s = 104 - 69. Is 7 a factor of s?
True
Is (-6366)/(-42) - 3/(-7) a multiple of 38?
True
Let x(v) = 123*v + 3. Let k be x(-2). Is k/(-12) + 9/12 a multiple of 8?
False
Let f(j) = 4*j**2 - 5*j - 11. Does 34 divide f(-5)?
False
Suppose c = -4*s - 2*c - 11, 2*s = -c - 3. Let r be 0/s*1/2. Let u(p) = p**3 - p**2 + 14. Does 14 divide u(r)?
True
Suppose 0 = -3*m - m + 100. Suppose -2*z = -3*z + m. Is 9 a factor of z?
False
Let g be (-18)/4*4/(-3). Let d(t) = 0*t + 0*t**2 + g*t**2 + t. Does 3 divide d(1)?
False
Let f(j) = 4*j - 12. Let t be f(13). Is (-4 - (-4 + 0)) + t a multiple of 20?
True
Let y(g) be the second derivative of g**5/20 + 2*g**4/3 - g**3/3 - 7*g**2/2 - 2*g. Let c be y(-8). Let d(f) = f + 2. Does 3 divide d(c)?
False
Let z = 17 - 23. Let f = z + 17. Is 4 a factor of f?
False
Let l(k) = k**3 + 30. Suppose 0 = -2*a - g + 4, 2*g - 1 - 7 = 4*a. Let c be l(a). Let v = c + -12. Is 8 a factor of v?
False
Suppose 0 = 2*d + 2*d. Suppose -36 = -3*u - d*u. Let j(b) = b - 7. Does 5 divide j(u)?
True
Let u(f) = -f**2 - 4*f + 3. Let j be u(-4). Suppose 3*t - 57 = -j*b, 7*b - 2*b - 98 = -4*t. Is 11 a factor of b?
True
Suppose -5*r + 24 = m - 0*m, 3*r = 3*m + 18. Suppose 4*f + f = r. Is 31*((-2 - -2) + f) a multiple of 12?
False
Let j(y) = -y**3 + 3*y**2 - 2*y - 4. Let a(z) = z**3 - 4*z**2 + 2*z + 3. Let w(m) = 4*a(m) + 3*j(m). Is 9 a factor of w(7)?
False
Suppose m - 6 = -m. Suppose -7 = -m*c + 2*c. Is c a multiple of 2?
False
Suppose -6*z + 3*z = 6. Is 2 a factor of (-21)/z*(-6)/(-9)?
False
Is 9 a factor of 122 + 5 - (-2 - 0/(-1))?
False
Suppose -d - 2*d + 2*z + 4 = 0, 2*d + 2*z - 6 = 0. Let m = 132 + -63. Suppose 0 = d*p + p - m. Is p a multiple of 8?
False
Let a be (-19)/7 - (-2)/(-7). Let o = -17 - a. Is 4 a factor of 60/14 + 4/o?
True
Let m = -6 + -6. Let g = 23 - -6. Let z = m + g. Does 17 divide z?
True
Let l = 6 + 11. Let o = l - 30. Let t = 4 - o. Is t a multiple of 17?
True
Let r be (-81)/(-12) - 9/12. Suppose r*x - x - 50 = 0. Is 4 a factor of x?
False
Suppose r + z + 11 = 0, -r - 2*z = 3*r + 34. Let i be (3 - 1) + (-5 - r). Suppose -i*n - 3*k + 9 = -51, 0 = 4*n + k - 86. Is n a multiple of 8?
False
Suppose 3*r - 20 = -k - 3*k, -3*r = -5*k - 2. Is 3 a factor of (42/(-9))/(r/(-6))?
False
Is 3*7/((-42)/(-124)) a multiple of 31?
True
Suppose i + 139 = 5*g - 2*i, -3*g - 4*i + 66 = 0. Suppose 0 = -k - 5*o + g, -5*k + 3*k - o = -7. Is (-37 - k)*(-7)/7 a multiple of 17?
False
Let q(j) = -9*j**3 - 2*j - 1. Let n = 2 + -4. Let m be q(n). Does 5 divide m/4 - 6/(-24)?
False
Let b(v) be the second derivative of v**3/6 - 7*v**2/2 - 2*v. Let w be b(8). Is -2*12/((-2)/w) a multiple of 6?
True
Suppose -3*z = 5 + 4. Let k = 3 + -2. Let u = k - z. Is u a multiple of 3?
False
Let j = -37 + 62. Is j a multiple of 25?
True
Let d(q) = 9*q - 8 + 2*q**2 - q**2 - 11*q**2 + q**3. Let y be d(9). Is 1/(-2) - 20/y a multiple of 2?
True
Let b be (1 - -1)/(2/(-4)). Let a(y) = -3*y - 2. Is 7 a factor of a(b)?
False
Is 2 a factor of -5*((-18)/(-15) - 2)?
True
Let d = -77 + 111. Suppose -4*t + 2*g + g = -50, -2*t - 3*g = -d. Is t a multiple of 7?
True
Let j(r) = -r**2 + 8*r + 2. Let y be j(8). Let d be (-85 + 6/y)/2. Let o = -10 - d. Is 8 a factor of o?
False
Suppose -4*u + 52 = 12. Let v = 5 - u. Is 12 a factor of (v/2 - -2)*-78?
False
Let j(r) = 2*r**3 - 8*r**2 + 6*r + 3. Let v(u) = -5*u**3 + 16*u**2 - 12*u - 7. Let b(w) = -7*j(w) - 3*v(w). Is 29 a factor of b(-8)?
False
Suppose 5*x + 16 - 61 = 0. Let j = -4 + x. Suppose 2*l - 5*u + 10 = 0, -6*u = -j*l - 3*u + 13. Does 5 divide l?
True
Let f = -51 - -90. Let o = 75 - f. Is 12 a factor of o?
True
Let w = 169 + -55. Does 19 divide w?
True
Let b = 4 + 0. Suppose b*a = -0*a + 72. Does 12 divide a?
False
Suppose -2*d - 75 = -t, -5*t + 4*d + 166 = -215. Suppose -2*c - 2*c = -3*a - t, 5*c - 4*a = 96. Suppose -l - l + c = 0. Is l a multiple of 10?
True
Suppose 5*y = y - 32. Is (-2 + -19)/(6/y) a multiple of 14?
True
Let b = 10 - -22. Is 7 a factor of b?
False
Suppose -4*c + c + 21 = 0. Suppose -2*h = -c*h + 65. Is 13 a factor of h?
True
Let p(g) = 0 - g**2 - g - 3 + 2*g**3 + 3*g**2 - 7*g**2. Is p(4) a multiple of 23?
False
Suppose c - 2 = f - 17, 19 = f - 5*c. Is f a multiple of 7?
True
Let v be 1/(-2)*(3 - -5). Let u(c) = -4*c. Does 8 divide u(v)?
True
Let p = 8 + -6. Suppose -2*t + 0 = -p. Is (1 + t)*(-1 + 8) a multiple of 14?
True
Let z(g) = 4*g**2 - 12. Is 13 a factor of z(4)?
True
Let w be ((-6)/(-4))/((-6)/(-8)). Suppose 0 = -2*m - 3*j + 93, w*m + 5*j + 79 = 3*m. Is (-389)/(-9) + (-12)/m a multiple of 13?
False
Let o(j) = -j**3 + 3*j**2 + j + 3. Suppose k = b + 2*k, -4*b + 3 = 3*k. Let z be o(b). Suppose -2*u + 6 = -z. Does 6 divide u?
True
Suppose 4*p - 44 = 2*p. Is p a multiple of 11?
True
Let i = 0 + -14. Let s = 25 + i. Is s a multiple of 11?
True
Let v(q) = q**2 - 9*q - 33. Does 5 divide v(15)?
False
Let r(j) = 4 + 9 + j - 4 - 2*j. Does 2 divide r(7)?
True
Suppose 4*f - 22 + 62 = 0. Suppose 4*w = -w + 115. Let c = w + f. Is c a multiple of 8?
False
Is 11 a factor of 142 + (2 - 2) + (-2 - -3)?
True
Let a(s) be the second derivative of -2*s**3/3 + 17*s**2/2 + 2*s. Is 16 a factor of a(-6)?
False
Let g(f) = -5*f**3 - f**2 - 2. Let w(y) = -10*y**3 - 3*y**2 - 5. Let q(d) = -5*g(d) + 2*w(d). Does 2 divide q(1)?
True
Suppose 0*l - 4*l + 2*k = -6, -3*l - 2*k = -22. Let g = l - 2. Let p = 3 + g. Is p even?
False
Suppose -5*q + 30 = -w, q = 4*w - 2*w + 15. Suppose -q*f - 2 = -102. Does 10 divide f?
True
Is 2 a factor of 4/(-40)*4*-5?
True
Suppose 2*p + 6 = 26. Let u = p - 0. Does 3 divide u?
False
Let b(d) = -2*d**2 + 11*d + 8. Let o be b(6). Suppose -o*r - 3*p = -57, -111 - 19 = -5*r + 5*p. Is 10 a factor of r?
False
Let o = 222 - 94. Let r = 12 + -8. Suppose 5*u - o = -r*p - 0*u, 3*p - u - 77 = 0. Is 8 a factor of p?
False
Suppose 4*x = -7*y + 2*y + 47, 3*y = -4*x + 33. Suppose y*h - 2*h = 80. Is 4 a factor of h?
True
Suppose -4*j + 8 = -s, -4*s + 4*j + 16 + 0 = 0. Let i = 11 - s. Suppose 2*o - h = 6*o - 152, 3*o = i*h + 114. Is 21 a factor of o?
False
Suppose 6*c = c + 15. Let v(d) = d**3 - 3*d**2 + d. Let a be v(c). Suppose -73 = -4*p - y, 2*y - a*y + 54 = 3*p. Is 11 a factor of p?
False
Suppose 0 = -2*x, y + 4*y + x - 120 = 0. Is 11 a factor of y?
False
Let v = 112 + 32. Does 36 divide v?
True
Let h be 4/(-1*(-3)/6). Let q = h + -2. Is q a multiple of 3?
True
Let k be 3/(-4) + 307/4. Let f = 182 - k. Suppose 5*a = -36 + f. Is 7 a factor of a?
True
Suppose 0*z = -4*f - 5*z + 24, -30 = -5*f + 3*z. Is f a multiple of 4?
False
Let q(w) = -w**2 - 15*w - 13. Does 17 divide q(-12)?
False
Let g(j) = -3*j**3 + j**2 - j - 1. Let h be g(-1). Let o be 222/h - 1/(-2). Suppose 2*f - 3*z - o = 2*z, 4*z + 112 = 4*f. Does 15 divide f?
False
Suppose 243 = 5*w + 88. Does 13 divide w?
False
Let w = 6 + -6. Is 14 + (2 - w/(-2)) a multiple of 8?
True
Let u be 14/63 - 68/(-18). Suppose c + 0*c - 3 = 0, -u*c - 98 = -5*a. Is 16 a factor of a?
False
Is 118 + (30/(-75))/((-1)/5) a multiple of 24?
True
Let k(a) = -6*a**2 + 6*a - 5. Let m(g) = 5*g**2 - 6*g + 4. Let q(j) = 4*k(j) + 5*m(j). Is q(10) a multiple of 10?
True
Suppose 3*k - 6 = 0, -4*k + 0*k - 134 = -2*u. Is u a multiple of 30?
False
Let k(j) = j**3 + j**2 - 2*j + 1. Let z be k(1). Is 3 a factor of (6/(-2))/(z + -2)?
True
Let y = 1 - -21. Does 11 divide y?
True
Suppose -13*m + 160 = -8*m. Is m a multiple of 18?
False
Let z = 41 - 15. Let x be (-1)/3 + z/6. Suppose -x*q - 21 + 201 = 0. Is 15 a factor of q?
True
Suppose -5*g = 274 - 1584. Is g a multiple of 13?
False
Suppose 3*u - 4*f - 26 = 0, 0 = 5*u - 2*f + 4*f. Let s be -2 + u + -3 + -1. Is 11 a factor of (-984)/(-88) + s/22?
True
Let h = 124 - 96. Is 12 a factor of h?
False
Let o(k) = -k - 11. Let q be o(0). Let w = q - -21. Is 8 a factor of w?
False
Let g = -61 - -35. Let d = 62 + g. Is d a multiple of 18?
True
Let u be (-512)/(-10) + 1/(-5). Suppose -5*c = -4*h + 5, -4*h + 2*c = -0*c - 2. Suppose h = 3*d - 0*d + 2*o - 161, -2*o + u = d. Does 20 divide d?
False
Suppose 0 = -3*h + 74 + 94. Is 28 a factor of h?
Tru