 + 244 = -0*i + x*i. Does 12 divide i?
False
Let c(q) = 10*q**2 + 3*q**3 - 3*q**3 + 14 - 9*q - q**3 - 6. Is 14 a factor of c(8)?
False
Suppose 2*p + 2 = 3*p. Suppose p*l - 36 = -l. Let y = 8 + l. Is y a multiple of 20?
True
Is 21 a factor of (-758634)/(-162) + (-30)/(-405)?
True
Suppose 2*v - 2*b - 57 = 333, 3*b + 390 = 2*v. Is 8 a factor of v?
False
Suppose -8 = 5*z + 17, 0 = -b - 4*z + 9. Is 29 a factor of b?
True
Suppose -378*t = -381*t + 7788. Is t a multiple of 44?
True
Suppose 5*m + 2*k + 510 = 7*k, -k - 4 = 0. Let s = m - -226. Suppose -5*v + v = -s. Is v a multiple of 15?
True
Suppose -1560 = -3*u - v + 1485, -2*u + 4*v = -2016. Does 78 divide u?
True
Let h = 15 + -12. Suppose -3*f = -9 + h. Suppose 3*q - 13 - 32 = f*t, 30 = 3*q + 3*t. Does 4 divide q?
False
Is 7 a factor of 5130/(-150)*2/((-18)/285)?
False
Suppose 2*p - 97 = 375. Suppose 0 = -5*x + p + 244. Is 32 a factor of x?
True
Let u = 5722 - 4025. Is 36 a factor of u?
False
Suppose -3*o + 48 - 3 = 0. Suppose d - o = -5*c, -5*d + 129 = c - 3*c. Does 3 divide d?
False
Let b(f) = f**3 - 44*f**2 - 66*f + 172. Is 8 a factor of b(46)?
True
Let k(h) = h**3 + 9*h**2 - 8*h - 10. Let v be k(-10). Is 12 a factor of 9/(36/(-8))*v?
True
Let z = 34 - 34. Suppose -51*m + 50*m + 94 = z. Is 17 a factor of m?
False
Let b(k) = -9*k**3 - k**2 - 9*k - 6. Does 5 divide b(-3)?
True
Let m(y) = -y**3 + 14*y + 10. Is m(-8) a multiple of 13?
False
Is -1 - (3 - 4) - (-462)/6 a multiple of 4?
False
Let j(u) = -u**2 + 7*u + 2. Let p be j(6). Let t be p/2 - 58 - 2. Let i = 18 - t. Is i a multiple of 21?
False
Suppose 1248 + 1488 = 8*h. Does 18 divide h?
True
Let s = -14 - -13. Is s - (0 + 1 - 45) a multiple of 13?
False
Let o(v) = -v**3 + 5*v**2 + 7*v - 2. Let p be o(6). Suppose 3*j + 2*m = -0*m + 7, 0 = -2*m + p. Is 2 a factor of (5 - 1 - 2) + j?
False
Let c = 298 - -689. Is 25 a factor of (-15)/(-20) + c/12?
False
Let b(c) = 6*c**3 + 2*c**2 - 2*c + 3. Let o be b(2). Suppose -3*p = -o - 32. Does 29 divide p?
True
Does 15 divide 86*(-2)/(-1)*(-103 - -107)?
False
Suppose q - 14 = 4*b + 1, -3*b = 3*q + 30. Let a(k) = k**3 + 6*k**2 - 1. Does 12 divide a(b)?
True
Let h(r) = -4*r**3 + 68*r**2 + 23*r + 29. Does 28 divide h(17)?
True
Suppose -2*w + 0*s = 4*s - 196, 0 = -5*w + 2*s + 430. Suppose 4*a - 2*a = w. Does 6 divide a?
False
Let c(z) be the second derivative of -z**3/2 - 5*z**2 + 3*z. Let p be c(-5). Suppose 0 = -p*d - 5*l + 30, -5*l - 3 = -5*d + 17. Is d a multiple of 2?
False
Let f = 25 + -31. Let q(c) = -4*c + 18. Does 10 divide q(f)?
False
Suppose -3*g = 34 - 40. Suppose -2*o - u = -104, -2*o - g*o - u = -210. Is 15 a factor of o?
False
Suppose 2*f + 17 + 49 = 0. Let g = f - -128. Is g a multiple of 19?
True
Let p(w) = -30*w. Let a(i) = -2*i + 2. Let j be a(-2). Let d = -8 + j. Is p(d) a multiple of 15?
True
Suppose -5*y = -z - 15, 4*y - 4 = -z - 1. Is (-283)/z - (-7)/(70/4) a multiple of 6?
False
Does 30 divide 4125/(-250)*3/(9/(-22))?
False
Does 15 divide 777/(-2)*(-15 - -13)?
False
Let q(g) = -5*g - 1. Let w be q(-1). Suppose -4*p + 8 + w = 0. Suppose -p*h = 28 - 85. Does 17 divide h?
False
Let n be 2/(-4)*2 - -4. Suppose 0 = -n*k - 0*k + 12. Suppose k*j + 82 = 3*d + 2*j, d + 3*j - 9 = 0. Is d a multiple of 6?
True
Suppose -2*w + 7*w + 637 = -4*g, 0 = -2*w + 3*g - 241. Let n = 303 + w. Does 20 divide n?
False
Is 8 a factor of 1092/2 - (48 - 54)?
True
Suppose -13 - 19 = -8*c. Let m = -164 + c. Let v = m + 238. Is v a multiple of 12?
False
Let z(o) = -12*o**3 + o - 1. Let j be z(-3). Suppose j = -5*q + 9*q. Suppose -2*b + q = 3*b. Is 8 a factor of b?
True
Suppose 1404 = 4*p - 5*u, 0 = -4*p - 0*p + u + 1388. Suppose 2*q + 74 = -3*c + 4*c, -4*q = -5*c + p. Does 9 divide c?
False
Let v(m) = 16*m**2 - 19*m - 114. Is 18 a factor of v(-6)?
True
Let v = 532 - 124. Does 12 divide v?
True
Suppose 5*b - 3*l = l + 103, 5*l = 4*b - 77. Suppose b = 14*z - 13*z. Does 6 divide z?
False
Suppose 337 = y + 4*c, -y = 4*y - 2*c - 1729. Let o = y - 224. Is 22 a factor of o?
False
Let k(c) = c**3 - 18*c**2 + 22*c - 54. Is 9 a factor of k(18)?
True
Let r = -59 + -68. Let o = -23 - r. Is 19 a factor of o?
False
Let o be (-260)/(-22) - 5/((-275)/10). Let b(s) = -s**2 + 13*s + 2. Does 2 divide b(o)?
True
Let f(t) = 6*t**2 - 5*t + 3. Let k(z) = 5*z**2 - 5*z + 2. Let q(d) = 6*f(d) - 7*k(d). Let v be q(-4). Suppose -5*l + 174 - 34 = v. Is 14 a factor of l?
True
Let f(n) = 21*n**2 - 7*n. Let y(k) = k**3 + k**2 - k + 5. Let b be y(-2). Does 24 divide f(b)?
True
Suppose -4*l = -9 - 7, -w - 3*l + 129 = 0. Is 13 a factor of w?
True
Suppose 1563 = -278*x + 281*x. Does 16 divide x?
False
Let w(b) be the first derivative of b**3/3 - 3*b**2 - 2*b + 25. Does 27 divide w(-9)?
False
Let j be (37/2)/(5/20). Let i = j + 1. Is i a multiple of 13?
False
Suppose -5*l = -3*y - 448 - 223, -667 = -5*l + y. Is l a multiple of 19?
True
Suppose -w - 2039 = -4*a, -2*w = -20*a + 22*a - 1022. Is 13 a factor of a?
False
Let m(r) = 9*r + 131. Is 16 a factor of m(9)?
False
Is 62 a factor of 1 + 924/(9/3) - -1?
True
Let c(s) = s**3 - 10*s**2 - 11*s + 10. Let d be c(11). Let f be ((-12)/d)/(1/(-5)). Suppose f*p = 3*p + 105. Is 15 a factor of p?
False
Let y be 4/(-6) - (-2827)/33. Suppose -7*c - 111 - y = 0. Let h = -18 - c. Is h even?
True
Suppose -3*g + 35 = 4*g. Suppose -5*s = t - 719, 3*s + 2*s - 725 = g*t. Is s a multiple of 43?
False
Suppose -11*z + 3860 = -331. Does 12 divide z?
False
Suppose 47*m = 45*m + 1052. Does 94 divide m?
False
Does 13 divide -5*((-190199)/820 + 1/(-4))?
False
Let i = -22 + 162. Is i a multiple of 11?
False
Let h = -6 - -8. Suppose -5*j + h*d = -23, -4*j + 2*j = -4*d - 22. Let i(q) = -q**3 + 4*q**2 + 1. Is 3 a factor of i(j)?
False
Let f(d) = -d**3 + 10*d**2 - 6*d - 7. Suppose 4*p - 5*b + 4*b - 24 = 0, 3*p - b - 18 = 0. Is 17 a factor of f(p)?
False
Let n(o) = 12*o - 45. Let c(k) = 6*k - 22. Let h(g) = -11*c(g) + 6*n(g). Is 37 a factor of h(17)?
True
Suppose 23*c + 2*w - 1206 = 21*c, 0 = c - 5*w - 591. Does 45 divide c?
False
Let x = 2648 - -429. Does 88 divide x?
False
Let a = 2303 - 1008. Is 17 a factor of a?
False
Suppose -4*b + 5*h = -4700, b + 6*h = 5*h + 1166. Is 4 a factor of b?
False
Suppose -3*u - 2*u = 5*o - 715, -4*o - 532 = -4*u. Suppose -3*k = -3*q + u, 0*q + 3*k = -2*q + 87. Is 11 a factor of q?
False
Suppose -a + 5048 = -16*w + 14*w, 3*w + 20172 = 4*a. Does 56 divide a?
True
Let f(d) = -2*d**3 - 2*d**2 + d. Suppose -4*t - z - 7 = 0, -26 = -5*z - 1. Does 11 divide f(t)?
True
Suppose -24828 - 33515 = -41*k. Does 33 divide k?
False
Let u(j) = 35*j - 1 - 42*j + 20*j + 0. Does 6 divide u(1)?
True
Suppose 5*o + 4*s - 1973 = 0, 9*o + s = 8*o + 395. Is o a multiple of 19?
False
Let u = -53 - -73. Is (3 - 75/u)/((-2)/288) a multiple of 23?
False
Let u(h) = -68*h**3 + h**2 - h - 1. Let k be u(-1). Let a = -129 - -98. Let y = a + k. Is y a multiple of 8?
False
Does 9 divide 42 + (1/(-3))/(1/6)?
False
Suppose 22*l + 12*l - 26350 = 0. Is 5 a factor of l?
True
Suppose 8*p = 15*p + 7. Let b(t) = -142*t + 1. Does 10 divide b(p)?
False
Let c(b) = -b**2 + 9*b. Is 7 a factor of c(7)?
True
Let u be -3 + (22 - 0) - -3. Let c = u - 16. Is 16 a factor of 386/c - 24/(-36)?
False
Let y be (-4 - -5)/(1/16 - 0). Let a = -4 + 29. Suppose 5*j = -0*j + a, -3*m - 2*j = -y. Is 2 a factor of m?
True
Suppose -2*f - 1804 = -388. Let s be f/72 - 1/6. Is (-12)/(-4) - 0 - s a multiple of 13?
True
Let i(u) = u**3 - 11*u**2 - 28*u + 32. Let l be i(13). Suppose -50 = -l*z - 14. Does 2 divide z?
True
Suppose -33 = -4*f - d + 22, -24 = -3*f + 5*d. Suppose 0 = -2*w - 9 + f. Suppose w*u - u = 14. Does 7 divide u?
True
Let h(i) = i**2 + 5*i + 5. Let n be h(-7). Let b be 0*1/(-2) + n. Suppose -b = -4*s + 29. Does 6 divide s?
True
Let j be 8/(-12)*(136 + 2). Let w = 11 + 8. Let m = w - j. Is m a multiple of 31?
False
Let p(b) = 15 - 8 + b**2 + 6 + 9*b. Suppose t - 4*r - 6 = 0, -2*t - 9*r - 40 = -4*r. Is 12 a factor of p(t)?
False
Let i(y) = -y**3 - 11*y**2 - 36*y - 12. Let h be i(-8). Let z = h + -30. Does 18 divide z?
True
Suppose -3*l + 4*l = 48. Suppose 120 = 2*k - l. Is k a multiple of 12?
True
Does 7 divide -4 - 1/(-1) - (0 - 162)?
False
Suppose 3*r + 92 = -5*h + 273, 4*r - 260 = -2*h. Is 67 a factor of r?
True
Let w(f) = -f + 3. Let n be w(-3). Let z(t) 