Is 13 a factor of 32*((-6)/8)/l?
False
Let f be -2 + (-1 - -4) + -1. Is f - 15*(-5 + 3) a multiple of 15?
True
Let q = -56 - -80. Let o = q + 0. Is 12 a factor of o?
True
Suppose i - 100 = -3*i. Does 14 divide i?
False
Let q be 2/((-6)/(-9)) - -24. Suppose -q = -5*x + 113. Is x a multiple of 13?
False
Let m = -211 - -470. Does 37 divide m?
True
Let z(q) = 5*q**3 + 4*q**2 + 4*q + 3. Let p be z(-3). Is p/(-14) + (-2)/(-7) a multiple of 8?
True
Let u = 10 - 3. Does 3 divide u?
False
Is 9 a factor of 1/((1 + -2)*3/(-471))?
False
Suppose 0 = -3*c + 13 + 35. Is 5 a factor of c?
False
Let w = 8 + -5. Suppose w*q + 5 + 7 = 5*a, 3*q - 6 = -a. Suppose -5*m = 4*s - 106, a*m = 7*m - 5*s - 52. Does 9 divide m?
True
Suppose 9*i - 4*i - 220 = 0. Suppose 0 = v + 15 - i. Is v a multiple of 18?
False
Let j(y) = 4 + 10*y + 0*y**2 - 8 - 4*y**2 + 3*y**2. Let t be j(6). Suppose -t = 3*o - 80. Is o a multiple of 10?
True
Suppose -2*g + s = -5*g + 11, -4*g - 2*s = -14. Suppose -g*x + 30 = -2*x. Does 7 divide x?
False
Is (-6732)/(-60) + (-1)/5 a multiple of 14?
True
Does 14 divide ((-36)/(-10))/(4/70)?
False
Suppose -3*p = -p - 4. Suppose -5*i = -3*t - 115, p*i - 5*t - 65 = -0*i. Does 10 divide i?
True
Let x = -587 + 848. Is x a multiple of 29?
True
Suppose -3*w + 361 + 179 = 0. Does 18 divide w?
True
Let a = 22 - 15. Suppose a*z = 3*z. Suppose u + 0 - 15 = z. Is u a multiple of 12?
False
Is 15 a factor of (4 - -15)*(4 + -2)?
False
Let q(v) = 21*v - 10. Is q(2) a multiple of 30?
False
Let f = -185 - -275. Suppose -5*x - 5*k = -f, -3*x - 4*k + 62 = 6. Is x a multiple of 6?
False
Suppose -44 = -4*r + 4*w, -3*r + 17 + 41 = 2*w. Suppose -4*v = r, -2*n = 4*v - 0*v - 66. Is 12 a factor of n?
False
Let g(y) = -y**3 + 3*y**2 - 1. Let t be g(1). Let r(z) = 2*z**2 - 4*z + 3. Let f be r(2). Let m = t + f. Is m a multiple of 3?
False
Let g(v) = 2*v**2 - 28*v + 16. Does 32 divide g(18)?
True
Let h = 5 - -4. Let u(g) = 2*g + 12. Is u(h) a multiple of 13?
False
Let d = 12 - -15. Is d a multiple of 13?
False
Let a(x) = 4*x - 21. Let q be a(6). Let d(y) be the first derivative of 4*y**2 - 4*y - 1. Is d(q) a multiple of 16?
False
Let s(r) = 13*r + 5. Let m(j) = -12*j - 5. Let u(b) = -4*m(b) - 3*s(b). Is 15 a factor of u(4)?
False
Suppose -2*i + 0*i - 20 = 0. Let m = -3 - i. Is m a multiple of 7?
True
Let m(b) = 7*b**2 + b. Let f = -1 + 4. Suppose 4*g + 11 - f = 0. Does 13 divide m(g)?
True
Suppose -194 = -144*y + 142*y. Is y a multiple of 17?
False
Suppose 0 = -4*b + 25 + 71. Is b a multiple of 5?
False
Let s = -9 - -21. Does 6 divide s?
True
Is 30 a factor of ((-9)/(-12))/((-10)/(-2400))?
True
Suppose -d - 3*a + 8*a = 7, -5*d + 37 = -a. Let f be 2 + -1 - (16 - 3). Is d/f - (-82)/6 a multiple of 6?
False
Suppose 7*n = 2*n + 85. Is 17 a factor of n?
True
Suppose -5*u = -0*u - 15. Is u + 15/(2 + -1) a multiple of 18?
True
Suppose -z + 2*z - 20 = 0. Suppose v - z = -0*v. Is v a multiple of 10?
True
Let o = 157 + -55. Is o a multiple of 13?
False
Suppose -9 = -3*p + 3*h, 4*h - 17 = -5*p - 2. Suppose 5*a = -6 - 19, 0 = -4*t - p*a + 29. Is 11 a factor of t?
True
Let y(j) = 5*j - 5. Let w be y(5). Is 11 a factor of ((-176)/w)/((-4)/10)?
True
Let z(s) = -s**3 + 2*s**2 + 3*s - 1. Let f be z(2). Let r = 13 - f. Is 3 a factor of r?
False
Suppose -3*d + 456 = -0*d. Suppose 0 = -11*r + 7*r + d. Is r a multiple of 19?
True
Suppose -2*l = -x + 4, -4*x + 28 = -l - 3*l. Let f = -10 - -14. Does 3 divide 8/x*30/f?
True
Let w be 2/((18/21)/3). Let j = w + 49. Is 28 a factor of j?
True
Let w(s) = s**3 + 6*s**2 + 2. Suppose c = 3 - 6. Let r be w(c). Let n = r - -7. Does 12 divide n?
True
Let n(g) = 5 - 2 - g + 0*g**2 - 2 + 2*g**2. Does 9 divide n(3)?
False
Let f(o) = 4*o + 1. Let l be f(1). Let s = 9 + -4. Suppose -q - 4*m + 10 = -16, s*m = -l. Does 15 divide q?
True
Suppose -2*u - 2 = 4*p - 3*u, -5*p - 2*u + 4 = 0. Suppose p*o - o + 4*c = 12, 3 = o + c. Suppose o = -3*j - 0 + 48. Is 10 a factor of j?
False
Suppose -19 - 24 = -3*v + 5*j, 21 = v - 3*j. Let n = -10 + v. Let t(x) = 2*x**2 + 6*x + 4. Is 6 a factor of t(n)?
True
Suppose -d + 2 = -4*c + 9, 2*c = d + 3. Is (160/(-5))/(d + -2) a multiple of 12?
False
Let w(n) = -8*n - 1. Let q be w(-3). Let p = q - 11. Suppose 0*m + 3*m = p. Is 4 a factor of m?
True
Let o(u) = -u**2 + 6*u - 2. Let r be o(5). Suppose d = r*b + 21 + 20, 2*b - 10 = 0. Is 25 a factor of d?
False
Does 18 divide -1 - (-4)/(8/78)?
False
Is 51*(-5)/(20/(-4)) a multiple of 13?
False
Let g = -11 - -15. Let d = -1 - -1. Suppose -4*j - 13 = -7*j + g*m, -3*j - m + 23 = d. Does 3 divide j?
False
Suppose 0 = g - 5*r + 62, 5*r = -2*g + 4*g + 99. Let d = g + 67. Is 12 a factor of d?
False
Let k be ((-3)/(-6))/((-2)/(-80)). Does 3 divide k/(-3)*42/(-35)?
False
Let i be (-75)/12 - (-1)/4. Let s(c) = c**3 + 6*c**2 - 4*c + 6. Is 15 a factor of s(i)?
True
Let p(w) = -w + 2*w**2 - 4 + w - 4*w - w**2. Is p(6) a multiple of 8?
True
Suppose 2 = 5*n + 2*r - 5, -3 = -5*n - 3*r. Suppose 5 = 4*s - n. Suppose -3*g + s*v = -101, -v - 3*v - 4 = 0. Is 14 a factor of g?
False
Let m = 13 - 7. Does 3 divide m?
True
Suppose 4*s + 5 = 249. Is s a multiple of 21?
False
Let l(y) = -4*y + 1. Suppose 3*x + 5 = 2. Let a be l(x). Suppose 3*b = -5*r + 72, 0 = -a*b + r + r + 120. Is b a multiple of 16?
False
Suppose -13 = x - 37. Let i be 2/(8/3)*-4. Let o = i + x. Is o a multiple of 17?
False
Does 6 divide (34/10)/((-5)/(-25))?
False
Let k = 164 + -60. Does 14 divide k?
False
Suppose d - 88 = -d. Is 14 a factor of d?
False
Suppose 5*h - 100 = -4*m + 363, -m + 4*h = -100. Does 8 divide m?
True
Suppose 2*x + 5*j = x + 33, j + 48 = 4*x. Is x a multiple of 9?
False
Let h = 5 - -1. Suppose -2*l = -0*l - 420. Suppose -l = s - h*s. Does 17 divide s?
False
Let r(z) = 5*z**2 - 4*z + 5. Let j(m) = 2*m + 9. Let n be j(-7). Let l be r(n). Suppose -y = 3*k - 90, 0*k - 5*k - 2*y + l = 0. Is k a multiple of 15?
True
Suppose 8 = 4*c, 3*v - 3*c = -4*c + 8. Let j be 5/(-5)*(-14 - -2). Is 13 a factor of j + 1 + v + -2?
True
Suppose -4*r - 27 = -5*d, 4*d + 4*r = r + 3. Suppose 54 = d*a - 2*u, 0*a + 4*a - 72 = -2*u. Is a a multiple of 12?
False
Suppose 0 = 4*f - 523 - 657. Suppose 3*g + g + 5*a = f, g + 4*a = 60. Suppose -2*m + 4*b = -40, 0 = -2*m - 2*m - 4*b + g. Is m a multiple of 15?
False
Let l(n) be the first derivative of -4 - 9/2*n**2 - 4*n. Does 23 divide l(-4)?
False
Suppose -5*k - 10 = -2*a, 4*k + 53 = 5*a + 11. Is a a multiple of 2?
True
Let j(q) = -2*q**3 + 6*q**2 - 5. Let g be j(4). Let r = -7 - g. Suppose 2*c = -8 + r. Does 11 divide c?
True
Suppose 3*u + 33 = -24. Let o = u + 41. Suppose 0*m - o = -2*m. Is m a multiple of 8?
False
Let k(b) = 60*b - 3. Suppose 3*p = -p + 8. Let c be k(p). Suppose c = 4*x + 17. Is 14 a factor of x?
False
Let s = 8 + -6. Let b be 2 - (5/1 - s). Let q = b + 5. Does 4 divide q?
True
Suppose 2*k - m - 9 = -2*k, 0 = 5*k - 3*m - 13. Is 35/14*7*k a multiple of 25?
False
Let v = -9 + 21. Let r be ((-2)/4)/((-2)/v). Let q(s) = s**3 - 3*s**2 + 4*s - 3. Is q(r) a multiple of 8?
False
Let w be (-2)/9 - 2240/(-36). Suppose 0 = -g - 3 - 29. Let a = g + w. Does 15 divide a?
True
Let g = 117 - 32. Is 18 a factor of g?
False
Does 51 divide (-1)/(-2)*(417 - 9)?
True
Suppose -o - 4*n + 73 = 0, 3*o - 4*n = o + 134. Suppose -j + o = m + 4*m, 0 = 4*m - 2*j - 58. Does 7 divide m?
True
Let q = 13 - 10. Let l = 14 + -10. Suppose 3*y = -5*g + 5, l*g + 0 = -q*y + 1. Does 2 divide g?
True
Does 17 divide 3/(-18) + 223/6?
False
Suppose 194 = -6*r + 878. Is 12 a factor of r?
False
Suppose 5 = 3*v - 5*z, -4*v + 4*z + 10 + 2 = 0. Suppose -5*l + 30 = v. Suppose 3*a + 2*m = -2*m + 96, -l*a + 5*m + 125 = 0. Is a a multiple of 14?
True
Let j(o) = o + 41. Let c be j(0). Let p = -15 + c. Is p a multiple of 16?
False
Suppose 0 = -4*h - 3*c + 8, -3*c - 6 = -3*h + 2*c. Suppose -r - 5*a + 34 = 0, -a = 5*r - h*a - 144. Does 29 divide r?
True
Let r be 2*(9/2)/3. Let f = 5 + r. Does 8 divide f?
True
Let n = -3 + 9. Let d(c) = 14*c + 2. Let f be d(n). Does 10 divide f/4 + (-1)/2?
False
Let a be -9 + (5 - 2) + 0. Is 11 a factor of (-258)/4*4/a?
False
Let l(j) be the second derivative of j**5/20 - j**4/2 + 5*j**3/6 - 7*j**2/2 - 2*j. Is 13 a factor of l(6)?
False
Let g(t) = 3*t**3 - t**2 + 2*t - 1. Let h be g(1). Suppose 4*v - n = h*v + 14, -2*v