 v a multiple of 8?
False
Let q(a) = -9*a + 3. Let t be q(-3). Let r(k) = -5*k + 4. Let v be r(4). Let c = t + v. Does 7 divide c?
True
Let k(j) = -j**3 - j**2 + 2*j + 2. Let c be k(-2). Let t = c - -2. Does 4 divide t?
True
Let t(f) be the first derivative of f**4/4 - 4*f**3/3 + 3*f + 3. Let r be t(4). Is -2 + r/3 - -20 a multiple of 11?
False
Let y(d) = -11*d - 6. Let u = -3 + 4. Let r be -10*u*(-3)/(-6). Is 20 a factor of y(r)?
False
Let d = -9 + 3. Let a be 0*2/d + 2. Suppose 0 = a*p - 16 + 4. Is p a multiple of 6?
True
Is 6 a factor of ((-28)/(-3))/(14/21)?
False
Let u = 710 - 440. Is 41 a factor of u?
False
Suppose 0 = -2*o + 2*m + 2*m + 40, -5*o - 3*m = -126. Let l = 38 - o. Does 6 divide l?
False
Let m(q) = 18*q - 11. Is 8 a factor of m(5)?
False
Let v = 11 - 5. Let l(u) = u**2 - 14*u + 7. Let n(b) = -b**2 + 15*b - 7. Let z(i) = -5*l(i) - 4*n(i). Is z(v) a multiple of 8?
False
Suppose 2*o - 740 = -o - 5*w, -2*w = o - 248. Suppose -4*h - 5*q + o = 0, 0 = -3*q + 1 + 11. Suppose 4*f = -f + h. Is f a multiple of 10?
False
Suppose -5 = -6*k + 175. Is 15 a factor of k?
True
Let b = 17 - 9. Is 16 a factor of 186/b - (-33)/44?
False
Let s = 14 + -10. Suppose 0 = 2*t + 3*l - 57, 0*l = -s*t + 5*l + 125. Does 18 divide t?
False
Let s = 14 + 7. Suppose -v = -76 + s. Let n = v + -38. Is 5 a factor of n?
False
Let o(y) = 4*y**2 - 6*y + 11. Is o(5) a multiple of 27?
True
Let p(b) = -4*b**3 - b**2 - b. Let k be p(-1). Suppose r = k*r. Suppose r = -0*j + 2*j - 46. Is 9 a factor of j?
False
Does 8 divide (5 - -3)/((-3)/(-12))?
True
Suppose 2*z + 2*d - 6 = 0, 0 = 4*z - d - 0*d - 27. Let v = z - -8. Is 7 a factor of v?
True
Let l be (2 + (-165)/6)*-2. Suppose -3*q - 2*k + 24 = -6*k, -3*k - l = -5*q. Is q a multiple of 6?
True
Let l(o) = 2*o**2 + 13*o - 8. Let i be l(-13). Suppose -2*f + 3*d - 55 = -i, -4*f + 3*d + 206 = 0. Is f a multiple of 16?
False
Suppose -5*r = -l - 507, r - 107 = 3*l - 0*l. Does 29 divide r?
False
Let n(r) be the second derivative of -r - r**2 + 3/20*r**5 + 1/4*r**4 + 0 + 0*r**3. Is n(2) a multiple of 13?
False
Let x = -25 + 41. Let s = 26 - x. Does 10 divide s?
True
Suppose 0 = -3*i + 3*g + 3, -3*i - i + 2 = -2*g. Let t = 11 + i. Does 11 divide t?
True
Is (-410)/(-14) + (-10)/35 even?
False
Let t = -75 - -127. Is 13 a factor of t?
True
Let t = 81 + -76. Let g(n) be the third derivative of n**4/12 - 2*n**3/3 - n**2. Is g(t) a multiple of 3?
True
Is 741/6 - (-12)/(-8) a multiple of 26?
False
Does 15 divide (-12)/42 + 1703/7 + -3?
True
Suppose 4*z + 14 - 6 = 0. Is 8 + ((-6)/z)/3 a multiple of 7?
False
Let c(k) = k**2 + 2*k + 7. Let t be c(-6). Suppose -3*f + t = -2*i + 3*i, 2*i - 42 = -4*f. Does 13 divide 13*5/(f/4)?
True
Let j = 40 + -25. Is 5 a factor of j?
True
Let o = 199 + -110. Let r = o + -61. Does 14 divide r?
True
Let f(i) = 2*i**3 + 2*i**2 - 2*i. Is f(2) a multiple of 5?
True
Let k = 7 - 4. Suppose 11 = h - 0*h + k*u, 2*h - 37 = -3*u. Does 13 divide h?
True
Suppose -3*v + 5*d + 232 = 0, -d - 175 = -5*v + 241. Is 14 a factor of v?
True
Let p = 168 - 115. Is p a multiple of 16?
False
Let d be (1 - 0)*(-92)/(-4). Suppose 5*z = -d + 313. Is z a multiple of 16?
False
Let w = 1 - -13. Suppose -3*t + 4*t - v = w, 0 = 2*t + 5*v. Does 9 divide t?
False
Let r(v) = v**2 - 1. Does 15 divide r(-4)?
True
Let t(l) = l**2 - 2*l. Let k be t(-2). Suppose -4 = 7*w - k*w. Is 4 a factor of w?
True
Let l(i) = 3*i**3 + 12*i - 7. Let r(d) = -d**3 + d**2 - d. Let u(g) = -l(g) - 4*r(g). Let a be u(5). Let f = a + 11. Is 3 a factor of f?
True
Let m(l) = l**3 + 2*l. Let f = 6 + -3. Let v be m(f). Suppose 4*g - 103 - v = 0. Is g a multiple of 13?
False
Is 36 a factor of ((-48)/14)/(40/(-420))?
True
Suppose 73 = -a + 217. Is 36 a factor of a?
True
Let q be 2 - (-1 - -1 - 1). Suppose 3*n + 2*n = -5*o + 35, 5*n = o + 23. Suppose -q*k + n*k - 32 = 0. Is k a multiple of 8?
True
Suppose -13 + 101 = 4*j. Suppose -j - 52 = -2*k. Does 8 divide k?
False
Suppose -3*f = -214 - 74. Is f a multiple of 12?
True
Suppose a + 15 = -3*o, -5*o = -0*o - a + 33. Let f(z) = -z**3 - 7*z**2 - 2*z + 7. Let k be f(o). Let y = k - -35. Does 9 divide y?
True
Suppose -2*r - r = -18. Suppose 0 = 4*w - 5*w + r. Does 3 divide w?
True
Suppose -12*q = -112 - 800. Is q a multiple of 44?
False
Suppose -1 = -3*b + 14. Is -1 + b - (1 + -1) a multiple of 4?
True
Let z be (-38)/6*-1*3. Let g = z - 9. Does 6 divide g?
False
Is (-604)/(-8) + (-3)/6 a multiple of 12?
False
Let h = -53 + 27. Let p(f) = -16*f**3 + 1. Let s be p(1). Let q = s - h. Is q a multiple of 10?
False
Let x be -1 - (1 + -2 + 0). Suppose -205 = -x*s - 5*s - 5*y, 0 = 2*y. Is s a multiple of 11?
False
Suppose 0*q - q = -66. Is 22 a factor of q?
True
Suppose 105*i - 108*i = -36. Does 6 divide i?
True
Suppose 2*q - 2 = 0, 3*x = -2*x + 5*q + 165. Does 10 divide x?
False
Suppose -4*d + 165 = -d. Does 11 divide d?
True
Suppose -6*s + 431 = -2*s + d, 0 = 3*s - 2*d - 326. Is 36 a factor of s?
True
Let a = 15 - 3. Is a a multiple of 4?
True
Let c(a) = 2*a - 6. Let t be c(5). Suppose 60 + 8 = t*v. Is 8 a factor of v?
False
Let f be 2/(-4) + 1/2. Suppose f = -0*r + 3*r. Is 10 a factor of -2 - (r - -32)*-1?
True
Let b(a) = a - 9. Let n be b(6). Let w(c) = 0*c + 2*c - 4*c + 4. Is 8 a factor of w(n)?
False
Is (-2)/6 + 313/9*3 a multiple of 8?
True
Let m = -74 + 257. Does 24 divide m?
False
Let v be 4/3*(1 - 4). Is (1/3)/(v/(-168)) a multiple of 7?
True
Let w(x) = x**3 + 3*x**2 - x - 1. Let g be w(-3). Suppose 50 = 4*v + 5*o + 14, -3*o = 3*v - 27. Let q = v + g. Is q a multiple of 11?
True
Let v(n) = -n**2 + 4*n - 4. Let q be v(6). Let k = 22 + q. Is k a multiple of 6?
True
Let o be 736/10 + (-4)/(-10). Suppose -g = -4*g + 4*q + o, -2*q + 68 = 2*g. Suppose 2*c - 5*c = -g. Does 10 divide c?
True
Suppose 2*p = -5*o + 15, 2*p + p = -4*o + 12. Suppose p = -0*x - 2*x + 100. Is 13 a factor of x?
False
Let l(y) = -11*y. Let c be l(2). Let q = 31 + c. Is 9 a factor of q?
True
Let g = -10 - -7. Is 3 a factor of (-1 - g)*12/8?
True
Suppose 5*t + 11 = 6*t. Let o = 2 + t. Does 13 divide o?
True
Suppose -12 = 4*s - 7*s. Suppose 4*g - 4 - 16 = 0, 2*p = g + 1. Suppose -29 = -p*w + 2*c + 82, -3*w - s*c = -129. Is 13 a factor of w?
True
Suppose 4*t - 60 = -u, -65 = -u - 4*t - t. Is 10 a factor of u?
True
Let a(x) = 2 + 17*x - 9 + 3*x**2 - 19*x. Is 18 a factor of a(-4)?
False
Let o = 118 + -100. Is o a multiple of 3?
True
Is 26 a factor of (104/(-65))/(2/(-85))?
False
Let b(w) = -w**3 + 3*w**2 + 22*w - 4. Is 47 a factor of b(-6)?
True
Suppose 0 = 4*h - 16, -4*v = 2*h - 5*h - 8. Suppose -2*a - 80 = 4*j, v*a + 2*j - 11 = -171. Does 14 divide -3*(-4)/(-6) - a?
True
Let t(s) = -1 + 2 + 14*s + 0 + 15*s. Is t(1) a multiple of 9?
False
Let g(y) = 2*y**2 + 6*y + 1 - 7 - 2*y. Let a be g(-7). Suppose 0 = -3*o - 2*u + a, 5*o + 4*u - 95 = 3*u. Does 11 divide o?
False
Suppose -2*v = 9 - 1. Let u be (-2)/v + (-54)/(-4). Is 16 a factor of 4/u - 194/(-7)?
False
Suppose -4*f + 2 = -2. Is 5 + -1 + 2/f a multiple of 6?
True
Let k be (-282)/(-54) + (-2)/9. Suppose -3*m + 4*m = -z + 7, k*m + z = 39. Is m a multiple of 8?
True
Suppose 4*v - 3*m = 605, -5*v - 3*m - 242 + 1005 = 0. Let y be (-1)/2 + (-633)/(-6). Let s = v - y. Is s a multiple of 16?
False
Suppose 4*c - 24 = v, 3*c + v - 18 = -v. Is c even?
True
Let t(v) = v - 1. Let m be t(5). Let y(j) = 0*j**2 - 11*j - 5 - m*j**2 + 3*j**2. Is y(-4) a multiple of 8?
False
Suppose 0 = 2*o + 2 + 4. Let m(j) = j**2 + j + 4. Is 10 a factor of m(o)?
True
Let m(z) = 14*z - 10*z**2 + 0*z**3 + 4*z**3 + 0*z**2 - 3*z**3 - 9. Is 12 a factor of m(9)?
True
Suppose -5*t - 2*m - 29 = -328, -t + 73 = -4*m. Is t a multiple of 27?
False
Is -19*(-2)/4*38*1 a multiple of 50?
False
Suppose -5 = 4*q - 21. Is q a multiple of 2?
True
Let f be (-1 + 2)*(-20)/(-5). Suppose i + f = -1. Let u = i + 14. Is 8 a factor of u?
False
Suppose -395 = -5*a - 11*s + 6*s, 59 = a - 4*s. Let c be 46*(3 + 0)*2/(-6). Let l = c + a. Is 8 a factor of l?
False
Suppose -3*y - 5*h = 19, 2 = 5*y + 3*h + 7. Suppose y*j + 0*j = 70. Does 16 divide j?
False
Suppose 27*h = 23*h + 96. Is 8 a factor of h?
True
Is 11 a factor of (224/128)/(87/(-88) - -1)?
True
Let w = 2 + -3. Let m(s) = 3*s**3 - 9*s**2 + 2*s + 2. Let f(q) = -q**3 + q**2 - 1. Let g(l) = w*m(l) - 4*f(l). Is 9 a factor 