 48. Is n a multiple of 19?
False
Let k(w) = -3*w - 2*w - 3 + 9*w + 5. Let r(b) = 4*b - 1. Let g be r(1). Does 6 divide k(g)?
False
Let t(o) = o - 11. Let r be t(8). Let b(z) = 3*z**2 - 2*z + 1. Is 17 a factor of b(r)?
True
Let u(m) be the third derivative of m**5/60 - m**4/6 - m**3/3 - m**2. Let h be u(4). Is (1/h)/((-2)/48) a multiple of 6?
True
Suppose r - 3*r + 76 = 0. Does 16 divide r?
False
Let l be ((-6)/10)/((-15)/75). Suppose 6 + 24 = s - 5*u, -4*s = l*u - 97. Is s a multiple of 13?
False
Let f be ((-15)/10)/((-9)/(-48)). Is 9 a factor of f*1*108/(-16)?
True
Let w(l) = 4*l**2 + 2*l - 2. Let z(v) = 7*v**2 + 3*v - 3. Let o(x) = -5*w(x) + 3*z(x). Let i be o(1). Let k = i - -7. Is 3 a factor of k?
False
Suppose -4*h - 4*m = -3*h - 61, -3*m + 65 = h. Is 32 a factor of h?
False
Suppose 4*g + 333 = 7*g. Suppose -v + 90 = 4*n - n, v - 4*n - g = 0. Is 27 a factor of v?
False
Let j(x) = -5*x**3 + 2*x**2 - 1. Let b be j(-1). Suppose b*m = m + 160. Is m a multiple of 11?
False
Suppose 4*l = -5*a - 43 + 193, -3*l + 3*a + 99 = 0. Let n = l + -18. Does 7 divide n?
False
Let s(q) = -q**3 + 5*q**2 + 6*q - 2. Let z be s(6). Let m(f) = -f**3 - 4*f**2 - 2*f. Let h be m(-2). Is 8 a factor of (1 + (h - z))*-13?
False
Suppose -5*d + 47 + 8 = 5*z, -5*d + 27 = z. Let m be (-3)/(-12) - (-55)/4. Let r = m - z. Does 3 divide r?
False
Suppose 16 = 4*s - 0*s. Is 3 + (-2)/(s/(-30)) a multiple of 3?
True
Suppose -2*b = 2 - 20. Let s = b - -1. Is 9 a factor of s?
False
Is 17 a factor of ((-5)/(-15))/(1/102)?
True
Let w(i) = i**2 - 5*i + 4. Let g be w(3). Let o be (1/2)/(g/(-16)). Suppose -o*z - 5 = 5*x, 3 = -4*x - 5*z - 10. Is x a multiple of 3?
True
Let o(k) = 14*k**2 - 3*k - 4. Does 16 divide o(-2)?
False
Let l = -30 - -133. Does 7 divide l?
False
Let k = -40 - -88. Does 12 divide k?
True
Let s be (-9)/7 + 2/7. Let i be (3 - (-2)/(-1))*2. Is 3 a factor of (-1)/i*s*6?
True
Let k(h) = -1 - 3*h + 5*h + 3*h. Let j be k(3). Suppose -r - 4 + j = 0. Does 10 divide r?
True
Suppose -2*w = -5*w. Suppose 7*s - 3*s = 5*b - 36, w = -2*b - 2*s. Is 4 a factor of b + 2 + 1 + -1?
False
Let h(o) = -2*o. Let l be h(-1). Let r be 1 - (l - 3)*2. Suppose 2*m + r*f = 42, f + 26 = m + m. Is 7 a factor of m?
False
Let l(s) = -40*s. Let x be l(-1). Let q = x + -22. Does 6 divide q?
True
Let w(v) = 7*v**2 + 3*v - 1. Suppose -r = -5*r. Suppose -2*s - c + 3 + 6 = r, 0 = 5*c - 25. Is w(s) a multiple of 17?
False
Let n(t) = t**2 - 7*t + 6. Let j be n(6). Is 5 a factor of (j - 1/(-1))*15?
True
Suppose q + 1 + 3 = 0. Is (-142 + 0)*2/q a multiple of 16?
False
Suppose 1813 = 15*i + 613. Is 16 a factor of i?
True
Let s(i) = 9*i + 4. Let u be s(6). Suppose -62 = -5*k + v, -2*k - 2*k - 2*v + u = 0. Is 7 a factor of k?
False
Let b be (-6 - -6)*2/(-4). Suppose b*r = -r + 15. Is r a multiple of 15?
True
Let t = -1 + 1. Suppose -i - 2*j - 6 = t, -5*j + 40 = -5*i - 35. Does 5 divide 38/6 - 8/i?
False
Let r(h) = -h**3 - 10*h**2 + h + 9. Let g be r(-10). Is g/5 + (-1740)/(-75) a multiple of 15?
False
Does 22 divide (129 + 3)*(3/2 + -1)?
True
Is (-1)/((-10)/(-56) - (-2)/(-8)) a multiple of 14?
True
Suppose 4*t - 8*t + 8 = 0. Suppose t*g - 5*g + 90 = 0. Is 9 a factor of g?
False
Suppose 0 = 4*x - 28 - 96. Is x a multiple of 31?
True
Suppose q - 3 = 2. Suppose 0 = q*v + 4*a - 128 + 9, -5*a = -4*v + 87. Does 9 divide v?
False
Suppose 0 = f - 2*j + 4, 3*f + 3*j + 10 + 2 = 0. Let p = 20 - f. Is p a multiple of 12?
True
Let m = 2 + 1. Let j = m + -1. Suppose -f - h - 12 = -2*f, -j*h - 34 = -3*f. Does 10 divide f?
True
Let s(a) = -9*a**3 - 2*a**2 - a + 1. Let b be s(-2). Let q = 118 - b. Does 23 divide q?
False
Let i = 57 - 11. Let s = 65 - i. Does 9 divide s?
False
Suppose 0 = -0*h - h + 3. Suppose z = h*z - 6. Is z a multiple of 3?
True
Suppose -4*v = 3*b + 79 + 97, -4*b = 5*v + 234. Suppose 0 = g - 16 + 104. Let z = b - g. Does 16 divide z?
True
Suppose 0*l - 5*l = -4*s - 457, -5*l + 469 = 2*s. Does 31 divide l?
True
Suppose -l + 3 + 1 = 0. Is 2 a factor of l?
True
Suppose -4 = h + 3*s, -h + 8 = h - 2*s. Suppose -h*p = 2*p - 152. Does 19 divide p?
True
Suppose -4*z + 11 + 1 = 0. Suppose 8 = -2*s, -z*v + 88 - 4 = -3*s. Is 6 a factor of v?
True
Is 2 a factor of 10/(-5) - -4*1?
True
Let u = 0 + 3. Suppose -4 = -2*p + p. Suppose -u*i - a + 19 + 7 = 0, -5*i = -p*a - 32. Is 7 a factor of i?
False
Suppose 3*v - 79 = -4*n, -5*n + n - 2*v = -82. Let l = -2 + n. Does 8 divide l?
False
Suppose 7*a = 5*a - 28. Let z = -7 - a. Is 3 a factor of z?
False
Suppose q - 4 = -q. Let s(z) = -5*z**2 - 1 + 4*z + 7*z**3 - z + 4*z**2 + 0*z**q. Is 19 a factor of s(2)?
True
Is -26*((-6)/20 + (-6)/30) a multiple of 2?
False
Let y(t) = t**3 - t**2 - 2*t + 2. Let q be y(0). Suppose -3*l + 261 = -2*a, -q*l = -0*l - a - 174. Does 13 divide l?
False
Suppose 5*i - 14 = 6. Is 3 a factor of (-1 + i - 1) + 4?
True
Let a(h) = -16*h + 4*h**2 - h**3 + 19*h + 0*h**2. Let v = 2 + 2. Is 12 a factor of a(v)?
True
Suppose -7*z + 10 = -18. Is 3 a factor of z?
False
Let g = 116 + -44. Is 9 a factor of g?
True
Suppose 0 = 3*q - 5*r - 205 - 15, 2*q - 125 = -r. Does 13 divide q?
True
Let m(n) = -4*n - 2. Let r be m(-2). Does 18 divide (0 + r/(-3))*-17?
False
Let n(o) = 4*o**2 + o. Let s be n(1). Let c be 3/2*(s - 11). Does 2 divide (20/6)/((-6)/c)?
False
Suppose 5*w - 444 = g, 0 = -2*g - 0*g - 8. Suppose 0 = 4*f - 2*f - w. Is 11 a factor of f?
True
Let h be (1 - 2) + 2 + 129. Suppose 2*v = -3*v + h. Is 13 a factor of v?
True
Let q be (-3)/1 + 3 - -4. Suppose 2*a = -0*a + q*t + 96, 5 = t. Suppose 24 = 2*w + 2*n - 8, -4*w + a = n. Does 14 divide w?
True
Let f be 4*2/4 + -3. Let c be f - 2*-1 - -1. Suppose 14 = -c*v + 44. Does 7 divide v?
False
Let q(d) = -d - 7. Let x be q(-9). Suppose 0 = x*c - 27 - 7. Is 17 a factor of c?
True
Suppose 3*n + 12 = 0, 0 = -3*u + 5*n - 0*n - 127. Is u*(3 + -7 - -3) a multiple of 20?
False
Suppose 4*o - 25 = -101. Let h = 27 + o. Is h a multiple of 3?
False
Suppose 0*w + 4*w - 2*o - 380 = 0, -190 = -2*w + 5*o. Is w a multiple of 19?
True
Let u(h) = -h + 4. Let k be u(4). Suppose m - 24 - 15 = k. Does 8 divide m?
False
Suppose 11*h + 4180 = 22*h. Is 19 a factor of h?
True
Suppose 0 = 2*a + 3*o - 45, 0 = 5*a + o + 38 - 131. Suppose 39 = 3*r - a. Does 15 divide r?
False
Suppose -a = x - 39, -2*a - 3*x = -6*a + 170. Does 16 divide a?
False
Let x(j) = j**3 + 16*j**2 - 13*j - 5. Does 26 divide x(-16)?
False
Let a = 198 + -137. Does 13 divide a?
False
Suppose 12 = 4*l, -3 = -3*t + 2*l + l. Let o = t + -9. Let p(g) = -g**3 - 4*g**2 + g - 5. Is 15 a factor of p(o)?
True
Let b(r) = 35*r**3 - 2*r**2 - r + 2. Is 5 a factor of b(1)?
False
Let d(t) = 5*t - 15. Let h(n) = 3*n - 8. Let o(l) = 4*d(l) - 7*h(l). Does 2 divide o(-9)?
False
Suppose 0*u = u - 10. Does 12 divide -8*5/(u/(-3))?
True
Suppose -h = -4*l + 125, 5*h + 36 = -0*l + l. Is 4 a factor of l?
False
Suppose 2*o = 5*w + 213, 4*o - 450 = -0*o + 2*w. Does 19 divide o?
True
Let v = -98 + 159. Suppose -v = -5*l + 59. Is 24 a factor of l?
True
Suppose 5*t = -2*n + 99, n - 3*n = 2*t - 96. Is 13 a factor of n?
False
Let y = 78 - 49. Does 9 divide y?
False
Suppose -8*s - 1000 = -10*s. Is s a multiple of 20?
True
Suppose -x + 6*q + 27 = q, -6 = 2*x + 2*q. Let w(g) = g - 3. Let h be w(3). Suppose 3*p + 3*k + x - 38 = 0, -p + 4*k + 22 = h. Is 6 a factor of p?
False
Is 13 a factor of 16/(-136) - 223/(-17)?
True
Let r(y) = -y**3 - 10*y**2 - 8*y - 8. Suppose -27 = 3*m - p, 4*p + 12 = -0*p. Does 19 divide r(m)?
False
Suppose 3*a - 25 = -7. Does 6 divide a?
True
Let o(m) = -195*m**3 - m**2 - 2*m. Is 52 a factor of o(-1)?
False
Suppose -w = w. Suppose 4*i - 2*s - 37 - 67 = 0, 4*s = w. Does 13 divide i?
True
Suppose -4*m - 2*i = -1398, 0*i = 3*m + i - 1047. Is 36 a factor of m?
False
Let u(b) = -b**2 - 8*b - 1. Let q be u(-4). Let t = q + -1. Is t a multiple of 13?
False
Let d(y) = 2*y**2 - 4*y + 8. Does 26 divide d(8)?
True
Let o(b) = 3*b - 4. Let t(j) = -4*j + 3. Let x(u) = -5*o(u) - 6*t(u). Is 19 a factor of x(4)?
True
Suppose 0 = i - 0*i - 13. Is 3 a factor of i - ((-1)/(-1) - -2)?
False
Let y be (3 + 14/(-4))*0. Suppose 0 = 4*t - y*t - 68. Does 3 divide t?
False
Does 23 divide (20/16)/(4/176)?
False
Let g(l) = l**3 - 3*l - 7 + 0 - l - 5*l**2. Let v be g(6). Does 15 divide (-1 + 7)*v*1?
True
Suppo