2*o, 3*m - 30 = -0*o + n*o. Does 2 divide m?
True
Let p be (-1351)/(-105) + (-2)/(-15). Let q = 9 - p. Is 12 a factor of 4 + q - -3 - -15?
False
Does 40 divide (11440/91)/((-2)/(-14))?
True
Suppose z = -5*s + 458, 2*z - s - 488 = z. Suppose -2*f - 671 + 189 = -4*k, -f - z = -4*k. Does 11 divide k?
True
Suppose -2*i + 750 = -12*i. Let d = i - -262. Is 50 a factor of d?
False
Let w = 0 - -21. Is w a multiple of 7?
True
Let l(j) = -j**2 - 10*j - 11. Let a be l(-10). Let h(u) = u**3 + 11*u**2 - 9*u + 5. Is 13 a factor of h(a)?
True
Suppose -3*o + z + 207 = 0, -4*o = 2*z - 136 - 140. Let h = 6 + o. Does 28 divide h?
False
Let y = -876 + 1750. Does 26 divide y?
False
Suppose -4*b + 13*y = 16*y - 10368, 12960 = 5*b - 4*y. Is b a multiple of 24?
True
Let x = 3477 - 1905. Suppose -2*h + 3*p = 3*h - x, 5*h + 2*p - 1577 = 0. Is h a multiple of 56?
False
Let t(j) = -7*j - 4*j + 0*j**2 - 3*j**2 - 12 + 2*j**2. Let u be t(-9). Is -1 + -6*u/(-9) even?
False
Let f = 663 + -437. Does 28 divide f?
False
Suppose 3*t = -3*q + 3042, -713 = t + 5*q - 1727. Is t a multiple of 6?
True
Suppose 2*n = 2*p - 152, 3*n + p + 120 = -128. Let t = -53 - n. Does 3 divide t?
False
Let a be (-6)/27 + (-4)/(-18). Suppose s + 3 = a, 2*s + 2*s + 8 = 4*g. Let i = 49 + g. Does 24 divide i?
True
Suppose -5*x - u + 5*u - 55 = 0, 3*u + 33 = -3*x. Let d = x - -30. Is d a multiple of 4?
False
Let q = -2002 - -4485. Is q a multiple of 52?
False
Let x be (-11)/44 + 35/(-4). Let u(h) = -h**3 - 8*h**2 + 7*h + 7. Does 7 divide u(x)?
False
Let l be (-4 + (-9)/(-2))*6. Let h be l/7 + (-1644)/(-84). Suppose 16*u + 36 = h*u. Does 3 divide u?
True
Suppose 0 = b - 540 - 34. Suppose -19*g - b = -26*g. Is g a multiple of 10?
False
Let w(o) = 4*o - 2. Let y be w(1). Suppose -10 = -y*i - 0*i. Is i a multiple of 5?
True
Let q = -6 + 30. Suppose -j - 4*j + 20 = 0. Suppose i - 57 - 6 = -5*d, 3*d - q = j*i. Is d a multiple of 12?
True
Suppose i = -3*h + 986, 4*i - 2019 = -4*h - 699. Is 19 a factor of h?
False
Let n be 2/(-7) - (-6)/21. Suppose 0 = -n*o - o. Suppose 0 = -o*w + 3*w - 198. Is 18 a factor of w?
False
Let w = 53 - 4. Is 7 a factor of (30/(-7))/((-7)/w)?
False
Let f = 12 + -5. Let y = 25 - f. Does 4 divide ((-78)/y)/((-1)/6)?
False
Does 4 divide 15435/210 - 1/(1 - -1)?
False
Let i(a) = -2*a + 148*a**2 + 28*a**2 - 49*a**2 + 1. Let h be i(1). Suppose -2*j + h = -0*j. Is 21 a factor of j?
True
Suppose 3*r - 2255 = -f, -10*f + 9*f + 751 = r. Is 8 a factor of r?
True
Suppose 2*w + 2 - 8 = 0. Let t(m) = -71*m**3 + 40*m**3 + 33*m**3 - 2 + 2*m**2 + m. Does 10 divide t(w)?
False
Does 17 divide 2830/((-1)/(5 - 66/12))?
False
Suppose -7 + 9 = s. Suppose 5*i - 12 = -2*g, -16 = -i - s*g + 5*g. Suppose -i*l + 26 = -2*l - 2*f, -4*f = -l + 22. Is 4 a factor of l?
False
Let a = 39 + -36. Suppose -2*m - 5 = -a*m. Is 2 a factor of m?
False
Let s = 471 - 239. Is s a multiple of 8?
True
Let j = -125 - -29. Let d = j + 173. Is d a multiple of 11?
True
Suppose 0 = 21*z - 44238 - 6855. Does 59 divide z?
False
Suppose -50*k + 40014 = -23*k. Is 26 a factor of k?
True
Let y = -42 - -46. Suppose -4*f = y*h - 0*h - 36, -36 = -4*h + f. Is 7 a factor of h?
False
Let o(w) = w**3 + 10*w**2 + 9*w - 1. Let a be 2/(-6) + (-78)/9. Let j be o(a). Does 19 divide j + -2 + (56 - 3)?
False
Let b = -1151 + 1760. Is 24 a factor of b?
False
Let z = 1918 + -1676. Does 3 divide z?
False
Suppose -a = -2*c + 2, 3*a + 2*c = 16 + 2. Suppose -925 = -l - a*l. Does 37 divide l?
True
Let i(l) = -l**3 + 8*l**2 - 5*l - 8. Let y be i(7). Let z = y + -4. Suppose d - 5*s - 14 = 0, z*d + 2*d - s - 18 = 0. Does 4 divide d?
True
Suppose 16*d + 920 = 20*d. Suppose 5*o - d - 70 = 0. Suppose -23*h = -20*h - o. Is 14 a factor of h?
False
Suppose 4*q - 916 = 580. Is (q/(-3))/11*(-9)/1 a multiple of 17?
True
Let h = 106 + -59. Is h a multiple of 11?
False
Let u = -175 - -994. Is 57 a factor of u?
False
Let q be ((-190)/6 - 5)*6/(-5). Suppose 0 = -5*x - 2*a + 417 - q, 4*x = -3*a + 304. Is x a multiple of 16?
False
Let r(v) = v**2 + 2*v + 3. Let j(z) = 10*z**3 - z**2 - 3*z - 2. Let p be j(-1). Does 21 divide r(p)?
False
Let x(l) = l**2 + 8. Let h be x(5). Let o = 58 - h. Is 25 a factor of o?
True
Suppose -4*i + 3*k = 10, 0 = -3*i - 4*k - 8 - 12. Let b be (-2)/(i/20*-1). Let n(j) = -5*j + 2. Does 20 divide n(b)?
False
Let d(n) = -n**3 - 2*n**2 - 4*n + 131. Is d(0) a multiple of 28?
False
Let s(b) = -b**3 - 4*b**2 + 6*b - 8. Let c be s(-6). Let v = c + -14. Let y = 19 - v. Is 3 a factor of y?
False
Suppose f + 825 = 6*f + 5*t, 2*t - 668 = -4*f. Suppose 3*g - 4*c = -176, -5*c = -2*g + 61 - f. Let i = g - -104. Is 5 a factor of i?
True
Let g be -2*(1 - (-34)/(-4)). Is 369/g + -1 + (-2)/(-5) a multiple of 8?
True
Suppose 4*w = 3*i - 100, -9*w - 4 = -5*w. Suppose -a - 3*u = -i, -2*a = -0*u - 5*u - 20. Does 20 divide a?
True
Let d = 4 + 6. Suppose -5*q + d + 0 = 0. Suppose -q*m + 47 + 31 = 0. Does 13 divide m?
True
Let o(g) = -2*g**2 - 8*g + 6. Let d be o(4). Let x = d + 104. Does 8 divide x?
False
Let l(v) = v + 8. Let c be l(5). Let g = c - 15. Is 5 a factor of (20 - 7) + g*1?
False
Let r be (-175)/56 - 2/(-16). Let q(t) = 2*t**2 - t - 5. Is 16 a factor of q(r)?
True
Suppose -3*z - 12 = 0, -4*s = 6*z - z + 4. Suppose s*p - 416 = r, -2*p + 106 + 112 = -3*r. Does 11 divide p?
False
Let j(y) = 3*y**2 + 20*y - 113. Is j(-21) a multiple of 10?
True
Suppose 3*g = -0*g + 6. Suppose l - 142 = -n, -l - g*n - 2*n + 133 = 0. Is l a multiple of 29?
True
Let f(s) = 23*s**3 - 3*s**2 + 3*s + 2. Suppose 2*x - 19 = -3*k, 7 = x + 2*k - k. Is 20 a factor of f(x)?
True
Let t be ((-3)/(-1))/(-6) + 9/2. Suppose 103 = 2*l + 8*a - 9*a, -t*a = -l + 41. Is l a multiple of 16?
False
Let r = 486 - -816. Is r a multiple of 14?
True
Let g(d) = 0*d**2 - 2*d + 7*d - 5*d**2 + d**3. Let f = -94 + 99. Is 7 a factor of g(f)?
False
Let f(d) = d**3 - 12*d**2 + 10*d + 16. Let u be f(11). Suppose -r - 29 = -u*p, -p = -5*p - 3*r + 27. Does 2 divide p?
True
Let k(p) = 31*p**2 + 5. Let q(m) = 15*m**2 + 3. Suppose -4*f + i + 0 = -11, 0 = -3*f - 4*i + 32. Let j(b) = f*k(b) - 7*q(b). Is j(1) a multiple of 8?
False
Let i = 10 - 8. Let x be -2*(2 - (3 - i)). Is (-24 + x)/((-4)/6) a multiple of 13?
True
Suppose 4*k - 6 = -p - 34, k = -3*p - 29. Let v = 11 + p. Suppose -4*s - 4*o = -200, -3*s + v*o = -2*s - 42. Is s a multiple of 24?
True
Suppose -2*s + 520 = -4*d, 0 = 5*s - 4*d - 774 - 502. Suppose -j + 5*j - s = 0. Is j a multiple of 7?
True
Is 26 a factor of 106/(-4)*(-12)/2 - 3?
True
Let k(o) = -7*o - 2*o**2 + 142 + 3*o**2 + 68 + 2*o. Does 14 divide k(0)?
True
Suppose -2*o + 232 = 6*o. Is 3 a factor of o?
False
Let b be (10/(-15))/((-1)/(-3)). Let v be 86*3/(-6) + b. Let n = v + 77. Is 16 a factor of n?
True
Let z be 25 + 0 - ((-2)/(-1) + 2). Suppose -3*a - 3*s - 6 = 0, 7 - z = -a + 3*s. Is a even?
True
Let n(u) = -u**2 + 8*u - 7. Let f be n(8). Let y(c) = -15*c - 49. Is 28 a factor of y(f)?
True
Let w = -9 + 239. Is 12 a factor of w?
False
Suppose 241 = n + 71. Is 10 a factor of n?
True
Let b(g) = -14*g. Let s be b(-6). Let n be (-9)/((s/40)/(-7)). Does 16 divide (-2 - n)/(1/(-2))?
True
Suppose -4*k + 32 = 44, 9069 = 5*s + 2*k. Is 8 a factor of s?
False
Suppose -3*z + 4806 = 3*w, -13*z + 2*w = -12*z - 1596. Is 8 a factor of z?
True
Suppose 26 = 2*u - 3*u. Let y(j) = j**2 + 6*j - 113. Let m be y(0). Let g = u - m. Does 29 divide g?
True
Suppose -3*q - 2*c - 16 = 0, 3*q - 4*q + 2*c = -8. Let t be 0*q/(-8)*2. Suppose -4*p = 2*s - 234, 0 = -3*s + 2*p - t*p + 351. Is s a multiple of 25?
False
Let r(v) = v**3 - 4*v**2 + v - 4. Let a be r(4). Suppose -2*s - 2*s + 20 = a. Suppose 0 = -2*u + 3*i + 13, u - s = -0*u + 3*i. Is 8 a factor of u?
True
Let p(u) = 39*u**2 + 20*u - 66. Is p(4) a multiple of 29?
True
Let w = 85 - 85. Suppose w = 8*h - 23*h + 525. Is h a multiple of 7?
True
Let r(a) = -a**2 + 38*a - 28. Let i be (1 - 2)*(0 + 1) + 26. Is 29 a factor of r(i)?
False
Let x(h) = 3*h + 37. Let g be x(0). Let v = 113 - g. Is v a multiple of 19?
True
Does 9 divide 9/81 - 10203/(-27)?
True
Suppose 4*o + 3*q - 371 = 0, 7*o - 2*o - q - 459 = 0. Suppose -2*t + k = -4*t + o, 4*k - 8 = 0. Suppose 0 = 4*u - 125 + t. Is u a multiple of 10?
True
Let h(p) = 6*p - 3. Let y be h(7). Let u = -23 + y. Let s = u + -12. Does 4 divide s?
