5 = -5*f + t. Does 17 divide f?
False
Is ((-4)/(24/27))/((-378)/2722608) a multiple of 90?
False
Let t be 533/78 + 2/12. Does 23 divide (-646)/(-7) - 2/t?
True
Let w(m) = -8*m**3 + 6*m**2 + 225*m + 892. Is 5 a factor of w(-4)?
True
Suppose 0*k + y - 9 = -3*k, 3*y = -5*k + 11. Suppose 6 - 26 = -k*m. Suppose 114 = i + m*i. Does 19 divide i?
True
Let z(w) = 2*w**2 + 4*w + 11. Let s be z(6). Let t = 142 - s. Suppose 5*k - t = 130. Is k a multiple of 7?
False
Let f = 19410 + -11602. Is f a multiple of 32?
True
Let v = -58 + 149. Let a = v + 113. Is 56 a factor of a?
False
Let t be 849*(-7 + 4 - -4). Suppose 5*k - t = -239. Is k even?
True
Suppose -184*j + 273022 = -1674434. Does 21 divide j?
True
Let n(f) = 127*f - 44. Suppose 12*o = 30*o - 72. Is n(o) a multiple of 23?
False
Let j be (-22)/(-8) + (-11)/4 + 3. Suppose 0 = j*u + u - 92. Is (4 + -1 + u)*10/4 a multiple of 13?
True
Let j be ((-9 - -7) + -7)/(1/9). Let o = j - -86. Suppose 5*k - 2*v = 1295, -3*v = -o*v - 10. Does 28 divide k?
False
Suppose 2*x + 58477 = 5*v, 0 = -2*v - 168*x + 167*x + 23398. Does 21 divide v?
True
Suppose -7*s - 69 = -6*s. Let b = -40 - s. Suppose 13 = i + 5*v - 25, i + 2*v = b. Does 13 divide i?
False
Suppose 3*b - 23 = -g, -b - 36 = -4*g + b. Suppose 0 = r + l - 5*l - 21, -4*l = r + g. Let u = 9 - r. Is u a multiple of 2?
True
Let m(l) = -1 - 34*l + l**2 + 5 + 24*l. Let s be m(10). Suppose -s*i = y - 12, -i = y + 2*i - 10. Is y a multiple of 4?
True
Let l be ((-46)/69)/(-1 + 2/6). Is -196*(3/(-3))/(1/l) a multiple of 31?
False
Let v(w) = 294*w - 73*w - 109*w - 76*w - 76. Is v(14) a multiple of 71?
False
Let f(w) = 256*w**2 - 85*w + 456. Does 125 divide f(5)?
False
Let q = -8663 + 13935. Does 54 divide q?
False
Let s(f) = 28*f**3 - f**2 + 8*f - 4. Suppose 10*d + 3 = v + 12*d, -9 = -3*v + 4*d. Is 9 a factor of s(v)?
False
Let a = -213 - -215. Suppose -576 = -a*q - 380. Is 49 a factor of q?
True
Suppose 5*j - 3 = -2*w, 5*w = j - 4 + 25. Let r(d) = 45*d - 12. Does 28 divide r(w)?
True
Let t(q) = -q**2 - 22*q - 13. Suppose 4*l = 4*n + 32, -5*l + 4*l = -3*n - 22. Let f be (n - 20/(-5)) + -4. Is t(f) a multiple of 23?
True
Let a be (-8)/3*(-234)/(-24). Is 52 a factor of 15206/26 + (-4)/a?
False
Suppose r - 6 = -2*o + 2, -5*o = -r - 6. Suppose -32 = -r*z - 12. Suppose z*v - 46 = -4*g, -3*g + v + 18 = -7. Is g a multiple of 2?
False
Suppose 15*f = 18*f + 21. Let y(t) = -17*t + 49. Does 21 divide y(f)?
True
Let s be 75/2*22/3 - 4. Let v = s - -257. Is 48 a factor of v?
True
Is 4 a factor of (-1072)/((-6)/(-5) - 1200/375)?
True
Let j(g) = -46*g**2 - 6*g + 29. Let a(c) = 2*c**2. Let o(u) = 6*a(u) - j(u). Does 71 divide o(4)?
True
Suppose 23*c - 17545 = 4*f, 2*f = -2*c + 848 + 680. Is 8 a factor of c?
False
Suppose 0 = -3*g - 7 + 64. Let o = -864 + 879. Let f = o + g. Is f a multiple of 34?
True
Let b = -709 + 1468. Is b a multiple of 6?
False
Suppose 0 = -21*k - 8*k + 377. Let i(v) = v**2 - 6*v + 26. Is 13 a factor of i(k)?
True
Let c = 10810 - -39785. Is 197 a factor of c?
False
Let a = 53 + -41. Suppose 2*k = -k + a. Suppose -w + 65 = k*l - 41, 2*w + 5*l - 209 = 0. Does 36 divide w?
False
Suppose 0*p + 5 = -p + v, 3*p = -4*v + 20. Suppose -8*g + 2121 - 41 = p. Is g a multiple of 13?
True
Suppose -45 = 3*v + 33. Let m be 0 + 4/v + 82/26. Let f(a) = a**3 - 2*a**2 + 2*a. Is f(m) even?
False
Suppose -5*d + 255 = 3*s, d + 170 = 2*s - 0*s. Let h = s + -98. Is 4 a factor of (0 - 1*(-1 - h))*-4?
True
Suppose -13*k = -6*k - 2037. Let c = -155 + k. Does 8 divide c?
True
Let x be ((-8)/(-7))/((-6)/(-21)). Suppose -c - x = -3*j, -4*j + j = -3*c. Is 5 a factor of j + (-3)/((-6)/14)?
False
Let c(a) = 1870*a - 256. Is 11 a factor of c(3)?
False
Let y(k) = k**2 + 22*k + 25. Let r = 85 - 104. Let u be y(r). Is (-1293)/(-9) - (-3 + u/(-12)) a multiple of 36?
True
Suppose -4*f + 5*t + 1 = 0, 7*f = 10*f - 4*t. Let v(x) = -x**2 + 8*x - 12. Let l be v(f). Suppose 340 = l*k - 176. Does 14 divide k?
False
Let t = 27 + 7. Let j(z) = 2*z**2 - 66*z - 38. Is j(t) a multiple of 10?
True
Let o(n) = -1 + 2 + 3*n**3 - 9 + 2*n**2 + 2*n + 4*n**2. Does 9 divide o(4)?
True
Let v be 5518/14 + 270/315. Suppose -q = 11 - v. Is 24 a factor of q?
True
Let l(w) = -w**2 - 22*w + 5. Suppose 15 = 48*o - 43*o. Suppose o*c = -3*c - 90. Is 22 a factor of l(c)?
True
Is -2170*((-2)/10)/((-17)/((-13260)/24)) a multiple of 56?
False
Suppose -5*r - 2*p = 125, -3*p = -4*r + 2*p - 67. Let b = r - -42. Suppose -5*q - b = 2*v, 0*v = -4*v + q + 17. Is v even?
False
Suppose -4*o - 12 = -3*w, -12 = -4*o + o - 3*w. Suppose o = -4*t + 4*a + 1440, 5*t = -4*a + 1766 + 34. Does 11 divide t?
False
Let w(f) = f**3 - 4*f - 120. Is 52 a factor of w(12)?
True
Suppose 0 = -393*h + 401*h - 44128. Is 14 a factor of h?
True
Let w be -3 - 1*(-385 + 2)/1. Is ((-18)/5)/((54/w)/(-9)) a multiple of 38?
True
Let d be 10/(-120)*3 + 885/4. Let q = d + -101. Is q a multiple of 15?
True
Let h be ((-57)/(-9))/(29/(-1218)). Is h/(-931) + (-383)/(-7) + -1 a multiple of 2?
True
Let k(c) = -29*c**2 - 25*c - 129. Let l be k(-7). Is ((-24)/(-20))/((-2)/l) a multiple of 25?
True
Let h be (-5)/((-15)/(-42))*24/(-16). Suppose 3*c = 2*u + h, -5*c + 5*u + 2 = -33. Suppose 0 = c*p - 10*p + 18. Is 3 a factor of p?
True
Let a(p) = p**2 + 19*p - 30. Let g be a(-17). Let n = g + 546. Is n a multiple of 41?
False
Suppose -r - 3 = s, 5*s + 33 = r + 3*r. Let z be 6 - 7 - 15/(-3). Suppose 2*f = -r*f + z*c + 136, 3*c = -4*f + 101. Is f a multiple of 5?
False
Suppose 47*j - 50*j + 11712 = 0. Is j a multiple of 8?
True
Let t(d) = d**3 - 2*d**2 - 2*d + 1. Let f = -16 + 12. Let u be (f/(-8) - 0)*10. Does 21 divide t(u)?
False
Let r(p) = 11*p**2 - 8*p - 1078. Is 25 a factor of r(41)?
False
Let v(i) be the second derivative of -i**6/45 + i**5/40 + 5*i**4/6 - 4*i. Let n(b) be the third derivative of v(b). Is 4 a factor of n(-1)?
False
Let m(n) = 126*n**2 + 39*n + 113. Is m(-4) a multiple of 23?
False
Let a be (5 + (-65)/15)*1*3. Suppose -a*t + 470 = -2*j, -9*j = 2*t - 8*j - 455. Is t a multiple of 31?
False
Suppose 3 = -3*g, 0 = 5*y - 6*g + 3*g - 43. Let o = y + -8. Is -2 + -1 + o + 23 a multiple of 10?
True
Let f(a) = -12*a + 72. Let k be f(6). Suppose 15 = -5*i, k*s + 2*s + 3*i = 1015. Is s a multiple of 59?
False
Suppose 10*g + 20924 = 46562 + 18492. Is g a multiple of 11?
False
Suppose -4*u + 4*s = -30660, 4*s - 21653 = -4*u + 9023. Does 11 divide u?
True
Let g(z) = 3*z**2 + 88. Let i be g(-12). Suppose -7*d = -5*d - i. Is d a multiple of 13?
True
Suppose 74*o + 14256 = 83*o. Is o a multiple of 37?
False
Suppose -2963 + 188 = -2*u + 3*i, 4*u - 5575 = i. Is u a multiple of 15?
True
Let z(i) = -2*i**3 + 2*i**2 + 3*i - 22. Let c be z(4). Let v = 249 + c. Is 11 a factor of v?
True
Suppose -93*p + 183034 = -120239. Is 4 a factor of p?
False
Let k(i) = -1097*i - 2494. Is 71 a factor of k(-17)?
False
Let k(c) = 9*c**3 - 5*c**2 - 9*c - 14. Let h(f) = f**3 - f - 1. Let q(o) = -5*h(o) + k(o). Is 6 a factor of q(5)?
False
Let t(k) = 11*k**3 + 27*k**2 - 4*k - 33. Let u be t(12). Suppose 45*y - 22815 - u = 0. Does 52 divide y?
False
Suppose 130*x = 164*x - 90066. Is 26 a factor of x?
False
Let p be 3 + 20/(-5) + 1. Suppose -4*w + 35 - 103 = p. Let j = 9 - w. Is 22 a factor of j?
False
Let n(j) = -2*j**2 - 10*j + 3. Let w be n(-5). Let p be w/(-1) - (-3 + 2). Let q(i) = -12*i - 6. Is 9 a factor of q(p)?
True
Suppose -s - 3*r - 404 = 0, -151 = -5*s + 4*r - 2266. Let t = s + 1394. Is t a multiple of 39?
True
Let m(q) = -2*q + 5. Let g be m(0). Suppose -5*o + u + 2605 = -0*o, 2625 = g*o + 3*u. Let l = -263 + o. Does 37 divide l?
True
Let c = -52914 - -77050. Is 81 a factor of c?
False
Suppose 0 = -3*h - 4*s - 128, 0 = -5*h + 6*h - 4*s + 16. Let t(u) = u**2 + 34*u + 53. Is 8 a factor of t(h)?
False
Let t(j) = -27*j**3 - 6*j**2 + 29*j + 246. Is t(-7) a multiple of 85?
True
Suppose -4*b = 2*v - 144, 3*b + 3*v + 72 = 5*b. Let k = b + -19. Suppose 13*r - k*r + 52 = 0. Does 3 divide r?
False
Suppose 48 = 13*y - 12*y. Is 2 a factor of ((-4)/(y/9))/(16/(-192))?
False
Let d(h) = h + 12. Let m be d(-8). Suppose t + 5*u - 10 = -t, -m*u = 2*t - 12. Is 20 a factor of 12*(0 + t/3)?
True
Suppose 0 = -31*z + 25*z - 540. Let u be (-2)/4 + (-146)/4. Let p = u - z. Does 4 divide p?
False
Is (28/5)/((-10)/(-6675)) 