 of (-4)/3*(-3724056)/864?
False
Let s(h) = -3*h**2 - h + 3. Suppose 0*p - 3 = p. Let u be s(p). Let b = 117 + u. Is b a multiple of 32?
True
Let w be -2 - (-636 + 0 + -6). Does 12 divide (-432)/15*w/(-48)?
True
Let v(f) = 2488*f + f**2 - 2488*f - 7. Let r be v(-3). Does 2 divide -15*2/r*2/(-5)?
True
Let l = 26 + -20. Let u be 3 - 3 - l/(-3). Does 44 divide (6*u)/((-27)/(-396))?
True
Let b(r) = -2*r**2 - 7*r - 1. Let y be b(-1). Suppose -m + 2*j = -11, -y*j = -j + 9. Suppose 0 = 5*u - 4*w - 1022, 0 = m*u - 7*u - w + 414. Is 17 a factor of u?
False
Suppose -1197 = 3*r + 1977. Let u = -658 - r. Does 8 divide u?
True
Let z be 4/42 - 19750/105. Let o be 4 - (-5)/((-20)/z). Let s = 145 - o. Does 25 divide s?
False
Let p(j) = 7*j**2 - 17*j + 55. Let t be p(15). Let r = t + -764. Does 12 divide r?
False
Does 67 divide 69*((-1)/5)/((-57)/29735)?
False
Suppose 2*q = 29*q - 63413 - 12781. Is 2 a factor of q?
True
Suppose -73*y + 74*y = 496. Suppose 99*n - 100*n = -y. Is n a multiple of 62?
True
Let k = 316 + -319. Let f(j) = 5*j**2 - j - 13. Is f(k) a multiple of 32?
False
Let f(a) = 4*a**3 - 52*a**2 - 16*a + 46. Is f(26) a multiple of 82?
False
Let r be (-46)/(-16) - 9/(-72). Suppose 2*u - 296 = -2*p + r*u, -5*u + 308 = 2*p. Does 6 divide p?
False
Suppose 0 = 3*k - 4*k - 2*g + 2, -g = -k + 8. Let j(m) = -5*m**2 + 3*m + 19. Let s(i) = -4*i**2 + 3*i + 19. Let d(c) = k*s(c) - 5*j(c). Does 3 divide d(-4)?
False
Let s(g) = -24*g + 68. Let c(j) = 2*j - 65. Let w be c(31). Is 5 a factor of s(w)?
True
Suppose -4*z - 2*k + 776 = 0, -12*k = 5*z - 7*k - 975. Let d = z + 241. Does 38 divide d?
False
Suppose 5*k - 81 = -6*p + 154, -2*k + 118 = 3*p. Does 4 divide p?
True
Let j(z) = 9*z + 22 + 2*z + 3*z**2 - 10*z - 26*z. Is j(10) a multiple of 6?
True
Let g = -16 - -23. Let p be (-30314)/(-4613) - 3/(-7). Does 12 divide p*g/(98/72)?
True
Let r = -30 - -35. Suppose 7*c + 3*j - 390 = 4*c, 122 = c + r*j. Is 25 a factor of c?
False
Let n(c) = c**3 - 8*c**2 - 9*c + 25. Let s(j) = -j**2 + 12*j - 20. Let u be s(10). Suppose u = -10*l - 3*l + 130. Is n(l) a multiple of 9?
True
Let c(m) = 41*m**2 - 43*m - 118. Does 60 divide c(-14)?
True
Let o = -78 - -82. Suppose -3*n - 7 = o*p, 0*p - 4*p - 4*n = 12. Suppose p*d - 300 = -2*d. Is 21 a factor of d?
False
Let d(n) = 15*n**3 - 15*n**2 - 37*n + 18. Is d(6) a multiple of 6?
True
Let z(k) = 9*k - 48. Suppose -936 = -3*f + 984. Let u be (-1 + 1/(-5))/((-48)/f). Is 48 a factor of z(u)?
True
Let v = 37 + -37. Suppose v = -4*w + w + 4*x + 14, 5*w - x - 12 = 0. Let d(p) = 3*p**3 + 4*p**2 - 3*p - 1. Does 3 divide d(w)?
True
Let n(m) = m**2 - 8*m + 9. Let r be n(7). Let h be r*(2 + (-9 - -3)). Let y(c) = c**2 - 5*c. Does 12 divide y(h)?
False
Let l(v) = -v**2 + 29*v + 147. Let g be 8*(2/(-6) + (-92)/(-24)). Does 22 divide l(g)?
False
Let s be 24*((-16)/3 - -5). Does 10 divide (2/10)/((s/290)/(-4))?
False
Suppose -2*h - 2364 = -4*j, -5*h + 2732 + 193 = 5*j. Does 13 divide j?
False
Let j(o) = 80*o**2 - 12*o - 22. Is 61 a factor of j(8)?
True
Let x = 35 + -24. Suppose x + 19 = 6*a. Suppose a*k = 4*j + 225, -3*k + k = 4*j - 90. Is 5 a factor of k?
True
Suppose -922455 + 300567 = -41*a. Does 12 divide a?
True
Let p be 40/6 - (-112)/48. Let x(r) = 49*r - 49. Does 9 divide x(p)?
False
Let h be (-9)/6*(-5 - 15). Suppose o + 28 + 13 = 4*y, -5*y - 3*o = -h. Suppose 6*x + 174 = y*x. Is x a multiple of 13?
False
Let u(l) = 12*l - 6 - 20*l + 4*l - 2. Let x be u(-1). Let b(q) = -82*q - 20. Is 11 a factor of b(x)?
True
Suppose -5*m + 2707 - 187 = 0. Suppose 0 = -5*h - 24 + 4, 5*k + 4*h = m. Does 13 divide k?
True
Let g(n) = n**3 - 63*n**2 - 50*n - 1120. Is g(67) a multiple of 97?
False
Is 2 a factor of (-2 + 14/(-6))*(4 + -133)?
False
Suppose 577*z = 623*z - 732320. Does 199 divide z?
True
Let w(l) = 3*l**3 - 7*l**2 + 6*l - 13. Let r be (-24)/12 + 1/1. Let t(a) = -a**3 - a**2 + a + 1. Let x(h) = r*w(h) - 4*t(h). Does 34 divide x(-11)?
False
Let c(w) = 482*w + 15. Let p be c(13). Suppose 5*j - p = -6*j. Is 15 a factor of j?
False
Suppose 31559 = 5*b + 4*g, 1710 = 2*b - 2*g - 10892. Does 119 divide b?
True
Is 7 a factor of -15 + 8 + 5 - -2060?
True
Suppose -3*j = 3*o - 15, j + 0 = -4*o + 11. Suppose 3 = h + s, -1 = h + o*s - 5. Let l(m) = 58*m**2 - m + 1. Is l(h) a multiple of 21?
True
Let y(b) = 3*b + 1213. Is y(26) a multiple of 6?
False
Suppose -7*a = -15*a + 11872. Suppose -4 = -4*c, -5*m + 5515 - a = c. Is 26 a factor of m?
True
Let x = -123 - -124. Does 18 divide x + (2 - 6) - -153?
False
Suppose -3*z = -7*z - 2*l + 7296, -4*z = -4*l - 7320. Is z a multiple of 70?
False
Let h(i) = 5*i**2 - 37 - 72*i + 213*i - 78*i - 75*i. Is h(8) a multiple of 17?
True
Let w = -32991 - -33036. Does 3 divide w?
True
Let x(w) = -4*w + 45*w**2 - 46*w**2 - 11*w + 3 + 41. Does 7 divide x(-12)?
False
Suppose -6*q + 761 = r - 2*q, -q = 3*r - 2316. Does 31 divide r?
False
Let l = 7208 - 2098. Is l a multiple of 70?
True
Let c = 18243 - 13024. Is 46 a factor of c?
False
Let o(w) = 11*w + 72. Let f(z) = 12*z + 71. Let u(g) = -5*f(g) + 4*o(g). Is 11 a factor of u(-9)?
True
Let l(o) = -o**3 + 3*o**2 - 6*o + 3. Let s be l(2). Let y(w) = -7*w - 16. Let k be y(s). Suppose 23*x - k*x = 308. Is 11 a factor of x?
True
Let l(r) = -3*r**2 + 2*r + 12. Let v(u) = 2*u**2 - 2*u - 4. Let s(o) = 3*l(o) + 5*v(o). Let f = -16 + 27. Is 11 a factor of s(f)?
False
Suppose 7 = -4*u - 41. Suppose -3*a + 5*l = -169, 4*a - 4*l + 4 - 240 = 0. Let p = a - u. Is 27 a factor of p?
False
Suppose 0 = -8*b + 9*b - 731. Suppose b = 11*g - 2580. Is 43 a factor of g?
True
Let x(p) = 7*p - 17. Let z be x(18). Let m = 293 - z. Is m a multiple of 5?
False
Let g = 287 - 169. Suppose -5*b + g - 33 = 0. Let n = b - -1. Is n a multiple of 2?
True
Let r = 31 - 28. Suppose 0 = 9*o - 10*o + 420. Suppose 0 = 5*p + 3*m - o, -r*p + 130 = -5*m - 88. Is 27 a factor of p?
True
Let o(b) = -3*b**3 - 3*b**2 - 2*b + 4. Suppose -2*n + 7*q = 2*q - 67, -2*n + 63 = -q. Suppose 6 = 29*w - n*w. Is o(w) a multiple of 16?
True
Let c be 476/42 - (-6)/9. Is (160/(-2) + (c - 16))*-3 a multiple of 63?
True
Let a = 114 + -111. Suppose 5*x - 2*l = -6, -2*x - 2*l + a = -l. Suppose -2*g - 3*m - 79 = -317, -5*g + m + 595 = x. Is 17 a factor of g?
True
Suppose 0 = 2*z + 10, 1540 = -5*h - 3*z + z. Let g = 84 - h. Does 15 divide g?
True
Suppose 6*k - 2902 = 1730. Does 12 divide k?
False
Let d be (-7)/(7/(-64)) - 2/2. Let b(v) = 6*v**2 + 5*v - 3. Let t be b(4). Suppose 3*z + t = n + 8*z, -n = -5*z - d. Is n a multiple of 22?
True
Let n = 7556 - 4590. Does 5 divide n?
False
Suppose 0 = 72*i + 9593 - 647081. Is 233 a factor of i?
True
Suppose 41 + 9 = -2*b. Suppose -37 = 4*t - y, -4*t - 49 = 789*y - 786*y. Is 16 a factor of -110*(-3 + b/t)?
False
Let h = -104 + 155. Is ((-7)/(126/(-60)))/(1/h) a multiple of 17?
True
Suppose -47*x + 56*x = 1710. Is x a multiple of 2?
True
Let n be 1 - -3 - (5 - 3). Let x be 9/(10/n - 2). Suppose x*v = -0*v + 3*i + 918, 0 = 5*v + 2*i - 1523. Is v a multiple of 14?
False
Let l be 2/19 + (-231281)/(-779). Let i = l - -850. Does 21 divide i?
False
Let m be (-40)/(-20) + -1*38. Does 13 divide 6/m*-933 + 2/4?
True
Suppose 14*o + 176046 = 21*o + 38993. Is 22 a factor of o?
False
Let s(y) = y**3 + 11*y**2 - 44*y - 22. Let z be s(-14). Suppose -z*d = -368 - 418. Is d a multiple of 15?
False
Let a(c) = c - 4. Let b be a(2). Let d be b/4*(-6 + 6). Suppose -4*w + 98 + 190 = d. Is w a multiple of 18?
True
Let c(x) = 2501*x**2 - 260*x - 529. Is c(-2) a multiple of 11?
False
Let d(g) = 31*g - 3 - 27*g**2 + 23*g**2 - 3. Let u be d(6). Is 35 a factor of (u - (-2 - -1)) + -2?
True
Let y = -48 - -52. Suppose l + 16 - 4 = -4*t, 0 = 2*t - y*l + 6. Let z(u) = 8*u**2 + 5*u + 3. Is 30 a factor of z(t)?
True
Suppose 13*r + 45600 = 18*r. Suppose 26*s = 14*s + r. Is 63 a factor of s?
False
Let m(t) = -443*t - 6. Let q(u) = 443*u + 7. Let v(p) = 4*m(p) + 3*q(p). Let f(n) = -221*n - 2. Let k(r) = -5*f(r) + 3*v(r). Is 25 a factor of k(-1)?
True
Suppose 4*n - 16 = -4*z, 4*n - 2*z + 8 = 2*n. Suppose 14*d - 36*d + 110 = n. Does 2 divide d?
False
Is (10437/6 - 17)*24/5 a multiple of 53?
True
Let i(v) be the first derivative of -15/2*v**2 + 38 - 8/3*v**3 - 7*v - 1/4*v**4. Does 49 divide i(-7)?
True
Let t(p) = -2*p**3 - 2*p**2 - 4. Let v be t(-2). Su