 be m(3). Suppose 4*l + 3*z = 3733 - 1195, -q*z + 1903 = 3*l. Is l a multiple of 16?
False
Let v = 21342 + -16365. Does 9 divide v?
True
Suppose 18*r = 87*r - 45*r - 167064. Is 3 a factor of r?
False
Let y be ((-4)/(-2))/((-12)/(-24)). Suppose -4*j + 5*j - 248 = 0. Suppose -y*t = -3*w - 434, -2*t + j = 4*w + 42. Is 12 a factor of t?
False
Suppose -4*j = 48*j - 60112. Is j a multiple of 38?
False
Let x be (48/56)/(-2 - (-32)/14). Let l = 12 + -5. Suppose l*r - x*r - n = 384, -n = r - 101. Is 18 a factor of r?
False
Let b(c) = -38*c + 46. Let n(k) = 113*k - 140. Let i(j) = 17*b(j) + 6*n(j). Does 60 divide i(7)?
False
Suppose 0 = -4*y + 6*y - 520. Suppose -2*x + 15*x + y = 0. Is 7 a factor of (-278)/(-6) + (x/(-15))/(-1)?
False
Suppose -63038 + 5563 = -121*y. Does 25 divide y?
True
Let y(k) = -k**2 + 9*k + 16. Let a be y(9). Suppose r + 7*r - a = 0. Suppose -r = 3*u - u, -3*w = -2*u - 92. Is w a multiple of 3?
True
Let r(i) = 35*i - 83. Let l(f) = -f + 12. Let c be l(8). Is r(c) a multiple of 3?
True
Suppose 0 = -w - 4*r + 13401, -598*w + 603*w = -r + 66872. Is 43 a factor of w?
True
Let x(s) = -s - 6. Let q be x(-11). Suppose y = -q*y + 30. Suppose y*k = 5*d + 125, 2*k - 65 = 5*d - 12. Is k a multiple of 8?
True
Suppose 0 = -22*k + 28*k - 4170. Suppose -8*i + 3*i + 5*x + k = 0, -2*i + 271 = 5*x. Does 62 divide i?
False
Let f = 3570 + -1691. Is f a multiple of 71?
False
Suppose 3*h + 2*j - 408 = 0, -3*h - 2*j = 3*j - 408. Suppose 0 = 4*w - 11 + 31, -n + w + 5 = 0. Does 46 divide h + (3 - n) + -1?
True
Let a(h) = 253*h - 135. Let l be a(20). Suppose 0 = 10*n - l + 155. Is n a multiple of 10?
False
Let t be 10*-3*17/(-6). Let n = 78 - t. Does 9 divide 2/n + ((-3712)/28)/(-2)?
False
Suppose -918*j = -916*j - 39746 - 40924. Does 15 divide j?
True
Let u(z) = -z**3 - 8*z**2 + 2*z + 19. Let v be u(-8). Let m(d) = -8*d - v + 19*d - 12*d. Does 11 divide m(-14)?
True
Is 250 a factor of (-673100)/(-381)*(-45)/(-6)?
True
Let z be 2/4*-226 + (3 - -3). Is 8 a factor of ((-107)/z)/(1/104)?
True
Let d be -2 + 1 + 1*(-12)/(-3). Suppose -3*l + 678 = 3*w, l + 3*w + 472 = d*l. Suppose 0 = 11*c - 507 - l. Is 10 a factor of c?
False
Does 36 divide ((-16062)/(-5))/((-606)/(-2020))?
False
Let t = -1593 + 3207. Does 5 divide t?
False
Let j(p) = -43*p**3 - 10*p**2 - 29*p + 5. Does 13 divide j(-4)?
False
Suppose -14*v + 20381 = -4833. Does 5 divide v?
False
Let v(g) = 69*g + 26. Let o(a) = a**3 + 5*a**2 - a - 1. Let z be o(-5). Does 8 divide v(z)?
False
Let u(r) be the second derivative of 3*r**3 + 291*r**2/2 + 99*r. Does 11 divide u(0)?
False
Suppose -63*h + 75465 = -50074 - 100253. Does 7 divide h?
True
Let h be (-9600)/(-680) + (-2)/17. Is (-4 - 7/h)*-74 a multiple of 57?
False
Suppose 2*r + 337 = -3*t, -2*r - 224 = 2*t - 0*t. Let b = t - -1. Is 8 a factor of (-4)/14 + (-2384)/b?
False
Suppose -49*p + 44*p + 74293 = 4*t, -3*t = -3*p + 44565. Is 310 a factor of p?
False
Let w(m) = 6*m**2 + 4*m - 9. Suppose -5*z + 3*a = -16, 0 = 3*z - 2*a - 2*a - 3. Suppose z*p + 45 = -5*g, g - 2*p + 13 = -4*p. Is 10 a factor of w(g)?
False
Let s(y) = -13*y**2 - 3*y - 4. Let p be (-3)/12*-4 - -4. Let z be s(p). Let n = -225 - z. Does 23 divide n?
False
Let d(p) = p**2 + 26*p + 53. Let a be d(-19). Let q be 4/(((-12)/a)/((-324)/32)). Let m = -58 - q. Is m a multiple of 53?
True
Let z be (28/5)/((-24)/(-120)). Does 2 divide 2/(-1)*(-182)/z?
False
Let l(a) = 24*a**3 - 24*a**2 + 55*a + 24. Does 41 divide l(6)?
True
Suppose 0 = -b + 2 + 1. Suppose 3*a - 2*c = -4, b*c - 4 = 2. Suppose a = -2*f + 224 - 56. Is f a multiple of 14?
True
Suppose 43*z + 81368 = 391656. Does 22 divide z?
True
Is 37 a factor of (4477 - 1 - 3) + (-18 - -5 - -17)?
True
Let r be -6*2/(18/(-3)). Suppose -f - 13 - 1 = -2*x, 42 = -r*f - 3*x. Let m = f - -44. Is 13 a factor of m?
True
Let a(q) = 4*q - 107. Let x be a(27). Let b(z) = -3 - 3 - 2*z + 18*z. Is 7 a factor of b(x)?
False
Suppose 0 = -3*r - 465 - 1104. Is (r + 12)*40/(-28) a multiple of 73?
True
Let u(p) = 4799*p**2 + 74*p + 21. Is u(-1) a multiple of 6?
True
Is 38 a factor of 15048/2 - (149 + -149)?
True
Let w(y) = -5*y - 13. Let f be w(-3). Does 3 divide 3836/56 + f*2/8?
True
Suppose -4*j + 106*j - 5488 = 61832. Is j a multiple of 14?
False
Let h(u) be the third derivative of u**6/120 - u**5/30 - u**4/6 - 4*u**3 + 5*u**2 - 8*u. Is 6 a factor of h(6)?
True
Let b(l) = 11*l + 19. Let z(x) = x**2 + 9*x + 24. Let o be z(-4). Suppose 2*r = -o*r + 84. Is 20 a factor of b(r)?
False
Suppose 2*n - 8 = -0*n - 2*w, w + 4 = 0. Suppose 2*u - n*t - 362 = -10*t, -5*u - 2*t = -893. Is u a multiple of 5?
False
Suppose 1806 = 3*w - 2*z, 0*w + 4*w - 2408 = 14*z. Does 14 divide w?
True
Let n = 14767 - -9016. Does 5 divide n?
False
Let h = 5968 - 5206. Is 13 a factor of h?
False
Suppose -4*h - 12 = 2*u, -4*u + 6*u - 5*h = 24. Is 24 a factor of (-9 - -12)/(-6)*(-192)/u?
True
Suppose 7*v = 8*v - 8. Let q(r) = r**3 - 8*r**2 + r + 1. Let p be q(v). Let d = 3 + p. Is d a multiple of 6?
True
Let x(z) be the third derivative of z**5/5 + 7*z**4/24 + 5*z**3/2 + 25*z**2. Does 7 divide x(-2)?
True
Suppose 0 = -6*n + 82 + 74. Suppose -n = z - 292. Does 13 divide z?
False
Let b(g) = 1. Let z(n) = 35*n + 98. Let u(t) = -28*b(t) + z(t). Is u(22) a multiple of 30?
True
Let p(g) = -52*g**2 + 13*g + 10 + 2 + 60*g**2 + g**3. Let o be p(-6). Suppose 3*d - 891 = c, o*c + 313 = d + 11*c. Is 21 a factor of d?
False
Let c be (-104)/(-10) - 39/(-65). Suppose 1346 = c*a + 356. Is a a multiple of 18?
True
Suppose -32*n = -18*n - 112. Let p(x) = 3*x**2 - 12*x + 1. Is p(n) a multiple of 5?
False
Let y(u) = 15*u - 24 + 19*u + 0*u. Is 5 a factor of y(1)?
True
Suppose -188*l + 906486 = 3*l. Does 6 divide l?
True
Let j be (-165)/(-33) - 324/(-2). Let h = 108 + j. Is 20 a factor of h?
False
Suppose 3*z = -c - 378, -4*z = -11*c + 8*c - 1134. Let f be 8/(-2)*-1 - c. Suppose -2*a = -3*l - 36 + f, 3*l = 3*a + 351. Is 13 a factor of l?
False
Let u(c) = -c**3 - 10*c**2 - 4*c + 2. Let s be u(-5). Let v = -21 + s. Let n = v + 316. Is 30 a factor of n?
False
Suppose b + 15 = -2*v + 6, 2*b - 12 = v. Let u = v + 12. Is (3 - -6)*44/u a multiple of 11?
True
Let r(c) = c**2 - 2*c - 59. Let i be r(12). Suppose 3*s + 60*d - i*d = 1930, -3*d + 1305 = 2*s. Is 43 a factor of s?
True
Let g be (759 - (0 - 0)) + (1 - 5). Let m = g + -297. Is m a multiple of 4?
False
Suppose -1262 - 5083 = -5*u. Is 141 a factor of u?
True
Let g(j) = 1195*j**2 - 463*j + 1. Is g(-4) a multiple of 10?
False
Let l(s) = s**3 + 31*s**2 + 142*s - 168. Does 36 divide l(24)?
True
Let a be 1*(0 - -2 - 2 - 0). Suppose a = -5*q - 4*r + 2563, -910 = -3*q - 4*r + 631. Is 7 a factor of q?
True
Let f(t) be the second derivative of -t**4/12 + t**3/3 + 5*t**2 - 4*t. Let x be f(6). Is 14 a factor of (-542)/x - (-22)/77?
False
Let m(u) = -49*u**2 - 12*u - 43. Let z(f) = 24*f**2 + 7*f + 22. Let t(q) = -6*m(q) - 11*z(q). Is 15 a factor of t(3)?
False
Let r = 434 - -106. Is 54 a factor of r?
True
Let w(i) = 9*i**2 + 23*i + 5160. Is 30 a factor of w(0)?
True
Let k(x) = -2*x**3 + 6*x**2 + 2*x - 68. Does 14 divide k(-5)?
True
Is 4 a factor of (-114)/(-7 + 1067/154)?
True
Let d = -111 - -107. Does 12 divide (-931)/(-7) + 2/(2 + d)?
True
Let o(g) = -g**3 - 23*g**2 + 110*g + 24. Let z be 174/(-6) + (-1 - 3 - -5). Is 24 a factor of o(z)?
True
Suppose 5*h = -17 + 27. Let p(m) = 73*m**3 - 2*m**2 - 4*m + 4. Let i be p(h). Suppose -2*k = 2*k - 4*a - i, 5*k - 721 = -a. Is 16 a factor of k?
True
Let g = -54 + 52. Let h be (-1 + 2)/(g/(-6)). Suppose -h*o + 3 = -72. Does 7 divide o?
False
Let a = 309 - 306. Does 10 divide 1147 - ((-3 - -7) + a)?
True
Let b(j) = 814*j + 212. Is b(4) a multiple of 6?
True
Let z(q) = -14*q + 51. Let p be z(22). Let b = p - -373. Suppose -295 = -3*k + b. Is 30 a factor of k?
False
Let r(m) = 188*m**2 + m + 33. Is r(7) a multiple of 7?
False
Suppose -2*y - 3*y + 25 = -3*o, -3*o - 15 = 0. Suppose 4*m = y*l - 860, 2*l - 3*m - 206 = 659. Does 8 divide l?
True
Let p = 535 - 871. Let j = 574 + p. Suppose -6*l + j + 122 = 0. Does 15 divide l?
True
Suppose 5 = 4*b - 3. Suppose 5*r + 3*l = 359, b*r - 100 = 4*l + 28. Is r a multiple of 10?
True
Is (2 - (2 + -2))/(284/3864672) a multiple of 14?
True
Let r = 469 - -327. Suppose r = 2*c - i, 6*c - c - 1988 = 2*i. Does 11 di