- -5) + -5). Is 6 a factor of (1*-1 + 3)*(a + -12)?
False
Let w(l) = -533*l - 2. Let h be w(-1). Suppose -2*x = x - h. Let r = 322 - x. Is 29 a factor of r?
True
Is 11 a factor of -8*((-7425)/30 + -4)?
False
Let o = 3 - 1. Let z(c) = -7*c**o + 7*c**2 + c**2 + 9*c. Is 28 a factor of z(-16)?
True
Suppose 381 + 2167 = 4*q. Let g = q - -333. Suppose -2*b = c - 0*c - 478, -g = -4*b + 5*c. Is 16 a factor of b?
True
Let y be 60/(-14)*1400/(-60). Suppose 25 = -5*t, -2*j - 5*t + 3*t + y = 0. Is j a multiple of 34?
False
Suppose 20*v - 168 = 23*v. Let u = 68 + v. Suppose 10*z = u*z - 304. Is 19 a factor of z?
True
Suppose -39*z = -44*z. Suppose z = -185*j + 194*j - 4212. Is 12 a factor of j?
True
Let p(k) = -6*k**3 + 7*k + 10. Let f be p(-2). Suppose 5*a + v - f = 0, 0 = -2*v + 8. Suppose a*i = 5*i + 576. Is i a multiple of 45?
False
Let i = -549 - -966. Let p = i + 195. Suppose -p + 197 = -5*w. Is 5 a factor of w?
False
Let f = 98 - 100. Let a be (-113)/f + (-2)/(-4). Let u = 41 + a. Is u a multiple of 14?
True
Let w be 6*-3*((-742)/3 - 6). Suppose 12*f - w = -816. Is f a multiple of 29?
False
Suppose -3*g = 4*z - 47766 - 56504, -6 = -g. Is z a multiple of 159?
False
Let s = 33883 + -26083. Is 325 a factor of s?
True
Let a(i) = i**2 + 10*i - 18. Let y = 56 - 40. Is 15 a factor of a(y)?
False
Is 34 a factor of 6/(-16) + (408471/168 - 17)?
True
Let o = -667 + 1907. Let i = o + -726. Is i a multiple of 4?
False
Suppose -29*y + 25*y = -72. Suppose -y*w = -16*w + 238. Let x = 260 + w. Does 14 divide x?
False
Let h(q) = -q**3 - 16*q**2 + 119*q - 81. Does 4 divide h(-22)?
False
Let s be -105*(-1 + (-4)/(-3)). Let m = 214 - s. Does 18 divide m?
False
Suppose 0 = 30*k + 7156 + 6434. Let z = k + 871. Is z a multiple of 35?
False
Suppose -2*n + 16 = 14*n. Let h(s) = 188*s**2 - 3*s + 2. Is 4 a factor of h(n)?
False
Suppose -2*y + b = -506, 0 = -5*y + y - 3*b + 1022. Suppose -t - 4*j + y = 0, 4*t - 310 - 750 = -5*j. Suppose -16*g + t = -11*g. Is g a multiple of 7?
False
Suppose 15*g + 1189 = -506. Let j = 401 + g. Is 36 a factor of j?
True
Let g(n) = 440*n - 2292. Is 19 a factor of g(23)?
True
Let c(z) = -2372*z - 6968. Is c(-4) a multiple of 28?
True
Let o = 27418 - 18556. Is 6 a factor of o?
True
Let g = 11477 - -1870. Does 60 divide g?
False
Suppose -35*s + 23367 = -20*s - 72303. Does 7 divide s?
False
Let r = 253 + -437. Let d = r + 331. Suppose 9*c = -d + 408. Is 11 a factor of c?
False
Suppose -2*t + 32284 = -4*b, -585*t + 80575 = -580*t + 5*b. Is 29 a factor of t?
True
Let d(p) = 2*p**2 - 19*p - 66. Let u be d(-22). Suppose 0 = 12*h - 4*h - u. Is h a multiple of 30?
False
Let r be (32/(-8))/(2/(-38)). Let g = 74 - r. Does 11 divide (g/8)/(15/60) - -45?
True
Is 2 a factor of (3 - 4/(12/8941))*3/(-2)?
True
Let d(m) = 119*m - 18. Let k(w) be the third derivative of 59*w**4/12 - 17*w**3/6 + 41*w**2. Let r(a) = -5*d(a) + 6*k(a). Is 19 a factor of r(3)?
False
Suppose 4*v + 6*v = 6*v. Suppose v = 3*h + a - 23, -5*a + 0*a + 3 = h. Is 11 a factor of (h/(-6))/((-18)/27) + 121?
False
Does 7 divide (137/(-6))/((-693)/577962)?
False
Suppose 242*b + 37555 = 246*b - 5*w, 4*w = 3*b - 28165. Does 54 divide b?
False
Let x(m) = m**2 - 41*m + 0*m**2 + m**2 - 15 + 11. Let i be x(14). Let l = -74 - i. Does 16 divide l?
True
Suppose -11 = 8*o + 5. Let a be ((-2)/(-3))/(o/(-57)). Let i = 40 - a. Is 16 a factor of i?
False
Let k(t) = t**2 - 2*t - 27. Let y be k(10). Let v be (-308)/(-12) - 4/6. Let z = y - v. Is z a multiple of 8?
False
Suppose -3*j - j = -10428 + 2828. Is j a multiple of 19?
True
Let p = 3711 + -3463. Does 13 divide p?
False
Suppose 0*v + 1700 = 5*v. Is 17/(v/(-24))*-95 a multiple of 38?
True
Let u = -7312 + 8823. Is 12 a factor of u?
False
Let d(t) = -t**3 + 11*t**2 + 27*t + 21. Suppose 3*f + 0*f = 3*u + 48, -15 = 5*u. Does 17 divide d(f)?
True
Let i be (2 - (-14)/(-6))/((-1)/45). Suppose 12*f = 9*f - i. Is 24 a factor of f/(-5)*2*89?
False
Suppose -c - 610 = 2*c - 2*j, -596 = 3*c + 5*j. Is 15/(-36)*c - 2/12 a multiple of 6?
True
Let p(z) = -272*z**2 + 3*z + 274*z**2 - 11 - 18. Let q = 16 + -27. Is p(q) a multiple of 30?
True
Let j(x) = x**3 - 16*x**2 + 2*x - 36. Let t be j(16). Let z be 5 + -1 + 2 + t. Suppose 0 = -z*o - 13*o + 2055. Is 14 a factor of o?
False
Suppose 0 = -4*f - f - 13*f + 25398. Is 94 a factor of f?
False
Let k be (-5)/(-15) - 17/(-9)*3. Suppose -35 = 5*v - k*v - 3*x, 3*v + 5*x - 109 = 0. Does 3 divide v?
False
Let f(a) = -a**3 + a**2. Suppose 7*k + 17 = -4. Let t(l) = -2*l**3 - 19*l**2 + 22*l + 9. Let g(r) = k*f(r) + t(r). Does 10 divide g(21)?
True
Let h(s) = s**2 - s - 7. Let b be h(0). Is b - ((-862 - 7) + 4) a multiple of 70?
False
Let p be 105/6 - (-15)/(-30). Suppose 0 = p*h - 9*h - 704. Is 3 a factor of h?
False
Let v(j) = -3*j + 12. Let n be v(5). Let k be ((-13)/n)/(((-6)/63)/(-2)). Suppose -5*l = -12*l + k. Is l a multiple of 6?
False
Suppose -2*i + 5 = -3. Let p(y) be the third derivative of -y**6/120 + y**5/12 + y**4/6 - y**3 + 4*y**2. Does 22 divide p(i)?
False
Let a be (-2)/4 - (1332/8)/9. Let m(s) = s**2 + 16*s - 40. Let l be m(a). Suppose -11 = 3*n - l. Is 2 a factor of n?
True
Let d(t) = 2*t**2 + 6*t + 10. Let n(j) = 3*j**2 + 11*j + 21. Let v(s) = 5*d(s) - 3*n(s). Is 4 a factor of v(-6)?
False
Let l(n) = 866*n + 138. Is 29 a factor of l(6)?
False
Let v be 4/(-18) - (-203)/63. Suppose -f = -5*t + 6, -11 = -4*f + v*t - 1. Suppose -w - 4*a + 17 = 0, 2*a + 24 = f*w - 26. Does 2 divide w?
False
Suppose -34*m + 50*m = -98*m + 96900. Is 50 a factor of m?
True
Suppose -175 = -j - 173. Suppose 0*l - 84 = -j*l + 3*p, l - 32 = 4*p. Is 16 a factor of l?
True
Suppose -5*m - 5*n = -8*m + 750, 5*n + 1250 = 5*m. Does 5 divide m?
True
Let o be 2*5/(-25) + 28/(-5). Let h be 4 + (-4)/3*o. Suppose 5*p - 9*p + h = 0. Is 3 a factor of p?
True
Suppose -18*b + 113145 = -53373. Does 13 divide b?
False
Let u = 945 - -50299. Does 213 divide u?
False
Does 30 divide -27*((-468)/(-27) + -8)*(-75)/10?
True
Let d(w) = -2*w**3 - 7*w**2 + 23*w - 11. Let v be d(-8). Suppose 0 = 34*z - 36*z + x + v, 0 = 3*z + 4*x - 588. Is 16 a factor of z?
True
Let u be 3592/3*(-24)/(-16). Suppose -4*n = 2*h - u, -2658 = -4*n + 2*h - 846. Suppose -4*v + n = 3*l, -4*v + 452 = -2*l + 6*l. Does 28 divide v?
True
Suppose 178*w - 150512 - 43860 = 507838. Does 42 divide w?
False
Let v(x) = -x**3 + 10*x**2 + 17*x - 21. Let c be v(11). Let z(k) = k**2 - 14*k - 1. Let j be z(11). Does 8 divide j*(3 + c/(-10))?
False
Let p(l) = 22*l**3 - 89*l**2 - 10*l + 18. Is p(5) a multiple of 258?
False
Let m(f) = 3385*f + 1183. Is 111 a factor of m(8)?
False
Let y(l) be the first derivative of -10*l**2 - 136*l - 148. Is 28 a factor of y(-32)?
True
Let u be ((-8)/(-10))/(4 + (-114)/30). Is 3 a factor of (1680/77 - -5) + u/22?
True
Suppose -70*p + 1330884 = 36*p - 1033658. Is 7 a factor of p?
False
Let l = -21 - -27. Let a be (-310)/4*(-4 + l). Let q = -110 - a. Is 15 a factor of q?
True
Does 70 divide 236/118 - -16*83?
True
Suppose 0 = -3*z - z - 2*a - 702, -524 = 3*z + 4*a. Let d be 2511/10 + ((-430)/(-100))/(-43). Let k = d + z. Does 15 divide k?
True
Let v = -57 - -64. Let y = v - -29. Suppose 0 = 2*c + 4*m - 64, -m = -4*c + 5*c - y. Does 40 divide c?
True
Suppose 0 = 13*a + 9*a - 17*a. Suppose -10*g - 1890 = -12*g + 5*l, -g - 5*l + 930 = a. Does 11 divide g?
False
Suppose 4*r = -4*l, 11*r - 2*l = 6*r + 14. Suppose -r*f + 657 = 97. Does 8 divide f?
True
Suppose 0 = -4961*c + 4951*c - 70. Let q(y) = 102*y**3 + y**2 - 2*y. Let k be q(2). Does 14 divide (c/(-14) - 0)/(2/k)?
False
Let p = -12 - -56. Let n = 16 + p. Suppose -11*y + 13*y = n. Does 2 divide y?
True
Suppose -b + 2860 = -2*c - 1545, -5*b + 4*c + 22019 = 0. Is b a multiple of 6?
False
Suppose -j + 17 = -3*f, 5*f + 3*j + 47 = -0*f. Let r(n) = -2*n - 14. Let c be r(f). Suppose 3*x = 2*g + 514, -2*x - x - 4*g + 538 = c. Is 38 a factor of x?
False
Suppose -r = 4*r + 15, 44 = h + 3*r. Let u = h - 49. Suppose -5*d + u = -431. Is d a multiple of 29?
True
Let k be 0/(-4)*1/(-2) - 8. Let r be (k/(-14) - (-6)/14)*-1. Is 11 a factor of 2/(-3) - (388/(-6) - r)?
False
Let t be -4 + (26 - 2) + -3. Let r = 22 - t. Does 10 divide (2 - (-1 + 1))*r?
True
Let m be (108/(-7) - -3) + 30/70. Is -5 + 437 - (m - -15) a multiple of 39?
True
Suppose h + 0*h = g 