e
Let t = -32 - -27. Is 50 a factor of ((-18)/(-4))/((t + -1)/(-264))?
False
Suppose 4*z + 32 = -0*z. Let r be 4/z*4 - 15. Let f(t) = t**2 + 13*t - 5. Is f(r) a multiple of 8?
False
Let g be (-3*(-4)/(-8))/(27/(-1368)). Suppose -g*y + 90*y = 1036. Does 2 divide y?
True
Suppose 0 = -8*d + 7*d - 60. Let i = 120 + d. Suppose i = 4*u - 3*k, 44 = 3*u - k - 6. Is 6 a factor of u?
True
Let a(c) = 4*c**2 + c + 3. Let g be a(-4). Suppose -3*t - g = -4*t. Let y = t - 25. Is 17 a factor of y?
False
Let g(f) = 13*f**3 + 11*f**2 - 25*f + 101. Let l be g(7). Suppose -4932 = -11*m + l. Is 64 a factor of m?
True
Suppose -g + 1288 = -100. Let x = g + -878. Is x a multiple of 33?
False
Let p be (2 - (-24)/(-16))*4*1. Suppose -13 = 4*m + 7, -p*w - m + 881 = 0. Does 18 divide w?
False
Let i be -1*2 + (-7)/4*-24. Is 41 a factor of (-9720)/(-7) - i/70?
False
Suppose -9 = -2*b - n + 2*n, -b + 3 = -2*n. Suppose b*w - i - 42 = 2, 2*i = 4*w - 40. Let l(z) = z**3 - 9*z**2 + 10*z + 11. Is l(w) a multiple of 6?
False
Suppose -3*g - 1 = 8, 27 = 4*d - 5*g. Suppose 2*s - 5*r = 421, d*r = -4*s + 2*r + 875. Is s a multiple of 13?
False
Let x(g) = 152*g - 673. Is x(87) a multiple of 99?
False
Let u = 9240 + -73. Is 13 a factor of u?
False
Let c = 134975 - 93427. Does 47 divide c?
True
Let b(z) = -4*z - 1. Let f be b(-1). Suppose -3*n = 4*v - 31, 5*n + 5*v = 115 - 65. Is 9 a factor of (-2)/f + 330/n?
True
Suppose -180960 = -207*s + 183*s. Is s a multiple of 58?
True
Let h(f) = 131*f - 50. Let r be h(6). Suppose -14*q + 566 = -r. Is 11 a factor of q?
False
Let h = 8407 - 5269. Is 42 a factor of (12/9)/(4/h)?
False
Let r be (-5)/(-1) - (468 + -509). Let h(m) = m**2 - m + 3. Let y be h(0). Suppose r - 10 = y*v. Does 10 divide v?
False
Suppose -7*k - 3438 = 3758. Let f = -528 - k. Is 50 a factor of f?
True
Let a = 2556 - 1406. Is 23 a factor of a?
True
Let h(b) = b**2 - 5*b + 2. Let q be h(5). Suppose l = 2*a, -4*a = 2*l + q*l + 60. Is l + 7 + 4 - 13*-7 a multiple of 23?
True
Does 86 divide 246807/57 - (-46)/874?
False
Let h = 7950 + -6667. Is 17 a factor of h?
False
Let j(h) = 120*h**2 + 122*h + 560. Does 2 divide j(-5)?
True
Let h(y) = 248*y + 9469. Is h(17) a multiple of 99?
False
Let k(z) = 9*z - 6. Let x(u) = 3*u - 12. Let g be x(5). Let w(b) = -18*b + 11. Let p(c) = g*w(c) + 5*k(c). Is 6 a factor of p(-3)?
True
Suppose -5*c - 4*c = -36. Suppose -2*i + 22 = -5*b + 90, 0 = -b + c*i + 28. Is b a multiple of 4?
True
Suppose -o = -1, 4*l = 2*o + 4506 + 6720. Does 10 divide l?
False
Suppose 4*n + 16 = w, 5*n = 2*n - 5*w - 35. Is (-28)/n*(-3 - 756/(-12)) a multiple of 28?
True
Let t be -1*((-4)/(-1) - (0 + 3)). Is 389*(3 + -2) - t a multiple of 15?
True
Suppose 5*m = 0, 0 = -x + 3*m - 5*m + 3. Suppose 0*d = -4*k - 3*d + 581, -d + 432 = x*k. Is k a multiple of 11?
True
Suppose 106*y + 62*y = 942984. Is y a multiple of 9?
False
Let w(v) = -v**3 - 19*v**2 + 42*v + 30. Suppose 6 = -18*m + 20*m. Suppose -10*j = m*j + 273. Does 5 divide w(j)?
True
Let s be 0/(-3 + (-4)/(-8)*8). Suppose -5*k + 23 = -0*p - p, -5*p - 3*k + 25 = s. Suppose 4*z = 5*r + 339, -3*r - 38 = p*z - 191. Is z a multiple of 27?
True
Let g(o) = 212*o + 53. Let r be g(-8). Let q = 2352 + r. Does 36 divide q?
False
Let o(f) = -2*f**3 + 4*f**2 - 4*f + 4. Let h be o(2). Let a(k) = -51*k - 14. Does 20 divide a(h)?
False
Let x(q) = -28. Let n(m) = -m + 28. Let f(o) = -5*n(o) - 6*x(o). Let u(d) = -24*d - 141. Let g(r) = -11*f(r) - 2*u(r). Is 19 a factor of g(-16)?
False
Let n(c) = c**3 + 8*c**2 - 5*c - 6. Let k be (4/4)/(2/(-16)). Let w be n(k). Let t = -16 + w. Does 9 divide t?
True
Suppose 10*t - 13608 = 13142. Is 13 a factor of t?
False
Let r(g) = g**3 + 81*g**2 - 340*g + 613. Does 55 divide r(-82)?
False
Let u be (2/8 - (-24)/32)*1. Let y(f) = u + 20 - 8 - f**3 + 10*f**2 - 9. Is 17 a factor of y(9)?
True
Let g = 71 - -7. Let m = 74 - g. Does 23 divide (m + 45/(-6))*-18?
True
Let o be 1 - 4200/11 - (-490)/(-2695). Let k = o - -873. Is 41 a factor of k?
True
Suppose 2128 = 3*p + 4*r - 9*r, -2*p + 5*r = -1422. Suppose 4*x - p = 2*z - 0*z, 3*x + 3*z = 525. Is x a multiple of 7?
False
Let b = -2510 - -4445. Is 43 a factor of b?
True
Suppose 5*b - 13 = 112. Suppose 3*p = 31 - b. Is 8 a factor of (1 - p)*((-51)/1)/3?
False
Does 29 divide 12 - 8 - 48/72*(-108798)/4?
False
Suppose -160 = -11*j + 6*j. Let b be 5/15 + j/12. Suppose -12 + 90 = b*g. Is 4 a factor of g?
False
Suppose 5*x - 92 = 8. Suppose -x*n = -4*n - 4800. Is n a multiple of 15?
True
Suppose 2*l + 3*l - 15 = 0. Let o be (-2)/(-3) - 236/(-6). Suppose l*c - c - o = 0. Does 20 divide c?
True
Suppose -48*h + 47*h = 189. Let x = 238 + h. Is x a multiple of 49?
True
Is 5 a factor of 15664/6 - (-23)/(-759)*22?
True
Let a(h) be the third derivative of -3*h**4/4 - 32*h**3/3 + 62*h**2. Does 13 divide a(-12)?
False
Let q(b) = 123*b**2 - 42*b - 189. Does 40 divide q(-4)?
False
Does 24 divide 9695/4 - (8/(-5) - 81/(-60))?
True
Let v(b) = -46*b + 59. Let q be v(4). Let r = q - -201. Is 19 a factor of r?
True
Suppose -13*u = -86583 - 68689. Is u a multiple of 22?
False
Let o = 34 + -66. Let u be 8 + o/18 + 2/(-9). Is 22 a factor of 560/u - 5/15?
False
Suppose 25*l - 9659 = 21*l + k, 4*k = -l + 2436. Is l a multiple of 37?
False
Suppose a + 2 + 4 = 0. Let g(o) = 44*o - 3. Let c(l) = -87*l + 6. Let v(b) = a*c(b) - 14*g(b). Is v(-1) a multiple of 10?
True
Let y be 68/(-2)*1/((-5)/25). Suppose -55*k = -56*k + y. Is 11 a factor of k?
False
Is 9 a factor of ((-4)/(-7))/(-2) - ((-16722)/21 - -4)?
True
Does 128 divide 111349/(-2)*(-30 + 5150/175)?
False
Suppose 4*o - 8 = 0, -4*o + 17 = 4*x - 11. Let u(t) = 6*t**2 - 6*t + 13. Let n be u(x). Suppose -5*l + 207 = -z, 2*z + n = 2*l + 47. Is 15 a factor of l?
False
Let u(i) = -26*i - 1. Let m be u(-1). Suppose 6 = -12*w + 15*w. Suppose 0 = g - w*c, g + 5*c + m = 6*g. Is 6 a factor of g?
False
Suppose -5*f = -4*x - 4*f + 33613, 5*x = -4*f + 42053. Is x a multiple of 43?
False
Let f = -25131 + 69206. Is 205 a factor of f?
True
Let r(m) = -4*m + 4. Let l be r(5). Is (-8)/64*-3 + (-4154)/l a multiple of 26?
True
Suppose 314*v + 79146 = 332*v. Is v a multiple of 95?
False
Is 2559*(-26)/(-39)*1 a multiple of 16?
False
Let m(t) = 121*t**2 - 7*t - 22. Let h be m(-7). Suppose 4*u = -4*q + 9*q + 5916, 5*q - h = -4*u. Is 20 a factor of u?
False
Suppose -3*x = 36 - 33. Is 104 a factor of x + 318 + (-540)/108?
True
Let m(h) = 120*h**3 - 2*h. Let w be m(-2). Let b = -654 - w. Is 32 a factor of b?
False
Suppose -33 + 9 = -6*g. Suppose -c = -f + g - 3, 8 = -2*f. Does 12 divide 1*-1 - (20/c - 21)?
True
Let x = 5 - 4. Let o(c) = 57*c**3 + c**2 + c - 2. Let k(s) = 171*s**3 + 4*s**2 + 3*s - 7. Let f(m) = -2*k(m) + 7*o(m). Does 10 divide f(x)?
False
Suppose -4 = -2*b, 7*s + 299 = 8*s + b. Is s a multiple of 11?
True
Let h(a) be the second derivative of -a**4/12 + a**3/3 + a**2/2 - 20*a. Let j be h(2). Is 21 a factor of (0 - 0 - (-3 + -123))*j?
True
Let v(d) = 4*d**2 - 51*d - 44. Suppose 0 = -2*o + 2*y + 46, 3*o = -o - 5*y + 56. Is 11 a factor of v(o)?
False
Suppose k + 32491 = i, -4*i - 3*k = -88487 - 41463. Is i a multiple of 9?
False
Let x(d) = -67*d + 1506. Does 21 divide x(-64)?
False
Let g(p) = -10*p - 8*p - 3*p**2 - 11 + p**2. Let m be g(-8). Suppose m*w + 24 = 8*w. Is 6 a factor of w?
False
Let b = 22364 - 17242. Is 7 a factor of b?
False
Suppose 0 = 2*t + 3*p - 93, -3*t = 10*p - 13*p - 117. Let r = t - -147. Is 40 a factor of r?
False
Suppose 4*o - 5249 = -3*a + 6*a, 2*a = 3*o - 3936. Suppose -4*s - 6*s = -o. Suppose w - 127 - s = -3*h, -5*w - 344 = -4*h. Does 8 divide h?
False
Suppose 88 = -7*x - 80. Let l be ((-8)/4)/(-4)*x. Does 25 divide ((-4)/l + -1)/((-2)/75)?
True
Let h be 1 - 9/(63/(-28)). Suppose 3*q = -y + 733, q + 1087 + 2642 = h*y. Is 11 a factor of y?
False
Suppose 4*a - 53 = -49. Let v(r) = 114*r + 15. Is 35 a factor of v(a)?
False
Let f be 6*((70/(-4))/(-7) - 2). Let a be (5/(5/f))/(3/97). Suppose 2*q + q - 29 = -i, 5*i = q + a. Is i even?
True
Let g = 22 + -76. Let q = g + 60. Suppose q*u = -13 + 61. Does 4 divide u?
True
Suppose -65*w + 53*w = -36. Suppose -w*i + 6*i - 1674 = 0. Does 62 divide i?
True
Let y(h) be the third derivative of -h**5/60 + 5*h**4/24 + 7*h**3/6 - 5*h**2. Let p be y(3). Suppose -p*i = -9*i - 460. Is i a multiple of