 + -59. Does 6 divide o?
False
Let d = 365 + -362. Suppose 2*t - 110 = -5*r - 3*t, -5*t = -r + 46. Suppose r + 92 = 5*h + m, -3*h = d*m - 78. Is 21 a factor of h?
False
Suppose -17*k + 20*k = 810. Does 26 divide k?
False
Let n(x) = 7*x - 4. Let j(q) = -14*q + 8. Let a(l) = -2*j(l) - 5*n(l). Is 6 a factor of a(-6)?
False
Let u(w) = -4*w**2 - w. Let v be u(-1). Suppose -4*l - 2 = 2*f - 18, 5*f = -l + 4. Is v + 1 + f + 53 a multiple of 21?
False
Suppose 3*h + 23*v = 18*v + 941, 4*h + 3*v = 1251. Does 104 divide h?
True
Let s = -67 + 61. Let t(u) = u**2 - 4*u - 14. Is t(s) a multiple of 14?
False
Let n be 12/9 - (-30)/(-9). Is ((-14)/21)/(n/18) a multiple of 3?
True
Does 2 divide 190 - -1 - (-24 + 15)?
True
Let g(s) = 62*s + 5. Let d be g(-6). Let y = d + 897. Is y/15 + (-2)/(-3) a multiple of 15?
False
Suppose z - 3*z - 4*g = -156, -98 = -z + 2*g. Let d(n) = 53*n + 2. Let s be d(3). Let a = s - z. Is 17 a factor of a?
False
Let n be 5 - 0/5 - 3. Let k(z) = 21*z + 6. Is k(n) a multiple of 8?
True
Let j = 88 - -1109. Is j a multiple of 19?
True
Let w be ((-21)/(-12))/7 - 1479/(-4). Let z = -164 + w. Does 30 divide z?
False
Does 42 divide (-13 - -11)/(6/(-1008))?
True
Is 9 a factor of 385 + (10/(-4))/(20/(-8))?
False
Suppose 3*h - 20 = 7*h. Let w(v) = -2*v + 8. Is 6 a factor of w(h)?
True
Let r(n) = n**2 + 3. Let v be r(0). Suppose -4*z = -v*i - 104, z = 3*z - 5*i - 66. Is 21 a factor of z?
False
Let x be 195/10 + 1/(-2). Let s = x - 6. Let t = 33 - s. Is t a multiple of 10?
True
Let k(w) be the first derivative of -5*w**4/24 - w**3 + w**2 + 8. Let v(i) be the second derivative of k(i). Is 13 a factor of v(-9)?
True
Let s = -42 - -333. Does 23 divide s?
False
Let c(h) = -2*h - 7. Let p be c(-7). Suppose 0 = -p*k + 2*k. Suppose n + y - 10 = k, 5*y = -n + 6*n - 100. Is n a multiple of 4?
False
Suppose p + 0 = -3*o + 6, -p - 4*o = -4. Suppose -27*c + 30*c = p. Let r(a) = 7*a + 4. Is 9 a factor of r(c)?
False
Is 3 + (-52)/12 + 17575/57 a multiple of 5?
False
Is (-3608)/(-55)*(-4 - -3)*-5 a multiple of 3?
False
Let r = 54 + 58. Is 2 a factor of r?
True
Suppose -3*d + 65 = -2*o - 44, 3*d = -3*o + 84. Let g(l) = -2*l - d + 41 + 6*l. Is g(12) a multiple of 8?
True
Let j = 90 - 35. Let m be ((-44)/j)/((-1)/5). Suppose -h + 57 = -m. Does 20 divide h?
False
Suppose -3*z - 3*p = 0, -5*z + 6*p + 8 = 7*p. Suppose z*t - 462 = -t. Does 32 divide t?
False
Let j = 56 + -49. Let c be -2 - -4*1 - -2. Suppose 4*l - 5*d = -3, -2*d + 1 - j = -c*l. Is l a multiple of 3?
True
Suppose -9*b = -724 - 3992. Does 9 divide b?
False
Let l = 525 - 234. Suppose 75 = 3*h - l. Does 37 divide h?
False
Does 3 divide (-2385)/(-106)*(-8)/(-10)?
True
Suppose -30 = 4*h + 110. Let n = 18 + h. Let o = 0 - n. Does 10 divide o?
False
Let l(h) = 15*h**3 - h**2 + 3*h - 1. Let k = 7 + -5. Is l(k) a multiple of 25?
False
Does 32 divide 17/(-153) + 2017/9?
True
Is 24 a factor of 786 - 16/(-4)*-1?
False
Let a(b) = -20*b**3 + 2*b**2 - 7*b - 12. Is 8 a factor of a(-3)?
False
Suppose -426 = -0*g + g. Let o be (-1)/(2*3/g). Let a = o + -32. Is a a multiple of 9?
False
Let b = 13 + -16. Let x(f) = -f**3 + 3. Let i be x(b). Let d = i - 13. Is 17 a factor of d?
True
Suppose -4*f + 5*n - 212 = 0, -2*f + 47 = -5*n + 143. Let h = -18 - f. Does 8 divide h?
True
Let n = 1978 + -1172. Is n a multiple of 31?
True
Suppose 5*n = 4*h - 104 + 19, 3*n = -2*h - 73. Let f = n + 45. Is f even?
True
Let u(n) = -n**2 + 11*n + 9. Let o be u(11). Let v = -7 + o. Suppose 0 = d - v*d + 17. Is d a multiple of 17?
True
Suppose 0 = -5*v + 24*v - 10735. Is 16 a factor of v?
False
Let a(x) = 8*x**2 + 4*x - 3. Let t be a(3). Suppose -c - 4*k = -6*c + 259, -3*c + 149 = 4*k. Let s = t - c. Is 10 a factor of s?
True
Let b(g) = g**3 + g**2 + g + 2. Let x be b(2). Let r = 17 + x. Is 11 a factor of r?
True
Let o = -17 + 16. Let y(w) be the first derivative of 29*w**3/3 + w**2/2 - 4. Does 24 divide y(o)?
False
Let w = 1714 - 1291. Does 11 divide w?
False
Suppose 2*w + 2*c - c = -422, 4*c + 416 = -2*w. Let x = 360 + w. Does 37 divide x?
True
Does 36 divide (-9762)/(-7) + 990/693?
False
Suppose 40*j - 84 = 38*j. Suppose 5*o - 2*t - 166 = 0, -o + 0*o - 4*t + j = 0. Does 9 divide o?
False
Let p be (2 - 3 - (4 + -7))/1. Let t = p + 54. Does 7 divide t?
True
Let i(r) = r**2 + r - 10. Let g be i(-6). Is 10 a factor of (-348)/(-15)*g/4?
False
Let g be 3/((-18)/22) - 3/9. Is 3059/28 + (-3)/g a multiple of 38?
False
Suppose 0 = -11*z + 7*z + 9632. Does 56 divide z?
True
Let z = 5041 - 1895. Does 13 divide z?
True
Let x = 873 + -802. Is 6 a factor of x?
False
Let k = 48 - 97. Let f be 313/(-7) - (-14)/k. Let a = 79 + f. Is 17 a factor of a?
True
Let h = 81 - 75. Let c(u) = 44*u + 6. Is 42 a factor of c(h)?
False
Suppose 78*z - 75*z = 0. Suppose 0*t - 4*n = 3*t - 209, -2*t + n + 121 = z. Does 27 divide t?
False
Suppose o = -2*t + 27, 2*o - t = 2*t + 82. Suppose n - 3*n = 4*p - 6, 5*p - 3*n = o. Suppose -2*z - 100 = -p*z. Does 21 divide z?
False
Let i = -14 + 4. Let v = i + 18. Let u(c) = -c**3 + 9*c**2 - 4*c. Is 11 a factor of u(v)?
False
Let p(m) = -m**3 + m**2 - 36 + 360*m - 360*m. Let b be p(0). Let x = 58 + b. Does 17 divide x?
False
Suppose 3*w - w + 5*u + 17 = 0, 5*w - 40 = 4*u. Suppose -5*m - 192 = -w*m. Let p = 288 + m. Is 32 a factor of p?
True
Let v(a) be the third derivative of 0 + 9*a**2 - 2/3*a**3 + 1/3*a**4 - 1/60*a**5 + 0*a. Is 2 a factor of v(6)?
True
Let m(f) = 3*f**2 - 1 + f - 3*f - 1. Let k be m(2). Is 4/k - 637/(-21) a multiple of 11?
False
Suppose 3*u + 6 = 0, -5*v = -u + 41 + 32. Let x = v + 14. Is (4/6)/(x/(-12)) a multiple of 4?
True
Let u = 89 - -125. Suppose -359 = -2*c + 5*v, -2*c + 4*v + u + 142 = 0. Is c a multiple of 20?
False
Suppose -3*x + 2*z = -184, 6*x - 190 = 3*x + 5*z. Suppose 2*p + x = 5*p. Is p a multiple of 20?
True
Let z be (1/3)/(2/54). Suppose -5*c + 29 = 4*g, -3*c - z = -3*g + g. Suppose 0 = -b + g*b - 345. Does 17 divide b?
False
Let n(z) = -z**3 + 22*z**2 + 25*z - 3. Does 43 divide n(23)?
True
Suppose -27 = -4*c + 37. Let s = 14 - c. Is 3/s + (-1590)/(-20) a multiple of 21?
False
Let g(w) = -w**2 + 2. Let u(b) = b**2 + 4*b + 3. Let j be u(-3). Let i be g(j). Suppose 25 = i*n + 13. Is n a multiple of 6?
True
Let w(x) = -7*x**2 + 4*x + 3. Let g be w(-2). Let n = 66 + g. Is n a multiple of 16?
False
Suppose -7*n + 3*n + 3*m = -446, -2*m + 216 = 2*n. Is n a multiple of 3?
False
Let w be (-5 - 128/(-40))/(1/(-5)). Suppose 308 = w*k - 6*k - 2*n, k + 2*n = 108. Is 22 a factor of k?
False
Let s(n) = -n**2 + 4*n - 1. Let b be (-4)/14 + (-184)/(-56). Let y be s(b). Suppose 0 = -p - y*p + 84. Does 14 divide p?
True
Suppose -67*q + 9432 = -49*q. Is q a multiple of 47?
False
Suppose 4*d - 142 = -d - 2*m, 2*d - 61 = -5*m. Let l = 38 + d. Suppose -l = -4*b + 3*b. Is b a multiple of 23?
False
Let f = 7643 - 4831. Does 37 divide f?
True
Suppose 3*n + n + 5*r = 13, -2*r = 5*n - 29. Suppose 3*g - n*g + 4*t = -64, -4*g - t + 79 = 0. Let f = 31 - g. Is f a multiple of 4?
True
Suppose 0*g = 2*g - 152. Suppose 3*k = 2*t - 84, -t + g = t - 5*k. Suppose 2*z = 3*u + 27, -13 = -4*z - u + t. Does 4 divide z?
False
Suppose -359 = -3*s + 196. Does 5 divide s?
True
Let t be -1 + 114 - (-1 + 3). Suppose 0*y + t = 3*y. Is y - ((-8)/4 + -1) a multiple of 10?
True
Suppose -2*f - 3*f = -175. Suppose 5*a = f + 10. Is a a multiple of 6?
False
Suppose -2*y + y = 0. Suppose 2*g = -y*g + 30. Suppose a = 2*k - 3*a - 18, 3*k - 2*a - g = 0. Is 3 a factor of k?
True
Suppose 20*r - 6828 = -2068. Does 10 divide r?
False
Does 9 divide 11*(-7 + 3 - -40)?
True
Suppose 0 = -2*v, -4*y + 3*v + 504 = -0*v. Is y a multiple of 4?
False
Let n be 6 - 4/(-8)*-6. Let k be (5 - n)*(-525)/(-10). Suppose -4*m + k = m. Does 16 divide m?
False
Let v(y) = -2*y - 8. Let h be v(-5). Let d be h + (0 - -6)/3. Suppose 27 = 4*q + d*u - 5, -3*u = 2*q - 20. Is q even?
True
Let i(m) = -m**2 + 6*m - 5. Let p be i(10). Let x = -12 - p. Is 10 a factor of x?
False
Let h = -1017 + 1214. Is 12 a factor of h?
False
Suppose 35*t - 37*t + 58 = 0. Suppose 35 = -2*x - k - 0*k, -2*k + 20 = -x. Let s = x + t. Is s a multiple of 4?
False
Suppose 3*i - 2*k = 1757, 9*i - 7*i - 5*k = 1175. Does 9 divide i?
True
Let l = 19 + -19. Suppose l = -7*k + k + 30. Is (-14)/(-35) - (-283)/k a multiple 