(3 + (-35)/15). Is b*(4 - (-50)/(-15)) a multiple of 4?
True
Suppose 0 = -4*l + 4*x - 12, -3*x + 9 = -4*l - 0*x. Suppose -2*d - 126 = -3*r, l*r - d - 41 = -r. Does 8 divide r?
False
Let m be 4 - (-3 + 9/3). Suppose -x = 3*x + m. Does 8 divide 2 + (30 - -1) + x?
True
Let w = -4 + 13. Does 11 divide (64 - 2) + -5 + w?
True
Suppose -14 = -2*k - 4*o + 2, 0 = 4*k + o - 32. Does 6 divide 18/21*(k - 1)?
True
Suppose y + 464 = -3*y. Let c = -18 - y. Is c a multiple of 16?
False
Let p(i) be the second derivative of i**4/4 - 5*i**3/6 - 7*i**2 - 24*i. Does 24 divide p(-7)?
True
Let p be ((-5)/2)/(5/(-10)). Suppose 221 = 5*a - 3*y, p*a + 5*y - 372 = -127. Is a a multiple of 20?
False
Let m(h) = -h**3 + 4*h**2 - h - 10. Let f be m(3). Does 22 divide f/(8/3)*792/(-27)?
True
Let d(y) = 4*y**2 + 33*y + 18. Is 23 a factor of d(-23)?
False
Let h(k) = 19*k - 5. Suppose 2*j - 2*r - 3*r - 5 = 0, 2*j + 5*r + 5 = 0. Suppose -5*c + 1 + 19 = j. Is 13 a factor of h(c)?
False
Suppose 0 = -5*y - 3*k + 5735, 3440 = 3*y - 0*y + 2*k. Is y a multiple of 23?
True
Let d = 12 + -9. Suppose -t - 68 = d*t. Let x = t + 35. Is 8 a factor of x?
False
Let m be (-72)/(-16) - (-6)/(-4). Suppose 4*s + 2*r - 156 = 0, m*r + 1 = 3*s - 107. Suppose -35*w - 228 = -s*w. Does 15 divide w?
False
Suppose 3*u - h - 2 = -3, u + h - 1 = 0. Suppose 2*a + 0*a - 72 = u. Is 36 a factor of a?
True
Suppose -7*t + 7084 = 16*t. Is t a multiple of 28?
True
Suppose -747 = -y - 596. Does 2 divide y?
False
Does 26 divide -14*270/(-63)*13?
True
Suppose 14*m - 4*m = 100. Suppose 693 = m*g - g. Does 11 divide g?
True
Suppose 2710 = 5*f + 5*j, -4*f + 23 + 2143 = 3*j. Does 45 divide f?
True
Let h(l) be the third derivative of l**5/5 - l**4/8 - 2*l**3/3 - l**2. Is h(2) a multiple of 14?
False
Let n(v) = -3*v**3 - v**2 - 8*v + 1. Suppose 2 = 2*p - f + 16, p + 2*f - 3 = 0. Let i be n(p). Suppose 490 = 5*h - s, 7*h - i = 3*h + s. Is h a multiple of 18?
False
Suppose -2*h - 27 + 595 = 0. Is h a multiple of 12?
False
Let b = 587 - 125. Is 21 a factor of b?
True
Let p(v) = 1. Let r(x) = -3*x + 5. Let w(g) = -5*p(g) - r(g). Let u(q) = -q**2 - 10*q - 9. Let k be u(-7). Is 9 a factor of w(k)?
False
Let x(k) = 22*k - 9. Let p be x(15). Let w = -219 + p. Is w a multiple of 13?
False
Suppose -2*h = -5*h - r + 25, 4*h + r = 32. Let g = 9 - h. Suppose -5*q - 160 = -5*n, 5 = -g*q - 5. Is n a multiple of 8?
False
Let p(h) = -h + 7. Suppose -6*g + 23 = u - 2*g, 2*g + 13 = 3*u. Let n be p(u). Suppose -3*q - 21 + 96 = n. Is 11 a factor of q?
False
Let d(j) = 14*j**2 + 8*j + 32. Is d(-12) a multiple of 16?
True
Let b(s) = s + 6. Let h = 39 - 29. Is 6 a factor of b(h)?
False
Suppose -5*o - 310 = -w, -103*o + 102*o = 5*w - 1498. Is 60 a factor of w?
True
Let q(t) = 34*t**2 - 2*t. Let v be q(-2). Let j = v - 63. Is 20 a factor of j?
False
Does 58 divide 57/76 + (-2283)/(-12)?
False
Suppose -172 = -4*c + r, -15*r + 11*r + 152 = 4*c. Is c a multiple of 13?
False
Let j(g) = -44*g**2 + 8*g + 9. Let u be j(4). Suppose -3*s = -2*s + 1. Is 21 a factor of (u/(-34))/(s/(-2))?
False
Does 70 divide (-4)/(-18) - 302956/(-333)?
True
Suppose -3*q - 83*q + 37926 = 0. Does 7 divide q?
True
Let r = 578 + 52. Is 9 a factor of r?
True
Suppose 5*o + 20 = -0*q + q, -4*o = 5*q + 45. Let t(w) = -12*w - 4. Is 10 a factor of t(q)?
False
Let r(f) be the second derivative of -f**5/20 + f**4/12 + 13*f**3/3 - f**2/2 + 20*f. Is r(-7) a multiple of 11?
True
Let b(z) = z**2 + 5*z. Let d(l) = -l**3 + 14*l**2 - 14*l + 8. Let j be d(13). Let v be b(j). Suppose -4*t + v*i + 46 = -5*i, 3*t + 2*i = 46. Does 5 divide t?
False
Let a(s) = 39*s**2 + 3*s + 10. Does 5 divide a(3)?
True
Suppose -6 = 3*k - 4*h, 0*h + 2 = -k - h. Is 47 a factor of 3498/12 + k/(-12)*3?
False
Suppose 0 = -3*i + 4 + 2. Let x = i - -3. Suppose -60 = -x*p - p. Is p even?
True
Let b = 8 - 8. Suppose b = 3*m - 8*m + 10. Is m/(-11) + (-765)/(-33) a multiple of 8?
False
Let b(z) = 4*z**2 - 69*z + 116. Is b(35) a multiple of 17?
True
Suppose -3*i = f - 118, 0 = -3*i + 2*i - 4*f + 32. Suppose -37*w - 114 = -i*w. Is 10 a factor of w?
False
Does 12 divide ((-174)/30 - -5)/((-2)/600)?
True
Suppose 4 = -5*j + 3*j. Let d(h) = -h**2 - 3*h - 1. Let x be d(j). Is 12 a factor of ((-12)/(-5))/(x/5)?
True
Let v be -1*(-2 + -3 + 0). Suppose -v*z + 5*d = 615, 2*z + 2*d + 124 = -138. Let p = -82 - z. Is 14 a factor of p?
False
Let p(q) = -q**3 - 12*q**2 - 15*q + 3. Let c be p(-11). Let s = c + -19. Does 7 divide s?
True
Let m(f) = -f**3 - 5*f**2 - 4*f + 3. Let k be m(-4). Suppose 4*t = -5*z - 46 + 487, 297 = k*t - 3*z. Is 26 a factor of t?
True
Suppose 8458 + 4772 = 21*k. Does 70 divide k?
True
Let v(h) = h**2 + 11*h + 15. Let w be (-66)/(-10) - (-2)/5. Let k(m) = -2*m + 1. Let t be k(w). Is v(t) a multiple of 9?
False
Is (679 + -5)*(-7 - -6)*-1 a multiple of 36?
False
Suppose 60 = -7*w - 38. Does 14 divide w*(10*4)/(-5)?
True
Suppose 5069 - 1124 = 5*p. Suppose -p = -4*x - 3*q + 15, -804 = -4*x - 5*q. Is x a multiple of 23?
False
Suppose 9*v - 927 = 7*a - 12*a, -2 = v. Is a a multiple of 19?
False
Let f(w) = 25*w + 9. Let p be f(5). Let c be 40/16*p/5. Let l = c - 45. Is l a multiple of 22?
True
Let z = -3 - -54. Let l = z + -25. Suppose f = -0*f - d + 22, f - d = l. Is 6 a factor of f?
True
Let w(v) = -v**3 + 8*v**2 + 11*v - 4. Suppose -5*b = -8*b + 24. Is w(b) a multiple of 42?
True
Suppose -2*r + 1 = -5. Suppose q = -3*v + 12, 2*v = r*q + 3*v - 68. Does 6 divide q?
True
Suppose 0*z - 163 = z. Let d = -241 - z. Let r = 109 + d. Does 12 divide r?
False
Let n(l) = 14*l - 4. Let u be n(5). Let x = 119 - 27. Let a = x - u. Does 7 divide a?
False
Is 38 a factor of (-148)/12*(-144 - 6)?
False
Let r = -10 - -14. Suppose -3*w = -9, 0*t - 4*t = r*w - 248. Is t a multiple of 21?
False
Suppose 7 = -a + 10. Suppose -5*t = -4*y + 125, -5*t + a*t = 2*y - 40. Is y a multiple of 5?
True
Let v(t) = t**3 - 9*t**2 - t - 26. Is v(11) a multiple of 41?
True
Suppose 2*u + a + 3*a = -20, -3*a - 15 = -u. Suppose u = z - 5*z + 28. Suppose z*n - 350 = 2*n. Is n a multiple of 29?
False
Let i(t) = 5*t - 7*t + 2 + 3*t - 113*t**3. Does 19 divide i(-1)?
True
Let y(k) = -k**3 - 13*k**2 + 10*k + 12. Let t(i) = 2*i**3 + 14*i**2 - 10*i - 13. Let m(r) = 2*t(r) + 3*y(r). Is 10 a factor of m(11)?
True
Let w be 57/11 - 4/22. Let v be 1/w - (-1074)/30. Does 7 divide v/8*2 - 1?
False
Suppose -228*v = -5*s - 229*v + 8611, 0 = -2*v + 2. Is s a multiple of 41?
True
Let x = -13 + 15. Let i(t) = -x*t + 2*t**2 + 4*t**2 - 2 + 10*t**3 + 3 - 5*t**2. Is i(1) a multiple of 2?
True
Let h = -2521 + 2713. Is 4 a factor of h?
True
Let s(m) = 3*m + 27. Let o be s(-11). Is (-98)/(-21) - 8/o a multiple of 2?
True
Let f be ((-24)/(-16))/((-2)/36). Let k = 132 - f. Is 29 a factor of k?
False
Let f be 4 + 3 + -9 + 20. Let p = 25 - f. Let g(s) = s + 15. Is g(p) a multiple of 8?
False
Suppose 60 = 3*a + 21. Suppose a - 50 = -c. Is 10 a factor of c?
False
Is 6/(-16) + 62*87/48 a multiple of 14?
True
Let z = -1419 - -2628. Does 93 divide z?
True
Is ((-2500)/(-75))/((-2)/(-108)) a multiple of 50?
True
Suppose 0 = -6*j + 4*j + 8, 3*p = -5*j + 1292. Let h = -142 + p. Suppose 0 = 3*z - h + 30. Is z a multiple of 28?
True
Suppose -8 = 3*r - 20. Suppose 5*h - 11 - 10 = -3*c, 5*c - r*h = -2. Suppose l + c = 2*l, 4*s = l + 30. Is s a multiple of 2?
True
Let s(q) = -2*q**3 - 9*q**2 + 7*q + 14. Is 21 a factor of s(-7)?
True
Suppose -3*t - 344 = -5*l - 7*t, 0 = -3*l + t + 220. Is l a multiple of 18?
True
Let c(f) = f**3 + 7*f**2 + 7*f + 9. Let q be c(-6). Let v be 1 + q + -3 + 4. Suppose 77 = o - v*g - 19, 5*o = 4*g + 501. Does 31 divide o?
False
Let x(y) = -y - 6. Let g be x(-8). Suppose -2*j - 12 = -g, -140 = -2*l + 4*j. Suppose 4*c - c - l = 0. Is 20 a factor of c?
True
Let u(m) = m**2 + 17*m + 28. Suppose d - 3*v = -2*d - 54, 5*d - 3*v + 90 = 0. Does 23 divide u(d)?
True
Suppose 2 - 20 = -n. Let y be 24/9*n/(-4). Let d = 54 + y. Is d a multiple of 14?
True
Suppose 0 = -7*u + 4*u + 3*b - 303, 5*b - 97 = u. Let s = -36 - u. Is 32 a factor of s?
False
Let c = 258 + -125. Does 19 divide c?
True
Suppose -4*q = -3*a - 5 - 0, -2*a + 2*q = 6. Let t = a - -9. Suppose -t*u + 0*u = 6, 2*n - 30 = -2*u. Does 9 divide n?
True
Let p = 356 + -203. Let b = p + -39. Is 6 a factor of b?
True
Let f = 17 + -15.