u*p. Suppose w = -p*w + 54. Does 9 divide w?
True
Let t = 18 - 34. Let f = 4 - -18. Let p = f + t. Does 6 divide p?
True
Suppose 0 = -4*y + 7*y + 15. Let c be (2/(-6))/(8/(-504)). Let v = y + c. Does 8 divide v?
True
Let b(f) = -f**2 - 5*f - 1. Let s be b(-2). Let h = 10 - s. Let n(x) = 3*x - 4. Is 11 a factor of n(h)?
True
Let l(b) = b**2 + 3*b - 9. Let o be l(7). Let i = o + -21. Is 7 a factor of i?
False
Let d(j) = -j**3 + 9*j**2 + 15*j - 27. Is d(9) a multiple of 14?
False
Let d = -3 + 1. Let n(s) = -s**2 + 2*s - 1. Let y be n(2). Is 8 - (d + y + 2) a multiple of 4?
False
Let w = 17 - 1. Is w a multiple of 8?
True
Suppose -m - 6 = -2*g + 1, -g = -5*m - 26. Let z = 9 + m. Suppose 0 = -8*q + z*q + 28. Is q a multiple of 2?
False
Suppose 0 = -3*b - 4*s + 44, -1 = -3*b + 4*s + 3. Does 20 divide b/5*(-150)/(-12)?
True
Let m = 13 + -11. Suppose -164 = -4*d - m*w - 62, -4*w + 96 = 4*d. Does 9 divide d?
True
Suppose -8*c + 4*c = r - 7, -r - 2 = -5*c. Let f = c - 0. Is (-12)/f*(-3)/6 even?
True
Let g = -13 - -4. Let d(n) = n**2 + 7*n - 4. Does 5 divide d(g)?
False
Suppose -x = -2*i + 3, 0 = 5*x - 3*i - 2 - 4. Suppose -2*f = -3*f + 5, m = -x*f + 26. Is 2 a factor of m?
False
Let k(u) = -8*u + 6. Is 10 a factor of k(-3)?
True
Let k be ((-4)/(-3))/((-12)/(-18)). Let h(q) = k*q**3 - 9*q - 4 + 6*q**2 - q**3 + 0*q**3. Does 10 divide h(-7)?
True
Suppose 0 = -6*k + 4*k - 6. Let y(o) = -2*o + o + 3*o - 2 - 7*o. Is y(k) a multiple of 5?
False
Suppose 2*l - l = 7. Suppose 37 = t + l. Suppose 0 = v - 3*v + t. Does 6 divide v?
False
Let w(k) = -5*k + 18. Does 6 divide w(-8)?
False
Let a = 43 - 97. Let j = a + 108. Is 10 a factor of j?
False
Let q(f) be the second derivative of f**5/20 + f**4/2 - f**3/3 - f**2/2 + 2*f. Is q(-5) a multiple of 17?
True
Suppose 2*q + 1 = d, q - 4*d - 1 = -5. Let c = -27 - -40. Suppose o + 5*l - 16 = q, -2*o + l + c = -19. Is 8 a factor of o?
True
Let v(c) be the third derivative of -c**4/12 - 3*c**3/2 + 2*c**2. Let x be v(-8). Suppose x*n - 12 = 4*n. Is n a multiple of 3?
False
Suppose -a - 34 + 0 = 0. Let g = a + 69. Does 29 divide g?
False
Let a be 1*18*(0 + 1). Let h = -11 + a. Suppose -z + 5*g + h = -0*z, 0 = -3*g. Does 7 divide z?
True
Let z be 4 + -1 + (-3)/(-3). Suppose 8*r = -o + 4*r + 8, z*o + 40 = 2*r. Let i = o - -17. Does 9 divide i?
True
Suppose 7 = -p - 17. Let q = p + 35. Is q a multiple of 4?
False
Let j(q) = q**2 + 5*q + 2. Let p be j(-5). Suppose 0 = p*m - m - 9. Is 7 a factor of m?
False
Let w(l) = -l + l + l**2 + 3*l + 2. Let n be w(-3). Suppose -2*a + 12 = n*d, 3*d - 6 + 16 = a. Does 3 divide a?
False
Let l be -162*(-3)/(-4)*-2. Suppose -3*o = -5*f - l, 2*f + f = -o + 95. Is 36 a factor of o?
False
Suppose 6*q = 4*q - k - 25, -k - 55 = 5*q. Let n = 6 - q. Is 4 a factor of n?
True
Suppose -724 = 8*z - 2180. Is 55 a factor of z?
False
Let p = 173 + -97. Let d = -44 + p. Is d a multiple of 7?
False
Suppose 15 = n - 8. Does 4 divide n?
False
Suppose -7 = m - 295. Does 12 divide m?
True
Let j(y) = -y**3 - 5*y**2 - 2*y - 2. Let b be j(-4). Is 5 a factor of b*(-3)/(-12)*-2?
True
Let h(n) = n**3 - 5*n**2 + 2*n - 6. Let u be h(5). Let y(p) = 3*p - u + 6 + 6. Does 11 divide y(7)?
False
Suppose -5*f + w + 320 = -3*w, 4*f - 256 = 3*w. Is 16 a factor of f?
True
Let s be 3/6*-2 - -20. Suppose 3*v + 8 + s = 0. Does 10 divide 9 + 3/v*-3?
True
Suppose 0 = -0*h - 5*h + 15. Suppose -h = 4*g - 443. Suppose -2*d = -4*d + g. Is d a multiple of 14?
False
Suppose 23 - 9 = 2*k. Let q(l) = l**3 - 8*l**2 + 7*l + 3. Let t be q(k). Suppose -v - 45 = 5*y - 129, t*y - 68 = -5*v. Is y a multiple of 15?
False
Is 2 + (-16)/10 + 846/10 a multiple of 17?
True
Suppose -4*v + 9 = -3*v + 2*j, -3*v + 21 = 3*j. Suppose -v*f = -196 - 119. Does 20 divide f?
False
Suppose -859 = -5*w - 14. Suppose -4*l - l - 3*x = -283, w = 3*l + x. Does 14 divide l?
True
Let z be -2*(-3)/(-6) + 4. Suppose -8*c + z*c + 5*a + 255 = 0, -2*c - a = -114. Is 22 a factor of c?
False
Let j(u) = 20*u**2 + 2*u + 5. Is 27 a factor of j(-2)?
True
Let f be (-4)/1 - (0 - 2). Is (-3)/(-2) + (-7)/f even?
False
Let g be ((-1)/(-2))/((-6)/(-36)). Suppose -i = -4*u + 48 + 7, -g*i = -2*u + 15. Is 10 a factor of u?
False
Let h = 16 + 44. Is h a multiple of 6?
True
Suppose -847 = -3*f - 4*f. Is f a multiple of 19?
False
Suppose -13 = -4*w + 3. Suppose -w*m = m - 95. Is m a multiple of 15?
False
Let h = 33 + -18. Does 7 divide h?
False
Let a(x) = -x - 9. Let h be a(-7). Let s(i) = -4*i**3 + 2*i + 2. Is 22 a factor of s(h)?
False
Let a(v) = -5*v + 270. Is 27 a factor of a(0)?
True
Let j = -836 + 1192. Does 25 divide j/14 - (-6)/(-14)?
True
Suppose -5*x + 50 = 3*d, 10*x - 5*x - 50 = 4*d. Is 3 a factor of x?
False
Let r(x) be the third derivative of 11*x**5/20 + x**4/24 + x**2. Let b(t) = t + 2. Let u be b(-3). Is r(u) a multiple of 9?
False
Is 14 a factor of (-735)/(-18) - (-3)/18?
False
Suppose c - 4*c + 297 = 0. Let i = c - 51. Is i a multiple of 16?
True
Suppose 5*d - 3*a + 8 + 19 = 0, -d - 2*a = -5. Does 16 divide (d + -2 + 3)*-19?
False
Suppose 4*v = 3*n + 107, -5*v + 6*n = 2*n - 134. Is 13 a factor of v?
True
Suppose 0 = -5*j - 3*q - 5, -2*j - 2*q + 2 = -4*j. Let p be 0 - j - (-6 - -7). Suppose 3*r - 4*r + 17 = p. Is r a multiple of 6?
False
Suppose -600 = 31*a - 33*a. Is a a multiple of 20?
True
Let t be (4/(-2))/((-2)/17). Let f be 1*t + 6 + -4. Let b = f - 12. Does 7 divide b?
True
Let v(x) = 17*x - 6. Is v(6) a multiple of 12?
True
Let v = 49 - -9. Suppose 2*b + 5*a = 16, 3*b - 2*a - v = -a. Does 5 divide b?
False
Let i(a) = -a**3 + 8*a**2 - 7*a + 1. Let c be i(7). Let b be (c - 0) + 1 - -2. Suppose 0*z + 4*z = -b*x + 36, -3*z = -2*x - 2. Is 5 a factor of x?
True
Let s(z) = -z**2 - 14*z - 15. Let a be s(-13). Let g(c) be the third derivative of -c**6/120 - c**5/30 - c**4/6 - c**3/3 + c**2. Does 6 divide g(a)?
True
Let q = 10 - 8. Suppose -2*n + 22 = -q*k + 6*k, 3*k - 5*n = 23. Is 2 a factor of k?
True
Let c = 3 - 7. Let h be ((-10)/5)/(c/(-18)). Let u = h - -36. Does 23 divide u?
False
Suppose 5*m = 2*i + 70, -2*i - 58 = -3*m - 4*i. Is m even?
True
Let y(t) = 10*t + 2. Let i be (2 - 4/3)*-9. Let o be i*((-12)/9 + 1). Is 11 a factor of y(o)?
True
Suppose 11*d - 273 = 7*d + k, 0 = -d + 5*k + 73. Is 27 a factor of d?
False
Let o = 62 + -40. Does 11 divide o?
True
Suppose -i - 2*x + 332 = 2*i, -3*x - 243 = -2*i. Does 19 divide i?
True
Let r = 10 + 7. Suppose 3*a = -4*i + r, -2*a - 4*i = -14 + 4. Is a a multiple of 7?
True
Let r = 38 + 18. Suppose 4*k - r = -0*k - 4*h, 4*h = -12. Let f = k - 3. Does 6 divide f?
False
Let d(f) = f**2 + f + 32. Let m be d(0). Suppose -4*t = g - 7, 8*t - 11 = 3*t - 2*g. Is m/t + (-2 - -4) a multiple of 17?
True
Let o(c) = -2*c - 2. Suppose q + 1 = -1. Let a be o(q). Suppose -a*z = -23 - 31. Is 9 a factor of z?
True
Suppose -4*c - 34 = -p, 0 = -4*c + 8. Let u = p + -21. Is u + 1 + (3 - 1) a multiple of 12?
True
Suppose 5*r - 329 = -0*r + 4*v, 3*v = -4*r + 257. Does 48 divide r?
False
Suppose -m - 3*y = -15, -5*y + 41 = 3*m - 0. Is m a multiple of 7?
False
Suppose 48 = 3*d + 4*s, -74 = -4*d + 2*s - 4*s. Let t = d - 9. Let u = -1 + t. Does 9 divide u?
False
Let m = -42 - -75. Is m a multiple of 7?
False
Let n(l) = -6*l**2 + 0*l + 5 + 7*l**3 - 1 - 5*l. Let z(u) = 13*u**3 - 11*u**2 - 9*u + 7. Let m(d) = -7*n(d) + 4*z(d). Is 14 a factor of m(2)?
True
Suppose 4*i + 4*q - 46 = 2*i, -q = -2*i + 36. Let l = -13 + i. Is 5 a factor of l?
False
Suppose -6030 = -17*k - k. Is k a multiple of 21?
False
Suppose 6*q = 2*q + 8. Is 3 a factor of ((-24)/(-15))/q*10?
False
Let c = -1 + 45. Is 22 a factor of c?
True
Suppose 6*n = -693 - 399. Let z = 269 + n. Is z a multiple of 19?
False
Suppose -4*d = -4*x + 48, 3*x - 44 = -5*d + 16. Let i be 141/x + (-6)/(-10). Is (i + -4)*(0 - -6) a multiple of 12?
True
Suppose 3*g = -2*g + 100. Let p be -5*1*(-216)/g. Suppose 0 = 2*i - 5*i + p. Is i a multiple of 9?
True
Let w = -5 - -5. Suppose -t + 22 + 59 = w. Does 27 divide t?
True
Let g(c) = 7*c - 1. Let o be g(1). Suppose 3*t + 30 = o*t. Suppose -3*w + 5 = -t. Is 3 a factor of w?
False
Suppose 0 = 2*z - 4*z - 32. Let v = -2 - z. Is v a multiple of 7?
True
Suppose 2*h - 192 = -2*j, -2*h + 5*j + 192 = 2*j. Does 18 divide h?
False
Suppose -4*n - 3*g = -45 - 46, 0 = -3*n + g + 78. Is 25 a