Suppose 4*h - b - 84 = 323, 0 = 5*b - o. Does 6 divide h?
True
Is (405/90)/((-6)/(-752)) a multiple of 5?
False
Let o = 3 - -2. Suppose -o*s - 3 + 18 = 0, -201 = -3*k - 4*s. Suppose -4*l + 113 = -k. Is 9 a factor of l?
False
Suppose -1146 = -42*m + 41*m + 5*w, -3*w - 4550 = -4*m. Does 14 divide m?
False
Let j be -3*(4/18)/(5/15). Let u(x) = -30*x - 6. Is u(j) a multiple of 6?
True
Suppose 1442 = -22*s + 29*s. Suppose -6*f + 8*f = s. Does 5 divide f?
False
Suppose 5*c - 3*c = 4. Suppose 0 = c*n + k - 4 - 5, -n + 9 = 2*k. Suppose -12 = -f - 5*w + 31, n*w = 12. Is 20 a factor of f?
False
Let u(a) = 3*a**2 - 2*a - 2. Let b be u(2). Let j(w) = -2*w - 24*w**2 - 3 + b + 25*w**2. Is j(2) even?
False
Let u = 174 + -57. Let y = u - 74. Suppose d + 0*n - 20 = n, 2*d - y = -n. Does 7 divide d?
True
Let x = 130 + 115. Is x a multiple of 4?
False
Let f be (-18)/(-4) - 2/4. Suppose 0*q - 3*q = 0, w - 51 = -f*q. Is 6 a factor of w?
False
Let t = -3 + 3. Let j be -3 + (3 - (0 + t)). Let h(m) = m**3 - m**2 + 23. Is h(j) a multiple of 10?
False
Suppose -3*y - 4*c = -4, -3*y + 3*c + 22 = -2*c. Let t = 34 - 60. Let p = y - t. Does 21 divide p?
False
Suppose -46*o + 54*o - 768 = 0. Let r(m) = m**2 + 8*m - 4. Let t be r(-6). Let p = t + o. Is 20 a factor of p?
True
Is 11 a factor of -4*(-2 - 8577/18)?
True
Let c = 245 + 82. Is c a multiple of 25?
False
Suppose 4*c = -b + 3*b, -22 = -3*b - 5*c. Suppose s = 5*s + 2*d - 34, 0 = s + 5*d - b. Suppose 8*i - s*i + 11 = 0. Is i a multiple of 3?
False
Let s(a) = 393*a**2 - 2*a - 2. Suppose -3 = r + 2*d, 1 = 4*r - d + 4. Is s(r) a multiple of 63?
False
Let a(q) = q**2 + 9*q + 6. Let v be a(-8). Let o(s) = 7*s + 4. Let r(w) = 13*w + 8. Let p(u) = -11*o(u) + 6*r(u). Is p(v) even?
True
Let d(c) = 2*c - 32. Let s be d(16). Suppose 10 = 2*q, -z - q = -s*q - 93. Is z a multiple of 11?
True
Let b(j) = -j**3 - j**2 + 11. Let g be b(0). Suppose 4*d - 4*h + g = 3, h + 3 = -4*d. Does 12 divide (-31)/((d + -2)/3)?
False
Let q(z) = 8*z**2 + z - 1. Suppose 3*f - 2*j - 11 = 2*j, -j = -5*f - 10. Let r be q(f). Suppose 0 = 3*c + 4*o - r + 7, 0 = -3*c + 3*o + 33. Does 15 divide c?
True
Suppose -7*s = 312 - 4764. Is 53 a factor of s?
True
Let s(k) = -k - 8. Let c be s(-5). Does 43 divide -258*(c*3/(-6) - 2)?
True
Suppose -7*w = -2*w - j - 40, -2*j + 8 = w. Let f(t) = -4*t**2 + 4*t**2 - t**2 + 7 + 8*t. Is 2 a factor of f(w)?
False
Suppose -3*q = -6, 2*q = -5*l + 3*l - 20. Let v(p) = -21*p - 15*p - 24*p + 0 + 15 + 59*p. Does 9 divide v(l)?
True
Let y be (7 + -5)*(-1)/2. Is y/2 + (-1225)/(-14) a multiple of 29?
True
Let g(j) = 2*j**2. Let k be g(0). Suppose -5*s = -8*s + 12, 5*r - s - 146 = k. Does 15 divide r?
True
Let a(d) = d**2 + 6*d - 3. Let c be a(-7). Suppose 2*q - c*q + 66 = 0. Is q a multiple of 12?
False
Let n = 22 + -20. Suppose 2*f = -f + 180. Suppose -n*m = 2*m - f. Is 12 a factor of m?
False
Let g(i) = -i**3 + 5*i**2 - 2. Let z be g(2). Is 16 a factor of 26/6*(16 - z)?
False
Let c = 6 + -8. Is 13 a factor of c + (0 - 2) + 56?
True
Suppose -2*g - 10 = 0, -11*g - 178 = -r - 15*g. Is r a multiple of 16?
False
Let s be ((-18)/36)/(2/(-324)). Suppose 4*y - 299 - s = 0. Does 19 divide y?
True
Let s(l) = -73*l**3 + 4*l**2 + l + 2. Is s(-3) a multiple of 59?
True
Let f be (28/(-8) - -2)/((-15)/(-280)). Let o(r) = r + 46. Is o(f) a multiple of 3?
True
Suppose 5*q = 4*y + 15 + 14, -12 = -3*q - 3*y. Let n(s) = s**2 - 2*s - 7. Let c be n(-5). Suppose -q*m + 5*f + 168 = c, -3 = -3*f. Is m a multiple of 8?
False
Suppose -22680 = 40*i - 52*i. Is i a multiple of 21?
True
Does 11 divide (552/28)/((-2)/(-7))?
False
Let x = -28 + 30. Suppose 40 = -x*z + 94. Is z a multiple of 17?
False
Let g(h) = 14*h**2 - 31*h - 225. Is g(-9) a multiple of 66?
True
Let b(o) = -o**3 + 10*o**2 + 8*o + 2 - 4*o**2 + 2. Let k be b(-5). Suppose k = 3*x + 2*i, 2*x + 79 = 3*x + i. Is 27 a factor of x?
True
Suppose -4*m = -19 - 5. Suppose 0 = 5*k + 1366 - m. Is k/20*10/(-4) a multiple of 17?
True
Suppose -5*y - 202*f + 4551 = -198*f, -5*f = -20. Does 5 divide y?
False
Let c(i) = 412*i - 104. Is c(2) a multiple of 30?
True
Suppose 11*k = 5*k + 72. Suppose 2*g + 11 = g + 4*d, 0 = -3*d + k. Suppose g*a - 162 = -2. Is 32 a factor of a?
True
Suppose -p + 153 + 285 = 0. Is 29 a factor of p?
False
Let j(o) = 2*o**3 - 3*o**2 - 70*o + 13. Is j(13) a multiple of 26?
True
Suppose 4*r + 13 = 5*r. Suppose 12*i = r*i - 38. Does 38 divide i?
True
Does 10 divide 45/((279/248)/((-30)/(-2)))?
True
Let b = -46 - -49. Is 9 a factor of 34 + (18/b)/3?
True
Let w be ((-15)/10)/(6/32). Let b(n) = n + 12. Let q be b(w). Suppose -q*t - 61 = -5*t. Is 25 a factor of t?
False
Let l(o) = 4*o + 9. Let c(a) = -9*a - 18. Let k(f) = 3*c(f) + 7*l(f). Let q be k(-7). Suppose q*s - r - 69 = 0, r = 2*s + 6*r - 99. Is 16 a factor of s?
False
Suppose 5*f - 948 = -2*n, -f + 32 + 164 = 2*n. Suppose 0 = -7*q + f + 456. Is q a multiple of 23?
True
Suppose 3 = -f + 8. Suppose f*m + 4*m = 576. Is 16 a factor of m?
True
Suppose -4*n + 53 = g + 4*g, -5*g - 49 = -2*n. Suppose -20*b = -n*b - 468. Is b a multiple of 39?
True
Suppose -5*t = 5 + 15, -2*t = -2*n + 242. Let o(h) = 3*h + 21. Let w be o(-7). Suppose 3*d - 117 - n = w. Does 26 divide d?
True
Suppose -i = -2*x + 3243, -3*x + i + 6491 = x. Does 13 divide x?
False
Let j be (-5 - (-135)/25) + (-276)/(-10). Does 9 divide (-5)/(-2) - (-2954)/j?
True
Let b(p) = 103*p + 293. Is 16 a factor of b(33)?
False
Suppose -z = 9 - 7. Let p(h) = -67*h - 7. Is p(z) a multiple of 33?
False
Let p = -19 - -21. Suppose p*w - 7*w = -1220. Is 53 a factor of w?
False
Is 8 a factor of (-2)/(1 + 625/(-615))?
False
Let z(n) = 25*n**2 - 4*n - 5. Does 38 divide z(-3)?
False
Let s = -247 + 384. Suppose 5*h - 176 = -4*q + s, h = 1. Suppose -2*w = g - 62, q = 4*w - 4*g - 47. Is 31 a factor of w?
True
Suppose m - 272 - 325 = p, -4*p - 582 = -m. Is m a multiple of 68?
False
Let p(k) = k**2 - k. Let j(w) = w**3 + 23*w**2 + 10*w. Let h(z) = j(z) - 4*p(z). Does 14 divide h(-18)?
False
Let v = 62 + -58. Suppose -5*m = -5*q + 35, 4*q + 2*m - 8 = 8. Suppose q*p - 267 = -g, 174 = 2*p + p - v*g. Is p a multiple of 18?
True
Let u = -1527 - -2443. Is 32 a factor of u?
False
Let z(s) = 3*s**3 - 2*s**2 + 2*s - 1. Let q be z(1). Suppose 0 = q*d - 72 + 12. Is 22 a factor of d?
False
Let h(p) = p + 11. Let x be h(-7). Suppose a + r = -3*a + 421, x*r = a - 101. Is 6 a factor of a?
False
Is 4 a factor of -10*(-5 + (-171)/(-45))?
True
Suppose 8 = -2*s - 4*x, -3*s + 2*x + 10 = -s. Let t(h) = 3*h**3 + 4*h**2 - 3*h + 1. Is t(s) a multiple of 5?
True
Let i be -38 + -1*(-4 + 1). Let n = i + 147. Is 28 a factor of n?
True
Let h(r) = -4*r + 3*r - r - 11 + 6*r + 6*r**2. Does 15 divide h(-4)?
False
Let a(s) = 3*s + 187. Is 40 a factor of a(18)?
False
Let p = 9 + -11. Let y = p + -8. Let c(m) = -m**2 - 13*m - 12. Is 18 a factor of c(y)?
True
Does 15 divide (-220)/(-24) - 9 - 6118/(-12)?
True
Is 11 a factor of 771/7 - (-4 + -2)/(-42)?
True
Let u(t) = 7*t**3 - 10*t**2 - 7*t - 18. Does 13 divide u(5)?
True
Suppose -27 = 4*z + 2*k + 89, 3*z + 87 = k. Let j = z - -46. Is 10 a factor of j?
False
Let y be ((-4)/8*-4 + -3)*-503. Let p = y + -351. Is p a multiple of 38?
True
Suppose 5*z + 5*i - 2435 = 0, z - 609 + 107 = 4*i. Does 40 divide z?
False
Let p(q) = 2*q**3 - 12*q**2 + 15*q + 1. Let l = -5 + 12. Is p(l) a multiple of 66?
False
Suppose -4*m + 5*z = 56, -44 = 3*m + m - 2*z. Let g = m - -14. Suppose -4*f + 43 = g*x, 12 + 0 = 4*x. Is 3 a factor of f?
False
Let y = 487 - -311. Is 6 a factor of y?
True
Let u be ((-39)/2)/(21/(-28)). Suppose 4*k = -u + 82. Is k a multiple of 3?
False
Let p be (3 - (-1 + (-2)/(-2))) + 0. Suppose -b + 10 = -s + p, 0 = -2*b - 2*s + 30. Does 8 divide b?
False
Suppose -145 = -2*p + 52*u - 53*u, -5*p + 2*u = -358. Is p a multiple of 12?
True
Let a(f) = 34*f**2 - 17*f + 11. Let n(h) = 11*h**2 - 6*h + 4. Let g(v) = 6*a(v) - 17*n(v). Does 22 divide g(-2)?
True
Suppose 45*d + 1560 = 50*d. Does 52 divide d?
True
Suppose -6*f + f + 15 = 0. Suppose -2*o - 278 = -5*b, f*b + 2*o = 3*o + 166. Does 7 divide b?
False
Suppose -12 = -6*r + 6. Suppose 1287 = 16*k - r*k. Does 13 divide k?
False
Let f be (-33)/(-22)*(-1)/((-6)/(-2128)). Is 20 a factor of 4/(-30)*3 - f/5?
False
Suppose 0 = 5*g - 3*v + 242, 80 = -0*g - 2*g