ltiple of 86?
True
Let m(y) = -13*y**2 + 36*y + 43. Let f(i) = 4*i**2 - i - 1. Let a(b) = 3*f(b) + m(b). Does 12 divide a(29)?
True
Let i(o) = -10*o**2 - 14*o - 14. Let u(v) = 9*v**2 + 16*v + 13. Let w(h) = -5*i(h) - 4*u(h). Does 3 divide w(-4)?
False
Let q(f) be the third derivative of 7*f**5/30 - 17*f**4/8 - 7*f**3/3 - 116*f**2 + 2*f. Is 16 a factor of q(6)?
False
Let d be (63/35)/(-6*(-3)/60). Let l be (1 - 3) + (d - 7). Is 388/l*30/(-20) a multiple of 22?
False
Let m = 7 + -5. Suppose 2*n - 10 = 0, -4*h - 2*n = -m*h + 358. Let k = -99 - h. Is k a multiple of 18?
False
Is 20 a factor of ((-20)/3)/(-5) - (2 + 293710/(-15))?
True
Let m(j) = -25*j**2 + 6*j - 12. Let k be m(4). Let x = -276 - k. Is 14 a factor of x?
True
Let t(f) be the first derivative of -f**4/4 + 3*f**3 + 5*f**2 + 3*f + 10. Let v be t(10). Suppose 0 = -k + v*u + 10, 2*k = 3*k + 5*u - 10. Is 10 a factor of k?
True
Suppose 2*c = -y + 13, 0*y + 2*c = 4*y - 42. Suppose -2*g - 3*k = -y, -2*g = -0*k - 2*k - 6. Suppose d - g*o - 37 = 0, 8 = 5*d + 3*o - 62. Does 9 divide d?
False
Let w = -157 + 47. Let y = w - -104. Is (-26)/(-4)*y*(0 + -4) a multiple of 26?
True
Is 7321 + (6/5)/(84/(-140)) a multiple of 14?
False
Let y be (24/(-15))/((-15)/50*(-16)/(-12)). Let b = 4 + 3. Suppose -b*x + 384 = -y*x. Is 16 a factor of x?
True
Let f = -190 - -198. Suppose -3136 - 760 = -f*w. Is 21 a factor of w?
False
Suppose j - 2052 = 21*x - 17*x, -5*j = 2*x - 10260. Is j a multiple of 12?
True
Suppose -5*i = -5*d + 285, 2*i - 11 = -5. Suppose -s + 63 = d. Suppose 4*c - 627 = -3*o, s*c = 4*o - 2*c - 805. Does 41 divide o?
True
Let j = -54 - -59. Suppose j*x - 3*v - 345 = 2*x, -579 = -5*x + 4*v. Let g = x + -98. Is 2 a factor of g?
False
Let q = 276 + -142. Let m = -223 - q. Let o = -175 - m. Is 13 a factor of o?
True
Suppose -2*b + 5155 = -3*o, -6*o + 7731 = 3*b - 9*o. Does 8 divide b?
True
Suppose 211 = 2*i + 85. Suppose i*q - 11*q - 10036 = 0. Is 10 a factor of q?
False
Suppose 107*j - 109*j = -14, a = j + 2242. Is a a multiple of 13?
True
Let b(j) = -15*j**3 - 46*j**2 - 102*j + 16. Is 21 a factor of b(-13)?
True
Let l be 4 - (3 + -2 - -3978). Does 43 divide l/(-45)*4/(-8)*-6?
False
Suppose 0 = -20*i + 19*i + 5. Suppose 0 = -i*f - 0*f + 20. Suppose -z - 4 = -f*o, -3*z + z = 5*o - 18. Is 4 a factor of z?
True
Suppose r = 5*x + 15 - 4, -5*x = -2*r + 12. Let f(c) = 11*c**2 + c + 1. Let b be f(x). Suppose -v = -b - 50. Is 17 a factor of v?
False
Suppose 110*o + 2 = 2*h + 107*o, 0 = -5*h + 2*o + 27. Let d(c) = -3*c**2 + c - 1. Let f be d(1). Is 2 a factor of -18*(h/(-2) - f)?
False
Suppose 59*a = 775802 + 933646 - 115917. Is a a multiple of 314?
False
Let f = 8139 - -5014. Is f a multiple of 118?
False
Let b(y) = -7*y**3 - 79*y**2 + 85*y - 32. Is 38 a factor of b(-20)?
False
Let h = 8368 + -2734. Is 18 a factor of h?
True
Suppose -2*j + 17*f - 14*f + 1923 = 0, 2*j - 5*f - 1933 = 0. Does 6 divide j?
True
Let i = 613 - 401. Suppose -42*x + 2597 = 112*x + 21847. Let g = x + i. Is 27 a factor of g?
False
Let z = 173 + -129. Let m be z/24 + 4/24. Does 15 divide (1 - -179)/(-6)*(-3)/m?
True
Let f(g) = 15*g**2 + 10*g + 352. Does 34 divide f(-18)?
True
Is 20 a factor of (-18)/8 - (-2076255)/172?
False
Let k(l) = 4*l**2 - 73*l + 10076. Does 43 divide k(0)?
False
Suppose 109221 = 300*q - 38979. Is 3 a factor of q?
False
Let c = -2519 + 3735. Is c a multiple of 16?
True
Suppose 0 = 42*w - 8367 - 182355. Does 19 divide w?
True
Let b(n) = 86*n**2 - 10*n + 17. Let v be b(2). Let o = v - 185. Is 13 a factor of o?
True
Let c(b) = b**3 - 5*b**2 + 4*b + 5. Let n be c(4). Suppose -n*x + 20 = -0*x. Suppose 7*f - 396 = x*f. Does 12 divide f?
True
Is 11 a factor of 719 - (-4 - -13 - 2)?
False
Suppose -4*q + 1 = -3*w - 0*q, -1 = -2*w + q. Suppose -4*i + 7 = -w. Suppose 67 = i*c + n - 1, 3*c + n = 100. Does 4 divide c?
True
Let d = -17150 - -25881. Does 28 divide d?
False
Let a(q) = 2*q + 128. Let d be 20332/850 + 2/25. Does 30 divide a(d)?
False
Let w = 446 + -268. Suppose -5*f + p - 6*p + 185 = 0, 0 = -4*f + 2*p + w. Is f a multiple of 6?
True
Let q be (16/14)/((-16)/(-56) + 0). Is 17 a factor of 144 - (1 - q - 0)?
False
Let y(n) = 516*n + 16178. Does 31 divide y(0)?
False
Let k = 380 + -378. Suppose -k*x = -5*f + 963, -f = 2*f - 5*x - 574. Is 22 a factor of f?
False
Is (192/(-132))/8*-101827 a multiple of 86?
False
Suppose -2*v + 73316 - 27004 = -5*i, -5*v + 115780 = -4*i. Does 4 divide v?
True
Suppose 6*z + 208 = -272. Let t be (12/10)/(8*(-4)/z). Suppose t*p - 407 = -8*p. Is p a multiple of 10?
False
Suppose 20718 = 9*g - 0*g. Let p = g - 1522. Does 26 divide (1*p)/(-6)*2/(-5)?
True
Let s(j) = -156*j + 5149. Is 5 a factor of s(7)?
False
Let c(a) = -a**2 + 106*a + 3562. Is 18 a factor of c(91)?
False
Let a(v) = 17*v**2 - 9*v - 6. Let o be a(-6). Let t(c) = -c**2 - 7*c + 16. Let r be t(2). Does 9 divide o/8 + 3/r?
True
Suppose 50 = 9*p + 16*p. Suppose -2*a = -2, -p*r - r - 4*a + 1780 = 0. Is 16 a factor of r?
True
Let x = 811 - 1517. Let s = -227 - x. Does 16 divide s?
False
Let o = 31640 - 26026. Does 7 divide o?
True
Suppose 2*v + 14 = 5*b, 3*v = 3*b + 6*v. Suppose 19*p - 16317 = -b*p. Is p a multiple of 38?
False
Suppose -2*p + 4*o + 12668 = 0, p + 64*o - 6411 = 55*o. Is p a multiple of 6?
True
Let s = 27143 + -17757. Is s a multiple of 41?
False
Let u be (1 + (-25)/5)*(-119)/4. Suppose -w - u = 677. Does 20 divide (w/(-7) - 0) + (-2)/(-7)?
False
Let l be (0/2 + 1)/((-2)/(-12)). Let f(m) = -m + 6. Let g be f(l). Let b = 40 - g. Does 12 divide b?
False
Suppose -u - 5 = -3*j, 3*j + u + 2*u = 9. Suppose 0 = j*x + 8, t - 5*t = -3*x + 92. Let a = 61 + t. Is a a multiple of 13?
False
Suppose -2*i + 102 + 654 = 12*i. Is i a multiple of 27?
True
Let m(r) = -9*r**3 + 2*r**2 - 21*r - 402. Is m(-16) a multiple of 93?
False
Let h = -279 - -183. Let j = h + 296. Is 3 a factor of j?
False
Let h be 9 - 10/2 - 2*2. Suppose 4*m - 432 - 112 = h. Is 4 a factor of m?
True
Suppose 3*g - 1650 = -4*m + 2881, 4 = m. Is g a multiple of 21?
False
Suppose 0 = -3*f + 4 - 4. Suppose 2*d + 0*d = f. Suppose d = -5*x, 4*j - 3*x = -j + 430. Is 20 a factor of j?
False
Let f = 16746 - 13149. Does 33 divide f?
True
Let n(t) = 25*t + 9. Let s be n(22). Let r = 278 - s. Let q = -182 - r. Is q a multiple of 9?
True
Suppose 65*k = -45*k + 1350569 - 401819. Is k a multiple of 107?
False
Suppose -3*i = 4*x - 97, i + 3*x = -0*i + 24. Let j = i + -34. Is 7 a factor of ((-4)/(-6))/(j/225)?
False
Let g be 856/10 + 6/15. Let u = g - 77. Suppose u*i + 108 = 10*i. Does 27 divide i?
True
Let s = 41 + -33. Suppose 0 = -s*b + 142 + 2. Is b a multiple of 6?
True
Suppose -25*f = 15*f + 19*f - 898216. Is 26 a factor of f?
False
Let x be (4 - -7)/(2/106). Suppose -23 = -u + 4*t, 0 = 5*u - 0*t - t - 77. Suppose -u*n = -4*n - x. Is 11 a factor of n?
False
Suppose 13*z - 5951 = 84709 + 80836. Is z a multiple of 3?
False
Let w = 332 - 819. Let s = 685 + w. Does 33 divide s?
True
Let d(k) = 11*k + 9. Let f be d(-1). Let y(h) = h**2 + h + 3. Let z be y(-3). Let m = z + f. Does 7 divide m?
True
Suppose -73*b + 78*b + 2895 = 0. Let h = -561 - b. Is h even?
True
Let l(b) be the second derivative of -b**4/4 + 3*b**3/2 - 6*b**2 - 2*b + 2. Let c be l(2). Is 3/(15/1382) + c/15 a multiple of 12?
True
Suppose -645*m + 442*m + 86072 = 0. Is m a multiple of 2?
True
Let p = -44 - -644. Suppose 5*q + 3*w + p = 1491, -2*w - 173 = -q. Suppose 87 = 8*d - q. Does 33 divide d?
True
Let d = -1229 + 125. Let o = -663 - d. Suppose 0 = -12*r + 5*r + o. Does 20 divide r?
False
Let m be 4*(-49)/28*-5. Let s(f) = -f**3 + 37*f**2 - 41*f - 64. Is 20 a factor of s(m)?
False
Suppose -71506 = 80*p - 84*p - 3*k, 3*k = p - 17854. Does 16 divide p?
True
Is 4 a factor of 1485/120 + -12 - (-28714)/16?
False
Let o = -2099 - -3926. Does 9 divide o?
True
Suppose -46 + 30 = -4*v. Suppose 0 = -4*l - 3*o + 764, -l - v*l = -5*o - 920. Is 35 a factor of l?
False
Suppose 0 = -x - 13 + 55. Let j be ((-4)/(-6))/(7/x). Suppose 90 = -2*f + 3*f + 2*p, -96 = -f - j*p. Does 12 divide f?
True
Let g(r) = r**2 + 22*r + 11. Let f be g(-21). Is (-760)/f*6/16*22 a multiple of 33?
True
Suppose 0 = 13*c - 39 - 26. Suppose 3*p + 2*w - 7*w = 0, -2*p + c*w = 0. Suppose -m = -p*m + 2*u - 16, 5*u = 0. Is 3 a factor of m?
False
Let y(v) = 1