ide n?
False
Let m = -267 - -312. Is 9 a factor of m?
True
Suppose -u + 51 = f, -8*u = -4*f - 3*u + 177. Suppose -3*h - 225 = -8*h. Suppose -n + f = -0*n - 4*a, 0 = -n + a + h. Is 20 a factor of n?
False
Let y(x) = -30*x - 176. Let t be y(-6). Let f = 8 + 5. Suppose -3*r + 3*h = -t*r + f, 3*h = 0. Does 13 divide r?
True
Let c be 42/24*8/(-1). Is (-4)/(-14) + (-192)/c + 6 a multiple of 10?
True
Suppose -c - 53*g + 110 = -49*g, -295 = -3*c - 5*g. Is 10 a factor of c?
True
Let p = 44 + -87. Let t = p + 60. Does 16 divide t?
False
Suppose -4*z + 3313 = -1871. Does 54 divide z?
True
Let p(x) = -29*x + 9. Does 8 divide p(-3)?
True
Let q be -2 + (-84)/(5 + -2). Suppose k + v + 5 = -1, -5*k + 2*v + 5 = 0. Is 19 a factor of k/6 + (-1715)/q?
True
Is 46 a factor of 10 + -5 - (-404 - -4)?
False
Let j = 36 - -24. Does 12 divide j?
True
Let y(r) = 45*r + 18. Let x(h) = h**2 - h - 7. Let p be x(4). Let i(j) = -13*j - 5. Let s(z) = p*y(z) + 18*i(z). Is s(-3) a multiple of 20?
False
Suppose -2*x = 2*z - 846, 5*x + 441 = -10*z + 11*z. Does 71 divide z?
True
Suppose -7 - 18 = 5*s. Is 13 a factor of (6/s)/((-24)/(-2190))*-2?
False
Let d(k) = 2*k**2 - 3*k + 7. Is d(-10) a multiple of 22?
False
Suppose 157 = 4*a + 5*n - 140, 5*a + 4*n = 369. Let q = a - 30. Is q a multiple of 26?
False
Suppose 5*f - 186 = -5*g + 544, 587 = 4*f + g. Suppose 2*t = t + f. Is t a multiple of 7?
True
Suppose 0 = 5*c - 3*x + 20, -x + 8 = 2*c + x. Let b be 21 - c/((-5)/5). Is 7 a factor of (24/(-15))/(b/(-150))?
False
Suppose 0 = -5*g + 3*n + 1460, 0 = 4*g + 4*n + 569 - 1737. Is g a multiple of 8?
False
Suppose 2*v + 0 - 6 = 0. Let k be 3*(-8)/6 - -4. Suppose k = -5*u + 87 + v. Is u a multiple of 10?
False
Suppose -38*y + 135543 = 36933. Is 34 a factor of y?
False
Let a = 10 - 13. Does 5 divide (-1)/a - (-896)/48?
False
Let o be 6/8 + (-15687)/(-28) + -1. Suppose o = -2*t + 6*t. Is t a multiple of 20?
True
Let z(g) = -61*g - 7. Let w(i) = 61*i + 6. Let p(u) = -5*w(u) - 4*z(u). Does 15 divide p(-2)?
True
Let c be -5 - 1*(-1 - 6). Suppose 2*b = c*s + 6*b - 402, 3*s = -2*b + 583. Does 43 divide s?
False
Let a(u) = 3*u - 6. Let w(s) = -3*s + 5. Let f(r) = 4*a(r) + 6*w(r). Is f(-6) a multiple of 7?
True
Let w = -152 - -162. Is w a multiple of 5?
True
Let c = 28 + -25. Let r be c/12 - 14/(-8). Suppose 2*y - 47 = -5*x, -29 = -r*y - 2*x + 9. Is y a multiple of 4?
True
Suppose -3*z - 655 = -4*k + 197, -5*z = 5*k - 1030. Is k a multiple of 6?
True
Let d = -593 + 791. Is 9 a factor of d?
True
Let a(w) = 163*w**2 + 3*w + 4. Let u(j) = j**3 + 2*j**2 - 2*j + 2. Let d be u(-3). Is 41 a factor of a(d)?
True
Let g(d) = d**2 + 13*d - 28. Let i be g(-15). Is 180 - i - (9 + -7) a multiple of 25?
False
Let b be (-30)/135 + 742/18. Suppose 0 = 5*m - p - 315, -73 = -2*m - 2*p + b. Is m a multiple of 18?
False
Suppose 0 = -3*d - 4*w - 994, d + 0*w - w + 329 = 0. Let g be d/(-2)*(-4)/(-12). Suppose -g - 220 = -5*k. Is k a multiple of 20?
False
Let p(f) = -f + 78. Is 21 a factor of p(15)?
True
Let z(y) = y**2 - 6*y + 5. Let o be z(5). Suppose 15*s - 18*s = 0. Suppose o = -s*m + m - 16. Is 7 a factor of m?
False
Let k = 157 - -69. Is k a multiple of 11?
False
Let d(j) = -j**2 + 11*j + 31. Let i be d(13). Is 210/(-8)*2*(-16)/i a multiple of 42?
True
Does 36 divide (-14658)/(-24) - (-55)/44?
True
Let g(a) = a**2 + 5*a + 7. Suppose -2*n - 3*n = j - 1, 0 = 3*j + 2*n + 10. Is 2 a factor of g(j)?
False
Let h be 4 + -2 + 1 + 1. Suppose w - 24 = 4*b, w = 5*b - h*w + 30. Let c(k) = k**2 - 6. Is c(b) a multiple of 6?
True
Suppose -u = 4*k - 82 - 0, -5*k = 5*u - 395. Suppose 2*v = v + u. Is 13 a factor of v?
True
Let y(z) = -z**2 - 5*z + 10. Let p(q) = -3*q + 3. Let o be p(3). Let l be y(o). Suppose -2*b = -n + 40, l*b - 139 = -4*n + 5*b. Is n a multiple of 17?
True
Let f(u) be the second derivative of u**5/10 - u**4/2 + u**3/6 + 5*u**2 - 28*u. Does 11 divide f(5)?
False
Suppose 93*h - 71*h = 40656. Is 44 a factor of h?
True
Suppose 4*j - 7 - 1 = 0. Suppose -4*f = -j*f. Suppose f = n + 4*o - 22, -3*o - 15 = -0*n - n. Is 7 a factor of n?
False
Let y(b) = 6*b**3 + 50*b**2 + 12*b + 7. Is 18 a factor of y(-7)?
False
Suppose 3*i + 5*u = 56 + 43, 0 = -2*i + u + 53. Suppose i + 7 = t. Let h = t + -21. Is 8 a factor of h?
False
Suppose 3*g = -2*g + 15. Let u be g/((-3)/4*-2). Suppose -u*i - i - 139 = -5*r, 5*r + 4*i = 118. Does 16 divide r?
False
Suppose 0 = 3*u - 4*t + 740, -3*t + 669 = 5*u + 1854. Let p = -165 - u. Is 25 a factor of p?
True
Let c be (-5004)/90 - (-4)/(-10). Let t be (-240)/c + (-2)/7. Suppose -t*v + 196 = 3*v. Does 7 divide v?
True
Let x = 30 - 14. Suppose x*q - 17*q + 24 = 0. Is q a multiple of 3?
True
Let q(f) = -f**3 - 9*f**2 + 28*f + 17. Suppose 51 = -5*j + 3*b, -4*b + 6 + 6 = -2*j. Does 18 divide q(j)?
False
Is 268 - (-4 - 18/(-9)) a multiple of 9?
True
Let z(w) = -3*w - 10. Let l be z(-3). Does 9 divide 3/l + 56 - 2?
False
Let q = 1030 - 692. Does 24 divide q?
False
Is (-280)/112 + (-395)/(-2) a multiple of 13?
True
Let o = 0 + 0. Suppose -4*y + 24 = 4*a, 4*y = a - y + 18. Suppose -a*d - 6 = o, 2*d - 1 + 31 = 2*f. Is f a multiple of 3?
True
Suppose 42 = -2*o + 6*m - 4*m, m = -5*o - 75. Does 24 divide 30/(-2 + (-36)/o)?
True
Let k(v) = 7*v**2 + 53*v + 32. Is 11 a factor of k(-16)?
False
Suppose -4*n - 207 = 5*n. Let d = n + 215. Is 16 a factor of d?
True
Suppose -5*k = 0, 4*u + 0*u + 5*k - 4 = 0. Let z(n) = n + 191*n**3 - 76*n**3 - 88*n**3. Is 7 a factor of z(u)?
True
Let s(n) = -9*n - 11. Suppose -4*l + 6*l = 44. Suppose -3*j - 11 = i, -5*i = -3*j - 3 + l. Is s(i) a multiple of 14?
False
Let n(d) be the second derivative of -d**3/2 + 5*d**2/2 - d. Let y = 59 - 65. Is 17 a factor of n(y)?
False
Suppose 0 = 16*b - 4624 + 576. Is 53 a factor of b?
False
Suppose -3*w = -5*t - 40, -4*w - 5*t - 1 = 4. Suppose 3*v - w = -2*v. Let f = v + 8. Is 3 a factor of f?
True
Let m(z) = z**2 - 14*z + 7. Let d = -11 + 13. Suppose -3*f + 45 + 3 = -2*t, -f = d*t - 8. Is 7 a factor of m(f)?
True
Let v be 1824/12 + 1*-4. Let q = v - 42. Is 11 a factor of q?
False
Does 24 divide -48*4/(5 - 13)?
True
Let t(p) = 58*p**3 + p**2 - p. Let l be t(1). Suppose 3*s - j - 46 = 0, -s = -3*j + 4 - 22. Let m = s + l. Is m a multiple of 15?
False
Let u(d) = -3*d - 11 + 61*d**2 - 34*d**2 - 26*d**2. Is u(8) a multiple of 2?
False
Let l = 22 - 20. Let u(a) = l + 1 - 11*a - 3*a + 1. Is u(-4) a multiple of 37?
False
Let o(d) = 2*d**2. Let a be o(-1). Suppose 3*l + 1 = a*m - 1, 2*l = 2*m. Is l*79/(-2) - -1 a multiple of 16?
True
Let o = -3424 - -6763. Is o a multiple of 18?
False
Let r be (-20)/8 - 566/(-4). Suppose -r = -3*q + o + o, -q + o = -47. Is 15 a factor of q?
True
Let h(n) = 75*n + 3. Is h(3) a multiple of 15?
False
Let c(r) = r**2 - 10*r + 26. Let x be c(11). Suppose j = x + 66. Is j a multiple of 12?
False
Let b = -20 + 24. Suppose z + b*z - 217 = 3*k, 134 = 3*z + 2*k. Is 26 a factor of z?
False
Suppose -r + 5 - 2 = 0. Suppose -4*l + r*j + 406 = -0*l, -j = -5*l + 502. Is l a multiple of 25?
True
Let m(n) = -133*n**3 + 21*n**2 + 49*n + 2. Does 155 divide m(-2)?
False
Let r be 3*21/45*5. Let c = r + 12. Is c a multiple of 4?
False
Suppose 25 - 53 = 4*p. Let h = 17 + p. Is h a multiple of 3?
False
Let q(u) = u**3 + 16*u**2 + 15*u - 15. Is 49 a factor of q(-11)?
False
Let u(t) be the third derivative of t**6/20 - t**5/30 + t**4/24 - t**3/3 - 255*t**2. Let p be (-3)/(-2) + 2/4. Is u(p) a multiple of 10?
True
Suppose 3*w + 5*k = -w + 283, -5*w - 5*k = -360. Let z = w - 37. Is 20 a factor of z?
True
Let f = 280 - 186. Is 16 a factor of f?
False
Let w(m) = -2 + 5 - 17*m**3 - 4 - 3 - 3*m - 6*m**2. Let p be w(-4). Is 7 a factor of p/70 - 2/7?
True
Let v(q) = -q**3 - 11*q**2 + 17*q + 13. Suppose 104*f = 109*f + 65. Is v(f) a multiple of 10?
True
Let x be (-4)/10 + 12/5. Suppose x*h = -4*b + 346, -106 - 255 = -4*b - 5*h. Is 28 a factor of b?
True
Let i be -1*(1 + 1 + -1). Let a(s) = 223*s - 14*s**3 + 5 - 7 - s**2 - 226*s. Is 5 a factor of a(i)?
False
Let h(j) = 2*j - 20. Let q(n) = n - 1. Let b(w) = -h(w) + 3*q(w). Let f be 89/6 - (-12)/72. Is b(f) a multiple of 17?
False
Let y(z) = z**3 - z**2 + z - 1. Let l(h) = 5*h**3 - 4*h**2 + 2*h - 1. Let m(t) = l(t) - 4*y(t). Let p be m(2). Let j = p - 2. Does 2 divide j?
False
Suppose -3*n + 2*r = -13, 0*n