4. Does 16 divide o(y)?
False
Let v = 439 + 5744. Is v a multiple of 3?
True
Does 15 divide (-39738)/(-8) - (14 - (-1239)/(-84))?
False
Suppose 16*a = 11*a + 170. Let r = -32 + a. Suppose -2*s + 126 = -r*w + 5*w, 4*s = -12. Does 18 divide w?
False
Let z(j) = -7*j - 27. Let b be z(7). Is (b/(-6))/((-28)/(-126)) a multiple of 57?
True
Let v = -89 + 91. Let j be 5*(v/8 + 84/240). Is 22 a factor of (-1)/((-15)/339) + j/(-5)?
True
Suppose -27*h + 596485 = 191782. Does 84 divide h?
False
Let p be (213/6)/(3/96). Suppose -1636 = -7*w + p. Is 18 a factor of w?
True
Let a(x) = 15*x - 11 - x**3 - 6*x**2 + 2 + 4 + 0*x**2. Let j be a(-8). Suppose j*o + 92 = 467. Is o a multiple of 6?
False
Suppose 4*c - 5*p + 3 = 0, -2*c + 4*p + 3 = 9. Suppose -22*j = -c*j - 21280. Is 28 a factor of j?
True
Let z = -37971 + 27081. Does 28 divide ((-1)/1)/(-8 - z/1362)?
False
Suppose -2*x - 4*h = -432, 5*h + 464 = 3*x - 151. Let r = 6 - 4. Suppose q = r*p + 42, -5*q - 2*p + x = 3*p. Is 31 a factor of q?
False
Let p = -6762 - -10173. Is p a multiple of 3?
True
Suppose -22092 - 72296 = -9*t + 102019. Does 20 divide t?
False
Suppose 0*l + 127218 = 9*l + 3*f, 14142 = l - 3*f. Is l a multiple of 114?
True
Let l be (-1056)/(-56) - 1/(-7). Let c = 17 - l. Is 9 a factor of (-11 - -2)/(c/4)?
True
Suppose 7*w - 3*w + 8 = 0, -4*s = -4*w - 173408. Is s a multiple of 30?
True
Let a(q) = 30*q**2 - 2*q + 3. Suppose 5*t - 3*j + 4 = 2, -2*t = -j. Let z be a(t). Let g = z - -19. Does 23 divide g?
True
Let y = -52 - -54. Let j be (-6*32/(-12))/(y - 1). Suppose 0 = -9*k + j + 236. Is 8 a factor of k?
False
Let d(r) = 2*r**3. Let j be d(0). Let v be 0*(7/2 + -3 + j). Suppose -5*a = -4*a + 3*q - 234, 2*a - 2*q - 468 = v. Does 39 divide a?
True
Suppose -g + 29 - 8 = 4*w, -5*g - 4*w = -25. Suppose 97 = l - g. Is l a multiple of 7?
True
Let u(n) = 58*n - 7. Let p(r) = -14*r - 35. Let s be p(-5). Suppose -s = -5*g - 3*m, -2*m + 31 = 4*g + m. Is u(g) a multiple of 25?
True
Let y be 4 - 2/((-8)/12*3). Let u be 3*y*(12 + -13). Is 32 a factor of (u/4)/((-8)/64) + 2?
True
Suppose -200*d + 4010 = -195*d. Suppose 5*n = 3*n. Suppose -4*j + 637 = -3*b, -j + 6*j + 2*b - d = n. Is 32 a factor of j?
True
Let o(h) = h**2 + 75*h**3 - h**2 + 1. Let w = 6268 - 6267. Is o(w) a multiple of 12?
False
Let w(v) = v**2 - 4*v - 25. Let m be w(6). Let f(k) = 3*k**3 + 39*k**2 - 15*k + 4. Does 49 divide f(m)?
False
Let m(a) = a**3 + 4*a**2 + 2*a - 11. Let i be m(-5). Let z = -43 - i. Suppose z*x = 202 - 187. Is x a multiple of 4?
False
Let x(s) = s**3 + 22*s**2 - s - 19. Let k be x(-22). Is 2 a factor of (k - -5) + 17 + -2 + 1?
True
Suppose 236946 + 296167 + 476084 = 249*i. Is 193 a factor of i?
True
Let y(a) = 3*a**2 + 24*a + 8409. Is 99 a factor of y(0)?
False
Let u(q) = -4*q**3 - 7*q**2 - 6*q - 12. Let a(f) = -f**3 + f. Let v(l) = -3*a(l) + u(l). Suppose -m = -3*j + 15, -j - 1 + 4 = 0. Is 6 a factor of v(m)?
True
Suppose -3*s = i - 208, -152 = -4*s + 2*s + 2*i. Let r = 201 - s. Is r a multiple of 40?
False
Suppose 3*h = 3*g + 15, -h - 2*g - 15 = g. Suppose 0 = -9*p - h*p + 144. Let y(l) = -l**3 + 17*l**2 - 7*l - 39. Does 23 divide y(p)?
False
Let h = -7 + 32. Suppose 0 = 7*k + 30 - 72. Let s = h + k. Does 15 divide s?
False
Let h(z) = z + 33. Let f = 150 + -147. Is h(f) a multiple of 12?
True
Let d = -1365 + 1822. Does 3 divide d?
False
Suppose 0 = -6*l + 879 + 111. Is 11 a factor of ((-240)/25)/((-6)/l)?
True
Let n be (-11)/(-33)*(2 + 1). Is (-3)/27 - 1225*n/(-9) a multiple of 6?
False
Suppose -15*y = -27*y + 552. Suppose 44*i + 626 = y*i. Is i a multiple of 89?
False
Is 30 a factor of ((-920)/(-69) + -12)*15672?
False
Let d(t) = -108*t + 9. Let k be d(5). Does 9 divide (k/(-6))/(3/18)?
True
Suppose b + 516 + 160 = 0. Let o = -7348 + 7352. Does 12 divide -3 - (b/o + -2)?
True
Let l(v) = 48*v**2 - 186*v. Does 64 divide l(7)?
False
Let o(i) = i**3 + 9*i**2 - 8. Let t be -2 + 1 + (6 - 2). Suppose 5*p - 7 = -t*l, -5*l - 2*p - 5 = 3*p. Is 10 a factor of o(l)?
True
Let p be (-56)/70 - 19/(-5). Suppose 1282 = p*x - 923. Suppose -6*m - m = -x. Is m a multiple of 15?
True
Suppose 6 - 4 = 2*t. Suppose 6*z + t = -5. Does 18 divide ((-80 - z) + -3)/(-2)?
False
Let w = 4666 + -2605. Does 4 divide w?
False
Suppose -2*r - 690 = -4*g + 4430, -5*r = 3*g - 3840. Is g a multiple of 35?
False
Is 146 a factor of (-35 - 1)*(18 - 19 - (-727)/(-3))?
True
Let r(f) be the third derivative of -f**6/120 + 13*f**5/60 - 5*f**4/6 - 10*f**3/3 - 20*f**2. Let t be r(11). Is 6 a factor of (t + 0 - -22)*(-1)/(-2)?
True
Let w = 3719 + 614. Does 7 divide w?
True
Let s(z) = 3*z**2 - 56*z - 10. Let n be s(19). Suppose 0 = -n*k + 39 - 21. Suppose -k*x = -6*m + 2*m - 28, 0 = x + 5*m - 35. Does 20 divide x?
True
Let v be ((-70)/(-7))/2 - 0. Suppose v*a - a - 788 = 0. Is a a multiple of 21?
False
Let c(i) = -i**3 - 8*i**2 + 7*i - 50. Let y be (-74)/8 - (-8)/((-256)/24). Is c(y) a multiple of 20?
True
Let t(r) = r**3 - 17*r**2 + 15*r + 10. Let q be t(16). Let u be (5/(-2))/5 - 273/q. Is 7 a factor of ((-4)/6)/((-10)/u) - -25?
True
Let x be (-12)/(-14)*(7 - 0). Let p be -4 + 8/x*6. Suppose -13 = p*m - 325. Is 25 a factor of m?
False
Let a = 88 - 87. Let g be 2475/22 + a/2. Suppose -8*m + 1295 = -g. Is m a multiple of 16?
True
Let z(u) = u**3 - 8*u**2 + 103*u + 37026. Is 33 a factor of z(0)?
True
Let x = 5 + 7. Suppose -q + 5*q = x. Suppose 10 - 25 = -3*o + q*l, 0 = -4*o - 3*l + 6. Is o a multiple of 2?
False
Let r(m) = 23*m + 2919. Does 6 divide r(33)?
True
Let h be 45/(-5) + 17479 - (1 + 1). Is 13 a factor of h/77 + 1/7?
False
Let y(o) = 2*o**2 + o + 1. Let i(a) = 2*a**3 + 22*a**2 + 10*a - 14. Let z(j) = -i(j) + 5*y(j). Is 63 a factor of z(-8)?
True
Let l be (2/6)/(18/216). Suppose a + 266 = 4*a - l*o, -92 = -a - 2*o. Suppose -2*f - 10 = -a. Does 4 divide f?
True
Let q = 3053 + 46183. Is q a multiple of 33?
True
Suppose 3*t - 288 = -3*c, -4*t + 0*t = -c - 404. Let g(r) = 32*r + 1641. Let l be g(-51). Is (l - 8) + (0 + t - -1) a multiple of 9?
False
Suppose 0 = 78*j - 62*j - 83888. Does 66 divide j?
False
Suppose 4 = -2*h, -3*n + 175 - 23 = -h. Let v = -32 + n. Does 40 divide -24*-3*20/v?
True
Let w be 0 + 4 + -3 + -172. Let m = 307 - -21. Let j = m + w. Does 12 divide j?
False
Suppose -12*f + 241939 + 148101 = 2*f. Is f a multiple of 10?
True
Suppose 0 = 2*z - 2*f - 0 + 12, -f = 0. Let m(s) = s**3 + 18*s**2 - 8*s - 8. Let v be m(z). Let o = v + -168. Is 38 a factor of o?
True
Let v(u) = u + 8. Let i be v(-7). Let l be ((-4)/(-4))/2*0/i. Does 12 divide 1/((-3)/(-324) + l)?
True
Let r = 88 + -90. Let w(s) = -3*s**2 - 9*s - 3. Let x be w(r). Let l(o) = 10*o**3 - o**2 - 3*o - 4. Is l(x) a multiple of 31?
True
Let x = -400 + 420. Suppose 30*y - x*y - 10310 = 0. Is y a multiple of 119?
False
Let p = 91 - 85. Let d(a) = 3*a**2 + 18*a - 29. Is d(p) a multiple of 11?
True
Does 93 divide ((-18)/(-5))/(245049/(-14415) - -17)?
True
Suppose 4*z - z - 6 = -2*a, 0 = -a + 3*z - 15. Let t be (4/a)/((-4)/(-6)). Is t*((-2205)/(-6))/(-7) a multiple of 7?
True
Let r(p) = -p**2 - 20*p + 9. Let l be (-124)/248 - ((-70)/(-4) - 1). Is 5 a factor of r(l)?
True
Suppose 2*x + 23 = 3*m, 0 = -3*x + 16 - 1. Let r(j) = -2*j**2 - 25*j - 58. Let q be r(-8). Suppose q*w - m*w = 579. Is w a multiple of 28?
False
Let t(g) = 286*g + 3537. Is 16 a factor of t(25)?
False
Suppose 8*p - 6*p - 7*p = 0. Suppose p = 7*s - 147 - 861. Suppose 10*q = 8*q + s. Does 8 divide q?
True
Let b be -364*(-1)/((-4)/(-3)). Suppose -2*n - 184 = -4*l, 3*n - 6*l + b = -l. Let q = -35 - n. Is 17 a factor of q?
True
Suppose 30*t - 75471 + 741 = 0. Does 53 divide t?
True
Suppose -1137 = -5*d + 4829 + 2854. Is d a multiple of 7?
True
Let p = -1672 + 3159. Does 70 divide p?
False
Suppose 2 = -4*m + 3*p + 18, -4*m - 5*p = 16. Is 12 a factor of (-6 + 7)/m + 73?
False
Let r = 5257 + -3099. Is r a multiple of 54?
False
Let h(y) = 2*y**2 - 12*y - 11. Let k be h(7). Let m(f) = -22*f**2 - 50 + 3*f**2 - 2981*f**k + 29*f + 2982*f**3. Is m(18) a multiple of 34?
False
Let l be ((-2)/6)/(2/174). Let q = -26 - l. Suppose 2*w + 3 = -1, 2*y - q*w - 86 = 0. Is y a multiple of 20?
True
Let x(c) = c**2 + 3*c + 443. Let u be x(0). Suppose 3*s - 2*d = u, -s + 3*d = 2*d - 149. Does 5 divide s?
True
Suppose -22*c = 6*c - 112. Suppose 2*z + 442 = 