 13?
False
Does 5 divide (-4 + 95/10)*10?
True
Suppose -4*h = -r - h + 23, -3*h = -12. Is r a multiple of 5?
True
Let k(l) = 61*l - 5. Let a be k(-3). Is 9 a factor of (-6)/15 + a/(-20)?
True
Let l(g) = g**3 - g**2 - g + 1. Let t(w) = -3*w**3 + 8*w**2 + 6*w + 2. Let z(n) = -4*l(n) - t(n). Let d be z(-4). Is (4/(-6))/(d/(-36)) a multiple of 10?
False
Let i(a) = a - 2. Suppose 5*p + 11 = -2*q + 42, -3*p - q = -19. Let t be i(p). Is 12 a factor of 168/t + 2/5?
False
Let z = -15 - -31. Let j = z - 1. Is j a multiple of 5?
True
Suppose -3*y + 3*b = -18, 11 + 7 = -y - 5*b. Suppose 6 = -y*h - 10. Is 9 a factor of ((-12)/h)/(6/44)?
False
Suppose -14*q + 10*q + 180 = 0. Is 9 a factor of q?
True
Suppose q - 120 = -24. Does 8 divide q?
True
Does 10 divide (-25)/2*(-132)/55?
True
Let z(n) = 2*n**2 + 11*n + 5. Let j be (-7 + 0)/(0 + 1). Let t be z(j). Suppose y = 3*y - t. Is 7 a factor of y?
False
Let b be (-2 + (-6)/(-2))*0. Suppose b = 4*w - w. Suppose w = -4*r + 16, -2*r + 44 = 3*s - 0*r. Does 6 divide s?
True
Suppose 4*v = 5*o + 97, 0*o = -5*o - 25. Does 6 divide v?
True
Suppose 8*d - 580 = 4*d. Is 29 a factor of d?
True
Suppose -5*o - 41 - 44 = 0. Let a = o - -24. Is a a multiple of 7?
True
Let c = 13 - 0. Is c a multiple of 4?
False
Let b be 5/4 - (-1)/(-4). Suppose -b = 2*z - 5. Suppose 3*p + 4*n - 4 = z, 5*p - 5*n = 10. Is p even?
True
Suppose 185*x = 186*x - 104. Is x a multiple of 35?
False
Let s(l) = 31*l**2 + l - 1. Let b be s(1). Does 10 divide 1*-1 + b/1?
True
Suppose -t + 6 = 1. Let f be -4*(-1*t - -1). Let q = f - 8. Does 4 divide q?
True
Suppose 0 = 2*y + 2*y - 12. Suppose -5*h + 143 = 2*b, 4*h + 0*b = y*b + 96. Does 9 divide h?
True
Let r(c) = c**3 + 6*c**2 + 7*c + 7. Let p be r(-5). Let h be ((-4)/(-10))/(p/15). Does 17 divide ((-1)/h)/(3/102)?
True
Suppose -14*w = -19*w + 1160. Is w a multiple of 20?
False
Suppose 0*c + c = 4*h + 137, 0 = 4*c - 20. Is (-2910)/h + 8/(-44) a multiple of 30?
False
Let p = 118 + -209. Let k = p - -163. Is k a multiple of 18?
True
Let q = 49 - 35. Does 14 divide q?
True
Suppose -5*w = -6 - 4. Suppose w*y = 3*y - 12. Is 7 a factor of (-56)/y*(-6)/2?
True
Is 18 a factor of 16/10*(-150)/(-12)?
False
Suppose -1 = s - 4. Suppose 55 = s*a - 4*q, -a + 2*a - 10 = 3*q. Is 11 a factor of a?
False
Let t = 110 - 77. Suppose -x = 4 - t. Does 11 divide x?
False
Let k be 19/(6 + -2 - 3). Does 16 divide (2 + -1)*-3 + k?
True
Suppose 3*s + o = 5*s - 7, -s + 8 = -5*o. Suppose -2*f + 4*p = 3 - 23, -s*p - 55 = -4*f. Does 8 divide f?
True
Suppose 4*q - 5 = -q. Suppose -5*i = q + 4, i - 21 = -2*r. Is 7 a factor of r?
False
Suppose -5*a - 116 = -3*q, -4*a = 4*q - 134 - 42. Is 42 a factor of q?
True
Suppose 0 = m - 2*h + 6*h - 15, 5*h - 6 = 3*m. Let z be (0 - -1)*(3 - 1). Suppose -z - 4 = m*v, -2*r - 5*v = -38. Is r a multiple of 12?
True
Suppose 19 = 2*r + 7. Is r a multiple of 3?
True
Let f be (-2)/8 - (-25)/4. Suppose 3*w + 6 = -3*d, -d - 11 = 2*w - f*d. Is 15 a factor of (-100)/w - 4/(-6)?
False
Suppose -6*m - m + 196 = 0. Is m a multiple of 7?
True
Is ((-56)/(-14))/(2/25) a multiple of 25?
True
Suppose -5*y = -3*m + 405, 4*m - 3*m - 4*y = 128. Is m a multiple of 14?
True
Suppose 4*t - 123 = 5*j + 214, 2*j = 5*t - 400. Is t a multiple of 14?
False
Is ((-3)/(-3))/2*96 a multiple of 7?
False
Let h be ((-12)/14)/((-3)/42). Suppose -4*c + 8*c - h = 0. Is 2 a factor of c?
False
Let t(n) = 4*n**2 + 5. Does 21 divide t(4)?
False
Does 2 divide 5*((-8)/(-30))/(2/6)?
True
Suppose -674 - 421 = -3*v. Is v a multiple of 27?
False
Let r be (24/(-15))/((-2)/(-80)). Suppose 0 = 4*t + f - 3*f + 28, 5*t + 4*f = -22. Is 17 a factor of (18/4)/(t/r)?
False
Let c = 17 - 3. Suppose -5*v + 2*k - 6*k + 19 = 0, -k = -5*v + c. Suppose -v*s - 3 = -15. Does 2 divide s?
True
Suppose -2*p + 2*c = -16, -2*p + 3*c + 19 = -0*p. Let x = 5 + p. Is x a multiple of 5?
True
Is (-3)/(-15)*-3 + (-1706)/(-10) a multiple of 29?
False
Let f(m) = m**2 + 9*m + 11. Let h be f(-8). Let v(o) = -2*o**2 + 2 - o + 2 + h*o**2. Does 8 divide v(-3)?
True
Suppose 0 = 6*y - 1038 - 150. Does 18 divide y?
True
Let y = 7 - 3. Suppose -3*j + y*z + 56 = 0, -4*z + 10 = 3*j - 78. Is 16 a factor of j?
False
Suppose -3*n = -3*o + 30, 4*n + 45 = 2*o + 3*o. Let c be n + (-6)/3 - -2. Is 30/(-9)*18/c a multiple of 12?
True
Suppose 5*q - q - 2 = -5*x, -10 = -x + 4*q. Suppose 2*y + x*y + 52 = 5*z, 3*z - y - 34 = 0. Is z a multiple of 6?
True
Let h = 27 - 15. Let k = h - -2. Is 14 a factor of k?
True
Let b = -6 + 10. Is 8 a factor of (6 - b)/((-2)/(-17))?
False
Does 13 divide -372*(-4 - 11/(-3))?
False
Let h(x) be the second derivative of -x**7/840 - x**6/72 - x**5/20 - x**4/24 + x**3/6 + 2*x. Let n(t) be the second derivative of h(t). Is 7 a factor of n(-4)?
True
Let w(g) = 3*g - 2*g - 4*g + 6*g**2 - 4 - g**3. Is 3 a factor of w(5)?
True
Let c = -203 - -355. Does 25 divide c?
False
Let b = 30 - -34. Is b a multiple of 9?
False
Suppose 0 = 2*c + c - 30. Is c a multiple of 5?
True
Let k(u) = 2*u**2 - 4*u - 8. Does 53 divide k(11)?
False
Suppose 40 = o - 0*o. Is 39 a factor of o?
False
Let z(r) = -r**3 + r + 7. Let b be z(0). Suppose -10 = -b*w + 2*w. Suppose -4*j + 2*j - 3*t = -56, 0 = j - w*t - 14. Does 11 divide j?
True
Suppose -3*s = 4 - 10. Let t be s/6 - 77/(-21). Suppose 4*m = -b - 3*b + 56, -5*m = t*b - 73. Is m a multiple of 7?
False
Let u be (3/(-4))/(1/(-32)). Let o = 33 - u. Is o a multiple of 3?
True
Let q be (48/10)/(7/105). Is 16 a factor of ((-20)/6)/(-5)*q?
True
Suppose 0 = -2*m - 88 + 224. Suppose 0 = -a + 2*a - 5, 0 = -w - 4*a + m. Does 24 divide w?
True
Let a = -289 - -433. Does 18 divide a?
True
Let x = -108 + 164. Does 14 divide x?
True
Suppose -d = -7 - 20. Let u = 79 - d. Is u a multiple of 13?
True
Suppose 0 = 19*r - 22*r + 126. Is r a multiple of 6?
True
Let o(n) = 13*n + 1. Does 3 divide o(1)?
False
Let z(k) = -k**2 + 6*k + 1. Let p be z(3). Does 15 divide p/35 - (-388)/14?
False
Suppose 2*i = 7 + 33. Let l be (-17)/5 + 8/i. Let k = 13 - l. Does 8 divide k?
True
Suppose -12*q = -13*q. Suppose q = 10*z - 6*z - 24. Does 4 divide z?
False
Suppose -4*i + 16 = 0, -4*l = -i - 4 - 8. Is 9 a factor of (-1)/l*0 - -38?
False
Suppose 2*o - 72 = 2. Is 19 a factor of o?
False
Let p(l) = l**3 + 10*l**2 + 9*l + 17. Is 36 a factor of p(-4)?
False
Suppose k = -2 + 27. Let w = 3 - 3. Suppose 0*o - o + k = w. Is 11 a factor of o?
False
Let t = 27 + -19. Is t even?
True
Let b(f) = 13*f**3 + f. Let c be b(1). Let j be (0 + c/(-4))*-2. Let z = 15 - j. Does 5 divide z?
False
Suppose 2*u = -2*a + 5*a - 1, -5*a - 1 = -2*u. Let z = a - -9. Is z a multiple of 4?
True
Is 28 a factor of (190/25)/((-1)/(-20))?
False
Let r(o) = o**2 + 4*o + 8. Let k(l) = l**2 - 1. Let q(y) = 6*k(y) + r(y). Does 11 divide q(-2)?
True
Let z be 2 + 47*(-1 - 0). Let s = -31 - z. Is 14 a factor of s?
True
Suppose 3*d - 4*y = -0*y + 16, -5*y = -3*d + 14. Let v = d + -8. Suppose -5*k + 0*k + 45 = v. Is 3 a factor of k?
True
Is (-4 - -1)/((-9)/117) a multiple of 21?
False
Let g be -28 - (-4)/(4/(-1)). Let f = -19 - g. Is f a multiple of 10?
True
Suppose 0 = -2*l - 5*i - 67, 2*l - 3*i = 7*l + 158. Let j = l - -46. Does 5 divide j?
True
Suppose 158 = 8*d - 450. Is 19 a factor of d?
True
Let c(r) = -r**2 - 8*r - 7. Let i be c(-12). Suppose -3*z = 3*d + 249, -273 = 3*z - 3*d - 0*d. Let m = i - z. Is m a multiple of 16?
True
Let i be (154/(-28))/(1/(-6)). Suppose 71 = 4*g - i. Does 13 divide g?
True
Let m(q) = -q**3 + q + 21. Suppose 3*z + 4*c + 6 = 0, z = 2*z + 5*c + 13. Suppose -x = z*x. Does 13 divide m(x)?
False
Let u(s) = s**3 + 20*s**2 + 14*s - 9. Does 29 divide u(-19)?
False
Let j = 21 - -12. Let q = j - -11. Does 22 divide q?
True
Let o = 12 + -26. Suppose -5*u + 734 = 4*z, 3*z + 2*z + 5*u - 920 = 0. Is 13 a factor of (-4)/14 - z/o?
True
Let q(t) = 25*t**2 + 17*t + 2. Is 13 a factor of q(2)?
False
Suppose 0*k - 5*i - 27 = -4*k, 3*k - i - 12 = 0. Let u(c) = c**3 - c**2 + 3*c + 4. Is u(k) a multiple of 18?
False
Let m(x) = 59*x**3 + 7*x - 60*x**3 - 7*x**2 - 2 + 7. Suppose p + 40 = -4*p. Is m(p) a multiple of 13?
True
Let s(p) = -p**3 - p**2 - 4*p - 3. Let h be (-14)/35 + 7/5. Let a(t) = -3*t**3 + t**2 - t. Let d be a(h). Does 11 divide s(d)?
False
Let k(a) = -a**3 + 13*a**2 - a + 6. Does 39 divide k(12)?
False
Is 6 a factor