206. Let u = 805 + m. Does 24 divide u?
True
Let d = -4 - 20. Let p be (d/(-18))/(-3 + 272/90). Let c = p - -10. Is 14 a factor of c?
True
Suppose 2*q + 5*r = 9*r + 27156, -2*r = -2*q + 27156. Does 30 divide q?
False
Let q(r) = 35*r + 98. Let d be q(-4). Is 13 a factor of (-344)/(-3612) - (-1 - (-66188)/d)?
False
Let x = -7479 - -15029. Is 51 a factor of ((-34)/(-85))/(2/x)?
False
Suppose -9*g + 62880 = s - 12*g, s + 5*g - 62888 = 0. Suppose -s = -30*q - 23133. Is 13 a factor of q?
False
Let l be (7/(-3))/(140/(-120)). Suppose -4*j + 852 = l*t, 7*j - 872 = 3*j + 3*t. Does 51 divide j?
False
Let n be (281 - -4)/(-5) + 1. Does 4 divide 508*(-7)/n - 1/(-2)?
True
Let x(l) = l**2 + 7*l - 1197. Does 17 divide x(-39)?
True
Suppose 0 = -2*y + t + 146, 0 = -4*y + 2*y - 3*t + 130. Suppose -3*v - y = 4*w - 401, -w = 4*v - 89. Does 19 divide w?
False
Suppose -11 = -5*i + 2*t, 2*i = -0*t + 3*t. Let g = -187 - -192. Suppose 0*u = -2*u - i*y + 82, -g*y + 164 = 4*u. Is 9 a factor of u?
False
Let q = 86 + -82. Suppose -r - 26 = -5*h - 0*h, -r - h + q = 0. Is 680/24 + -4 + r/3 a multiple of 12?
True
Let s = 112 - 77. Is 60 a factor of ((-1296)/189)/((-1)/s)?
True
Let g be ((-6930)/175)/(4/(-10)). Suppose q - g = 330. Is 10 a factor of q?
False
Let j(g) = 16*g + 21. Let w be j(-6). Let k = w + -56. Let d = 202 + k. Does 36 divide d?
False
Let f be -2*(-15)/20*(-28)/3. Let d(g) = -3*g - 42. Let x be d(f). Suppose -3*n - 5*p = -140, -4*n - 2*p + 168 = -x*p. Is 20 a factor of n?
True
Is (15 - (-1104)/(-80))/((-2)/(-5))*5698 a multiple of 14?
True
Let k(v) = -v**2 - 48*v - 175. Let x be k(-44). Let c(u) = -u**2 - 2*u + 159*u**3 + 6*u - u - 2. Is 18 a factor of c(x)?
False
Suppose 8*q = -9*q + 19051 + 6755. Does 14 divide q?
False
Let a be ((-2)/(-3))/(6/423). Suppose 51*i - 4 = a*i. Does 22 divide i/(-2*(-4)/(-528)*-2)?
False
Suppose -4*k - 12 = 0, 2*d + 2*k - 13 + 1 = 0. Suppose -d = 2*o + 1. Let j(b) = -b**3 - 3*b**2 - 7*b + 1. Does 8 divide j(o)?
False
Let n be 18*((1 - 1) + (-8)/(-24)). Suppose 2*f - 279 = -63. Let j = n + f. Does 38 divide j?
True
Let a be (-32)/(-8) + -3 - (0 - 25). Suppose -a*o = -22*o - 528. Does 33 divide o?
True
Suppose -280 = -y + 106. Suppose -3*s - y = 184. Let j = s + 294. Is j a multiple of 26?
True
Let d(g) = -g**3 + 17*g**2 + 2*g - 45. Let q be d(15). Suppose 0*h = -3*h + 3*f + 1269, -h - 5*f = -q. Is h a multiple of 25?
True
Let h be -18*-1*2/6*-1. Does 7 divide ((-9)/h)/(60/2080)?
False
Does 6 divide (-167846)/(-140) + -5 + (-3)/(-30)?
True
Let a = -43 + 83. Suppose 2*g + 160 = a. Let u = g + 164. Does 14 divide u?
False
Let u be (68/51)/((-2)/(-168)). Does 7 divide u/(-6)*(2 + (-176)/64)?
True
Suppose -3*f = f - 24. Let w be -110 - (43 + -53 - (-5 + 1)). Does 25 divide ((-3 + 12)*-1)/(f/w)?
False
Suppose 5*m - 35 = -5*j, -13*m - 8 = -12*m - 2*j. Suppose -5*d + 472 + 609 = m*z, -2*z = 3*d - 1087. Does 87 divide z?
False
Let i(b) = 98 + 6*b**2 + 104*b - 58 + 34 - 79*b + 87. Is i(-16) a multiple of 57?
False
Let d(r) = 7*r - 20. Let b be d(4). Let z(n) = b*n - 7 + 0 + 4*n - 3. Is 44 a factor of z(5)?
False
Let p(j) = 126*j**3. Let i be p(1). Let m(s) = -26*s - 1219. Let v be m(-47). Does 2 divide (i/v)/((9/(-6))/(-1))?
True
Suppose 29 - 15 = y. Suppose 2030 = y*f - 0*f. Is 29 a factor of f?
True
Is (-20 + -32)*(-1695)/10 a multiple of 113?
True
Suppose 0 = 76*l - 1112442 + 146475 - 158377. Is l a multiple of 16?
False
Is 4 a factor of (1 + 0)*(-197415)/(-45)?
False
Let o be (-6 - (-76)/8) + 12/8. Let s(f) = 88*f - 32. Is 29 a factor of s(o)?
False
Let l(z) = -z**3 - 7*z**2 - 3*z - 17. Let g be l(-7). Let k be (3/6)/(2*g/80). Suppose -2*h + 59 + 78 = k*x, 2*x - h - 53 = 0. Does 8 divide x?
False
Let c(n) = -n**2 + 17*n - 36. Let m be c(13). Suppose m*q - 8828 + 28 = 0. Is 11 a factor of q?
True
Suppose 0 = 30*d - 40*d + 20. Suppose 8*a - 9*a = -d*l + 531, -5*a = 15. Is 44 a factor of l?
True
Let a(i) = -4*i**2 + 54*i - 10. Let p = 20 - 10. Does 10 divide a(p)?
True
Let h(g) = 2*g**3 - 84*g**2 - 84*g - 31. Is h(43) a multiple of 12?
False
Suppose -t + 7*c = 3*c - 16, -5*t + 126 = 3*c. Suppose 2*u = 2*d - t, 3*d - 27 - 13 = 5*u. Suppose d*i = 113 + 927. Does 52 divide i?
True
Let y be (5 + 102/(-24))*-8. Let m(a) = 34*a**2 + 10*a. Is 79 a factor of m(y)?
False
Let t = -790 - -112. Let i = -265 - t. Is 7 a factor of i?
True
Let x(a) = -5*a**2 - 38*a - 17. Let g be x(-7). Let o(r) = 32*r**2 + 8*r - 34. Is 30 a factor of o(g)?
True
Let v = -5264 + 6443. Does 20 divide v?
False
Let f(c) = c**3 - 7*c**2 + c + 7. Suppose 41 = 4*h - 2*b - b, 5*h + 2*b = 34. Let s be f(h). Let d = -46 + s. Is d a multiple of 11?
True
Suppose -15*f + 35136 = -6*f. Does 5 divide f?
False
Let p = 1106 - -2149. Is p a multiple of 7?
True
Suppose 17*t - 267853 = 60*t - 1076640. Does 117 divide t?
False
Suppose 34*b = -9979 + 67507. Is 29 a factor of b?
False
Let g = -467 + -410. Let i = -583 - g. Does 13 divide i?
False
Suppose 22*r + 3 + 85 = 0. Does 54 divide 22/((-4)/34*r/12)?
False
Let w be ((-4)/(-3))/((14 + -32)/2592). Suppose 2*j + 4 = 10. Is ((-10)/8)/(j/w) a multiple of 16?
True
Let v = -754 - -243. Let n = -485 - v. Does 13 divide n?
True
Let i = -6171 + 7791. Is 9 a factor of i?
True
Suppose 11579 = s - 2*o, 633*o = -s + 632*o + 11573. Is s a multiple of 11?
False
Let o(l) = -35*l**3 - l**2 + l + 1. Let m = 52 + -53. Is o(m) a multiple of 8?
False
Suppose -41*y + 12138 = -24*y. Suppose 0 = 14*d - 7*d - y. Does 34 divide d?
True
Let y(p) = 215*p**2 + 102*p + 1321. Does 205 divide y(-12)?
False
Suppose -3*r + 0*r + 5175 = -5*c, -4*r - 3*c + 6871 = 0. Is r a multiple of 26?
False
Suppose 6 = 5*q + 31. Let c(x) = x**2 + 4*x + 11. Let v be c(q). Does 13 divide -2 + (v/12)/(2/81)?
True
Let f be (9 - -5) + (-74 - 1). Suppose 0*z - 548 = -4*z. Let w = f + z. Does 16 divide w?
False
Let f(g) = 7*g**3 + g**2 - 1. Let n(l) = -l**2 + 13*l - 1. Let z be n(13). Let q be f(z). Let y = q + 23. Is y a multiple of 2?
True
Suppose s + 4*v = -17 - 45, 0 = -s + v - 87. Let h be 1780/(-6)*42/(-35). Let c = h + s. Is c a multiple of 25?
False
Let s(p) = 3*p**2 + 11*p - 7. Let n be s(8). Suppose 0 = -6*t - 81 + n. Suppose -t*b = -28*b - 40. Is b a multiple of 10?
True
Suppose 794*h - 8859650 - 1769970 + 2531614 = 0. Does 13 divide h?
False
Suppose -4*a + 66 - 6 = 0. Let b(n) = -n. Let x(u) = u**2 - 3*u + 29. Let y(d) = 6*b(d) + x(d). Does 7 divide y(a)?
True
Let j(x) = -25600*x**3 - 2*x**2 - 24*x - 22. Does 64 divide j(-1)?
True
Let h = 788 - -911. Suppose -4*m + 0*m = 5*p - h, 2*p = -m + 682. Suppose -p = -5*v - 2*v. Does 32 divide v?
False
Let v = 12 - 10. Suppose -11 - 1 = -6*p. Suppose -38 = -v*t + p*j, -t = -j - 2*j - 29. Is 6 a factor of t?
False
Suppose k - 189 = -3*w, -13*k - 3*w = -14*k + 195. Suppose b - 1676 = -3*u, u - 740 = 5*b - k. Does 23 divide u?
False
Let c = 430 + -430. Suppose c = 3*q + 6, 3*z - 2*q - 52 = -z. Is 2 a factor of z?
True
Let f = 12095 + -9374. Does 52 divide f?
False
Let o(k) = -73*k + 150. Let f be o(-27). Let a = 3179 - f. Is a a multiple of 23?
True
Suppose 4*f + 5*g - 25995 = 0, -59*g + 64*g + 6480 = f. Is 15 a factor of f?
True
Let f(n) = n**3 + 18*n**2 - 21*n + 28. Let j be f(-22). Let t = j - -2118. Is 42 a factor of t?
True
Let m(y) = -31*y - 363. Is m(-13) a multiple of 20?
True
Suppose 1051 = 15*c - 3449. Let s = 783 - c. Does 6 divide s?
False
Suppose 3899170 = 501*x - 133*x + 740626. Does 22 divide x?
False
Let m = -19 - 6. Let v be (-36)/15 + 2 - (-1215)/m. Let d = v - -77. Is d a multiple of 6?
False
Let z = 8 - 7. Suppose -2*u + 17 = z. Is 35 a factor of -30*((-28)/u)/(-1 - -2)?
True
Suppose 4*h = -2285 + 9765. Suppose -3*a + 4*l + 766 = -a, h = 5*a - l. Is a a multiple of 25?
False
Let f = 44 + -41. Let c = 250 + -191. Let g = c + f. Is 9 a factor of g?
False
Let t = -1650 + 4530. Does 15 divide t?
True
Let n = 53 - 52. Let v be n*(-9)/21*-7. Is 25 a factor of ((-4)/(-2) - (-36 + 1))*v?
False
Suppose -268*a = -270*a + 8178. Is 25 a factor of a?
False
Let c = -436 + 467. Let m = c + 343. Is 30 a factor of m?
False
Let p(z) = -8*z**3 - 5*z**2 - 15*z - 6. Let k(m) = -18*m**3 - 11*m**2 - 31*m - 14. Let g(t) = -2*k(t) + 5*p(t). Is 8 a factor of g(-4)?
False
Let d(r) = -96*r + 178. Let s be d(-21). Suppose s - 146 = 16*p. Is 32 a