- 119. Is m a multiple of 19?
True
Let c be 8/28 + (-68)/(-7). Suppose 0 = -4*x - 2*d, 0*x + 3*d = -x - c. Suppose -5*r = 4*g + 18 - 63, -69 = -5*g - x*r. Does 8 divide g?
False
Suppose 2*i - 28 = -4*s, i + 5*s - 6 = 23. Suppose p = -p + i. Suppose 24 = 2*u - b - 8, p*u - 2*b - 34 = 0. Is u a multiple of 12?
False
Suppose -2*x = 2*d + d - 41, -4*x - d = -67. Does 13 divide x?
False
Let j(u) = -u**2 + 15*u + 8. Let r(k) = -k**2 + 14*k + 8. Let l(g) = 4*j(g) - 5*r(g). Does 2 divide l(11)?
False
Suppose -5*u + 2*z + 9 + 1 = 0, -2*u - 7 = -3*z. Suppose -u = l - 25. Is 15 a factor of l?
False
Let o = 14 + -20. Is 40/o*(-2 - 1) a multiple of 10?
True
Let r = 39 - 28. Is 10 a factor of r?
False
Let v = -3 - -7. Let p(l) = l**3 + v*l**2 - 3*l**2 + 5*l**2 + l**2 - 2 + 7*l. Does 5 divide p(-5)?
False
Suppose 6*t - 5 = 5*t. Suppose -320 + 60 = -t*a. Is 21 a factor of a?
False
Let w = -5 + -21. Suppose 4*x + 5*j = 245, 0*x - j = -x + 50. Let h = w + x. Is 9 a factor of h?
False
Suppose 4*u - x - 8 = -5*x, u - 2*x - 5 = 0. Suppose -u + 0 = -a. Is a even?
False
Suppose 2*v + 3*i - 2*i = 12, 2*v - 18 = 2*i. Is (-6)/(-21) - (-278)/v a multiple of 13?
False
Suppose 0 = -2*u + 7 + 3. Suppose u*b - 38 = 27. Is 10 a factor of b?
False
Does 4 divide 663/21 + ((-36)/(-21))/(-3)?
False
Let a = -6 + 11. Suppose -q = 5, -8 = 3*y + a*q + 5. Suppose 2*f = -3*v + 49, 5*f = -y*v + 2*f + 66. Does 5 divide v?
True
Let s = -5 - -3. Let f be 5/(5/28) - s. Suppose -2*w = w - 9, -2*w = 2*d - f. Does 6 divide d?
True
Let b be 2 + 1 - (-2)/(-2). Let h(m) = -b - 2 - 2 + 3*m. Is 15 a factor of h(7)?
True
Let b(p) = -4*p + 4. Let a be b(-7). Suppose k - 4*w - 40 = -0*k, -k + 2*w = -a. Is 8 a factor of k?
True
Let c = 5 - 4. Does 16 divide 1*(c + (26 - 0))?
False
Let x(p) = -2*p + 6. Let d(u) = u**2 + 7*u - 1. Let a be d(-6). Is 12 a factor of x(a)?
False
Let w(l) = 2*l**3 + 4*l**2 + 5*l - 6. Let n be w(-7). Let v be n/(-6)*(-8)/(-6). Suppose -3*o + v = c + c, 0 = -4*o - 3*c + 158. Does 13 divide o?
False
Suppose 3*z = o - 9, 3*o = 4*z + 4 + 3. Let u(t) be the second derivative of t**4/4 + t**3/3 - t**2/2 + t. Does 10 divide u(o)?
True
Let g = -82 - -124. Does 14 divide g?
True
Suppose -4*d - 16 = v, 2*d = -4*v + 5*d + 12. Suppose 3*l + v = 12. Suppose -2*a + 14 = 4*k, -k + 18 = l*a - 3*k. Is a a multiple of 5?
True
Let c = 92 + -61. Let l be -1 + -17 + 2/(-1). Let x = l + c. Is x a multiple of 8?
False
Let b be 15/(-6)*(-22)/5. Suppose -5 = -u + b. Does 6 divide u?
False
Suppose 0 = -o - o. Suppose o = -z + 6*z - 20. Is 2 a factor of z?
True
Let o be 36/(-42)*(13 + 1). Let b = 37 + o. Suppose -2*z - 3*z = -b. Is z even?
False
Let p = -9 - -8. Is 15 a factor of (p - 35)/(-1) + 1?
False
Suppose s + 12 = 4*s + 5*w, -3*w = 0. Suppose -s*c + c - 24 = 0. Does 4 divide 1/2 + (-92)/c?
True
Suppose 0 = -2*m - d + 15, -5*d - 5 = m - 26. Let h be 2/m + (-70)/(-6). Suppose r = h + 18. Is r a multiple of 15?
True
Let y(a) = 8*a - 8. Let n be y(6). Let x = -21 + n. Does 19 divide x?
True
Let n = -1 + 181. Is 18 a factor of n?
True
Let q = 118 + -61. Is q a multiple of 17?
False
Let j = 6 - 3. Suppose j = 3*b - 51. Does 18 divide b?
True
Let g(f) = 12*f**2 + 3*f + 4. Does 16 divide g(-2)?
False
Suppose 5*a + 2 = -3. Let f = a - -3. Suppose 0 = -4*q + f*q - 3*n + 41, 5*n - 79 = -4*q. Is 8 a factor of q?
True
Suppose 11 = -4*o - 5. Let x(l) = -6*l + 3. Does 7 divide x(o)?
False
Let t(i) = 8*i + 3. Suppose 4*u = -2 + 18. Let a be t(u). Let w = -19 + a. Is 16 a factor of w?
True
Let y(m) = m**2 + 3*m - 7. Is 2 a factor of y(3)?
False
Let u = -32 + 62. Is u a multiple of 15?
True
Is 1/((3 + (-2415)/804)*-4) a multiple of 10?
False
Let k(t) = t - 5. Let r be k(5). Suppose r = -0*m - 2*m - 3*x - 35, -m = 5*x + 28. Is 8 a factor of 1/(-2)*(-3 + m)?
True
Let d(o) = 2*o**3 + 4*o**2 + 2. Let j be d(-3). Is (-940)/j + 2/8 a multiple of 21?
False
Let x be (129/6)/(3/12). Let n = x + -50. Does 12 divide n?
True
Let p be 2 + 2 + 5 + 2. Suppose p = 3*x - 4. Does 5 divide x?
True
Let u be (8/(-5))/(2/(-35)). Let k be (-8)/u - 338/(-7). Suppose -7 = -5*s + k. Is 4 a factor of s?
False
Let j(t) = -2*t + 27. Does 8 divide j(5)?
False
Let v = 2 + 3. Suppose 0 = -v*z - 2*a + 29, -3*z + a + 2*a + 30 = 0. Is z even?
False
Suppose 0 = -2*q - 5*m + 48, 0 = 3*q - 6*q + 4*m + 49. Let v = q + -13. Suppose -v*h = -2*h - 72. Does 8 divide h?
False
Let c(i) = -i**3 - 5*i**2 + 4*i - 9. Let n be c(-7). Let m = -22 + n. Is 10 a factor of m?
False
Does 3 divide (1/(15/102))/(5/25)?
False
Let o be 6/(-5)*(-2 - 13). Does 9 divide o/(3/(-3))*-1?
True
Does 20 divide 0/(-2 + -1) + 5*4?
True
Let o be (-2)/8 - 241/(-4). Suppose d - 4*d + o = 0. Suppose -d = -3*r - 4*a, -5*r + 13 = -2*a - 29. Is 8 a factor of r?
True
Let u(x) = -x**3 - 2*x**2 - 1. Suppose 0 = m - 5*m - 16. Does 8 divide u(m)?
False
Let g(f) = -7*f - 28. Does 10 divide g(-18)?
False
Let w = 337 - -202. Does 49 divide w?
True
Suppose 3*w - i = -1 + 4, 2 = 2*w - 3*i. Does 6 divide 31/w + (-2)/(-1)?
False
Let p = -11 + 4. Let t(n) = n**3 + 7*n**2 - 5*n + 3. Is 19 a factor of t(p)?
True
Let z(d) = d**3 - d**2 - 9*d + 10. Is z(6) a multiple of 17?
True
Let n(o) = -o + 25. Is 17 a factor of n(8)?
True
Let a(h) = -h**2 + 11*h + 2. Let l(m) = m**3 + 6*m**2 + 2*m - 6. Let b be l(-5). Is 20 a factor of a(b)?
True
Let x = 73 - 51. Suppose w = n - 3*w - 15, -3*w + x = 4*n. Is 3 a factor of n?
False
Let z be 36/10 + (-2)/(-5). Suppose 0 = 2*a - z - 0. Suppose 4*p - 1 = a*p + q, -4*q + 20 = 0. Is 2 a factor of p?
False
Let v be ((-42)/18)/(3/(-63)). Is ((-42)/v)/((-6)/28) a multiple of 3?
False
Suppose -2*z = -2*m + 3*m + 33, 4*z + 48 = 4*m. Let l = z + 68. Suppose 4*i = -2*s + 5*s - l, 0 = -2*s + 4*i + 38. Is s a multiple of 6?
False
Suppose -g + 3*g - 72 = 0. Does 18 divide g?
True
Does 5 divide 12 + 0 + (12/(-3))/(-4)?
False
Let g be (-24)/18*(4 - 1). Let h be 3/(-6)*2*g. Suppose c - h*c = -30. Does 5 divide c?
True
Suppose -3*s + 267 = 4*f + f, -3*f + 158 = 4*s. Let i = f + -37. Does 10 divide i?
False
Let x be 2 + -5 + 1 - -54. Suppose 0*g - 2*g + x = 0. Is g a multiple of 13?
True
Let y = -3 - -9. Let h = y + -2. Does 10 divide ((-784)/24)/(h/(-6))?
False
Let s be ((-2)/(-3))/((-1)/(-6)). Let q = -6 + s. Does 14 divide q/3 + 168/9?
False
Let g = -4 + 8. Let v(f) = f**3 + 7*f**2 - 11*f + 2. Let w be v(-8). Let d = w - g. Is 11 a factor of d?
True
Let m be ((-3)/6)/1*-6. Suppose -m*f + 9 = a, -3*f + 2 = -3*a + 5. Suppose -6 + 30 = a*p. Is p a multiple of 5?
False
Suppose 0 = 2*t + 5*f - 63, -f - 14 = -0*t - t. Suppose -1 = -2*k + t. Let o = 4 + k. Is o a multiple of 14?
True
Let t(r) = -15*r + 27. Is t(-7) a multiple of 22?
True
Suppose 5*s - 854 = v + 366, -5*v + 760 = 3*s. Is 35 a factor of s?
True
Suppose 2*d = -3*x - 17 - 1, 4*x = 2*d - 10. Let r = x - -12. Is r a multiple of 8?
True
Suppose -3*r - 2*r = -3*p + 10, -3*p - 5 = -2*r. Let w(v) = 2*v**2 + 3*v - 5. Is 9 a factor of w(r)?
False
Let p(o) = o**3 - 2*o**2 + o + 2. Let m be p(2). Suppose -h - 3*z = -57, -3*h + 177 = -5*z - 50. Suppose 4*s - 5*i = h, 5*s + m*i - 76 = -0*s. Does 16 divide s?
True
Suppose -2*j + 4 = -4. Suppose -9 - 2 = g + 5*r, -j*g = -4*r - 52. Let s = -4 + g. Is 5 a factor of s?
True
Let c(v) = 2*v**2 + 4*v + 3. Let q be c(4). Suppose 0*b - b = -q. Suppose 4*y + k - b = -8, -y + 4*k = -32. Is y a multiple of 10?
False
Let m(d) = 5*d**3 + 2*d**2 - 1. Suppose t + 2 = 3. Let k be m(t). Suppose -2*x = -5*r + 104, k*r + 2*x - 76 = 2*r. Is 10 a factor of r?
True
Let d(z) = 9*z - 1. Let f be d(-1). Let n be (-7 - -1)*5/f. Suppose -19 = -n*j + 41. Does 13 divide j?
False
Let j(p) = p**2 + 15*p + 6. Let g be j(-13). Let d = 49 + g. Is 5 a factor of d?
False
Suppose -39 = -t - 3. Is 12 a factor of t?
True
Suppose -3*m - 4 = m. Let z(j) = -45*j + 1. Let g be z(m). Let t = g + -28. Is t a multiple of 9?
True
Does 16 divide -5*(-9)/60 + 634/8?
True
Let t = 95 + -63. Let x = t + -5. Is 14 a factor of x?
False
Let t(l) = 5*l**2 + 4*l. Let y be t(-4). Suppose 0*h + 2*h = -y. Let a = -21 - h. Is 10 a factor of a?
False
Is 4 a factor of (-4)/(-18) + ((-183)/(-27) - 3)?
True
Let t(w) = 8*w**3 - 2*w + 2. Let s be t(1). Let p(x) = x**3 - 6*x**2 - 3*x - 2. Is 31 a factor of p(s)?
False
Let l = 78 - 46. Is 15 a factor of l?
