2184. Is 7 a factor of i?
False
Suppose 11*t = 15*t - 12. Suppose t*d - 405 = -2*d. Is 9 a factor of d?
True
Let n = 7957 - 4541. Does 17 divide (-8)/10 - n/(-20)?
True
Suppose 0 = -3*j + 2*q + 13, -2*j - 3*q = -4*j + 17. Let w(n) = 113*n**2 - 3*n + 2. Does 28 divide w(j)?
True
Suppose -2*v - 2*x = -6*x - 374, -887 = -5*v - 2*x. Let n = v - 94. Let c = n + -57. Is c a multiple of 14?
True
Suppose -3*r - 32 = 4*i + r, -16 = -3*i + 5*r. Let q(f) = -7*f - 4. Does 11 divide q(i)?
False
Let h(a) = a**3 + 14*a**2 - 15*a + 21. Let b be h(-15). Suppose o = -4*n + 77, -n - 2*o + b = -7. Is n a multiple of 4?
False
Does 10 divide 827 + (-3 + 0 - -6)?
True
Let d be 2/(-10) + (-1)/(-5)*1. Suppose d = 4*s - 4*i - 349 - 259, -2*s - 5*i + 318 = 0. Is 20 a factor of s?
False
Suppose -5*w + 80 + 560 = 0. Does 4 divide w?
True
Let s(g) = 33*g + 11 - 2 + 2*g**2 - 21*g. Let t(r) = -r**2 - 8*r - 6. Let z(m) = 5*s(m) + 7*t(m). Is z(-2) a multiple of 3?
False
Let z = -262 + 381. Let b = -10 - z. Let u = -91 - b. Is u a multiple of 25?
False
Suppose 2*n = -n - 15, -3*g - 5*n = -122. Suppose 3*p - g = 32. Is p a multiple of 9?
True
Let c = -9 + 14. Suppose g - 46 = -5*z, -112 = -4*g + 2*g - c*z. Is g a multiple of 11?
True
Let m(c) = -c**3 - 7*c**2 + 5*c. Suppose 2*y - y + 8 = 0. Is m(y) a multiple of 11?
False
Let g = 1584 + -1361. Is g a multiple of 10?
False
Let w(r) = 3*r**2 + 4*r. Let p(g) = -5*g**2 - 4*g. Let o(v) = -2*p(v) - 3*w(v). Let b be (-52)/14 - 2/7. Is o(b) a multiple of 16?
True
Let z be 21/1 + 3/(-2)*2. Suppose -5*q + 159 = -4*m, q - 33 = -4*m + z. Is 14 a factor of q?
False
Suppose -24 = 5*m - 9*m. Suppose -70 = m*r - 13*r. Does 5 divide r?
True
Suppose -2 = p - 6. Suppose 3*y - b - 330 + 6 = 0, -4*y - 4*b = -432. Suppose -m = -p*m + y. Is 14 a factor of m?
False
Let v be (-200)/14 - (-8)/28. Is 3 a factor of 6/v - 432/(-28)?
True
Let u(g) = -3*g**2 - 4*g - 1. Let c(k) = -k**2 - k. Let f be 21/28 + (-41)/(-4). Let i(o) = f*c(o) - 4*u(o). Is 3 a factor of i(-5)?
False
Let y(w) be the third derivative of 7*w**5/60 + w**4/8 - 24*w**2. Is y(3) a multiple of 18?
True
Let p(a) = -13*a**2 - a**3 + 6*a + 2 - 4*a - 3*a - 12. Let m be p(-13). Suppose -7*h = -m*h - 76. Is 6 a factor of h?
False
Suppose -3*c - 14 = 5*h, 0*c - 2*h = -2*c + 12. Let s be -266*c*(-3)/12. Suppose -97 = -4*j + 2*j + n, 3*j + n - s = 0. Is j a multiple of 12?
False
Suppose 4*d = -406 + 1014. Does 38 divide d?
True
Let a be ((-248)/(-12))/((-2)/(-3)). Suppose f + 0*p = 5*p + a, 2*f - 44 = 4*p. Is 12 a factor of f?
False
Is 80 a factor of ((-360)/28)/((-6)/224)?
True
Let v = 89 + -62. Suppose -v = -b + 49. Is 6 a factor of b?
False
Let u = -22 + 25. Is u/(-2)*(32/(-6) - 2) a multiple of 3?
False
Suppose -3*z + z = 5*m - 25, 0 = -2*z + 10. Let t(i) = i**3 - i**2 + 2*i + 4. Let o be t(m). Let l = 10 + o. Is l a multiple of 19?
True
Suppose -91872 = -81*k + 33*k. Is 33 a factor of k?
True
Let t be (-5 - -2)/(9/(-12)). Suppose 140 = n + t*n. Does 3 divide (n/(-6))/((-8)/24)?
False
Suppose 0 = x + 4, -x - 13 = -4*o + 51. Suppose -357 + o = -6*s. Is 2 a factor of s?
False
Let s = 449 + -98. Is 6 a factor of s?
False
Let c = 1076 - 456. Is c a multiple of 36?
False
Let l(a) = -a**3 + 14*a**2 - 6. Let c be l(14). Is 46 a factor of 10*((-1104)/10)/c?
True
Let y(w) = -w**3 - 18*w**2 + 22*w + 6. Let k be ((-16 - 0) + -3)*1. Let s be y(k). Let n = s - -99. Is n a multiple of 17?
False
Does 61 divide 3/((-3)/122)*(-5 - -1)?
True
Let j = 142 + -60. Let y = j - 66. Does 2 divide y?
True
Suppose -z - 2*z = 2*b - 174, 0 = 5*z + 5*b - 295. Let v = z - 40. Is v a multiple of 8?
True
Let u = -60 + 62. Suppose -u*z - 66 = -3*z + 4*c, 111 = 2*z - c. Is z a multiple of 42?
False
Suppose 3*y - 4*n - 9 = -2*n, 0 = 2*n + 6. Let s be 0/(-3) - (-1 - y). Suppose s*d = d + 24. Is d a multiple of 8?
True
Let y be 1/(0 + 2/6) - 2. Let x be 2 + -1 + (-10)/2. Does 6 divide (-33)/x + y/(-4)?
False
Suppose -2*a = -0*a - 4, -a = -4*b + 262. Is b a multiple of 33?
True
Suppose -2*q + 5*i - 152 = 2*q, 87 = -3*q - 3*i. Let k be (-6)/(-33) + 105/q. Does 25 divide (12/k)/((-2)/25)?
True
Suppose -14*z - 4200 = -24*z. Is 21 a factor of z?
True
Let c = -324 + 2680. Is 52 a factor of c?
False
Let a(m) = -m**2 - 2. Let r(l) = -l**2 + l - 2. Let t(i) = -3*a(i) + 2*r(i). Let x be t(-3). Suppose x*o = -2*s + 60, 4*s - 6*o - 60 = -o. Does 10 divide s?
True
Let o = 13 + -10. Suppose -o*c - 2*j = -265, 3*c - 5*j - 400 = -2*c. Does 17 divide c?
True
Let y = -3 - -4. Let u be 0/(6/2*y). Suppose -4*s - 2*c + 44 = 0, u = 4*s - 5*c - 16 - 0. Does 3 divide s?
True
Let d = -23 + -1. Let j be (27/36)/((-2)/d). Suppose -2*h + 9 + j = 0. Is 4 a factor of h?
False
Let x(w) be the third derivative of 0*w + 2*w**2 - 1/8*w**4 + 0 - 11/6*w**3. Is 5 a factor of x(-6)?
False
Suppose 459*l - 471*l + 7632 = 0. Is 53 a factor of l?
True
Let c(o) = -o**3 + 2*o**2 + 2*o - 2. Let z be c(2). Suppose -5*a - 3*m + 492 = -m, -m - 195 = -z*a. Suppose -3*t - 38 = -a. Is t a multiple of 8?
False
Let h(f) = -4*f**2 + 10*f + 2. Let q be h(-4). Let k = q + 170. Is k a multiple of 28?
False
Let b = 34 - 31. Suppose 5*t = 4*z + 1692, 5*t + 2*z + b*z = 1665. Suppose t = -y + 5*y. Is 21 a factor of y?
True
Suppose -63160 = -44*i + 4*i. Does 15 divide i?
False
Let p(d) = -9*d - 8. Let u(q) = 19*q + 15. Let b(s) = 9*p(s) + 4*u(s). Let n = 19 + -28. Is b(n) a multiple of 21?
False
Does 77 divide (-2)/(46/(-69761)) - 164/1886?
False
Let n = -15 - -15. Let g be -10 - -10 - (n - 4). Suppose 2*z + 18 = g*z. Is 6 a factor of z?
False
Suppose 0 = 2*w + 11 + 1. Let q(t) = 3*t + 22. Let x be q(w). Let p(s) = 6*s**2 - s - 8. Is p(x) a multiple of 21?
True
Suppose v = -3*u + 10, 15 - 2 = 4*v + 3*u. Let q be (1 + v - 1) + 3. Suppose -8 = q*g, -5*o = -2*g - 52 - 287. Is 14 a factor of o?
False
Does 34 divide 31 + 488 - (5 - 3)?
False
Suppose 0 = 46*z + z - 141658. Is z a multiple of 137?
True
Let t be 1/(-8) + 1/8 - -5. Suppose -13*l = -t*l - 400. Is l a multiple of 10?
True
Let w(l) = 12*l - 301. Does 12 divide w(42)?
False
Let p(l) = -l**2 - l + 1. Let y(c) = -2*c**2 - c + 5. Let j be 5/3 - (-8)/(-12). Let b(t) = j*y(t) - 5*p(t). Does 5 divide b(-3)?
True
Suppose 3*k + 1 = -4*g + 12, 3*g - 11 = -5*k. Let o(u) = 2*u + 2 - 3 + 3*u**2 + 0*u. Does 4 divide o(k)?
True
Suppose 0 = -3*g + m + 56, -78 = -3*g - g - 2*m. Suppose -446 = -g*t + 10. Does 3 divide t?
True
Suppose 0 = 2*b - 469 - 443. Is b a multiple of 38?
True
Let x = 48 - 48. Suppose x = -2*g + 75 + 129. Is g a multiple of 34?
True
Let u(h) = h**3 + 10*h**2 + 8*h + 6. Let t(x) = -x**3 - 7*x**2 + 9*x. Let f be t(-8). Is 7 a factor of u(f)?
True
Let n(y) = y**3 + 22*y**2 + 41*y + 22. Is 17 a factor of n(-17)?
False
Suppose 11*u - 7*u = 0. Suppose -p = 4*z - u*p - 94, 4*p - 8 = 0. Is 3 a factor of z?
False
Let m = 96 - 63. Suppose -5*v + m = -t, 4*v - 36 = -2*t + 6*t. Suppose q = -v + 62. Does 14 divide q?
True
Let a be 2 + 3/(-6)*-6. Suppose a*d - 120 - 55 = 0. Suppose -6*z + d = -z. Does 2 divide z?
False
Let f(j) = -4*j**3 - j**2 + 1. Let x(s) = s**3 + s**2 - 2*s - 1. Let w be x(-2). Let k be f(w). Suppose 6*a = a - 3*v + 30, -v - 24 = -k*a. Does 3 divide a?
True
Does 3 divide (6 - 8160/50)*(-5)/2?
True
Let i(c) = -c**3 + 5*c**2 - 3*c + 4. Let b be i(3). Suppose 4*g - 18 = -2*g. Suppose g = 2*k - b. Does 3 divide k?
False
Let r = 2532 + -1392. Is r a multiple of 20?
True
Let w(n) = 150*n**2 + 60*n + 114. Does 54 divide w(-2)?
True
Let u(l) = -101*l + 1175. Is 15 a factor of u(-22)?
False
Is 16 a factor of 760/16*(-36)/(-10)?
False
Suppose 154*t + 1464 = 157*t. Is t a multiple of 4?
True
Let v(k) = -k**3 + 5*k**2 + k - 1. Let p be v(5). Suppose 2 = -3*c + p*c. Is (10/(-4))/((-1)/c) a multiple of 5?
True
Let f(q) = q**3 + 9*q**2 + 7*q - 19. Let h be f(-5). Let p be 2*-6*(-14)/4. Suppose -4*b + p + h = 0. Does 7 divide b?
False
Suppose j - 120 = -24. Let l = j - 9. Does 17 divide l?
False
Suppose 106 = 4*d + x - 30, -4*x + 16 = 0. Suppose 105 = 4*p + c, 2*p - 16 = 3*c + d. Suppose 3*q - 7 = p. Does 11 divide q?
True
Suppose -2*a = -5 - 1, 4*a = 4*t - 4. Suppose 2*v - 3*v + t = 0. Does 19 divide v/10 - (-188)/5?
True
Suppose 6*p - 3*p - 51 = 0. Let l(i) = -3*i**3 + 32*i**2 + 21*i - 32. Let b(x) = x**3 - 11*x**2 - 7*x + 11. Let r(t) 