v(m) be the third derivative of m**4/24 - 3*m**3/2 + 31*m**2. Let q be v(6). Is 25 a factor of (-3 + 91/q)/(4/(-12))?
True
Let n(j) = -13*j**3 - j**2 + 4*j - 4. Let m = -190 + 186. Does 25 divide n(m)?
False
Suppose 1 = -7*q + 29. Let r(x) = -x**3 - 2*x**2 + 2*x. Let a be r(-3). Suppose -q*k = 5*n - 838, -n - a*k + 114 = -47. Is n a multiple of 23?
False
Suppose 9 = -m + 5*s, -6 = -m - 3*s + 9. Suppose 4*l = m*l - 10. Is (-2)/5*-1 + 13/l even?
False
Suppose 0 = -u - u + 10, -5*p + 20 = -2*u. Suppose -p*f - 533 = 193. Let m = f + 205. Does 25 divide m?
False
Suppose -c = 3*i - 13172, 3*c - 5*i = 12747 + 26797. Is c a multiple of 22?
True
Let g be (-5 + -365)/5 - -1. Let i = g - -320. Does 5 divide i?
False
Suppose 7393 - 18 + 1733 = 9*a. Is a a multiple of 11?
True
Let u(b) = -3*b + 36. Let v be u(14). Is (1 + (-15)/v)*(-3774)/(-259) a multiple of 14?
False
Let v(t) = -t**3 - 2*t**2 - 15*t - 41. Let k = 241 - 245. Is 7 a factor of v(k)?
False
Suppose -t + u + 5 = 0, 15 = 2*t - 3*u - 0*u. Suppose 5*o - 3*r - 494 = t, -53 = -o - 2*r + 51. Suppose 5*s - 322 = -3*i, o = i - 3*s + s. Is 24 a factor of i?
False
Suppose -5*a - 5*b + 2*b = -84, 0 = a + 4*b - 10. Is 4 + a + 3/(-1) even?
False
Let s(d) = -d**3 + 15*d**2 + 12*d + 40. Is 4 a factor of s(12)?
True
Is 4 a factor of -4728*(11 + ((-490)/3)/14)?
True
Let g(o) = -o**3 + 128*o**2 + 14*o + 8. Is g(8) a multiple of 156?
True
Let v(s) = 3*s**2 + 8*s + 2. Let y be v(-8). Suppose 0 = -2*u + 2*p - 2 + 246, u + 3*p = y. Suppose -10*d + 1836 = -u. Is d a multiple of 10?
False
Let v = -82 + 90. Suppose -v*n = -344 - 64. Does 3 divide n?
True
Let c(u) = 68*u**3 + u**2 - 22*u + 21. Does 16 divide c(3)?
False
Let m(d) = 6*d + 623. Let y(n) = n + 125. Let t(j) = -4*m(j) + 22*y(j). Is t(-27) a multiple of 24?
True
Let y(i) = 18*i + 3839 - 3820 - 9*i**2 + 53*i**2. Does 31 divide y(-4)?
True
Let z(d) be the third derivative of d**5/12 + d**4/24 + d**3/3 - 14*d**2. Let g be z(-2). Suppose 24*o - g*o - 512 = 0. Does 16 divide o?
True
Let z = -698 + 701. Is 3 - (-103 - (0 + -9)/z) a multiple of 11?
False
Suppose -5*r + 0 + 5 = 0. Suppose -7*j + 15 = r. Suppose v - j*x - 132 = -x, x = 4*v - 537. Does 27 divide v?
True
Let g(y) = -2*y**2 + 9*y + 1. Let n be g(4). Suppose n = 4*h - 43. Suppose 5*p - 3*p = h. Does 3 divide p?
True
Suppose 10*l + 1275 = 10685. Suppose 96 = -5*y - 5*q + l, 346 = 2*y + 4*q. Is y a multiple of 12?
False
Suppose -5*x = -2*u - 52, 7*x + 3*u = 12*x - 53. Is 64 a factor of 32*x*(-8)/(-20)?
True
Let v = 1743 + -33. Does 6 divide v?
True
Let h = 80 + -249. Let t = 181 + h. Does 4 divide t?
True
Let f(z) = 59*z**3 + 6*z**2 + 64*z - 75. Does 30 divide f(5)?
True
Suppose 5*t = 4*h - 51854, 0 = -5*h - 4*t + 28237 + 36560. Does 13 divide h?
True
Suppose -83*l - 89*l = -118*l - 751464. Is 98 a factor of l?
True
Let j(i) be the third derivative of -i**6/120 - 3*i**5/20 + 2*i**4/3 + 2*i**3 - 3*i**2. Suppose 3 + 52 = -5*m. Does 13 divide j(m)?
True
Suppose d - 4*d = -132. Suppose -3*j = v - 15, 3*v - 4*j + 30 - 10 = 0. Suppose -x - 27 + d = v. Is 14 a factor of x?
False
Suppose -8*g + t = -4*g + 37, g = -5*t + 17. Does 41 divide 1 + 2 - (10 + g - 327)?
True
Let w(s) = s**2 - 13*s - 13. Let p be w(14). Let b be (3/p)/((-6)/(-10)). Let z(x) = 12*x - 25. Is 7 a factor of z(b)?
True
Let l(x) = 2*x**3 - 20*x**2 + 31*x + 14. Is l(14) a multiple of 8?
True
Suppose 2*g = 82 - 70, 0 = -h + 3*g + 2117. Does 7 divide h?
True
Suppose 885 + 1395 = 3*z. Does 113 divide z?
False
Let n = 845 - -1900. Is n a multiple of 6?
False
Suppose 28*l = 34*l - 30. Suppose 5*u - l = 4*q, 4*q + 30 = 5*q + 5*u. Suppose 0 = q*n - 288 - 112. Does 20 divide n?
True
Let r(n) = 16*n**2 + 20*n - 9. Is 213 a factor of r(21)?
False
Let w(z) = z**3 - 7*z**2 + 8*z - 10. Let v be w(6). Let t(g) = 8*g - 17. Let d be t(4). Suppose 0 = -v*o - s - 7 + 20, 3*s = -2*o + d. Is o even?
True
Suppose 4*g - 4*m = 20, -2*m + 1 = -3*m. Suppose 0*t + 2*t = g*c - 1222, -c = 4*t - 310. Does 70 divide c?
False
Suppose -2*l + 3*b - 3885 = -6*l, -4*b - 976 = -l. Suppose q = -8*q + l. Is q a multiple of 4?
True
Let j = -35 - -28. Let u(s) = 10*s + 108. Is u(j) a multiple of 10?
False
Suppose w - 6632 + 5082 = 0. Does 50 divide w?
True
Let a be (-2)/(-6)*-9*(-14)/3. Let u(z) = 149*z - 10*z + a*z - 3. Is u(1) a multiple of 5?
True
Let k = 2090 + 143. Suppose 16*n = 1415 + k. Is n a multiple of 9?
False
Let u(l) = 817*l - 214. Is 79 a factor of u(5)?
True
Is (2/(-3))/(156/(-505440)) a multiple of 120?
True
Let n(o) = 4*o - 16. Let q be n(8). Suppose 0 = 9*f + q - 115. Suppose f*z = 16*z - 310. Is 10 a factor of z?
False
Let j = 403 - 178. Suppose 45*q - 40*q - j = 0. Let u = 5 + q. Is u a multiple of 10?
True
Let i be (-3)/4*(-624)/(-234). Is 26 a factor of (-8320)/(-200)*((-75)/i)/5?
True
Suppose 5*p = 7*p - 4, 5*h + 5*p = 4420. Does 32 divide h?
False
Let r(c) = c**3 + 8*c**2 + 3*c - 8. Let k be (-2)/((-18)/6 - (-23)/7). Let d be r(k). Let w = d - 10. Is w a multiple of 10?
True
Let j(k) = 6*k - 1. Let f be j(1). Suppose o + 5*s = f*o - 10, 5*o + 2*s = 29. Suppose -o*x + q = 2*q - 57, -5*q = -3*x + 51. Does 6 divide x?
True
Suppose -3*s - c = -18385, 0 = 5*s + 31*c - 28*c - 30643. Does 16 divide s?
True
Suppose -g + 4*g - 28 = -w, 0 = -2*w + 8. Let r be (-40)/g + (-4)/(1 + -3). Is 9 a factor of (-58 - -1*(2 + r))/(-1)?
False
Let z = 13 + -9. Suppose 0 = -5*l - 10, -z*q = -4*l - l - 30. Suppose -23 - 17 = -q*f. Is f a multiple of 5?
False
Let t = 7498 + 10754. Is 78 a factor of t?
True
Let w be (-6)/(-12) - (-5)/2. Suppose w*p - 5*j - 1407 = 925, 4*p - 4*j = 3112. Is 19 a factor of p?
True
Suppose -4*q - 3*c = -15, 21*c = -3*q + 23*c - 10. Suppose q = -5*j - 3*j + 7232. Does 8 divide j?
True
Let f(t) be the first derivative of -25*t**2/2 - 173*t - 195. Does 14 divide f(-14)?
False
Let o(x) = x**3 + 10*x**2 + 21*x + 5. Let n be o(-6). Suppose n*m - 1404 = 10*m. Is 12 a factor of m?
True
Suppose -7*c = 4 + 24. Let a be 9/(-12)*c + 351. Suppose -1 = -l - 3, -4*j + a = 3*l. Is j a multiple of 15?
True
Is 5 a factor of (-9)/(270/(-142610)) + (-25)/15?
False
Let w be 3 - 2911 - 4/(-1). Is 54 a factor of w/(-54) - (-2)/9?
True
Suppose 0 = -7*j - 122 - 67. Let m = 24 - j. Is 4 a factor of m?
False
Suppose -36*q - 2*v + 39922 = -34*q, 3*v + 12 = 0. Is 55 a factor of q?
True
Let n(d) = -1. Let j(y) = -8*y - 10. Let u(p) = j(p) - 5*n(p). Let w be u(-1). Is 12/18*(w + (-690)/(-4)) a multiple of 56?
False
Is 14 a factor of 0 + 909 - (16/(-5) + 80/(-100))?
False
Suppose 0 = -6*n + 7104 - 4765 + 16225. Is n a multiple of 11?
False
Let c be 258/(-12) + (-10)/4. Is c/(-66) - (-326)/11 a multiple of 2?
True
Let d be (-1 + 832)*(-16)/48. Let l = 715 + d. Does 5 divide l?
False
Suppose -2*p = -13 + 5. Let o = 52 - 50. Suppose -n + 179 = 4*g, p*g - o*n + 79 = 273. Is 23 a factor of g?
True
Suppose 16*r - 37467 - 28483 = 29506. Is 38 a factor of r?
True
Let a = -3513 - -7629. Does 49 divide a?
True
Let v = -7012 + 12826. Is v a multiple of 34?
True
Let s(o) = -4*o**3 - 6*o**2 - 9*o + 1. Is s(-5) a multiple of 36?
True
Suppose 0 = 4*x + 7*x - 44. Suppose 5*b - n = 2*n + 16, x*b - 14 = 3*n. Suppose -5*j = -b*j - 48. Does 14 divide j?
False
Suppose -294624 = -28*b - 8*b. Suppose -19*o + 30*o = b. Is o a multiple of 6?
True
Suppose -2*c + 6 = b + 1, 0 = 4*c + 4*b - 20. Suppose 280 = 4*n - 0*n - 4*p, -4*n - p + 305 = c. Is 7 a factor of n?
False
Let d = 235 + -231. Let w = -324 - -480. Suppose 0 = -5*l - 5*t + d*t + 444, -2*l + 5*t + w = 0. Is 8 a factor of l?
True
Let d(y) = -11*y + 7. Let q = -11 - -5. Let f be d(q). Let c = f + 19. Does 14 divide c?
False
Suppose 0 = 4*g + 5*j - 25, 3*g + 10 = 3*j - j. Let x = 122 + g. Let n = 218 - x. Is n a multiple of 8?
True
Let f = 5673 + -4959. Is f a multiple of 3?
True
Let w(s) = -248*s - 1716. Is 127 a factor of w(-36)?
False
Let s = -1945 - -7079. Does 8 divide s?
False
Suppose -5511 = -20*r + 18*r + h, 20 = -4*h. Suppose 8*u - 1335 = r. Is u a multiple of 73?
True
Let s be (-90)/(-36)*(-36)/10. Let q = 10 + s. Let m(j) = 116*j**2 - 2*j + 3. Is 13 a factor of m(q)?
True
Let f(t) = -145*t - 145*t + 308*t + 21*t**2 + 60. Is 15 a factor of f(-5)?
True
Suppose -258*w + 261*w + 2*c = 14411, 4*c = -4*w + 19208. Is w a multiple of 19?
True
Let i = 