1417 = 5133. Let i = p - -438. Does 7 divide i?
True
Let h be 88 - (3 - (0 + 0))*-1. Suppose -2*r + y - 312 = -6*r, -3*y - h = -r. Does 12 divide r?
False
Let d = 823 + -563. Suppose 0*b + 4*j - d = -4*b, -j = 3*b - 197. Is b a multiple of 22?
True
Suppose -v = -5*g - 3, 2*g = 5*v - 0*v + 8. Let n(a) = 3 - 4 + 4*a + 3 + 33*a**2. Does 13 divide n(v)?
False
Let p(v) = v**3 + 13*v**2 + 153*v + 1093. Is p(-8) a multiple of 73?
False
Suppose -4*h - p - p = -52, -2*p + 67 = 5*h. Suppose -2*f + h = f. Suppose 5*k = -m + 16, -m - 3*m = f*k - 109. Does 4 divide m?
False
Let r(q) = 87*q**3 - q + 1. Let w be r(1). Suppose w = a - 3*c, 2*a + 4*c - 364 = -2*a. Is 2/9 + 430/a even?
False
Let p be 184/23 - 2*(2 - 1). Suppose -4*q + 440 = p*j - 2*j, 3*j = -4*q + 327. Is j a multiple of 5?
False
Suppose 50*d - 1699 = 49*d + 3*t, d - t - 1699 = 0. Is 72 a factor of d?
False
Suppose 0 = -157*a + 165*a + 16448. Let v = 3096 + a. Is 20 a factor of v?
True
Suppose -3*h - 6 = -k, -4*h = 4*k - 62 + 22. Suppose -1110 = -3*b + 5*r, 3*r + 0*r = 9. Is 7 a factor of b/k - 2/(-6)?
True
Suppose -17 - 18 = -5*w. Suppose -5*x = -w*x. Suppose -r + 5*k + 0 + 50 = x, -2*r + 56 = k. Is r a multiple of 30?
True
Is (-6559)/(-84)*-14*(-16)/(-14)*-9 a multiple of 20?
False
Let w(p) = -p - 11. Suppose -27*u = -26*u + 14. Let m be w(u). Suppose -4 - 8 = -m*c. Does 3 divide c?
False
Let u = -10097 + 10479. Is u a multiple of 11?
False
Suppose 10601 = h - 4*i, 5*i = 3*h - 14826 - 16949. Is h a multiple of 41?
False
Let l(p) = -p**2 + 345*p - 94. Is l(126) a multiple of 100?
True
Does 9 divide 2 - (-21763)/2 - (-78)/52 - 4?
True
Suppose 514*h = 509*h - 225. Let a(n) = -n**3 + 12*n**2 + 18*n + 18. Let u be a(13). Let g = h + u. Is g a multiple of 19?
True
Let r = 1532 + -1419. Suppose 7*l = 3*l - 2*u - 10, 0 = -3*l - 5*u - 25. Suppose l = 4*b - 55 - r. Is b a multiple of 7?
True
Is (128/(-5))/((4/30)/(17427/(-333))) a multiple of 63?
False
Suppose -s - 15 = -3*h + 7, -4*s = h - 16. Suppose 10*t = h*t + 6. Let g = t + 24. Does 3 divide g?
True
Let f(u) = 170*u**2 + 15 - 25 + 5*u + 12. Let v be f(-1). Suppose -4*x + 124 = 4*q - 88, v = 3*q - 5*x. Does 18 divide q?
True
Let v be (12/7)/(((-8)/(-14))/2). Is 14 a factor of (-4)/v*(-2136)/16?
False
Suppose -k + 1038 = 5*j, 2*k = 3*j + 3148 - 1124. Is k a multiple of 71?
False
Let w = -61 - -66. Suppose -2625 = -w*g - 10*g. Does 25 divide g?
True
Let d be -1*(5 - 3) + 1786. Suppose -d = 9*n - 5*n. Is (n/(-4) + 1)/(42/84) a multiple of 15?
True
Suppose -5*w + 85 = 5*l + 30, -4*l + 32 = w. Does 9 divide (-427)/63 + l + (-2908)/(-36)?
True
Let i = -168 + 167. Let z(w) = -33*w**3 + 22*w + 21. Is z(i) a multiple of 5?
False
Let p = -34752 + 54268. Does 14 divide p?
True
Let m(t) = -8*t**2 + 26*t + 293. Let a(y) = -6*y**2 + y - 1. Let g(h) = -a(h) + m(h). Is g(0) a multiple of 21?
True
Let x(r) = -r**3 + 3*r**2 + 15*r - 4. Let g(u) = u**3 - 3*u**2 - 16*u + 3. Let t(z) = -6*g(z) - 7*x(z). Does 13 divide t(6)?
False
Let t(j) = 1227*j**3 - 4*j**2 + 3*j. Let w(m) = -3*m**3 + 22*m**2 - 8*m + 8. Let h be w(7). Does 22 divide t(h)?
False
Let f = 2407 - -1406. Does 41 divide f?
True
Suppose -2*k = -10*h - 20936, 0 = 16*k - 14*k + h - 20903. Is k a multiple of 68?
False
Let n = 2220 + -1526. Suppose 11*l - 406 = n. Does 4 divide l?
True
Let c(f) be the third derivative of f**6/120 - 11*f**5/60 + f**4/4 - f**3/3 + f**2. Suppose 20 = 5*w, 61*w + 14 = 2*j + 59*w. Is c(j) a multiple of 9?
False
Let h be ((-3)/6*18/(-3))/1. Suppose -3*o = -2*a + 32, -h*o = 3*a - a - 32. Does 4 divide a?
True
Does 24 divide (-48)/(21/(-336)*(-2)/(-22))?
True
Let t = 114 - 59. Let y = t + -54. Let g = y + 33. Does 7 divide g?
False
Let t(k) = -k**3 + 18*k**2 - 6*k. Let b be t(17). Let c = b + 74. Is 19 a factor of c?
False
Suppose -4*d = 4*i - 123900, 6*i - 9*i + 4*d + 92932 = 0. Is 121 a factor of i?
True
Let d = 20 + 3. Let o = 18 + 14. Let i = o - d. Is 5 a factor of i?
False
Let a(r) = 6*r + 68. Let q be a(-11). Suppose -z + n = -319, -3*z = n + q*n - 969. Does 16 divide z?
False
Suppose -11*o = -43 - 45. Let y(l) = l**3 - 7*l**2 - 12*l - 11. Let u be y(o). Let v = -36 - u. Is v a multiple of 2?
False
Let s(h) = 289*h**2 + 23*h + 83. Is 65 a factor of s(-4)?
True
Let d(g) = -1826*g - 12757. Is d(-7) a multiple of 5?
True
Let b(w) = 23*w**3 - 15*w**2 + 40*w - 18. Does 20 divide b(6)?
False
Let p be ((-9549)/27 - 0)*3. Let q = -827 - p. Does 74 divide q?
False
Suppose 2*o - 42434 + 10304 = 0. Is o a multiple of 135?
True
Let w be (-4)/14 - (312/14)/6. Let u(s) = -s**3 - 3*s**2 + 2*s - 8. Let f be u(w). Suppose f = -2*p - 2*p + 504. Does 14 divide p?
True
Let n(x) = -2*x**2 + 14*x + 3. Let s be n(9). Let k = s + 35. Is (k/3)/(-2) - 6864/(-72) a multiple of 11?
False
Let k(q) = q + 31. Let y = 174 - 156. Is k(y) a multiple of 7?
True
Let m be (-2)/(-17) + (10 - (-1416)/102). Suppose 2*y - 250 = -2*n - 0*n, 2*n = 2*y + 254. Suppose -5*i + m = -n. Does 10 divide i?
True
Let o(w) be the third derivative of 0*w + 1/3*w**4 + 5*w**2 + 1/120*w**6 + 1/2*w**3 + 1/5*w**5 + 0. Is 6 a factor of o(-11)?
True
Let y(i) be the second derivative of i**5/20 + 4*i**4/3 - 13*i**3/3 - 12*i**2 + 18*i. Let x be y(-17). Suppose 34*m + x = 37*m. Is 3 a factor of m?
False
Let r = 30 - 29. Is 13 a factor of r + 24 + -28 + (-546)/(-2)?
False
Let v = -31 - -32. Suppose -j = -0 - v. Is (-88 - -4)*j/(-2) a multiple of 14?
True
Let s(m) = -3*m + 17. Let z(a) = -2*a + 11. Let x(h) = 5*s(h) - 7*z(h). Let b be x(8). Suppose -12*k + 147 + 1233 = b. Does 18 divide k?
False
Suppose 10691 = 4*p - 3*m, -4*p + m = -7265 - 3424. Does 68 divide p?
False
Suppose -7*b = 12*b - 2337. Let c = 122 - b. Does 26 divide c - (-5 + -154 + 2)?
True
Let m(l) = 4*l + 1 - 12 - 5. Suppose 198 = -55*a + 77*a. Does 2 divide m(a)?
True
Let q(x) = -4*x - 2. Let c be q(-3). Let d = 13 - c. Suppose 5*b + 5*v - 44 = d*b, 4*b - 4*v = 88. Does 9 divide b?
False
Suppose 22212 + 11569 = 11*q. Is q a multiple of 83?
True
Suppose 633 = -6*a + 43359. Is a a multiple of 27?
False
Let j(y) = -y**2 - y - 4. Let p be j(-5). Let s = p - -26. Suppose -384 = -s*o + 60. Is o a multiple of 41?
False
Let x(i) = i + 4. Let y be x(-4). Suppose m - 2*d - 35 = y, -2*m - 12 + 75 = 3*d. Suppose 0 = m*c - 30*c - 93. Does 7 divide c?
False
Suppose -3*t = -11*t + 40. Suppose -5*u = 2*y - 13, 34 = y - 0*u - 3*u. Suppose 4*f - y = z, f = -t*z - 5 - 6. Does 3 divide f?
False
Suppose 2*w - 26246 = 7883 - 7037. Does 7 divide w?
False
Let a = -35 + 103. Suppose 0 = -7*t - a - 16. Does 6 divide (-1)/3 - (6 - (-268)/t)?
False
Suppose 5*b = -3*r + 23220, -40*r + 45*r - 38632 = 3*b. Is 33 a factor of r?
False
Let r(s) = 3*s - 5. Let m be r(-6). Let x = 12074 - 12016. Let v = m + x. Is v a multiple of 12?
False
Let f = -68 - -158. Suppose 2*m - f = -4*v - 0, 3*v + 5*m - 71 = 0. Is 11 a factor of v?
True
Suppose f = 4*b - 512, -3*f + 0 = -12. Let o = -53 + b. Let j = -68 + o. Is j a multiple of 5?
False
Let h(c) = -3*c + 60. Let k be h(19). Suppose 377 = -k*l + 1850. Is l a multiple of 22?
False
Let w(r) = 951*r**2 + 1164*r - 6. Does 193 divide w(-4)?
False
Let z = -481 - -479. Does 6 divide (-9 - -6 - -1) + 387 + z?
False
Let z = -200 - 288. Let r = 800 + z. Does 12 divide r?
True
Let y = 3701 - 1997. Is 4 a factor of y?
True
Suppose 0 = 2*v - 2 + 16. Let b(h) = 2*h**2 + 11*h + 9. Let w be b(v). Suppose -6*z + 24 + w = 0. Is z a multiple of 3?
True
Let g = -82 + 82. Does 4 divide 21*(0 - g - (-440)/66)?
True
Let t be (-7)/((-21)/15) + 142. Suppose -2*l + 3*l + 99 = 2*h, -3*h + t = -l. Does 8 divide h?
True
Suppose n = 232 - 228. Suppose -n*w + z + 1880 = 3*z, -3*w + 2*z = -1410. Is 25 a factor of w?
False
Let t(o) = o**2 - 10*o + 21. Let g be t(7). Let d be 46 - (-1 + (g - 3)). Let m = -38 + d. Does 6 divide m?
True
Suppose b - 4*w - 768 = 0, -8*b - 2*w - 768 = -9*b. Is 16 a factor of (1 + -1 + -1)/((-2)/b)?
True
Suppose -5 = 2*v - z, -5*v - 4*z + 2*z - 8 = 0. Let k(r) = -29*r**3 - 4*r**2 + 7. Is k(v) a multiple of 5?
False
Suppose 4*f = f + k - 252, -5*f = -3*k + 420. Let h = 171 + 101. Let l = f + h. Is 19 a factor of l?
False
Let q be (-1)/(5/(-18))*430/3. Suppose 2*o = 5*l - 0*o - q, -l + 2*o = -108. Does 6 divide l?
True
Is 31 a factor of -13 + 14 + 14053 - -15?
False
Let f 