Suppose -2*q = t - 15, 4*q - 27 = 2*q - 5*t. Suppose -87 = q*i - 483. Is 22 a factor of i?
True
Let p(o) = -o**3 - o**2 + 14*o + 14. Let q(v) = -3*v - 15. Let g be q(-3). Is 11 a factor of p(g)?
True
Let d be (-2)/((-8)/12) - -6. Let o be (d - 6)*(-4)/(-3). Let f = o - -56. Is 20 a factor of f?
True
Suppose -4*x = -3*h + 68, -2*x - 3*h = -0*x + 52. Is (7 + 0)/(x/24 - -1) a multiple of 14?
True
Let i = -3 - -9. Let l be ((-2)/(-1))/(i/9). Suppose -l*c + 138 = 2*y, 5*c - 230 = 4*y - 3*y. Does 17 divide c?
False
Is 49 a factor of (-27 + -171)*(-2)/3?
False
Let j(y) = -y - 4. Let b be j(-8). Let l = b - -21. Does 16 divide l?
False
Suppose 0 = 4*q - m - 100 - 253, -3*m - 3 = 0. Does 15 divide q?
False
Suppose 0 = 4*u - 11 + 3. Is 17 a factor of (u - -83)/(-4 + 5)?
True
Let o(d) = 3*d + 22. Let h be o(-8). Is 36/54*(-309)/h a multiple of 13?
False
Let p(z) = -z**3 - 4*z**2 + 3*z. Let d(j) = -j**2 + 14*j - 7. Let i be d(14). Let n be p(i). Let q = -78 + n. Does 24 divide q?
True
Let c(t) = -t**2 + 12*t + 7. Let d(b) = -b + 3. Let o be d(-4). Let n be c(o). Suppose 5*m - n - 28 = 0. Is 5 a factor of m?
False
Suppose -2336 = -6*t + 2152. Does 68 divide t?
True
Is (196/3 + 0)/(5/15) a multiple of 14?
True
Let s(c) = 5 - 1 - 13*c + 6*c**2 - 7*c**2. Let o be s(-10). Let y = -19 + o. Is y a multiple of 11?
False
Suppose 2*r - 24 = -10. Let l(u) be the first derivative of u**4/4 - 5*u**3/3 - 9*u**2/2 + u - 1. Is l(r) a multiple of 15?
False
Let l = 104 - -12. Is 14 a factor of 4/((-2)/3 + l/168)?
True
Let b(x) = x**2 + 4*x - 32. Suppose -22*t + 12*t = -80. Is 12 a factor of b(t)?
False
Suppose 2*x + 4 = 2*t, 2*x = 3*t - 7*t + 38. Suppose -t = -4*b + 3*b. Is b a multiple of 7?
True
Suppose 7*n - 12 = 4*n. Suppose 0 = c + g - 14 - 10, c + 2*g = 29. Let s = c - n. Is 5 a factor of s?
True
Let a(q) = 9*q - 1. Let k(f) = 125*f - 15. Let c(t) = -55*a(t) + 4*k(t). Let v be c(2). Suppose 5*s - 215 = -v*p, -2*p - 52 = 4*s - 232. Is 8 a factor of s?
False
Is (47/(-94))/((-1)/(4158 - -2)) a multiple of 104?
True
Let n = 2 + 7. Let r(j) = j**2 - 7*j - 16. Let o be r(n). Does 6 divide ((-60)/o)/(-6 + 5)?
True
Does 7 divide (-6)/(-5 + (-5430)/(-1090))?
False
Suppose 8*g + 1062 = -g. Suppose 3*w - 6*w + 573 = 2*j, 186 = w - j. Let o = g + w. Does 42 divide o?
False
Let a be ((-264)/(-40))/(2/(1 - 11)). Let u = 110 + -33. Let s = a + u. Is s a multiple of 10?
False
Let t(g) = -3*g - 7*g**2 + 9*g - 18 + 13*g**2. Is 13 a factor of t(6)?
True
Is -1 + ((2173 + 7)/5)/1 a multiple of 5?
True
Let f(k) be the second derivative of -k**4/12 - 3*k**3/2 + 25*k**2/2 - 8*k. Is f(-9) a multiple of 14?
False
Suppose -4*n - 7*r = -5*r - 522, -144 = -n + 4*r. Is n a multiple of 11?
True
Let p(u) = -u**2 + 11*u - 4. Let j(z) = 2*z**2 - 11*z + 5. Let c(y) = -2*j(y) - 3*p(y). Let v be c(-11). Does 13 divide v/4*(-392)/(-14)?
False
Let k be (-1 + 0)/((-2)/2). Let z be (-2 - (k + 1))/(-2). Is (-1)/z*6*-1 a multiple of 3?
True
Let u be (-2)/9 - 2312/(-36). Suppose 0 = -13*d + 11*d + u. Does 10 divide d?
False
Suppose -3*h - 12 = 0, -h - 4*h + 430 = 5*a. Let n(d) = d**3 + 15*d**2 - 17*d - 22. Let u be n(-16). Let c = u + a. Does 14 divide c?
True
Let i(a) = -a**3 - 6*a**2 + 4. Let k be i(-6). Let n(d) = d**2 - 5*d - 2. Let u(v) = 4*v**2 - 19*v - 13. Let l(f) = -9*n(f) + 2*u(f). Is 2 a factor of l(k)?
True
Let g(x) be the first derivative of 17*x**5/60 - x**3/6 - x**2 - 1. Let v(h) be the second derivative of g(h). Is 4 a factor of v(-1)?
True
Let g = -782 - -1320. Let i = g - 320. Suppose 2*h = -5*f - 0*f + i, 0 = 3*f - 3*h - 114. Is 11 a factor of f?
False
Suppose -13 = -c - 18, -634 = -d + 2*c. Does 52 divide d?
True
Let r(u) = -4*u + 24. Let s = -34 + 28. Does 7 divide r(s)?
False
Let g(n) = -2*n**3 - 2*n**2 - 8*n + 2. Let o be 4*(3 + (-60)/16) + 0. Is 7 a factor of g(o)?
False
Let w = 345 + -169. Suppose -3*j - 47 + w = 0. Is j a multiple of 9?
False
Let k be 53/((-29)/(-6) - 5). Let s = -201 - k. Is s a multiple of 9?
True
Suppose 4*g + 20 - 120 = 0. Let b = -33 + g. Let i(u) = -5*u + 1. Is 11 a factor of i(b)?
False
Let c = 51 + 20. Let u = c - 6. Is u a multiple of 18?
False
Let r be 1*-3 - (-55)/5. Suppose -3*c = -r*c. Suppose 3*t = -c*t + 75. Is 4 a factor of t?
False
Suppose 0 = -r - 8*r + 2664. Does 34 divide r?
False
Is (4277/141)/((-1)/(-18)) a multiple of 10?
False
Let t(k) = 5*k**2 + 4*k - 1. Let a(o) = -o**2 + 5*o - 3. Let b be a(4). Let w be b/6 + (-187)/(-66). Is 28 a factor of t(w)?
True
Suppose 2*q + 3848 = o, 4*o - 180*q = -176*q + 15396. Is 14 a factor of o?
True
Suppose 4*z - 1743 = h - 314, 3*h + 371 = z. Is 18 a factor of z?
False
Suppose 15*d = 13*d + 18. Let f(n) = 4*n - 9. Let y be f(d). Suppose 0 = -r + y + 69. Is 32 a factor of r?
True
Suppose -l = 1, 3*j - 4*l = j + 16. Does 8 divide (-33*3/j)/(1/(-2))?
False
Suppose 0 = -2*b - 4*c + 870, 0 = -6*b + 4*b + c + 870. Does 15 divide b?
True
Suppose -3*k = -6, -646 = -4*s - 4*k + 1558. Is 61 a factor of s?
True
Let q(b) = -b**3 + 3*b**2 + 5*b - 2. Let m be q(4). Suppose -m*w = -6*w + 572. Does 13 divide w?
True
Suppose 108 = -3*h + 7*h. Suppose -h + 123 = 3*a. Does 14 divide (a/(-10))/((-8)/140)?
True
Suppose -h = 3*r - 2464, -57*h - r = -53*h - 9878. Is 24 a factor of h?
False
Suppose 4*j = -2*x + 4634, x + 15 = 4*x. Is 43 a factor of j?
False
Does 19 divide 40071/114*2*1?
True
Let x = -213 + 438. Suppose 0 = -2*b + 183 + x. Is b a multiple of 17?
True
Let t = -51 - -49. Let n(a) = -a + 10. Is n(t) a multiple of 2?
True
Let x(a) = 24*a + 6. Let j = 25 - 22. Is x(j) a multiple of 10?
False
Let n = -13 + 15. Suppose r - 24 = -n*u - r, 0 = 3*u - 2*r - 51. Does 3 divide u?
True
Is (0 + -1)*-18*65/2 a multiple of 45?
True
Let u(q) = 5*q**2 + 4*q + 42. Is u(6) a multiple of 13?
False
Suppose 633 = 4*c - 15. Suppose -p - 2*b - 203 = -4*p, -2*p + c = 4*b. Does 60 divide p?
False
Let o be (-96)/(-60) - (-4)/10. Does 11 divide (-462)/(-28) - (-1)/o?
False
Suppose -55 = 5*s + 5. Let j = 3 + s. Let r = 13 + j. Is r a multiple of 4?
True
Let k = -24 + 20. Does 29 divide 28/k*-13 - 4?
True
Let s be 6/(-6)*27/1. Let b = s + -32. Let a = b - -102. Is a a multiple of 11?
False
Let l = 67 - 100. Let u = l - -84. Does 7 divide u?
False
Let x(u) = 2*u**2. Let s be x(-1). Let b be 2/10 + s/(-10). Suppose b = -4*v - 12, 4*n = v + 71. Is n a multiple of 16?
False
Let g = -1086 + 2178. Is g a multiple of 84?
True
Suppose -2*g = -5*n + 21, n - 3 - 2 = 0. Suppose g*h + 3*w = h + 9, -2*h = -5*w + 26. Is (-229)/h + 32/48 a multiple of 29?
False
Let n(q) = -q**2 - 4*q + 5. Let f be n(-5). Let j be -2 + -1 + 7 + f. Suppose -j*h = -263 + 79. Is 23 a factor of h?
True
Suppose 6 = -q + 4. Is (148/(-6))/(q/3) a multiple of 15?
False
Let k = 7 + -5. Suppose 5*v + 2*f = 14, -3*v - 2*f + 14 = 2*f. Suppose 0 = -3*l - 5*p + 11, -k*l + v*p = p - 29. Does 10 divide l?
False
Suppose 0 = -6*g + 5*g + 4. Suppose 273 + 135 = g*b. Is b a multiple of 22?
False
Let n(d) be the second derivative of -d**4/4 - d**3/6 + d**2/2 + 3*d. Let c be n(-2). Let x = 12 - c. Does 7 divide x?
True
Suppose 0 = 2*l + 7*l - 2790. Does 10 divide l?
True
Suppose 52 - 1276 = -17*f. Does 12 divide f?
True
Let n(u) = -u**3 - 12*u**2 + 16*u + 19. Let i be n(-13). Let s = -218 + 533. Does 35 divide (s/60)/((-1)/i)?
True
Suppose -25410 = 119*j - 134*j. Does 17 divide j?
False
Let p = 43 - -217. Suppose -2*g - p = -7*g. Is 26 a factor of g?
True
Suppose -2*m + d + 2559 = -0*d, 3*d = 4*m - 5115. Does 21 divide m?
True
Suppose 3*p + 2 = -4. Let x = p - 0. Does 19 divide (3 - 0/x) + 18?
False
Let s = -101 + 151. Is s*(-1)/(2 - 0)*-1 a multiple of 18?
False
Suppose 2*o - 2 = 3*h + 1, 3*o = -5*h - 5. Does 18 divide (7/14)/(h/(-36))?
True
Suppose 1551 = 12*j - 2601. Is 2 a factor of j?
True
Let m(c) = 15*c - 25. Let h be m(10). Let u = -108 + h. Is u a multiple of 3?
False
Let y = -10 - -24. Suppose 4*b = 4*x - 40, -4*b - 23 = -3. Suppose -4*n + x*s + 62 = 0, 2*n - n - 2*s = y. Is 6 a factor of n?
True
Suppose 4*f = 9 + 27. Let c be 214/f - 2/(-9). Suppose -5*u + 24 = h, u + 3*u + c = 4*h. Is h a multiple of 5?
False
Let w(r) = 7 - 32 - 18*r + 4*r**2 - 5*r**2. Is w(-11) a multiple of 13?
True
Suppose 5 = -2*d - 25. Let a(z) = z + 16. Let v be a(d). Does 20 divide (9/(-2))/(v/(-20))?
False
Suppo