0. Is l a multiple of 9?
False
Let t be (-4 + 3)*15/(-3). Let d = t + -22. Does 11 divide (20/(-4) + 4)*d?
False
Suppose -3167 - 12377 = -5*q + 4*s, 5*q + 3*s - 15572 = 0. Is 91 a factor of q?
False
Suppose 0 = 4*w - u + 4*u - 30, 3*w = 3*u + 12. Is 30 a factor of (2 + 15/w)/((-2)/(-52))?
False
Let f = -88 + 33. Is 11 a factor of (19/5 + -3)/((-1)/f)?
True
Suppose 24*i - 15*i - 5814 = 0. Does 41 divide i?
False
Let d(n) be the second derivative of 2*n**3/3 - 13*n**2/2 - 12*n. Does 13 divide d(12)?
False
Suppose 0 = 23*i - 15*i - 4352. Is 32 a factor of i?
True
Suppose r - 15 = 3*i - 4, 2*r + 3 = i. Let c be -2 - (-10 + (-12)/r). Suppose 2*l + 5*v = 74, -c*l + 148 = -l - 5*v. Does 11 divide l?
False
Let q = 17 - 10. Let l(z) = 12*z - 4. Let v(c) = -35*c + 12. Let m(w) = -11*l(w) - 4*v(w). Is 13 a factor of m(q)?
True
Let j(w) = 3*w**2 - 3*w + 3. Let k be j(2). Suppose 0 = -4*h + 7*h - 36. Is 13 a factor of k/h*4 - -40?
False
Suppose 0 = q + 2*n - 7*n + 14, 0 = -q - 5*n + 36. Let f = 31 - q. Let c = f - 9. Is 2 a factor of c?
False
Let b(v) = -v**3 + 16*v**2 - 2*v + 32. Let w be b(16). Suppose -4*a + 1052 = -4*g, 4*a - 9*a + g + 1295 = w. Is 43 a factor of a?
True
Let m = -34 - -64. Suppose 4*q + 1 = 5*q + 4*t, 5*t + m = 5*q. Suppose 0 = -2*g - o - 3*o + 12, -q*g = o - 39. Does 3 divide g?
False
Let j(g) = g**3 - 3*g**2 + 10*g - 12. Does 11 divide j(4)?
True
Suppose -w + 4*x = 3*x - 261, -3*x = 3. Is w a multiple of 4?
True
Does 6 divide (13425/375)/(2/20)?
False
Let w(g) = -2*g + 5. Let z(j) = 3*j - 4. Let b(f) = -4*w(f) - 3*z(f). Let l be b(-6). Let a = l - -60. Does 29 divide a?
True
Suppose -2*k + 34 = -3*k - 2*o, -2*k - 78 = 2*o. Let f = k - -47. Is f even?
False
Let m = 59 - 59. Is 11 a factor of m + 2 + 113 - 0?
False
Let i(h) = h**2 - 7*h + 8. Let g be i(6). Does 16 divide (-2)/g - (11 - 60)?
True
Suppose -6*v = -0 - 12. Suppose -h - 81 = v*h. Let c = 73 + h. Does 9 divide c?
False
Let r(l) = -l**3 - 4*l**2 + 4*l - 1. Let y be r(-5). Does 10 divide 79/y - 1/(-4)?
True
Let b(h) = -8*h - 5. Let y be b(-5). Let p = 55 - y. Suppose -m - p = -96. Is m a multiple of 26?
False
Suppose 3*k + s + 204 = -1334, 2*k - 5*s + 997 = 0. Let t = -337 - k. Does 58 divide t?
True
Let y(c) = -c - 9. Let f be y(-14). Suppose -f*x = 7*p - 2*p - 15, -x + 3 = -2*p. Suppose 0 = -x*z + 35 + 25. Is 8 a factor of z?
False
Suppose 0 = d - 5*d - 320. Let m = -12 - d. Is 5 a factor of m?
False
Let d be 0/(-3 + (1 - -1)). Suppose 5*y - 1 - 19 = d. Suppose -y*b = -b - 57. Does 12 divide b?
False
Let l(r) = -r**3 - 13*r**2 - r + 31. Is l(-14) a multiple of 51?
False
Let d(x) = x**3 - x**2 + 3*x - 7. Let u be d(3). Suppose 3*p + u = 4*p. Does 6 divide p?
False
Suppose 0 = 4*k - k - 39. Let f(y) = -y**2 + 14*y - 2. Does 4 divide f(k)?
False
Suppose -733 = -8*p + 51. Is 30 a factor of p?
False
Let o(f) = -f - 1. Let u be o(-8). Let h = 92 - u. Is 17 a factor of h?
True
Let j = 492 - 429. Is j a multiple of 9?
True
Let f(k) = -k**2 - 15*k - 22. Let p be 1*(77/(-33))/(2/6). Does 17 divide f(p)?
True
Let l(g) = 2*g**3 - 2*g**2 - 2*g + 1. Let j be l(2). Suppose 4 = 3*t + h + 3*h, -2*t - 5 = -j*h. Is -2 + t + (-20)/(-1) a multiple of 3?
True
Let x(r) = 91*r - 16. Is x(7) a multiple of 23?
True
Let l(u) = -u**2 + 22*u + 131. Is l(26) a multiple of 27?
True
Let q be 81 + (4/(-2) - -1). Let j be (-42 + 42)/((1 + -2)*3). Is 11 a factor of q + (j - -3) + -4?
False
Let w(d) = d**2 + 32*d + 53. Let m be w(-31). Let y(u) = u**3 - 21*u**2 - 15*u - 28. Does 42 divide y(m)?
True
Let h = -139 + 87. Let z = h - -73. Is z a multiple of 7?
True
Is 1652/18 + (-188)/(-36) + -5 a multiple of 23?
True
Let s = -6 + 3. Is 8 - (0/s - 1) a multiple of 9?
True
Suppose 4*i + 1502 = -0*i + 2*v, -i - 363 = -3*v. Let p = 592 + i. Is 38 a factor of p?
False
Let t(c) = 10 + c**2 - 5 - 2*c**2. Let l be t(-4). Let o = 32 - l. Is 13 a factor of o?
False
Suppose s = -2 + 16. Let z = 133 + -117. Suppose s = f - z. Is f a multiple of 12?
False
Suppose 9*p + 5*o - 3501 = 5*p, -2*p = -2*o - 1746. Is 17 a factor of p?
False
Is 10 a factor of -4 + (-4)/(-3)*(-2 - -140)?
True
Let c = 21 + -21. Does 12 divide (-19 - c)*(-2 - -1)?
False
Is 300/(-350) + 278/14 a multiple of 2?
False
Let x be (1 + 4/(-6))*12. Is 510/4 - x/(-8) a multiple of 32?
True
Let b(z) = 10*z + 2. Let w be b(3). Let o = w + -29. Does 3 divide o?
True
Let g(d) = -d**3 - 10*d**2 + 10*d + 22. Let i(v) = v**2 + 10*v + 13. Let y be i(-4). Does 14 divide g(y)?
False
Suppose -z - 52 = -4*r - 3*z, 5*r + 2*z - 64 = 0. Let x be (2 + -16)*r/8. Is x/(-1) - -3*1 a multiple of 6?
True
Suppose 5*i = 0, 0 = 2*g + 7*i - 8*i - 618. Is 17 a factor of g?
False
Suppose -2*h = 2*z - 2066, 5*z - 4*h - 5192 = -0*z. Does 11 divide z?
False
Let h = 187 - 102. Let j = h - -84. Is j a multiple of 68?
False
Let k(f) = -f**3 + 16*f**2 + 17*f + 16. Let r be k(17). Let u be (-2)/5 - r/10. Does 15 divide (8/12)/(u/(-180))?
True
Suppose -1217*l = -1221*l + 404. Is 5 a factor of l?
False
Let i be 6/4*22 - -3. Let x = -25 + i. Is 11 a factor of x?
True
Suppose 3*q = 5*a + 143 + 297, 0 = 2*q - 3*a - 294. Does 75 divide q?
True
Suppose -22 = -3*h + 23. Suppose -4*t + a + h = 0, 2*a = -5*t - a + 6. Is 23 - (t + 12/(-3)) a multiple of 24?
True
Let u(t) = -t**3 + 7*t**2 - 14*t - 5. Let n be u(6). Let g = n - -65. Is 4 a factor of g?
True
Let p(m) = -10*m - 4. Let w be p(6). Let h = -37 - -39. Is (-816)/w + h/8 a multiple of 13?
True
Let g = -553 - -657. Is 8 a factor of g?
True
Suppose -5*s + 16 = 2*r, 2*s = -2*s + 2*r + 20. Let y be (-2)/6*3/(-2)*0. Suppose s*p + z - 44 = -3*z, 2*p - z - 19 = y. Is 5 a factor of p?
True
Let n be ((2 - -59) + 1)/(1 + 0). Suppose -218 = -10*z + n. Does 5 divide z?
False
Let g(v) = -v + 1. Let t be g(-1). Suppose 27 = 3*f + q + 4*q, 0 = 3*f + t*q - 18. Suppose f*l - 83 = 41. Is l a multiple of 9?
False
Suppose 0 = -7*u + 5942 + 6602. Is u a multiple of 112?
True
Suppose -q - 3*q + 240 = 0. Let k = 334 - 331. Suppose k*p + q = 3*d, -p + 3*p + 85 = 5*d. Is 5 a factor of d?
True
Does 21 divide (-1 + (-140)/(-15))*63?
True
Suppose 10*t = 5*r + 5*t - 350, 4*t = -3*r + 238. Let l = -11 + r. Does 9 divide l?
True
Is (64/2)/(20/3990) a multiple of 14?
True
Suppose l - 433 = 2*o, -4*o + 720 = 3*l - 619. Let x be l/(-12) - (-1)/(-4). Let h = x + 71. Is 12 a factor of h?
False
Suppose -15 = -3*y - 2*w, w + 3 = -0*w. Is 2 a factor of y/(-14)*(-11 - -1)?
False
Let g be (0 - 430)*-2*2/8. Let q be -2*((-1 - 1) + 0). Suppose 4*h = 5*y - g, 0 = 2*y - 0*h - q*h - 98. Is 13 a factor of y?
True
Suppose -39*i + 161594 = 41435. Does 13 divide i?
True
Is 11 a factor of (-8)/12*(-810)/12?
False
Let h = 1319 + -1243. Is 3 a factor of h?
False
Suppose -6*x + 5*x = -2. Let v(d) = -3 + 5*d**3 - d**x + 3 - 4*d**3 + 4 - 4*d. Is 5 a factor of v(3)?
True
Let f be 4/(2/(-16)*-4). Is ((-80)/32)/((-2)/f) a multiple of 3?
False
Let d = 605 + -447. Is 8 a factor of d?
False
Suppose 4*i - 2*o = -1 + 3, 2*o = -i - 2. Suppose i = 4*c - 3*c - 64. Does 9 divide c?
False
Let x = -1 - 7. Let q be (-261)/(-4) + 2/x. Is (-18)/27*(-1 - q) a multiple of 12?
False
Does 7 divide ((-3)/((-6)/11896*-2))/(-2)?
False
Let p = -8 + 10. Suppose -3*f + 10 = -4*w, -3*w + 26 = 4*f - p*w. Suppose 0 = 3*m + f, 0 = -l - 3*m + 27. Is l a multiple of 11?
True
Let n be (-3 - -2) + 416 + -2. Suppose 0 = -i + 4*p + 564, 0 = -i + p + 142 + n. Is (i/(-60))/((-1)/5) a multiple of 11?
False
Let s(i) = i**3 - 8*i**2 + 7*i - 12. Let r(h) = 4*h - 1. Let m(a) = -3*a + 2. Let x(j) = 3*m(j) + 2*r(j). Let z be x(-4). Is 11 a factor of s(z)?
True
Does 11 divide (277/(-4))/((-11)/132)?
False
Suppose 7590 = 14*s - 11*s. Is s a multiple of 23?
True
Let c = 41 - 23. Is (c + -16)*(28 + -2*1) a multiple of 13?
True
Let y(x) = 60*x**2 - 5*x + 18. Does 6 divide y(2)?
False
Let y = 4632 - 3057. Does 45 divide y?
True
Let q(f) be the second derivative of -f**3/6 + f**2 + 3*f. Let c be q(-2). Does 10 divide 3/c - 209/(-4)?
False
Let j = 49 + -13. Is j a multiple of 8?
False
Suppose b - 108 = -5*q + 771, -5*q - 5*b + 875 = 0. Does 11 divide q?
True
Let p = 2213 - 1414. Does 18 divide p?
False
Let k = 3251 - 2282. Does 19 divide k?
True
Let l = 21 + -10. Let o(s) = -4*s + 7*s + 7 - s - s. Is o(l) a multiple of 9?
True
Suppose 7558 = 11*l + 1574.