a = 1 + 7. Is d a multiple of 12?
True
Suppose -r - 9 = 2*r. Suppose -j = -3*q - 7, -5*j + 0*q + q + 91 = 0. Let n = j - r. Is 10 a factor of n?
False
Let p(v) = 3*v - 1. Let t be p(1). Let r = 7 - t. Suppose -f = i - 0*f - 21, -r*i = -3*f - 137. Is 9 a factor of i?
False
Suppose 6*r = -0*r + 234. Does 10 divide r?
False
Let k = 21 + 2. Suppose 3*y + 5*m - 8 = 0, -y - 2*y - 2*m = -k. Does 11 divide y?
True
Let t(d) = d + 0 + 5 - 4*d. Let n(p) = p**2 - 9*p + 8. Let m be n(7). Does 10 divide t(m)?
False
Suppose 3*z = -6*d + d + 150, 0 = -d + z + 22. Let n = 41 - d. Is 14 a factor of n?
True
Let i be (-5)/(-25) - (-89)/5. Suppose i - 75 = -s. Is 19 a factor of s?
True
Let t be -2 - -1*(-1 - -65). Let d be 3*2/6 + 1. Suppose 0*j - t = -d*j. Does 11 divide j?
False
Suppose 24 = 2*p + 4. Let f = p - 47. Does 17 divide (-8)/(-3 + f/(-13))?
False
Suppose 2*s = 100 + 40. Let k = -28 + s. Is k a multiple of 21?
True
Suppose 0 = -4*g + 5*m - 4319, 5*g = 4*m - 2007 - 3403. Is g/(-14) + (-21)/(-49) a multiple of 13?
True
Let u = 114 - 54. Suppose -90 = -5*i + u. Is 10 a factor of i?
True
Let d(h) = h**3 - 4*h**2 - 4*h - 3. Let y be d(5). Suppose 2*f = 3*v + y*v - 58, -f = -2*v + 24. Is 8 a factor of v?
False
Let n = 18 - -14. Is 8 a factor of n?
True
Suppose 0*h = -6*h + 132. Does 2 divide h?
True
Does 39 divide 113 + 1*(-2 - -6)?
True
Let s be ((-9)/3)/(-1 - 0). Suppose -4*u + 3*d + 28 = 0, -s*u - 4*d = -2*d - 4. Does 4 divide u?
True
Let t = 179 + -123. Does 14 divide t?
True
Let t(l) = l**3 - 7*l**2 + 2*l + 8. Let x(v) be the first derivative of -v**2/2 + 2. Let q be x(-7). Does 12 divide t(q)?
False
Suppose -12 = -o + 39. Is o a multiple of 17?
True
Suppose -a + 53 = 4. Is 3 a factor of a?
False
Suppose -4*s + 8*s + 84 = 0. Is 13 a factor of (0 + s/9)*-18?
False
Let o = 107 - 44. Is 21 a factor of o?
True
Suppose -30*b = -32*b + 420. Does 14 divide b?
True
Let n(b) = -b**3 - 2*b**2 + 7*b + 2. Is 14 a factor of n(-5)?
True
Suppose -o + 5*o - 8 = 0. Suppose -o + 4 = w. Suppose 28 = 4*u - 2*u - 2*j, -w*j = 2*u - 16. Is 7 a factor of u?
False
Let k(q) = q**2 - 11*q + 13. Is k(13) a multiple of 13?
True
Suppose 0 = -3*h - 0 + 48. Is 13 a factor of h?
False
Let s(r) = 7*r**3 + 5*r**2 - r + 1. Let t(d) = d**3 + 2*d**3 - 2*d**3 + 0*d**2 - d**2. Let y(l) = s(l) + 6*t(l). Does 12 divide y(1)?
True
Let i = -60 + 114. Does 10 divide i?
False
Let q(h) = -h**3 - 6*h**2 + 6*h + 9. Let t be (-33)/5 + (-8)/20. Let s = t + 0. Is 16 a factor of q(s)?
True
Suppose 8*h = 4*h + 120. Is h a multiple of 2?
True
Let f(h) be the first derivative of h**3/3 - 3*h**2 + 3*h + 1. Is f(7) a multiple of 10?
True
Suppose 2*n + 3*n = 70. Let a = 37 + -10. Let z = a - n. Is 5 a factor of z?
False
Let z be (-3)/(-1) - (-9)/(-3). Let o(j) = j**3 - j**2 + 4. Let y be o(z). Suppose 3*i - 4*d - 120 = -i, y*d = -3*i + 55. Is 10 a factor of i?
False
Suppose 3*a = -4*u + 110, -3*u + a - 85 = -6*u. Suppose -4*p + 35 + u = 0. Is p a multiple of 6?
False
Let s = 26 - -50. Let w be 3/(1*6/(-92)). Let g = w + s. Is 15 a factor of g?
True
Let w(p) = p**2 + 18*p - 10. Does 15 divide w(7)?
True
Suppose 73 = 2*j - 9. Let l = 75 - j. Let f = -21 + l. Is 13 a factor of f?
True
Suppose 0*q + 2*q = 2. Let d(w) = 26*w. Does 7 divide d(q)?
False
Suppose 0 = 5*g - 1 - 9. Let v = 16 + g. Does 6 divide v?
True
Let x = 80 + -20. Is x a multiple of 20?
True
Let z(u) = -8*u - 1. Let y be z(-1). Suppose i - 4*c = 0, y + 2 = i + 5*c. Suppose 0*r + 96 = i*r. Is r a multiple of 8?
True
Suppose -3*z = 2*z - 155. Let o be (-3)/(-4) - (-94)/(-8). Let n = z + o. Does 8 divide n?
False
Suppose -12*v + 102 + 114 = 0. Is v a multiple of 18?
True
Suppose -4 = -4*y - 28. Let j be (8/y)/((-4)/6). Suppose -3*m + 31 = j*c - 9, -64 = -3*m + 4*c. Does 8 divide m?
True
Let g(a) = -a**3 - 11*a**2 - 3*a + 11. Is 9 a factor of g(-11)?
False
Suppose 69 = 3*n + 4*p, 3*n - 5*p - 66 = -10*p. Does 3 divide n?
True
Suppose 152 = l + 3*l. Suppose -3*p + 52 = -l. Is 10 a factor of p?
True
Let a(t) = -17*t**3 - 2*t**2 - t. Let p be a(-2). Suppose 2*k = -3*k + p. Does 13 divide k?
True
Suppose -m = 2 - 5. Let t(n) = -m*n**2 + 1 + 27*n**2 + 4*n**2. Does 19 divide t(-1)?
False
Suppose o - 9 = 3. Is 4 a factor of o?
True
Suppose 3*y + 3*p + 36 = 0, 5*y = 3*p - 4*p - 40. Let w = 49 - y. Does 28 divide w?
True
Let n(b) = b**3 + 12*b**2 + 9*b + 12. Let s be n(-11). Let q = -5 + s. Suppose -4*t + 141 = q. Does 18 divide t?
False
Suppose -w - 7 = -5*o + 17, 5*w = -20. Suppose -2*d + 25 = -7*k + 2*k, o*d - 26 = 2*k. Does 5 divide (k/(-4))/((-1)/(-20))?
True
Let k(v) be the first derivative of -1/4*v**4 + 3 + 3/2*v**2 + 5*v - 5/3*v**3. Is 10 a factor of k(-6)?
False
Suppose 0 = 5*d - 19 - 1. Suppose -d*l + 47 = -145. Is l a multiple of 19?
False
Let c(g) = 0*g**2 - 3*g**2 - 4 - 2*g**2 + 5*g + g**3. Let y be c(4). Suppose 5*v = -y*v + 30. Does 3 divide v?
True
Let i = 56 + -34. Is 11 a factor of i?
True
Suppose 0 = -4*u - 2*h + 98, -4*u + 3*h + 47 = -56. Is 4 a factor of u?
False
Let y(u) = -u**3 - 7*u**2 - 6*u - 6. Let n be y(-5). Let q = n - -6. Let x = 31 + q. Is 11 a factor of x?
True
Let a = -11 + 16. Let z be (2 - (-2 - -5))*-5. Let v = a + z. Is 10 a factor of v?
True
Suppose 5 + 7 = 4*i. Suppose -5*g = -i*c - 0*g, -2*g - 4 = -2*c. Is c even?
False
Let d(b) = -b**3 - 5*b**2 - 6*b - 4. Let l be d(-4). Let s = 12 + -12. Let g = l - s. Is 2 a factor of g?
True
Suppose -3*n = 2*r - r + 17, -2*n - 2*r = 14. Let j = 11 + n. Is 2 a factor of j?
True
Let b = 3 - -1. Let u = 7 - b. Is 9 a factor of ((-40)/6)/((-2)/u)?
False
Suppose -3*m + 344 = 20. Is m a multiple of 18?
True
Let m = 6 + -1. Suppose 17 - 42 = -m*l. Suppose 0 = -2*x - 10 + 4, -o - l*x = -4. Is 7 a factor of o?
False
Let i(n) be the second derivative of 2*n - 1/3*n**4 + 1/2*n**3 + 1/20*n**5 - 2*n**2 + 0. Does 7 divide i(4)?
False
Suppose -6*p + 3*p + 54 = 0. Let o = p - 10. Is o a multiple of 4?
True
Suppose 3*g - 89 - 60 = -j, j + 251 = 5*g. Does 8 divide g?
False
Suppose -2*h + 4*r + 5119 = 967, -4*r + 4160 = 2*h. Let p be (-2)/8 + h/(-8). Is p/(-36) + (-4)/18 a multiple of 3?
False
Suppose 1 - 7 = -3*n. Let v(z) = 3*z**3 - 3*z**2 - 3. Let r be v(3). Suppose n*u + u = r. Does 11 divide u?
False
Let q(r) = -r**3 + 17*r**2 + 2*r + 4. Let y be q(10). Let m be 14*(-3 + (8 - 3)). Is 19 a factor of 8/m - y/(-14)?
False
Suppose -4*v = 3*n - 115, 0 = 2*v + n + 3*n - 60. Suppose 11*l - v = 7*l. Is 4 a factor of l?
False
Let r = -51 - -75. Is 18 a factor of 2/16 + 429/r?
True
Suppose -2*r - 100 = -4*t, 287 - 52 = -4*r + t. Let j = -31 - r. Is 8 a factor of j?
False
Suppose 0 = -5*w - 0*w - 3*n + 1347, -2*w - 4*n + 550 = 0. Is w a multiple of 43?
False
Suppose 3*l - 13 - 2 = 0. Suppose 2*x - l*j - 16 = 0, -2 = x - 0*j - 5*j. Is 9 a factor of x?
True
Let y be 1/(2/4) + 0. Suppose 5*h = y*h + 21. Is 7 a factor of h?
True
Let w(d) = -d**3 + 22*d**2 - 20*d + 23. Does 7 divide w(21)?
False
Suppose 7*m - 78 = 5*m. Does 13 divide m?
True
Suppose -b - 9 = 2*b. Let v(s) = -s**2 - 6*s + 3. Let l be v(b). Suppose 0 = -3*w + 126 + l. Is w a multiple of 18?
False
Let y = -21 - -41. Is 4 a factor of y?
True
Let g = -102 + 173. Does 10 divide g?
False
Suppose 3*d + 0*t = -2*t + 86, 4*d = -4*t + 116. Is d a multiple of 14?
True
Let n(p) = -p**3 - 7*p**2 + 8*p + 12. Is 3 a factor of n(-8)?
True
Does 11 divide 21 - (1 + (-9)/(-3) + -5)?
True
Let n(d) = d**2 + d - 4. Let m be n(8). Suppose -2*o = -6*o + m. Suppose -77 = -2*v - o. Is 11 a factor of v?
False
Let o be ((-154)/(-21))/(4/90). Is (-22)/o - 497/(-15) a multiple of 11?
True
Let n be (-4)/10 - 56/10. Let c = -112 - -110. Is 6 a factor of c/n - (-188)/12?
False
Let k = 5 + -3. Suppose 2*s = k*o + 20, -5*o + 2*o - 14 = s. Is o/27 + 600/27 a multiple of 11?
True
Suppose -3*v + 2*v - 3*g - 3 = 0, -3*g = 5*v - 45. Is v a multiple of 2?
True
Let k(a) = a**2 + 11*a + 3. Let u be k(-5). Let v be 34/9 + (-6)/u. Suppose 41 = 3*r - v*q, -2*r - q = -0*r - 20. Is 5 a factor of r?
False
Suppose -3*d = -6*d + 15. Suppose -32 = -d*h + 3. Is h a multiple of 4?
False
Let o be 26/5 - (-2)/(-10). Suppose -o - 3 = 2*s. Is 4 a factor of (s/2 + 0)*-4?
True
Let g = -60 - -80. Is 7 a factor of g?
False
Let y(j) = j + 5. Let u be y(-5). Suppose 5*z - 11 = -u*v - 4*v, -17 = -4*z + 5*v. 