(x) = -85*x - 149. Let r be v(-2). Is 15 a factor of j(r)?
False
Suppose -6 = -5*x + 4. Suppose -x*i - 252 = 12*i. Let h(n) = n**2 + 13*n - 49. Is h(i) a multiple of 2?
False
Suppose -2*x + 2120 = 4*s, -3*s = -3*x + x - 1576. Suppose -994 = -5*g - 2*v - 110, 2*v = -3*g + s. Is 6 a factor of g?
False
Suppose -4229 - 4060 = -5*s - 3*h, -h = -s + 1661. Does 12 divide s?
False
Suppose -2*r + 15*r = -15*r + 147392. Does 8 divide r?
True
Let r(i) be the second derivative of i**5/20 - i**4/12 + 149*i**2/2 - 54*i. Is 31 a factor of r(0)?
False
Does 5 divide (13*1*18/39)/(-1) + 1461?
True
Let s(f) = -f**3 - 51*f**2 + 42*f - 172. Is s(-52) a multiple of 29?
True
Let j be (3 - 0) + 6/(-1). Is 12 a factor of 40/60 + (-358)/j?
True
Let v = 161 - 159. Suppose v*b - 424 - 260 = 0. Does 38 divide b?
True
Let o(t) = -t**3 + 6*t**2 - 5*t - 2. Let i be o(5). Let v(w) = -26*w**2 - w - 1. Let h be v(i). Let x = 5 - h. Is x a multiple of 12?
True
Let m = 8310 - 3151. Does 40 divide m?
False
Let z be (3 + 10/(-4))*-6. Let q be (-1 + 4)/(z/(-2)). Suppose 7*c - q*c = 590. Does 33 divide c?
False
Let f(l) be the first derivative of -104*l**2 - 376*l + 19. Is f(-7) a multiple of 24?
True
Suppose 4*q - 201 = q. Suppose d + 3*o = -14 + q, 4*o - 104 = -2*d. Suppose 5*w = 115 + d. Is w a multiple of 11?
True
Suppose 1675 + 1037 = 2*s + 2*k, 2*k + 2736 = 2*s. Is s a multiple of 6?
True
Suppose 5*m + 527 = 107. Let w(k) = -k - 18. Let f be w(-4). Is (57/2)/(f/m) a multiple of 17?
False
Let x(n) = -6*n - 14. Let v be x(-3). Let f be v*(4 + -4 - 3/(-4)). Suppose p = 3*h + 29, -8*h + 225 = 5*p - f*h. Is p a multiple of 16?
False
Suppose 11*p = 52041 + 30789. Is p a multiple of 6?
True
Let m(y) = 2*y. Let w(f) = 4*f - 1. Let n(z) = 5*m(z) - 2*w(z). Let i be n(-1). Suppose i = k - 40 + 2. Does 19 divide k?
True
Is (-23030)/188*282/(0 - 3) a multiple of 7?
True
Let u(p) be the second derivative of p**3 + 11*p**2 + 18*p. Let b be u(-9). Is (-6*44/b)/((-3)/(-8)) a multiple of 11?
True
Let l = -658 - -665. Does 39 divide ((l - 1708) + 3)/(-2)?
False
Let a(z) be the third derivative of -5/24*z**4 + 0*z - 14*z**2 + 0 + 29/6*z**3. Is 29 a factor of a(0)?
True
Let y = 43217 - -11163. Does 330 divide y?
False
Suppose -186 = -3*f - 3*c, -f + 3*c + 74 = -2*c. Suppose 2*k = 3*l - 0*l + f, k - 5*l - 25 = 0. Is 7 a factor of (8/5 + (-3)/5)*k?
True
Let a = -368 - -361. Let k(v) = 6*v**2 - 16*v. Does 14 divide k(a)?
True
Suppose -h + 5*z = -18, 3*z = 5*h - z - 27. Suppose 12*j = 15*j + 3*l - 540, -h*j = -4*l - 526. Is 28 a factor of j?
False
Let u(y) = -y**2 - 24*y - 7. Let f be u(-15). Let t = -92 + f. Does 3 divide t?
True
Let n(w) = 2*w**3 + 2*w**2 - 5*w - 9. Let g be n(-4). Let t = g + 89. Suppose -148 = -2*j + t*y, 0 = j + y - 90 + 22. Is 7 a factor of j?
True
Let p(y) = 2*y - 6*y + 3 + 6*y**2 - 2 - 3. Let l be p(-4). Is 33 a factor of (l/25)/((-2)/(-30))?
True
Suppose 0 = 83*v - 90*v + 609. Is 39179/v + 14/(-6) a multiple of 28?
True
Let m = -85 - -76. Let g(n) = 3*n**2 + n + 41. Is 35 a factor of g(m)?
False
Is 27 a factor of 216/(-162)*(-1 - 895*5)?
False
Let k(f) = f**3 + 14*f**2 - 15*f + 7. Let x be k(-15). Suppose -6 - 8 = -x*z. Let u(t) = 5*t**3 + 2*t**2 + 5*t - 2. Is u(z) a multiple of 7?
True
Suppose 0 = 3*h, 0 = -6*x + 2*x - 3*h - 212. Let v = x + 63. Is (-50)/(4 - 45/v) a multiple of 25?
True
Let p(t) = t**3 - 2*t + 2. Let n be p(1). Let d be (4/24)/(n/4)*6. Suppose -2*b - 37 = -5*b - d*l, -5*b - l = -73. Does 15 divide b?
True
Let o = 91 - 85. Suppose -o*p + 0 = -24. Let t(r) = r**3 - 6*r. Is t(p) a multiple of 10?
True
Let o = 125 + -169. Let f = 0 - o. Does 11 divide f?
True
Let l(s) = 186*s**2 + 62*s + 118. Does 7 divide l(-2)?
False
Let x(r) = 142*r**2 + 6*r - 9. Let n be x(2). Suppose -3*v + 176 + n = 0. Suppose -136 = -5*d + v. Is 7 a factor of d?
True
Suppose -207*u + 329*u - 268034 = 0. Does 9 divide u?
False
Let n = -37775 + 74902. Is n a multiple of 34?
False
Let w = 2060 + 922. Suppose 9*a = w - 3. Let j = a + -149. Is j a multiple of 26?
True
Let a be 150/36 - 4 - 1/6. Is 279 + 9 + a + -8 a multiple of 40?
True
Let k(c) = 250*c + 2. Let m be k(2). Suppose 3*o + 175 = 5*b - m, 2*b = o + 225. Let l = -143 - o. Does 43 divide l?
True
Let v(a) = 4*a**2 - 25*a + 38. Let c be v(5). Suppose 4918 = c*s - 828. Does 13 divide s?
True
Let p be 12/21 + (-16)/28. Suppose -t - 21 + 23 = p. Suppose -3*k + 107 = -t*k - h, k - 97 = -h. Does 25 divide k?
False
Let d(u) = 3*u**2 + 16*u + 25. Let h be d(-3). Suppose 4*r - h*t = 1188, 5*t = r + t - 300. Is r a multiple of 8?
True
Suppose -573000 = -222*a + 122*a. Is a a multiple of 191?
True
Suppose 0 = 3*a + 2*n - 26488, -11*a - 35312 = -15*a - 4*n. Is 48 a factor of a?
True
Does 22 divide (-1 - -1) + (-582120)/(-63)?
True
Suppose 0 = -67*i + 75*i - 1128. Suppose 2*v - 6 - i = 3*w, -2*w = -6. Is v a multiple of 5?
False
Let p(a) = 30*a**2 + 5*a + 709. Does 125 divide p(-22)?
False
Let b = -581 - -590. Let k = 339 - 139. Suppose -b*v + k = -v. Is v a multiple of 7?
False
Let d(v) = -2*v**3 - 9*v**2 - 8*v + 55. Let k be d(6). Let x = -520 - k. Is 14 a factor of x?
False
Suppose 25*m + 59 + 1316 = 0. Let y = 375 + m. Does 32 divide y?
True
Let w(p) be the first derivative of 11/4*p**4 - 4/3*p**3 + 6 - 2*p + 2*p**2. Is 11 a factor of w(2)?
False
Does 13 divide ((22086/10)/(-3))/(1101/(-12845))?
False
Suppose -8*z - 6*z = -5250. Let i(w) = -w**3 - 9*w**2 - 10*w + 5. Let h be i(-8). Suppose 26*r - h*r = z. Is r a multiple of 16?
False
Suppose -5*w = -8*z - 50684, 40522 = 4*w - 19*z + 21*z. Is 68 a factor of w?
True
Let j(b) = 2*b - 14. Let p be j(7). Suppose -2*v - 2*h + 2 = -p*v, -3*v - h - 3 = 0. Does 10 divide ((0 - v)*-6)/(6/(-8))?
False
Suppose j = 4*i - 2756, -2*i - j + 1336 + 48 = 0. Suppose i = s + 4*s. Suppose 2*q + 5*l = 128, -2*q = -3*l - s - 6. Is 5 a factor of q?
False
Suppose -2*j - 14 = -9*j. Let n = 5 + j. Suppose w + 1188 = n*w. Does 51 divide w?
False
Suppose -3*k = -y - 23, 2*k + 0*k - 3*y = 20. Let m be 8/10 - 84/(-20). Suppose -k*x + 126 = -m*x. Does 10 divide x?
False
Let g be 528/9 + 1/(-6)*-2. Let n = g + -67. Does 4 divide ((-3)/6 + -3)*n?
True
Suppose 39*v - 51*v = -3912. Suppose -o + 3*d = -5*o + v, 3*o - 5*d - 230 = 0. Does 10 divide o?
True
Let i = -30 + 37. Suppose x = 5*t + 27, -3*t = -i*x + 2*x + 25. Suppose -84 = -4*k + x*k. Is k a multiple of 33?
False
Suppose 542997 = 122*j - 59*j. Does 39 divide j?
True
Let y = 6 + -4. Suppose -2*q = 5*c - 264, -y = 2*c - c. Suppose -2*r + q = -z, -5*r - 3*z = -3*r - 125. Is r a multiple of 26?
False
Suppose -3*c + 12 = 0, y - 5*y + 3*c = -676. Suppose -108*l + 107*l = -y. Is l a multiple of 8?
False
Suppose 4*n - 27*f = -26*f + 64188, -5*f = -4*n + 64204. Is n a multiple of 71?
True
Suppose -12*o = -24 - 0. Suppose 3*p = -o*h + 43, 17 = 3*p + 4*h - 18. Is 2 a factor of p?
False
Let d be 5/4 - (-15345)/44. Suppose 15*c - 760 = d. Is c a multiple of 4?
False
Let a = 3 - 1. Let p(y) be the second derivative of 2*y**4/3 - y**3/3 + 4*y**2 - 6*y. Is p(a) a multiple of 9?
True
Let f be 5*(-4)/(-10)*(-2805)/10. Does 42 divide (8/12)/((-1)/f)?
False
Suppose 5*f + 223 - 547 = t, 4*t = 4*f - 1248. Let u = -81 - t. Is u a multiple of 8?
False
Suppose -g + 15 = 3*d - 5*d, -5*d - 3*g = 21. Suppose 5*o = 6*o + 3*n - 1074, 3*o - 2*n = 3266. Does 25 divide o/(-18)*d/(-4)*-2?
False
Suppose 17930 = 5*o + 5*v, 2*o + 5*v - 7172 = v. Is 22 a factor of o?
True
Suppose 0 = 7*r - 1587 - 1171. Let t = r - -590. Is t a multiple of 26?
False
Let w be 231 + (-7)/((-14)/(-8)). Let c = -89 + w. Suppose -14 - c = -4*x. Is 19 a factor of x?
True
Suppose -4*n = -2*i - 10, -2*i + 5*i + 31 = -2*n. Let d(y) = 20 - 4*y - 21 + 20. Is 22 a factor of d(i)?
False
Suppose j + 4 = 0, 58*j - 55*j - 6372 = -s. Does 12 divide s?
True
Suppose -5*m - 565 = -10*m. Suppose -3*q + m = -z, -z - 16 = -5*z. Let a = q + -12. Is 9 a factor of a?
True
Suppose 39*u = 71*u - 151968. Is u a multiple of 13?
False
Let z = 900 + -906. Let v(d) = -234*d - 364. Is 65 a factor of v(z)?
True
Suppose 2*q + 435 = 5*t, -t + 4*t - q - 262 = 0. Suppose -4*w = 5*j - 30 - t, 0 = 2*w + 3*j - 59. Does 31 divide w?
True
Let h = -50 - -53. Suppose 0*x - 105 = -h*x. Is x a multiple of 2?
False
Let g(x) = -x**2 + 18*x + 23. Suppose 4*n - 4*w = 60, 