Let a(t) = 9*t + 1. Let u(w) = -34*a(w) + 6*n(w). Is 17 a factor of u(6)?
True
Let n be (-19)/2 - 1/2. Let t(w) = 14*w + 32. Let b be t(-12). Is 20 a factor of (b/n)/(10/25)?
False
Let d be 2/(-7) - 32/(-14). Let p = 12 - d. Let k = 4 + p. Does 4 divide k?
False
Let y = -4 - -7. Let d be 70*(-4 + 76/14). Suppose -y*p - 2*l + d = 0, 4*p + 3*l - 135 = 2*l. Is p a multiple of 7?
False
Let h be 0/(-3 + 2)*-1. Suppose -5*m + h*r = -4*r - 65, 0 = -2*r - 10. Is m a multiple of 3?
True
Suppose 0 = -s - 3*d + 7, 0 = -3*s - d - d + 7. Let w(y) be the first derivative of 17*y**3/3 + y**2 - y + 1. Does 18 divide w(s)?
True
Let b = 67 + 22. Let r = b - 31. Does 10 divide r?
False
Suppose -16*l + 1911 = 5*l. Does 7 divide l?
True
Suppose 0 = 4*s + 45 - 17. Let a = 0 - s. Does 5 divide a?
False
Is 6 a factor of (8 + (-408)/36)*(-531)/5?
True
Let h be 141 - (-5)/((-20)/16). Suppose 4*n = 2*n - 178. Let l = h + n. Is 24 a factor of l?
True
Let t(d) be the second derivative of 55*d**4/12 + d**3/3 - d**2/2 - 4*d. Is t(1) a multiple of 14?
True
Suppose 20*q - 4143 = 12677. Is 29 a factor of q?
True
Suppose -4*k + 5*w - 93 = 0, -w + 8 = -4*k - 81. Let x = k + 55. Does 11 divide x?
True
Let x be ((-68)/(-3))/4 - (-6)/(-9). Suppose 0 = 2*i - x*t - 682, -2*t + 578 = 2*i - 90. Is 24 a factor of i?
True
Suppose -110*p + 47*p + 329868 = 0. Does 119 divide p?
True
Let f be 1 - 0 - (17 - 16) - -3. Suppose f*t - 152 - 50 = -2*w, -101 = -w + 4*t. Does 15 divide w?
False
Let w = -1123 + 1599. Does 7 divide w?
True
Let j(z) = z**2 - 7*z + 6. Let o be j(11). Let h = 67 - o. Does 6 divide h?
False
Does 70 divide (587/(-2))/((-23)/138)?
False
Let u(r) = 3*r + 4 - 3*r - 7*r. Let d = -15 - -9. Does 21 divide u(d)?
False
Does 4 divide ((-10)/(-8))/((-30)/(-480))?
True
Let j = 11 - -1. Suppose o = 4*o + 2*c + 14, -2*c = 2*o + j. Does 12 divide 28 - -10 - (4 + o)?
True
Let b = 41 - 77. Let a = 66 + b. Is 7 a factor of a?
False
Suppose -m + 2*m + 43 = -3*z, -4*m - 140 = 4*z. Let h = -3 - m. Does 11 divide h?
False
Let m(t) = -2*t**3 + 4*t**2 + 97*t + 7. Does 21 divide m(-7)?
True
Is -7 - 3 - (-330 - 10) a multiple of 30?
True
Let c(u) be the third derivative of u**4/24 + 5*u**3/6 - 5*u**2. Let v be c(0). Is 27 a factor of v*(-1 - 78/(-10))?
False
Suppose 3 = -2*d + 5*b, 9 = -2*d - 0*b - b. Let s(w) = -11*w + 1. Let x be s(d). Let u = x + -26. Does 19 divide u?
True
Let t(h) = h**3 + 9*h**2 + 5. Let y be t(-4). Let d = 165 - y. Does 16 divide d?
True
Let j = 15 + -11. Suppose 4*c = a - 52, 0 = -j*c - 5*a - 18 - 10. Is 10 a factor of 4*(-1 - 45/c)?
False
Let u = -682 - -718. Is u a multiple of 9?
True
Suppose 0 = 4*k - o - 15, -3*o = -5*k + 18 + 6. Does 2 divide k?
False
Let l = -129 - -261. Does 3 divide l?
True
Let x be 2*1/(-2)*(0 + -2). Suppose m + 4*p = x + 22, 3*m + 3*p = 54. Is m a multiple of 16?
True
Let v(r) = -r**3 - 8*r**2 - 2*r - 10. Let w be v(-8). Suppose -5*t = 1 - w. Is (-16)/(-2)*t/2 a multiple of 4?
True
Does 30 divide (-12)/42 + (-73092)/(-42)?
True
Let h = -12 - -8. Is 6 a factor of 28/(-3 - h) + -4?
True
Is 47 a factor of -16*(4 + -98) + (-8 - -8)?
True
Suppose -212 = -5*i + 9*i. Let c = -21 - i. Is 14 a factor of c?
False
Is 482384/657 + 2/(-27)*3 a multiple of 43?
False
Suppose -23*w + 22*w = -268. Does 4 divide w?
True
Let r = -240 + 492. Is r a multiple of 63?
True
Let f(s) = 31*s**2 - 3*s + 3. Let w be f(2). Let g = w - 78. Let a = -16 + g. Is 16 a factor of a?
False
Does 52 divide (-688)/(-6)*429/44?
False
Let m = 49 - 33. Suppose z + m = 2*z + 3*b, 4*b = -2*z + 32. Suppose 3*d - 79 = -z. Does 11 divide d?
False
Let b(d) = 10*d - 112. Is b(22) a multiple of 8?
False
Let v = 941 - 507. Is 14 a factor of v?
True
Let x = 19 - 16. Suppose -x*p + 109 = -902. Let q = -238 + p. Is q a multiple of 20?
False
Let p be 85 - (2/(-3) - (-66)/18). Suppose -3*m + 2*m - 3*q = -23, p = 2*m - 3*q. Is m a multiple of 20?
False
Suppose -13*i = -11*i - 10. Suppose i*s - 780 = -220. Is 14 a factor of s?
True
Let l be (7 - (-105)/(-14))/(1/(-2)). Let f = -169 - -85. Is 3 a factor of f/(-9) + l/(-3)?
True
Let j be -2 + (-164)/(-4) + 1. Suppose 5*z + 32 = 4*c + 4*z, -5*c - 5*z + j = 0. Is 8 a factor of c?
True
Suppose -2*f = 5*j - 13710, -2*j - 3*f + 3013 = -2471. Is 15 a factor of j?
False
Let w(x) = 30*x + 1. Let n be w(2). Suppose 277 + 203 = -12*s. Let v = s + n. Does 16 divide v?
False
Let a = -135 - -93. Let d = 71 + a. Suppose -2*o + 4*i = -106, 3*i + d = o - 23. Is o a multiple of 15?
False
Let c = -51 - -56. Suppose 2*h = 0, -4*t + c*h + 7 = -25. Does 4 divide t?
True
Let o = 305 - 270. Is 35 a factor of o?
True
Suppose -2*x = w - 7, -2*w + x + 19 = 20. Let n(q) = -5*q**2 + 25*q**2 + 3*q**2. Does 7 divide n(w)?
False
Let u(a) = -8*a + 3*a + 6*a + 8*a + 18. Is 27 a factor of u(7)?
True
Let t(h) = 8*h**2 - 10*h + 1. Let k(r) = -23*r**2 + 29*r - 3. Let x(y) = -4*k(y) - 11*t(y). Suppose 3*b + 2*b = 20. Is 14 a factor of x(b)?
False
Let p(m) = -3 - 13*m - 16*m - 1 + 54. Is 28 a factor of p(-6)?
True
Suppose -46 = -4*s + 50. Suppose 0*d = 2*d - 8, 4*d - s = 4*z. Is (-3)/((4/10)/z) a multiple of 5?
True
Suppose -4*f + 0*s + 5*s + 782 = 0, -4*s = -8. Is 11 a factor of f?
True
Suppose 31*j - 23409 = 14*j. Does 6 divide j?
False
Suppose -13*q = 1524 - 9584. Does 62 divide q?
True
Let d(b) = -11*b - 2. Let t be d(-4). Suppose t = -0*u + 7*u. Is 2 a factor of u?
True
Suppose -2*q = 2*q + 3*m - 12, -2*q - 4*m + 6 = 0. Suppose -8*j = -q*j - 240. Is j a multiple of 18?
False
Suppose 2*h + 2*h - 4 = -4*t, -5*t - 2*h = 10. Let n(q) = -4 + 5*q**2 + 5 + q**3 + 5*q - 3*q. Does 3 divide n(t)?
True
Let l = 40 - 36. Is -3 + (65 - 0) + l a multiple of 11?
True
Let i = 9 - 6. Let v(u) = 3*u + 57. Let p be v(7). Suppose 3*z - 36 = -3*j + p, i*j = -15. Does 8 divide z?
False
Let p be (88/12)/((-2)/(-87)) - 0. Suppose p = 7*i - 17. Is i a multiple of 8?
True
Is (-1)/((-2)/(-4)*(-4)/106) even?
False
Let l(x) = 19 - x**3 - 17*x + 14*x**2 + x + 8*x**2 - 8*x**2. Is l(9) a multiple of 47?
False
Let z = -260 + 139. Let h = 175 + z. Does 8 divide h?
False
Let s(w) = w**2 + 5*w - 17. Let a be s(-7). Let q(z) = -6*z - 5. Let y be q(a). Suppose -l + y = -20. Does 10 divide l?
False
Let v = -7 + 13. Suppose v = 3*i - 0. Suppose -3*b + 2*m + 68 = 0, -3*b = i*m - m - 56. Is 9 a factor of b?
False
Let c be (-34)/((0 - (-1)/2)*-4). Let g = 38 - c. Is g a multiple of 8?
False
Suppose 5*i = -2*k - 60 - 162, -3*i - 4*k = 136. Let d = 20 - i. Is d a multiple of 16?
True
Let g(h) = h**2 - 6*h + 13. Does 25 divide g(-8)?
True
Let j = -18 - 7. Is 2 a factor of (-135)/j + (-4)/10?
False
Let p = 7 + -24. Let m = p - -125. Is 18 a factor of m?
True
Suppose 0 = 3*b - b + 4*l - 990, -5*l = 2*b - 990. Is 45 a factor of b?
True
Let d(k) be the first derivative of 1/4*k**4 + 3*k - 3 - k**2 - 1/3*k**3. Is d(3) a multiple of 7?
False
Let s(u) = -5*u**2 + 6*u - 5. Suppose 0 = -p + 3*v + 4, v - 6 + 4 = p. Let m be s(p). Does 17 divide 1/3 + m/(-6)?
False
Let i(p) = -28*p - 5. Let x = 7 - 11. Is i(x) a multiple of 29?
False
Suppose -4 = 5*a + 66. Let m(w) = 3*w + 51. Is 2 a factor of m(a)?
False
Suppose 5*b - 3*r = 30, 5 = b - 6*b - 4*r. Let s(q) = -5 - b + 0 + 2 - 11*q. Does 9 divide s(-3)?
True
Let y(g) = -4*g**2 - 4*g - 4. Let x be y(9). Let b = -248 - x. Is 29 a factor of b?
True
Let b(f) = 5*f**2 - 8*f + 3. Let k be b(5). Suppose 20 - k = -2*g. Suppose 4*z = g - 2. Does 5 divide z?
False
Suppose -5*w + 2940 = 2*y, -9*y - 580 = -w - 11*y. Is 20 a factor of w?
False
Suppose -x = 5*b + 4*x + 35, 8 = -b - 2*x. Is (-508)/(-20) + b/15 a multiple of 5?
True
Let i be (-50)/4*28/(-5). Let l = -39 + i. Is l a multiple of 24?
False
Let x(s) = 2*s**2 - 3*s**2 - 12 - 8*s - 7*s. Let j(c) = -3*c**2 + 4*c + 3. Let i be j(3). Does 8 divide x(i)?
True
Let n(q) = 6*q**2 - 15*q + 7. Let j(o) = 7*o**2 - 17*o + 6. Let p(z) = -3*j(z) + 4*n(z). Let r be (2 - 1)/(2/10). Is 10 a factor of p(r)?
True
Let r(z) be the first derivative of -z**7/840 - z**6/90 - z**4/2 + z**3 + 13. Let c(k) be the third derivative of r(k). Is 20 a factor of c(-6)?
True
Let g = -88 + 80. Let n = g + 103. Does 41 divide n?
False
Let x(s) = s**3 - 5*s**2 + 8*s + 8. Is 24 a factor of x(4)?
True
Is 13 a factor of (2 - -569)*(30 + -27)?
False
Let r = 31 + -31. Let o be (-4)/(-2) -