7*p**2 + 8*p - 9. Does 5 divide m(17)?
False
Suppose -5*h + 55 = -20. Does 42 divide (h/4)/((-10)/(-560))?
True
Suppose -6 = -5*q + 14. Suppose -205 = q*b - 9*b. Does 41 divide b?
True
Suppose 492 = -0*a + 4*a. Suppose 0 = 4*b - 383 + a. Is 23 a factor of b?
False
Suppose -1201 - 1039 = -5*u. Suppose 0 = 2*x + 2*w - 222, 0 = 4*x + 4*w + w - u. Suppose -x = -4*k + 5*b, -2*b + 6*b - 88 = -3*k. Is 14 a factor of k?
True
Let a = -16 - -26. Suppose a - 4 = 3*t. Suppose 296 + 76 = 4*x - t*f, -5*x - 4*f + 478 = 0. Is 17 a factor of x?
False
Let k be (-4)/(-1) + 0/(-24). Suppose -14 = -k*f - 226. Let r = -25 - f. Does 14 divide r?
True
Let p(s) = s**2 + 5*s - 53. Does 15 divide p(16)?
False
Suppose 0 = g - p + 15, -6*g = -4*g + 5*p + 51. Does 5 divide 18 + g + 1*5?
True
Suppose -3*q - 87 = -3*z, 5*q = -23 + 3. Let m(p) = 2*p**2 - 49*p + 7. Is 16 a factor of m(z)?
True
Let b(u) = -u**3 - u**2 - u - 1. Suppose -5*g - 27 = 3*f, -2*g + 13 = -5*g - f. Is 5 a factor of b(g)?
True
Suppose 5*g = -15, 0 = -10*c + 5*c - 2*g - 226. Let s = 100 - 19. Let l = s + c. Is l a multiple of 16?
False
Suppose -l - 7 = 2*v + 13, v = -5*l - 28. Let d be (15/(-10))/(6/v). Suppose 0 = -3*q - d*q + 35. Is q a multiple of 3?
False
Let a = 227 - -448. Is a a multiple of 3?
True
Let g be 48/27 - (-6)/27. Let m = 33 - g. Is 7 a factor of m?
False
Let u be ((-43)/(-4))/((-4)/32). Let t = u - -134. Is 16 a factor of t?
True
Suppose -3*r - 4*q = 65, 25 = -r - q - q. Let o be (-4 - 1) + -1 + 8. Does 19 divide (r/45)/(o/(-228))?
True
Let u = -3210 + 6261. Is 27 a factor of u?
True
Suppose 3*v + 32 = -2*s, -2*s = 11 - 3. Is (-2)/1*v/(-6)*-3 a multiple of 4?
True
Let t(w) be the third derivative of -w**4/24 - 7*w**3/6 + 4*w**2. Let b be t(-7). Suppose b = 8*k - 4*k - 136. Is k a multiple of 10?
False
Let j(w) = -11*w + 14 + 0*w - 5. Let g be j(3). Let v = 49 - g. Is v a multiple of 25?
False
Suppose 3*p = 4604 - 1034. Does 70 divide p?
True
Let b(y) be the third derivative of -y**6/120 + 2*y**5/15 - y**4/24 - 11*y**3/6 - 14*y**2. Is 5 a factor of b(6)?
True
Suppose 15*v + 3*u + 200 = 16*v, -u + 1 = 0. Does 30 divide v?
False
Let c be 3/7 - (-6)/(-14). Suppose 7*f - 140 - 245 = c. Is 11 a factor of f?
True
Let z be 6 + -5 + -1 - 10. Let c(d) = -5*d**2 + 17*d + 4. Let r(q) = 4*q**2 - 16*q - 3. Let a(h) = 5*c(h) + 6*r(h). Is a(z) a multiple of 7?
False
Let s be -1 - (-5 + 4)*-3. Let a(z) = -30*z + 8. Is a(s) a multiple of 16?
True
Let m(n) = 2*n + 3. Let i be m(0). Suppose j = -i*j + 164. Is j a multiple of 25?
False
Let b be 4 + (2 - (-42)/(-7)). Let w(q) = -q**2 - 7*q - 3. Let i be w(-6). Suppose 2*p - 4*p + 2 = b, -4*p = -i*r + 44. Is r a multiple of 11?
False
Let p = -51 + 55. Is ((-4)/p)/(1/(-55)) a multiple of 5?
True
Let u(q) = -q**2 - 3*q + 3. Let x be u(6). Let p = -551 + 416. Let f = x - p. Does 21 divide f?
True
Let f(k) be the second derivative of -7*k**4/12 - k**3/3 + k**2 - 5*k. Let t(g) be the first derivative of f(g). Is t(-3) a multiple of 9?
False
Suppose 199 = -19*z + 8654. Does 40 divide z?
False
Let o = -9 - -12. Let x(b) = -6*b**2 + 0*b**2 + 2*b + 3*b**o - 2*b**3 - 3. Does 15 divide x(7)?
True
Suppose -5*k - 29 = -2*w, -w = 3*w - k - 13. Suppose -36 = w*z - 6*z. Is 3 a factor of z?
True
Suppose -s = -0*s - 7. Suppose 9*d = s*d + 54. Is 6 a factor of d?
False
Suppose -c + 3*r + 790 = 0, 3*c + r - 1579 - 811 = 0. Is c a multiple of 20?
False
Let m(k) be the second derivative of -2*k**3/3 + 14*k**2 - 3*k + 6. Is m(-22) a multiple of 29?
True
Let f(z) = 31*z - 16. Let i be f(-4). Let s = 82 - i. Does 37 divide s?
True
Does 4 divide -22*(8/16)/(3/(-33))?
False
Suppose 3955 = 5*k + 5*i - 2155, -k + 1210 = 4*i. Is 4 a factor of k?
False
Let j(s) = 5*s**2 + 0 - 6 + s - 3*s**2. Is j(6) a multiple of 18?
True
Suppose 0 = -u + 7 - 12. Is 10 a factor of (6/u)/((-6)/100)?
True
Let s be (1144/(-20))/(3/(-15)). Is 12 a factor of (-15)/(-60) + s/8?
True
Let d = 4 + -10. Is 6 a factor of d/(-27) + 3 + (-158)/(-18)?
True
Suppose -456 = 53*o - 59*o. Does 11 divide o?
False
Let i = -16 - 17. Let h = i + 35. Suppose s - 4*m = 20, -3*s - h*m + 5*m = -78. Is s a multiple of 4?
True
Let q(a) = 20 - 14 + a**3 + 8*a - 9 + 9*a**2. Let u be (-14)/(-2)*(3 + -4). Is q(u) a multiple of 13?
True
Suppose -r - 3*d - 3771 = -6*r, 2*d - 2255 = -3*r. Does 9 divide r?
False
Let h be (-1)/(61/(-15) + 4). Suppose 0 = -5*o + h, 2*o - o = 5*t - 12. Suppose 4*m + 5*q = 115, 63 = -m + t*m - 3*q. Does 13 divide m?
False
Suppose -743 = 6*w - 2753. Let k = -228 + w. Is k a multiple of 9?
False
Let g(f) = -f**3 + 7*f**2 + 10*f - 5. Let v be g(8). Suppose 2*w - 85 - v = 0. Suppose 0*q = 2*q - w. Does 4 divide q?
True
Let y(c) = 4*c - 4*c - 6*c + 14 - 6*c. Does 14 divide y(-7)?
True
Let j = 21 + -17. Suppose 5*f - 257 = -4*s, 3*f - j*f = -s + 71. Does 17 divide s?
True
Suppose 4*v + 4*p - 196 = 0, -4*v + 5*p + 168 = 2*p. Suppose 0 = 42*q - v*q + 51. Does 8 divide q?
False
Let h(j) = j. Let l(t) = 6*t + 7. Let q(f) = -4*h(f) + l(f). Does 5 divide q(0)?
False
Let m = 741 + -58. Is m a multiple of 11?
False
Suppose -z = -3*z + 138. Suppose 4*m - 39 = 3*y + 2*y, 4*y + 12 = 0. Suppose -m*d + z = -3*d. Does 5 divide d?
False
Let a = -359 + 667. Suppose -4*t + a = 52. Is t a multiple of 30?
False
Let x(v) = 11*v**2 + 42*v + 8. Let l(h) = -4*h**2 - 14*h - 3. Let t(g) = 8*l(g) + 3*x(g). Let u be t(-14). Suppose u = 5*c - 9*c + 64. Is c a multiple of 8?
True
Suppose 4*l - 56 = 68. Let f = l - 40. Let g(s) = -13*s - 22. Does 27 divide g(f)?
False
Suppose 33*b - 1003 = -4*g + 30*b, 998 = 4*g - 2*b. Does 17 divide g?
False
Suppose 58*t = -29*t + 295713. Is 30 a factor of t?
False
Let a be (36/(-8) + 3)*-2. Suppose a*s = 7*s - 32. Is 4 a factor of s?
True
Suppose 0 = -2*r + 216 + 180. Is r a multiple of 9?
True
Let w(a) = -25*a + 24. Let t(j) = -4*j - 31. Let m be t(-7). Is 9 a factor of w(m)?
True
Suppose 0 = -4*m - 20, -n - n = 3*m + 9. Suppose 15 = n*u + 3*z, -3*z + 7 = -u - 0. Is u even?
True
Let w(u) = u**3 + 34*u**2 + 178*u - 5. Is 26 a factor of w(-20)?
False
Suppose -511 = -4*t + 1193. Is t a multiple of 16?
False
Let m = 7517 - 3401. Is 21 a factor of m?
True
Let o(q) = 2*q**2 + 14*q - 57. Is 8 a factor of o(-13)?
False
Let l = -139 - -151. Let m = 3 + l. Does 15 divide m?
True
Suppose 0 = 97*b - 103*b + 5160. Is b a multiple of 43?
True
Let k(g) = g + 6. Let r = 9 + -9. Suppose -l + r = -5. Is 4 a factor of k(l)?
False
Is 0 - 7680/(-7 - -3) a multiple of 20?
True
Let w(m) = 16*m + 55. Is 19 a factor of w(12)?
True
Let z = 77 + -47. Let j = -9 - -19. Suppose y = j + z. Does 12 divide y?
False
Suppose -4*m - 2*s + 88 = -0*s, -4*m = 5*s - 82. Does 9 divide m?
False
Is (-36)/21 + 2 - 1784/(-28) a multiple of 16?
True
Suppose -2*a + j = 4*j + 307, 774 = -5*a - j. Let n = a - -10. Let z = n + 232. Does 30 divide z?
False
Let t(l) = 1904*l**2 - 1. Does 30 divide t(1)?
False
Let h(f) = f**3 - 14*f**2 - 14*f + 1. Let k(l) = l**2 + l + 15. Suppose -17*z = -16*z. Let d be k(z). Is h(d) a multiple of 8?
True
Suppose 5*w - 1507 = -3*k, 0 = 2*w - w + 1. Is 12 a factor of k?
True
Let k = 770 + -705. Is 5 a factor of k?
True
Let k be ((-10)/(-3)*-1)/(2/(-9)). Is (3 + (-51)/k)/((-1)/65) a multiple of 26?
True
Let l(x) be the first derivative of -1 + 4 + 7*x**2 - 6*x - x**2 - 5. Is l(7) a multiple of 20?
False
Suppose 0 = 4*u - 2 - 6. Suppose 564 = 2*c + u*c. Let h = -85 + c. Is 28 a factor of h?
True
Suppose 0 = -5*i + 2*q + 5292, 7 + 1 = 2*q. Suppose -14*y + 872 = -i. Does 46 divide y?
True
Let v = 130 - -1109. Is 21 a factor of v?
True
Let y(x) = -2*x**3 + 15*x**2 + 13*x - 14. Is 21 a factor of y(7)?
True
Let f = -232 + 162. Is ((-72)/(-21))/((-4)/f) a multiple of 12?
True
Suppose 16 = 2*q + 10. Suppose 0 = q*s - 9, 0*s - 27 = -f - 2*s. Is f a multiple of 7?
True
Let u(f) = -5*f - f - 4 - 2 + 7 + f**2. Let d be u(5). Is 3 a factor of (2 - d)*3/6?
True
Suppose -6*d + 7*d + 4 = 0. Does 6 divide 1590/24 + 1/d?
True
Is (-1184)/(-5) + (-4)/(-20) a multiple of 25?
False
Let w(n) = -n - 18. Let g(q) = 4*q + 73. Let m(d) = -2*g(d) - 9*w(d). Does 28 divide m(12)?
True
Suppose 0 + 5 = -5*i. Let h(w) be the third derivative of -w**4/3 - w**3/3 + 3*w**2. Is h(i) a multiple of 3?
True
Suppose 0 = -2*p - 7*p + 36. Suppose 2*y - 55 = -5*v, 3*v +