?
True
Let m(f) = -f**2 - 12*f + 15. Does 13 divide m(-11)?
True
Suppose -3*r + 9 = 3*g + 2*r, -4*g + 3*r = -41. Is g a multiple of 2?
True
Suppose -3*x + 27 = 3*t, 0 = 4*t + 2*x + 3*x - 40. Suppose 0 = -t*n + 9 - 34, 35 = f + n. Is f a multiple of 10?
True
Let d = -26 - -31. Is d even?
False
Suppose 2*u + 2*u = -2*v + 142, 0 = -u - 2*v + 37. Is u a multiple of 30?
False
Let l = 67 - 47. Let t = l - 7. Does 11 divide t?
False
Let h = 5 - 3. Suppose -5*x + 11 = 2*l, 8 = 4*x - 0*x + h*l. Is 3 a factor of x?
True
Let o = 85 - 17. Suppose 0 = 4*s - 2*s - o. Is s a multiple of 7?
False
Let q be (-3 + 2)/((-2)/(-6)). Let d = 1 + q. Let w = 23 - d. Is w a multiple of 9?
False
Let n(i) = i**3 - 7*i**2 - 7*i + 4. Let u be n(8). Let v = 16 - u. Is 2 a factor of v?
True
Let y(r) = -16*r - 39. Is y(-9) a multiple of 15?
True
Let p = 18 + -11. Let q(f) = -f**2 + 6*f + 7. Let i be q(p). Suppose -4*l + 45 + 19 = i. Is l a multiple of 7?
False
Let d(q) = q**3 + 6*q**2 + q + 11. Is 5 a factor of d(-6)?
True
Let i(u) = u**2 + 5*u + 4. Let t be i(-5). Is 2/(t/42) - -1 a multiple of 12?
False
Let x = 147 - 105. Is 7 a factor of x?
True
Suppose 5*g - 255 = 160. Is 31 a factor of g?
False
Suppose -14*k + 1404 = -5*k. Is k a multiple of 12?
True
Let r(d) = -d**3 - 5*d**2 - d + 2. Suppose 3*y + 32 = 3*t + 2, -3*y + 2*t = 25. Let u be r(y). Suppose u + 19 = f. Does 9 divide f?
False
Let f(p) = 6*p + 4*p**2 - 10*p**2 + p**3 + 6 + 0*p. Let h be 0 + 2 + 1 + 2. Is f(h) a multiple of 7?
False
Let h = 1 + -1. Let n(t) = -t. Let m be n(h). Suppose 6 = 3*s - m. Does 2 divide s?
True
Suppose -2*c = -182 + 44. Suppose 0*h - i = 4*h - 92, -c = -3*h - i. Let q = h - 16. Is q a multiple of 4?
False
Let h be ((-4)/(-8))/(1/(-106)). Let n = h + 76. Is n a multiple of 8?
False
Suppose 5*g + 4*y = -0*y + 290, g = -2*y + 64. Is 6 a factor of g?
True
Let h = -40 - -13. Let v = -45 - h. Let i = v + 54. Is i a multiple of 18?
True
Let f be 6/(-2) + 96/1. Suppose -r + 5*t = -28 - 8, 4*t - f = -5*r. Is r a multiple of 8?
False
Suppose 2*h - 84 = -g, -231 = -7*g + 4*g + h. Is 11 a factor of g?
False
Let r(j) be the third derivative of j**4/8 - j**3/3 + 5*j**2. Is r(8) a multiple of 11?
True
Let h(s) = s**2 - 3*s - 3. Let b be h(5). Suppose 3 = 2*m - b. Let g(n) = n**3 - 3*n**2 - 4*n - 6. Is 12 a factor of g(m)?
True
Let q(g) = -4*g + 7*g + 1 + 1 - g**3. Is q(-2) even?
True
Let z(b) = -b**3 + 8*b**2 + 13*b + 3. Suppose 0 = -c + 2*c + 4*r - 13, 3*r - 3 = 0. Let d be z(c). Suppose 0 = -5*u + 1 + d. Is 4 a factor of u?
True
Let t(r) = -3*r**3 + 2*r**2 - r + 1. Let c be (6/4)/(9/(-12)). Does 12 divide t(c)?
False
Suppose -6 = a - 4*b, a + 2*b + 2*b = 10. Suppose -3*g - 4 = -19. Suppose -a*q = 5*f - 25, 4*q - 71 = -g*f + 2*f. Is 7 a factor of q?
False
Let l = 29 - -3. Is 8 a factor of l?
True
Let v(m) be the second derivative of m**3/6 - m. Let t be v(5). Suppose -5*a - 4*x = -118, a = t*x + 8 + 4. Does 6 divide a?
False
Let h be ((-18)/(-2)*1)/1. Suppose -h - 9 = -2*l. Is l a multiple of 4?
False
Let o be 2/(-4)*7*-2. Let r = -4 + o. Is 2 a factor of r?
False
Suppose 97 - 515 = -11*h. Is h a multiple of 16?
False
Let p(d) = -d + 3. Let a be p(2). Let u be a*(3 + (2 - 1)). Suppose -3*v = -u*v + 16. Is v a multiple of 9?
False
Let v be (30/4)/5*2. Suppose -v*w + 48 = -63. Is 21 a factor of w?
False
Suppose 7*h - 10 = 5*h. Suppose -4 = h*s - 64. Is s a multiple of 11?
False
Suppose -5*v - 25 = c, -4*c - 5*v - 24 = 1. Suppose -2*m + c*m = 2*g - 50, 5*m = -3*g + 65. Is g a multiple of 15?
True
Let b be 30*(0 - 4/(-10)). Let q(y) = y**2 - 3*y - 2. Let g be q(6). Is 3 a factor of (b/g)/(1/8)?
True
Suppose 0 = 2*y - 3*j + 4*j - 55, 3*y - 95 = -4*j. Is y a multiple of 25?
True
Suppose 6 = -4*p + 10. Suppose 5*a - p = -h + 34, h - 5 = 0. Does 2 divide a?
True
Let t = -10 - -14. Suppose -v + t = 2. Suppose 4*c - 62 = -p, v*p - p - 2 = 0. Is c a multiple of 9?
False
Suppose 11 = -z - 0*z. Does 10 divide z/(-2*2/12)?
False
Let p(b) = 13*b + 67. Is 18 a factor of p(20)?
False
Suppose -7*r + 96 = -4*r. Does 16 divide r?
True
Suppose 0 = -0*a - 3*a + 6. Suppose 0 = a*f - 11 - 23. Is 6 a factor of f?
False
Let v be (-6)/21 - 3368/(-28). Suppose 0*k - 3*k = -2*r + v, 5*k = -4*r + 218. Is r a multiple of 14?
False
Let o = 46 + -28. Is o a multiple of 9?
True
Let h(b) be the third derivative of -b**6/30 - 4*b**2. Is 16 a factor of h(-2)?
True
Suppose 0 = -2*i + 3*s + 88, 3*i + 8*s - 3*s - 94 = 0. Let m = 70 - i. Is 17 a factor of m?
False
Let d be (-44)/(-6) + (-4)/(-6). Suppose -2*o + d = 2*o. Is o/(-5) + 348/20 a multiple of 9?
False
Suppose 2*p + 198 = 2*j, 0 = -2*j - 0*j - 2*p + 214. Let s = j - 35. Does 34 divide s?
True
Suppose 4*b - 8*b = 120. Let w = b - -54. Does 9 divide w?
False
Let m(h) = -4*h**2 + h. Let x(u) = -3*u**2 + u. Let q(w) = -3*m(w) + 2*x(w). Does 7 divide q(-1)?
True
Let h(v) = v + 3. Let s be h(-7). Let q be (-14)/s + (-6)/12. Suppose -q*z + 2*z = 2*r - 12, 3 = z - r. Is z a multiple of 3?
True
Suppose -2*y - 19 = -3*h, 5*h + 2*y - 3 = 2. Suppose g = -4*q + 3*q + 5, -1 = h*g - 5*q. Suppose 2*k - g + 5 = 0, t - 4*k = 19. Is 5 a factor of t?
True
Let w = -151 + 65. Let y = w + 149. Is (y/2)/((-2)/(-4)) a multiple of 16?
False
Suppose -2*m + 3 = -7. Suppose -m*a + 9 = o, o - 5*o - 33 = -3*a. Does 9 divide 16 - ((o - -2) + 2)?
True
Suppose -4*j - 12 = -s + 24, -4*s + j + 174 = 0. Let o(d) = d**2 + 2*d + 2. Let n be o(5). Suppose -4*t + s = -4*y, -2*t - t + n = -y. Is 13 a factor of t?
True
Let v(s) = -4*s - 11. Let t be v(5). Let g = -17 - t. Is g a multiple of 10?
False
Suppose 4*k = 3*s + 334 + 79, 3*k + 5*s - 317 = 0. Does 8 divide k?
True
Let s = -5 + 23. Is s a multiple of 18?
True
Let z be (-4)/10 - 26/10. Let u = z - -4. Is 12 a factor of 2 - (u - -1 - 12)?
True
Suppose -46 = -2*t + 122. Let l = 145 - t. Is 18 a factor of l?
False
Let z(p) be the first derivative of p**3/3 - 5*p**2/2 + 2*p - 2. Does 9 divide z(7)?
False
Suppose -15 = 3*f + b, -f - 4*b = 11 + 5. Is 1/(-1) - f - -7 a multiple of 5?
True
Let q(p) = 3 - 2 + 0 + 13*p**2. Does 7 divide q(-1)?
True
Suppose -14 = n + u - 43, 0 = 2*n - 5*u - 23. Is 8 a factor of n?
True
Suppose -8 = -2*m - 2. Suppose 14 = m*t - 1. Suppose -t*s + 2*s + 42 = 0. Is s a multiple of 8?
False
Let v be (-4)/14 - (-78)/(-21). Let m(u) = -5*u + 4. Let f be m(-2). Does 19 divide ((-231)/f)/(2/v)?
False
Let t(o) be the third derivative of -o**6/120 + 2*o**5/15 + o**4/12 - o**3/3 + 7*o**2. Let p be -12*(4/(-6) + 0). Does 14 divide t(p)?
True
Let y = 3 - -42. Is y a multiple of 15?
True
Suppose -715 = -3*x - 10*x. Is x a multiple of 13?
False
Let c(w) be the first derivative of 5*w**2/2 - 5*w + 2. Suppose 5*o - 6 = 2*o + 4*m, 4*m - 6 = o. Is 12 a factor of c(o)?
False
Suppose -4*m = 3*s - 16, -8 = 2*m - 4*m - s. Let j(u) = 5*u - 5. Is j(m) a multiple of 5?
True
Let f = 28 - 45. Let d = f - -25. Does 4 divide d?
True
Let d be (4/8)/((-2)/(-12)). Suppose d*r = 3 + 105. Does 9 divide r?
True
Let z(d) be the first derivative of -d**4/4 - d**3/3 - d**2 + 2*d + 1. Is 18 a factor of z(-3)?
False
Suppose 2*x - 6*s - 4 = -3*s, 0 = -x + 3*s - 1. Suppose 0 = -2*y - 5 - x, -2*y + 30 = 2*f. Is 17 a factor of f?
False
Let s(r) = -5*r**2 + 1. Let q be s(-1). Does 10 divide 2/q - (-164)/8?
True
Let o be -3*21/14*-2*2. Suppose -4 = 3*s - 16. Suppose 4*c = -2*k + 2, -s*c - o = -6. Does 2 divide k?
False
Let n = 54 + -24. Is n a multiple of 30?
True
Suppose 4*t = -a + 88, -t = 2*a + a - 209. Does 17 divide a?
True
Let w(a) = a**2 - 10*a + 2. Does 7 divide w(12)?
False
Does 15 divide (-20)/(-1) - (2 + -5)?
False
Let s = -3 - -6. Suppose -2*t = 5*p - 9, -3*p + p = -s*t + 4. Suppose t*i - f = 45, 2*f - 3*f = 5*i - 95. Is i a multiple of 13?
False
Let d = 13 + -4. Let k = 14 - d. Suppose -2*c + 4*s + 6 = 0, -s + 33 = k*c - 5*s. Is 4 a factor of c?
False
Let r = 44 + -41. Is 2 a factor of r?
False
Suppose 63 = -2*m - m. Does 8 divide ((-40)/14)/(6/m)?
False
Let w(o) = -o - 19. Let c be w(-13). Is 14 a factor of 27*3*(-4)/c?
False
Let i(n) = 11*n**2 - 3*n - 2. Let o be i(-2). Let g = 84 - o. Let k = g - 18. Is k a multiple of 9?
True
Suppose -3*l + 15 = -0. Suppose 2*n + 107 = l*o, -5*o - n = 2*n - 127. Does 18 divide o?
False
Suppose 18 = 2*b - 2*n, -5*b - 6*n + n + 95 = 0. Let 