d(4). Is 15 a factor of (-3 + 58 + z)/c?
False
Let z = 983 + -609. Is 11 a factor of z?
True
Suppose -2*a + 45 = a. Suppose i - 7*s + 3*s = 13, 0 = -5*i - 5*s + a. Suppose 5*v + 4*r = 39, -3*r = 2 - i. Is v a multiple of 2?
False
Let u(s) = 196*s**2 + 5*s - 3. Is u(1) a multiple of 21?
False
Let k(d) = 4*d**3 + 2*d**2 - 2*d. Let m be k(2). Let f = m - -8. Is f a multiple of 13?
False
Let l be 2 - -17 - 1 - 1. Let g = l - 7. Suppose 0 = 5*s - g, 0 = -3*r + 5*s + 3 + 2. Does 4 divide r?
False
Let o be (10 - 12)*(1 + -2). Suppose -q - 5*s - 10 = -43, 2*s = o. Is q a multiple of 14?
True
Is 24/(-56) + 16860/42 a multiple of 2?
False
Let t = -36 - -8. Is 20 a factor of (-29 - t)/((-1)/185)?
False
Let d = 2459 - 886. Is 121 a factor of d?
True
Let f(h) = 64*h. Is 24 a factor of f(7)?
False
Is ((-4254)/(-15))/(3*(-9)/(-135)) a multiple of 8?
False
Suppose 3*p - 249 = y, 3*p - 5*p + 153 = -5*y. Does 2 divide p?
True
Let y(j) = -6*j - 2 + 3*j + 10*j**2 + 4. Let u(c) = -c**2 + c + 2. Let m be u(0). Is 12 a factor of y(m)?
True
Let m(b) = 2*b**3 + 6*b**2 - 13*b - 2. Does 32 divide m(6)?
False
Does 17 divide (-2312)/12*30/(-20)?
True
Suppose -s + 3*s - 2231 = -3*v, -v + 737 = 2*s. Does 5 divide (-4)/(-10) - v/(-45)?
False
Let k = -166 + 234. Let p = k - 46. Is 6 a factor of p?
False
Let v(y) = 13*y + 11. Let k be v(7). Is 4 a factor of 3*(k/9 - 2)?
True
Let d(v) be the first derivative of -4*v**3 + 1/4*v**4 - 9/2*v**2 + 5 - 17*v. Is d(13) a multiple of 16?
False
Let b be 4/(0 + (6 - 4)). Suppose -2*d = 2*p - 72, 0*p + 3*d + 72 = b*p. Is p a multiple of 12?
True
Let k = -34 - -71. Let v = 49 - k. Is v a multiple of 6?
True
Let n(t) be the first derivative of t**7/42 + t**5/120 + 4*t**3/3 + 3. Let u(i) be the third derivative of n(i). Is u(1) a multiple of 10?
False
Suppose 5*m - 38 + 12 = -l, -2*l - 4*m + 82 = 0. Is 3 a factor of l?
True
Let d be (-4 + -2)*(-5 + 7). Let c = d - -14. Suppose 5*m + 25 = h, 0*h + 2*m + 66 = c*h. Is 7 a factor of h?
True
Suppose -234 = -4*t - 82. Is 3 a factor of t?
False
Let d = -198 + 208. Is 5 a factor of d?
True
Let z be (-2 - 5 - -2) + 5. Suppose -6*v - 1045 = -5*a - v, -3*v - 12 = z. Is a a multiple of 16?
False
Suppose -10*k - 2247 = -13*k - 5*s, -5*s + 749 = k. Let a = k + -493. Is a a multiple of 32?
True
Let h(u) = 1 - 23*u + 13*u - 57*u - 8*u. Is h(-1) a multiple of 38?
True
Suppose 0 = 5*y - 0*y - 2130. Suppose y + 254 = 5*q. Is q a multiple of 14?
False
Suppose -672 = 110*a - 117*a. Let x = 6 + a. Does 17 divide x?
True
Suppose d + 5*l - 7 = 0, -l = d + 4*d - 11. Suppose -d*f = z - 578, 0*f - 5*f - 3*z = -1446. Is f a multiple of 17?
False
Let a = 1020 + -300. Is 45 a factor of a?
True
Let f(u) = -u**3 + 10*u**2 - 9*u + 8. Let m be (-46)/161 - 130/(-14). Is 2 a factor of f(m)?
True
Let l = 7 + -7. Suppose 5*p + 0*p = l. Suppose p*u + 20 = u. Is u a multiple of 20?
True
Let a(f) = 14*f + 14. Let s be a(-3). Does 31 divide (-4501)/s + 2/8?
False
Let c = 43 - -527. Suppose 5*z + z - c = 0. Does 19 divide z?
True
Suppose 4 = 5*l + 2*b, -2*l = -0*l + b - 1. Let g = 0 - -5. Suppose 5*k - 3*f = 154, 0*k = l*k - g*f - 73. Is k a multiple of 20?
False
Let w be 73/(0 + 0 - -1). Let j = w - 23. Does 25 divide j?
True
Let s(k) = -k**3 - 5*k**2 + 4*k + 8. Let u(f) = f**2 - 2*f + 3. Let p be u(3). Let l be s(p). Does 13 divide ((-10)/8)/(13/l)?
False
Let u(m) be the second derivative of -2*m**2 - m + 1/20*m**5 + 0 + 0*m**3 - 1/12*m**4. Is 12 a factor of u(3)?
False
Let d = 536 + -305. Is 11 a factor of d?
True
Suppose -3*o + 3*z + 15 = 0, o = 4*o + 2*z - 20. Let n be 2 + (2 - o) + 2. Does 11 divide (n + -9)*(-286)/78?
True
Let w(j) = -24*j - 14. Let o be w(16). Let r = 22 - o. Suppose 0*d + r = 5*d. Does 18 divide d?
False
Suppose 0 = 5*a - 5*w - 55, -3*w + 23 = a + 4*a. Suppose 6*q - 19 = -a. Suppose q = -3*v - 2*l - 0*l, 3*v + 4*l = -10. Is v even?
True
Let p = 45 - 26. Let x = p + 88. Is x a multiple of 10?
False
Suppose 5*x + 8*b - 13*b - 665 = 0, -4*b + 260 = 2*x. Does 33 divide x?
True
Let v(j) = 50*j - 4. Let x be v(1). Let u be (-6)/(-21) - (-164)/14. Let r = x + u. Does 14 divide r?
False
Let o(f) = -f**3 - 17*f**2 + 17*f + 10. Let m be o(-17). Let l = 422 + m. Is 21 a factor of l?
False
Let j = -1714 - -2403. Does 53 divide j?
True
Suppose 10*f = 25*f - 3150. Is 7 a factor of f?
True
Suppose -2*f + 5*m + 561 = 0, 2*f + f = -4*m + 830. Is 14 a factor of f?
False
Let d = -77 - -81. Suppose -3*x = -d*v - x + 450, -x = 4*v - 459. Is 19 a factor of v?
True
Let m = -15 + 35. Suppose 3*g = -3*b + b + 13, 5*b - m = 5*g. Suppose -99 = -4*j + r, b*j = -r - r + 114. Is j a multiple of 18?
False
Let s(a) = a**3 + 4*a**2 - 5*a + 68. Let o(l) = -l**3 - 3*l**2 + 4*l - 67. Let b(m) = -5*o(m) - 4*s(m). Does 21 divide b(0)?
True
Let p be (1 - 0)*-1 + 6. Suppose -4*c = c - p*h - 35, -5*c + 17 = h. Let m = c + -1. Does 3 divide m?
True
Let a(h) = 13 + 4*h - 7*h + 20*h. Let z(j) = -9*j - 7. Let b(t) = -3*a(t) - 5*z(t). Is 37 a factor of b(-13)?
True
Let f be (47 + 2)*6/21. Suppose -6*j + f = -1138. Is 12 a factor of j?
True
Let b(m) = -27*m - 5. Let o(l) = -2*l. Let u(a) = 2*b(a) - 22*o(a). Is 5 a factor of u(-3)?
True
Suppose -2*i - 198 = -2*x, -2*x - 5*i = -209 + 46. Is x a multiple of 2?
True
Let s(c) = -c - 8. Let i be s(-12). Suppose i*d - 303 = d. Is 21 a factor of d?
False
Let o = 40 + -145. Let y = -50 - o. Does 6 divide y?
False
Let q(i) = -i - 5. Let d be q(-5). Suppose -3*v + 549 = -d*v. Let j = -114 + v. Is j a multiple of 15?
False
Suppose 0 = 4*i + 3*o - 2*o - 421, 5*i = -o + 525. Let q = i + -39. Is q a multiple of 12?
False
Does 35 divide (-8 - 44705/(-55)) + (-2)/(-11)?
True
Let c(h) be the third derivative of h**7/315 - 13*h**6/720 - h**5/12 - 8*h**2. Let x(q) be the third derivative of c(q). Does 29 divide x(7)?
False
Let c be (-4)/((1 - (-1 + 1))*-2). Suppose 0 = -c*f + 5*g + 409 - 114, -5*g + 265 = 2*f. Is 13 a factor of f?
False
Let m(c) = -2*c**3 + 3*c**2 - 5*c. Let r(q) = q**3 - q - 1. Let l(h) = -m(h) + r(h). Let u be l(4). Suppose -4*v = -u - 81. Is 15 a factor of v?
True
Let c = -659 - -887. Does 38 divide c?
True
Let l = 205 + -137. Let y = l + -35. Let o = 60 - y. Is 13 a factor of o?
False
Let u(f) = -4*f**3 - 2*f**2 + f + 12. Let a(o) = o**3 + o**2 - 4. Let y(i) = -7*a(i) - 2*u(i). Let m be y(5). Let x = m - 31. Is x a multiple of 13?
True
Suppose c - 26 = -x, c + 15 = -3*x + 47. Let d = 11 - 8. Let i = c - d. Is 5 a factor of i?
True
Suppose 2*f - 18*c + 21*c = 549, -c = -3*f + 807. Is 45 a factor of f?
True
Let r(u) = -31 + 8*u - u**2 + 4*u**2 - 2*u**2 + 14. Does 8 divide r(5)?
True
Let p(o) = 21*o + 11. Let h(y) = -7*y - 4. Suppose -4*x - 40 = 6*l - 4*l, -3*l + 28 = -5*x. Let s(d) = x*h(d) - 3*p(d). Does 7 divide s(-3)?
False
Suppose 0 = -3*m - 2*p - 11, 2*m + 4*p = -2 - 0. Is 7 a factor of 2 - 0 - 375/m?
True
Let q(w) = 61*w - 557. Is q(20) a multiple of 39?
True
Suppose 0 = -3*a + 12, 0*j + j + 5*a = 20. Suppose 7*y - 318 + 66 = j. Is y a multiple of 5?
False
Let g = -16 + 15. Let n(d) = -2*d**3 + d**2 + 2*d + 1. Let y be n(g). Suppose -63 = -f - 5*s, -3*f = 2*f + y*s - 246. Is 13 a factor of f?
False
Let n be (-28)/6*36/14. Let f be (-2 - 8)*n/20. Suppose -2*b + f = -2. Is 4 a factor of b?
True
Let n(i) = 41*i - 7 + i**2 + 0 - 57*i. Is n(20) a multiple of 15?
False
Suppose 5*z - z + 619 = -5*l, -3*z + 3*l - 444 = 0. Let h = z - -247. Is 16 a factor of h?
True
Let d(m) = -33*m - 20. Let n be d(-3). Let k = n + 46. Is 25 a factor of k?
True
Suppose -5*z - h - 2524 = 0, z - 6*z - 4*h - 2521 = 0. Does 25 divide (3 - z)/4 + -3?
False
Let b be 4/18 + (-25)/(-9). Suppose 0 = -b*p + 2*m + 90, 0 = -m - m - 6. Let w = p - -1. Is w a multiple of 18?
False
Let a = -3 - -67. Is a a multiple of 20?
False
Let o(m) be the third derivative of 6*m**2 + 0*m - 1/2*m**3 - 1/120*m**6 + 1/12*m**5 + 0 + 7/24*m**4. Does 16 divide o(5)?
True
Let d(k) = -k + 27. Let y be d(13). Let n = 16 + y. Is n a multiple of 6?
True
Let l = -5 + 7. Suppose -l*s - 4*n = -64, 2*s + 3*n - 48 = 14. Is 7 a factor of s?
True
Let a be 29 + 0 - (6 + -3). Let t = 36 - a. Is 2 a factor of t?
True
Suppose -13 = -f - 2*h, -2*h - h = -5*f + 13. Suppose -3*l - 5*m + 290 = 0, l + f*m - 75 = 35. Does 18 divide l?
True
Let f be (1 + 15/(-10))*-10. Suppo