5 divide p?
False
Suppose 2*l = -2*v + 1010, -l = -v + 43 + 466. Is v a multiple of 20?
False
Suppose 22 = 5*x - 3*d, 2 = -x - d - 0. Suppose 2*j = 2*h + x*h + 2, 5*h - 22 = -j. Let g = j - -9. Is 7 a factor of g?
False
Let y(f) = 78*f - 144. Is y(8) a multiple of 60?
True
Let d = -42 - -45. Suppose -4*t + g + 2*g + 78 = 0, d*g = -5*t + 84. Is 6 a factor of t?
True
Suppose a + 262 = 628. Is a a multiple of 61?
True
Suppose -9*a + 6*a + 189 = 0. Is 13 a factor of a?
False
Let k(s) = -s**3 + 7*s**2 - 5*s - 3. Let g be k(6). Suppose 0 = 3*a + 5*l - 38, 0 = -g*a - 2*l - 2*l + 34. Is 15 a factor of 90/(-4)*a/(-9)?
True
Let j(m) = -m**2 + 9*m - 2. Let w be j(6). Let l = w + -19. Is 11 a factor of (-11)/((-1)/l*-3)?
True
Let s be 130/15*(-6)/(-4). Suppose 0 = 4*r - 3 - s. Is 8 a factor of (0 + r - 1)*8?
True
Suppose -2*r + q + 587 = 0, -1463 = -5*r - 2*q + 6*q. Is r a multiple of 39?
False
Let f = -6 - -4. Suppose 0 = 2*w + 2*p, -10 = 3*w + 2*p - p. Is 13 a factor of (-1016)/(-40) - f/w?
False
Suppose 2*w = -470 - 80. Let z = w + 452. Suppose -z = -5*s + 368. Is 38 a factor of s?
False
Suppose 16*n - 459 = 693. Is n a multiple of 18?
True
Let y(w) = w**2 - 6*w. Let f be y(6). Suppose f = -2*a - 0*a. Suppose a = -4*m + o + 73, m - o + 7 = 23. Is 5 a factor of m?
False
Let c = 207 - 15. Is 4 a factor of c?
True
Let f(m) = 14*m**2 - 11*m - 35. Does 58 divide f(-6)?
False
Suppose -2*m - 8 = -12. Is 10 a factor of (-2)/8*-158 - m/(-4)?
True
Let i = -230 - -362. Let d = i - 112. Is 5 a factor of d?
True
Does 59 divide ((486 - 3) + -11)*(0 + 4)?
True
Let f(q) = -q**3 - 13*q**2 - 22*q + 16. Let p be f(-11). Suppose -14*u = -10*u - p. Does 3 divide u?
False
Let b = -21 + 28. Let k(x) = -3*x + 14. Let i be k(b). Let s = i + 65. Does 29 divide s?
True
Let l(x) = x - 2. Let s be l(5). Let q be s/(-6)*(9 + 1). Let z(m) = m**3 + 6*m**2 + m - 6. Is z(q) a multiple of 14?
True
Let o(m) = -3*m**2 - 3*m + 0*m - 4 + 5*m**2. Let x be o(3). Suppose x*t = t + 68. Is 17 a factor of t?
True
Let l(j) = -15*j - 1. Let b be l(-1). Suppose 4*y - b = 30. Does 7 divide y?
False
Let g(r) = -r**2 + 11*r - 15. Let o be g(9). Suppose k - 27 = o. Is 6 a factor of k?
True
Suppose -z - 5 = 0, -3*y - 3*z = -y + 77. Let x = -26 - y. Let l(u) = u**3 - 3*u**2 + 2*u + 3. Does 9 divide l(x)?
True
Let p = 33 - 21. Suppose 3*z - 162 - p = 0. Does 12 divide z?
False
Suppose -9*z = -4*z - 85. Suppose t - 2*t = -z. Is 17 a factor of t?
True
Let w(z) = -311*z**3 - 3*z - 2. Let j be w(-1). Suppose -37*i + j = -35*i. Does 13 divide i?
True
Suppose 2 = 3*k + i, -12 = -2*k - i + 3*i. Is 18 a factor of ((-18)/(-10))/(k/130)?
False
Let t(s) = 96*s**2 + 12*s + 9. Is t(-1) even?
False
Let w = -1293 + 1990. Is 41 a factor of w?
True
Suppose -u + 9*a - 4*a = -1, -4*u - 5*a + 29 = 0. Does 12 divide u/(-12) - 131/(-2)?
False
Let q(s) be the third derivative of 5*s**2 + 0 + 0*s + 1/12*s**5 - 1/4*s**4 + 1/3*s**3. Does 13 divide q(4)?
False
Suppose -13*v = -14718 - 4262. Is v a multiple of 14?
False
Let t be (-1)/2*(-197 + 9 + -4). Suppose 4 = 4*o, -4*l - 5*o + t - 3 = 0. Does 3 divide l?
False
Let f(h) = 6*h + 3. Let u be f(5). Let s be 4/20 - u/15. Let z = s + 15. Is z a multiple of 5?
False
Let a(m) = 889*m + 35. Is a(1) a multiple of 28?
True
Suppose -236 = 2*l + 5*q + 63, 5*l + q = -782. Let w = l - -297. Is 20 a factor of w?
True
Let f = 23 + 40. Let d = f - -44. Is d a multiple of 21?
False
Suppose -4*y - 76 = -3*f, 2*f - 20 = -2*y - 3*y. Let o = 4 + f. Let u = 44 - o. Is 10 a factor of u?
True
Suppose 7*b = 11*b - 1992. Is 45 a factor of b?
False
Let u(o) = -13*o**2 + 40*o**2 + 3*o - 15 - 10*o**2 - 14*o**2. Does 35 divide u(10)?
True
Let x be (0 + 4)/(-1) + 0. Let d be ((-36)/(-8) + x)*0. Let u(l) = l**2 + 2*l + 90. Does 18 divide u(d)?
True
Suppose -2*g + 86 = -2*a, 4*g + 2*a - 173 = 23. Is g a multiple of 2?
False
Let k(y) = 17*y + 2. Suppose -5*h - 2*u - u = -30, 5*u = 25. Is k(h) a multiple of 10?
False
Let h be 424/10 - (-4)/(-10). Suppose -4*l + h = -26. Let t = l + 5. Is 13 a factor of t?
False
Let w(u) = 21*u**3 - u**2 + 2*u - 2. Let o be w(1). Suppose 5*f + 5*b = f - 122, -4*f - 136 = -2*b. Let p = o - f. Is 13 a factor of p?
False
Suppose -11*t + 5*t + 2508 = 0. Is t a multiple of 18?
False
Let t(h) = h**3 + 0*h**3 + 2 + 2*h - 13 - 7*h**2. Let j be t(7). Suppose -3*u = -60 + j. Is u a multiple of 8?
False
Suppose -13*s = -2755 - 3615. Does 7 divide s?
True
Let l(m) = 3*m**2 - 26*m - 113. Is 8 a factor of l(-6)?
False
Let o be 14/(-28) - 34/4. Let s = o + 10. Is -3 + 4 + s + 21 a multiple of 13?
False
Is (-8)/(-44) - (2990/(-11) + -2) a multiple of 16?
False
Let j(k) = k**2 - 15*k + 22. Let u be j(11). Let r = u - -34. Does 3 divide r?
True
Suppose 2917*h - 2911*h = 3096. Is h a multiple of 6?
True
Let p = 32 + -20. Let z be p + -12 + 4/2. Suppose 0*b + z*b - 26 = 0. Is b a multiple of 2?
False
Let k(d) = d**3 - 2*d**2 - d - 4. Let r be k(3). Suppose -r*v = -6*v. Suppose -3*c + 138 = -v*c. Does 19 divide c?
False
Let r(d) = d**2 - 12*d + 13. Suppose -4*a + a + 33 = 0. Let w be r(a). Let o(c) = 3*c**3 + 2*c + 1. Is o(w) a multiple of 11?
False
Let i be 4*4*(-2)/(-8). Suppose -i*j = -9*j + 10. Suppose 2*b = 3*a - 65, 4*a - 47 = j*a + 5*b. Does 14 divide a?
False
Suppose -3*f + 492 = g + 2*f, f + 462 = g. Does 36 divide g?
False
Suppose -3*m - 2*y = -131 - 3675, 3*y + 1254 = m. Is 6 a factor of m?
True
Suppose 0 = -7*f + 1470 + 2058. Is 42 a factor of f?
True
Let f = -19 - -35. Suppose -l + 39 = -v - f, 2*v - 40 = -l. Suppose -2*w - 4*z = -l, 6*w - 2*w - 73 = z. Does 19 divide w?
True
Let s(n) = -n**2 + 6*n - 3. Let m(t) = t**2 - 6*t + 3. Let b(r) = 3*m(r) + 2*s(r). Let k be b(2). Is 10 a factor of k/(-2 - (-68)/36)?
False
Suppose 4*x - 1112 = 2*v + 76, 3*x - v = 891. Is 11 a factor of x?
True
Let v(s) be the third derivative of -s**6/120 + s**5/60 + s**4/12 + s**3/3 + 4*s**2. Let t = -3 - -1. Is v(t) a multiple of 5?
True
Let v(i) = 0*i + i**3 - 2*i**2 + 4 + 2*i + 5*i**2. Let r be v(-3). Does 4 divide ((-16)/5)/(r/5)?
True
Suppose 0 = 5*f + 2*f - 595. Let p = f - -9. Does 12 divide p?
False
Is 15 a factor of (-1)/6 + (-774214)/(-204)?
True
Suppose 0 = -n - 4*n - 3*p + 855, 3*n = -p + 509. Is 24 a factor of n?
True
Let f(c) = c**2 - c - 6. Let i be f(0). Let p = -136 - -146. Is i/p + 90/25 even?
False
Let t = -1 - -5. Suppose 5*c + 5*i - 40 = 0, -2*i - 11 = -t*c + 15. Let d = c - -28. Is 15 a factor of d?
False
Let t = 533 - 518. Let x = 21 + -12. Let m = t - x. Does 2 divide m?
True
Suppose -3*u - 5*q = -7, 5*q - q = -2*u + 4. Suppose -5*a = -u*a - 64. Is a a multiple of 18?
False
Suppose 14 = -5*a + 3*k + 39, -3*a + 5*k = 1. Let m(o) = -a*o + 2*o - 7 - 8*o. Does 21 divide m(-5)?
True
Let k be 88 - (-3 + -1) - -4. Suppose 3*y + y - k = 0. Is 8 a factor of y?
True
Let r(h) be the third derivative of h**5/60 + h**4/6 - h**3 - 9*h**2. Is r(-7) a multiple of 3?
True
Let f(y) = -y**3 + y + 4. Let q be f(-3). Is 23 a factor of (-1)/((q/(-184))/7)?
True
Suppose 7*z = 2*z + 270. Is 18 a factor of z?
True
Let v(b) = -4*b + 6*b - 3*b**2 + 4*b**2 + 7. Is v(6) a multiple of 11?
True
Suppose 0 = -2*f + u + 193, -3*u - 187 = -2*f - 4*u. Let i = f + -45. Suppose -3*m + 4*g + 154 = -i, 3*g + 68 = m. Is m a multiple of 27?
False
Let n be ((-1)/2)/(1/(-40)). Suppose -5*q + n = -q. Suppose 123 = -t + q*t + p, 0 = -2*t + 4*p + 66. Is 15 a factor of t?
False
Is ((-1)/3)/(56/(-71232)) a multiple of 12?
False
Let s(z) = -17*z - 2. Let d be s(-2). Suppose 0*w - w = -4*h + 4, w - 1 = -h. Suppose 5*k - 3 - d = w. Does 7 divide k?
True
Let t(j) = -4*j + 104. Let u be t(0). Suppose -k + u = -0*d - d, 3*k = -2*d + 317. Is 7 a factor of k?
True
Let q = -1566 + 5136. Is q a multiple of 70?
True
Let y = 149 + -121. Is 6 a factor of y?
False
Let t = -330 - -341. Does 6 divide t?
False
Suppose 63*c = 72*c - 3213. Does 20 divide c?
False
Let k(w) = -35*w + 20. Does 21 divide k(-7)?
False
Suppose 5*s = 7*s - 12. Suppose -4*p + 777 = 3*y - 0*y, -2*p = -s. Does 15 divide y?
True
Let p(a) = -5*a + 1 - 4*a - 3 + 14*a. Does 9 divide p(8)?
False
Let d be (-4 - -6 - -1)*(-2)/(-2). Is 13 + 1 + d + 2/1 a multiple of 2?
False
Let r = -1025 + 1419. Is r a multiple of 9?
False
Suppose -t = -d - 1 + 2, 2*d - 2 = 5*t. Suppose 7*i - 545 - 64 =