
Let d(v) = v + 1. Let p(h) = -3*h**2 + 49*h + 63. Let z(t) = t**2 - 24*t - 32. Let o(w) = 2*p(w) + 5*z(w). Let c(y) = -6*d(y) + o(y). Does 52 divide c(-14)?
True
Suppose -5*u + 10*d + 33600 = 0, 0 = -3*u - 186*d + 187*d + 20130. Is u a multiple of 43?
True
Let c = 782 + -678. Suppose -8*w = -3*j - 3*w + c, -j = 3*w - 44. Does 3 divide j?
False
Let c(z) = 149*z - 10. Let g be c(2). Suppose 3 = -b, 4*u - b - g = -5*b. Is 5 a factor of u?
True
Let p = -290 - -295. Suppose -97 = -k + 5*q, p*k - 11*q + 9*q - 416 = 0. Is 3 a factor of k?
False
Let u(p) = 28*p + 2720. Is 15 a factor of u(-50)?
True
Let b(h) = -h**2 - 5*h + 33. Let u be b(8). Let k = 199 + u. Is k a multiple of 16?
True
Suppose 30*q + 1481 = 4601. Is 13 a factor of q?
True
Let p(r) = 260*r + 1761. Is 145 a factor of p(22)?
False
Let m = 486 - 478. Let o(w) = w**3 + 4*w**2 - w + 14. Does 52 divide o(m)?
False
Let h(g) = -g**3 + 7*g**2 - 2*g + 16. Let p(j) = -5*j - 20. Let w be p(-10). Suppose 0 = -8*u + 2*u + w. Is 8 a factor of h(u)?
True
Let r(d) = 78*d**2 - 10*d + 11. Let s be r(5). Let f = s + -307. Is f a multiple of 33?
False
Does 15 divide -15 + -2 - (-65360)/5?
False
Let l(a) = 24*a - 12. Let m be l(4). Let c be (1 + -2)*5*m/15. Is (-7 + 9)*(-1 + (0 - c)) a multiple of 9?
True
Let j = 1055 - 1880. Does 33 divide (-132)/(-15)*j/(-22)?
True
Let f = -806 + 1270. Suppose -g + f = 6. Is 23 a factor of g?
False
Let f(d) = 2*d**2 - 15*d - 36. Let n be f(-2). Suppose 2*t + 0*t - 8 = 0. Suppose -n*h - 32 = -3*s - 0*s, -16 = t*h. Does 3 divide s?
False
Let a = -75 + 131. Let l = a + -57. Is 3 a factor of (l/(-3))/(16/(-96)) + 11?
True
Suppose 0 = -87*b + 518912 + 259390. Is 42 a factor of b?
True
Is 15 a factor of (18*26/39)/(4/(-2)) + 7662?
False
Let b(o) = -89*o + 16. Let p be b(-4). Suppose -p = -c - 0*c. Suppose 0 = -2*h - 5*f + c - 47, 2*f + 360 = 2*h. Is h a multiple of 16?
False
Suppose 4*i + 2042 = 2*w - 0*i, -4*i = 2*w - 2074. Let s = -694 + w. Is 6 a factor of s?
False
Suppose -2*p = 5*m + 9, -m + 4*p + 9 = 2. Does 24 divide (((-1575)/(-20))/(-7))/(m/64)?
True
Let f(x) = -2*x + 26. Let d be f(10). Let y = 11 - d. Let h = 45 - y. Does 5 divide h?
True
Is (-7)/2*8642/203*-308 a multiple of 149?
True
Suppose -5*y + 3*p = -19, -p + 2*p - 3 = -3*y. Suppose 0 = i - 3*g - 63 - 113, -10 = -y*g. Is i a multiple of 16?
False
Suppose 3*w - 5*z - 7480 = -2*w, -6*w + 5*z = -8976. Is w a multiple of 8?
True
Let u be (-10 - -11)/(2/828). Suppose -5*z = -u - 106. Is z a multiple of 52?
True
Let q(b) = -b**2 + 7*b + 2. Let k be q(8). Let r(v) = -4*v - 20. Let u be r(k). Is -1*(-213)/3 - u a multiple of 26?
False
Suppose 4*a + 9*k - 17684 = 5*k, 0 = -a + 5*k + 4415. Suppose -4*r - 2*h + a = 0, -47*r = -50*r + 4*h + 3315. Is r a multiple of 64?
False
Let a = -7 + 9. Suppose 2*z + z - 201 = -a*o, o = 4*z + 73. Is o a multiple of 22?
False
Suppose 649*l - 689*l = -44659 - 134581. Does 116 divide l?
False
Suppose 1147749 = 160*l + 396549. Does 5 divide l?
True
Is 19 a factor of (-33)/27 + 1 + 5/((-90)/(-214726))?
False
Let b(r) = 11*r**2 - 335*r + 16. Is 4 a factor of b(-14)?
False
Let s be 64/12*30/4. Let u be (30/s)/((-2)/(-16)). Let t(n) = 3*n + 11. Is t(u) a multiple of 19?
False
Let b(s) = -132*s**2 - 2*s**3 - 6*s + 3 + 5 + 3*s**3 + 129*s**2. Is b(8) a multiple of 28?
True
Suppose -15 = 2*s - v, 3*s - 2*s = -v - 6. Let h(b) = -156*b + 31. Let k be h(s). Suppose -7*a + k = -221. Is a a multiple of 12?
True
Let m(k) = -k + 6. Let f be m(11). Suppose l - 159 = -437. Is 48 a factor of f/(9 + -4)*l?
False
Suppose -3*w + 18408 = -2*t, -1133*w - 5*t + 30630 = -1128*w. Is 21 a factor of w?
True
Let a = -5988 + 11324. Is a a multiple of 165?
False
Let p = -14418 - -20489. Is p a multiple of 23?
False
Let f(g) = 5*g**2 + 29*g - 126. Does 5 divide f(-21)?
True
Let a(m) = -13*m - 113. Let u be a(-9). Let x(c) = 2*c**2 + 5*c - 5. Does 10 divide x(u)?
False
Let t = -18 + 29. Let a(u) = 20*u - 40. Does 18 divide a(t)?
True
Let j be ((-30)/18)/(10/(-36)). Let c be ((-2)/j*10)/((-16)/24). Suppose 0*r = -r + 4*k + 165, -c = -5*k. Does 49 divide r?
False
Suppose 2*b - 1393 - 615 = 0. Suppose 0 = -4*h - 36 + b. Suppose z - 308 = -5*x, 2*x - h = -2*x - 3*z. Is x a multiple of 14?
False
Suppose 0*o + 255 = -5*o. Let c = 47 - 116. Let k = o - c. Does 6 divide k?
True
Suppose 5*v + 290 = 1450. Let j = -112 + v. Is 20 a factor of j?
True
Let c = -74 - -77. Let s be (2/c)/(4/(-30)). Let y(t) = 2*t**2 - t + 5. Is y(s) a multiple of 10?
True
Let f(q) = -3*q - 3. Let d(h) = -h - 1. Let k(a) = 18*d(a) - 4*f(a). Let b be k(-1). Suppose b*x + 64 = 4*x. Does 14 divide x?
False
Let k be -3 + 0 - (-6 + 19 - 3). Let r = 980 + k. Suppose 11*x - 243 - r = 0. Is x a multiple of 19?
False
Is (-57)/76 + 3*1543/12 a multiple of 5?
True
Suppose -2*m = -v + 571, -4*v + 8*v - 2276 = 4*m. Suppose 20*c = 17*c + v. Is 9 a factor of c?
True
Let p = -36493 + 78468. Does 47 divide p?
False
Let l(w) = -w**3 + 63*w**2 - 89*w + 212. Is l(59) a multiple of 94?
False
Let l(j) = 38*j + 6. Let q be l(4). Let d = q - 10. Suppose -4*k + d = -16. Is 12 a factor of k?
False
Let l(z) = 72*z**2 - 3*z - 11. Let v be l(-2). Let h = v + -257. Is 2 a factor of h?
True
Suppose 2*v - 5*h - 1191 = 5*v, 2*h = 0. Let p = 762 + v. Is 42 a factor of p?
False
Let l = -5 + 9. Suppose 2*i - 2207 = -5*m, 45*i - 48*i + 885 = 2*m. Suppose 5*c = -25, 5*c = -l*t + m + 142. Does 38 divide t?
True
Is 2/17 - (43 - 16842 - 4/(-34)) a multiple of 107?
True
Let h(j) = 166 + 162344*j**2 + 3*j - 162343*j**2 + 7*j. Is h(-17) a multiple of 19?
True
Suppose 1489809 - 222392 = 239*f. Is 28 a factor of f?
False
Suppose 0 = -n - 2*a + 1874, 0 = 5*n - 15*a + 14*a - 9458. Is 35 a factor of n?
True
Let g(b) = 16*b**2 + 7*b - 12. Suppose -2*s + 4*s = -5*q - 18, 0 = 4*s + 2*q + 20. Does 27 divide g(s)?
True
Let r(v) = -2*v**2 - 116*v - 589. Does 5 divide r(-8)?
False
Suppose 5*w - 5 = -3*c, 4*w - 30 = -4*c + 2*w. Suppose 0 = -c*v - 16 - 24. Does 46 divide (-1)/((-51)/11226) - v/(-34)?
False
Let r = -349 + 353. Is 18 a factor of (4/(-5))/(r*(-2)/8280)?
True
Suppose 0 = 21*c - 45064 + 54589 - 239034. Is 31 a factor of c?
False
Let g = -49 + 185. Let u = 194 - g. Suppose 3*m + u = 238. Does 8 divide m?
False
Let b(q) = 3*q + 1 - 2 - 3 + 0*q. Let v be b(-5). Let s = v - -142. Is s a multiple of 27?
False
Let y be ((-4)/5)/((-20)/(-100)). Let o be (-3)/y - (-679)/28. Suppose 182 = 4*s + 2*a, 2*a - 7*a = o. Does 12 divide s?
True
Let n be (-28)/(-16)*(-176)/(-154). Suppose -5*b = t - 365, b = 5*t + n*b - 1753. Is 10 a factor of t?
True
Suppose -3*w + 4*b + 246 = b, w + 3*b = 70. Let t = w - 44. Is 3 a factor of t?
False
Let v = 8182 - 4207. Is 36 a factor of v?
False
Suppose 91*n = 173*n - 88*n + 79698. Does 15 divide n?
False
Let d(g) be the second derivative of -17*g**6/720 + 7*g**5/120 + 13*g**4/12 - 4*g. Let n(t) be the third derivative of d(t). Is n(-7) a multiple of 45?
False
Let m = 178 + 878. Does 16 divide m?
True
Let x be -18*(28/(-6))/(-2). Let a = 49 + x. Suppose -a*w + 12*w - 1070 = 0. Is w a multiple of 41?
False
Suppose t - 3*a + a - 358 = 0, 4*a - 8 = 0. Let l = 58 + t. Does 14 divide l?
True
Let s(q) = 7*q**2 + 11*q + 22. Let m be s(11). Suppose 9*z - m = 6*z. Suppose 7*o - z = 174. Is o a multiple of 12?
True
Suppose -k = 5*l - 198, 2*k + 16*l = 14*l + 404. Let m = 203 + k. Is m a multiple of 20?
False
Let m(r) = -r**2 - 3*r + 3. Let f be m(-4). Let a be -6 + (f - (-4 - -2)). Let d = a + 18. Does 13 divide d?
True
Suppose -8*z + 5429 = 389. Suppose -z = 5*q + 75. Let w = q - -376. Does 47 divide w?
True
Suppose 2*m - 2*o + 6*o + 2 = 0, 3*m - o - 18 = 0. Suppose 4*z - 3*y + 1408 = 8*z, -4*z + m*y + 1408 = 0. Does 41 divide z?
False
Suppose -21*b + 19*b + 414 = -2*m, 3*b - 1029 = 5*m. Let g be 2/(((-4)/(-9))/(-4)). Does 51 divide (m/g)/((-2)/(-9))?
True
Suppose 3*y - 479 = 214. Let n be y/22*14/3. Let x = n + 98. Is 37 a factor of x?
False
Let p = 91784 + -59236. Is p a multiple of 103?
True
Let h(q) be the first derivative of q**6/30 - q**5/120 - q**4/24 + 26*q**3/3 + 14. Let s(c) be the third derivative of h(c). Does 6 divide s(-1)?
True
Let b(g) = 787*g + 431. Does 10 divide b(19)?
False
Suppose -3*b - 6 = -3*q, 5*q - 3*b = -7*b + 37. Let f = -228 - -548. Suppose -q*n + f = 3