 factor of 33*(q/(-12) + 0)?
False
Let i(x) = -36*x - 404. Is 8 a factor of i(-17)?
True
Suppose 4*o - 20 = -12. Suppose -o*s + 46 = -226. Is s a multiple of 17?
True
Let u = 22 - 34. Is (u/(-14))/((-11)/(-308)) a multiple of 6?
True
Let g(b) = 3*b. Let d be g(1). Suppose 4*h = -o + d, 3*o + 3*h + 24 = 6*o. Is 7 a factor of o?
True
Suppose 2*a - 27 + 5 = 0. Let z(q) = q**3 - 11*q**2 + 2*q - 7. Let f be z(a). Suppose 2*g - f = 27. Does 7 divide g?
True
Let r be 2/(-2 - -3) - -50. Suppose 3*d - 24 = -2*w - 2*d, w + 3*d - 14 = 0. Suppose 0*n - w*n = -r. Does 15 divide n?
False
Suppose 13*i - 15*i = -4. Let o be i/(8/10)*94. Suppose -7*c = -2*c - o. Is c a multiple of 25?
False
Let n = 14 - 14. Suppose n = 2*y + 3*m - 22, 2*y = -y - 3*m + 27. Suppose y*b = 2*l - 45, -3*b + 0 = 2*l - 5. Does 3 divide l?
False
Let x(s) = 12*s + 84. Let h(f) = 2*f + 14. Let i(z) = -39*h(z) + 6*x(z). Is 39 a factor of i(-20)?
True
Let o = 9 - 6. Is 13 a factor of o + (2 + -3)*-36?
True
Suppose -10 = -2*j - 3*j. Suppose 4*d - 3*w - 31 = 0, 4*w - 56 = -5*d + j*w. Suppose -k + n = -7, -n - d = -2*k + 5. Is 4 a factor of k?
True
Let k = 4349 + -2543. Is 17 a factor of k?
False
Let m(p) be the third derivative of -p**6/120 - p**5/5 - 7*p**4/12 + 11*p**3/6 - 2*p**2. Suppose 0 = -v + 3*j - 8, -3*v + 47 = -7*v - 3*j. Does 8 divide m(v)?
False
Let q(h) = -33*h**3 + 6*h**2 + 7*h + 1. Does 11 divide q(-2)?
True
Let i = -365 + 616. Does 4 divide i?
False
Let s(d) = d**3 + 4*d**2 - 8*d + 3. Let j be s(-6). Let c = 6 - j. Is c a multiple of 15?
False
Let s be (-13)/(-2) - (-3)/(-6). Does 21 divide (199/2)/(s/12)?
False
Suppose 0 = 5*f - 5*c - 1765, -3*f + 2*c = -0*c - 1055. Is f a multiple of 19?
False
Suppose w + 0*p = 4*p + 45, -4*w = 4*p - 80. Let g = 19 - w. Is 24 a factor of (116/3)/((-4)/g)?
False
Let i(k) = -k**2 + 50*k + 11. Does 47 divide i(30)?
True
Let x(p) = p**2 + 18*p - 24. Let v(l) = l**3 + 10*l**2 + l - 12. Let c be v(-10). Is x(c) a multiple of 34?
False
Let k be 4/6*6/2. Suppose -3*p - k*p + 430 = 4*h, h = 0. Suppose 2*m - p = -2. Is m a multiple of 21?
True
Let i = -24 + 95. Suppose 7 + i = 3*p. Does 3 divide (-7)/21 - p/(-6)?
False
Let g be ((-2)/4)/(3/(-18)). Suppose g*c - 2*v = -v + 98, -5*v = -2*c + 87. Suppose 0 = 2*a - 2*z - 34, 5*a - 140 = -3*z - c. Is 15 a factor of a?
False
Let f(b) = -29*b - 2. Let p(l) = -29*l - 3. Let k(q) = -4*f(q) + 5*p(q). Is 20 a factor of k(-3)?
True
Let a(n) be the first derivative of -n**2/2 - 13*n - 13. Let h be a(-9). Is h/2 + (14 - 3) a multiple of 2?
False
Suppose 8 = -2*u - 3*l, 30 = 4*u + u - 5*l. Suppose a + 2 = 0, -u*j = -4*a - 251 - 77. Does 18 divide j?
False
Let c(v) = v**2 - 10*v - 8. Suppose 3*g + 10 = g. Let r be g/(5/(-8)) + 3. Is c(r) even?
False
Let l = -188 - -249. Is l a multiple of 61?
True
Let m(g) = g**3 - 8*g**2 + 6*g + 32. Is 16 a factor of m(8)?
True
Let k(w) = -w - 2. Let b be -3 + 4/6*-6. Is k(b) a multiple of 3?
False
Let z be -72*4*2/(-6). Suppose -z = -4*w + 200. Does 21 divide w?
False
Let k = 592 - -23. Does 5 divide k?
True
Let h = -208 - -228. Is h a multiple of 10?
True
Let r(w) be the third derivative of w**5/20 - w**4/12 + w**3/6 + 5*w**2. Does 4 divide r(2)?
False
Is 12/(-54)*264*3*-2 a multiple of 11?
True
Let r(g) = -3*g**3 - 2*g**2 - 2*g. Let v be r(-1). Is 27 a factor of (516/18)/((4/v)/2)?
False
Let m(n) = n**2 - 12*n + 16. Let o be m(11). Let r(k) = -26*k + 7. Let i(b) = -53*b + 15. Let j(p) = 6*i(p) - 13*r(p). Is j(o) a multiple of 33?
True
Suppose 2*v - 195 + 63 = 0. Is v a multiple of 9?
False
Let a(i) = 275*i - 130. Is 6 a factor of a(2)?
True
Suppose 0 = 3*v + 4*b - 322, -3*v = -5*b + 6*b - 337. Let g = v + -26. Is 22 a factor of g?
True
Let i(z) = 16*z + 5. Let y be 1 + 4/(-4) - 3. Let r(j) = -32*j - 10. Let w(u) = y*r(u) - 7*i(u). Is 24 a factor of w(-3)?
False
Suppose 3*l + 16 = 2*l - 5*s, -l = -4*s - 20. Suppose -l*b + 11 = 35. Is 12 a factor of ((-54)/1)/(b/4)?
True
Let x(u) = 13*u**2 + 27*u - 169. Is x(5) a multiple of 2?
False
Suppose 0 = -3*n + 2*n + 32. Let q be (-2)/7 + n/14. Suppose 0 = 3*g - 3*o - 45, 5*g - 44 = q*g + 2*o. Is g a multiple of 6?
False
Let o = 2338 - 1256. Does 7 divide o?
False
Suppose 4*z - 4*l = 3952, -z + 2*l + 824 = -168. Is z a multiple of 31?
False
Let a = 46 + -53. Let z(u) = u**3 + 7*u**2 - 4*u - 1. Does 9 divide z(a)?
True
Let x = -120 - -561. Is x a multiple of 6?
False
Let o = 6 + -17. Let k = 16 + o. Suppose k*n + 94 - 464 = 0. Is 22 a factor of n?
False
Does 11 divide 10968/28 - (-4)/42*3?
False
Let l(x) = x**3 - 2*x**2 + 5*x + 12. Is l(4) a multiple of 3?
False
Suppose -340 = 6*p - p. Is 43 a factor of (-8780)/p + 2/(-17)?
True
Let w = -14 + 19. Suppose -4*j = -w*j + 2. Suppose 0 = -3*z - 3*m + 10 - 1, 0 = -j*z - m + 5. Is 2 a factor of z?
True
Let x(w) = -w**2 + 24*w - 47. Is x(19) a multiple of 3?
True
Suppose 4*t - 5*a = 6*t + 280, -588 = 4*t + 3*a. Let j = -101 - t. Is j a multiple of 10?
False
Let g = -84 + 86. Suppose -g*k + 2640 = 9*k. Is 24 a factor of k?
True
Let p(l) = -39*l - 2 - 43*l + 83*l. Does 4 divide p(9)?
False
Is (-6)/2 + -1 - (80 - 2736) a multiple of 34?
True
Is 28 a factor of -9 - (33/(-11) + -1602)?
True
Suppose -5*f + 2*f - 3*o - 6 = 0, -5*o - 10 = 0. Suppose 3*s = -f*s + 429. Is s a multiple of 13?
True
Let x(t) = 9*t - 3. Let b be x(3). Let j = b - 20. Suppose -j*i = -4*c - 28, 23 = 6*i - 3*i - 5*c. Does 3 divide i?
True
Let c = 971 - 673. Is c a multiple of 10?
False
Let b(c) = -22*c**3 + 4*c**2 - 3*c - 3. Let t = -9 - -12. Let k(w) = 43*w**3 - 7*w**2 + 5*w + 5. Let j(x) = t*k(x) + 5*b(x). Does 6 divide j(1)?
True
Let m(u) = u**2 + 4*u - 10. Let q be m(-13). Suppose -3*d = -n + 75, 88 = 2*n + d - 48. Let k = q - n. Is k a multiple of 12?
False
Let y(k) = -2 + k**2 - 3*k - 9*k + 13. Let m be y(11). Suppose -5*l + 4*c + 116 = -0*l, -3*l + 2*c + 70 = m. Is 6 a factor of l?
True
Suppose 0 = -1549*a + 1548*a + 374. Is 6 a factor of a?
False
Is ((-24)/84 + 6296/(-14))*-1 a multiple of 30?
True
Suppose -5*c + 2*p - 311 = 0, p + 104 = 5*c + 412. Let w = -45 - c. Does 8 divide w?
True
Let j be (-54)/(-5) + (-7)/(-35). Let u(q) = 2 + 14*q - j*q + 1. Does 10 divide u(9)?
True
Let i be 2/9 - 215/(-45). Suppose i*o = -3*q + 75, 0 = -4*q + 6*q. Does 3 divide (6/5)/(o/100)?
False
Suppose 5*n = 0, 3*k + n = -k + 12. Suppose -b = -4*w - 5, -b - 60 = -k*b - 2*w. Suppose -b = -5*i + 15. Is 8 a factor of i?
True
Suppose 6*k - 12*k + 156 = 0. Suppose -4*l = 6*z - 2*z - 56, 3*z - k = -2*l. Is 2 a factor of l?
True
Suppose 0 = z + 4*z - 35. Let g(h) = 7 - z*h + 3 - 3*h - h**2. Does 4 divide g(-9)?
False
Let w(v) = -4*v**3 - 13*v**2 - 20*v - 59. Is 23 a factor of w(-12)?
True
Let d = 2 - 21. Let y = d + 19. Suppose y = s + 3*s - 176. Does 11 divide s?
True
Suppose -3*f + 523 + 458 = 0. Suppose -f = -3*d - 75. Suppose 0*v = u - 5*v - d, 2*u - 4*v = 144. Is 31 a factor of u?
False
Suppose 0 = 4*s + 3*h - 716, 516 = 4*s + 2*h - 196. Is 11 a factor of s?
True
Let p = 19 + -82. Let o = -31 - p. Is 8 a factor of o?
True
Let q be 18/5 + (-4)/(-10). Let p(l) = -l**2 + 6*l - 2. Let x be p(q). Let c = x - -5. Does 11 divide c?
True
Let k(z) = -77*z**2 + 2*z - 2. Let l be k(1). Is l/(2 - (1 + 2)) a multiple of 5?
False
Let c(o) = -23*o**3 + 79 + o**2 - 16*o**3 + 58*o**3 - 18*o**3 + 3*o. Is c(0) a multiple of 13?
False
Let w be 0/(1 - -1 - 0). Let z(t) = t**3 - 8*t**2 + 9*t + 6. Let m be z(6). Let q = w - m. Is 3 a factor of q?
True
Let d be 67/2*(-7)/(28/8). Let f = 71 + d. Is 3 a factor of f?
False
Does 8 divide 8 + -2 - (-1267 - 3)?
False
Let g = 35 + 529. Is 12 a factor of g?
True
Suppose -3*k + 124 = y, -2*k + 4*y + 0*y + 78 = 0. Suppose -3*a = -5*a + 34. Let r = k - a. Does 7 divide r?
False
Is 10 a factor of 600/(-72)*(-2)/10*642?
True
Suppose 38*j = 1811 + 1305. Is 2 a factor of j?
True
Let i be ((-6)/5)/((-4)/10). Suppose 12 + 12 = i*y. Is y a multiple of 8?
True
Does 5 divide (3 - 7/3)/((-7)/(-1806))?
False
Does 110 divide (0 + 6 - 20)*-47?
False
Let n = -921 - -1256. Is 24 a factor of n?
False
Let p = 28 + -18. Is 16 a factor of 80*(44/p - 4)?
True
Suppose 0 = -v + k + 1174, -5*v + 4230 + 1664 = 3*k. Is v a multiple of 11?
True
Suppose 0 = -j - 1 + 3, 0 = -2*y + 5*j + 124. Let o = y + -31. Is 9 a factor of o?
True
Let h(g) = -g**3 