96))?
True
Let w(s) = 168*s - 5595. Is 95 a factor of w(35)?
True
Suppose 2*o = -5*j + 24865, j - 5726 + 760 = o. Does 27 divide j?
False
Let m(g) = -199*g - 79. Let b be m(-3). Let v = -230 + b. Is v a multiple of 36?
True
Suppose 2*d - 4835 = -5*z - 3*d, -5*z - 4*d + 4838 = 0. Suppose -2900 - z = -18*v. Is 32 a factor of v?
False
Let v be (-8)/28 + (-2)/(-7). Suppose 0 = -p - 1, 4*p = k - v*k + 18. Is k/77 + (-424)/(-14) a multiple of 10?
True
Suppose 148882 + 4717 = 52*u - 426877. Is 50 a factor of u?
False
Let i be ((-34)/119)/(1/(-7)). Suppose -2*m = -i*u + 174, u = 4*m - 0*m + 90. Does 21 divide u?
False
Suppose -3*u + 1 = -35. Suppose u*m = 14*m + 662. Let p = -73 - m. Does 20 divide p?
False
Let v be (5 - 10)/((-1)/4) - -5. Let y = 153 - v. Is y a multiple of 16?
True
Let j = 64 + -56. Suppose -b + j = 3*b. Suppose -k + 300 = 3*s, 0 = b*s + 5*k - 10*k - 183. Is 16 a factor of s?
False
Let a(d) = 10*d**2 - 23*d + 710. Is a(18) a multiple of 16?
True
Suppose 0 = 9*b - 19007 + 7244. Suppose 2*t + 102 - 1409 = -a, 4*t - b = -a. Does 39 divide a?
False
Let h(a) = 6*a**3 + 21*a**2 + 17*a - 4. Is 19 a factor of h(13)?
True
Let b be (-7806)/39 - (-2)/13. Let n = b + 304. Does 52 divide n?
True
Suppose 65 + 6 = 3*w - 2*b, 4*w - 68 = -4*b. Let z(t) = -2*t**3 - 3*t**2 + 2*t + 3. Let y be z(-3). Suppose -y = -p + w. Is p a multiple of 8?
False
Let s be (-40)/(-15) + (-8)/3. Suppose s = -8*k + 5974 + 2962. Is 22 a factor of k?
False
Let c(o) = -317*o**3 - o**2 - o + 1. Let l be c(1). Let h = -122 - l. Suppose 4*m - 75 = -2*x + 1, h = 5*x + 4*m. Is x a multiple of 15?
False
Suppose -29*i = -3*i + 13494. Let l = i - -1039. Is l a multiple of 20?
True
Let j(x) = -5*x**3 - 2*x**2 + 9*x - 24. Let f be j(9). Is (3 - 26/6)*f/4 a multiple of 9?
False
Let l be 7 + (-6 - 4) + 1. Let w(q) = -30*q**3 + 10*q**2 + 8*q. Does 22 divide w(l)?
True
Suppose -17*a + 132 = -11*a. Suppose -18*u = -a*u + 64. Suppose -36 = -2*o - u. Is o a multiple of 5?
True
Let o(z) = z**3 + 9*z**2 + 6*z - 3. Let g be o(-6). Let s = g - -43. Suppose -2*r = -0*r - s. Is r a multiple of 14?
True
Suppose 0 = 3*q - 2*w - 490, -2*q - 3*q + 842 = 3*w. Let l = -98 + q. Is l a multiple of 10?
False
Let y(l) = -l**3 + 25*l**2 - 22*l - 25. Let m be y(24). Let s = 18 - m. Is 9 a factor of (1060/(-50))/(2/s)?
False
Let q = -46529 - -98922. Is 121 a factor of q?
True
Suppose 22*t - 27764 - 5654 = -0*t. Is t a multiple of 7?
True
Suppose 5*g = 20 + 95. Let t = g + -27. Is 23 a factor of 1/(t + 186/46)?
True
Let d(o) be the third derivative of o**5/60 + o**4/3 + 11*o**3/3 + 8*o**2. Let l be d(-12). Let c = -42 + l. Is c a multiple of 28?
True
Let g = -14209 - -26381. Does 58 divide g?
False
Let n(o) = 7*o**2 + 7. Let j = 418 + -415. Does 10 divide n(j)?
True
Let y = 589 + -217. Does 13 divide (1/(-2))/((-6)/y)?
False
Let l = -448 + 464. Is -12*((-17512)/l)/11 a multiple of 23?
False
Let l be (-52)/(-2)*(4/(-8) - 0). Let f(u) be the first derivative of u**2/2 + 27*u - 3. Is 11 a factor of f(l)?
False
Let g(s) = 36*s + 1. Let d be (8/6)/((-20)/(-15)). Suppose 2*w + d - 9 = 0. Is g(w) a multiple of 29?
True
Let u(f) = -f**3 + 4*f**2 + 19*f + 11. Let z(i) = 2*i**2 - 33*i + 51. Let h be z(15). Is 8 a factor of u(h)?
False
Let y(r) be the third derivative of -r**6/120 + 19*r**5/60 + r**4/12 - r**3/2 - 29*r**2. Let p be y(19). Suppose -4*m + p = -37. Is m a multiple of 18?
True
Let f = 6179 + -3149. Is 67 a factor of f?
False
Suppose 3*q = -h + 2273, 10*h - 4*q = 13*h - 6849. Is 29 a factor of h?
True
Let j be (4 - 8) + 3 + -1. Let v be ((-1449)/(-28))/(j/8). Let g = -47 - v. Is g a multiple of 40?
True
Suppose 0 = -236*v + 234*v. Suppose v = -3*u + 5*l + 584, 3*u - 2*l = 295 + 304. Does 29 divide u?
True
Let z be 54/(-9) + (-5)/(-1) - -4. Suppose -670 - 153 = -2*i + z*g, 5*i = -4*g + 2023. Is i a multiple of 14?
False
Suppose -219 = 9*z - 750. Suppose -3*u = -5*f + 502, 2*f - u + z = 260. Is 17 a factor of f?
False
Suppose -30 = f + 14*f. Let d be f + -3 + (-420)/(-6). Suppose 4*r = 5*v - 281 + 86, r - d = -2*v. Is v even?
False
Suppose -y - 18 = -20, 16354 = 3*b - 4*y. Is 37 a factor of b?
False
Suppose 3*v - 2*c = 674, -3*v + 3*c + 670 = 2*c. Suppose -384 = -f + v. Does 24 divide f?
False
Let w(r) be the third derivative of r**5/60 + 13*r**4/24 - 10*r**3/3 + 14*r**2. Let h be w(8). Let x = h - 52. Is 24 a factor of x?
True
Let k(q) = q**2 - q - 47. Let z be k(-7). Suppose -z*g - 1043 = -3689. Does 10 divide g?
False
Suppose -2*f = v - 0*f + 4, -4*f = -5*v + 36. Let l(j) = 3*j - 14. Let x be l(5). Suppose -5*o + 237 = 4*n, -x = -o - v. Is 20 a factor of n?
False
Let a(p) = 85*p - 27 - 26 + 36. Does 14 divide a(3)?
True
Suppose 25*w - 520579 = -18*w + 63490. Is w a multiple of 47?
True
Suppose -4*n = -11 - 5, 0 = -5*d + 3*n - 262. Let y = 362 + d. Does 15 divide y?
False
Let t(y) = -11*y**2 - 6*y - 31. Let b(n) = -2*n**2 - n - 5. Let x(r) = -34*b(r) + 6*t(r). Is 16 a factor of x(17)?
True
Let y be (-215)/(-129) + 2/6. Let t(z) = 102*z**2 - 4*z + 4. Does 20 divide t(y)?
False
Let u(f) = -8*f + 2*f**3 - f**3 + 2 - 8*f + 15*f. Let z be u(0). Suppose -2*w = b - 2*b - 30, 24 = z*w - 4*b. Is 8 a factor of w?
True
Suppose -r - 31 = 5*g, 4*r - 4*g + 20 - 16 = 0. Let c(f) = 1 - 9*f + 6 - 1. Is c(r) a multiple of 10?
True
Let k(s) = s**3 + 10*s**2 - 3*s - 10. Suppose -w + 0*w + 9 = 3*j, 0 = 4*j - 16. Let t be (4 - (3 - 2))*w. Does 14 divide k(t)?
True
Let q = 41 + 5. Let b be 1 + 90 + 1 - 3. Let a = b - q. Is 13 a factor of a?
False
Suppose -4*d + 5*d = 0, -4*t - d = -9772. Suppose -5*i + 2453 = 4*q, -t = -29*q + 25*q + 5*i. Is q a multiple of 9?
True
Let d = 21541 + -19605. Is 16 a factor of d?
True
Let n(l) = -9*l**2 + 364*l - 62. Does 18 divide n(36)?
False
Does 63 divide 217*(-5 + 550/11)?
True
Let t be (78/12)/(1/2). Suppose -2*h + 33 = t. Is (-56)/(-10) + 7/(175/h) a multiple of 6?
True
Let y(g) be the third derivative of g**5/30 - 7*g**4/12 + 67*g**3/6 - 2*g**2 - 143. Is y(22) a multiple of 58?
False
Let y(u) = -u**3 + 10*u**2 - 21*u - 8. Let g be y(8). Is 11 a factor of -7 + (-8)/(g/618)?
False
Let i(v) = v**3 - 30*v**2 + 51*v + 51. Is i(30) a multiple of 34?
False
Let d = -2339 + 11428. Is 110 a factor of d?
False
Suppose 0 = 3*l + 2*l - 110. Suppose l - 22 = -4*d. Suppose d*s + 3*a = -3*s + 27, 42 = 4*s + a. Is s a multiple of 3?
False
Suppose 2*v = b + 99742, -41*v + 42*v - 4*b = 49857. Is v a multiple of 171?
False
Let v = -13442 + 26337. Does 42 divide v?
False
Let s be 1*-78*615/82. Is (s/(-12) + 3)/(6/24) a multiple of 27?
False
Let y(h) be the first derivative of h**2/2 + 7*h - 26. Let g be y(-2). Suppose -4*u = -5*v - 255, -3*u + 6*u + g*v = 235. Is u a multiple of 7?
True
Let o be (-15334)/(-51) + 3/(18/(-4)). Suppose 6*p = -6*p + o. Does 4 divide p?
False
Let z(p) = p**2 + 5*p - 2. Let q be z(-6). Suppose -2 - q = -d. Let f(i) = 2*i**2 + 3*i + 14. Is 26 a factor of f(d)?
True
Suppose -49*y + 52*y = -6. Is 146/4 - 1/y a multiple of 5?
False
Let s(c) be the third derivative of -c**5/60 - 13*c**4/12 + 5*c**3/6 - 41*c**2 + 1. Is s(-16) a multiple of 15?
True
Suppose -2*h = -12 + 30. Let g be h/9 - (-4 + -2). Suppose -x = g*x - 1320. Does 20 divide x?
True
Suppose 0 = 87*j - 494079 + 91530. Is 69 a factor of j?
False
Let j = 478 + -176. Suppose -5*p = -4*m - 356, -3*m + 0*m = 5*p + j. Let s = m + 202. Is 28 a factor of s?
False
Suppose 215928 = 37*c + 2660. Is c a multiple of 199?
False
Let d = 20444 - 16505. Is 101 a factor of d?
True
Is 3 a factor of (-16)/28 + (-66678)/(-42)?
True
Does 17 divide 6014 - (8 + -19) - 7?
True
Suppose -2*p - 985 = -s - 4399, 0 = -6*p - s + 10218. Is p a multiple of 71?
True
Let o = -29 + 34. Suppose 0 = -5*l - x + 615, x - 369 = -3*l - 3*x. Suppose -5*s - 4*j = -o*j - 149, -4*s + l = 3*j. Does 11 divide s?
False
Let h = -65 - -65. Suppose -o = -5*v + 8, h = -o + 2*v - v. Suppose -o*l + 83 + 25 = 0. Is 19 a factor of l?
False
Let h(y) = y**2 - y + 12. Let v be h(0). Suppose -c + 18 = -v. Let g = c + -7. Is 23 a factor of g?
True
Suppose -2*u + 3*u - 2988 = y, 5974 = 2*u - 3*y. Is 22 a factor of u?
False
Let x = 76 + -73. Suppose -4*o = x*h - 1487, 7*o - 4*h = 4*o + 1084. Suppose 4*u + d - 4*d = 370, 2*d + o = 4*u. Is 16 a factor of u?
False
Suppose -4*c + 32 + 192 = 0