 -1. Let x(l) = l**2 - 7*l + 6. Is 26 a factor of x(k)?
True
Let x(n) be the third derivative of n**5/60 + n**4/8 - 2*n**3/3 + 32*n**2. Let g be (10/(-4))/((-1)/2). Does 12 divide x(g)?
True
Let m(g) = g**2 + 15*g + 4. Let z be m(-15). Suppose -11*f = -z*f - 1253. Is f a multiple of 12?
False
Suppose 68*h = 67*h + 84. Let w = h - 59. Does 19 divide w?
False
Suppose 5*b + 24 = -4*r, 0 = -0*b - 2*b - 2*r - 8. Is b/28 + 480/14 a multiple of 23?
False
Let n be ((-69)/(-6) + -1)/((-5)/(-90)). Let f = -87 + n. Does 17 divide f?
True
Let y = 2355 - -35. Is y a multiple of 34?
False
Does 8 divide (24/9)/(66/34947)?
False
Let v = -34 - -31. Let m(z) = -28*z + 15. Does 33 divide m(v)?
True
Let r be (153/6)/1*(-4)/6. Let c = r + 192. Is 31 a factor of c?
False
Let l = -15 - -20. Suppose -3 = -2*g + 5*h - 10, -g - l*h + 19 = 0. Suppose 0 = -2*m - 4*q - g, -4*m + 7*m - 3*q - 39 = 0. Does 2 divide m?
True
Let a = -202 - -294. Suppose 2*f + a = r, 4*r - 3*f + 165 = 508. Is r a multiple of 41?
True
Suppose -3*u + 0*g + 2*g = 10, 2*g = 10. Let d = 6 + u. Does 2 divide d?
True
Suppose -4331 = -5*j - 3*p + 5749, 5*p = j - 2044. Is 28 a factor of j?
False
Let t = -1305 - -1625. Is 10 a factor of t?
True
Suppose -n - 4*t + 13 = 0, 81 = -n + 4*n - 2*t. Suppose 3*h - 58 = -5*f, 3*f + 2*f = n. Is h a multiple of 7?
False
Suppose -w = 5*r - 1 - 0, 5*w - 3*r + 51 = 0. Let i(d) = -d + 1. Let o be i(0). Is -36*(15/w + o) a multiple of 14?
False
Let s(u) = 287*u**2 + 8*u + 1. Let k(r) = 144*r**2 + 4*r. Let d(q) = 7*k(q) - 3*s(q). Does 37 divide d(1)?
True
Let k = 4214 - 783. Does 73 divide k?
True
Let l be 0 - ((-21)/6)/7*2. Is (-42)/(l/(12/(-9))) a multiple of 14?
True
Let z be (-56)/(-7)*(-2)/(-4). Let o be (-9)/((-18)/(-4)) + z. Suppose o*y = 7*y - 290. Does 29 divide y?
True
Let o be (3 + -12459)*2/(-3). Is 1 - (4/14 + o/(-56)) a multiple of 18?
False
Let c(t) = -t**3 - 4*t**2 + 3*t - 6. Let q be c(-5). Suppose -q = 2*n, -5*s + 2*n - 4*n - 164 = 0. Does 8 divide (27/6)/((-6)/s)?
True
Suppose 2*i = -2*c - 2, 34 = 5*c - 2*i + 4. Suppose 3 = 5*v - 3*m, 3*v + 5*m = c*v - 5. Let b(y) = -y**2 + 32. Does 16 divide b(v)?
True
Is 42 a factor of -6 + (-9583)/(-28) + 2/(-8)?
True
Let z(r) = 9*r**2 - r - 20. Is 70 a factor of z(9)?
True
Let g(n) = -4*n**3 - 9*n**2 - 6*n + 14. Is 59 a factor of g(-6)?
True
Let b be (-1059)/7 + 24/84. Let d = b + 228. Does 28 divide d?
False
Suppose 7*n - 10*n = 60. Let w = n - -21. Suppose 3*a + 3*v + w = -8, -3*v - 11 = 2*a. Is a a multiple of 2?
True
Let n = 877 + -749. Is n a multiple of 14?
False
Let s be (12/(-9))/(8/(-18)). Suppose 6 = y - s. Is 2 a factor of y?
False
Let h = 18 + -10. Let a = -3 + h. Suppose -a*v + 10 + 56 = -4*l, -v + 4*l = -10. Is 6 a factor of v?
False
Let l(g) = -44*g**3 - g**2 - 3*g - 19. Is l(-3) a multiple of 103?
False
Is 2 a factor of 2/(-23) - 230200/(-2300)?
True
Suppose -2*i - 1 = 3*g, 4*i - g + 6*g = -7. Let c be i/(-20) - (-24)/15. Suppose -c*r + 7*r - 150 = w, -90 = -3*r + 5*w. Is r a multiple of 10?
True
Suppose 33*h - 37*h = -4. Suppose -3*c - 2 = p + h, 3*p = 4*c + 30. Does 3 divide p?
True
Suppose 0 = 2*b + 5*x + 3, b = -5*x + 2*x - 1. Let s be -4*((-1)/b)/(-1). Is 8 a factor of -3 - -33 - (s + 1)?
False
Suppose 6*m + 47610 = 51*m. Is 24 a factor of m?
False
Let p = 188 + 7. Suppose -6*h = -5*d - 4*h + 14, 5*h = d + 11. Suppose d*t = -t + p. Does 13 divide t?
True
Let k(o) = -3*o + 17. Let y(g) = -g**3 - 13*g**2 + 17*g + 34. Let r be y(-14). Does 5 divide k(r)?
False
Suppose 3*v - 27 = -3*d, 0 = 4*d + d + v - 41. Suppose 2*f + 2*i - 26 = 7*i, -f + 3*i = -15. Suppose 2*n - f*n = -d. Is n a multiple of 2?
True
Suppose 4*h + 6272 = 4*o, o + 7*h + 7840 = 6*o. Is 32 a factor of o?
True
Let h be ((-36)/30)/(4/(-10)). Suppose -3*i - h*k + 6*k + 258 = 0, -3*k + 258 = 3*i. Is i a multiple of 14?
False
Is 19 a factor of 19/((-1)/3 + 10/12)?
True
Suppose 0 = 5*r + 10, 3*s - r - 357 = 497. Does 10 divide s?
False
Suppose -2*m = 2*s, 5*m - 65 + 20 = 4*s. Suppose -m*l = -4*p - 80, l - 5*p = -9*p + 40. Is 10 a factor of l?
True
Suppose -3516 = 133*y - 139*y. Does 102 divide y?
False
Suppose -11*p + 240 = j - 9*p, j - 240 = 2*p. Does 6 divide j?
True
Suppose 491*m - 504*m = -8580. Does 11 divide m?
True
Suppose 6*j = 3*j + 72. Let l(r) = -r**2 + 8*r - 12. Let x be l(8). Let d = x + j. Is 4 a factor of d?
True
Suppose 120 = 3*o + o. Does 14 divide o?
False
Suppose -4*n + 7*n - 3*q - 72 = 0, -3*n + 80 = q. Suppose -28*p = -n*p - 136. Is 4 a factor of p?
True
Suppose 2*z - 5*p + 4 = -5, -12 = -z - 3*p. Suppose -3*m = z*d - 66, 3*m + d - 46 = m. Is 12 a factor of m?
True
Is ((-22170)/(-6) - -3) + (-1 - 3) a multiple of 134?
False
Let i = -40 - -47. Suppose -3*m + 23 = c, 5*m = 4*c - 3*c + 33. Is 2/i - (-320)/m a multiple of 13?
False
Let q = -41 + 29. Let h(r) = -6*r - 16. Is 14 a factor of h(q)?
True
Suppose -2*u = -5*u + 3237. Is u a multiple of 13?
True
Suppose -p = 7*w - 2*w - 11, -5*w + 10 = 0. Let f be 255/25 + p/(-5). Is (-3 - f)*(-5 - 0) a multiple of 31?
False
Let y(v) = v**2 + 4 - 3*v**2 + 165*v + 5*v**2 - 152*v. Is y(-6) a multiple of 34?
True
Suppose -2*y + 1434 = 5*p, p + 280 = 2*p - 3*y. Is 13 a factor of p?
True
Let h = -34 - -83. Is 4 a factor of h?
False
Suppose -6*q + 6 = -2*q - 2*h, -5*q = 4*h + 12. Let p be q + 1 - (-4 - 11). Suppose 7*d - 4*d + 3*v = 147, -4*v = -p. Does 7 divide d?
False
Suppose 0 = -5*j - 3*r + 29, -r = 4*j - 2*j - 11. Suppose -5*l - 6 = k, 2*k + 1 = -3*l - j. Let n = 14 + k. Is n a multiple of 7?
False
Suppose g - 19 = -2*t, -35 = -4*t - t - 5*g. Suppose -t*n - 90 = -258. Is 2 a factor of n?
True
Let m(a) = 10*a + 4. Suppose -4*g + 5*r - 112 = -22, -2*r - 96 = 5*g. Let n = -12 - g. Is m(n) a multiple of 12?
True
Let t(c) be the third derivative of c**5/60 - 3*c**4/8 + 2*c**3/3 + 10*c**2. Does 28 divide t(17)?
True
Suppose -u = -0*u + 5, -4*b + 1173 = -5*u. Is b a multiple of 10?
False
Suppose 4*u - p - 20 = -0*u, -2*u = 4*p - 10. Suppose u*x = -15, -b - 3*b = 4*x - 4. Is 4 a factor of b?
True
Does 17 divide 20/(-30) + (-1024)/(-6)?
True
Suppose 1013 = 4*f - 119. Does 16 divide f?
False
Is 7/(-42)*-11874 + 7 a multiple of 63?
False
Suppose -2*q - 15 = -25. Suppose -3*b = -i - 2, -11 = -3*b - q*i - 3. Is 9 a factor of 61 + (-12)/(3 + b)?
False
Let l = -35 + 323. Is 12 a factor of l?
True
Let h be 1*-1 + (-1 + -2 - -34). Let s = h - 6. Is 8 a factor of s?
True
Suppose 5*t - 20 = 0, x - t = 4*x - 2314. Does 22 divide x?
True
Let q(t) = -t**3 + 18*t**2 + 20*t - 17. Let f be q(19). Suppose -3*b - f*b + 5*u + 180 = 0, -u = 4*b - 169. Is 4 a factor of b?
False
Let z(i) = 9*i + i - 15*i + 0 + 2. Let a be z(-1). Suppose a*u - 48 = 3*u. Does 6 divide u?
True
Suppose 5*n + 25 = 5*y, 3*y + 5 = 4*y. Suppose n = -12*a + 5*a + 294. Is 6 a factor of a?
True
Let r = 4 - 4. Suppose -6*v + 900 = -r*v. Does 15 divide v?
True
Let x = -6 + 0. Let a(r) = 19 - 2*r - 9 - r - 15. Is 13 a factor of a(x)?
True
Suppose -45*p + 774 = -39*p. Does 7 divide p?
False
Let x = -22 + 21. Does 11 divide 0 - 55*(x - 1)?
True
Suppose -20 = -8*l + 12. Suppose 3604 = l*w - v, w + 2*w - 4*v - 2716 = 0. Is ((-1)/2)/((-10)/w) a multiple of 9?
True
Let v(m) = 21*m. Let a be v(-2). Does 19 divide (-2380)/a - (-2)/6?
True
Let d(t) = -t**2 - 6. Let u be d(0). Let w(r) = -2*r**3 - 8*r**2 - 8*r + 9. Does 7 divide w(u)?
False
Suppose 0 = v - 3*v + 4. Let t be -1*(0 - v/2). Is 11 a factor of t/6 + 982/12?
False
Suppose z - 4*z = -12. Let r be ((-28)/(-20))/(z/20). Let d(i) = -i**2 + 8*i + 2. Does 9 divide d(r)?
True
Suppose 26*k + 15 = 29*k. Suppose 0 = 2*y - k*y + 165. Does 11 divide y?
True
Let c(i) = i - 7. Let k be c(8). Let h be (-1)/(k - 0)*-2. Suppose 0*y - h*y + 176 = 0. Does 23 divide y?
False
Let s = 672 - -2293. Does 45 divide s?
False
Let k = -44 - -48. Suppose -k*c + 233 = -47. Does 35 divide c?
True
Let w be 6/((-1)/5*2). Let r = -10 - w. Suppose 0 = -3*j - 2*x + 77, 4*x - 8*x + 131 = r*j. Is j a multiple of 6?
False
Let u(n) = 2*n**2 + 18*n. Let j be u(-9). Is 22 a factor of 1 + (-4 - j) - -91?
True
Let c(v) = 2*v**3 - 33*v**2 + 17*v + 19. Let r = -42 + 58. Is c(r) a multiple of 8?
False
Let g(a) = 6 + a**2 - 8*a + 3*a**2 - 5*a**2. Let w = 256 - 264. Does 2 divide g(w)?
True
Suppose 0 = 18*q - 11644 + 4462. Is q a mul