4. Let k = 7 - 13. Is v(k) a multiple of 23?
False
Let s(x) = 131*x + 911. Is 30 a factor of s(55)?
False
Suppose 3*u = u - 108. Let k be 1012/12 + 3/(-9). Let s = u + k. Does 7 divide s?
False
Let q be (3/3 + 1)/(1/105). Suppose q = -2*h - 2*v, h - 4*v + 115 = -7*v. Let m = 259 + h. Is 13 a factor of m?
False
Let i = -26 - -28. Suppose -10 = -5*w + i*c - 4*c, 5*c = 5*w - 10. Suppose 120 = 2*d - w*g, -d - 2*g = 2*d - 200. Is 16 a factor of d?
True
Let t(v) = 4*v**2 + v + 8. Let m be t(0). Suppose -4*l = 3*r - 6, 3*r + 3*l + 21 = m*l. Is 41 a factor of (-513)/(-6) + 3/r?
False
Let a = 84 - 84. Does 21 divide (-1311)/115*(-5 - a)?
False
Let z be (20 - (6 + -3)) + 0 + -1. Suppose -7*x = x - z. Suppose 2*t - 7*d + 3*d = 24, -x*t - 3*d = -45. Does 18 divide t?
True
Suppose a - 15 = -12. Let v(t) = 0 - 24*t**2 + 18*t**2 - 7*t**3 - 5*t + a. Is 6 a factor of v(-3)?
False
Let u = -35932 + 47919. Is u a multiple of 20?
False
Let j = -399 + 510. Suppose 92*d - j*d + 7714 = 0. Does 8 divide d?
False
Let w(p) = 66*p + 422. Is w(48) a multiple of 95?
False
Let l(q) = -3*q**3 + q**2 + 36*q + 32. Does 17 divide l(-13)?
True
Let h = 2700 - 1959. Is 34 a factor of h?
False
Let h(z) = -84 + 9*z - 14*z - 23*z. Does 35 divide h(-28)?
True
Let c(u) = 7*u**2 - 52*u - 687. Does 108 divide c(-39)?
True
Suppose -3*w = 9 + 6, 3*t + 10 = -5*w. Let c(y) = y**3 + 5 - 3*y**2 + 0 + 3*y - 2*y. Is 12 a factor of c(t)?
True
Suppose 0 = -9*k + 244 + 98. Let t = k - 4. Is 15 a factor of 5*((t - 1) + 0)?
True
Is 17 a factor of ((-98735)/(-10))/(-13)*-2?
False
Let x(o) = 4*o**2 + 86*o - 48. Is 4 a factor of x(-24)?
True
Suppose -3*w = 6*f - 0*w - 13698, -9130 = -4*f - 3*w. Does 173 divide f?
False
Let x = 11 + 322. Let h = 459 - x. Is 18 a factor of h?
True
Let q = 347 + -343. Suppose -q*a = y - 40, -a = -5*y - 37 + 27. Does 5 divide a?
True
Let w(x) be the third derivative of -x**5/60 - 7*x**4/24 - 5*x**3/2 - 6*x**2. Let u be w(-6). Let t(z) = -11*z + 6. Is 21 a factor of t(u)?
True
Let p(q) = 350*q + 1238. Is p(0) a multiple of 5?
False
Let i(m) be the second derivative of m**5/20 - 5*m**4/3 + 23*m**3/3 - 117*m. Does 12 divide i(21)?
False
Let p be (-1*(-3 + 2))/((-3)/(-12)). Let g(s) = 40*s + 22. Does 22 divide g(p)?
False
Suppose 0 = 2*b - c - 8, -4*b + 0*b - 4*c = 8. Suppose -b*n - 9 = -5*n. Suppose n*r + 4*x - 37 = 0, -r - 13 = -4*x - 4. Is r a multiple of 2?
False
Suppose -2*w + 44 = 5*l, 4*w - 5*l + 5 = 33. Is (-9)/(-2)*40/w a multiple of 14?
False
Let y = 711 - -69. Suppose -27*d = 78 - y. Is d even?
True
Suppose 0 = -q + 5*q - 2*r + 2, -q = 2*r + 13. Let x(v) = -3*v**2 + 6*v + 4. Let a(h) = 9*h**2 - 16*h - 12. Let k(g) = 4*a(g) + 11*x(g). Does 11 divide k(q)?
False
Suppose -39 = -4*y - 31. Suppose z = y*b - 1956 - 496, -z + 4892 = 4*b. Is 12 a factor of b?
True
Let h = -7876 + 15286. Is h a multiple of 5?
True
Let y(p) = 4*p**3 - 28*p**2 - 41*p. Let d(a) = a**3 - 7*a**2 - 10*a. Let o(z) = -9*d(z) + 2*y(z). Let t be o(8). Does 12 divide 25 + 3 + t + -4?
True
Let v = -190 + 375. Let g = v + 209. Is 20 a factor of g?
False
Let p(h) = 75*h**2 - 64*h - 1139. Is 237 a factor of p(-14)?
True
Let n(g) = 4*g**2 + 2*g + 12. Suppose q - 3 = 0, -7*r - 134 = -2*r + 2*q. Let i be (-3)/(-6) - r/8. Does 18 divide n(i)?
False
Let k(t) = 903*t**2 - 96*t + 63. Let x(s) = -113*s**2 + 12*s - 8. Let z(o) = -4*k(o) - 33*x(o). Is z(-3) a multiple of 31?
False
Let c(d) = -d**3 - 2*d**2 + 6*d + 7. Let g be c(-6). Suppose -2*f + 41 = -g. Is f*(-4)/16*-2 a multiple of 13?
True
Let i = -11392 - -43576. Is i a multiple of 12?
True
Is 189 a factor of -12*(-1604)/6 + (-15)/(-9)*3?
True
Let f(q) = -q + 20. Let l be f(-28). Suppose -8*w + 4*w = -l. Does 6 divide w?
True
Suppose 2*f = -21 - 165. Let i = f + 146. Is 5 a factor of i?
False
Suppose 0 = -233*h + 377110 + 971919 + 1290162. Does 241 divide h?
True
Suppose a + 4*a = -2*t + 187, 2*a = -t + 74. Suppose r + 6 = a. Is 11 a factor of r?
True
Let g = -28 + 30. Let c(w) = -5*w**2 + 7*w**3 + 2*w**g + 4*w - w - 6*w**3 - 5. Is 12 a factor of c(5)?
True
Let x be 3*(-2)/10 - 27477/(-645). Suppose t = 4*o + 32, -5*o + o + 5*t = 48. Is (-145)/o + 12/x a multiple of 7?
True
Suppose -7701 = -2*x - 5*q + 2035, q - 4862 = -x. Suppose 0 = 9*y - x + 574. Is y a multiple of 41?
False
Suppose 0 = -5*g + 4*r + 41 + 62, -3*g + 2*r + 61 = 0. Let f = 21 - g. Suppose 3*q = -f*x + 153, x - 4*x + 227 = 4*q. Is 19 a factor of x?
False
Let o = -212 + 138. Let k = -67 - o. Suppose k*v - 552 = -v. Does 23 divide v?
True
Suppose 2 = l, 33 = -4*p + 3*l - 29. Let b(k) = -13*k + 72. Let f be b(p). Let v = 518 - f. Does 44 divide v?
True
Suppose 2*b = 4*h + 16, -10 = -8*b + 3*b + 4*h. Let i be b/1 + 86 + 0/4. Suppose -5*a - 21 = -d, -4*d + a + i = -0*d. Is d a multiple of 5?
False
Is 276 a factor of (-4 - -1 - -31198) + (-175 - -168)?
True
Suppose -278*y + 109118 + 4028 = 0. Is 37 a factor of y?
True
Let d be -7*(-3)/63*3 - 5. Let a be (14/4)/((-2)/248). Does 22 divide 6/(-4) + a/d?
False
Let g = 94 - 24. Let d be 32*((-30)/g)/(2/(-49)). Suppose d = 3*l + 21. Does 6 divide l?
False
Let f = 30883 + -18306. Is f a multiple of 74?
False
Suppose 6*k + 4 = 10. Let n = k + -13. Is 2 a factor of ((-2)/(-20)*5)/((-2)/n)?
False
Let h = -21 - -19. Let l be 1*h/(-6)*24/4. Suppose g - 8*x + 3*x - 25 = 0, -19 = -g + l*x. Does 2 divide g?
False
Let i(u) be the third derivative of u**5/12 - 3*u**4/8 - 47*u**3/6 + 3*u**2. Is i(7) a multiple of 8?
False
Let m be (5/(-15))/(4/48*-1). Suppose 0*u + 12 = -u - 4*o, 5*u + 4*o - m = 0. Is 3*u/24 - (-734)/4 a multiple of 13?
False
Suppose -766*s = -796*s + 36824 + 27736. Is s a multiple of 10?
False
Let i(h) = 320*h**3 + 4*h**2 - 11*h + 17. Is i(2) a multiple of 9?
False
Does 7 divide 1/(-8)*-2*(-939252)/(-87)?
False
Suppose 2*h - b = -258, -h = -2*h - 3*b - 129. Let y = h - -122. Let q(g) = -26*g - 22. Is 20 a factor of q(y)?
True
Suppose 5*f = 341 - 56. Let m(y) = -y**3 + 10*y**2 - 8*y - 5. Let o be m(9). Suppose l + f = 2*l + 3*h, -5*l + 285 = o*h. Does 12 divide l?
False
Let r(j) = -2*j**3 + 3*j**2 + 2*j + 5. Let s be r(5). Let d = s + 352. Let h = 0 + d. Does 17 divide h?
False
Suppose 2*v - 11 = -3*g - 2*g, -17 = -4*v - 5*g. Suppose v*z + 6140 = 5*m, 5*m - 3*m = -3*z + 2435. Does 29 divide m?
False
Let a be ((-194)/(-12) - 3) + (-2)/12. Suppose -3544 = -a*k + 603. Let d = k + -223. Is 20 a factor of d?
False
Let l = 460 + -326. Suppose -7 - 10 = k. Let s = k + l. Is 12 a factor of s?
False
Suppose 720553 = 174*y - 1270007. Does 88 divide y?
True
Let b = 11940 - 6956. Is 28 a factor of b?
True
Let u = 164 + -84. Suppose k + 3*h + 2 = -h, -u = -5*k - 2*h. Suppose -4*t = -18 - k. Is t even?
False
Suppose 2*v - 307 + 19 = 0. Suppose 3*g = g + v. Suppose -3*y = k - g, 4*y - 41 = -k + 32. Does 12 divide k?
False
Suppose -3*a = -7*a + 4*b + 8, -5*a - b = 2. Suppose -4*f + 14 + 19 = -5*v, -f = 2*v + 8. Suppose a = f*d - d - 102. Is 8 a factor of d?
False
Does 31 divide 87601/6 - (-1)/((-90)/(-75))?
True
Let h = 4 - -23. Let u = -33 + h. Let c(o) = -o**3 - 5*o**2 - 7*o + 6. Is c(u) a multiple of 42?
True
Suppose -4*a + 487296 = 58*a - 30*a. Does 6 divide a?
True
Suppose 59 = 6*h - 481. Suppose 93*n - h*n = 384. Is 32 a factor of n?
True
Let j = -87 + 91. Let l(c) = 12 - 6*c - 3*c + j*c + 2*c. Does 8 divide l(-4)?
True
Suppose -26861*m + 26855*m + 17076 = 0. Is m a multiple of 15?
False
Let p be 1*(4 + -2)*1/(-2). Does 59 divide p/5 - 2/((-50)/23605)?
True
Suppose -5*r - 122 = 253. Let s be -1 + (-22)/(-5) - (-30)/r. Suppose a = 5*k - a - 99, -s*k + a = -60. Is k a multiple of 3?
True
Suppose 5*b = -3*n + 1, b - 5*n = 3*b + 11. Suppose 0 = 5*u + b*x - 2856, -3*x = u - 3*u + 1150. Does 44 divide u?
True
Does 152 divide (-35113)/(-11) - 111/1221?
True
Let g(o) = -98*o**2 - o. Let f be g(1). Let a = 213 + f. Suppose 118 = 4*r - a. Is 7 a factor of r?
False
Suppose -4*q = -4*o - 512, -24*q = -2*o - 27*q - 231. Let n = 459 + o. Is 14 a factor of n?
True
Let g(k) = 7*k - 150. Let z = 557 - 515. Is g(z) a multiple of 12?
True
Let o(n) = -782*n - 94. Let a be o(-5). Let c = a + -2593. Does 12 divide c?
False
Suppose -50 = -7*w - 3*w. Suppose -w*f + 143 = 8*f. Does 11 divide f?
True
Let a(l) be the third derivative of -3*l**6/10 - l**5/20 - 5*l**4/12 - 7*l**3/6 + 7