 Is p a multiple of 11?
True
Suppose -3*q + 7*q = 8. Suppose 0 = q*v + v. Suppose v*m + 15 = 5*m. Does 2 divide m?
False
Let c(p) = 79*p**2 + 2*p - 1. Let r be c(1). Suppose -l + 46 = -r. Suppose -4*t - 22 + l = 0. Is 10 a factor of t?
False
Suppose -82 + 34 = -4*o. Does 5 divide o/(-72) - 98/(-12)?
False
Suppose -132 = -3*w - 3*s, 2*w = 2*s - 7*s + 103. Is w a multiple of 4?
False
Suppose 2*i - 3*p - 18 = 0, 5*p = -4*i + 47 + 11. Suppose x + 4*q = 16, -2*x = -3*x + 3*q - i. Is x + (-1)/1 + 31 a multiple of 15?
True
Let q(i) = 24*i**2 + 4*i + 8. Is q(-2) a multiple of 12?
True
Let y(j) = j - 11. Let t be y(11). Suppose t = -4*q + 3*q + 9. Suppose -4*k + q = -11. Is k a multiple of 2?
False
Suppose z = 4*z + 4*g - 58, -70 = -4*z + 2*g. Let o be (-13 - -1)/(z/60). Let n = -25 - o. Does 15 divide n?
True
Suppose -3*a - 9 = 0, 3*z - z - 1 = -a. Let v be z*(2 + -1 + 1). Suppose 2*w = -y + 6*w + 40, -2*w - 90 = -v*y. Does 8 divide y?
False
Let w(v) = v + 8. Let b be w(10). Suppose -x + 4*h - 5 = 10, -2*x = -4*h + b. Is 15 a factor of 2/(1*x/(-51))?
False
Let o(q) = 3*q**2 - q + 18. Is o(5) a multiple of 22?
True
Let w = -13 - -7. Let i be w/(-4) + 6/4. Suppose 0*q - i*q + 18 = 0. Does 3 divide q?
True
Suppose 4*u - 3*g = 253 - 12, 0 = 3*u - g - 187. Is u a multiple of 32?
True
Does 42 divide 2 - 7/2 - (-1275)/10?
True
Let q(v) = 4*v + v + 0 - 3. Does 5 divide q(3)?
False
Let v(z) = -z**3 + 4*z**2 + 7. Let w be v(3). Suppose w*r = 12*r + 172. Is 22 a factor of r?
False
Suppose -565 = -5*l + 4*c, -4*l + 3*c = 6*c - 483. Does 13 divide l?
True
Suppose 306 = 5*v + v. Is v a multiple of 27?
False
Suppose 9 = 7*i - 4*i. Suppose -6 = -i*r, -2*k - 2*r = 2*r - 28. Is 10 a factor of k?
True
Is 29 + 2*2/(-4) a multiple of 9?
False
Let k(a) = -a**2 - 19*a - 6. Is k(-15) a multiple of 12?
False
Suppose 6*x - 4*x - 10 = 0. Suppose -x*z - 2 + 7 = 0. Does 6 divide 12 + z/(1/2)?
False
Suppose -2*h - 7 = 13. Let w be ((-8)/h)/((-12)/(-1410)). Suppose 0 = -5*k + w - 39. Is k a multiple of 7?
False
Let y = 187 - 134. Is 7 a factor of y?
False
Let m = 64 + -28. Let l be 1/7 + 183/(-7). Let h = l + m. Is h a multiple of 8?
False
Is (-1 + 2)*1 + 1 + 31 a multiple of 11?
True
Let d be 3/12 - 239/(-4). Suppose 12 = 2*g - d. Is 13 a factor of g?
False
Let w(y) = 5*y**2. Let f be w(2). Let d = f - 7. Suppose 3*i - 4*i = -d. Is 13 a factor of i?
True
Suppose -5*k + 0 + 30 = 0. Let l(u) = -3*u**2 - 2*u - 9. Let z(g) = 2*g**2 + 3*g + 8. Let p(n) = -4*l(n) - 5*z(n). Is 13 a factor of p(k)?
True
Let h be 2/(-10) - 26/(-5). Suppose 0 = 5*g - 0*g - 2*c - 13, -h*g - 3 = 2*c. Is 27/(1 + 2)*g a multiple of 9?
True
Let l(q) = -2*q + q**3 + 0*q**3 - 4*q**2 - 3*q**2 - 4. Is 15 a factor of l(8)?
False
Suppose 0*w = 4*w. Suppose -4*o + 2*o + 38 = w. Is o a multiple of 19?
True
Let w = -7 + 4. Is 5 a factor of (w - 0)*17/(-3)?
False
Suppose 5*a - 4*g = 308, -4*a + 59 + 182 = -5*g. Does 16 divide a?
True
Let m = 34 - 13. Suppose -69 + m = -4*d. Does 12 divide d?
True
Let b = -17 - -39. Is 5 a factor of b?
False
Does 21 divide ((-120)/(-28))/5*98?
True
Let v = 11 + -9. Suppose 4*x = -5*c + 2, 0 = 3*x + v*c - 2 - 3. Is x a multiple of 3?
True
Suppose 2*j - 5*f = -12, -3*j = -2*f - 2 - 2. Let s(n) = 8*n + n + 0*n**2 - n**2 - 3. Does 6 divide s(j)?
False
Let i(a) = a - 3. Let y be i(6). Let v = y + 60. Suppose 3*f = v - 12. Does 6 divide f?
False
Let y = -113 + 196. Does 16 divide y?
False
Let h(s) = -s**3 + 6*s**2 + 6*s - 4. Let g be h(6). Let k = g - 18. Is k a multiple of 7?
True
Let k = -40 + 58. Is 11 a factor of k?
False
Let n(p) = -3*p - 1. Let x(g) be the first derivative of g**2/2 - g - 1. Let o(c) = n(c) - 3*x(c). Does 8 divide o(-2)?
False
Let a = 16 - -11. Does 10 divide 453/a + (-4)/(-18)?
False
Let q(u) = 4*u**3 + 11*u**2 - 10*u + 4. Let t(r) = r**3 + r**2 - r - 1. Let x(c) = q(c) - 5*t(c). Let h be x(6). Let n = -9 - h. Is 5 a factor of n?
False
Let x be 15 + -1 + -2 - 2. Let h = 16 - x. Is 4 a factor of h?
False
Suppose 0 = -5*m + 21 + 49. Let u be -5 + m - (0 + 1). Suppose -u + 41 = 3*r. Is r a multiple of 11?
True
Let v = -20 - 14. Let z(c) = c**3 - 6*c**2 + 2*c + 7. Let a be z(5). Let p = a - v. Does 13 divide p?
True
Let b(f) be the first derivative of f**4/4 - f**3/3 + f**2/2 + 13*f + 4. Suppose -5*x - 4*q + 8 = -0*x, x + 2*q - 4 = 0. Is 8 a factor of b(x)?
False
Let d(v) = -4 - v + 5 + 7. Is d(-8) a multiple of 8?
True
Suppose 0 = 3*x - 52 + 13. Let d be 68/(-12) + (-2)/(-3). Let m = x + d. Is 4 a factor of m?
True
Suppose 5*y - 4*n - 122 = 70, -2*n = -3*y + 116. Let h = -19 + y. Is 8 a factor of h?
False
Suppose -4*d + 110 = d. Suppose 4*v - 5*v = -d. Is 13 a factor of v?
False
Let m(x) = -x**3 + 4*x**2 - 4*x + 4. Let u be m(3). Does 9 divide (u - 25)*(-15)/12?
False
Let z(j) = -j**3 + j**2 + 3*j + 2. Let s(t) = t**3 - 2*t**2 - 2*t - 2. Let o(i) = 3*s(i) + 4*z(i). Is o(-5) a multiple of 14?
False
Does 27 divide (-15152)/(-112) - ((-2)/7)/(-1)?
True
Let r(g) = g**3 - 5*g**2 + g - 2. Let d be r(5). Suppose 0 = d*t + 32 - 107. Is 7 a factor of t?
False
Let s(j) = 42*j**2 - 2*j. Does 44 divide s(-1)?
True
Is 6 a factor of 21*(24/(-9) - -3)?
False
Let p be -1 + (1 - 0) + 3. Suppose -4*g + 101 = -p*r, -r = -5*r + 20. Let l = -18 + g. Is 3 a factor of l?
False
Let y = -7 + 4. Is 13 a factor of 78/(-3)*y/6?
True
Let r = -10 + 30. Suppose -3*w + 6 = 2*y, -5*y - 4 = 3*w - 19. Suppose -r = -a - y*a. Is a a multiple of 3?
False
Let x(g) = 2*g**2 + 11*g + 8. Let r be x(-7). Is (r*(0 - -1))/1 a multiple of 10?
False
Suppose -5 = -2*s + 7. Let y = -4 + s. Suppose -z = n - 2*n + 23, -y*n + 53 = 5*z. Does 11 divide n?
False
Let p = -10 + 0. Suppose 0 = -2*g + 3*g. Is 2 a factor of g + (-5)/(p/4)?
True
Suppose 1 + 1 = b. Let q(s) = -2*s**b + 0*s**3 + s - 4*s**3 - 2 + 1 + s**2. Is q(-2) a multiple of 9?
False
Let v be 4/(24/(-9) + 2). Let s(b) = b**3 + 5*b**2 - 8*b + 1. Is 8 a factor of s(v)?
False
Let i(f) = 7*f**2 + 3*f - 5. Let v(k) = 4*k**2 + k - 2. Let u(a) = -2*i(a) + 5*v(a). Let x be u(-2). Suppose -x = -2*y - 6. Does 4 divide y?
False
Let k(h) = h**3. Let u be k(-2). Let i(g) = g**2 + 8*g + 5. Does 3 divide i(u)?
False
Let j = -7 + 7. Does 9 divide (1 + j - -19)*1?
False
Suppose -4*w + 2*o = -10, 2*w = -3*o + 22 + 3. Let s(m) = 6 - 4*m - 2 - 4*m**2 - 6 + m**3. Is 3 a factor of s(w)?
True
Let r(f) be the second derivative of f**4/12 + 2*f**3/3 + f**2 - 2*f. Does 8 divide r(-6)?
False
Suppose -4*z + 620 = -4*w, 5*z - 686 = 3*w + 85. Let j = -108 + z. Let c = j + -17. Is 14 a factor of c?
True
Let z = 8 + -6. Suppose z*m - 19 = 41. Does 15 divide m?
True
Let l be (-8)/(-12)*1*6. Suppose -4*r + 3*t + 2 = 0, -r = 2*r - 5*t + l. Suppose -3 = -3*h + r*n + n, 2*n - 10 = -h. Is 4 a factor of h?
True
Let l(y) be the first derivative of -y**2 - 5. Is l(-5) a multiple of 5?
True
Suppose 0 = -3*n - 4*s + 140, -3*n - s = -0*s - 143. Is 24 a factor of n?
True
Let j(s) = -7*s + 16. Is j(-3) a multiple of 37?
True
Suppose -5*t + 4*z = -166, 3*t - 93 + 19 = -4*z. Does 9 divide t?
False
Let o be ((-2)/3)/((-10)/45). Suppose -o*c + 2*c = -24. Is 12 a factor of c?
True
Suppose -2*q - 2*l = -0*q + 2, 5 = -5*q + 2*l. Let z be (q - (-2 - -2)) + -8. Does 12 divide (-10)/(-1*(-6)/z)?
False
Let s(f) = -30*f + 55. Let v(g) = -5*g + 9. Let m = -8 + 12. Let y(d) = m*s(d) - 25*v(d). Is y(6) a multiple of 13?
False
Let r = -26 + 80. Suppose 2*x + r = 4*j, x + 0 = 1. Does 7 divide j?
True
Suppose -4*q = 5*c - 36, -4*c = q - 5*c. Suppose -l - q = 3*h, -h - 21 = -4*l + 2. Is 5 a factor of l?
True
Suppose 0 = 2*i - 3*i - 4. Let m be (i/5)/(2/(-10)). Suppose -m*l = 5*v - 80, 3*l = 4*v - 3*v - 16. Is v a multiple of 8?
True
Suppose -4*p + 0 = 8. Let o = 3 + p. Let h = o - -25. Does 13 divide h?
True
Let t = 45 - 40. Is 5 a factor of t?
True
Suppose 5*d = -2*q + 20, 2*q - 10 - 6 = -4*d. Does 6 divide (q + 1)/((-2)/(-20))?
False
Let z = -129 + 187. Does 10 divide z?
False
Let i(o) = -13*o - 2. Let f be 58/(-12) - (-2)/(-12). Let h be i(f). Suppose -5*u - d + h + 110 = 0, u - d - 37 = 0. Is u a multiple of 13?
False
Let g = 5 + -5. Let x(i) = -i**3 - 32. Let v be x(g). Let d = -6 - v. Does 9 divide d?
False
Let x = -11 - -12. Is x/(-3 + 52/17) a multiple of 17?
True
Let j(m) = m**3 - 12*m**2 + 13*m + 14. Let i be j(11).