0 = 0, -2*x + 30553 = 3*t - 104575. Is 12 a factor of t?
True
Suppose -84*s + 109*s - 144000 = 0. Is 20 a factor of s?
True
Let y(q) = q**3 + 5*q**2 - 13*q - 24. Let a be y(-3). Let c be (-2 - -2)/(-2 + 0). Suppose -z - 67 = -3*m, c = 4*m + 3*z - 118 + a. Is m a multiple of 12?
False
Suppose 30*y - 28436 = 88144. Is y a multiple of 111?
False
Let r = 262 + -70. Suppose 4*p - 5*l - 135 - r = 0, -l - 165 = -2*p. Does 14 divide p?
False
Let a = -69 - -83. Suppose -y - a + 93 = 2*o, -3*y = 2*o - 81. Suppose -3*h - o = -4*v + 126, 4*v - 5*h - 171 = 0. Is 15 a factor of v?
False
Let m = 223 + -204. Suppose 4 - m = -3*t, -4*t + 134 = d. Is 19 a factor of d?
True
Suppose -2*u - 4*b = 16, -20 = -u + b + 4*b. Let d be 0/((-4 + 1)*30/45). Suppose 3*r + 2*v - 455 = u, d = -12*r + 9*r - 5*v + 449. Is r a multiple of 8?
False
Suppose 4*y = -5*v - 17, -5*y = -5*v - 31 + 86. Let n be y - -7 - (-6 - -3). Suppose -n*o - 32 = -202. Is 8 a factor of o?
False
Let t(d) = d + 14. Let m be t(-15). Is (6 - m)/(-4 + (-84)/(-20)) a multiple of 7?
True
Does 10 divide (5 - 23898/(-24)) + 14/(56/(-3))?
True
Suppose 5*g - 3*t - 153 = 318, -4*g + 4*t + 380 = 0. Suppose -o - 2*v = -g, 6*o - 5*v = 4*o + 213. Is 33 a factor of o?
True
Let q(n) = -n**3 + 7*n**2 + 9*n - 5. Let g be q(8). Suppose g*i - a + 124 = -2*a, 3*i = -3*a - 120. Is i/(-21) + (250/2 - -1) a multiple of 33?
False
Is 13 a factor of (-5 - 13)*(56/(-24))/(2/234)?
True
Let q = -73 - -75. Suppose -171 = -q*k + 1469. Suppose -94*o + k = -89*o. Is 34 a factor of o?
False
Let v = 171 + -164. Let p = 9 + v. Does 8 divide p?
True
Suppose 4*n - 128 = -3*a + 67, a - 50 = -n. Suppose -245 = -2*g - n. Does 20 divide g?
True
Suppose 15 = 5*y - 2*v + 6*v, 0 = -2*v. Let c(a) = 84*a - 44. Is 13 a factor of c(y)?
True
Let c(f) = 62*f**2 - 90*f + 20. Is 19 a factor of c(10)?
True
Let q = 45 + -42. Suppose 4*f = -q*d + 41, -6*f = -2*f - 20. Is (-7)/d*(-39)/3 a multiple of 7?
False
Let y = 42 - -104. Suppose -3*b + 107 = -j, j + 2*j = 4*b - y. Suppose -5*x = -10*x + b. Is x a multiple of 2?
False
Let t(s) = -s - 3. Let v be (2/7 - 142/56)*4. Let a be t(v). Let q(r) = -3*r**2 + 19*r - 3. Is 2 a factor of q(a)?
False
Suppose 159*x - 648148 = 35*x. Is 13 a factor of x?
False
Is -9*(-7)/(-3) - -897 a multiple of 2?
True
Let f = -48 + 48. Suppose f = -5*w + 13*w - 2504. Does 16 divide w?
False
Suppose 81*g = -26*g + 534 + 215. Suppose 4*v = -2*y + 28, v - 2*v - 92 = -4*y. Suppose y = g*f - 69. Does 2 divide f?
False
Let k(y) = -y**2 - 17*y + 20. Let v be k(-18). Let w be (-7182)/(-7)*1/v. Suppose -5*f + 337 = -w. Does 34 divide f?
True
Let x = 90196 - 48880. Is 44 a factor of x?
True
Suppose 41*b - 95*b + 17010 = 0. Suppose b*d - 13230 = 305*d. Is d a multiple of 27?
True
Let y be ((-20)/(-15))/((-8)/(-18)). Let o(c) = c**3 - 4*c**2 - 12*c + 2. Let g be o(6). Suppose 210 = g*l + 3*w, y*l + 4*w - 428 = -l. Is l a multiple of 16?
False
Suppose -2*b - 2*y + 67 = -117, 0 = 5*b - 4*y - 442. Is 4 a factor of b?
False
Suppose -553 - 1715 = -4*v. Suppose -4*z - 383 + 1149 = 2*n, 3*z - n - v = 0. Is z a multiple of 10?
True
Does 45 divide (-32288)/12*27/(-18) + -1?
False
Suppose 4*r + 5*v = 3485, 4082 = 4*r - v + 603. Is 10 a factor of r?
True
Suppose -3*h + 11105 + 8162 = 5092. Is 35 a factor of h?
True
Suppose -2*u - 3*u + 8138 = -2112. Is 14 a factor of u?
False
Let m(y) = 28*y**3 - 5*y**2 - 8*y - 3. Let p be m(-5). Is 2 a factor of 0 - (4/(-7) - p/(-91))?
True
Suppose -13230 = -4*w - 5*b, 0 = 54*b - 52*b - 12. Is w a multiple of 44?
True
Let u be -1 - (-6)/((-2)/(-1)). Let s(l) = 99*l + 16. Let q be s(8). Suppose -2*o + q = u*o. Does 34 divide o?
False
Let b(l) = -17*l - 79 + 46 + 67. Suppose -4*a = -3*a + 5. Does 17 divide b(a)?
True
Let q(h) = 8*h + 691. Does 21 divide q(58)?
True
Let c(t) = t**2 - 42*t + 1694. Is 81 a factor of c(79)?
True
Is 14795 - (-1)/(-6 - (-22)/4) a multiple of 48?
False
Suppose 5*p = -5*n + 12240 + 53380, 5*p - n - 65584 = 0. Does 99 divide p?
False
Let j be -39 - 8/(-20)*-5. Let o = 43 + j. Suppose 15 = -o*n + 87. Does 9 divide n?
True
Let u = 18021 - 7141. Is 16 a factor of u?
True
Suppose -86*i = -110*i + 153768. Does 34 divide i?
False
Suppose i = 5*n + 12, 3*n = 4*n - 3*i + 8. Is n + 5 + 1 + 79 + -3 a multiple of 10?
True
Let x = -8 + 10. Suppose -x = -s + 3. Let k = s + 20. Does 5 divide k?
True
Suppose -3*n - 187 = -2*o - 41, 47 = o + 5*n. Suppose o*b = 69*b - 4. Is 2/(-7) - (1656/(-14) - b) a multiple of 30?
True
Suppose 2 = -4*z - 18, -162 = 2*m + 4*z. Let h = m + 76. Suppose -476 = -h*c + 49. Is c a multiple of 35?
True
Let l(y) = -15*y**3 + 44*y**2 + 174*y - 27. Does 4 divide l(-5)?
False
Let s(a) = 41*a**2 + a. Let i be s(1). Suppose -i - 15 = -j. Let c = 204 - j. Does 21 divide c?
True
Let x(r) = 31*r**3 + r**2 + 3*r + 1. Let c be x(-1). Let o = 154 - c. Suppose 10*a = 12*a - o. Is a a multiple of 14?
False
Is ((-16038)/165)/(0 - 3/60) a multiple of 27?
True
Let b be -2 + 3 + 6 + -1 + -6. Suppose -4*u - 233 + 4481 = b. Suppose -6*o + 150 = -u. Is 23 a factor of o?
False
Let z(k) = -k**2 + 2*k - 60. Let c(x) be the second derivative of -x**3/6 - x**2/2 - x. Let n(u) = -2*c(u) - z(u). Is n(0) a multiple of 19?
False
Suppose 2211 + 1475 = 2*l + 3*a, 0 = -4*a. Is l a multiple of 30?
False
Let h = 33 + -2. Let j = h + -15. Is 9 a factor of 0/(-7) + (j - -1)?
False
Suppose -824*i = -822*i - 2096. Is i a multiple of 12?
False
Let f = 290 - 286. Is 7 a factor of ((-1015)/15)/(f/(-12))?
True
Let g be 21/(-3) + 15 - 2. Suppose 17*d - 5*q = 19*d - 855, -g = 2*q. Does 13 divide d?
False
Suppose 4*w - 217 = -3*y - 34, -5*y - 4*w = -297. Suppose 3*x = -4*q + 6*x + 111, 2*q - x = y. Is q even?
True
Let v = 21 - 18. Suppose 0*u + v*u = 126. Suppose -u = -5*q - q. Is 2 a factor of q?
False
Let y = -6722 - -11166. Is y a multiple of 19?
False
Suppose 1 = -4*j + 5*m - 11, -4*m = -5*j - 24. Let n(i) be the first derivative of i**4/4 + 7*i**3/3 - 4*i**2 + 13*i + 194. Does 8 divide n(j)?
False
Suppose 599*h + 133650 = 626*h. Is h a multiple of 66?
True
Let a(m) = -m**2 + 5*m - 2. Let t be a(3). Suppose i - 4*w - 16 = -i, t*w + 18 = 3*i. Suppose i*y - 93 = q, 0*y - 2*y - 5*q = -75. Does 17 divide y?
False
Suppose -410654 = 44*y + 747778. Is 29 a factor of 3 + y/(-36) + 8/(-6)?
False
Suppose 54*y - 1119847 = -51619. Is y a multiple of 55?
False
Suppose j - 28 = 1. Suppose -o - 37 = 5*g, 4*o - j + 102 = -5*g. Is 17 a factor of 40 - ((-4)/8)/((-2)/o)?
False
Let k = -88 - -88. Suppose v + k = 3. Suppose -3*r - 4*a - 70 = -4*r, -2*r = v*a - 162. Is r a multiple of 46?
False
Suppose -3*l + 6 = -0*l, -3*w + 3*l = 0. Suppose -2*g + 660 = w*v - 0*v, -3*v = 4*g - 994. Is v a multiple of 25?
False
Suppose 0 = 2*j + 5*v - 56, -4*v - 140 = 4*j - 9*j. Suppose 2928 = -j*k + 32*k. Does 12 divide k?
True
Suppose -5*w + 941 = -2*y, w - 185 = -0*w + 2*y. Let x = w - 81. Does 9 divide x?
True
Let f(b) = -b**2 + b - 2. Let q be f(0). Suppose -7*p - 95 = -11. Does 17 divide ((-100)/(-8))/(q/p)?
False
Let f be (-2 - -504)*26/52. Let v = 39 + f. Is v a multiple of 19?
False
Suppose 2*w = -i + 7 - 8, 0 = -5*w - 4*i - 4. Suppose 17*c = -w*c + 4029. Does 9 divide c?
False
Suppose -18*k + 87*k = 26*k + 33024. Is k even?
True
Let u be ((-69)/(-138))/((-1)/(-6*1)). Suppose -5*t - 2*c + 3507 = 0, -c + 1191 = u*t - 913. Does 66 divide t?
False
Let v = -9 - 3. Let q be -124 - v/3 - 0. Is 12 a factor of (-20)/q - 430/(-12)?
True
Let w = -750 - -1265. Let g = 898 - w. Is g a multiple of 24?
False
Suppose -4551 = -5*y + 2644. Is 20 a factor of y?
False
Let r(s) = 65*s**2 - 251*s + 168. Is 47 a factor of r(-23)?
True
Suppose 5*v = 2*a + 510, 24 - 4 = -4*a. Suppose 0 = -116*n + 111*n - v. Is 7 a factor of 99/4 + 2 + (-5)/n?
False
Suppose -4*r = -2*y - 12, 40 = 6*y - y + 4*r. Suppose -30 = -4*l + 9*d - y*d, 0 = -2*l - 4*d + 2. Suppose 0 = 2*p + l*p - 350. Is 10 a factor of p?
True
Suppose -35*k = -14*k - 29442. Suppose k = -i + 1632. Does 30 divide i?
False
Suppose o + r = -2 + 3, -r = -2*o + 8. Suppose s - 31 = -3*s - o*y, -y + 5 = 0. Suppose -4*v + 9*v = t + 268, 2*v - 100 = s*t. Is 9 a factor of v?
True
Let p(i) = i**3 - 5*i**2 + 9*i - 44. Let r be ((-5)/10)/((-4)/56). Does 2 divide p(r)?
False
Let r = -180 + 376. Let k = r + 117. Does 26 divide k?
False