l(m) = 2*m**2 + 3*m - 11. Is l(8) a multiple of 3?
True
Is 60 a factor of (-3 - -13 - 9)*199?
False
Suppose -6*r + 4*r + 18 = 0. Does 4 divide (18/r)/(2/21)?
False
Let f = -266 + 382. Let n = f - 191. Let q = n + 127. Is q a multiple of 13?
True
Let h = -47 + 49. Suppose -3*k - 2*v - h*v = -40, 0 = -4*k + 2*v + 68. Does 2 divide k?
True
Let u = 338 - 203. Does 5 divide u?
True
Suppose -4*c = -2*p - 8464, 859 = c - 5*p - 1266. Is 43 a factor of c?
False
Let c = 0 + 3. Let j be (c/9)/((-1)/(-6)). Suppose j*b - 122 = -3*p - 2*b, -3*p - 5*b + 124 = 0. Does 19 divide p?
True
Let i(x) = -2*x**2 + 3*x + 14. Let g(a) = -3*a**2 + 4*a + 13. Let d(y) = -3*g(y) + 4*i(y). Is 28 a factor of d(-8)?
False
Let y(i) = -6*i**2 + 2134. Is y(0) a multiple of 22?
True
Let p be 8/(-32) - (135/(-12) + 3). Is (-925)/(p - 3)*-1 a multiple of 11?
False
Let z = 66 + -65. Is z*2/4*86 even?
False
Let g = -233 + 810. Is 35 a factor of g?
False
Suppose 231 = 2*p + 5*p. Suppose g - 81 = -3*j + p, g - j = 134. Is 13 a factor of g?
False
Let m = 59 - 55. Suppose -2*l + 154 = m*w, w = 6*w - l - 175. Does 9 divide w?
True
Let n = 2338 + 116. Is n a multiple of 25?
False
Suppose -3*t + 4*t + 2*c + 2 = 0, 5*t + c = -19. Let u be 84/18*(-6)/t. Suppose -z + u = -0*z. Is 7 a factor of z?
True
Let a(n) = -5*n + 10. Let p be a(-5). Let x = p - 3. Does 4 divide x?
True
Let j(h) = 3*h**3 - 2*h - 1. Let c be j(-1). Does 14 divide 1/(c + (-126)/(-62))?
False
Let c = -866 - -875. Let j(p) = -p**3 + 2*p**3 - 14*p**2 + 6*p**2 - 6*p + 11. Is j(c) a multiple of 11?
False
Let t be 2*-9 + -2 + 5. Let y = t - -17. Does 18 divide (y*18 - -4) + -4?
True
Suppose -4*c - k + 12 = -0*c, 4*k - 9 = -3*c. Suppose 0 = c*y - 59 - 73. Let r = y - 10. Does 10 divide r?
False
Let o(q) = q + 16. Let f be o(-11). Suppose 4728 = 17*m - f*m. Is 15 a factor of m?
False
Let j = -28 + 31. Let m(c) = -j + c**2 + 2*c + 2 + 2. Does 12 divide m(5)?
True
Suppose -10*f + 412 + 578 = 0. Is f a multiple of 2?
False
Let u = 1505 + 1979. Is 13 a factor of u?
True
Let u(g) = -9*g**3 - 4*g**2 - 3*g + 2. Let y be u(-4). Let v = y + -291. Is v a multiple of 11?
False
Let p(j) = -3*j**2 - 11*j + 3. Let s be p(-9). Let b = 253 + s. Suppose 9*i - b = 5*i. Is i a multiple of 15?
False
Does 8 divide (-2302)/(-6) + (-9 - 140/(-15))?
True
Is 54 a factor of (1 + -5 - -4)/(-2) + 1320?
False
Let d be (-490)/(-35) - (-3 + 1 + 1). Suppose -d*c = -11*c - 256. Does 23 divide c?
False
Suppose 3*j + 0*j = 0. Suppose j*m + 6 = -3*m. Is -2 - (-1 + m + -2) a multiple of 3?
True
Let y be (4 + 5)/((-2)/(-6)). Suppose 0 = 5*w + 7 - y. Let a(n) = 5*n - 3. Is a(w) a multiple of 17?
True
Suppose 3*h = 5*h - 12. Does 20 divide (417/h + -1)/(11/22)?
False
Let q(u) = -3*u - 6 + 2 + 0. Let f be q(-2). Suppose -4*m = -f*m - 28. Does 7 divide m?
True
Let q = -25 + 16. Is (-1 + 26)/((-3)/q) a multiple of 25?
True
Suppose -2*t + 7 - 17 = 0, d + 3*t + 11 = 0. Suppose -5*s + 177 = 2*y + 28, 115 = d*s + 3*y. Is 11 a factor of s?
False
Let h(d) be the third derivative of d**5/20 - 7*d**4/8 + 2*d**3/3 - 21*d**2. Is 3 a factor of h(9)?
False
Let j = 15 - 15. Let g be 35 + (2 + 1 - j). Suppose -4*t = -4*h + 2*h + g, -4*h + 37 = 5*t. Is 5 a factor of h?
False
Suppose -z - 6 = 2*j + 407, 0 = j + z + 209. Let k = 298 + j. Suppose 5*t + 0*o + 3*o - 163 = 0, 3*t - 2*o = k. Is 16 a factor of t?
True
Let m(x) be the second derivative of 79*x**5/20 - x**3/6 + 9*x. Is 18 a factor of m(1)?
False
Let j be (-20)/3*24/(-10). Suppose -4*g - j - 30 = 2*d, 4*d = -g - 8. Let q = 48 + g. Does 14 divide q?
False
Suppose 19 - 10 = y. Suppose 3*w - 28 = 2*g - 5, 5*g = -2*w + 9. Let d = y + w. Does 3 divide d?
False
Let p(a) = -a**2 - a + 38. Is p(0) a multiple of 13?
False
Suppose 2295 = 149*u - 134*u. Is u a multiple of 16?
False
Let w be -7 + (-1 - 2 - -4). Let f(t) = t**3 + 4*t**2 - 8*t + 2. Let v be f(w). Is 3 a factor of (-150)/v - (-6)/33?
False
Suppose -1508 = -5*b + 5*k + 142, -k + 1315 = 4*b. Does 31 divide b?
False
Let j be ((-605)/22)/((-2)/20). Suppose -3*m - 2*m = -2*i + j, -3*i + 2*m + 396 = 0. Is 26 a factor of i?
True
Let f be 137 - ((-2 - -1) + 0). Let y be f/(-9) + (-1)/(-3). Is (-262)/(-8) + y/20 a multiple of 16?
True
Let c = -5 + 9. Let x(s) = -s**3 - 3*s**2 + 6*s + 9. Let o be x(-4). Suppose 0 = -4*i + 5*h + 73, 2*i + c*h + h + o = 0. Does 6 divide i?
True
Let r be ((-3)/6)/(2/(-52)). Let t(k) = 3*k - 3*k - r + 4*k - 2*k. Does 3 divide t(9)?
False
Suppose t - 3*g = -8*g + 152, 4*g + 8 = 0. Let n = -106 + t. Does 7 divide n?
True
Let d(q) = -3 + 5 - 3 - 2*q**2 - 3*q + 2*q**3. Let r = -47 - -50. Is 13 a factor of d(r)?
True
Let u(x) = x - 1. Let b be u(11). Suppose -b*a = 80 + 260. Does 17 divide 3*(a/(-3))/2?
True
Suppose -2160 - 2943 = -7*r. Does 23 divide r?
False
Suppose 0 = 4*z + 3*f - 4361, 4*z + 4*f - 1358 = 2998. Is 8 a factor of z?
False
Let t(c) = 37*c**2 + 2*c - 2. Let k be t(2). Let q = -91 + k. Is q a multiple of 11?
False
Is (3899 + 0 - -7)/2 a multiple of 44?
False
Is 78 a factor of 128*(-30)/60*(1 + -35)?
False
Let y(j) = j**2 + 15*j + 6. Let a(z) = -z**2 - 13*z - 6. Let h(o) = -7*a(o) - 6*y(o). Is 2 a factor of h(3)?
True
Suppose 27 = -4*l + 5*j, 4*l + 6*j - 3 = j. Is 16 a factor of ((-368)/l)/((-4)/(-6))?
False
Suppose -a + 13 + 6 = 0. Let x = a + -15. Suppose 88 = -x*j + 8*j. Does 8 divide j?
False
Let m(n) = -9*n + 377. Does 28 divide m(17)?
True
Let l = 223 + 369. Does 54 divide l?
False
Let f(a) = a**3 - 2*a**2 + 4*a - 6. Let d be f(4). Let c be (12/9)/((-4)/d). Does 7 divide (-405)/(-21) + 4/c?
False
Let b(j) = -19*j**2. Let f be b(2). Let w = 377 - 236. Let l = w + f. Is l a multiple of 13?
True
Suppose -2*j + 297 = v, -9*j + 5*j + 3*v = -609. Does 6 divide j?
True
Let c be ((-6)/(-8))/(2/(-16)). Let t be -1 - -1 - (-5 - c). Does 13 divide t + 28/8*4?
True
Suppose -2*h - 12 = -0. Let v be 8/h*(-525)/14. Suppose r = 6*r - v. Is 6 a factor of r?
False
Does 13 divide 1 - (-8508)/5 - (-258)/645?
True
Let i(w) = 2*w**2 + 7*w - 27. Does 12 divide i(-11)?
False
Let g be 25*2/2*1. Suppose 2*n - 43 = g. Is n a multiple of 13?
False
Does 12 divide 405 + (-7 - (-1 + 3))?
True
Let k(b) = 6*b - 7. Is 13 a factor of k(21)?
False
Suppose 354*a - 355*a = -540. Is a a multiple of 108?
True
Does 4 divide ((-1700)/(-15))/(2 + (-12)/9)?
False
Suppose 20*x = 14*x + 870. Does 6 divide x?
False
Let l = 34 + -28. Let t(q) = 3*q + 1. Let m be t(1). Is 5 a factor of (-6)/m*(-52)/l?
False
Let u = 113 + 18. Does 38 divide u?
False
Suppose 40*c - 44*c = 36. Suppose -10 - 2 = -2*v. Let a = v - c. Does 15 divide a?
True
Let l be 1 - (-1 + -2)/(-3) - -24. Let c = l - -13. Is 15 a factor of c?
False
Let w(p) = -4*p**3 + p + 1. Let r be w(-1). Let u be (-2)/r + (-10)/(-4). Is 3 - ((-57 - -1) + u) a multiple of 22?
False
Let p(d) = 3*d**2 + d - 5. Suppose -u - 2*u + 9 = 0. Let a(o) = 2*o**2 - 4. Let w(j) = u*p(j) - 4*a(j). Does 5 divide w(-4)?
True
Let f = 10 + -7. Suppose -3*v + o + 24 = 0, -2*o - 4 = -v - f*o. Does 7 divide v?
True
Let v(o) = -3*o - 5. Let t be v(-3). Suppose r = t - 7. Is ((-5 - r) + 8)/2 a multiple of 3?
True
Let l = 10 + 6. Suppose l = -4*t - 4*n, 0 = 5*t - 0*t + 3*n + 10. Let y(u) = 32*u**2. Does 8 divide y(t)?
True
Let s(z) = z**3 - 11*z**2 + 10*z. Let h be s(10). Is 23 a factor of 2 + h + -1 - (8 + -145)?
True
Does 21 divide (243/3)/((-15)/(-90))?
False
Suppose -5*k + 396 = -544. Is k a multiple of 2?
True
Suppose 15*q - 1655 = 715. Does 7 divide q?
False
Let f = -253 + 602. Does 6 divide f?
False
Suppose -8 = -4*s - 0. Suppose -d = -s*d + 4. Suppose -f + 95 = d*f + 3*w, -71 = -3*f + w. Is f a multiple of 11?
True
Suppose 0 = -8*h + 7*h. Suppose h = 3*q - 43 + 1. Is q a multiple of 14?
True
Let q(u) = u**3 - 10*u**2 + 15*u - 12. Let h be q(8). Is 5 a factor of h/6*(5/(-10) + -4)?
True
Let q(a) = 3*a**2 - 15*a + 19. Is 37 a factor of q(-13)?
False
Suppose 2*r = -0*r - 3*x - 18, 2*r = x - 2. Let s be 0/r - -2 - -1. Suppose -51 = -s*c - 5*y + 2*y, -2*c + 9 = -3*y. Is 4 a factor of c?
True
Let z = 2315 + 441. Does 106 divide z?
True
Suppose -1237 = -5*q + 4*t, 4*q = 7*q - 3*t - 744. Let l = q + -92. Is l a multiple of 33?
False
Let z = 363 + -258. Suppose 0 = a + 5*r + 58, -4*a - 3*r - 151 = 64. Let f = a + z. Is 14 a factor of f?
False
Let f = 8 + -5. Let n