 be n(2). Let g = 42 + -11. Suppose x = 2*j - g. Does 10 divide j?
False
Suppose -4*z + 505 = 3*c - 257, 774 = 4*z - 3*c. Suppose -23*x + z = -19*x. Is x a multiple of 29?
False
Let a(n) = -n**3 + 3*n**2 + 5*n - 3. Let g be a(3). Suppose g = 3*r - 24. Is 5 a factor of r?
False
Suppose -14*r + 16*r - 520 = 0. Is 26 a factor of r?
True
Suppose 25 = 4*k + 5*w, -3*k + 2*k = 4*w + 2. Let i be 4/k + (-43)/(-5). Is 9 a factor of 1 + -2 + (i - -1)?
True
Let q = -2 - -5. Suppose -5*j = -3*o - 106, q*j - 3*o = 2*o + 54. Is j a multiple of 9?
False
Suppose -b - b + 5*v - 5 = 0, -2*b = v - 1. Is b*2/(-6) - -25 a multiple of 13?
False
Suppose 4*x = 4*p - 32, 6*x - 3*x + 36 = 5*p. Let o(t) = 2*t**2 - 2*t - 6. Is 29 a factor of o(p)?
False
Let u(b) = -b**3 - 9*b**2 - 10*b - 5. Let s(z) = -z - 4. Let m be s(-6). Suppose -3*j - 22 = m. Is 11 a factor of u(j)?
True
Let b = 93 - 8. Is 10 a factor of b?
False
Is 4 a factor of (-16)/(-7) + 3 - 2/7?
False
Suppose -2*j - 25 = -7*j. Let k(s) = s**3 - 4*s**2 - 5*s + 7. Let t be k(5). Suppose -2*c + t = -j. Is c a multiple of 3?
True
Let w = -6 + 81. Is w a multiple of 25?
True
Let k(s) = -s**3 - 13*s**2 - 14*s - 14. Let t be k(-12). Is 6 a factor of (-6)/(-15) - (-76)/t?
False
Let m = 28 + -15. Suppose -m - 23 = -3*b. Is 6 a factor of b?
True
Let a = -36 + 21. Let q(r) = r**3 - 2*r**2 + 5*r - 4. Let o be q(2). Does 7 divide (2 - 6)*a/o?
False
Suppose -5*i = -3*l - l - 1320, 5*i = 5*l + 1320. Is 44 a factor of i?
True
Is (2/1 - 2 - -12)*5 a multiple of 6?
True
Let o = 44 + -10. Is o a multiple of 17?
True
Suppose 3*r = 11*r - 296. Is r a multiple of 16?
False
Suppose 65 = 5*r + 2*v - 65, -73 = -2*r - 5*v. Is r a multiple of 4?
True
Suppose 3*h = -0*h + 15. Is h a multiple of 5?
True
Suppose -n - 5*s + 69 = 3*n, n - 6 = s. Let b = n + -8. Suppose -v = -b*g + 77, -g = -v - 0 - 29. Is 12 a factor of g?
True
Let o(q) = -q**3 - 11*q**2 - 3*q + 5. Let n(v) = v**2 - v - 1. Let c(p) = -4*n(p) - o(p). Suppose 0 = -r - 3 - 2. Is c(r) a multiple of 7?
True
Let s(u) = -u**3 - 2*u**2 + 1. Let m be s(-2). Let a = m + 0. Does 8 divide ((-12)/(-30))/(a/55)?
False
Let k = -499 - -836. Is 44 a factor of k?
False
Suppose 0 = -3*t + 4*t - 59. Is 30 a factor of t?
False
Let n = -112 + 232. Let o(f) = 3*f**2 - f. Let h be o(1). Suppose n = 3*k + h*k. Does 12 divide k?
True
Let w(u) = u**2 + 3*u - 7. Let k be w(-5). Suppose -43 = -k*s - 4. Is 5 a factor of s?
False
Suppose 0 = z - 6*z. Let k be (-42 - z)*1/(-2). Suppose 0 = 4*a - 2*l - 22, a + 2*a = -3*l + k. Does 3 divide a?
True
Let n(c) = 3*c - 15. Let w(g) be the third derivative of -g**4/24 + g**3/2 - g**2. Let y be w(-7). Is 7 a factor of n(y)?
False
Let b = 3 - 2. Suppose -b = l - 4. Does 3 divide l?
True
Suppose 5*l - 12 = 2*l. Suppose 5 = -3*t + l*t. Is t a multiple of 3?
False
Let q = 43 + -22. Does 14 divide q?
False
Let s = -109 + 240. Suppose -2*j = -5*l - s, 5*j + 5*l = 311 + 104. Is j a multiple of 18?
False
Let w(v) = 1 + 3*v - 6*v - 4 - 4. Let s = 10 + -15. Is w(s) a multiple of 3?
False
Let g(o) = -8*o - 2. Let r be 2 + 4/2*-2. Does 6 divide g(r)?
False
Let v = 4 - -8. Is 12 a factor of v?
True
Let c be 12/54 - 2660/(-18). Let v = c - 92. Suppose 3*m = 5*t - v, 10 = 4*t + 4*m - 22. Is t a multiple of 10?
True
Let j(b) = 5*b**3 - b**2 + 3*b - 1. Does 12 divide j(2)?
False
Let c be -15*((-24)/9 - -2). Suppose c = 2*l - 2. Is l/9*(2 + 13) a multiple of 10?
True
Let v(c) = -7*c - 16. Let a be v(-9). Suppose 2*m = m + a. Is 20 a factor of m?
False
Suppose 19 = 3*m + 1. Suppose -5*z + 122 = -v, 0 = 4*z + v - m*v - 106. Does 12 divide z?
True
Let d(q) = -q + 3. Is 8 a factor of d(-5)?
True
Let f be (-4)/6 + 138/18. Suppose -l + f = -21. Is l a multiple of 24?
False
Suppose 0 = u - 23 - 0. Suppose j = -4*l - 35, -2*l - u = j - l. Is 11 a factor of (-6)/2 + 6 - j?
True
Let k(c) = -c**3 - 9*c**2 + 8*c - 16. Does 12 divide k(-12)?
False
Let l(s) = s + 6. Let t be l(-4). Suppose 0 = -x - 0*x + t*b + 85, 5*x = -2*b + 365. Suppose -6*o + x = -o. Is o a multiple of 11?
False
Let r(s) = -3*s**3 + 4*s. Let q(f) = f**3 - 2*f**2 - 5*f + 3. Let y be q(3). Let n be r(y). Suppose 5*k - n = -4. Is 13 a factor of k?
True
Suppose 4 = 4*u - 4. Suppose -x = 2*m - 23, -2*m + u*x = 2*m - 26. Is m + 2*(-3)/3 a multiple of 4?
False
Does 24 divide (0 - 16)*12/(-8)?
True
Suppose 0 = g - 23 - 29. Is g a multiple of 17?
False
Let w = -7 - -28. Is w a multiple of 21?
True
Suppose b + 1 - 3 = 0. Is 24*((-10)/6 + b) a multiple of 4?
True
Let t = 10 - 6. Suppose t*a + a - 8 = 4*f, 35 = 5*f + 5*a. Is -1 - 9/((-3)/f) a multiple of 8?
True
Let u(g) = -g - 2. Let i be u(-6). Suppose i*h - 8 = -0*h. Suppose h*y + 145 = 3*r, 0*r - 5*y - 160 = -3*r. Is 13 a factor of r?
False
Suppose 3*a - 6 = -5*j + 12, 2*j - 30 = -5*a. Let q = 7 + -6. Is (a/(-4))/(q/(-10)) a multiple of 15?
True
Suppose 201 + 119 = 8*d. Is 10 a factor of d?
True
Suppose 5 = -4*j + 41. Let b = j - -12. Is 7 a factor of b?
True
Let w(s) = 7*s**2 + s. Let c be w(1). Suppose -q - 5*j + 10 = 0, 0*j - 4*j + 37 = -5*q. Let x = q + c. Is x a multiple of 2?
False
Let n(p) = -10*p**3 + 6 + 0*p + 5*p**3 + p + p**2 + 4*p**3. Let z = -1 + 1. Is 5 a factor of n(z)?
False
Suppose 5*l - 273 = 3*x, -113 = -0*l - 2*l + 5*x. Does 18 divide l?
True
Let l(n) = -n**3 + 10*n**2 + 2*n + 8. Is l(8) a multiple of 19?
True
Let s(x) = x**3 - x**2 - 1. Let m be s(2). Suppose -k + 112 = m*k. Is 14 a factor of k?
True
Let t(a) = -a**3 + 6*a**2 - 3*a + 1. Suppose -5*n + 5 + 0 = 4*w, 5*w = 5*n + 40. Is 8 a factor of t(w)?
False
Suppose -2*u + 61 = 3*u + a, -3*u + 2*a + 34 = 0. Is u a multiple of 4?
True
Suppose -2*b - 32 + 118 = 0. Is b a multiple of 17?
False
Suppose 3*z + h - 2 = -0*z, -h + 2 = 5*z. Let q(j) = j**3 - j**2 - j + 21. Let u be q(z). Suppose 5*l - u = -1. Is l a multiple of 2?
True
Suppose -44*j + 588 = -37*j. Is j a multiple of 14?
True
Let k(f) = -5*f + f + 2 + 5*f - 10*f**2. Let r be k(-2). Let i = r - -67. Is 11 a factor of i?
False
Let a be -22*(-1)/(2/3). Suppose d = -2*s + a, 0 = d - 5*d + 12. Suppose 4*c + 4*u - 80 = 0, -95 = -4*c + u - s. Is 16 a factor of c?
False
Suppose 3*d + 12 = 5*v, 2*v = -3*v - d - 4. Suppose -60 = -v*n - 3*n. Does 10 divide n?
True
Let f = -119 + 227. Suppose d - 3*c - f = -2*d, d - 28 = -c. Is 15 a factor of d?
False
Suppose 5*o - 835 = 5*u, -2*u - 63 = 2*o - 385. Is 34 a factor of o?
False
Suppose -191 = -4*h - 23. Is h a multiple of 3?
True
Let t(l) = 5*l - 5. Let a(p) = -1. Let v(i) = -3*a(i) + t(i). Let h = 2 - -3. Is v(h) a multiple of 18?
False
Let x be (-2)/(4 - (-36)/(-8)). Suppose -x*g + 7*g + 4*p - 160 = 0, -10 = 5*p. Is 28 a factor of g?
True
Suppose -4*u + 131 = 3*v, -5*u = -v - 47 - 131. Does 11 divide u?
False
Let v = -31 + 37. Let x(d) = d**2 + 4*d + 6. Let u be x(-6). Suppose 4*z - v = u. Is z a multiple of 4?
False
Does 10 divide (-7*6)/((-1)/1)?
False
Suppose a + k + 2*k - 309 = 0, 4*k = 5*a - 1488. Suppose -2*c + a = 3*c. Is c a multiple of 19?
False
Let g = 11 - 7. Suppose -2*w - 2*i - 3*i - 37 = 0, -5*w + g*i = 76. Is w/(-7) - (-2)/(-7) a multiple of 2?
True
Let y be (-12 + 7)*4/(-10). Does 11 divide y + 26 - 1/1?
False
Let f = -14 - -27. Suppose 73 = z + f. Is z a multiple of 19?
False
Suppose -3*u + 350 = 2*a, -4*u - 6*a + 462 = -a. Does 7 divide u?
False
Let s(i) be the first derivative of i**5/24 - i**4/24 + 2*i**3/3 + 3. Let b(f) be the third derivative of s(f). Is b(3) a multiple of 14?
True
Let c(t) = t**3 - 6*t**2 - 1. Let f be c(6). Let z = f - -5. Suppose -5*o + 9 = -z*o. Is 9 a factor of o?
True
Let w be (-55)/20 + (-2)/8. Let n(g) = -3*g**3 + g**2 - 3. Let a be n(w). Suppose -4*t - 2*j = -116, -5*j + a = 4*t - t. Does 12 divide t?
False
Let h(v) = -v - 3 - v + 1 - 4*v. Let j be h(-4). Let b = j + -13. Is 5 a factor of b?
False
Let j be 24*((-4 - 0) + 3). Let m = -16 - j. Is 2 a factor of m?
True
Suppose 0 = -2*j + 6*j - 20. Suppose j*c = b + 54, 3*b + 0 = -12. Is c a multiple of 5?
True
Let t = -17 - -27. Suppose -6*a = -t*a + 20. Is a a multiple of 5?
True
Let q(t) = 3*t**2 + 2*t + 4. Is q(5) a multiple of 34?
False
Let i be 4/(-16) + (-18)/(-8). Suppose 2*j - 12 = -j. Suppose -i*c = 2*b - 56, 40 = j*b - 2*b - 2*c. Does 11 divide b?
False
Let j(w) = 2*w**2 + 3*w - 5. Is 4 a factor of j(-5)?
Fals