p + 11. Let c be j(-5). Suppose -3*i = -c + 20. Does 7 divide i?
False
Let a(i) = -116*i + 47. Let d be a(-8). Suppose 0 = -2*b + 7*b - d. Is 26 a factor of b?
False
Let t = 213 - 101. Does 15 divide t?
False
Suppose 4*o - 2*o = 4. Suppose -6 = -3*v, -3*q - o*q + 2*v = -176. Is 4 a factor of q?
True
Is 17 a factor of (670/(-40))/(2/(-8)) + 3?
False
Let g be (-40)/(-2)*6/24. Let t(q) = -7 - g - q + 23. Is 2 a factor of t(8)?
False
Let r(t) = t**2 + 4*t + 3. Suppose -g + 1 = 5. Let o be r(g). Let m(u) = 14*u - 3. Is 15 a factor of m(o)?
False
Let y(o) = -9*o + 2. Let r(z) = -18*z + 4. Let l(d) = 6*r(d) - 13*y(d). Suppose -3*n = 4*h - 21, -3*n = -5*h - 6*n + 24. Is l(h) a multiple of 9?
False
Suppose -486 = -t + h, -2*h = 2*t - 800 - 164. Does 22 divide t?
True
Suppose 84 = -9*i + 30*i. Let q(f) = 20*f - 4. Does 11 divide q(i)?
False
Let a be (3/12)/(2/40). Suppose a*n - 128 = -13. Let u = n - 10. Does 10 divide u?
False
Suppose 6*c = 155 + 19. Is 19 a factor of c?
False
Suppose -23*i + 11*i = -11148. Suppose 5*b = -5*f + f + 776, -5*f = -4*b - i. Does 7 divide f?
True
Suppose 2*g - 247 = 3*g. Let d = g - -353. Is 18 a factor of d?
False
Let b(f) = 41*f**2 + 37*f + 133. Does 7 divide b(-5)?
True
Suppose -21*m - 800 = -26*m. Let t = m - 103. Is 54 a factor of t?
False
Suppose -23*j + 27*j = 5696. Is 89 a factor of j?
True
Let n = 26 - 26. Suppose n = 3*r + z + 3 - 56, 5*r - 4*z = 77. Is 5 a factor of r?
False
Suppose -2470 = 10*h - 7760. Does 19 divide h?
False
Let y = 2316 + -271. Is y a multiple of 20?
False
Suppose 0 = v, 0*a + 4*v + 726 = 3*a. Is 13 a factor of a?
False
Let x(j) = -j**3 - 14*j**2 - 7*j - 69. Is 7 a factor of x(-17)?
True
Let o(d) be the first derivative of -d**4/4 + 8*d**3/3 + d**2 - d + 3. Let c(a) = -a**2 + 1. Let l(x) = c(x) + o(x). Does 7 divide l(7)?
True
Let t(c) = c + 13. Let l be (3 + -4)*-1*-8. Let d be t(l). Suppose 0*g - 70 = -d*g. Does 7 divide g?
True
Let x(k) = 2*k**3 - 12*k**2 - 10*k - 4. Is 17 a factor of x(8)?
False
Let c be 1*3 - (-3 - 14). Is (-5)/(c/16) + 44 a multiple of 12?
False
Let j(a) be the second derivative of 21*a**5/20 - a**4/12 + a**3/6 - 6*a. Let g be -2*((-10)/(-4))/(-5). Is j(g) a multiple of 12?
False
Let o be (-363)/(-6)*(-4)/(-2). Let r = o + -21. Suppose -5*t = 5*j - 75 - r, j = -5*t + 167. Does 11 divide t?
True
Does 17 divide (0 - 17)*(-70 - -21)?
True
Suppose 0 = 5*k - 317 - 248. Suppose 443 = 11*w + k. Is w a multiple of 5?
True
Suppose 0 = -12*i + 493 + 731. Is 6 a factor of i?
True
Suppose -14*f - 3 = -15*f. Let l be ((-344)/f)/((-2)/3). Suppose -3*j + j - 2*d + l = 0, 2*j = 2*d + 188. Is j a multiple of 18?
True
Let z(k) = k**2 - 8*k + 9. Let s be z(7). Suppose 4*t - 6*b = -b - 80, 0 = -5*b + 20. Does 15 divide ((-18)/t)/(s/75)?
True
Let b be (-12)/15*(-3 + -2). Suppose 4*k - 178 = 2*f, b*k - 2*f = -4*f + 198. Is 9 a factor of k?
False
Let s be ((-4)/8)/(2/32). Is 9 a factor of (s/(-10))/(10/225)?
True
Let k(p) = p**3 - 11*p**2 - 13*p - 9. Let v(g) = -g**2 - g + 1. Let m = -26 + 21. Let a(c) = m*v(c) - k(c). Does 7 divide a(17)?
True
Let h = -2 - 0. Let b(p) = 13*p**2 + 5*p + 5. Let m(n) = -12*n**2 - 4*n - 4. Let z(y) = -6*b(y) - 7*m(y). Is 13 a factor of z(h)?
True
Suppose -4*g + 7*g = -1179. Is 18 a factor of (g/(-12) - -3) + 1/4?
True
Let j be (1 - 2)*((-32)/1 - 1). Let u = 60 + j. Does 31 divide u?
True
Suppose 4*q + k + 0*k - 3388 = 0, -4*q - 3*k + 3396 = 0. Does 6 divide q?
True
Let g(q) be the first derivative of -q**3/3 - 4*q**2 + 2*q - 18. Is 4 a factor of g(-5)?
False
Suppose 18*s - 21*s = 39. Let w = 89 + s. Does 15 divide w?
False
Let o = 5 - 4. Let m = 3 - o. Does 12 divide 2/m + 1*35?
True
Let u be ((-4)/(16/6))/((-27)/36). Suppose 0 = u*d + 20 - 134. Is d a multiple of 6?
False
Suppose j - 3*j = -4, 3*i + 5*j - 10 = 0. Suppose 0 = 5*g - i*g - 160. Is g a multiple of 17?
False
Let x be (2/(-5))/(2/(-10)). Suppose x*b - 3 = -w - 0*w, 3*b + 5*w = -6. Suppose 5*v - b*o = -2*o + 29, -v - 5*o = 15. Is 3 a factor of v?
False
Let d = -13 - -17. Let t(c) = 7*c**2 - 7. Is t(d) a multiple of 6?
False
Does 31 divide ((-3)/(-5) - 1) + (-10197)/(-55)?
False
Let g(k) be the third derivative of 1/6*k**3 + 5*k**2 - 1/4*k**4 + 0*k + 0 + 1/20*k**5. Does 25 divide g(4)?
True
Suppose 124*r = 115*r + 3843. Does 7 divide r?
True
Let n = 1818 + -999. Does 39 divide n?
True
Let i = 347 + 1930. Is i a multiple of 69?
True
Let u(l) = 4*l + 16. Is 2 a factor of u(-2)?
True
Let t = -62 - -73. Suppose 10*b = t*b - 48. Is b a multiple of 16?
True
Suppose -4*j = 4*t - 216, 90*t - 25 = 85*t. Is 7 a factor of j?
True
Let h be 33 - (0 + -2 - 0). Suppose 2*w - 440 = -5*u, -u + h = w - 56. Is u a multiple of 11?
False
Let l = -196 - -416. Does 9 divide l?
False
Let w(n) = -n - 4*n + 9*n. Does 2 divide w(4)?
True
Suppose -2*n - 250 = -n. Let z be 6/(-18) + n/6. Let a = z + 73. Does 9 divide a?
False
Let r = -432 - -741. Suppose -34*h + 37*h = r. Does 12 divide h?
False
Let t(b) = 2*b**3 - b**2 + 2*b - 1. Let p be t(1). Let f be 59 - ((2 - 4) + p). Suppose f = 4*y + 19. Does 10 divide y?
True
Let q(i) = i + 11. Let g be q(-7). Suppose 4 + 12 = -g*h. Let b(p) = p**3 + 8*p**2 - 2*p + 9. Is b(h) a multiple of 27?
True
Suppose 19*s = 732 + 1719. Is s a multiple of 4?
False
Let k = -28 - -27. Is 33 a factor of 65/2 + k/(-2)?
True
Let u be 60/14 - (-2)/(-7). Suppose -7 + u = -3*f. Suppose 5*z - f = 24. Is z a multiple of 5?
True
Let w be (-4)/10 - (1 - 268/20). Let q(o) = o**2 - 9*o - 11. Is q(w) a multiple of 6?
False
Suppose 3*c + k = 450, 2*c - k - 300 = -4*k. Is c a multiple of 25?
True
Let o be 1/4 + (-33)/(-12) + -3. Suppose 10*n - 3*n - 700 = o. Does 10 divide n?
True
Is (15/9)/(3 + 5721/(-1908)) a multiple of 20?
True
Suppose 2*l + 10029 - 1073 = 4*f, -4490 = -2*f - 5*l. Is 14 a factor of f?
True
Let q(h) = -h**3 + 8*h**2 + 9*h + 3. Let m be q(9). Suppose 5*z - 5*w = 30, -4*z - z = 4*w - m. Let v(c) = 3*c**3 + 3*c**2 - 3*c - 4. Is 19 a factor of v(z)?
True
Let a(i) = -10*i - 12. Let k be a(-14). Let c = k + -56. Does 18 divide c?
True
Let k(p) = p**3 + p**2 + p + 1. Let t = -22 + 24. Let w(b) = 3*b**3 - 10*b**2 - 12*b + 6. Let y(u) = t*k(u) - w(u). Is 9 a factor of y(13)?
True
Let w be (-40)/(-16) - (-1)/(-2). Suppose 124 = -w*k + 6*k. Is k a multiple of 11?
False
Is ((-18)/4)/(-1*3/126) a multiple of 80?
False
Suppose 4*g + 5 = 5*p - g, -5 = p + 5*g. Suppose 14*h + p*h = 3360. Does 12 divide h?
True
Let q = 33 - 63. Suppose 4*p + 136 = -128. Let g = q - p. Does 12 divide g?
True
Suppose 0 = -r + 4*o + 939, 11*r + 4620 = 16*r - 5*o. Is r a multiple of 63?
False
Let i(s) = 53*s**2 - 14*s - 1. Is 21 a factor of i(-4)?
True
Let s(b) = 2*b**2 - 29. Suppose 0 = 38*p - 43*p - 55. Is s(p) a multiple of 21?
False
Let v = 42 + 92. Is 5 a factor of v/8 + 36/(-48)?
False
Let j = 2 + 11. Suppose -9 = 3*g - i, g + 5*i - 11 = -g. Is 1 - -4*(g + j) a multiple of 30?
False
Let m = -181 - -61. Let v = m + 172. Does 13 divide v?
True
Let p be ((-22)/44)/((-2)/428). Suppose 0 = 2*x - p - 21. Is x a multiple of 25?
False
Suppose -b + 2*b = 4. Suppose 0 = -h - o + 78, 2*h - b*o = 41 + 133. Does 30 divide h?
False
Suppose -50*l = -52*l + 94. Suppose 0 = n - 4 - 7. Let h = l - n. Is h a multiple of 9?
True
Let w = -1966 + 3979. Does 35 divide w?
False
Suppose -5*h - 1860 = -5*x, 4*x + 1866 = 9*x + h. Is 21 a factor of x?
False
Let s = 1704 + -1044. Does 14 divide s?
False
Let l(c) = -c**2 - 6*c - 1. Let m be l(-5). Let b(i) = 47*i - 79. Let j be b(2). Suppose j = m*x - 21. Is x a multiple of 7?
False
Is -3 + 7/2 - (-12798)/12 a multiple of 11?
True
Let o = 999 - 215. Let m = o - 495. Is 17 a factor of m?
True
Let j(m) = 2*m**3 + 4*m**2 + 2*m + 1671. Is 9 a factor of j(0)?
False
Let x(g) = -17*g**3 + 2*g + 1. Let w be x(-1). Let d(p) = -p**2 + 2*p - 10 - 22 + 11 + 16*p. Is d(w) a multiple of 3?
False
Let z = 36 + -19. Suppose z*w = 14*w + 150. Does 25 divide w?
True
Suppose 0 = -20*w + 2936 - 776. Is 15 a factor of w?
False
Let y be 0 - (-63)/3*1. Does 14 divide (0 - 2) + y + 1?
False
Let k(a) = -a**3 + 7*a**2 + 7*a - 6. Let n be k(8). Let d = -23 - n. Let o = d - -12. Is o even?
False
Is 9 a factor of (-9792)/(-216) + (-1)/3?
True
Suppose a = -s + 4327, 5*s + 20*a - 24*a = 21653. Does 13 divide s?
True
Suppose 77*c = 75*c