Suppose 4*g - 9 = -m - 0*m, 5*g - 20 = -3*m. Suppose m*p + 2 = -23. Let y(t) = -t + 4. Does 7 divide y(p)?
False
Let b(o) = o**2 - 9*o + 8. Let w be b(7). Let k be (-2)/w*-1*-33. Suppose -k = -2*r + 19. Is 13 a factor of r?
False
Let i = 88 - 22. Is i a multiple of 22?
True
Let f(p) = -4*p - 5. Let m be f(-8). Suppose -4*c + 3*b + m = -2*c, c = 3*b + 15. Is c a multiple of 6?
True
Let b be (-74)/6 + 1/3. Let s be (-3)/12 - (-69)/b. Is 6 a factor of (-40)/s + (-1)/(-3)?
False
Let w(k) = 27*k + 7. Let s be w(-4). Let p = s - -173. Does 36 divide p?
True
Let p be 0 + 2 + (6 - 2). Is 8 a factor of (15/p)/(-5)*-26?
False
Let f(o) = -o**3 + 6*o**2 - 3*o + 2. Suppose l = -5, 2*w - 5*l - 31 = -0*w. Suppose 3*x - 3*r - 27 = 0, -w*x - 4*r - 13 = r. Does 12 divide f(x)?
False
Suppose -5*f - 27 = -3*d, 0 = 4*f - 4*d + 13 + 15. Let k(g) = 2*g**2 - 3. Is k(f) a multiple of 5?
True
Suppose 2*h = 1 + 3. Is 14 a factor of 82/6 + h/6?
True
Let n(f) = -f - 3. Let g(s) = -2. Let j(y) = -6*g(y) + 5*n(y). Let p be j(-2). Suppose -p*x + 110 = -2*x. Is 15 a factor of x?
False
Suppose 31*v - 30*v - 103 = 0. Does 24 divide v?
False
Suppose 52 - 227 = -5*m. Let d = m + -7. Is 14 a factor of d?
True
Is 9 a factor of (-1 - 2)*56/(-6)?
False
Let w(t) = -t**2 + 9*t - 3. Let x be w(8). Let n(k) = 4*k - 3 + k + x. Is n(3) a multiple of 15?
False
Let w = -95 - -137. Let n = -16 - -130. Suppose -n = -4*k - w. Is k a multiple of 18?
True
Let i(x) = -x**2 - 3*x + 4. Let w be i(-3). Let u be 8 + (-2)/(-4)*-4. Suppose 0 = -w*q + 2*q + u. Does 2 divide q?
False
Suppose 0 = 3*x - p - 100, -2*p + 40 - 100 = -2*x. Is 13 a factor of x?
False
Let l(a) = -6*a + 14*a - 3 - 4*a. Is l(7) a multiple of 25?
True
Suppose 4 = -4*s, 0 = 6*d - 2*d + 2*s - 18. Let k(f) = 4*f**2 + 5*f - 6. Let j be k(7). Suppose -j = -5*r + 6*o - o, -3*o - 219 = -d*r. Is 21 a factor of r?
True
Suppose -5*r + 266 = q - 16, 0 = -3*r - 5*q + 156. Does 19 divide r?
True
Let o be (-1)/(-1)*(-6 - -1). Let p = o - -8. Suppose 0*u + p*u = 57. Is 5 a factor of u?
False
Suppose l - 1 - 3 = 0. Suppose l*s = y - 8, -5*s = y + 13 + 15. Is 18 a factor of ((-18)/(-4))/((-2)/y)?
True
Let b be 8/(-4)*1/2. Let a be (-6)/(b/((-3)/(-6))). Suppose 5*x - 45 - 40 = a*n, 2*n = 3*x - 50. Does 13 divide x?
False
Let s(n) = 13*n + 7. Does 19 divide s(3)?
False
Suppose 3*q - 2*q = 0. Suppose -b + 2 = -q*b. Suppose -5*o + 51 = -2*k + 11, b*o - 16 = -3*k. Is 8 a factor of o?
True
Let w(r) = -3*r**2 + 65*r - 30. Is 36 a factor of w(20)?
False
Let y = 82 + -117. Is 19 a factor of -3 - -5 - (y - 1)?
True
Suppose 5*a = -0*a - 85. Let i(g) = g**3 - 3*g**2 + 7*g - 6. Let j be i(4). Let f = a + j. Is f a multiple of 12?
False
Let a be 12/(-2)*442/4. Let j be (-2)/(-5) - a/5. Suppose -3*f + j + 2 = 0. Does 14 divide f?
False
Suppose 2*y = -5*r + 192, 5*r + 7*y - 3*y - 194 = 0. Is 19 a factor of r?
True
Suppose 0 = -0*n - 4*n. Suppose n = 5*v - 3*v - 8. Suppose b + v*b - 2 = 3*h, -2*h + 5*b = 8. Is 6 a factor of h?
True
Suppose 4*q = -4*m - 187 + 19, 2*m - 3*q = -109. Let g = 92 + m. Is g a multiple of 13?
False
Let g(k) = -k**3 + 2*k**2 + k. Let p be g(-2). Suppose 2 - p = -2*q. Suppose 14 = w + q. Is 4 a factor of w?
True
Let t(a) = -a. Let m be t(-4). Suppose 2*z + 16 = w, m*z - 6 = 2*z. Is w a multiple of 12?
False
Is 11 a factor of (22/(-4))/((-1)/6)?
True
Suppose 0 = -2*g + 5 + 5. Suppose 9 = v + 2*z, -15 - 16 = -3*v - g*z. Is 3 a factor of v?
False
Let w = -4 + 119. Is 11 a factor of w?
False
Let o(n) = n**2 - 2*n - 4. Let c be o(8). Suppose -3*m = -u + 28, 2*m - 3*m = 3*u - c. Is u a multiple of 16?
True
Suppose 0 = w - h - 47, -2*h = -0*w + 4*w - 212. Let u = w + -32. Is 7 a factor of u?
False
Is 4 + ((-1)/2)/((-11)/2354) a multiple of 5?
False
Let c = -13 + -26. Let l = c - -89. Is 22 a factor of l?
False
Suppose 0 = -4*l + 577 - 69. Suppose -d + 248 = -l. Suppose -125 = 5*r - d. Is r a multiple of 18?
False
Let f(s) = 5*s**2 - 6*s - 9. Let m be f(-11). Suppose -4*n - 6 = -m. Suppose 4*i + 44 = n. Is i a multiple of 15?
True
Suppose -4*g - 6 = -j, -3*g + 4 = -5*j - 0. Let r = 77 - 38. Let a = r + g. Is a a multiple of 15?
False
Suppose 13*g - 11*g = 288. Does 12 divide g?
True
Let i(m) = m - 1. Let f be i(2). Let w be f*(-1)/((-3)/21). Suppose -4*l = -w*l + 15. Does 2 divide l?
False
Suppose 3*n + 3*l = -2*l + 283, -5*l + 485 = 5*n. Suppose 4*r = n - 25. Is 19 a factor of r?
True
Suppose -2*s + 54 = -8. Let h = s - -2. Does 7 divide h?
False
Let b(i) = i**3 - i**2 - 2*i. Let m be b(2). Suppose -20 + m = -4*r. Is 2 a factor of r?
False
Let n be 74/(-9) + 8/36. Let k = 14 + n. Is k a multiple of 6?
True
Suppose 4*r - r = -18. Let s(o) = -2*o - 7. Let q be s(r). Let f(h) = h**3 - 4*h**2 - 3*h + 7. Does 13 divide f(q)?
False
Is (-1)/((-8)/335) - (-3)/24 a multiple of 7?
True
Suppose s + 3*s - 64 = 0. Suppose -88 + s = -4*u. Is u a multiple of 7?
False
Let h(n) = 0*n - 2 + 2*n + n. Let w be h(2). Suppose -w - 4 = -2*x. Is 3 a factor of x?
False
Let g(m) = -m**2 + 2*m + 6. Let t be g(-4). Is (-3)/t - (-82)/12 a multiple of 7?
True
Let l(y) = y**2 - y + 1. Let v be l(0). Suppose d + h - 3 = -v, 0 = -5*d + 3*h + 34. Suppose -4*i - 111 = -5*m, 3*m + d*i = -2*m + 75. Is m a multiple of 13?
False
Let w be 6/(-3*(-3)/(-6)). Let y(j) = -j**2 - 4*j + 2. Let v be y(w). Is (-1)/((-5)/v - -2) a multiple of 2?
True
Suppose -4*p + 108 = -3*x, -132 = -5*p + x + 2*x. Is 18 a factor of p?
False
Let n = 273 - 171. Does 18 divide n?
False
Let v(h) = h - h - 2 + 2*h + 4*h**2 - 5*h. Is v(-1) even?
False
Let d = 14 - 9. Suppose 4 = -m, -2*m = d*a + 2*m + 16. Suppose a = 5*n - 3*n - 28. Is 6 a factor of n?
False
Suppose 4*h - c - 56 = 0, 53 = h + 4*h + 3*c. Let x = h + 1. Is 14 a factor of x?
True
Let j(n) be the second derivative of -n**4/12 - n**3/6 - 117*n**2/2 + 2*n. Let r be j(0). Let d = 183 + r. Is 18 a factor of d?
False
Let z(v) = -v**3 - 6*v**2 - 2*v - 5. Let n be z(-5). Let q = n + 45. Is 7 a factor of q?
False
Let h = 5 + -5. Suppose h = -5*c + 4*c. Suppose c = -3*t - 3 + 15. Does 4 divide t?
True
Let u be 1 - -1 - 2/1. Suppose v + 2*g + 0*g - 27 = u, 4*v + 3*g - 108 = 0. Suppose v = 2*f - 21. Is f a multiple of 8?
True
Let g(w) = 20*w**2 - 2*w. Does 13 divide g(-2)?
False
Suppose 4*r - 4*i = 12, 6*r - 13 = 2*r + 5*i. Suppose 6*q = r*q + 56. Let z = q - 4. Does 10 divide z?
True
Let b be -1*(8/(-2))/2. Suppose b*o = o. Is 4 a factor of 2 - (o - -1) - -7?
True
Let w = 212 + -51. Is w a multiple of 32?
False
Suppose 0 = -3*f - x - 1513, f = 6*f - 5*x + 2515. Is (-18)/45 - f/10 a multiple of 19?
False
Let s be (-1659)/(-12) - (-1)/(-4). Suppose -l + 3*l = s. Is -2*(2 + l/(-6)) a multiple of 8?
False
Let m = -34 - -58. Is 24 a factor of m?
True
Let v(k) = k. Suppose 0 = -3*x + 5*x - 4*f - 22, -3*x + 28 = -5*f. Let c(j) = -8*j + 3. Let r(s) = x*c(s) + 2*v(s). Is 13 a factor of r(-4)?
False
Let k(u) = 3*u + 3. Suppose 0 = 2*b - 6 - 6. Is 11 a factor of k(b)?
False
Suppose 3*k - 40 = k. Does 10 divide k?
True
Suppose 0 = -5*p + 415 + 195. Suppose 5*q + p = 522. Let l = q - 55. Does 11 divide l?
False
Suppose 4*d - 31 = -5*c, 2*c + 9 = 3*d + c. Suppose -2*o = t + 4*t - 35, -2*o - d*t = -40. Does 16 divide o?
False
Suppose 0 = 2*d - 5*a + 2, -3*d - 2*a = -0*a - 35. Is d a multiple of 4?
False
Let f = -443 - -646. Let n = f + -120. Is n a multiple of 17?
False
Suppose -4*j + u - 131 = 0, u = 5*j + 114 + 49. Let p = j + 20. Let t = 22 + p. Is t a multiple of 5?
True
Suppose -6*b + 3*b + 90 = 0. Is b a multiple of 4?
False
Let n(a) = -a**2 - 3*a - 3. Let t be n(-4). Let w = t + 16. Let b = 24 - w. Does 4 divide b?
False
Does 8 divide (2175/9)/1 - 8/12?
False
Let y be 4/6*9/(-6). Let v = 1 + y. Suppose 5*o + 4*j = 70, -j - 45 = -5*o - v*j. Does 5 divide o?
True
Let t = 133 - 93. Is t a multiple of 12?
False
Is 27 a factor of 978/9 + 6/(-9)?
True
Let h(t) = 2*t**2 - 2*t + 9. Does 27 divide h(10)?
True
Is 13 + 1/(-1) - -1 a multiple of 9?
False
Let c = 2388 + -1522. Suppose -3 = -z - 5, -c = -4*k + 5*z. Suppose 0*f + 4*x - 132 = -2*f, k = 3*f + 2*x. Does 25 divide f?
False
Let c = -46 + 99. Is 4 a factor of c?
False
Suppose 27 = -2*f + 5*f. Let x(b) = b + 4. Let m be x(0). Suppose -f = -k + m. Is k a multiple of 13?
True
Let a = 140 - 83. Is 19 a factor of a?
True
Let o