a multiple of 3?
True
Suppose -30 = -0*f - 2*f + 3*h, 80 = 5*f - 5*h. Suppose -10 - f = -2*x. Is 4 a factor of x?
False
Suppose -m + 164 = 4*z - 4*m, 5*m + 96 = 2*z. Is z a multiple of 15?
False
Let b(u) = u**3 + 6*u**2 - 6*u + 11. Let j be b(-7). Suppose 0 = -5*x + 3*x + 5*g, -12 = -4*x + j*g. Is x a multiple of 3?
False
Let l be 42 + (3*-1)/(-3). Suppose -3*r + l = -20. Is 21 a factor of r?
True
Let i(z) = z**2 + 1. Let w(n) = -n**3 + 3*n**2 + 7*n - 4. Let g(h) = -2*i(h) - w(h). Let p be g(6). Let l = 6 + p. Is l a multiple of 2?
True
Let x = 135 + -87. Does 16 divide x?
True
Let v(c) be the third derivative of 5*c**4/24 + c**3 + 2*c**2. Does 16 divide v(10)?
False
Suppose -6*m + 48 = -156. Is m a multiple of 34?
True
Let i(z) = z**3 + 3*z**2 - 2. Suppose -2*p + 0*p + 2 = 0. Suppose -p = -s + 1. Does 13 divide i(s)?
False
Let i = 169 + -87. Suppose 24 = -y + i. Suppose 4*o - y = -2. Does 7 divide o?
True
Suppose 2*k - 7 = -1. Suppose 342 = 5*l - k*v, 0 = -5*l + 5*v - 3 + 353. Is l a multiple of 17?
False
Suppose v - t - 2*t - 15 = 0, -75 = -5*v - 3*t. Let s = -6 - -6. Suppose s = -5*k + v + 30. Is k a multiple of 5?
False
Suppose -5*z + 13 = 3*r, 2*z = -4*r - 0*z + 8. Suppose -3*j = -2*j - 5*o + r, 0 = 3*j - 4*o - 52. Is 12 a factor of j?
True
Suppose -11*s + 365 = -6*s. Let u = s + -43. Is u a multiple of 6?
True
Suppose -5*w + 64 = 2*l, -w - 107 = -3*l - 3*w. Is l a multiple of 7?
False
Suppose r = 11 + 52. Suppose 3*i - 18 = r. Is i a multiple of 27?
True
Let i(l) = -6*l - 2. Let o be i(-3). Let x be -6*(-1)/(15/10). Suppose -r = p, -x - o = 5*p. Is r a multiple of 4?
True
Let p be (310/(-6))/(4/12). Let o = p - -233. Is o a multiple of 26?
True
Let x(l) = l**2 - 4. Let m be x(-3). Let o = 2 + m. Let h = o - -1. Does 6 divide h?
False
Let l(z) = 44*z**3 + z - 1. Let p be l(1). Suppose v - p = -2*r - 0*r, r = 4. Is 12 a factor of v?
True
Suppose 5*u - 20 - 30 = 5*d, -3*d + 75 = 4*u. Suppose -2*i + 144 = i + 2*c, 5*c = u. Suppose -5*g + i = -84. Is g a multiple of 12?
False
Let j(p) = 2*p**2 + 11*p + 7. Is 14 a factor of j(-7)?
True
Let z = -14 + 23. Does 3 divide z?
True
Let o(v) = -5*v + v**3 - 3*v**2 + 3*v + 2 - 3*v. Let z be o(4). Does 11 divide (46/(-4))/(z/4)?
False
Suppose 0*p - p + 14 = -4*z, p + 1 = -z. Is 3 a factor of p - 6/9*-15?
True
Suppose -37*j = -32*j - 385. Is j a multiple of 11?
True
Let b(s) = -3*s + 1. Let y be b(-2). Suppose -5*p = -k + 6, 4*k - 2*p = -y*p + 149. Is k a multiple of 13?
False
Suppose 4*a - 2 - 74 = 0. Is (4 + 9/(-3))*a a multiple of 16?
False
Suppose -b + 20 = -6*b. Let o(h) = -h**3 - 4*h**2 - 2*h + 1. Let p be o(b). Is (-12)/p*-33 - 0 a multiple of 16?
False
Suppose 154 = 4*o + 50. Suppose 0*v = v - o. Is 13 a factor of v?
True
Suppose 4*b = 5*b - 40. Is b a multiple of 10?
True
Let h = -26 + 55. Is 7 a factor of h?
False
Let m(g) = -44*g - 3. Let t be m(-1). Suppose 5*f = s + 89, 2*f - t = -0*f - 5*s. Is 6 a factor of f?
True
Let t(x) = -4*x**2 + 28*x + 5. Is 5 a factor of t(7)?
True
Let m = 8 + 0. Let j(g) = g**2 - 6*g + 7. Does 12 divide j(m)?
False
Does 3 divide -10*(0 + 3/(-6))?
False
Let h = -2 - 1. Is 13 a factor of 1 + 4 + h - -24?
True
Is 25 a factor of ((-15)/(-6))/((-5)/(-350))?
True
Suppose 3*u + 3*r - 18 = 2*u, -2*u = -5*r + 8. Let c = 283 + -151. Suppose -4*w = 4*n - c, -5*w - 3*n = -u*w + 53. Is 19 a factor of w?
True
Let c be (-64)/10 - 4/(-10). Is 4 a factor of (-2)/c + (-175)/(-15)?
True
Is 15 a factor of (-6)/(-1 + 3) - -78?
True
Let v(d) = d**3 + 5*d**2 + 3*d - 4. Let j be v(-3). Suppose -2*o = -r - 42, 5*o - 107 = -0*r + 2*r. Let w = o - j. Is 16 a factor of w?
False
Suppose -2*a = -j - 10 + 48, 4*j + 5*a = 139. Suppose 2*q + j = 5*q. Does 12 divide q?
True
Suppose p = -4*h - 35 + 2, -3*h = 3. Let b = p + 67. Does 10 divide b?
False
Suppose -6 = -5*h + 89. Let t = h - 1. Suppose -5*p + 17 + t = 0. Is p a multiple of 7?
True
Let a be (2/4)/(6/24). Let q = 10 - 5. Suppose -a*o + q = -39. Is 11 a factor of o?
True
Let n = -18 - -54. Suppose 3*o = o + n. Suppose -2*h + 0*h = -o. Does 9 divide h?
True
Suppose 2*h - 1400 = -5*h. Is h a multiple of 10?
True
Let z = -5 + 17. Suppose 0 = 3*j - 7*j + 8. Is 16 a factor of j*(-12)/(-9)*z?
True
Let u be (-10)/5*(0 + -1). Suppose -5*c + 13 = -u. Does 3 divide c?
True
Let y(l) = 3*l - 6. Let r be y(10). Let o = 51 - r. Does 14 divide o?
False
Is (-384)/2*(2/(-4) - 0) a multiple of 16?
True
Is 22 a factor of -5 + (-8)/(-2) + 62?
False
Let u(p) = p + 6. Let c be u(0). Suppose -c*g + 4*g = 0. Suppose g = -4*l - 2*k + 4*k + 108, 0 = -4*l - 5*k + 122. Is 14 a factor of l?
True
Suppose -5*n = -5*g + 5, 4*n - 40 + 8 = -5*g. Suppose -4*k + 16 = 2*x, 0*x + 2*k = n*x - 8. Suppose 4*p + 13 = -d + 36, -x*p - 2*d + 18 = 0. Does 4 divide p?
False
Let k(x) = -x + 15. Is 5 a factor of k(-7)?
False
Let m(i) = -i. Let w be m(-5). Let q(c) = 3*c + 41. Let u be q(0). Suppose u = 4*v - w*b, -5*v + 42 = 2*b + b. Is 9 a factor of v?
True
Let y be (-3)/((-4)/2220*3). Suppose -6*a + y = -a. Does 37 divide a?
True
Let z(v) be the third derivative of -v**4/24 + 31*v**3/3 - v**2. Is 26 a factor of z(0)?
False
Suppose 0 = -7*h + 112 + 7. Is 17 a factor of h?
True
Let f(z) = -z**3 + z**2 - z + 2. Let c be f(0). Does 3 divide (0 - c)/((-6)/9)?
True
Let h be 105/(-9)*-3*1. Suppose -74 = -4*k - 3*d, -3*k + 87 = 4*d + h. Is k a multiple of 10?
True
Let l be (-3 - -2)/((-3)/255). Suppose 0 = -5*w + 5*g + l, 28 = 2*w + g + 3*g. Does 15 divide w?
False
Let d = 14 + 31. Is d a multiple of 5?
True
Let v(i) = 4*i + 3. Let t be v(3). Let k = t + 4. Does 19 divide k?
True
Let t be 0/((-1)/1 + 2). Suppose 4*r = f - r + 16, -4*f - 3*r + 51 = t. Is f a multiple of 3?
True
Suppose -3*f + 2 = 14. Let d = 9 + f. Suppose -72 = -3*a - 4*u + 14, -47 = -a - d*u. Is a a multiple of 11?
True
Let r(i) = -2*i**2 + 22*i - 7. Is r(9) a multiple of 2?
False
Let n(u) = -u - 3. Let b be n(-4). Suppose 5*g + 27 = 7. Is 19 a factor of (-114)/b*2/g?
True
Suppose 0 = 3*s + 2*s - 40. Does 6 divide (1 - 13)*(-12)/s?
True
Suppose -u + 30 = -0*p - 5*p, -2*u - 5*p - 15 = 0. Suppose j - 57 - 16 = -u*m, 0 = 3*m + 3*j - 51. Does 4 divide m?
False
Does 22 divide 4*(3 + -4)*-22?
True
Let a = -42 - -22. Let z be (-5)/a + (-2)/8. Suppose 5*u = 2*v - 0 - 53, z = v - 3*u - 28. Is v a multiple of 10?
False
Let a = -7 + 19. Let o be (-1)/(-4) + 309/a. Suppose z = 3*z - o. Is z a multiple of 5?
False
Let t(r) = 2*r**2 + 6*r + 6. Let u be t(-6). Suppose -i + u = 2*i. Does 7 divide i?
True
Let c(k) = -7 - k - k + 2. Let v be c(-6). Suppose -z + v = -10. Is 17 a factor of z?
True
Let n(l) = l**3 - 9*l**2 + 10*l + 8. Let y be (12/5)/(6/20). Is 6 a factor of n(y)?
True
Does 36 divide 1 + 7/(28/304)?
False
Let y(o) be the first derivative of -2*o**2 - 10*o + 3. Is 10 a factor of y(-10)?
True
Let j(m) = m**2 - m. Let i be j(-1). Suppose -i*a - 8 = -54. Does 10 divide a?
False
Let m = -5 + 7. Suppose 5*l - m*g = -9, 2*l + 6*g + 18 = 2*g. Does 5 divide (16*3/l)/(-2)?
False
Suppose -1 - 2 = 3*s, 3*m = -2*s + 58. Let w = 19 - 11. Let y = m - w. Does 12 divide y?
True
Let w(d) be the third derivative of d**6/120 + 7*d**5/60 + 7*d**4/24 + d**3 - 4*d**2. Let h = 3 + -8. Does 10 divide w(h)?
False
Let m = 30 - 15. Suppose -2*f = f + m. Is -3 + 1 - f*3 a multiple of 8?
False
Let v(y) = 3*y - 11. Let d be v(5). Let p = 6 + -3. Suppose -4*z + d*x + 44 = 0, 8 = p*z + 3*x - 19. Does 10 divide z?
True
Suppose -r + 7*r - 270 = 0. Is 9 a factor of r?
True
Let l be 48/(-28) + 2/(-7). Is 18 + (l - 4*-1) a multiple of 12?
False
Let w(g) = 4*g. Let o(q) = -q + 1. Let h(b) = o(b) + w(b). Is 6 a factor of h(5)?
False
Suppose u = -4*u. Suppose r = -r + 3*m + 25, 4*m - 20 = u. Does 10 divide r?
True
Suppose -z - 4*w = -2*z - 14, 4*w - 38 = 5*z. Let s(l) be the third derivative of -l**5/60 - 7*l**4/24 + l**3/3 - l**2. Does 8 divide s(z)?
True
Let x(y) = -y**2 + 3*y - 10. Let l(h) = -2*h**2 + 5*h - 21. Let g(u) = -6*l(u) + 13*x(u). Is g(6) a multiple of 7?
True
Suppose -4*x - 77 = 95. Let b = x + 70. Is b a multiple of 11?
False
Is 14 a factor of (-626)/(-12) - 5/30?
False
Does 10 divide (80/6)/((-5)/(-15))?
True
Suppose -6*x = -x. Suppose -3*k - 3 = -x*k. Is k*3/1*-5 a multiple of 9?
False
Let q(v) = -7*v**2 + 2*v - 1. Let i be q(1). Does 8 divide (-2*3