r + 17. Is u a multiple of 11?
False
Is (-3)/(3/1) - -85 a multiple of 21?
True
Let n(c) be the first derivative of 13*c**3/3 + 3*c**2/2 + 8. Is 23 a factor of n(-2)?
True
Let w be 2 + -1 + 0/(-7). Does 8 divide (-2)/1 + (w - -9)?
True
Let v(f) be the second derivative of -f**7/420 - f**6/180 + f**5/40 + f**4/8 + f**3/6 + 3*f. Let d(m) be the second derivative of v(m). Is 3 a factor of d(-2)?
False
Suppose -t + 714 = t. Suppose -3*l = -2*o - 201, -3*o - o = 5*l - t. Does 23 divide l?
True
Let t be -4 - (-9)/3 - -249. Suppose v = 5*c + 65 - t, -c + 5*v + 51 = 0. Does 18 divide c?
True
Let x(t) = -t**3 - 4*t**2 - 3*t - 9. Let p be x(-6). Suppose -2*s - 59 = -3*l, 4*l - 3*s = 2*s + p. Let y = -3 + l. Does 8 divide y?
True
Let v(n) = 13*n**2 - 7. Does 29 divide v(3)?
False
Let t(q) = -6*q. Let f be t(1). Let i be ((-10)/(-3))/((-4)/f). Suppose 4 = -4*o - 4*a - 0, 17 = o - i*a. Is 2 a factor of o?
True
Let y be (-36)/10*(-4 - 1). Suppose -4*v + 72 = 2*s, -3*v = -y + 6. Suppose 84 - s = 2*z. Is z a multiple of 14?
True
Suppose 5*x = -5, -3*n + 42 = -x - 19. Suppose 0 = 4*t - 8*t + n. Suppose -t*i = -3*i - 40. Is i a multiple of 20?
True
Suppose 16 = -5*p + i, 0 = 4*p + 4*i - i + 9. Does 3 divide 0 - (-10 - (2 + p))?
True
Suppose -l - 4*l = -50. Suppose 2*w + l = 4*w. Suppose -o + 24 = 5*v, -3*o = 2*o + w. Is v a multiple of 2?
False
Let d(w) = -w + 63. Let i be d(0). Suppose 37 = 4*g - i. Does 14 divide g?
False
Suppose 4*w - 49 = 87. Does 15 divide w?
False
Let h be (-516)/42 + 4/14. Let a(n) = n**3 + 13*n**2 + 7*n + 6. Let o be a(h). Suppose 3*t - o = -2*r + r, -4*r = 0. Is t a multiple of 11?
True
Suppose 5*x - 47 = 53. Let l be -2 - (0 - -3 - x). Let p = 23 + l. Is 15 a factor of p?
False
Let k = -2 + 2. Suppose k*s + 117 = 3*s. Is s a multiple of 18?
False
Suppose h - 5*i - 41 = 33, -h + 46 = 2*i. Is h a multiple of 27?
True
Suppose 5 = 2*g + 1. Suppose 3*i + 4*p = 227, -i + 2*p + 197 = g*i. Does 23 divide i?
True
Let f(y) = 7*y**3 - y**2 - y + 3. Is f(3) a multiple of 9?
True
Let h(a) = a**3 - 10*a**2 + 18*a + 9. Is h(8) a multiple of 3?
False
Let v(p) = p**2 - 7*p + 2. Let r be v(8). Let u = r + -6. Does 4 divide u?
True
Suppose 0*w + 8 = -2*n - 2*w, -3*w = -2*n - 33. Let k(u) be the third derivative of u**5/60 + u**4/3 + u**3/6 - u**2. Does 7 divide k(n)?
False
Let w = -1 - 60. Let r = w - -105. Is 11 a factor of r?
True
Let s = 323 + -172. Is 19 a factor of s?
False
Suppose 7*w - 12*w = -265. Does 11 divide w?
False
Let a = 3 + -3. Suppose z - 1 - 5 = a. Suppose 0 = 3*k - z*k + 60. Is 10 a factor of k?
True
Suppose 24 = 3*z - 3*a + 4*a, 4*z = -5*a + 32. Is 3 a factor of z?
False
Suppose 0 = 4*n - 36 - 20. Is 9 a factor of (0 - (-1 - 1))*n?
False
Suppose -5*k = -4*k + 7. Let x = 33 + k. Does 13 divide x?
True
Let j = -3 - -7. Suppose 3*i = -4*c + 334, -j*c - 2*i + 205 = -131. Suppose 3*u = -p + 44, 0 = 2*p - 0*p + 5*u - c. Is p a multiple of 16?
False
Let q = 5 + -7. Let u be 21/2 + q/(-4). Let p = 26 - u. Is p a multiple of 5?
True
Suppose -t = -5*n - 13, -n - 2*t = -0*t - 4. Does 4 divide 16*n/(-8)*2?
True
Let p = -24 - -29. Suppose 3*y + 3*k = p*k + 103, 2*y - 62 = 3*k. Does 13 divide y?
False
Let g = 4 - 1. Suppose -t = g - 21. Is 6 a factor of t?
True
Let o(w) be the first derivative of -w**4/4 + w**3/3 + 3*w**2/2 - 3*w + 3. Let d be o(-5). Let p = d + -87. Is p a multiple of 23?
False
Let u(h) be the first derivative of -2*h**4 - h**3/3 + h**2/2 + h - 4. Is u(-1) a multiple of 4?
False
Let z be (-4)/(-16) - (-82)/(-8). Let b(p) = p**2 + 6*p - 11. Let s be b(z). Suppose -3*i = -37 - s. Does 9 divide i?
False
Let i be (6*-1)/(1/1). Let y(p) = -7*p - 6. Does 15 divide y(i)?
False
Suppose 24 = w - 2*x, 2*w - 51 = -0*w + x. Suppose -w + 2 = -2*h. Is 11 a factor of h?
False
Let r(f) = -3*f + 7. Let d be r(-6). Let l = d - 3. Is l a multiple of 8?
False
Let y be 82/(-7) + 4/(-14). Is (69/(-2))/(6/y) a multiple of 25?
False
Suppose -2*d - 5 = b, 0 = 5*d - 3*b + 2 + 5. Let u be 1 - 0/2 - d. Suppose 0 = -u*p - 5*x - 1, -x - 4*x = 2*p + 9. Does 5 divide p?
False
Let t be (-2 + (-33)/(-12))*-4. Let j = t + 6. Is 3 a factor of j?
True
Suppose 55 = 3*m + 16. Suppose -z + 71 = m. Does 21 divide z?
False
Let y(w) = 4*w**3 - w**2 - 3*w + 1. Does 8 divide y(2)?
False
Suppose -50 = -2*s - 2*v, -2*s + 50 = -0*s - v. Does 5 divide s?
True
Let x(m) = 2*m - 10. Let v be x(8). Suppose -3*i + v = 3. Does 13 divide (2 + -1)/(i/26)?
True
Is 16 a factor of (2 - -58)/((-92)/(-16) - 5)?
True
Let h(n) = 3*n. Let a be h(-2). Let w = a - -25. Does 6 divide w?
False
Let i(u) = -u**3 + 11*u**2 + 32*u - 26. Is 26 a factor of i(13)?
True
Let n be (-1)/3 + (-502)/6. Let m = n - -123. Is 13 a factor of m?
True
Let w(b) = -b**3 - 3*b**2 - 3*b - 4. Is w(-4) a multiple of 10?
False
Let q = 167 + -103. Let p = -44 + q. Is 10 a factor of p?
True
Let v(m) = -6*m - 3. Let b be (-8)/6*6/4. Is 9 a factor of v(b)?
True
Let w(y) be the third derivative of y**4/24 + 3*y**3/2 + 2*y**2. Let g be w(-7). Is 19 - 3/((-6)/g) a multiple of 9?
False
Let w = -28 + 14. Let j = 0 - w. Is 7 a factor of j?
True
Let j(s) = s - 4. Let b be j(6). Let w be 87/(-4)*24/b. Is 11 a factor of (1/(-3))/(3/w)?
False
Suppose -4*u + 19 = 5*w - 27, -32 = -4*w - 2*u. Is 117/w*16/12 a multiple of 7?
False
Suppose -4*u - 16 - 35 = -q, 5*u = 5. Is q a multiple of 11?
True
Let n(s) = 4*s + 2. Let m(i) = i + 9. Let p be m(-4). Suppose 0 = p*l - 2*l - 15. Is 13 a factor of n(l)?
False
Suppose 5*y - 540 = 2*y. Is 18 a factor of y?
True
Let y(k) = -k - 76. Let m be y(0). Let f = 133 + m. Does 19 divide f?
True
Let b(n) = -n**2 + 6*n + 3. Suppose 4*y + 7 = 2*j + 3*j, 5 = j + y. Does 6 divide b(j)?
True
Let v(d) = d**3 + 6*d**2 - 2*d + 8. Let u = 10 + -16. Does 9 divide v(u)?
False
Let b = 5 - 14. Let l = b + 23. Does 14 divide l?
True
Let h(i) = 2*i**3 - 2*i**2 + i - 1. Does 31 divide h(3)?
False
Let i(g) = g**2 + 15. Is i(-9) a multiple of 21?
False
Suppose 8*j = -5*j + 1755. Is j a multiple of 15?
True
Let v(p) = p**2 - p. Let n = -5 + 3. Let s(d) = d**2 + 8*d - 1. Let c(m) = n*v(m) + s(m). Does 10 divide c(7)?
True
Let y(o) = 4*o - 3. Suppose -r = 4*c - 10, 4*c - 11 = -3. Is y(r) a multiple of 2?
False
Let z(u) = -9*u - 3. Does 13 divide z(-3)?
False
Suppose -275 = -f - 4*f. Suppose -5*g + f = -0*g. Is 11 a factor of g?
True
Suppose 6*l - 2*v - 70 = 2*l, -33 = -2*l + 3*v. Is l a multiple of 9?
True
Let t be (44/(-3) - -2)*-3. Let l = 7 + t. Is 18 a factor of l?
False
Let r = 28 + 26. Is 18 a factor of r?
True
Suppose -s - 5*u = 12, 6*s - 28 = 4*s + 3*u. Suppose -s - 44 = -4*g. Is 3 a factor of g?
False
Suppose 0 = 4*r - 43 - 77. Does 5 divide r?
True
Let p be (1 + 2)/(1/2). Suppose 0 = -2*l + 3*l - p. Suppose -j - 1 = 0, -l*i = -i - 3*j - 218. Is 16 a factor of i?
False
Suppose -k = -3*x + 82 + 138, 4*x = -4*k + 272. Suppose -n = 4*n. Suppose 4*q - 48 - x = n. Does 15 divide q?
True
Let l = -41 + 150. Does 7 divide l?
False
Let b(d) = d**2 + d - 11. Does 31 divide b(6)?
True
Let q = 13 + -7. Suppose 2*r + 4*w = 44, -r + q*r - 115 = -5*w. Is 16 a factor of r?
False
Let n be -1*(-1)/1*0. Let b(u) = u - 3*u**2 + u**2 + 4 + u**2. Does 4 divide b(n)?
True
Let m be (2 - 3)*-4 - 2. Suppose 7*b - m*b = 85. Is b a multiple of 7?
False
Let y(o) = 37*o**3 + 2*o**2 - o. Let k = 1 - -1. Let m be (4/(-6))/k*-3. Does 13 divide y(m)?
False
Let u = -3 + 7. Suppose g - 2*g + 12 = -4*y, 4*y + u = 3*g. Does 18 divide 1630/45 + g/18?
True
Suppose u + 2*q = -2*q + 9, 91 = 4*u + 5*q. Is u a multiple of 23?
False
Let d(j) = j**3 - 4*j - 3. Is 11 a factor of d(5)?
False
Suppose 21*i + 504 = 29*i. Is i a multiple of 21?
True
Suppose 0*a - 5*b = 3*a - 34, 2*a = 4*b - 14. Let g = 49 + -5. Let p = g - a. Does 16 divide p?
False
Does 19 divide (-609)/(-8) - 2/16?
True
Let u(f) = f + 6. Let a be u(0). Suppose 0 = 5*r - 2*v - 12, -a*v - 2 = r - 2*v. Let j(l) = 4*l**3 + 4*l**2 - 4*l + 2. Does 17 divide j(r)?
False
Suppose 0 = 5*u + 5*c - 525, -2*u + c - 214 = -4*u. Is u a multiple of 28?
False
Suppose 4*y - 1288 = -4*y. Is y a multiple of 23?
True
Is (-4)/14 + 1593/63 a multiple of 5?
True
Let d(m) = m**2 + m. Let q be d(-2). Suppose q*a - 2*i + i = 25, a + 2*i = 0. Is a a multiple of 5?
True
Let g(k) = -12*k + 2. Is 13 a factor of g(-5)?
False
S