 a multiple of 13?
True
Let v(t) = 11*t + 1. Does 6 divide v(1)?
True
Let q(m) = -22*m - 48. Is 50 a factor of q(-13)?
False
Suppose 0*o - o + 11 = 4*c, 3*o = -c. Suppose -4*s = c*a - 23 - 36, -5*s = -5*a - 30. Is 11 a factor of s?
True
Suppose b + 3*y - 264 = 0, 13*y - 11*y - 267 = -b. Does 52 divide b?
False
Does 13 divide (18/(-15))/(1/(-25))?
False
Suppose -17*y - 5*y + 8932 = 0. Does 66 divide y?
False
Suppose -3*w - 60 = w. Let n = w + 42. Is n a multiple of 13?
False
Suppose 0 = -3*f + 160 + 32. Suppose -2*i = -r - 2 - f, i + 4*r - 15 = 0. Does 16 divide i?
False
Let u be (1 + -2)/(-1) - -18. Does 2 divide 4/14 + u/7?
False
Let k be -3*(3 - 3 - -3). Let t = 61 - k. Does 12 divide t?
False
Suppose -5*i + 21 = -104. Let r(l) = l + i + 7 + l**2 - 2*l. Is 16 a factor of r(0)?
True
Let b be (-1 - (-8)/6)*3. Let u = 1 - b. Let v(r) = -r**3 - r + 23. Does 10 divide v(u)?
False
Suppose 5*b - n - n = 16, 12 = 5*b - 4*n. Suppose -5*c + b*u = -0*c - 90, 3*u = -5*c + 55. Is c a multiple of 7?
True
Suppose 0*v - v = 2*o - 19, -4*v = 2*o - 94. Is v a multiple of 7?
False
Let n(y) = -y**3 + 5*y**2 - y + 4. Let g(k) = -k**3 + 9*k**2 + 4. Let j be g(9). Let w be n(j). Suppose -2*p + 6*p = w. Does 4 divide p?
True
Let j(k) be the second derivative of k**5/20 + 2*k**4/3 - 5*k**3/3 + k**2/2 + 3*k. Is 5 a factor of j(-9)?
True
Let a(r) = 1 - 9 - 5*r + 1 + 1. Does 5 divide a(-4)?
False
Suppose -11*b = -1078 - 1034. Is b a multiple of 19?
False
Suppose 7*g - 2*g - 480 = 0. Does 8 divide (g/(-36))/(1/(-6))?
True
Suppose t - 4*p - 136 = 0, -t - t = 5*p - 259. Does 44 divide t?
True
Is (96/15)/(-3 - 94/(-30)) even?
True
Let d(q) = -8*q. Let b be d(-5). Let j = -16 + b. Does 11 divide j?
False
Let v(c) = 10*c**2 + 3*c. Let k be v(-4). Suppose -4*z = -5*i - k, -2*z = -4*i - 31 - 49. Does 16 divide z?
True
Suppose -2*q + 89 = -2*g + 13, -g + 114 = 3*q. Suppose 0 = 4*a - 3*h - 48, 3*a + 2*h - q = a. Is 5 a factor of a?
True
Let o(v) = -2*v**3 - 3*v**2 - v + 5. Let a be (-6)/((18/(-4))/(-3)). Does 20 divide o(a)?
False
Suppose 5*d + 4 = 24. Does 12 divide 2/d*(6 - -28)?
False
Let t(q) = q. Let b be (-2)/(-8) - 19/(-4). Is 5 a factor of t(b)?
True
Suppose 2*h = 3*y + 6*h - 41, -4*h = y - 19. Let m be (2 - 1)*4 - 7. Let w = m + y. Does 4 divide w?
True
Suppose 3*k = -3*c + 255, 0*k + 80 = c + 2*k. Is 30 a factor of c?
True
Let z(q) = -q. Let c be z(-3). Let r = 6 + c. Let i = 14 - r. Is i even?
False
Let c = 11 - 12. Let k(t) = 24*t**2 + t. Does 23 divide k(c)?
True
Suppose 5*t - 16 + 1 = 0. Let f be 163/t - 3/9. Is 19 a factor of (-12)/((-4)/f*3)?
False
Let f(q) = 5*q**3 - 8 - 3*q**2 - 4*q**3 + 4 - q**2 + 4*q. Does 6 divide f(4)?
True
Let j(k) be the first derivative of 11/3*k**3 - 1/4*k**4 + 1 - 9/2*k**2 + 7*k. Is 17 a factor of j(10)?
True
Let k = 100 - 67. Does 11 divide k?
True
Let s(n) = -2*n**3 + 4*n**2 + 2*n - 1. Does 27 divide s(-2)?
True
Let t = 25 - -4. Is t a multiple of 5?
False
Suppose -3*w + 43 = -4*v, -5*v - 4 = -14. Suppose -11 = -z + w. Is z a multiple of 12?
False
Let t = 0 + 2. Suppose -t*u + 0*u = -32. Is u a multiple of 8?
True
Is ((-48)/(-9) + -6)/(2/(-240)) a multiple of 16?
True
Suppose -5*k = 4*q - 7, 0 = -q + k + 7 - 3. Let d be (-4)/(4 - 0)*-1. Let w = q - d. Is 2 a factor of w?
True
Suppose 5*v + 81 = 8*v. Does 4 divide v?
False
Let o be ((-6)/15)/((-2)/20). Suppose -o*i = i - 20. Suppose 5*s + z = 151, 4*s - 121 = 3*z - i. Is s a multiple of 15?
True
Let x = 6 + -5. Suppose 0 = 4*w + n + 5, -3*w - 5 = -4*n + 5*n. Suppose -t - t + 5*j = x, w = 3*j - 9. Is 7 a factor of t?
True
Suppose -4*v + t + 3 = 32, 1 = 4*v + 5*t. Let a be ((-4)/v)/(2/(-18)). Does 6 divide (0 + a)*(-49)/21?
False
Let t(r) be the third derivative of r**4/3 + 4*r**3/3 + 4*r**2. Is 24 a factor of t(5)?
True
Suppose 5*o + 0*o = 0. Suppose o*s = 2*s - 38. Does 19 divide s?
True
Suppose 6 = i - 46. Is i a multiple of 26?
True
Let v(w) = -4*w**3 - 3*w**2 - 3*w - 1. Let m(t) = 4*t**3 + 4*t**2 + 4*t + 2. Let k(i) = 2*m(i) + 3*v(i). Let q be k(1). Is 152/6 + q/15 a multiple of 8?
False
Let k(m) = m**3 - m**2 - m. Let n be k(1). Let g = 1 - n. Does 2 divide g?
True
Let m = 4 - -18. Suppose -m = 2*v - 4*v. Is 7 a factor of v?
False
Let i(p) = p**2 - 2*p. Let f be i(3). Is 11 a factor of ((-1)/f + -4)*-6?
False
Let o(i) = -i**2 + 11*i - 4. Suppose b - 6*b + 20 = 0. Is 10 a factor of o(b)?
False
Let p(k) = k**2 - 1. Let s(g) = -4*g**2 - g + 3. Let r(x) = 6*p(x) + s(x). Is 6 a factor of r(4)?
False
Suppose 3*c - 5 = -2*c. Suppose h + c = 2. Let p(y) = 7*y**2 + 2*y - 1. Is 4 a factor of p(h)?
True
Let v = 2 + -2. Suppose 0 = 4*w - t - 2, v = 5*w + t - 7. Does 10 divide (w/2)/(2/92)?
False
Suppose -7*x + 196 = -0*x. Is x a multiple of 14?
True
Let a = -620 - -916. Is a a multiple of 10?
False
Suppose 5*u = -0*u - 5. Does 7 divide u + 0 + 13 + -1?
False
Suppose -2*b + 5*t - 26 = 0, -3*b - 9 = -4*t + 16. Let r be (b/((-3)/2))/2. Does 21 divide (-1 - 0)*(r + -59)?
False
Let s(a) = 2*a**2 - 25*a + 16. Does 25 divide s(15)?
False
Let i = 127 - 121. Does 6 divide i?
True
Is 1/(-5) + 744/20 a multiple of 6?
False
Let w(a) = -2*a - 1. Let t be w(1). Let z be 1 + (t - -5)*-1. Is 2 a factor of 1 + (0 - (-2 - z))?
True
Is -2*6/(-4) - (-116 - 6) a multiple of 17?
False
Let j = -3 - -5. Suppose 0 = -j*k + 4*d + 28, -3*k + 3*d = -30. Does 6 divide k?
True
Is 23 a factor of 276/(-36)*(-13 + 1)?
True
Let g = 66 + -15. Let a = -30 + g. Is a a multiple of 19?
False
Suppose b - 552 = -3*b. Does 28 divide b?
False
Suppose 0 = -54*a + 50*a + 136. Is a a multiple of 11?
False
Let a be (8*1)/(9 - 7). Is 18 a factor of 17 - (-2 - (a + -3))?
False
Let f = -4 - -6. Suppose 0 = -t + f*t. Suppose t = g - 0*g - 8. Is g a multiple of 4?
True
Suppose -4*v = -739 - 209. Does 26 divide v?
False
Suppose 3*c - 145 = -2*c + 5*t, 4*c + 2*t = 134. Does 15 divide c?
False
Let o(x) = -x. Let j be o(-2). Suppose -7*q + j*q = -25. Suppose -h = 3*y - 91, q*y - 5*h = -h + 129. Does 16 divide y?
False
Let l = -2 - -4. Suppose 2*d + 2*o + l*o - 128 = 0, 10 = 5*o. Is 20 a factor of d?
True
Let d be 30/12 - (-1)/2. Let a be (4/(-12))/(1/d). Is (-7)/(3/9*a) a multiple of 8?
False
Suppose 0*o + 9 = o. Suppose 4*q = o + 11. Does 5 divide q?
True
Let y be (3/2)/((-6)/(-16)). Let c be (y/(-1))/(-7 - -6). Let j = 9 - c. Is j a multiple of 5?
True
Let s(k) = 4*k**3 - 4*k**2. Let d(a) = -a**3 - a - 1. Suppose -2*h = -0*h - 2. Let b(f) = h*d(f) + s(f). Is 15 a factor of b(3)?
False
Let d(l) = l - 1. Let j be d(3). Suppose -3*y + 160 = j*y. Does 7 divide y?
False
Is 2/(-3) - 8676/(-54) a multiple of 16?
True
Suppose -2*t + 71 = -57. Is 23 a factor of t?
False
Let q = -26 + 42. Does 16 divide q?
True
Let v be 3*(-4)/(36/15). Let l be 0*1/(-3) - -8. Is (l/v)/((-12)/270) a multiple of 18?
True
Let j = -14 + 21. Suppose j*v - 3*v = 88. Is v a multiple of 22?
True
Let v(a) = -2*a**3 - 3*a**2 - 3*a - 3. Is v(-3) a multiple of 12?
False
Suppose 5*x + 3*f - 387 = 0, -2*f + 14 = -2*x + 172. Let m = x - 44. Is m a multiple of 17?
True
Is 34 a factor of (-4 + 3)/(2/(-136))?
True
Let a be -3 + -3 + -1 + 0. Let p(n) = n**2 + 8*n + 9. Is p(a) even?
True
Let i(d) = d**3 + 4*d**2 - 5*d - 4. Let j be i(-5). Is 23 a factor of (-2 + 4)*(-138)/j?
True
Let b(g) = -g**3 - 11*g**2 + 5. Let m be b(-11). Suppose 3*j + m*i - 2*i = 45, 3*i = -3. Is 8 a factor of j?
True
Suppose 2*m - 35 - 1 = 0. Does 4 divide m?
False
Let i(h) = 1 + 18*h - 1. Is 19 a factor of i(2)?
False
Suppose w + 5 - 10 = 0. Suppose w*d = 4*d + 117. Is 39 a factor of d?
True
Suppose -2*j - 3*a + 6 = 2*j, 3*a - 6 = 0. Suppose j*y + y - 3 = 0. Suppose y*u = 4*l - 84, -5*u = -2*l - 4*u + 42. Is l a multiple of 21?
True
Let w be (-8)/6*6/4. Let c(f) = -f**2 - f + 1. Let i be c(w). Is 10 a factor of (-1 - 3/i)*14?
False
Suppose -5*u + 6 = -p - 2*p, -2*u + 2*p = 0. Suppose 0 = u*h - h - 14. Is h a multiple of 7?
True
Suppose -2*f - 3*x = -7*f + 96, -5*f = -2*x - 94. Is f a multiple of 4?
False
Suppose 3*l - 9 = 3*h, -2*h + 2 = -4*h. Suppose -l - 4 = d. Does 23 divide (-272)/d + 6/9?
True
Let b be (2/(-4))/((-1)/24). Suppose 5*a + 4*g = 30, -4*a - b + 72 = -4*g. Does 5 divide a?
True
Suppose 4*l - 3*b = -89, 2*b = 3*l - 0*b + 66. Is 5 a factor of (-4)/(-10) + (-132)/l?
False
Let y(l) = 2*l**2 + 5*l - 