-20)*b a multiple of 7?
False
Let h = -41 + 37. Is 4/(h/(-3)) - -36 a multiple of 13?
True
Let n(j) = j**3 + 9*j**2 + 8*j - 2. Let b be n(-8). Let t be b/((-9)/(-6) - 2). Suppose 0 = f + t*f - 150. Does 6 divide f?
True
Does 9 divide 10/(8 - 6) + 67?
True
Suppose 6*q = 306 + 762. Is q a multiple of 16?
False
Let f = -2 + 6. Let b(r) = 7 + 6*r + 2 + f*r + 2*r**2. Is b(-6) a multiple of 7?
True
Let g(y) = -5*y**2 - 19*y + 5. Let t(q) = -q**2 - q. Let u(d) = -g(d) + 6*t(d). Is 7 a factor of u(8)?
True
Let z(c) = -4*c**2 - 5*c - 6. Let s(v) = -7*v**2 - 9*v - 12. Let h(t) = -6*s(t) + 10*z(t). Let f(u) = -u**2 - 5*u + 6. Let a be f(-5). Is h(a) a multiple of 36?
True
Let d(n) = 2*n - 7. Let c be d(5). Let k(f) = c - 3*f - 2 - 2*f**2 - 5 + 2*f**3. Is 23 a factor of k(3)?
True
Let n(r) be the third derivative of 0 + 1/2*r**3 - 10*r**2 + 0*r - 5/24*r**4 + 1/30*r**6 - 1/60*r**5. Does 17 divide n(3)?
False
Let k(y) = -148*y**2 - 3*y - 3. Let t be k(-1). Let r = t - -283. Does 13 divide r?
False
Let r(o) = 4*o + 8. Let m be r(5). Suppose m*g = 25*g + 132. Is g a multiple of 4?
True
Does 5 divide 201 - (9 + (-13 - -2))?
False
Let y be 6*(-7)/(-63) - 1200/(-9). Suppose 6 = -3*f, 9*k - 4*k - f = -383. Let d = k + y. Is d a multiple of 29?
False
Let b = 70 - 84. Is (-6)/(-21) - 332/b a multiple of 3?
True
Suppose 5 = -3*i - 7. Let y(a) be the second derivative of a**4/6 + a**3/3 + a**2/2 + 85*a. Is y(i) a multiple of 25?
True
Let l be -4 + 12/4 - -3. Let o(g) = 1 - 7 + g - 4*g - l. Is o(-4) even?
True
Suppose -2*n = -6*w + 2*w - 690, -2*n + 690 = -w. Is (n/(-5))/((-2)/4) a multiple of 23?
True
Suppose -3*t = 2*z - 1948, -3*t + 166 = z - 814. Is 44 a factor of z?
True
Suppose 633*b + 800 = 641*b. Is 5 a factor of b?
True
Let u(y) = 3*y**2 + 18*y + 12. Let j be (8 - 0) + 0 + -3. Let b(x) = -2*x**2 - 12*x - 8. Let i(o) = j*u(o) + 8*b(o). Is 2 a factor of i(-4)?
True
Let s be (-4)/(-14) + (-9)/(-63)*243. Let l be 4/6 + (-62)/3. Let r = s + l. Is r a multiple of 15?
True
Let m(u) = u - 13. Let d be m(13). Let o(t) = t**3 + t**2 + t + 48. Is o(d) a multiple of 4?
True
Let o(r) = -r**3 + 6*r**2 + r - 1. Let s be o(6). Is 68*s/(-10)*-4 a multiple of 17?
True
Let z(k) be the first derivative of -k**4/4 - k**3 - k**2/2 + 23*k + 11. Does 13 divide z(-5)?
True
Let p(g) be the second derivative of -g**3/6 - 9*g**2/2 - 4*g. Let q be p(-11). Suppose -q*l - 10 = -3*l. Is l a multiple of 5?
True
Suppose -3*p + i + 2*i + 597 = 0, 0 = -2*i - 2. Suppose p = -0*b + 3*b. Does 2 divide (-4)/(-22) + 120/b?
True
Suppose -913 = -33*f + 8129. Is f a multiple of 17?
False
Let v be ((-7)/(98/48))/(4/(-98)). Let z = v + -36. Does 12 divide z?
True
Let j(i) = -i**2 - 43*i - 44. Is 29 a factor of j(-18)?
True
Let q be 13/2*(7 + (4 - 9)). Suppose 91 = 2*d + 8*a - q*a, d - 3*a - 43 = 0. Is 9 a factor of d?
False
Let z(h) = h**2 - 2*h - 6. Suppose -5*d - w + 21 + 29 = 0, 4*w - 2 = 2*d. Suppose -3*x = d + 21. Does 38 divide z(x)?
True
Let i(n) = n**2 + 8*n + 23. Let v(w) = 2*w**2 + 16*w + 46. Let d(f) = 5*i(f) - 2*v(f). Is d(-10) a multiple of 16?
False
Let b(h) = 3*h**3 - 18*h**2 + 18*h + 12. Let r(q) = 2*q**3 - 18*q**2 + 18*q + 13. Let o(x) = -3*b(x) + 4*r(x). Does 7 divide o(-19)?
True
Suppose 0 = 5*y - 10, -s + 4*s - 55 = -2*y. Let m be (-2)/6 - (-106)/3. Let u = m - s. Is 2 a factor of u?
True
Let l = -1 - -17. Suppose -l*u = -17*u + 5. Suppose u*y = 6*y - 76. Is 19 a factor of y?
True
Let d(a) = a**3 - 6*a**2 - 14*a - 189. Is d(19) a multiple of 16?
False
Let c(r) = r**2 - 5*r - 13. Let v be c(8). Suppose 4*t = -2*k - 1 + 3, -2*t - v = 5*k. Suppose 4*y = t*y + 48. Is 12 a factor of y?
True
Let u(m) = 1 - 9*m - 16*m - 14*m + 29*m. Is 2 a factor of u(-1)?
False
Let w(t) be the third derivative of -t**4/24 - 2*t**3/3 - 7*t**2. Let p be w(-7). Suppose -p*d = -251 - 10. Is d a multiple of 29?
True
Let p be (5/(-10))/((-1)/2). Is 3 a factor of (12 + -5)/(p + 0)?
False
Let d = 1339 + -529. Does 27 divide d?
True
Let y be 8/(-1) + 1*(0 + 1). Let p = 157 + y. Is 17 a factor of p?
False
Let l be (6/(-9))/(1/(-9)). Suppose 31 = 5*z + l. Suppose z*j - 256 = -3*j. Is j a multiple of 16?
True
Let c be (-2)/(1 - 3)*(4 + -4). Let a(h) = h**2 + 37. Is a(c) a multiple of 4?
False
Suppose 5*a + 32 = 4*t, t - 11 = -0*a + 2*a. Suppose s + 3 = -t*n + 15, -4*n = -5*s + 3. Suppose s*j = -2*k + 99, -k - 2*k + 26 = j. Is 12 a factor of j?
False
Suppose -8*m = 4*l - 3*m - 959, -3*l = -m - 705. Suppose -4*j + l = -4. Let a = 27 + j. Is 29 a factor of a?
True
Let d = 45 + -41. Suppose -x - 276 = -d*x. Is 23 a factor of x?
True
Let r = -9 - -373. Does 28 divide r?
True
Suppose 5*d - 66 = 9. Suppose -3*x + d = 5*v, -x - 4*v = -5*x + 20. Let a(o) = -o**2 + 8*o - 5. Is a(x) a multiple of 3?
False
Let n = -202 - -774. Is 23 a factor of n?
False
Let u = -35 + 34. Is 78 - (-1 + 3)*u a multiple of 16?
True
Let r be 3*(-2)/(-24)*8. Let a be 4 - 6/(-3) - r. Let j = 9 + a. Is j a multiple of 2?
False
Let y(p) = 4*p + 4. Let f be y(7). Let d be 4/f + 30/16. Suppose 23 = d*z - 15. Does 5 divide z?
False
Let r = -24 + 58. Suppose -2*s = s - 216. Let y = s - r. Is 8 a factor of y?
False
Suppose -5 = -4*m + 3*m. Suppose -m*j - 2 = -2*i, -i - 14 + 4 = 3*j. Is (j - 5)*1*-1 a multiple of 2?
False
Let d be ((-2)/3)/(((-12)/(-1611))/(-2)). Suppose 4*r - 165 - d = 0. Is r a multiple of 9?
False
Suppose 5*l + 3*b = b - 246, -2*b - 150 = 3*l. Is 632/3 + l/72 a multiple of 15?
True
Let t(q) = -q**2 + 5*q + 4. Let n be t(5). Suppose -21 - 19 = -n*p. Does 10 divide p?
True
Suppose -20*i + 639 = 19. Is i a multiple of 6?
False
Suppose 0 = 4*a - 429 + 53. Suppose -d = -a + 4. Does 10 divide d?
True
Let v(h) = 57*h**3 - 2*h**2 - 3*h - 2. Let a be v(-1). Let g be (a/(-8))/((-2)/(-32)). Suppose 3*z - g - 1 = 0. Is 17 a factor of z?
False
Let v(t) = -t**2 + 2*t + 117. Suppose -4*i - 15*i = 0. Is 13 a factor of v(i)?
True
Suppose 4*m + 5*b = 671, m - b - 159 = -4*b. Suppose 2*y = 5*y - m. Does 12 divide y?
False
Let r(m) = 2*m**2 + 35*m + 19. Let d be r(-17). Suppose -399 = -7*t + d*t + k, 5*k - 245 = -3*t. Is 16 a factor of t?
True
Let w be (-45)/(-18)*(-12)/(-10). Suppose 5*g - 390 = -5*m, -3*m + 0*m = -w*g + 216. Is g a multiple of 11?
False
Is 0 - (-743 - (-10)/(-5)) a multiple of 37?
False
Let r(q) = -3*q - 6. Let l be r(-3). Suppose 5*f - 30 = 4*a, 3*a + 11 = -l*f + f. Suppose -5*k + 73 = 4*j + 14, j + 21 = f*k. Is 6 a factor of k?
False
Let o = -193 + 566. Does 16 divide o?
False
Suppose 2*t - 5*u = 25, 5*t - 2*u - 77 = -4*u. Let g = t - -3. Does 3 divide g?
True
Suppose 0 = 19*f - 20*f + 2*h + 88, -5*f + 4*h + 428 = 0. Is 83 a factor of f?
False
Let y = 245 - 152. Let n = y - 33. Is 20 a factor of n?
True
Let k(u) = -8*u + 5. Let j be k(-10). Suppose o - 100 + 14 = -t, o - j = -2*t. Suppose -o = -2*d + 11. Is 15 a factor of d?
False
Suppose 4*z - 88 = -4*o, -o - 5*z + 14 + 24 = 0. Suppose -q = 5*q + o. Does 10 divide (-12)/(-9) - 56/q?
True
Suppose -21 = -2*w + 3*i + 2*i, 2*w + 2*i = 0. Suppose 0 = -3*o + w*m + 498, 6*o - m = o + 838. Does 14 divide o?
True
Let j(v) = -2*v + 13. Is 5 a factor of j(-21)?
True
Let r(h) = 142*h + 58. Does 16 divide r(2)?
False
Suppose -76*s = -72*s - 3056. Is 4 a factor of s?
True
Let t(h) = -2*h**3 - 6*h**2 - 11*h - 4. Suppose -16 = i - 4*r - 4, -4*i + 5*r - 26 = 0. Does 12 divide t(i)?
True
Let l(k) = -6*k + 2. Let i be (-1 - -2)/(-6 + 5). Does 8 divide l(i)?
True
Let j be (2/(-7))/(2/(-14)). Let q = 3 - j. Let h = 8 + q. Does 9 divide h?
True
Suppose -6*d + 12 = -2*d. Suppose 0 = -5*u + 4*m + 96, 3*u = -0*u - d*m + 36. Is u a multiple of 4?
True
Let x(r) = -2*r + 10. Let l be x(4). Suppose 0 = l*g + 4, 0*u = -2*u + 4*g + 64. Does 12 divide u?
False
Let w be (-72)/(-8) + (1 - -1). Is 11 a factor of (-10 + w)/(1/59)?
False
Suppose 5*o + 52 = -38. Suppose 0 = 3*z + z - 112. Let q = o + z. Is 5 a factor of q?
True
Let g(l) = 3*l**3 - l**2. Let p be g(1). Suppose -p*a - 2*x + 83 - 9 = 0, x = -5*a + 181. Does 18 divide a?
True
Suppose 144 = 4*v + 2*t + 2*t, -180 = -5*v - t. Suppose 3*i - 189 = v. Is i a multiple of 15?
True
Suppose -4*o + 5*b = -1675, 1084 = 4*o + b - 573. Is o a multiple of 16?
False
Let z = 11 - 18. Let o(t) = -6*t + 27. Does 17 divide o(z)?
False
Let f = -9 + 35. Let s = f + 6. Is 8 a facto