4. Let z = v + -123. Suppose -37*n = -z*n - 320. Does 4 divide n?
True
Let w = 1455 + -72. Suppose -w = -2*g - 5*c, -6*c + 5 = -11*c. Is g a multiple of 59?
False
Let j(p) = 7*p**3 + 10*p**2 + 12*p + 9. Let o(i) = -6*i**3 - 10*i**2 - 12*i - 10. Let b(x) = 4*j(x) + 5*o(x). Let c = -1 - 5. Is 26 a factor of b(c)?
True
Let w = -29618 + 47575. Is 19 a factor of w?
False
Suppose 6*k - 37258 = -3*k + 17012. Is 22 a factor of k?
False
Let f(u) = 16*u + 227. Let x be f(-14). Suppose 6*b - 257 = -2*d + x*b, -4*b + 12 = 0. Does 6 divide d?
False
Let d(x) = -2*x**2 + 13*x - 5. Let c be d(6). Let y be (-3 + (-76)/(-28))/(c/(-14)). Is (-1595)/(-58) + (-6)/y a multiple of 11?
False
Let k(m) = -m**3 + 9*m**2 - 10*m - 7. Let z be k(7). Let u = 28 - z. Does 18 divide u/14 + 35*(-1)/(-2)?
True
Let p(j) = 2 + 3*j + 3*j + 14*j**2 - 2*j - 8*j**2. Let m = -86 + 83. Does 9 divide p(m)?
False
Let a be 7 + -2 + (-1 - 6 - -89). Let p = 157 - 241. Is 12 a factor of (6/(-8))/(1 + a/p)?
False
Let o be 3/(-2)*(-214 - 4 - -6). Suppose -7*p + 627 + o = 0. Is p a multiple of 27?
True
Suppose -2685 = 5*l - 575. Does 14 divide (1 - l) + 12 + -9?
False
Let f(x) = -5*x - 13. Let a be f(-3). Let h(z) = -6 + 3*z + 0*z + 0*z - 8*z + a*z**2. Is h(6) a multiple of 12?
True
Let g(k) = -1257*k + 1030. Is 94 a factor of g(-13)?
False
Suppose -15*q - 2*q = -459. Suppose 9537 = q*p + 2652. Is 3 a factor of p?
True
Does 68 divide (-3570)/(-45)*6/35*1535*1?
True
Let f(g) = g**2 + 7*g + 18. Let o be 4/10 + 1372/70. Suppose o*a - 84 = 8*a. Is f(a) a multiple of 29?
True
Let q = -78 + 78. Suppose -5*v + 115 = -8*v + z, -5*v + 3*z - 189 = q. Is (360/(-54))/(2/v) a multiple of 30?
False
Suppose -26 = 5*v + 4*j, -4*v + 0 = 4*j + 24. Let a be 10/(-6) - v - (-4)/(-12). Suppose 5*x - 2*o = 664, a = 2*o - o - 3. Is 32 a factor of x?
False
Suppose 8*p - 4 = 6*p. Suppose 2*t + 8 = -u + 5*u, p = -t. Suppose u = 5*q - 419. Is q a multiple of 12?
True
Let m(k) be the second derivative of -k**5/20 + k**4/3 - k**3/6 - k**2/2 + 4*k. Let g be m(4). Let q(o) = -7*o + 6. Is 11 a factor of q(g)?
False
Is ((-14008)/85)/((-4)/240) a multiple of 12?
True
Suppose 445*t - 442*t - 38506 = -3124. Is t a multiple of 41?
False
Suppose 0 = 4*q - 20, -4*h - 3*q + 105 = -6*q. Suppose -5*g + 5 = -h. Let z(w) = 3*w**2 + 9*w + 35. Is z(g) a multiple of 66?
False
Suppose -2*j - h - 10 = -5*j, -4*h = j + 14. Suppose 434 = r - j*n - 375, 4*n - 797 = -r. Is 14 a factor of r?
False
Suppose -2376*w + 100476 = 2*t - 2375*w, -t = 5*w - 50211. Is 15 a factor of t?
False
Let a be 194/1455 - 4/30. Suppose 8*g - 13*g - 15 = a, 4*g - 300 = -4*p. Is p a multiple of 26?
True
Let b(d) = -d**3 - 39*d**2 - 107*d + 26. Let i be b(-36). Is ((-158)/8)/(i + (-553)/(-56)) a multiple of 2?
True
Let k be -8*1/(-4 - -2). Suppose -2*w + k*d = -1228, -10*w = -5*w + 4*d - 3056. Does 51 divide w?
True
Let m = -10 - -14. Suppose -3*n + 22 = c, -m*c = -n - 14 + 4. Suppose n*f = 5*f + 58. Is f a multiple of 6?
False
Let u = 25771 - -16648. Does 33 divide u?
False
Let l = 2899 + -687. Suppose 0 = -5*y - l + 577. Does 12 divide (-1)/4 - y/12?
False
Suppose 3*a = -3*a + 2*a + 19768. Does 12 divide a?
False
Let y be (-3)/(-2 + 5) + 11 + -1. Suppose y*w = 88 + 137. Suppose 2*a = w - 5. Is a a multiple of 3?
False
Suppose 0 = 16*k + 26373 - 501 - 228112. Does 67 divide k?
False
Suppose d - 5*s = -42, 4*s = -3*d + 40 - 128. Let n(b) = -b**2 - 32*b + 40. Is n(d) a multiple of 2?
True
Let s = -2004 - -8532. Does 16 divide s?
True
Let n(h) = -h**3 - 81*h**2 - 20*h - 1263. Is 14 a factor of n(-83)?
False
Suppose -3*x + 2502 = -4*i, -3*i + 4170 = 2*x + 3*x. Is 6 a factor of x?
True
Suppose -c = -2*c - 56. Let p = 54 + c. Does 4 divide (-11 - (3 + p))/((-18)/12)?
True
Let g(w) = -w**3 + 20*w**2 + 21*w + 2. Let c be 2 + (1 - 9*-2). Let t be g(c). Let n(y) = 117*y - 4. Is 27 a factor of n(t)?
False
Let i(v) = v**2 - 8*v - 75. Let n = 135 + -120. Is 24 a factor of i(n)?
False
Suppose -4*v + 5*t + 1544 = 0, 4*v - 394 - 1150 = 4*t. Let i = v - 274. Does 7 divide i?
True
Let n(c) = 250*c**2 - 9*c - 9. Let y(r) = -12*r**2 + 57*r + 14. Let o be y(5). Is n(o) a multiple of 5?
True
Suppose -42*a = -44*a - 102. Let v = a + 322. Is v a multiple of 28?
False
Suppose -3 + 6 = i. Suppose i*k = 247 + 5. Is 7 a factor of (k/(-16))/((-9)/84)?
True
Let z(y) = y**3 + y. Let p(x) = -x**3 - 82*x**2 + 5*x - 19. Let j(w) = -p(w) + 5*z(w). Is 9 a factor of j(-13)?
False
Let z(o) = 10*o + 6. Let a be 2*(-3 + 2) - -2. Let l be 2 + -2*(a - (-1)/(-2)). Does 4 divide z(l)?
True
Let x = 1767 - 1212. Let n = x + -360. Is n a multiple of 46?
False
Suppose -5*z = 3*z + 16. Let v be ((-15)/12)/(z/8). Suppose v*y - 4*o = 342, y = -3*o + 25 + 32. Is y a multiple of 11?
True
Let k = -627 - -1067. Suppose -k*j = -441*j + 100. Is j a multiple of 25?
True
Let w(t) = -83*t + 17. Let f(k) = -249*k + 49. Let h(s) = -6*f(s) + 17*w(s). Does 6 divide h(1)?
True
Suppose 165*p = 53*p - 224. Let m(o) = -2 - 1 + 1 + 5*o**2. Does 3 divide m(p)?
True
Let g(o) = 2289 - 2347 + 2*o + 5*o. Is 16 a factor of g(24)?
False
Suppose 0 = 2*x - 11*d + 7*d - 44, 3*x - 9*d - 78 = 0. Does 13 divide x?
False
Suppose 36*d = 32*d + 8. Let k(u) = 59 - 35 - u**d + 71 - 6*u + 9. Is k(0) a multiple of 26?
True
Suppose -62*t = 92*t - 1569568. Is 13 a factor of t?
True
Suppose -8*z = -2 - 38. Suppose 4*w - 419 = -z*p, 80 = -3*p + 2*w + 327. Is p a multiple of 83?
True
Suppose 66 = 5*v + 86. Is 15 a factor of 435/10*(10 - (-2 - v))?
False
Is 128 a factor of ((-298)/4)/(11/(-1716)) - (-9 - -5)?
False
Let z(n) = 3*n - 42. Let w be z(-10). Let h = w + 55. Let c = h - -45. Does 3 divide c?
False
Let z(m) = m**3 - 2*m**2 + 3. Let l be z(2). Suppose 4*t = 4*a, 14 + 1 = l*t. Suppose 7*q = a*q + 158. Is 35 a factor of q?
False
Let j = 36249 - 151403. Is 6 a factor of j/(-546) - (-2)/21?
False
Let i be (-1 + 2)/((-12)/(-168)). Suppose 9*p - 11146 = 302. Suppose -i*s + 18*s = p. Is s a multiple of 61?
False
Suppose 2*j - 8 + 4 = 0. Suppose -4*q = -j*q - 34. Is 6/4*(q - 7) a multiple of 5?
True
Is 16757 + -12 + 0 - 5/1 a multiple of 124?
True
Let z(h) = -23*h + 18. Let p be z(-15). Suppose r = -2*q + 182, -3*q = -2*r - 20 + p. Does 22 divide r?
True
Suppose 2*v - v = 12. Let g be 20/3 - v/18. Suppose -80 = 2*b - g*b. Is 10 a factor of b?
True
Let q(x) = 14*x**2 - 27*x + 49. Does 102 divide q(-11)?
True
Let w(k) = -k**3 - 14*k**2 + 13*k - 21. Let f be w(-15). Suppose o - 5*t = f, -4*t - 52 = -2*o - 2*o. Let u(a) = 3*a + 28. Is u(o) a multiple of 12?
False
Suppose -388*x + 389*x + 2*o = 10589, 21198 = 2*x - o. Is x a multiple of 5?
False
Suppose -37*w - 3556 = -41*w - 5*a, -2667 = -3*w - 4*a. Does 127 divide w?
True
Suppose 3*u - 736 = 683. Suppose 4*h = -59*s + 63*s - 2844, s + 3*h - 735 = 0. Let z = s - u. Is z a multiple of 29?
False
Let d(r) = 8*r - 14. Let z be d(4). Suppose z*t = 1315 + 2195. Is t a multiple of 13?
True
Let u(m) = m**2 - 13*m - 30. Suppose 5*t - 2*q + 144 = -114, 0 = -5*t + 5*q - 270. Let l = -57 - t. Is 11 a factor of u(l)?
True
Let l be (458 - (1 + -3))/1. Suppose 3*t + t - l = 0. Suppose 3*c + 16 = t. Is c a multiple of 23?
False
Let f = 142 + -263. Let y = 127 + f. Is 12 a factor of ((-33)/y + -2)*126/(-35)?
False
Is 16 a factor of (-1512)/(-36)*7323/6?
False
Suppose 2823 = 7*h + 69*h - 3257. Is 3 a factor of h?
False
Let p be 21 - -4*3/(-4). Let m be (2 + 30/(-9))/(p/81). Is 1 - 1 - 648/m a multiple of 9?
True
Let l(j) = 5*j - 1. Let t be l(1). Suppose -4*s + t + 464 = 0. Suppose -5*c + 3*n + 381 = -2*c, -s = -c + 3*n. Does 33 divide c?
True
Let x = 1908 - -1464. Is 12 a factor of x?
True
Suppose -2*v + 3*p + 627 = -600, 3*v - 3*p - 1839 = 0. Suppose -7*q + 4*q + v = 0. Does 6 divide q?
True
Let q(u) = -u**2 + 20*u - 17. Suppose 56 = -12*m + 248. Is q(m) even?
False
Let q = -58 + 62. Suppose q*g - 1192 = -3*h, 10*g + 2*h = 7*g + 895. Does 9 divide g?
False
Suppose -5030 = -5*v + 1230. Let i = v - 793. Is i a multiple of 51?
True
Let q(n) = -9*n**2 + 2*n - 5. Let i(a) = 46*a**2 - 10*a + 26. Suppose -3*j - k - 10 = 0, -j - 2 = 4*j - 2*k. Let y(r) = j*i(r) - 11*q(r). Does 9 divide y(-3)?
True
Let f(q) = -23*q - 57 + 177 - 11*q. Does 47 divide f(-6)?
False
Let o(u) = -u**2 + 87*u - 406. Let g be o(5). Let q(c) = 1 - 6 - 15 + 81*c. I