 141. Does 2 divide f(y)?
False
Let p(f) be the third derivative of f**6/120 + f**5/20 - f**4/3 + 7*f**3/2 + f**2 + 9. Is p(3) even?
False
Let l(x) = 147*x**2 + 151*x + 989. Is 90 a factor of l(-7)?
False
Suppose 105*k = 1317801 - 129516. Is k a multiple of 121?
False
Suppose 1920 = 2*l - 2*b, -19*b - 2886 = -3*l - 22*b. Does 6 divide l?
False
Suppose 35*k + 42*k - 55*k - 194304 = 0. Is k a multiple of 6?
True
Suppose t = 3*f - 7781, -2561 = -f + 2*t + 3*t. Does 20 divide f?
False
Let q = -10950 + 18928. Does 9 divide q?
False
Suppose g - 2*g + 1 = 0, g + 20 = -j. Let s be (-15358)/j + 2/3. Suppose 18*l + s = 24*l. Is 8 a factor of l?
False
Let b(h) = -h + 9. Let l(v) = -5*v + 37. Let y(q) = 26*b(q) - 6*l(q). Does 10 divide y(2)?
True
Let q = -11349 + 12170. Does 25 divide q?
False
Let y = 8972 - 4652. Is y a multiple of 48?
True
Let a = -1041 + 6028. Does 16 divide a?
False
Let a be (-1)/7*-2 + 144/(-14). Is 66 - 0/(a*(-1)/2) a multiple of 3?
True
Let n = 4648 - 4204. Is 7 a factor of n?
False
Suppose -102*u + 370839 - 52599 = 0. Is u a multiple of 39?
True
Suppose -13*d + 10*d + 12 = 0, -4*f + 9832 = d. Is f a multiple of 7?
True
Suppose -3*o = 4*u - 314, -o + 3*u + 33 + 50 = 0. Let n = 98 - o. Suppose 43*z - 38*z - 245 = n. Does 7 divide z?
True
Let c(u) = -23*u + 49. Let j be c(2). Suppose -5*r + 260 = -5*p, 2*r + j*r = -3*p + 292. Does 7 divide r?
True
Suppose 5*x + 20837 = 3*w + 8049, 2*x - 17094 = -4*w. Suppose 38219 = 23*i + w. Is i a multiple of 12?
True
Suppose -2*s = 3*r - 1452, 3*s + 233 = 2*r - 735. Suppose 0 = u + u - r. Is u a multiple of 22?
True
Suppose w = -5*u + 24623, -1183*u - 98630 = -4*w - 1180*u. Is 9 a factor of w?
False
Let u be (-36)/(-306) - 7/((-119)/100). Suppose 2*a - u*a = -l - 84, 5*a = -5*l + 105. Is a a multiple of 21?
True
Suppose 14*t - 397 = 457. Let j = t + 292. Is j a multiple of 5?
False
Let n = -4826 + 10435. Is 71 a factor of n?
True
Is (-28)/(-21)*-3 + (-10)/(-1) + 234 a multiple of 60?
True
Is ((-1430)/6 - 8)*-42 a multiple of 31?
False
Suppose -6*r - 91 = -13*r. Suppose -4*k + r - 5 = 0. Suppose 4*m - 16 = 0, -k*h + 23 + 49 = -3*m. Is h a multiple of 21?
True
Suppose -17696 = -5*c + 4*r - 3326, 2*c - 5731 = 5*r. Is 53 a factor of c?
False
Let s(p) = -2*p**2 + 5*p + 7. Let g be s(3). Suppose 9*n - 183 = -l + g*n, 770 = 5*l - 4*n. Suppose q = -0*q + 3*a + 29, 2*a + l = 5*q. Is 4 a factor of q?
True
Suppose -3*y - 2*t = -14, -5*t = y - 0*t - 9. Let x = y + -23. Let u = -15 - x. Is u even?
True
Let z be (-2)/7 - ((-60)/14 + 1). Let j be z/1 + 4/(12/723). Suppose 4*f - 5*h = 120 + j, 2*f - 182 = -4*h. Does 7 divide f?
True
Suppose 5*a - 574 = 5*m + 2811, 3*m = 15. Does 20 divide (a + -1)*(-203)/(-87)?
False
Suppose 0*x - 5*x - 65 = -2*m, -3*x = -m + 33. Suppose -2*r + m = 5*q + 3*r, -20 = -4*r. Does 25 divide q/5 - (956/(-20) - 2)?
True
Let h = -9953 - -18875. Is h a multiple of 9?
False
Let z(n) be the second derivative of n**4/12 - 4*n**3/3 - 9*n**2/2 - 4*n - 7. Is 57 a factor of z(-10)?
True
Let d = -17628 + 29029. Is d a multiple of 31?
False
Let b = 41 + 2. Let v be (3570/(-1155))/((-2)/11). Let a = b - v. Is a a multiple of 13?
True
Is 24 a factor of (-29)/(((-48)/(-129))/(-16))?
False
Suppose 4*i - 9*i - 2582 = -4*g, 5*i = -10. Let y = -208 + g. Is y a multiple of 29?
True
Let o(j) = -j**2 - 9*j + 10. Let u be o(-10). Suppose u = -7*r + 10*r - 6. Suppose h + 134 = 2*l + 2*l, -r*l = -h - 68. Does 3 divide l?
True
Suppose 7*q - 643 - 2827 = -698. Is q a multiple of 9?
True
Suppose -11*p + 33101 = 44*p - 45549. Does 22 divide p?
True
Let f = 467 + -443. Is 16/f - ((-5475)/9 - -1) a multiple of 32?
True
Let p = 602 - -7578. Is p a multiple of 10?
True
Let k be -10*-2*(-2)/(-8). Suppose 0 = -4*c + 2*u - 11 - 23, k*u + 15 = 0. Let w = 14 - c. Is 24 a factor of w?
True
Let j(y) = -y**3 - y**2 - 20. Suppose 4*t + 14 = -18. Let f = t + 2. Is 28 a factor of j(f)?
False
Suppose 2*a - 23 = -3*g - 7, 0 = -2*g - 4*a + 16. Suppose -1237 = 4*x - g*k - 3909, 2*x - 1301 = -5*k. Does 13 divide x?
True
Suppose -179774 = -46*m + 89769 + 115017. Is m a multiple of 209?
True
Let q(v) be the second derivative of -v**5/20 - 5*v**4/12 + v**3 + 5*v**2/2 + 2*v. Suppose -20 = -4*u - 4*r - 52, -3*u = -2*r + 19. Does 10 divide q(u)?
False
Suppose k + 13*k - 7*k = 29925. Is 25 a factor of k?
True
Let n(t) = t**3 - 4*t + 4. Let a = -11 + 14. Let u be n(a). Suppose 4*k + u = -1, -55 = -v - 3*k. Is v a multiple of 38?
False
Let s = 1358 + -623. Suppose 21*a - 16*a = s. Is 49 a factor of a?
True
Let d(s) = s**2 + 18*s - 76. Let v be d(7). Let h = v + 12. Is 3 a factor of h?
True
Let v(x) = -45*x + 12. Let b(r) = -6*r + 57. Let f(o) = -5*o - 55. Let d be f(-13). Let q be b(d). Is v(q) a multiple of 21?
True
Let j = 156 - 140. Suppose -21*x + 4*w = -j*x - 1053, 8 = -4*w. Is x a multiple of 11?
True
Let w = -9690 - -17643. Does 11 divide w?
True
Suppose -3*g + 8316 = 8*g. Suppose -6*a + g = -630. Does 14 divide a/(4/(24/9))?
True
Suppose -10*v + 14*v = -212. Let p = v + 138. Is 5 a factor of p?
True
Suppose 0 = -4*k + 22 - 2, -2*x + 4*k - 6 = 0. Let t(d) = -4*d - x*d + d + 3*d - 20. Is t(-12) a multiple of 16?
True
Let y(m) = 12*m**3 + 2*m**2 + 16. Let n = -716 + 721. Is y(n) a multiple of 80?
False
Let z(d) = 44*d**2 - 4*d + 3. Let n be z(2). Let c be 10 + 436/(-44) - (-760)/(-11). Let r = c + n. Is 34 a factor of r?
True
Suppose -36 = -6*x - 0*x. Suppose -q = x*q - 10458. Suppose -q - 27 = -9*p. Does 38 divide p?
False
Does 45 divide (-7 - (20/(-5) + -70))*47?
False
Suppose -5*y + 3*g + 147 = -889, -3*y + 610 = 4*g. Is y a multiple of 2?
True
Let c(o) = o + 12. Let a(r) = 11. Let b(m) = 3*a(m) - 2*c(m). Let x be b(3). Suppose 5*u = w + 659 - 8, -x*u + 394 = -4*w. Does 41 divide u?
False
Suppose 10*r = 11*r - 4*q + 270, 2*q = 3*r + 820. Let k = r + 593. Is 29 a factor of k?
True
Suppose 22 - 10 = 2*y. Suppose -6 - y = -6*v. Does 4 divide v/(((-60)/(-56) - 0) + -1)?
True
Suppose -31*h = 25678 - 160218. Does 20 divide h?
True
Suppose -2*i = -4*i - 6*i + 58680. Is i a multiple of 18?
False
Let k = 81 - 78. Let v be (-10)/k*(-30)/20. Suppose 2*u = v*u - 138. Is u a multiple of 23?
True
Let g be 9 - (33/528 + (-9090)/32). Suppose 0 = -3*b - 44 - 349. Let z = g + b. Does 9 divide z?
True
Let m = -26816 + 35855. Is m a multiple of 215?
False
Suppose 2*v = 2*t - 0 - 4, -3*v - 11 = 2*t. Let d(w) = 5*w + 18. Let a be d(v). Does 7 divide a/(9/210*2)?
True
Suppose 10432 = -14*k + 32748. Suppose k = 6*w - 548. Is 51 a factor of w?
True
Let k(c) = -c**2 + 9*c - 21. Let o be k(5). Let r(d) = 5*d**2 - 1. Let w be r(o). Suppose y - 2*p = 27, 2*y - w*p - p = 51. Is 6 a factor of y?
False
Let q = -122 + 109. Let w = q + 194. Does 54 divide w?
False
Let u = -29 - -36. Suppose -756 = u*l - 0*l. Let s = l + 230. Does 23 divide s?
False
Suppose 0 = 6*h - 23 + 29. Let v be 2/(-2)*(2 - (3 + h)). Suppose -10*b + 668 + 162 = v. Is 6 a factor of b?
False
Let k = 4 + -2. Suppose f - 25 = 2*v, -k*f - 4*v = -3*v - 30. Suppose 16*i + 60 = f*i. Is 10 a factor of i?
True
Let n be (-3 + 107)/4 + (2 - -2). Let i = n + -35. Let m(j) = 8*j**2 + 10*j - 6. Does 18 divide m(i)?
True
Let u(x) = x**3 + 6*x**2 - 8*x + 1. Let n be u(-7). Suppose 9*p - 288 = n*p. Is 24 a factor of p?
True
Let i(n) = 37*n**2 - 114*n + 733. Is 104 a factor of i(25)?
True
Let g(l) = -58*l**2 - 3*l + 3. Let y be g(1). Is 59 a factor of (-1 + y)/(1507/(-187) + 8)?
True
Is (78/7 + -11)*-2 + (-249806)/(-14) a multiple of 52?
False
Suppose 26 = -2*a - 6*p + 2*p, 4*a + 4 = 4*p. Let q = a - -263. Let j = -182 + q. Is 19 a factor of j?
True
Let v = 2333 - 119. Is v a multiple of 9?
True
Suppose 67*a - 2017202 = -77*a + 711166. Is a a multiple of 71?
False
Let m = -1035 - -674. Let d = -248 - m. Is d a multiple of 11?
False
Suppose 3*n - 1 = 4*t, 4*t - 5*t - 4*n = -14. Suppose 0 = -5*c + 2*c - t*y + 19, c = 5*y - 22. Suppose c*j = -j + 368. Is 27 a factor of j?
False
Let q(x) = 40*x - 306. Let v be q(24). Let g = 374 + -220. Suppose -2*k + v = 3*t + 168, -t + g = -2*k. Is t a multiple of 16?
True
Let h = -31 - -28. Let d be ((-4)/(-6))/((-94)/(-30) + h). Does 24 divide 330/2 + d + (-4)/2?
True
Suppose -63*v - 10*v + 286602 = -203593. Does 20 divide v?
False
Let b be (4*3)/(-3) - (-561 + 6). Let m = 109