tiple of 7?
True
Let u(x) = -x**3 + 8*x**2 + 8*x + 12. Let l be u(9). Let a = 7 + 208. Suppose -3*m + a = -0*m - 5*k, -k = l*m - 209. Does 14 divide m?
True
Suppose 0 = -3*n - 9 + 3, -3*n + 24 = 5*t. Is 29 a factor of ((-3)/2)/(t + 2792/(-464))?
True
Suppose -4*s + 4 = -8. Is 8 a factor of (-6)/(-4)*16/s?
True
Suppose 5*d - 11 + 1 = 0, 4*u + 2*d = -20. Does 11 divide (-5795)/(-57) + (-8)/u?
False
Suppose h = 2*q - 0*q - 10, -2*q + 3*h + 2 = 0. Suppose p + q = 2. Let k(a) = -7*a + 4. Is k(p) a multiple of 13?
True
Suppose 4*j = -0*j + 248. Let m = j - 13. Does 13 divide m?
False
Let i(k) be the second derivative of -13*k**3/6 + 6*k**2 - 11*k. Is i(-7) a multiple of 20?
False
Suppose -2*v = 6*o - 4*o - 168, 5*v - 420 = -4*o. Is 21 a factor of v?
True
Suppose 14*y - 2803 - 10189 = 0. Does 69 divide y?
False
Let h be (-2)/11 + 598/143. Suppose -2*w = 0, 21 - h = i + 2*w. Is 11 a factor of i?
False
Let b = -32 + 37. Suppose 466 = 3*s + b*d, -4*d - 92 = -s + 52. Is 38 a factor of s?
True
Suppose -3*g + g + 720 = 5*t, 5*t - 740 = 2*g. Suppose 8*w + t = 626. Does 20 divide w?
True
Does 21 divide (-2 - -32)*((-392)/(-20))/1?
True
Let u = 45 + -41. Suppose -n - 202 + 60 = -4*k, u = -2*n. Is k a multiple of 5?
True
Suppose -t - 6 = -k - 19, 5*t = -3*k + 33. Suppose -3*g = 3 - t. Is 2 a factor of g?
True
Suppose 0 = -3*z + 2*f + 5195, -32*z = -36*z - f + 6934. Is z a multiple of 9?
False
Let m(b) = -2*b - 6. Let a(w) = -w - 27. Let y be a(-16). Let d(l) = l**2 + 13*l + 11. Let o be d(y). Does 8 divide m(o)?
True
Let h be 6/(-48) + (-3)/(-24). Let q(u) = 3*u + 187. Is q(h) a multiple of 19?
False
Let d(a) = 85*a**2 + 9*a + 41. Does 41 divide d(-3)?
True
Let s(b) = b**3 - 19*b**2 - 40*b - 39. Let q be s(21). Does 13 divide 5 + -3 + 314 + q?
False
Let g = -30 + 75. Let v = -25 + g. Is 10 a factor of v?
True
Suppose -4*k = d - 4, -5*d - 4 = -5*k + 1. Let f(g) = g**2 + g - 1. Let t be f(1). Suppose d + 13 = l - 2*b, l + t = -5*b. Is 2 a factor of l?
False
Suppose 3*y - 630 = -h, -2*y - 908 = -4*h + 1682. Is h a multiple of 43?
True
Let z be 39/6 + 1/(-2). Let a(s) = 5*s + 4. Let k be a(z). Suppose 2*j = 2, 0 = -5*l + 5*j + 71 + k. Is l a multiple of 6?
False
Let l = -236 - -231. Let v(y) be the first derivative of -y**4/4 - 2*y**3 - 7*y**2/2 - 4*y + 1. Is v(l) a multiple of 4?
False
Suppose 2*y + 4 = 0, 3*h + h = 4*y + 2652. Is 27 a factor of h?
False
Suppose -7*g = -23 - 33. Suppose -g*j + 1290 = 2*j. Does 7 divide j?
False
Does 12 divide (-96214)/(-90) + 4/(-90)?
False
Let c = 1461 - 266. Does 41 divide c?
False
Suppose -5*c = 3*p - 77, 5*c = -4*p + 10*c + 56. Is 19 a factor of p?
True
Suppose 0 = 5*t - p - 3, 0 = 3*t + t - 5*p + 6. Let f(j) = 54*j**3 - j**2 - j + 2. Is f(t) a multiple of 54?
True
Let t = -32 - -55. Let b = 34 - t. Suppose b*w - 90 = 9*w. Does 16 divide w?
False
Let k(s) = 11*s + 11. Let w be k(10). Let u = 204 - w. Is u a multiple of 36?
False
Is 15 a factor of (-22736)/40*-10*(-4)/(-8)?
False
Suppose -3*s + 2*s - 27 = 0. Let v be 4/6 - 549/s. Suppose -n = -v - 1. Is 11 a factor of n?
True
Let a(d) = d**2 + d + 10. Suppose r + 2*y = -r + 16, 5*r - 4*y = 40. Let z be a(r). Let q = 134 - z. Does 14 divide q?
False
Let y = -416 + 779. Suppose 0 = 2*h + x - 414, 2*h = 2*x + y + 51. Does 28 divide h?
False
Let j = 35 - 6. Let r = j - 15. Let o = 56 - r. Is o a multiple of 21?
True
Let w = -425 - -522. Does 3 divide w?
False
Suppose 298*u - 292*u - 1530 = 0. Is u a multiple of 2?
False
Suppose 3*a - x - 1509 = 0, 5*a - 6*x + x - 2505 = 0. Suppose 3*l + 3*f = 4*f + a, 3*l = 2*f + 507. Is l a multiple of 27?
False
Let j be 0 + 2 + -4 + 6. Suppose 0 = -j*b + 579 + 161. Is 13 a factor of b?
False
Let f = -2 + 1. Let g = f + 17. Suppose -h + 27 = -5*m, -3*m = -7*m - g. Is h a multiple of 6?
False
Let g(c) = -c**3 - 2*c**2 + 2*c - 1. Let b be g(-2). Let t(q) be the first derivative of -q**4/4 - q**3 + 3*q**2 + 3*q + 184. Is 6 a factor of t(b)?
False
Let g(u) = -1379*u**3 + 2*u**2 - 8*u - 9. Is g(-1) a multiple of 92?
True
Suppose 0 = 8*u + 72 - 272. Suppose 6*m = 5*m - u. Let t = m + 32. Is t a multiple of 7?
True
Is ((-30)/12)/((-2)/708) a multiple of 73?
False
Suppose 0 = j + 2*j + 36. Let o = j + 19. Suppose -o*w + 42 = -5*w. Is 5 a factor of w?
False
Suppose 5*b = 5*i - 5120, -5*i = -8*i + b + 3064. Does 85 divide i?
True
Let r = 10 - 6. Suppose r*o = -2*m + 24, 3*m - 2*o = 7*m - 60. Is 12 a factor of m?
False
Suppose -7*d + 6*d + 4 = 0. Suppose y - 2*x = 30, -d*x = -8*y + 7*y + 26. Does 7 divide y?
False
Suppose -9*w + 3756 + 1428 = 0. Is w a multiple of 9?
True
Let q(n) = -n**2 + 29*n. Is 5 a factor of q(15)?
True
Suppose 3*c + 4*r = 7*r + 5535, -4*r = 4*c - 7404. Does 12 divide c?
True
Let j(v) be the second derivative of -v**5/10 - v**4 - 13*v**3/6 + 2*v**2 - 33*v + 2. Is j(-8) a multiple of 34?
False
Let i be ((-14)/8)/((-7)/(-4 + 228)). Let u = i + 55. Is 8 a factor of u?
False
Let v be 168/14*3/4. Let o(b) = -2*b**2 + 5 - 1 + v*b + b**2. Is 9 a factor of o(7)?
True
Is ((-81)/(-2))/(175/80 + -2) a multiple of 9?
True
Suppose 0 = -3*c - 2*r + 514, 5*c + 368*r - 882 = 371*r. Does 46 divide c?
False
Let m(g) = 2*g - 12. Let q be -3*4/(-12) - -4. Let i be m(q). Is 18 a factor of (59 - (1 + 2)) + i?
True
Let w(i) = 2*i**2 + 7*i - 15. Let x be 102/(-15) - 1/5. Is 5 a factor of w(x)?
False
Is (3360/(-196))/((-4)/98) a multiple of 15?
True
Let x(w) = 2*w**3 - 4*w - 7. Let j be x(5). Let k = -113 + j. Is 10 a factor of k?
True
Let a(o) = 6*o**3 - 5*o**2 + 2*o. Let s be a(3). Let d = 175 - s. Is 16 a factor of d?
False
Is 140 a factor of ((-30)/(-25))/((3/(-2800))/(-3))?
True
Let a(n) = 2*n**3 - 5*n**2 - n - 6. Let i = 49 + -45. Is 8 a factor of a(i)?
False
Let b(h) = h**2 - 10*h - 8. Let v = -72 + 205. Suppose -v = -5*t - 58. Is 17 a factor of b(t)?
False
Let t(a) = -20*a + 8. Let q(u) = -19*u + 8. Let z(f) = 6*q(f) - 5*t(f). Let l be 4 - -9*(-2 - -1). Does 23 divide z(l)?
False
Suppose -18*m - 4 = -19*m. Suppose 7*j - 60 = m*j. Does 3 divide j?
False
Does 2 divide (4170/33)/2 - (-136)/(-748)?
False
Let g(b) be the first derivative of -b**2/2 + b - 11. Let l be g(-2). Suppose l*j + 252 = 7*j. Does 23 divide j?
False
Let h(d) = -d + 8. Suppose o = 4*l - 22, -10 = -5*o - 0*o. Let s = -6 + l. Is 3 a factor of h(s)?
False
Let g = -59 + 54. Let j(o) = 3*o**2 + 9*o - 15. Is 5 a factor of j(g)?
True
Let v = 6 - -18. Is 8 a factor of (v/36)/((-1)/(-36))?
True
Let p be (24/36)/((-1)/(-3)). Let v be 6*p/4 + 1. Suppose -48 + 4 = -v*q. Does 2 divide q?
False
Suppose -165 = 3*p + 2*p. Let o = -15 - p. Is o a multiple of 3?
True
Let n be 7 - (-4)/12*-6. Suppose n = -4*v - 7. Is 9 a factor of (-12)/(-3) + v + 40?
False
Let f = -801 - -1351. Is f a multiple of 22?
True
Suppose -6*v + 5 = -v, -n - 5*v = -2028. Is n a multiple of 119?
True
Let i(h) = -h**3 - 6*h**2 + 4*h + 6. Let b be i(-6). Let n be (-534)/(-10) + b/(-30). Let u = n - -1. Is 18 a factor of u?
False
Let a = 346 + 580. Does 45 divide a?
False
Suppose 0 = 2*h + 3*t + 18, 2*h = 5*h - 5*t - 11. Let b be -2 + 1 - (0 - h). Let z(q) = -q**3 - 4*q**2 - 5*q + 1. Is 21 a factor of z(b)?
True
Let z(j) = -5*j**3 + 8*j**2 - 7*j + 6. Let a(d) = -51*d**3 + 81*d**2 - 69*d + 60. Let l(i) = 2*a(i) - 21*z(i). Is l(3) a multiple of 8?
True
Let v(j) = j + 11. Let l be v(-13). Let z = l - -29. Let b = z + 60. Is 29 a factor of b?
True
Suppose -153*k + 162*k = 11601. Does 4 divide k?
False
Let r(i) = -i**3 - 7*i**2 - 5*i + 2. Let h be r(-6). Is (h/1)/(4/(-14)) a multiple of 14?
True
Suppose 73*m + 23101 = 86*m. Is m a multiple of 7?
False
Let a = 75 + 23. Suppose a = 3*f + 26. Is f a multiple of 5?
False
Suppose 3*u - u = z + 9, 0 = -5*u - 5*z. Suppose -69 - 57 = -u*x. Does 28 divide x?
False
Suppose 2*d = 5*j + 1785, 2*d - 1144 = j + 661. Does 19 divide d?
False
Suppose -2*p - 28 = -32. Is 14 a factor of -3*p*(-84)/18?
True
Let d = -159 + 427. Is d a multiple of 4?
True
Let r(v) = -v**2 - 2*v - 2. Let q be r(-2). Let w = 5 + q. Suppose -w*b - 62 + 322 = -2*t, 5*b + 2*t = 460. Is 22 a factor of b?
False
Let r(g) = -g**2 + 10*g - 4. Let x be r(8). Let h be -1 + x*(-8)/(-6). Suppose 3*c = -h, 3*u + 2*c = -0*u + 119. Is u a multiple of 23?
False
Suppose 0 = r - 165 + 5. Suppose 3*p = r + 95. Does 9 divide p?
False
Let w be