-5*f - 2*l = -270. Does 13 divide f?
True
Suppose -u = 4*o - 27, -161 = -4*u + 4*o + 47. Does 7 divide u?
False
Suppose 0 = -h - 3*c + 2656, -5923 + 615 = -2*h - 4*c. Is h a multiple of 50?
True
Let o = 1119 + -719. Suppose -13*a + 11*a = -o. Does 8 divide a?
True
Suppose 4*c - z = c + 11, -3*c - 5*z + 17 = 0. Is 2 a factor of 1 + (30/20 - (-6)/c)?
True
Suppose d = 5*l - 4317 - 1279, -2*d + 8 = 0. Does 16 divide l?
True
Let n be -1*(1 + 0) - -85. Let w = n - 24. Is 10 a factor of w?
True
Suppose -39779 = -26*s + 10531. Is s a multiple of 45?
True
Let c(x) = 2*x**2 - x + 4. Let l be c(0). Suppose -24 = -l*k + 64. Is k a multiple of 5?
False
Suppose 120 = -5*c + 2*c. Suppose -16 = 4*d - 0*d. Is 10/c - 53/d a multiple of 5?
False
Does 4 divide (64/2)/(-5 + (-66)/(-12))?
True
Suppose 293*c - 282*c = 5632. Is 32 a factor of c?
True
Suppose 10*m - 276 = 6*m. Let d = m + -34. Does 11 divide d?
False
Let u be ((-12)/(-15))/((-8)/(-220)). Does 6 divide u - (1 - 9/(-3))?
True
Suppose -5*n + 3*b - 5*b + 4391 = 0, -3*n - 2*b + 2633 = 0. Is n a multiple of 76?
False
Let u(i) = i**3 + 9*i**2 - 17*i + 1. Is u(3) even?
True
Is 6 a factor of (-1)/2 + (-1896)/(-16) + 2?
True
Suppose -4*q + 4 = 4*a, a - 5 + 1 = 2*q. Let z = 56 - a. Suppose -g = -3*p - 45, p - 15 + z = g. Is g a multiple of 6?
True
Let v(k) = -k**3 - 7*k**2 - k. Let n(f) = -f - 1. Let y(t) = 3*n(t) - v(t). Let d be -6 + 2 - (2 + -1). Does 30 divide y(d)?
False
Let s(z) = -3*z**3 - 16*z**2 + 9*z + 9. Let x be s(-7). Suppose 0 = -2*p + 7*p - 25. Suppose -x = -p*g - 51. Is 7 a factor of g?
True
Let z(p) = -4 - 2 + 9 + 6*p. Is z(10) a multiple of 7?
True
Suppose 9*s = 7*s - 46. Let t = s - -41. Is t a multiple of 13?
False
Let o(q) = -54*q + 28. Does 4 divide o(-2)?
True
Suppose -28 + 44 = 4*n. Does 16 divide (-23 + 95)/(3/n)?
True
Let j = 10 + -16. Let u(k) be the first derivative of -k**4/4 - 5*k**3/3 + 2*k**2 + 5*k - 101. Does 5 divide u(j)?
False
Let t be (72/108)/(2/(-306)*-2). Suppose 5*k = -4*m + 226, 59 = 2*m + k - t. Is m a multiple of 27?
True
Suppose 150 = j + 4*j. Does 15 divide j?
True
Let v be 1/2 - 93/(-2). Suppose -o + 19 = 4*z, v = 4*z + 5*o + 16. Is 2 a factor of z?
True
Suppose -3*o - d + 18 = 0, -2*o + 1 = -0*o - 3*d. Suppose -4*u + o*u = 26. Does 26 divide u?
True
Let r = -100 - -194. Suppose 5*l - r = -4*p, -46 - 80 = -5*l + 4*p. Does 3 divide l?
False
Suppose -7 = 5*u + 18. Let f(v) be the first derivative of -v**2/2 + 11*v - 7. Does 5 divide f(u)?
False
Let f(k) = -5*k**3 + k**2 - 2*k - 5. Is 7 a factor of f(-3)?
False
Let b be -2 - -4 - 5 - -18. Suppose 4*g - b = 2*o + 43, 3*o + 74 = 5*g. Is g a multiple of 4?
False
Is 23 a factor of 2/(-17) - (-42680)/85?
False
Let u(t) be the third derivative of 11*t**4/24 + t**3/3 + 9*t**2. Does 25 divide u(13)?
False
Let s = -21 + 16. Let o be (-7 - -9)/(1/s). Is 17 a factor of (o + 44)*(-3)/(-2)?
True
Let y(a) = 5*a**2 + 2*a + 11. Let w(f) = 4*f**2 + 2*f + 11. Let q(m) = 4*w(m) - 3*y(m). Does 25 divide q(7)?
False
Let y be (-2 + 0)/((-2)/4). Suppose 49 = y*v - 3. Is v a multiple of 6?
False
Does 11 divide 6845/40 + 2 - (-1)/(-8)?
False
Let f be -5*(-1)/(-3)*-3. Suppose -2*w - 15 = 5*h, 4*w - 3 = h - 0. Suppose -f*p + 0*p + 90 = w. Does 12 divide p?
False
Let v be (1040 - 5) + (-5 - -8). Suppose l = 4*x - v, l - 250 = -x + 6*l. Is 45 a factor of x?
False
Let m(g) = -8 + 7 - 5 - 12*g. Is 23 a factor of m(-8)?
False
Let w = 2133 + -1704. Is 13 a factor of w?
True
Suppose 11*b - 359 = -95. Is 2 a factor of b?
True
Let r = 1333 + -1174. Is 16 a factor of r?
False
Suppose 3*z - 256 = -187. Is 13 a factor of z?
False
Let q be (-28)/98 - 37/(-7). Suppose -a + 114 = q*a. Is a a multiple of 13?
False
Let h(z) = z**3 + 12*z**2 + 18*z - 16. Let c be h(-10). Is 182 - 0/((-8)/(-4) - c) a multiple of 27?
False
Let i(c) = 8*c**2 - 4*c + 2. Let n be i(1). Suppose -7*w + 5*w = -n. Does 2 divide w?
False
Does 92 divide -2*(6/2 + 2030/(-2))?
True
Let b(v) = 100*v + 8. Let y be b(6). Let o be y/(-24) + 3/9. Let d = 43 + o. Does 18 divide d?
True
Suppose 0 = -2*n + 25 + 11. Suppose -4 - 10 = -5*k + 2*c, -5*c = 3*k - 27. Suppose -n = -5*z + 2*z - 2*g, 3*z - 36 = k*g. Is 8 a factor of z?
True
Suppose 3*q = -5 + 20. Suppose -3*f = -m - 298, 3*f - q*m - 423 = -121. Is 34 a factor of f?
False
Let s(z) = z**2 - 14*z + 38. Is s(-18) a multiple of 19?
False
Let x = 2749 - 1936. Is 13 a factor of x?
False
Let j = -143 + 501. Is j a multiple of 11?
False
Let i = 1089 + -643. Does 12 divide i?
False
Let g = 298 - -346. Is 7 a factor of g?
True
Let c(o) = -o**3 + 10*o**2 - 9*o + 2. Let m be (-2 + 1)*-3*3. Let a be c(m). Is 2 + (-1 - a) - -17 a multiple of 9?
False
Does 36 divide 12*((-60)/(-66))/((-3)/(-33))?
False
Let o be (-3 - 1)*(-14)/8. Suppose 132 = 208*j - 205*j. Is (28/8)/o*j a multiple of 22?
True
Suppose -5*c + 2*g = -1876, 5*c + 3*g - 395 = 1491. Does 8 divide c?
True
Suppose -3*j + 3*u + 908 = 5*u, 2*j - 3*u - 614 = 0. Does 19 divide j?
True
Suppose 5*g + 9 = z, 4*g = 2*g + 4*z - 18. Let h(p) = 29*p + 1. Let c be h(-1). Does 10 divide (-1)/(-1) - (g + c)?
True
Let b = -572 - -992. Is b a multiple of 12?
True
Let j(n) = 2*n**2 - 2*n**2 + 1 + n**2 + 0*n**2 + 3*n. Let r be j(-4). Suppose 3*q - 5*s = -0*q + 161, r*s + 104 = 2*q. Is 19 a factor of q?
True
Let h = 52 + 48. Does 20 divide h?
True
Suppose -24 = -4*s + o - 7, -8 = -s - o. Suppose -2*y = 4*j - 126, s*j + 222 = -y + 4*y. Is y a multiple of 12?
False
Let a be (-5)/(-2)*(0 - 2). Let w = -3 - a. Suppose p = -2*b + 12, -w*b - 2*b + 30 = 3*p. Is 5 a factor of p?
False
Suppose 2*b + 4 = 0, -b - 2 = -3*p + 5*p. Let v(s) = -s**3 + s**2 + 2*s - 3. Let l be v(2). Is 21 a factor of 64 + p*l/12?
False
Suppose 10*j = 190 - 80. Suppose -5*u - 816 = -j*u. Is 34 a factor of u?
True
Let w = 14 + -14. Suppose w = -3*d + 3 + 6. Is 10 a factor of 3 - (-68)/6*d?
False
Let m(s) be the second derivative of -s**5/20 - 17*s**4/12 + 13*s**3/6 - 2*s**2 + 6*s + 1. Does 12 divide m(-18)?
False
Suppose 22*u = -4*u + 18928. Is 20 a factor of u?
False
Let x be (6/(-18))/((-2)/(-6)). Let l(q) = -3*q. Let n be l(x). Suppose 0 = 3*y + n*h - 51, -y - 58 = -4*y + 4*h. Is y a multiple of 18?
True
Suppose -4*v = 4*w + 176, -4*v - w + 5*w - 200 = 0. Suppose 0 = 3*r + 12, 2 - 13 = 3*d + 2*r. Is (-3 - -7) + d - v a multiple of 10?
True
Suppose -64*g + 66*g - 1327 = -5*o, 796 = 3*o + g. Is o a multiple of 9?
False
Suppose -4*q + 0*w = -3*w - 5, 5*q = -5*w + 50. Let x = 9 - q. Suppose 0 = -x*k - 8, 3*k - 115 = -5*l + 104. Does 9 divide l?
True
Let s(a) = a - 1. Let l be s(4). Suppose -207 = -l*q - 3*f, 3*q - f - 274 + 55 = 0. Does 18 divide q?
True
Let j be 16/6 + 5/15. Let k be j*(2/3 + 1). Suppose -k*f + 103 = -0*a + 2*a, -5*f = -25. Is a a multiple of 13?
True
Let x(i) = i**3 + 6*i**2 - 10*i - 1. Suppose -9*k + 6*k = -21. Let r(z) = -3*z**3 - 18*z**2 + 31*z + 4. Let l(u) = k*x(u) + 2*r(u). Is l(-7) a multiple of 4?
True
Let j = 45 - 43. Suppose j*m = -m + 141. Is 12 a factor of m?
False
Suppose -4*y + 13 = -4*f + 5*f, y - 1 = -f. Suppose 0 = -y*a + c + 43, 4*a - 34 - 5 = 5*c. Suppose 12*x - 8 = a*x. Is 3 a factor of x?
False
Let d(o) = -76*o - 535. Does 16 divide d(-13)?
False
Let i be 1 + (-2)/(1/(-1)). Let u be 3/(i/(-6)*2). Does 2 divide (u/4)/((-2)/8)?
False
Let y = 3491 - 2477. Does 91 divide y?
False
Is 11 a factor of (2488/14)/(10/35)?
False
Let o = -2304 + 2320. Suppose 0 = -7*l + 2*l. Suppose -66 = -3*v - 0*v - 3*f, l = v + 4*f - o. Is v a multiple of 4?
True
Let l = -581 + 1236. Is l a multiple of 5?
True
Let v(z) = -z**3 + 14*z**2 - 38*z + 16. Is v(8) a multiple of 16?
True
Let l(v) = 85 - v + 389 - 74. Let d be l(0). Suppose -4*a = -5*h - 412, 4*a + 0*h - d = 2*h. Does 14 divide a?
True
Does 43 divide 43/(1/((-2)/((-12)/162)))?
True
Let q(x) = x**3 - 8*x**2 + 9*x + 3. Let u be q(7). Let p = 19 - u. Suppose -4*z = -p*z - 36. Is 7 a factor of z?
False
Let h(d) = -d**2 + 2*d + 7. Let r be h(3). Suppose 3*o + 6 = -3*g, -3*o = 3*g - 2*o + r. Does 14 divide g/6 - 170/(-12)?
True
Suppose 5148 = -95*a + 117*a. Does 78 divide a?
True
Let c(z) = 3*z**2 + 4. Let o be c(5). Suppose -7*k + 376 = -o. Is k a multiple of 13?
True
Let d = -274 - -483. Let o = d + -123. Is o a multiple of 17?
False
Is 25 a factor of (-290 - 0)*(-95)/38?
True
Le