 a multiple of 8?
False
Let m(z) = 5*z**3 - z**2 + 4*z. Does 11 divide m(2)?
True
Let j be 1 + -2 - (-1 + 3). Let b(d) = -d**2 - 5*d - 10. Let x be b(-5). Let m = j - x. Is 2 a factor of m?
False
Does 7 divide 255/12 - 2/8?
True
Let o(f) = -4*f - 12. Is 16 a factor of o(-7)?
True
Let k(q) = 2*q**2 - q + 2. Let z be k(-5). Is 0 + 1 + -4 + z a multiple of 20?
False
Let r = 22 - -68. Is 6 a factor of r?
True
Suppose 252 = 4*j - 72. Is 27 a factor of j?
True
Let w(y) = 5 + 7*y + y**2 + 4 + y - 2*y**2. Let u be w(8). Is 7 a factor of (6/u)/((-6)/(-207))?
False
Let i(a) = a**2 + 3*a + 4. Is i(-6) a multiple of 15?
False
Suppose 2*p + 3*p - 23 = -v, 5*p = 0. Let m = 47 - v. Does 10 divide m?
False
Suppose 0*h + 4*h - 126 = -5*j, 3*j - 2*h - 58 = 0. Let t = j + -10. Let b = 21 - t. Is 4 a factor of b?
False
Let b(v) = v + 4. Does 12 divide b(8)?
True
Let p = -1 - -23. Let t = p + -13. Suppose -t - 121 = -5*l + 4*i, 5*i - 41 = -3*l. Does 14 divide l?
False
Let w(x) = 5*x + x**2 + 2*x + 9 - 3. Let t be w(-7). Suppose 0 = -t*c + c + 70. Does 7 divide c?
True
Suppose 168 = 6*t - 120. Is 16 a factor of t?
True
Let s(a) = -a**3 - a**2 + a + 2. Suppose -5*y - 12 = -2. Let i be s(y). Suppose -173 = -i*p - 21. Does 19 divide p?
True
Let r(a) = a**2 + 7*a + 6. Let s be r(-7). Is 5 a factor of (-146)/(-10) - s/(-15)?
True
Suppose 5*t - 246 = -41. Let n = 41 - -16. Let f = n - t. Does 16 divide f?
True
Let x(y) = y**2 - 17*y - 30. Is x(20) a multiple of 7?
False
Suppose 4*g - 4*x - 216 = 0, 6*g - x = g + 274. Is 13 a factor of g?
False
Suppose 2*h + 57 = 5*h. Suppose 0 = 3*c - 2*i - h, -i - 11 - 2 = -2*c. Let v = c + 25. Is v a multiple of 11?
False
Let u(w) = 0*w + 0 + 5*w**3 + 3*w - 1. Does 15 divide u(2)?
True
Let g(r) = r**2. Let f be g(0). Suppose -3*h + 5 + 7 = f. Suppose -h*d + 8*d - 120 = 0. Does 11 divide d?
False
Let l(y) = y + 6. Let z be l(-4). Suppose -z*q - 4 = -12. Let r = q - -12. Does 12 divide r?
False
Let q = -4 - -5. Suppose 4*o = q + 31. Is o a multiple of 2?
True
Let w(n) = -n - 3. Let y be w(-6). Suppose -h + y = -2*h. Is (9/h)/((-2)/2) a multiple of 2?
False
Let t = 3 - 0. Let z(r) = -5*r + 1. Let j(y) = 15*y - 3. Let c(i) = 3*j(i) + 8*z(i). Is c(t) a multiple of 7?
True
Suppose -l - 3*l + 80 = 0. Is l a multiple of 20?
True
Let f(x) = x - 8. Let a be f(6). Is 11*(-1 + a)*-1 a multiple of 12?
False
Suppose 0 = 14*x + 95 - 1607. Is x a multiple of 8?
False
Suppose -3*c - 2*c = -120. Suppose -3*v = -2*k - 12, -2*k - 4 + c = 5*v. Does 3 divide v?
False
Suppose 6 = -5*i - 9. Let o be (-3)/((2 - -1)/i). Is (-1*27/o)/(-1) a multiple of 9?
True
Suppose 3*d = -14 - 10. Is (-3)/(9/3) - d a multiple of 3?
False
Let n(l) = -25*l + 1. Let t be n(1). Does 23 divide (-1)/(-3) + (-1264)/t?
False
Let l = 1 + -12. Let h = 15 + l. Is 4 a factor of h?
True
Does 2 divide (-1 - 0)/(8 - (-306)/(-38))?
False
Let d(r) = -9*r + 81. Is 21 a factor of d(-5)?
True
Let d = -10 + 19. Suppose -3*r + d = -0*r. Suppose -72 = -5*c + 2*u, -5*c + 64 = -r*u - u. Does 8 divide c?
True
Let s(o) be the second derivative of o**5/20 + o**4/12 + 19*o**2 + 4*o. Is 10 a factor of s(0)?
False
Let v(n) = n**2 + 6 + 0*n**2 - 4*n**2 - n**3 - 1. Let x be v(-4). Suppose -3*a + 6 = -x. Does 9 divide a?
True
Let u = 184 + -162. Is 22 a factor of u?
True
Suppose 5*j - 1076 = g + 271, 15 = 5*g. Suppose -5*s + 336 = p + p, j = 4*s + 2*p. Is s a multiple of 33?
True
Suppose -5*u + 2*y + 7 = 0, -5*y - 13 + 33 = 0. Suppose u*o - 2*o + 4*m - 24 = 0, -3*o - m + 83 = 0. Does 7 divide o?
True
Let f(z) = 4*z - 3 + 5*z - 3*z - 3*z. Let t be f(2). Suppose a + 6 = t*a. Is 3 a factor of a?
True
Suppose -3*f + f - 34 = 0. Let i = f + 34. Does 15 divide i?
False
Let o(w) = -26*w - 1. Let g be (-3)/(-3)*(2 + -3). Is 12 a factor of o(g)?
False
Suppose 0 = 5*w - 20, 3*g + 0*w = w + 356. Does 30 divide g?
True
Suppose 0 = -4*t - 16, 3*a + 3*t - 18 - 63 = 0. Suppose 3*l - a = 8. Does 13 divide l?
True
Suppose 1 + 1 = a. Suppose 0 = -5*k + a*k - 18. Is (18/8)/(k/(-80)) a multiple of 15?
True
Suppose 1 = x - 4. Suppose -x*r + 196 = -4*v, -2*r + v - 41 = -3*r. Is r a multiple of 13?
False
Suppose 3*m - 3*o = 1 - 7, -3*m - 2*o - 11 = 0. Let t be m - (-6)/1 - -2. Suppose 4*h - 4*q + 53 = 7*h, t*h - 77 = -q. Is 5 a factor of h?
True
Let q = -2 + 4. Suppose 0 = -3*o + 3*c - c - 5, 0 = 2*o - q*c. Is o/((-10)/(-4))*-9 a multiple of 10?
False
Does 20 divide ((-1)/2*-178)/1?
False
Is 4 a factor of (-18)/(-10)*(-60)/(-9)?
True
Let h = 9 + -9. Suppose z + 0*z - 8 = h. Is 8 a factor of z?
True
Let j = -52 - -177. Does 19 divide j?
False
Let s(m) = -m**3 - 8*m**2 - 10*m - 8. Let p be s(-7). Let k = 35 + p. Is k a multiple of 19?
False
Suppose -3*f - 13 = i, -f - f = 3*i + 18. Let u be ((-10)/i + -2)*14. Is 15 a factor of 30/4*(-3 + u)?
True
Suppose -15 = 4*f - 3. Let a be (-32)/(-3) + 2/f. Let p = 10 + a. Is 17 a factor of p?
False
Let z = -79 + 204. Is z a multiple of 25?
True
Let t = -39 + 93. Is 16 a factor of t?
False
Suppose 5*u - 2*h - 324 = -3*h, -5*h - 300 = -5*u. Is 8 a factor of u?
True
Let r = -49 + 152. Suppose -3*a + 2*a + 74 = 0. Let o = r - a. Is o a multiple of 13?
False
Suppose 20 = -4*x + 2*c - 7*c, -2*x + 5*c = -20. Suppose 4*t - 32 = -x*t. Is 4 a factor of t?
True
Is 14 a factor of (-6952)/(-104) - (-4)/26?
False
Let u(t) = t**2 - 3*t - 2. Let x be u(4). Suppose 5*m - 7 = -x*j, -4*m + 3*j = 2*j - 16. Does 13 divide 0 + 26/6*m?
True
Let l = 395 - 203. Does 48 divide l?
True
Let w(u) = -3*u - 1. Does 7 divide w(-5)?
True
Suppose -7*g + 4*g = 135. Let n = 75 + g. Is n a multiple of 10?
True
Let u(x) = -25*x**2 + x + 3. Let f(q) = -50*q**2 + 2*q + 7. Let a(l) = 3*f(l) - 7*u(l). Is a(1) a multiple of 24?
True
Let m(r) = 8*r + 9*r - 18*r + 15. Is 5 a factor of m(8)?
False
Suppose 6*z - 206 = 2*z + f, 108 = 2*z - 3*f. Is z a multiple of 17?
True
Suppose -3*a + 54 + 129 = 0. Is a a multiple of 14?
False
Let u be ((-4)/1 + 3)*-5. Suppose 0 = -u*l + 3*v + 75, 15 = 3*v - 0*v. Is l a multiple of 7?
False
Let r = 41 - 29. Does 4 divide r?
True
Let b be (-4)/(-2)*(-8 - -7). Is (-8 + b)/(4/(-8)) a multiple of 10?
True
Let w(d) = d**3 - 4*d**2 + d - 2. Let p be w(4). Suppose -6*b + p*b + 20 = 0. Suppose 68 = b*r - r. Does 10 divide r?
False
Suppose -10*k + 120 = 2*k. Is 5 a factor of k?
True
Let n(i) = 12*i - 4. Does 17 divide n(3)?
False
Suppose 0 = -2*w - 10 - 4. Suppose -2*x - 2*x = 0. Let j = x - w. Does 7 divide j?
True
Let r(a) = a**3 + 2*a**2 - 2. Let o(b) = 5*b**3 + 10*b**2 - 11. Let j(k) = -2*o(k) + 11*r(k). Let x be j(-2). Is 14 - (-3)/9*x a multiple of 5?
False
Suppose 0 = 7*p - 6*p - v - 39, 43 = p - 2*v. Let k be (12/14)/(1/p). Suppose -2*d = -3*d - 5*a + k, -d + 5*a + 30 = 0. Does 11 divide d?
False
Let n(w) = 3*w - 10. Let c be n(5). Suppose -3*d + 62 = -t, -5*t - 56 = -c*d + 54. Is 8 a factor of d?
False
Let y(d) = 3*d**2 - 3*d + 3. Let x be y(2). Does 10 divide ((-20)/(-6))/(2/x)?
False
Suppose 2 = 2*h, 0 = n - 4*n - 2*h + 188. Is n a multiple of 11?
False
Let q(u) = -6*u + 14. Let n be q(-11). Suppose -3*w + 0*m + 2*m = -n, 4*m = 4*w - 108. Does 7 divide w?
False
Let u(d) be the second derivative of -95*d**4/12 + d**2/2 + 4*d. Let i be u(-1). Let j = -44 - i. Is j a multiple of 17?
False
Let x(p) = -p**3 + 7*p**2 - 5*p - 4. Let g be x(6). Suppose 5*t + g = f + 17, 0 = -4*t + f + 12. Suppose -u + 31 = s - 0*u, t*u = s - 51. Is s a multiple of 18?
True
Suppose -h + 856 - 116 = 4*s, 2*h = -s + 178. Does 44 divide s?
False
Let a be 3 + -6 - (-31 - -1). Let u = a - 11. Is u a multiple of 16?
True
Let w = -39 - -105. Does 22 divide w?
True
Let f(o) = 2*o - 3*o - o + 3*o**2 - 2. Does 10 divide f(3)?
False
Let t(s) = -13*s + 4. Is 19 a factor of t(-5)?
False
Let a be 2/8 + (-19)/(-4). Let s = 10 - a. Suppose -s*t + 19 = -21. Is t a multiple of 3?
False
Let s = 3 - 0. Suppose 0 = -s*u + 4*u - 24. Suppose -3*o + 5*o - u = 0. Does 6 divide o?
True
Let f(w) = -w**3 - 6*w**2 + 6*w - 3. Let b be f(-7). Suppose 0 = -b*d - 7 + 51. Is 9 a factor of d?
False
Does 11 divide (-196)/(-8)*(5 + -2 + -1)?
False
Let x(s) = 4*s**2 - 3 + s**3 + 0*s**3 - s - 11*s - 16*s**2. Is 10 a factor of x(13)?
True
Does 48 divide 24/(3*(-3)/(-54))?
True
Let x(t) = -t**2 - 20*t + 14. Is x(-10) a multiple of 38?
True
Suppose -5*a + 9*a = 288.