l a multiple of 30?
True
Let v(t) = t**3 + 3*t**2 - t - 1. Let i be v(-3). Does 4 divide (74 + -4)/(i/1)?
False
Let z(v) = 2*v**3 - 29*v**2 - 12*v - 20. Is 3 a factor of z(15)?
False
Suppose 0 = -10*p - 6*p + 23200. Is p a multiple of 27?
False
Suppose -18 = 4*c + 6. Let g be 4/c + 464/(-24). Is 6 a factor of 8/g + (-122)/(-5)?
True
Let w be 26/4 + 6/(-4). Suppose 3 = -3*t - 0*t + w*m, 5*m + 3 = -3*t. Is 13 a factor of 78/8*(-4)/t?
True
Let b = 141 - 81. Does 3 divide b?
True
Let d = 13 - 6. Let o = 32 - 13. Suppose -4*g - 20 = -c, 2*g + d = c - o. Is 8 a factor of c?
True
Let c(v) = v - 16. Let l be c(21). Suppose 5*j + 3*r = 0, l*j - 3*r = -4*r. Suppose 3*p - z - 128 = j, 3*p - 2*z - 3*z = 148. Is 11 a factor of p?
False
Let b be (-8)/((-2)/((-2)/2)). Let l = b + -6. Let s = l + 20. Is 10 a factor of s?
True
Let p(w) = w**3 + w**2 - 7*w + 539. Does 6 divide p(0)?
False
Let i(n) = -43*n + 15. Let v be i(5). Let f be (0 + -5)/(1/(-6)). Does 2 divide (-6)/4*v/f?
True
Let k = 1720 + -944. Does 8 divide k?
True
Let v be (4 + -2)*5/(-2). Let b(l) = -2*l - 4. Let f be b(v). Let u = 14 - f. Does 7 divide u?
False
Suppose 0 = -z + 2*i - 8, -z = 2*i - 5 - 7. Suppose 0 = -z*r - r - 4*m, 6 = -2*m. Suppose 0 = x + 7*t - 2*t - 114, 4*t - 424 = -r*x. Is 26 a factor of x?
True
Suppose -20 = -4*k - 0. Suppose 0 = k*u - 13 + 3, -4*c = -u - 78. Does 10 divide c?
True
Suppose 0 = -9*m + 11*m - 3*b - 44, -5*b = 5*m - 85. Is m a multiple of 6?
False
Suppose 0*l - l - 4 = -m, -3*m + 9 = -2*l. Let n = l + 7. Suppose 8*i = n*i + 180. Does 15 divide i?
True
Suppose 13*w = -0*w + 26. Suppose 2*l + 6 - 128 = -2*g, l - 58 = w*g. Is l a multiple of 15?
True
Let r(c) = -147*c - 141. Is r(-8) a multiple of 69?
True
Let f = 10 - -22. Does 3 divide f?
False
Let b = -1969 - -2893. Is 12 a factor of b?
True
Let a be 0/(-1)*1/(-1). Let g(x) = -x**3 - x**2 + x + 412. Let u be g(a). Is 17 a factor of u/6 - 4/6?
True
Suppose -f + 10 = 5*b, 3*b - 3*f - 9 + 3 = 0. Suppose 6*k - 16 = b*k. Suppose 5*n + 155 = 3*c, 2*c - k*n = -2*n + 102. Is 25 a factor of c?
True
Suppose 2*t + 5*g + 212 = 0, 3*t + 6*g = g - 328. Let u = -69 - t. Is 14 a factor of u?
False
Suppose -6 = 18*p - 19*p. Let l(k) = k**3 - k**2 + p*k**2 + 0*k**2. Is 15 a factor of l(-4)?
False
Let x = 1078 + 454. Does 59 divide x?
False
Suppose 0 = -5*u - 2*d - 22, 5*u - 3*d + 42 = -0*d. Let o(a) = -a**2 - a + 1. Let s be o(2). Does 23 divide (-343)/s + u/(-15)?
True
Is 23 a factor of ((-1308)/(-24))/(4/88)?
False
Suppose 2*u = 3*y, 2*u - 3*u - 3 = -3*y. Let m(z) = -z**2 + z + 3. Let i be m(u). Let a(l) = -18*l + 8. Is 21 a factor of a(i)?
False
Suppose 4 = -3*w - 5, 2*t = -5*w + 5. Suppose 5*x = 2*y + t, -x - 4*y - 6 = -30. Suppose -3*f - 18 = -2*l + 15, -3*l - x*f + 75 = 0. Is 7 a factor of l?
True
Let k(l) = -l**3 + 7*l**2 - 9*l - 2. Let b be k(5). Suppose b*n - 12 = -0, w + 2*n = 140. Does 22 divide w?
True
Let v be (-273)/18 - (-2)/12. Let z = v - -19. Suppose 2*y - z*d = 28, 0*d - 12 = -4*d. Is y a multiple of 9?
False
Let y(v) = -11*v**2 - 2*v + 4319. Does 14 divide y(0)?
False
Let d be ((-1)/(-6)*2)/(1/(-3)). Is 41 - (11 - 5 - (-3)/d) a multiple of 4?
False
Let m(d) = 3*d**2 - 1 - d**2 - d + 0 - d**2. Let h(j) = j + 1. Let u(n) = -h(n) + 3*m(n). Is u(-4) a multiple of 15?
True
Suppose -7*j = -3*j - 536. Let x = j - 10. Suppose x = 2*h - 3*u + 2*u, -4*u - 256 = -4*h. Does 15 divide h?
True
Suppose 3*r = 5 + 4. Suppose 5*w - r*i - 392 = -i, 5*w + i - 404 = 0. Is 20 a factor of w?
True
Let s(q) be the second derivative of 85*q**3/6 - 3*q**2 - 3*q + 7. Does 6 divide s(1)?
False
Let j(g) = -33*g + 1080. Does 36 divide j(0)?
True
Is 12 a factor of ((-244)/6)/((-8)/108)?
False
Let l = 194 + 136. Let y = 489 - l. Does 53 divide y?
True
Suppose 17 = p + 5. Let a be 5/(20/p)*1. Suppose a*b + 0*b - 30 = 0. Is 7 a factor of b?
False
Suppose 2*l + 2 = 116. Is l a multiple of 3?
True
Let a be (-1)/(-2) + (-4)/8. Suppose -3*s = -3*h + 702, a = h - 4*s + 8*s - 219. Is h a multiple of 33?
True
Suppose 5*b + 4*s - 2*s - 7 = 0, 0 = -3*b + 5*s + 29. Suppose 5*g = -5*i + 15, 5*i - 4*g + b = -3*g. Suppose k = -i*k + 21. Is 7 a factor of k?
True
Let v = 225 - -1712. Is v a multiple of 23?
False
Suppose 3*i - 4*a - 17228 = 0, -5*i + 0*a + 28696 = 2*a. Is 41 a factor of i?
True
Let v(w) = 4*w**2 + 7*w - 7. Let x(q) = 5*q**2 - 8 + 29*q - 22*q + 0*q**2. Let h(b) = -6*v(b) + 5*x(b). Is 5 a factor of h(9)?
True
Let c(r) be the first derivative of r**3/3 - r + 8. Let y(d) = -14*d**2 + d - 2. Let z(u) = 4*c(u) - y(u). Does 17 divide z(-1)?
True
Let i = -487 - -501. Let j = -27 - -19. Let d = i - j. Does 6 divide d?
False
Let n(w) = -w**2 - 15*w + 8. Let b be n(-15). Let s be 1*4/b*4. Suppose s*m - 8 = -4*v, 5*m = -5*v + 13 + 7. Does 4 divide m?
True
Does 2 divide (1/(6/(-4)))/((-1)/39)?
True
Let a(d) be the second derivative of -43*d**5/20 + d**4/6 - d**2/2 + 30*d. Does 11 divide a(-1)?
True
Let w = 158 + -156. Suppose -3*f - 2 - 1 = 0, f + 251 = w*n. Is 11 a factor of n?
False
Suppose s = 8*s - 28. Suppose i = -4*k - k + 324, -2*k = s*i - 126. Is k a multiple of 13?
True
Is 104 a factor of (-1 - -3)/(3 + -1) - -1157?
False
Suppose 0 = -x + 2 - 0. Suppose -x*n = 1 + 3. Is 16 a factor of (8 - 9) + (-68)/n?
False
Suppose -4*b - 44 + 280 = 3*j, -j = 4. Suppose 3*c - 134 = 4*t, -c - 3*t - 13 + b = 0. Does 10 divide c?
False
Does 106 divide 1558 + (12 - (14 - 5))?
False
Let b = 259 - 82. Is 36 a factor of b?
False
Let l(d) = 174*d - 1166. Is l(23) a multiple of 89?
False
Let q = -37 - -41. Suppose 3*t - y - 74 = 0, t - q*y = 16 + 16. Does 12 divide t?
True
Let p(i) = -i**3 + 9*i**2 + 6*i - 11. Is 7 a factor of p(8)?
False
Let j(r) = -r**3 + 26*r**2 - 47*r + 24. Is 20 a factor of j(24)?
False
Suppose 0 = -3*q + 7*q + 120. Let m = q + 51. Is m a multiple of 14?
False
Let s(k) = -k**3 - 4*k**2 - k + 4. Let q be s(-4). Let a(t) = -t**2 + 18*t - 3. Is 18 a factor of a(q)?
False
Let k = 459 + 276. Is 12 a factor of k?
False
Let z(a) = -112*a**3 - a**2 + 2*a - 17. Is z(-3) a multiple of 68?
True
Suppose -3*z = -z - 8. Suppose z*k - 17 = -1. Suppose -k*t + 27 = -o, -3*t + 15 = 2*t - 5*o. Is 4 a factor of t?
True
Suppose -7035 + 2573 = -23*d. Is d a multiple of 29?
False
Let r be (-96)/30*(0 + -20). Suppose 5*i + r - 364 = 0. Is i a multiple of 12?
True
Suppose 10 = 2*k + 4*l, -4*k - l + 8 = l. Let b = 2 + k. Suppose 183 = b*r + 66. Does 8 divide r?
False
Let i be (11 + -10)*(-62)/(-2). Suppose -2*x + 5 + i = 0. Does 5 divide x + (-15)/(-5) - 1?
True
Let r be -82*(-1)/(-3)*3 - -3. Let v = 157 + r. Does 12 divide v?
False
Let k(s) = 12*s - s**3 - 6*s - 3*s + 12 + 14*s**2. Let y be k(14). Suppose 2*t = -3*o + 266, -y = 4*o + t - 412. Is o a multiple of 18?
True
Let p = -35 - -36. Let k(m) = 73*m**3 + 2*m**2. Is 15 a factor of k(p)?
True
Let m = -792 + 1477. Does 73 divide m?
False
Suppose -2*p = 2*y + 2*p - 44, 4*y - 5*p = 127. Is y a multiple of 7?
True
Suppose 4*c - 1331 = 1937. Is 43 a factor of c?
True
Suppose -2885 = -7*y + 3751. Is y a multiple of 6?
True
Suppose 3*o = -4*o + 14. Is 1068/9*-3*(-1)/o a multiple of 16?
False
Let a(k) = -4*k + 25. Let j be 34/(-119) - (-4)/14. Does 5 divide a(j)?
True
Let x(l) = 18*l + 204. Does 34 divide x(0)?
True
Let n = -979 - -1778. Is n a multiple of 17?
True
Let n(o) = -7*o**2 + 14*o + 15. Let a(d) = -d**2 + d. Let u(x) = 3*a(x) - n(x). Is 39 a factor of u(-6)?
True
Let m(v) = 8*v - 53. Does 3 divide m(29)?
False
Does 22 divide ((-264)/10)/(3/(-15))?
True
Suppose 4*b = -a - 0*a + 20, a - 4 = 0. Suppose 0 = -b*f - 124 + 444. Is f a multiple of 14?
False
Let j(n) = 33*n**3 - 2*n**2 + 2*n - 1. Let p be j(1). Suppose -4*i = 2*q - 0*q - p, i - 5*q = 30. Is 14 a factor of 18*(-5)/(i/(-6))?
False
Suppose -587 = -4*v - w + 902, -3*w - 727 = -2*v. Let s = -213 + v. Does 6 divide s?
False
Let i(k) = -5*k**2 + 4*k + 1. Let u be i(3). Suppose 2 = r + 15. Let z = r - u. Is 19 a factor of z?
True
Let c = 268 + -178. Let f be 13842/c - (-8)/(-10). Suppose 17*v - 20*v + f = 0. Is v a multiple of 17?
True
Let t(q) = -q**3 - 3*q**2 + q + 164. Let x(d) = d**2 - 17*d + 16. Let n be x(16). Does 41 divide t(n)?
True
Let l(p) = -p**2 - 6*p - 5. Let j be 0 + -4 - (-3 - -4). Let w be l(j). Suppose m - 18 = 4*b, 2*m + 5*b = -w*m + 62. Is m a