pose 4*f - 3*u - 40 = 0, 0*u = u + 4. Suppose f*m = 10*m - 6. Suppose -3*g - 4*v - m = -26, 2*v - 6 = -g. Is 10 a factor of g?
False
Suppose -2*o + 17 = -3*s + 157, 5*s = 2*o + 136. Let p(q) = 30*q**3 + q**2 - q - 1. Let k be p(-1). Let l = k - o. Is l a multiple of 15?
False
Let s = 1745 + -1008. Is s a multiple of 67?
True
Let h be -2 + -125 + (-1 - 0). Let l = h + 224. Is 24 a factor of l?
True
Let x(n) = -7*n - 5. Let o be x(9). Let k = o + 173. Suppose 6*r = 11*r - k. Is 7 a factor of r?
True
Let y = -483 + 938. Does 7 divide y?
True
Suppose -5*c + 0 = 4*l + 5, -5*l - 2 = 2*c. Suppose 16*u - 11*u - 65 = l. Suppose -9*j + u*j - 124 = 0. Does 12 divide j?
False
Suppose -n = n - 2*u - 136, -277 = -4*n + 3*u. Let y = n - 58. Is 5 a factor of y?
True
Let i = 6 - 1. Let y = i + 13. Let b = -6 + y. Is 4 a factor of b?
True
Let u = 226 - 186. Does 6 divide u?
False
Suppose -3*q - 362 = -4*f, 3*q = 5*f - 2*q - 450. Suppose -t - 3*x + 6 = 2*t, -x - 2 = 0. Suppose -2*c - f = -t*c. Is 23 a factor of c?
True
Let i = -1557 - -3709. Does 19 divide i?
False
Let j(n) = -n**3 + 8*n**2 - 2*n - 3. Let z be j(5). Suppose -4*y = -h + z, 2*y = 4*y - 2. Suppose -3*o + 99 = -2*q, 0 = 5*o - 3*o + 3*q - h. Does 6 divide o?
False
Let h(c) = 6*c**3 - 3*c**2 + 4*c - 2. Let t be h(1). Suppose t*x = -19 + 504. Is 17 a factor of x?
False
Suppose -5*n + 17548 = -0*n + 2*z, 0 = -2*n + 2*z + 7008. Is n a multiple of 69?
False
Suppose -3*m + 15 = -8*m. Let f(y) = -y**3 - 4*y**2 - 3*y + 4. Let b be f(m). Is 5 a factor of -4 + 3 + b - -17?
True
Let b(z) = -z + 7*z - 4 + 3*z - z**3 + 619*z**2 - 620*z**2. Does 6 divide b(-4)?
False
Let f = 78 - 13. Suppose -7*n = 2 - f. Suppose -189 = -3*q - n. Is 8 a factor of q?
False
Suppose 59*l + 12787 = 78*l. Does 116 divide l?
False
Let q = -15 + 5. Let z = -10 - q. Suppose 4*t - 9*t - 5*g + 105 = z, -2*t - 3*g = -47. Does 4 divide t?
True
Let g be (-4)/(-18) - (-904)/36*7. Suppose g = 4*p + 7*p. Is 16 a factor of p?
True
Suppose -2273 + 632 = -3*x. Suppose -6*y - 169 = -x. Is 21 a factor of y?
True
Let j(r) = -32*r**3 - 2*r**2 - 8*r + 2. Is j(-4) a multiple of 82?
True
Suppose 5*y = -o + 364 + 456, 2*y - 5*o - 328 = 0. Does 38 divide y?
False
Let f = -458 - -693. Does 9 divide f?
False
Suppose s + 2*s + 3*x = -42, 2*x + 6 = 0. Let p(n) = -2*n. Let o be p(s). Suppose -q - q + o = 0. Does 11 divide q?
True
Suppose 0 = -5*y + 2 + 8. Suppose a = -y*h, 5*h + 3*a - a = 0. Suppose -5*q + 27 = j - h*j, -2*q = 3*j - 94. Is 24 a factor of j?
False
Suppose -300 = d - 1092. Is 22 a factor of (d/(30/(-5)))/(-2)?
True
Suppose 335 - 31 = 4*m + q, -4*m + 4*q = -324. Is m a multiple of 9?
False
Suppose -5*s + 4*t = 5*t - 14, -4*s - 3*t = -20. Suppose 9*r - 67 = 4*r - 3*d, 45 = 3*r + 3*d. Suppose -r - 17 = -s*j. Is 14 a factor of j?
True
Suppose 2*z - h = 979, -2*z - 2*h - 406 = -1382. Is z a multiple of 25?
False
Let d = 506 - -741. Is d a multiple of 14?
False
Suppose -6*k + 5*k + 43 = 0. Let m = -32 + k. Does 11 divide m?
True
Suppose -96 = -24*v + 18*v. Suppose v*j - 2*j - 1204 = 0. Is j a multiple of 8?
False
Suppose 0 = -48*v + 42*v + 42. Suppose v*r = -x + 2*r + 74, -262 = -4*x - 3*r. Is 15 a factor of x?
False
Suppose -2*n = 3*n - 140. Let k = -4 + n. Suppose 0*f = f - k. Is 8 a factor of f?
True
Suppose 2*a + 20 = -2*a. Let l(q) = q**2 + 4*q - 5. Let b be l(a). Suppose -t + 34 = 4*x, -t - x + 40 = -b*x. Is 10 a factor of t?
False
Let r(a) = -2*a**2 - 6*a - 2. Let k be r(5). Let d = -68 - k. Is d a multiple of 2?
True
Let p(u) = 210*u + 49. Is 7 a factor of p(2)?
True
Let n = 116 - 66. Let p = n + -38. Does 6 divide p?
True
Let g = -1 + 3. Suppose 5*q = a - 15, g*a - 6 = -2*q - 0*q. Suppose a*f = -0*f + 5*w + 145, 145 = 5*f + 3*w. Is f a multiple of 12?
False
Let v be -2 - 1 - (-8 - -3). Suppose v*c - 21 = 31. Is c a multiple of 9?
False
Let l be 474/8 - 4/16. Suppose -x + 4 = 4*b, 3*b + 194 = 5*x + l. Does 19 divide x?
False
Let b be (1/2)/(4/40). Let s = 6 - b. Does 6 divide 17 - -1 - (s + -3)?
False
Let x be (-14)/(-4)*(36 - -14). Is -5 - x/(-15) - (-4)/(-6) a multiple of 2?
True
Let g(v) = -v**2 - 2*v + 1. Let p be g(7). Does 34 divide (-3 - 3)/2 - p?
False
Let l = 73 + -3. Let z = l - 37. Is 11 a factor of z?
True
Let f = 73 - 71. Suppose f*m = -27 + 189. Is 9 a factor of m?
True
Let i be 78/(-1)*3/(-9). Suppose 2*p + 8 = i. Is 14 a factor of (-1128)/(-27) - (-2)/p?
True
Suppose -2*a - 2*a = -12. Suppose -102 = a*p - 573. Is p a multiple of 14?
False
Suppose 0 = 3*a + 5*w - 107, -2*a + w + 86 = -3*w. Let u = -30 - -2. Let b = u + a. Does 3 divide b?
False
Suppose -3*g - 3*h + 4569 = 0, 2*g - 41*h = -45*h + 3040. Does 14 divide g?
True
Let k(s) = -8*s + 2 - 4 + 22*s - s**3 + 4*s**2 - 6. Let u be k(6). Suppose 2*n = -0*z + u*z + 24, -5*z + 25 = 0. Is 10 a factor of n?
False
Suppose 531*c = 518*c + 2184. Is 42 a factor of c?
True
Let r(g) = -2*g + 0 + g**2 + 2*g**2 - 4 - 5*g. Is 37 a factor of r(-6)?
False
Suppose -g - 6 + 1 = 0, -5*z - 3*g = 85. Let m = z + 14. Is 7 a factor of (-160)/(m + -5) + -3?
False
Let f(j) = -j**3 - 10*j**2 - 5*j + 8. Let z be f(-11). Suppose -52 = -u - 4*v, 5*u - 2*u - z = -5*v. Is u a multiple of 34?
True
Let v(h) = 58*h - 4. Let o be v(6). Let c = 503 - o. Let t = -105 + c. Is t a multiple of 25?
False
Let n(y) = 6*y - 1. Suppose d + 6 = 3*d. Suppose -2*s - d*r - 2*r = -26, 3*s + 11 = 5*r. Does 7 divide n(s)?
False
Suppose -17 + 37 = 4*l. Let o be 2 - (-1 - -2)*-64. Suppose o = l*q - 54. Does 6 divide q?
True
Suppose -a - 4 = -6. Suppose 0 = 7*p - a*p - 35. Is 2 a factor of p?
False
Let a be ((-28)/6 + 0)/(18/27). Let j(i) = -i + 23. Is 10 a factor of j(a)?
True
Let o(p) be the first derivative of -2 + 1/2*p**2 + 24*p. Is 12 a factor of o(0)?
True
Suppose -6*m + 144 = 624. Let t = m + 116. Is t a multiple of 13?
False
Let i(u) = -18*u**2 + 4*u + 10. Let c be i(-2). Does 17 divide (c - -2)*(-1)/2?
True
Suppose 29*g - 35*g = -1530. Is g a multiple of 4?
False
Let g = -12 - -15. Suppose g*y - 167 - 256 = 0. Let b = y - 99. Is b a multiple of 14?
True
Let l(r) = 3*r + 13. Let g be l(-7). Let v(p) = p**3 + 7*p**2 - 8*p + 3. Let i be v(g). Suppose -n + 0*y + 2*y + 14 = 0, -i*y = 3*n - 69. Is n a multiple of 16?
False
Let r = 30 - -11. Suppose 25 = 5*a, p - 2*a - r - 25 = 0. Suppose -4*k + p + 27 = d, 0 = -k + d + 32. Is 9 a factor of k?
True
Suppose -u = -112 - 114. Does 18 divide u?
False
Suppose -4*g = -4*v - 40 + 2464, -2*v + 1203 = -5*g. Is 29 a factor of v?
True
Let f be (-10)/4*(2 + 1 + -1). Does 9 divide (-136)/f + 3/(-15)?
True
Let g be 2 + 0*(-2)/8. Suppose -z - g*z + 63 = 0. Is 5 a factor of z?
False
Let f be (5 - 1) + (-284 - 0). Let o = f - -472. Is 32 a factor of o?
True
Suppose -3*z = h - 5011, 5*z + h + 3445 - 11800 = 0. Is z a multiple of 4?
True
Let d(y) = 4*y - 3. Let t(s) = 5*s - 4. Let n(c) = 6*d(c) - 5*t(c). Is 14 a factor of n(-15)?
False
Let j(k) = -k**2 + 7*k - 7. Let i be j(5). Let h(p) = 7*p + 32 - i*p - 2*p - p. Is h(0) a multiple of 16?
True
Suppose -44*t + 28236 = -17964. Does 8 divide t?
False
Let x be (42/(-12) - -4)/((-2)/(-1464)). Suppose 5*d = i + x, i = -5*d - 4*i + 390. Is 25 a factor of d?
False
Let a(v) = 17*v**2 + 2*v - 12. Let t be a(-5). Let o = -227 + t. Is o a multiple of 11?
True
Is ((-21)/9)/((-38)/6270) a multiple of 7?
True
Suppose 10 = -2*t + 3*t. Let q(k) = 11*k**3 - 11*k**2 + 17*k - 11. Let c(b) = -5*b**3 + 6*b**2 - 8*b + 5. Let u(j) = -9*c(j) - 4*q(j). Is u(t) a multiple of 13?
True
Suppose -1837 = -2*q - k - 507, 3*q + 3*k = 1995. Is 7 a factor of q?
True
Suppose 0 = 2399*b - 2408*b + 18. Does 2 divide b?
True
Is 480 + -2*42/12 a multiple of 21?
False
Suppose 3*y = -2*g + 530, 3*y - g = 3*g + 506. Let t = -98 + y. Does 15 divide t?
False
Suppose 2*x - 239 = -5*z + 186, 2*z - 2*x = 184. Is z a multiple of 29?
True
Suppose -5*l + 3 - 13 = 5*a, 2*a - 4*l = 20. Is 30 a factor of a*3/(-18)*-3 - -115?
False
Let t(d) = d**3 + 7*d**2 + 4*d + 9. Let v be t(-6). Suppose -8*s + 5*s = -v. Is 3 a factor of s?
False
Let r be 0 + -1 + 18/3. Let a = -186 + 226. Suppose 0 = r*x - 4*x - a. Is 19 a factor of x?
False
Let r be 20*2/8*-2. Let l(y) = -y**3 - 11*y**2 - 16*y - 12. Is 24 a factor of l(r)?
True
Suppose -4*s - 26 = -5*p, -12 = -3*p - p + s. Suppose -p*g - 4 = -12. Suppose -g*i