ue
Does 8 divide 3336/30 + (-5)/((-75)/12)?
True
Suppose 3*l = 4*h + 4, -h - 2*l = -4*l + 6. Suppose 0 = -h*r + 8 + 6. Is r a multiple of 3?
False
Let a = -21 + 19. Let h(l) = -l**3 - 8*l**2 - 8*l - 3. Let s be h(-7). Let y = s + a. Is 2 a factor of y?
True
Let j = -13 - -16. Let r(c) = c**3 - 2*c**2 + 2*c - 3. Does 4 divide r(j)?
True
Let l be (20/6)/(8/12). Let n(o) = 5*o - 2. Is n(l) a multiple of 9?
False
Let r be ((-1)/(-3))/((-1)/(-6)). Suppose -r*j = -0*j - 76. Is j a multiple of 19?
True
Suppose 2*q + 5*r - 324 = 201, 540 = 2*q + 2*r. Suppose -7*d - q = -3*f - 3*d, -4*f = -2*d - 350. Suppose z + f = 6*z. Is 9 a factor of z?
False
Suppose -2*t + 0*t = -420. Is t a multiple of 35?
True
Let f = -8 + 14. Suppose 2*z + f = 5*z. Suppose 0 = -2*s + 5*s + 5*p - 30, 3*s - 30 = -z*p. Is 7 a factor of s?
False
Let a = 209 + -131. Is a a multiple of 12?
False
Suppose -w = 5*q - 7 + 2, 3 = 5*w + 3*q. Does 10 divide w - 0 - (-5 - 5)?
True
Let r(o) = o**3 - 6*o**2 - 3*o + 4. Let q be r(4). Let x = q - -11. Let u = 51 + x. Is 12 a factor of u?
False
Let c = 10 + -7. Is -20*c/(3/(-2)) a multiple of 10?
True
Let f(o) = -6*o - 9. Is f(-3) a multiple of 9?
True
Let b(a) = -a**2 + 3. Let o be b(0). Let i be 114/4 - o/(-6). Let k = -15 + i. Does 5 divide k?
False
Suppose -2*g + 18 = 5*w, 4*g + 5*w - w = 12. Let l = g - -6. Suppose -37 = -0*j - 3*j + l*f, 0 = 4*j + 3*f - 30. Is j a multiple of 4?
False
Let o = 152 + -97. Is o a multiple of 11?
True
Suppose -o - 4*c + 0 + 86 = 0, 5*o + 4*c = 350. Suppose o = -3*b - 87. Let r = -26 - b. Does 13 divide r?
False
Suppose -4*h = -4*c - c - 42, 0 = 5*h + 4*c - 32. Is 8 a factor of h?
True
Suppose 2*k - a = 2*a + 3, -5*k = -2*a - 13. Suppose b - 3*t - k = 0, 2 + 9 = b + 5*t. Does 3 divide b?
True
Suppose -2*i = 3*f - 215, -5*i = 4*f - 192 - 90. Does 23 divide f?
False
Suppose -10*s - 39 = -11*s. Does 13 divide s?
True
Suppose -20 = 4*h, 0 = -4*p + 4*h - 8*h + 28. Does 2 divide p?
True
Suppose 3*t - t = -2*u - 6, 11 = -2*u - 3*t. Suppose 4*r = -u*p - 2*p + 180, 0 = -5*p - 3*r + 233. Is p a multiple of 14?
False
Let z = 4 + -1. Suppose -f + z*p = -0*f - 21, 3*f + 3*p - 75 = 0. Is f a multiple of 12?
True
Is 2/(-10) + ((-37485)/25)/(-7) a multiple of 17?
False
Let t(r) be the first derivative of r + 5/3*r**3 - 1/2*r**2 - 2. Is t(1) a multiple of 5?
True
Let a = 155 - -86. Let g = 355 - a. Suppose -2*c - g + 20 = -3*l, -2*l - 4*c + 52 = 0. Is 15 a factor of l?
True
Let g(s) = -s**3 + 2*s**2 + 4*s - 3. Let q be g(3). Suppose 2*p = q, -2*p + 82 = -2*i + 4*i. Is i a multiple of 13?
False
Let o = -26 + 29. Let t(z) = z**3 + 5*z**2 + 5*z + 3. Let y be t(-3). Is ((-9)/y)/(o/(-68)) a multiple of 17?
True
Suppose -3*m + y = 2*y + 14, -2*m = -4*y + 28. Let f be (m/5)/(6/(-20)). Suppose 0*d - 64 = -f*d. Is 10 a factor of d?
False
Let w(h) = -h**3 + 20*h**2 + 24*h - 22. Is 41 a factor of w(21)?
True
Let t = 48 - 10. Does 23 divide t?
False
Suppose u - 87 = -3*o - 10, -2*u = -o + 21. Is o a multiple of 3?
False
Suppose 77 = 5*a - 4*x, 4*a + 0*x = 5*x + 67. Let z = a - -11. Is 8 a factor of z?
True
Let r be ((-20)/(-6))/(4/6). Suppose -r*f = -z - 2*z + 93, -3*z - 3*f + 117 = 0. Suppose z = 3*g + 6. Is g a multiple of 3?
False
Let m(f) be the second derivative of f**5/20 + f**3/6 + 15*f**2/2 + 21*f. Suppose -2*s = -s. Does 12 divide m(s)?
False
Let w(k) = 12*k**2 + 2*k. Is w(1) even?
True
Suppose 3*g - 379 = -5*r + 3*r, 4*r = -g + 133. Does 15 divide g?
False
Let l(r) be the first derivative of r**4/4 + 4*r**3/3 - 3*r**2/2 + r - 1. Let p be l(2). Let j = p - 10. Is j a multiple of 9?
True
Let p(q) = q**2 - q - 10. Does 10 divide p(-10)?
True
Let u be 2123/143 + (-2)/(-13). Is 3 a factor of ((-6)/4)/(u/(-80))?
False
Let r be (8/6)/((-10)/6525). Is (-2)/9 + r/(-27) a multiple of 16?
True
Suppose 3*d - 6*d + 306 = 0. Let b = d + -62. Does 31 divide b?
False
Let b = 7 + 14. Is (-285)/(-4) + b/28 a multiple of 36?
True
Let j(c) = c**3 - 8*c**2 + 7*c + 1. Let z be j(7). Let r = 43 + z. Is 16 a factor of r?
False
Let n be (2/(-5))/(7/(-280)). Let v = 0 + n. Is 8 a factor of v?
True
Let k(z) = -3*z - 3. Let d be k(-2). Suppose d*s - 2*s - 11 = 0. Is 3 a factor of s?
False
Suppose 5*a - 15 = 0, -4*u + u + a + 384 = 0. Is u a multiple of 48?
False
Suppose 710 = i + 4*i. Let x = -99 + i. Is x a multiple of 12?
False
Suppose 0 = -4*h + 3*h + 49. Let g = h + -29. Is g a multiple of 10?
True
Suppose 6 = -4*f + 2. Let y = 28 + f. Is y a multiple of 9?
True
Let a be 1/((-13)/6 - -2). Let y = a + 8. Suppose 0*r + y*r = 60. Is 15 a factor of r?
True
Let z = -1 + 3. Is 143/z - (-6)/(-4) a multiple of 25?
False
Suppose -4*h = 1 + 19. Is h + 34 - (1 - 0) a multiple of 16?
False
Is 17 a factor of 76/(-6)*(-18)/6?
False
Does 26 divide 26/(-8)*(-120)/5?
True
Suppose -46 = -3*a + 35. Let u = 41 + a. Does 18 divide u?
False
Let d(j) = j**3 + 12*j**2 + 5*j - 28. Is d(-7) a multiple of 7?
True
Let y = 65 + -36. Is y a multiple of 3?
False
Let c = 335 + -125. Is 8 a factor of (c/25)/(4/10)?
False
Let w(m) = m**3 + 20*m**2 + 19*m + 13. Is w(-19) a multiple of 5?
False
Let r = 16 + -3. Suppose 133 - r = 4*b. Does 9 divide b?
False
Suppose -b - 47 = 2. Is 23 a factor of (-3)/(b/46 - -1)?
True
Let g be (3/4)/((-2)/64*4). Let f(m) = m**3 + 6*m**2 + 3*m. Let z be f(-2). Let s = g + z. Is s a multiple of 4?
True
Suppose 2*p + 34 = 2*w, -22 + 2 = 5*w. Let x = 48 + p. Does 9 divide x?
True
Suppose 3*g + 2 = -4*n, -4*g + 5*n = -2*g - 14. Suppose -g*i - 3 = -i. Does 14 divide 28/i*(-5 + 2)?
True
Let m(v) = -v**3 + 7*v**2 + 3*v + 4. Let c be m(7). Let l = 10 + -6. Let w = l + c. Does 11 divide w?
False
Suppose -5*r = -2 - 23. Suppose 2*g + 120 = r*g. Is 10 a factor of g?
True
Let r(p) = -16*p**3 - p + 2. Let l be r(-2). Suppose -4*j + l = -72. Does 17 divide j?
True
Let s be (3 - 1)*65/(-2). Let o = s - -213. Suppose 29 + o = 4*k + 3*c, k - 3*c = 63. Does 13 divide k?
False
Suppose -5*l + 3 + 17 = 0. Suppose -a = 3*a - l, -c - 4*a = -56. Is c a multiple of 26?
True
Suppose 2*t = n + 31, -5*t + 4*n + 60 + 13 = 0. Does 9 divide t?
False
Let p(j) = j**2 + 5*j + 48. Is 24 a factor of p(0)?
True
Let v(j) be the first derivative of -7*j**2/2 - j - 4. Is 6 a factor of v(-1)?
True
Let l = 0 - 0. Suppose -3*i + 42 = -l*i. Is ((-4)/7)/((-4)/i) a multiple of 2?
True
Let c be 9*4/12 - -11. Is (-14)/(-49) + 178/c a multiple of 13?
True
Suppose -g + 5 = 0, -2*x + 2*g + 3*g = -111. Does 25 divide x?
False
Does 41 divide 3/1 + 1 + -2 + 121?
True
Suppose -5*j + 2*f - 1 = 0, 4 = j - 0*j + f. Let w = -1 - -3. Is 9 a factor of 7/j - -1*w?
True
Suppose 4*d - m - 16 = 0, d - 4 = -0*d + 4*m. Suppose -5*v = -n - 2*n + 82, -3*n + 80 = -d*v. Is 5 a factor of n?
False
Suppose 145 = 8*q - 3*q - 4*s, 0 = q - 5*s - 50. Is q even?
False
Suppose 0 = -5*m + 4*c - 341, -6*m + 4*c = -2*m + 272. Let u = -9 - m. Does 30 divide u?
True
Let x(g) = 2*g**2 - 3*g + 3. Suppose -4*d + 6*d - 10 = 0. Is x(d) a multiple of 19?
True
Is (-6)/(-15) - 872/(-20) a multiple of 11?
True
Let x(p) = 9*p**2 + 3*p. Does 21 divide x(2)?
True
Suppose 5*h + 9 + 10 = 2*i, -4*i - 5*h = -83. Suppose v = -3*y + 5*y + i, 2*y = -5*v + 25. Let a(w) = 6*w - 9. Does 11 divide a(v)?
True
Let k = 166 - 97. Is k a multiple of 23?
True
Is 6 a factor of (2*2 - (11 - 11)) + 20?
True
Let y = 5 - 0. Suppose -34 - 121 = -y*a. Suppose -g = 4*r - a, -3*g - 2 = -g. Is 8 a factor of r?
True
Suppose 3*l = -2*l - 55. Let t = 18 + l. Is t a multiple of 5?
False
Let r = -32 - -51. Does 7 divide r?
False
Let n = 12 + -12. Suppose n = -3*o + 8*o - 50. Is o a multiple of 10?
True
Suppose 4 = -s + 2*s + 4*b, 2*s + 3*b + 2 = 0. Does 3 divide 33/9 - s/(-6)?
True
Suppose 3*o = 126 + 324. Suppose 0 = -3*a + 8*a - o. Is 15 a factor of a?
True
Let z(q) = -q**3 - 12*q**2 - 13*q + 4. Is z(-11) a multiple of 15?
False
Let z(h) = -h**2 + 8*h + 2. Let u be z(7). Does 6 divide 6/u - 104/(-6)?
True
Let w be 2 + 0 + 3/(-1). Let q be ((-3)/((-6)/(-10)))/w. Suppose -2*h = 2*f - 28, -3*f + q*h = 17 - 51. Is f a multiple of 13?
True
Let z(j) = 2*j**3 - j**2 + j - 2. Suppose -5 = -4*u + 3. Does 4 divide z(u)?
True
Let d = 7 - 6. Let l be 4/d*(18 - 0). Let o = l + -49. Does 11 divide o?
False
Suppose -5*h + 5 = 2*b - b, -2*b - 4*h = -16. Suppose 2*o + w - b = 7*o, 5*o - 2*w = -