 u = -4694 + 7151. Does 7 divide u?
True
Let y(i) = 19*i + 32. Let r be y(8). Does 54 divide (-1 + 0)/((r/864)/(-23))?
True
Let t be (-32)/24*6/4. Let d(c) = -3*c + 14. Let q be d(t). Suppose -q = 7*h - 1553. Is 40 a factor of h?
False
Suppose 196 = 4*p + 908. Let y = 43 - p. Is 9 a factor of y?
False
Suppose -55 = 9*v - 14*v. Let x(o) = 14 + 0*o + 3*o + v - 2*o. Is 19 a factor of x(-6)?
True
Suppose -g + 11*h = 15*h + 1614, g = -3*h - 1610. Let z = g - -2486. Is z a multiple of 8?
True
Let d(y) = y**3 + 11*y**2 + 27. Suppose 0*a - 128 = 16*a. Is 7 a factor of d(a)?
False
Suppose 3*n - 3*m + 130829 = 7*n, -6*n + 196251 = -3*m. Is 148 a factor of n?
True
Let z be 3*(-2)/(-3) - (-2)/2. Suppose -19 + 70 = z*b. Let x(y) = 9*y - 43. Is 10 a factor of x(b)?
True
Let c = 500 - 497. Suppose c*i + 68 - 962 = 0. Does 16 divide i?
False
Let t be (-6)/3*2 - -7. Suppose 15*f - 4212 = -t*f. Is 9 a factor of f?
True
Let n(m) = m**2 + 4*m - 92. Suppose 0 = -w - 15*w. Let y be n(w). Let r = -57 - y. Is r a multiple of 7?
True
Let v(z) = z**2 + 12*z + 519. Is v(0) a multiple of 4?
False
Let i = 12980 - 5779. Does 35 divide i?
False
Let x(k) = -k**3 + 20*k**2 - 13*k + 40. Suppose -v = -2*r - 13, 0 = -v + 5*v - 2*r - 70. Is x(v) a multiple of 14?
True
Is -1*(32279/(-4) - (-24)/32) a multiple of 11?
False
Suppose -5*u + 666 = -14*u. Let l = 169 + u. Does 5 divide l?
True
Let b = -683 - -1187. Suppose 5*p - 1406 - b = 0. Is p a multiple of 25?
False
Let k = -6577 + 12161. Does 30 divide k?
False
Let m(u) = 495*u**2 + 3*u - 35. Does 9 divide m(-5)?
False
Let u(o) = 4*o**2 + 7*o - 13. Let r = 31 - 33. Let x be (-21)/5 - 6 - r/10. Is 63 a factor of u(x)?
False
Let p(d) = -d**3 - 27*d**2 - 20*d - 87. Is p(-34) a multiple of 15?
True
Suppose -2*v + 18 = v - 3*x, 0 = -5*v + x + 34. Let i(f) = 0*f + 24*f + v + 7*f. Is 33 a factor of i(8)?
False
Is 38 a factor of (-4)/(-5) + ((-5325984)/30)/(-24)?
False
Let w = -36 + 31. Let f = w + 0. Let h = f - -54. Is 16 a factor of h?
False
Suppose -2*v = 9*v - 308. Does 22 divide -1 - v*(-2 + -6)?
False
Let o = -100 - -93. Is 16 a factor of (45/(-30))/(((-21)/(-542))/o)?
False
Suppose 5*o + 3*k - 156 = -401, -o = -k + 49. Let g = 52 + o. Suppose g*w + 2*w = 2*u + 839, 5*w + u - 848 = 0. Is w a multiple of 40?
False
Let j = -5 + -5. Let p be ((-8)/j)/((-26)/(-65)). Suppose -3*n - 5*w + 432 = 0, -n - p*w - 40 + 184 = 0. Is 18 a factor of n?
True
Let p = -2850 + 5202. Is 14 a factor of p?
True
Let o(y) = -2*y + 26. Let h be (0/(-4))/(3*-1) - -11. Let w be o(h). Suppose 4*j = -a - 2*a + 592, 0 = -w*a - 5*j + 788. Is 9 a factor of a?
False
Let x = -4035 - -2867. Let j = 20 - x. Is 66 a factor of j?
True
Suppose 4*i + 3*r = 5*i + 10, 2*i - 5*r = -15. Let f(w) = w**3 - 4*w**2 - 3*w - 11. Let h be f(i). Is 1 + (h/4 - 865/(-20)) a multiple of 11?
True
Let z(s) = 50*s + 5. Let m(a) = -a**2 - 21*a + 2. Let w = -36 + 15. Let y be m(w). Is z(y) a multiple of 21?
True
Is 115 a factor of -10*((-2217)/6 + -6 + 6)?
False
Let s(u) = -u**3 - 5*u**2 - 6*u + 20. Let h be (((-60)/(-18))/(-1))/((-1)/(-3)). Is 13 a factor of s(h)?
False
Let p(y) = y**3 + 28*y**2 + 100*y + 75. Is p(-8) a multiple of 46?
False
Let i = -9480 - -9581. Let k be 2*-1 + 7*-7. Let p = i + k. Is 10 a factor of p?
True
Let s(z) = 2*z**3 + 7*z**2 + 2*z + 12. Let p be s(-5). Let o = 123 + p. Let w = 96 - o. Does 4 divide w?
False
Let d be -1*14/4*-70. Suppose 244*s = d*s - 185. Is 5 a factor of s?
True
Let r be 573/5 - 2/(-5). Let s = -73 + r. Does 7 divide s?
True
Is 2/((4 - (-19)/(-5))*(-5)/(-926)) a multiple of 6?
False
Suppose 0 = -4*n + 54 + 42. Let w = -7764 - -7800. Suppose -w = -4*x + 3*r + 2*r, -2*x + r = -n. Does 14 divide x?
True
Let w(v) = 18*v**2 - 79*v - 304. Is 4 a factor of w(-4)?
True
Suppose -13646 = -17*s + 13*s + 3*l, s = 3*l + 3416. Does 31 divide s?
True
Let w(x) be the second derivative of -5*x**4/24 + 35*x**3/6 - 8*x**2 - 8*x. Let o(u) be the first derivative of w(u). Is 30 a factor of o(-11)?
True
Let n = 395 - -64. Let f = n - 283. Let p = f - 122. Is 18 a factor of p?
True
Let q(o) = o**3 - o**2 - 2*o + 2. Let h be q(1). Let k(s) = -2 - 7 - 3*s**3 + h - 2*s**2 + 7. Is 2 a factor of k(-2)?
True
Suppose -12*h - 1176 = 2*h. Suppose 787 + 458 = 5*d. Let f = d + h. Is f a multiple of 15?
True
Suppose 5*f - i = 112058, 277*i + 16 = 275*i. Does 27 divide f?
True
Let y be (-210700)/(-525) + -1*(-1)/(-3). Suppose -11919 - y = -22*b. Does 16 divide b?
True
Let f(j) be the third derivative of 4*j**5/15 - 5*j**4/8 - 26*j**3/3 + 52*j**2. Is 88 a factor of f(-4)?
True
Let j = -6186 - -9019. Does 59 divide j?
False
Let s(q) = q**3 + 51*q**2 + 90*q - 116. Does 4 divide s(-48)?
True
Suppose 0 = -39*y - 55*y + 223908. Does 49 divide y?
False
Let h be ((-3)/(-4))/(2 + (-60)/32). Let u(c) = -4*c + 29. Let s be u(h). Suppose -4*t + 8 = -3*r - 27, -44 = -s*t + 4*r. Does 8 divide t?
True
Suppose 2*a = -5*o - a + 30269, -18162 = -3*o - 2*a. Is o a multiple of 14?
False
Does 202 divide -2 - (-11463 + (-27)/13 + 5/65)?
False
Suppose -4*u - 63 - 120 = m, -5*m + 260 = -5*u. Let d = u - -44. Let z(n) = -22*n. Is 5 a factor of z(d)?
False
Let m be (2/5)/((-1)/(-5)). Let x be m + 18/(-4) - (-5)/(-10). Is 338/(1 - -1) - x a multiple of 18?
False
Let z(f) = 74*f - 302. Let v be z(4). Let j(m) = -7*m**3 - 16*m**2 - 28*m - 4. Is 49 a factor of j(v)?
False
Suppose 51 = 11*a - 509 - 210. Is a a multiple of 15?
False
Let f be 1 + (1 - 6) - -3. Let c be 3*(-6)/(-9)*(0 - f). Is 21 a factor of (-9)/9 + c/(2/77)?
False
Let v = 18706 + -16186. Is v a multiple of 6?
True
Let o(r) = -r**3 - 5*r**2 - 3*r - 11. Let m be o(-5). Suppose -2*u + m*t = t + 9, -3*u - 3*t - 6 = 0. Let p(w) = -31*w + 3. Does 32 divide p(u)?
True
Suppose 4*a - 2*l = 8, 0 + 3 = 3*a - 3*l. Let c be (18/(-7))/(a/21). Does 40 divide -1*66/c*(-45)/(-1)?
False
Let i(f) = f**3 - 105*f**2 - 62*f - 664. Is 25 a factor of i(106)?
True
Let j(l) be the third derivative of -7*l**4/12 - 7*l**3/6 - 19*l**2. Let h be j(-2). Suppose 24*r = h*r + 69. Does 15 divide r?
False
Suppose -b + 6139 + 1631 = 0. Is b a multiple of 70?
True
Suppose -4*j + 15922 = -2*n, -59*j + 19870 = -54*j + 4*n. Is j a multiple of 9?
True
Suppose 7*f - 8*f + 175 = 0. Let k be 6/4*(-12)/(-9). Suppose -k*y - 21 = -f. Is y a multiple of 30?
False
Let w be (-4 + 18)*1*(2 + -1). Suppose -w*d - 392 = 14. Let f = 75 + d. Is f a multiple of 6?
False
Suppose 39*g - 34*g - 30 = 0. Is 29 a factor of 6*(-29)/g*18/(-6)?
True
Suppose 0 = -5*r + 3*l + 20977, -r = 4*l - 112 - 4111. Is r a multiple of 17?
True
Suppose 14*b - 420471 = -72571. Is 70 a factor of b?
True
Let x = -61 + 101. Let i = x - -4. Suppose 5*u - 4*g = 209, 2*g + i + 173 = 5*u. Does 5 divide u?
True
Does 8 divide (2 + -92)/9 - -3697?
False
Let s = 4701 + -1371. Is s a multiple of 28?
False
Let t be 45/63 - 6/(-21). Suppose 7 = 2*y - t. Suppose -y*b + 7*b - 102 = 0. Is b a multiple of 9?
False
Let s = -406 + 1856. Is 10 a factor of 16*2/10*s/20?
False
Let t(j) = -j**3 - 3*j**2 + 8*j. Let q(z) = 2*z**2 + 2 - 8 - 3*z**2 - 8*z. Let f be q(-8). Is 20 a factor of t(f)?
True
Let n(t) = 96*t**2 + 17*t - 249. Is n(8) a multiple of 11?
False
Suppose 6*f = -5*v + f + 15670, 2*v + 5*f - 6265 = 0. Is 55 a factor of v?
True
Suppose -12*i = 8*i - 920. Let k = 176 - i. Is 26 a factor of k?
True
Let q(l) = -22*l + 4*l**2 + 34 - 3*l**2 + 7*l. Let y(a) = -14*a**3 + 7*a**2 + 17*a + 11. Let m be y(-1). Is 8 a factor of q(m)?
False
Suppose 21*k - 20*k = 4*y - 4, 4*y + 5*k - 4 = 0. Is y + ((-7)/(-35) - 2997/(-15)) a multiple of 8?
False
Let k = 14949 - 10218. Does 20 divide k?
False
Is 9 a factor of (-8)/20*1538775/(-70)?
True
Suppose -20*p = -43*p + 75118. Is p a multiple of 23?
True
Let a be 2/(-1)*(2 - 15). Suppose 17 = q - 3*r - 26, 0 = 5*q - 5*r - 265. Let m = q - a. Does 16 divide m?
True
Let l = 12 + -8. Suppose 1 - 4 = y, z - y - 78 = 0. Is 15 a factor of (z/4)/1*l?
True
Suppose 10*q = -n + 856, 0 = 4*n - 4*q + 72 - 3320. Does 51 divide n?
True
Let j(q) = 319*q + 19075. Does 8 divide j(-45)?
True
Let d = 171 + -176. Does 23 divide 10*546/12 - d?
True
Suppose -4*a = -2*f + 16, -a + 9 = -3*f - 6*a. Is -105*((-44)/10 + f) a multiple of 9?
True
Let i = 385 - 381. Suppose -i*k = -61*k + 2508. Is k a multiple of 5?
False
Let t(v) = v**2