tiple of 8?
False
Let r be -2 + 4 + (-200)/(-4). Suppose -o = o - r. Is 9 a factor of (o/(-8))/((-14)/56)?
False
Suppose -4*r = -615 - 697. Let s = r + -40. Suppose 4*b - b - s = 0. Is 31 a factor of b?
False
Let u be ((2 - 2) + -21)*-1. Suppose 4*i = 4*a - 108, -2*a + 74 = -i + 3*i. Let q = a - u. Is q a multiple of 11?
True
Suppose -4 = -7*n + 5*n. Suppose -n*t - 3*b = -138, -b - b + 367 = 5*t. Is t a multiple of 13?
False
Let c be 3/(1 - (2 - 2)). Suppose 0 = c*a + 1 - 10. Suppose 0 = -3*f - 15, 4*f - 35 = -a*h + 38. Is 9 a factor of h?
False
Let j(g) = 2*g**2 - g - 5. Let h be j(-2). Suppose 5*f = h*s - 10 - 0, -2*s - 2*f + 16 = 0. Is s a multiple of 3?
False
Let l be (-9*4)/(-3) + 0. Let g be (-5)/((-10)/l) + -1. Suppose g*c = -14 + 44. Is 6 a factor of c?
True
Let w be 0 + -1 - (0 - 73/1). Is (w*2)/2 - (7 + -7) a multiple of 12?
True
Suppose 2*w = 322 + 560. Suppose 6*d - 2067 = -w. Is 23 a factor of d?
False
Let j(s) = 2*s + 13. Is 8 a factor of j(2)?
False
Let z = -1229 + 3273. Is 23 a factor of z?
False
Let a(c) = 8*c**2 - 3*c + 17. Let v be a(7). Suppose v = -11*m + 1653. Is m a multiple of 5?
True
Suppose 5*b + 2*g - 7 = 0, -6*b + 2*b - 2*g = -6. Let m be b/(1*3/51). Let v = m - 2. Is 4 a factor of v?
False
Suppose -4*p + 8*p - 1264 = 0. Suppose 3 = -5*v - 2, 0 = 5*z + 4*v - p. Let u = z + -38. Is u a multiple of 13?
True
Does 5 divide 18/(-16) - -1 - 360054/(-1328)?
False
Let q = -22 - -28. Suppose -4*k + q*k - 26 = 0. Does 6 divide k?
False
Let s(w) = 9*w**2 - 25*w - 69. Is s(-10) a multiple of 47?
True
Let g = 13 - 8. Let o be 8/g*(-15)/(-6). Suppose -o*z + 0*z + 68 = 0. Is z a multiple of 12?
False
Let z(t) = -t**2 + 5*t - 16. Let h be z(7). Is 6/(-10) - (672/h)/4 a multiple of 5?
True
Let d be ((-2)/3 - 33/(-9)) + 120. Suppose 3*f - d = 27. Is 10 a factor of f?
True
Let h(s) = s**2 - s - 2. Let w be h(-3). Let u(y) = 2*y**2 - 12*y + 14. Let g be u(w). Suppose 0 = -4*a + g + 2. Does 8 divide a?
True
Suppose 48 - 53 = -n. Suppose -465 - 415 = -n*d. Is 11 a factor of d?
True
Let w(h) = -h**3 - h**2 + 21*h + 36. Does 4 divide w(-5)?
False
Suppose f = -0*f - 3*y - 33, 2*y = -2. Let r = 154 + f. Is r a multiple of 22?
False
Let j = 859 + -556. Does 7 divide j?
False
Suppose 4*w + 14 - 46 = 0. Does 12 divide 9*w + 0/(-19)?
True
Let o(x) be the third derivative of x**5/30 - 5*x**4/12 + x**3/3 - 17*x**2. Does 2 divide o(5)?
True
Suppose 9*q = 80*q - 173808. Does 41 divide q?
False
Let v = 39 + -35. Let p = 49 + v. Is p a multiple of 9?
False
Suppose 16*u - 2418 = 13*u. Is 7 a factor of u?
False
Let y = -813 + 1553. Does 11 divide y?
False
Suppose 5*b = 4*b, 4*b - 222 = 3*r. Let p = 131 + r. Suppose -237 + p = -4*o. Does 11 divide o?
False
Let c be 16/(-40) - 12/(-5). Suppose 214 = -l + 6*l - o, -4*o = c*l - 68. Does 14 divide l?
True
Let g(u) = -2*u - 5. Let z(o) = -3*o - 5. Let x(l) = 4*g(l) - 3*z(l). Let n be x(10). Suppose 2*j - 21 = -5*w, 0 = j - 4*w - n + 1. Does 3 divide j?
False
Suppose 7*c + k - 33325 = -4*k, 0 = -3*c + 3*k + 14277. Is 68 a factor of c?
True
Suppose k + 74 = 115. Suppose 0 = -j + 4*o + k, 5*o - 4*o = 3*j - 145. Does 7 divide j?
True
Let b be ((-20)/(-12) - 2)/(2/(-234)). Suppose 33 = 2*v - b. Is 12 a factor of v?
True
Let s = 1 + -18. Let z = 23 + s. Does 28 divide 1/2 + 459/z?
False
Let s = 1240 + -1148. Is 23 a factor of s?
True
Suppose 0 = 15*y - 4804 - 746. Is 10 a factor of y?
True
Suppose 496 = -b + 3*b + 3*m, 742 = 3*b + 4*m. Suppose b + 406 = 6*r. Does 27 divide r?
True
Let m = 68 - 90. Let f = 35 - m. Is f a multiple of 19?
True
Suppose -7*c - 9 + 23 = 0. Is (c - 8/3)/(5/(-285)) a multiple of 19?
True
Suppose -p + 5 = s, -s + 2*p = p + 5. Suppose s = -z - 0 + 103. Is z a multiple of 15?
False
Let y(x) be the second derivative of -29*x**8/6720 + x**7/2520 + 5*x**4/12 + 2*x. Let b(o) be the third derivative of y(o). Is b(-1) a multiple of 10?
True
Let j(p) = -p**3 + 6*p**2 + 7*p + 11. Let t = -40 - -46. Is j(t) a multiple of 24?
False
Let k = 46 - 48. Does 4 divide 688/88 - k/11?
True
Suppose 15*u - 10*u = 5*x - 8045, -3*x + 4829 = -5*u. Does 30 divide x?
False
Let f = -256 + 261. Let v = 1 + 3. Suppose -52 = v*n - f*n. Is n a multiple of 26?
True
Let p(r) = -4*r + 7. Let i be p(3). Let v be (-5 + 20)*(-6)/i. Let c = v + 4. Does 15 divide c?
False
Suppose 5*z - 2091 + 1681 = 0. Is z a multiple of 17?
False
Let f = 44 + -44. Suppose 5*q - 9*q + 1176 = f. Is q a multiple of 38?
False
Suppose -3*b + 69 = 5*m, 4*b + 47 + 1 = 5*m. Suppose 3*a + 14 = 4*k - 3*k, -4*a = m. Suppose 3 = 2*v + h - 38, k*h - 45 = -2*v. Does 10 divide v?
True
Suppose -2603 = -3*z - 5*y, -4*z + z - 2*y + 2609 = 0. Is 13 a factor of z?
True
Is (-5 - -10)*(-4 + 1308/4) a multiple of 19?
True
Let c(f) = 8*f**2 + 11*f + 47. Is 32 a factor of c(-5)?
True
Suppose 62 = 4*j + r, 0 = -j - 5*r - 2 + 8. Suppose t = -j + 40. Is 24 a factor of t?
True
Let j be 1/(-1 + 3/6). Does 5 divide 60/2 + j + 2?
True
Let w(s) = -s**3 - 8*s**2 - 9*s - 10. Let z be w(-7). Suppose 3*q = 4*t - 16 - 47, z*q - 28 = -4*t. Let r = 45 - t. Is r a multiple of 11?
True
Let q(y) be the first derivative of -17*y**4/24 - y**3/2 + 5*y**2/2 - 4. Let p(c) be the second derivative of q(c). Is 13 a factor of p(-4)?
True
Let o(x) = -x**2 - 6*x - 1. Let a(f) = f**2 + 13*f + 2. Let s(j) = -2*a(j) - 5*o(j). Let r be (-5 - 0) + 2 + -1. Is s(r) a multiple of 15?
False
Suppose 0 = -6*w + w + 115. Suppose -18*j = -w*j + 770. Does 42 divide j?
False
Suppose -5*z - 4 = -14. Suppose -5*k - c - 39 = 14, -z*k - 11 = -3*c. Let r(n) = -3*n - 7. Does 23 divide r(k)?
True
Let b be -1 - 3 - 120/(-3). Suppose m - b = -0*m. Does 9 divide m?
True
Suppose 5*h = -0*h + 2330. Is 25 a factor of h?
False
Suppose 0 = -c - 124 + 598. Is 33 a factor of c?
False
Let r = -7 - -8. Let s(t) = -530*t**2 + t - 1. Let x be s(r). Is 9 a factor of (-9)/(-6)*x/(-15)?
False
Suppose 70 = 4*o + o. Let k = 209 - 209. Let t = k + o. Is 7 a factor of t?
True
Let c(b) = -151*b - 3. Let n(a) = -6*a**2 + 2*a - 1. Let t be n(1). Let s be c(t). Does 28 divide s/8 + -1 + 3?
False
Let t = 71 + -68. Suppose t*y = 2*i - 87 - 59, -i + y + 74 = 0. Is i a multiple of 27?
False
Let l = -43 - -81. Let o = l - 20. Is o a multiple of 7?
False
Suppose z + 12 = 3*z. Let t(b) = 22*b - 2. Let i be t(z). Suppose -2*d = -7*d + i. Is d a multiple of 7?
False
Let n(u) = 67*u**3 + 2*u - 1. Let v(t) = -3*t - 2. Let f be v(-2). Let q be (-3)/(-36)*3*f. Does 21 divide n(q)?
False
Let s be -2 - (4 + -3 + -122). Let z = 70 + s. Does 36 divide z?
False
Let l(x) = x**3 + 5*x**2 + 5*x + 1. Let d be l(-2). Suppose -290 = -d*o + 2*r + 2*r, -4*o + 393 = r. Does 12 divide o?
False
Let m(d) = d**2 - 16*d. Let f be m(13). Does 18 divide (52/f + 4/(-6))*-18?
True
Let d = 25 - 26. Is 9 a factor of (-3 + d + 2)*-14?
False
Let g = 1117 + 107. Is 24 a factor of g?
True
Let l(y) = -y**3 + 2*y - 1. Let z be l(-2). Let i(n) = -z*n - 8*n - 8 - 11 + 12. Is 10 a factor of i(-4)?
False
Suppose -1 = -10*j + 9. Does 10 divide (j/(1/(-9)))/((-3)/21)?
False
Let c(q) be the third derivative of q**8/20160 + q**7/1260 + q**6/80 - q**5/20 - 5*q**2. Let y(m) be the third derivative of c(m). Is y(-5) a multiple of 7?
True
Let p(i) = 7*i**2 + i - 2. Let j be p(1). Suppose -7*o + 47 = -j*o. Is 16 a factor of o?
False
Let o = 2217 + -1293. Is o a multiple of 42?
True
Let j be (-65)/(-25) - (-4)/10. Suppose -3*y - 5*s + s = -22, j*y + 5*s = 26. Is 2 a factor of y?
True
Let j = -119 + 167. Suppose -m = -5*v - 30, -4*m = -5*m - 4*v + j. Suppose 3*z - m = z. Is z a multiple of 7?
False
Suppose 4*m - 3*r + 55 = 0, -2*m - 8*r = -4*r. Let i(s) = -7*s - 23. Is 13 a factor of i(m)?
False
Suppose 0 = -r + 4*n - 0 - 5, n = -3*r - 41. Let h(b) = b**3 + 13*b**2 - 2*b - 17. Is h(r) a multiple of 4?
False
Is 60 a factor of 14 + -5 - -115 - 4?
True
Suppose 0 = -5*r, 10*n - r = 13*n - 6273. Is n a multiple of 41?
True
Let v be (5/10)/((-3)/(-222)). Suppose -3*n = -8 - v. Is n a multiple of 3?
True
Is 8 a factor of (182/3 + 5)/(3/9)?
False
Suppose 822 = -70*j + 3552. Does 32 divide j?
False
Let m(u) = -u**3 - 10*u**2 + 9. Let i be m(-10). Suppose 0 = i*a - 0*a - 540. Is a a multiple of 8?
False
Let q(k) = -24*k - 17. Let y be q(-13). Suppose 29*f + y = 34*f. Is 3 a factor of f?
False
Let l = 27 + 