l + 4*l - 53, 2*l = n - 71. Is n a multiple of 13?
True
Let q(u) = u**3 - 2*u + 118. Let g be q(0). Let a be 9 + -5 + 2*g. Suppose -j - 4*j + a = 0. Does 8 divide j?
True
Suppose -4*n + 4*w + 1246 + 8002 = 0, 2*n = 4*w + 4628. Is 21 a factor of n?
True
Suppose w - 10 = -w. Let q = 3 + w. Let h = 21 - q. Is 5 a factor of h?
False
Let h(l) = 49*l**2 - 3*l + 1. Does 11 divide h(-3)?
True
Let q(b) = 108*b + 10. Let u(n) = -n. Let l(m) = -q(m) - 5*u(m). Does 28 divide l(-2)?
True
Suppose 24*u - 2837 = 1003. Is u a multiple of 44?
False
Let u(i) = -856*i + 13. Is u(-1) a multiple of 18?
False
Suppose 0 = 3*w - 3*g - 501, 0 = -g - 3*g + 4. Is w a multiple of 42?
True
Is -2*2*(-9)/((-108)/(-255)) a multiple of 3?
False
Let x = -8 - -9. Is 23 a factor of (x + -93)*(38/8 + -6)?
True
Suppose 4*i = -6 + 6. Suppose i = 3*g + 3*q - 3 - 417, 2*q - 550 = -4*g. Is 15 a factor of g?
True
Does 62 divide 0 + 955 + -1 + 26 + -30?
False
Suppose -v + 2777 = 12*u - 10*u, 5*v + 4*u - 13909 = 0. Is 34 a factor of v?
False
Suppose -d + 2*d = 2. Let y = 5 - d. Let s = y - -92. Is s a multiple of 12?
False
Suppose 3*g = 4*g + 160. Let b = -80 - g. Does 14 divide b?
False
Suppose -y + 8 + 1 = 5*p, 4*p + 5*y = 24. Let g(d) = 19*d**3 - d. Is g(p) a multiple of 12?
False
Let v(j) = 6*j**2 + j - 2. Let q(z) = 11*z**2 + 3*z - 5. Let k(r) = 3*q(r) - 5*v(r). Does 13 divide k(-5)?
False
Let g(w) = -w**2 - 23*w - 20. Suppose 5*m = 4*h + 70, 5*m + 30 = 2*h - 3*h. Is 20 a factor of g(h)?
True
Let l(x) = 2*x**2 + 17*x + 20. Does 10 divide l(-16)?
True
Let v be (-30)/(-21) + 20/35. Suppose 5*s - 2*a = 703, -3*s + v*a - 3*a + 424 = 0. Is s a multiple of 27?
False
Suppose 158*j = 148*j + 4440. Does 4 divide j?
True
Let z(u) = 2*u - 70. Let g(y) = -6*y - 2*y + 287 - 7. Let i(a) = -2*g(a) - 9*z(a). Does 18 divide i(0)?
False
Let o = -163 - -202. Is 39 a factor of o?
True
Let y be (0 + -2)/(-2) + -16. Let c be (y/30)/((-1)/(-4)). Let u = c + 17. Is 5 a factor of u?
True
Suppose 3*s - 26 + 20 = 0. Is 5 a factor of -123*2/(-12)*s?
False
Suppose -11*z + 6266 = -389. Is z a multiple of 23?
False
Let k(l) = 2*l**2 + 14*l + 16. Let b be k(-11). Let g be b*((-3)/(-4) - 0). Let y = g + -25. Does 27 divide y?
False
Let b(r) = 5*r**2 - 47*r + 25. Is 37 a factor of b(13)?
True
Let v = -36 + 40. Suppose 4*h + v*i - 16 = -i, -34 = -2*h + 4*i. Does 3 divide h?
True
Let i(f) = -7*f**3 + 29*f**2 - 31*f + 23. Let a(k) = -3*k**3 + 15*k**2 - 16*k + 12. Let b(y) = -5*a(y) + 2*i(y). Is 5 a factor of b(16)?
False
Let l = -76 + 112. Suppose 12 = -4*c + l. Suppose 11*o - c*o = 120. Is o a multiple of 6?
True
Let l = 209 + 734. Does 15 divide l?
False
Suppose 0 = -5*b + 5 + 10. Suppose 5*r - 2*r - 6 = 5*v, -4*v = -5*r - b. Let i(f) = 2*f**2 - 2*f + 4. Is i(r) a multiple of 14?
True
Let n(q) = -4*q + 8. Let m be n(0). Let l(w) = -w + 8. Let s be l(m). Suppose -d - 6*d + 168 = s. Is d a multiple of 8?
True
Let r = -519 - -1149. Is r a multiple of 45?
True
Suppose 3*x + 6 = 15. Suppose 5*a = 0, -x*a + 12 = 2*r + r. Suppose -v = -r*h + 128, -h - v + 128 = 3*h. Is h a multiple of 8?
True
Suppose 3465 = 25*n + 315. Is n a multiple of 9?
True
Suppose 2*n - n = 19. Let f = -220 - -125. Is 14 a factor of (-4000)/f + (-2)/n?
True
Let y(x) be the second derivative of 7*x**5/60 - x**4/8 + x**3/6 - 4*x**2 + 4*x. Let l(z) be the first derivative of y(z). Does 11 divide l(3)?
True
Let w(t) = -2*t - 40. Let d be w(-21). Suppose 0 = -d*v - 2*o - 15 + 123, v + 5*o - 62 = 0. Is 13 a factor of v?
True
Suppose -48256 = 84*t - 113*t. Is t a multiple of 16?
True
Let u = 21 + -25. Let g be 24*((-63)/(-6) + u). Suppose -10*j = -4*j - g. Is j a multiple of 6?
False
Suppose -2*l - 2301 = -5*q, -4*q - 2*l = 371 - 2201. Suppose -2*u - q = -4*w + 121, -2*w - 2*u = -284. Is 18 a factor of w?
True
Suppose -7*b - 11 = 31. Let q(p) = -p + 6. Is q(b) a multiple of 12?
True
Let p(y) = y**3 + 19*y**2 - 24*y. Does 15 divide p(-10)?
True
Suppose 6*z = -3*v + z - 6, -v - 2*z - 2 = 0. Is 18 a factor of (-251)/(-2) + v/(-16)*4?
True
Let q = 2500 - 2236. Is q a multiple of 11?
True
Suppose 13*l - 20*l = -1568. Is 16 a factor of l?
True
Suppose 3*d - 2783 = -5*k, -3*k + 3650 = 5*d - 1015. Is d a multiple of 72?
True
Suppose -20*p - 1396 = -5*t - 24*p, -285 = -t + 5*p. Is 7 a factor of t?
True
Let b = 89 + -49. Does 6 divide (-50)/(-4)*b/25?
False
Let p(u) = -429*u - 17. Is p(-5) a multiple of 38?
True
Let s(v) = -38 + 7*v + 32 - 18*v. Let a = -8 - -1. Is 29 a factor of s(a)?
False
Suppose -4*g + 5*s + 13 = 0, -g - s + 3 = 2. Suppose -y + 21 = 5*i, 0 = g*y + 5*i - 5 - 57. Is 7 a factor of y?
False
Let m = 17 + -17. Suppose 5*f - a = f + 137, 3*f + 3*a - 84 = m. Is 8 a factor of f?
False
Suppose 4*y + 32 = 6*y. Does 2 divide y?
True
Suppose 0 = -5*b + 2*b + 552. Suppose 0 = -s - 5*o - 64 + 260, -o - b = -s. Is 62 a factor of s?
True
Let d = 353 + -33. Is d a multiple of 16?
True
Let d(m) be the second derivative of 31*m**4/12 - m**3/2 - 5*m**2 - 10*m. Let k(i) be the first derivative of d(i). Does 16 divide k(1)?
False
Let o(n) = 2*n - 2. Let d(r) = 3*r - 17. Let l(s) = -s + 6. Let t(c) = 6*d(c) + 17*l(c). Let j(v) = o(v) + 3*t(v). Is 9 a factor of j(5)?
False
Let q(w) = 44*w**2 + 23*w + 75. Is q(-7) a multiple of 45?
True
Suppose -8 = 2*m - 3*m - 4*a, -5*m = -2*a - 18. Suppose -m*j = j + 10, -3*x + 3*j + 762 = 0. Does 14 divide x?
True
Suppose 12 = 3*l - 2*x, 0 = -3*l - 2*l - 4*x - 2. Let t(v) = 0*v**2 + 4*v - 10*v**2 + 7*v**2 + 4*v**2 + l. Is t(-7) a multiple of 8?
False
Let t be 2/(-10) - (-7760)/50. Suppose -t = 21*r - 26*r. Is 6 a factor of r?
False
Let t = -66 + 95. Suppose -10 + t = 5*k + 3*s, 5*k = 2*s + 4. Suppose 56 + 108 = 4*r + k*q, -q - 35 = -r. Is r a multiple of 15?
False
Let v(j) = j**2 - 5*j - 9. Let y be v(7). Suppose 2*r - y*r = -144. Suppose 2*t = 3*f + r, -t - 4*f + 2 = -0*t. Is t a multiple of 6?
True
Suppose 13*u = 60 + 96. Does 10 divide u?
False
Does 7 divide (6/(-4))/((-139)/16958)?
False
Suppose 3*g + 2*z - 78 = 349, 576 = 4*g - 4*z. Let u = -54 + g. Does 9 divide u?
False
Suppose 2*c - u - 202 = 0, c + 2*u - 4*u - 104 = 0. Is 5 a factor of c?
True
Is (-1 + 0)*((-126)/7 + 9) even?
False
Suppose -201 = 7*f - 1090. Let s = -55 + f. Does 13 divide s?
False
Let t(x) = -6*x + 2. Let q be t(-1). Suppose -j + 88 = q. Does 20 divide j?
True
Let f be (-1)/2 - (1191/(-6) - 3). Let l = 306 - f. Does 18 divide l?
False
Does 4 divide 8/((-64)/(-194))*48?
True
Suppose f + 3*x - 71 = -5, 3*f - x - 158 = 0. Let l be (-2 - (-7)/3)*f. Is 110/2 - l/(-6) a multiple of 13?
False
Does 82 divide 658 + (3 - (-7 - -12))?
True
Let l(s) = 5*s + 197. Is 9 a factor of l(-16)?
True
Is 34*((-45)/(-10))/1 a multiple of 17?
True
Suppose 3*f = -2*q - 125, -32 = 5*f + 2*q + 175. Let u = 101 + f. Does 6 divide u?
True
Let x(m) be the third derivative of 2*m**4/3 + 2*m**3/3 - 2*m**2. Is 8 a factor of x(5)?
False
Let b = 818 - -16. Does 57 divide b?
False
Suppose r + 2*o + 123 = -64, -r = o + 192. Let k = r - -309. Is 28 a factor of k?
True
Let f(v) = -3*v**3 - 3*v**2 - 3*v - 3. Let w(g) = -g - 14. Let y be w(-12). Does 5 divide f(y)?
True
Let q(k) = 21 + k**3 + 4 - 12*k**2 - 4 + 14*k. Does 33 divide q(12)?
False
Let l(m) = -m**3 - m**2 + 4*m - 4. Let t be -1 + (-1 - -4) + 3. Suppose -u + 21 = -t*y, -y = u - 2*y - 1. Is l(u) a multiple of 14?
True
Let f = -40 - -44. Suppose f*z - 196 = 144. Does 29 divide z?
False
Let t(g) = -4*g**2 - 3*g + 13. Let j(w) = -7*w**2 - 7*w + 25. Let p(a) = -3*j(a) + 5*t(a). Does 6 divide p(-8)?
True
Let d(j) = -10 + 3*j**2 - 3*j**2 + 11*j + 3*j**2 - 4*j**2. Is 3 a factor of d(7)?
True
Suppose 2*v = -3*v - 15. Let i be (5/(-10))/(v/30). Suppose n = i*n - 76. Is 19 a factor of n?
True
Suppose 5*y = 5*v - 125, -y + 71 = -2*v + 5*v. Suppose 0 = 2*c - 2 - 12. Suppose -c - 17 = -2*u - 2*s, 4*s + v = 4*u. Is u a multiple of 6?
False
Let o(c) be the first derivative of 27*c**2/2 + 6*c - 6. Is 21 a factor of o(6)?
True
Let y(f) = 3*f + 3. Let x be y(7). Let g be ((-8)/(-2) + -3)*x. Let a = g - -13. Is a a multiple of 11?
False
Let o = -251 + 173. Let t = 158 + o. Is t a multiple of 16?
True
Suppose 0 = -3*m - 4*q + 5, q + q = -2. Suppose m*k = 9, -5*z = -6*z + 4*k + 176. Is z a multiple of 47?
True
Suppose l = 4*d + 90, -4*l + d = 4*d - 360. Is 