 (-74160)/(-100) + (-4)/(-10). Suppose 0 = -10*z + d + 558. Is 10 a factor of z?
True
Suppose 1836*h - 7324 = 1835*h - 3*t, 5*t + 21930 = 3*h. Does 133 divide h?
True
Let o be 1/4 + (-1)/4 - -3. Suppose -3*v - 375 = -o*l - 0*l, 0 = -v - 5. Is l a multiple of 26?
False
Let f = 83231 - 35454. Does 98 divide f?
False
Let f = -119 - -115. Let u = f - -59. Is u a multiple of 6?
False
Let u = -9454 + 27654. Is u a multiple of 25?
True
Suppose 0 = -a - 4*g + 1372, 2*a + 2694 = 4*a - 2*g. Suppose 5*z + 2*y - a = 0, 8*y - 11*y = 4*z - 1076. Does 17 divide z?
True
Let r(g) = -22 + 16 - 10*g + 2*g**2 - 3*g**2 - 12. Let z be r(-7). Suppose -21 = -p + 3*l, z*p - 79 = -0*l + l. Is p a multiple of 9?
True
Let p be (1 - (-2)/(-3)) + (-316)/12. Let u = 161 + p. Suppose -4*b + 115 = -3*x, 0 = b - 6*b + 2*x + u. Is b a multiple of 10?
False
Let h be (-3 - 243/(-21))/((-6)/777). Is 68/(-1)*(h/(-24))/(-5) a multiple of 37?
True
Let f(a) = -6*a - 2*a**3 - 7*a**2 - 2*a**2 - a + 2*a - 7. Let j(n) = 4*n + 22. Let q be j(-7). Is f(q) a multiple of 33?
False
Let y(t) be the third derivative of t**5/15 + 3*t**3 - 2*t**2 + 7. Is y(9) a multiple of 19?
True
Does 8 divide -13 - (-5282)/418 - 25260/(-11)?
True
Suppose -5*l = 5*l. Suppose -7 - 13 = -5*c + 5*r, 5*c - 2*r - 8 = l. Suppose c = 7*n - 2*n - 140. Is 14 a factor of n?
True
Let q = 13841 + -9300. Does 19 divide q?
True
Let w be (-4)/38 + (-5290)/(-437). Suppose -4*a = w, -3*y + 784 = 3*a - 1016. Does 21 divide y?
False
Let q be (-2 - 14/(-2))*1. Suppose 3*h + q*c - 2398 = -781, 4*h = -5*c + 2161. Is 32 a factor of h?
True
Suppose -13*b + 8096 = -9*b + 4*d, 5*b + 4*d - 10120 = 0. Suppose -4*r + b = -2*r + c, 2*r - 2032 = c. Is 13 a factor of r?
True
Suppose 0 = -12*p + 11 - 47. Is (p/12)/(9/(-9468)) a multiple of 10?
False
Suppose -14*r + 9496 = 1068. Is -1 + r - ((-5 - -3) + 2) a multiple of 41?
False
Suppose 0 = -2*q + 3*u + 12956, -20*q = -15*q + 2*u - 32352. Is 34 a factor of q?
False
Let a(v) be the third derivative of v**6/120 - 17*v**5/60 + 5*v**4/24 - 3*v**3 + 13*v**2. Let k be a(17). Suppose -72*y = -k*y - 45. Is 2 a factor of y?
False
Let m(j) = -4*j - 126. Let v be m(0). Let x = -121 - v. Suppose 0 = 5*h + 2*t - 393, x*h = t + 3*t + 369. Does 16 divide h?
False
Let m be (-4)/(-22) - (-456)/33. Let n(u) = m + 35*u**2 + 11 - 24. Is 9 a factor of n(-1)?
True
Let h(m) = -8*m - 6*m - 33 - 20*m**2 - 8*m - m**3 - 9*m. Let q be h(-20). Let v = q - 406. Is 11 a factor of v?
False
Suppose -3*f = -3*s - 35679 - 25356, 61041 = 3*f - 5*s. Does 14 divide f?
True
Let g(v) = 3*v + 149. Let h(p) = 2*p + 75. Let x(k) = 4*g(k) - 7*h(k). Does 33 divide x(-14)?
True
Suppose -w - 4*w - 3*f - 15 = 0, 0 = -3*w + 5*f - 43. Let g be ((-4)/(-4))/((-3)/w). Let a(v) = v**2 + 2*v + 1. Does 9 divide a(g)?
True
Suppose -9*b + 202525 = 22*b - 68632. Is b a multiple of 53?
False
Let g = -241 + 251. Is 8 a factor of 178/((10/3)/g)?
False
Let w = -23 + 84. Let v = 63 - w. Suppose -6*d = -v*d - 528. Does 11 divide d?
True
Does 22 divide ((-76413)/(-11))/((-705)/(-5170))?
False
Let v(m) = -1162*m - 797. Is 21 a factor of v(-4)?
False
Suppose -m + 5*s - 2*s = -50, -5*m = 4*s - 174. Suppose -2*g + m = -0*g. Is g a multiple of 2?
False
Suppose -2*q + 191 = 5*w, -4*q = 3*w - 79 - 30. Suppose -v - 8 = w. Let i = 3 - v. Is 25 a factor of i?
True
Suppose -68*t + 249805 = -330915. Is t a multiple of 22?
False
Suppose 41 = -7*p - 15. Is (p - 129/(-15)) + (-2532)/(-5) a multiple of 38?
False
Suppose 0 = -4*p + 3*a + 2703, -p + 743 = 3*a + 56. Let s = 1569 - p. Is 11 a factor of s?
True
Suppose -5*m + 16317 + 57197 = 9*m. Is 58 a factor of m?
False
Let h(r) = 18*r + 33. Suppose 97 - 28 = 3*f. Let d be h(f). Suppose 3*n + 3*y = n + 417, 2*n - 3*y - d = 0. Does 25 divide n?
False
Let d(s) = -23*s - 38. Let c be d(-7). Let y = c + -204. Let g = y - -98. Does 6 divide g?
False
Let o be 574/(-41)*(-1)/2. Suppose -o*t + 8325 = 2*t. Does 20 divide t?
False
Let k(j) be the third derivative of j**6/60 - j**5/12 + j**4/3 - j**3/2 + j**2. Suppose 0 = -n - 5*x + 6, 46*n = 42*n - 4*x + 24. Does 29 divide k(n)?
False
Suppose 0 = 2*b + 8, -2*b = -4*m + 2*b - 72. Let w = m + 20. Let x(k) = -90*k. Is 34 a factor of x(w)?
False
Suppose -2*h - 1886 = -2*j + 3324, -3*j - 2*h = -7845. Does 27 divide j?
False
Let x(s) = 149*s**2 + 4. Suppose -109*d + 3 = -108*d. Is 20 a factor of x(d)?
False
Let z(p) = 13*p - 5. Let c be (2/6)/((-2)/42). Let o be z(c). Let l = o - -144. Does 23 divide l?
False
Let i(s) = 1559*s - 6517. Does 39 divide i(14)?
False
Suppose 0 = -3*z + 3*v + 757 + 9860, 2 = -2*v. Is 58 a factor of z?
True
Suppose 132 = p - 1044. Suppose 0 = -3*s + 6*s - p. Is s a multiple of 7?
True
Suppose 0 = -4*l + 8 - 4, -2*a + l - 14417 = 0. Is 16 a factor of a/(-6) - (-16)/(-12)?
True
Let a be 5 - (-2)/(-6)*-3. Suppose a*t - 3*t + 5*i - 778 = 0, t - 250 = 3*i. Does 13 divide t?
False
Let y be -3*(-12)/(-18) + -4. Let c be ((-15)/y)/(10/8). Suppose 3*x - 2*w - 812 = 0, -w = c*x - 546 - 7. Does 38 divide x?
False
Suppose 2*i - 2*b - 440 = 0, 901 = 5*i + 3*b - 191. Let c = i + -2. Is 9 a factor of c?
False
Let u(r) = -3*r**2. Let p(j) = 17*j**2 + 30*j - 80. Let h(q) = p(q) + 6*u(q). Does 43 divide h(19)?
True
Let q be 12/(-1 + 5) + 0 + -1. Let g(a) = -5*a**q + 3*a**2 + 3*a**2 + a + 4*a. Is 12 a factor of g(-9)?
True
Suppose -5*h + 142 = 4*q, 2*q + 64 = -h + 3*h. Let s be (3 - -375)*(-2)/(-3). Is s/24 + (h/4)/(-5) even?
False
Suppose -38*w + 30979 = -14051. Suppose -3*i + w = d, 5*d + 3*i + 0*i = 5925. Does 15 divide d?
True
Let a(f) = 24*f**2 - 39*f - 83. Is a(-13) a multiple of 64?
True
Let q = -180 + 461. Let s = 585 - q. Does 19 divide s?
True
Suppose 13231 = 16*u - 14817. Is u a multiple of 6?
False
Let n be (2 - 276)/((-4 + 2)/(-2)). Let i = -142 - n. Let j = i - 54. Does 6 divide j?
True
Let l = -355 - -367. Is -159*(-1 + ((-56)/l - -5)) a multiple of 14?
False
Let k(u) = u**2 + 22*u - 422. Is 14 a factor of k(-84)?
False
Let h(t) = -t**2 + 4*t - 2. Let m be h(2). Let u(n) = -9*n - 19. Let k be u(-5). Suppose -4*p - m*z + k = -34, p + 5*z = 33. Is p a multiple of 5?
False
Is 42 a factor of 1571 + (-3 + 5)*(27 + -23)?
False
Let v = 6149 + -5818. Does 33 divide v?
False
Let c(b) = 9*b**2 - 16*b + 115. Suppose -3*x + 5*o - 5 = 0, 6*x - 9*x + o + 11 = 0. Is c(x) a multiple of 65?
True
Let w(a) = -27*a + 154. Let d(h) = 26*h - 155. Let m(n) = -4*d(n) - 5*w(n). Is m(7) a multiple of 2?
False
Let q = -150 + 280. Is 104 a factor of q?
False
Suppose z - 4*y - 23 = 11, -2*z = 2*y - 18. Is 391/4 + z/56 a multiple of 12?
False
Let i be ((-78)/15)/(10/(-100)). Suppose 56*a = i*a + 3184. Is a/6 + (-27)/(-81) a multiple of 20?
False
Let t = 133182 + -94919. Does 220 divide t?
False
Is 65 a factor of (4/(-20))/((1/(-218))/((-265)/(-106)))?
False
Let d(a) = a**3 + 2*a**2 - a + 18. Let s be d(-4). Is (-3055)/s - 50/(-20) a multiple of 4?
True
Let n(y) = 10*y - 35. Let o be n(-6). Let c = o + 397. Is c a multiple of 10?
False
Suppose 4*n - 6732 = -4*j, -2*n - 5*j = -0*j - 3375. Suppose -3*h - 11*h = -n. Does 6 divide 6/((-4)/h*-5)?
True
Suppose 0*f = -4*f - 2*f. Is 2 a factor of f*(-3 - -5 - 1) + 20?
True
Let g(m) = -m**3 + 14*m**2 + 30*m + 34. Let c be g(16). Suppose 5*b + 228 = -4*d + 1096, 346 = 2*b + c*d. Does 11 divide b?
True
Let s = -3255 - -18229. Is 70 a factor of s?
False
Suppose 0 = -d - 2*g - 0*g + 153, 765 = 5*d + 5*g. Is 11 a factor of (d/(-85))/((-6)/460)?
False
Let r(m) = 13*m - 91. Let q be r(10). Let b = -396 - -756. Suppose 33*n = q*n - b. Is n a multiple of 3?
True
Let b = -12211 + 17260. Is 9 a factor of b?
True
Suppose 17*c + 13648 = 18*c + 3*c. Does 76 divide c?
False
Suppose -21*y + 8*y = -16380. Let n = y - -524. Is 42 a factor of n?
False
Let j = 514 - -382. Suppose 0 = -7*w - 21 + 91. Is 9 a factor of 2/w + (j/20 - -1)?
False
Let o(r) = 13*r**2 + 10*r - 26. Let b be o(11). Suppose -3*n + 4*n = k + 418, 0 = 4*k + n + b. Let g = k - -622. Does 34 divide g?
False
Let d = -220 - -246. Let u(t) = -7*t + 7. Let j(a) = -36*a + 36. Let p(z) = 3*j(z) - 16*u(z). Does 50 divide p(d)?
True
Let c be 33/9 + (-16)/(-12). Suppose c*b = 136 + 1979. Does 32 divide b?
False
Is (-13)/(936/(-302416)) - -1*2/(-9) a multiple of 35?
True
Let i(d) = 9*d - 35. Let w be i(3). Does 13 d