 + 15*r. Is h(f) a multiple of 36?
True
Suppose 2*a - 29 = -9. Let i be (a/(-25))/(3 + (-48)/15). Suppose -x + 193 = 5*h, -h + 9 + 23 = -i*x. Is 38 a factor of h?
True
Let u be -3 - (6/21 - (-2304)/(-28)). Let k = u - 77. Suppose k*w - 46 = 152. Does 25 divide w?
False
Let x = 61 - 46. Let o be (-6)/9 + (-560)/x. Is ((-2)/(-2) - -35)*(-247)/o a multiple of 39?
True
Suppose 0 = -2*z - 10, 8*z = -4*x + 13*z + 35677. Does 12 divide x?
False
Let i(y) = -539*y - 2086. Is i(-10) a multiple of 8?
True
Suppose 52*o = -36*o + 73*o + 105930. Does 78 divide o?
False
Is 7 + (-8688)/36*-6 a multiple of 15?
True
Suppose 34*f - 7*f = 0. Suppose f = 15*s - 521 + 131. Is 13 a factor of s?
True
Let y(c) = c + 22. Let h(f) = 2*f - 3. Let u be h(2). Suppose 2*x + 4*p = -34 + 12, -x + p = -u. Does 19 divide y(x)?
True
Let m(c) be the third derivative of 0*c + 1/4*c**5 + 2/3*c**3 + 0 - 1/24*c**4 + 1/120*c**6 + 10*c**2. Is 19 a factor of m(-15)?
True
Suppose -4*u - 5*m + 95 = -3*u, -2*u + 154 = -2*m. Suppose -4*o = -8, -3*s - 2*o - 51 = u. Let r = -6 - s. Is r a multiple of 9?
False
Let n(x) = 7*x - 7 - 2 - 4. Let o be n(4). Suppose 0 = -h + 4*m + 39, 4*m - m = -o. Is h a multiple of 14?
False
Let o = -24 + 46. Suppose -2*s - 3040 = -o*s. Is s a multiple of 19?
True
Suppose -2*l - 26 + 14 = 0, 5*k - 93563 = -2*l. Is 67 a factor of k?
False
Let j be 264 - -6*((-15)/25 + (-2)/5). Let p = 386 - 244. Let h = j - p. Is 14 a factor of h?
False
Let y = -9311 + 9718. Is y even?
False
Suppose -2*z - 345 = 4*v + 1603, -3*z - 1946 = 4*v. Let j = v - -841. Suppose 3*p - 67 = j. Is p a multiple of 24?
False
Does 15 divide (21/(-3))/(-2 - 858/(-5580)*13)?
True
Suppose 31*c - 15748 = -0*c. Suppose 4*v - 26*s - c = -30*s, 0 = 5*v + s - 655. Is v a multiple of 3?
True
Let z(h) = -10*h - 1. Let g(k) = -21*k - 1. Let p(d) = 4*g(d) - 9*z(d). Let q be p(5). Let s = 111 - q. Does 37 divide s?
False
Suppose 3*y = -76*a + 74*a - 84, -5*a = 4*y + 112. Let h(d) = -5*d**3 - 3*d**2 - 2*d + 2. Let z be h(-2). Let p = y + z. Does 6 divide p?
True
Let k = -4529 - -5306. Is 7 a factor of k?
True
Suppose -m + 2*m = d - 11, -3*d = 4*m + 23. Is (9 - 3392/(-56)) + m/14 a multiple of 31?
False
Let q(c) = 1 + 0 + 6 - 9*c + 296*c**2 + 642*c**2. Is q(1) a multiple of 92?
False
Let m(t) = -2*t**2 - t + 8. Let z be m(0). Suppose z = -n + 161. Is 22 a factor of n?
False
Suppose 4*j - 3 = -4*f + 113, -3*f - 2*j = -85. Suppose -2*a - 3 = -f. Is (-64)/(-6)*a/8 a multiple of 6?
False
Let n be 8/(-4*(-6 + 5) - 2). Suppose 120 = -8*k + 2*k. Does 5 divide (k/n)/((-1)/2)?
True
Let t(f) = 3*f**3 + 78*f**2 - 7*f - 167. Let h be t(-26). Let s(l) = l + 2*l + 7 + 4 + l**3 - 15*l**2. Is 7 a factor of s(h)?
True
Let h(x) be the second derivative of 737*x**4/12 - 11*x**3/6 + 11*x**2/2 + 2*x. Does 17 divide h(1)?
False
Suppose -2 = -n + 2*t, -4*t + 7 = 2*n - 5*t. Suppose n*q - 13*j - 336 = -12*j, -j + 4 = 0. Is 8 a factor of q?
False
Let w(s) = -14*s**3 - 11*s**2 + 10*s - 1. Does 13 divide w(-8)?
True
Let q(v) = -17*v - 9. Let r be q(-1). Is -3 + r - 3*-201 a multiple of 8?
True
Let m(n) be the first derivative of -2*n**3/3 + n**2 + 3*n + 45. Let x(g) = 3*g**2 - 2*g - 4. Let w(s) = 5*m(s) + 4*x(s). Is w(5) a multiple of 13?
False
Let m(u) = -11*u + 371. Let w(c) = c - 5. Let k(q) = m(q) + 4*w(q). Is 25 a factor of k(46)?
False
Let x = -303 - -305. Suppose 342 - 218 = x*r. Is r a multiple of 9?
False
Let z(u) = u**3 + 3*u**2 - 9*u + 7. Let c be z(-5). Suppose c*i - 7 = 5*o, -2*o + i - 1 = 1. Let s(a) = 3*a**2 - 10*a + 6. Is 5 a factor of s(o)?
False
Is 4550/(-2)*(1674/(-45))/31 a multiple of 15?
True
Does 79 divide (-6 - (7 - 12))*(-8)/(-4)*-1622?
False
Suppose -m + 22 = 3*u, -3*m + 4*m - 5*u + 18 = 0. Suppose -1 = -2*t - m. Does 29 divide (-29)/(-1 - (4/t)/2)?
True
Let v = 22 - 17. Let u(a) = 2*a + 11. Let p be u(v). Let b = 24 - p. Is 2 a factor of b?
False
Let s(j) = 12*j + 2. Let z(i) = 37*i + 5. Let a(k) = -k + 2. Let u be a(-2). Let q(h) = u*z(h) - 11*s(h). Is 17 a factor of q(9)?
False
Suppose -7*h + 5*h - 98 = -4*z, 3*z - 76 = -h. Is 18 a factor of (-8085)/(-10) + -1 + z/10?
True
Let x(c) = 14*c + 125*c**3 + 2 + 24 - 163*c**3. Is x(-3) a multiple of 14?
False
Let y be (-5 - -1)*(-25)/(-100) - 1. Does 18 divide (y - 28/(-6))*4899/46?
False
Suppose -4*c - 726 = -l, 0 = -350*l + 355*l + 2*c - 3564. Is 17 a factor of l?
True
Does 105 divide (210/(-45))/(-4*(-3)/(-12960))?
True
Let r(a) = 2*a**2 - 8*a - 10. Let n be r(5). Suppose 5*g - 7*g + 420 = n. Does 15 divide g?
True
Suppose -3*k = -4*q - 2637, -2*q + 2*k - 127 - 1193 = 0. Let b = q - -833. Does 22 divide b?
True
Let y be 2 + -176*(-10 - -6). Suppose -4*k = u - y + 105, u = -3*k + 451. Is k a multiple of 10?
True
Let g(s) be the first derivative of s**4/4 + 5*s**3 + 12*s**2 - s - 45. Is g(-11) a multiple of 18?
False
Let c(n) be the first derivative of n**3/3 + 4*n**2 - 22*n + 15. Let v be c(7). Suppose 91 = 3*g - v. Is g a multiple of 58?
True
Suppose -c - 5*d = -298 - 583, -2571 = -3*c + 3*d. Suppose 559 = 2*h - c. Suppose -2*v = -3*j - h, 4*v + 2*j = -j + 1402. Does 16 divide v?
True
Let o(m) = -4*m + 2. Let u be o(-5). Suppose -5*h = -353 - u. Is 12 a factor of h?
False
Suppose 89*v - 91*v = 0. Suppose v = 7*q - 4*q + 5*i - 230, q - 2*i = 84. Is 20 a factor of q?
True
Let w(h) = 5*h**3 - h**2 + 6*h - 1. Suppose 0 = 2*s + d - 9, 0*s - 5*s - 5*d = -30. Is 11 a factor of w(s)?
True
Is 42/63*(-2)/6 - (-134512)/72 a multiple of 6?
False
Let f(l) = 23*l + 6. Let s be f(-4). Let a = s - -16. Let u = 213 + a. Is 9 a factor of u?
False
Let u = -2915 - -3588. Does 4 divide u?
False
Suppose 4*v + 3*g = -204 + 676, -8 = -2*g. Let j = -67 + v. Is 16 a factor of j?
True
Let u(t) = -t**3 + 10*t**2 - 19*t + 22. Let z be u(8). Let l be 120 + (0*(5 - 4))/z. Suppose y - l = -b - 35, 5*b - 4*y = 461. Does 11 divide b?
False
Let c = 9875 - -10315. Does 30 divide c?
True
Suppose -150 = -7*m - 136. Suppose -m*c + 5*y - 733 = -1951, -4*c + 2436 = y. Does 7 divide c?
True
Let z(s) be the first derivative of 1/2*s**2 + 4 + 7/3*s**3 + 0*s. Does 22 divide z(3)?
True
Let b(u) = -8*u + 68. Let y be (-112)/42*((-10)/8 + -1). Is b(y) a multiple of 7?
False
Suppose 12 = 3*l, 3*n = 3*l + 8 - 50. Is 12 a factor of (-6195)/(-18) + n/(-12)?
False
Let x = 8923 - 7961. Is 26 a factor of x?
True
Let t(o) = -37*o - 187. Let n(q) = 2*q**3 + 3*q**2 + 10*q + 12. Let p be n(-2). Does 4 divide t(p)?
False
Let t(i) = 68*i**2 - i**3 + 54 + 68*i**2 - 135*i**2. Let m be t(0). Suppose 0 = -2*u + 4*l + 54, -2*u = 2*l - 4*l - m. Is 3 a factor of u?
True
Let y be -677*2*9/18. Let o = -236 - y. Does 49 divide o?
True
Let o(k) be the second derivative of -13*k**2 + 1/2*k**3 + 15*k + 0. Is o(12) a multiple of 5?
True
Let r(z) = 163*z + 9. Does 134 divide r(3)?
False
Is 2 a factor of (-2739)/(-21) - (-160)/(-112)?
False
Suppose -67 + 40 = -v. Suppose q = h - v - 207, 2*h = 3*q + 468. Is h a multiple of 13?
True
Is 130682/13 + 396/156 + -3 a multiple of 7?
True
Suppose 43*b - 66693 = 42957. Does 34 divide b?
True
Let k = 4485 - 3871. Is 20 a factor of k?
False
Suppose 3*t = -t - 4*i - 40, -5*t + i - 20 = 0. Let r be 8/t + 12/(-30). Is 23 a factor of 1386/15 + r/5?
True
Is 243950772/6318 - (-6)/(-243) a multiple of 197?
True
Is 26718 + 40/(-24)*6 a multiple of 170?
False
Let z(m) = 7*m - 62. Let k be z(26). Suppose 8*c = -2*c + k. Is 12 a factor of c?
True
Let h = -45 - -46. Let w be (-28)/h - 16/(1 + 3). Is w + 76 - 1*-1 a multiple of 3?
True
Let i be 159/(-6) - 3/(-6*1). Let m = 60 + i. Suppose 0 = 7*v - 76 + m. Is 2 a factor of v?
True
Suppose -3*d + v + 22147 = 0, -4*d + 5*v = -4310 - 25234. Does 35 divide d?
False
Suppose 29 = -5*h + 184. Suppose 39 = 5*j - h. Let n = j - -18. Is 8 a factor of n?
True
Does 16 divide (1 - 87125/(-100))/((-3)/(-56))?
False
Suppose 0 = 4*d + 20 - 0. Let v be 2*d/((-5)/251). Is 18 a factor of 2/7 - v/(-7)?
True
Let p(z) = z**2 - 8*z + 19. Let f be p(4). Does 20 divide -22*(-1 - f) + 4?
False
Suppose -34*j - 4*a = -33*j + 8, -5*j + 4*a - 136 = 0. Let x(v) = -5*v + 93. Is x(j) a multiple of 22?
False
Suppose 0 = -3*a + a. Suppose 0 = -a*t + 3*t - 393. Suppose -6*k + 875 = t. Is k a multiple of 21?
False
Let n(i) = i**3 - 9*i**2 + 23*i + 475. Does 34 divide n(25)?
True
Let p(s) = s - 5