 = f*t. Suppose -1 - 5 = t*m, -m = -4*h + 326. Is h a multiple of 27?
True
Let a(p) = 2*p**3 - 13*p**2 - 11*p + 4. Let i(h) = -3*h - 130. Let d be i(-47). Is 27 a factor of a(d)?
True
Suppose -b + 2*h - 297 - 1440 = 0, -5*h = b + 1758. Let k = b + 2615. Is 17 a factor of k?
False
Let a = 20515 - 14235. Does 109 divide a?
False
Suppose 0 = 11*w - 8*w. Suppose w = 5*g + 2 - 42. Is g/(-5)*345/(-3) a multiple of 46?
True
Suppose 108*h + 147*h - 79*h - 550000 = 0. Is h a multiple of 27?
False
Let j = -89 - 35. Is 93/j - 12966/(-8) a multiple of 11?
False
Suppose -13 = -f - 3*q - 0, -5*f = -5*q - 5. Suppose -f*m = 2*m. Suppose -4*t - 336 = -3*h, -4*h - 2*t + 7*t + 447 = m. Is h a multiple of 35?
False
Suppose 3*f = -u + 12815 - 1979, 0 = 4*u - 3*f - 43284. Does 66 divide u?
True
Let c(p) = -2*p + 1. Let n(m) = -11*m - 112. Let f(o) = 4*c(o) + n(o). Is 5 a factor of f(-42)?
True
Let n(k) = -3*k**2 + 10*k + 13. Let j(z) = -4*z**2 + 15*z + 20. Let d(w) = 5*j(w) - 8*n(w). Suppose -40*g + 47*g = 35. Is d(g) a multiple of 33?
False
Suppose -12*f + 6*f - 3720 = 0. Does 9 divide f/(-20) - (-1 - (-2 + -3))?
True
Is (-1040)/(-208) + (1*37304 - -1) a multiple of 287?
True
Suppose -1003 = 6*j + 149. Let r = j - -353. Suppose 4*u - 319 = r. Is u a multiple of 24?
True
Let s(t) = t**2 + 4*t + 6. Suppose 0 = -10*v + 9*v + 9. Let u be s(v). Let q = u + -61. Is 31 a factor of q?
True
Suppose -708*n = -729*n + 7812. Does 6 divide n?
True
Let m be (25/20)/(3/24 + 0). Suppose 8*p - m*p - 5*t + 38 = 0, 2*t = 4*p - 52. Does 3 divide p?
False
Is 4 - (-19524)/8 - (-17)/(-34) a multiple of 4?
True
Suppose 2*i + 3*x - 17 = 0, 4*i - 25 = -10*x + 7*x. Let o be (i + (-1 - 4))*0 + 60. Let c = o + -53. Is 6 a factor of c?
False
Let i(u) be the first derivative of 58*u**3/3 - u**2/2 + 24. Is 2 a factor of i(1)?
False
Suppose b - 1907 = 5*h + 551, -5*b + 12353 = -4*h. Suppose 0 = -10*z + b + 517. Is 23 a factor of z?
True
Suppose -18*p = -26*p - 216. Is 2 a factor of (-801)/p - (-1 + (-6)/(-9))?
True
Suppose 0 = 8*k - 13463 - 14510 - 76299. Does 133 divide k?
True
Suppose -2*t = -0*t + 5*n - 28, 2 = n. Let f(m) be the third derivative of m**5/60 - m**4/6 - m**3 - 16*m**2. Does 9 divide f(t)?
False
Does 131 divide -1*(-3)/6*(-5 - -33)*79?
False
Suppose -322*q + 9882 = -319*q. Suppose q + 5976 = 15*b. Does 41 divide b?
False
Suppose 5*f - 7930 = -4*g, 4*g + 4*f - 11034 + 3106 = 0. Let c = g + -1169. Does 22 divide c?
False
Suppose 7*j = -o + 19965, 3*o + 6*j - 8*j - 60010 = 0. Is o a multiple of 48?
False
Let t(v) = -v**2 + 14*v + 18. Let z be t(15). Suppose 4*r + 16 - 4 = 0, h + 10 = -3*r. Does 10 divide h/(-1) + (8 - (z - 4))?
True
Let g(x) = -4*x - 18. Let t be g(-9). Suppose 11*j = t*j - 1421. Let h = j + -7. Is 49 a factor of h?
True
Let u = 6836 + -6832. Suppose -7*c + 2*c + 4*o = -38, 2*c - 5 = 5*o. Suppose -2*x - 3*y + 169 = 0, -7*x = -c*x + u*y + 228. Is x a multiple of 10?
True
Let l = -433 - -298. Does 54 divide l/(-2)*(-176)/(-55)?
True
Is 24 a factor of 278/(-973) + 119076/21?
False
Suppose s + 18 = 10*s. Suppose 5*b - c + 6*c - 5 = 0, b + s*c = 4. Is ((-4)/10*12)/(b/25) a multiple of 3?
True
Suppose -5339 = 11*k - 5460. Let s(m) = 3*m + 1. Let c be s(-2). Is 3 a factor of ((4/c)/(-1))/(k/165)?
True
Suppose 0 = -6*s - 1148 + 26. Let u = s + 344. Let b = u - 52. Is 18 a factor of b?
False
Suppose 2*o - 2543 = 2*c + 13425, 5*c = 4*o - 31936. Is o a multiple of 6?
False
Let a = -148 - -150. Suppose -18 = -k + 2*t, -a*k + 68 = k + t. Is 32 a factor of 129 + (-26)/k + (-20)/(-110)?
True
Suppose 3*u - 12585 = 4*x, 4*u + 2*x - 12603 = u. Does 28 divide u?
False
Let p(b) = -3*b**3 - 6*b**2 - 6*b - 3. Let m be p(-7). Let w = m - 477. Suppose -t + 11 + 55 = -4*g, -4*t + 5*g = -w. Does 13 divide t?
True
Suppose -2*r - 257 = -241, -2*m - 5*r = -50366. Is 271 a factor of m?
True
Let v(l) = -l**3 + 32*l**2 + 27*l - 26. Let g be v(33). Let b = g - -257. Is 6 a factor of b?
False
Let f be (7 + -11)*7/(-2). Let g(u) = 2*u**3 - 27*u**2 + 32*u - 29. Is g(f) a multiple of 41?
True
Suppose -4*s - 523 = -3*b + 209, -4*b - 4*s + 948 = 0. Suppose 14*o - b = 4*o. Is o a multiple of 6?
True
Is 16 a factor of 26078 - (-25 - (-4 - 5))?
False
Let t(j) = -j + 1. Let y(x) = -10*x + 27. Let u(w) = -6*t(w) + y(w). Let n be u(4). Suppose 0 = -3*l + 3*s + 237, n*l + 4*s = 2*s + 430. Does 7 divide l?
True
Let h = 278 - 280. Is 11 a factor of -2*h*(-4)/16 + 166?
True
Let b be 2*((-45)/(-6) - 6). Suppose -5*z = -b*h - 214, 3*z - 4*h = 60 + 64. Does 3 divide z?
False
Let d(v) = 286*v**2 - 293*v - 36. Is 26 a factor of d(6)?
True
Let g(d) = -d**3 + 6*d**2 + 22*d - 1. Let w be g(4). Suppose -3*t = -5*r - 277, -t + 13*r + w = 18*r. Is t a multiple of 3?
True
Let b = -153 - -554. Let j = -246 + b. Suppose -j = -5*w + w + n, -2*w + n + 75 = 0. Is 10 a factor of w?
True
Let w = 37 + -35. Let v(d) = -d**3 - 4 + 9*d - 4*d**2 + 5*d**w - 8*d. Does 9 divide v(-4)?
True
Let g = -9 + -1. Let f = 6 + g. Is ((-6)/f)/((-9)/(-576)) a multiple of 24?
True
Let v be (-3)/2*(-5238)/81. Let c = 1 - 59. Let s = c + v. Does 13 divide s?
True
Let a = 82 - 80. Suppose -s + 18 = a*l, 0 = 4*s + 9 - 1. Suppose 7*p = l*p - 480. Does 20 divide p?
True
Let z = 339 - 429. Does 13 divide (64/(-10))/((z/775)/9)?
False
Let s be -3 + 1482 - (-12)/(-3). Suppose 3*t - 680 = -z, -s = -4*t + 5*z - 543. Is t a multiple of 31?
False
Let p = 10582 - 7018. Is 9 a factor of p?
True
Let h be 8/(11 - 3) - 1*-3. Suppose -4*f = -h*z - 16, -1 + 5 = 4*z. Suppose 5*p + f*p - 240 = 0. Is p a multiple of 3?
True
Let c(b) = -b**3 + 14*b**2 + 18*b + 9. Let t = -65 - -80. Let o be c(t). Suppose 0 = -o*h + 51*h + 174. Is h a multiple of 13?
False
Let u be 8/8 - -3*9. Suppose 10*v = 5*v + 5. Is (-2 - v)*u/(-4) a multiple of 3?
True
Let r be (-64)/(-80) + (-16288)/10. Is r/(-36) - (-6)/(-27) a multiple of 26?
False
Let u = 795 - 718. Suppose -5*v = -5*f - 255, 0 = 5*f + 4*v + 74 + 190. Let s = u + f. Is 25 a factor of s?
True
Let r(d) = 4*d - 131. Let n be r(34). Suppose 4*l - 990 = -n*m, -2*m + 5*m - 594 = -l. Is 33 a factor of m?
True
Let d = 48 - 13. Does 34 divide (5/((-150)/336))/((-1)/d)?
False
Suppose -805*q - 6 = -804*q, 0 = d - 4*q - 18150. Is d a multiple of 12?
False
Suppose 0 = -3*w + 19 + 35. Let x be (-183)/9 - 12/w. Let n = 29 + x. Is n even?
True
Let o(i) = i**2 + 9*i + 6. Let v be o(-8). Let y be -3*v/6 - -3. Suppose -r + c + 26 = 0, y*r - 64 = -2*c - 2*c. Does 7 divide r?
True
Suppose 0 = -4*w + 713 + 19. Let y = 205 - w. Is y a multiple of 21?
False
Suppose 30*w - 406181 - 60109 = 0. Is 66 a factor of w?
False
Let u = 55 - 51. Suppose 0 = 4*o + 3*h + 278 - 1898, 2*o + u*h - 820 = 0. Does 11 divide o?
False
Let y = -75 - -80. Suppose 2 = -u - 2*k, y*u = k - 2*k + 17. Suppose -3*z - z + 5*m + 448 = 0, -u*m = -z + 112. Is 16 a factor of z?
True
Let x(m) = -m**3 + 8*m**2 + m + 1. Let c be x(8). Let u(a) = 11252*a**3 - 44 + 16*a**2 + 18*a - 11251*a**3 + c*a**2. Is u(-24) a multiple of 10?
True
Let s(q) = q**2 + 53*q - 106. Let n be s(2). Does 78 divide (1/3)/(n*(-2)/(-3144))?
False
Let s = 532 + -524. Suppose -m + 165 = 2*x, 5*m + 10*x - 865 = s*x. Is 19 a factor of m?
False
Let w be 211*-3*(-4 - 0)/(-4). Let d = w - -996. Let y = d + -259. Does 13 divide y?
True
Suppose b = -4*d - 399, -d = -0*b + 5*b + 1900. Let u = -178 - b. Does 21 divide u?
False
Suppose -203*x = -36*x + 37*x - 33048. Is x a multiple of 9?
True
Let r(p) = -p**3 - 3*p**2 - p. Let c be r(-2). Let n be -3 + 3 + (-1)/(c/(-36)). Let a = n - -120. Does 17 divide a?
True
Let t(q) = 19*q**3 - 9*q - 14*q**3 + 1 - q**3 + 8*q**2. Is 37 a factor of t(5)?
False
Suppose -14*w = 28*w - 97944. Does 6 divide w?
False
Let q = -7618 - -14446. Suppose -q = 24*s - 36*s. Is 18 a factor of s?
False
Suppose -8*u + 20 + 84 = 0. Suppose u = 2*r - 819. Is 32 a factor of r?
True
Suppose w = -w + 140. Suppose 4427 = -x + 4459. Suppose l = w + x. Is l a multiple of 34?
True
Let j = 86 + -88. Is 3*784/6 - j - 2 a multiple of 56?
True
Let n = -14701 - -30481. Is 20 a factor of n?
True
Is 218 a factor of (-20)/(-130) - 2094642/(-143)?
False
Let h(c) = -67*c - 12*c + 42*c. Let v = 1 + -2. Is 6 a factor of h(v)?
False
Let a(d) = -301*d + 1885. Is a(-66) a multiple of 11?
False
Let x(l) be the second derivative of