 Let j(i) = -6*c(i) + x(i). Is 12 a factor of j(1)?
False
Suppose a + 63 = -i + 577, 2051 = 4*i + 3*a. Suppose -2*k + 783 = 3*b, 8*b - 6*b = 3*k + i. Is 33 a factor of b?
False
Let r be 9/5*30/(-9) + 226. Is 24 a factor of (r/3)/(8/48)?
False
Does 6 divide (-204)/34 - (-1775 + 6)?
False
Suppose 595*l - 64944 = 583*l. Does 41 divide l?
True
Let x be ((621/4)/9)/((-12)/(-16)). Suppose x*z - 25*z + 348 = 0. Is z a multiple of 6?
True
Let w(j) = j - 9. Let l be w(14). Let o be (2 + 11)*(-2 + (l - 2)). Suppose -4*c = -3*y + 273, 5*c = -o - 2. Does 37 divide y?
False
Let u = -1789 + 2553. Does 5 divide u?
False
Let w = 23 + -19. Suppose -w*b - 79 - 89 = 0. Let u = -14 - b. Is 3 a factor of u?
False
Suppose -11 = -k - 5. Let v = -6 + k. Suppose 3*n = -2*l + 210, -2*l + 4*l + 4*n - 214 = v. Is 11 a factor of l?
True
Let o be (-3*32/6)/((-2)/3). Is 13 a factor of (0 + -2)*(-1404)/o?
True
Let d(b) = -2*b**2 + 42*b - 24. Let x be d(16). Let g = x - 24. Is 32 a factor of g?
False
Let s be -34*(-39)/15 + (-38)/95. Suppose 4*n + 90 = -6. Is s/10 + n/30 a multiple of 4?
True
Let x(w) = -2*w**3 + 12*w**2 + 30*w + 19. Let s be x(8). Suppose 3*c - s = 0, 3*c - 364 - 125 = -j. Does 54 divide j?
True
Suppose 12998 = -9*a + 178688. Does 35 divide a?
True
Let j(u) = -3*u**2 + 29*u + 11. Let c be j(22). Let g = c - -869. Does 33 divide g?
True
Let u(l) = -3*l**2 - l**3 + 10 + 13*l + 5 + 4 - 11*l**2. Let y be u(-15). Let f = 86 - y. Does 11 divide f?
False
Suppose 5*d - q = -472, 3*d - 4*q + 9*q = -300. Suppose 1029 = 5*l + 29. Let j = d + l. Does 35 divide j?
True
Suppose -890*b + 892*b = d + 46144, 0 = -3*b - 5*d + 69255. Is 25 a factor of b?
True
Suppose -507752 = -129*x + 65633 + 6470. Is 29 a factor of x?
True
Suppose -57*m + 87*m + 230958 = 56*m. Does 33 divide m?
False
Suppose 4*w + 2784 = -2*o, -2*w - 3*w - 1401 = o. Let c be 2/5 + o/(-35). Let t = c + -9. Is 13 a factor of t?
False
Let q(r) = 19*r**2 + 51*r + 256. Is q(-23) a multiple of 12?
False
Suppose 7*a + 8*a = 315. Suppose -z + 1 = 3*y, -y - a = -4*y + 3*z. Suppose -3*o + 588 + 39 = 2*u, -4*o = -y*u - 822. Does 59 divide o?
False
Let o be -16 - (-90)/9 - 26/2. Let j(m) be the first derivative of -m**2 - 18*m + 1. Does 6 divide j(o)?
False
Suppose -5*b = -5*j + 4*j - 593, b = 2*j + 1195. Let l = 1073 + j. Is 10 a factor of l?
False
Let r be ((4 - 6) + 4)/1. Let b be 0*(2 + (-3)/r). Suppose 2*j - 5*j + 56 = -4*g, g - 1 = b. Does 2 divide j?
True
Let p(r) = -r - 17. Let q(f) = f + 17. Let i(x) = 3*p(x) + 4*q(x). Let u be i(-14). Suppose 0 = -u*y + 2*y + 14. Is 14 a factor of y?
True
Let p(q) = 64*q**2 - 3*q + 20. Let l be p(-4). Suppose -17*b = -9*b - l. Is b a multiple of 33?
True
Let s = 877 - -823. Is s a multiple of 68?
True
Let h = -950 + 3374. Does 34 divide h?
False
Let b(a) = -2*a**2 - 8*a - 80. Let s be b(-6). Let u = s - -560. Does 12 divide u?
True
Let z = 82 - 10. Let r = 51 - z. Let w = 201 + r. Does 32 divide w?
False
Suppose 0 = -h - w + 8994, -5695 = -2*h - 3*w + 12287. Is 6 a factor of h?
True
Let s = -5563 - -6828. Is s a multiple of 11?
True
Suppose 0 = v - 4*d + 75, -v - 5*d = -2*d + 68. Let c = 155 + v. Is c a multiple of 21?
True
Suppose 0 = -12*y + 1442 + 2422. Does 23 divide y?
True
Is 402/4*(-1 + 7 - (-976)/24) a multiple of 77?
False
Suppose -3*u = 5*v - 1, 5*u + 2 - 8 = -4*v. Let j be (0 - 39)/(15 - 16). Suppose -u*w + 53 = -j. Is w a multiple of 11?
False
Let w be 0 - 4*2/2. Let k be ((-3)/(84/(-80)))/(w/(-14)). Let d = k - -8. Does 9 divide d?
True
Let y(i) = 4*i**2 - 36*i + 8. Let m be y(8). Does 32 divide (18/m)/(3/(-16)) + 252?
True
Let u(h) = -h**2 - 7*h - 11. Let j be u(-4). Let a be (j + -2)*(-6 + (-2)/(-1)). Is 17 a factor of (-2)/a + 55/2?
False
Let w(y) = -2*y**2 - 67*y - 50. Let l be w(-27). Let z = l + -189. Does 7 divide z?
True
Let g(p) = -p - 38. Let j(t) = t + 19. Suppose 3*c + 2*c - 5*f - 20 = 0, -13 = -3*c + 2*f. Let o(b) = c*j(b) + 2*g(b). Is 19 a factor of o(16)?
False
Is 196 a factor of (23 - (-19 - 7968)) + 26?
True
Let l(h) be the second derivative of h**7/2520 - h**6/80 + 17*h**5/120 + 7*h**4/6 - 13*h. Let g(d) be the third derivative of l(d). Does 3 divide g(7)?
True
Let b be 1086/(-6 + 3) + 4. Let i = b + 590. Is i a multiple of 11?
False
Let i = -941 + 23557. Is 11 a factor of i?
True
Let r(o) = o**3 - 4*o**2 - 2*o. Let t be r(5). Let z(v) = -v**2 + 14*v + 33. Let l be z(t). Is 16 a factor of (l + -20)*(-16 - 0)?
True
Let k = 4327 - 1982. Does 7 divide k?
True
Is 62 a factor of 604*(8/18 + -292*(-7)/504)?
False
Let m = 23547 + 9122. Let g be 2/(-3) + m/39. Suppose 0 = 4*o - 5*n - g, -5*o + 639 = -3*n - 404. Does 52 divide o?
True
Suppose 3*c - 5*c - 3*i + 231 = 0, -5*c = 3*i - 600. Let s = 218 - c. Is 12 a factor of s?
False
Suppose -2*f - q = -16756, 2*f + 2*q - 10971 - 5781 = 0. Is f a multiple of 111?
False
Let s(m) = 20*m**3 + 2*m**2 + 3. Let f be s(5). Let v = f - 1817. Is 15 a factor of v?
False
Let y = -32965 - -42880. Does 88 divide y?
False
Let o(r) = r**3 - 7*r**2 - 7*r + 81. Let m be o(6). Suppose -4*f + 4*h = -292, -f + m*h + 0*h = -81. Is f a multiple of 2?
False
Suppose 0 = -5*l + 2*t + 46, -5*l - 2*t + 77 = 23. Suppose -62 = -12*d + l. Let p(u) = -2*u**3 + 10*u**2 + 14*u. Does 5 divide p(d)?
False
Suppose 0 = -0*j + 2*j + 98. Is 12 a factor of ((-6)/(-14) + (-126)/j)*28?
True
Suppose 0 = 2*g - 4*g - 4. Does 17 divide ((-22)/(-66) - 1379/6)*g?
True
Suppose -8 = -3*m - 44. Let l = m - -14. Suppose -4*b + 124 = -4*r, 130 = 3*b + b - l*r. Does 3 divide b?
False
Let x = 2925 + 4089. Is 21 a factor of x?
True
Suppose 9*b - 5*b - 172 = 0. Let a = b - 32. Suppose 8*g - a*g = -309. Is g a multiple of 20?
False
Let a be 10/3*(1230/(-75) - -14). Let w(j) be the first derivative of -j**4/4 - 3*j**3 - 7*j**2 - 3*j - 1. Does 9 divide w(a)?
True
Suppose 1380 = 7*y + 1401. Is (y - -6 - 11) + 47 a multiple of 2?
False
Let j(c) = 3016*c**2 + 24*c + 8. Does 24 divide j(-2)?
True
Let b(c) = c**3 - 2*c**2 - c - 3. Let j be b(3). Suppose 0 = -3*k + 12, -j*n + 2 + 9 = -k. Suppose p = 2*t + 2*t + 136, n*t = -5. Does 15 divide p?
False
Suppose 0 = -43*z + 40*z + 12. Suppose 0 = -z*d - 2*d. Suppose d = -3*w - 51 + 429. Is w a multiple of 30?
False
Let v = -2796 + 8559. Is v a multiple of 123?
False
Let w(s) = s**3 + 19*s**2 - 21*s - 2. Let k be w(-20). Is 18 a factor of 25*(-5)/((-5)/k)?
True
Let i be -1*-1*(2 + -2). Let d = 1934 + -1059. Suppose 855 = 5*m + 3*w, 5*m + i*w = w + d. Does 23 divide m?
False
Suppose 3*r + 3*q + 2*q = -9, 3*q = 3*r + 9. Let j = -10 + r. Let s = j + 63. Does 10 divide s?
True
Let t(a) = -17*a**3 + 11*a**2 + 13*a + 3. Let f(c) = -8*c**3 + 5*c**2 + 6*c + 2. Let n(h) = 14*f(h) - 6*t(h). Is 33 a factor of n(-4)?
False
Let h = 4629 + -4086. Does 19 divide h?
False
Let m = 19238 - 34718. Does 19 divide (8/(-12))/(16/m)?
False
Let k be -9*-2*4/32*116. Let b(h) = h**2 + 8*h + 7. Let p be b(-7). Suppose p*q - 3*q + k = 0. Does 29 divide q?
True
Let y be 1467*-20*(-5)/(-15). Is 28 a factor of y/(-28) - (-6)/(-21)?
False
Let z(f) be the first derivative of -f**3/3 + 19*f**2 + 171*f + 127. Does 8 divide z(39)?
False
Let d = 6425 - 5398. Does 79 divide d?
True
Let y(j) = -j + 9. Suppose 5 = 5*p - 15. Let o(n) = n - 19. Let u(g) = p*o(g) + 9*y(g). Is u(0) a multiple of 3?
False
Let p be (2 - 0) + 221 + 0. Suppose 4*z = 97 + p. Suppose -2*l = -0*l - z. Is 5 a factor of l?
True
Let v(s) = 2*s**2 + 2*s + 9. Suppose 2 = 3*x - 2*p, -5*x - 5*p + 2*p = 3. Let z be v(x). Suppose 13*w - 1416 = z*w. Is 47 a factor of w?
False
Let j = -36 + 46. Let w(y) = 2*y - 3 + 6*y + j*y**2 - 13*y. Does 9 divide w(-2)?
False
Let o(v) = -2*v + 205. Let u be o(28). Let z = u - 128. Is 9 a factor of z?
False
Let a be 55/22*112/10. Let b be 2/7 - (-552)/a - 2. Suppose 17*s - b*s + 113 = 0. Does 14 divide s?
False
Let a(d) be the second derivative of -d**5/20 - d**4/4 + 5*d**3/3 + d**2/2 - 2*d. Let u be a(-8). Let n = u + -66. Is 25 a factor of n?
True
Suppose 3*m + y = 5739, 15*m + 3*y - 9573 = 10*m. Is 55 a factor of m?
False
Does 22 divide 10758/21*(40 + -33)?
True
Let j = 8580 + -6320. Does 4 divide j?
True
Suppose -4*v - 5*p + 345 = 0, -7*p - 250 = -3*v - 2*p. Let o = v - 91. Is 20/o*(1 + -4) a multiple of 5?
True
Let v = 47849 - 31662. Does 74 divide v?
False
Is 1