 = -864*u. Is 34 a factor of u?
True
Let u(h) be the second derivative of 5*h**4/12 - 5*h**3/3 - h**2 - 17*h. Is 19 a factor of u(6)?
False
Let b(t) = 1145*t - 11. Is b(1) a multiple of 13?
False
Let k(j) = -4*j + 12. Let s be k(5). Is ((-218)/(-4))/((-4)/s) a multiple of 10?
False
Let f = 10 - 2. Let w(d) = -d**3 + 10*d**2 - 12*d + 3. Let a be w(f). Suppose -3*o + 4*o = a. Does 11 divide o?
False
Is 6 a factor of (36/15)/((-6)/(-2565))?
True
Let x(h) = 135*h**2 - 22*h + 62. Does 20 divide x(3)?
False
Is 99 a factor of 1*(-24)/44 - 13498/(-22)?
False
Suppose -5*q - 140 = 3*l - 668, -5*l - 415 = -4*q. Is 7 a factor of q?
True
Let i(b) = -b**3 - 12*b**2 - 11*b + 1. Let w be i(-11). Let f be (-6 + 4)*(-2 + w). Suppose -4*a + p = -2*p - 44, 0 = -a + f*p + 11. Is a a multiple of 11?
True
Let c(z) = -6*z - 27. Let v(j) = -j**3 + 5*j**2 + 10*j - 11. Let m be v(6). Let x be c(m). Is 6 a factor of (600/x)/((-2)/7)?
False
Let d(j) = -j**2 - 3*j + 330. Is 3 a factor of d(-19)?
False
Let x(q) = -84*q**2 + 2*q + 2. Suppose -3*p = -7*p - 4. Let j be x(p). Let s = -20 - j. Is 12 a factor of s?
False
Suppose -5*m = z - 2321, -z - 2*m - 415 = -2727. Is z a multiple of 32?
False
Let s(i) = -i**3 + 13*i**2 + 3*i. Suppose t = 2 + 10. Let k(c) = c**2 - 10*c - 11. Let q be k(t). Is 13 a factor of s(q)?
True
Suppose -7 - 15 = -i. Suppose 4*a + i - 322 = 0. Does 13 divide a?
False
Let u(r) = 5 - 1 + 8*r**2 - 5 - 7*r. Does 39 divide u(-5)?
True
Let y(q) = -q**2 + 1. Let b be y(0). Let d = b + 4. Suppose -127 = -d*t + 4*m, -45 = -5*t - 4*m + 58. Does 9 divide t?
False
Suppose 2*a + 6 = -a. Let o = a + 110. Suppose 3*j + 30 - o = 0. Is j a multiple of 13?
True
Let y be 6 + -3 - (5 - 75). Suppose 2*v + 5 = 4*m - 13, 8 = m - 4*v. Let z = y - m. Is z a multiple of 17?
False
Let n = -349 + 376. Does 3 divide n?
True
Let r(v) = -v + 15. Let k(j) = 5. Let a(l) = 8*k(l) - 3*r(l). Suppose -9*h + 6*h = -15. Does 3 divide a(h)?
False
Suppose -5*g + 1796 = -9659. Is 29 a factor of g?
True
Let j = 35 - 128. Let k = -17 - j. Does 19 divide k?
True
Suppose -12*f = -16*f, 4*f - 870 = -3*l. Is l a multiple of 33?
False
Suppose -5*g + 1061 = 16. Is 19 a factor of g?
True
Suppose 52 = r - 2*l + 12, -4*l + 16 = r. Let n = 37 - r. Let f(o) = o**3 - 4*o**2 - o - 5. Does 11 divide f(n)?
False
Let r(j) = -23*j + 73. Is r(-7) a multiple of 33?
False
Let b(l) = l**2 - 6*l + 2. Let u be ((-6)/5)/(1/(45/(-6))). Is 10 a factor of b(u)?
False
Let s = -482 + 986. Is s a multiple of 42?
True
Let y(b) = b**3 + 14*b**2 - 4*b - 3. Let f = -5 + -1. Let h be y(f). Suppose 4*n - h + 21 = 0. Is n a multiple of 9?
True
Let p be (-210)/36 - (-1)/(-6). Let d be (-11)/(-4) - p/(-8). Suppose 0 = -d*u + 72 - 30. Does 10 divide u?
False
Let d(h) = -h**2 + 15*h + 22. Let w be d(16). Is (-4)/(-3) - (-4)/w - -106 a multiple of 30?
False
Let v = 63 - 67. Is 6 a factor of (2 + (v - -1))*(10 - 55)?
False
Let z be (-12 - -8) + (-9)/(-1). Suppose -2*h + 5*k + 0*k = 4, -z*h - 5*k = 10. Does 3 divide (-144)/(-42)*(-7)/h?
True
Let u = -609 - -1082. Is u a multiple of 14?
False
Is (-6129)/(-135) - 6/15 a multiple of 15?
True
Let d be ((-78)/18)/(2/6). Let i = 19 + d. Suppose 2*b = b + i. Is b a multiple of 3?
True
Suppose -252*r - 3584 = -268*r. Is 56 a factor of r?
True
Let d be 8*(-1 + 0/(-4)). Let j be 8*4/d - -9. Suppose 5*s - 215 = -j*f, -5*f + 170 = -4*s - 27. Does 27 divide f?
False
Let p = 37 - -1. Let a = 55 - p. Is 4 a factor of a?
False
Let a = 14 - 15. Let m be a/(3/(-12))*7. Let n = 24 + m. Is n a multiple of 11?
False
Suppose 87 = 2*n - o, -5*o = 2*n - 57 - 24. Is n even?
False
Does 11 divide 6/(-30) - 1104/(-20)?
True
Suppose 23 + 12 = 7*q. Suppose 4 = s, 49 = -0*w + q*w - 4*s. Suppose -70 = -14*j + w*j. Does 14 divide j?
True
Suppose 0 = -2*o - 3*z + 111, -5*o = z - 1 - 270. Suppose -j - 22 = -o. Does 4 divide j?
True
Let d(b) = 0*b + b + 6 - 5 + 3*b**2. Let i be d(-1). Suppose 0 = i*m + 4*o - 88, m + 5*o - 18 = 26. Is m a multiple of 24?
True
Let f(l) = 5*l**2 + 4*l - 21. Is 19 a factor of f(8)?
False
Suppose 17*f = 15*f. Suppose o = l + 2*l - 165, f = 4*l + 3*o - 233. Is 7 a factor of l?
True
Let d be 124/16 - (-3)/12. Let r(b) = 2*b - 16. Let o be r(d). Suppose o*q + 29 = q. Is 29 a factor of q?
True
Let a be (-10)/15 + (-334)/(-6). Let r = a - 110. Let d = -39 - r. Does 8 divide d?
True
Suppose d = 3*d - 22. Suppose -2*p = 5*k - 10, k + p + 1 = -0. Suppose k*i + 0*i - 42 = 5*b, i - d = b. Is 13 a factor of i?
True
Suppose -4*t = -3*j - 24, t - 2*t + 6 = 3*j. Let d(q) = -q**3 - 222*q + 6*q**2 + 22 - 13 + 117*q + 110*q. Is d(t) a multiple of 5?
False
Is (39/(-6))/((-4 - -1)/246) a multiple of 13?
True
Let a(h) = 8*h + 18. Let t be a(-4). Let r = 8 - t. Is 11 a factor of r?
True
Let f = 1 - -32. Suppose -p + f = 1. Does 6 divide p?
False
Is (377/(-6))/((-66)/(-36) + -2) even?
False
Suppose 3*a - 3*j = 3, -4*a - 2 = -5*j - 3. Suppose -5*m + p - 51 = -2*m, 0 = 4*m + a*p + 84. Does 5 divide (20/(-6))/(4/m)?
True
Suppose 0 = 14*d + 2725 - 7345. Is 82 a factor of d?
False
Suppose -4*l + 270 = -458. Let z = 272 - l. Does 9 divide z?
True
Let r(t) = -t**2 - 2*t - 1. Let v be r(-3). Let y be (2/v)/((-4)/16). Suppose 4*g + 53 = 5*w, y*w - w = -g + 16. Is w a multiple of 4?
False
Let a = 239 - -226. Does 31 divide a?
True
Let x = 3 + 29. Suppose -2*u + 43 = j, u + 0*j - 3*j - x = 0. Does 3 divide u?
False
Suppose 2*x - i = -3*i, -2*x = -4*i. Suppose -6 = -3*l - x*l. Is 648/30 - l/(-5) a multiple of 11?
True
Let p be (-21)/(-35) + (-18)/30. Let d(v) = 6*v. Let b be d(1). Suppose 2*j - 49 = -x, p = -b*j + j + x + 133. Is 8 a factor of j?
False
Suppose -3*f - 4*r = 17 + 4, 5*f + 3 = 4*r. Let v be (-12)/(-66) + 130/11. Let g = v + f. Does 5 divide g?
False
Let z(w) be the first derivative of 3*w**2 - 14*w - 11. Is 13 a factor of z(11)?
True
Let x(o) = o**2 + 4*o + 2. Let w be x(-4). Let a be (32/(-56))/(4/(-14)). Suppose -w - 2 = -2*y, -a*s - 4*y = -40. Is s a multiple of 6?
False
Let r(a) = -533*a**3 - 3*a**2 + 3. Is 5 a factor of r(-1)?
False
Let s be (-14)/(4 + 1 + -3). Let q = s + 3. Does 15 divide 1 + -3 + (q - -21)?
True
Let b = 6902 - 1050. Is 110 a factor of b?
False
Let t = -16 - -136. Does 4 divide t?
True
Let v(m) = -117*m - 2. Let g be v(-2). Suppose -3*q - g = 203. Let t = -13 - q. Is t a multiple of 33?
True
Does 26 divide -26*((-42)/12 + 2)?
False
Let f be (-87)/12 + 2/8. Let l be (22 - -13)*f/(-5). Suppose -h = h - 6, a = 2*h + l. Does 11 divide a?
True
Suppose -289 = -k - 29. Suppose 268 = 2*l + l + 5*o, -3*l + k = o. Is l a multiple of 13?
False
Let d(z) = -z**3 + 10*z**2 - z + 21. Let k be d(9). Is 16 a factor of 5/10 + k/6?
True
Suppose 1034 = 5*s + 4*c, -7*c = -s - 4*c + 203. Is s a multiple of 60?
False
Let v = 140 - 80. Suppose 5*w - 65 - v = 0. Is 11 a factor of w?
False
Let o(s) be the third derivative of 7*s**4/12 - s**3 + 30*s**2. Is o(3) a multiple of 9?
True
Suppose -9*q = 4856 - 27221. Is 7 a factor of q?
True
Let y be 2 + 2 + (-6 - -2). Let f(l) = l**2 + 2 + y*l + 10*l + 0*l**2. Does 13 divide f(-11)?
True
Is 18 a factor of 2327 - (6 - -1) - -2?
True
Suppose 5*f = -3*h + 1129, -3*f - 2*h = -h - 675. Is f a multiple of 28?
True
Suppose 0*g + 2*g = 32. Let i = g + -13. Suppose -p = -i*p + 6. Is 3 a factor of p?
True
Suppose -3*a = -3*z - 336, 4*a + 3*z = z + 442. Let i = a - 66. Is i a multiple of 15?
True
Let y(r) = -r**3 + 7*r**2 - 3*r - 2. Suppose 0*d = 2*d - 10. Is y(d) a multiple of 11?
True
Let l = 36 - 44. Let w(n) = 2*n**2 + 10*n + 12. Is w(l) a multiple of 9?
False
Let q(s) = -3*s**2 - 11*s + 3. Let o(r) = -4*r**2 - 12*r + 4. Let x = 5 + -1. Let c(f) = x*o(f) - 5*q(f). Is c(6) a multiple of 7?
True
Let b(h) be the third derivative of h**5/60 - h**4/12 + 4*h**3/3 - h**2. Let m = -70 - -64. Is b(m) a multiple of 28?
True
Let o = -21 + 33. Suppose o*l - 6*l = 306. Does 5 divide l?
False
Suppose 0 = -41*a + 36*a + 2735. Is 72 a factor of a?
False
Is 25 a factor of 1905/4*(-620)/(-93)?
True
Let c = -85 - -87. Suppose 5*a = -4*j + 429, -c*j = -a - a - 192. Is 14 a factor of j?
False
Let x be (-3)/(3 + 200/(-68)). Let o = x - 8. Is 12 a factor of -5 - -3 - o/1?
False
Suppose -3*d + 2*d + 15 = 5*z, -4*z - 26 = -3*d. Does 14 divide (9 - d)*(-1 + -13)?
True
Suppose -3*k + 3*b - 3 = 0, -2*k 