 51 divide y?
False
Suppose 15*z + 354 = -801. Suppose 640 = 5*d + 210. Let l = d + z. Is l even?
False
Suppose -8*n + 7*n - 5 = 0. Let m(o) = o**3 + 4*o**2 - 5*o + 4. Let v be m(n). Suppose 4*y + 11 = x, 3*x + 11 = v*x + y. Is 6 a factor of x?
False
Suppose -5*a + j = -17, -4*j - 2 = 2*a - 0. Suppose -a*h + 1498 = 11*h. Suppose -12*g + h = -61. Is g a multiple of 14?
True
Let j be (1/3)/((-2)/(-18)). Suppose -37 + 25 = -j*y. Let c(p) = 4*p**2 + 7*p - 2. Is 9 a factor of c(y)?
True
Suppose 5*g + 12 = -3. Let i(o) = -11*o - 16. Let a(n) = -3*n. Let m(b) = 6*a(b) + i(b). Is 5 a factor of m(g)?
False
Let s = 16 - 7. Is 5 a factor of (-5 - -5 - s) + 776?
False
Suppose -5*o + 5*w = -51740, -4*o + 3*w + 20745 + 20640 = 0. Does 16 divide o?
False
Suppose -c = -7*c + 1926. Suppose 6*z - c - 51 = 0. Does 15 divide z?
False
Let j = -1107 + 683. Let q = j - -1289. Is q a multiple of 22?
False
Suppose 16 = 5*a + 4*h, -4*a + 10 = -5*h - 11. Suppose a*r + 0*o - 2*o = 22, -3*o - 1 = 2*r. Suppose 52 - 20 = r*b. Is b even?
True
Let w be (-572)/7 - 74/259. Let t = 217 + w. Does 3 divide t?
True
Let l(q) = q**2 - 1. Let t be l(1). Suppose t = -2*f + 56 - 38. Suppose 522 + f = 3*r. Is 41 a factor of r?
False
Let j(s) = 6*s + 36. Let p be j(-6). Suppose -y - h + 487 = p, 596 + 390 = 2*y - 2*h. Is 35 a factor of y?
True
Let l = 96 - 96. Let f be 9 + l/(-3) + -4. Suppose x - 2*x - f*r = -173, 0 = 2*x + r - 319. Is 45 a factor of x?
False
Suppose -28*q + 5095 = -23*q + 4*v, -3*q + 3055 = 2*v. Is 10 a factor of q?
False
Let m(f) = f**3 + 6*f**2 + 4*f - 3. Let s be m(-5). Suppose s*w - w = -53. Let z = -41 - w. Is z a multiple of 12?
True
Let t = 14 - 9. Suppose -t*x + 5 = 2*b, 10 = b - 0*b + 4*x. Is 12 a factor of 4/(14/665*b/(-8))?
False
Let c(w) = 3*w**2 + 22*w + 2. Suppose 17*d - 22*d + 35 = 0. Let b be c(d). Suppose -5*a - 38 = -b. Is 12 a factor of a?
False
Does 64 divide -1099*(-1036)/98 + -8 + 1?
False
Suppose v + 3*v + 6 = -s, 0 = -2*s - v + 9. Let i be (1 - 64)*1/(-3). Is (s/21 - 90/i) + 165 a multiple of 27?
False
Let s = -281 + 238. Let o = 17 - s. Is o a multiple of 10?
True
Suppose -2*j + 255 - 24 = t, -4*t = -5*j - 963. Let w = 339 - t. Is 7 a factor of w?
False
Let c = 10875 + -6001. Is 19 a factor of c?
False
Suppose -k - 18 = -2*r, 0 = 4*r + 6*k - k - 50. Suppose 3*t = b + 122 - r, b - 5 = 0. Is t a multiple of 4?
False
Let p = 4900 - 2536. Let f(g) = -10*g - p - 16*g + 2370. Is f(-3) a multiple of 12?
True
Suppose 5*m - 9*m = 4*k + 8, 2*k + 12 = -4*m. Suppose 0 = 4*d - 7 - 5, k*d - 6 = b. Suppose b = -4*o + r + 212, 2*r + 2*r = -o + 70. Is o a multiple of 3?
True
Let n = -53 - -55. Is 11 a factor of (0 - (-29)/n)/(24/1008)?
False
Suppose 1284074 + 3475369 + 104229 = 267*f. Is 8 a factor of f?
True
Let v be (-28)/98*7 - 254/(-2). Is 25 a factor of (-12)/4*v/(-1)?
True
Let a(u) be the third derivative of 23*u**4/8 + 200*u**3/3 + 17*u**2 + 2. Is 12 a factor of a(0)?
False
Let f be (-1188)/(-28) + 3 + 15/(-35). Suppose -2*k = 2*k - 12. Suppose f = k*u - 2*u. Does 9 divide u?
True
Does 10 divide 1/((-15)/20) - (-17)/((-102)/(-78668))?
True
Let l = -47 - -43. Let f be (-1 - 10)/((l + 2)/2). Suppose -f*q + 10*q = -30. Is 15 a factor of q?
True
Let k(l) = 27*l**3 + 6*l**2 - 29*l - 10. Is k(12) a multiple of 176?
False
Suppose -j = 2*s - 1, s + 2*s - 18 = 4*j. Let k be 8/(4/(-1)*(-1)/s). Suppose -k*y - 2 = -82. Is 10 a factor of y?
True
Suppose -4*m + 10*m = 8*m - 22364. Is 125 a factor of m?
False
Let i be 106/(-1113) + (-172)/(-42). Suppose 5*w + i*y = -116 + 1313, -2*y + 480 = 2*w. Is w a multiple of 43?
False
Let s = 306 - 126. Is 12 a factor of (12/(-36))/((-2)/s)?
False
Suppose 0 = 5*m - 7*m + 96. Suppose 38 - m = -2*w. Suppose n + 0 = -x + 22, -w*x + 4*n + 128 = 0. Does 8 divide x?
True
Suppose 0 = -17*c + 153 - 119. Suppose c*d - 68 = 9*k - 8*k, 3*d - 5*k = 109. Is d a multiple of 2?
False
Let w be (-4)/(-1) + 6*(-16)/24. Let y be -6 + 9 - (w/(-1) - 4). Is 23 a factor of (-682)/(-4) + ((-52)/(-8) - y)?
False
Let n = 1941 - -55009. Is 10 a factor of n?
True
Let j(h) = -3*h**2 - 29*h + 58. Let u(r) = 4*r**2 + 30*r - 60. Let o(q) = 6*j(q) + 5*u(q). Is 4 a factor of o(17)?
False
Let a(r) = r**3 + 6*r**2 - 6. Let c be a(-5). Suppose -17*h = -c*h + 578. Let z = h + -111. Is z a multiple of 18?
False
Let x(o) = -o**3 - 16*o**2 - 42*o + 31. Let k be x(-13). Let l = 454 + k. Is 54 a factor of l?
False
Suppose -t + 4 = -11. Suppose p = 3*b + 2*p + 5, 0 = -5*b - 5*p - t. Let h(c) = -39*c**3 - 2*c - 1. Is 10 a factor of h(b)?
True
Suppose -4*m + 43*l - 496 = 39*l, 4*l + 144 = -m. Is 13 a factor of ((-195)/10)/(524/m + 4)?
True
Let x(p) = 81*p**2 - 101*p - 130. Does 6 divide x(-14)?
True
Suppose -5*z = 5*h - 90, 5*h - 105 = -2*z - 0*z. Suppose 20*q = h*q - 9. Is 11 a factor of -2 - (0 - q) - -109?
True
Let u = 369 - 369. Suppose -9*p + 2591 + 1270 = u. Is 33 a factor of p?
True
Suppose 5*c + 96 = -19*c. Is ((-38)/c)/(1/4) + -1 a multiple of 21?
False
Is 37 a factor of (-3)/(((-4)/(-148))/(((-2072)/21)/8))?
True
Suppose 2*w = -5*a + 17566, -w = -2*a - 2*a - 8770. Suppose 35*r + 3*r = w. Is 21 a factor of r?
True
Let b(y) = -y**3 - 5*y**2 - 3*y + 2. Let n be b(-2). Does 6 divide 408*7*n/(-56)?
True
Let x(u) = 35*u + 98. Let g be x(11). Suppose 10*m - 7*m - g = 0. Is 23 a factor of m?
True
Let q be (-5)/2*4/(-5). Suppose -q*g + 3 = 1, 4*n - 86 = 2*g. Let j(r) = -2*r**2 + 47*r + 30. Does 16 divide j(n)?
True
Let h(f) = 222*f**2 - 323*f + 2600. Does 14 divide h(8)?
True
Suppose -5*r + 15376 = -3*l, -27*r + 30*r - 2*l = 9226. Does 61 divide r?
False
Let f(c) = -c - 4. Let n be f(2). Let m be n/9*1434/(-4). Let j = m + -109. Is j a multiple of 12?
False
Let f(z) = z - 176 - 4*z**3 - 7*z**2 - 8*z - 3*z**2. Let r(a) = -a**3 - 3*a**2 - 2*a - 59. Let o(p) = 2*f(p) - 7*r(p). Is o(0) a multiple of 11?
False
Let g be 14472/63 - (-6)/21. Suppose 0 = -r + 355 + g. Is r a multiple of 39?
True
Let c be ((-4)/(-12))/(3/144). Suppose 5*x - 39 = c. Suppose -x*k = -6*k - 70. Is k a multiple of 9?
False
Suppose 580 = 15*h - 11*h. Let z(v) = v**3 - 5*v**2 - v - 11. Let j be z(6). Let w = h + j. Is w a multiple of 17?
False
Suppose 5*b + r + 1289 = -186, -r = -2*b - 597. Let n = b + 436. Is n a multiple of 3?
False
Let b(q) = -q**3 + 18*q**2 + q + 13. Let o = -35 + 40. Let c = o - -13. Is 22 a factor of b(c)?
False
Let u(h) = -2*h**3 - 223*h**2 - 345*h - 40. Is u(-110) a multiple of 5?
True
Let r = 13398 - 9394. Is r a multiple of 28?
True
Let r(g) = 73*g + 1705. Is r(83) a multiple of 24?
False
Suppose v + 3*s = 38, 2*v - 68 + 25 = 5*s. Suppose -v - 168 = -4*o - 3*b, 9 = 3*b. Does 4 divide o?
False
Suppose -5*c - 12*v + 7*v + 315 = 0, 0 = -4*c - v + 261. Does 3 divide c?
True
Let n(w) = 29*w**3 + 15*w**2 - 61*w + 10. Is 5 a factor of n(3)?
True
Is 5021 + ((-232)/928 - 1*13/(-4)) a multiple of 32?
True
Let z be 3/((21/(-35))/(12/(-15))). Suppose -2*s = q - 6*s - 38, 3*q - 98 = -z*s. Is 8 a factor of q?
False
Suppose 0 = 2*z + 3*n + 2*n - 93, -5*z = -4*n - 216. Is 11 a factor of ((-7)/(21/(-60)))/(4/z)?
True
Let s(y) = 5*y**2 - 19*y + 18. Let l = 85 + -82. Suppose l*u + 7 = 2*n, 0*n - 3*u + 41 = 4*n. Does 30 divide s(n)?
False
Suppose -2*z + 50 = 3*r, -5*r + 21 = 2*z - 37. Is 28 a factor of 0 + z/(133/5208)?
False
Suppose -3*b = 17 - 26. Let p be (12/b)/((-2)/9). Is 2 - (-33)/p - (-2485)/30 a multiple of 3?
False
Let v be (-2)/4*8 + 4. Suppose 5*b - 4*l + v*l = -84, 2*b - 4*l + 36 = 0. Let h = b + 29. Does 7 divide h?
False
Let q(n) = 2*n + 20. Let o(t) = 10*t - 13. Suppose c - 45 + 43 = 0. Let x be o(c). Is 17 a factor of q(x)?
True
Let b be (27 - -2723) + -5 + -1. Suppose -2*i - 2*i + 4*j = -b, -4*i + 2784 = 4*j. Does 62 divide i?
False
Suppose 42395 = 19*x - 26518. Does 11 divide x?
False
Let x = -123 + 129. Suppose -1265 + 371 = -x*u. Is u a multiple of 17?
False
Let r = 951 + 1105. Is 8 a factor of r?
True
Let c(f) be the third derivative of -f**5/20 - f**4/24 - f**3/6 + 17*f**2. Let j be c(0). Is j/4*-119 - 10/(-40) a multiple of 9?
False
Let t(w) = 258*w**2 + 3*w + 298. Is t(-8) a multiple of 7?
True
Suppose 0 = -3*u + 8 + 1, -5*n + 5*u = -55. Suppose -82 = -2*w + n. Suppose g + 5*g = w. Is g even?
True
Is (-12)/((-7436)/(-2484) + -3) a multiple of 27?
True
Let j = -1452 + 2070