o + o - 18 = 3*z. Suppose -o*d + 620 = -2*d. Suppose d = 3*w - 5*j, -j - 6 + 2 = 0. Is 15 a factor of w?
True
Suppose -5*q + 6*q = -22. Let w = -204 - -238. Let y = w + q. Is y a multiple of 7?
False
Let q(p) = p**2 - 6*p - 4. Let a be q(7). Let y be -19*((-15)/a - -3). Suppose -y = -3*k + 7. Is k a multiple of 9?
False
Let m = -27 + 94. Let v(n) = n**3 + 7*n**2 + 7*n + 2. Let s be v(-5). Suppose s = 2*d - m. Is d a multiple of 21?
True
Suppose 0 = 5*m + 15, 3*j - 7 = -5*m + 11. Suppose -j = f - 17. Is f a multiple of 2?
True
Let v(r) = r**3 + 6*r**2 + 7*r - 2. Let n be v(-4). Suppose -n*i = i - 216. Does 18 divide i?
True
Suppose 5*n + 3*x = 2485, 3*x + 32 = n - 447. Is n a multiple of 29?
False
Let o(y) = y**2 + 5*y - 3. Let i be o(-6). Let x be 1/(2*(-4)/(-136)). Suppose c - 1 = 0, -i*c = -s - 5*c + x. Is 15 a factor of s?
True
Suppose 15035 = 24*c + 5675. Is 6 a factor of c?
True
Let k(a) = 43*a**2 - 4*a. Let i be k(-2). Suppose -5*j + 180 = 5*s - 0*j, 5*s - 2*j - i = 0. Is 18 a factor of s?
True
Suppose 0 = j - 5*h - 63, j - h - 30 = 33. Suppose 3*b = 2*c - j, -98 = -3*c - 3*b + 19. Does 6 divide c?
True
Let g = -8 + 11. Suppose 0 = -3*x + 4*d - 10, -g*x - 1 + 11 = d. Suppose -3*v - x*y + 75 + 19 = 0, 89 = 3*v + y. Is 14 a factor of v?
True
Suppose -29*g = -34*g + 18105. Is 71 a factor of g?
True
Suppose 1725 = 3*l - f, -4*l + 2865 = l - 5*f. Suppose -84*q + l = -80*q. Does 24 divide q?
True
Suppose -2*o + 2 = -8. Suppose 0 = 3*p - o*h - 130, 146 = 3*p - 0*p - h. Does 14 divide p?
False
Suppose 2*s = v + 1757, -2*v + 594 + 3812 = 5*s. Does 11 divide s?
True
Let v(s) = -s**3 + 2*s**2 + 2*s + 1995. Is 91 a factor of v(0)?
False
Let a(o) = 2*o**3 + 8*o - 9. Is a(4) a multiple of 10?
False
Suppose 0*u - 4*u + 68 = 0. Let q = 7 + u. Let w = -16 + q. Is w a multiple of 3?
False
Let b(z) = -z**2 - 38*z + 56. Does 52 divide b(-17)?
False
Suppose 0 = 7*w - 2*w. Let o = -1 + w. Is (18/12)/(o/(-30)) a multiple of 15?
True
Suppose 5*c + 17 = -4*w, 4*c - 2*w - 1 - 1 = 0. Let d be (-3 - 21)/(0 - c). Let a = d + 26. Is 2 a factor of a?
True
Let d(c) = c - 2. Let w be d(1). Is (-7)/((-3)/(59 - w)) a multiple of 10?
True
Let y be 25 - 25 - 1*-2. Suppose -3*z + 474 = -3*s, z - y*s - s - 154 = 0. Is 32 a factor of z?
True
Suppose -3*l + 9 = 2*m, -3*m - 5*l + 21 = -3*l. Suppose -4*k + 4*u - 141 = -m*k, -116 = -4*k - 4*u. Is k a multiple of 6?
False
Suppose 15*y + 3929 = 31334. Is y a multiple of 21?
True
Let i(w) = -25*w**3 + 1. Let s be i(1). Let l = s + 33. Is 5 a factor of l?
False
Let z(w) = w**3 + 3*w**2 + 1. Let h be z(-2). Suppose -d + 65 = -h*u, 324 = 4*d - 2*u - 2*u. Let k = 147 - d. Does 11 divide k?
False
Let a(n) = n**3 - 8*n**2 - 20*n. Let j be a(10). Suppose j = 8*d - 149 - 203. Is 11 a factor of d?
True
Suppose 2*a - 6248 + 704 = 0. Does 25 divide a?
False
Suppose 7 = 2*h + q, h - 4*q = -0*h + 8. Let g be (h/(-14))/((-2)/14). Suppose -5*r + g*r + 9 = 0. Does 2 divide r?
False
Let f be (6 + -1)/((-55)/(-22)). Let a = f + -4. Is 145/15 + a/(-6) a multiple of 4?
False
Let u = 59 - 48. Suppose 12*a = u*a + 9. Does 3 divide a?
True
Suppose 118 = -9*a - 89. Let m = 41 + a. Is m a multiple of 6?
True
Let j(p) = p**2 + 4*p + 1. Let t be (-6)/39 + 111/(-39). Let v be j(t). Is 78 + -2 + v + 3 a multiple of 16?
False
Let w(s) = s**2 - s + 29. Let u be w(-7). Let c = -58 + u. Does 27 divide c?
True
Let d = 6 - 6. Let s be -5 + d - (0 - -1). Is 10 a factor of (-1)/(-2)*-10*s?
True
Let w(r) = r**2 + r + 1. Let j(n) = 5*n**2 + 12*n + 10. Let c(x) = -j(x) + 4*w(x). Let l be c(-8). Does 4 divide l*-10*(-1)/(-4)?
False
Suppose -11*m = -13*m + 1462. Does 46 divide m?
False
Let a(h) = h**2 + 9*h. Let l be a(-15). Let n = -9 + l. Does 27 divide n?
True
Suppose 9*m - 44 = -539. Let q = m + 66. Is 2 a factor of q?
False
Let b = 5 - 6. Is -16*2/b + -4 a multiple of 4?
True
Suppose -4*o = -3*v - 27 - 32, 4*o - 65 = v. Does 2 divide o?
False
Let f(m) = -45*m - 12. Let z be f(4). Does 17 divide z/10*(-220)/66?
False
Let n = 19 + -23. Let k = 33 + n. Is 29 a factor of k?
True
Let m(t) = -6*t**2 + 66*t + 24. Does 24 divide m(8)?
True
Let p = -381 + 1222. Is 29 a factor of p?
True
Suppose 159877 = 84*l - 24083. Does 73 divide l?
True
Let u(s) be the first derivative of s**2/2 + 11*s + 3. Let q be u(-8). Suppose -2*o = q*o - 360. Is 25 a factor of o?
False
Let u be ((-6)/(-12))/((-1)/(-2)). Suppose -10 = -5*o, u = d + o - 4. Suppose -3*t - 2*y = y - 186, d*t = -2*y + 187. Is 14 a factor of t?
False
Let k(v) = v + 2. Let h(i) = 3*i + 15. Let d(w) = 2*h(w) - 22*k(w). Is d(-6) a multiple of 51?
False
Let s(w) = w**2 - 5*w - 14. Let m be s(-5). Suppose -m = -2*r + 16. Is r a multiple of 26?
True
Suppose 0 = 12*c - 2980 + 40. Is c a multiple of 35?
True
Is 48104/74 + (-178)/3293 a multiple of 25?
True
Let a be 40/16*12/5. Let d be a/(-9) - (-104)/(-6). Let t = d - -74. Is 16 a factor of t?
False
Let y = 38 + 62. Suppose 2*w - 7*w - p = -114, 4*w + 3*p = y. Is 22 a factor of w?
True
Suppose 0 = 4*i - r - 3042, -3*r + 5*r = -2*i + 1526. Is i a multiple of 13?
False
Let v = -80 + -23. Let w = -70 - v. Is w a multiple of 14?
False
Let p = 9 + -7. Suppose -p*d = -0*d - 6. Suppose d*n - 60 = -n. Is 5 a factor of n?
True
Let l(u) = -45*u + 117. Is 5 a factor of l(-8)?
False
Let a(s) be the second derivative of s**4/6 - s**3/3 + s. Suppose -7*z - 44 = -9. Is a(z) a multiple of 15?
True
Suppose -146 = 4*h - 366. Let c = h + -25. Is c a multiple of 15?
True
Suppose 2*m - 32 = p, 5*p + 1 = -19. Is 2 a factor of m?
True
Let q(h) = h. Let d(l) = -l. Let t(y) = -2*d(y) - 3*q(y). Let s(r) = -6. Let x(v) = -s(v) + 6*t(v). Is x(-5) a multiple of 12?
True
Let j(k) = 3*k**2 - 4. Let y be j(3). Suppose 5*v = -3 + y. Suppose z + 98 = v*q, 2*q - 5 = -5*z + 33. Does 14 divide q?
False
Suppose -23 - 23 = -2*k. Let v = -3 + k. Suppose -y - r = -3*y + v, -5*y + 72 = 3*r. Does 6 divide y?
True
Is 12 a factor of (-32)/(-40)*(437 + -7)?
False
Let p = -57 + 18. Is (p/(-9) + -3)*6*3 a multiple of 4?
True
Let b(i) = -i**3 + 13*i**2 - 14*i - 4. Let c be b(12). Let t = 48 + c. Does 2 divide t?
True
Let t(a) = -8 + 26*a**2 - 3*a**3 - 8*a**2 + 10*a - 11*a**2 + 2*a**3. Let m(u) = -u**3 + 6*u**2 - 6*u. Let r be m(4). Is 4 a factor of t(r)?
True
Suppose -5*n = -3*n - 76. Let v = n - 26. Suppose v = 2*h - h. Is h a multiple of 3?
True
Let z(h) = 54*h - 131. Does 19 divide z(7)?
True
Let l be 0 + 2 - -2 - 9. Let q(z) = -z**3 - z**2 - 4*z - 8. Does 34 divide q(l)?
False
Suppose 0 = 5*k + 8*p - 4*p - 660, 4*p = 4*k - 492. Does 16 divide k?
True
Let y(b) = 44*b + 149. Does 31 divide y(10)?
True
Let s(j) be the first derivative of -28*j**2 - 5*j - 55. Let b = 3 + -5. Is s(b) a multiple of 29?
False
Let o(d) = -d**3 - d**2 + 5*d + 5. Let t(z) = z**3 + 2*z**2 - 5*z - 6. Let b(a) = 4*o(a) + 3*t(a). Is 8 a factor of b(-3)?
True
Let t = 5 - 5. Suppose -16 = -2*f - t*f. Suppose -f*y = -4*y + 8, -n - 2*y = -9. Is n a multiple of 10?
False
Suppose 4*l - 89 = 179. Is 3 a factor of l?
False
Does 7 divide 5 + (-276)/(4/(-1))?
False
Let b = -53 - -63. Suppose 0*i - 4*i - 12 = 0. Does 12 divide -30*((-38)/b - i)?
True
Let k = -19 + 21. Suppose -k*g - 103 = 3*n - 1645, -4*g + 1028 = 2*n. Suppose -5*q + 2*b + n = 0, 523 = 4*q + q + b. Does 13 divide q?
True
Let b(u) = -4*u - 6. Let x(r) = r. Let s(z) = -b(z) - 3*x(z). Let a be s(-7). Is 54/5*(a + 6) a multiple of 18?
True
Let c(r) = -r**3 + 20*r**2 - 15*r - 37. Is c(17) a multiple of 7?
False
Let x(s) = s**2 - 25*s - 4. Let v be 3 - -2 - (-3 + -24). Is 10 a factor of x(v)?
True
Let b = 483 + -457. Does 8 divide b?
False
Let w = 67 - 64. Suppose -w*x = 7*m - 6*m - 162, -5*m + 821 = 4*x. Is m a multiple of 55?
True
Suppose 0 = 2*x - 37 - 19. Let l = 32 - x. Suppose -l*r + 108 = 2*r. Does 18 divide r?
True
Is 31 a factor of (-64)/112*-1*434?
True
Let h(m) = 6 - 5*m + 4*m - 7. Let u be h(-2). Is 9 a factor of (52/(-8))/(u/(-2))?
False
Let w(a) = -a**3 + 11*a**2 + 2*a - 20. Let p be w(11). Suppose -p*g + 980 = 5*g. Does 40 divide g?
False
Let s be (-1224)/(-2) + 1 - 3. Suppose 0*k + 5*k - s = 0. Is 15 a factor of k?
False
Let j(z) = 37*z**2 + 30*z - 112. Does 2 divide j(3)?
False
Let n = -299 + 985. Is n a multiple of 98?
True
Suppose -39 = n + 139. Let t = 362 + n. Is t a multiple of 28