11 divide o?
False
Suppose 5*a - 3*a - 58 = 5*g, 3*g = 3*a - 105. Does 8 divide a?
False
Suppose 32 = 5*h - 38. Let y be 1/6 - 380/(-24). Does 5 divide (h/(-8))/((-2)/y)?
False
Let a(k) = -k - 3. Is 3 a factor of a(-12)?
True
Let l(w) = w**2 - 3*w + 13. Let h be l(9). Suppose -3*f = 3*p - 147 - 66, f + 5*p - h = 0. Is f a multiple of 15?
False
Let h = 186 + -106. Is h a multiple of 20?
True
Let u(o) be the second derivative of o**4/12 + 3*o**3/2 - 15*o**2/2 - 3*o. Is 2 a factor of u(-11)?
False
Let i be -58 - ((2 - 1) + -1). Let z = 109 + i. Is 17 a factor of z?
True
Let j be 4/(-30) - (-274)/30. Suppose -s + 9 + j = 0. Is 18 a factor of s?
True
Suppose 0*p + 5*o = 3*p - 132, 33 = p + 2*o. Does 13 divide p?
True
Suppose 4*m - 3*y + 7*y = 288, -4*m + y + 288 = 0. Is 12 a factor of m?
True
Suppose -5*s - 43 = -143. Is 3 a factor of s?
False
Let a = 26 + -3. Let r(n) = n**3 - 7*n**2 - 10*n + 2. Let s be r(8). Let h = s + a. Is 8 a factor of h?
False
Does 12 divide 5 + (-4 - -1) + 106?
True
Suppose -4*s - 2*v = -6 - 2, -13 = -3*s + 2*v. Suppose 0 = -s*d + 6, d = 3*f - 0*d - 13. Suppose -f*w - 19 = -74. Does 11 divide w?
True
Suppose h + 36 - 6 = 0. Let z = -19 - h. Is 11 a factor of z?
True
Let r(q) = -7*q**3 + 9*q**2 - 10*q + 19. Let v(d) = -15*d**3 + 18*d**2 - 21*d + 39. Let h(a) = -13*r(a) + 6*v(a). Is 23 a factor of h(9)?
True
Is 7 a factor of ((-40)/6)/(-5) + 178/6?
False
Let g be ((-14)/2)/(-2 - -1). Suppose w - 2*n - 3 - g = 0, -w + 4*n + 18 = 0. Suppose 0 = -w*q - q + 36. Is 5 a factor of q?
False
Let q = 478 + -323. Suppose -4*c + q = -61. Is c a multiple of 18?
True
Let p(t) = 15*t**2. Let m be p(1). Suppose -3*f - m = 0, -5*f + 3*f - 75 = -5*j. Suppose 4*b = o + 97, -5*o = 2*b - 52 - j. Is 19 a factor of b?
False
Does 47 divide -5 - 4*(-4 + -9)?
True
Suppose -5*k + 2*k + 12 = 0. Let p(n) be the first derivative of -n**4/4 + 2*n**3 - n**2 + 3*n + 1. Does 11 divide p(k)?
False
Suppose 3*s - 5 = -2. Let g be (-2 - s)*(0 - 2). Is 2/6 + 106/g a multiple of 10?
False
Let j(p) = 2*p - 9. Let m be j(-9). Let r = m - -49. Is 12 a factor of r?
False
Let l(p) = p**3 - 14*p**2 - 13*p + 14. Is 7 a factor of l(15)?
False
Suppose -5*x = -4*l, 0 = -l - 0*x + 5*x. Suppose -4*v - 3*t + 28 = l, -v + 8 = 2*v - t. Suppose -v*m + 8 = -8. Is 2 a factor of m?
True
Let n(o) = o**3 - 4*o**2 - 4*o - 3. Let z be n(5). Does 10 divide -18*(z/6 - 2)?
True
Suppose -w + 23 = 3*y, 3*w - 80 = -3*y - 5. Is 13 a factor of w?
True
Let k(f) = 4*f**2 - 6*f - 2. Let z be k(7). Suppose 4*d = -5*v + 5, v - 1 - 14 = 2*d. Suppose -z = a - v*a. Is a a multiple of 11?
False
Suppose 4*r - 72 = b - 4*b, 2*r = -5*b + 22. Is 7 a factor of r?
True
Is (-26)/195 + (-994)/60*-2 a multiple of 5?
False
Let f = -4 + 4. Suppose f*p = p - 2. Suppose -p*d + 24 = 2*l, 0*d + l - 63 = -4*d. Is 17 a factor of d?
True
Let z(w) = w**3 - 3*w**2. Let b be z(3). Suppose 3*r - 4*d + 6 = 159, b = 2*r - 2*d - 104. Does 19 divide r?
False
Let n(p) be the first derivative of -p**4/4 + 5*p**3/3 - p**2/2 - 2*p + 2. Let l be n(5). Is 4 a factor of 3/l + (-640)/(-56)?
False
Is 6 a factor of 41 - (-3 + 15/3)?
False
Suppose 2*m - m - 2 = 0. Suppose m*w = 3*r + w - 104, 4*r - 4*w = 152. Does 6 divide r?
False
Let t = -128 - -143. Does 4 divide t?
False
Let a = -7 + 11. Suppose 3*c = 2*t + 48, 4*c - 5*c + 16 = -a*t. Does 13 divide c?
False
Let d(z) be the second derivative of -z**4/12 + 3*z**3/2 + 11*z**2/2 + 3*z. Is d(8) a multiple of 15?
False
Let t = 0 + 0. Let x be t/(1 + 0) - 9. Let n = x + 18. Does 4 divide n?
False
Let i(x) = 2*x - 7. Let g be i(5). Let h = 3 - g. Suppose z - 22 = -h*z. Is z a multiple of 11?
True
Let p(s) = s + 4. Let d = 20 + -14. Is 10 a factor of p(d)?
True
Let j(l) = -44*l. Let a be j(-6). Suppose -a = 2*t - 6*t. Is 22 a factor of t?
True
Let m(k) = -8*k - 34. Does 12 divide m(-15)?
False
Suppose -14*k + 12*k = -172. Does 12 divide k?
False
Suppose 0 = -0*a - 3*a - 5*h + 74, 3*a + 3*h = 72. Suppose -a = -4*r + 133. Does 13 divide r?
True
Let n = 25 - 17. Suppose -2*t = -58 - n. Does 11 divide t?
True
Suppose 52 = z - 4*y, -5*z - 5*y + 24 + 361 = 0. Is z a multiple of 6?
True
Does 2 divide (-700)/(-90) - 4/(-18)?
True
Let m = 63 + -63. Suppose 8*h + 139 = 4*t + 3*h, 5*t + 5*h = 230. Let a = m + t. Is a a multiple of 13?
False
Let q be (6/(-9))/((-4)/66). Let f = q - -18. Does 11 divide f?
False
Let z(r) = 2 + 0 + 8*r - 4*r. Is 10 a factor of z(2)?
True
Let w(t) be the third derivative of t**6/120 + t**5/60 + t**4/24 + 41*t**3/6 + 4*t**2. Suppose -2*n + 3*a = 2*n, 2*n = 5*a. Is w(n) a multiple of 18?
False
Let c = 0 - -5. Suppose -c*y + 254 = 69. Is y a multiple of 11?
False
Let z = -15 - -48. Is z a multiple of 6?
False
Is 1/(-3)*-3 - -198 a multiple of 38?
False
Let f = 6 - 2. Suppose -f*l + 12 - 4 = 0. Suppose 2*w - 40 = -l*w. Is 4 a factor of w?
False
Let q = 29 + -2. Is 3 a factor of q?
True
Let a = -25 - -106. Does 24 divide a?
False
Let a be (10 - 0)/(1*-1). Let w = -5 - a. Suppose -9 = -2*g + w. Is g even?
False
Let r be 4/(-2)*(-3)/2. Suppose r*m - 12 = 15. Is 2 a factor of m?
False
Is 1252/11 + (344/(-44) - -8) a multiple of 19?
True
Suppose -s = 2*j - 18, -3*j - 18 = 2*s - 3*s. Is s a multiple of 6?
True
Suppose 2*k = -f + 178, 5*f + 4*k - 174 = 4*f. Is 26 a factor of f?
True
Is (80/6*1)/((-83)/(-996)) a multiple of 40?
True
Let y(a) = -3*a**2 - 3 + 0*a**2 + 2*a**2 + 2 + 2*a + 26*a**3. Is y(1) a multiple of 13?
True
Let z = -493 - -865. Does 31 divide z?
True
Suppose -5*a = 5*o + 10, 0*o = -2*o + 4*a + 26. Suppose 4*k = o*s - 25, 3*k = 7*k - s + 35. Let z(t) = -t**3 - 10*t**2 - 4*t - 10. Does 15 divide z(k)?
True
Suppose 2*q + 6 = 2*f, 0 = 5*f - 3*q - 16 - 7. Is f a multiple of 2?
False
Let t be -2 + 1 + 0/6. Let u = t - -7. Is 11 a factor of (-13 + 4)/(u/(-8))?
False
Does 13 divide 3123/45 - 4/10?
False
Let f = -3 + 1. Is (-24 - 2)/(4/f) a multiple of 9?
False
Suppose -a + 5*p + 53 = 3*a, -4*a = 5*p - 3. Suppose -3*f + a*f - 300 = 0. Does 25 divide f?
True
Suppose 3*u = 2*k - 829 + 177, k = 5*u + 333. Suppose -k = 4*n + 133. Is (-3)/12 - n/8 a multiple of 10?
False
Does 15 divide 30*39/(-3)*(-8)/16?
True
Let w = -106 + 73. Let i = w - -16. Let s = -1 - i. Is 16 a factor of s?
True
Suppose 3*b = 4*b - 63. Let g = b - 43. Does 10 divide g?
True
Let r(u) = u + 1. Let x be r(5). Suppose -2*f = -x*f + 5*g + 61, f - 34 = -5*g. Let w = f - -1. Is w a multiple of 20?
True
Suppose 0*t + 2*t - 8 = 5*m, -t - 5*m = -4. Suppose -5*c = -t*c - 6. Suppose 0 = -4*n - c*s + 3*s + 89, -3*n = 5*s - 53. Does 17 divide n?
False
Suppose -5*a - n + 85 = 0, n - 20 = -a + 1. Let h = 18 + a. Is 21 a factor of h?
False
Let y(g) = g - 3. Let s be y(5). Let w be 1754/14 + s/(-7). Does 9 divide 1/6 - w/(-6)?
False
Suppose 0*y = 2*y - 10. Suppose 0 = y*o - 13 - 2. Does 2 divide o?
False
Let h = 8 - 2. Is 3 a factor of h?
True
Suppose -2*g - 3*g + 4*y = 9, 3*y = -2*g + 1. Let c(x) = -x + 1. Let n be c(g). Does 8 divide -2 - (n - 32/2)?
False
Let c = 9 - 7. Suppose -c*z + 118 = 3*t - 128, 4*z = 12. Suppose t = 8*a - 4*a. Is a a multiple of 8?
False
Let w be (-29 - 0)*(-1)/1. Does 11 divide 5/(-15)*w*-3?
False
Let k(j) = 5*j + 10. Is k(6) a multiple of 8?
True
Suppose -3*d + 32 = -d. Suppose d = 4*h - 3*h. Is 16 a factor of h?
True
Let t(g) = 2*g**2 - g. Let r be t(2). Let s(a) be the second derivative of a**3/6 - a**2/2 - 2*a. Is s(r) even?
False
Let u be 2 - (1 - 1)/(-1). Suppose 25 = 5*m, -5*d + m + 50 = -u*m. Suppose -73 + d = -3*k. Is k a multiple of 10?
True
Let r(s) = 3*s**2 - 2 + 7 + s - s**2 + 2*s**2 - s**3. Let k(x) = -x**2 - 7*x - 2. Let g be k(-6). Does 8 divide r(g)?
False
Suppose m = -0*m + 4. Suppose -m*w - 7 + 63 = 0. Suppose -3*z - w = -4*z + h, -3*z + 47 = 2*h. Is 15 a factor of z?
True
Let n be -3 - (-4)/(8/190). Suppose 4*v - n = -0*v. Is v a multiple of 10?
False
Suppose -3*i - h + 5*h = -198, 2*i - 5*h = 132. Is i a multiple of 22?
True
Let d = -118 + 4. Let o be (d/(-9))/((-2)/(-3)). Does 9 divide -1 - (-1 + 0)*o?
True
Suppose -4*v + 649 = 2*n - 199, 0 = -3*n + 6. Does 26 divide v?
False
Suppose 4*f + 6 = -3*h - 12, -3*h + 2*f = 0. Does 15 divide 43/3*(-6)/h?
False
Let p(a) = -a**3 + 4*a**2 - 4*a + 3. Let u be p(2). Suppose 0*g = -3*w - 2*g + 22, 8 = 2*w + u*g. Is 10 a factor of w?
True