3 - -107. Is 4 a factor of u?
False
Suppose -2*r = 3*p - 316, p - 5*r = -2*p + 344. Is p a multiple of 22?
False
Is 14 a factor of ((-7)/2)/((-14)/280)?
True
Suppose 3*w + 2*s - 12 = -s, 5*w + s - 12 = 0. Let o be 295/45 + 16/36. Suppose 0 = f - 4, f + o = -w*c + 21. Is c a multiple of 5?
True
Let w = -21 - -63. Is w a multiple of 21?
True
Let o(a) = -a - 7. Let i be o(-7). Let h(s) = s**3 - s + 8. Is h(i) a multiple of 6?
False
Suppose 10 = -2*g + 2. Let m be (46/g + 2)*2. Is -2 + m/2*-2 a multiple of 7?
False
Let u(a) = -9*a**3 + a**2 + a + 1. Let m be u(-1). Suppose 3*f - g - 3*g = -m, g - 3 = f. Is (-8)/(-8) + (-10)/f a multiple of 6?
True
Does 16 divide 2/(5/360*3)?
True
Suppose 1 + 0 = i. Let x(l) = 8*l + 0*l + 7*l - 1. Is x(i) a multiple of 7?
True
Suppose 2*c + 2*n = -c + 343, -n - 116 = -c. Is 35 a factor of c?
False
Let t(p) = 11*p**2 - 4*p + 4. Does 5 divide t(2)?
True
Let p(d) = -7*d - 6. Let o be p(-6). Let m = o - 21. Does 5 divide m?
True
Let y(k) = 3*k + 32. Is 4 a factor of y(-8)?
True
Suppose -b + 104 + 17 = 0. Let t = b - 82. Is 8 a factor of t?
False
Suppose -2*j + 2 = 0, 4*c - 12 = -j + 33. Is 4 a factor of c?
False
Suppose 3*t = -4*m + 185 - 56, 2*m - 2*t - 82 = 0. Does 12 divide m?
True
Let p(l) = 106*l**2 - 6*l + 5. Does 35 divide p(1)?
True
Is 36 a factor of 75/(-10)*64/(-6)?
False
Let m(t) = 3*t**2 - 4*t - 4. Does 30 divide m(-4)?
True
Let m = -91 - -215. Suppose 29*f - 33*f + m = 0. Is f a multiple of 6?
False
Let s = 142 - 101. Does 13 divide s?
False
Is 14 a factor of 15/105 + (-838)/(-14)?
False
Let n = -2 + 7. Suppose 0 = n*y + 3*r - 25, -3*r + r = -2*y + 10. Suppose -2*i + 4*w + 46 = -4, 0 = -5*i - y*w + 50. Is i a multiple of 11?
False
Let p(m) = -m**3 - 5*m**2 + 7*m - 9. Let w be p(-6). Suppose -2*t + 95 - 33 = 0. Let y = t + w. Does 16 divide y?
True
Let k(u) = 3*u**2 + 3*u + 2. Is k(3) a multiple of 11?
False
Suppose 388 = 5*m - 152. Is 12 a factor of m?
True
Let z(b) = -2*b. Let l be 1 - 2 - (-16 - -3). Suppose 3*t - c = -6 - 14, 0 = -3*t + 3*c - l. Is z(t) a multiple of 16?
True
Let r be 1/(-3) + (-34)/(-3). Let j = r - 8. Suppose -23 = -3*v - 4*d, -5*d = j*v - 16 - 3. Does 9 divide v?
False
Let x be 1/(-4) - 127/4. Let n = -8 - x. Does 3 divide 1/(-4) - (-102)/n?
False
Suppose -8*i = -6*i - 154. Is 23 a factor of i?
False
Suppose 2*o - 764 = -4*t, 2*t + 4*o - 578 = -t. Does 10 divide t?
True
Let u be (-8)/(-20) + (-16)/(-10). Let f be -1*(u/1 + -25). Let i = f + -1. Is i a multiple of 11?
True
Let n be (-21 + (-3)/(-3))*-5. Suppose -2*a = x - 65, -3*a - 3*x + n = x. Is a a multiple of 16?
True
Let x be (-35)/10*8/(-14). Suppose -x*c + 27 = c. Is 7 a factor of c?
False
Let h(k) = -k - 2. Suppose 2*n - 1 = -5, 2*d + 6 = 5*n. Is h(d) a multiple of 2?
True
Let x(h) = -2*h + 4. Suppose -2*r = 2*w + 14, -15 - 9 = 4*w + 5*r. Does 18 divide x(w)?
False
Let i be 784/12 - 4/(-6). Suppose -l + i = l. Is l a multiple of 15?
False
Suppose 5*j + 93 = -2*d + 4*d, 0 = -4*d - 4*j + 116. Is d a multiple of 17?
True
Suppose 10*d - 45 = 5*d. Let w = 8 + d. Is w a multiple of 17?
True
Let w(j) = 3*j**2 + 5*j - 2. Is 9 a factor of w(-5)?
False
Let r = 102 + -38. Is r a multiple of 32?
True
Let s(f) = -4*f**3 + 2*f**2 + 2. Does 32 divide s(-3)?
True
Suppose 4*t - 249 = 87. Is t a multiple of 13?
False
Let l = 13 + 9. Suppose 0 = 5*i - 4*m - 38, -i - 7*m = -3*m - l. Is i a multiple of 2?
True
Does 8 divide ((-8)/(-20) + 0)/((-5)/(-1200))?
True
Suppose -k + 6 = 1. Suppose k*w = w - 216. Let f = w + 87. Is f a multiple of 13?
False
Suppose 5*h = -5*a - 188 + 638, 3*a - 98 = -h. Suppose -185 = -5*t + 5*q, 5*q - h = -3*t + 49. Suppose -b + t = b. Does 20 divide b?
True
Let i = -10 - -33. Does 5 divide i?
False
Suppose -3*v = -3*q - 16 + 70, -4*q + 5*v + 73 = 0. Is 17 a factor of q?
True
Let m(x) = x**2 - x + 1. Let p(r) = -2*r**3 + 3*r**2 - 3*r + 8. Let b(v) = -5*m(v) + p(v). Let n = -5 - -2. Is 12 a factor of b(n)?
False
Suppose 2*m - 19 = 5. Is 166/m + 8/48 a multiple of 7?
True
Let f(g) = 2*g**3 - 3*g**2 + 2*g - 1. Let y be f(-3). Let a = y - -130. Is a a multiple of 14?
True
Let h be 0 + 3 - (-7 - -4). Let l = 5 + -9. Does 15 divide (2/h)/(l/(-372))?
False
Let s(r) = r. Let g be s(3). Is 29/g*12/4 a multiple of 18?
False
Suppose 30 = 4*k + 3*l + 11, -2*k + 10 = 2*l. Suppose -6*i + 45 = -i + k*t, 25 = 4*i + t. Does 5 divide i?
True
Suppose -1 = 2*l + 1. Let r be l*(5 - -2) + 0. Is (-2)/r + 1116/63 a multiple of 10?
False
Let k be 5 - 4 - (0 - 3). Suppose 0*y = -k*y + 32. Is y a multiple of 3?
False
Let y(g) = -6*g - 5. Let d(c) = -1. Let v(j) = -3*d(j) + y(j). Let r(w) = -2*w - 1. Let a be r(1). Is 15 a factor of v(a)?
False
Suppose 20 - 96 = -4*y. Let q(o) = -9*o**2 - o - 1. Let c be q(-1). Let f = y + c. Is 7 a factor of f?
False
Suppose -7*f - 2*f = -450. Is f a multiple of 5?
True
Suppose 5*c + 74 = 4*i, 30 = 2*i - 0*c + c. Suppose 3*a - 3*s = 2*s + 1, -a - 3 = -5*s. Suppose -i = -a*b + 12. Is 14 a factor of b?
True
Let a = -15 + 11. Let h = -56 + 87. Let i = h + a. Is 27 a factor of i?
True
Let a(l) = 5*l**2 + l. Let t(p) = 2*p**2 - p + 1. Suppose 1 = 3*j - 2. Let w be t(j). Is 10 a factor of a(w)?
False
Let y = -15 + 32. Is 9 a factor of y?
False
Let l be 1 - ((-1 - -3) + 7). Let w = -29 - -53. Does 12 divide (-2)/l + 570/w?
True
Does 35 divide (2 - 5) + -2 + 285?
True
Suppose 0 = 5*c + 3*q + q - 37, -c - 1 = -2*q. Suppose -5*m = -p + 104, -2*p = -c*m + p - 102. Let s = m + 39. Does 9 divide s?
True
Let i = -20 - -13. Does 10 divide (-68)/i - (-8)/28?
True
Suppose -5*s + 0*s + 25 = 0. Suppose 4*n - 3*q - 19 = -82, 0 = 4*n - s*q + 73. Let i = n - -45. Does 11 divide i?
True
Suppose 22 = -2*h + 90. Is h a multiple of 17?
True
Suppose -4*g = -3*g. Suppose g = 2*t - 6*t + 180. Is t a multiple of 15?
True
Suppose 2*n = -5*z + 308, 0*n + 5*n = -2*z + 728. Does 8 divide n?
True
Let b(v) = -6*v**2 + 36. Let f(o) = -o**2 + 7. Let t(s) = -2*b(s) + 11*f(s). Is 7 a factor of t(-4)?
True
Suppose -53 = -2*d + d. Is d - (-2 + (-4)/(-2)) a multiple of 18?
False
Suppose 2*g - 285 = -g. Is 26 a factor of g?
False
Suppose -12*y - 1484 = -19*y. Is 31 a factor of y?
False
Let y(v) = -v**2 - 11*v + 7. Is y(-9) a multiple of 15?
False
Does 3 divide 6*-1*(-25)/10?
True
Let f = -58 - 4. Does 10 divide f/(-6) + 6/(-18)?
True
Let p(l) = 3*l + 1. Let f be p(2). Suppose -3*g + f*g + 3*h = 11, -4*g + 5*h = -3. Is 10 a factor of 1/g - 38/(-4)?
True
Let x(u) = u**3 - 3*u + 2. Let h be x(2). Suppose -8 = -h*c - 0. Suppose -c*p + 4*p - 30 = 0. Does 8 divide p?
False
Let u(b) = b**2 + 15*b - 2*b**2 - 6*b + 7. Is u(8) a multiple of 12?
False
Is (((-3)/(-3))/2)/(5/1910) a multiple of 17?
False
Suppose 3*a - 4*a = -1. Let h(q) = 21*q. Is h(a) a multiple of 12?
False
Let n(b) = b + 11. Is n(-4) a multiple of 5?
False
Let a be (102/(-4) - 2)*2. Let t = -36 - a. Is t a multiple of 7?
False
Suppose 0 + 10 = 2*c. Suppose c*t = 3 - 18. Does 14 divide (50/3)/((-2)/t)?
False
Suppose -4*k + 11 = -17. Let q(r) = -3 + 4*r + 1 + 4. Is 16 a factor of q(k)?
False
Suppose 5*r - 5 = -5*m, -2*m + 1 = -3*r + 4. Suppose -l + 2 = -r. Suppose l + 87 = 3*t. Is 15 a factor of t?
True
Suppose 4*u + 3 - 15 = 0. Suppose u*c = -c + 128. Is 13 a factor of c?
False
Is 17 a factor of 7/(140/8)*90?
False
Let f(h) = 29*h + 3. Let x be f(8). Suppose 5*g = 3*b + 297, 0*g - 5*b = -4*g + x. Is 20 a factor of g?
True
Suppose -131 = -5*p + 119. Suppose 8*c - p = 3*c. Does 5 divide c?
True
Let x(z) = -z**2 + 6*z + 1. Let h be x(-3). Let u = h - -43. Is 17 a factor of u?
True
Suppose -2*i = -0*i - 4*k + 30, 3*i + 41 = 2*k. Let d = 3 - 4. Is i*(0 - (0 - d)) a multiple of 6?
False
Let r(k) = -k + 8. Let w(m) = -m**2 - m - 4. Let o be w(5). Let t = 24 + o. Is r(t) a multiple of 18?
True
Is 14 a factor of (3 + (-3 - -40))*(-1 - -2)?
False
Suppose -4*t + 413 = 5*f, -3*f - 5*t = f - 334. Is f a multiple of 9?
True
Let v(u) = -u**3 - 4*u**2 + 3. Let p be v(-4). Suppose -p*s + 241 = 28. Suppose 5*c - 4*h + 3*h = s, 4*h = -4. Is c a multiple of 7?
True
Suppose 2*y = 835 - 263. Does 13 divide y?
True
Let i be (-18)/(-10) - (-3)/15. Let j be 4 + 4 + -2 - i. Suppose 0 = u + 4*p - 0*p - 6, -j*p - 102 = -5*u. Is u a multiple of 14?
False
Let z = -16 - -19. Suppose 96 = -0*b + z*b. Is b a multiple of 11?
False