-s + 3*s - 16 = y. Does 4 divide s?
True
Let b be ((-1)/1)/(6/5 + -1). Let i be (b - 0)*(-3)/5*139. Let z = i - 145. Is z a multiple of 16?
True
Suppose -4*z - 13*c = -12*c - 64297, -2*c + 96446 = 6*z. Does 128 divide z?
False
Suppose 7*k = 12 + 184. Suppose 10 + 14 = 2*m + 2*a, 3*m - k = 5*a. Suppose -161 + m = -5*d. Is d a multiple of 6?
True
Let k = 227 - 239. Let t(a) = -57*a + 136. Is 11 a factor of t(k)?
False
Let q(x) = -15*x**3 - 7*x**2 - 21*x - 10. Let y(h) = 8*h**3 + 3*h**2 + 10*h + 4. Let n(o) = 4*q(o) + 7*y(o). Is 25 a factor of n(-3)?
True
Let p = -199 - -203. Suppose p*w = 186 + 362. Does 13 divide w?
False
Let k(i) = 3*i**2 + 4*i - 7. Let l be k(2). Let m be (-18)/(-45) - l/(-5). Suppose m*n = 773 - 101. Does 28 divide n?
True
Suppose 3*q + 2*s = 10, 0*q - 16 = -3*q - 5*s. Suppose b + m + 7 = 2*b, 0 = 4*b - q*m - 18. Suppose h - b*h = -168. Is 28 a factor of h?
True
Let r = 31722 + -18402. Is r a multiple of 111?
True
Suppose 0 = 2*x - 6, -2*x + 5641 = -s + 17801. Is s a multiple of 158?
True
Let d(q) = q**2 + 5*q + 1. Let a(h) = -h**2 - 5*h - 3. Suppose -2*s - 20 = -3*k, 4*k + 8*s = 4*s + 20. Let o(j) = k*d(j) + 4*a(j). Is 6 a factor of o(-6)?
True
Let k be (84/7)/(0 + 2/1405). Suppose 4*l + 6743 = 3*j, 5*l - 2*j = 2*j - k. Does 28 divide 5/(-15) - (-2)/((-12)/l)?
True
Suppose -3*s + 144 = 4*c, -17*c + 95 = 2*s - 14*c. Is (-2994)/(-24) - 39/s a multiple of 40?
False
Suppose 0*l + 25 = 2*x + l, -5*x + 3*l + 79 = 0. Let h = 148 - 286. Is 4 a factor of 4/x + h/(-7)?
True
Suppose 454*s - 456*s + 384 = 0. Suppose 5*q + 3*l = s, -4*l = -2*q + 50 + 6. Does 18 divide q?
True
Let g = 4461 + 2991. Suppose -26*a + g = a. Is a a multiple of 12?
True
Let n be (-1)/(-8) - 527/(-136). Suppose -n*t + 2*t = -5*k + 390, 4*t + 156 = 2*k. Does 11 divide k?
False
Suppose 31*b - 17*b - 84 = 0. Is (50/1)/(b/24) a multiple of 25?
True
Suppose 0*d + 144 = -3*d. Let p(i) = 5*i**2 - 12*i + 36. Let n be p(6). Let m = n + d. Does 14 divide m?
False
Let j = -97 + 100. Suppose -4*q + 12 = 4*b, q + j + 6 = -5*b. Is (900/27)/(2/q) a multiple of 10?
True
Is 6 a factor of ((-7)/(7/1))/(3/(-7341) + 0)?
False
Suppose 62375 = -3339*c + 3343*c - 26737. Is c a multiple of 158?
True
Let c be (1*-1)/((-28)/56) + 1. Suppose c*v = 5*y - 2249, 0 = 9*y - 14*y - 3*v + 2231. Is y a multiple of 14?
True
Let b(r) = 86*r**2 - 7*r - 4. Let q(t) = -259*t**2 + 21*t + 15. Let y(k) = -17*b(k) - 6*q(k). Is y(-3) a multiple of 31?
False
Let l(g) = 220*g - 640. Is 22 a factor of l(11)?
False
Is 33 a factor of 5/(-20)*-4*(36/(-6) + 9247)?
False
Let f(y) be the second derivative of 0 - 3/2*y**3 + 24*y - 5/12*y**4 - 1/20*y**5 - y**2. Does 14 divide f(-7)?
False
Suppose 4*o = 2*b + 4, -3 = 5*b - 7*o + 4*o. Suppose b = 10*i - 14*i - d + 1461, -2*i = -2*d - 718. Is 7 a factor of i?
True
Suppose 10*t - 84546 = -51*t. Is t a multiple of 14?
True
Suppose 0 = 3*k, 23*k - 18*k - 22770 = -y. Does 9 divide y?
True
Suppose r = m - 36792, -2328*m + 6*r + 183957 = -2323*m. Does 18 divide m?
False
Let i = -434 - -434. Suppose 328*k - 331*k + 3159 = i. Does 81 divide k?
True
Does 15 divide (-10714)/(-14) + (-54)/189?
True
Let n = -579 + 622. Suppose -272 = -9*t + n. Does 5 divide t?
True
Is 15*15/2*160/3 a multiple of 150?
True
Suppose -10 = -3*r - 10, 0 = -4*v + 5*r + 47024. Does 19 divide v?
False
Let i = 31201 + -14502. Is i a multiple of 56?
False
Suppose 20 = -2*l + 70. Suppose -x + 24 = 4*t, -2*x + l = t + 3*x. Suppose -w + 254 = t*y - 4*w, 2*y + 4*w - 86 = 0. Is y a multiple of 7?
True
Is 134 a factor of (139 + -16)/(-2 + (-159)/(-75))?
False
Let j be 160171/88 - (-2)/(-16). Suppose 7*g - j = 2*g. Is g a multiple of 13?
True
Let z be 82/(-41) + 1*114. Suppose n - 34 = -4*l, z = -n + 4*n + 2*l. Is 7 a factor of n?
False
Let c(y) = y**2 - 26*y + 24. Let r be c(27). Suppose -45*x = -r*x + 2352. Is 7 a factor of x?
True
Let s be (-2 - -3) + -1 + (-6)/(-2). Let p be ((-4)/s)/(9/(-27)). Suppose -p*u = -94 - 298. Does 14 divide u?
True
Suppose 5*b - 4*n = 8*b - 2, 10 = 4*b - 2*n. Suppose 558 = b*t + 5*i + 8, -2*i = 4. Is t a multiple of 10?
True
Let r(k) = 257*k**2 + k - 1. Let s be r(1). Let w = s - 145. Suppose 0 = p + p - w. Is 14 a factor of p?
True
Is 39 a factor of (-61*(-20)/(-80) + 16)*(-199624)/(-6)?
False
Suppose 76*w = 80*w - b - 13972, w + 4*b = 3527. Does 17 divide w?
False
Let v = -6 + 306. Suppose -6*q = -10*q + v. Does 15 divide q?
True
Suppose -90*x = -99*x + 54. Is x*111/1 + -7 a multiple of 26?
False
Let u = -22 + 19. Is 5276/20 + u/(-15) a multiple of 66?
True
Suppose -5*f = -250 + 1765. Let y = -128 - f. Is 5 a factor of y?
True
Let f = 18836 - -5105. Is 14 a factor of f?
False
Does 15 divide (-48)/(-8) - 8 - 58838/(-13)?
False
Let i = 24887 - 20271. Does 313 divide i?
False
Suppose 2*j + 37*k - 40*k - 2055 = 0, k = -4*j + 4131. Is 24 a factor of j?
True
Suppose -8 - 5 = -w. Let f be ((-2 - 1) + (16 - w))/(-1). Suppose f = -3*p + d + 137, 2*p - 86 = -2*d - 0. Is 3 a factor of p?
True
Suppose 353 = 7*s - 130. Let r(k) = k**3 + k**2 - k**2 - 2*k**2 + s + 3*k**2 + k. Does 12 divide r(0)?
False
Suppose -17*n - 6890 - 6574 = 0. Let c = 1285 + n. Does 67 divide c?
False
Suppose 0 = -15*y + 17*y + 140. Let j be (1*-15)/(0 - -1). Let g = j - y. Is 15 a factor of g?
False
Let k(j) = j**3 - 12*j**2 - 11*j - 8. Let q be k(13). Let w(v) = v**3 - 15*v**2 - 45*v + 17. Does 4 divide w(q)?
False
Let i(c) be the third derivative of -29*c**4/24 + 32*c**3/3 + 20*c**2. Is 45 a factor of i(-4)?
True
Let x = -3442 - -3666. Does 14 divide x?
True
Suppose 0 = 23*q - 17*q - 12. Let x be -60 - (-1 + q)*4. Does 13 divide 4/(x/476)*-4?
False
Let g(y) = -y**2 - 12*y + 28. Let d be g(-13). Suppose -d*z - 4375 = -40*z. Is z a multiple of 11?
False
Let u(r) = 5 - 21*r**2 - 92*r**2 + 241*r**2 - 1 - 4*r. Let b = 0 - -1. Is 16 a factor of u(b)?
True
Let u = -1941 + 4746. Suppose -b + u = 4*b. Is 51 a factor of b?
True
Let q be ((-14)/(-6))/(3/(-27)). Let f = 25 + q. Suppose -2*a - u = -27, -3*a - f*u + 48 = a. Is 6 a factor of a?
False
Let f(x) be the first derivative of -2*x**3/3 - 18*x**2 + 24*x + 26. Is f(-18) even?
True
Let q = -28 + 471. Suppose 0 = 3*s - 2*g + 7*g - 1350, 0 = -s - 4*g + q. Is 12 a factor of s?
False
Suppose -3*q + 4*q = 8*q. Let x be -2*(q - (-6)/(-4)). Suppose -2*s = -4*n + 266, 0 = x*n - 4*n - 5*s + 72. Is 13 a factor of n?
False
Suppose -2*v - 70 = 4*b + 24, -b = -4*v - 215. Let u be (8/(-6) - -2) + (-128)/3. Let r = u - v. Is 2 a factor of r?
False
Let j(m) = -2*m**3 + 9*m**2 + 10 + 4*m - 15*m + m**3. Is j(5) a multiple of 3?
False
Let n(g) = g**3 - 10*g**2 + 27*g - 13. Let d be n(6). Suppose d*l + 156 = 761. Does 18 divide l?
False
Suppose 16 = 177*g - 173*g. Suppose 0 = -g*v - 3*b + 477 + 1236, v - 426 = -3*b. Is 28 a factor of v?
False
Let v(n) = -21*n + 4. Let j be v(1). Let z(q) = -3*q + 17. Is z(j) a multiple of 17?
True
Suppose 2*o + 5 = -131. Let d be (o/(-6))/((-1)/(-3)). Suppose v = 33 + d. Is 15 a factor of v?
False
Let q(b) be the first derivative of -12 + 6*b**2 + 4/3*b**3 + 9*b. Is q(-6) a multiple of 23?
False
Let p = 21 + -16. Suppose -3527 = -p*d - 1162. Is 43 a factor of d?
True
Suppose 5*p + 3*j - 16570 = 0, 12*p - 9*p + 2*j - 9941 = 0. Does 22 divide p?
False
Let v(c) = 7*c + 145. Let o be v(-19). Does 53 divide o/2 + (-51891)/(-49)?
False
Let f(j) = j**2 + 2*j + 3. Let c be f(-3). Suppose c*s - 53 = 37. Suppose -s*h + 4418 = 1268. Is 42 a factor of h?
True
Suppose 19*m - 24*m = -880. Let x = m + -8. Does 6 divide x?
True
Suppose 3*h + 4*z = 6*z + 23, h - 1 = -z. Suppose u = -5*q - 4*u + 2085, 0 = -h*u - 5. Does 38 divide q?
True
Suppose 0 = -4*w + 28, 32*w - 36*w - 125412 = -4*y. Is 28 a factor of y?
True
Suppose r - 2*r - 3*z = 7, -5 = -3*r + 4*z. Let q(b) = 11*b**2 - 3*b - 2. Is 2 a factor of q(r)?
True
Let l(y) = -3*y**2 + 38*y - 38. Let q be l(19). Let b = -675 - q. Let j = b - -420. Does 9 divide j?
True
Suppose 1 = 2*h - 9. Suppose -u - 4 = q - 5*u, -h*q - u + 1 = 0. Suppose -2*w + 4*m + 88 = q, 2*w = -4*m + 19 + 37. Does 22 divide w?
False
Suppose 0 = -f + 3*f - 4. Suppose -4*w - 5*a + 99 = 0, -a = -f*w + 9 + 30. Let v = 81 - w. Is 20 a factor of v?
True
Let i be 2 + 927/(-6) + (-18)/(-12). Let t = i + 697. Is t a multiple of 39?
True
Let v(u) = 59*u**2 - 13