 r(22) a multiple of 33?
False
Let v be 56/21*21/(-2). Let a = v + 49. Does 15 divide a?
False
Let i = -63 + 111. Does 3 divide i?
True
Suppose -8*m + m + 77 = 0. Is 11 a factor of m?
True
Let w(i) = 4*i - 2. Let x be w(2). Is (9/6)/(x/80) a multiple of 8?
False
Let d = -50 - -91. Let g = 59 - d. Is g a multiple of 6?
True
Let k(c) = c + 37. Let x(t) = t**3 + 4*t**2 + 2*t - 1. Let z be x(-2). Suppose -h = -z*h. Is 25 a factor of k(h)?
False
Suppose 4*t + 42 = 150. Is 8 a factor of t?
False
Let l(r) = -26*r**3 + 4*r**2 - 2*r + 1. Let h(p) = -27*p**3 + 5*p**2 - 3*p + 1. Let w(z) = -4*h(z) + 5*l(z). Let q = -5 - -4. Is w(q) a multiple of 8?
False
Let i = -41 - -50. Does 3 divide i?
True
Let q = -32 - -110. Is 26 a factor of q?
True
Suppose s = -2*r + 3*r + 27, -4*r + 126 = 5*s. Is s a multiple of 13?
True
Let z be 21/(-9)*(-23 - 1). Is (-4)/12*(-1 - z) a multiple of 19?
True
Let x = -111 - -166. Does 6 divide x?
False
Let i(a) = -34*a**2 - 3*a + 17. Let w(p) = -11*p**2 - p + 6. Let u(z) = -6*i(z) + 17*w(z). Let t(g) = g**2 - 4*g - 6. Let b be t(5). Is 8 a factor of u(b)?
True
Is (26/(-65))/(2/(-145)) a multiple of 29?
True
Suppose -2*n = 3*n - 85. Let k = -7 + n. Does 5 divide k?
True
Is (24/10)/(-6*5/(-3300)) a multiple of 44?
True
Suppose 4*q = d + 120 - 0, -60 = -2*q - 5*d. Is 6 a factor of q?
True
Suppose 0*y = 5*y - o - 134, 2*o = 3*y - 86. Let l = -10 + y. Suppose m - 5 = l. Is m a multiple of 9?
False
Let j(g) be the second derivative of g**4/4 - 5*g**3/6 - 3*g**2 + 3*g. Let x be j(6). Suppose 2*c + 1 = -5*b + x, -167 = -4*c - 5*b. Does 24 divide c?
True
Let f(v) = -v**3 + 9*v**2 - 7*v - 3. Let p be f(8). Suppose p*t + 21 - 66 = 0. Suppose 4*l = 49 - t. Is l a multiple of 4?
False
Suppose -295 = -5*f + 125. Is 28 a factor of f?
True
Let f be (-320)/(-18) - 2/(-9). Suppose -f = 2*z - 5*z. Suppose w + 2 = z. Is w a multiple of 2?
True
Let s(o) = 5*o**2 + o + 1. Let i be s(-1). Suppose 0 = i*y - 5*j - 55, -2*y - 4*j - 12 + 28 = 0. Suppose 2*c = c + y. Does 5 divide c?
True
Suppose 175 = a + 4*a. Does 9 divide a?
False
Suppose -r + 5 + 5 = 0. Suppose -3*s + r + 2 = 0. Is ((-54)/s - 2)*-2 a multiple of 18?
False
Suppose -5*x + 7*v + 20 = 2*v, -v = 2*x + 4. Let b be (-2 - 0)*(-5)/5. Suppose x*c - 20 = -b*c. Is c a multiple of 5?
True
Suppose 5*v - 5 = 30. Let b(j) be the second derivative of j**5/20 - 7*j**4/12 + 2*j**2 - j. Is b(v) a multiple of 2?
True
Suppose 5*t - 3*l - 181 = 0, l - 66 = -2*t - l. Does 6 divide t?
False
Let d(r) = -r**3 + 12*r**2 + 14*r - 9. Let v be d(13). Suppose -3*k + v*k = t + 20, -4*k - 3*t = -80. Does 20 divide k?
True
Is 19 a factor of ((-10)/30)/(1*2/(-1482))?
True
Suppose -5*i + 77 + 123 = 0. Is i a multiple of 5?
True
Suppose 3*g - 192 = -g. Is g a multiple of 9?
False
Does 4 divide (3*2)/(-2 + 24/11)?
False
Let f = 9 - 5. Suppose 4 = -4*d, f = 3*i + 4*d - 2*d. Let s = i + 1. Is s a multiple of 2?
False
Let r(z) = z + 22. Is 4 a factor of r(-17)?
False
Suppose 7*l - 62 = 64. Is l a multiple of 6?
True
Let w(m) = 4*m**2 + 4*m - 8. Is w(-5) a multiple of 18?
True
Let y be (-1 - 0) + 1 + 0. Suppose 2*d = -y*d + 26. Let i = d - -6. Does 12 divide i?
False
Suppose 0*f + 5*f = 0. Suppose 4*i + f = 108. Let n = -13 + i. Does 14 divide n?
True
Suppose 3*w = 139 + 341. Does 32 divide w?
True
Let g = 3 + 11. Does 14 divide g?
True
Does 13 divide (-3)/(-3)*-1*-47?
False
Suppose 0*i + i - 13 = 0. Is i a multiple of 12?
False
Suppose 0*p - 256 = -s + 2*p, -4*s - 3*p = -991. Suppose 5*n - 5*v - s = 0, 2 = -5*v + 6*v. Does 26 divide n?
True
Let d = 116 - 68. Is d a multiple of 24?
True
Does 24 divide (-2)/(-5)*(280*4)/7?
False
Let o = 0 + 4. Suppose 0 = -3*f + o*f - 724. Is f/26 - (-8)/52 a multiple of 28?
True
Let o = -37 + -73. Let w be 927/(-12) + (-1)/(-4). Let r = w - o. Is 11 a factor of r?
True
Let a(c) = 6 - 3 - c + 5. Let d be a(0). Does 2 divide (-3)/4 + 30/d?
False
Suppose 0*y - 28 = -4*y. Let q = y + -4. Suppose -36 = -q*c - 0*c. Does 12 divide c?
True
Suppose b + 2 - 1 = 0. Let u be (-2)/3*3/b. Suppose 4*r = c - 6, -4*c + 117 = -u*r + 23. Does 14 divide c?
False
Suppose -3*t = -8*t + 525. Let p = t - 50. Is p a multiple of 15?
False
Suppose -31 = -2*l + 17. Suppose 0*a + a + 8 = -3*i, 2*a = 2*i + l. Is a a multiple of 4?
False
Let s(x) = x**2 + 1. Let w be s(-2). Let o(k) = -14*k**3 + k - 2. Let v be o(-2). Suppose w*t = t + v. Is 11 a factor of t?
False
Suppose -9*p = -7*p - 122. Does 22 divide p?
False
Suppose 2*o = 4*u - 4, 0 = -0*o - o. Let l(i) = 2 + 2*i + 1 - 5*i**2 + 30*i**3 - 4 + 4*i**2. Is 9 a factor of l(u)?
False
Let j(p) be the first derivative of -p**3/3 + 2*p**2 + 1. Let z be j(3). Let k(y) = y**3 - 2*y - 1. Does 20 divide k(z)?
True
Does 3 divide 17 + 1*(-5 + 2)?
False
Let b(h) = -6*h**2 + h - 1. Let w be b(2). Let j = w - 61. Is 4/(-10) - j/10 a multiple of 3?
False
Let f = 13 + -8. Suppose t + f*z - 33 = 0, -4*t - 3*z - 4 = -85. Suppose 2*b = w - t, 4*b = -3*w + 7 + 7. Is 5 a factor of w?
True
Let f = 5 - 2. Suppose f*l = -l - 8. Let p = 4 - l. Does 4 divide p?
False
Let n = 6 - -10. Suppose 3*o + n = o. Let s(z) = -4*z - 6. Is 13 a factor of s(o)?
True
Let j(g) = -g**3 - g**2 + 3*g - 2. Is j(-3) a multiple of 3?
False
Suppose -4*t = -4*b + 532, 4*b + 5*t = -0*b + 523. Is b a multiple of 12?
True
Let y(r) = -3*r**2 - 20*r + 1. Let j(v) = 4*v**2 + 30*v - 2. Let h(s) = 5*j(s) + 7*y(s). Is 13 a factor of h(5)?
False
Let l(o) = 6*o**2 + 4*o - 3. Let x(v) = v**2 + v + 2. Suppose 0 = 2*t - t. Let u be x(t). Is 11 a factor of l(u)?
False
Let t(k) = 40*k + 16. Let s(d) = 8*d + 3. Let z(g) = 11*s(g) - 2*t(g). Let p be z(-2). Let f = -7 - p. Is 8 a factor of f?
True
Suppose -4 - 8 = 3*v. Let h = v + 4. Is 17 a factor of 2 + (h - 0) - -15?
True
Suppose 3*x + 5*r = 4*r + 284, -4*r - 445 = -5*x. Is 31 a factor of x?
True
Let t(z) = -z - 8. Let a be t(-9). Does 10 divide -1 + a + -2 + 33?
False
Let z(k) be the second derivative of -k**5/20 - 7*k**4/12 + 4*k**3/3 - 3*k**2/2 + 3*k. Let a be z(-8). Is 16 a factor of (-86)/a - (-4)/12?
False
Does 20 divide (-14)/7 + (1 - -41)?
True
Let k be (0 - (-5)/4)*4. Does 7 divide (-54)/(-4) - k/(-10)?
True
Let t = 0 + 6. Is (-364)/(-12) + (-2)/t a multiple of 15?
True
Let l = -12 + 33. Does 7 divide l?
True
Let r(b) = -13*b - 3. Let u be r(-3). Suppose 0 = -4*j + 4*i + u, 3*j + 0*i - 11 = -i. Suppose -j*y - 10 = -80. Is y a multiple of 5?
False
Let p(h) = h**2 - h - 13. Let u be p(7). Suppose 27 = r - u. Is r a multiple of 23?
False
Suppose 0*q = q - 5. Suppose -3*d - 2*d = q*n - 40, d - 2*n - 5 = 0. Is 7 a factor of d?
True
Let n = -5 + 7. Suppose -n*t - 3 - 1 = 0, 2*t + 38 = a. Does 14 divide a?
False
Let j = 4 - 2. Suppose 0 = -j*b + 11 + 21. Is 16 a factor of b?
True
Is -2 + 2 + 4 + 110 a multiple of 18?
False
Suppose 4*g + 0*g - 5*j - 150 = 0, g = 5*j + 45. Is 35 a factor of g?
True
Let p(g) = 11*g + 6. Let s be p(6). Suppose -j + 5*j - s = 0. Is 9 a factor of j?
True
Suppose -56 + 256 = 5*s. Is 29 a factor of s?
False
Let s = 22 + -18. Suppose 23 = d + s*t, 2*d - 4 - 24 = -2*t. Does 2 divide d?
False
Let s = -5 - -7. Let g(u) = 3 - 1 - 3 + 4*u + u**s. Is 10 a factor of g(3)?
True
Suppose -221 + 80 = -4*h + y, 3*h - 127 = 5*y. Is h a multiple of 17?
True
Suppose 0 = 2*z + z + w - 7, -3*z + 2*w + 13 = 0. Let c be (-2)/1*3/z. Does 14 divide ((-6)/9)/(c/51)?
False
Suppose -9*u = -11*u. Is 4/(-2 + 3) + u a multiple of 2?
True
Let y be 2/(-5)*(-13 - -3). Let z(m) = 5*m + 4 - y*m + 2. Is z(6) a multiple of 6?
True
Let g = 60 + 0. Does 14 divide g?
False
Does 24 divide (60/2)/((8/4)/8)?
True
Let n(m) = m + 2. Does 4 divide n(5)?
False
Let x(o) = -o - 1. Let f be x(-2). Let a be 0 + f - (10 - 3). Is 18 a factor of 3/(0 - a/100)?
False
Let f = 0 + 8. Is 5 a factor of f?
False
Let q be -94*(0 - 9/6). Suppose -4*m + h + q = 0, 3*m = h - 2*h + 111. Is 9 a factor of m?
True
Suppose -4*b = b - 25. Suppose 0 = b*n - 25. Is 5 a factor of n?
True
Suppose -2*p + p = 0. Let a(z) = z**3 + 2*z**2 - 5*z - 4. Let d be a(-3). Suppose -d*w + 4*q = -26, -3*w + p*q + 44 = -q. Is 11 a factor of w?
False
Suppose -5*k + 45 = -85. Is k a multiple of 13?
True
Let d = 272 + -162. Does 5 divide d?
True
Let z(j) = j**3 - 12*j**2 + 6*j - 2. Is 12 a factor of z(12)?
False
Let t be (-1)/3 + 338/6. Suppos