. Does 14 divide l?
True
Let n(f) = 385*f + 631. Does 39 divide n(17)?
True
Is 16 a factor of 2*(3 + -6) - (9 - -5 - 20903)?
False
Let s(p) = -p**3 + 40*p**2 + 514*p + 83. Is 3 a factor of s(50)?
True
Suppose 3*q + 15 = 0, 434 = -x + 2*q - 153. Let n be (x/(-6) - (-2)/(-4)) + 4. Let i = n + -72. Does 4 divide i?
False
Let c = -23 + 25. Suppose -z + c*d - 1 = -0*z, -6 = -3*z + 3*d. Does 8 divide (6/10)/(z/625)?
False
Let h(x) = x + 2. Let r be h(-2). Let p(n) = 3*n**2 + 41*n - 9. Let u be p(-14). Suppose -2*m + 4*m - 4*g - 28 = r, u*m + 3*g - 83 = 0. Is 4 a factor of m?
True
Let p(i) = -4*i**3 - 4*i**2 - 2*i + 1. Let y be p(-2). Suppose 18*u - y*u + 12 = 0. Suppose -s + 310 = u*s. Is s a multiple of 16?
False
Is 44 a factor of (-7)/(-3) + (-38355)/(-9)?
False
Let q be 12 + -5 + (1 - (0 + 3)). Suppose 0 = -4*t + q - 29. Does 23 divide (-140)/15*63/t?
False
Let i = 12034 + -10042. Is i a multiple of 8?
True
Is (-27511332)/(-7077) - (34/14 - 1) a multiple of 67?
True
Let r = -1073 - -1631. Suppose -2*s = -4*t - 7*s + 1125, 0 = -2*t + 2*s + r. Does 10 divide t?
True
Let d be 28/28*(-1 - -5) - -647. Suppose 2*k + 0*k + 3*z = 1337, -k - 5*z = -d. Is 26 a factor of k?
True
Let c(n) be the second derivative of -3*n**4/4 - 20*n**3/3 - 3*n**2 + 31*n. Let y(u) = -6*u**2 - 27*u - 4. Let r(p) = -5*c(p) + 7*y(p). Is 2 a factor of r(-5)?
True
Let q(b) = -3*b + 12. Suppose 0 = 14*y - 13*y - 13. Suppose y*p - 22 = 15*p. Does 15 divide q(p)?
True
Let x be (-30)/5 + 6 + (-6)/(-2). Suppose x*w + 3*d = 1110, -32*w + 33*w = 3*d + 362. Is w a multiple of 20?
False
Let p(m) = 172*m**3 - 3*m**2 + 3*m - 2. Let o be p(1). Let h = 13 - 2. Suppose o = h*v - 83. Does 10 divide v?
False
Let x(v) = 2*v**2 + 61*v + 21. Let a be x(-30). Let k = 24 - a. Does 11 divide k?
True
Let o(s) = -1746*s - 6284. Is o(-6) a multiple of 12?
False
Does 37 divide (-2)/(-4) - (-3662166)/1076?
True
Let u(a) = -a**3 - 3*a**2 - 5*a - 11. Let k be u(-5). Let v = k + -59. Suppose -13 = -3*b + v. Is 5 a factor of b?
False
Suppose 3*u - 305 = -l + 706, 3*l - 2981 = 4*u. Does 34 divide 10/(90/l) - (2 + -1)?
False
Let g(p) = p**3 + 20*p**2 + 17*p + 20. Let m be g(-19). Let l = m - -2. Suppose 2*c + 3*c = l. Does 8 divide c?
False
Let q be (4 + -4)/((-10)/5). Suppose -2*j + p = -74, 2*p = -q*p + 4. Is j a multiple of 38?
True
Let z = -8508 + 11119. Does 7 divide z?
True
Let g be -2*(5 + -6)*2. Suppose 2*b + 192 = g*b. Is 3 a factor of b?
True
Let w be (-17 + 16)/(1 - 0) - -6. Suppose -s + 46 = -3*d + 11, -95 = -w*s - d. Is s even?
True
Let u(v) = -36*v - 34. Let t be u(-1). Suppose t = w, 0*g + 5*w + 399 = g. Does 4 divide g?
False
Suppose 5*l - 2*c - 996 = 0, l = 4*c - 2*c + 196. Suppose 92 = 4*h - 5*h. Let g = h + l. Is 36 a factor of g?
True
Let d(p) = -15*p - 39. Let w be d(-3). Suppose w*o + 22*o - 364 = 0. Is o a multiple of 3?
False
Let t(j) = 5*j + 2. Let f be t(-2). Does 40 divide (-806)/(-10) - f/(200/(-15))?
True
Suppose 0 = 12*g - 15*g - 4*h + 42255, g - 2*h = 14085. Is g a multiple of 20?
False
Suppose 366 = 8*z - 6*z. Let r = z + -122. Let u = r - 17. Is 7 a factor of u?
False
Does 33 divide (-24053 + -4)*(-4 + (1000/(-30))/(-10))?
True
Suppose 0 = -14*r + 15*r - 168. Suppose -r = 84*u - 90*u. Is 28 a factor of u?
True
Let a(b) = 4*b**2 + 24*b - 232. Is 12 a factor of a(-19)?
True
Let r be (18/9)/(4*1/756). Suppose -2*b - r = -3*m, -5*b + 42 = -3*m + 420. Does 18 divide m?
True
Suppose -9*b + b = 0. Suppose b = y + 82 - 108. Does 2 divide y?
True
Suppose 0 = 687*k - 730*k + 28294. Is k a multiple of 8?
False
Suppose -5*z - 20 = 0, z + 0*z = 5*h - 14. Suppose -h*u = -4*u + 8. Suppose d + 21 = 3*j + u*d, 3*d = 3*j - 33. Is 3 a factor of j?
True
Let y(o) = o**3 - 6*o**2 + 2*o - 9. Let s = 36 + -30. Let v be y(s). Does 30 divide (-1 + 2)*(430 + -1)/v?
False
Let v = 67 - 18. Let z = v - 37. Is 10 a factor of (z/7)/((-8)/(-588))?
False
Let a be (11 + 3)*8/2. Suppose -2*t - 18 + a = 0. Suppose -4*r + 0*r = 3*v - 17, 3*r + v = t. Does 4 divide r?
True
Is (-5)/30 + -13 + (-1497223)/(-78) a multiple of 278?
True
Let x = 461 - -2590. Is x a multiple of 113?
True
Is ((-231279)/(-27) - -2) + (-57)/(-513) a multiple of 28?
True
Let t(i) = -42*i**3 + 7*i**2 + 72*i + 315. Is t(-5) a multiple of 5?
True
Suppose -v + 174 = -3*q, -12 = 2*q + 4*v + 90. Let i = 78 + q. Does 2 divide i?
False
Suppose -9*a + 8*a = -8. Suppose 3*i + 8 - a = 0. Suppose j - 95 - 12 = i. Is 13 a factor of j?
False
Let f be 54/513 - 2/19. Suppose 5*r + 57 = 5*n - 2*n, f = -n - r + 19. Is 19 a factor of n?
True
Suppose -3*l - 3*k = 6864, 5*l + 0*l + 11458 = 4*k. Does 73 divide (-12)/(-72) + l/(-12)?
False
Let h be -174*60/(-32)*4. Suppose 22*x - h = 17*x. Is x a multiple of 34?
False
Suppose 3*x - 3*i - 176 = -944, 2*i = 5*x + 1280. Let s = -46 - x. Does 6 divide s?
True
Suppose 138*m = 132*m + 3060. Suppose 8*z - 786 = m. Does 6 divide z?
True
Does 3 divide 24/432 - 23831/(-18)?
False
Suppose 3*w + w - 3868 = -4*f, -w + 4*f + 942 = 0. Is w a multiple of 15?
False
Suppose -3 = -3*b - 3*s + 9, 0 = 2*b - 3*s + 2. Let c be (b/4)/((-2)/(-92)). Suppose -3*m - 7*h - 13 = -2*h, c = 2*m - 3*h. Does 4 divide m?
True
Does 92 divide -106 + 124 - 1205*-31?
False
Let f = 2945 + -2195. Does 15 divide f?
True
Let b(f) = 11*f - 8. Let w(x) = 21*x - 16. Let d(m) = 11*b(m) - 6*w(m). Let t be d(16). Is (1*t/15)/(4/(-30)) a multiple of 9?
True
Let b(i) = -i**3 + 10*i**2 + 25*i - 11. Let s be b(12). Let w be ((-10)/15)/(s/(-216)). Suppose 3*y - 108 = -3*u, u = -3*u + y + w. Does 4 divide u?
True
Let l(c) be the third derivative of -c**6/120 + 3*c**5/10 + 19*c**4/24 - 9*c**3/2 + 49*c**2. Does 21 divide l(18)?
True
Suppose -7*o + 2 = -5*o. Let q be 4*o/(-12)*-15. Suppose 0*f - d = -4*f + 77, 0 = 4*f + q*d - 95. Is 12 a factor of f?
False
Let k be (0 - -94)/((-2)/7). Let w = 156 + k. Let h = -88 - w. Does 9 divide h?
False
Let y = -10256 - -46211. Is y a multiple of 17?
True
Suppose 0 = 5*x - 6*t + 2*t - 223, -3*t = 6. Suppose 5*k - x - 92 = 0. Does 9 divide k?
True
Let t(m) = -1252*m**3 - 20*m**2 - 54*m + 14. Is t(-3) a multiple of 200?
True
Suppose 2*g + 65*g - 105349 = 161914. Is g a multiple of 42?
False
Let l(f) = 2*f**3 - 25*f**2 - 33*f - 29. Let x be l(20). Suppose -28*d + x + 12273 = 0. Is 16 a factor of d?
False
Let l(c) = -c**2 - 18*c - 6. Let g be l(-9). Suppose -4*x - g - 117 = 0. Is 2 a factor of (-28)/8*x/21?
True
Suppose 0 = 7*n - n + 132. Let l = n + 24. Suppose l*a + g - 238 = -g, 352 = 3*a - 2*g. Is 18 a factor of a?
False
Let z(w) = -711*w + 419. Does 12 divide z(0)?
False
Suppose -256 - 100 = 4*a. Let s = a + 75. Is 6 a factor of (-6)/((-24)/s)*-12?
True
Is (50*41244/70)/(3/2) - 1 a multiple of 60?
False
Let j = -364 + 27. Let z = 346 + j. Is 5 a factor of z?
False
Let m = 10542 + -1032. Is 4 a factor of m?
False
Suppose -2*v - 137 = -145. Suppose -v*m + 1029 = -211. Is m a multiple of 17?
False
Let q = 105 - 22. Let l = 27 + q. Suppose -l = -50*i + 45*i. Does 19 divide i?
False
Suppose 7*m - 11301 = 2*m + 2*y, 6777 = 3*m - 3*y. Does 110 divide m?
False
Let d be 2 - -11 - (-19 - -10). Let z(a) = a**3 - 23*a**2 + 29*a - 65. Is 89 a factor of z(d)?
True
Let c(s) = 2*s + 18. Let a be -1*-1*395/5. Let r = a + -83. Is 2 a factor of c(r)?
True
Let b = -134 + 138. Suppose 3*d + b*j - 1342 = 667, 3*d - 3*j = 2037. Is 27 a factor of d?
True
Suppose 0 = 5*o + 4*s - 107521, 106701 + 757 = 5*o - 3*s. Is 259 a factor of o?
True
Suppose 4*y = 63 + 5. Suppose 0 = -2*s + y + 5. Suppose 6*x + 715 = s*x. Is x a multiple of 40?
False
Let f be 2048/((-24)/(-3))*99/6. Suppose 0 = -24*w + 2*w + f. Is 32 a factor of w?
True
Suppose 2*l - 80 = -2*y, 0*y - 2*y + 75 = 3*l. Suppose 50 = 5*p + 5*j, -2*j + 1 = p - 4*j. Is p/(3/(y/1)) a multiple of 21?
True
Suppose -5*a - 4 - 16 = 0. Let b be a*((-1)/4 + 63/28). Let g = b - -39. Is g a multiple of 31?
True
Suppose 4*t - 2*t - 4 = 0. Suppose -t*r + 732 = 4*v, -2*v + 0*r = -3*r - 350. Does 2 divide v?
False
Suppose 55925 = 4*l - j, 13983 = l + 13*j - 15*j. Does 8 divide l?
False
Suppose 24*h = 26*h - 38. Suppose -3*q + q = -o - 2, 0 = -q - 4*o + h. Suppose 5*a - 373 = -5*k + 437, -q*a = -k - 486. Is 27 a factor of a?
True
Let m be (-39 - -37)*(-2 + (0 - -1)). Let j(u) be the first derivative of 67*u**2/2 + 9*u + 28