2)/(-5))/((-3)/(-180)). Is 6/(-4)*(r/(-6) - 56) a multiple of 37?
False
Suppose 10717 = 12*r - 1403. Does 36 divide r?
False
Suppose -3*i = 19 - 1. Let c = 15 + i. Suppose -4*n = -c*n + 205. Is n a multiple of 9?
False
Let a(q) = 53*q**2 - 6*q. Let d be a(2). Suppose -3*l + 5*n = -8*l + d, 0 = l - 4*n - 20. Is l a multiple of 8?
False
Let c = 822 - 445. Is c a multiple of 36?
False
Let j = 2701 + -2303. Does 10 divide j?
False
Does 42 divide ((-4116)/(-20) - 2)/((-1)/(-5))?
False
Suppose 0 = -2*p + z + 8, -p + 3*z + 18 = 4*p. Suppose -210 = -p*l + 4*l. Does 15 divide l?
True
Let z(h) = h + 1. Let d be z(0). Let n(u) = 27*u**2 + 1. Let t be n(d). Let r = t + -16. Is 4 a factor of r?
True
Let i = -13 + 20. Let b(n) = -i*n - 4*n - 8 + 4*n. Does 11 divide b(-7)?
False
Let m(x) = x**2 + 7*x - 11. Let u be m(-9). Let c = u - 7. Let j = 16 - c. Is 8 a factor of j?
True
Let y = 4 - -11. Is 8 a factor of 4*(2/5 + 114/y)?
True
Let g be ((-3)/2)/(18/(-132)). Let r = g - 8. Suppose -r*a - 2*d + 10 = 0, -5*d - 1 = 2*a - 4. Is 3 a factor of a?
False
Let x(j) = j**3 + 52*j**2 - 6*j - 87. Is x(-52) a multiple of 5?
True
Let a = -202 - -1340. Is 11 a factor of a?
False
Let n(u) = -4*u - 5 + 9*u**2 - 2 - u**3 + 3*u. Let v be n(5). Suppose -2*c - 3*c + 4*l = -207, l = -2*c + v. Is 9 a factor of c?
False
Suppose -2*n + 46 = -4*p, -19 = 3*p - 13. Is n a multiple of 16?
False
Suppose 2*a + a = 51. Suppose -41 = -4*d - a. Is 2 a factor of d?
True
Let z be (-3 - -5)/((-2)/(-181)). Let o = z - 96. Suppose -5*l = -0*l - o. Is 5 a factor of l?
False
Let b(m) be the second derivative of -m**5/60 + 7*m**4/24 - m**3/2 + 5*m**2/2 - m. Let s(k) be the first derivative of b(k). Does 2 divide s(5)?
False
Suppose -3*f + 30 = -2*f. Suppose -8*t + 6*t + f = 0. Is 5 a factor of t?
True
Suppose 0 = 8*p + 8*p - 5760. Is p a multiple of 15?
True
Suppose -q = -0*q - 5, -4*z - 275 = -3*q. Let u = z + 89. Is u a multiple of 11?
False
Let g = -1017 - -1773. Suppose -7*a + g = -0*a. Suppose -4*r + a = -100. Is r a multiple of 13?
True
Let t(y) = -2*y**3 + 30*y**2 - 21*y + 3. Does 17 divide t(12)?
False
Suppose h - 3*h = -2*b + 8, 0 = 3*b - 5*h - 12. Let y = 16 - b. Is 5 a factor of y?
False
Let b(k) = 5*k**2 + 3*k - 44. Is b(-8) a multiple of 12?
True
Let v = -5 - -5. Suppose v = h + 5*h - 24. Is 4 a factor of h?
True
Let m(t) = -t**3 - 4*t**2 - 4. Let i be m(-3). Let h = i + 34. Let q = h - 11. Is q even?
True
Is 55 a factor of (-5 - -938) + -7 + 2?
False
Suppose -9 + 24 = -3*o. Let h be ((-19)/(-7))/(184/14 + -13). Let z = h + o. Is 4 a factor of z?
False
Let d be (-8)/44 + 24/11. Suppose z + 3*b = d - 4, 4*z - 32 = -2*b. Suppose -3*i = -8 - z. Does 6 divide i?
True
Suppose -2*q = 3*b + 643, 2*b + 277 = 2*q - 145. Let p = -101 - b. Is 16 a factor of p?
True
Suppose -19*u = -23*u + 12. Suppose 3*p - 96 = u*b - b, -5*b + 160 = 5*p. Suppose 3*l = -t + p, -l - 3*l - 198 = -5*t. Does 19 divide t?
True
Let u be 4/(-3) + 16/3. Suppose u*v + 1 - 5 = 0. Does 5 divide 74*3/6*v?
False
Let l = 2867 - 1557. Does 66 divide l?
False
Let f = 2735 - 415. Is f a multiple of 20?
True
Suppose 4*q - 7*q + 618 = -2*n, 4*n + 12 = 0. Is q a multiple of 10?
False
Let b be 1 + (3 - (-3 - -7)). Suppose -4*l + b*l = -8, 0 = h + 2*l - 5. Suppose h = f - 8. Is 2 a factor of f?
False
Let l = 148 + -78. Is 3 a factor of 0/(-4) + l/2?
False
Suppose 19 = 3*d + 4. Suppose 0 = -0*r - d*r + 485. Suppose q - 3*w - 95 = 0, q - 3*w - w - r = 0. Does 17 divide q?
False
Let f = 1121 - 798. Is f a multiple of 25?
False
Suppose -5382 - 15093 = -21*k. Is k a multiple of 18?
False
Suppose -a = y - 344, 0 = -11*a + 12*a + 5*y - 352. Is a a multiple of 57?
True
Let z(d) = -458*d - 697. Is 23 a factor of z(-8)?
True
Let r(o) = -2*o - 40. Let t be r(-19). Is 5 a factor of 51/(-9)*(t - 1)?
False
Let i be 1/(-3) - 4/6. Let r be -92 + 4 + i + 4. Let l = -17 - r. Does 18 divide l?
False
Let l = -12 - -16. Suppose 5*j - l - 16 = 0. Suppose -3*i + 5*k + 272 = -0*i, -j*k + 404 = 5*i. Does 28 divide i?
True
Suppose 7*w = 136*w - 75207. Is 111 a factor of w?
False
Let m(l) = l**2 + 3*l + 250. Does 3 divide m(0)?
False
Let o = 152 - 101. Suppose 0 = 3*h, o = -2*n + 3*n + 4*h. Is n a multiple of 13?
False
Let m(b) = -b**2 - 3*b + 1. Let h be m(-4). Let z be ((-4)/h)/(18/27). Suppose 3*o - 84 = -z*i - i, -5*i - 4*o = -135. Is 23 a factor of i?
True
Let x = -420 - -545. Is 53 a factor of x?
False
Suppose 3*r - k = 1223, 5*r + 3*k - 781 = 1234. Is r a multiple of 49?
False
Let s be (-2 - -10)*(-3)/(-12). Let t be (1/s)/((-1)/(-2)). Let o(x) = 7*x**2 - 2*x + 1. Is 2 a factor of o(t)?
True
Let k be 11/11 + 0 + 11. Let q = -22 + k. Does 17 divide (4/q)/((-10)/850)?
True
Let h = 1012 + -754. Is 3 a factor of h?
True
Let k(n) = 30*n - 20. Is k(4) a multiple of 4?
True
Let h(f) = -3 + 4*f**2 + 0 - 3*f + 2. Suppose 97*s - 94*s - 12 = 0. Is h(s) a multiple of 19?
False
Let r(h) = -22*h + 252. Is 6 a factor of r(0)?
True
Is 10 a factor of 2/2*(-3 + 63)?
True
Let n be 2/(-5) - (-44)/10. Suppose -n = -r - 1. Suppose 4*i - r*i = 43. Is i a multiple of 11?
False
Is 50266/205 + 4/5 a multiple of 3?
True
Suppose -5*f = 5*x - 570, 0 = f + 5*x - 0*x - 130. Is 38 a factor of 1 + (-2 - -4) + f?
False
Let g(k) = -k**3 - 15*k**2 + 4*k - 21. Does 19 divide g(-16)?
True
Let j(i) = i**3 + i**2 - 4. Let z be j(0). Let f be z/6*690/(-4). Suppose 6*d - f = d. Does 11 divide d?
False
Suppose -o - 6*y = -4*y, -3*y = 9. Suppose 4*q + 72 = -2*j, -2*j + 4*q - 54 = -q. Does 6 divide o/(j/(-10) + -3)?
True
Let j be 1/2*(-744)/(-6). Let b = 158 - j. Is 26 a factor of b?
False
Let s = 12 + -6. Let u be ((-152)/s)/(1/(-3)). Suppose 0 = -2*o - 2*o - 5*q + u, -48 = -4*o + 2*q. Is 4 a factor of o?
False
Let c be 48/(3/2 - 0). Is 5 a factor of 3*c*(-3)/(-9)?
False
Let o(w) = 17*w + 212. Does 23 divide o(5)?
False
Suppose 4*s + 3*i - 524 = 6*i, 0 = 5*s - 4*i - 655. Let c = 51 - s. Let o = -52 - c. Is o a multiple of 14?
True
Let k(j) = 3*j - 2*j - j**2 + 2 - 8*j. Let t be k(-7). Suppose -2*u - 3*d + 36 = d, 0 = -4*u - t*d + 54. Does 5 divide u?
False
Let p be (-2)/11 + 169/143. Let l(t) = 47*t**3 + 2*t**2 - 1. Does 16 divide l(p)?
True
Let j(f) = -f**2 + 2*f + 101. Let d(h) = 3*h + 30. Let r be d(-10). Does 31 divide j(r)?
False
Suppose a - 9 = 5*k + 290, k = -5*a + 1417. Suppose 0 = 2*x - 0*x - a. Is 29 a factor of x?
False
Does 24 divide 184 - -5*20/(-25)?
False
Suppose -5*i = 4*k - 22, -4*k + 1 + 11 = 0. Suppose q - 4 = i. Let g = 23 + q. Does 4 divide g?
False
Suppose -47 - 81 = -8*u. Is 9/(-1 + 17/u) a multiple of 18?
True
Suppose 4*n = -0*n + q + 696, 3*q = -4*n + 712. Suppose 0 = v + 5, 0*m = 2*m + 5*v - n. Does 20 divide m?
True
Let u be ((-450)/24)/(1/(-100)). Suppose -i + 1491 = 4*j, j + 5*i - u = -4*j. Does 62 divide j?
True
Suppose -8 = -4*t, 5*t + 1821 = z + 278. Does 13 divide z?
False
Suppose -5*p + 117 = -5*x - 4148, 5*x - 10 = 0. Is 57 a factor of p?
True
Let b(g) = -g + 6. Let y(s) = 1. Let u(k) = -b(k) + 6*y(k). Let x be u(4). Suppose -15 = -x*f + 113. Is f a multiple of 15?
False
Let v(i) = -i**3 + 5*i**2 + 5*i + 3. Let c be v(6). Let y = c + 5. Suppose 0 = -y*x - k + 119, -3*x + k = 2*k - 177. Does 19 divide x?
False
Is 2 a factor of 72 - (0*(-6)/18)/(-2)?
True
Let s(y) = 2*y - 5. Let a be s(5). Suppose -a*w + 3*g + 13 = -251, 2*w = 4*g + 114. Does 10 divide w?
False
Suppose -4*d + 437 = 17. Suppose -264 = -3*i + q, 2*i - 71 = 3*q + d. Does 22 divide i?
True
Suppose -2*p - 453 + 1989 = 0. Is 12 a factor of p?
True
Let q be 6/8*4 + 1. Let p(y) = 0*y - q + 2*y + 11. Is 8 a factor of p(9)?
False
Suppose -2*l + 129 = -2*i - 55, -4*i = -5*l + 457. Is l a multiple of 2?
False
Suppose v = -2*r - 336, -2*v + 168 = -r + 3*v. Let u = r + 414. Suppose -3*y + u = 30. Is y a multiple of 17?
False
Let u(k) = -3*k - 13. Let i be u(-6). Suppose i*x + 65 = 10*x. Does 2 divide x?
False
Is 45 a factor of 3 + -4 - (-16992)/((-45)/(-5))?
False
Let h(k) = -k**2 - 1. Let y(s) = -3*s**2 - 15*s - 17. Let j(c) = -5*h(c) + y(c). Is j(11) a multiple of 17?
False
Suppose 3*a - 13 + 0 = g, 21 = 3*a - 3*g. Suppose 4*v + 3*j - 121 = 0, 0 = a*v + 2*v + j - 165. Is 13 a factor of v?
False
Let q(m) = -m**2 + 5*m + 6. Let i(d) = 10*d + 13. Let w(n) = 5*n + 6. Let a(k) = 6*i(k) - 13*w(k). Let v be a(-