tiple of 14?
False
Suppose 464 = -2*r - 44. Let g(k) = -5*k**3 - 3*k**2 + k - 1. Let u be g(3). Let c = u - r. Does 26 divide c?
False
Suppose -2*m + 4194 = 3*r, -3*m + 27*r + 6293 = 32*r. Is m a multiple of 41?
True
Let g = -81949 + 115618. Is g a multiple of 193?
False
Let k(t) = 2*t**2 + 38*t - 16. Let o(c) = -2*c**2 - 37*c + 16. Let h(i) = -5*k(i) - 4*o(i). Is 25 a factor of h(-17)?
False
Suppose 26*s - 190 = 7*s. Let w(t) = -t**2 + 13*t + 48. Does 7 divide w(s)?
False
Let c(p) = p**3 - 29*p**2 + 33*p + 10. Is c(29) a multiple of 4?
False
Let o(h) = 43460*h**3 - 2*h**2 - 10*h + 12. Is o(1) a multiple of 106?
True
Is 15 a factor of -6*(-49)/(-42) - (-17623 + 1)?
False
Is (4 - 8) + (-33)/(-15)*18470 a multiple of 239?
True
Let u = -46 + 187. Let p = u + -74. Let g = p + -54. Is 12 a factor of g?
False
Suppose 2*b + 3*t - 1410 = 0, -4184 + 625 = -5*b + t. Suppose -b - 1872 = -7*v. Does 9 divide v?
True
Let s(v) = 3*v - 25. Let d be s(19). Let g be (d/(-1))/(1 - 7/5). Suppose 0 = 7*z - 15*z + g. Is z a multiple of 10?
True
Let c = 348 + -256. Suppose c*k - 5226 = 79*k. Is k a multiple of 6?
True
Let v(f) = -6*f**2 - 3*f + 47. Let w be v(-9). Let l = w + 941. Does 19 divide l?
False
Let y(u) be the third derivative of u**5/30 + u**4/24 - u**3 + 4*u**2. Let s(w) = -w - 4. Let r be s(-7). Is y(r) a multiple of 8?
False
Let z(i) = 3*i**2 + i**3 - 16*i - 4 + 16*i**3 - i**2 + 19*i. Is z(2) a multiple of 11?
False
Suppose w + 290 = d, 3*d - w - 880 = -0*w. Suppose 10*s - d = 15*s. Is s/(-1) + 14/7 - 0 a multiple of 7?
False
Is 4 a factor of -86*(-33 - -3) + (-3)/3?
False
Let d(c) = 143*c + 1027. Is d(11) a multiple of 26?
True
Let m(k) be the second derivative of -k**3/6 + 31*k**2/2 + k. Let r = -419 - -401. Is m(r) a multiple of 7?
True
Let j(d) = -2*d + 37. Let n(g) = -2*g + 4. Let w be n(-4). Let q(s) = s**2 - 9*s - 19. Let p be q(w). Is j(p) a multiple of 3?
True
Suppose 18*z - 67 = -49. Does 8 divide 1 + z/(-2) + (-93730)/(-140)?
False
Let m = 46 - 15. Let h = 6876 - 6878. Let g = m - h. Is g a multiple of 12?
False
Suppose 5*s + 4*m = 116384, 3*s - 93108 = -s - 3*m. Is s a multiple of 40?
True
Suppose 3*q = 4*s - 19, 4 = 3*s - 5*q - 2. Suppose -4021 - 3182 = -s*l. Suppose -l = -2*p - 5*p. Is 37 a factor of p?
False
Suppose -4*a + 8312 = 5*q, -666 + 672 = 2*a. Is 5 a factor of q?
True
Let s(f) = -97*f + 48. Let r be s(-3). Suppose 2*w = 277 + r. Does 14 divide w?
True
Suppose 0 = 4*f, c - 3*f - 27 = -f. Suppose -3*m + 14 = 4*k + 48, 0 = -3*m + 3*k - c. Is 34 a factor of m/4*544/(-20)?
True
Is 9 a factor of ((-34755)/4)/35*-72?
True
Let h = -67 + 51. Let r(t) = t**2 + 20*t + 40. Let s be r(h). Does 5 divide (((-36)/(-15))/2)/(s/(-400))?
True
Let l = 18455 - 15837. Is 7 a factor of l?
True
Let t be (3/(-7) - 939/(-84))*8. Suppose 4*k - 662 = -t. Is 6 a factor of k?
True
Let d(o) = 2*o - 3. Let u be d(8). Suppose -3*j + 5*y + 18 + u = 0, 5*j = y + 15. Is -3 - (j + -5) - -2 even?
True
Let d(u) = -u + 26. Suppose 10 = -8*w - 86. Let b be d(w). Suppose x = -b + 193. Is 12 a factor of x?
False
Suppose -38*w - 2244 = -36*w. Is w/(((-6)/(-14))/(12/(-42))) a multiple of 34?
True
Let a = 130 + 18. Let k = -80 + a. Suppose 3*w = -k + 290. Is w a multiple of 22?
False
Suppose -198*b + 193*b + 20797 = t, t = -3*b + 12477. Does 10 divide b?
True
Let p(g) = -g**2 + 14*g - 8. Let w be p(7). Let c = 48 - w. Is 20 a factor of (c + -2)/((-5)/(-100))?
True
Let i(z) = -1973*z + 107. Is i(-1) a multiple of 8?
True
Let s = 204 + -202. Let q(h) = 142*h - 11. Is 21 a factor of q(s)?
True
Suppose 13*n - 17971 - 8814 - 45885 = 0. Is n a multiple of 43?
True
Let u(w) = -w**2 + 8*w + 7. Let q(r) = 3*r**2 - 16*r - 14. Let k(z) = -2*q(z) - 5*u(z). Let h be k(-6). Suppose h*a = 9 + 6, 3*f - 18 = a. Does 7 divide f?
True
Let d(g) = -4*g - 73. Let z(b) = -3*b - 74. Let c(f) = -3*d(f) + 2*z(f). Is c(14) a multiple of 18?
False
Does 195 divide 6*10/12*(1674 + 3)?
True
Suppose -3*a - 4*l + 2917 = l, -3*l = -3*a + 2877. Suppose 34*h = 30*h + a. Does 7 divide h?
False
Let r(j) = 11*j + 542. Is 4 a factor of r(11)?
False
Suppose 104*k - 577964 - 233650 = -5*k. Is 34 a factor of k?
True
Suppose -1634160 = 4*j - 180*j. Is j a multiple of 3?
True
Let f be (-4)/10 - 14/(-10). Suppose -3*n + 32 = -2*t, -5*t - f = -4*n + 44. Suppose -n*h + 363 = -7*h. Is 41 a factor of h?
False
Let c(l) = l**3 - 16*l**2 + 49*l - 466. Is c(18) a multiple of 38?
True
Suppose -2*m = -3*m. Let k(q) = q**2 - 49*q + 98. Let h be k(47). Suppose 0 = 3*d - m*w + 2*w - 333, -4*d = h*w - 448. Is d a multiple of 16?
False
Suppose -c = 15 - 19. Is 10 a factor of (-5)/(5/c) - 6*-61?
False
Let w = -14082 - -14527. Is w a multiple of 3?
False
Let q(j) = 407*j + 4921. Does 4 divide q(9)?
True
Suppose 2*t + 55 = 65. Suppose -t*q + 1725 = 4*a, q - 163 = -2*a + 182. Is q a multiple of 29?
False
Suppose 4*c = 2*u - 36, -3*u = 2*c + 2*c + 16. Let y = -7 - c. Suppose 3*q - 10 - 50 = y. Does 12 divide q?
False
Is (-11*(-5 - (-36)/6))/((-4)/1648) a multiple of 7?
False
Let r(v) = -3*v**2 - 18*v + 4. Let t be r(-6). Let u(w) = 32*w**2 + 8*w - 20. Does 24 divide u(t)?
False
Let o(r) = 2*r**3 - 3*r**2 - 20*r + 90. Let q be o(5). Suppose 2*z - 147 - q = 0. Does 6 divide z?
True
Let k(x) = -45*x + 47. Let v be k(1). Suppose -v*n = -g - 234, 2*n - 3*g - 14 = 212. Is 5 a factor of n?
False
Let j be (13 + -16)/(((-2)/(-2))/(-2)). Suppose 312 = 2*c - 2*z, -3*c + z + 460 = j*z. Suppose -5*o - 160 = -5*u - 2*o, 4*o + c = 5*u. Is u a multiple of 2?
False
Let n(w) = 3*w**3 + 3*w**2 - 7*w - 1. Let t(v) = -6*v**3 - 7*v**2 + 14*v + 3. Let h(p) = 5*n(p) + 3*t(p). Is 53 a factor of h(-7)?
False
Does 21 divide ((-12)/(-24))/(825/(-411) + 2)*-60?
False
Let f be (-3)/6 + (138/4 - -2). Let b = 33 - f. Let i(p) = -41*p + 9. Is 11 a factor of i(b)?
True
Suppose -2*k = -13*v + 8*v - 26, -5*v = -3*k + 29. Is (-646)/v*(5 - 3) a multiple of 22?
False
Suppose 16*z - 133787 - 24450 - 12403 = 0. Does 75 divide z?
False
Let c = 665 - 387. Let p(w) = -3*w**3 - 2*w**2 + 1. Let o be p(-4). Let s = c - o. Does 13 divide s?
True
Let f = -180 - -185. Suppose -f*o = -3*x - o + 376, -499 = -4*x + 3*o. Is x a multiple of 23?
False
Let l(s) = 6*s**2 + 56*s - 4. Let j be l(-6). Let d = j - -189. Is d a multiple of 8?
False
Let f(b) = -7*b**3 - b**2 - 3*b - 1. Let v be f(2). Let q = -51 - v. Is q a multiple of 6?
False
Suppose -5*o + 12 = -48. Let n(j) = -o*j + 12*j + 4*j**2 - 1 + 5. Is n(3) a multiple of 5?
True
Suppose -154*g + 2339505 = -35*g + 126*g. Does 83 divide g?
False
Let d be (-1)/(-2*(-4)/(-96)). Suppose -d*f + 4686 = -2994. Is 19 a factor of f?
False
Let d be ((-10)/30)/((-7)/5229). Is (-2 + d)*(-6)/(66/(-11)) a multiple of 48?
False
Let m(l) = 3*l**2 + 6*l - 1. Let d(s) = -2*s**2 - 8*s + 4. Let q(k) = -4*d(k) - 3*m(k). Suppose 18 = -4*p + 66. Does 11 divide q(p)?
True
Let l(d) = -11*d**2 - 9*d - 10. Let c be l(-1). Let f(r) = -4*r**3 - 41*r**2 + 5*r + 14. Is f(c) a multiple of 14?
False
Does 55 divide 26 + (-83)/3 - 33685/6*-4?
False
Suppose -285 = 2*v - 6*v - 3*u, -2*u = -4*v + 270. Let j be -1*((-76)/(-6) + 2/(-3)). Is 23 a factor of (v/2)/(-4*j/128)?
True
Let j(y) = -111 - 49*y**2 - y + 116 + 306*y**2. Is j(1) a multiple of 14?
False
Let u(f) = f**2 + 2*f + 2. Let a be u(0). Suppose -h - 4 = 4*g, -3*h + g = a*h - 1. Suppose h = -6*v + 489 + 513. Does 49 divide v?
False
Let q be 190/70 - 2/(-7). Let o(h) = -7*h**2 - 1 + q*h**2 - 3*h + 5*h - 7*h**3 + h. Is o(-4) a multiple of 41?
False
Suppose 38094 + 188356 = 175*q. Is q a multiple of 5?
False
Let v = 11644 + -6424. Does 82 divide v?
False
Let o(n) = -n**2 - 17*n + 3. Let y be o(-17). Let q be (-1 - (-3 + 2 + 3)) + y. Suppose 3*w + 0*w - 363 = q. Is 11 a factor of w?
True
Suppose -36*y + 53227 + 52145 = 0. Suppose 21*v - 181 - y = 0. Does 4 divide v?
True
Let m(w) = -13*w**2 + 4*w - 2. Let j be m(2). Let l = 42 + j. Does 2 divide 15*(l + (-120)/(-25))?
True
Suppose -13*d - 24677 + 4059 = 0. Let n = d + 3941. Does 15 divide n?
True
Suppose 0 = -4*k - 3*f + 351, -2*k + 5*k + 5*f - 255 = 0. Suppose s + 4*l + 27 = 0, 2*s + s + 3*l = -k. Let z = 16 - s. Is z a multiple of 12?
False
Let k(o) be the second derivative of -o**3/6 - 13*o**2/2 + 20*o. Let z be k(-13). Suppose -4*c - 3*h + 476 = z, 9*c = 4*c - 4*h + 