t?
False
Let a be 7/1*(-8 + 9). Let v(h) = h**2 - h + 6. Let k be v(a). Let u = -1 + k. Does 14 divide u?
False
Let d(k) = -200*k - 146. Is 33 a factor of d(-10)?
False
Is 10/(-165)*-15051 + 4/(-22) a multiple of 6?
True
Let k = 140 + -100. Suppose -r = -3*r + k. Does 20 divide r?
True
Let c = -13 + 10. Let j = -8 + c. Let t = j + 17. Is 5 a factor of t?
False
Suppose -k + 1791 = -3*i, 90*i - 88*i + 7214 = 4*k. Is 16 a factor of k?
False
Let q(p) = 1 + 1 - p + 3 + 7. Let h be q(8). Is 3 - (-3 + h + -83) a multiple of 22?
False
Let i = -2513 + 3761. Does 52 divide i?
True
Let n(f) = 2*f - 13. Let o be n(8). Suppose -2*i + o*q + 2 = -2, -4*i = -4*q - 12. Is 6 a factor of 3458/95 - 2/i?
True
Let l(c) = 8*c + 8. Let m be l(6). Let x = 322 - 212. Let q = x - m. Is q a multiple of 18?
True
Suppose 3*j + j = -3*o, o = 5*j + 19. Let v be (-5)/1*(-4)/10. Suppose -26 = p - 4*p + s, o*s + 6 = -v*p. Is p a multiple of 5?
False
Let b = -1 - 0. Let r be (b/2)/((-1)/(-2)). Is 5 a factor of r/(-3) + 28/6?
True
Suppose 32*t = 85*t - 8639. Is t a multiple of 42?
False
Suppose 28*z = 158 + 794. Is z a multiple of 17?
True
Suppose -101*m = -98*m - 531. Is m a multiple of 15?
False
Let i(w) = -w + 4. Let g(u) = u + 6. Let c be g(-5). Let y(f) = -15*f + 1. Let l be y(c). Does 5 divide i(l)?
False
Suppose -4*r - 3297 = -3*w, -w + 12*r = 9*r - 1099. Is w a multiple of 47?
False
Let o be 8 + (-1 - (-3 + 3)). Suppose -2*b = 3*l - 37, o*b - 4*b - 53 = -2*l. Does 8 divide b?
False
Does 50 divide (5/10*-2)/((-1)/500)?
True
Does 72 divide -6 + (-6475)/(-5) + 7?
True
Let y = 11 - 12. Let i = y + -7. Let w = 17 + i. Is w a multiple of 5?
False
Suppose -5*g = -u + 4*u - 622, -4*u + 2*g = -812. Let a = 305 - u. Suppose -o = 3, -3*s - o + 10 = -a. Is s a multiple of 11?
False
Let m = 54 - 47. Suppose 2 = m*u - 89. Is u a multiple of 3?
False
Let t be ((-290)/15)/(4/(-6)). Let g(i) = -i**3 + 29*i**2 + i. Does 2 divide g(t)?
False
Suppose p = -2*p + 540. Suppose 0 = -2*g - g + p. Does 12 divide g?
True
Let u(o) = o**3 + 8*o**2 - 8*o + 9. Let h be u(-9). Let i = h + 5. Suppose 73 + 32 = i*p. Is 21 a factor of p?
True
Suppose 0 = -2*p - 2*s - 2*s - 204, 0 = -4*p - 4*s - 412. Does 13 divide ((-15)/20)/(2/p)?
True
Suppose 17*n + 256 = 1004. Is n a multiple of 17?
False
Suppose -2*q - q + 171 = 0. Suppose -5*o + q = -2*o. Suppose o*y - 14*y = 135. Is y a multiple of 9?
True
Let k(v) be the first derivative of v**4/4 - v**3 + v**2 + 3*v + 2. Let q = 15 - 10. Is k(q) a multiple of 21?
True
Is (-2)/(-10) + (-324326)/(-170) a multiple of 26?
False
Let b(d) = d**3 - d**2 + d + 4. Let m be b(0). Let y be m/2 + 1 + 0. Suppose 5*u + y - 73 = 0. Is 13 a factor of u?
False
Suppose -983 = -16*h + 7753. Is 21 a factor of h?
True
Suppose 2*d - 7*d = -405. Let u = d - 52. Is 16 a factor of u?
False
Let m(a) = -a**3 - a**2 - a + 22. Is m(-7) a multiple of 17?
True
Let x(h) be the first derivative of -2*h**2 + 1/4*h**4 - h**3 + 12 + 0*h. Is 15 a factor of x(5)?
True
Suppose -4*y + v + 2*v = -9034, -3*y - 5*v + 6761 = 0. Suppose 0 = 17*c - y - 1415. Is 54 a factor of c?
True
Let q = -2077 - -5205. Does 14 divide q?
False
Suppose -23 = -4*h + 1. Let i = 11 - h. Let g(p) = p**2 + p - 3. Is g(i) a multiple of 9?
True
Let x = 1155 + 3356. Is x a multiple of 48?
False
Is 3 a factor of (2 + -2)/(-5) - (-1 + -539)?
True
Let a(l) = -6*l**3 - 7*l**2 + 3*l**2 + 0*l**3 + 7*l**3 + 4 + 2*l. Suppose 4*s - 2*w - 8 = 0, 3*s + 5*w - 34 = -2. Is a(s) a multiple of 6?
True
Let l = 265 - 163. Does 13 divide l?
False
Let d(u) = u + 16. Let s(p) = -3*p - 31. Let o(q) = -5*d(q) - 2*s(q). Let w be o(-10). Is 2 a factor of 1/(4 + w/8)?
True
Suppose 0 = -0*n - 2*n - 588. Is 34 a factor of -2*2/6*(-12 + n)?
True
Suppose 0*z = 4*z + 28. Let v = 3 - z. Is 2 a factor of v?
True
Let r = 379 + 997. Is 32 a factor of r?
True
Does 6 divide (6 + (-105)/(-14))/((-6)/(-32))?
True
Let g(u) = -u**2 - 18*u - 10. Let f be (-1)/((-4)/2 - -3). Let c(h) = 16*h**3 - 2*h**2 + 1. Let m be c(f). Is g(m) a multiple of 2?
False
Let p(u) = -u + 1. Let s(b) = 15*b + 2. Let o(k) = -3*p(k) + s(k). Let m be o(4). Suppose 4*y = 65 + m. Does 17 divide y?
True
Is 84 a factor of 429/39 + 2 + 2502?
False
Let f = 2185 - 1927. Is f a multiple of 6?
True
Suppose 287*r - 294*r = -679. Is r a multiple of 3?
False
Let p(i) = i**3 - 5*i**2 - 8*i - 17. Let a be p(8). Let r = a - 56. Is r a multiple of 31?
False
Let z = -3 + 4. Let d be -1 - (z + 1 + 0). Let k = 0 - d. Does 3 divide k?
True
Is 16 a factor of (-40)/70 - (-1684)/(-7)*-1?
True
Let f = -98 + 128. Does 25 divide 1480/f - 2/(-3)?
True
Let p = -7 - -13. Suppose -3*k + 3 = -p. Suppose k*b - 72 = -b. Is b a multiple of 4?
False
Let r(a) = a**3 + 16*a**2 - 33*a + 3. Is 13 a factor of r(8)?
False
Let g be (1 - -4)/((-4)/(-116)). Suppose 5*u = -5*y + 37 + 8, -30 = -5*u - 2*y. Suppose -u*h + 9*h - g = 0. Is 26 a factor of h?
False
Let k(b) = -2*b + 21. Let m be k(8). Suppose -m*r + 2*r + 573 = -3*f, 2*r + 4*f - 376 = 0. Is r a multiple of 38?
True
Suppose 4*j - 97 = y + 1033, 3*y = -j + 289. Let o = j - 143. Suppose 3*h = 4*u - h - 280, -5*h = -2*u + o. Is u a multiple of 14?
True
Let x(n) be the second derivative of n**5/20 + 5*n**4/24 - n**3 - 13*n. Let v(q) be the second derivative of x(q). Is v(6) a multiple of 9?
False
Suppose -2*g - 9*l = -10*l - 167, 0 = 5*g - 4*l - 425. Is 10 a factor of g?
False
Let v(f) = -4*f**2 - 3*f**2 + f**3 - 9*f + 5 + 2*f**2. Suppose -2*j = j - 21. Is 20 a factor of v(j)?
True
Is 7 a factor of (70/(-7) - -16)*94/6?
False
Let f be -1 + (-12)/10*(-5)/2. Suppose -84 = -4*j + f*j. Does 4 divide j?
False
Suppose 4*k - 126 = 4*z - 38, -3*k + 49 = -2*z. Let c be 25/5 + 1 + -2 + -2. Is 2/c - z - 3 a multiple of 5?
True
Let w = 63 + -59. Suppose -63 = -a - 3*r + 43, 3*r = w*a - 424. Is a a multiple of 27?
False
Let i(r) = 12 - 3*r**2 + 2*r**2 + 6 - 17*r - 3. Is 8 a factor of i(-12)?
False
Let s(v) = v - 6. Let p be (-6)/9 - 20/(-3). Let o be s(p). Suppose o = -3*n - 15, -4*b + 2*n + 5 + 149 = 0. Is b a multiple of 15?
False
Let p(s) = -15*s - 24. Let y = -53 - -49. Is 9 a factor of p(y)?
True
Let j(w) = -w**3 + w**2 - 3*w + 11. Let i be j(0). Suppose i*d - 130 = 6*d. Does 13 divide d?
True
Let s = -440 + 568. Does 4 divide s?
True
Let p(h) be the first derivative of -h**4/4 + 11*h**3/3 - h**2 - 2*h - 2. Let f be p(11). Let q = 47 + f. Is 23 a factor of q?
True
Let g be (-3 - 1 - -11) + -3. Suppose 0 = -3*w + g*a + 40, -a - 2 = -2*a. Let v(c) = 3*c - 6. Is 14 a factor of v(w)?
True
Let p(j) = 10*j**2 + 10*j + 108. Does 16 divide p(9)?
True
Suppose -2*f + 12 = 4*f. Does 49 divide 1/((-2)/2 + f) - -93?
False
Suppose 6*x + 12*x = 5742. Is 11 a factor of x?
True
Let k(p) be the first derivative of -p**3/3 + p**2 - 10. Let o be k(1). Does 8 divide o + 55 - (-8)/(-4)?
False
Let a be (12 - 4)*1/2. Suppose -4*y = -a - 8. Suppose -9 = -y*w + 24. Does 7 divide w?
False
Let u be 4/14 + (-325)/35. Is 14 a factor of ((-7)/9)/7 + (-604)/u?
False
Let s(j) be the third derivative of j**5/60 + 3*j**4/8 + 11*j**3/6 - 4*j**2. Let c = 16 - 26. Does 21 divide s(c)?
True
Suppose 0 = 2*v + 4, 4*v - 3*v = -h - 2. Suppose h = 2*f - 69 - 219. Does 16 divide f?
True
Let w be (-2 + (-15)/(-12))*(-4 - 8). Suppose -5*i + h + 161 = w, -2*i + 4*h + 68 = 0. Is 15 a factor of i?
True
Suppose -2*g + 4*n = -90, 0 = 2*n - 7*n + 20. Let r = g - -24. Does 14 divide r?
False
Let m(t) = t**3 + 17*t**2 - 22*t - 30. Let n be m(-15). Suppose 37*f = 32*f + n. Is 19 a factor of f?
False
Let r = -10 + 13. Suppose -w - 3*m = -0*w - 80, -r*m = -2*w + 178. Does 13 divide w?
False
Let l = -213 - -226. Is l even?
False
Let j(g) = g**2 - 10*g - 4. Let b be j(10). Let k = 2 + b. Let l = k - -30. Is l a multiple of 7?
True
Let b = -8 - -12. Suppose y = 4*f - b*y - 190, -y = -5*f + 248. Is f a multiple of 16?
False
Let x(p) = 21*p + 3. Suppose 0 = 2*l - 6*l + 16, -l = -a. Is 10 a factor of x(a)?
False
Let l(m) = 2*m**3 + m**2 + m. Let y be l(-1). Let n(s) = -s**3 - s**2 - 1. Let b be n(y). Suppose b*x - 7 = -1. Is x even?
True
Let d(q) = -q**2 - 37*q - 84. Is 62 a factor of d(-27)?
True
Let k(c) = 3*c**2 - 24*c - 28. Is 12 a factor of k(-6)?
False
Let r = 525 + -122. Suppose -5*u + r + 47 = 0. Is u a multiple of 9?
True
Let k be 62*(-4 + 0)/4