 - 11*c - 2. Does 15 divide i(-5)?
False
Is 17 a factor of (-100 - 2)/(18/(-9))?
True
Let y be 10/(-3) - 1/(-3). Let p(u) = -5*u + 2. Does 13 divide p(y)?
False
Does 7 divide 63 + (-3)/(-3)*-3?
False
Let g(v) = v. Let p be g(-3). Let m be p - (0/3 - 6). Suppose 0 = -6*b + 3*b + m, -2*b + 28 = j. Does 17 divide j?
False
Let l(c) = 0*c**2 + 4*c - 3*c**2 + 2*c + 4*c**2 - 2. Let u be l(4). Suppose 5*r - 2*p = 102, 0 = -3*r + p + u + 23. Is r a multiple of 11?
False
Suppose 3*j - 2*z = 281, -3*j - 3*z + 385 = 109. Is j a multiple of 13?
False
Let h(c) = -5*c - 9. Does 3 divide h(-3)?
True
Let f(b) = -11*b**2 - 2*b - 11. Let o(t) = 7*t**2 + t + 7. Let y(s) = 5*f(s) + 8*o(s). Suppose -27 = -5*i - w, 0*i = i - w - 9. Is y(i) a multiple of 11?
False
Suppose 0 = -2*p + p. Suppose p = 3*k - 51 - 117. Is 19 a factor of k?
False
Let m be (22/33)/(4/(-6)). Let g(l) = -24*l + 1. Is 10 a factor of g(m)?
False
Suppose -10 = -2*z - 3*d + 4, 0 = z - 3*d + 11. Let s be (0 - 1)/(z/2). Let g = 5 + s. Is 2 a factor of g?
False
Suppose p - 5 = -5*k, 2*k + 2*k = 2*p + 18. Suppose -k*t = -53 + 5. Does 8 divide t?
True
Suppose 0 = -4*c - 41 + 9. Is 12/5*(-140)/c a multiple of 14?
True
Suppose -w + 2*u - 5 = 0, -u = 3*w - 7*w + 15. Let b(a) be the first derivative of 3*a**2 + 4*a - 1. Is b(w) a multiple of 17?
True
Suppose 0 = 5*t - 2*c - 90, -2*c + 34 = 3*t - 4. Is t a multiple of 3?
False
Let i be (16/(-6))/((-8)/12 + 0). Suppose 0 = 4*h - 182 - 210. Suppose -s = i*o + s - h, 10 = -2*s. Is 13 a factor of o?
False
Suppose -5*w + 2*r = -0 + 158, -5*r - 133 = 4*w. Let v be 5/(-2)*w/20. Suppose 2*h = -3*i + 102, 3*i - h - v*h = 102. Is 12 a factor of i?
False
Suppose 3*y = -2*y + 195. Does 39 divide y?
True
Let a be (2/(-1) - -50) + 1. Suppose 4*l - x - a - 65 = 0, 0 = -3*l + 3*x + 90. Is 11 a factor of l?
False
Let x = 113 + -60. Is x a multiple of 20?
False
Suppose j = -h + 26 + 30, 2*j - h - 100 = 0. Is j a multiple of 23?
False
Let x = 14 - 17. Is 12 a factor of (-10 - x)*(-3 + 1)?
False
Let u(o) be the third derivative of -o**7/840 + o**6/360 - o**5/120 + 2*o**4/3 - o**3/6 - 2*o**2. Let q(t) be the first derivative of u(t). Does 8 divide q(0)?
True
Let x = 6 - 2. Suppose -48 = -8*i + x*i. Does 11 divide i?
False
Suppose 2*g + 2*x - 25 = 7*x, x + 70 = 3*g. Suppose 8*c - 3*c = g. Is 5 a factor of c?
True
Let c(q) = -q + 16. Let r(y) = y - 11. Let s(v) = 5*c(v) + 8*r(v). Let z = 7 - 1. Is s(z) a multiple of 10?
True
Let d = 10 + -2. Suppose 2 = 2*s - d. Is 5 a factor of s?
True
Let f be 2*(-8)/(1 - 3). Let r(x) = 5*x. Let i be r(f). Suppose -8 = 2*h - i. Is h a multiple of 8?
True
Let u be (-10 - -6)/((-1)/(-2)). Is 6 a factor of (14/8)/((-1)/u)?
False
Suppose -2*l = 4*r - 24, 5*r + 1 + 5 = 2*l. Suppose 0 = c - 8 - l. Does 16 divide c?
True
Suppose 0 = -b + 4*c + 4, -2*b - 3 = 5*c + 2. Suppose 3*r + r - 28 = b. Does 4 divide r?
False
Suppose 18*b - 23*b = -120. Does 12 divide b?
True
Let w = 257 + -162. Is 13 a factor of w?
False
Suppose -20 = 3*x - 8. Let g(t) = 0 - 4*t - 2 + 5. Does 12 divide g(x)?
False
Suppose 0 = 2*l + 4*d - 76, -105 = -3*l - 3*d. Is 31 a factor of l?
False
Let k(z) = -z - 6. Let r be k(-8). Suppose -7*m - 270 = -r*m. Let f = m - -75. Is 21 a factor of f?
True
Suppose 5*h - 31 = -11. Suppose 89 + 15 = h*g. Does 13 divide g?
True
Suppose 0 = 5*m - 8 - 17. Suppose 2*k = y + m*k - 18, 5*k + 70 = 5*y. Is y a multiple of 12?
False
Suppose 2*y = -5*p + 7, 2*p - 28 = 3*y - 8*y. Suppose -23 - 241 = -y*w. Does 26 divide w?
False
Let x = 4 + 0. Suppose -x*g + z = 3, 3 = -0*z - 3*z. Does 6 divide (g/2 + 0)*-24?
True
Let x = -26 - -55. Is x a multiple of 17?
False
Let z(b) = 1 + b**2 - 1 + 2*b - 1. Is 2 a factor of z(-4)?
False
Suppose -h - 2*b + 12 = -5*h, -5*b - 10 = 0. Let r = h - -12. Is r a multiple of 4?
True
Suppose -2*s - 2*v = 3*v - 275, 5*s - 696 = -4*v. Suppose 4*t - s - 48 = -4*j, 4*t = -2*j + 190. Suppose -14 = q - t. Is q a multiple of 13?
False
Let l(v) = -15*v**3 - 2*v**2 + 2*v + 1. Is 36 a factor of l(-2)?
False
Let g(v) = 1 - 10*v + 3 + 7*v. Let m be g(-3). Suppose -2*w + 49 = m. Is 18 a factor of w?
True
Suppose 4 + 120 = 2*q. Suppose 3*b - q = b. Does 19 divide b?
False
Let s be (6/(-3) + -249)*9. Does 23 divide 2/11 - s/99?
True
Suppose -3*l - 9 = -6*l. Suppose 0*z - 102 = -l*z. Does 17 divide z?
True
Let t(d) = d**2 - d**3 + 0*d**3 - 3*d**2 - 5 + d + 4*d. Does 15 divide t(-5)?
True
Suppose 0 = 4*x - 125 - 275. Does 5 divide x?
True
Suppose -4*i + 28 = 5*a, i + a - 5*a = -14. Suppose i*v + 0*v = 4. Does 13 divide 32 - (0 + v + -4)?
False
Suppose 20 = -0*u + 5*u. Let v be 133 + ((-3)/(-3) - 4). Suppose -3*q + 103 = u*h + 32, -5*q + 5*h = -v. Is q a multiple of 11?
False
Let p = 41 - 29. Does 12 divide p?
True
Suppose 0*v = v + 58. Let x = 95 + v. Is 20 a factor of x?
False
Let m(j) = j**2 + 4. Suppose 2*x + 8 = 2*w, 2*w - 4*w + 8 = 4*x. Let i be ((-3)/w)/((-1)/4). Is m(i) a multiple of 13?
True
Let r = -5 - -7. Suppose -53 = -r*p + 13. Is p a multiple of 11?
True
Suppose -2*n + n + 1 = 0. Let t be (-5)/2*(-8)/(-10). Is t/((-1)/(4/n)) a multiple of 7?
False
Does 54 divide 2970/11 - 0/(-2)?
True
Suppose 3*s - 32 = -5*r, 3*s - 20 = 2*r - 4*r. Let f = 7 - s. Suppose f*l = -3*g + 51, -5*l - 33 = -4*g + 26. Is g a multiple of 7?
False
Suppose 0*r + 5*p = 2*r + 195, r + 100 = 2*p. Let h = 15 - r. Does 35 divide h?
False
Suppose 2*h + h + 27 = 0. Let q = h - -18. Is 3 a factor of q?
True
Let x(j) = -j + 29. Let b be x(-9). Let l(f) = f**3 + 5*f**2. Let z be l(-5). Suppose d + 1 - b = z. Is 21 a factor of d?
False
Let f(h) = h**2 - h + 9. Does 7 divide f(-6)?
False
Suppose 4*v - 201 = 675. Does 44 divide v?
False
Suppose 3*v - 105 = -i - 0*i, -2*v = 8. Is i a multiple of 39?
True
Does 3 divide (57/(-6) - -2)/(2/(-4))?
True
Suppose 2*i = i + 66. Is 22 a factor of i?
True
Let m(a) = 2*a + 1. Let r(b) = 2*b + 2. Let t(s) = -3*m(s) + 4*r(s). Is 5 a factor of t(5)?
True
Let f(j) = 6*j**2 + 20*j - 11. Is f(-5) a multiple of 5?
False
Suppose 2*r - 62 = 2*j, -5*r - 3*j + 146 = j. Is 5 a factor of r?
True
Suppose -2*d = -0*d. Suppose 5*n + 99 = 2*z, d*n + 5*n - 160 = -5*z. Is 13 a factor of z?
False
Suppose -1 = m - 4. Suppose f - 4 = -m*g, 5*g + 2*f = 2 + 3. Suppose d + 2*o = o + 7, -4*d + 30 = g*o. Does 5 divide d?
False
Let p(g) be the second derivative of -g**5/20 - 5*g**4/12 + 7*g**3/6 - 7*g**2/2 + 2*g. Is 14 a factor of p(-7)?
True
Suppose 4*x - 3 = 13. Suppose 0 = -9*n + x*n + 80. Is n a multiple of 8?
True
Suppose 5*c = -g + 331, g = -5*c - 3*g + 319. Does 15 divide c?
False
Let w be (-30)/(-4)*8/12. Suppose -w*d + 96 = -124. Is d a multiple of 22?
True
Let u(c) = 5*c + 8. Let g be u(-8). Let n be (-62)/(-3)*(-3)/1. Let q = g - n. Is q a multiple of 15?
True
Suppose -2*m + 4*s = -4, s + 0 - 8 = -m. Suppose -m*x = -x. Suppose -2*w - 50 = -2*y, x = -5*y + 3*w + w + 121. Is 6 a factor of y?
False
Let a(k) be the third derivative of 13*k**5/60 + k**4/8 - k**3/6 - 4*k**2. Does 19 divide a(2)?
True
Let v(n) be the third derivative of -n**4/12 + n**3/3 - 3*n**2. Let t = -5 - -2. Is 8 a factor of v(t)?
True
Does 8 divide 37 - -9 - 1*-2?
True
Let h(g) = 3*g - 1. Suppose 5*m = 2*m + 21. Is 12 a factor of h(m)?
False
Suppose 4*x + 2*y = 244, -y - 32 = 4*x - 274. Is x a multiple of 10?
True
Suppose -2*n - 3 = -5. Let b be n + (14 - 0)*-4. Let m = b - -83. Does 14 divide m?
True
Is 28 a factor of 174 - (-5)/25*(-4 - 1)?
False
Suppose -z = 5*h - 470, 0*h - 4*z = -5*h + 445. Does 11 divide h?
False
Suppose 222 = -0*q + 3*q. Is q a multiple of 45?
False
Let f(b) = -21*b**2 + 9*b - 3. Let a(n) = 10*n**2 - 4*n + 1. Let h(g) = 5*a(g) + 2*f(g). Does 7 divide h(2)?
False
Suppose -3*i + 83 + 32 = -v, -5*v = 2*i - 105. Does 16 divide i?
False
Let i = -16 + 10. Is (-17 + -9)/(4/i) a multiple of 11?
False
Let z(j) = -j**3 - 10*j**2 - 2*j - 8. Let h be (36/15 - 2)*-25. Let w be z(h). Let n = w + -6. Is 4 a factor of n?
False
Let i = 97 - 64. Suppose -2*k - 1 = 5*v + 6, 3*v + i = 2*k. Does 3 divide k?
True
Let y(c) = c - 4 + 0*c + 7. Let u = -1 + 8. Does 10 divide y(u)?
True
Suppose i - 80 = -3*a - i, 2*a + 5*i - 68 = 0. Is 6 a factor of a?
True
Let l(s) = -5*s - 5. Is 6 a factor of l(-7)?
True
Let b = -2 + 5. Suppose 4*q = b*q + 58. Is 18 a factor of q?
False
Suppose -51 