ue
Let k(t) = -5*t + 10. Suppose -35 = 4*x + x. Does 12 divide k(x)?
False
Suppose -r - 1 + 5 = 0. Let j(n) be the first derivative of -n**4/4 + 5*n**3/3 + 3*n**2/2 - 2*n + 8. Is j(r) a multiple of 13?
True
Suppose -2*k + 122 = -q + 21, -5*q + 167 = 4*k. Does 16 divide k?
True
Suppose -19 = 5*g - 399. Does 19 divide g?
True
Let a(j) = -j - 51. Let g be a(0). Let b = 75 + g. Let r = b - 7. Does 15 divide r?
False
Let d(u) = -11 - 11 - 2*u**2 + 3*u**2. Let j be d(0). Let n = -4 - j. Is 9 a factor of n?
True
Let b(y) = 13*y**2 - 1. Is 6 a factor of b(1)?
True
Let f = 8 - 5. Suppose f*d + 4*i - 5 = 7, 0 = 3*i. Let h = 12 - d. Does 7 divide h?
False
Suppose c = 2*c - 72. Is 11 a factor of c?
False
Let m = 121 + -62. Is m a multiple of 15?
False
Let l = 96 + -60. Does 6 divide l?
True
Let b(o) = -8*o - 5. Does 41 divide b(-16)?
True
Let x = -1 + 4. Does 2 divide x?
False
Suppose 84 = 5*w + 2*y, 42 = 5*w - 2*y - 34. Is w a multiple of 8?
True
Let p be ((-4)/5)/(4/(-10)). Suppose x = p*x + 2. Does 4 divide 52/6 - x/(-3)?
True
Suppose u + 3*r - 9 - 8 = 0, -2*u = -5*r + 21. Suppose u*j - 71 = 5*c, -j = 3*j - 3*c - 149. Is j a multiple of 19?
True
Let q(v) = -v**3 - 25*v**2 - 24*v + 21. Is 3 a factor of q(-24)?
True
Suppose -4*c = -5*b + 2350, 441 = -b + 2*b + 5*c. Is b a multiple of 44?
False
Suppose 8 = 4*y - 0. Suppose -24 = -2*j - 2*z, 7*j - y*j + z - 56 = 0. Is 10 a factor of j?
False
Let y be (5/(-10))/(2/(-152)). Let s = y + -14. Is 12 a factor of s?
True
Let t be (1 - (-4)/(-2)) + 0. Let z(d) be the third derivative of 7*d**5/12 - d**4/12 - d**3/6 + 7*d**2. Is 12 a factor of z(t)?
True
Let n(j) = -j**3 + 10*j**2 + 4*j - 4. Suppose -w = -3*b - 3, 4*w = -w + b - 27. Let u = 16 + w. Does 18 divide n(u)?
True
Let t = 6 - 3. Suppose -4*x + 43 + 73 = 2*n, -3*n = -t*x + 78. Is 14 a factor of x?
True
Let p(t) = t**2 - 21*t + 42. Is 22 a factor of p(27)?
False
Let w = -18 + 45. Suppose 0 = 3*x - w - 3. Is 11 a factor of ((-22)/5)/((-2)/x)?
True
Suppose -4*n = 2*m - 78, -2*m - 2*n = -11 - 57. Suppose -5*d - m - 6 = 0. Is (37/3)/(d/(-21)) a multiple of 10?
False
Suppose 0 = -5*s + 31 + 139. Let i(j) = -j**3 + 8*j**2 - 3*j + 3. Let f be i(6). Let u = f - s. Does 9 divide u?
False
Does 27 divide 2/(2/(-81))*(-3)/1?
True
Let t(v) = v + 2. Let k be t(5). Let h(s) = -s**2 + 10*s. Let i be h(k). Does 7 divide (-6)/i - 158/(-14)?
False
Let p = -24 - -49. Let i(h) = -2*h + 2. Let u be i(6). Let r = p + u. Does 7 divide r?
False
Let q(m) = 3*m - 3. Does 9 divide q(7)?
True
Suppose 2*r + 1 = -3*a + r, -5*a = -5*r - 25. Suppose -i + 53 - a = 0. Is i a multiple of 14?
False
Suppose -256 - 12 = -4*n. Is 18 a factor of n?
False
Suppose 8*m = 7*m + 73. Does 16 divide m?
False
Suppose 2 = -3*g - k + 1, 5*k + 22 = 2*g. Let m(r) = -r**3 - 2*r**2 + 5*r + r - 5*r + g + 4*r. Is 5 a factor of m(-4)?
False
Let l(j) = 22*j + 34. Is 12 a factor of l(7)?
False
Let v be (-13)/(-4) - (-1)/(-4). Suppose -5*f + 45 = -5*p, -f - 4*f + 51 = -v*p. Is 4 a factor of f?
True
Suppose -2*x = -6, 8*c + 69 = 3*c - 2*x. Let g be (-5)/c + 1/(-3). Suppose -5*z = -g*z - 150. Does 13 divide z?
False
Suppose -2*v - 4*j = 0, -3 = -4*j + 5*j. Suppose -2*t - 14 = 2*h, -h - 43 = v*t - 2*t. Let s = 25 + t. Is 13 a factor of s?
True
Suppose 6*k = 228 + 168. Does 22 divide k?
True
Let r = -6 - -5. Let q be (-1)/r - 1*-11. Suppose -3*g - 3*u - 2*u + q = 0, 0 = u. Is 4 a factor of g?
True
Let r(y) = -4 + 3*y**3 - 4*y**2 - 6*y**3 - 4*y + 2*y**3. Is r(-4) a multiple of 6?
True
Let d(i) = 2*i + 10. Is 7 a factor of d(11)?
False
Let m(s) = s + 1. Let j be m(6). Let t = 9 - j. Is t even?
True
Is ((-53)/(-1))/1 - -3 a multiple of 12?
False
Let y(v) = -3*v - 13. Let x be y(6). Does 15 divide (-1)/(-4)*x*-4?
False
Suppose 3*v - 30 = 51. Is 9 a factor of v?
True
Let r = -8 + 3. Let s(f) = f**2 + 3*f - 5. Let o be s(r). Suppose -n - 3 = -2*j, 3 = -5*j + o*n - 2. Is 3 a factor of j?
False
Let f = 24 + -6. Suppose m - f = 4*o, -6*m + m - 5*o - 10 = 0. Suppose -2*g + m*s = 8 - 36, 5*s - 14 = -2*g. Does 10 divide g?
False
Suppose -2*g - 2*g + 224 = 0. Let o be (-5)/2*36/(-30). Suppose 0 = -o*q - q + g. Is q a multiple of 7?
True
Let r be 6/(-15) - 16/10. Does 10 divide r - -1*24 - 2?
True
Suppose -2*t + m - 5*m = -112, -m + 271 = 5*t. Does 9 divide t?
True
Let l = -61 + 115. Is 18 a factor of l?
True
Let w(a) = -2*a**3 + 3*a**2 + 4*a - 1. Let l be w(-5). Does 4 divide l/22 + 8/44?
False
Let r be (10/(-4))/((-2)/24). Let z be 348/r - (-2)/5. Suppose s - z = -2. Does 4 divide s?
False
Suppose 0*d = d + 3*n, 16 = 4*d - 4*n. Let r = 2 - d. Does 18 divide (-1)/(r/3)*9?
False
Let v(k) = k**3 + 6*k**2 - 3*k - 6. Suppose 0 = 3*o + 7 + 11. Is v(o) a multiple of 12?
True
Let d = 121 + -71. Is (6/(-15))/((-2)/d) a multiple of 10?
True
Let k(z) = z**3 + z**2 - z + 8. Let f be k(0). Let a = f + -3. Suppose 3*p + 54 = a*p. Is p a multiple of 12?
False
Let d = 8 + -4. Suppose d*n - 7*n + 225 = 0. Is n a multiple of 19?
False
Let b be 12/78 + (-1779)/(-13). Suppose -y - b = -0*i - 2*i, 188 = 3*i + 2*y. Is i a multiple of 22?
True
Let d(a) = 28*a**2 + 3*a - 4. Let f be d(4). Is (-2)/(-7) + f/21 a multiple of 11?
True
Let v(j) be the first derivative of -9*j**2/2 + 7*j - 1. Does 16 divide v(-6)?
False
Suppose 0 = 2*x + 3*x - 275. Let a = x - 10. Let n = a - 17. Does 14 divide n?
True
Is 15 a factor of ((-994)/(-42))/((-1)/(-3))?
False
Is 46 a factor of 439/1 - 9/((-27)/(-6))?
False
Suppose 2 = 2*x - 4. Suppose x*o = -2*r + 60, -5*r = -0*o - 4*o + 57. Is 9 a factor of o?
True
Suppose 2*p + 24 = m - 3*p, m = -3*p - 8. Let s(b) = 1 + 5*b - b**2 + b**3 - 3*b**2 - 7. Does 8 divide s(m)?
False
Suppose 5*w = 3*x - 81, x + 0*x + 4*w - 44 = 0. Let s = -95 - -119. Suppose 4*q - 4*a = x, -2*q - q + s = 5*a. Is 8 a factor of q?
True
Let p(j) = -j + 182. Is 14 a factor of p(0)?
True
Let d = 3 - 1. Let z = -8 - d. Let x = -3 - z. Is x a multiple of 5?
False
Let b = -5 + 9. Suppose -b*x - 3*h + 106 = 0, -4*x - 4*h + 110 = -3*h. Is 10 a factor of x?
False
Let z be 3180/55 + (-4)/(-22). Let t = 84 - z. Let c = t - 0. Is 13 a factor of c?
True
Let p(c) = c**2 - 4*c + 7. Let x be p(5). Suppose 2 = -k + x. Let t = k + -2. Is 8 a factor of t?
True
Let u(l) = -7*l**2 + l - 3. Let b be u(6). Is 8/(-36) + b/(-27) a multiple of 3?
True
Let z be (1 + 0 - -1)*10. Suppose p = -4*u - 0*u + z, -5*p + 2*u = -12. Suppose 4*q = -4*k + 20, -4 - 12 = -2*k - p*q. Is 2 a factor of k?
True
Suppose -3*v + 5 = -4*v. Let m(a) be the first derivative of a**4/4 + 2*a**3 + a**2/2 + 4*a - 2. Is m(v) a multiple of 10?
False
Let d(m) = 3*m**3 + m**2 + 2. Is d(2) a multiple of 16?
False
Suppose -4*s + 14 = 3*f, -3*f = -0*f + 6. Suppose 5*o + 12 = 3*n, 5*n + 0*n - 5*o - 30 = 0. Let t = n - s. Does 4 divide t?
True
Suppose 2*q + 2*q = -3*o - 4, 0 = -2*o - 8. Suppose 3*p + 2*n - 16 = -q*n, -p - 1 = -5*n. Does 2 divide p?
True
Suppose 4*s + 12 = 0, 0*g = g + 2*s + 40. Let u = -8 - g. Does 13 divide u?
True
Suppose 2*i + 15 = 5*t, -2*t = 3*i - 3 - 3. Suppose 5*h - h - 17 = d, -5*d = -t*h. Is d even?
False
Let a = 201 + -141. Suppose -3*m + a = 2*m. Is m a multiple of 6?
True
Let p be 4/1 - (3 + -2). Is 0 - p*-3 - 2 a multiple of 3?
False
Let h(s) = s + 6. Let n be 4*-1 - (6 - 4). Let v be h(n). Suppose 0 = a + 3, 3*z + 2*a + v*a = 48. Is z a multiple of 9?
True
Let v(o) = -o**2 + 7*o + 6. Suppose 2*m = 15 - 7. Suppose 3 = m*u - 25. Does 6 divide v(u)?
True
Suppose 4 = 4*j - 12. Suppose 1 - 5 = z, -3*z = j*s - 20. Does 8 divide s?
True
Suppose 0 = -2*j + 3*i - 6*i + 114, -268 = -4*j + 4*i. Does 7 divide j?
True
Let r(g) = -g - 4. Let v be r(-5). Let n(t) be the third derivative of 11*t**6/60 - t**5/60 - t**4/24 + t**3/6 + 3*t**2. Does 21 divide n(v)?
True
Let s = 27 + -11. Suppose 2*z = 5*h - 28, 9*h = 4*h - z + s. Suppose h*y + 48 = 4*u, -6*u + 2*u - 5*y = -12. Is u a multiple of 4?
True
Is 22 a factor of -4*(0 - -2)*(-2 + -20)?
True
Let z be (286/(-5))/(5/(-25)). Suppose g = p + 58, 2*g - 3*p = -3*g + z. Is g a multiple of 15?
False
Let q = 5 - -18. Let g = q + 7. Does 10 divide g?
True
Suppose -9*n + 85 = -4*n. Is 9 a factor of n?
False
Let p(k) = -k**3 - 4*k**2 - 4*k - 6. Is p(-5) a multiple of 8?
False
Let x(z) = 2*z**2 - 4*z + 3. Let a be x(2). Does 8 divide (24/(-16))/(a/(-62))?
False