 Is q a multiple of 11?
False
Suppose 15*l - l = 1106. Does 21 divide l?
False
Let k be (-58*2)/((-2)/1). Let f(q) = -k + 6*q + 4*q + 51. Is 13 a factor of f(6)?
False
Suppose -5*x = -0*x - 70. Let b = 17 - x. Suppose -w - 2*o = b*w - 232, 0 = 4*w - 4*o - 232. Does 13 divide w?
False
Does 8 divide 102828/247 + 4/(-13)?
True
Suppose -4*i = -2*u + 782, -4*i + 1969 = 4*u + u. Does 22 divide u?
False
Let j be 0/(-4 + (-2)/(-2)). Suppose f + 6*f - 504 = j. Is 9 a factor of f?
True
Is 20 a factor of 2/3 - ((-7312)/3 - 2)?
True
Suppose 4*d = 1 - 13, -5*r + 3*d = -344. Let z = 247 - r. Is z a multiple of 20?
True
Let z(t) = -t**3 - 6*t**2 - 6*t - 3. Let i be z(-5). Let l(n) = 5 - n + 0*n - n - i. Is l(-12) a multiple of 7?
False
Suppose -24903 = -73*j + 24956. Is 8 a factor of j?
False
Suppose -2*s + 8 + 2 = 0. Let l(u) = -16*u - 2. Let y be l(s). Let c = -45 - y. Is 13 a factor of c?
False
Let s(v) = -53*v - 175. Is 24 a factor of s(-11)?
True
Let b(i) = 2*i**2 + 10*i - 10. Let q be b(-6). Suppose -2*a - 2*a + 42 = t, -2*a + q = 0. Is t a multiple of 12?
False
Let q(z) = 7*z**2 + z - 1. Suppose m - 2*p = 25, 4*m = m + p + 50. Let w = -17 + m. Is q(w) a multiple of 25?
True
Let h = 566 + -405. Is 25 a factor of h?
False
Let c(k) = -4*k + 948. Is c(0) a multiple of 3?
True
Let r(b) be the third derivative of -b**6/120 + b**5/60 - b**4/24 + b**3 + 5*b**2. Let w be ((0 + 0)/2)/(-1). Does 5 divide r(w)?
False
Let h(y) = y**2 - 8*y + 14. Suppose -2*v - 4*f + 38 = 0, -5*v + 2*v + 17 = -2*f. Is h(v) a multiple of 5?
False
Let v(z) = z**3 - 3*z**2 + 3*z - 2. Let d be v(2). Suppose d = -23*m + 24*m - 28. Is 11 a factor of m?
False
Let k(y) = -y**3 + 8*y**2 + 20*y. Let l be k(10). Suppose -6*a + 122 + 196 = l. Is 35 a factor of a?
False
Let l = -679 - -433. Let s = -136 - l. Does 13 divide s?
False
Let m = 696 - 596. Is 10 a factor of m?
True
Let w = 7 - -15. Suppose -w*q = -24*q + 110. Is 8 a factor of q?
False
Let a = 97 - 161. Let i = -52 - a. Does 6 divide i?
True
Let w(c) = -7*c**3 - 12*c**2 - 3*c + 10. Does 32 divide w(-6)?
False
Suppose -4*d = 49*d - 83740. Is 17 a factor of d?
False
Suppose -6*h - 33 = -17*h. Suppose -46 = -h*n - i, -3*n = -0*n - 3*i - 42. Does 5 divide n?
True
Let h(o) be the first derivative of o**3/3 + o**2/2 - 48*o + 11. Is h(7) even?
True
Let j = -6 + 13. Suppose -j*z + 140 = -2*z + m, z - 28 = 5*m. Is 8 a factor of z?
False
Suppose -4*m - 5 = -3*c + 3, -c = 4*m + 24. Does 15 divide ((-184)/10)/(c/((-20)/(-1)))?
False
Let m be 3/(-2 - 4)*-2. Is 52 a factor of (13 - m)/(-3) - (-3 - 261)?
True
Suppose 9*s - 486 = -0*s. Is 40 a factor of s?
False
Suppose 672 = 34*y - 33*y + 3*v, -3265 = -5*y + 4*v. Does 45 divide y?
False
Let h(i) = -147*i + 44. Does 84 divide h(-6)?
False
Let b(j) be the second derivative of j**4/12 + 5*j**3/6 - j**2 + 8*j. Let y be b(3). Let p = -10 + y. Is 6 a factor of p?
True
Let r = -7 + 14. Let t = -2 - -10. Let p = r + t. Does 5 divide p?
True
Suppose -9*n - 30 = -138. Is n a multiple of 6?
True
Suppose -2*b = -3*s - b + 109, s - 3*b = 23. Is 19 a factor of s?
True
Let v = 34 - 27. Does 7 divide v + 1/1*(-9 + 9)?
True
Let c(v) = 3*v**3 - 10*v**2 - 3*v + 11. Is 13 a factor of c(5)?
False
Let w be 52/14 - (-30)/105. Let h be (w/8)/((-2)/(-20)). Let u = -2 + h. Is 3 a factor of u?
True
Suppose 0 = -5*w - w + 6. Is 30 a factor of w*-1*2/2 - -151?
True
Does 4 divide 1/10 - 5922/(-180)?
False
Let j(o) = o**3 + 9*o**2 - 13*o - 12. Let z be j(-10). Let t be 716/z + 4/18. Suppose -5*u + 145 = t. Is u a multiple of 7?
True
Let v(y) = -494*y**3 + 2*y**2 - 2. Is v(-1) a multiple of 13?
True
Is 18 a factor of (77 + 22)*(-2)/(-1)?
True
Let q(w) = 3*w**2 + 11*w + 57. Does 16 divide q(-17)?
False
Suppose 420 = 3*g - 2*o, -6*o - 420 = -3*g - 10*o. Does 20 divide g?
True
Let m(v) = 23 + 2*v**2 - 7*v**2 + 51*v - v**2 + 4*v**2. Does 17 divide m(22)?
False
Is (3/(-2))/((-1973)/394 + 5) a multiple of 8?
False
Let t(y) = -4*y**3 - 2*y**2 - 2*y + 4. Let f be t(-4). Let z = f - 84. Does 13 divide z?
False
Let i(q) = -q**3 - 10*q**2 - 10*q - 8. Let j be i(-9). Let t be j + -4 - (-2 + -46). Is 2 a factor of 6/t + 399/45?
False
Let d = -494 + 530. Does 3 divide d?
True
Let r = 3 + 7. Suppose 4*y - 26 = -r. Suppose 180 = y*z - 3*x, -5*x + 2*x = 0. Does 19 divide z?
False
Suppose 0 = 2*j + 4*x - 74, -2*j + 5*x = 2*j - 135. Let f = 80 - 47. Let y = j + f. Is y a multiple of 20?
False
Suppose 3*s - 483 = -2*y, 3*s + 3*y - 218 = 265. Suppose 3*x - s = 109. Is 30 a factor of x?
True
Does 17 divide (27 - 7)/(2/391)?
True
Suppose -3*c = i - 11, 2*i - 2 = 7*c - 3*c. Let p(z) = -3*z**3 + 4*z**2 - 2*z - 1. Let y be p(c). Let b = y + 21. Is 5 a factor of b?
False
Suppose -2*m + 557 = -395. Is m a multiple of 14?
True
Let s(m) = -1 - 5*m + 9*m**2 - 4*m**2 + 3*m**2 - 5*m**2. Is s(-5) a multiple of 28?
False
Let t(d) = -d + 5. Let m be t(-4). Let w be (-43)/5 - m/(-15). Let c = 11 + w. Is 2 a factor of c?
False
Let h = 64 - 19. Let s = h - 27. Does 9 divide s?
True
Suppose -62 + 164 = 3*k. Suppose 0*m - 2*y = m - k, -5*m + 230 = -2*y. Is 15 a factor of m?
False
Let s(t) = t. Let l be s(2). Suppose 3*j + l*k + 27 = -19, j + k = -15. Does 5 divide 34 + 3*j/12?
True
Let x be (-662)/(-11) + 22/(-121). Let t = -4 - -6. Suppose t*s + 2*s - x = 0. Is 9 a factor of s?
False
Is 8*(-35)/(-40) + 4822 a multiple of 11?
True
Let t be (-42)/(1 + -3) + (-3)/1. Suppose i + t = 266. Does 26 divide i?
False
Let v(o) = -55*o + 54. Let b(r) = -82*r + 81. Let a(m) = 5*b(m) - 7*v(m). Is a(-6) a multiple of 8?
False
Let l(j) = 37*j + 31. Does 31 divide l(0)?
True
Suppose -1 - 5 = -2*q. Suppose 16 = -y + q*y. Is 2 a factor of y?
True
Let i be (-2)/(1*-4)*2. Let s be 39/(-9) + i/3. Does 10 divide (-3)/12 - 113/s?
False
Suppose -2*w = 13 - 69. Let u = w + -35. Let a = u - -21. Is 5 a factor of a?
False
Let v = -17 + 21. Let h(t) = 2*t**3 + 3*t**2 - 8*t - 6. Is h(v) a multiple of 46?
True
Let b = -305 + 697. Is 14 a factor of b?
True
Let o(v) be the first derivative of -3/2*v**2 - 15*v + 9. Is o(-16) a multiple of 9?
False
Let y = -13 - -463. Is 40 a factor of y?
False
Let q(a) = a**3 - 4*a**2 - a. Let l be q(4). Let w = 10 + l. Let u(p) = p + 7. Is 13 a factor of u(w)?
True
Let p be -1*(-1)/(1 - 2) + 36. Let s = -24 + p. Is s a multiple of 11?
True
Let o be ((-16)/4 + 5)*-12. Let s be (-9)/(-2)*(-40)/o. Suppose -s*c + 19*c = 144. Is 12 a factor of c?
True
Let s(k) = -7*k - 6. Let p(x) = 9 + 14*x - 3 + 7. Let w(i) = 6*p(i) + 13*s(i). Is w(-3) a multiple of 7?
True
Let j(g) be the first derivative of g**4/4 - g**3/3 - g**2/2 + 34*g - 7. Is j(0) a multiple of 5?
False
Suppose -r - 3*r + 1488 = 0. Is 31 a factor of r?
True
Let s(v) = -3*v - 35. Let h be s(-27). Let l = h + -34. Is l a multiple of 4?
True
Let r(t) = 11*t - 15. Let v be r(4). Suppose -4 = -2*d - 0. Suppose 0 = 4*o - m - 32, v = o + d*m + 3*m. Is 2 a factor of o?
False
Suppose -z + 749 - 141 = 0. Is z a multiple of 13?
False
Let a be -8*(-57)/(-36)*3. Does 18 divide 57/a*76/(-1)?
False
Suppose -37*o + 76*o - 6396 = 0. Is 3 a factor of o?
False
Is 2/(-4)*(1*-976 - -2) a multiple of 12?
False
Let p(s) be the third derivative of -1/24*s**4 - 2*s**2 + 7/6*s**3 + 0*s + 0. Is 7 a factor of p(-7)?
True
Let l = 34 + -24. Suppose 5*u - 4*z - 178 = 0, -u + 3*z - 62 = -3*u. Let f = u - l. Is 14 a factor of f?
False
Is 61 a factor of (54 + -79)*(2 - 151)?
False
Let o = -179 + 2. Is o/(-1) - (-2)/(-1) a multiple of 35?
True
Suppose 5*v = 7*v + 4. Let g(u) = -70*u + 8. Is 37 a factor of g(v)?
True
Let q(y) = 73*y**2 - 9*y - 1. Let h be q(-4). Suppose 4*l - 32 = -t + h, -5*l + 1547 = -2*t. Suppose 0 = -4*i - 93 + l. Is 18 a factor of i?
True
Let r be 6/18*-3 + 3. Let j(g) = 28*g**2 - g + 2. Is 7 a factor of j(r)?
True
Let k be 4/(-16) - 38/8. Let v be (8/20)/((-1)/k). Suppose -v*s - s = -27. Is s a multiple of 2?
False
Suppose m - 137 - 9 = 0. Suppose -4*t = -2*s - 168, -4*t + 0*t - 4 = 0. Let u = s + m. Is u a multiple of 17?
False
Let r(f) = 2*f**2 + f - 12. Let p be r(4). Does 19 divide 2/(-3) + 2/(p/2060)?
True
Let d(l) = l**3 - 11*l**2 + l - 8. Let t(w) = 9*w + 16. Let h(r) = -8*r - 15. Let m(b) = 6*h(b) + 5*t(b). Let y be m(-7). Is d(y) a multiple of 3?
True
Suppose -4*r + u = -609 - 285, 5*r - 4*u - 1112 = 0. Does 7 divi