y a multiple of 4?
False
Let t(g) = 9*g. Suppose -x = -1 + 4, 3*k = x + 9. Let d be t(k). Is ((-8)/6)/((-1)/d) a multiple of 12?
True
Let w = 27 - -13. Does 14 divide w/(1*(3 - 2))?
False
Suppose 4*l = 2*y + 36, 4*y + 0*l = 5*l - 60. Let x(i) be the second derivative of -i**5/20 - 5*i**4/6 - i**3/3 + 6*i**2 + i. Does 13 divide x(y)?
False
Let v = 148 + -53. Is 28 a factor of v?
False
Let v = 4 - -2. Suppose -2*q + 4 = 3*m - v*q, m - 5*q + 6 = 0. Suppose -m*u + 0*u = -40. Does 5 divide u?
True
Let m(p) = -5*p**2 - 9*p + 2. Let y(r) = -r**2 - 1. Let q(a) = -m(a) + 6*y(a). Does 10 divide q(6)?
True
Let h(j) = -j + 10. Let b be h(8). Does 16 divide 886/14 + b/(-7)?
False
Let m(r) = r**3 - 11*r**2 + 9*r + 14. Let a be m(10). Suppose -a*x + 24 = -40. Is 4 a factor of x?
True
Let f = -6 - -18. Does 12 divide f?
True
Suppose 368 = -4*o - 0*d - 4*d, o = 3*d - 96. Is 2 a factor of (-2)/10 - o/15?
True
Suppose 0 = x + 2 - 0, -106 = -4*g + 3*x. Is 10 a factor of g?
False
Let j(t) = 3*t**2 + t + 3. Let a be j(-3). Is a + (-1 - -1)/(-1) a multiple of 10?
False
Let o = -62 - -114. Does 26 divide o?
True
Let c(j) = j**3 - 4*j**2 - 5*j + 3 - 5 - 1. Let k(u) = -4*u**3 + 17*u**2 + 21*u + 13. Let i(d) = -9*c(d) - 2*k(d). Is 11 a factor of i(-2)?
True
Suppose h = 4*h - 45. Suppose -b + 40 = h. Suppose -b = -2*g + k, -2*k - 11 = -2*g + 13. Does 13 divide g?
True
Suppose -9*l + 5*l = -108. Is 7 a factor of l?
False
Suppose 0*s = -s + 2, 932 = 4*o - 2*s. Is 26 a factor of o?
True
Suppose -4*a + 64 = -28. Suppose m + a = 5*g, 2*m - 13 = -4*g + m. Let d(z) = -z + 6. Is d(g) a multiple of 2?
True
Let b(q) = 6*q + 8. Let c be b(7). Suppose 0 = -5*d + 3*u + c, -12 - 8 = -4*u. Is d a multiple of 13?
True
Let a = -33 - -53. Suppose -17 = -u + a. Is u a multiple of 13?
False
Suppose -3*s - 5*h = -1313, -h - 4*h = 25. Does 31 divide s?
False
Suppose 5*x - 1007 - 768 = 0. Does 23 divide x?
False
Suppose -6*m + 242 = -94. Let a = 95 - m. Is a a multiple of 13?
True
Let c(p) = -p**3 + 14*p**2 - 8*p + 16. Is 27 a factor of c(13)?
True
Let m(b) = 74*b**2 - b. Let u be m(-1). Does 10 divide u/6*(-4)/(-5)?
True
Suppose 0 = -0*w - w + 22. Is 9 a factor of w?
False
Let p = -3 - -11. Suppose -v + 4*i + 0*i = -p, -4*v - 4*i + 12 = 0. Suppose -w - 13 = -5*q, w + 0*q = -v*q + 14. Is w a multiple of 2?
True
Let i(n) = 4*n + 17. Let v(u) = -2*u - 9. Let s(o) = 6*i(o) + 10*v(o). Is 8 a factor of s(9)?
True
Suppose 4*p = -2*y + 370, -4*p - p + 445 = -y. Suppose 0 = -2*i - 3*l + 5*l + p, i - 4*l - 48 = 0. Is 22 a factor of i?
True
Let i = 210 + -126. Is 12 a factor of i?
True
Suppose -3*j + 4 = -4*j + 4*y, -3*y = -5*j - 3. Suppose j = -w + t + 3 + 29, 59 = 2*w - 3*t. Does 8 divide w?
False
Let s(n) = n**3 - 6*n**2 + 5*n + 4. Let v be s(5). Let j(a) = a**2 - 4*a + 2. Is j(v) a multiple of 2?
True
Suppose -3*l = -4*n + 17, 2*n = 7*n - 5*l - 15. Suppose -8 = -4*a + n. Is 3 a factor of a?
False
Suppose -90 = z - 2*z. Suppose -5*o + z = -0. Is 3 a factor of o?
True
Suppose -475 = -4*i - 131. Let q = 128 - i. Suppose -r = -4*r + q. Does 9 divide r?
False
Let i be 2/5 + 36/(-15). Let b be -4*(0 - i - 4). Is 19 a factor of (-475)/10*b/(-10)?
True
Let v = 74 - 14. Is 20 a factor of v?
True
Let u(l) = 5*l - 8. Is 21 a factor of u(10)?
True
Let x = -15 + 9. Let m(l) = l**2 + 4*l + 8. Let g be m(x). Does 4 divide g/6 - (-4)/6?
True
Let u(t) = 12*t - 1 + 9*t + 0*t. Let x be u(1). Suppose 0 = -2*m - a + 20, -4*a = -3*m + 5*m - x. Is 4 a factor of m?
False
Let w be 1/2*(-2 - 0). Is w*27*5/(-3) a multiple of 16?
False
Let m = -77 + 279. Suppose 5*f + 15 = 0, -73 = 5*u - 3*f - m. Is u a multiple of 4?
True
Suppose -3*n + 192 = 3*c, n + 117 = 3*c - 55. Does 13 divide c?
False
Let l(k) = k + 2. Suppose 4*w = -3*z + 30, 0 = -2*z - w - 3*w + 20. Does 12 divide l(z)?
True
Let p = -75 - -169. Does 10 divide p?
False
Let x(i) = -32*i**2 - 6*i - 7. Let l(r) = -31*r**2 - 7*r - 8. Let y(q) = 6*l(q) - 7*x(q). Is y(1) a multiple of 12?
False
Does 9 divide 2/(-3) - (-137)/3?
True
Suppose 4*l + 70 = 2*k, -3*k - 4*l + 65 + 0 = 0. Let h = k - -1. Is h a multiple of 14?
True
Let t(q) = 85*q**3 - 2*q**2 + 2*q - 1. Is 42 a factor of t(1)?
True
Suppose 6*k + 12 = -6. Let l be (0 + 1)/((-2)/6). Is 11 a factor of (-83)/l + (-1)/k?
False
Suppose -7*t = -j - 2*t + 13, -2*j + 4*t = -8. Is 1 - j - (-3 + 0) a multiple of 3?
True
Suppose 0 = 3*p + 6, -4*g - p = -3*g - 87. Let x(y) = y**2 - 7*y + 4. Let c be x(7). Suppose c*q - g = -21. Is 8 a factor of q?
False
Suppose -5*q = -q - 5*t - 36, t - 4 = 0. Is q even?
True
Let v(q) = -11*q - 40. Is v(-13) a multiple of 13?
False
Let v = 2 - 0. Suppose v*z = 5*z + c - 55, -2*z - 2*c = -30. Is z a multiple of 10?
True
Let z = 9 - 3. Let a be ((-22)/z)/((-1)/6). Suppose 4*u - 14 = a. Is u a multiple of 8?
False
Let s(o) = -o**2 + 6*o. Let v be s(5). Suppose 0 + 10 = v*a. Suppose 3*n = 5*m - 7, n + m = a*n - 1. Is n a multiple of 2?
True
Let j(a) = 8*a + 2. Suppose 5*c - 21 = -2*v - 0*v, -9 = v - 4*c. Suppose 4*i - 3*i = v. Is 13 a factor of j(i)?
True
Let f = 2 - -3. Suppose 295 - 20 = f*t. Is 21 a factor of t?
False
Let s(d) = -d**2 - d + 1. Suppose 0 = c + c + 8. Let r(x) = x**3 - 3*x**2 + 9*x - 9. Let z(o) = c*s(o) - r(o). Is 6 a factor of z(6)?
False
Let w(g) = -18*g - 3. Is 11 a factor of w(-2)?
True
Let g(t) = t**2 - 8*t + 9. Is 15 a factor of g(12)?
False
Let q(p) = 4*p - 2. Let f(r) = -r + 7. Let u be f(0). Does 10 divide q(u)?
False
Suppose -3*y + 3*n = n - 90, -5*y = 4*n - 172. Suppose -h - h + y = 0. Does 15 divide (3 - 2)*1*h?
False
Let k(d) = -5*d - 3. Let g be k(-2). Let w = g + -22. Let u = -5 - w. Is 10 a factor of u?
True
Suppose 3 = -4*j - 1. Let k be j + -94 + (1 - -1). Let z = -59 - k. Is 13 a factor of z?
False
Let d(a) = 6*a**2 + 4*a + 7. Does 23 divide d(-3)?
False
Let d be 52/(-5) - 10/(-25). Does 15 divide (-24)/60 + (-314)/d?
False
Let g = 15 + 2. Is g a multiple of 5?
False
Let i(b) = -b**3 - 6*b**2 + 6*b + 3. Let a be i(-7). Suppose 0 = -a*k + 5*k + 130. Is k a multiple of 9?
False
Let n(o) = -o - 3. Let y be n(0). Does 7 divide 2/(y + 1) - -15?
True
Let c be (0/(3 + -1))/3. Suppose c = 3*g + g. Suppose -s - 3*s + 60 = g. Is s a multiple of 15?
True
Let w be -26 - (4/(-2) + 4). Let f = w - -11. Let l = -3 - f. Is 7 a factor of l?
True
Let y = 6 - 2. Suppose -h = -y*h + 45. Let j = h - -1. Is 13 a factor of j?
False
Let b(q) = 3*q - 12. Let w(a) = -2*a + 5. Let x be w(-7). Let o = 27 - x. Is 12 a factor of b(o)?
True
Is 46 a factor of (5/((-50)/(-85)))/((-3)/(-66))?
False
Let y be -3*(-46)/(-9)*72. Let s be y/15 + (-4)/10. Let l = -45 - s. Is l a multiple of 11?
False
Let d(c) be the third derivative of c**6/120 - 7*c**5/120 + c**4/6 - c**3/3 - c**2. Let u(z) be the first derivative of d(z). Is u(4) a multiple of 19?
False
Suppose -16 = -3*x - 5*u, 0*x - 4 = -x - u. Suppose -25 = x*l + 5*g, -5*g = 3*l - g + 20. Suppose 4*y = -l*y + 176. Does 16 divide y?
False
Does 8 divide 14/(-4) - -2 - (-781)/22?
False
Let r be (-13)/(-5) - (-12)/30. Let c = 0 - -2. Suppose u = -r*t + 36 + 21, 3*t - 57 = c*u. Is 19 a factor of t?
True
Let g = 103 - 20. Is 15 a factor of g?
False
Suppose 4*w - 548 = 4*l, -4*w = l - 387 - 136. Suppose 3*m - 2*p = w + 4, 152 = 3*m + 2*p. Does 8 divide m?
True
Let j = -81 - -161. Let b = 55 - j. Let d = b + 41. Does 16 divide d?
True
Suppose 30 = 2*i - 50. Is i a multiple of 9?
False
Let i(n) be the first derivative of n**3/3 - n**2/2 - 3*n - 1. Let p(j) = -j**3 + 28*j**2 + 28*j + 37. Let d be p(29). Is i(d) a multiple of 15?
False
Let w = 18 + -32. Let q = 27 + w. Is q a multiple of 8?
False
Suppose b - 2 = 3. Suppose 3*i - 6*i = -p + 36, b*i + 130 = 5*p. Is 7 a factor of p?
True
Does 10 divide -12*7/((-21)/10)?
True
Let s = 26 - 20. Is 6 a factor of (s/(-9))/(1/(-39))?
False
Let y(x) = -x**3 + 4*x**3 + 0*x - 3*x**2 + 6*x - 5 - 2*x**3. Suppose s = -0*s + 3*w - 5, 5*s = -5*w + 35. Is 13 a factor of y(s)?
False
Let k(l) = -43*l + 60. Does 42 divide k(-7)?
False
Let k = -22 - -18. Does 8 divide -4 + 33 + 8/k?
False
Suppose t = v - 4*v + 71, 3*v - 4*t - 76 = 0. Does 8 divide v?
True
Suppose -5*j - 3*i - 3 = 0, -4*j + 4 = -7*j - 4*i. Let k be j/(-2 + 0 + -1). Suppose 5*z - 3*u = 80, -z + 2*z + 4*u + 7 = k. Is z a multiple of 13?
True
Suppose -18 = -4*k 