e 0 = -4*m - 263 + 3043. Does 70 divide m?
False
Suppose -46*w + 64*w - 1764 = 0. Does 14 divide w?
True
Let q = 11 + -5. Let x(y) = -74*y**2 + 77*y**2 + 25 - 15*y - 13. Does 5 divide x(q)?
True
Let m(f) = 419*f - 413. Is 29 a factor of m(5)?
True
Let n(l) = 4*l**2 - 28*l + 148. Is 4 a factor of n(15)?
True
Let h = 23 - 42. Let o = h + 42. Does 12 divide o?
False
Suppose 2*i - 7*i = -480. Suppose -z + t = -i, -5*z + 165 + 339 = 3*t. Is 16 a factor of z?
False
Let v be (0 - 8) + (-9)/(-54)*6. Let l = 11 - 29. Let h = v - l. Is h a multiple of 3?
False
Let b be (-1)/2 - (-4734)/12. Suppose 3*f = 92 + b. Suppose 0*n = 2*n - f. Does 22 divide n?
False
Let o(r) = -3*r**2 + 2*r - 313. Let h be o(0). Does 26 divide h/(-2) - (-3)/(-6)?
True
Let u be (0 - -6)*1/3. Suppose 2*h - d - 10 = 0, -u*h + 4 = -2*d - 6. Let a(c) = 11*c - 9. Does 6 divide a(h)?
False
Let a = -383 - -587. Is 12 a factor of a?
True
Let l be 259 + (0/2)/(-4). Let f be 1/4 - (-30)/8. Suppose -f*k = -l + 31. Is 9 a factor of k?
False
Suppose 0 = 14*s + 10*s - 51168. Is s a multiple of 13?
True
Suppose -5*y = 5*n - 1 - 84, 0 = -2*y - 4*n + 36. Suppose -9*q = -y*q + 168. Does 11 divide q?
False
Let i(q) = 9*q**3 - 3*q**2 + 26*q - 7. Let n be i(5). Suppose -13*h + 1362 = -n. Is h a multiple of 15?
True
Suppose 11*f - 62 = 7*f + t, 0 = -4*f - 3*t + 54. Is f a multiple of 3?
True
Let g(l) = -l + 8. Let z be g(3). Let a be ((-4)/z)/((-2)/(-15)). Let q = a - -19. Does 5 divide q?
False
Let k be (-2)/(628/208 - 2 - 1). Let y = k + 199. Is y a multiple of 7?
False
Let q(o) = -12*o - o + 25 + 5*o. Is 17 a factor of q(-16)?
True
Suppose 0 = -3*s - 5*o + 3175, -20*o = -3*s - 16*o + 3184. Is s a multiple of 53?
True
Suppose -12 - 30 = -2*b - 4*g, -g = 0. Let x = b - -214. Is 47 a factor of x?
True
Suppose 6*c = 4 + 14. Is 2 a factor of (c/(-2))/(6/(-20) - 0)?
False
Suppose -5*c + 3*p + p = -28, 2*p - 16 = -5*c. Is 19 a factor of c*3/(-54) - 740/(-9)?
False
Let j = 635 + -537. Is 14 a factor of j?
True
Let m(a) = a**2 + 5*a + 5. Let r be m(-3). Let x(z) = 44*z**2 + 1. Is 15 a factor of x(r)?
True
Let z(k) = 2*k + 4. Let a be z(-7). Let g = a - -29. Does 8 divide g - (-2 - 0/4)?
False
Suppose -7*d = -6*d - 57. Let p = -29 + d. Is 12 a factor of p?
False
Let f(v) = -2*v**3 - 12*v**2 + 7*v - 5. Is 13 a factor of f(-8)?
True
Suppose 6*k = -7*k + 910. Does 5 divide k?
True
Suppose -56*x + 118*x = 162440. Is 30 a factor of x?
False
Let p(v) = -v**3 - 7*v**2 - 8*v + 13. Let d be ((-8)/12)/((-2)/9). Suppose 2*m + 22 = m - d*b, b + 40 = -5*m. Does 23 divide p(m)?
True
Let x = 73 - -122. Is x a multiple of 5?
True
Suppose -2*p - 3*b + 391 = -4*b, -3*p + 5*b + 590 = 0. Is 32 a factor of p?
False
Let b(c) be the first derivative of c**5/20 + c**4/24 + c**3/3 - c**2 - 1. Let y(o) be the second derivative of b(o). Is y(4) a multiple of 20?
False
Suppose 0 = 55*p - 52*p - 6. Suppose -3*h + 30 = p*h. Is h even?
True
Suppose 5*o = 2*i + 460, 43*o + 2*i = 44*o - 100. Is 5 a factor of o?
True
Suppose 0*y - 4*u = -y - 6, -3*u = 5*y - 16. Suppose -y*t = t - 840. Does 56 divide t?
True
Suppose 5*y + 0*f + 3*f = 329, -y = 4*f - 59. Is 2 a factor of y?
False
Let i be (-6)/16 + 4695/40. Let n = i + -55. Is 24 a factor of n?
False
Let x(f) = f**3 - 4. Let j be x(0). Let w be j/(-26) - (-63)/13. Suppose -25 = w*o, -26 = -3*m - 4*o + 77. Is 14 a factor of m?
False
Let g(o) = -163*o**3 - o**2 + 5*o + 5. Is 18 a factor of g(-1)?
True
Let c = 16 - 13. Suppose 16 - 4 = c*a. Is 5 a factor of (-42)/(-4) + (-2)/a?
True
Suppose -4*c + 29 = t - 81, -3*t - 5*c = -295. Does 2 divide t?
True
Let z = 100 + -114. Let g = 26 - z. Does 21 divide g?
False
Let z(o) = 11*o**2 + 18*o + 12. Is z(-8) a multiple of 3?
False
Suppose -5*x = 146 + 414. Let n be (-2)/7 + 2208/(-14). Let j = x - n. Is j a multiple of 23?
True
Let l be 680/12*96/(-40). Let s = l - -294. Does 7 divide s?
False
Let z be 6/(-10) + 8/5. Is 11 a factor of 2 - -43 - z/((-2)/6)?
False
Let k(o) = 11*o + 14. Let c(a) = -6*a - 7. Let u(w) = 5*c(w) + 3*k(w). Is u(0) a multiple of 6?
False
Let k(v) = 3*v**2 - 3*v - 20. Is 8 a factor of k(-4)?
True
Does 14 divide ((-2)/((-8)/3330))/(10/20)?
False
Suppose -8*f + 23972 - 4500 = 0. Is f a multiple of 9?
False
Suppose -4*t + 62 - 10 = 0. Let q(z) = 3*z - 32. Does 5 divide q(t)?
False
Let u(y) = -y**3 - y**2 + 7*y + 1. Let r be u(-5). Let w be 2/(-11) + 144/r. Suppose -w*v + 6 = -4. Is v even?
False
Let s be (-2)/(-6) + (-5)/((-45)/24). Suppose -s*q + 2*q - 2*k = -5, 0 = -2*k + 2. Is 3 a factor of q?
True
Let c(q) = q**3 + 7*q**2 + 5*q + 18. Does 2 divide c(-5)?
False
Let q(v) = 2*v**3 - 11*v**2 + 2*v + 13. Let i be q(7). Suppose 5*s = -3*a + 234 + i, -s + a + 88 = 0. Is 42 a factor of s?
True
Let t(p) = -p**3 + 9*p**2 + 11*p - 4. Let r be t(10). Suppose -r*f + 191 = 53. Is f a multiple of 3?
False
Let z(c) = 16*c**3 + 4*c**2 + c - 6. Is z(3) a multiple of 15?
True
Let y(t) = -t**2 - t + 1. Let l(j) = 2*j**2 + 6*j + 2. Let b(i) = l(i) + 3*y(i). Let r be b(4). Is 6 a factor of (22/(-10))/(r/(-5))?
False
Suppose 3*v + 5*v = 0. Suppose 3*t - 61 + 7 = v. Is 18 a factor of t?
True
Let x(n) = 7*n**2 - 39*n + 499. Is x(11) a multiple of 98?
False
Let j(y) = -2*y + 2. Suppose -3*n - 5 = -14. Suppose x = n*i - 3*x + 25, -4*x + 4 = 0. Is j(i) a multiple of 8?
True
Suppose -3*x = -0*x - 9. Let h be 28/6*-1*x. Let r = 16 - h. Is 8 a factor of r?
False
Let q(z) = -z**3 - z**2 - 4*z + 5. Let t be q(2). Is 3 a factor of 0 - (4*t)/2?
True
Let z be 1 - 2 - 5/1. Suppose 2*p = -4*y + 232, p + y = 4*p - 313. Does 9 divide 3/9 - p/z?
True
Let s(p) = 4*p - 6. Let w(i) = -i**2 - 19*i - 9. Let h be w(-18). Let d be s(h). Does 13 divide (-389)/(-6) + 5/d?
True
Suppose -4 = 2*c - 4*c. Suppose c*o + 0*o - 88 = 0. Is o a multiple of 15?
False
Let i = 12 + -10. Let k be 155/i + 2/(-4). Is 26 a factor of 4*(-3)/(-12) + k?
True
Does 7 divide ((-10)/(-2) + 9*-6)*-5?
True
Let i(d) = 2*d + 69. Does 12 divide i(-20)?
False
Suppose 5*g + 2 = 17. Suppose 7*i = g*i + 236. Does 13 divide i?
False
Let y be (-5 - 7)/(-2)*(-5)/(-3). Let o = -1 + 3. Suppose -2*h = y, h = 6*j - o*j - 61. Is j a multiple of 14?
True
Let d(g) be the second derivative of 4*g**2 - 1/3*g**3 + 0 - 4*g. Is d(-4) a multiple of 2?
True
Let b = -121 + 271. Suppose 2*t = 7*t - b. Suppose -l + 2*o = l - 28, 5*l + 5*o = t. Is l a multiple of 7?
False
Let j(l) = -l**2 - 2*l + 2. Let d be j(0). Let x(w) = 13*w**3 - 3*w**2 + 6*w - 8. Is x(d) a multiple of 13?
False
Let o = -460 + 1360. Is o a multiple of 36?
True
Let b = -46 - -552. Is b a multiple of 31?
False
Let q = 15 - 10. Let c be (-40)/6*(-6)/q. Does 2 divide c - 3/(-3) - 1?
True
Suppose 4*n - 274 - 594 = 0. Is 31 a factor of n?
True
Let g(c) = c**3 + 10*c**2 + 2*c - 12. Does 51 divide g(-9)?
True
Suppose -3*o = -2*k + 247, -o + 396 + 105 = 4*k. Is 12 a factor of k?
False
Let o = 588 - 539. Is o a multiple of 12?
False
Suppose 0 = -l + 5*l - 3*r - 21, -l + 4*r = -15. Suppose 89 = -l*z + 242. Suppose 3*k - 15 - z = 0. Is k a multiple of 22?
True
Let b be -14 - (2 + -2)/(-4). Let m = -10 - b. Suppose m*y = -0*y + 44. Does 7 divide y?
False
Suppose u - 2*u + 63 = -2*c, 4*u - 252 = -c. Let s = u + -13. Is 25 a factor of s?
True
Let c(v) = 12*v + 66. Does 45 divide c(8)?
False
Let p(i) = -9*i - 73. Is p(-34) a multiple of 20?
False
Suppose -12*c + 268 = -16*c. Let p = c - -138. Is 19 a factor of p?
False
Suppose 5*k + 5*t - 8910 = 0, 9*t - 8*t + 5342 = 3*k. Is 58 a factor of k?
False
Is 7718*6/132 + (-2)/(-11) a multiple of 39?
True
Let t(z) = z**2 + 42*z. Is t(9) a multiple of 51?
True
Let n(x) = -x**2 + 6*x - 7. Let u be n(3). Let s be 4 + (-4)/(u - -2). Suppose -j - 7 = -p, 0 = 2*j + s*j - 20. Does 11 divide p?
True
Suppose 4*g - 636 = 460. Does 6 divide g?
False
Let v = 78 + -73. Suppose v*f = -2*q + 116 + 130, q = 2*f + 141. Does 19 divide q?
True
Let k = -627 - -1190. Does 39 divide k?
False
Let n = -12 - -17. Let k(s) = 5*s**2 - 5*s - 6. Is 11 a factor of k(n)?
False
Let q = -363 - -838. Is q a multiple of 15?
False
Let a be (-6)/(-1*(-3)/2). Let k(s) = -s**3 + s**2 + s + 2. Is 15 a factor of k(a)?
False
Let r(p) = -p + 0*p - p - 2. Let n be r(-2). Is 14 a factor of (9/n)/((-27)/(-252))?
True
Suppose 12*y - 9*y - 6 = 0. Suppose 0 = -y*t - t + 324. Is