(n) = 20*n - 41. Is 3 a factor of m(s)?
False
Is 18 a factor of -36*7/(56/(-1636))?
True
Let o = -5128 + 11108. Is o a multiple of 27?
False
Let v(a) = -4*a + 23. Suppose -62*y = -66*y + 20. Let r be v(y). Suppose -2*h = -t + 58, -t - 91 = -r*t - h. Does 8 divide t?
True
Suppose 5*g + 10 = 10*g. Let c be (-3 + 1)/(g/(-5) - 0). Suppose 4*q - 3*q = c*a - 603, q - 2 = 0. Is a a multiple of 31?
False
Let j be -4 + ((-32)/(-4))/2. Suppose -r + 498 = i, -2*r + 5*i + 182 + 793 = j. Suppose 2*m - 214 = -2*n, r = 5*m - 0*n - 3*n. Is 34 a factor of m?
True
Suppose -3666153 + 4821561 = 99*f - 4896264. Is 139 a factor of f?
False
Suppose 3*f + x = f + 42, f - 4*x - 3 = 0. Let n = 718 - 693. Suppose n*j - f*j = 60. Is 5 a factor of j?
True
Suppose -41 = 2*b - 31. Does 18 divide 45/b*2*-17?
True
Let u = 3113 - -108. Is 36 a factor of u?
False
Let q(o) = -12*o - 165. Let u be q(-14). Suppose -1945 = -u*n + s, 4*n + 4*s = 1877 + 695. Is n a multiple of 15?
False
Let w(d) = -d**2 - 32*d + 52. Let a be w(-20). Suppose -3*y + 2637 = -5*x + a, 0 = y - x - 783. Is y a multiple of 30?
False
Suppose 0 = 5*q - 14 - 26. Suppose -8 = -q*g + 7*g. Let v = 55 - g. Does 32 divide v?
False
Suppose 2*c - 23 = -3*a, -5*c = 4*a - 10*c. Suppose 19*h - a*h = 546. Does 13 divide h?
True
Let k(z) = 12*z - 111. Let d(g) = 25*g - 222. Let y(n) = 2*d(n) - 5*k(n). Does 3 divide y(9)?
True
Suppose z - 541 = h + h, 4 = 2*h. Suppose 3*q = z + 1009. Is q a multiple of 37?
True
Let o(j) = -9*j**2 + 102*j - 24. Let a(c) = -20*c**2 + 203*c - 49. Let h(k) = -4*a(k) + 9*o(k). Is 29 a factor of h(16)?
False
Let a be (-1)/(4*(-5)/14900). Suppose 4*d - a = -3*l + 444, -1544 = -4*l + 5*d. Is 18 a factor of l?
False
Suppose 19*c - 73 = -1175. Let h = 107 - c. Does 20 divide h?
False
Let l = 833 + 8335. Is l a multiple of 6?
True
Suppose 8*i - 16 - 16 = 0. Suppose -i*v = a - 284, a + 82 = 3*v - 131. Is 6 a factor of v?
False
Suppose -y + 3 = s, 0 = 4*s - s - 2*y - 9. Let n(r) = s*r**2 - r**2 + 5*r - r**2 - 21. Is 36 a factor of n(-14)?
False
Suppose -20 = -h - 19. Let w(a) = 382*a - 38. Is w(h) a multiple of 8?
True
Let w(s) = 19*s**2 - 18*s - 63. Let a be w(-6). Let h = -641 + a. Does 14 divide h?
False
Is 248 a factor of -4538*(-141)/30 - 18/(-120)*-4?
True
Let m(b) be the third derivative of b**4/2 - 61*b**3/6 - 1357*b**2. Let p(k) = -k**2 + 11*k - 9. Let q be p(7). Is 10 a factor of m(q)?
False
Let f = -43 - -10. Let i = f - -33. Suppose i = j - 0 - 115. Is j a multiple of 14?
False
Suppose -4*a + 8 = 0, 13*a = -4*m + 10*a + 14. Let w be ((-100)/(-30))/(0 - m/(-3)). Suppose 0 = -2*f - 4*z + 184, 3*f + w = 4*z + 271. Is 6 a factor of f?
True
Suppose -3*f - r = -0*f - 16, 5*f - 2*r = 23. Let t(m) = -26*m - 172. Let a(i) = 5*i + 37. Let y(g) = -28*a(g) - 6*t(g). Does 31 divide y(f)?
False
Let l(s) = -170*s - 481. Is 38 a factor of l(-15)?
False
Suppose -4*j + 3*i + 2254 = -954, -4033 = -5*j - 2*i. Is j a multiple of 23?
True
Let j(n) = -1058*n - 2459. Does 27 divide j(-4)?
False
Is 24/9 + -3 + 1 + 636372/27 a multiple of 9?
False
Let x(s) = -15*s + 2 - 119 + 3. Does 38 divide x(-21)?
False
Let i(l) = 5*l**2 - 6*l + 22. Let n(t) = -6*t**2 + 5*t - 23. Let o(h) = -5*i(h) - 4*n(h). Let k be o(22). Let d = -130 - k. Is d a multiple of 19?
True
Let j be 5*1 + (35 - 37). Suppose -4*o = -10*p + 5*p + 4488, 3*p = -j*o + 2682. Does 14 divide p?
True
Let q be 11 + (-2 + 0)/(-2). Let o = 22015 - 21160. Suppose q*g - o = 1017. Does 13 divide g?
True
Let o(u) = u**2 - 6*u - 56. Suppose 0 = 12*i - 9*i - 54. Is 50 a factor of o(i)?
False
Let a = 62 + -57. Suppose 4*c - 1 = 7. Suppose c*u + 160 = 3*y + 2*y, -u = -a. Is 8 a factor of y?
False
Let a be ((-18)/30)/(3/15) + 3. Suppose -4*s - 4*z = -3*s - 143, a = 4*s + 2*z - 572. Does 7 divide s?
False
Let p = 43969 + -23750. Is p a multiple of 9?
False
Let z = 8 + -5. Suppose 47*b - 51*b = -4*q + 628, 2*b = -6. Suppose 0 = -4*m - z*m + q. Does 2 divide m?
True
Let z = -8776 - -15156. Does 58 divide z?
True
Suppose -3 = -5*d + 22, -4*l + 375 = 3*d. Suppose 0 = 7*u - 4*u. Suppose u*a + 3*a - 216 = -5*y, -3*a + l = 2*y. Is y a multiple of 7?
True
Suppose -d = 2*d + 9, -5*i = -4*d - 32. Suppose 6 = -i*t + 6*t. Suppose -t*o + 66 = -12. Is o a multiple of 3?
False
Suppose -2*h = 10 - 14. Let i be h/10 - 372/(-15). Suppose 18*a - i*a = -287. Is a a multiple of 8?
False
Suppose -r + 5*z = -5*r - 46, 2*r = -5*z - 28. Let g(p) = -p**3 - 5*p**2 + 10*p + 17. Is 18 a factor of g(r)?
False
Let d be (48/(-20))/((-2)/720). Suppose -18*h - d = -26*h. Is 18 a factor of h?
True
Let v be ((-10)/(-25))/(2/(-10)) + -4. Let f be (-8)/5*15/v. Suppose -q - r + 103 + 23 = 0, f*q + 2*r - 494 = 0. Does 8 divide q?
False
Let v(p) = -4*p**3 - 2*p**2 + p - 6. Let l be v(-4). Suppose 4*d - 5*s - 420 - 12 = 0, -2*d + 2*s = -l. Let n = d + -33. Is 14 a factor of n?
True
Let w be (-20)/(-4)*747/(-15). Let f = w - -317. Does 14 divide f?
False
Let u(y) = -9*y**2 + 24*y - 3. Let z be u(3). Is (-4*11)/(z/(7 + -1)) a multiple of 8?
False
Let r(o) = 1573*o - 405. Is 139 a factor of r(4)?
False
Let q(k) be the second derivative of k**3/3 - 8*k**2 + 12*k. Let m be q(10). Suppose 3*z - z = -3*b + 11, 27 = m*z + 5*b. Is 2 a factor of z?
False
Suppose 227217 = 125*j - 919783. Is 124 a factor of j?
True
Suppose 0 = 2*d + 5*f - 295, -d + f + 144 - 7 = 0. Let h = 326 - d. Is h a multiple of 9?
False
Is 210 a factor of (-491426)/(-65) - (-18)/(-45)?
True
Let k = -8 + 20. Suppose -7*f = k - 47. Suppose 0 = -f*b - 5*s + 100, -b + 6*b = 4*s + 55. Does 3 divide b?
True
Let t = 93 - 90. Suppose -2*q - t = m, 4*q - 9 = q. Let n(j) = j**3 + 11*j**2 + 16*j + 8. Does 13 divide n(m)?
True
Let t(q) = 10*q**3 + 7*q**2 - 17*q + 28. Is 5 a factor of t(3)?
True
Suppose -359*j - 338407 = -10211716 - 166126. Is 47 a factor of j?
True
Does 68 divide ((-11)/((-385)/(-10)))/(-2) - (-128748)/21?
False
Suppose 119 - 9 = -2*p. Let k = p + 47. Is k + (3 - -1) - -148 a multiple of 48?
True
Let r(o) = 4*o + 5*o + o**2 + 2661 - 2700. Is 13 a factor of r(13)?
True
Let p be 26/39*469596/8. Suppose 18*y + 9649 = p. Is 63 a factor of y?
True
Suppose 7*f + 33 - 89 = 0. Suppose -f = 3*x + 37. Is ((-78)/x)/((-4)/(-20)) a multiple of 13?
True
Suppose 2*n = 5*u + 454, 2*n + 466 = 39*u - 44*u. Is 40 a factor of u/(-460) - 5999/(-5)?
True
Suppose -2 + 3 = -m, 492 = 5*c + 3*m. Let q be 4/(-22) - (-24867)/c. Suppose -8*p + q + 2149 = 0. Does 30 divide p?
True
Let f(j) = 4*j + 1. Let s(l) = -21*l + 212. Let z(v) = 5*f(v) + s(v). Is 22 a factor of z(-42)?
False
Does 72 divide (-72)/135*3*(-3 - 2157)?
True
Let i be (10/(-15))/(4/18). Let k be 9/3*(-3 - 293/i). Is 18 a factor of (-6)/(-27) - (k/(-18) + -2)?
True
Suppose 2*u + 3*l - 210 = 0, -5*u - 4*l + 579 = 61. Let f = u - -66. Is f a multiple of 31?
False
Suppose w = 4*q + 14864, -22*w + 18*w + 4*q = -59432. Does 45 divide w?
False
Let q(a) = a**3 + 17*a**2 + 9*a - 16. Let j be q(-15). Let k = j - 467. Is 21 a factor of -1*(-3)/(-6)*k?
True
Suppose 4*c = -4*h + 956, 5*h = 3*h + 3*c + 478. Suppose -2*w + 89 = l, 5*w - 27 - h = -3*l. Does 6 divide l?
False
Suppose -3*t + 5*k = -25080, -5*t - 38*k + 41800 = -41*k. Is 95 a factor of t?
True
Suppose -133*m = -144*m + 69586. Is 6 a factor of m?
False
Let c(n) = -12*n - 172. Let f = 227 + -253. Does 7 divide c(f)?
True
Suppose 2*u + 5*g = 1024, -26*u + 5*g - 2545 = -31*u. Is u a multiple of 13?
True
Suppose 0 = -111*z + 109*z + 479 + 2903. Does 13 divide z?
False
Let y(u) = 2*u**3 + 36*u**2 - 27*u + 9. Let z be y(-17). Let l = z - 637. Is 14 a factor of l?
False
Is -4*(-1)/(-2) - 199649/(-43) a multiple of 91?
True
Suppose -a + 1190 + 553 = -5*d, 5*a - 8743 = -3*d. Is 38 a factor of a?
True
Let b(s) = 884*s**2 + 33*s + 30. Is 11 a factor of b(-1)?
False
Suppose -11 = -6*p - 11. Suppose -75*b + 124*b - 79086 = p. Does 77 divide b?
False
Suppose -12*t + 15*t = -84. Let g be 49/t + 3/(-12). Is (-90)/(-1 - (g + 2)) a multiple of 5?
True
Let x(y) = -y + 2. Let t(w) = -3*w**2 - 14*w + 37. Let v(c) = -t(c) + 6*x(c). Does 27 divide v(-13)?
True
Let x = 419 - 204. Suppose -5*i - 20 = 0, -3*r - 4*i + x = -3*i. Suppose -g - 24 = -3*h + 53, 3*h - 2*g - r = 0. Is 27 a factor of h?
True
Is (92/5 - 2)/((-1024)/(-307200)) a multiple of 10?
True
Let y(o) = 65*o**2 - 85*o - 9