be y(6). Suppose 0 = -c*a - 5*v + 123, 6*a - 3*v = 3*a + 99. Does 11 divide a?
False
Let x = 6 - 1. Suppose 5*u - 3*u - 2 = 0, 4*a - 89 = -5*u. Suppose x*g = 4*g + a. Is g a multiple of 7?
True
Let t(b) = 11*b - 4. Let x be t(-6). Is 28 a factor of (360/x)/(2/(-35))?
False
Let v(l) = 13*l**2 + 41*l + 57. Let b(u) = 7*u**2 + 21*u + 29. Let p(y) = 11*b(y) - 6*v(y). Does 11 divide p(-7)?
True
Let z be (1/(-3) - -1)*-6. Suppose -3*x - 4*w - 26 = 0, -5*x + 4*w - 1 = -11. Does 11 divide 2/x*44/z?
True
Let i be -1*4*(-1)/1. Suppose 8*v - i*v - 151 = -r, -5*v = r - 190. Suppose 3*b - v = -0*b. Is 7 a factor of b?
False
Suppose 2*o = 5*i + 817, -5*i + 751 = 3*o - 412. Does 22 divide o?
True
Suppose -14*d + 4*d - 560 = 0. Does 14 divide (d/6)/(-3 + (-32)/(-12))?
True
Is 16 a factor of 12/(((-4)/(-5))/((-906)/(-15)))?
False
Let r(x) = -50*x**3 + 1 - 2 - x + 0. Suppose 0 = 5*w + 3*i - 7 - 0, 0 = 4*w - 4*i + 20. Is 15 a factor of r(w)?
False
Let l = 2 + 13. Let y = 6 + l. Does 21 divide y?
True
Suppose 5*f - 28 = -3*d, 4*d + f - 14 = 2*d. Let k be 0/(-1) + (-1 - -1). Suppose 2*w - d = k, -4*w = z + 5 - 96. Does 17 divide z?
False
Let w(x) be the third derivative of -x**4/3 - x**3/2 - 17*x**2. Is 16 a factor of w(-3)?
False
Is (17 + -8 - -803) + 1 + -8 a multiple of 29?
False
Let g(p) = -28*p + 30. Is 17 a factor of g(-5)?
True
Let n = -2401 + 3563. Is n a multiple of 83?
True
Suppose f - 1134 = -2*f - 3*m, 0 = -4*f + m + 1527. Is 2 a factor of f?
False
Let s(d) = -16*d + 2550. Is s(0) a multiple of 34?
True
Let w = 0 + 6. Suppose w*i = 5*i. Suppose 4*s - 75 = -5*n, i = s + s + 4*n - 42. Is s a multiple of 9?
False
Suppose 5*t - 25 = -3*g, 0*g = -4*g - 5*t + 30. Suppose 0 = 4*d - 2*o - 146, g*d - o = 63 + 124. Suppose 0 = 2*j - 10, -3*c + 2*j + d = 6*j. Does 6 divide c?
True
Let t = -106 + 281. Suppose 4*n - 156 = -5*c + t, -3*n - 3*c + 249 = 0. Is n a multiple of 42?
True
Let w(v) be the second derivative of v**5/20 + v**4 - 8*v**3/3 + 8*v**2 - 5*v. Is w(-12) a multiple of 26?
True
Is 23 a factor of 439*(8/(-4))/(-2)?
False
Suppose -4*a + 8040 - 1220 = 0. Is a a multiple of 55?
True
Let b(v) = -10*v**3 - 4*v**2 + v. Is b(-4) a multiple of 15?
False
Let z(m) = -m**3 - 15*m**2 + 10*m + 31. Is z(-17) a multiple of 44?
False
Suppose -4*l + 12 = 4*b, 0 = -5*l - 0*l + 5*b + 45. Let u(d) = -d**2 + 13*d. Is u(l) a multiple of 21?
True
Suppose -9*l = 89 + 73. Does 20 divide (-436)/(-18) - (-4)/l?
False
Suppose -239 = -5*t + p - 3*p, 0 = 4*t - 5*p - 211. Suppose 1 = -b, 120 = o - 4*b - t. Is o a multiple of 20?
False
Let x be (-2 - 26) + -8*4/(-8). Let j = -91 + 45. Let r = x - j. Does 8 divide r?
False
Let w be 8*(140/8)/7. Let l be 168/w + (-2)/5. Is 8 a factor of l/((-3 + 1)/(-8))?
True
Let r(t) = t**3 + t + 42. Let m be r(0). Does 20 divide m/(-4)*(-40)/6?
False
Suppose 3994 = 2*r + 2*q - 2368, -2*r = -5*q - 6390. Is r a multiple of 31?
False
Let j(i) = 18*i - 38. Let k be j(7). Suppose 10*c - k = 82. Is c a multiple of 4?
False
Let l(r) = 6*r + 20. Let z be l(-5). Does 20 divide 4550/(-39)*3*4/z?
True
Let y(g) = -g**3 + 5*g**2 - 4*g + 5. Let n be y(4). Suppose 0 = -n*m + 2*l + 5 - 0, 2*m + 5*l = 2. Does 3 divide 2 + m + -1 + 1?
True
Let b(v) = -5*v**2 + 3*v + 3. Let a be b(-1). Let j(y) = y**3 + 10*y**2 + 7*y + 6. Is 16 a factor of j(a)?
True
Let b(n) = -4*n**2 + 4*n**3 - 6*n**2 - 3*n**3 + 17*n + 0*n**2 - 46. Is 7 a factor of b(10)?
False
Let s(x) = 21 - x**2 - 10 - x**2 + 3*x**2 + 8*x. Let o be s(-8). Suppose -7 - o = -d. Is 18 a factor of d?
True
Let k(i) = -i**2 + 7*i - 4. Let u be k(4). Suppose -q + 6 = -4*q. Is 12 a factor of q/8 - (-354)/u?
False
Let d be (-1 + 44/12)*3. Suppose 5*o - 5*t - 8 = 2, -2*o + d = -4*t. Suppose 3*r - 122 - 22 = o. Does 18 divide r?
False
Suppose 5*m + 62 + 276 = 3*q, 0 = -5*q + m + 556. Suppose -j = -2*n - 59, 2*n + 382 - q = 5*j. Is j a multiple of 9?
False
Let h = 25 + -74. Let q = h - 9. Does 37 divide (q/4)/((-19)/114)?
False
Suppose -2*w - 8329 = -5*p, -58*p + 55*p = 5*w - 4985. Does 111 divide p?
True
Let h(w) be the second derivative of 17*w**5/60 - 5*w**4/24 + w**3/3 - 3*w. Let j(l) be the second derivative of h(l). Does 21 divide j(2)?
True
Let p(v) = 3*v - 1. Suppose u - 1 = -0*u. Let q be p(u). Is (3 - (-33 + q))*1 a multiple of 15?
False
Let k = -12 + 18. Suppose 2*o - 190 = k*h - 3*h, -5*o - 3*h + 475 = 0. Is 24 a factor of o?
False
Suppose -3*c - 93 = -363. Let d be c/21 - (-8)/(-28). Suppose 0 = d*k - 10*k + 144. Is 3 a factor of k?
True
Let f be (9/(-6))/(18/24). Is (-21)/(-9)*(-108)/f a multiple of 21?
True
Let j(p) = -p**3 - 4*p**2 - p - 4. Let y be j(-4). Suppose -3*s + 4*u - 14 = y, s + 4*u - 29 = -7. Does 4 divide (-3)/(3/(-24)*s)?
True
Let l(d) be the second derivative of 25*d**3/6 + 2*d**2 - 2*d. Let z be 1/2 + 98/28. Does 24 divide l(z)?
False
Let k be 6/(-14) + (-1350)/35. Let m be (-6)/4*(-572)/k. Let v = -11 - m. Is 4 a factor of v?
False
Is 4 + 2 + -5 - 158/(-2) a multiple of 8?
True
Let n be (-1)/(-2 - 25/(-13)). Let o(q) = -q**2 - 12*q - 2. Let a be o(-11). Suppose -n - a = -2*v. Does 9 divide v?
False
Let j = -87 + 159. Suppose -j = -5*h + 228. Does 15 divide h?
True
Is 1/3 + 135217/69 a multiple of 14?
True
Let w(g) = 5*g**3 - 4*g**2 + 3*g - 1. Let r(v) = -11*v**3 + 8*v**2 - 6*v + 1. Let j(i) = 4*r(i) + 9*w(i). Is j(6) a multiple of 35?
False
Suppose -4*i - v = -10, i + 2 = -v + 6. Suppose -65 = i*r - 471. Does 11 divide r?
False
Suppose 0 = -0*t - 2*t. Suppose t*u = -2*u + 24. Suppose u*m = 10*m + 24. Is 12 a factor of m?
True
Let c(q) be the third derivative of q**5/30 - q**4/12 - q**3/6 - 8*q**2. Let k be c(-1). Is 11 a factor of (-6)/(-9) - (-118)/k?
False
Let a(i) = i + 31. Suppose -67*t = -70*t. Is 4 a factor of a(t)?
False
Let j(a) = -a**2 + 9*a + 36. Let f be j(12). Suppose -v + 2*k + 88 = 5*k, -k - 1 = f. Is 20 a factor of v?
False
Let n(x) = -x**2 + 174. Let k be n(0). Suppose 0*w + 35 = 3*r + 5*w, -5*r - 3*w = -37. Suppose k = f + r*f. Is f a multiple of 8?
False
Let a(p) = 2*p**2 - p + 25. Is 23 a factor of a(-11)?
False
Let j = 357 + -73. Does 4 divide j?
True
Let d(c) = -24*c. Let b be d(14). Let t = -169 - b. Suppose 5*f + t = 472. Is f a multiple of 15?
False
Let p be -2*2/(-4) - 2305. Let w be 10/3*p/(-80). Suppose 6*i + 240 = 5*r + 4*i, 3*i + w = 2*r. Is 16 a factor of r?
True
Is ((-122)/(-4))/(4*9/72) a multiple of 11?
False
Let a = -4519 - -7039. Is 40 a factor of a?
True
Suppose -g = -3*g - 1074. Let w = -278 - g. Does 37 divide w?
True
Does 6 divide 441/(-18)*-3 + 2/(-4)?
False
Let p(f) = -2*f + 18. Let q be p(-6). Suppose 5*c = 4*z - 6, 5*c + 5*z = 3*z + 18. Is 15 a factor of (3/c)/(1/q)?
True
Let x(f) = f**3 + 8*f**2 + 6*f + 3. Let z be x(-7). Let p = z - 13. Let h = p - -63. Is h a multiple of 21?
False
Let n(p) be the second derivative of -p**4/3 - 8*p**3/3 - 5*p**2/2 + p. Let i(v) = -3*v**2 - 15*v - 5. Let t(x) = 5*i(x) - 4*n(x). Is t(12) a multiple of 3?
False
Let n be 2/4*-4 + -3. Is 13 a factor of (-327)/n + 10/(-25)?
True
Let l be (-8)/(-2) + (7 - 9). Let p be (10/(-30))/(l/(-36)). Is 10 a factor of 24/18*45/p?
True
Suppose -3*j = -3*n + 2*j - 1, 0 = -3*n - 4*j + 17. Suppose 0 = n*k - 4*i - 12, -5*i = -2*k - 0*i + 15. Suppose r = -k*r + 18. Does 9 divide r?
True
Let c(i) = 456*i - 36. Is 60 a factor of c(1)?
True
Let a(t) = 97*t**2 - 6*t + 5. Is a(1) a multiple of 4?
True
Let y(j) = 17*j**2 - 21*j + 54. Is 8 a factor of y(7)?
False
Let c(s) = -s**3 + 11*s**2 + 9*s + 24. Let y be c(12). Let b(n) = n**3 + 13*n**2 + 8*n - 10. Does 19 divide b(y)?
True
Suppose -m = -0*m + 16. Let a = m - -20. Is 12 a factor of 22/4*(6 + a)?
False
Suppose -31*q = -45 - 110. Suppose -2*j - 2*j + 28 = 0. Suppose q*x - 142 = -j. Is x a multiple of 9?
True
Suppose 5483 = 2*v - 5*k, -4*v + 2*k + 10901 = 5*k. Is v a multiple of 94?
False
Suppose -12*c - 622 = -3046. Suppose 455 = 3*n - c. Does 27 divide n?
False
Let c = -267 - -384. Is 9 a factor of c?
True
Let x be -11 + 13 - (0 + -1). Suppose -9 = -3*k + x. Let c(a) = 9*a - 6. Does 10 divide c(k)?
True
Let v(s) = -4*s**3 + 9*s**2 - 7*s + 19. Let d(l) = -2*l**3 + 5*l**2 - 3*l + 9. Let r(b) = -5*d(b) + 2*v(b). Suppose 0 = -3*j - 7 + 22. Does 25 divide r(j)?
False
Suppose -s = -4*n - 257, n + 3*s - 11 = -72. Suppose 0*f = f + 4, -5*t - 2*f