x = 10 - 9. Let g be 2/x - -3 - 2. Suppose g*v = j + 75, 3*v - j = 5*v - 55. Is 13 a factor of v?
True
Suppose -3*r - o + 9983 = 0, -41*o = -5*r - 40*o + 16633. Does 13 divide r?
False
Let q = 2 + -8. Is 27 a factor of (315/10)/(-7)*q?
True
Suppose 0 = -5*q + 17 + 33. Suppose j + 3*j - 8 = p, q = -2*j - 3*p. Let s = 16 + j. Is 6 a factor of s?
False
Is (10782/6)/1 + 5 a multiple of 53?
True
Suppose -627*g - 391 = -628*g. Does 17 divide g?
True
Let d = 428 - 74. Does 11 divide d?
False
Let y(v) be the second derivative of -17*v**5/4 + v**3/6 - 26*v. Is 6 a factor of y(-1)?
True
Suppose 5*c - b + 5*b = 820, -173 = -c + b. Is 21 a factor of c?
True
Suppose -3*q - k - k = -18, -2*q + 12 = 3*k. Suppose 3*u - 5*g = 1, -2*u + 5*g = -q*u + 48. Is 5 a factor of u?
False
Let u(l) = l**3 + 6*l**2 + 4*l + 11. Let q(n) = n. Let m be q(-5). Does 3 divide u(m)?
False
Suppose -19*d + 2*d + 1377 = 0. Is 25 a factor of d?
False
Let o(h) = h**3 + 7*h**2 + h + 5. Let y be o(-7). Does 19 divide ((-1)/y*4)/(2/76)?
True
Let k(a) = 5*a - 4. Let o be k(-5). Is (-1 + -3 + 0 - -3)*o a multiple of 5?
False
Let p(o) = o**2 - 2 + 6 + 6 - 3 + 6*o. Let m be p(-6). Does 22 divide 304/14 - (-2)/m?
True
Suppose 0 = -12*m + 4 + 20. Is 12936/96 - m/(-8) a multiple of 15?
True
Let h(a) = -22*a - 121. Does 11 divide h(-8)?
True
Let v(u) = 20*u + 95. Does 5 divide v(-4)?
True
Suppose 3*t - 25 = 29. Let h be (3/(-1))/(t/(-12)). Is 3 a factor of (-25 + -5)*h/(-6)?
False
Let m(q) = -q**3 - 13*q**2 + 16*q + 35. Is 4 a factor of m(-15)?
False
Let d(x) = -4*x**3 + 6*x**2 + 20*x - 3. Is d(-5) a multiple of 18?
False
Let b = 41 - 77. Does 2 divide 17 + 44/b + (-6)/(-27)?
True
Suppose 18 = 3*j + 3. Suppose -3*u = 2*k - 60, -j*k = -4*u - 0*k + 57. Let g = 33 - u. Is g a multiple of 5?
True
Does 16 divide 296 + (1 - -6 - -1)?
True
Is 19 a factor of (-786)/(-42) - (-4)/14?
True
Suppose 0 = 5*q + 10, -4*q + 1652 = 5*a - 0*q. Suppose 4*m - 4*r - a = 0, 0 = -3*m - r - 103 + 352. Let u = m + -48. Is u a multiple of 7?
True
Suppose -f + 22 + 219 = 0. Let v = f + -130. Suppose -v = -4*b + 6*i - i, -b + 3*i = -26. Is 17 a factor of b?
False
Let t(j) = j**2 - j - 5. Suppose 0 = -z - 3*z. Let i be t(z). Let k(c) = -3*c - 1. Is k(i) a multiple of 10?
False
Let a = -14 + 13. Let h be (a + -4)*8/(-10). Suppose -i + 26 = -0*p + 2*p, -16 = -h*p. Is 7 a factor of i?
False
Let l(y) = y + 98. Is 5 a factor of l(-58)?
True
Suppose -3*v + 0*x = -x - 257, -4*x - 82 = -v. Is v a multiple of 10?
False
Suppose 37 + 43 = 5*g. Suppose -g = 2*b - 6*b. Suppose -52 = -m - 0*m + b*h, -140 = -3*m - 4*h. Is 12 a factor of m?
True
Suppose -5*v + 27 = s, -s - 4*v = -3*s - 16. Suppose -2*l - s*l = -28. Does 6 divide (-93)/(-7) + (-2)/l?
False
Suppose 3*z = 4*t - 179, 2*z + 4 + 6 = 0. Let g = -18 + t. Suppose -g = -5*u + 237. Does 13 divide u?
True
Let s(m) = -13*m + 24. Let c be s(5). Let k = c + 260. Does 32 divide k?
False
Let m(r) = 8*r**3 - 12*r**2 + 21*r - 15. Is m(7) a multiple of 11?
True
Suppose -1271 = -6*h + 4705. Is h a multiple of 83?
True
Suppose -3*t + 5*t - 20 = 0. Let r = 15 + 0. Let w = r - t. Is 2 a factor of w?
False
Let l be (56/(-10))/(14/(-35)). Suppose l = 4*u - 22. Suppose -u = -4*q + 87. Is q a multiple of 6?
True
Let t(o) = -190*o + 82. Is 12 a factor of t(-5)?
True
Is (-102)/119*-7*(-2 - -114) a multiple of 112?
True
Let b = 455 - 280. Let a(h) = -27*h**2 - 3*h + 2. Let j be a(2). Let i = j + b. Does 12 divide i?
False
Suppose -2*s - 4 = -4*s + 2*p, 2*s - 4 = -3*p. Suppose h = y - 5*y + 16, 2*y - 8 = 4*h. Suppose -2*a = 3*z - 0*z - 24, h = a - s*z - 26. Is a a multiple of 5?
False
Let g = -395 - -2698. Is g a multiple of 7?
True
Let k = -54 - -199. Does 13 divide k?
False
Let p = 8 - 4. Suppose 14 = -2*g + 394. Suppose p = -j - 1, 5*k = 5*j + g. Is 11 a factor of k?
True
Let j = -2701 + 3800. Is 22 a factor of j?
False
Let w be (14/(-6))/((-12)/(-72)). Let g be ((-1)/3)/(w/210). Suppose 4*n - g*n + 15 = 0. Does 12 divide n?
False
Suppose -2*q + 17 = 5*f - 0*q, 3*f - 12 = -3*q. Suppose 0 = -f*p + 113 + 103. Is p a multiple of 18?
True
Let j(x) = -x - 1. Suppose 0 = -3*u + f - 5, -3*f = 1 + 2. Let p be j(u). Is (p - -63) + (-33)/11 a multiple of 15?
False
Suppose 5 = 4*v - 3. Suppose v*a - 6 = -a. Suppose -2*p + a*j + 295 = -j, 4*p + 3*j = 563. Is p a multiple of 30?
False
Let z(n) = 6*n + 2. Suppose 3 = -3*u + 42. Is 16 a factor of z(u)?
True
Let l = 3122 - 2217. Is l a multiple of 24?
False
Suppose 3 = -5*s - 3*d, -4*s + 2 = -0*d - 2*d. Let x be 3 - (2 - 5) - s. Suppose x*t + 10 = 7*t. Is t a multiple of 5?
True
Suppose 0 = 2*l + 4*v + 14, 3*l + l - v - 17 = 0. Suppose 5*k = 4*g + 297, 2*g + l = -3. Is 23 a factor of k?
False
Let i = -36 - 24. Let x = i - -190. Is x a multiple of 13?
True
Suppose 0 = -5*f + f + 12. Let o be -1 - -1 - (-130)/2. Suppose -g = -4*u + 168, -o = -3*u - f*g + 61. Is 14 a factor of u?
True
Let r(z) = 3*z - 14. Suppose -2*i - h + 26 = -2*h, 58 = 5*i + h. Let l be 6/3 + i*1. Does 9 divide r(l)?
False
Is (222/(-4))/((-11)/66) a multiple of 13?
False
Let q = 198 + 1411. Does 42 divide q?
False
Suppose -2*f - 240 = -4*w, -2*f + 3*w = -72 + 309. Let q = -48 - f. Is 11 a factor of q?
True
Suppose -9*a - 283 = -2218. Does 3 divide a?
False
Let f(c) = -2*c - 42. Let d be f(-21). Does 9 divide 2 - (-52 - d/2)?
True
Let a(d) = d**3 - 10*d**2 - 8. Let c be a(10). Suppose -4*m + 0*m + 4*g = -124, -4*m + 2*g + 122 = 0. Let r = m - c. Does 19 divide r?
True
Let x(r) = -35*r - 5. Let g be x(-7). Suppose -7*t + g = -2*t. Is 24 a factor of t?
True
Let q(a) = -9 - 6 + 7*a + 2 - 2. Is q(10) a multiple of 31?
False
Let p(h) = 3*h - 2. Suppose 2*t = t. Let y be p(t). Is 9 a factor of 38 - (1 + 3 + y)?
True
Let b be 0 - (-4 + 1)/(-1). Let r(u) = u + 5. Let n be r(b). Suppose 27 = n*g - g + 4*c, -2*c = -3*g + 25. Does 2 divide g?
False
Suppose u = -2*m - 2, -5*m + 4*u - 6 + 1 = 0. Let c be m - -3 - (6 + -128). Suppose 0 = -f - 3*f + c. Does 10 divide f?
False
Suppose 0 = -2*w + 3*w - 1, 15 = 4*i - 5*w. Suppose i*z + 3*t = 3*z + 384, -5*t + 970 = 5*z. Does 12 divide z?
False
Suppose 3*f = 293 + 85. Suppose 3*k - f = k. Let m = k - 31. Does 16 divide m?
True
Suppose r - 4*u + 470 = 3*r, -u = -2*r + 490. Is r a multiple of 20?
False
Let z(u) = -13*u + 12. Suppose -11 = 2*d + 1. Does 18 divide z(d)?
True
Suppose 25 = -3*x + 8*x + 5*v, -v = 2*x - 7. Suppose x*c = -5*m + c, 4*m + 2*c = 0. Suppose -15 = -5*d - m. Is d a multiple of 2?
False
Let k = 24 - 19. Suppose k*i = 9 + 451. Is 19 a factor of i?
False
Let o(m) = -10*m + 8. Let j be o(8). Let k = j - -33. Is 1 - (k + -3 + -1) a multiple of 9?
False
Let k = 52 - 28. Is k a multiple of 4?
True
Let c(i) be the first derivative of -i**4/4 + 11*i**3/3 + 3*i**2/2 + 14*i + 5. Does 16 divide c(10)?
True
Does 16 divide (2600/(-10))/(13/(-156))?
True
Let q = -976 - -6128. Is 41 a factor of 1/(-3) + 1 - q/(-21)?
True
Let w(f) = -f**3 + f**2 - f - 1. Let r(a) = -6*a**3 + 9*a**2 + 4*a - 13. Let m(v) = r(v) - 5*w(v). Does 4 divide m(5)?
True
Let x be -23*4/14 + 44/77. Let b = 47 + x. Is b a multiple of 15?
False
Let x = 54 + -49. Suppose 231 - 21 = 5*q. Suppose -5*m = -x*j + 4*j - 150, 2*m - 4*j - q = 0. Does 25 divide m?
False
Does 5 divide (5 + 13)/(8/132*3)?
False
Let g(v) = -v**2 - 9*v - 8. Let c(a) = a**2 - 6*a - 1. Let s be c(5). Is 8 a factor of g(s)?
False
Suppose -3*c = -2*f + 461 + 154, 4*f - 1219 = -5*c. Is f a multiple of 18?
True
Let o(l) = -2*l**3 - 13*l**2 + 5*l + 51. Does 9 divide o(-8)?
False
Let a(h) be the first derivative of h**6/180 + h**5/30 + h**4/8 - 5*h**3/3 + 9. Let y(f) be the third derivative of a(f). Is 3 a factor of y(-3)?
True
Let i = -25 + 27. Suppose 2*u - 7 = -v, -i*v - 2*u = 3*v - 11. Let a(b) = 38*b**2 + 2*b - 2. Is a(v) a multiple of 11?
False
Is 6 a factor of 264*((-42)/12 + 4)?
True
Let l be (1/(-2))/((-1)/12). Suppose -3*d - l*d + 819 = 0. Does 7 divide d?
True
Suppose 40*h - 672 = 37*h. Does 5 divide h?
False
Suppose 9*i - 18*i = -1080. Is 24 a factor of i?
True
Suppose 2*y - z - 32 = -5*z, 0 = -y - 5*z + 1. Suppose -y - 97 = -a. Does 14 divide a?
False
Let z = -667 - -898. Is 16 a factor of z?
False
Suppose 3*a - 2*a = 7. Is (-678)/(-21) + 1 + (-9)/a a multiple of 32?
True
Suppose 0 = c + h - 24, -2*h = -c + 11 + 22. Is