8)/(-10)*-2. Suppose 0 = -4*w - 2*d + 7*d + 25, -4*w - 2*d = -k. Is w a multiple of 4?
False
Suppose -54*f - 360058 + 1758308 = -4*f. Is f a multiple of 85?
True
Let u(c) = -2*c**3 - 15*c**2 + 46*c + 45. Is 4 a factor of u(-15)?
False
Let i be 1/(-5) + 444/20. Suppose 7*x + 72 = 30. Let q = x + i. Is q a multiple of 8?
True
Let d(s) be the second derivative of -s**3/3 - 9*s**2/2 + 3*s. Let g be d(-6). Suppose -u - 4*z + 44 = 0, g*u + z = 166 - 34. Is 22 a factor of u?
True
Suppose -24992 = -10*z + 8*z + 5*m, -12481 = -z - 5*m. Does 4 divide z?
False
Let c = -28 + -50. Let a be (-5 + -6 + 4)*c/7. Suppose -a = -4*x - 14. Is 9 a factor of x?
False
Suppose 4*n + 3*p = 68, -4*n + 70 - 2 = 2*p. Let c be (1/3)/(n/153). Suppose 2*b - b - 64 = -4*y, -c*y = -5*b + 366. Does 18 divide b?
True
Let x = -8481 + 12733. Is 15 a factor of x?
False
Let r = -9850 + 12309. Does 13 divide r?
False
Let a(g) = 14*g**2 - 14*g + 6. Let j be a(-6). Is 29 a factor of j/12*48/9?
False
Suppose -2*r + 12051 + 263 - 2090 = 0. Does 12 divide r?
True
Let s(o) = 24*o**3 - 4*o**2. Suppose -2*z + 6 = -5*q - 10, 4*z = -q + 10. Let k be s(z). Suppose 3*y = -6*y + k. Does 17 divide y?
True
Suppose 2*u = j + 34, -3*j = 2*u - 7*u + 84. Let b be (-8)/(-2)*9/u. Is 23 a factor of (-3688)/(-40) - b/10?
True
Let o(j) = j**2 + 47*j + 4275. Is o(0) a multiple of 25?
True
Suppose 2*h = 8*k - 3*h - 25137, 3*h - 9 = 0. Does 58 divide k?
False
Let o be ((-200)/70)/10 + 5/(-7). Does 10 divide ((-6)/(-21) - 2810/35)/o?
True
Let v = -4056 - -5977. Suppose -12*j + v = -3203. Suppose -10*c + 17*c - j = 0. Does 5 divide c?
False
Let m be (-1)/2 + (-27)/(-6). Let j = 8307 - 8305. Suppose -3*n - 111 = -m*n - r, j*n + r - 223 = 0. Is n a multiple of 56?
True
Does 57 divide 1/(-3) + -8*(-42486)/144?
False
Let r be (0 + 7)/((-2)/(-4)). Let o(u) be the first derivative of u**3/3 - 28*u + 6. Does 24 divide o(r)?
True
Let o = -9137 + 27700. Is 121 a factor of o?
False
Let n(s) = -s**3 + 7*s**2 + 10*s - 11. Let h be n(8). Let q(c) = 23*c**2 - 4*c + 10. Does 32 divide q(h)?
False
Let u(c) = -2*c**2 + 10*c + 15. Let m be u(6). Suppose 5*q - 855 = -m*n, 2*n + 2*q - 388 = 178. Is n a multiple of 28?
True
Let j be (88/24)/(5/9360). Suppose 3*d - 15*d = -j. Does 13 divide d?
True
Let h(v) = v**2 + 9*v - 32. Let i be h(-11). Let b = -16 - i. Does 8 divide 242/4 - (b/(-4) - 2)?
False
Let a be (1 + 88)*(-3)/3. Let t = a - -51. Let x = t + 62. Is 4 a factor of x?
True
Suppose q + 2*g - 49 = 0, -4*g + 0 = -4. Suppose 2*v - 20 = n + q, -v = -3*n - 31. Does 12 divide v?
False
Let h be (-230)/70 + -2 - (-4)/14. Is 18 a factor of ((-27)/h)/((-99)/(-660))?
True
Let g = 26228 + 15628. Is g a multiple of 54?
False
Suppose n + 22 = 5*s, -2*n - 2*n - 2*s = 0. Does 4 divide (n/1)/((-3)/156)?
True
Let w be ((-7)/(-4))/((-1)/(-12)). Let y be ((-6)/5)/(16/(-440)). Let c = y - w. Is 3 a factor of c?
True
Suppose -6*r = -3*r - 9, 2879 = -2*f + 5*r. Let s = -974 - f. Does 32 divide s?
False
Suppose -205441 = -3*p - q, 0 = -2*p - q + 72860 + 64101. Is 16 a factor of p?
True
Let q = 6156 + -1169. Is 5 a factor of q?
False
Suppose -30*g + 29*g = 54. Let c be (g/15)/((-10)/(-25)). Does 8 divide (-2)/c - 7106/(-99)?
True
Does 10 divide ((5820/25)/(-6))/((-4)/200)?
True
Suppose 0 = 3*q - 59 - 94. Let j = q + -16. Suppose 97 = 2*v + j. Is 11 a factor of v?
False
Let a(r) be the first derivative of -r**3/2 + 7*r**2 - 10*r - 11. Let j(q) be the first derivative of a(q). Is j(-10) a multiple of 11?
True
Let x(p) = 1956*p**2 - 2*p - 3. Let s be x(-1). Suppose -4*b + 3895 = -46*g + 41*g, s = 2*b - 5*g. Is b a multiple of 10?
True
Let f be 8/(-12) + (-24)/(-9). Suppose 3*z = -3*d - 183, -3*d - 4*z - 181 = -f*z. Is 21 a factor of (d/(-5))/(11/55)?
False
Let b(p) = -p + 14. Let f = 21 + -12. Let o be b(f). Is ((-275)/15)/o*-9 a multiple of 5?
False
Let g(d) = d**2 - 18*d + 21. Let h be g(17). Let s(o) = 3*o**2 + 9*o - 12. Is 4 a factor of s(h)?
True
Let r = 69268 + 12020. Is r a multiple of 18?
True
Suppose -6*z + 18 = -4*z. Let v(a) = 25*a**2 + 13*a - 27. Let g(f) = 12*f**2 + 6*f - 14. Let i(h) = z*g(h) - 4*v(h). Does 12 divide i(3)?
True
Suppose -1394 = -5*m + u, -5*m - 3*u + 1397 = -u. Let a = -197 + m. Is 7 a factor of a?
False
Let d(x) = 17*x**2 - 13*x + 28. Let n be d(2). Suppose 64*h + 4308 = n*h. Does 25 divide h?
False
Let s = -42775 + 55730. Is 12 a factor of s?
False
Suppose 5*z = -a - 2*a + 11, 0 = 2*a + 4*z - 6. Let k(w) = -20*w - 18. Let r be k(-2). Let d = r + a. Does 11 divide d?
False
Suppose -3*w = 5*u - w - 654, -5*w + 10 = 0. Suppose -u = a - 238. Is a a multiple of 54?
True
Suppose -m + 858*k + 16324 = 854*k, -3*m - k = -49011. Is m a multiple of 40?
False
Let n(z) = z**2 - 29*z - 86. Let q be n(-22). Suppose -148 = 2*h - q. Does 74 divide h?
True
Is 13 a factor of 25308/(-6)*637/(-147)?
True
Suppose 60*s + 169939 - 927379 = 0. Is s a multiple of 53?
False
Suppose 0 = 37*m - 61 - 13. Suppose 5*j + a - 3776 = 0, -3*j + a = m*a - 2264. Does 63 divide j?
True
Suppose 2*v + 4*v = -1033 + 16537. Is 76 a factor of v?
True
Let d be (-69)/(-6)*1/(1/(-2)). Let m = 23 + d. Suppose -2*t + 38 - 20 = m. Is t a multiple of 9?
True
Is 44284 - 7 - (962/(-130) + 6/(-10)) a multiple of 17?
True
Let l = 93049 + -30957. Is 172 a factor of l?
True
Let k(u) = -1009*u + 46690. Is k(0) a multiple of 21?
False
Let b = 4094 - 4123. Let p(y) = 4*y + 3. Let f be p(-2). Is (b/(-4))/(f/240*-3) a multiple of 29?
True
Let o(y) = -431*y + 1911. Is o(-7) a multiple of 14?
True
Suppose 23*y - 217 = -10. Suppose y*q - 469 = 332. Does 11 divide q?
False
Let d(b) be the third derivative of -b**6/60 - 7*b**5/60 - b**4/6 - b**3/2 - 5*b**2. Let g(h) = -8*h - 101. Let n be g(-12). Does 8 divide d(n)?
False
Let k = -385 - -411. Suppose 0 = -l + 5*p + 28 + k, -4*l - p = -195. Does 8 divide l?
False
Let v(u) be the second derivative of 0 + 11/12*u**4 + 26*u + 1/20*u**5 + 17/6*u**3 + 1/2*u**2. Does 11 divide v(-7)?
False
Suppose 3*n = -9, -1753*r - 6 = -1752*r + 2*n. Suppose -b + 3 = -1. Suppose b*j - 475 = -r*z - 5*z, 0 = 3*j - 5*z - 365. Is 12 a factor of j?
True
Let t(n) = -89*n + 46. Suppose 49*r - 15 = 52*r. Is 21 a factor of t(r)?
False
Suppose 1266 = 3*m + 498*q - 503*q, 0 = -2*m + 2*q + 848. Is m a multiple of 88?
False
Let z = -158 - -111. Let d = 281 + z. Is d a multiple of 6?
True
Let o(d) be the first derivative of 56*d**3 - 9*d**2/2 + 16*d + 159. Is 60 a factor of o(2)?
False
Let f(x) = -7*x**2 + 3*x + 3. Let i(r) = 15*r**2 - 6*r - 5. Let m(c) = -13*f(c) - 6*i(c). Let h be m(-7). Suppose -h - 3 = -w. Is w a multiple of 16?
True
Let t(m) = -5*m + 23. Let v(j) = 2*j - 12. Let w(i) = 6*t(i) + 14*v(i). Let z be w(-15). Suppose z = -3*n - 25 + 43. Is 6 a factor of n?
True
Let a = -166 - 8. Let y = 194 + a. Is 20 a factor of y?
True
Let q = -44 - -94. Let o = -74 + q. Is o/(7/(-9) - 4/18) a multiple of 6?
True
Let v(w) = -w**3 - 2*w + 6. Let j(g) = -g**2 - 10*g. Let s be j(-10). Let m be v(s). Let t(f) = -f**3 + 6*f**2 + 3*f - 1. Is t(m) a multiple of 17?
True
Let y = 12 + -4. Suppose 0 = y*v + 9 - 41. Suppose -8 = -v*s, -4*s + 1 = -3*q + 11. Does 2 divide q?
True
Let z(s) = 9*s + 45. Let x(k) = -k**3 - 10*k**2 - 7*k + 13. Let w be x(-9). Let q be z(w). Is 37 a factor of 114 + q + (-10 - 1 - -8)?
True
Suppose -2*o + 2 = n - 4*n, -o + 1 = -3*n. Suppose n = 7*p + 30*p - 8695. Is p a multiple of 43?
False
Let q(u) = u**2 - 2*u - 8. Let c be q(6). Suppose -10*z = -11*z + 42. Let d = z - c. Is 17 a factor of d?
False
Let q(y) = 141*y - 31. Is q(17) a multiple of 7?
True
Let a(b) = 28*b**2 + 5*b - 8. Let v be 46/11 - -7*(-12)/462. Is a(v) a multiple of 46?
True
Let b = 3414 + -18. Does 21 divide b?
False
Let l(s) = -41*s**3. Suppose 0 = 12*c - 7*c - 10. Suppose 0 = c*d + 4*w - 6, -2*d + 2*w + 2 = 4*w. Does 12 divide l(d)?
False
Suppose 3*h - 755 - 805 = 0. Let v(b) = -b + 4. Let g be v(-17). Suppose -g*r + h = -16*r. Is 11 a factor of r?
False
Suppose -32*s - 192850 = -27*s. Let x = s + 26880. Does 17 divide (-2)/7 - x/98?
True
Does 23 divide (2 + 1242/8)/(32/8192)?
False
Let b = -361 - -1406. Suppose -627 = -6*i + 3*i - 2*u, -b = -5*i + 5*u. Does 19 divide i?
True
Let u = -44 - -35. Does 38 divide 58797/90 - u/(-30)?
False
Let m = -8246 - -23959. Does 19 divide m?
Tru