ide f?
True
Let z(g) = 6*g**2 + 18*g - 15. Does 3 divide z(-10)?
True
Suppose 2*a - 454 = 4*z, 0 = 2*a + 4*z - 0*z - 446. Let m = a + -350. Let p = -60 - m. Is 17 a factor of p?
False
Suppose 7*h = 11*h - 2400. Suppose 3*k + 2*k = h. Suppose -3*j = u - 129, 3*j - k = -3*u + 5*u. Does 14 divide j?
True
Let i(g) = 2*g**2 + 11*g - 28. Is i(-16) a multiple of 28?
True
Suppose 13985 = 47*s - 37809. Is 29 a factor of s?
True
Let c(s) be the third derivative of 1/60*s**6 - 1/60*s**5 + 0 + 0*s**3 - 3/8*s**4 + 0*s + 7*s**2. Is c(4) a multiple of 20?
False
Let t(o) = 5*o**2 - 2*o - 10. Let v be t(-3). Suppose 5*u - v = 84. Is 10 a factor of u?
False
Suppose 1834 = 4*q + 10*q. Does 4 divide q?
False
Suppose 4*j - l = -5, 5*j + 14 = -3*l - 5. Let f(v) = -54*v - 3. Does 33 divide f(j)?
False
Suppose -36293 + 9245 = -42*g. Is 14 a factor of g?
True
Suppose 3*x - 3*v - 21 = 0, 2*v = -0*v + 2. Let p be -3 + (-68)/x*10. Let a = -52 - p. Is 12 a factor of a?
True
Suppose -3*u = 3*g - 15, u + 11 = 3*g - 8. Let h be (-291)/(-9) + g/9. Suppose 32*p - h*p = -80. Does 18 divide p?
False
Suppose t - 111 = -5*l, 1 = 4*t - 3*t. Does 10 divide l/(-2)*(7 - 10)?
False
Let i(k) = 28*k**3 + 3*k**2 + 2*k. Let a be i(4). Suppose -8*w - 6*w = -a. Does 22 divide w?
True
Let l(y) = -6*y**2 + 2*y + 1. Let z be l(-1). Does 7 divide -2 + -1 + 2 + z + 42?
False
Suppose 0 = 4*j - 3*o - 992, -4*o + 769 = 9*j - 6*j. Does 3 divide j?
False
Suppose 5*n + 40 = 9*n. Let x(v) = 4*v**2 - 24*v + 8. Is 21 a factor of x(n)?
True
Let b(g) = 6*g - 9. Let k(r) = -r + 1. Let f(p) = -8*p + 10. Let s(h) = -f(h) + 2*k(h). Let o(y) = -4*b(y) + 5*s(y). Is o(3) a multiple of 12?
False
Does 8 divide -6 - 54*(-72)/2?
False
Let r(m) = -13*m + 3*m + 3*m + 2*m - 35. Is 20 a factor of r(-11)?
True
Suppose 0 = 5*d - 1846 - 554. Is d a multiple of 5?
True
Let n(k) = 4*k**2 + 4*k + 7. Let m(s) = s - 11. Let y be m(6). Does 29 divide n(y)?
True
Is 496*(8/28)/((-10)/(-35)) a multiple of 83?
False
Let f(h) = -h**3 + 14*h**2 + 3*h + 19. Does 61 divide f(14)?
True
Let d be (2/(-6))/((-65)/30 + 2). Suppose -2*j = -10 - d. Is 6 a factor of j?
True
Let h be (-9)/(-2)*(-4)/(-6). Let g(p) = 10*p - 3 + 0 - 1. Is g(h) a multiple of 13?
True
Let y(i) = -5*i**3 - 8*i**2 + i + 10. Does 11 divide y(-4)?
True
Suppose 0 = 2*g - 8, 7*v - 5*v + 2*g - 36 = 0. Is v a multiple of 7?
True
Let n(s) = s**3 + 4*s + 36. Let l be (-2)/11 - 44/(-242). Does 4 divide n(l)?
True
Suppose k = -38 - 1. Let y = -23 - k. Is 19 a factor of 9/(-3) + 6 + y?
True
Let n be (2 - 16/6)/(10/(-15)). Let a be -3 + 1/2*0. Let f = n - a. Is 4 a factor of f?
True
Let y = 13 + 7. Let c = -12 + y. Is c even?
True
Let l(p) = p + 10. Let h be l(-11). Is (h/2)/((-2)/536) a multiple of 15?
False
Let j = -316 + 341. Is j a multiple of 7?
False
Suppose o = -5*u + 25, 4*o - 28 = 3*u + u. Suppose -o - 26 = -4*s. Is 3 a factor of s?
True
Let o(z) = -z + 25. Let q(m) = -m**3 - 16*m**2 - 16*m - 32. Let f be q(-15). Is o(f) a multiple of 7?
True
Suppose 3*t - 60 = 6. Let f = t - 11. Let s(w) = -w**2 + 15*w - 5. Does 13 divide s(f)?
True
Let w(o) = 115*o + 271. Does 128 divide w(8)?
False
Suppose 8 = j - b - 38, 0 = 5*j - b - 234. Let t = 152 - j. Is 15 a factor of t?
True
Let u be 27*(93/9 - 3). Is (u/(-88))/(1*1/(-8)) a multiple of 2?
True
Suppose -4*y = 5*l - 288 - 412, -y + 700 = 5*l. Suppose 3*d - h - l = 0, -4 = -3*h + 2*h. Does 16 divide ((-11)/(-2))/(6/d)?
False
Let t(n) be the second derivative of 5*n**3/6 + 15*n**2/2 + 27*n. Is 7 a factor of t(5)?
False
Let w = -60 + 32. Let v = -7 - w. Suppose -k = 5*q - 27, -k - v + 63 = 2*q. Is 13 a factor of k?
True
Suppose 0 = 2*x + 2*x - 32. Suppose 0*o - o + 36 = 0. Suppose x*w - 5*w - o = 0. Is 11 a factor of w?
False
Suppose -4*b = 3*p - 1145, -p + 391 = 5*b - 6*b. Does 19 divide p?
False
Let w = 5122 - 1560. Is 137 a factor of w?
True
Let d = -29 + 31. Let y be d - (1 - 1)/(-1). Is 13 a factor of 1 + y + 107 - 2?
False
Suppose 0 = 5*k + 15, 6*k + 3459 = 3*b + 3*k. Is b a multiple of 46?
True
Let j be (5 - (8 + -1)) + -22. Let i = j + 49. Is 18 a factor of i?
False
Is 6/2*-1 + 1143 a multiple of 28?
False
Suppose -2*t - 3*w = -25 - 3, 5*w = -4*t + 54. Suppose t = -x + 17. Does 3 divide x?
True
Let s(o) = o**2 + o. Let w(v) = v**3 - 4*v**2 - 2*v + 2. Let r be w(4). Let z be (-9)/2 - (-9)/r. Does 17 divide s(z)?
False
Let z = 16 - 13. Suppose 0*o + o - 85 = 2*k, 2*o = -z*k + 170. Does 17 divide o?
True
Suppose -3*y = -37 + 4. Let f = 9 - y. Let w = f - -34. Is w a multiple of 16?
True
Let y(r) = -r**3 - r**2 - 3*r - 6. Let b be (-19)/4 + (-2)/8. Let t be b - (4 - -2)/(-3). Is y(t) a multiple of 11?
False
Let i(m) = 4*m + 10. Let g be i(-4). Let o be -2*(39/g - -4). Suppose -2 = 5*v - o*w - 37, -v - 3*w + 27 = 0. Is v a multiple of 5?
False
Suppose 27*p - 28*p - 6265 = -3*c, -6259 = -3*c - 5*p. Is 7 a factor of c?
False
Suppose 0 = -x + 46 - 3. Suppose 139 = 3*r + x. Does 8 divide r?
True
Suppose -27*j = -24*j - m - 1704, -m = -j + 570. Is j a multiple of 3?
True
Suppose -10 = -h - 13. Let w(b) = 3*b**2 - 2*b - 1. Is 16 a factor of w(h)?
True
Suppose -3 - 3 = -s - 4*o, 5*s + 3*o = -38. Let r(z) be the second derivative of z**5/20 + 11*z**4/12 + 7*z**3/6 + 2*z**2 - 16*z. Is r(s) a multiple of 17?
True
Suppose 3*m = 4*z + 1666, -648 = -3*m + 2*z + 1010. Suppose -m = -7*g + 143. Does 33 divide g?
True
Suppose -12 + 72 = -3*j. Let b be -1 - ((-4)/4 - 12*-2). Is (5/j)/(2/b) a multiple of 3?
True
Let a(o) = 4*o**2 - 3*o + 8. Let l be 1 - ((-6)/(-9) - 28/6). Does 10 divide a(l)?
False
Let h = -99 + 44. Let t = h + 79. Is 24 a factor of t?
True
Let v(u) = -u**2 - u + 1. Let l(d) = -6*d**2 - 12*d + 6. Let c(x) = x. Let j(f) = 2*c(f) + l(f). Let p(t) = -j(t) + 5*v(t). Is p(-6) a multiple of 3?
False
Suppose -5*g + 0*g = 60. Let n(z) = z + 15. Let s be n(g). Suppose 0 = s*i - 41 - 34. Is i a multiple of 5?
True
Suppose -104*c + 124845 = c. Is c a multiple of 22?
False
Let o = -357 + 562. Does 3 divide o?
False
Let l be -2*((-5)/(-15) - 221/6). Suppose 0*f - l = -f. Is f a multiple of 17?
False
Let o(q) = -9*q**3 + 3*q**2 + 25*q + 2. Is o(-4) a multiple of 9?
False
Suppose -4*b - b = -4*f - 64, 4*b + 2*f - 46 = 0. Is (b/(-9))/(2/(-9)) a multiple of 6?
True
Suppose 0 = -2*p - 5*l + 82 + 119, 2*p - 194 = 2*l. Does 5 divide p?
False
Is 60 a factor of ((-813)/(-12))/(15/120)?
False
Let l(h) = 5*h**2. Let j be l(-1). Let p be 5832/96 - (-3)/(-4). Suppose p = -s + j*s. Is s a multiple of 5?
True
Let s(f) be the first derivative of -3*f**5/10 - f**4/3 - 2*f**3/3 + f**2 + 12*f - 4. Let y(v) be the first derivative of s(v). Is y(-2) a multiple of 6?
True
Let j = -18 - -21. Let i be 3 + 8 + (-6)/j. Suppose -24 = -q - 2*y, i = 2*q - 5*y - 30. Does 15 divide q?
False
Suppose 2 = x - 0, 0 = 4*d + x - 1370. Is d a multiple of 9?
True
Suppose 4*s = 2*s + 4*t + 322, 0 = -4*s - 5*t + 709. Suppose -4*r + 5*f = -9*r, -3*f = 12. Suppose -g = -r*g + s. Does 21 divide g?
False
Suppose 3*u = 0, 3*n + u - 10 = -1. Does 24 divide (n + 18/8)*64?
True
Let i(t) = -t**3 + 4*t**2 + 3*t + 3. Let a = -16 - -20. Is 4 a factor of i(a)?
False
Let k(b) = -b**3 - 6*b**2 + 8*b + 10. Let w be k(-7). Suppose w*j - 6 = 9. Suppose 114 = 3*f - 0*s - j*s, -4*f = s - 175. Is f a multiple of 18?
False
Let b(z) = -2*z + 11. Let g be b(6). Does 12 divide 15*((-6)/(-9) - g)?
False
Let r(z) = -6 + 6*z**2 - 7*z**2 + z + 7*z + 2*z. Let s be r(9). Suppose -4*a = -s*c + 207, -3*c - 207 = -6*c + 5*a. Is 22 a factor of c?
False
Is 7 a factor of (303/(-9))/((-13)/117)?
False
Let v(a) = -34*a**3 - a - 1. Let i be v(-1). Suppose m + i - 103 = 0. Is 23 a factor of m?
True
Suppose -6*g = 4*y - 3384, -5*g - 2*y = -6*g + 564. Is g a multiple of 18?
False
Suppose 0 = -2*n + 8*n. Suppose 4*c - z - 380 = n, c + 204 = 3*c - 4*z. Does 25 divide c?
False
Suppose -2*f + c = 3*f - 142, -2*c = f - 24. Suppose -f*i - 63 = -29*i. Is i a multiple of 20?
False
Suppose 0 = -43*u + 52*u - 9207. Is u a multiple of 50?
False
Suppose 2*b - 123 = -b + 4*t, 0 = 4*t. Is 12 a factor of b?
False
Let b be 26*10*3/12. Suppose -2*g + 13 = -b. Is g a multiple of 3?
True
Suppose 0 = -9*v + 7*v - 5*q + 3, -q = -1. Is v/3 + ((-1565)/(-15) - 0) a multiple of 26?
True
Suppose -17 + 59 = 6*t. Suppose -1 + t = -2*w, -168 = -3*y - 