5*a + 35 = 4*k. Suppose -5*h - 21 = 4*v - 215, k*v - 5 = 0. Suppose -17 = -5*g + h. Is 2 a factor of g?
False
Suppose 3*r = 7*r - 544. Suppose -3*j - r = -1. Let y = -23 - j. Is 11 a factor of y?
True
Suppose 3*i = 27 + 3. Suppose -t - m - i = -4*t, 4 = 2*m. Suppose -2*d = 3*d - 4*w - 450, -t*d + 360 = -4*w. Is 18 a factor of d?
True
Let s = -1618 + 3620. Is 91 a factor of s?
True
Let v = -13 + 20. Let g(p) = 6*p + 16. Does 31 divide g(v)?
False
Let f = -2 + 0. Suppose 110*j - 112 = 103*j. Let k = j + f. Is 8 a factor of k?
False
Let h be -12*3/(0 + 3). Suppose 9*t - 11*t = -44. Let v = h + t. Is 10 a factor of v?
True
Let c = -57 - 18. Let t = c - -53. Is 10 a factor of 392/22 + (-4)/t?
False
Let q be (14/(-5))/((-3)/90). Suppose 4*x = 2*h + 172, x + 5*h + 3 = 24. Let n = q - x. Is n a multiple of 21?
False
Suppose 0 = 7*o - 8848 - 1470. Is o a multiple of 24?
False
Suppose -2*g + c = 1 + 2, 4*g - c = -7. Is 3 a factor of g/6*18/(1 - 2)?
True
Let j(w) = -62*w - 18. Let n be j(-5). Suppose -2*p = -4*v - 124, -8*v + 7*v = -5*p + n. Does 11 divide p?
False
Suppose 6*o - 9 = -21. Is 12 a factor of ((-52)/o)/2 - 1?
True
Let d = -268 - -262. Let a(m) = m**2 + 2*m - 9. Let u(r) = -3*r**2 - 6*r + 26. Let f(z) = 7*a(z) + 2*u(z). Does 7 divide f(d)?
False
Let y = -402 + 731. Let x = y - 191. Does 46 divide x?
True
Does 22 divide (3 - 7) + (-2016)/(-9)?
True
Is 289 + 24 - ((-12)/3 + 2) a multiple of 2?
False
Suppose -2*q = -4*q + 84. Let z = 74 - q. Is 4 a factor of z?
True
Let f(s) = -s**3 - 22*s**2 - 27*s - 14. Let o = -61 + 40. Is f(o) a multiple of 7?
True
Is 135/(-54) - (-3)/(6/725) a multiple of 18?
True
Suppose -5*j + 5*w - 2709 = -15299, -w = 4*j - 10097. Is j a multiple of 28?
False
Let q be (-66)/(-2)*(-15)/9. Suppose 2*g + 112 = 2*s - 54, -s = -5*g - 99. Let v = s + q. Does 12 divide v?
True
Let r be ((-2)/1 - -31) + 0. Suppose 3*y - r - 109 = 0. Suppose 3*a + 4*b - y = 0, -a + 5*a + 5*b = 61. Does 7 divide a?
True
Let g(v) = v + 50. Let y be g(0). Let i = y - 22. Is i a multiple of 7?
True
Is 41 a factor of (225/27 - 10) + (-4353)/(-9)?
False
Let r be 24*28/12*-1. Let l = r - -69. Is 2 a factor of l?
False
Let a(l) = 4*l + 7. Let s(t) = -t**3 + 50 - 52 - 8*t**2 + 3*t**2 - 2*t. Let n be s(-5). Is 8 a factor of a(n)?
False
Let a be (-2886)/(-36) + (-1)/6. Suppose -4*i - a = -4*b, -b + 5*b - 81 = 3*i. Does 3 divide b?
True
Suppose 0 = 3*q + 2*c - 327, -4*q + 196 = -c - 251. Suppose i = 49 + q. Suppose 11*h - i = 6*h. Is h a multiple of 12?
False
Let q(i) = 4*i - 7. Let w be q(3). Suppose -d + 0*g = g - 24, 0 = w*d + 4*g - 116. Is 10 a factor of d?
True
Does 11 divide (4 + (-438)/4)*-2?
False
Let c = 817 + -419. Does 7 divide c?
False
Is 1/3 + (-65569)/(-87) a multiple of 58?
True
Let o(i) = i**3 - 4*i**2 - 5*i - 2. Let g be o(6). Suppose -v + 3*z = -47, 0 = 5*v + 5*z + 34 - 169. Suppose -v - g = -l. Does 18 divide l?
True
Let q(v) = -v**3 + 6*v**2 + v + 5. Suppose 5*g - 23 = 7. Let r be q(g). Let k = 16 - r. Is 2 a factor of k?
False
Suppose 51 = 4*d - 521. Let a = d + -103. Is 23 a factor of a?
False
Suppose -5*t = -3*i - 8 - 9, -3*i + 3 = 0. Suppose 0 = m + 5*q - 17, -t*q = -3*m - 4 - 2. Does 20 divide 115 + -1 + 4/m?
False
Suppose 4*l - 2*t + 5 = 11, -5*l - t = 3. Suppose 3*j + 2 = -y + 4, -j + 2*y + 10 = l. Let k(b) = 22*b - 3. Is k(j) a multiple of 8?
False
Let b(k) = -24*k + 383. Is b(-18) a multiple of 12?
False
Suppose -2*d = 3*d - 5*z, -5*d + 3*z = -4. Let s be (-3)/6*(2 + d). Is 17*s*(-2)/4 a multiple of 5?
False
Let k(q) = q + 94. Let x be k(-22). Suppose 4*i - 20 = -0*i. Suppose -i*a + x = -a. Is a a multiple of 4?
False
Let r = -199 - -274. Does 31 divide r?
False
Let c(v) = -4*v**3 + 57*v**2 - 97*v - 45. Let z(a) = -a**3 + 19*a**2 - 32*a - 15. Let j(d) = -2*c(d) + 7*z(d). Is 14 a factor of j(-20)?
False
Let j(w) = -w**2 + w - 1. Let h(t) = -t**2 - 5*t - 5. Let m be h(-4). Let v(i) = -2*i**2 - 12*i + 14. Let d(z) = m*j(z) + v(z). Is 27 a factor of d(-12)?
True
Let o = -1335 - -2675. Does 13 divide o?
False
Let z = -14 + 18. Let j be (-2)/(2/(-12)*-4). Is 25 a factor of 2/z*(j + 53)?
True
Suppose -244 = -4*d - 4. Suppose -3*p = 4*f - 35, 2*f = -2*f + 4*p. Suppose 0 = -f*j + 2*j + d. Is j a multiple of 20?
True
Let u = 12 - 3. Suppose u*l - 169 = 200. Is l a multiple of 14?
False
Suppose 0 = -2*l, -3*n + 6 = l + 4*l. Suppose -4*b = -n*g - 15 - 95, -5*g = -3*b + 65. Is 18 a factor of b?
False
Let b(w) = w**2 + 9. Let d be b(0). Let u be 890/45 + 2/d. Suppose q + q = u. Is q a multiple of 10?
True
Suppose -4*i = -6*c + 1966, 0 = -4*c + 28*i - 25*i + 1311. Does 29 divide c?
False
Let b be (1 - 1) + -7 + 15/3. Let j(s) = -10*s - 6. Does 7 divide j(b)?
True
Let b be (1 + -160)/(12/(-8)). Is 5/(10/b) + -1 a multiple of 13?
True
Let s be ((-42)/6 - -5)*(-1)/2. Let k = 61 - s. Does 30 divide k?
True
Suppose f + 1 = 5*i, 2*f - 4*f + i = 2. Suppose -3*y + 6*y = -12. Does 3 divide f/2 + (-14)/y?
True
Let x = -1285 - -1803. Is x a multiple of 14?
True
Let t be (2/4)/((-7)/(-14)). Let f = -2 + t. Let l(v) = -8*v + 1. Is 7 a factor of l(f)?
False
Let d be (24/(3/(-1)))/(-2). Suppose 5*c - 2*y = -d*y + 30, -5*y = 4*c - 24. Is 10 a factor of ((-15)/c)/((-1)/4)?
True
Suppose 0 = 2*t - 2, 2*r = 3*r + t - 4. Let o(s) = -5*s + 2 + 3*s + 3*s + 6*s**2. Is 17 a factor of o(r)?
False
Let x = 17 - -28. Let w = -21 + x. Is w a multiple of 14?
False
Let j = 94 + -57. Does 13 divide j?
False
Suppose -4*m = 3*t - 2*m - 14, 2*m = 4*t - 14. Let b be 4 - t - -1 - -2. Suppose -3*y + 4*l + 116 = y, -b*y + 77 = -l. Does 4 divide y?
True
Does 7 divide (-56)/(-10)*(1 + 66/4)?
True
Suppose -7*u + 1014 = 657. Is u a multiple of 2?
False
Suppose -2*l = -3*l - 1, 0 = -5*k - l + 5599. Does 33 divide k?
False
Let a(w) = -w**3 - 3*w - 9 - 7*w + 14*w - 6*w**2. Is a(-7) a multiple of 6?
True
Suppose 4*y = 6*y + 58. Let p = y - -29. Suppose 5*g - 215 - 325 = p. Does 36 divide g?
True
Let d(h) = -2*h**2 - 39*h - 18. Let r be d(-19). Is (r + (-70)/(-6))/(10/195) a multiple of 19?
True
Let t(x) = 13*x**3 + 8*x**2 + 9*x - 4. Let r be t(-3). Is (2 - r) + 1*-5 a multiple of 12?
False
Suppose -5*x + 3515 = 4*s, -22*s + 3*x = -20*s - 1785. Is 16 a factor of s?
False
Suppose 14896 = 27*r - 4382. Does 42 divide r?
True
Suppose 0 = -3*u + 15, 100 = -8*m + 3*m + 5*u. Let v(t) = -t**3 - 15*t**2 - 16*t - 3. Let c be v(-14). Let b = c + m. Is 4 a factor of b?
False
Let d = -2350 + 3832. Suppose 4*w - d = -9*w. Is w a multiple of 17?
False
Let b be ((-12)/(-15))/(20/(-50)). Let z be (-1)/2 - 1/2. Does 9 divide (-3 + -6)/(b - z)?
True
Suppose 3*a - 5*k = 6458, k - 9577 + 951 = -4*a. Does 14 divide a?
True
Is ((-5)/3)/(6 - 26043/4338) a multiple of 12?
False
Let c(p) = p**2 + 12*p + 28. Let b be c(-8). Let i(h) = 15*h**2 - 9*h - 16. Is 52 a factor of i(b)?
True
Suppose -9 + 18 = 3*i. Suppose 3*g + 4*k - 118 = 0, -3*g = -0*g - i*k - 111. Is g a multiple of 14?
False
Suppose 0 = -7*r + 311 - 143. Does 9 divide r?
False
Let v(o) = 16*o**2 - 9*o - 29. Is v(-5) a multiple of 13?
True
Suppose 3*j + 2*i - 105 = 3*i, 2*j - 80 = 4*i. Is j even?
True
Suppose 2*y + 50 = 530. Is 15 a factor of y?
True
Let v = 53 + -45. Let s(j) = 5*j**2 - 9*j + 2*j - 4*j**2 + 10. Does 11 divide s(v)?
False
Let r = -35 + 51. Let s = 12 - r. Let y = s + 20. Does 12 divide y?
False
Let u = -557 + 390. Let b = -113 - u. Does 8 divide b?
False
Suppose 3*l - 1038 + 105 = 0. Does 29 divide l?
False
Is 18 a factor of (-64*27/45)/((-4)/30)?
True
Suppose -5*o - 2*k - 3*k = -2890, o - 5*k - 554 = 0. Is 15 a factor of o?
False
Let y be (((-20)/(-6))/10)/((-1)/33). Let z(v) = -v**2 - 11*v + 45. Is z(y) a multiple of 8?
False
Is 6201/12 + (-245)/28 + 8 a multiple of 86?
True
Let u(j) = 211*j - 2. Let s be u(-1). Does 18 divide (1 + 4)*s/(-15)?
False
Suppose -b - 5*w - 960 = -4*b, -w = b - 328. Is 25 a factor of b?
True
Let a be (-16)/(3/(-6)*1). Suppose 3*c = 4 + a. Does 10 divide (-2)/(3 - 37/c)?
False
Let l(q) = 11*q + 75. Does 3 divide l(7)?
False
Does 31 divide 124/20*(-25)/10*-62?
True
Let s(t) = 2*t**3 - 2*t**2. Let i = -3 - -7. Suppose 2 = -5*d - i*a, d - 3*a - a - 14 = 0. Does 2 divide s(d)?
True
Is (4/6)/(44/114510) a multiple of 14?
False
Let v(a) = a**2 - 16*a + 44. Let i be v(13). Let y be 378/5 + (-4)/(-10). Suppose -g + 