(-7)/(-28). Is 1 + -2 + 5 - p a multiple of 18?
True
Let j(x) = -x**3 + 21*x**2 - 12*x - 10. Let p be (24 - 0) + (2 - 6). Does 25 divide j(p)?
True
Let x be (-79 - -1)*(-15)/2. Suppose 4*a = 5*r - x, -r - 5*a + 33 = -84. Does 16 divide r?
False
Let o be -7 - -1 - (1 - 1). Let w be (-203)/(-42) - 1/o. Suppose -3*b = -0*n + w*n - 39, -3*n + 17 = b. Is 5 a factor of b?
False
Does 18 divide -2 + (-18)/45*-4955?
True
Let f(p) = -p**3 + 12*p**2 - 14*p - 8. Let a be f(10). Suppose -a - 60 = -4*z. Is z a multiple of 4?
True
Suppose -28 = -v - 5*m, -2*v + 3*m + 1 = 2*m. Suppose 43 = 4*y + v. Does 3 divide y?
False
Let t be (-8)/(-28) + 33/7. Suppose 7 = 5*o + l + 6, 5 = o + t*l. Suppose 3*s - 1 - 11 = o. Is 2 a factor of s?
True
Let r(b) = -b**2 - 14*b - 1. Let i be r(-9). Let h be (i + (-2)/2)/1. Suppose h + 147 = 5*g. Is 8 a factor of g?
False
Suppose -16 - 9 = -5*j. Suppose 0 = 5*d + 4*p + 2, -j*d + 5*p = -1 - 24. Suppose -3*a - 2*u + 56 = d*u, 82 = 5*a + u. Does 10 divide a?
False
Let c be -6 - 14371/(-42) - 2/12. Suppose -12*r + c = 2*r. Is 6 a factor of r?
True
Suppose -2875 + 967 = -9*n. Suppose -4*b - n = -3*i + 40, 4*i - 4*b - 336 = 0. Is 44 a factor of i?
False
Suppose -444 = -3*w - 10*p + 7*p, -5*w - 2*p + 752 = 0. Does 19 divide w?
True
Let o(b) be the second derivative of -b**4/12 - 2*b**3 + b**2/2 + 11*b. Is 10 a factor of o(-6)?
False
Suppose -15*v + 38*v = 8211. Is 49 a factor of v?
False
Suppose -3*z - 2*d = -d - 41, 2*z + 3*d - 25 = 0. Suppose -418 = -z*f + 1206. Is f a multiple of 29?
True
Let f(a) = -2*a**3 - 4*a**2 - 4*a + 1. Let d be f(-2). Suppose -d = -3*k - 0. Suppose 0 = 4*l + 8, 2*y + 60 = k*y - 3*l. Does 17 divide y?
False
Let m(n) = 431*n - 32. Is 58 a factor of m(5)?
False
Let w(q) be the second derivative of -3*q**4/4 + 11*q**3/3 - 11*q**2/2 - q. Let r(g) = 4*g**2 - 11*g + 6. Let s(a) = 7*r(a) + 3*w(a). Is 17 a factor of s(12)?
False
Suppose 3*w + 2*f + 191 = 0, -70 - 178 = 4*w + 4*f. Let s = 38 - w. Is 15 a factor of s?
True
Let m be (-1654)/(-12) - (-1)/6. Suppose 10*f = 1182 + m. Does 35 divide f?
False
Suppose 0 = -3*m, 4*l - 4 - 12 = 3*m. Suppose 4*y - 368 = l*a, a + 0*a = 3*y - 282. Suppose -y - 241 = -6*q. Is q a multiple of 15?
False
Is 25 a factor of 12885/9 + (105/45 - 2)?
False
Suppose 3 = w, -2*w + 11 = o - 0*w. Suppose o*k - 187 = -6*k. Does 2 divide k?
False
Let u(l) = -l**3 + 69*l**2 - 124*l - 245. Is 34 a factor of u(67)?
False
Let v(i) = i**3 - 5*i**2 + 6*i. Let s be v(4). Let n = s - 15. Is 7 a factor of (n - -8)/((-2)/(-46))?
False
Let o = -53 + 143. Suppose 32 = 5*j + p - 52, -5*p = -5*j + o. Is 9 a factor of j?
False
Suppose 3*d + 1347 = 6*d - j, -1785 = -4*d + 5*j. Suppose 3 = -5*g - 7, 3*g - d = -4*t. Is 38 a factor of t?
True
Suppose -71*g + 3060 = -61*g. Is 12 a factor of g?
False
Let w = 2031 + -939. Is 13 a factor of w?
True
Let n(u) = -7*u**3 - u**2 + 3 + u + 4*u**2 - 6*u**2. Let m = 4 + -6. Is 15 a factor of n(m)?
True
Let g = -758 + 1407. Is 9 a factor of g?
False
Let t(j) be the second derivative of -j**5/20 - 11*j**4/12 - j**3/6 + 21*j**2/2 + 11*j. Is 4 a factor of t(-11)?
True
Suppose i = 5*p - 4 - 10, -p = 5*i - 8. Suppose o + 3*o = 2*j - 10, -p*j = 2*o - 7. Suppose 0 = -j*w - 5*s + 52, -3*w - 36 = -5*w - 2*s. Is 10 a factor of w?
False
Suppose -6*y = -18 + 6. Suppose 3*n - 4 = y, 2*m = -4*n + 356. Is 39 a factor of m?
False
Let x be 5*((-6)/15 - -1). Suppose x*z - 867 = 4*l - l, 0 = 2*z - 5*l - 587. Is 37 a factor of z?
False
Suppose 115 = 3*y + 5*x, -5*y + x = -3*x - 167. Let d = y - -20. Is d a multiple of 12?
False
Suppose -3*t - 36 = -4*t - 4*z, 0 = 3*t + z - 86. Let i = 26 - t. Let q = 28 - i. Is q a multiple of 15?
True
Suppose 10 = -5*f + 2*a + 91, -f = 5*a. Let i be (-144)/40 + (-6)/f. Is i/(-16) + (-758)/(-8) a multiple of 19?
True
Suppose -141*a + 90*a = -29274. Is a a multiple of 5?
False
Suppose -3*y - 9*y = -48. Suppose f = -y*w + 388, -204 = -w - w - 3*f. Is w a multiple of 24?
True
Suppose 34227 + 6583 = 11*a. Is 11 a factor of a?
False
Suppose -a + 246 = a. Suppose 4*o + a = h + 4*h, -99 = -4*h + 3*o. Is h a multiple of 3?
True
Let x(t) = 73*t + 288. Is x(16) a multiple of 11?
False
Let h(v) = -2*v**2 - 3*v**3 + 3 + 1 + 19*v + 0*v**2 + 6. Is 40 a factor of h(-5)?
True
Let f(t) = t**3 + 6*t**2 + 7*t + 6. Let s be (1 - 1)/(14/14). Suppose s = 13*k - 10*k + 12. Is 3 a factor of f(k)?
False
Let r(m) = m**3 + 10*m**2 - 3*m - 14. Suppose 0 = 3*f - 4*n - 8, 0 = -4*f - 6*n + 4*n - 4. Suppose f = -0*d + 6*d + 60. Is r(d) a multiple of 16?
True
Let n(k) = k**3 + 9*k**2 - 11*k - 10. Suppose 3 = -c - 6. Is 35 a factor of n(c)?
False
Is 22 a factor of 793/3 + 40/(-120)?
True
Let y(a) = 7*a + 8. Let u(j) = -7*j - 8. Let g(o) = 4*u(o) + 5*y(o). Suppose -3*f - c = -32 + 6, 34 = 4*f + c. Does 16 divide g(f)?
True
Suppose -7*h + 5*h = 10, 8385 = 5*r + 5*h. Is 32 a factor of r?
False
Suppose -8*m = -78 - 562. Is 5 a factor of m?
True
Let u(r) = -11*r - 6. Let w be u(-8). Let k = -4 + w. Does 6 divide k?
True
Suppose -23*a + 9*a + 2604 = 0. Let b = -76 + a. Is b a multiple of 11?
True
Suppose 10*v - 1280 - 490 = 0. Is v a multiple of 12?
False
Let u be (-45)/10 + 2/4. Let s be (0 - -1)*(7 + u). Does 7 divide 3*-3*(-3)/s?
False
Let s(u) be the first derivative of -u**3/3 - 9*u**2/2 + 5*u - 2. Let c = -1 + -6. Is 19 a factor of s(c)?
True
Let m(d) = d + 5. Let o be m(-3). Suppose 0 = t + k - 1, -t - o*t + 2*k + 18 = 0. Suppose 29 = t*p - 31. Does 4 divide p?
False
Let u be 9/3 - -4 - 2. Let f(t) = -7*t**3 - 12*t**2 + 8*t + 13. Let z(r) = -6*r**3 - 11*r**2 + 7*r + 12. Let q(m) = u*f(m) - 6*z(m). Does 5 divide q(-6)?
True
Let h = 6 + 0. Suppose -314 = -5*l + 16. Suppose h*t = 3*t + l. Is 11 a factor of t?
True
Let c be (-7)/(-6) - 3/18. Let k be c + (-3)/((-6)/4). Suppose -3*g - 24 = -2*x, k*x - 13 - 21 = 5*g. Is x a multiple of 15?
False
Let w(y) = -38*y**2 - 11*y - 20. Let m be w(-5). Does 9 divide 12/24 + m/(-6)?
True
Suppose -b = -5*x - 15, 0 = 4*b + 2*x + x + 9. Suppose b = -s + 2*s - 2*m - 274, 3*m + 6 = 0. Is 14 a factor of s?
False
Is 22 a factor of (-858)/9*(-4 + -8)?
True
Let h = -249 - -320. Is h a multiple of 17?
False
Suppose 4*h = 2*h. Suppose -2*x + 7*x - 25 = h. Suppose x*k = 20 + 65. Does 10 divide k?
False
Let k be ((-174)/(-9))/((-14)/21). Let v = k - -148. Does 17 divide v?
True
Let k be 3*(2 - 1) - 2. Let m(y) = -117*y**2 + 5*y + 2. Let a(l) = -58*l**2 + 2*l + 1. Let z(w) = -7*a(w) + 3*m(w). Is z(k) a multiple of 17?
False
Suppose -2*z + 380 = -5*u - 2378, 0 = 5*z + 5*u - 6825. Is z a multiple of 37?
True
Let s be ((-1)/3)/(2/(-162)). Let r = -19 + s. Let h = 12 - r. Is 3 a factor of h?
False
Let p = -212 + 224. Suppose 0 = -2*u + 10 + 4. Let g = p - u. Is 5 a factor of g?
True
Let q(d) = d**3 + 5*d**2 + d + 7. Let f be q(-5). Suppose f*u + 2*x - 102 = 4*x, 2*x + 154 = 3*u. Is u a multiple of 13?
True
Let j = -81 - -83. Suppose -w + l + 174 = -j*l, -3*w + 546 = -3*l. Is w a multiple of 14?
False
Let c(r) = -r**3 - 6*r**2 - r - 8. Let a(w) = -w**3 - 6*w**2 - w + 6. Let g be a(-6). Suppose 13*k = g*k - 7. Does 12 divide c(k)?
True
Suppose -19 = -2*g + 3*g - 4*i, -3*g - 4*i - 121 = 0. Let u = g - -185. Is u a multiple of 15?
True
Let s be (15/10 - 0)*-22. Let f = -31 - s. Let x(o) = 47*o - 3. Is 15 a factor of x(f)?
False
Is (25/(-4))/((-620)/20832) a multiple of 14?
True
Suppose b = 3*v - 57, -b = -3*v - 6*b + 75. Let s(x) = x**2 - 18*x - 12. Is 28 a factor of s(v)?
True
Let t(i) = -4*i + 109. Is 6 a factor of t(0)?
False
Let u(n) = 9*n + 3. Let g(z) = 44*z + 13. Let c(j) = 2*g(j) - 11*u(j). Suppose -p - 4*p - 25 = 0. Is 12 a factor of c(p)?
True
Let s be (-10)/(33/(-9) - -3). Suppose s*h - 36 = 12*h. Let j = 5 + h. Is j a multiple of 10?
False
Let v = -134 - -298. Is 82 a factor of v?
True
Let h(i) = 5*i - 1. Let z be h(1). Suppose -r + z = -3. Suppose 2*d - r*g - 36 = -6*g, -2*d + 42 = -4*g. Is 11 a factor of d?
False
Suppose -25*r + 14*r + 2398 = 0. Is 68 a factor of r?
False
Let w = 79 - 12. Is 2 a factor of w?
False
Let s = 1164 - 867. Does 9 divide s?
True
Suppose -5*t = k + 35, 0 = -4*t - t + 2*k - 35. Let f(g) = 3*g**2 + g + 1. Does 47 divide f(t)?
True
Suppose o - 5*o + 18 = -b, o + b = 2. Suppose k - 50 = -3*d - 11, -k + 40 = o*d. Is k a multiple of 18?
True
Sup