 - 2*v + 12. Let y be k(3). Is 7 a factor of ((-24)/y)/(0 + 2)*-30?
False
Let u(p) = 3*p**2 - 3*p + 2. Let h(f) = 2*f + 17. Let o be h(-7). Suppose 4*w = o*a - 6, -2*w = -5*w. Is 2 a factor of u(a)?
True
Let d(h) = 12*h + 1. Let t = 11 - 9. Is 25 a factor of d(t)?
True
Let f be 1/((-1)/4*1). Does 2 divide (-336)/(-32) + (-2)/f?
False
Suppose -127*n + 133*n = 6402. Is n a multiple of 97?
True
Let s(a) = 28*a**2 - 2*a - 1. Let r be s(-1). Suppose 4 - r = 5*c, 0 = -3*b + 4*c - 46. Let g = -13 - b. Does 4 divide g?
False
Let k(w) = w**2 - 4*w - 8. Let q be k(8). Suppose -4 = -2*j + 3*l, -l - q = -j - 5*l. Is 141/12 + (-6)/j a multiple of 6?
False
Suppose k - 5*w - 45 = 8, -133 = -2*k + w. Let u = k + 37. Is u a multiple of 11?
False
Suppose -4*o - 3*t + 8 = 0, 3*o = -4*t - 3 + 9. Is (157/o - 3)/(1/2) a multiple of 16?
False
Let o be -4 - 3/((-6)/38). Suppose 5*k - o = 4*c + c, 12 = 2*k + 4*c. Suppose -k*n + 120 = -3*y, 4*y - 5 = -n + 25. Is n a multiple of 10?
True
Suppose 0 = 3*k + q, 0 = -3*k + 4*k - 3*q. Suppose l + 569 = 4*l + 5*u, k = -3*u - 15. Is 22 a factor of l?
True
Suppose -3*i = -5*i - 4. Let l be 17 - 4 - i/1. Let p = l - -9. Is p a multiple of 12?
True
Let s = -14 - -111. Let i = s - -85. Does 32 divide i?
False
Let x be (-1004)/(-7) - (-12)/(-28). Suppose -1 - 5 = -2*b. Is 14 a factor of b - (1 + x)/(-4)?
False
Let z(c) = -c**2 - 5*c + 3. Let y be z(-5). Let q(n) = 25*n - 9. Let w be q(y). Suppose 42 = 6*s - w. Is s a multiple of 9?
True
Let j(o) = 2*o**2 + 2. Let n be j(5). Suppose 3*q = n - 13. Is 3 a factor of q?
False
Let z be 18/5 - 6/10. Let m(h) = h**3 - 3*h**2 + 3. Does 3 divide m(z)?
True
Does 12 divide -17 + 14 + (-197 + 2)*-1?
True
Suppose -10493 = -89*w + 25374. Is w a multiple of 25?
False
Suppose 480 = 48*y - 42*y. Is y a multiple of 16?
True
Let b(t) = 39*t + 5. Let o(h) = 10*h + 1. Suppose -3*f + 5 = -0*c - c, -c - 2*f = 0. Let g(a) = c*b(a) + 9*o(a). Is g(2) a multiple of 8?
False
Suppose 0 = g + 15 - 55. Is 7 a factor of g/3 + 6/9?
True
Suppose 234 = -9*f + 1116. Is ((-266)/(-49) + -2)*f/4 a multiple of 12?
True
Suppose 2 = -4*y + 42. Let x be (-3 + 18/y)*-165. Suppose -2*p + x - 60 = 0. Is p a multiple of 23?
True
Suppose 0 = -2*r + 5*f + 111, 16*r = 21*r + f - 291. Is 2 a factor of r?
True
Let q be (-3 - -4) + 12/1. Is 2 a factor of 5 + 2 + -5 + q?
False
Let p = -37 + 19. Is 15 a factor of (-1310)/p - (-38)/171?
False
Suppose -3*i - 8*y + 925 = -6*y, -3*i - 3*y = -927. Is 24 a factor of i?
False
Suppose 0 = -h - 6 + 11. Suppose z - 114 = -h*j + 139, -3*j = 5*z - 165. Is j a multiple of 30?
False
Suppose -y + 13 = 10. Suppose -y*h = u + 2*h - 27, -5*u - 3*h = -135. Does 9 divide u?
True
Suppose 984 = 101*c - 95*c. Does 16 divide c?
False
Is 11 a factor of (-99)/2*(-1 - 17)?
True
Let r = 97 + -90. Suppose 14*c - 280 = r*c. Is c a multiple of 8?
True
Let y(m) = -6*m**2 - 1. Let j be y(-1). Suppose -28 - 2 = 2*f. Let q = j - f. Is 3 a factor of q?
False
Let i(g) be the third derivative of -g**4/24 + 17*g**3/2 - g**2. Let j(l) = -l**2 + 5*l - 6. Let m be j(2). Is i(m) a multiple of 17?
True
Suppose 0 = -7*b - 4 - 276. Let c = b + 56. Is 8 a factor of c?
True
Let h be 2*(-3 + (-85)/(-10)). Suppose h = 4*v - 4*l - 49, 0 = 4*v + 3*l - 95. Is 11 a factor of v?
False
Let m = 15 + -14. Let s be -3*m - (-3 - 5). Suppose -5*x = -c - 95, 0 = -s*x - c + 11 + 74. Is 9 a factor of x?
True
Let a(h) be the second derivative of h**4/6 + h**3 + 4*h**2 + 11*h. Does 24 divide a(-5)?
False
Let p(k) = -11*k**2. Let t(s) = -s**2 + s. Let i(o) = -2*p(o) - 2*t(o). Let c be i(2). Suppose -b = 3*b - c. Does 23 divide b?
True
Let y(m) = 2*m**2 + 13*m - 15. Suppose -u + 59 = -3*n, -3*n + 2*u - 65 = -1. Let r be y(n). Is (-5)/15 + r/9 a multiple of 13?
False
Suppose -2*i + 28 = 2*i. Suppose -x + 3*k - i = 0, x = -k + 5*k - 10. Suppose 50 = f + x*s - 7*s, -5*s + 15 = 0. Does 15 divide f?
False
Is -1 + (1 - (0 + -4)) + 203 a multiple of 9?
True
Let s(z) = -5*z**3 + 21*z**2 - 8*z + 8. Let q(v) = -v**3 - v + 1. Let d(h) = -6*q(h) + s(h). Is 11 a factor of d(-21)?
True
Suppose 0 = -5*a - q - 0 + 20, 0 = -4*q. Suppose 2*s = a*s - 104. Suppose -4 = 2*p, 4*i - s = -4*p + 84. Does 12 divide i?
True
Let i(d) = -155*d - 21. Is 9 a factor of i(-6)?
True
Let p(u) = u + 2. Let o be p(3). Suppose -27 = 2*z - 3*l, 2*l - 5*l = -o*z - 45. Does 8 divide 22/6*(-3 - z)?
False
Suppose 0 = -y - y + 16. Suppose 0 = n + g + g - 13, 3*g = 4*n - y. Suppose n*i + 35 = 3*u, u - 13 = -4*i + 27. Is 5 a factor of u?
True
Let b(p) = -48*p + 10. Let w be b(-5). Suppose -w = -10*m + 5*m. Is m a multiple of 36?
False
Let n = 6283 - 4036. Does 107 divide n?
True
Let w(y) be the third derivative of 0 + 1/60*y**5 + 1/24*y**4 + 0*y - 4*y**2 + 7/6*y**3. Is w(-5) a multiple of 8?
False
Let y = 6 + -2. Suppose -2*a + y - 16 = 0. Is 15 a factor of 315/a*30/(-25)?
False
Let l(b) = -3*b**3 - 3*b**2 - b - 2. Let a be l(-2). Let i be (-4)/16 + (-141)/a. Let q = i - -20. Does 4 divide q?
True
Suppose 3*i + 5*k + 817 = 174, i + 4*k = -205. Let v = i + 421. Is v a multiple of 20?
True
Suppose -4*q + 258 + 202 = 0. Let x = -57 + q. Is 8 a factor of x?
False
Is 35 a factor of 32/240 - (-8936)/30?
False
Let r(v) = -3*v. Let x(w) = 1. Let p(i) = -r(i) + 4*x(i). Let s = 7 + 1. Is 13 a factor of p(s)?
False
Is (-3 - -166) + -4 - 2 a multiple of 12?
False
Suppose -3*s = -s - 8. Suppose -2*c + 193 = s*j - 253, 0 = 3*j + 5*c - 352. Suppose 0 = 5*g - j - 31. Does 14 divide g?
True
Let h(t) = -t**3 + 11*t**2 + 9*t - 3. Let n(s) = s**2 - 2*s - 14. Let b be n(-7). Suppose u + k = -k + 21, -4*u + b = k. Is 16 a factor of h(u)?
True
Let b(g) = g**3 + 10*g**2 - 17*g. Let m be b(-13). Let l = -167 - m. Is 16 a factor of l?
False
Let c be (-900)/10 - 1/2*0. Let o = c + 165. Is o a multiple of 15?
True
Suppose -h = -8*h + 679. Is 8 a factor of h?
False
Suppose 2*m = 5*n - 2156, 0 = 4*n - 4*m - 616 - 1116. Suppose -4*w + j - 4*j = -344, n = 5*w - 2*j. Is 27 a factor of w?
False
Let i(q) = q**2 + 28*q + 31. Let k be i(-27). Suppose -5*y + 436 = -5*x + k*x, 4*y = -4*x + 368. Does 7 divide y?
False
Suppose -60 = -0*d - 3*d. Suppose -p = p - d. Suppose 4*r = -r + 5*t + 50, -5*t = -r - p. Is 7 a factor of r?
False
Let l(m) be the second derivative of 19*m**3/6 - m**2/2 + 7*m. Let o be l(-1). Let c = 44 + o. Does 12 divide c?
True
Suppose 15*r - 21*r = 474. Let t = 105 + r. Is t a multiple of 13?
True
Suppose -3*f = 5*f - 1104. Let s = f - 90. Is 8 a factor of s?
True
Let w(z) = 3*z**3 + 6*z**2 - 10*z + 2. Does 10 divide w(6)?
False
Suppose 3*a - 4*a = 0. Suppose a = 2*z - 5 + 13, 5*h = z + 19. Suppose -38 = p - h*p. Is 8 a factor of p?
False
Let x(l) = -l**2 - 2*l + 30. Let y(d) = d + 10. Let v be y(-10). Does 10 divide x(v)?
True
Does 24 divide (-2 - -960) + (-1*8)/(-4)?
True
Let s = -1 - 6. Let a be (1 + -1)*s/(-7). Suppose -3*w = 5*p - w - 84, a = w + 3. Does 16 divide p?
False
Suppose 0 = -3*t + 224 + 7. Is 11 a factor of t?
True
Let r be (-1)/(((-15)/25)/3). Suppose 0 = -4*y + b + 95, y + 5*b + 1 - 30 = 0. Suppose 5*z - 145 = -r*p, -y = -2*z + 4*p + 10. Is 9 a factor of z?
False
Let r = 573 + -389. Is r a multiple of 24?
False
Suppose -120 = -5*q - 3*q. Let r = 8 + q. Is r a multiple of 8?
False
Suppose 2*s - 5*s - 12 = 0, -3*w = 3*s. Suppose 2*q = 3*n + 234, 4*n - 6*n = -w*q + 460. Suppose -m + q = l + 2*m, l - 3*m = 114. Is l a multiple of 13?
False
Let y(l) = -2*l**2 - 10*l + 2. Let q(b) = 3*b**2 + 10*b - 2. Let s(w) = -3*q(w) - 4*y(w). Suppose -8*i + 12*i = 28. Does 5 divide s(i)?
False
Let o be 155/25 + 2/(-10). Let a be (2 + -7)*o/(-5). Suppose 0 = -3*z + a*z - 102. Is 34 a factor of z?
True
Let w = -1014 - -1149. Is 45 a factor of w?
True
Let g = -95 + 116. Suppose -23*u + 210 = -g*u. Is u a multiple of 15?
True
Let x(c) = -c**3 - 6*c**2 + c + 6. Let k be x(-6). Suppose -102 = -5*n - 3*b, -3*n + 68 = -k*n - 5*b. Is 12 a factor of (-6)/2*-1 + n?
True
Let v = -6 - -4. Let b(c) = 48*c**2 + 2*c + 3. Let t be b(v). Let x = t + -76. Does 36 divide x?
False
Let l = 310 - 220. Let a = l - 42. Suppose -f = -5*f + a. Does 3 divide f?
True
Let i be (-2 - -86)*1 + 0. Suppose -y = 9 - i. Suppose -f + d = -y, -f = -0*f + 5*d - 63. Is 20 a factor of f?
False
Suppose 0 = -19*z + 25393 + 14887. Is z a multiple of 15?
Fa