 Does 46 divide y?
True
Let d(g) = -1924*g - 1341. Does 77 divide d(-6)?
False
Let a(n) be the first derivative of 231*n**2/2 + 6*n + 83. Is a(6) a multiple of 48?
True
Suppose 4445*j - 4447*j = -5292. Does 147 divide j?
True
Suppose 4*w - 3*d - 143 = -2*d, -3*w - d = -109. Let t = -241 + 239. Is 1254/w - t/12 a multiple of 7?
True
Let b be -814 + 8 + (-3)/(-3). Let f = 897 + b. Is 2 a factor of f?
True
Suppose -2*j - 15*v + 12*v + 16005 = 0, 2*v - 16002 = -2*j. Is 62 a factor of j?
True
Let w be ((-21)/(-9))/7*54. Suppose y - 78 = a, 339 = 4*y + 5*a + w. Let p = -56 + y. Is 18 a factor of p?
False
Let l = -8943 - -12219. Is l a multiple of 18?
True
Let m = 35210 + -34569. Does 41 divide m?
False
Does 20 divide ((-7460)/(-3))/((-20)/(-90))?
False
Let v be (-1156)/14 - (-1 + (-6)/(-14)). Let f = 81 + v. Is 6 a factor of (-15 - -158) + 1/f?
False
Suppose 41*s + 807045 = 214*s. Is 7 a factor of s?
False
Suppose 135*v - 139*v = -24. Suppose v*i - 383 = 751. Does 85 divide i?
False
Let v = 350 - 349. Let k(u) = 169*u - 9. Does 5 divide k(v)?
True
Let r(v) = -v**3 + 5*v**2 + 9*v - 2. Let n be r(6). Let d(k) = -k**2 + 18*k + 23. Let c be d(n). Suppose 0 = -5*s + c - 5. Is 3 a factor of s?
False
Let z(w) = -w**2 - 42*w - 87. Suppose -5*u = 13*d - 9*d + 137, 5*d - 3*u + 199 = 0. Is z(d) a multiple of 14?
False
Suppose 21 = -4*a - 35. Let o(l) = 12*l**3 + 3*l**2 + 22*l - 56. Let j(k) = -5*k**3 - 4*k**2 - 11*k + 28. Let v(u) = 5*j(u) + 2*o(u). Does 26 divide v(a)?
True
Let i = -23 - -73. Suppose -l = i - 1. Let f = -27 - l. Does 13 divide f?
False
Let o(t) = -11*t**2 - 51*t + 20. Let i be o(-5). Let d(z) = -z - 190. Let g(k) = -95. Let h(x) = -4*d(x) + 7*g(x). Does 26 divide h(i)?
False
Let j(l) = -39*l - 52. Let h be j(-19). Suppose -v + h = 5*w, 3425 = v + 4*v + 5*w. Suppose 0*y - v = -4*y. Is y a multiple of 19?
True
Let h(j) = -j**3 + 14*j**2 - 3*j + 23. Let r = -233 - -240. Does 43 divide h(r)?
False
Is 57 a factor of 140/(-40)*39*-8?
False
Let a(w) = 5*w - 1. Let d(k) = -288*k + 64. Let n(r) = -112*a(r) - 2*d(r). Does 9 divide n(19)?
True
Let s(w) = 80*w - 179*w + 86*w - 48. Let c be s(-8). Suppose 0 = -5*q - 4*m + c, 8*m - 3*m + 29 = 2*q. Does 11 divide q?
False
Let f(j) = 2*j**2 + 15*j + 5. Let m be f(-7). Let w be (1 - 3)/(m/3). Suppose 0 = 5*c + 2*d - 268, 2*d + w*d - 176 = -3*c. Is 15 a factor of c?
False
Suppose 2*c + 23 - 86 = 5*v, 0 = v - 1. Suppose 4*h - 191 - 41 = 0. Suppose -s = -h - c. Is 23 a factor of s?
True
Suppose 0*y + 2*y + 3*o + 6 = 0, -4*y + 5*o = 34. Let q be (-1834 - 5)*2/y. Suppose q - 19 = 3*b. Does 22 divide b?
True
Let i(d) = -d**3 + 12*d**2 - 21*d + 19. Let q be i(10). Suppose -4*a - q*v = -4*v - 450, -2*a = -3*v - 214. Does 10 divide a?
True
Suppose 2*a - 5 = -21. Let h(r) = 7 - 5*r**2 - 51*r + 131*r - r**3 - 68*r. Is 34 a factor of h(a)?
False
Suppose -263*p = -283*p + 12480. Is p a multiple of 48?
True
Suppose 0 = -5*j + 2*k - 878, 4*j - 2*k + 684 = -5*k. Let h = j + 349. Does 7 divide h?
True
Let c = 4991 - 2753. Is c a multiple of 9?
False
Let u(p) = -2*p**3 - 9*p**2 - p - 1. Let k(i) = i**2 - 2*i. Let g(m) = 2*k(m) + u(m). Is g(-7) a multiple of 54?
False
Suppose 2924*h - 2938*h + 36456 = 0. Is 31 a factor of h?
True
Let q(n) = -118 + 3*n**2 - 2*n**2 + 120. Let g be q(4). Is 3 a factor of g/2 + (-4)/(4/3)?
True
Suppose 2*u - 90675 = -4*v - 199, 0 = 5*v - u - 113102. Is 68 a factor of v?
False
Suppose -2*j = 2*v - v - 543, -4*j - 4*v + 1084 = 0. Suppose 9*o - 1757 = -j. Suppose 5*z = -0*z + o. Is z a multiple of 10?
False
Suppose -12*s - 81*s + 77570 = -74671. Does 13 divide s?
False
Does 9 divide 4*4/(-24)*(-57053 - 43)?
False
Let y(n) = -22*n + 41. Let h be y(2). Does 5 divide (h + 2)*(-720)/3?
True
Suppose 0 = 2*x - c + 2*c - 729, 0 = -x + 2*c + 362. Let y = 492 - x. Does 32 divide y?
True
Suppose -36*q - 1864960 = -171*q + 11*q. Does 142 divide q?
False
Let u(z) = -z**3 + 23*z**2 - 21*z + 70. Is u(20) a multiple of 35?
False
Let x(k) = 9*k - 2. Let b(u) = 48*u - 52. Let j(d) = -b(d) + 6*x(d). Let w = 1 + 4. Is j(w) a multiple of 10?
True
Suppose 2*v - 51 = -13. Let f(i) = -i**3 + 20*i**2 - 19*i. Let m be f(v). Suppose -2*j - 4*s + 88 = m, j - 5*s - 31 = 27. Does 9 divide j?
False
Let w(p) = 64 + 163*p + 154*p + p**3 - 15*p**2 - 347*p. Is w(18) a multiple of 35?
False
Suppose 5*t + 28 = -2*y - 14, 5*y = -3*t - 105. Let b = 23 + y. Suppose b*m = 3*o + 3*m - 570, 5*o - 950 = 3*m. Is o a multiple of 38?
True
Suppose -y = 5*f + 6, -3*y + 43 = 3*f + 1. Let d(n) be the second derivative of 7*n**3/6 + 19*n**2 + 2*n. Is 19 a factor of d(y)?
True
Suppose -72*a = 79*a - 803132 + 181767. Does 5 divide a?
True
Let b(t) = t**2 - 5*t + 3. Let c be b(0). Let k(o) = -o**3 + 4*o**2 + 6*o - 8. Is 16 a factor of k(c)?
False
Suppose -38*m + 606334 = -1206608. Is 31 a factor of m?
True
Let u be 97 - (-7 + 0 + 1). Let h = u + 118. Is h a multiple of 17?
True
Let u be 10*(2 + 1) + 2. Suppose 8*v + u = 12*v. Let p(x) = x**2 - 6*x - 4. Does 6 divide p(v)?
True
Suppose 0 = -4*k - 2*r + 33952, -3*r + 2946 = -k + 11406. Does 12 divide k?
True
Let j(f) = f**3 - 76*f**2 + 135*f + 406. Is 10 a factor of j(75)?
False
Suppose 200 = -7*v + 179. Is ((-21)/v)/(14/280) a multiple of 7?
True
Let w(c) = 9*c - 55*c + 0 - 4 - 54*c. Does 12 divide w(-1)?
True
Let n = -26 - -60. Let j(k) = -16 - 16 - 13*k + n. Is 23 a factor of j(-6)?
False
Let u = 155246 - 95560. Does 22 divide u?
True
Suppose 4*f = -5*d + 3754, 1227 = 2*f - 5*d - 635. Is f a multiple of 42?
False
Let z = 69 + -351. Let r = 48 - z. Is r a multiple of 10?
True
Suppose 2 + 2 = -2*r, 0 = v + 4*r - 11. Let o(h) = -6*h**2 + 0*h**2 + v + h**3 - 7 - h + 13*h. Is o(6) a multiple of 12?
True
Let c(p) = p**2 - 11*p + 100. Let t be (-368)/(-14) - (-14)/(-49). Is c(t) a multiple of 26?
False
Let w(m) = 212*m + 36. Let k be w(7). Suppose k = 5*b - 1010. Is 57 a factor of b?
False
Let t = 101363 + -37782. Is 217 a factor of t?
True
Is ((-70474)/(-835))/((-2)/(-235)) a multiple of 47?
True
Let x(p) = 154*p + 4. Let z(m) = 5*m - 13. Let v be z(3). Is x(v) a multiple of 39?
True
Does 35 divide (-491400)/(-104)*4/6?
True
Suppose -105*k - 8*k + 1342466 + 1558018 = 0. Is 69 a factor of k?
True
Let r(y) = -y**2 + y - 9. Let s(g) = 3*g**2 - 3*g + 18. Let m(w) = 7*r(w) + 3*s(w). Let a(z) = z + 7. Let o be a(-3). Is m(o) a multiple of 4?
False
Let o(k) = -k**3 + 11*k**2 - 15*k - 15. Let w be o(9). Does 9 divide 6/(-9) - (-1196)/w?
True
Let c = 107 + -54. Suppose -c = 3*h - 4*d, -2*h - 12 = 3*d - d. Is (1 + h)*720/(-100) a multiple of 12?
True
Suppose 0 = 64*u + 102*u - 1844260. Does 11 divide u?
True
Let n(b) be the first derivative of 7*b**3/6 - b**2/2 - 6*b + 10. Let a(z) be the first derivative of n(z). Is 19 a factor of a(11)?
True
Suppose -30*a + 17*a = -52. Suppose -a*b + 497 = m, -9*m + 4*m = b - 110. Is b a multiple of 3?
False
Does 27 divide ((-369)/42)/((-5)/35)*198?
True
Let v be ((-20)/(-4))/((-3)/(-6)). Suppose -11 + 551 = v*s. Is s a multiple of 9?
True
Suppose -b = 3*n - 18, -7*b = 2*n - 2*b - 25. Suppose -n*j + 1456 + 344 = 0. Does 20 divide j?
True
Let y = 20270 + -5950. Is y a multiple of 16?
True
Let c(m) = -m**3 + 7*m**2 - 15*m + 17. Let u be c(5). Let q be 636/(-10) + (u/(-10))/(-2). Is 26 a factor of (738/(-30))/(3 + q/20)?
False
Let o(n) = 437*n**2 + 30*n - 132. Is 10 a factor of o(6)?
True
Let a = -148 + 153. Suppose a*s = 25 - 5. Is (-50 - -1)/((-1)/s) a multiple of 28?
True
Let q(s) = -s**2 + 4*s + 16. Let y(o) = o**2 + 4*o - 6. Let f be y(2). Let h be q(f). Suppose 0 = -2*w, -w - 408 = -h*z - 4*w. Is z a multiple of 6?
True
Suppose -3*w - 327 = 4*b, -w - 103 = 4*b + 214. Is ((-2392)/b)/(4/42) a multiple of 12?
False
Suppose -5*x + 253 = a, -12*a = -11*a + x - 253. Is a a multiple of 4?
False
Suppose -6491 + 53159 = 17*l - 13920. Does 18 divide l?
True
Suppose 8*z + 18*z - 38*z = -57456. Is 14 a factor of z?
True
Does 13 divide (7679 - 1)/((-15)/25*(-110)/231)?
False
Suppose 5*t - 10 = -k, 0*t = -k + 2*t - 4. Let r(o) = o**2 + 2*o - 3. Let m be r(k). Is ((-21)/2)/(m/20) a multiple of 14?
True
Let o(p) = 34*p + 71. Let z be o(-2). Suppose 8*u - 2*f = 5*u + 2764, 0 = -3*u - z*f + 2784. Is u a multiple of 33?
True
Let v(j) = 2*j**2 + 9*j + 8. Let c be v(-5). Suppose 4*b - c - 19 = 0.