 a multiple of 6?
False
Let k = -6 + 9. Suppose 8 - k = x. Is x a multiple of 4?
False
Suppose 0*u = -15*u + 2565. Does 19 divide u?
True
Let p = 28 - 11. Does 3 divide p?
False
Suppose 3*z - 510 = -5*k + 573, 867 = 4*k + 3*z. Is 18 a factor of k?
True
Let v(f) = f**3 + 9*f**2 + 11*f + 10. Does 31 divide v(-7)?
True
Let c be 1*-3 + (-2 - 1). Let n = c - -4. Is (-5 - -7)*(-31)/n a multiple of 13?
False
Suppose 5*c = -62 + 377. Does 7 divide c?
True
Let w(p) = -4*p**2 - 6*p + 1. Let t(y) = y**3 + y**2 - y + 5. Let n be t(0). Let m(h) = 4*h**2 + 5*h - 1. Let q(x) = n*m(x) + 4*w(x). Is q(2) a multiple of 14?
False
Let f = 81 - 57. Is 6 a factor of f?
True
Let k(y) = -3*y - 1 + 2 - 4. Let j be k(-4). Suppose j = u - 0*u. Does 9 divide u?
True
Let w(l) = 5*l + 1. Let q(m) = -6*m - 2. Let y(d) = -6*q(d) - 7*w(d). Let s be (7 - 4) + 0 + 4. Is y(s) a multiple of 12?
True
Let k = -25 - -15. Let f be (-15)/k*(-8)/(-6). Suppose f*w + 124 = 5*c, -c + 2*w = -w - 30. Is 17 a factor of c?
False
Suppose 0 = 2*n - f - 23, 5*n = -0*n - 4*f + 90. Is 7 a factor of n?
True
Let z(x) = x**3 + 5*x**2 + 3. Is z(-5) a multiple of 2?
False
Suppose -a + 2*h = -2*h - 15, 5*a - 5*h = 0. Let i = -1 - a. Is 3 a factor of i?
False
Let c(x) = -x + 6. Let w be 75/(-10)*4/(-6). Let u be c(w). Suppose m - 6 - u = 0. Is 4 a factor of m?
False
Let o = 141 + -66. Is 14 a factor of o?
False
Let d(i) = 11*i**2 + i + 3. Is d(2) a multiple of 11?
False
Let m = 357 - 201. Suppose 0*b + 3*b = -24. Is 12 a factor of (-6)/b*m/3?
False
Suppose -5*x = -4*x - 18. Suppose 19*r = x*r + 71. Is 18 a factor of r?
False
Suppose 0 = i + i. Suppose i*b - 125 = -5*b. Is 14 a factor of b?
False
Let a = 3 - 1. Suppose -23 = -a*b - j, -b = 3*b - 3*j - 31. Is 1 - (-1*2 - b) a multiple of 5?
False
Let f(q) be the first derivative of -q**4/4 + 5*q**3/3 + 5*q**2 - 7*q + 2. Suppose 0 = -m + h + 9, m + 2*h - 15 = 5*h. Is f(m) a multiple of 6?
False
Let p = 50 + 76. Is p a multiple of 15?
False
Let h(k) = k**2 + 11*k - 6. Let j be h(-14). Suppose 4*d - j = -0*d. Is d a multiple of 6?
False
Let o(h) be the first derivative of 7*h**3/6 + h**2/2 + h - 1. Let r(u) be the first derivative of o(u). Is r(1) a multiple of 8?
True
Let n(z) = -z**2 - 10*z - 3. Is n(-4) a multiple of 9?
False
Let a = 8 - 4. Suppose b - 6 = a. Is 3 a factor of b?
False
Is 147/6 + 5/(-10) a multiple of 12?
True
Is 7 a factor of (-206)/(-17) - (-38)/(-323)?
False
Let z be (2 - 2)/(8/(-4)). Let r = 5 + z. Suppose -8 = -r*d + 7. Is 3 a factor of d?
True
Let b(f) = f**3 + 4*f**2 + f - 2. Let s be b(3). Let z = s - 28. Suppose 4*o - z = 4*r - 184, -r + 46 = -4*o. Does 17 divide r?
True
Suppose 0 = -7*o + 2*o. Suppose o*k - 124 = -4*k + 4*n, 0 = -5*k - 2*n + 148. Is 8 a factor of k?
False
Is (0 - 2)*(-7480)/44 a multiple of 34?
True
Suppose -4*q + w = -3*w - 344, 3*w - 3 = 0. Is q a multiple of 14?
False
Let j(x) = x**3 - 8*x**2 + 5. Let c be j(6). Let a = 103 + c. Let n = -21 + a. Is 15 a factor of n?
True
Let j(n) = -5*n**2 + 2*n - 16. Let w(u) = 2*u**2 - u + 5. Let q(t) = 2*j(t) + 7*w(t). Is q(2) a multiple of 11?
False
Let l(o) = -o**2 - 7*o + 5. Suppose 0 = -z - 4 - 2. Is 3 a factor of l(z)?
False
Is (105/(-14))/(2/(-68)) a multiple of 15?
True
Suppose -8 = 8*j - 10*j. Is 4 a factor of j?
True
Suppose -288 = -n + 192. Is n a multiple of 30?
True
Suppose -200 = -7*b + 136. Is 13 a factor of b?
False
Suppose 2 + 18 = 4*j. Is j a multiple of 2?
False
Let k(c) = 32*c**2 - 2*c - 3. Let h(p) = p**2 + 4*p + 1. Let u be h(-3). Does 27 divide k(u)?
False
Let i(j) = 4*j**3 - 24*j**2 + 34*j + 34. Let c(h) = 3*h**3 - 16*h**2 + 23*h + 23. Let s(o) = 7*c(o) - 5*i(o). Does 19 divide s(-8)?
False
Let x = -10 - -30. Suppose z = -z + x. Does 14 divide (-188)/(-5) + 4/z?
False
Suppose 0 = -2*z - 1 + 9. Does 4 divide z?
True
Suppose 9*w - w = 144. Does 6 divide w?
True
Let r(k) = -12*k**3 - 3*k**2 - 5*k - 1. Is r(-2) a multiple of 6?
False
Let v(a) = -99*a**2 + a - 1. Let t be v(2). Let d be 10/((2/(-3))/(-1)). Does 13 divide 2/(-6) - t/d?
True
Let n(y) = -3*y - 11. Let r = 16 - 22. Is 2 a factor of n(r)?
False
Suppose p - 4*p = -162. Suppose -2 = j - p. Is 26 a factor of j?
True
Let v(f) = -10*f + 2*f + f**2 + 8 + f. Let t be ((-90)/4)/(-5)*2. Is 14 a factor of v(t)?
False
Let i(v) = -1 - 2*v + 6*v + 2*v. Is 11 a factor of i(7)?
False
Suppose 2*s = -s + 21. Let w = 31 - s. Is 10 a factor of w?
False
Let f(n) = 95*n. Let x be f(-1). Let c = -67 - x. Suppose 1 = a - h - 12, -2*a + h = -c. Is 15 a factor of a?
True
Suppose 4*q - q + 3*r = 42, 0 = -4*q - 5*r + 60. Is q a multiple of 3?
False
Suppose 30 = -4*h + 9*h. Let n = 36 - h. Does 10 divide n?
True
Let j(c) = 2*c**2 + 13*c - 42. Is j(13) a multiple of 63?
False
Let s(w) = 10*w**2 + 5*w - 4. Let l be s(-4). Suppose 5*m = m + l. Does 17 divide m?
True
Let c = -115 - -203. Suppose 0 = 5*f - 0*f. Suppose -4*o = -f*o - c. Is 11 a factor of o?
True
Let m be ((-4)/8)/(2/252). Let c = -23 - m. Suppose -u + c = 3*u. Is u a multiple of 10?
True
Let c(a) = 5*a + 1. Let j(t) = 3*t + 2. Let h be j(2). Is c(h) a multiple of 22?
False
Let n be (-4 - 0/1)*1. Is (-436)/(-16) + 1/n a multiple of 11?
False
Suppose -3*a = 3*z + 159, 4*a - 4*z + 63 + 173 = 0. Let h = -40 - a. Does 6 divide h?
False
Let b be (2/4)/(3/18). Let u = b + -2. Is (-1 + 2)*u - -9 a multiple of 3?
False
Let h be 1*2*(-115)/(-5). Suppose 0 = -4*x + a + a + h, 7 = x - 2*a. Is x a multiple of 13?
True
Let q(a) = 4*a**3 - 2*a**2 - 2. Let s be 2/5 + (-16)/(-10). Is q(s) a multiple of 11?
True
Let y be 2/6 - (-356)/12. Suppose i - y = 4*i. Is (4/i)/(2/(-70)) a multiple of 6?
False
Suppose 0*j = -3*j + 252. Is j a multiple of 28?
True
Suppose 0 = -4*s + s + 60. Let f = 2 + -2. Suppose -x + f + s = -2*k, 40 = 3*x - 2*k. Is x a multiple of 10?
True
Let b(k) = k**2 + 4*k + 6. Let q be b(-4). Suppose t + 2*g = q*g + 34, -4*g = -5*t + 170. Does 9 divide t?
False
Suppose 0 = -2*u - 8 + 148. Is u a multiple of 35?
True
Suppose 0 = -4*k + 5*h - 8, -k = k + 5*h + 4. Let w be (2 + 10)/k + 2. Is (-147)/(-28) + 1/w a multiple of 2?
False
Let m = 23 - 17. Let d(f) = f + 3. Is d(m) even?
False
Does 29 divide (42/(-9))/(1/(-21))?
False
Suppose 4 = -4*r - 0. Let j = -9 - -6. Is r + 22 + j/1 a multiple of 9?
True
Let m be -1*2 - (-6 + 0). Let f(w) = 2*w**3 - 4*w**2 - 4*w + 6. Let x be f(m). Suppose -5*v = -26 - x. Is v a multiple of 8?
True
Let u = -50 - -150. Suppose -u + 10 = -3*x. Is x a multiple of 15?
True
Let h = -28 + 53. Is 7 a factor of h?
False
Let d be (-8)/44 - 840/(-22). Let b = d + -24. Is b a multiple of 3?
False
Suppose 3*n - 6*n + 21 = 3*f, -3*n = -15. Suppose -f*g - 18 = -58. Is g a multiple of 10?
True
Let y = 2 + 51. Is 9 a factor of y?
False
Let p(k) = -k**3 - 8*k**2 + k - 10. Let m be p(-8). Let l = 39 + m. Does 21 divide l?
True
Suppose -17*x + 585 + 435 = 0. Does 11 divide x?
False
Let a = 1 + 2. Let x(j) = 25*j + 5 - a + 3*j. Is x(1) a multiple of 17?
False
Let w = -22 + 5. Let x = 9 - w. Does 9 divide x?
False
Suppose -24 = -3*z + 3*v, -v + 54 = 5*z + v. Suppose -6*p - z = -p, 56 = 4*m - 4*p. Does 12 divide m?
True
Suppose 3*x - 8 - 4 = -2*z, -3*x + 12 = 0. Let r be z/1 + 12/3. Suppose -9 - 39 = -r*y. Does 7 divide y?
False
Is 25 a factor of (-382)/(-4) + (-3)/(-2)?
False
Suppose -2*v + 21 = v + 5*p, v + 3*p = 3. Let w(f) = -14 + f + v - 4*f. Is 7 a factor of w(-3)?
True
Suppose -5*l - 15 = 4*i + i, 3*l + 14 = -4*i. Let c(d) = 2*d + 17. Let b be c(-7). Suppose 4*g + l*p - 128 = -0, p = -b*g + 97. Does 10 divide g?
False
Let f be (0 - 0)*(-5)/10. Let h = f + 5. Suppose -5*p + 34 = 2*w, 0 = -2*p - 4*w - 1 + h. Is p a multiple of 5?
False
Does 10 divide (-249)/(-24) - 9/24?
True
Let p = 12 - -23. Is 7 a factor of p?
True
Let g(b) = -b**2 + b. Let u be g(2). Let n(i) = i**2 + 4*i + 0 - 3*i**3 + 2 - 3*i**2 - i. Is 12 a factor of n(u)?
True
Let l(c) = 14*c - 2. Let q(u) = 3*u + 1. Let z(p) = 4*p + 2. Let a(r) = 3*q(r) - 2*z(r). Let k be a(3). Does 13 divide l(k)?
True
Let z(l) = -l**3 + 6*l**2 - 3*l - 6. Let c be z(5). Suppose c*h + 2 = -5*p, 2*p = -0*h + 3*h + 13. Suppose 11 = p*k + 1. Is k even?
False
Suppose 4*g - 120 = i, -60 = -4*g + 2*g + 5*i. Is 10 a factor of g?
True
Suppose -2*f = 2*f - 192. Is 24 a factor of f?
True
Let u(j) = j**2 + 6*j + 12. I