1. Suppose f*n + 44 = 13*n. Is n a multiple of 11?
True
Let r(z) = -z**3 + 5*z**2 + 2*z - 6. Let a be r(5). Suppose -4*b + 0*f + 3*f = -192, -3*b + a*f + 144 = 0. Is 16 a factor of b?
True
Let b(p) = p**3 - 25*p**2 + 5*p + 36. Does 17 divide b(26)?
False
Does 6 divide -607*-2*(1 - (-7)/(-14))?
False
Let o = -15 + 36. Let b = o + 69. Does 9 divide b?
True
Suppose 2*w - a = -10, -w + 2*w + a = -2. Does 5 divide -2 - (-5 + 1 + w)?
False
Suppose 11442 = 23*j - 7326. Is j a multiple of 9?
False
Is 3 a factor of (11 - (0 - -8)) + 1 + 9?
False
Suppose 4*y = -3*l + 456 - 57, 0 = 2*l + y - 261. Let x = -97 + l. Does 8 divide x?
True
Let o(n) = -n**3 - 17*n**2 - 17*n - 30. Let h be o(-16). Is 48 a factor of (-5)/35 + (-2690)/h?
True
Does 26 divide ((-252)/8)/((-12)/368) - 1?
False
Let i(o) = -o**2 + 19*o - 52. Let p be i(15). Let l(z) = 19*z**2 + z - 1. Let g be l(1). Suppose -3*x = -b - p, x = 4*b - g + 7. Is 4 a factor of x?
True
Let h(a) = 44*a**2 - 2*a - 31. Is h(4) a multiple of 19?
True
Let t = -5 - -2. Let p be 2/(-9) + 14/(-18). Is p/(-1)*(-165)/t a multiple of 11?
True
Let b(r) = 6*r + 3. Let w be b(2). Suppose n = 2 + w. Let q = 21 - n. Is q a multiple of 3?
False
Let a(s) = 6*s**2 + s**2 - s**2 + 2*s - s**2. Is a(2) a multiple of 4?
True
Let z(n) = -n**3 + 4*n**2 + 5*n + 4. Let w(s) = 2*s**3 - 5*s**2 - 6*s - 5. Let o(g) = 5*w(g) + 6*z(g). Does 6 divide o(2)?
False
Let x(l) be the third derivative of -23*l**4/24 + l**3/6 + 9*l**2. Let d be x(-5). Let y = d - 51. Is 13 a factor of y?
True
Let c = -1103 + 2624. Is 39 a factor of c?
True
Suppose -144 = -2*c + 4*c. Let x = c + 125. Does 16 divide x?
False
Let b = -77 - -89. Is (52/b + -5)/(4/(-90)) a multiple of 6?
False
Let t(b) be the first derivative of 2*b**2 + 4*b - 34. Does 2 divide t(2)?
True
Let p(w) = 208*w**3 + w**2 + 2*w - 3. Let u(o) = 207*o**3 + 2*o**2 + 2*o - 4. Let n(d) = 3*p(d) - 2*u(d). Is n(1) a multiple of 64?
False
Let j = 580 - 299. Is j a multiple of 43?
False
Suppose -8 = -4*g + 2*g. Suppose 5*v - f - 2*f = -9, -3*f + 9 = g*v. Is 12 a factor of (v - 15)*(-56)/35?
True
Let r(l) = -138*l + 1. Let s be r(-1). Let d = s + 21. Is 40 a factor of d?
True
Let f(j) = j**2 + 27*j + 308. Is 22 a factor of f(-44)?
True
Is 6924/(-9)*(-5 - 42/(-12)) a multiple of 25?
False
Let j(a) = a**3 - 2*a**2 + a - 10. Let m be j(3). Let w(n) = 65*n**2 - 4*n + 3. Does 34 divide w(m)?
False
Suppose -j + x = -690, -j + 3*x + 230 + 466 = 0. Is 9 a factor of j?
False
Let d(q) = 16*q - 86. Let f be (66/(-9))/(6/(-9) + 0). Is d(f) a multiple of 18?
True
Let o = -61 - -193. Is o a multiple of 44?
True
Suppose -5*j - 455 = -0*j. Let x = j - -159. Is 13 a factor of x?
False
Suppose 2*g = 3*p - 4, 0 = 5*p - 3*p + 3*g - 20. Suppose -p = -4*u + 12. Is 3 a factor of u/(-5)*(-120)/16?
True
Let t(z) = -z - 10. Let n be t(-14). Suppose n*f + k = 378, -4*f - k + 3*k + 384 = 0. Let s = f - 25. Does 14 divide s?
True
Let l(t) = 2*t**3 - 4*t + 3. Let c be l(3). Suppose 4*q + c - 73 = 0. Does 2 divide q?
False
Let p(o) = 4*o - 4. Let m be p(5). Suppose 0 = -2*i - 12*i + 42. Let z = m + i. Is 7 a factor of z?
False
Suppose 0 = -5*v - 177 + 2362. Is 19 a factor of v?
True
Let m(b) = 13*b**2 + 5*b - 4. Let r(y) = -9*y**2 - 3*y + 3. Let o(c) = -5*m(c) - 8*r(c). Is o(2) a multiple of 11?
True
Let v(h) = 0 + 5*h**2 + 17*h**3 - 13*h**3 - 1 - 4*h. Let r be v(3). Suppose -r = -5*y + 4*z, -52 = -2*y + y - 4*z. Is y a multiple of 16?
True
Suppose 0 = -2*y - 2*c - c + 59, -3*y + 76 = 2*c. Let n be (-4 - (y + 4))/(-1). Let g = 3 + n. Is g a multiple of 17?
False
Suppose 0 = -0*a - 5*a - 4*j - 51, -2*a = -2*j + 6. Let h(i) be the first derivative of -3*i**2 - 16. Is h(a) a multiple of 21?
True
Suppose 270 = -13*n + 16*n. Suppose -2*x + 5*x - n = 0. Does 10 divide x?
True
Let q = -27 - -26. Let o be -3 - q - (1 + -1). Is 19 a factor of o*4/(-8) - -75?
True
Let m be (-1)/(-2) + 117/18. Suppose 0 = m*n - 239 + 15. Is n a multiple of 16?
True
Is 4 a factor of -2 + 65 + 1/(8 - 7)?
True
Let m = -943 - -1685. Does 7 divide m?
True
Suppose 0 = -7*s + 390 + 814. Let v = -86 + s. Is v a multiple of 7?
False
Let z be 3 - 2 - 3 - -3 - 3. Is (-6)/((0 + z)/12) a multiple of 12?
True
Let y(a) = 3*a - 9. Let p be y(5). Let l = p + -2. Is l a multiple of 4?
True
Suppose -5*p - d = 223 - 4847, 0 = -4*p - 4*d + 3712. Does 87 divide p?
False
Let r(s) be the second derivative of s**5/10 - 11*s**4/12 + 3*s**3/2 + s**2/2 + 5*s. Let d be r(7). Let i = d - 150. Is i a multiple of 19?
False
Suppose 5*f - 24 - 26 = 0. Let y be 36/f - 4/(-10). Suppose z = -y, h - 3*z - 42 = -2*z. Is 10 a factor of h?
False
Suppose -3*k - 46 = -3*l + 32, -3*l + k = -80. Suppose s = -8 + l. Is 6 a factor of s?
False
Let o(x) be the third derivative of 5*x**4/4 - 13*x**3/6 + 23*x**2. Is o(2) a multiple of 16?
False
Let h = -29 + 19. Let i be 2/h - 303/(-15). Suppose 0*d + i = d. Is 4 a factor of d?
True
Let v(w) = -w**2 - w + 2. Let a(n) = 1. Let m(y) = a(y) - v(y). Let h be m(2). Does 5 divide (h/(-2))/(7/(-14))?
True
Let o = 169 - 99. Is o a multiple of 5?
True
Suppose 11*k = 29*k - 13608. Is k a multiple of 18?
True
Let y = 42 - 43. Let a = y + 26. Does 14 divide a?
False
Let b be (-4970)/15*(-33)/2. Is 29 a factor of b/63 + (-4)/(-18)?
True
Let w(z) = -z + 20. Suppose 2*m + 0 = 6. Let u(q) = q**3 - 2*q**2 - 4*q + 3. Let s be u(m). Is 10 a factor of w(s)?
True
Let g = -92 - -78. Let f = g + 74. Does 30 divide f?
True
Suppose -2386 = -4*s + 2*w - 0*w, -3*s - 5*w = -1796. Does 42 divide s?
False
Let l(b) = 4*b**2 + 52*b + 525. Is l(-21) a multiple of 58?
False
Let j = -8 - -11. Suppose -5*q = f - 11, -q - j*f = -0*q + 9. Suppose 4*k = -4*i - 0*i + 24, -q = -2*i - 5*k. Does 7 divide i?
False
Suppose -1236 - 252 = -6*q. Does 5 divide q?
False
Let q(t) = 5*t**2 - 37*t + 14. Does 18 divide q(10)?
True
Let m(d) = 3*d + 89. Is 8 a factor of m(21)?
True
Let b = 25 - 21. Suppose -3*h - 4*w = -157, 0*h - 214 = -b*h - 3*w. Is h a multiple of 11?
True
Let q(l) = 133*l - 94. Is q(2) a multiple of 7?
False
Let i(b) = -3*b + 13. Let a be i(3). Suppose 226 = 2*v - 2*s, -a*v + 92 = -3*s - 358. Does 9 divide v?
False
Let q(r) = r**2 - 22 - 21 - r**3 + 47 + 3*r + 2*r. Is 32 a factor of q(-4)?
True
Suppose 743 = 5*h + 3*y, -3*h + 369 = 3*y - 78. Is 37 a factor of h?
True
Let u = 31 + -10. Suppose -u = k - 117. Does 36 divide k?
False
Suppose 3*x + 10*n - 5*n + 310 = 0, 0 = 3*x + 4*n + 305. Let j = x - -112. Is 11 a factor of j?
False
Suppose 3*u = -2*d - 6, d + 3*d + u + 2 = 0. Suppose -5*z + d*z + 515 = 0. Does 25 divide z?
False
Suppose -125*q = 146474 - 812974. Is 98 a factor of q?
False
Let k(s) = -s**2 + 9*s - 5. Let a be k(8). Suppose a*f + 9 = 33. Is 550/f - (-1)/4 a multiple of 25?
False
Suppose -13*z = 2739 - 7029. Is z a multiple of 33?
True
Suppose -4*x = x - 12320. Is x a multiple of 28?
True
Let o = 40 - 25. Let z = o - 12. Suppose -q - 202 = -5*i, -3 = 3*q + z. Is i a multiple of 17?
False
Let x be ((-4)/5)/(16/(-2920)). Let z = -78 + x. Is z a multiple of 16?
False
Suppose -d - 1548 = -4*w, 1946 = 5*w - 10*d + 6*d. Is w a multiple of 4?
False
Let o(p) = 4*p**2 - 5*p - 3. Suppose u - 12 = -2*u. Suppose u*g - 30 = -4*x + 2, -x + g = -4. Does 28 divide o(x)?
False
Let b = 26 - 23. Suppose t - b*k = 71, -72 = -4*t - 5*k + 263. Is 20 a factor of t?
True
Suppose 0 = -u - 5*j + 46, 4*j + 184 = -u + 5*u. Let t = u + -34. Is 3 a factor of t?
True
Is 484 - (-8 + 10 - 8) a multiple of 10?
True
Is ((-18)/(-150)*5)/((-1)/(-95)) even?
False
Let a be 3 + (-36)/(-4) + -2. Suppose a*b - 6 = 7*b. Is b a multiple of 2?
True
Suppose -4*v = -0*v + 72. Let c be -1 + 2 + -3 + v. Is 3 a factor of (75/c)/(1/(-4))?
True
Let x be (182 + 3)/(3 - 2). Suppose -4*l = -2*k + k - 149, -5*l + x = -k. Is l a multiple of 9?
True
Suppose 4*b + 11 = n - 93, -5*n = -20. Let u = 73 + b. Is u a multiple of 16?
True
Let l(y) = -y**2 - 4*y - 9. Let m be (-2)/(-9) + (-168)/27. Let o be l(m). Let k = o + 32. Is 11 a factor of k?
True
Suppose -8 = -4*f - 4. Suppose 0 = 3*g + p + 19, -g - 3*p = -0*g + f. Let d = g - -24. Does 7 divide d?
False
Let d = 5 - 10. Let b = d - -10. Let j = b + 13. Is 12 a factor of j?
False
Suppose 0 = -9*r - 121 - 149. Let s = r - -48. Is 18 a factor of s?
True
Let u(h) = 2973*h - 49. Does 17 divi