. Let w be r(-2). Does 3 divide v(w)?
False
Let d(q) = 19*q**2 + 4*q + 2. Is 13 a factor of d(-1)?
False
Is 13 a factor of (-2)/(3 + 357/(-117))?
True
Suppose 3*d - 4*d = -2. Suppose -4*o - 22 = -d*q, 4*q = q - 3*o + 24. Is 5 a factor of q?
False
Suppose 4*d + 4*w - 85 - 23 = 0, 132 = 5*d + 2*w. Let k = 41 - d. Is 15 a factor of k?
True
Suppose 0 = -3*a + 3, -2 = -o + 4*a - 15. Is 3/(-9) - 255/o a multiple of 17?
False
Let z(w) = -2*w - 1. Let i be z(-1). Suppose -2*k - 8 = 0, -4*k + i = c + 14. Suppose -c*d = -7*d + 20. Is d a multiple of 3?
False
Suppose -11 = -2*p + 57. Does 12 divide p?
False
Is 13*(-4 - 0 - (-24)/3) a multiple of 8?
False
Let w = 15 - 11. Suppose -3*m + 2 = -2*t - w, -5*t = -2*m + 4. Suppose -c = 1, -m*c = -4*k - k + 42. Is 8 a factor of k?
True
Let t = 1 + 1. Suppose t*j = o + 7, 0 = -5*j - o + 4 + 3. Suppose 0*v - 2*v + 65 = b, j*v - 60 = 4*b. Does 16 divide v?
True
Let s(t) = 2*t**3 + 8*t**2 + 3*t + 9. Let w(k) = k**3 + k**2 - k + 1. Let d(m) = s(m) - 3*w(m). Is 2 a factor of d(6)?
True
Let d(t) = -t**3 + 10*t**2 - 4. Does 31 divide d(7)?
False
Let s(w) = -16*w + 2. Let z = 7 - 17. Let t be (6/15)/(2/z). Is s(t) a multiple of 17?
True
Suppose -1073 - 1177 = -10*b. Does 15 divide b?
True
Let i be 2/1 - (0 + 14). Let k = -35 + 26. Is 2 a factor of (9/6)/(k/i)?
True
Let d = -9 + 16. Does 7 divide d?
True
Let m(p) = -2 - p**2 + 7 + 2*p + p - 10*p. Let u(a) = -a**2 - 8*a + 6. Let k(v) = -3*m(v) + 4*u(v). Does 3 divide k(-11)?
True
Suppose -6*i - 16 = -2*i. Is 11 a factor of i/18 + 2248/72?
False
Let b = 51 + -25. Suppose 14 + 25 = -3*y. Let m = b + y. Is 6 a factor of m?
False
Let m = 5 - 5. Let b = 32 - m. Is b a multiple of 16?
True
Suppose 5 = 5*u, 4*a - 4*u + 65 = -399. Let p = a + 260. Is 21 a factor of 2/7 + p/7?
True
Let b = 17 - -146. Is b a multiple of 7?
False
Suppose 180 = 4*l + l. Is l a multiple of 13?
False
Let o be (-2 + 1)/((-2)/10). Suppose -o*l + 53 = -52. Let i = -1 + l. Is 10 a factor of i?
True
Let f = -46 - -67. Is f a multiple of 7?
True
Let o(r) = 0 + 20*r - 14*r + r**3 - 15*r**2 - 20. Is o(15) a multiple of 27?
False
Suppose 0 = 4*l - 3*f - 203, f + 2*f = l - 53. Is l a multiple of 10?
True
Suppose -b = 2*x + 2, -20 = -2*b - x + 5*x. Does 21 divide ((-6)/b)/((-2)/84)?
True
Suppose 2*t = 7*t + 15. Let z be 10/t*3/(-2). Suppose z*m - 68 = -k, -4*k = 3*m + 2*m - 62. Is m a multiple of 10?
False
Let i(a) = a**3 + 1. Suppose -2*w = 2*w + 4. Let h be i(w). Suppose h = 2*f + f - 36. Does 6 divide f?
True
Suppose -5*w - 25 - 5 = 0. Let q(n) be the third derivative of -n**4/6 - n**3 + n**2. Is q(w) a multiple of 18?
True
Let y(p) = -7*p + 4. Does 9 divide y(-2)?
True
Let v(p) = -p**2 + 11*p - 9. Let c be v(6). Let t = c + -11. Is 10 a factor of t?
True
Let v(f) = 13*f**2 - f. Let u be v(1). Is (-2)/u*2*-30 a multiple of 10?
True
Suppose -3*h + 3*d + 24 = 0, 0*d - 4*d - 12 = h. Let x(b) = 42*b + 1. Let f be x(2). Suppose h*s - f = -s. Is s a multiple of 17?
True
Suppose -2*v = -4*u - v + 27, 5*u = 4*v + 31. Let s be (5 + 0)*(-2)/5. Is (u - 3)*(-5)/s a multiple of 5?
True
Suppose 5*y = -3*h + 391, 2 = -4*y + 22. Does 61 divide h?
True
Let o(h) = h - 2. Let g be o(7). Suppose -5*v + 5*d - 5 = -v, 0 = g*v - 5*d. Suppose -v*u = 37 - 137. Does 8 divide u?
False
Suppose f - 5*p = 17, f + 5*p = -19 - 4. Let r = 7 + f. Suppose -3*s - s + o = -58, 8 = -r*o. Is 14 a factor of s?
True
Is 19 a factor of 8/4 + -6 - -80?
True
Let n(a) = -a**2 - a + 1. Let m be n(0). Let s = m + -1. Is 4 a factor of (s + -2)*(1 + -3)?
True
Suppose -7*s + 132 = -5*s. Is 28 a factor of s?
False
Let d be ((-32)/12)/((-2)/3). Suppose -5*z = i + 10, 2*i - d*i = -2*z - 4. Suppose 20 = j - i*j. Is 14 a factor of j?
False
Suppose -1 = -p, 110 = -0*a + 3*a + 2*p. Let i = -13 + a. Does 6 divide i?
False
Suppose -4*a = -116 - 488. Does 19 divide a?
False
Let d(n) = n**3 + 6*n**2 + 5*n - 3. Does 3 divide d(-4)?
True
Suppose 2*n - 18 + 6 = 0. Let j = n + 35. Is j a multiple of 13?
False
Let r be ((-6)/(-4))/(4/(-48)). Suppose -5*v = -9*v. Let q = v - r. Is q a multiple of 9?
True
Let t(p) = 5*p**2 - 4*p + 3. Is t(3) a multiple of 7?
False
Let d(x) = -x**3 + x**2 + 12. Is d(0) even?
True
Let v(m) = 4*m**3 - 5*m**2 + 6*m - 2. Is v(2) a multiple of 9?
False
Let r(z) = -z**2 + 9*z - 9. Let l(q) = q**3 - 8*q**2 + 8*q - 1. Let m be l(7). Does 9 divide r(m)?
True
Suppose 2*f - 206 + 6 = 0. Is 25 a factor of f?
True
Let q be 14/3 - (-4)/12. Suppose 3*a = -v + 232, -q*a + 4*a = -v - 80. Let x = a + -45. Is x a multiple of 14?
False
Let k = -23 + 35. Suppose -k = -v - 5. Is v even?
False
Let u = 107 - 47. Suppose u = -2*o + 7*o - q, 2*o + 5*q - 24 = 0. Is 4 a factor of o?
True
Suppose 0 = 4*m - 4*n - 212, 3*m + 0*n - 162 = 2*n. Let j = -3 - -6. Suppose j*f + z = 71, 3*f + 2*z = 14 + m. Is 9 a factor of f?
False
Let a be (-100)/(-16) + (-2)/8. Suppose -a = 5*y - 136. Does 7 divide y?
False
Suppose m = -3, -11*m + 16*m + 43 = 2*k. Does 3 divide k?
False
Let r(o) = 27*o + 3. Let j(u) = 7*u + 1. Let y(z) = -15*j(z) + 4*r(z). Suppose 5*a = 27 + 8. Does 6 divide y(a)?
True
Suppose 2*c + 0*c - 98 = 2*z, 5*z = -3*c + 115. Is 5 a factor of c?
True
Let j(q) = q**3 - 8*q**2 + 4*q - 19. Is j(9) a multiple of 21?
False
Let s be (-114)/4 + 3/2. Let v = 18 + -29. Let l = v - s. Is l a multiple of 13?
False
Let l(c) = -c**3 - 6*c**2 - 2*c - 8. Let y be l(-6). Let r be (3 - 2)*(-23 - -1). Is 11 a factor of (0 - r/y)*2?
True
Let g(y) = y**2 + 10*y + 2. Suppose -5*s - 55 = -2*i, 0 = -6*s + 3*s + 2*i - 33. Does 13 divide g(s)?
True
Let v = 87 + -62. Does 5 divide v?
True
Let h(q) = -q**3 + 11*q**2 - 14*q + 15. Let d(s) = -s**3 + 11*s**2 - 14*s + 16. Let w be (-18)/4*(-12)/(-9). Let u(j) = w*h(j) + 5*d(j). Does 10 divide u(10)?
True
Let y(v) = -4*v - 15. Is 2 a factor of y(-6)?
False
Let b = -124 + 154. Is 30 a factor of b?
True
Let a(o) = o**3 - o + 18. Does 17 divide a(0)?
False
Suppose 0 = -2*w - 5*z + 1, 5*w - 3*z - 80 = -0*z. Does 8 divide w?
False
Suppose -2*u - 10 = -4*z, -3*u = z + u + 2. Suppose 2*j + s = -0*s - 9, -z*s = 5*j + 21. Is 5 + -3 + 8 - j a multiple of 8?
False
Suppose -c - 1 = -3*x, 14 = -6*c + 2*c + 2*x. Let b be c/(-3)*3/(-2). Is 16 + b/(-2)*1 a multiple of 9?
False
Let u be (-1 - 1)*(-2 + 0). Suppose 7*s - u*s = 45. Does 6 divide s?
False
Let x = -2 + 3. Does 5 divide (x + 0)/((-1)/(-6))?
False
Let q(f) = f**3 + 4*f**2 + 4*f. Suppose 4*b - b - 6 = 5*i, 4*b = 5*i + 3. Let g be q(b). Is g*5/(15/(-22)) a multiple of 11?
True
Let u = -123 - -233. Does 17 divide u?
False
Suppose 5*k + 29 = -2*j, -2*k - 4*j + 2*j - 14 = 0. Let z = 8 + k. Suppose -9 = z*y, -4*y + 2 = h - 2. Does 8 divide h?
True
Suppose -24 = -3*x + 3*u, 5*x - u = u + 46. Suppose -5 = -5*f + x. Suppose 0 = 6*n - f*n - 15. Is n a multiple of 4?
False
Let c(l) = -l**2 - 41*l - 113. Does 4 divide c(-34)?
False
Suppose -5*v + j = -9, 2*v + 5*j - 15 = -3*v. Suppose t + 3*u = 10, -3*u + 47 = 4*t + v*u. Does 6 divide t?
False
Suppose 5*t - 12 = t. Let s(r) = 0*r - t + 6*r**2 + 5 + 4*r. Is s(-2) a multiple of 13?
False
Suppose -3*p - 2*r + 23 = 0, 17 = 2*p + p - 4*r. Let i be 0 + 3 + (-2 - p). Is 4 a factor of i/12 + 30/4?
False
Suppose 0 = 3*s + 4*b - 21, -18 = -4*s + b - 9. Suppose s*d - 133 + 31 = 0. Does 15 divide d?
False
Let u(j) = -3*j. Does 25 divide u(-12)?
False
Let d = -6 - 4. Let j = d - -13. Is j even?
False
Suppose -95 = -i - 0*q + q, -5*i - 5*q = -485. Is 24 a factor of i?
True
Let i(z) = 0*z**2 - 2*z**2 - z**3 - z + 2*z**3 + 1. Let j be i(3). Is (-2)/j - 540/(-28) a multiple of 13?
False
Let u(x) = 3*x**2 - x + 1. Let q be u(-2). Suppose -3*s - 2*s - 4*p - 29 = 0, -4*s - 16 = -4*p. Let l = q + s. Is l a multiple of 10?
True
Let s(w) = 19*w**3 + 2 - 57*w**3 - 1 + 2*w + 0. Is 20 a factor of s(-1)?
False
Let n = 24 + 178. Is 22 a factor of n?
False
Suppose 10 = y + 3*p, -4*p + 61 + 44 = 5*y. Is y a multiple of 20?
False
Suppose 4*p = -2*p + 468. Does 24 divide p?
False
Let c be 3 - (0 - -2 - 5). Let u(h) = -h**3 + 5*h**2 + 6*h + 3. Does 2 divide u(c)?
False
Suppose -70 = -x - 8*a + 3*a, 0 = 4*x - 2*a - 170. Is 45 a factor of x?
True
Let w(c) = -c**2 + 8*c - 1. Let x be w(6). Let s = x + -20. Let n(i) = i**2 + 7*i + 8. Is 25 a factor of n(s)?
False
Let h = -9 - -9. Let z(x) = 17 - 4*x**2 + 3