s f(1) a multiple of 21?
True
Let h = -66 + 60. Let c be (-7512)/114 - h/(-57). Let u = 313 + c. Is u a multiple of 34?
False
Let u = -5902 - -11121. Is 20 a factor of u?
False
Suppose -324*x - 4*w - 7300 = -325*x, -36485 = -5*x + 5*w. Does 32 divide x?
True
Suppose 16*p + 40 = 120. Suppose -264 = r - p*r. Is r a multiple of 17?
False
Let n(b) = 498*b - 4. Suppose 3*u - 3*t + 1 - 4 = 0, -5*t = u - 1. Let f be n(u). Suppose -q + f = 238. Does 44 divide q?
False
Let p(l) = -514*l - 2790. Is 3 a factor of p(-21)?
True
Let f = -6821 - -16831. Is f a multiple of 14?
True
Let c(d) = d**2 + 212*d + 270. Is c(0) a multiple of 10?
True
Is 12 a factor of (-20169896)/(-1380) - (4/40)/((-9)/12)?
True
Suppose 23*t - 39 = 10*t. Let n = 1863 + -1171. Suppose -t*u - 7*b + 3*b + 418 = 0, 0 = -5*u - 2*b + n. Is 13 a factor of u?
False
Let g be -6 - 20*(-14)/(-8). Let p(j) = -32*j - 436. Does 12 divide p(g)?
True
Let g = -14 - -59. Let s = 45 + g. Let j = 102 + s. Is 28 a factor of j?
False
Suppose 139249 = -80*n + 496449. Is 29 a factor of n?
False
Suppose -2*h - 10*h = -64356. Is h a multiple of 23?
False
Let t(u) = -u**2 + 10*u + 1. Let f be 8/36 + 83/(-9). Let k be (4/((-36)/(-21)))/((-3)/f). Is 5 a factor of t(k)?
False
Let c be (-15)/(-3) + 898 + 0. Let d = -582 + c. Let s = -225 + d. Is s a multiple of 24?
True
Let f(h) = -2*h**3 - 2*h - 2. Let b be f(-1). Suppose -s - 2 = -u, -s - 9 + 2 = -b*u. Suppose -197 = -u*o + 493. Is 7 a factor of o?
False
Let q(s) = 18*s**3 + 2*s**2 - 18*s + 109. Does 9 divide q(8)?
False
Let l = 22 + -40. Let g = -2474 + 2511. Let b = g + l. Is b a multiple of 7?
False
Suppose -2*a - 41 = 15. Let t = 32 + a. Suppose t*c - 9*c = -1170. Is c a multiple of 26?
True
Let u(t) = -2*t - 18. Let f be u(-5). Let o(z) = -13*z + 24 - 3*z + z + 4*z. Is o(f) a multiple of 43?
False
Suppose n = 3*p - 0*p - 10, 0 = 3*n + 5*p - 12. Does 32 divide (-1 - n) + 41 + 417?
False
Suppose -2*b + 5*g = -39, 5*b - g = 23 + 17. Is ((-260)/b)/(20/(-210)) a multiple of 26?
True
Let o(m) = -63*m**3 - 8*m**2 - 22*m - 175. Is o(-6) a multiple of 11?
True
Let z = -6723 - -8347. Does 20 divide z?
False
Let t(g) = -g**2 + 143*g + 30. Is 36 a factor of t(58)?
False
Suppose 0 = m + 9, c + c - 4*m = 68424. Is c a multiple of 246?
True
Is 21 a factor of -8 + (-2 - -2526) + 8 + -14?
False
Suppose 0*d = 2*d - r - 2271, 2*r - 2280 = -2*d. Suppose d = 5*s - 3*u, -5*u + 3*u = s - 230. Is 2/((-2)/s*3*-1) a multiple of 19?
True
Suppose 6*m - 225 = m. Let j(u) = -53*u + m*u + 8 - 20. Does 17 divide j(-27)?
True
Suppose 2 = -a - 2*i + 4, 5*a - 1 = -i. Suppose -54 = 9*u - a. Let k = -1 - u. Is k a multiple of 2?
False
Suppose 2*p + 3*p = 4*w + 901, -w = -p + 180. Let o = -109 + p. Is (o/10)/((-4)/(-20)) a multiple of 9?
True
Let m(t) = -4*t**2 - 2*t + 1. Let g be m(-1). Let p be ((-17)/3)/(g*(-4)/(-420)). Suppose 5*i + 40 - p = 0. Does 22 divide i?
False
Let o = 278 - 276. Suppose 4*b + 0*b - o*j = 644, -b = 3*j - 154. Is 10 a factor of b?
True
Suppose 8*x - 49 = -25. Suppose 480 + 708 = x*m. Is 34 a factor of m?
False
Let t(h) = -7*h + 8. Let x be t(-6). Let w be (-144)/((-56)/7) - (0 - 2). Let g = x - w. Does 15 divide g?
True
Let h(m) = -2029*m + 2270. Is 191 a factor of h(-5)?
True
Suppose -17*j - 967 = -321. Let h = j + 61. Is 2 a factor of h?
False
Suppose 414*p - 441890 = 1298980. Is 29 a factor of p?
True
Suppose 6*x + 9480 = -18*x. Does 6 divide x/((-3*(-5)/(-15))/1)?
False
Let m(g) = g**2 + 7*g - 5. Let w be m(-7). Let p = 63 - w. Does 9 divide p?
False
Let m(w) = -w**3 + 19*w**2 - 11*w + 16. Does 55 divide m(16)?
False
Let g(v) = v**2 + 15*v - 25. Let s be g(9). Let z = -18 + s. Let d = z - 106. Is d a multiple of 8?
False
Let k(j) = j**3 + 51*j**2 + 63*j + 336. Does 36 divide k(-38)?
False
Let f be 38876/16 + (-4)/(-16). Suppose 26*p - 21*p = f. Is 18 a factor of p?
True
Let p = 35739 - 22678. Is 112 a factor of p?
False
Let o(n) = 80*n**2 - 48*n - 121. Does 32 divide o(-12)?
False
Let h(a) = a**2 - 9*a - 1414. Let o be h(0). Let u = 191 - o. Is u a multiple of 107?
True
Let x = -17808 - -18831. Is x a multiple of 25?
False
Let g = -116 + 191. Suppose 2*a - g = a. Is a a multiple of 15?
True
Let g = -237 - -262. Suppose -g*r + 1051 = -21*r + 3*s, -r - 5*s = -284. Is 8 a factor of r?
False
Suppose 3 = 3*a, 4*d = a + 3*a - 8. Is 45 a factor of (-4)/(60/(-567))*(6 + d)?
False
Let p = 2 - -1. Suppose -14 + 8 = -p*u. Does 7 divide 1 + (-123)/(-5 + u)?
True
Let m = 7170 + -4327. Is m a multiple of 61?
False
Let x(o) = 3*o**2 + 1. Let g(p) = -4*p + 11. Let a be g(3). Let v be x(a). Suppose v = -5*r - 6, -u = 3*r - 186. Does 40 divide u?
False
Let o = 867 - 282. Is o a multiple of 9?
True
Suppose 0 = -10*d - 9459 + 22818 + 25851. Does 116 divide d?
False
Let h = 143 - 137. Let d(i) = 6*i**2 - 6*i + 30. Is 15 a factor of d(h)?
True
Let b = -276 - -362. Suppose 0 = b*l - 91*l + 500. Is 27 a factor of l?
False
Let g(a) = 2126*a - 7726. Does 55 divide g(16)?
True
Suppose 2*v + 129 - 459 = 0. Let y be (-4)/(-30) + (-6622)/v. Let g = 65 - y. Is 7 a factor of g?
True
Let c(o) = -o**3 - 42*o**2 + 264*o + 25. Does 7 divide c(-48)?
False
Let z be (-207)/(-21) + -7 + (-50)/(-7). Is 2 a factor of ((-2)/(-8))/(z/240*3)?
True
Let r be 282*(-80)/(-28)*7/2. Suppose -134*q - r = -139*q. Does 29 divide q?
False
Let q = 1035 - -1407. Does 52 divide q?
False
Let w(c) be the third derivative of -5*c**2 + 1/24*c**4 + 0 + 1/12*c**5 + 0*c + 1/120*c**6 + 5/6*c**3. Does 4 divide w(-4)?
False
Let p = -237 + 187. Is 107 - (-10)/4*(-60)/p a multiple of 5?
True
Let s(n) = 20*n**3 - 4*n**2 + 9*n + 22. Let k be s(6). Suppose k = 13*m - 454. Does 45 divide m?
False
Let s(b) = 2*b**2 - 69*b + 34. Is 15 a factor of s(-31)?
True
Let f = 632 - -1903. Is f a multiple of 169?
True
Let i(f) = 24 - 2*f**3 - 105*f**2 - f + 117*f**2 + 3 + f**3. Is i(10) a multiple of 42?
False
Let g(c) be the third derivative of 1/24*c**4 - 1/15*c**5 + 0*c + 1/60*c**6 - 1/6*c**3 - 3*c**2 + 0. Is 7 a factor of g(4)?
False
Let d be (-1 - (-21)/15)/(8/120). Let t = 99 - 94. Suppose d*b = b - o + 574, -b + t*o + 120 = 0. Is b a multiple of 22?
False
Suppose 670*u - 674*u + 13948 = 3*i, u = -i + 3487. Does 31 divide u?
False
Suppose -19*v + 4*q = -18*v + 1238, -4*v - 4952 = 2*q. Let l = v + 2102. Does 16 divide l?
True
Let f = -58 - -34. Let k = -27 - f. Is (-2*5)/(k/((-24)/(-2))) a multiple of 8?
True
Let k be (-5)/((-15)/6) + -7. Let q(d) be the third derivative of -13*d**4/12 + d**3 + 75*d**2. Is q(k) a multiple of 30?
False
Let h be (-2)/4*6 + 11. Suppose -4*c - 2*u = h, -3*c + u = 2*c - 4. Suppose 3*s - 65 = -v, c = -3*v - 0*s + 3*s + 207. Does 8 divide v?
False
Let m(x) = -2*x**2 + 12*x + 143. Let f be m(22). Let c = f - -969. Is 34 a factor of c?
True
Suppose -i + k - 5 = -3, 5*i - 2*k + 22 = 0. Let q be i/(-15) + (-28)/(-5). Suppose -q*b = -7 - 17. Is b a multiple of 4?
True
Let g(p) be the second derivative of 20*p**3/3 + 73*p**2/2 + p - 2. Is 7 a factor of g(5)?
True
Suppose 2*q = 3*m + 2152, 2*m = 5*q - 1062 - 391. Let c be 4/(-16) + m/(-8). Let u = -30 + c. Is 23 a factor of u?
False
Suppose 35 = -2*g - 5*t + 1462, -5*t = g - 716. Does 2 divide g?
False
Suppose 9*z - 5*z - 1815 = -5*r, 2*z = -5*r + 895. Suppose -9*v = 764 + z. Let w = -73 - v. Is w a multiple of 9?
True
Let x = 3364 - -2032. Is 25 a factor of 20/30 - x/(-6)?
True
Let d(p) = -p**3 + p**3 + 3 + 11*p**2 - p**3. Let a be d(11). Suppose a*u = 105 + 27. Is u a multiple of 11?
True
Let o = 100934 - 70352. Is 17 a factor of o?
False
Let l(k) be the second derivative of k**5/20 - 7*k**4/12 + k**3/6 - 21*k**2/2 - 73*k. Does 10 divide l(9)?
True
Is 10 a factor of ((-4948)/(-28) + -1)/(((-2)/56)/(-1))?
True
Let q = 30 - 30. Suppose 2*h = o - 23, q = -5*h + h + 3*o - 45. Is (207/h)/(9/(-84)) a multiple of 23?
True
Suppose 0 = h + 3*b - 152, -7*h + 2*h - 5*b = -770. Let t = h + -87. Is 17 a factor of t?
True
Suppose -p - 7*z - 4 = -8*z, 4*z = -8. Does 21 divide (49*(-12)/8)/(3/p)?
True
Let t = 13 + 83. Let f = t + -85. Let w(k) = 2*k**2 - 11*k - 18. Is 34 a factor of w(f)?
False
Suppose -13*f - 644 - 903 = 0. Let d = 275 + f. Does 22 divide (-5 - -4) + -3 + d?
False
Let u(i) = 58*i + 1 - 10*i - 2*i + 3. Let g be u(-2). Is 49 a factor of (-4334)/g + 1/(-4)?
True
Let f