(-15). Is (-1 + o)*5/10 a multiple of 3?
True
Let j(o) = -o**3 - 12*o**2 - 19*o + 10. Is 14 a factor of j(-11)?
True
Let b(p) = -54*p - 69. Does 61 divide b(-25)?
True
Suppose -s + 2878 = 3*q, 14*q - 1924 = 12*q + 2*s. Does 60 divide q?
True
Let j be -18*-3*10/15. Suppose 0 = 2*l - 5*l + j. Is l a multiple of 6?
True
Let w(h) = -h**3 - 3*h**2 + 2*h + 6. Suppose 4*j - j = -12. Does 7 divide w(j)?
True
Suppose 0 = -5*g - 5, -2*o = -4*o - 5*g + 29. Let j = 27 + o. Does 15 divide j?
False
Let t = 1280 - 456. Does 12 divide t?
False
Suppose v = 2*a + 868, 4*v + 2000 = -a + 5454. Is v a multiple of 12?
True
Let s(q) = q**2 - 2*q + 5. Let c(t) = t - 4. Let z be c(-4). Let a be s(z). Suppose -7*b + 12*b = a. Is b a multiple of 17?
True
Does 46 divide 2340/54*(-3)/(-2)?
False
Suppose 8*q = 5*q + 96. Is 17 a factor of q/(-14) + 2 + 4620/49?
False
Suppose -2436 = -3*q + 4*w - 654, 4*w = 0. Is q a multiple of 27?
True
Let p(y) = -y**2 - 6*y + 7. Let w be p(-6). Let t = -8 + w. Let i(r) = -53*r + 2. Is 7 a factor of i(t)?
False
Let d = -204 + 334. Is 10 a factor of d?
True
Suppose 2560 = w + 3*w. Suppose -5*h + h + w = 0. Is 13 a factor of h?
False
Is 5406/16 - (-1)/8 a multiple of 13?
True
Let s(l) = l**3 + 5*l**2 - 2. Let t be s(-5). Suppose -3*n + 104 = -4*g, -g + 3*n = -2*g - 11. Is t - (5 - 2)*g a multiple of 22?
False
Let r(c) = c**3 - 26*c**2 + 31*c - 35. Does 2 divide r(25)?
False
Is 22 a factor of -10 - 4865/(-10) - (-2)/4?
False
Let a(s) = -2*s**2 - 38*s - 17. Let z be a(-16). Let d = z - 38. Is d a multiple of 8?
False
Let h(m) = -m**2 - 10*m. Let l be h(-10). Let r be -1 + (7 - (-1 - -1)). Does 5 divide r + (l - (-2 + -1))?
False
Suppose 7*w - 3*w = 12. Suppose -3*b + 59 = w*g - 34, b + 5 = 0. Is g a multiple of 18?
True
Let f(x) = 2*x + 2 + 34*x**2 + x - 4. Is 9 a factor of f(1)?
False
Let w = 7 - -268. Is 22 a factor of (16/(-5))/((-10)/w)?
True
Let y(z) = z**3 - 19*z**2 - 29*z + 137. Is 10 a factor of y(23)?
False
Let k(n) = 31 - 2 + 11 + 0*n - n. Is 14 a factor of k(12)?
True
Let i(q) be the first derivative of -23*q + 5*q**3 - 5 + 19/2*q**2 - 1/4*q**4. Is i(16) a multiple of 12?
False
Let x = 142 + -32. Is x a multiple of 110?
True
Suppose 7*r + 781 = 2328. Is 17 a factor of r?
True
Is 31 a factor of (11 - 28 - -10) + 4409?
True
Let f(a) = a**2 - 19*a - 86. Does 40 divide f(-9)?
False
Let m(k) = k**3 + 9*k**2 - 10*k + 5. Let t be m(-10). Suppose -5*d = 5*g - 280, 3*d - t*g - 204 = 4. Is 21 a factor of d?
False
Suppose -4*o = -5*c + 3412, 3*c - 2052 = 18*o - 14*o. Is 40 a factor of c?
True
Suppose 3*h - 2*d + 0 = -21, -3*d = -3*h - 21. Let x = -2 - h. Suppose -2 = 2*q - 3*q, 2*f - 36 = x*q. Is f a multiple of 7?
False
Let l = 81 - -168. Let v = l + -166. Is 27 a factor of v?
False
Suppose 0 = -4*b - b - 2*h - 6, h + 3 = 0. Suppose b*o + 55 = o. Does 10 divide o?
False
Suppose -3*i = -5*l + 125, -5*i = -0*l + 4*l - 63. Suppose 5*k = -j + l, -20 = 5*j - 5*k - 100. Is 17 a factor of j?
True
Let l be -6*4/8 - -5. Suppose 0 = o + 5*s - 160, 160 = -o + l*o - 3*s. Does 32 divide o?
True
Suppose -4*k + 50*p - 51*p + 18174 = 0, 22718 = 5*k + p. Is 142 a factor of k?
True
Does 4 divide (-85)/34 + 1426/4?
False
Let j(n) = 35*n**2 - 22*n - 58. Does 48 divide j(-5)?
False
Let f(p) = -4*p - 4. Let a be (-6)/2 - (0 - -1). Does 12 divide f(a)?
True
Let k(v) = 21*v - 7. Let m be k(4). Suppose -y + m = -4*d, 5*y - 358 = -4*d + 75. Suppose -4*p - 92 = -4*u, 3*p = -u - 3*u + y. Is u a multiple of 11?
True
Let f(c) = 51*c**2 - 15*c + 27. Does 6 divide f(2)?
False
Let p(i) be the third derivative of -17*i**4/8 - 5*i**3/2 + 2*i**2 - 5. Is 36 a factor of p(-7)?
False
Let f(w) = -2*w**3 - 7*w**2 - 6*w - 2. Let y be f(-4). Let k be y/(-6) + 9/27. Is (51/k)/((-2)/12) a multiple of 13?
False
Suppose 17*n - 12*n = 770. Suppose a + 39 = 3*t - 203, -3*a + n = 2*t. Is t a multiple of 20?
True
Let a = 7 - 3. Suppose -a*t + 3*q = 6*q - 311, -2*t + 5*q + 123 = 0. Is 13 a factor of t?
False
Suppose 0 = 16*j - 9827 - 9213. Does 7 divide j?
True
Let k = -1013 - -2135. Does 11 divide k?
True
Let p be 4/10 - 42/105. Suppose p*z - 420 = -2*z + 5*f, -2*f = -5*z + 1008. Is 20 a factor of z?
True
Let u be (-5 - -2) + (-1 - 40). Let b = u + 92. Does 16 divide b?
True
Let i(w) = -w**2 - 7*w - 1. Let y be i(-6). Suppose 5*c = -5*g + 930, y*c + 3*g - 430 - 502 = 0. Suppose c = 4*o + 75. Is 8 a factor of o?
False
Let m be (-14)/(-4)*(-8 - -32). Let y be (-59)/(-3) - m/(-63). Suppose -5*p = 2*c - 35, -c - 2 - y = -2*p. Does 9 divide p?
True
Suppose 15493 = 26*f - 159. Is 14 a factor of f?
True
Suppose 1 = 3*w - 5. Suppose 2 = w*h - 2. Suppose 4*k + 12 = 0, h*u - 4*k - 11 - 13 = 0. Does 6 divide u?
True
Let m(w) = w**2 + 4*w + 1. Let n(t) = 2*t + 4. Let r be n(-6). Let o be m(r). Let i = o - -35. Does 34 divide i?
True
Suppose -l + p = 3*l + 2, -3*l - 8 = -4*p. Let b be 0 - l - (-3 - 0). Suppose -4*i - u + 145 = 0, 3*i - 35 = b*u + 55. Is i a multiple of 6?
False
Let y(h) = h**3 - 18*h**2 + 12*h + 17. Let s be y(17). Let f = s - -122. Is f a multiple of 6?
True
Let y = 8 - 18. Let k be (-2)/(-6) + y/(-15). Is 6 a factor of 63/(6/2)*k?
False
Let g(k) = -k**3 - 16*k**2 + 30*k - 114. Let a be g(-18). Let h(c) be the first derivative of -c**4/4 - 4*c**3/3 + 5*c**2/2 + 2*c - 1. Does 9 divide h(a)?
False
Let c be ((-20)/15)/((-4)/114). Suppose 2*r + 3*d - 18 = 0, -3*r + 2*d + c = d. Suppose 3*s = r + 6. Is 2 a factor of s?
True
Let g = -91 - -92. Let h = 175 + g. Is 30 a factor of h?
False
Let o(p) = p**3 + 10*p**2 + 8*p - 4. Suppose 3*g + 19 = -8. Let c be o(g). Suppose 8 + 272 = c*u. Does 23 divide u?
False
Suppose -4 = 4*x, -2*g + 2*x = 3*g - 12. Suppose g*f = -0*f + 676. Let j = f + -199. Does 28 divide j?
False
Let r(w) = 6*w**2 - 1. Let u(d) = d + 11. Let q be u(-10). Let k be r(q). Suppose k*l - 40 = 360. Does 20 divide l?
True
Suppose 5*x + 5*l + 176 + 54 = 0, 2*x + 98 = -5*l. Is 16 a factor of 4/(-2)*4*1001/x?
False
Suppose -14*p + 4*p = 0. Suppose p = -5*r - 29 + 9, -5*r + 230 = 5*m. Does 5 divide m?
True
Let k(r) = r + 11. Let z be k(-8). Suppose 0*x + z*x + 12 = 0. Is 218/9 + x/18 a multiple of 6?
True
Let q(z) = 12*z - 7. Let f be q(5). Let c = -27 + f. Is c a multiple of 13?
True
Let b(n) = 7*n - 6. Let h(z) = -z**2 + z - 16. Let w be h(0). Let d = 22 + w. Is 12 a factor of b(d)?
True
Suppose 0 = -4*t + 13215 + 225. Is t a multiple of 105?
True
Suppose -6*t - 14 = 10. Does 18 divide (-106)/8*t*1?
False
Let n(h) = -2*h**3 - 4*h**2 + 2. Suppose 0 = 3*d + 11 - 2. Let p be n(d). Let z = p + -4. Is z a multiple of 16?
True
Suppose -11*d = -8*d - 6. Suppose -2*j - d*j = -16. Suppose 0 = 4*v - j*w - 16, w + 16 = 4*v - 15. Is 4 a factor of v?
False
Let x = -369 + 595. Suppose 2 = z - 0*z, -z = -4*h + x. Is h a multiple of 31?
False
Suppose -5*o - h + 247 = 0, -3*o + 100 = -5*h - 37. Let w = -9 - -23. Is w/o - 66/(-14) even?
False
Let t(d) = d - 4. Let x be t(3). Let s be (-230)/15*(-3)/2. Let n = x + s. Is 13 a factor of n?
False
Let b(w) = w**3 - 6*w**2 - 11*w - 4. Let i be b(9). Suppose 4*f - 2*h - i = 2*h, -h - 155 = -5*f. Let j = f - 18. Does 3 divide j?
True
Let h(m) = -m + 6. Let c be h(4). Suppose b = -a - c, -3*a + 4*a - 8 = 4*b. Suppose -2*n + a*n = -56. Is 10 a factor of n?
False
Let u(n) = n**3 - 17*n**2 - 21*n + 15. Let v be u(20). Suppose 0 = 5*h + 35 - v. Is h a multiple of 19?
True
Let f be 1080/(-16)*(-8)/(-10). Let a = 1 - f. Is 11 a factor of a?
True
Let r(a) = a**2 - 4*a + 4. Let q = 23 + -30. Is 21 a factor of r(q)?
False
Let f(k) = 5*k**3 - 2*k**2 - 3*k - 3. Is f(4) a multiple of 39?
True
Suppose -o = -3*f - 1096, 0 = -5*o + 4*f + 8461 - 3003. Is o a multiple of 28?
False
Let m(g) = g**2 - 26*g + 43. Is m(33) a multiple of 56?
False
Suppose p = 2 + 7. Suppose 4*g + 1190 = p*g. Is 34 a factor of g?
True
Let i = 6 + 0. Let c = -4 + i. Suppose -u = c*k - 35, -2*u = -k + 3*u + 12. Does 17 divide k?
True
Suppose 7*t - 13312 + 964 = 0. Does 15 divide t?
False
Let q(k) = -135*k**3 - 7*k - 5. Is 33 a factor of q(-2)?
True
Let w = 16 + -20. Is (w/5)/(18/(-225)) a multiple of 10?
True
Suppose 0 = -3*o - 532 - 302. Let n = -198 - o. Suppose -2 = 5*h + 8, -n = -2*j + 4*h. Is 9 a factor of j?
True
Does 9 divide -5 + (-11472)/(-36) + 8/6?
True
Suppose -3*c = 2*c - 120. Suppose c