False
Let c(b) = -b**3 - 4*b**2 + 2*b + 2. Let t be c(-3). Let m(i) = 26*i**2 - i + 1. Let u be m(-1). Let n = u + t. Is n a multiple of 15?
True
Suppose 2*y = -y + 21. Is y a multiple of 2?
False
Suppose 9*r - 513 = 4*r + 4*f, -4*r + 435 = 5*f. Does 35 divide r?
True
Suppose 11 = 4*l - 5. Suppose 5*c - 21 = l*c. Does 7 divide c?
True
Let h(t) = 42*t**2 + 1. Is h(-1) a multiple of 29?
False
Let g = -28 - -80. Suppose 5*x - 33 = g. Is x a multiple of 8?
False
Suppose 54 = 2*i + 2*j, 5*i - 3*i - 54 = -j. Let c = 39 - i. Is c a multiple of 4?
True
Let n be (-1)/(-3) + (-1734)/(-9). Let u = n - 136. Suppose -4*a + 71 = -u. Is 16 a factor of a?
True
Let i(q) = 22*q + 15. Does 14 divide i(4)?
False
Let o be 9*((-6)/9 + 0). Let t = -10 - o. Let l(i) = -9*i - 2. Is 17 a factor of l(t)?
True
Let y(g) = -g**3 - 2*g**2 + 5*g - 2. Suppose d = -5*s + 26, -6 = -4*d + 3*d - s. Suppose -3*u - 14 - d = 0. Is 24 a factor of y(u)?
True
Let c be (-27*1)/((-27)/(-36)). Is 28 a factor of 8/c + (-1930)/(-18)?
False
Let r(j) = j**3 - 10*j**2 - 3*j - 2. Let a(b) = 2*b**3 - 21*b**2 - 5*b - 5. Let h(n) = -6*a(n) + 13*r(n). Let y = 20 - 14. Is h(y) a multiple of 11?
True
Let f(t) = -t**2 + 21*t - 19. Is f(16) a multiple of 7?
False
Let r = 2 + -2. Is 9 a factor of r + 1/((-2)/(-38))?
False
Let g be (-4 - -2)/4*-6. Suppose -g*s - 3*a = s - 139, 3*s - 4*a - 98 = 0. Is 17 a factor of s?
True
Let i be (9/15 - 0)*5. Suppose -5*a = -3*o + i, 0*o - 1 = 3*a - o. Suppose a = -m + 6*m - 85. Is m a multiple of 12?
False
Let g(u) = -14*u + 11. Let s(a) = -7*a + 6. Let p be 14/4*(-6 + 8). Let z(l) = p*s(l) - 4*g(l). Does 19 divide z(6)?
False
Let p be 0 + (8/4 - -3). Suppose p*v = v + 116. Is v a multiple of 8?
False
Suppose -5*l + 302 = 3*c - 0*l, -486 = -5*c - 4*l. Does 12 divide c?
False
Let q = -29 + 13. Let y = 40 + q. Suppose 46 + 26 = 3*s + x, -s + y = 5*x. Is s a multiple of 9?
False
Let u(w) = -w - 5. Let j be u(-9). Let v be (-6)/j*(2 - 0). Let x = v + 39. Is x a multiple of 18?
True
Let p = 14 - 6. Suppose 4 = -t - p. Let l = 17 + t. Is l a multiple of 5?
True
Suppose -3*n + 3*x = -2*n - 8, 0 = -5*n + 3*x + 64. Let o = 107 - n. Does 32 divide o?
False
Suppose 0*z - 3*z + 108 = 0. Does 3 divide z?
True
Let y = -12 + 17. Suppose w + 2 = 0, 3*t - 536 + 222 = -y*w. Let n = t + -47. Is n a multiple of 17?
False
Let m be (-530)/(-45) - (-4)/18. Suppose -8 - m = -i. Suppose -2*a + 4*g + i = 0, 5*a = -3*g - 2 + 13. Does 4 divide a?
True
Suppose 6 = 3*t - 18. Let j = t - 5. Suppose 2*v - j = v. Does 2 divide v?
False
Let p(c) be the first derivative of 3 - 5/2*c**2 - 6*c. Does 7 divide p(-4)?
True
Suppose 149 = g - b, g - 11 = 3*b + 146. Does 32 divide g?
False
Let z(a) = 3*a**2 + 9*a + 13. Let y(w) = w + 4. Let c be y(-6). Let n(s) = -16*s**2 - 44*s - 65. Let i(q) = c*n(q) - 11*z(q). Is 4 a factor of i(-9)?
False
Let y(m) = 1 + 3*m - 1 - 8 - 2. Let i be y(7). Suppose -4*r = -v + i, -4 - 15 = -5*v + 2*r. Is v a multiple of 2?
False
Suppose 26 = a + 5*n, 0*a - 3*a + 38 = -5*n. Does 5 divide a?
False
Let g(z) = -z - 4. Let f be g(-7). Suppose -f*p - 2*p = -220. Does 11 divide p?
True
Let i = -20 + 26. Is i a multiple of 6?
True
Let t(i) = i**3 + 6*i**2 - 6*i + 9. Let b be t(-7). Is 17 a factor of -3 + (2 - b) + 63?
False
Let h be 36/6 - (2 + 0). Let j = h - -8. Is j a multiple of 6?
True
Suppose -35 = 2*h - 6*h + 3*g, 5*g = -5*h. Suppose -5*r + 5*n - 52 = -307, -h*r + 287 = 3*n. Is r a multiple of 13?
False
Let j(x) = -49*x - 7. Let w(a) = 25*a + 3. Let s(r) = -2*j(r) - 5*w(r). Let t be s(-3). Suppose -3*b = b - t. Is 10 a factor of b?
True
Let m = -3 + 2. Is 13 a factor of 3 + m - (0 - 30)?
False
Suppose -s + 5*s = 168. Is s a multiple of 21?
True
Let r = 44 + -24. Is r a multiple of 20?
True
Let t(o) = -19*o**3 - 2*o**2 + 3*o - 2. Let g be t(2). Let h = -92 - g. Suppose 4*f = 8 + h. Is 18 a factor of f?
True
Let l = 9 + -16. Let y(o) = o**3 + 7*o**2 - 7*o - 1. Let s be y(l). Suppose 0*u - 4*u = -s. Does 5 divide u?
False
Suppose 3*z + 3 + 12 = 0. Let b(a) = a + 7. Let c be b(z). Is c/(-6) + (-85)/(-3) a multiple of 17?
False
Suppose 380 = 8*j - 4*j. Is 19 a factor of j?
True
Suppose 85 = 4*o - 91. Is 11 a factor of o?
True
Let f = -165 - -281. Is f a multiple of 16?
False
Let u(r) = r**3 - 4*r**2 - 4*r - 3. Let q be u(5). Let c = q - 4. Is (-6)/((c/(-1))/(-2)) a multiple of 6?
True
Suppose -i - 4*i - 5 = -5*d, d + 23 = -5*i. Let r = d - -3. Let j = 3 + r. Does 2 divide j?
False
Let o = -28 + 73. Is 16 a factor of o?
False
Let v(d) = d + 9. Let z be v(-6). Suppose z*x = -2*x + 130. Is 10 a factor of x?
False
Suppose j - 4 - 4 = -x, 0 = -4*x + 8. Does 4 divide j?
False
Let z = -147 - -211. Is z a multiple of 10?
False
Let t(m) = -104*m**2 - 7*m - 3. Let x(p) = -156*p**2 - 10*p - 4. Let g(c) = 7*t(c) - 5*x(c). Let v be g(1). Let d = v + -35. Is d a multiple of 6?
False
Suppose t = 4*t. Suppose t = 2*c + 3*c - 10. Is 9 a factor of c/6 + 105/9?
False
Let f = -5 + 3. Let d = 32 + f. Is d a multiple of 15?
True
Suppose 2*q - 5*p - 26 = 0, 0 = q + q + 3*p - 10. Does 3 divide 86/q + (-3)/(-12)?
False
Suppose -5*o = -2*o - 9. Suppose -r - o*g = 16, 3*g = -2*r + 2*g - 12. Let t(d) = -3*d + 3. Is 13 a factor of t(r)?
False
Let l = -128 + 225. Is l a multiple of 15?
False
Suppose -m = 2*m + n - 111, -m + 35 = n. Is 10 a factor of m?
False
Let h(s) = 3*s**2 - 3*s + 3. Let o be h(2). Suppose 0 = m - j - 2 - o, m + 5*j + 1 = 0. Is m a multiple of 4?
False
Let i(a) = 2*a**2 - a + 1. Let z be i(1). Let c be (1 - 0 - 14)*z. Let w = 41 + c. Is 15 a factor of w?
True
Let o = 0 + 4. Suppose 5*q + 6 + o = 0. Is 17 a factor of q/(-6) - (-50)/3?
True
Let a(r) = 16*r**3 + r**2 - 4*r + 4. Is 5 a factor of a(2)?
False
Suppose -2*m - n = -5 - 26, 5*m + 3*n = 80. Is m a multiple of 3?
False
Suppose -4*g = -4*r - 0*g + 492, 2*r - 252 = 4*g. Is r a multiple of 30?
True
Suppose -2*o + 4 + 8 = -4*n, -4*o + 2*n + 12 = 0. Let m = 7 - 1. Suppose o*l + m = 3*l. Is l a multiple of 5?
False
Let s(k) = -20*k - 4. Let l be s(-2). Suppose 2*p = -4*n + 48, 2*n - 5*n + 3*p = -l. Does 6 divide n?
True
Suppose 0 = -3*o - 2*o + 980. Is -2 + o/2 + 0 a multiple of 32?
True
Let c(u) = -u**2 + 28*u + 2. Is c(11) a multiple of 12?
False
Suppose -49 - 83 = -t + 2*n, 2*t - 248 = -4*n. Is 16 a factor of t?
True
Let v(g) = 6*g**2 + g. Is 30 a factor of v(5)?
False
Let k(j) be the first derivative of j**4/4 + j**3/3 + j**2/2 + 18*j - 3. Let t = 4 - 4. Is k(t) a multiple of 9?
True
Let i be (-1)/(1 - 9/6). Does 2 divide i/2 - (-3 - -1)?
False
Suppose -12*g + 7*g + 1305 = 0. Does 47 divide g?
False
Let g(r) = r + 15. Let k be g(-8). Let c(l) = -l**3 + 8*l**2 + l - 7. Let w be c(k). Suppose -1 = 4*p - w. Is p a multiple of 9?
False
Let a(x) = -12*x. Suppose -2*s - 4 = -2. Is a(s) a multiple of 3?
True
Let j(n) = -4*n**3 - n**2. Let r be j(-1). Suppose 0 = -2*a - 3 + 33. Let v = a - r. Is 6 a factor of v?
True
Let j(y) = 2*y + 2. Is 16 a factor of j(15)?
True
Let t(d) = 11*d - 45. Does 21 divide t(13)?
False
Suppose 14*x = 9*x + 80. Is x a multiple of 4?
True
Let r = 0 + 3. Suppose -2*n = r - 1. Let a(q) = -9*q**3 + 2*q + 1. Is a(n) a multiple of 4?
True
Let v(q) = q**2 - 2*q - 6. Let t be v(3). Does 8 divide (-112)/(-6) - (-2)/t?
False
Suppose -3*c = 5*d + 2, 2 = -3*d - 4*c + 2*c. Let y = d + 12. Is y a multiple of 7?
True
Suppose -4*z = z - 2*r - 10, 4*z = -2*r + 8. Suppose 0*k + z*k + 4 = 3*y, k - 8 = -y. Suppose 47 = 4*g - 3*t, -g + y*g = -t + 32. Does 11 divide g?
True
Suppose 5*o + 0*o - 1633 = -2*v, 0 = 3*o - v - 971. Suppose 11*d - 6*d - o = 0. Does 13 divide d?
True
Let s(k) = -3*k - 1. Let m(o) = 5*o**3 + 1. Let q be m(-1). Is s(q) a multiple of 11?
True
Let d be ((-4)/16)/(1/(-12)). Let c = d - -48. Is c a multiple of 16?
False
Is 7 a factor of (-27)/6*(-114)/9?
False
Suppose -64 = -5*t + 4*t. Is 32 a factor of t?
True
Let v(q) = 4*q**2 + q + 2. Is 35 a factor of v(4)?
True
Let p = -11 + 6. Is (p/(-10))/((-2)/(-132)) a multiple of 11?
True
Suppose 15 - 99 = -4*s. Let h = s + -48. Let v = 41 + h. Is 8 a factor of v?
False
Let h(x) = x**2 - 5*x + 1. Let m be h(5). Does 16 divide (-27)/(0 - 1/m)?
False
Let a(o) = o**3 + o**2 - o + 2. Let n be a(-2). Suppose n = -3*d + 17 + 130. Is 17 a factor of d?
False
Let d(j) = j**2 - 12*j + 