 34 divide d(c)?
True
Suppose -26*i - 64*i = -40*i - 29900. Is i a multiple of 13?
True
Is 13 a factor of 1/((-7)/(-37726))*(-42)/(-12)?
True
Let t(n) = -6547*n + 11087. Is t(-6) a multiple of 209?
True
Suppose 0 = 16*d - 5616 + 720. Let m = d - -1014. Does 15 divide m?
True
Let x = 86 + 32. Let d = x - -56. Is d a multiple of 49?
False
Let n(o) = -85*o**2 + 20*o + 33. Let w(i) = 28*i - 8 - 22*i - 11*i + 21*i**2. Let v(m) = 2*n(m) + 9*w(m). Is v(-2) a multiple of 18?
False
Let o(a) = a**2 + 29*a + 14. Let f be o(-14). Let u = 587 - f. Is u a multiple of 23?
False
Let l be -37 - (2 + -1 + 0). Suppose 122*w - 69*w - 247 = 72*w. Let u = w - l. Does 5 divide u?
True
Let w(u) = 409*u - 1466. Is 29 a factor of w(16)?
False
Let q(v) = v**2 - 18*v + 47. Let t be q(3). Suppose 8*w = 2*r + 6*w - 266, 0 = t*r + 5*w - 231. Is r a multiple of 8?
True
Suppose 0 = 49*k - 598540 + 93350. Is 23 a factor of k?
False
Suppose -4*s = -12*s + 16. Suppose -55 = -3*v - s*v. Let w = v + 109. Does 15 divide w?
True
Let k be 2/(-4) - (-52)/(-8). Let t be (-322)/(-4)*(-8)/k. Suppose 2*u = -2*r - 0*u + t, -160 = -4*r + 4*u. Does 10 divide r?
False
Let s = -156 - -315. Does 7 divide s - (8 + -6 + -6)?
False
Let y = 1157 + -416. Suppose -6*v + y = 7*v. Does 2 divide v?
False
Let o = -38066 - -89280. Does 16 divide o?
False
Let y be 1/4 - (-177)/12. Let t be 40/y - (-3)/9. Suppose -t*o - 2*l = -64, 0 = o + 3*l - 5*l - 32. Does 5 divide o?
False
Let g be (-15)/10 + (-138)/(-12). Suppose 0 = -4*r - 4*v + 2220, g*v - 8*v + 2202 = 4*r. Does 23 divide r?
True
Let r(l) = l**3 + 13*l**2 + 102*l + 909. Is r(-8) a multiple of 5?
False
Let h(n) = 26*n**3 - n**2 - n + 1. Let x be h(1). Suppose 7*t - 4*t + x = 5*v, 2*t - 3*v = -15. Is 22 a factor of t + -8*106/(-4)?
False
Suppose -16*r + 12 = -13*r. Suppose -1 = 2*f + 3, 642 = r*l + 3*f. Does 18 divide l?
True
Let l(s) = 2*s**2 - 18*s - 20. Let n be l(10). Let j be 0/2 - (96 + n + -4). Is (1 + 1)/((-8)/j) a multiple of 7?
False
Suppose -2*a = 4*i - 18932, 0 = -3*i + 105*a - 101*a + 14232. Does 271 divide i?
False
Suppose -2*z = -5*q - 796, 0 = -3*z - 2*z + 15. Let s = 402 + q. Is 4 a factor of s?
True
Let o(x) = 5*x**3 - 10*x**2 + 5*x - 67. Is 79 a factor of o(11)?
False
Let s(x) = -18*x + 1437*x**2 - 2868*x**2 + 55 + 1437*x**2. Is s(8) a multiple of 41?
False
Suppose 19*o + 2316 - 13336 = 0. Does 145 divide o?
True
Let i = -8324 - -27080. Does 117 divide i?
False
Let z(i) = 442*i**2 - 30*i + 144. Is 84 a factor of z(3)?
True
Suppose -200 = -3*g - g. Let m(d) = -d**2 - 36*d - 276. Let s be m(-22). Let v = g - s. Is v a multiple of 9?
True
Let o(r) = -r**3 + 12*r**2 - 23*r + 45. Let m be o(10). Suppose -m*g + 128 = -112. Does 7 divide g?
False
Let p be 42*(4 + 52)*3/9. Suppose 9*g - 701 - p = 0. Suppose 0*m - g = -3*m. Is 19 a factor of m?
False
Suppose 161*n - 1869674 = 358405. Is n a multiple of 17?
False
Let o(w) = -11*w**2 + 33*w**2 + 30*w + 19 - 23*w. Let k be o(-3). Suppose -2*y = -b + k, -2*b + 3*y = -0*b - 396. Is b a multiple of 17?
True
Let b = 0 + -2. Let q(i) = -13*i**2 - 5*i + 2. Let a(v) = -2*v**2 - v + 1. Let u(n) = 5*a(n) - q(n). Does 5 divide u(b)?
True
Suppose 5*f - 5*a - 7 = 3, -3*f + 4 = -2*a. Suppose 5*o = -3*i + 428, f = 2*i - 4*o - 8 - 248. Is i a multiple of 10?
False
Suppose -w - 38 = -3*w. Suppose 0 = n + 2*h + 1, -2*h - w + 8 = -n. Let g(m) = 2*m**3 - 9*m**2 - 2*m - 3. Does 4 divide g(n)?
True
Let x(u) = -u**3 - 3*u + 8. Let j be x(-4). Suppose -j = -d - 3*d. Suppose -8*v = -171 - d. Is 5 a factor of v?
False
Let t(b) = -b + 202. Suppose 2*y - 4*y = -4*o - 2, -5*o = -5. Suppose 0 = -2*g - y*g - 0*g. Is t(g) a multiple of 34?
False
Suppose -4 = 5*x + 11. Let o(h) = 2*h**2 - h - 3. Let c be o(x). Suppose p - 30 = c. Does 14 divide p?
False
Suppose -7*g = -124 + 26. Suppose -g*t = -12*t - 624. Is t a multiple of 26?
True
Let j = 5164 - -1892. Is j a multiple of 3?
True
Let f = -25021 - -29971. Does 9 divide f?
True
Let l be (1/(-1))/((-82)/(-75686)). Let o = 301 - l. Does 17 divide o?
True
Is 6 a factor of (-2)/8 + 1 - ((-106843)/44 - 7)?
True
Let z = 265 - 257. Let p(b) = 41*b + 32. Does 33 divide p(z)?
False
Let u(c) = c**3 + 24*c**2 - 15*c - 153. Is u(-9) a multiple of 3?
True
Let f be (84/(-8) - -9)*356/(-1). Suppose -12*o = f - 1854. Is 22 a factor of o?
True
Suppose 0 = -3*t + 21, 553 - 10571 = -2*u + 2*t. Does 114 divide u?
True
Suppose 64 = -6*n + 2*n. Let f be 4/(-3) - (-1)/(-3)*n. Suppose f*y = 0, -3*t = y - 5*y - 123. Is 13 a factor of t?
False
Let d(q) be the third derivative of -7*q**6/60 + q**4/6 - 65*q**2. Let h be -2 + (4 - 1) + -3. Is d(h) a multiple of 27?
False
Let g(t) = -t**3 - 16*t**2 + 11*t + 19. Let u = -26 + 9. Is 11 a factor of g(u)?
True
Suppose -2*l - 3*b = 8, 2*l + 5 = 5*b - 19. Is 5 a factor of 4/l + 1872/91?
True
Let k = 8384 + -2057. Is 12 a factor of k?
False
Suppose -5*v + 5 = 0, -3*v + 11 = 4*g - 4*v. Suppose -2*y + 12 = 3*y - g*n, 4 = -3*y - n. Suppose -3*l = 5*p - y*l - 1278, p + 5*l = 238. Is p a multiple of 14?
False
Let r(t) = 2*t + 18. Let x be r(-9). Is 7 a factor of (-70 + x)*210/(-49)?
False
Suppose -5*h + 2*a + 5815 = -3401, 7*a = 14. Let p = h - 1305. Is 14 a factor of p?
False
Suppose -2*y - 2*i = -6536, 2*i + 902 + 5610 = 2*y. Does 11 divide y?
False
Let g(m) = 3*m - 18. Let s(w) = 3*w - 18. Let c(o) = -3*g(o) + 2*s(o). Let b be c(6). Suppose b = -p + 110 + 93. Is p a multiple of 27?
False
Suppose 1952 = 3*b + 2*i, b - i = 4*i + 679. Suppose -3*n = -2*o + 390, -3*o - 5*n = -b + 69. Is 15 a factor of o?
True
Does 4 divide 1/(236/(-26) - -9)*-66?
False
Let q(w) = 12*w + 16. Suppose -4*d + 20 = 4*b - 32, 4*d - 58 = -2*b. Is q(d) a multiple of 16?
True
Is 18/24 - (-80598)/56 a multiple of 24?
True
Let d be (-14)/49 - 636/(-21). Let q(c) = -d - 23*c - 32*c - 2 + 45*c. Is q(-6) a multiple of 14?
True
Suppose 72*c - 766276 - 87640 = 664636. Is 7 a factor of c?
True
Suppose -33*q + 25457 = -5893. Suppose -q = -10*m + 170. Is m a multiple of 7?
True
Let x(s) = -1065*s - 2702. Does 17 divide x(-8)?
False
Suppose 12*j - 20 = 2*j. Suppose -4*d + 909 + 1655 = 3*x, 0 = -4*d - j*x + 2560. Does 10 divide d?
False
Suppose -11*n - 22645 = -87864. Is n a multiple of 49?
True
Suppose 5*p = 4*p + 3*b + 18, -4*p + 3*b = -72. Let c(j) = -j**3 + 19*j**2 - j - 89. Is 31 a factor of c(p)?
True
Let m(o) = -o**3 - 46*o**2 - 1102. Is 118 a factor of m(-56)?
False
Suppose 75*g - 9665 - 1210 = 0. Suppose 0 = -w + 131 + 119. Let s = w - g. Does 7 divide s?
True
Is 29 a factor of 258315/(-85)*((-69)/9 + -2)*1?
True
Suppose -250*i - 12 = -253*i. Does 18 divide 3/((-18)/i) + 1736/12?
True
Does 93 divide ((-22526)/(-35))/(3/45)?
False
Suppose -262*z + 128*z - 6982 = -136*z. Does 25 divide z?
False
Suppose -4*w = -5*i + 33 - 1294, i = -3*w - 237. Suppose 5*u - 5*j - 1920 = 0, -5*u + 1901 = j - 49. Let k = u + i. Does 28 divide k?
True
Let k(f) = -21*f + 33. Let n(b) = 22*b - 32. Let p(g) = -6*k(g) - 5*n(g). Let z be p(7). Suppose 3*m - 5*a - z = 86, 0 = m + 2*a - 35. Does 8 divide m?
False
Let o = -6824 + 7751. Is 20 a factor of o?
False
Let m(q) = 2*q - 6*q - 30 - 17*q. Is 12 a factor of m(-10)?
True
Is 17 - (-112)/(-7) - -235*41 a multiple of 12?
True
Suppose -g = -4*y + 2837, y - 2822 = -3*y - 2*g. Suppose -48*s + y = -42*s. Is s a multiple of 25?
False
Let u(y) be the third derivative of -y**6/120 - y**5/30 - 5*y**4/24 - 8*y**2 + y. Suppose -g + 2*o = -0 + 12, -2*o + 8 = 0. Is u(g) a multiple of 12?
False
Suppose 3*h - 3*z + 80 = -7*z, 0 = -h - z - 25. Let f = 1 + 3. Is f/h + (-371)/(-5) a multiple of 10?
False
Let z(g) = 7*g + 40. Let p be z(-5). Suppose -p*i - 3*d + 515 = -0*i, -i + 75 = -5*d. Suppose 292 = 7*h - i. Is 19 a factor of h?
False
Suppose -5*z - 75 = -5*s, -2*s + 30 = z + 3*z. Let t be 5/(-2)*(-2)/5 - -1. Is ((-32)/(-10))/(t/s) a multiple of 19?
False
Suppose -23 = -5*j + 3*p - 6, -2*p = -2*j + 6. Suppose j*m - 2*y - 650 = 0, 2*m = m + 5*y + 149. Does 41 divide m?
True
Let j(f) = -36*f - 70 + 37*f - 30*f. Is 46 a factor of j(-7)?
False
Let z be (-74)/3*174/(-4). Suppose -2*w = 349 - z. Is w a multiple of 11?
False
Let g = 1576 + -946. Is 9 a factor of ((-3)/(-2))/((-10695)/g + 17)?
True
Suppose 0 = w + 2*d - 3348, -64*w - 5*d = -66*w + 6750. Does 2 divide w?
True
Suppose 135*h - 2