 3*q - q - 5*s - 112, -t*q = -3*s - 159. Does 17 divide q?
True
Let p be (-5)/(5/(-6))*(-470)/30. Let d = 255 + p. Is 14 a factor of d?
False
Let s(f) be the first derivative of -f**4/4 - 25*f**3/6 + 3*f**2 + 6. Let a(t) be the second derivative of s(t). Is a(-8) a multiple of 10?
False
Does 5 divide 2 - -13*24/4?
True
Suppose 0 = -2*y - 308 + 490. Is 7 a factor of y?
True
Let d = 30 + -30. Suppose t = -d*t - 31. Let b = t - -53. Is 22 a factor of b?
True
Let g be ((-5)/(-10))/(-2 - 231/(-114)). Suppose 79 = a + g. Does 18 divide a?
False
Suppose -8*u + 706 = -6*u. Suppose -666 = -4*h + 2*g, -3*g + u = -4*h + 6*h. Does 13 divide h?
True
Let f = 34 - 20. Let z(s) = s - 14. Let x be z(f). Suppose x = -3*d + 247 - 85. Is d a multiple of 18?
True
Let y = 52 - 22. Let w = 26 + y. Is 11 a factor of w?
False
Does 56 divide ((-90)/4)/(57/(-2318))?
False
Let b = -379 + 708. Is 47 a factor of b?
True
Suppose 2*w - 30 = -4*w. Suppose -c = -2*d + 108, -w*d + 3*d - 3*c + 124 = 0. Does 28 divide d?
True
Let q(h) = -3*h + 4*h - 4 - 4*h + 2*h + 3*h**2. Suppose u - 4*a + 6 = 0, 0 = 3*u - u - 5*a + 9. Is q(u) a multiple of 5?
True
Let q be 218/6 - 1/3. Suppose 3*g - 99 - q = 0. Is (g/20)/(1/12) a multiple of 20?
False
Suppose -4*n + 2*n + 3*l = -224, -220 = -2*n + 5*l. Does 60 divide n?
False
Suppose -380 = -4*u + 720. Does 6 divide u?
False
Suppose -77 = -5*o + h, 2*o - 3*h - 36 = -0*h. Let g be (-10)/o*9/(-2). Suppose 8 = -5*k + 3, -g*b + 2*k = -101. Is b a multiple of 11?
True
Suppose 0 = -11*l + 7*l + 40. Suppose -l*w - 1916 = -6*w. Is 32 a factor of w/(-5) - (-6)/30?
True
Let t(r) = -9*r + 11. Let f be t(-5). Let q = f - 0. Is q a multiple of 42?
False
Let u = -7 + 9. Suppose -2*o = t - 25, 0 = 4*t - 0*o + u*o - 76. Suppose 5*m - 3 - t = 0. Does 4 divide m?
True
Let w(n) = 11*n - 6. Let x(g) = 23*g - 13. Let u(b) = 13*w(b) - 6*x(b). Let y be u(1). Suppose 28 = 4*k - 2*o, 0*k + y*k - 37 = 2*o. Is 9 a factor of k?
True
Let l(v) = 2*v**3 - 2*v + 3. Let n be l(2). Is n/2 - 8/16 a multiple of 5?
False
Suppose -c = -4*c + 6. Suppose 4*l + 3*k - 24 = c*l, -k - 2 = -l. Suppose 4*n + 70 = l*n. Does 10 divide n?
False
Let k(i) = -i**3 + 12*i**2 + 8*i + 5. Let p be k(8). Suppose 2*v = 7*v - p. Is 13 a factor of v?
True
Let o(n) = -n**3 + 13*n**2 + 19*n - 20. Is o(-10) a multiple of 38?
True
Let a(b) = 2*b**2 - 13*b + 58. Is 20 a factor of a(11)?
False
Let a = -9 + 5. Let w(c) be the third derivative of -c**4/12 - 2*c**3/3 + 7*c**2. Is 4 a factor of w(a)?
True
Suppose 246 = 9*n - 1644. Is 21 a factor of n?
True
Let v(g) be the second derivative of g**5/20 + g**3/6 - 3*g**2/2 + 2*g. Let j(a) be the first derivative of v(a). Is j(2) a multiple of 13?
True
Let b be ((-12)/24)/(1/(-4)). Let v(p) = 3*p**2 + p. Is 3 a factor of v(b)?
False
Suppose -2*n = -2*d + n + 349, 3*d = -n + 529. Is 44 a factor of d?
True
Let a(j) = 2*j + 2. Suppose b + u = 8, 5*b + 11 = 6*b + 2*u. Is a(b) a multiple of 12?
True
Let x be (3 + 9)/4 + 3. Suppose -33 = -z + x. Is z a multiple of 13?
True
Let t = -19 + 21. Suppose -69 = -5*g + 3*w - 5*w, -t*g - 4*w = -18. Suppose -h - n = 2 - 38, -3*n - g = 0. Does 17 divide h?
False
Let f = 867 - 42. Is f a multiple of 11?
True
Suppose -3*s + 8*f - 12*f + 4181 = 0, 5*f = 5*s - 6980. Is s a multiple of 15?
True
Suppose -3*c = 2 + 4. Let j = 3 - c. Suppose 0 = j*d + 6 - 86. Is 16 a factor of d?
True
Let i(g) = g**3 + 20*g**2 + 25*g + 79. Is i(-13) a multiple of 32?
False
Let v(q) = q**2 - 14*q - 15. Let j be v(11). Let w be (-1)/(-2) + 1355/10. Let u = w + j. Does 11 divide u?
True
Let x(b) be the second derivative of b**5/20 + 5*b**4/6 - 11*b**3/6 + 11*b**2/2 + 8*b. Suppose 2*t = 3*t - 4*p - 5, 6 = -2*t + 4*p. Is x(t) a multiple of 5?
False
Suppose -4*z + 6 = -2. Suppose 0 = -3*k - 3*l + 30, -3*k = -0*k - z*l - 50. Is k a multiple of 7?
True
Let z = 238 + -153. Let p = z - 78. Is 2 a factor of p?
False
Let y be (6 - (7 - 3)) + 2. Suppose 5*f + 2*w - 354 = 0, 2*f - 4*f + y*w + 156 = 0. Does 18 divide f?
True
Suppose 2*j + 0*j - 2016 = 0. Is 56 a factor of j?
True
Let n = 0 + -6. Let i be n/4*(-2534)/21. Suppose -3*d = -3*t - 114, 3*d = -2*d - 4*t + i. Does 11 divide d?
False
Let a be (-4)/3*21/(-14). Let r be (-2 - -6) + -228 + a. Does 10 divide 4 + (-5)/(15/r)?
False
Suppose 6*a - 312 = 4*a. Let z = 19 - 16. Suppose z*l - 72 = a. Is 10 a factor of l?
False
Let f(j) = -18*j**3 + 2*j**2 + 2*j + 2. Let p be f(-1). Suppose -7*r - 1560 = -p*r. Is r a multiple of 16?
False
Suppose 0 = 5*y - 5*k - 60, 3*y + 2*k = -0 + 16. Suppose u + 1 = -3*u + 5*f, 3*u - 2*f = y. Is u a multiple of 3?
True
Let g(s) = -s**2 - 7*s + 3. Let o be g(-8). Is (5 + (o - -3))*(-160)/(-6) a multiple of 20?
True
Let u(q) = q**2 - 13 - 15*q + 22*q - 2. Let x be u(10). Suppose 7*r - x = 2*r. Is r a multiple of 12?
False
Suppose 187*a - 3996 = 181*a. Is 18 a factor of a?
True
Let k(f) = -f**2 - 52*f - 15. Is k(-39) a multiple of 10?
False
Suppose 0 = -0*r + 4*r. Suppose -k = 1, r = 4*j - k - k - 66. Let n = 30 - j. Is n a multiple of 7?
True
Let j(p) = -p + 19. Let t(w) = -w**3 - 24*w**2 - w - 19. Let r be t(-24). Is 3 a factor of j(r)?
False
Does 7 divide (8/((-128)/84))/(33/(-12452))?
True
Let f(h) = h**3 - 2*h**2 - 7*h + 6. Let l be f(4). Let g(s) = -s**2 - s + 3. Let b be g(0). Suppose -b*n - 55 = -5*w + n, -2*n = -l. Is 3 a factor of w?
True
Let u = -117 + 2573. Is 19 a factor of u?
False
Let v(l) = -97*l**2 + 187*l**2 + 16 - 91*l**2 - 18*l. Is v(-7) a multiple of 9?
False
Let y(w) = 9*w**2 + 8*w - 5. Let o(a) = -8*a**2 - 9*a + 6. Let t(l) = 4*o(l) + 5*y(l). Let b be t(3). Let u = b - 89. Is 13 a factor of u?
True
Let a be -19 - (-1)/((-2)/4). Let d = 235 - 220. Is 5 a factor of 3/(d/10) - a?
False
Let c(w) = 9 - w - 1 - w. Let y be c(4). Is (-2 - y)*(-259)/14 a multiple of 19?
False
Let n(k) = 3*k - 12. Let a be n(5). Suppose 0 = -y - a, 5*y = 2*h - 0*h - 285. Is 9 a factor of h?
True
Let g = -210 - -235. Does 25 divide g?
True
Let v be (-1 + 5/2)*(-2)/3. Is (3/5)/(v/(-70)*2) a multiple of 3?
True
Let d = 2 + 6. Let f = d + 69. Does 18 divide f?
False
Let y(q) = -q**3 + 8*q**2 - 5*q - 9. Let o be y(7). Suppose 99 = 2*w - 0*w + i, 3*i = -o*w + 248. Is 5 a factor of w?
False
Let a(v) = -v**2 + 9*v - 6. Let h be a(6). Let b = h + 43. Let o = b + -28. Is 8 a factor of o?
False
Suppose 2*x - 4*r - 8 = 0, r = -x + 1 + 3. Suppose -2*g - 5*i = -33, i = x*i - 15. Suppose 241 = 5*v + a + 3*a, -2*v - g*a = -106. Is 15 a factor of v?
True
Let v = -135 + 450. Is v a multiple of 35?
True
Let a(m) = 11*m**2 + 5*m + 15. Let i be a(-3). Suppose 0 = p + 5*b - i, -2*p + 6*b = 3*b - 146. Is 25 a factor of p?
False
Suppose -10 = 4*t + t. Let p be (t/4)/((-5)/(-320)). Is 10 a factor of (-8)/p - 158/(-8)?
True
Let u be (-3 - (-51)/18) + (-201)/(-18). Suppose u = -4*n + 95. Does 21 divide n?
True
Suppose 0 = 3*b - 5*n - 397, 4*n = -5*b + 3*n + 643. Let a = -38 + b. Is 13 a factor of a?
True
Suppose 13*n - 542 = 11*n. Let x = n - 39. Is x a multiple of 29?
True
Let c(i) = i**3 - 21*i**2 - 4*i + 41. Let b be c(21). Let x = -40 - b. Is x a multiple of 3?
True
Does 31 divide (-9)/(-27)*2238 - 2?
True
Suppose 3*y - 21 = 156. Let m = y - -35. Suppose 4*h - m = -10. Is h a multiple of 7?
True
Is (-3 - -2 - -4)*160/3 a multiple of 40?
True
Let v = 37 - 87. Let f = -25 - v. Suppose -2*x + 29 = w, -39 - f = -4*x + 4*w. Is x a multiple of 5?
True
Let j(y) = 7*y**2 - 6*y**2 - 13 - 7 - 2*y**2 - 12*y. Is j(-4) even?
True
Suppose -4*f + 4 = -16. Suppose -f*m + 53 = -47. Let y = m - -41. Is y a multiple of 13?
False
Suppose -2*k - 3*v = -2037, 10*v - 11*v = 7*k - 7139. Does 17 divide k?
True
Suppose 0 = w - 3*s - 368, -4*s = 56*w - 51*w - 1916. Is w a multiple of 34?
False
Let s(v) = -v**2 - 4*v + 2. Let x be ((-6)/(-4))/((-3)/6). Let n be s(x). Suppose n*l = 85 + 65. Is 24 a factor of l?
False
Let v = 417 + -310. Let a(g) = g. Let f be a(5). Suppose -4*j - 92 = o - f*o, j = -4*o + v. Is 13 a factor of o?
True
Let i(c) = c**2 - 8. Let d be i(4). Let k be 326/d - 4/(-16). Let u = k + -29. Is u a multiple of 3?
True
Let x(y) = -113*y - 5. Let c be x(-1). Suppose 0 = -5*k - 4*o + 132, 4*k + o + o = c. Does 7 divide k?
True
Let o be (-2)/((28/248)/(-7)). Suppose -5*r - o = -489. Is 21 a factor of r?
False
Let t(h) = -h**3 -