 + 48, 3*g - w - 17 = 0. Suppose g*f = -3*f + 270. Suppose -f*n = -29*n + 352. Is n a multiple of 44?
True
Suppose -118 = 10*k - 1108. Let m = k - 77. Does 13 divide m?
False
Suppose -251*t + 2142818 = 137544 - 36862. Does 12 divide t?
True
Let l(w) = w**2 - w + 6. Let g be l(-3). Suppose -g = -c - 5*d, 3*c - d = 21 + 97. Is c a multiple of 8?
False
Let r = -6453 - -10589. Suppose -i + r = 10*i. Does 11 divide i?
False
Suppose -181*r + 267680 = 7*r - 28*r. Does 3 divide r?
False
Does 208 divide 8985 + (-2)/8 + 34/136?
False
Let a = -12609 + 14886. Does 9 divide a?
True
Let t = -2614 + 2693. Suppose 0 = 5*a + 146 + 194. Let u = a + t. Is 6 a factor of u?
False
Suppose 3*k = 28*b - 13*b + 33576, -4*k = -b - 44692. Is k a multiple of 61?
False
Let x = 12356 + 20838. Does 99 divide x?
False
Let m = 185 - 130. Let u = 85 + m. Suppose -g + u = g. Is 7 a factor of g?
True
Suppose 3*h - 90 = -12*h. Suppose 0 = h*o - 1715 + 155. Is o a multiple of 6?
False
Let s = 175 + -418. Suppose 14*g = 5*l + 7*g - 1880, 0 = 3*l + g - 1102. Let x = l + s. Does 42 divide x?
True
Suppose 2*w - 7*w = 2*j + 9, 4*j - 52 = 4*w. Suppose q - 2*s = 37, 3*s - j*s - 25 = 0. Let v = q + 179. Is v a multiple of 37?
False
Does 4 divide 92/(-115) + (-4936)/(-20)?
False
Suppose -440190 = 9*t - 82*t. Is t a multiple of 15?
True
Let z(l) = -46*l - 1299. Is 35 a factor of z(-64)?
True
Let z = 11713 + -7379. Is z a multiple of 3?
False
Suppose 600730 = 11*l + 88*l - 193448. Is l a multiple of 94?
False
Is 9 a factor of -7198*((-12)/(-8))/((-52)/8 - -5)?
False
Let i(p) = 3*p - 4 - 14*p**2 + 8*p**2 + 1 + 8*p**2 + 14*p**3. Does 12 divide i(3)?
False
Let o(b) = 979*b**2 + 57*b - 141. Is 72 a factor of o(3)?
False
Let j = 2815 - 724. Does 14 divide j?
False
Let g(w) be the third derivative of w**8/6720 - w**7/2520 + 47*w**5/60 + 5*w**4/8 + 15*w**2. Let p(l) be the second derivative of g(l). Does 37 divide p(0)?
False
Let v be -3*(5 + -9 - -5). Does 34 divide ((405/(-10))/v)/(12/272)?
True
Let q = 4577 - 1440. Does 8 divide q?
False
Let r(b) = b - 10. Let n be r(12). Suppose -141 = -n*g + 347. Is 8 a factor of g?
False
Suppose 3*a = 6, -1676 = -4*g + 4*a + 3420. Is g a multiple of 50?
False
Let a(q) = 48*q**2 + 44*q - 606. Does 67 divide a(12)?
True
Suppose -53 = -15*w + 22. Suppose -2 = x - w, -2*g = 3*x - 239. Does 21 divide g?
False
Is (-10)/4*18676944/(-1170) a multiple of 11?
True
Suppose 0 = -26*n - 104614 + 130853 + 354921. Is 80 a factor of n?
False
Let o be ((-10)/15)/((-55)/15 - -4). Is 13 a factor of ((-1260)/(-75))/((-74)/40 - o)?
False
Let i = 193 + -114. Let q = i + -79. Suppose q = -35*z + 33*z + 160. Does 17 divide z?
False
Suppose 2*h - 6*g - 9476 = -2*g, 2*g = -3*h + 14270. Does 216 divide h?
True
Suppose 132838 = 259*w + 152*w - 329537. Is 125 a factor of w?
True
Let a(n) = n**3 + 15*n**2 - 16*n + 4. Let z be a(-16). Suppose -4*w + 192 = -5*q, -4*q = -3*q + z. Is 18 a factor of (w - -2)*(-12)/(-10)?
True
Suppose -66*b - 832 = -14*b. Suppose -5*n + 2*z = 261, -5*n + 10*n + 3*z + 246 = 0. Let j = b - n. Is 30 a factor of j?
False
Let z(m) = -m**3 + 7*m**2 - 9*m + 12. Let r be z(6). Is 2 a factor of (-16 + r)*(3/(-6) + 0)?
False
Suppose 0*s + 7 = -7*s. Let x be (-1498)/s + (-12 - -9). Is 4/(-18) - x/(-45) a multiple of 11?
True
Suppose 3*f + 1 - 7 = 0, 3*d + 8632 = 5*f. Let a = 4746 + d. Is a a multiple of 18?
True
Let k = -26 - -30. Let r(i) = -28 + k*i - 11*i + 2*i + 235. Is 13 a factor of r(0)?
False
Let s(q) = -4365*q - 3252. Does 15 divide s(-3)?
False
Let v be ((-10)/(-8))/(1/36). Let m be (0 + (-30)/(-20))/(2/28). Suppose 3*j - m = v. Does 11 divide j?
True
Let h(c) = 4*c - 2. Suppose 0 = 6*i - i - 10. Suppose -i*k + 0 = -2. Is h(k) even?
True
Suppose 73*p - 171*p + 707112 = -77*p. Is 42 a factor of p?
False
Suppose -4*d + 2*d + 4 = 0. Let i(t) = 2*t**3 + 3 - t**2 + 6*t**2 + 2 - 11*t**d + 5*t. Does 26 divide i(5)?
True
Is 21/(-15) - -2 - (-2070720)/1800 a multiple of 3?
False
Let g = 75 - 150. Let a = g + 84. Does 9 divide a?
True
Let f = 0 + 5. Suppose 13*b + 81 - 133 = 0. Suppose 2*x - 50 = -b*o, -13 = -6*o + f*o - x. Is 8 a factor of o?
False
Let c be (-24)/32 - (-3)/4. Suppose 6*d - 2581 + 421 = c. Suppose -d = -5*h - 0*h. Is h a multiple of 18?
True
Let a(u) = -5*u + 117. Let r be a(23). Is 24 a factor of ((-12)/r + 1)*4842/(-90)?
False
Is 84 a factor of ((-1296)/(-7))/(140/3430)?
True
Let h = 5167 + -2423. Is h a multiple of 55?
False
Let f(g) = 3*g**2 - g - 3. Let a be f(5). Let v be -3 + 0 - 12*(-24)/(-18). Let h = v + a. Does 24 divide h?
True
Suppose -5*j + 4070 = b, 2981 = 5*j + 3*b - 1089. Suppose -9*g + l = -12*g + j, 0 = 3*g - l - 806. Does 30 divide g?
True
Let h = 393 - 8. Suppose -24*y = -23*y - h. Is 7 a factor of y?
True
Let f(g) = -6*g + 6*g - 37*g - 10 - g**2. Is 15 a factor of f(-20)?
True
Let z(w) = 17*w - 9. Let l be z(-5). Let j = l + 161. Let u = -52 + j. Is u a multiple of 15?
True
Suppose -3*h + 371 = -193. Suppose -3*v + 5*j + 658 - h = 0, -5*v + 5*j + 770 = 0. Is v a multiple of 6?
True
Let c = 18 - 22. Let a(j) = 21*j**2 + 7*j + 13. Is 32 a factor of a(c)?
False
Suppose 8*q - 11764 = 5*q - i, -3*i = -3. Does 19 divide q?
False
Let p(b) = b**3 + 16*b**2 + 25*b + 5. Is p(-6) a multiple of 3?
False
Let s = 10 - 13. Let n(h) = 15*h + 11. Let q be n(s). Let m = q - -90. Does 16 divide m?
False
Let b(q) = 11*q - 26. Let t be 1/(-4) + (-195)/52 - -8. Is 11 a factor of b(t)?
False
Suppose 2*x = -5*r - 37, -4*x - 21 = -x - 4*r. Let i be -156*(x/4 - -1). Suppose 5*f - b = 4*b + 415, -5*b = 3*f - i. Does 11 divide f?
False
Let h = -19247 - -24649. Is 37 a factor of h?
True
Suppose 5*l - 1242 - 1379 = -2*t, 5*t - 6512 = l. Is 4 a factor of t?
False
Let s be -4*(-20)/(-8)*-2. Suppose 0 = -7*a + s*a - 4992. Is 16 a factor of a?
True
Let a(y) = -2*y**3 - 10*y**2 + 31*y + 70. Is 19 a factor of a(-17)?
True
Suppose -17*q = -15*q - 2. Suppose 2*f - 5*z - q = 380, 509 = 3*f + 5*z. Suppose -s + f = s - j, 4*j = 0. Is 14 a factor of s?
False
Let b(j) = -9*j - 48. Let n be b(-4). Is 36 a factor of n/(13/(1196/(-8)))?
False
Let i(c) = 22*c**2 + 5*c - 1. Let y be i(2). Let v = -55 + y. Is 3 a factor of v?
True
Let w be ((-60)/(-16) - 3)/(10/1120). Let h = 44 + 131. Let j = h - w. Is 7 a factor of j?
True
Suppose 4*c = -4*r + 40389 - 4273, 4*c - 36012 = 9*r. Does 31 divide c?
True
Suppose -5*g = -5*r + 27120, 21692 = 11*r - 7*r - 3*g. Is r a multiple of 33?
False
Let w = -349 + 357. Suppose 2*d = w, 8*m - 4*m + 2*d = 3356. Is m a multiple of 20?
False
Let h(i) = -7*i**2 - 285*i - 18. Is 12 a factor of h(-9)?
True
Let r = -160 - -165. Suppose 9*t - 960 = r*t. Does 40 divide t?
True
Let z be 21/12 - 2/(-8)*1. Let r(o) = o + 14*o**z - 12*o**2 + 30 - 2*o + 3*o. Is 30 a factor of r(9)?
True
Let d = 1575 - 1204. Does 53 divide d?
True
Let j(s) = -10*s - 28. Let h be j(-3). Suppose -4*g - g - k = -2847, 0 = -h*k - 6. Suppose -5*i - i + g = 0. Is i a multiple of 12?
False
Suppose 3*n - 84 = -9*n. Suppose -2*f + 4*k = -740, 0 = 10*f - n*f + 3*k - 1155. Is f a multiple of 18?
False
Suppose -42347 = -4*s - 11*u + 14*u, s + u - 10578 = 0. Is s a multiple of 13?
False
Let o(r) = 5*r**2 - 28*r - 69. Is 52 a factor of o(-24)?
False
Suppose 0 = -6*l + 80 + 106. Let r = l - -125. Suppose -2*z + 132 = 2*i, -2*i + r = -0*i - 4*z. Does 11 divide i?
False
Let f be 401 + -4 + (-3 - 0) + 1. Suppose f - 3779 = -9*x. Is 47 a factor of x?
True
Suppose 7*y - 13*y + 540 = 0. Let u = y - 21. Is (-20)/30 + u/9 + 2 a multiple of 3?
True
Let f(a) = -169*a + 1059. Is 9 a factor of f(-17)?
False
Suppose 5*t + 11071 = 4*o, -o + 5*t + 2319 = -430. Does 54 divide o?
False
Let j be 499 + 0 + -1 + -3. Suppose 513 + j = 4*d. Let n = d - 132. Does 24 divide n?
True
Does 72 divide (48/(-30))/(4/(-540))?
True
Let d(i) = 12*i**2 - 1135*i - 20. Is 26 a factor of d(96)?
True
Suppose 7*l - 21 = 5*n + 9*l, n + 6 = -l. Does 8 divide ((-120)/(-16))/n + (-842)/(-4)?
True
Let f(w) = -w**3 + 28*w**2 - w + 57. Is f(27) a multiple of 7?
False
Suppose -3*x + 2*j + 185 = 3*j, 2*x - 4*j - 142 = 0. Let s(c) = c**3 + 9*c**2 - 9*c. Let w be s(-5). Does 21 divide (5 - w/15)/((-2)/x)?
True
Let r(c) = -c**3 + 19*c**2 + 7*c + 6. Let m be r(9). Suppose 5*t - 4*a = 859, -m = 2*t - 7*t - a. Does 5 divide t?
True
Let s(w) = 