 = 171 + w. Let y = -15 + v. Is y a multiple of 15?
False
Suppose j + 5 - 9 = 0. Suppose -x + 0*c + 4*c = -24, -j*c - 40 = -3*x. Is x a multiple of 4?
True
Let r(h) = 11*h**2. Does 13 divide r(-2)?
False
Let l = -22 + 35. Does 6 divide l?
False
Let m(q) = 5*q**3 + 2*q**2 - q + 2. Let a be ((-3)/3)/1*-2. Is m(a) a multiple of 19?
False
Let o(q) = -q**2 - 25*q + 34. Does 5 divide o(-21)?
False
Let u be ((-14)/4 - 1)*-34. Suppose -n = -3*t + u, 255 = t + 4*t + 3*n. Does 17 divide t?
True
Let t be (-76)/(-6) + (-3)/(-9). Suppose -h = -2*h + t. Is 13 a factor of h?
True
Suppose 0 = -2*x + 50 - 4. Let o = x + 207. Suppose -2*p - 3*p = -o. Does 23 divide p?
True
Suppose -7*m + 204 = -4*m. Suppose -27 = -5*k + m. Does 8 divide k?
False
Let t(w) = 6*w**2 + 2*w + 1. Let g be t(3). Suppose g - 165 = -4*f. Is f a multiple of 13?
True
Let m be 57/12 - 1/(-4). Suppose -2*s - 2*z - 27 = -m*s, -5*s - 2*z + 45 = 0. Is 3 a factor of s?
True
Let o be (0 - -2 - 2)/2. Let p = 10 - o. Is p a multiple of 5?
True
Let x = -28 - -82. Is 22 a factor of x?
False
Let d(m) = m**3 - 10*m**2 + 8*m + 13. Let f be d(9). Suppose f*u = -2*l + 50 + 4, 4*l + 3*u - 93 = 0. Is l a multiple of 8?
False
Suppose 3*z + 4 = 76. Does 8 divide z?
True
Let b be (-2)/9 + 1916/36. Suppose b = 3*h + t, -1 + 3 = -2*t. Does 11 divide h?
False
Let x(g) = 3*g**2 - 3*g - 3. Let k(y) = -y**3 - 7*y**2 - 6*y + 3. Let o be k(-6). Does 15 divide x(o)?
True
Let y = 44 - 29. Is y a multiple of 5?
True
Suppose 9*o - 117 = 6*o. Is o a multiple of 11?
False
Let l be ((-12)/9)/(1/(-3)). Suppose 0 = 4*t + 3*g - 119, -3*t + 4*t - l*g = 44. Does 9 divide t?
False
Let f = -205 - -406. Suppose -15 = 5*q, -f = -5*v - 2*q - q. Does 8 divide (-12)/v + (-58)/(-7)?
True
Suppose 0 = 2*k + k + 144. Is 4 a factor of k/(-30)*(-10)/(-4)?
True
Does 12 divide 53 - (2 + -2)/(-2)?
False
Let k(b) = -3*b**3 - 3*b**2 - 3*b. Does 13 divide k(-4)?
True
Let w(p) = -3*p - 2. Let o be w(-3). Let s = o - 5. Suppose -s*b = -b + 5*f - 13, 91 = 3*b + 2*f. Does 26 divide b?
False
Let i(j) = -j**2 - 3*j + 5. Let n be i(-4). Does 10 divide -1*(-188)/(4/n)?
False
Let v = 28 + -15. Does 6 divide v?
False
Let p(v) = v**2 + 2*v - 8. Let i be p(-6). Let n be (5/(-10))/((-1)/i). Is 9 a factor of 2/n + (-35)/(-4)?
True
Let j(h) = -16*h + 2. Let g be j(-2). Suppose 3*x - g = 29. Is x a multiple of 10?
False
Suppose 0 = z - 2 - 13. Does 7 divide z?
False
Suppose 2*f - 74 = -3*j, -f - 95 = -3*j - j. Is 7 a factor of j?
False
Let f be (1 - 7/2)*2. Let k = 14 + f. Is k a multiple of 9?
True
Suppose 15 = j + w + 4*w, 3*j - 15 = -5*w. Let t be 2/(-8) + 705/20. Is 12 a factor of (1 - j)/(1/t)?
False
Let l(t) = -t**2 - 9*t - 4. Let m = -1 - 8. Let n be l(m). Let a(i) = -i**2 - 5*i + 3. Does 7 divide a(n)?
True
Does 17 divide (1 + (-192)/(-9))*(-3 - -6)?
False
Suppose 3*m = 0, 286 = 3*l - l - m. Is l a multiple of 27?
False
Suppose 0 = -3*t - t + 4*w + 124, -3*w + 6 = 0. Is t a multiple of 17?
False
Let x(h) be the third derivative of -h**6/120 - 7*h**5/60 + h**4/4 - 3*h**3/2 - h**2. Let z be x(-8). Is 5 a factor of ((-7)/(z/6))/(-1)?
False
Is 12 a factor of 2 + 1/(5/690)?
False
Let t(b) = b**3 + 13*b**2 - 15*b - 11. Let u be t(-14). Suppose 8*p - 4*p + 75 = 5*y, 3*p - 18 = -u*y. Is 11 a factor of y?
True
Let s(x) = x**3 + 5*x**2 + 3*x - 1. Let g be -5 + (0 - (-1 - 0)). Let j be s(g). Suppose -8*w + j*w = -130. Is w a multiple of 13?
True
Suppose 5*i - s = -5*s + 18, 0 = -5*i + 5*s. Let b = i + 1. Suppose 0 = 5*z - 2*z - b*u - 33, -19 = -z + 3*u. Does 3 divide z?
False
Let v = 62 + -143. Let j = v + 137. Is 14 a factor of j?
True
Let q(o) = 7*o**3 - 2*o**2 - 2*o. Let p be q(3). Suppose 0 = 2*r + r - p. Let x = -28 + r. Is x a multiple of 12?
False
Suppose 4*g - 41 - 55 = 0. Is 16 a factor of g?
False
Let f(w) = -2*w**3. Let i be f(-1). Is 7 a factor of (14/(-4))/((-1)/i)?
True
Let y(v) = -v**3 + 5*v**2 + v + 3. Let k be y(5). Let b(p) = p**3 - 8*p**2 + p + 11. Does 19 divide b(k)?
True
Suppose -316 = -2*k - 2*k. Suppose -3*i = 2*d - k, 4*i - 2*d + 0*d = 124. Is i a multiple of 9?
False
Let y(z) = -2*z + 3. Let p = -1 + -2. Is 7 a factor of y(p)?
False
Let k = 122 + -53. Does 14 divide k?
False
Suppose 5*m - 5*z - 75 = 0, 3*m - 5*z - 20 = 35. Let n be (m/(-4))/(9/(-18)). Let l = n + 3. Is 4 a factor of l?
True
Let g = -178 + 269. Suppose g = 3*r - 17. Is 12 a factor of r?
True
Suppose -3*u + 3*l + 9 = 0, u - 5*l = 1 - 6. Suppose 5*b + 27 = 3*w + 215, u*b - 186 = w. Suppose -2*f - 1 + b = 0. Does 9 divide f?
True
Let h = 69 - 56. Is 6 a factor of h?
False
Suppose -2*i = -18 - 68. Does 8 divide i?
False
Let u(d) = 3*d - 3 + 1 + 4 - 8. Let g be u(8). Suppose -5*p = o - 18, -p + 0*p + g = o. Does 9 divide o?
True
Let y(l) = 9*l**2 - l - 1. Let m be y(-1). Let g(n) = -n**2 - n. Let i(v) = -v**3 + 5*v**2 + 8*v - 8. Let k(h) = -3*g(h) + i(h). Is 10 a factor of k(m)?
True
Is (0 + -5 - -2) + (-84)/(-2) a multiple of 3?
True
Let t(m) = -m**3 - 4*m**2 - m + 6. Let a = -6 - -1. Does 13 divide t(a)?
False
Let a(b) = -5*b + 3. Let d(g) = -24*g + 14. Let h(t) = 14*a(t) - 3*d(t). Let f be h(1). Suppose -y + 16 = -5*l, -4*l + 15 = f*y - 31. Does 10 divide y?
False
Suppose 8*z - 5*z - 60 = 0. Does 8 divide z?
False
Let v = 0 + -2. Is 2*v/4 - -27 a multiple of 18?
False
Is (-9)/6*(-2660)/30 a multiple of 7?
True
Let m = -35 + 59. Is 12 a factor of m?
True
Let l(k) = 7*k**3 - 2*k**2 - k. Let m be l(-1). Let s(u) be the third derivative of u**5/60 + u**4/4 - 5*u**3/3 - 2*u**2. Does 3 divide s(m)?
True
Suppose 0 = 2*d - 167 - 57. Is d a multiple of 28?
True
Let n(s) = 2*s**2. Let c be n(-2). Let y = c + 10. Does 7 divide y?
False
Let g(a) = -2*a - 22. Does 11 divide g(-18)?
False
Suppose -9 = 4*j + 7, -n - 18 = 4*j. Does 19 divide (-1 + (18 - n))/1?
True
Let k be (-2)/(-2*(-2)/(-54)). Let h = k - 1. Suppose 1 = -2*u - 3, -b + 2*u = -h. Does 11 divide b?
True
Suppose 0 = -0*k - 4*k - 4*b - 24, -5*k - 12 = -4*b. Let f(x) = 2*x**2 + 6*x + 1. Let n be f(k). Suppose -j + n = -0*j. Does 4 divide j?
False
Suppose -5*t + 17 = k, 4*k - 14 = t - 3*t. Let y be (-58)/(k + 1 + -2). Let n = 96 + y. Is 18 a factor of n?
False
Let j = 21 - 5. Is j a multiple of 8?
True
Let s be ((-4)/(-6))/(1/(-30)). Let n be (4/5)/((-8)/s). Suppose n*b - 4 = 6. Is 2 a factor of b?
False
Suppose -7 = -a - v, 2*v - 6*v = a + 8. Is 10 a factor of 978/36 + (-2)/a?
False
Suppose 4 = -3*b + 64. Is 5 a factor of b?
True
Suppose 4*m - 2*g = 24, 24 = -2*m + 6*m + 4*g. Let p(l) = -l**3 + 6*l**2 + l - 2. Let k be p(m). Suppose -k*z = -z - 48. Is 8 a factor of z?
True
Suppose 4*d = -7 - 17. Let u be 0 - (-48)/(d/(-2)). Suppose -u - 7 = -w. Is 8 a factor of w?
False
Let t(m) = 32*m. Does 5 divide t(1)?
False
Suppose -2*f + 2 = -3*f, 56 = 2*r + 4*f. Is 7 a factor of 8/r - 75/(-4)?
False
Suppose 2*s + 9 = s - 4*w, -4*s - w = -24. Is s a multiple of 7?
True
Suppose -3*y - 2*f - 2 = -6*y, -3*y - 22 = 4*f. Does 7 divide y/(-6) - (-168)/9?
False
Let u be 5/(-4)*(-4)/(-1). Let d(j) = 3*j**3 - j**2 + j. Let z be d(2). Let v = z - u. Is v a multiple of 16?
False
Suppose -6 = 2*q, -2 = n - 5*n - 2*q. Suppose -5*t = -n*t - 60. Is 5 a factor of t?
True
Let n(r) = 3*r. Let s be n(2). Does 9 divide 45/(-3)*s/(-10)?
True
Let i(g) = -3*g - 9. Let f be i(-5). Suppose -15*r + f = -13*r. Is r a multiple of 2?
False
Let j(b) = -b**3 + 11*b**2 - 5*b - 12. Suppose -45 + 15 = -3*d. Is j(d) a multiple of 19?
True
Let z = 8 - 2. Does 16 divide -3*-16*z/9?
True
Suppose -2*f - 3*r = -76, -3*f - 4*r + r = -114. Is f a multiple of 19?
True
Let r(g) = -g**3 + 12*g**2 + 9*g - 30. Is 27 a factor of r(12)?
False
Let a = -34 + 15. Let f = a + 39. Is 5 a factor of f?
True
Let k(x) = -3*x - 9. Is k(-4) a multiple of 3?
True
Suppose -2*b - 5*w - 975 = -5*b, 0 = -w. Does 35 divide b?
False
Suppose 3*u - 9 + 0 = -3*m, 4*u - 5*m - 39 = 0. Let f = u - 3. Let k(a) = 3*a**2 - 2*a - 1. Is 10 a factor of k(f)?
True
Suppose -3*f = -10 - 17. Suppose -3*v + f = -3*y, 4*v - 15 = -v - y. Is v even?
False
Let r be (0 - 1)/(1/(-4)). Suppose d - 2 = -4*t + r, d = 2*t. Suppose d*h - v = 6*h - 17, 3*h - v = 11. Is h a multiple of 2?
True
Suppose 2*a + v = -3*a + 69, v = 4*a - 57. Is 5 a factor of a?
False
Let k(r) = 4*r**2 + 3*r + 7. Let n be k(-5). Let o(s) = -6*s + 2. Let 