rue
Let s be (-2)/(12/273)*-2. Suppose 0 = c + 19 - s. Is c a multiple of 12?
True
Suppose -o + 4 = 2. Suppose 0*z = -z + o. Is z/(-4)*(-192)/6 a multiple of 11?
False
Let i(n) = 5*n + 21. Let k(v) = 6*v + 22. Let g(f) = 5*i(f) - 4*k(f). Let m be g(-13). Suppose -m*q = -16, -11 - 55 = -3*p + 3*q. Is 6 a factor of p?
False
Let n be -3 + 0 - 39*-1. Let t = n + -17. Suppose -3*d + 111 = 2*b, -b + t = -2*d - 47. Does 30 divide b?
True
Suppose -2*n + 654 = 2*r, -3*n + 1309 = -11*r + 15*r. Is r a multiple of 8?
True
Let v = -3952 + 5632. Is 80 a factor of v?
True
Let n(x) = 1 + 2*x + 2 - 6 + 0. Let i be n(4). Suppose -i*o = -4*o + 3*b - 115, -446 = -4*o + 2*b. Is o a multiple of 29?
False
Suppose 11 - 107 = -4*g. Does 16 divide (28/16)/(2/g)?
False
Let b be (-3 - 0 - -4)*2. Let a(g) = 5*g + 2. Let d be a(b). Suppose 5*o + 2*k = 13, 3*o - d = -2*o - 3*k. Is o even?
False
Let i be 68/(-18) - (-14)/(-63). Let n be (-1)/i*(16 + 4). Suppose n*g = -5*w + 90, -4*g + w - 90 = -9*g. Is 9 a factor of g?
True
Suppose -2*j - 4*j - 6 = 0, j + 1646 = 5*n. Does 47 divide n?
True
Let z(a) = 6*a**2 - 18*a + 11. Does 33 divide z(9)?
False
Let x = -80 - -27. Let z = -8 - x. Is 9 a factor of z?
True
Suppose 0 = 2*k + 2*f - f - 9, 5*k = 2*f + 9. Suppose k*z = z + 36. Is z a multiple of 18?
True
Suppose 5*w + o - 436 = 0, 2*w - 7*o = -3*o + 192. Does 11 divide w?
True
Let q(j) be the third derivative of j**5/6 + j**4/6 + 5*j**3/6 - 13*j**2. Is q(-3) a multiple of 13?
False
Suppose -4*k - 430 = 5*q, q - 3*k = -4*q - 430. Let h = q - -255. Is 27 a factor of h?
False
Let p be -5 + 7 - (-2)/1. Suppose z - p*z + 6 = 0. Is z/(-9) + 249/27 a multiple of 9?
True
Suppose 0 = 4*x + 2*y + 72, -4*x + 0*y - 92 = -3*y. Is (x/(-6))/((-6)/(-9)) even?
False
Let q(l) be the third derivative of 0*l + 0 - 1/2*l**4 + 1/3*l**3 + 5*l**2. Does 7 divide q(-1)?
True
Let h(f) = -f**2 - 16*f - 25. Suppose 0 = -3*a + 4*d - 52, 2*a + 2*a + 3*d = -36. Is 2 a factor of h(a)?
False
Let p(o) = -7*o - 137. Let q(h) = 9*h + 136. Let r(a) = -4*p(a) - 3*q(a). Does 17 divide r(0)?
False
Let l(o) = o**3 + o**2 + 2*o + 165. Let j(a) = -a + 1. Let p be j(1). Does 11 divide l(p)?
True
Is 9 a factor of (8/4)/(28/6678)?
True
Suppose -41 = -2*f + q, -4*f = -2*f + 2*q - 38. Does 9 divide ((-305)/f)/((-2)/8 - 0)?
False
Let o(a) = a**2 + 13*a - 128. Is 6 a factor of o(16)?
True
Suppose 4*u + 280 = -0*u. Suppose 0 = r - 5*s + 11, 2*r - 2*s = s - 1. Is 23 a factor of 3/((-12)/r) - u?
True
Let y(i) = i**3 - i**2 + 20. Let b be y(0). Suppose -w + b = -8. Suppose -s + 3*g + 28 = 0, s - 5*g - w = -0*s. Is s a multiple of 14?
True
Suppose -9 - 3 = -4*p. Suppose p*o = -o. Suppose o = -g - 1 + 7. Is 5 a factor of g?
False
Let n be (-14)/35 - 12/(-5). Let d(j) = -j**3 - j - 2. Let p be d(n). Does 12 divide -4 - p/(-3)*-16?
True
Suppose -407 = -5*o - 5*d + 493, 0 = -2*d - 6. Let u = -128 + o. Is 11 a factor of u?
True
Let w(y) = 2*y - 9. Let a be w(9). Let u(x) = 32*x - 40. Is 28 a factor of u(a)?
False
Let f(a) = -a**2 - 47*a - 189. Does 11 divide f(-24)?
True
Let n be (-3)/(-2) + -1*(-102)/12. Let p = 28 - n. Is p a multiple of 18?
True
Let b = -320 - -463. Is 17 a factor of b?
False
Let s be ((-7)/((-7)/(-9)))/(-3). Let o = -14 + s. Does 18 divide (1/2)/(o/(-1496))?
False
Let u(h) be the third derivative of 7/6*h**3 + 4*h**2 + 2/3*h**4 + 0*h - 1/60*h**5 + 0. Does 2 divide u(16)?
False
Let b(i) = -22*i - 6. Let d be b(-10). Suppose -5*a + 4*n = -2*a - 142, n + d = 5*a. Is a a multiple of 7?
True
Let o be (-5)/((-45)/(-2)) - (-58)/18. Suppose 3*z - o*t - 146 = t, -147 = -3*z + 3*t. Does 11 divide z?
False
Suppose -32 = -2*b + 26. Suppose -n = -b + 7. Is n a multiple of 18?
False
Suppose -a + 4*m = -43, 0 = 3*a - a + 3*m - 42. Let y = 47 - a. Suppose y + 33 = 3*t - l, 0 = 4*t - 4*l - 76. Is t a multiple of 3?
False
Does 9 divide 1632/48*(45/(-2))/(-3)?
False
Suppose 1167*h - 960 = 1165*h. Is h a multiple of 23?
False
Let d be (-9)/(-7) + -1 - (-4833)/63. Let h = d - -23. Is 14 a factor of h?
False
Let c = 3 - 4. Let w be (c/3)/(1/(-18)). Let r(i) = 2*i**2 - 8*i - 4. Is r(w) a multiple of 10?
True
Is 65 a factor of (312/28)/((-1)/(-315))?
True
Suppose -27*z = -13004 - 39889. Is z a multiple of 14?
False
Suppose 0 = -18*a + 21*a + 843. Is 20 a factor of (1 - a)/(2 + (3 - 3))?
False
Let t = -63 - -248. Let n = 293 - t. Is 27 a factor of n?
True
Let b(z) = -94*z - 235. Is b(-5) a multiple of 47?
True
Suppose -6*h + 28*h - 6710 = 0. Does 19 divide h?
False
Let p = -128 + 549. Is p a multiple of 28?
False
Let g(h) = -3*h + 12. Let w(p) = -2*p - 12. Let o be w(0). Let k = o + 3. Is 35 a factor of g(k)?
False
Let v(i) = 49*i - 1. Let r(n) = 636*n - 12. Let s(g) = -4*r(g) + 54*v(g). Is s(2) a multiple of 11?
True
Suppose 3*r + g - 10 = 0, -r - 2*g + 14 = g. Suppose -r*o + 5*a + 101 = -39, -2*o - 4*a = -104. Is 20 a factor of o?
True
Suppose f - 5*f - 64 = 4*v, -5*v = -5*f + 40. Let h be (-50 - (-1 + -1)) + 0. Let m = v - h. Is 18 a factor of m?
True
Let o(x) = 508*x**3 - 4*x**2 + 5*x - 1. Does 10 divide o(1)?
False
Let h = 521 - -15. Does 9 divide h?
False
Suppose 644 = 6*b - 2*b. Let o(q) = -24*q + 4. Let i be o(4). Let r = b + i. Is 23 a factor of r?
True
Suppose h + 88 = 2*p + 2*h, -168 = -4*p + 2*h. Is 6 a factor of p?
False
Let d(c) = -c**3 + 10*c**2 - 12*c - 4. Suppose -2*a + 22 = 3*x, -2*a + 0*x + 18 = x. Is 4 a factor of d(a)?
True
Suppose 143*z - 117810 = 108*z. Is 99 a factor of z?
True
Suppose 0 = -o - 4*m + 331, 62 = o - 5*m - 242. Is 32 a factor of o?
False
Suppose -102*h = -52906 - 18494. Does 7 divide h?
True
Let l = -26 - -32. Is 6 - (6/(-2) + l) a multiple of 2?
False
Let v(i) = -i. Let s(n) = -n**3 + 9*n**2 - 5*n + 8. Let p(t) = -s(t) - 2*v(t). Is 11 a factor of p(9)?
True
Suppose -49*j + 33*j = -288. Is 6 a factor of j?
True
Let s(i) = 15*i**2 - 3 - 1 + 11*i - 7 + 26*i**2. Let y(l) = -14*l**2 - 4*l + 4. Let o(m) = 4*s(m) + 11*y(m). Is 10 a factor of o(-1)?
True
Let i be 2 - (-1 - (0 + -2)). Suppose -i = -d - 3. Is 30/(d/(-16)*6) a multiple of 15?
False
Let a = -17 + 17. Suppose -4*i - 2*b + 290 = -a*i, 2*b = -3*i + 217. Does 27 divide i?
False
Let g(h) = h**3 - 9*h**2 + h - 4. Let c be g(9). Suppose 3*o - 2*o + 2*v - 172 = 0, c*v = 25. Let t = o - 82. Is t a multiple of 20?
True
Let j(w) = 2*w**3 + w**2 - 3*w + 1. Let l be j(3). Suppose -6*z + 239 + l = 0. Is z a multiple of 7?
True
Let d be 8/3 + (-6)/(-18). Suppose 0 = d*r + 3*y - 390, y + y = -4. Suppose s - 4*s + r = 0. Is 8 a factor of s?
False
Let i = 20 + -3. Suppose 4*h - i = 3*x - 0, 13 = -h - 5*x. Is 3*h/(-3) - -11 a multiple of 3?
True
Let a = 3344 - 1815. Does 11 divide a?
True
Let w(z) = -8*z**3 - 2*z**2 + 2*z + 11. Does 7 divide w(-3)?
True
Let m = 118 + -116. Suppose -5*i + 2*i + 240 = 2*c, m*c = 4*i + 240. Is c a multiple of 20?
True
Let o = -16 + 17. Is 19 a factor of (-1*o)/((-11)/957)?
False
Let d be (-2 - -3) + (-33)/3. Let y = d - -6. Is 4 a factor of (-219)/(-12) - 3/y?
False
Is 29 a factor of 2204/6*(35/(-14) - -4)?
True
Let t = 456 + -134. Suppose -4*g + t = -158. Does 6 divide g?
True
Let o(d) = 6*d + 2. Let i be o(-1). Let r = i + 122. Does 10 divide r?
False
Suppose 4*m - 6 - 6 = 0. Let y(l) = 2*l**3 - l**2 + 1. Is y(m) a multiple of 22?
False
Let a(f) = -21*f**3 - 2*f**2 + f + 5. Let q be a(-2). Let u = q + -105. Is u a multiple of 29?
True
Let w = -159 - -46. Let b = w + 143. Is b a multiple of 17?
False
Let h = 75 - 79. Does 13 divide h - -1 - -2*1379/14?
False
Let m(g) = 4*g**3 + 2*g**2 - 14*g - 6. Let k be m(3). Suppose -4*c + 43 = -5*z - 2, -4*c = 4*z. Suppose -a + k = -f, 2*f - c*f - 9 = 0. Is a a multiple of 25?
True
Suppose -176*d = -181*d + 1795. Is d a multiple of 18?
False
Let u(a) = a**3 - 4*a**2 - 19*a + 109. Does 2 divide u(5)?
False
Suppose 3 = 4*b - 3*b. Let y = 6 - b. Does 13 divide (y/2)/((-6)/(-200))?
False
Let b = -160 + 703. Is 9 a factor of b?
False
Let c = 1570 - 244. Does 34 divide c?
True
Suppose -3*s + 1278 = 3*v, 0 = -2*v - 5*s - 56 + 911. Does 73 divide v?
False
Suppose p - 2 = -u + 2*u, 5*u + 10 = 0. Suppose p = 19*y - 16*y - 30. Is 17*2 - (y + -9) a multiple of 11?
True
Suppose 0*v + 5*v - 90 = -2*r, v = -5*r + 248. Suppose 5*f - 15 = 0, -6*g - 116 = -g - 2*f. Let k = g + r. Is k a multiple of 28?
True
Let h