4475)?
False
Suppose 12*z = 2*z - 70. Let d(a) = -a**3 - 4*a**2 + 17*a - 13. Is d(z) a multiple of 4?
False
Let c = 109 + -62. Let t = 86 - c. Is t a multiple of 2?
False
Suppose 3*g - 16 = -q, -g + 3*q + 10 = 8*q. Let c(j) = 14*j**2 - 3*j - 5. Is c(g) a multiple of 55?
True
Is 100/(-200) + 16941/2 a multiple of 36?
False
Let c(f) = -2*f**3 + 36*f**2 + 27*f + 11. Does 6 divide c(13)?
True
Let d(l) = l**2 + 44*l + 147. Let r be d(-41). Is 22 a factor of 18/r + 85/4?
True
Suppose 324 = -5*n - 4*n. Let q = 4 - n. Is q a multiple of 10?
True
Suppose 0 = -11*g + 9764 - 1250. Suppose -382 = -2*x - i, -8*x - 3*i = -12*x + g. Is x a multiple of 20?
False
Suppose -52 = -5*a - n, 3*a - 5*n = 34 + 14. Suppose 504 = -3*l + a*l. Is l a multiple of 37?
False
Does 216 divide (3456/(-10))/(((-15)/180)/(2 - -8))?
True
Let h(k) = 23*k - 318. Let f be h(14). Does 12 divide ((-2342)/6)/((28/(-21))/f)?
False
Suppose t = 7 - 8, 3*t - 2 = z. Let o be 1*z/2*64/40. Does 34 divide (((-252)/(-8))/(-7))/(o/208)?
False
Let t(o) = -15*o - 14. Let a(l) be the first derivative of -l**2/2 + 12. Let n(p) = -4*a(p) + t(p). Is n(-9) a multiple of 17?
True
Suppose 4*k - 29154 - 11094 = t, 20106 = 2*k - 5*t. Is k a multiple of 49?
False
Suppose -5*t + 5*p + 29860 = -34340, t - 3*p = 12844. Does 131 divide t?
True
Let v(y) be the third derivative of -3*y**4/8 - 23*y**3/6 + y**2. Let g be -5 - (-28 + 15) - 11. Is v(g) a multiple of 2?
True
Let a(i) = 83*i**2 - 7*i - 10. Suppose -3*w + 8*w + 15 = 0. Let y be a(w). Let g = y + -487. Does 28 divide g?
False
Suppose -2*r = -2688 + 824. Suppose -2*v = -2*w - r, v + 4*w + 1397 = 4*v. Does 39 divide v?
False
Is 218 a factor of (-218)/(-7*(-16)/(-448))?
True
Let o be (-2 - (2 - 2)) + -2. Let p(h) = h**3 + 5*h**2 + 42*h + 134. Let m be p(-4). Is 10 a factor of o*(298/(-36) + 4/m)?
False
Let g be (-1)/((-2)/(-1 + 7)). Suppose -g*q + 48 = -0*q. Suppose 14*c + 396 = q*c. Is 33 a factor of c?
True
Let v(s) = -45*s**3 + 2*s**2 - 5*s + 2. Let c be v(1). Let a(g) = g**3 + 45*g**2 - 63*g - 24. Is 19 a factor of a(c)?
False
Let i(a) = a**3 - 7*a**2 + 7. Let t be i(7). Let f(w) = 5*w + w**3 - 6*w + 0 - 2*w**3 + 7 + 9*w**2. Is f(t) a multiple of 14?
True
Let q(m) = -2*m**3 - 25*m**2 - 32*m + 10. Let c be q(-11). Is 39 a factor of c/(3 - 20/6) + 718?
False
Suppose 0 = -y + 2*p + 1492, -271 = 4*p - 259. Is y a multiple of 5?
False
Suppose 3*n - 3*h = 6*n - 648, 0 = -4*n + h + 879. Suppose 0 = -215*j + n*j - 3904. Does 16 divide j?
True
Let r be (-11436)/60 - (0 - (-9)/(-15)). Let o = 619 + r. Does 39 divide o?
True
Suppose -3*j - 2*r = 13, -2*r - 9 = 5*j - 5*r. Let x be ((2 + -2)*-1)/j. Suppose 4*y - 2*y - 22 = x. Does 11 divide y?
True
Let y = -10870 + 55873. Is 20 a factor of y?
False
Let l be ((-76)/114)/(3/(-1098)*2). Suppose 251 = 4*h - u - 201, -2*u = h - l. Is 94 a factor of h?
False
Let r = 29 - 17. Suppose 5*z + r = -3. Let y = z + 15. Is y a multiple of 2?
True
Let j be 1/3*466 - 34/102. Let x = 211 - j. Is x a multiple of 8?
True
Suppose 4*a - 5633 = -3*h, -30*a = 3*h - 34*a - 5689. Does 2 divide h?
False
Let a be 98/14*114/7. Let w be a/3*(-8)/(-16). Let s = w + 14. Is 15 a factor of s?
False
Is (-21)/15 + 352926/90 a multiple of 70?
True
Suppose -3*i - 2*r - 1689 = 0, r = -3*r - 12. Let u = i + 953. Is u a multiple of 28?
True
Let w(s) = -37*s**3 + 15*s**2 - 6*s - 7. Is w(-4) a multiple of 7?
True
Let g be 6/(1 - -5)*(1180 - 0). Is g/10 + (-3 + -3)/3 a multiple of 35?
False
Suppose 19*i = 4*i - 2655. Is (-118)/i - (-2572)/3 a multiple of 39?
True
Let a be ((-165)/20*1)/(12/(-64)). Suppose -a*h = -70*h + 8008. Is 22 a factor of h?
True
Let j = -76986 + 111499. Is 19 a factor of j?
False
Suppose 2*i - 5*a - 188 = 0, i - 267*a = -266*a + 88. Is 2 a factor of i?
True
Suppose -3*u = 3*d - 6258, 22*d + 5*u = 23*d - 2092. Does 12 divide d?
False
Let v(o) = -43*o + 147. Let b be v(3). Is 84/70*20*3/b a multiple of 2?
True
Let v(n) = 2562*n**3 - 3*n**2 - 6*n - 5. Let g be v(-2). Let r be g/(-65) - 2/5. Suppose 8*o = r + 189. Does 7 divide o?
True
Suppose -10797 + 3221 = -2*m + 4*a, 2*a = -m + 3756. Is m a multiple of 23?
True
Suppose 0*p = -3*p + 177. Let a = p - 56. Suppose -9 = -a*z + 9. Is 6 a factor of z?
True
Let x(q) = q**3 + q**2 - 240*q - 715. Does 79 divide x(26)?
True
Suppose 24955 - 4165 = -9*s. Let g = s - -3892. Is 25 a factor of g?
False
Let q = 2918 - 1641. Is q a multiple of 4?
False
Let u be 1860/(-9) + 2/(-6). Let l = u + 921. Does 34 divide l?
True
Let k = 75633 - 37599. Is k a multiple of 212?
False
Let v be -3 - (5/20 + (-13)/4). Let o(p) = -p**2 - 11 + 16*p - 4 + v. Is o(12) a multiple of 6?
False
Suppose 0 = -5*v + 37 - 27. Suppose v*x - 5 = -l, -x - 2*l + 14 = 4*x. Suppose 2*u - 202 = -x*i, -3*u - 52 = -i - 2*u. Is 3 a factor of i?
True
Suppose -4*q + 3*r + 50 = 0, -5*q - 4*r + 14 = -3*q. Let a(d) = 55*d - 98. Is 59 a factor of a(q)?
False
Let w(h) = 2*h**2 - 3*h. Let g be w(4). Let z = 22 - 14. Is (g - (-8)/2)*z/6 a multiple of 32?
True
Let z(h) = 6516*h - 8594. Is 22 a factor of z(5)?
False
Does 37 divide (-10360)/7*((-102)/187 + 512/(-110))?
True
Is 72 a factor of -30165*((-360)/(-27) + -14)?
False
Let n(d) = -14*d + 41*d - 192 - 24. Does 11 divide n(9)?
False
Let u be ((-5)/3)/(-1) - (-21)/63. Let f be (48/28)/(u/(-14)). Is f/(-66) - (-2372)/22 a multiple of 27?
True
Suppose -8*d = 547 + 981. Let k = d + 228. Does 6 divide k?
False
Suppose -159 = -22*r + 61. Suppose i = 3*g - r + 53, -5*i + 2*g = -280. Does 8 divide i?
False
Let d(g) = 57*g**2 + 13*g + 57. Suppose -57*b = -52*b - 2*r + 33, 4*b + 8 = -3*r. Is 13 a factor of d(b)?
True
Suppose 56*f - 52*f - 22*f + 99360 = 0. Is f a multiple of 46?
True
Does 4 divide ((-1558)/7)/((-228)/14364)?
False
Let l = -6033 + 8503. Suppose 6*a = 3*y + 9*a - 1512, 5*a + l = 5*y. Does 51 divide y?
False
Let h = -86 + 90. Suppose -2*c = q - 4, -h*q + 2*c + 31 = 5*c. Let v(d) = 2*d**3 - 20*d**2 + 8*d + 4. Is v(q) a multiple of 10?
False
Let l(s) = -s**3 + 98*s**2 - 294*s + 853. Is l(87) a multiple of 98?
False
Does 22 divide 4320/(-1620)*((-2)/(-6) + 238202/(-24))?
True
Let q be 1 - -1 - (-16)/(-2). Is 6 a factor of -3 - q*(-14)/(-4)?
True
Suppose 0 = 3*j - 618 + 24. Let v = j + 52. Let p = -130 + v. Is 12 a factor of p?
True
Let f = -47 + 60. Suppose 0 = -12*q + f*q. Does 28 divide 120 + (q/4 - 3)?
False
Let w(z) = -z**3 - 5*z**2 - 32*z + 8595. Is w(0) a multiple of 116?
False
Suppose 3*z - 81 = -4*o + 77, -3*z - o + 143 = 0. Is 45 a factor of (2 + (-1 - z/(-14)))*63?
True
Suppose 4*f = 5*w - 201456, -14*w - 15*f + 564174 = -10*f. Is w a multiple of 16?
False
Let h = -410 - -391. Let g = 344 + h. Is 25 a factor of g?
True
Let h(i) = 28*i - 3 - 97 + 55 - 92 - 18. Is 5 a factor of h(6)?
False
Suppose -93786 = -64*z - 2*z. Suppose -4899 = -4*d + z. Does 10 divide d?
True
Suppose -112*g + 138*g - 34294 = 0. Is g a multiple of 8?
False
Let n(g) = 344*g - 1923. Is 21 a factor of n(12)?
True
Let d(s) be the first derivative of s**4/4 + 2*s**3/3 + 13*s**2 - 7*s + 224. Does 19 divide d(6)?
True
Suppose 140*f - 135*f - 60060 = -y, 0 = -3*y. Is 52 a factor of f?
True
Suppose -3*h - 7 + 4 = 0, 5*h - 385 = -3*w. Suppose -w = -15*b + 14*b. Is 13 a factor of b?
True
Suppose 40*p - 8620 = 3180. Is 4 a factor of p?
False
Let m(b) = -81*b**2 - 12*b + 75. Let x be m(11). Does 52 divide (x/(-30) - 4) + 6/(-10)?
False
Suppose 7428 + 34692 = 12*u. Is 13 a factor of u?
True
Suppose 0 = 1037*i - 1038*i + 10725. Does 11 divide i?
True
Let h(a) be the first derivative of 18*a - 10/3*a**3 + 1/4*a**4 + 0*a**2 - 28. Is h(10) a multiple of 8?
False
Let c = 19720 + -17005. Is 3 a factor of c?
True
Suppose -21*p + 6300 = -3*p. Is 6 a factor of ((-18)/(-9))/(-2) + (p - 0)?
False
Suppose -3*y + 2 + 3 = 4*b, 0 = 4*b + 2*y - 10. Suppose -b*t + 1585 = -5*m, -5*m - 622 = -3*t + t. Does 25 divide t?
False
Let i = 52 + -16. Suppose -i*y + 39*y + 18 = 0. Does 8 divide (-4)/((2/y)/((-15)/(-3)))?
False
Let z = 2328 + -2322. Let p(q) = 4*q**2 + 10*q - 31. Let v(s) = s**2 + 3*s - 10. Let l(w) = 2*p(w) - 7*v(w). Is 6 a factor of l(z)?
False
Let f be -5*1 - (8 + -16). Suppose -173 = -5*z + f*r, -5*z + 175 = -0*z - 5*r. Suppose -8*l + 4*l + 20 = k, -k = -5*l + z. Is l a multiple of 3?
True
Let m(g) = 2*g - 18. Let j be m(10). Supp