Suppose r = -0*x + 5*x. Does 3 divide x?
True
Suppose -8*k + 4*k - 284 = 0. Let r = -19 - k. Does 13 divide r?
True
Let n = -173 + 572. Is 57 a factor of n?
True
Is 7 a factor of 2 - -2 - (-9 + 6)?
True
Let v(s) = -s**3 + 8*s**2 + 2*s - 2. Let k be v(8). Suppose -c + k = 2. Is 4 a factor of c?
True
Suppose 0 = -5*h + 3*a + 259, 2*a = 3*h + 6*a - 138. Suppose -5*t = -20, -2*t + h = 2*c + 10. Does 7 divide c?
False
Let b(x) = x**3 + 4*x**2 + 9*x - 5. Let m(s) = s**3 + 3*s**2 + 8*s - 5. Let l(k) = -3*b(k) + 4*m(k). Does 11 divide l(2)?
False
Suppose 2*l - 49 = -3*j, 10 = -3*j - 5. Suppose -2 = 2*i - 3*a - l, -30 = -2*i + a. Is 15 a factor of i?
True
Let m(x) = -x**3 + 21*x**2 + 5*x - 39. Does 3 divide m(21)?
True
Let x(k) = -4*k + 1. Let h be x(-3). Suppose h + 17 = l. Is l a multiple of 15?
True
Let r(z) = 5*z**2 - 7*z - 5. Let i(u) = -u**2 + u. Let f(a) = 4*i(a) + r(a). Is 13 a factor of f(6)?
True
Suppose 69 = 3*z + s, 2*z + s + 85 = 6*z. Is z a multiple of 8?
False
Let f(n) be the second derivative of n**4/12 + 2*n**3/3 + 2*n**2 + n. Is 12 a factor of f(-7)?
False
Let o(r) = -68*r**2 + 14*r + 11. Let l(s) = 23*s**2 - 5*s - 4. Let t(x) = -8*l(x) - 3*o(x). Let m = 0 + -1. Does 13 divide t(m)?
False
Suppose p - 5 = -0*p. Suppose -4*x = a - 7*x - 18, 4*a - 89 = -p*x. Is 21 a factor of a?
True
Let g = -46 - -92. Does 23 divide g?
True
Let k(y) = y**3 - 4*y**2 - 6*y + 12. Is k(6) a multiple of 24?
True
Suppose -2*b = -4*g + 178, 4*g + b - 105 - 76 = 0. Is g a multiple of 15?
True
Let h(y) = -y**3 - 7*y**2 - 4*y - 9. Is 9 a factor of h(-7)?
False
Let t(o) = o**2 + 7*o + 9. Suppose 2*z = 10, 0 = s - 2*s - 3*z + 16. Let g be -8 - (-2)/(1 + s). Is t(g) a multiple of 5?
False
Suppose 41 = c - 13. Is c a multiple of 18?
True
Let g be -545*(-1)/(-10)*-4. Suppose -6 + 14 = 2*i. Suppose 0 = 3*j - i*s - 110, g = 2*j + 3*j + 2*s. Is 21 a factor of j?
True
Suppose f = -3*q - f + 26, -4*f - 8 = 0. Is 162/4 + (-5)/q a multiple of 10?
True
Let t(z) = -2*z. Let y be t(-1). Suppose 0 = -5*r - 15, -3*m + 297 = -y*r + 24. Does 23 divide m?
False
Let c(q) = q**3 + 9*q**2 - 16*q - 14. Let d be c(-10). Suppose m = -16 + d. Is m a multiple of 10?
True
Let n be ((-48)/(-10))/(-2)*-5. Is 13 a factor of (1 + 1)/2 + n?
True
Let g = -23 + 30. Does 7 divide g?
True
Let i(f) = -2*f + 7. Let a be i(5). Let j(t) = -2*t**2 + 6. Let p(u) = u**2 + 1. Let k(y) = -j(y) + 2*p(y). Does 17 divide k(a)?
False
Suppose -98 = -i - 5*l, 39 = i - 4*l - 86. Is 15 a factor of i?
False
Let l(r) = r**3 + 12*r**2 + 12*r - 2. Is 6 a factor of l(-10)?
True
Let l(u) = -u**3 + 4*u**2 + 4*u - 4. Let r = -16 - -24. Suppose 0 = 2*g - r. Is l(g) a multiple of 5?
False
Let r be (4/(-10))/((-1)/15). Does 7 divide 187/r - 1/6?
False
Suppose k = 1, 0 = 2*c + k - 5*k - 62. Suppose a = -f - 3*f + c, f = -a + 9. Is 11 a factor of (92/f)/((-1)/(-2))?
False
Is (-1)/2*(-75)/5*6 a multiple of 9?
True
Let p = -4 - -58. Does 18 divide p?
True
Suppose 2*l + 4 - 12 = 0. Suppose l*c + 1 - 5 = 0. Is 14 a factor of -3 - (1/c + -29)?
False
Let l(r) = 5*r - 11. Let f(y) = -4*y + 11. Let i(q) = -3*f(q) - 2*l(q). Is i(12) a multiple of 2?
False
Suppose -2*b - 44 = -3*s + 47, 3*s = -b + 103. Does 11 divide s?
True
Suppose a + 5 = -24. Let i = a + 51. Suppose -k = g - 6*k - i, 4 = -2*k. Is g a multiple of 10?
False
Let n = 1 + 1. Suppose 0 = -2*l - 3*m + n + 19, -4*m = 2*l - 24. Is 4 a factor of l?
False
Suppose 3*r - 4 = 4*d, 3*d - 5*r + 14 = -0*d. Is 2 a factor of d?
True
Let v(u) = 3*u - 5. Suppose 3*l - 8 = l. Let j be v(l). Is 3 a factor of (-2)/j + 30/7?
False
Let z(p) = p**3 + 9*p**2 + 9*p + 10. Let g be z(-8). Suppose -58 = -2*s + 2*m, 2*s - 90 = -s + g*m. Does 16 divide s?
True
Let b(x) = x**3 + 4*x**2 - 5*x + 4. Let j be b(-5). Let d = j - 4. Let h = 11 + d. Is 5 a factor of h?
False
Let u(r) = r**3 - 3*r**2 - 5*r - 1. Let g be u(4). Let k = g - -9. Does 2 divide k?
True
Let k(f) = -3*f - 9. Suppose 10 = 4*u + 38. Let q = 0 + u. Does 6 divide k(q)?
True
Let h(k) = 10*k + 1. Let y be h(-1). Let t = y - -21. Does 6 divide t?
True
Suppose -6*u + 4*j + 12 = -3*u, 4*u + 6 = -2*j. Suppose 3*y - 60 = -3*l, -3*l + u = -6. Is y a multiple of 18?
True
Suppose 0*b + 16 = -4*b, 5*f - 5*b = 185. Does 9 divide f?
False
Let o(n) = n**2 + 4*n + 220. Is 20 a factor of o(0)?
True
Suppose -3*i + k + 57 = -12, -2*k - 69 = -3*i. Does 9 divide i?
False
Let c be (-50)/(-3) - (-6)/18. Suppose -2*i + 0*i - c = -o, 5*o = -4*i + 29. Is 3 a factor of o?
True
Suppose -2*j + 5*f = -29, j - 2 + 5 = -f. Suppose -5*g = r - 0 + 1, j*g = -5*r + 41. Does 5 divide r?
False
Let h = 27 - 7. Is h a multiple of 7?
False
Let z(c) = c**2 - 3*c - 5. Suppose 0 = -3*f - 2 + 20. Is z(f) a multiple of 12?
False
Suppose 5*b = -2*s + 817, 302 = -5*b - 5*s + 1107. Is 33 a factor of b?
True
Let l = -21 + 13. Let o = l - -14. Does 4 divide o?
False
Suppose -3*v - 4*g = -54 - 6, 4*v - 2*g = 80. Let d = v + -18. Is d even?
True
Let y(w) = w**3 - 11*w**2 + 2*w + 13. Does 37 divide y(12)?
False
Let x be ((-8)/20)/((-2)/20). Let p(r) = r - 4. Let c be p(x). Suppose 48 = -c*v + 4*v. Is v a multiple of 8?
False
Let j = -13 + 18. Suppose 4*b + j*y = 53 - 11, -4*b + y + 54 = 0. Is b even?
False
Suppose -n + 2*n - 75 = -w, 0 = -w + 4. Suppose 3*a - n = -4*t + 28, 4*t - 4*a - 92 = 0. Is 6 a factor of t?
True
Suppose 2*z + 2*l = 140, -2 - 7 = -3*l. Is 8 a factor of z?
False
Let n(h) be the second derivative of -h**4/12 - 5*h**3/3 + 11*h**2/2 + 5*h. Does 20 divide n(-9)?
True
Let m be 1/2 + 4/8. Let g = m + 0. Is 20 + g*-2 + 2 a multiple of 10?
True
Let i = -70 - -126. Is 29 a factor of i?
False
Suppose -3*c = 4*z - 2*z - 287, -4*c - 5*z = -385. Is 19 a factor of c?
True
Let k(g) = -g**2 + 13*g + 70. Is 8 a factor of k(15)?
True
Suppose 6*s = s. Let y(z) = -z**2 + 4*z + 4*z + 1 + s*z. Is y(5) a multiple of 6?
False
Is 5 a factor of 5 + 4/4 + 9?
True
Let o(d) = d**3 - 3. Let k be o(0). Is 5 a factor of (-2)/k - (-215)/15?
True
Suppose 0 = 3*q - 2*x - x - 6, 0 = q - 2*x + 2. Let p be 6/4*(-4)/3. Let m = p + q. Is 4 a factor of m?
True
Let v(d) = -d + 4. Let f be v(0). Let n = f + -2. Suppose n*i + b + 2*b = 0, 18 = 4*i - 3*b. Does 3 divide i?
True
Let b = 144 + -78. Is b a multiple of 14?
False
Let h(c) = -4*c + 6. Let y be 7 + 1 + (-5 - -2). Let u be h(y). Is 4 a factor of 3/(0 + (-6)/u)?
False
Suppose 5*j = -25, -4*w + 68 = -w + 5*j. Is 31 a factor of w?
True
Suppose 0 = 5*a + 10, 3*a = -2*b + 56 - 10. Suppose -c + 67 = b. Is c a multiple of 13?
False
Let g = -271 - -619. Does 56 divide g?
False
Let f(g) = -5*g**2 - 32*g - 23. Let d(k) = -2*k**2 - 11*k - 8. Let s(x) = 8*d(x) - 3*f(x). Let a be s(5). Suppose a = 3*y - 13. Does 7 divide y?
False
Let y = 10 - 4. Is y a multiple of 6?
True
Suppose 5*c - 393 = 4*d, -69 = 2*c - 3*c + 4*d. Does 9 divide c?
True
Let u(a) = -a + 8. Let z be u(6). Suppose 0 = -3*l - 4*s + 179, -3*l - s + z*s = -169. Does 12 divide l?
False
Suppose 0 = 3*w + 4*y + 17, 4*y = -5*w - y - 25. Suppose 4*m - 5*m - 2*p - 4 = 0, 5*p = -2*m - 6. Let q = w - m. Does 4 divide q?
False
Suppose -4 = 3*z - 4*z. Suppose 1 = z*d + 2*h - 1, d + 2*h = -4. Suppose 5*f - 3*f - 64 = -d*s, f - 28 = -2*s. Is f a multiple of 18?
True
Suppose -3 + 1 = 2*v. Is v - (-1 - (67 + -3)) a multiple of 16?
True
Let g = -142 + 244. Does 14 divide g?
False
Suppose 5*r - 370 - 110 = 0. Suppose 2*v = -0*v + r. Does 21 divide v?
False
Let p(s) = s**2 - s - 3. Let k be 48/(-9) + (-2)/3. Is p(k) a multiple of 13?
True
Suppose -7*v - 84 = -301. Is v a multiple of 5?
False
Suppose 3*c = -2*s - s + 195, -s = 3*c - 71. Is s a multiple of 13?
False
Let x(s) = s - 14. Let a be x(12). Let j(h) = -1. Let g(f) = 6*f**2 + 18. Let k(l) = g(l) + 18*j(l). Is k(a) a multiple of 12?
True
Suppose 6*a - 7*a + 42 = 0. Is 9 a factor of a?
False
Let d(q) = q + 14. Suppose 3*f - 5*f = -3*r - 21, -21 = 3*r + 2*f. Let h = -13 - r. Does 4 divide d(h)?
True
Let x(c) = -c**2 + 11*c - 8. Is x(4) a multiple of 13?
False
Let j(r) = -46*r**3 + r**2 - 1. Let z(g) = g**3 + g**2 + g. Let c be z(-1). Is j(c) a multiple of 23?
True
Let g(a) = 2*a**2 + 2*a + 3. Let r be g(-2). Suppose r = 5*j - 8. Suppose -j = -i - 1. Is i even?
True
Does 47 divide 141/(-2)*24/(-18)?
True
Let k = 15 + -24. Let w = k - -28. Is 10 a factor of w?
False