 c be (-2)/(-10) - (-28)/10. Suppose 4*b - i + 161 = 438, -4*b = -3*i - 279. Suppose 0 = -3*r + 5*t + 8 + b, -5*r + c*t = -107. Is 15 a factor of r?
False
Is (336/(-20))/(-7)*40 a multiple of 13?
False
Suppose 6*q - q = 15. Let n be (-4)/(-3)*(-465)/(-10). Suppose q*y = n + 97. Does 21 divide y?
False
Let w = 31 + -19. Suppose 2*b - 52 = -b - i, 3*i - w = 0. Does 4 divide b?
True
Does 18 divide -4 - 1/((-5)/390)?
False
Suppose 0 = 2*r - 7 + 25. Let x(v) = v**2 + 4*v - 12. Does 12 divide x(r)?
False
Suppose -r + 88 = -5*s, -2*s = 2*s + 20. Is r a multiple of 9?
True
Let n = -2676 - -1368. Is 20 a factor of n/(-21) + 6/(-21)?
False
Let o = -221 + 320. Is o a multiple of 33?
True
Let w = 23 + -2. Is w a multiple of 12?
False
Let c(q) = -3*q**2 - 3*q - 3. Let y be c(-4). Let s = -13 - y. Does 11 divide s?
False
Let q(m) = m. Let i(u) = 54*u. Let n(d) = -i(d) + 45*q(d). Is 23 a factor of n(-3)?
False
Let d = -1 - -6. Suppose 0 = d*r - 4*t - 83 - 10, 4*r - t - 81 = 0. Does 11 divide r?
False
Let j = 1 - -27. Is 13 a factor of j?
False
Let y = 13 - -23. Does 18 divide y?
True
Suppose 17 = p + 2*g, -2*g = -5 - 5. Is 5 a factor of p?
False
Is (-5 - -2 - -1) + 28 a multiple of 25?
False
Let p(i) = 2*i**2 + 9*i + 5. Let k be p(9). Suppose 4*t - k = -f + 2*f, -47 = -t + 4*f. Is t a multiple of 17?
False
Let k(p) = 10*p**2 - p - 2. Is k(2) a multiple of 12?
True
Let a = 1 - -7. Is 174/a - 2/(-8) a multiple of 9?
False
Suppose 0 = t - 3*f + 3, 0 = -4*t - 4*f + 7 - 3. Suppose 2*o - 24 - 10 = t. Suppose 0 = 5*g - 13 - o. Is 6 a factor of g?
True
Let k = -14 + 43. Does 8 divide k?
False
Let x(u) = -2*u - 3. Let a be x(-6). Let b be -4*(3/2 + -2). Suppose a = b*c - c. Is c a multiple of 5?
False
Suppose 79 - 26 = -c. Let k = c - -83. Suppose -k = 2*b - 3*b. Is b a multiple of 15?
True
Let g(b) = -b**2 - 2*b - 3. Let c be g(-3). Suppose -29*n + 2 = -27*n. Is 7 a factor of (-4)/(1*n/c)?
False
Suppose 5*w - 10*w = -600. Does 8 divide w?
True
Let x(l) = -5*l**3 + 9*l**2 - 13*l - 100. Let d(k) = -k**3 + 2*k**2 - 3*k - 25. Let v be (-4)/6*-3*1. Let c(t) = v*x(t) - 9*d(t). Does 15 divide c(0)?
False
Does 22 divide 6237/(-49)*-1 + (-2)/7?
False
Is 12 a factor of (-1 - -2)/((-2)/(-66))?
False
Suppose p - 54 = -0*p. Let l = p - 38. Does 5 divide l?
False
Is 4 a factor of 7/((-28)/(-80)) + 2?
False
Let j be (48/(-72))/((-2)/21). Let b(p) = 5 - 1 + 2*p + 0. Is 18 a factor of b(j)?
True
Let z(u) = -u + 7. Let c(j) = j**2 - 2*j - 2. Let i be c(4). Let y be z(i). Let b = y + 9. Is 3 a factor of b?
False
Suppose 3*u - 5*u + 2*a + 18 = 0, 5*a = 3*u - 31. Let l(i) = 5 - 5 + u*i**2 + 0. Is 6 a factor of l(1)?
False
Let x(o) = o**2 + 10*o + 13. Let u be x(-9). Let q be 3*u/18*9. Let r = 15 + q. Does 21 divide r?
True
Let t(r) = -6*r - 3. Let n be t(-3). Let f be (6/4)/(n/20). Suppose 3*s - 5*c - 45 = -f*s, -2*c = -3*s + 24. Is 6 a factor of s?
True
Let s(w) = 8*w + 19. Let y be s(-9). Let c = y - -91. Is 19 a factor of c?
True
Let l = -53 - -9. Let b = l + 79. Does 7 divide b?
True
Let r be (-2 - (-2 - -1))*-5. Suppose -5*v = -2*y - 185, -3*y - 237 + 52 = -r*v. Is 11 a factor of v?
False
Let n be -2*(-1)/1 + 0. Suppose 0 = 3*p - 11 + n. Is 8 + (-1*p - -2) a multiple of 7?
True
Let v = -6 + 6. Suppose -q = -v*q - 26. Let l = -18 + q. Is l a multiple of 4?
True
Let z(q) = 0*q - 20 + q + 33 + 23. Is 15 a factor of z(0)?
False
Suppose -9*p = -6*p - 210. Is p a multiple of 10?
True
Let g = -89 - -53. Is 21 a factor of (-2979)/g - (-1)/4?
False
Does 12 divide -6 + 5 + (-50)/(-2)?
True
Let j = -98 - -160. Does 31 divide j?
True
Is 15 a factor of (2 - 9)*(-180)/21?
True
Suppose -2*m = -0*m - 44. Is 4 a factor of m?
False
Let m = -24 - -12. Is (1 + -52)*8/m a multiple of 12?
False
Suppose 7*k - 12 = 5*k. Does 2 divide k?
True
Let d(i) be the third derivative of i**4/6 - i**3/3 - i**2. Suppose -11 + 1 = -5*h. Does 3 divide d(h)?
True
Let l be (6/4)/(1/8). Suppose l = 3*z - 66. Is 8 a factor of z?
False
Let f(o) = o**3 - 4*o**2 + 4*o + 2. Is f(4) a multiple of 3?
True
Suppose 2 + 85 = 3*b. Is b a multiple of 4?
False
Let h = -131 - -81. Let t be (-2)/6 - h/15. Suppose -2*y - t*y = -60. Is 6 a factor of y?
True
Suppose -3 = 3*s + 27. Does 7 divide s/15*102/(-4)?
False
Let b(y) = 189*y**3. Let g be b(-1). Let r = -130 - g. Is r a multiple of 12?
False
Let p be (3/6)/((-2)/(-24)). Let j = -2 - p. Let h = -1 - j. Does 7 divide h?
True
Let u = 2 - -3. Let l = 28 - u. Let h = l - -23. Does 14 divide h?
False
Does 25 divide (-1779)/(-18) + (1 - 10/12)?
False
Let n = 10 - 13. Let i = 8 + -13. Let d = n - i. Is d a multiple of 2?
True
Let c = -4 - -24. Is 20 a factor of c?
True
Let c be 6/(-15) + 148/20. Does 6 divide -1*c*(-24)/14?
True
Suppose 7*g - 509 - 401 = 0. Does 26 divide g?
True
Suppose 3 = 4*a - 3*a. Let k be 1/(a/24*-1). Is 3 a factor of -1 - (k + 1 + 0)?
True
Let g(a) = 2*a**3 - 4*a**2 - 11*a + 1. Is g(5) a multiple of 16?
True
Let y(w) = 2*w**2 + 3*w - 2. Let l be y(2). Suppose h - 6 - 4 = -4*c, -2*h = 4*c - l. Suppose -4*o + o + 62 = 2*s, -2 = -c*s. Does 10 divide o?
True
Let w(v) = -2*v**3 + v**2 - v + 1. Let a be w(1). Let u be (3/6)/(a/(-10)). Suppose 106 = u*r + 11. Is 12 a factor of r?
False
Let k(d) = d**3 - d**2. Let r be k(-1). Let l be 42/(-12) - 3/r. Let x = l + 13. Does 10 divide x?
False
Let n = 1 + 26. Is n a multiple of 12?
False
Let m be ((-6)/5)/((-4)/10). Suppose -j + 5 + 48 = -2*n, -m*j + 4*n = -151. Is j a multiple of 15?
True
Let m(h) = h**3 + h + 1. Let p be m(-1). Let y be 2 - 4*p - -2. Suppose -19 = -c - y. Does 4 divide c?
False
Suppose 4*q - g + 0*g = 623, 4 = 4*g. Is 9 a factor of q?
False
Let n(g) = -2*g - 2. Let a be n(0). Is 14 a factor of 5*(-10)/4*a?
False
Suppose -2*q + 10*q = 2640. Is q a multiple of 22?
True
Let q = 0 + 0. Suppose q = -r - 0*r + 66. Suppose 2*f = 5*f - r. Is 8 a factor of f?
False
Let s(k) = 4*k**2 + 3*k - 6. Does 14 divide s(4)?
True
Let q(y) = -y**2 + 5*y + 7. Is q(5) a multiple of 6?
False
Suppose 124 + 20 = 4*j. Let f = -1 + j. Let n = -18 + f. Does 7 divide n?
False
Let g be 8/(-10)*220/(-8). Suppose -g = -2*z - 0. Does 5 divide z?
False
Suppose 2*u + i - 8 = -i, -5*u = 4*i - 16. Suppose 0 = -4*o - u*o + 4*v - 4, -3*v + 21 = 3*o. Suppose o*j - 43 = 35. Is j a multiple of 23?
False
Suppose 90 = t - 60. Suppose 9*m - t = 4*m. Does 15 divide m?
True
Suppose -60 = -2*l - 24. Suppose 2*f - 7*f - 4*j + l = 0, -2*j = -2*f. Is (11/(-3))/(f/(-6)) a multiple of 11?
True
Let o = -32 - -43. Is o a multiple of 7?
False
Let v(x) = -2*x - 5. Let j be v(-5). Suppose 2*l + h + 34 = 0, -j*l + 3*h = -l + 78. Let c = 26 + l. Is 3 a factor of c?
False
Suppose -116 = -5*c + 54. Is 10 a factor of c?
False
Let y(v) = -v**3 + 11*v**2 + 18*v - 12. Does 15 divide y(12)?
True
Let w be 3/(6/(-8)*-2). Let h(r) = -2*r**w + 1 - r**2 + 2*r**2 + 6*r - 2. Is h(5) even?
True
Suppose -4*f - 4*s = -340, 4*f + 0*f - 330 = s. Is f a multiple of 6?
False
Suppose -3*r = 5*q, 4*r = -r - 4*q - 13. Let o = 25 - r. Is 10 a factor of o?
True
Suppose -8 - 9 = -2*d - 3*q, -24 = -3*d - 4*q. Suppose 0 = c - d - 10. Is c a multiple of 7?
True
Let p be (-2)/4*(1 - 1). Let v = 0 - p. Suppose v = j + o - 2 - 1, 0 = -2*o - 4. Is j a multiple of 2?
False
Let w = 422 - 137. Does 19 divide w?
True
Let t = 11 - 6. Does 4 divide t?
False
Let d(n) = -77*n - 3. Is 37 a factor of d(-1)?
True
Let d be 23 + -2*1/2. Let j = d - 16. Does 20 divide (-3)/(j/(-40)) + 0?
True
Suppose -3*f - 56 = -3*g - f, f - 27 = -g. Is 22 a factor of g?
True
Suppose 19 = -4*t - 9. Let x be 2/t - (-80)/35. Suppose x*c = -2*c + 76. Is 12 a factor of c?
False
Let x(r) = 9*r**2 - 4*r - 2. Let v be x(-4). Let q = v - 80. Does 26 divide q?
True
Suppose 137 - 17 = 4*x. Does 10 divide x?
True
Suppose 0 = 4*o + 3*o - 84. Is o a multiple of 8?
False
Suppose 3*f = -2*l - 0 - 3, 5*l + 4*f + 11 = 0. Let m = l - -13. Does 5 divide m?
True
Let l(b) = -b**3 - 3*b**2 - b. Let a be l(-3). Suppose -2*q + 0*q + 23 = -c, -a*c = -q + 9. Let d = q + -4. Is d a multiple of 8?
True
Let l be (-6)/(-15) + 118/5. Let y = 52 - l. Is y a multiple of 14?
True
Let u be -2 - (-2*1)/1. Suppose t - 2 - 6 = u. Is 4 a factor of t?
True
Let t be (774/10)/(1/5). Let h = t + -242. Suppose 0 = 3*j + 2*j - h. Does 15 divide j?
False
Let c = -6 - -1. Le