0. Does 10 divide k?
True
Is 118 + 4/22 + (-18)/(-22) a multiple of 17?
True
Let n(o) = -o**3 + 4*o**2 - 3*o + 1. Let c = 10 + -8. Let a be n(c). Is 12 a factor of (-36)/(-24)*26/a?
False
Let u(h) = 23*h**2 - 38*h + 3. Is u(-9) a multiple of 46?
True
Let y be 2 - ((-4)/(-14) + (-4)/14). Suppose y*h - 470 = -3*h. Is 19 a factor of h?
False
Suppose -4*u = 3*k - 1001, 0 = 5*k + 10 - 5. Does 12 divide u?
False
Suppose -5*j + 8*j - 12 = 0. Let o be ((-7)/3 + 2)*3. Does 10 divide (o + 22/4)*j?
False
Suppose 2*b - 3*w + 8*w - 29 = 0, b = -3*w + 15. Suppose b = -4*g + 5*v, 12 = 2*v + v. Suppose -g = -2*p + 28. Does 15 divide p?
True
Let g = -1293 + 2075. Does 18 divide g?
False
Does 50 divide 150/9*(0 + 9)?
True
Let c = 70 - 64. Suppose -b = 5*h - 2*b - 372, -3*h + 216 = -3*b. Suppose 2*j - c*j - 4*q + 60 = 0, 0 = 5*j - 3*q - h. Does 5 divide j?
True
Let v(f) = 15*f**3 - 8*f + 4. Let w be v(3). Let y = -118 + w. Is 11 a factor of y?
False
Let f be (-30)/(-4)*(-6)/(-15). Suppose -4*o + z - 59 = -261, 156 = f*o - 3*z. Does 10 divide o?
True
Is 27 a factor of (14/10 + 1)/((-11)/(-1980))?
True
Suppose 2*u - 810 = -2*g, -3*g + 51*u = 47*u - 1187. Does 13 divide g?
False
Let r(f) = 4*f - 11. Let w(m) = -m + 4. Let g(d) = 4*r(d) + 11*w(d). Let x be (-768)/(-132) - (-2)/11. Is 30 a factor of g(x)?
True
Does 9 divide ((-90)/(-75))/(4/1230)?
True
Let p(x) be the third derivative of -x**7/420 - x**6/120 - x**5/30 - x**4/6 + x**3/6 + 3*x**2. Let l(z) be the first derivative of p(z). Is 2 a factor of l(-2)?
True
Suppose 4*q - 5*h - 1818 - 343 = 0, 4*q = -3*h + 2153. Does 3 divide q?
False
Let y(r) = r**3 - 29*r**2 + 17*r - 28. Does 11 divide y(29)?
False
Suppose -3*n + 178 = -389. Does 5 divide n?
False
Let u be (-3 - (0 + -6)) + -4. Let m = u + 0. Let l(w) = -57*w**3 - w**2 - w. Is l(m) a multiple of 19?
True
Let t(k) = -2*k**3 - 4*k**2 + 6*k + 8. Does 8 divide t(-6)?
False
Let s(y) = -14*y + 98. Does 47 divide s(-40)?
True
Let y be (6 - 1)/(6/648). Suppose y = 6*g - g. Is g a multiple of 18?
True
Let r(n) be the first derivative of -15*n**2 + 5*n + 1. Is 21 a factor of r(-2)?
False
Let n = 914 - 644. Let x(g) = -g**3 + 13*g**2 - 9*g + 2. Let w be x(11). Suppose n = 5*v - 4*s, -2*v = v + s - w. Is v a multiple of 25?
True
Suppose 4*d - 266 = d - 2*o, 439 = 5*d - o. Is d a multiple of 11?
True
Suppose 3*d - 1220 = -2*i, 2*i - 174 - 1074 = 4*d. Is 28 a factor of i?
True
Suppose 4*q - 3*k = 1868, 5*q + 14*k - 2300 = 9*k. Does 3 divide q?
False
Let d(r) = 2*r + 18. Let w be d(10). Let m = -30 + w. Is 5 a factor of m?
False
Let s(b) = b**2 + 5*b + 1. Let q be s(-6). Suppose -5*w + q = -1593. Does 40 divide w?
True
Suppose -3*u = -u - 646. Does 17 divide u?
True
Let x be 4/(-6)*(-633)/(-2). Let p = -141 - x. Is 35 a factor of p?
True
Suppose -5*r - 3*j + 356 = -104, -2*r - 2*j = -180. Is r a multiple of 5?
True
Let l(v) = v**3 + 6*v**2 + 3*v - 7. Let z be l(-5). Is 42 + (z - 2)/(4/(-12)) a multiple of 13?
True
Let r = -70 + 70. Suppose r = 11*z - 13*z + 44. Is 8 a factor of z?
False
Let b(r) = r. Let a be b(1). Let y = -2 - 3. Does 5 divide (-3 - y)*7/a?
False
Let a(v) = v**3 + 2*v**2 + v - 1. Let l be a(-2). Let j = -1 - l. Suppose -f + 3*f = -4*d + 252, 0 = -5*d + j*f + 324. Does 17 divide d?
False
Let m(z) = z**3 - 5*z**2 - z - 9. Let x(q) = 2*q**2 + 3*q - 2. Let a be x(-3). Does 7 divide m(a)?
False
Let m be (-1782)/(-21) + (-6)/(-42). Suppose -5*b + 223 = h - 218, -3*h = -b + m. Is 36 a factor of b?
False
Let l = 1823 + -991. Does 13 divide l?
True
Suppose 9*v - 239 - 31 = 0. Is 15 a factor of v?
True
Let s(u) = -u**2 + 3*u + 3. Let d be s(3). Suppose -d*z + 0*z = 6. Does 9 divide (-3)/1*(z - 7)?
True
Suppose -4*i - i = -4*v + 180, 4*v = 20. Let q = 132 - 79. Let c = i + q. Is c a multiple of 7?
True
Suppose -3*s + 84 = -519. Is 67 a factor of s?
True
Let b be 2*1/(-4)*(-15 - -17). Does 4 divide b/(-1 - (-21)/24)?
True
Let g be 2 + (-9)/((-18)/(-28)). Let y = g - -17. Is y a multiple of 3?
False
Does 3 divide 6 - (-1158)/((-24)/(-4))*1?
False
Let d = -27 + 29. Let h be (-3 + 4)*(1 + -111). Is 17 a factor of 3/1 - h/d?
False
Let y(i) = -173*i + 254. Does 61 divide y(-15)?
False
Let j be ((-2)/(-4))/((-4)/(-1712)*-1). Let h = 330 + j. Is h a multiple of 8?
False
Let x be (4/(-6))/((-2)/(-9)). Let k = x - -11. Is 14 a factor of (-1710)/(-40) + (-6)/k?
True
Let j be 8*(2/5 + 5/50). Is j + (2 - -35 - 2) a multiple of 39?
True
Suppose q + 135 = 10*q. Is 2 a factor of q?
False
Suppose 1341 = -10*p + 13*p. Is p a multiple of 15?
False
Suppose 50*a - 44*a = 1020. Does 13 divide a?
False
Suppose -2*u = -4, 21 - 103 = -3*p - 2*u. Let c be (p/(-4))/((-1)/10). Suppose a + c = 6*a. Is 13 a factor of a?
True
Let v(n) = -2*n - 3. Let f be v(-3). Let h be (f/(-12)*0)/(-1). Is h + 92/4 - -4 a multiple of 9?
True
Let b(g) be the third derivative of -g**4/12 + 14*g**3/3 - g**2. Let n be -2*(4 - 28/8)*0. Is 16 a factor of b(n)?
False
Suppose -4*f = -2*u - 6510 - 3464, f = -2*u + 2486. Does 51 divide f?
False
Suppose 5*g - h + 62 = 0, -g - 16 = 3*h - 2*h. Let b = g - -15. Does 20 divide (0 - -2)*37 + b?
False
Let g be (6/(-4))/(57/(-380)). Does 20 divide 1924/g - 9/(-15)?
False
Suppose 26649 = -57*g + 100350. Does 6 divide g?
False
Let f be ((-6)/4)/(15/(-20)). Let s be 10/25 + (-36)/(-10). Suppose f - 30 = -s*x. Does 7 divide x?
True
Suppose -f - 55*d + 5871 = -52*d, -15 = -3*d. Is 12 a factor of f?
True
Let r(h) = -6*h - 14. Let y be r(-15). Let o = y - 38. Does 38 divide o?
True
Suppose 0 = -3*h - 4*z + 3*z + 101, h + 4*z - 41 = 0. Let a = h + 0. Let q = a - -11. Does 22 divide q?
True
Suppose 728 = 5*j - 1397. Let k = j + -234. Does 16 divide k?
False
Let q = -24 + 23. Does 6 divide (q - 3/3) + 23?
False
Suppose q = 3*f + 4*q - 9, -3*q = 5*f - 9. Is f - -1 - (-1 + -7) a multiple of 3?
True
Let x(n) = -2*n**3 + 24*n**2 + 6*n + 13. Is 20 a factor of x(12)?
False
Suppose 2*h + 3*d - 31 = -4, h - 5*d = 7. Suppose 5*p - y = 47 + 33, -y = 5*p - 70. Is 20 a factor of h*(p/2 - 3)?
False
Let z = 30 - -28. Suppose -477 = -4*h - 5*o, -4*h + 229 + 260 = o. Let s = h - z. Is s a multiple of 36?
False
Suppose 10 = 4*v + 2*w, -v + 0*v = -4*w - 25. Suppose 2*a + 2*n - 127 = -n, -v*n + 60 = a. Does 8 divide a?
False
Let r(h) = 3*h**2 + 46*h + 24. Does 13 divide r(-21)?
False
Let l = -16 - -26. Suppose x + 351 = l*x. Is 20 a factor of x?
False
Suppose -5*z + 114 + 226 = 0. Suppose 6*w - 2*w - 4*c = z, 4*w + 2*c - 74 = 0. Is 6 a factor of w?
True
Let h(d) = -d**2 + 6*d + 18. Let x be h(-10). Let g = x + 304. Is 38 a factor of g?
False
Let c = 60 + 133. Is c a multiple of 11?
False
Let y(u) be the third derivative of u**5/30 - 13*u**4/24 - 7*u**3/6 + 21*u**2. Is y(11) a multiple of 26?
False
Let j be 2/(-7) - 38/14. Let q(s) = s**3 + 4*s**2 + 3*s + 8. Is 8 a factor of q(j)?
True
Let q(r) = -2253*r**3 - 2*r**2 - r + 2. Is q(-1) a multiple of 14?
True
Let a(d) be the second derivative of d**3/6 - 2*d**2 + d. Let r be a(5). Is 8 a factor of 3/(r + 6/(-7))?
False
Let y = 105 - 59. Suppose 48*o - y*o - 14 = 0. Is o a multiple of 4?
False
Let n(k) = k**2 + 2*k + 10. Let p be n(0). Let b = p - -35. Does 5 divide b?
True
Suppose w = 19*w - 3078. Is 9 a factor of w?
True
Let j be (-5)/(-2)*(6 + 3 - 5). Let y(i) = -i**3 + 12*i**2 + i - 21. Does 16 divide y(j)?
False
Suppose p = 5*g + 24, -12 = -4*g + 2*g - 5*p. Let y(a) = -3*a - 8. Let x be y(g). Suppose x*l = 49 + 63. Is 4 a factor of l?
True
Let s = 113 + -109. Suppose -s*x - 750 = -9*x. Does 30 divide x?
True
Suppose 5*b - 3679 = 4996. Is b a multiple of 59?
False
Suppose -809 = 38*y - 2975. Is y a multiple of 8?
False
Let b = -257 + 562. Does 38 divide b?
False
Let c(a) = 4*a + 3 + 0*a**2 - 7 + a**2 + a**2. Is c(-5) a multiple of 5?
False
Suppose 5*s + 387 - 2632 = -3*c, -3*s = -5*c - 1313. Is s a multiple of 14?
False
Let f(m) = -m**3 + 10*m**2 - 11*m + 13. Let g(r) = -r**3 - 4*r**2 + 2*r - 6. Let u be g(-5). Let d be f(u). Is 16 a factor of 2639/35 + 2/d?
False
Suppose 0 = -a - 2*a - 18. Is 15 a factor of a/(0 + -3) + -2 + 20?
False
Let v(x) = -x - 9. Let m be v(-9). Is 12 a factor of m/5 - -73 - 1?
True
Let u = -231 + 358. Suppose 3*m + 6*k = 3*k + 345, -m + u = -5*k. Does 32 divide m?
False
Suppose -z + q + 15 = 6, 31 = 5*z + 2*q. Is 11 + (z - 3) +