et m be (6/5)/(-2*(-4)/o). Suppose 156 = m*t - f + 4*f, -f - 60 = -t. Does 28 divide t?
True
Suppose g = 5*d - 15, -4*d + 16 = 2*g + 4. Is 18 a factor of (-3 + 4)*-2*(-46 + g)?
False
Is 25 a factor of (36/(-28))/(1/(-7)) - -532?
False
Let i = -32 - 42. Let f(c) = 36*c + 238. Let n be f(-11). Let u = i - n. Does 21 divide u?
True
Is (-40)/(4 + 252609/(-63126)) a multiple of 48?
True
Let o(c) = 31*c + c - 2 - 4*c + 10*c + c. Is o(4) a multiple of 7?
True
Let x = -149 - 168. Let o = 78 - x. Is 34 a factor of o?
False
Let f be (-147)/(-105) + (-3)/(-5). Suppose 4*h = -f*z + 788, -1784 - 198 = -5*z - 4*h. Is 7 a factor of z?
False
Let t(p) = 2 + 10*p**2 + 17*p - 12*p + 0 - 4*p. Let u be t(-2). Does 15 divide (100/u)/((-2)/(-60))?
True
Let f be (-722)/(-12) - 16/96. Suppose 2*g + 7*u = 11*u + f, u = 3*g - 65. Does 6 divide g?
False
Is 7 a factor of (-20)/(7 - 5) - (-15058 - -20)?
False
Let f = 49 - -770. Suppose 40*l - 33*l = f. Does 9 divide l?
True
Let v(g) = g**2 - 17*g - 8. Let t be v(13). Let p = t - -64. Is (9/2)/(2/p + 0) a multiple of 9?
True
Let p = 16889 - 1500. Is 50 a factor of p?
False
Let b(t) = -5*t + 42. Let l be b(7). Let m(x) be the third derivative of x**6/120 - x**5/12 + x**4/4 + 20*x**2. Does 40 divide m(l)?
False
Let i(t) be the second derivative of 47*t**4/6 - 7*t**3/6 - 4*t**2 - 94*t. Is 2 a factor of i(-1)?
False
Let p(r) be the third derivative of -r**4/24 + 5*r**3/3 - 213*r**2. Is 2 a factor of p(-2)?
True
Suppose -4*k - 8 = 0, 536*c - 537*c - 72 = k. Let x(d) = 2*d + 1. Let o be x(-6). Does 2 divide c/(-8) + -1 - o/44?
True
Suppose 5*v - 1919 - 5934 = -4*j, -5*j = 2*v - 9829. Suppose -2785 = -18*u + j. Is 24 a factor of u?
True
Let o = -1347 + 2242. Suppose -4*c = 5*t - o, -t + c - 23 + 202 = 0. Does 25 divide t?
False
Suppose -28 = -5*b - 3*h, b + 0*b - 3*h - 2 = 0. Suppose -1340 - 580 = -b*j. Let a = j + -153. Is 33 a factor of a?
True
Let x = -1602 - -7227. Is 75 a factor of x?
True
Let b(g) = 9*g**2 - 44*g - 5. Let a be b(5). Suppose -25*m + 2852 + 573 = a. Is 20 a factor of m?
False
Is ((-37650)/8)/(45/(-4) + 11) a multiple of 24?
False
Suppose -62*g + 81554 - 954 = 0. Is 52 a factor of g?
True
Let u = 26 - 22. Suppose 0*w = -u*w + k + 315, -4*k + 66 = w. Does 6 divide w?
True
Let j = 3481 + -2294. Is j a multiple of 10?
False
Let c = -4869 + 11491. Is 7 a factor of c?
True
Suppose -2*z + 3311 = -3*k, z - 25*k + 29*k - 1683 = 0. Is z a multiple of 8?
False
Let a = 40 - 42. Let r(z) = -z**3 + 3*z**2 - 10*z + 19. Let u be r(2). Is 14 a factor of 6/(u - 1) + (-406)/a?
False
Let t(f) = f**3 + 10*f**2 + 16*f + 11. Let g be t(-8). Suppose g*c - 2618 + 462 = 0. Is c a multiple of 12?
False
Let z be -1 - 1/2*-122. Suppose -3*h - v + 122 = 0, -h + 2 = -5*v - z. Is h a multiple of 14?
True
Suppose 10*u + 900 - 340 = 0. Let c = 56 + u. Suppose 4*g + l - 45 = c, -3*g + 5*l - 15 = -2*g. Does 2 divide g?
True
Suppose 21*b - 14*b = 4011. Let n = 813 - b. Does 20 divide n?
True
Suppose 3*b = 9*n + 1494, -4*b + n = 6*n - 2060. Is 5 a factor of b?
True
Let t(z) be the first derivative of -z**5/60 + 31*z**4/24 + 37*z**3/6 - 41*z**2/2 - 38. Let y(m) be the second derivative of t(m). Does 13 divide y(20)?
False
Suppose 2*i = 5*x + 23, 1 = i - 0*i + x. Suppose 3*z = -15, -4*l - i*z = -6*z - 106. Suppose -l*b = -29*b + 540. Is 12 a factor of b?
True
Let o be 3/(-15)*-1 - (-120)/25. Does 14 divide ((-68)/o + -2)/((-48)/160)?
False
Suppose -265*a - 42 = -268*a. Suppose -a*d + 12*d = -342. Is 19 a factor of d?
True
Let q be ((-2)/10 + 1)*(-280)/(-112). Suppose -n + 36 = -2*d - 18, -3*n + 194 = q*d. Does 31 divide n?
True
Suppose 79*r + 27 = 82*r. Suppose 0 = -r*o + 3*o + 888. Is o a multiple of 36?
False
Let t = -240 + 235. Let m be (-165)/(-2) + (-1)/(-2). Let b = m + t. Is b a multiple of 26?
True
Let x(y) = -y**3 + 11*y**2 + 26*y - 21. Let u be x(13). Let r = 219 - u. Is r a multiple of 25?
False
Suppose -3*g + 672 = g. Suppose 31*v - 1 = 5*d + 27*v, -4*v + 19 = d. Suppose b + d*b + g = 2*q, 4*q - 281 = -3*b. Is q a multiple of 9?
False
Let k be (11/(-2)*45)/((-45)/90). Suppose 117 = -9*i + k. Is i a multiple of 7?
True
Let q be 24*(-202)/(-6)*(-153)/(-68). Let p = q - 1024. Is p a multiple of 47?
False
Suppose 6*g - 26*j - 162951 = -29*j, 4*g - j - 108655 = 0. Does 146 divide g?
False
Does 3 divide (16/6)/(-8 + (-63228)/(-7902))?
False
Suppose 5*z - 100853 = -3*i, -2*z + 5*i - 1592 + 41958 = 0. Is z a multiple of 73?
False
Suppose -u = 57 - 22. Let p be 11186/u - (-4)/(-10). Does 20 divide ((-10)/8)/(10/p)?
True
Let d(w) be the first derivative of w**3/3 - 11*w**2 - 38*w - 111. Suppose 0 = -5*y + 5*j + 135, 2*y + 3*j - 46 = j. Does 9 divide d(y)?
False
Let f be 40/28*(-4)/((-12)/525). Let p = -106 + f. Is 8 a factor of p?
True
Let d = -1 - -1. Suppose -42*y = 53*y + 8*y - 206. Suppose 2*a + d*n = y*n + 124, -4*a + n + 233 = 0. Is 43 a factor of a?
False
Let f(y) = 850*y**2 - 538*y - 33. Is 22 a factor of f(5)?
False
Does 6 divide ((176/11)/4)/(4/1002)?
True
Let c(g) = -g**3 - 17*g**2 - 167*g + 5. Is c(-13) a multiple of 50?
True
Suppose -23414 = -4*n - 114*z + 115*z, 4*n + 2*z = 23420. Is n a multiple of 33?
False
Suppose -25*c = -74938 + 24688. Let f = -1031 + c. Does 23 divide f?
False
Let n = 214 + -171. Is n*1/((-3)/(-21)) a multiple of 31?
False
Let w(f) = 40*f**2 - 8*f + 5. Let g(h) = 12*h + 221. Let v be g(-18). Does 19 divide w(v)?
False
Suppose 6*t + 81 = 153. Suppose 2*m - 1464 = 2*y, -t = 22*y - 25*y. Is m a multiple of 8?
True
Let t be (-1)/(-2)*-1*-14 - 3. Suppose t*v + 5*r - 99 = 0, 3*r = 2*v + 2*v - 75. Suppose -7*f = -v*f + 364. Does 26 divide f?
True
Let y = -24 - -28. Suppose 0 = -3*p - v + 715, -2*v = y*p + v - 950. Suppose -211 - p = -10*r. Is r a multiple of 19?
False
Does 68 divide (-22)/(-44) + -2 + 4/((-40)/(-87735))?
True
Suppose 14*q = 23 + 47. Let s be (-23 - 15/q)*-17. Suppose -110 = -6*b + s. Is 9 a factor of b?
False
Let j(z) = -3*z**2 + 151*z - 302. Is j(30) a multiple of 7?
False
Let d be (52/(-16))/13 + 125/4. Suppose d*r - 3753 = -932. Is r a multiple of 14?
False
Suppose 2*o - 2*s = 20, 5*o + 2*s + 3*s - 60 = 0. Suppose o*h = 7*h + 1320. Is h a multiple of 33?
True
Suppose 4*y = -33*x + 38*x + 7724, 4*x - 7688 = -4*y. Does 6 divide y?
True
Suppose 0*b - 2*b - 192 = 0. Let s = -9441 + 9401. Let c = s - b. Is c a multiple of 5?
False
Let w = 1833 + -1241. Suppose -2*r + 5*p + 275 = 0, 4*r = -5*p + p + w. Does 29 divide r?
True
Suppose 114*h + 12*h = -35*h + 5732244. Is 46 a factor of h?
True
Does 207 divide 4/(-22) + (-595)/(-2244) + 437531/12?
False
Let x be (-72)/(-16)*6/(-9). Let b(u) = u + 4. Let l be b(x). Let t(z) = 61*z**3 + z**2 - 1. Does 23 divide t(l)?
False
Let n = 42 + -37. Suppose 4*a - 92 = -t, 2*a + n*t + 44 = 3*a. Suppose 85*g = 84*g + a. Does 6 divide g?
True
Let b = -373 - -423. Suppose -47*t = -b*t + 1518. Is 25 a factor of t?
False
Let j(w) = w**3 + 51*w**2 - 55*w - 228. Let s be j(-52). Suppose 0 = -h + 88 + 113. Let x = s + h. Is 17 a factor of x?
False
Let y(p) be the first derivative of p**4/4 - 22*p**3/3 - 9*p**2/2 - 64*p - 130. Is y(25) a multiple of 38?
False
Suppose 27 = 4*c - s, 4*s = 2*c - 4 - 20. Does 67 divide (c*-6)/(4/(-72))?
False
Suppose 112 = -5*o - n, -6*o + o = 4*n + 103. Let d(f) = -8*f - 92. Does 23 divide d(o)?
True
Let r = 94 + -92. Suppose -p + 5 = -2*x - x, r*x = 5*p - 12. Suppose -119 = -w + 4*u - p*u, 5*w + u = 573. Does 5 divide w?
True
Let o = -211 + -67. Let h = 390 + o. Does 14 divide h?
True
Let u = 50 - 45. Let t(d) = -43*d + 109. Let y(p) = 11*p - 27. Let a(m) = 2*t(m) + 9*y(m). Is a(u) a multiple of 29?
False
Let y be -2*(3 - 1)*-28. Let b = y - 183. Let m = b - -96. Is 3 a factor of m?
False
Suppose -701 = -x + u, -1403 = 6*x - 8*x + 3*u. Suppose -26*d - x = -19*d. Is 2/8 - 9275/d a multiple of 21?
False
Let l(h) = -168 + 0*h**2 + 6*h**2 + 9*h + 164. Suppose -3*d + 0*d - 12 = 0. Is l(d) a multiple of 9?
False
Suppose 5*d - 252 = 19*d. Let a be (-40)/(-60)*d/4. Does 5 divide 2 - (-24 + 15/a)?
False
Suppose 4*f = -26 - 22. Let r = 22 + f. Suppose -8*q = -r*q + 240. Does 20 divide q?
True
Suppose 3*d - 12 = 0, -5*d + 4010 = -2*o + 13622. Does 28 divide o?
True
Suppose 4*l + 6661 = 3*x, 5816 = 3*x + 3*l - 880. Suppose x + 978 = 5*h. Is 15 a factor of