 multiple of 20?
False
Let r(j) be the third derivative of j**5/10 + j**4/8 + j**3/2 - 3*j**2. Does 16 divide r(-3)?
True
Let z(y) = 8*y - 13. Let g(r) = 24*r - 39. Let c(b) = 3*g(b) - 8*z(b). Let x be c(10). Suppose -5*a = -93 - x. Is 16 a factor of a?
True
Suppose -310 + 1240 = 6*h. Does 22 divide h?
False
Suppose -5*t - 219 = -3*w, 0*t = -4*w + t + 275. Is 12 a factor of w?
False
Suppose -4*m = -51 - 89. Is 5 a factor of m?
True
Let q be -2*(-3)/2 - 1. Suppose -m = m - q. Is 2 a factor of ((-20)/16)/(m/(-4))?
False
Let b be -2 - -2 - (-74 + 1). Let z = b - 31. Suppose 0 = -0*i - 3*i + z. Is 7 a factor of i?
True
Let s be 9/18*2*2. Is 4 a factor of (-2 + -6)/(s/(-4))?
True
Let h(v) = 2*v**2 + 3*v + 6. Is 25 a factor of h(7)?
True
Is 7 a factor of 32*1 - (-33)/(-11)?
False
Let t = 10 + -6. Let n = 7 - t. Suppose 225 = n*c + 2*c. Does 22 divide c?
False
Is 12 a factor of 43 - -5 - 0/(-1)?
True
Let m be (-8)/2*(-12)/8. Suppose j + 4*b = -m, 3*j - b = -0*b - 5. Is 19 a factor of (j/(-6))/(1/114)?
True
Let m(b) = -b + 3. Let s be m(-3). Does 4 divide s/15 - 78/(-5)?
True
Let k(z) = -z**3 - 2*z**2 - 4*z - 4. Let t be k(-3). Suppose -6*q + 3*q + 5*u + 142 = 0, -3*u = -q + 54. Let y = q - t. Is y a multiple of 8?
False
Suppose 4*r - 3*o - 68 - 12 = 0, -2*r - 2*o = -40. Is r a multiple of 3?
False
Suppose 17 = f - 15. Let q = f - 8. Does 20 divide q?
False
Let t(u) = -u**2 + 14*u - 8. Let z(y) = y + 11. Let s be z(-8). Suppose -s*o = 16 - 40. Is t(o) a multiple of 15?
False
Suppose -i + 2 = -1. Let k(v) = -2*v + 0*v + v + 4*v**2 + 3. Is k(i) a multiple of 11?
False
Suppose 0 = w - 11 - 7. Let j = w + -11. Does 3 divide j?
False
Let l = 3 + -1. Is 21 a factor of 53/l - (-1)/2?
False
Let u(t) = 8*t. Let p(z) = -7*z**2 + z + 15. Let y(b) = -10*b**2 + 2*b + 22. Let r(l) = -7*p(l) + 5*y(l). Let s be r(4). Is 3 a factor of u(s)?
False
Let x(q) = 5*q**3 - q**2 - q + 1. Let n be x(1). Suppose 10 = -3*l + n. Is (l + 1)*2*-9 a multiple of 8?
False
Let s(k) = 4*k**2 - 2*k - 1. Let r be s(-1). Let o(v) = -v**2 + 6*v + 1. Let u be o(r). Suppose u = -3*c, 0*c - 45 = -3*p + 3*c. Is p a multiple of 5?
False
Suppose -13 - 7 = -2*v + 2*h, 66 = 5*v - h. Is 8 a factor of v?
False
Let c be 177/6 - 1/(-2). Suppose 0 = -x, 0 = -n - 4*n + x + c. Suppose -h + n*h + 5*a - 160 = 0, 2*h - 65 = -a. Does 20 divide h?
False
Suppose g + 36 = 5*g. Is g a multiple of 4?
False
Let i(a) = -2*a + 5*a**2 + 4 + 0*a + 0*a. Let m be i(-3). Suppose -3*n - m = -8*n. Does 11 divide n?
True
Suppose 0 = 2*p - 64 + 12. Suppose -101 = -3*b - p. Let q = 49 - b. Is 11 a factor of q?
False
Suppose -5*m + 31 + 39 = 0. Is (-620)/(-35) - (-4)/m a multiple of 6?
True
Suppose -59 = -7*k + 2*k + 3*x, 5*k + 2*x = 69. Let q = k + -4. Does 3 divide q?
True
Let z(n) = -n + 13. Let j(v) = -3*v + 39. Let b(i) = 4*j(i) - 11*z(i). Let k be b(0). Suppose 4*w - 5*w + k = 0. Does 7 divide w?
False
Let z(u) = -u**3 + 3*u**2 + 5*u. Is 3 a factor of z(4)?
False
Let r(g) = 9*g + 12. Is 12 a factor of r(8)?
True
Suppose -154 = -f - 10. Is 16 a factor of f?
True
Suppose 4*h = -5*p + 87, p + 0*h - 3*h = 25. Is 19 a factor of (-16 - -15)*-1*p?
True
Suppose 8 = 3*v - 5*q, -v + 3*q = 4*q. Let i be (0 + 1)*(0 + 1). Is 9 a factor of (-2 - v)/(i/(-6))?
True
Let x be 0 + (-2 - -5) - 1. Suppose x*v + 47 = 3*o - 18, -o + 18 = 3*v. Does 11 divide o?
False
Let i(q) = q**3 - 5*q**2 + 3*q - 1. Let w be i(2). Let x = w + 10. Is x a multiple of 3?
True
Suppose -3*n = 1 - 13. Suppose 166 = n*t - 118. Let b = -43 + t. Is b a multiple of 20?
False
Let x(r) = -4*r - 51. Is x(-16) even?
False
Let h = 12 + 2. Is 6 a factor of h?
False
Let y = -8 - -13. Let c = y - 3. Suppose i = -3, -j = 3*i - i + c. Does 4 divide j?
True
Let b = 558 + -383. Does 35 divide b?
True
Suppose 0 = d + 1 - 4. Let p(w) be the third derivative of w**6/120 - w**5/30 + w**3/2 - 3*w**2. Is 6 a factor of p(d)?
True
Suppose v - 59 = -g + 6, -4*v - g + 251 = 0. Does 6 divide v?
False
Suppose -4*d + 9 = -r, -3*d - 2*d - 3*r = -7. Suppose 0 = 4*f - d*f - 84. Is 21 a factor of f?
True
Suppose -2*a = -6*a + 8. Is 20*a + 3 + -5 a multiple of 24?
False
Let i(o) = -o**2 - 18*o - 19. Does 11 divide i(-14)?
False
Let b = -5 + 8. Let q(u) = 9*u + 1. Is q(b) a multiple of 26?
False
Let f(x) = -x**3 - 6*x**2 - x + 6. Let w be f(-6). Is (w/14)/(5/455) a multiple of 15?
False
Is 24 - -3*(-3)/(-3) a multiple of 9?
True
Let v = 11 + -8. Suppose -v*r + 13 = -128. Is 4 a factor of r/4 + 2/8?
True
Let m(h) = h - 1. Let i be m(-1). Let j be (-3)/(-2) + (-1)/i. Suppose 0 = -r - j*r + 141. Is r a multiple of 13?
False
Let d(n) = -n**2 - 22*n - 13. Is 22 a factor of d(-19)?
True
Suppose 3*s - 59 - 13 = 0. Let x = 103 - 61. Let c = x - s. Does 9 divide c?
True
Let c(u) = -4*u**2 + 6*u. Let a(b) = 5*b**2 - 7*b. Let v(y) = -3*a(y) - 4*c(y). Is v(-3) a multiple of 12?
False
Suppose -2*k + 4*q + 88 = 0, 4*q - 164 = k - 6*k. Is -1*(1*k)/(-4) a multiple of 4?
False
Let x be (-230)/(-3)*(-12)/(-10). Let a = -61 + x. Is a a multiple of 13?
False
Suppose 3*z = 3*g + 12, 0 = -g - 3*g - 5*z - 34. Let y(a) = -a**2 - 4*a + 8. Let v be y(g). Does 11 divide ((-54)/v)/((-3)/(-4))?
False
Let i(d) = -5. Let k(r) = r + 14. Let c(o) = 17*i(o) + 6*k(o). Is 19 a factor of c(7)?
False
Suppose 0 = -w + 2*w - 9. Is w a multiple of 6?
False
Let n be 3/(-2) + 380/(-8). Let j = -37 + n. Let a = 122 + j. Does 12 divide a?
True
Suppose 6*k - k - 7 = t, -3*k + 11 = -4*t. Is 13 a factor of 0 - (3 + -27) - t?
True
Let r(z) = 0 + 0 + 1 - 2 - 18*z**3 - z + z**2. Is r(-1) a multiple of 16?
False
Let o(x) be the third derivative of 5*x**4/12 - x**3/2 - x**2. Suppose -2*y + 5*d = -3*y + 4, 4*y + 3*d = 16. Is o(y) a multiple of 20?
False
Let j(i) = 201*i**2 - 2. Does 12 divide j(1)?
False
Is 632/7 - (-2)/28*-4 a multiple of 15?
True
Is 21 + ((-140)/(-50) - 2/(-10)) a multiple of 4?
True
Let a(m) = -m + 3. Let i be a(3). Let d = i - -14. Is 2 a factor of d/4 + (-1)/2?
False
Is 10 a factor of -2*10*1/(-2)?
True
Suppose -n + 2*n = 15. Suppose -n - 5 = -5*v. Is v even?
True
Suppose -5*j + 3*j = -32. Let l = 10 - j. Does 3 divide -2 + (-3)/(l/16)?
True
Let s(o) = -7*o - 4. Let i be s(2). Is 14 a factor of 6/i + (-156)/(-9)?
False
Let y = 5 - 2. Suppose y*z - 9 = -0*z. Suppose -z*t - 8 = -2*q + q, -3*t = 3*q - 60. Is q a multiple of 17?
True
Suppose 0 = -2*x - 4*r + 46, -x - 4*r + 14 = -5*r. Suppose x = 4*o - 23. Is 5 a factor of o?
True
Let t(n) = -2*n**2 + 4*n + 3*n**2 - 4*n - 1. Let u be t(1). Suppose 3*v - 4*v + 11 = u. Does 11 divide v?
True
Suppose c - 4*w - 19 = 0, c = -5*w + 5 - 13. Does 2 divide c?
False
Suppose -j + 3*c + 14 = -3, 16 = j - 4*c. Let w = 4 + j. Is 4 a factor of w?
True
Let f(o) = -o**2 + o - 1. Let t(d) = -20*d**2 - 3. Let a(i) = 5*f(i) - t(i). Let h be a(3). Suppose g = 4*u - h, 0 = -u - 3*g + g + 46. Does 17 divide u?
False
Let c be 0 + 1 + 2/1. Suppose -3*z = c*y - 15, 4*z + y = -2*y + 15. Suppose z = -3*o - 2*q + 94, 2*o - 2*q - 88 = 3*q. Is o a multiple of 17?
True
Let g(f) = f**3 + f. Let j be g(1). Suppose 0 = -2*o - j, -o + 14 = 4*r + r. Does 3 divide r?
True
Suppose 0 = 4*x + 3*i - 193, 151 + 43 = 4*x + 2*i. Is x a multiple of 13?
False
Let h(j) = j**3 - 2*j**2 + 2*j + 5. Is 9 a factor of h(4)?
True
Suppose 1 = 2*t - 3. Suppose 3*g = t - 5. Is 5 a factor of (-4 + 2)/(g/7)?
False
Let q(y) = y**2 - 2*y + 4. Suppose -4*o + 14 = -t, 5*o - 2*t + t - 18 = 0. Does 9 divide q(o)?
False
Suppose z - 473 = -3*h, -5*z = -5*h - 71 + 866. Does 31 divide h?
False
Suppose -2 = 2*v, k + 2*v - 13 = -4*k. Suppose -k*l + 2*l = 0. Suppose l = -4*a - 4, -67 = -y - 4*y - 3*a. Is y a multiple of 6?
False
Let c(l) = l**3 - 4*l**2 - 3. Let i be c(4). Does 7 divide i + 1 - (-22 - -1)?
False
Let p(r) = 5*r**2 - 4*r - 5. Let l(j) = -6*j**2 + 5*j + 6. Let h(k) = 4*l(k) + 5*p(k). Is h(2) even?
False
Let g(k) = -4*k + 3. Let d be g(3). Let p = d - -13. Suppose -p = -3*x + 26. Is x a multiple of 4?
False
Let d(y) = y + 5. Suppose 0 = -n + 6 - 1. Is d(n) a multiple of 7?
False
Let l = 6 - -1. Is l a multiple of 7?
True
Suppose 0 = -2*u + 96 + 66. Does 33 divide u?
False
Let i(t) = t**2 - 8*t + 4. Let g be i(6). Let o(h) = -9 - 1 - 5*h - h + 2. Is o(g) a multiple of 20?
True
Does 16 divide (-5)/(-15)*(166 - 1)?
False
Let l(u) = -u + 7. Le