(w) = w**3 + w + 1. Does 3 divide x(o)?
False
Suppose -s = s - 6. Suppose 0 = -5*h - 3*m + 5 - 30, s*m = 3*h + 39. Let k = h - -23. Is 5 a factor of k?
True
Let b = 7 - -73. Is b a multiple of 16?
True
Suppose -2*f - 48 = 2*f. Let q be (-2)/4*2*f. Suppose c = 3*p + 40, -188 = -5*c - 5*p + q. Does 20 divide c?
True
Let i(z) = z**2 + z + 5. Let m be i(0). Let h(q) = -q**3 + 6*q**2 - 3*q - 3. Let c be h(m). Is ((-12)/(-6))/(1/c) a multiple of 14?
True
Let c be (-1 - 0 - -3) + 0. Let p be (c - -1 - 2) + 6. Let m = -3 + p. Is 4 a factor of m?
True
Suppose -x - 2*w + 100 = 22, -w = -2*x + 146. Is 19 a factor of x?
False
Is 9 a factor of 36*(-5)/(-25)*5?
True
Let l(k) = -12*k - 16. Does 11 divide l(-5)?
True
Suppose -1 = q - m - 19, 0 = 4*m + 16. Is q a multiple of 8?
False
Let b = 61 - 26. Does 6 divide b?
False
Let r(h) = 7*h - 3*h**2 - 2*h + 5*h**2 + 3. Let z(q) = 5*q + 26. Let c be z(-6). Does 15 divide r(c)?
True
Let p(f) = -f + 2. Is p(-16) a multiple of 18?
True
Let q = 0 + 26. Is q a multiple of 17?
False
Suppose 6*f - f = -4*c + 53, -f = 2*c - 19. Suppose -396 = -11*j + c*j. Does 33 divide j?
True
Let y(q) = q**3 + 9*q**2 - 10*q + 14. Is 9 a factor of y(-10)?
False
Let q(b) = -b**2 - 8*b + 2. Let l = -24 + 16. Let t be q(l). Suppose i - 5*m = 35, -t*i + 4*m = -m - 45. Is i a multiple of 6?
False
Let u(r) = 4*r**2 + 3*r - 2. Is 6 a factor of u(4)?
False
Let z(n) = -n + 20. Is z(0) a multiple of 11?
False
Let y = 1 - 1. Let g(q) = q. Let f(o) = -5*o - 38. Let i(c) = -f(c) - 6*g(c). Is i(y) a multiple of 19?
True
Let x(p) = p**3 - p**2 - p + 7. Let j be x(0). Suppose l + 25 = 2*l. Suppose -2*r + j = -l. Is r a multiple of 6?
False
Let y be ((-10)/3)/((-8)/(-12)). Is 19 a factor of (-2)/y + 2060/100?
False
Suppose 0 = 6*p + 2*p - 128. Does 4 divide p?
True
Let l be 46/4 - 6/4. Suppose 4*p = -p + l. Does 14 divide 2 + -3 - (-88)/p?
False
Let p(a) = -2*a - 4. Let l be p(-3). Is 4 a factor of (4/l)/((-4)/(-22))?
False
Let a(r) = r**2 + 10*r + 9. Let i(h) = -h - 10. Let y(t) = -t**3 - 4*t**2 - 2*t + 3. Let c be y(-3). Let l be i(c). Is a(l) a multiple of 7?
False
Suppose 5*g - 15 = -0*p - 5*p, 0 = -3*p - 4*g + 14. Let c(l) = -2*l**3 - 2*l**2 + 3*l + 3. Is c(p) a multiple of 3?
False
Let p(v) = v**2 - 15*v + 8. Does 7 divide p(15)?
False
Does 5 divide 18 - (24/4 + -3)?
True
Let f(g) = -3*g. Let b be f(-1). Suppose -w = -3*a - 10, 2 = b*w + 2*w - 3*a. Let q(z) = -3*z**3 - 2*z**2 + 2*z + 2. Does 14 divide q(w)?
True
Let r = -7 + 17. Is 10 a factor of (5 + -13)/((-4)/r)?
True
Is 5 a factor of 10 + -10 + 4*13?
False
Suppose 3*b - h = 6, -h - 4*h = -4*b - 3. Is 15 a factor of b - 3*-2*7?
True
Let o be (2/(-6))/(1/(-9)). Suppose 0 = -0*j - o*j - 9. Is (-2)/j*3*6 a multiple of 6?
True
Let f(r) = 16*r + 10. Is 10 a factor of f(5)?
True
Let o be (-12)/(-6) + 2*3. Suppose 0*y - o = -2*y. Suppose 0 = -m - 3*r - 2*r + 33, -2*m + y*r = -24. Does 10 divide m?
False
Let w be (-3 + 1)/(0 - 2). Let y be (124/(-4))/((-1)/w). Let b = y + -9. Is b a multiple of 11?
True
Let q be (-978)/(-42) + 4/(-14). Suppose 2*c = 4*p + 14, -5*p + q - 3 = 5*c. Let b = p + 7. Is b a multiple of 2?
True
Let z(i) = i**2 - 3*i - 7. Let n be z(-6). Suppose 25 = 2*m - n. Does 13 divide m?
False
Suppose 0 = -12*l - 808 + 2392. Does 5 divide l?
False
Let f = 4 - 4. Let p(a) = 7 + 1 + 2 + 6 - a. Does 8 divide p(f)?
True
Let k(m) = -m**2 - 11*m - 1. Let v(z) = -z**3 + 4*z**2 - 3*z + 3. Let x be v(4). Is k(x) a multiple of 17?
True
Suppose 5*t = -10, 2*g - 8*t = -3*t + 120. Let r = g - 38. Is 17 a factor of r?
True
Let i(k) = 0*k**3 + k - 3 - k**3 + 4. Let f be i(-1). Is (f + -2 + -10)*-1 a multiple of 11?
True
Let s(v) = 1 + v + v + 4*v + 2*v**2. Is s(-6) a multiple of 11?
False
Let w(z) = z**2 + 6*z - 11. Suppose 3*p = -9 - 15. Let f be w(p). Suppose -43 + 13 = -f*g. Is 3 a factor of g?
True
Let y(i) = 15*i - 2. Let w = 15 + -13. Is 14 a factor of y(w)?
True
Let q be -2 - 3/((-3)/7). Suppose j - 1 = q. Is 3 a factor of j?
True
Let g = -67 - -139. Suppose -3*t + 62 = -m, 5*t + m = 18 + g. Is t a multiple of 10?
False
Let o be 4/(-8)*(2 - 0). Let w be (o - 14)/(1/4). Does 5 divide (w/18)/(2/(-3))?
True
Let w(a) = -3*a - 12. Let m be w(-4). Suppose -s + 0*s - 13 = -r, 3*s + 6 = m. Is 11 a factor of r?
True
Suppose 0*n - 8 = -2*n. Suppose 9*o - 3*d = n*o + 55, -5*o + 4*d = -55. Is o a multiple of 9?
False
Let n = -47 - -293. Is 31 a factor of n?
False
Let y = -375 - -636. Is y a multiple of 12?
False
Let x(w) = -w**3 - 5*w**2 - 4*w. Let r be x(-4). Suppose 0*p + 2*p - 26 = r. Is p a multiple of 10?
False
Let f(j) = -j**3 + 6*j**2 - 2*j - 2. Suppose -3*o = 2*o + 15. Let s be 4/(o + 0 + 5). Does 5 divide f(s)?
True
Let v = -95 - -180. Is v a multiple of 17?
True
Suppose 4*z + 3*i - 131 = 133, -5*z + 307 = -2*i. Is 6 a factor of z?
False
Let s(d) = 4*d + 4. Let t be (-22)/6*96/(-8). Suppose 2*y - t = -5*u, -4*y + y + 38 = 4*u. Is 12 a factor of s(u)?
True
Let q = 94 - 77. Is q a multiple of 2?
False
Let l be (-3 + 6)/((-3)/(-4)). Suppose 3*s - l = 5*d - 38, -14 = -3*d + 5*s. Suppose -x + d = x. Is x a multiple of 4?
True
Let a(f) = -6*f - 1. Let m be (1 - 1)/(-4 + 6). Let c = m + -4. Does 10 divide a(c)?
False
Is 101 - (7 - 3)/(4 - 2) a multiple of 33?
True
Suppose -65 = t + 4*t. Does 19 divide (t + 10)/((-1)/13)?
False
Let n be (6/(-2))/(-2 - -1). Suppose -82 = 5*x - p - 9, 0 = n*x + 4*p + 53. Let q = x - -21. Does 6 divide q?
True
Suppose -4*j + 752 = -4*o, j - o + 376 = 3*j. Suppose -2*c + 5*w - 59 = -151, -5*c + 2*w = -j. Suppose 0 = -l - q + c, 3*l - 2*q = l + 76. Does 13 divide l?
False
Let f(q) = -q**2 + 2*q + 4. Let o be f(3). Let s = o + 1. Suppose -s*z + 22 = -4*t, -t = -2*t + 4. Is 19 a factor of z?
True
Suppose -3*x + 4*x - 128 = 0. Is 30 a factor of x?
False
Let u = -108 + 204. Suppose -2*g + 5*g = u. Is g a multiple of 9?
False
Is 12 a factor of 24/((-5)/((-40)/12))?
False
Let q = -72 + 97. Is q a multiple of 13?
False
Let i(v) = 13 - 11*v**2 + 1 + 26*v**3 + 6*v - 25*v**3. Let t be i(10). Let y = t - -46. Is y a multiple of 10?
True
Is (-60)/9*-1*3 a multiple of 7?
False
Let d = -24 + 266. Is d a multiple of 22?
True
Let q(w) = -w**3 - 5*w**2 - 6*w - 5. Let s be q(-4). Suppose -2*o - 10 = -s*o. Let v = o + 0. Is v a multiple of 10?
True
Let i be ((-6)/5)/(18/120). Let u(b) = -b**3 - 8*b**2 - b + 3. Let c be u(i). Suppose 5*s - 69 = c. Is 16 a factor of s?
True
Suppose w + w + 80 = 0. Is 10 a factor of w/(-2*(-2)/(-4))?
True
Suppose -5*f - 23 = -2*t, 4*f - 5 = -5*t - f. Let s be t/6*9/2. Suppose 0 = d - 2*p - 10, -s*p + 28 = 3*d - 2. Is 5 a factor of d?
True
Is -2 + 1 - -3 - -15 a multiple of 7?
False
Let l(i) = -i**3 - i**2 + i + 23. Does 13 divide l(-6)?
False
Let v = 400 + -224. Is v a multiple of 14?
False
Suppose 2*l - 246 = -5*x, 0 = 2*x - 1 + 9. Is l a multiple of 18?
False
Suppose -2*q = q - 144. Suppose q = -0*x + 4*x. Does 16 divide ((-6)/x)/((-2)/64)?
True
Suppose 5*s + 6 = -84. Does 15 divide (-822)/s - (-2)/(-3)?
True
Suppose 5*j + 2 = 17. Suppose -2*d + 126 = 5*r, -j*r = -2*d - 3*d - 57. Suppose 2*v - r = 18. Does 21 divide v?
True
Suppose -4*f = -4*v + 26 + 46, -2*v = f - 39. Is v a multiple of 5?
False
Does 17 divide 102/(-5)*(-25)/(-10)*-1?
True
Suppose 82 - 18 = 2*s. Does 8 divide s?
True
Suppose 2*k = q - 4 + 7, -11 = -3*q + k. Suppose -1 = -3*b - q*l + 22, 0 = -b - l + 9. Suppose 4*c - 106 - b = -3*a, -2*c - 2*a = -56. Does 11 divide c?
True
Let l(c) = c**3 - 6*c**2 - 6*c - 7. Let i be l(7). Suppose -4*t - 2*o = -0*t, i = 4*t - 5*o. Suppose t*v = -2*v + 46. Is 10 a factor of v?
False
Does 34 divide (-1 - -25)*(-14)/(-3)?
False
Let k = -16 - -15. Does 24 divide (207/15)/(k/(-5))?
False
Let a be 5/(-2)*(-4)/(-1). Let d = 14 + a. Suppose 5*h - d*h + n - 49 = 0, -4*h + 4*n = -204. Does 21 divide h?
False
Let f(m) = -m + m - m + 4. Is 7 a factor of f(-3)?
True
Let i(m) = m**2 - 7*m + 4. Let o be i(5). Let j(d) = -d**3 - 5*d**2 - d - 4. Is j(o) a multiple of 10?
False
Is -3*(-13)/((-52)/(-72)) a multiple of 9?
True
Suppose 5*o + 3*i - 343 = 0, -2*o = -i - 3*i - 158. Does 16 divide o?
False
Suppose -3*v - 8 - 181 = 0. Let t = v - -117. Is t a multiple of 18?
True
Suppose 367 = i + 98. Suppose 0 = 5*d - 3*w - i, 2*w + 104 = 2*d - w. Does 15 divide d?
False
Suppose -s + 1