 a + 4*p. Does 43 divide a?
True
Let d(a) = a**3 + 6*a**2 + 3*a + 2. Suppose 0 = -3*h + 2 - 14. Does 11 divide d(h)?
True
Suppose 5*q = 427 + 448. Is 35 a factor of q?
True
Let y(g) = 2*g**3 + 5*g**2 - 6*g. Is y(3) a multiple of 4?
False
Let a = 4 + -2. Suppose 2 = a*p - 2*g - 60, 130 = 4*p + 2*g. Is p a multiple of 16?
True
Suppose -4*x - 170 = -2*m, m - 24 - 61 = -4*x. Is 19 a factor of m?
False
Let a(b) be the third derivative of b**5/60 + b**4/24 - 7*b**3/6 + b**2. Is 7 a factor of a(-5)?
False
Let l be -42*2/4*1. Is 20 a factor of (-414)/l - (-2)/7?
True
Let z(n) = n - 10. Let x be z(10). Suppose x = 2*t, 0*r - r + t = -3. Suppose u - r*u + 14 = 0. Is u a multiple of 2?
False
Let x = -67 - -112. Is 15 a factor of x?
True
Let f = 256 - 94. Does 18 divide f?
True
Let s(j) = -j + 1. Let x(g) = -14*g - 9. Let o(p) = -4*s(p) - x(p). Let f(r) = 1. Let t(u) = -6*f(u) + o(u). Is t(1) a multiple of 14?
False
Suppose 0 = -4*d + 4*n - 28, n - 42 = 5*d + 3*n. Let a = 1 - d. Is a a multiple of 3?
True
Let s(r) = -r**3 - 2*r**2 - r. Let g be s(-2). Suppose -c - 2*l = -0*c - 13, 0 = -g*c + 4*l - 14. Is (4/c)/((-2)/(-9)) a multiple of 4?
False
Suppose 3*z + z + 5*v + 45 = 0, 5*z + 40 = -3*v. Let h = 0 - z. Is h even?
False
Let h = -125 - -63. Let s = 138 + h. Let i = 106 - s. Does 15 divide i?
True
Let k = -44 - -85. Is 17 a factor of k?
False
Suppose 2*f = 126 + 26. Is f a multiple of 4?
True
Let u(m) = -8*m - 4. Let b be u(-6). Suppose x - b = -x. Is x a multiple of 11?
True
Let s(a) = -a + 1. Let i(f) = -4*f + 5. Let k(o) = -i(o) + 3*s(o). Let j be k(4). Is (-256)/(-6) + j/6 a multiple of 19?
False
Does 10 divide (-4)/(-1)*5*2?
True
Suppose -4*y = -2*o + 4, 4*o - y + 3 = 32. Suppose 5*g + 5*t = 20, -o*g + 3*t + 20 = -3*g. Does 4 divide g?
True
Let m = -11 + 16. Is m a multiple of 2?
False
Suppose 0*j + 196 = 3*w - 2*j, -4*w + 243 = j. Is w a multiple of 17?
False
Let m = 17 - 8. Let u be 14/(-6) + 3/m. Is (-1 - 0/u)*-3 a multiple of 2?
False
Is 11 a factor of ((-28)/8 + 3)/((-2)/44)?
True
Let z(s) be the second derivative of -s**7/2520 + s**6/72 - s**5/24 + s**4/3 - 2*s. Let c(m) be the third derivative of z(m). Is c(6) a multiple of 13?
False
Let y(m) be the third derivative of -m**7/840 - m**5/20 + 4*m**2. Let t(z) be the third derivative of y(z). Is 11 a factor of t(-5)?
False
Suppose 3*r - 288 = -r - 4*h, 0 = 5*r + 3*h - 356. Is r a multiple of 14?
True
Let d(s) = 2*s + 0*s + 4*s - s**2. Let t be d(5). Suppose 0 = t*l - o - 56 + 3, -4*l + o + 42 = 0. Is l a multiple of 6?
False
Let d = -3 - -8. Let r be (16/(-10))/((-2)/d). Suppose -96 = -0*g - r*g. Does 12 divide g?
True
Suppose w = -5*w + 420. Is w a multiple of 38?
False
Let s be ((-9)/6)/(2/(-8)). Suppose -s = -o - o. Suppose -3*x + 104 = 4*i, -o*x + 108 = 4*i - x. Is i a multiple of 16?
False
Suppose -9 = -4*c + 15. Let b = c + -4. Suppose 3*h - 56 = -2*n, 2*n + 4*h = -b*n + 120. Does 17 divide n?
True
Let g(m) = m**3 + 6*m**2 - 2*m + 10. Let t be g(-7). Let f be (-52)/(-10) - (-5)/t. Is (42/(-10))/((-1)/f) a multiple of 8?
False
Suppose 0 = -4*m + 13 + 3. Suppose 4*l + 4*a = m, 4*l - 3*a + 24 = -0*a. Is (-44)/l - (-8)/(-12) a multiple of 14?
True
Let j(o) = o + 2. Let t(c) = -c + 2. Let w be t(-8). Is 12 a factor of j(w)?
True
Suppose 140 - 12 = 4*u. Suppose 20 = 5*o - 2*z - u, 3*o + 5*z = 25. Is 4 a factor of o?
False
Suppose 12 - 2 = o. Suppose -3*u + 1 = -2*g, 0 = u - 5*u + 3*g + 1. Let d = o - u. Does 7 divide d?
False
Let k(h) = h**2 - 5*h + 4. Let o be k(5). Suppose -q - 17 = -o*t, 3*q = -2*t + 6 - 1. Is 17 a factor of (1 + 63/12)*t?
False
Suppose -9*j = -4*j - 180. Does 3 divide j?
True
Is (-1180)/(-6) + (-38)/57 a multiple of 40?
False
Suppose o - 4*g = 84 - 8, 0 = -o - 2*g + 58. Is o a multiple of 6?
False
Let d(w) = w**2 - 10*w + 6. Let s be d(5). Let t = 28 + s. Does 4 divide t?
False
Let s = 122 + -59. Let r = 0 - -43. Let v = s - r. Is v a multiple of 7?
False
Suppose 0 = n + 4*n - 4*m - 375, -m = 0. Does 25 divide n?
True
Let o = -228 + 389. Suppose o = 2*w - 17. Does 24 divide w?
False
Suppose 3*a = -2*a - 15. Is (-1)/a + 172/6 a multiple of 8?
False
Suppose 5*b + y - 10 = 0, 2*y = -b - 3*y + 26. Let v(t) = 30*t. Is v(b) a multiple of 15?
True
Suppose 3*g + 4*n = 3 - 22, 0 = n - 2. Suppose 4*x = -0*x - 4*i + 84, -3*x = 5*i - 69. Let r = x + g. Is 9 a factor of r?
True
Suppose 17*p - 20*p + 378 = 0. Is p a multiple of 30?
False
Let j = -6 + 5. Let w = 1 - j. Is 12 a factor of (w/(-4))/((-2)/96)?
True
Let p(b) = -b - b**2 - 4*b + 13 + 6*b. Does 13 divide p(0)?
True
Let w = -150 + 240. Is 15 a factor of w?
True
Let x = -99 - -492. Does 23 divide x?
False
Let y(f) = -2*f**2 - 2*f + 2. Let d be y(2). Does 4 divide d/(-3)*(-9)/(-6)?
False
Let c be 0/(2/(1 + -3)). Let l(i) = 11 - 2 - 3 - 5*i + 6*i. Does 3 divide l(c)?
True
Suppose -9*s + 138 = -3*s. Is s a multiple of 11?
False
Let p(g) = -7*g**3 - 3*g + 5. Let q be p(2). Suppose -5*j - 86 = 5*l - 526, -3*j = -2*l + 166. Let v = q + l. Is v a multiple of 15?
False
Let h be ((-20)/3)/((-1)/3). Suppose -3*u + 5*v - h = 0, -2*u - 4*v - 38 = u. Is u/(-8)*(9 + 3) a multiple of 7?
False
Let d = 104 - -30. Is 21 a factor of d?
False
Suppose -2*f + 19 = -3*r + 4, 5*r = -2*f - 25. Suppose -u = -q + 57, 0 = -f*u + 4*u - 12. Let l = 95 - q. Does 12 divide l?
False
Let i(a) = a**3 + a**2 - a. Let y be i(1). Let p be (-2)/((3 - y) + 0). Is 18 a factor of ((-18)/5)/(p/5)?
True
Let o = 145 + -37. Does 18 divide o?
True
Let d(z) be the third derivative of -z**4/24 + 5*z**3/6 + 3*z**2. Let a be d(-4). Is (4/12)/(1/a) a multiple of 3?
True
Let d(n) = -3*n - 7. Let t be d(-5). Let k = t - -3. Is 11 a factor of k?
True
Let s = -41 + 78. Suppose 5 = 5*g, -s = -l - l - 3*g. Let j = l + -6. Is j a multiple of 11?
True
Suppose -4*s = -5*h - 188, -2*s + 4*h + 6 + 94 = 0. Is 7 a factor of s?
True
Let m be (-1)/3 - (-30)/9. Suppose -148 = -m*y + 41. Let l = -31 + y. Is 13 a factor of l?
False
Suppose 0 = -5*x + 41 + 34. Suppose -3*p = 2*d - x, d + 18 = 4*d + 3*p. Suppose -o + 6 + 7 = 2*k, 0 = d*o + 3*k - 36. Is o a multiple of 11?
True
Suppose -2*y = -3*m + 26, 0 = -m + 3*y + 3 + 8. Let j = -5 + m. Is j a multiple of 3?
True
Suppose 3*m + 2*o - 19 = 0, -24 = -3*m - 0*o - 3*o. Suppose -3*a + 26 = d + 2*a, 5*a = -m*d + 58. Is 10 a factor of d?
False
Suppose -2*g - 2*g = -384. Is 16 a factor of g?
True
Let h(x) = 35*x - 2. Does 11 divide h(1)?
True
Let c(l) = l**2 - 1. Let k be c(1). Let h be 45 - (-1 - 1 - 0). Suppose k*b - z = 2*b - 35, 5*z = -2*b + h. Is 16 a factor of b?
True
Let f = 0 - -1. Let s be 0/((f + -2)/1). Suppose -58 = -2*m + 5*t, -24 = -m + 5*t - s. Does 17 divide m?
True
Let w be ((-12)/(-10))/((-14)/(-385)). Does 6 divide 156/11 + (-6)/w?
False
Let a(p) = -p**3 - 4*p**2 + 0*p**2 - 2*p**2 - 2 + 6*p. Let o be a(-7). Suppose -17 - 48 = -o*j. Is 10 a factor of j?
False
Suppose -m + u + 37 = 0, 4*m + 0*u - 130 = -5*u. Is 4 a factor of 7/m - (-39)/5?
True
Suppose 3*i + 16 = 5*p, i = -5*p + 3*i + 14. Suppose -3*c - p*c - 45 = 0. Does 12 divide (-1)/3 - 327/c?
True
Suppose 1 = k + 4. Let y = 21 - k. Is 8 a factor of y?
True
Suppose 0 = x + 3*x - 8. Let r(d) = -3*d + x*d - 4 - 5*d. Does 16 divide r(-6)?
True
Suppose -36 = 2*a + 4*m, 2*m - 1 = 1. Let h = a + 34. Is 7 a factor of h?
True
Let c = -4 - -9. Suppose -4*o + c*r - 23 + 143 = 0, r - 60 = -2*o. Does 9 divide o?
False
Let p(h) = h**3 - h**2 - 3*h + 3. Let z be p(3). Suppose 0 = m - 5*m + z. Is m a multiple of 3?
True
Is 9 a factor of (-3165)/(-10)*(22/6 - 3)?
False
Suppose 0 = 5*q + 10 - 0. Let r = q - 1. Let y(s) = s**3 + 3*s**2 - 2*s + 4. Does 4 divide y(r)?
False
Let g = 19 + 11. Is g a multiple of 6?
True
Let f(c) = c**3 + 4*c**2 + 2. Let k be f(-3). Suppose -4 = -3*l - l, 0 = 2*v - 5*l - k. Is 5 a factor of v?
False
Let m(q) = -q**2 + 3*q + 2. Is 2 a factor of m(2)?
True
Suppose 2*y - 92 = 96. Is 16 a factor of y?
False
Let w(d) = -d**2 - 6*d + 4. Let j be w(-7). Let k be 3 + -1 + -14*1. Is 7 a factor of k*((-16)/j)/(-4)?
False
Suppose y - 45 = 3*t, -4*t + 206 = 3*y + 2*y. Does 15 divide y?
False
Let h(p) = 2*p**2 - 7*p + 5. Is h(4) even?
False
Is 14 a factor of 0 - 0 - (-4160)/20?
False
Let a(l) = -6*l - 8. Does 10 divide a(-8)?
True
Let k be -2*2/4*4. Let f = k - -4. Is f + 2 + -4 + 19 