ppose 5*c + 84 = 3*r, 3*c + 2*c = -3*r + 114. Let z = r - 10. Does 13 divide z?
False
Let a = 139 + -58. Is a a multiple of 14?
False
Does 11 divide 1 - 10/2 - -16?
False
Is 2 a factor of 11 - 1/(3/12)?
False
Let p be (3 - 3)*1 + -13. Let w = p - -104. Let m = w - 45. Does 23 divide m?
True
Let h(o) = o**3 + 7*o**2 + 2*o + 9. Let x be h(-7). Does 3 divide (-1)/(x/9)*5?
True
Let o = -5 + 6. Let b = -25 + o. Let x = -10 - b. Does 14 divide x?
True
Let k(w) = -21 + 11 + 6*w - 17*w. Is k(-4) a multiple of 8?
False
Is 21 a factor of -3 + 332/4 - -4?
True
Let s(f) = -1 - 12*f**2 + 4*f - f - 4*f. Let i be s(-1). Let k = 18 + i. Does 3 divide k?
True
Let c be ((-4)/(-6))/((-4)/(-42)). Suppose 4*g - 12 = c*g, -2*j - 2*g = 8. Suppose -4*n + 3*n + 6 = j. Is 4 a factor of n?
False
Let p(f) = f**2 - f + 2. Let i(b) = 2*b**3 - 2*b**2 - 1. Let j be i(3). Suppose 0*s = -5*s + j. Does 22 divide p(s)?
True
Suppose 0 = -5*u + 3*f - 521, 261 = -2*u - f + 46. Let a = u - -154. Does 12 divide a?
True
Suppose -8 = -5*r + 92. Is 4 a factor of r?
True
Suppose 3*k - 5 = 31. Does 9 divide k?
False
Let g = -37 - -91. Does 10 divide g?
False
Let t(k) = -k**2 - 4*k. Let u be t(-4). Suppose 5*o - 4*d - 180 = u, 3*o - 2*o + 5*d = 65. Suppose j + o = 6*j. Is 8 a factor of j?
True
Let m be (-2 - 48/(-15))*75. Let o = -42 + m. Does 12 divide o?
True
Let i = 306 + -498. Let u be (-4)/(-6) - i/9. Suppose 0 = 2*w - 2*q - 62, q = w + 3*q - u. Is w a multiple of 14?
True
Suppose -4*z + 12*z - 272 = 0. Does 33 divide z?
False
Is 2/10 + 59/5 a multiple of 3?
True
Let w = 15 - 13. Suppose -12 = -2*a - 3*x, -w*x - 11 = -3. Is a a multiple of 6?
True
Let s(z) = 13*z - 52. Is s(8) a multiple of 26?
True
Let i = -540 - -788. Is 31 a factor of i?
True
Let u(f) be the first derivative of 13*f**4/2 - 2*f**3/3 + f**2 - f - 1. Does 14 divide u(1)?
False
Suppose 5*f = -j - j + 225, 3*j = -2*f + 90. Does 9 divide f?
True
Suppose 4*p + 32 = 5*j, -3*p + 6*p + 2*j + 24 = 0. Does 3 divide (p/(-6))/(1/6)?
False
Suppose -43 - 142 = -5*u. Is 15 a factor of u?
False
Let w(m) = -m + 52 - 12 - m**2 + 23. Let c be w(0). Suppose c = 5*t - 7. Is 14 a factor of t?
True
Suppose 5*r - 106 = 9. Is r a multiple of 9?
False
Let j(h) = -5 + 3 + h - 3. Let n be j(4). Is (26 - n) + 12/6 a multiple of 11?
False
Let m be -2*(1 - (-27)/(-6)). Suppose m = p - 2. Is 3 a factor of p?
True
Suppose 0 = -3*j - 33 + 618. Does 38 divide j?
False
Suppose -2*k + 12 = -3*k. Let y = 11 - k. Suppose 2*u = 25 + y. Is u a multiple of 10?
False
Suppose 0*h = -2*h + 24. Let p = h - 8. Is 4 a factor of p?
True
Suppose -2*h + 3*u + 3 = 0, -3*h + 3 + 2 = -5*u. Suppose l = -h*l + 2. Suppose -5 - 3 = -5*m - 3*t, m - l*t = 12. Does 2 divide m?
True
Let u(m) = 2*m**2 - 39*m - 9. Does 7 divide u(20)?
False
Suppose u + j - 3*j - 100 = 0, 400 = 4*u - 2*j. Suppose r = -r + u. Is r a multiple of 14?
False
Let p(z) = -z**3 + 10*z**2 + 3*z - 15. Does 8 divide p(10)?
False
Suppose 5*o + 16 - 11 = 0, -265 = -2*m - o. Is 5 a factor of m?
False
Let q = 116 + -113. Suppose -h - 3*h = 1776. Is 10 a factor of ((-1)/q)/(4/h)?
False
Let h be (4/(-10))/((-8)/80). Let f = h - -18. Is f a multiple of 18?
False
Let z = 214 - -68. Is z a multiple of 47?
True
Suppose -5*y + 3 = -2. Let a(o) = -9*o**2 + 2*o - 1. Let m be a(y). Let g = m + 17. Is g a multiple of 4?
False
Suppose 115 = 3*f + 3*u - 2*u, 4*u = 3*f - 125. Is 39 a factor of f?
True
Suppose 3*u = 3*w - 663, 2*w + 4*u = w + 216. Suppose 0 = -c + h + 37, -5*c - 2*h + w = 0. Does 14 divide c?
True
Let j = -5 + 10. Let u(c) = 4*c + 7. Does 27 divide u(j)?
True
Suppose 30 = o + 6. Suppose -3*k + o = -12. Is 6 a factor of k?
True
Let a be ((-20)/12)/(2/(-18)). Suppose 0 = -0*j + 3*j - a. Is 5 a factor of j?
True
Suppose 0*f = -2*b - 5*f + 14, -b - 2*f + 9 = 0. Does 8 divide b?
False
Let t(d) = -d - 2. Suppose -x + 0*x - 4 = 0. Let o be t(x). Is 12 a factor of ((-22)/1)/(1 - o)?
False
Is 44 a factor of 3/((-60)/(-8)) + 654/15?
True
Suppose -g - 19 + 354 = 5*b, 0 = -g + 5. Does 33 divide b?
True
Let l = 26 - 17. Let i(t) = t**3 - t**2 - 5*t - 4. Let s be i(-3). Is 4 a factor of (-10)/s*(l - -1)?
True
Does 9 divide 168/9 - 2/3?
True
Let q = 153 - 54. Suppose -5*j + 269 = q. Is 27 a factor of j?
False
Does 4 divide 876/22 + (20/(-55))/(-2)?
True
Suppose 3*s - 82 = -4*p, -2*p + 5*s + 21 = -33. Does 16 divide p?
False
Let s = 44 - 30. Suppose -5*k = 3*y - 16, -4 + s = y + 4*k. Suppose -y*r - 4 = -3*h, -4*h + r = 3 - 15. Does 3 divide h?
False
Let j(l) = -l**3 - 8*l**2 - 1. Let u be j(-8). Let v = 3 - u. Is 3 a factor of v?
False
Let f(n) = -11*n + 4. Suppose 3*a - 79 = -2*s - 0*s, 0 = 5*s - 25. Suppose 5*u + 2*c + a = 0, -3*u + 6 = -5*c - 5. Is 13 a factor of f(u)?
False
Let k(t) = 3*t - 3. Let x be k(2). Suppose -3*n + 0 = x. Let p(l) = 20*l**2. Does 20 divide p(n)?
True
Let d be (-2)/(-10) + (-243)/15. Let f = 23 + d. Does 4 divide f?
False
Let m(t) = -t**2 + 9*t - 4. Let h(w) = w**2 - 4*w + 4. Let b be h(4). Does 5 divide m(b)?
False
Let o(u) = u**2 - 7*u + 8. Let j be o(6). Let g(n) = 0*n**2 + 2*n**3 - 2 - 4*n**2 + 2 + 3*n. Is 3 a factor of g(j)?
True
Suppose -2*m - 3*m = -35. Let a(j) = -j + j - j + m. Is a(-5) a multiple of 12?
True
Suppose u - 1 - 3 = 0. Suppose -3*d - 2 = u. Does 12 divide (d/(-4))/(2/84)?
False
Let r = 30 - 55. Let a = r + 39. Suppose -4*m + 38 = -a. Is m a multiple of 13?
True
Suppose 5*r + 0*r + 110 = 0. Let d(m) = -m**3 - 4*m**2 - 4*m - 3. Let j be d(-5). Let n = j + r. Is n a multiple of 16?
False
Let g(f) be the third derivative of f**6/120 + f**5/10 + f**4/8 - 2*f**3/3 - 9*f**2. Let m = -4 + -1. Is 6 a factor of g(m)?
True
Let z = 4 - 7. Let r be -5 - z - (-21 - -1). Suppose 2*i = -4*f + r, 4*f - 5*f = i - 12. Is 6 a factor of i?
False
Let x(d) = -d**2 - d + 3. Let r(l) = l**3 + 2*l**2 - 2*l. Let y be r(-3). Let m be x(y). Does 16 divide (m/3 - 0) + 49?
True
Suppose -40 = y - 6*y - 5*g, 2*y + 4*g - 26 = 0. Suppose 2*h - y = h. Is 10 a factor of (-2)/3 - (-44)/h?
False
Let r(u) = 4*u**2 + 2*u. Is r(-2) a multiple of 12?
True
Suppose -4*g + 2*n = -17 + 1, g - 2*n - 10 = 0. Suppose -g*t = t. Suppose t = 5*c - 3*c - 56. Is 14 a factor of c?
True
Let n(q) = 3*q**2 + q. Let b be (-2)/(-9) - (-33)/(-27). Let f be n(b). Suppose 13 = f*k - 3. Is 3 a factor of k?
False
Let d(h) = 2*h - 1 - 4*h + 4. Let p be d(-6). Suppose 0 = 4*s - 17 - p. Is s a multiple of 3?
False
Suppose m + 0*r = 5*r + 1, -2 = -r. Let b = 3 + -2. Suppose 2*c - b = m. Does 3 divide c?
True
Is 28 a factor of (129/(-15))/(2/(-10))?
False
Suppose 24*d + 136 = 26*d. Is d a multiple of 4?
True
Let f(o) = -o**2 + 6*o + 14. Let k be f(7). Let p(r) = -2*r**3 + r**2 + r. Let q be p(-1). Is k*(-3 + q + 5) a multiple of 22?
False
Let z be (-2 + -1)*6/(-18). Is 10 a factor of (2 + -3 - z) + 12?
True
Suppose 2*a - 2 - 6 = -4*j, -3*a - 4*j + 10 = 0. Suppose 2*k - 8 = a. Does 2 divide k?
False
Let g(h) = -h**2 + 259. Is g(0) a multiple of 22?
False
Suppose 0*o - 3*o = -12. Suppose 2*f + 92 = o*x, -3*x + 69 = -f + 5*f. Does 7 divide x?
False
Suppose -v + 985 = 3*v - 5*y, 500 = 2*v - 4*y. Does 40 divide v?
True
Suppose -9 - 72 = -5*m + 3*o, 3*m = 5*o + 55. Is 9 a factor of 6/m*5*18?
True
Suppose -4*y - 2*p = y - 9, 5*p + 30 = 5*y. Suppose -w - 4 = 3*z, -y*z = z. Is 17 a factor of 1 - (-22)/w*-8?
False
Let x = -7 + 5. Is 28 a factor of 6*x/(16/(-124))?
False
Let o(g) = 3*g**2 - 3*g - 17. Is 19 a factor of o(-3)?
True
Suppose 0*k - 7 = -3*o - k, k = -2*o + 5. Let v = 1 - 1. Suppose v = -c + 2*a + 26, -44 = -o*c + a - 7. Is c a multiple of 11?
False
Let y(d) = d**3 + 2*d**2 - 4*d - 5. Does 15 divide y(4)?
True
Let t = -23 - -15. Let h(q) = q**3 + 8*q**2 - 3*q + 8. Does 6 divide h(t)?
False
Suppose 6 = 2*l - 4. Let p = l - 2. Does 2 divide p?
False
Suppose -1386 = -7*n - 4*n. Is 9 a factor of n?
True
Let l(b) = 2*b**2 - b - b**2 + 0*b**2 - 9 + 0*b**2. Does 2 divide l(5)?
False
Suppose -31 = 5*g + 5*o - 136, 5*o + 57 = 4*g. Does 11 divide g?
False
Suppose -4*s - 3*n - n = -40, 4*s = 5*n - 5. Let k be 112/s + (-12)/30. Let i = k + -14. Does 8 divide i?
True
Let f be 9*(-1 - 15/(-9)). Let h = f + 1. Suppose h*t = 2*t - 4*a + 71, 2*t - a - 18 = 0. Does 8 divide t?
False
Suppose -j = -4 - 0, -j = 4*z - 68. Let r = 22 - z. Let x = r + 24. Is 21 a f