o + 11. Let h be a(-6). Is 3 a factor of 2/h - 876/(-28)?
False
Suppose 2*z = -5*d + 2365, 0*d - 4*d + 1904 = 4*z. Let g = -235 + d. Does 11 divide g?
False
Suppose -g - 1 = 5. Suppose -5*a + 9 = -1, 5*a = -2*j + 8. Does 7 divide (j - 0)*(g - 1)?
True
Suppose -115 - 15 = -2*m - 2*z, 3*m = 5*z + 219. Suppose 2*f = -5*v + 260, v = -f - 13 + m. Is 14 a factor of v?
False
Let i be (-88)/20*-5*(-1 - -8). Let d = -28 + i. Is 42 a factor of d?
True
Let u(g) = -g - 1. Let y be u(-4). Suppose 0 = -q + h + 2, 0 = -q + y*q + h + 2. Suppose q = p - k, -10 = p - 4*p + k. Does 2 divide p?
False
Suppose -5*d = 5*i - 7355, -1444 = 2*d - 3*i - 4391. Is 23 a factor of d?
True
Is 80/(3 - -1 - (-2 + 5)) a multiple of 26?
False
Let p = 653 - 108. Is 7 a factor of p?
False
Let a(f) = f**3 - 10*f**2 + 28*f - 12. Let c = -12 - -20. Is 42 a factor of a(c)?
True
Suppose -o - 4*r = -6*r - 355, -3*r - 1065 = -3*o. Suppose 12*g - 7*g - o = 0. Is 14 a factor of g?
False
Let m(l) = l**2 + 6*l + 11. Let h be m(-5). Suppose h*s - 150 = s. Does 15 divide s?
True
Let i(o) = o**2 + 3*o - 8. Let s be i(6). Suppose -g - g = s. Let a = 7 - g. Is a a multiple of 12?
False
Let z be (-3 + (-28)/(-8))*18. Suppose 14*t - 160 = z*t. Does 23 divide t?
False
Let t be 5/(-10) - (-14)/4. Suppose 5*u - 268 = -3. Suppose m = k + t*m - u, k - 65 = 4*m. Is k a multiple of 19?
True
Let v be -3*10/(-12)*12. Is (-350)/(-3) + (-5)/v*4 a multiple of 10?
False
Let k(h) = h**3 + 8*h**2 + 6*h - 10. Let p = 3 + -10. Let u be k(p). Is 4 a factor of (21/u - -1)*-2?
True
Suppose 1885 - 1909 = -3*n. Is n a multiple of 8?
True
Suppose -7 = 9*t + 2. Let p be ((2 - 1) + t)/(-2). Suppose p*r + 2*r - 165 = -5*n, 0 = 2*r + n - 153. Is r a multiple of 15?
True
Suppose -6*a + 11*a - 149 = 3*g, -2*a - g + 53 = 0. Let k = a - 17. Suppose 15*y = k*y + 92. Is y a multiple of 21?
False
Let z = -5 + 5. Is (1 + 1 - z) + 109 a multiple of 32?
False
Suppose g = 3*b - 39, 7*g - 1 = b + 2*g. Let x = b + -12. Suppose -6*z + z = 20, 24 = x*p + 5*z. Is p a multiple of 11?
True
Is (-10)/3*(11 + (-16344)/45) a multiple of 21?
False
Let g(j) = 3 + 4 - j**2 - 3 + 18*j. Is 14 a factor of g(8)?
True
Suppose 4*k - 1036 = 2*a, -a + 2 = -0*a. Does 10 divide k?
True
Let n(h) = h**3 + 14*h**2 - 3*h - 6. Suppose 0 = -5*p - 0*p + 5*x - 45, -2*p - 53 = 5*x. Is n(p) a multiple of 9?
True
Is (-7535)/(-10) - 4 - (-1)/2 a multiple of 25?
True
Suppose 35*v - 34*v - 2*d - 1288 = 0, 5*d = -5*v + 6470. Is 19 a factor of v?
True
Suppose 5*x = 5*u + 330 + 300, -110 = -x + 5*u. Is 23 a factor of x?
False
Let a = 14 + -10. Suppose 170 = 2*y + a*l, 206 = 2*y + 4*l - 9*l. Let m = y + -45. Is 16 a factor of m?
True
Suppose 2*q - 5 = d, -4*q + 11 - 4 = -d. Does 3 divide q + 3 + 2 - 0?
True
Suppose 2*u = 543 + 129. Is u a multiple of 8?
True
Let l = 594 + -532. Is l a multiple of 2?
True
Let p = -79 - -452. Does 7 divide p?
False
Let a = -4 - -5. Let w(v) = -357*v**3 - v. Let k be w(a). Is 10 a factor of 3/18 + k/(-12)?
True
Suppose -5*m = -474 - 1156. Is 9 a factor of m?
False
Let g(l) = l**2 - 8*l + 20. Let k be g(8). Suppose -4*c + m = -3*m - 4, 4*m - k = 0. Let p = 17 - c. Is 4 a factor of p?
False
Let g be (-46)/(-14) - (-28)/(-98). Suppose g*q - 55 + 7 = -3*t, -4*q - 11 = -t. Is 3 a factor of t?
True
Is 4 a factor of -21*(-9)/((-135)/(-100))?
True
Let m(d) = d - 6. Let b be m(6). Suppose -6*k + 5*k + 9 = b. Let x = k + 10. Is x a multiple of 7?
False
Let t(l) = 4 - 2*l**2 - 6 + 22*l**2 + 3*l. Let c be t(2). Suppose 0 = -6*o + 318 - c. Is 20 a factor of o?
False
Suppose -2*y + 8 + 13 = -v, 0 = 2*y - 4*v - 24. Let l = y + 6. Is l a multiple of 16?
True
Let a(v) = -26*v**3 + 2*v**2 + 4*v + 2. Is a(-1) a multiple of 13?
True
Let v = -404 + 756. Does 32 divide v?
True
Let d = -1425 - -1728. Is d a multiple of 27?
False
Let m = -761 - -1346. Suppose 3*l = 3*s - m, 0 = 4*l - 10 - 10. Is 40 a factor of s?
True
Suppose 3*b + 5*v = 181, 5*v - 49 - 8 = -b. Does 13 divide b?
False
Let w be -3*((-4)/(-22) - 28/33). Is (1 + w/((-2)/(-29)))*2 a multiple of 12?
True
Suppose -2*j = r - 35, 0 = 2*j + 3*j - 4*r - 68. Suppose 0 = -4*u - j. Is 11 a factor of (-78)/u + (-3)/2?
False
Let f(a) = a**3 + 42*a**2 + 66*a - 53. Does 13 divide f(-40)?
True
Let v(k) = 11*k - 2. Let f = -36 - -39. Let b be v(f). Let c = -5 + b. Does 15 divide c?
False
Let j(u) = 81*u**2 - 2*u - 1. Let h be j(-1). Suppose 3*z - h = -3*t + 17, -117 = -4*z - t. Is z a multiple of 4?
True
Let k be (20 - (0 - -2))*9. Suppose k = -2*n + 4*n. Does 27 divide n?
True
Let v = 63 + -33. Suppose 5*t = v - 5. Is 2 a factor of t?
False
Let o = 3214 + -2038. Is 47 a factor of o?
False
Let i(s) = -3*s - 2. Let m be i(-3). Let g(x) be the second derivative of x**4/12 - 2*x**3/3 - 5*x**2/2 - 2*x - 7. Is 8 a factor of g(m)?
True
Let q = -27 + 40. Let y(h) = -h**3 + 14*h**2 - 13*h + 4. Let t be y(q). Suppose -2*v + v + 5*w - 7 = 0, -4*v = t*w - 92. Is 6 a factor of v?
True
Let m be (-14)/(-10) - (-28)/(-70). Let x(p) = 39*p**2 - 2*p. Is x(m) a multiple of 6?
False
Let m(f) be the third derivative of f**6/180 - f**5/60 + f**4/24 + f**3/6 + 5*f**2. Let d(t) be the first derivative of m(t). Is 18 a factor of d(-5)?
False
Let s = 2916 + -452. Does 88 divide s?
True
Suppose 288 = -2*c - c. Suppose 0 = -25*z - 854 - 721. Let t = z - c. Is t a multiple of 20?
False
Suppose -2*t + m = -m - 10, -4*t = 3*m - 13. Let c(v) = 10 + 7*v - 8*v**2 + 16*v**2 - t*v + v**3. Does 14 divide c(-4)?
False
Let j(i) = 8*i**2 - 8*i + 61. Does 23 divide j(7)?
False
Suppose 85 = 5*m - y, -5*m - 5*y + 55 = -0*m. Let r be 78/(-4) + (-8)/m. Let p = r - -60. Does 20 divide p?
True
Let i(k) = -k**3 + k**2 + 5*k - 2. Let j be i(4). Let b = 50 + j. Let o = b - -49. Is 23 a factor of o?
True
Let u = -353 + 370. Does 4 divide u?
False
Suppose -m + 2*m = -3. Let u be 4*((-4)/(-10))/(84/(-105)). Is 20/m*9/u a multiple of 6?
True
Let d(m) = 26*m - 75. Does 25 divide d(11)?
False
Suppose 16 - 36 = -4*y. Suppose -417 = -y*p + 3. Does 21 divide p?
True
Suppose -2*b + 23 - 53 = 0. Is (2 + 100/b)*-18 a multiple of 12?
True
Suppose 3*c - x - 9 = -4*x, -3*c + x = -21. Suppose 0 = 4*h + 4*z - z - 18, 0 = 4*h - 3*z - c. Suppose -h*g + 18 = -120. Is 13 a factor of g?
False
Suppose 3*n - 242 = -5*m, 0 = 3*n + 4*m - 2*m - 257. Suppose 3*l + 85 = h, -h + 2*h - 4*l = n. Suppose 3*x - 133 - 108 = c, x - 4*c = h. Does 27 divide x?
True
Let c(m) = 133 - 176 + m + 113. Does 10 divide c(0)?
True
Does 14 divide (-294)/(-5)*(-180)/(-54)*2?
True
Let m(u) = u + 5. Let v be m(-13). Let p be v/(-40) + (-16)/5. Does 14 divide (-412)/(-6) - 1/p?
False
Let q(a) = a**3 + 22*a**2 + 58*a - 4. Is 11 a factor of q(-12)?
False
Let a(q) = 67*q**2 - 25*q - 24. Is 8 a factor of a(-4)?
False
Let m = -21 - 5. Does 21 divide (-1088)/m - (-4)/26?
True
Let i be 0/1 - (-50)/5. Let z be (-4)/i - (-14)/35. Suppose z*r + 34 = 2*r. Does 10 divide r?
False
Let m be 48/(52/8 - 5). Let q = m + 2. Is q a multiple of 21?
False
Let x = -12 - -15. Let b be (-2)/(-1 - -3 - x). Suppose r + 57 = 4*l, -4*l - l - b*r = -68. Does 3 divide l?
False
Is 774 + 3 + (-3 - 0) a multiple of 43?
True
Let s = 1367 + -746. Is s a multiple of 12?
False
Let y(x) = 0*x + 2*x + 3*x**2 - 21*x. Does 9 divide y(8)?
False
Suppose -5*g + 4*v = -1805, -3*g + 1770 = 2*g + 3*v. Is g a multiple of 12?
False
Let x(j) = 523*j - 299. Is x(8) a multiple of 48?
False
Suppose 0*p + 12 = 3*p. Suppose 0 = p*y + x - 102 + 22, 5*y + 5*x - 100 = 0. Suppose -w + y = -7. Is w a multiple of 9?
True
Suppose -24 = 4*q + 28. Let x = q - -15. Suppose -3*m = x*m - 55. Is 11 a factor of m?
True
Suppose -4*c = 3*u - 161, -4*u = -3*c - 101 - 147. Let q = u + -87. Let l = q + 116. Is l a multiple of 15?
False
Let w(b) = b + 17. Let y be w(-14). Let i be (12/8 - y)*16. Let k = 25 - i. Is 10 a factor of k?
False
Let s be 21/(-6) - (-15)/10. Let u be (-1 + 391)/3 + s. Let g = u - 89. Is g a multiple of 12?
False
Suppose -5*r = -6 - 4. Suppose -2*g - 3*f = 0, 0 = r*g - 0*g - 4*f. Suppose 4*h - 84 = y - 3*y, g = -y + 4. Is h a multiple of 5?
False
Does 8 divide (-1 + 67)*25 + 5?
False
Is -4*54/24 - -572 a multiple of 9?
False
Suppose -l + 0*l + 18 = 0. Is 12 a factor of 4/l - 9802/(-117)?
True
Let m(g) = g**3 - g + 14*g**2 - 2*g + 3*g**2 + 11 + 18*g. Is m(-16) a mult