3*o = o + 5*m - 88, -w = -4*m. Let p = o - 1. Is 6 a factor of p?
False
Suppose -14*h = -11*h + 120. Let z = h - -172. Suppose t + 5*t = z. Is 11 a factor of t?
True
Suppose -t - 12 = -7*t. Suppose 0 = -t*d - 10, 4*d + 74 = 2*x - 16. Is 7 a factor of x?
True
Does 30 divide (-12 - (-12564)/6) + -12?
True
Let g(o) = -o**3 - 5*o**2 + 4*o + 2. Suppose -4*z + 13 = 65. Let u = 7 + z. Is 5 a factor of g(u)?
False
Suppose 2*i - 4*t = 24 + 60, -5*t - 82 = -2*i. Does 4 divide i?
False
Let q be 1/((-45)/18 - (1 + -3)). Is 8 a factor of 64/5*(-5)/q?
True
Let a be 76/3 - 24/72. Suppose a*o - 45 = 22*o. Does 9 divide o?
False
Suppose 0 = 19*n - 23*n + 132. Let z = -6 + -14. Let g = n + z. Is 5 a factor of g?
False
Let b(a) = -a**3 - a**2 - a + 1. Let g(o) = -2*o**3 + 9*o**2 - 5*o - 15. Let x(w) = -b(w) + g(w). Does 40 divide x(8)?
True
Let v(x) = x + 103. Is v(-12) a multiple of 7?
True
Suppose a - 3*i + 6*i - 6 = 0, 2 = -2*a + i. Suppose 3*d - d + 3*u - 204 = a, -5*d - 4*u = -510. Is 20 a factor of d?
False
Suppose -3*r = -4*r, 5*o - 2*r = 375. Is o a multiple of 36?
False
Let v(y) = -y**3 - 9*y**2 - 2*y - 15. Let l be v(-9). Suppose 4*k - 81 - 1 = -2*x, l*k - 56 = 4*x. Is k a multiple of 5?
True
Let n(w) = -2*w**2 + 3*w + 2. Let l be n(-1). Let s be -3*l*4/12. Suppose -4*z + 28 = -2*y, 0 = -5*z + 2*y - s*y + 42. Is z a multiple of 5?
False
Let n(c) = -8*c + 65. Let z be n(0). Let h be 1 - 1 - -73*2. Let k = h - z. Is k a multiple of 18?
False
Suppose m + 2*m = 9. Let u be -1*(-2 + 1)*4. Suppose -m*y - u = -10. Is y a multiple of 2?
True
Let x(p) be the first derivative of -3*p**2 + 8*p + 13. Is x(-7) a multiple of 10?
True
Let g(z) = z + 1. Let n be g(-4). Let o be (132 - (n - 0)) + -2. Suppose -o = -2*d - 45. Is 11 a factor of d?
True
Does 11 divide (5 + 0 - -95) + 2 + 4?
False
Suppose 20 = -5*r, -4*r - 14337 = -5*j - 6*r. Is 22 a factor of j?
False
Let i = 8 + 6. Suppose 0 = -4*l - 4*p, -2*p = -3*l + 2*p - i. Let a(j) = 5*j**2 + 3*j + 1. Does 12 divide a(l)?
False
Let m = 8 + -3. Suppose -55 = -m*k - 4*x, x = -k + 4 + 6. Is 9 a factor of k?
False
Let x(d) = -d + 21. Let y(t) = t**2 - 9*t. Let f be y(9). Let i be x(f). Let z = -7 + i. Does 7 divide z?
True
Let o be 4 - (-7)/(35/135). Let f be (83/(-5) - -1)*-5. Let l = f - o. Is l a multiple of 12?
False
Suppose -303 = -4*m + 133. Is 51 a factor of m?
False
Let n be 4*-1*(-13)/4. Let g = 15 - n. Let r(o) = 6*o - 2. Is r(g) a multiple of 5?
True
Let a = 1584 + -632. Is a a multiple of 14?
True
Let f be 16/(-72) - (-34)/(-9). Let u be (f/5)/((-12)/1470). Suppose 4*m + x - 133 = 0, -3*x - u = -3*m - 2*x. Does 13 divide m?
False
Suppose x + 3*w + 2*w - 28 = 0, 4*x - 2*w = 46. Let p be (0 - 0)/1 - x. Does 14 divide (-1090)/p - 2/(-13)?
True
Suppose 0 = -15*o - 4969 + 14089. Is o a multiple of 38?
True
Let o = -56 + -22. Let u = 156 + o. Is 22 a factor of u?
False
Let h(w) be the third derivative of 19*w**5/60 - w**4/12 + 2*w**3/3 + 3*w**2. Let b be h(2). Is 19 a factor of (3/(-2))/((-6)/b)?
True
Suppose -35*w - 4338 + 34788 = 0. Is w a multiple of 58?
True
Let d(y) be the first derivative of y**4/4 - 2*y**3 - 21*y**2/2 - 25*y + 53. Is d(10) a multiple of 15?
True
Let c(b) = -7*b**3 + b**2. Let t be c(1). Let a be t/9*-3 - -10. Suppose -92 = a*f - 14*f. Does 23 divide f?
True
Is 4 a factor of 4/(-20) - 3699/(-45)?
False
Suppose 0 = b - 6*b + 645. Suppose 3*p = 111 + b. Is 20 a factor of p?
True
Suppose 23*d = 48*d - 30800. Does 16 divide d?
True
Suppose 1 = 2*z - 7. Does 7 divide 4 + (4 - -168)/z?
False
Let u be (3/(6*-2))/(2/(-568)). Let p = 7 + u. Does 7 divide p?
False
Suppose -13*d = -12*d - 608. Does 19 divide d?
True
Let x = -5 - -9. Suppose 3*y - 3*f - 8 = 2*y, x*f = -8. Suppose 0 = -3*w + y*w + 73. Is w a multiple of 15?
False
Let k(o) = o**2 + o + 1. Let w(y) = -3*y**2 + y - 22. Let f(s) = 5*k(s) + w(s). Is f(-8) a multiple of 21?
True
Is (-8)/22 + (-371550)/(-825) a multiple of 30?
True
Let p = 14 - 8. Suppose 0*l + l = 4*d - 14, -d - l = -p. Suppose 5*s = -d*k + 139, 3*k - 143 = -k - s. Is 12 a factor of k?
True
Let b(x) = 46*x**2 + 32*x + 1. Is b(3) a multiple of 27?
False
Let q = 126 + -103. Let t be (-2)/(-3) - 248/(-6). Let k = t - q. Does 4 divide k?
False
Let z be 6/4 + 17/34. Does 12 divide 3/z + -21*(-18)/4?
True
Let h be (126 + -3)*-6 + 0. Is h/(-21) - 2/14 a multiple of 4?
False
Suppose -4*x - 13 = -3*i, -5*i - 4*x = -i + 20. Let k(g) = -22*g. Let r be k(i). Suppose 17 = q - r. Is q a multiple of 13?
True
Suppose 0 = -6*q + 20*q - 10164. Is 16 a factor of q?
False
Let x = -78 - -81. Suppose -5*m = -4*m - 3. Suppose 0 = -3*n + x*o + 165, 0 = m*n + 2*n + o - 287. Is n a multiple of 26?
False
Let i(n) be the third derivative of n**6/120 + 7*n**5/30 - 5*n**3/6 + 7*n**2. Let k be i(-14). Let o = k - -15. Does 6 divide o?
False
Does 34 divide 657/(10/(-2) + 6)?
False
Let j(c) = 2*c**2 + 11*c - 1. Let z be j(-6). Suppose z*p + 2 = 12. Suppose 0 = -0*q + p*q - 156. Is q a multiple of 13?
True
Suppose b - 1 = 2*r - 2, 8 = 4*b - 5*r. Let h = 46 + -42. Let u = b + h. Is 7 a factor of u?
False
Let w be 8/2*(0 + 6/(-12)). Is 6 a factor of w/8 + 1905/20?
False
Suppose -41*i + 35*i + 600 = 0. Is 25 a factor of i?
True
Let z(o) = 13*o**3 - 3*o**2 + o + 6. Let v(t) = -7*t**3 + t**2 - t - 3. Let p(f) = 5*v(f) + 3*z(f). Is p(3) a multiple of 11?
False
Suppose 23*o - 20*o + 90 = 0. Let z = 124 + o. Is 12 a factor of z?
False
Suppose -46*m + 42*m + 132 = 0. Let d be -2 + -7*2 + 2. Let j = d + m. Is j a multiple of 12?
False
Suppose -5*o - 3*x = -8*x + 20, 16 = -3*o + 4*x. Is o/(-1) - (-19)/((-95)/(-90)) a multiple of 6?
True
Let p(n) = n**2 - 13*n - 60. Is 4 a factor of p(26)?
False
Suppose 2*a - a = -2*d + 1894, -a = -4*d + 3776. Suppose -186*r - d = -191*r. Is r a multiple of 21?
True
Suppose 120 = 2*w + 2*l, 6*l - l = -5. Suppose -7*h + 149 = -w. Does 7 divide h?
False
Let r = 330 - 345. Let b be (4 + -1)*4/6. Is b/5 + (-579)/r a multiple of 13?
True
Suppose -3*f + 14 = -0*f + 5*d, -2*d + 2 = 0. Let q be (9/(-2))/f*-126. Suppose u + 2*u = q. Is 21 a factor of u?
True
Let x(p) = p**2 - 15*p + 17. Let u be x(14). Suppose -u*a + 5*r = -166 - 90, -r = -3*a + 236. Does 19 divide a?
False
Let r(k) = 2*k + 18. Let b be r(11). Suppose 12*x = 7*x + b. Is 4 a factor of x?
True
Let g(d) = 8*d**3 + 6*d**2 - 66*d + 6. Is g(6) a multiple of 74?
True
Let n(k) = -22*k - 196. Is n(-28) a multiple of 14?
True
Let i be (-2 - -3)/((-1)/(-5)). Let m be (-2)/i + (-326)/10. Let d = m - -53. Is d a multiple of 5?
True
Let r(t) = 51*t. Let o(d) = 17*d. Let p(j) = 21*o(j) - 6*r(j). Suppose -20 = -2*f + 5*a + 2, -3*f + 4*a + 19 = 0. Is 14 a factor of p(f)?
False
Let k = 3505 - 1605. Does 100 divide k?
True
Let r(w) = w**2 - 10*w + 18. Let d be r(15). Suppose d = 3*o - x + 4*x, -4*x + 16 = 0. Does 20 divide o?
False
Does 14 divide (-115188)/(-34) + 4/34?
True
Let z(q) = -1 - 6*q**2 + 7*q**2 - 3*q**2. Let l be z(1). Is (l + 1)*6/(-4) even?
False
Suppose -5*n + 7*n = 6. Suppose -n*o = -o - 72. Does 8 divide -1 + -1 + -1 + o?
False
Suppose 2*c - 68 = 4*z, -2*c - 2*c - z = -100. Suppose 43 = k + 4*j, 0 = -5*k - 0*j - j + 196. Let s = k - c. Is s a multiple of 2?
False
Let c(d) = -d + 15. Let h be c(-5). Suppose 0 = 2*p + 5*r + 20, -5*r + 8*r = 4*p - 12. Is 7 a factor of h - (1 - p/(-3))?
False
Is 15 a factor of (85/(-68))/(2/(-8)) + 160?
True
Let y(j) = -97*j - 820. Does 109 divide y(-13)?
False
Suppose -286 = -12*q + 10*q. Let w = q - 63. Is 18 a factor of w?
False
Suppose 865*a - 863*a - 388 = 0. Is 79 a factor of a?
False
Suppose -o - 18 = 5*y, 3*o + 8*y + 4 = 3*y. Suppose -660 = -4*h - o*h. Is h a multiple of 20?
True
Suppose 857 = 13*v - 170. Let a = v + -71. Is 7 a factor of a?
False
Suppose 4*x = -3*r + 12 - 1, 7 = 2*x + 3*r. Let t(d) = -d**3 - 2*d - 1. Let j(y) = -15*y**3 + y**2 - 14*y - 8. Let z(c) = -j(c) + 6*t(c). Does 37 divide z(x)?
True
Let a(j) = -j**2 - j + 2. Let l be a(-2). Suppose -4*b - 156 - 120 = l. Is 4 a factor of (-3 - 24/(-9))*b?
False
Let g(o) = -111*o + 5. Is 77 a factor of g(-4)?
False
Does 29 divide (-8)/28 + (1 - (-11140)/35)?
True
Suppose 3*q - 13 - 53 = 0. Let x = -22 + q. Suppose -5*f - d + 259 = 64, x = 5*f - 5*d - 165. Is f a multiple of 13?
False
Suppose 0 = h + 13 - 7. Is (-452)/h + 2/(-6)*1 a mu