10 divide t(-4)?
False
Suppose -4*p = -2*p. Suppose -3*k - n = -4*n - 216, 4*k + n - 288 = p. Is k a multiple of 25?
False
Let k = -3 + 7. Suppose -k + 6 = y. Suppose y*a - 53 = -d, -3*a + 5 = d - 72. Is 12 a factor of a?
True
Let l be 8 + (-3)/(-6)*2. Suppose 2*g - w + l = -0*w, -7 = -4*g - 3*w. Does 13 divide (-69)/g - (-7)/14?
False
Let j(y) = -y**3 + y**2 + 3*y - 3. Is j(-3) a multiple of 4?
True
Let p = -8 - -24. Is 16 a factor of p?
True
Suppose -g = -0*g + 28. Let n = -112 + 72. Let b = g - n. Is b a multiple of 8?
False
Suppose -3*w + 3*d = -582, 4*w - 797 = -5*d + 2*d. Does 36 divide w?
False
Suppose -34 = -5*t + 31. Suppose y = 64 - t. Suppose -5*m + y = 1. Is m a multiple of 10?
True
Let o = -3 - -8. Suppose 2*g - 3*g - 6 = -h, o*g - 20 = 0. Is h a multiple of 7?
False
Let d(y) be the first derivative of -y**3/3 - 5*y**2/2 - 4*y - 3. Is d(-3) even?
True
Let o be (-1)/(234/118 + -2). Let c = o + -31. Is c a multiple of 13?
False
Let u be (-4)/20 + 78/15. Does 7 divide ((-28)/5)/((-2)/u)?
True
Let d = 157 - 82. Does 25 divide d?
True
Let w be 1/5 + (-534)/(-5). Suppose 5*r + 5*h + 115 = 0, -h = 4*r - 2*h + w. Does 4 divide r/(-6) + 1/(-3)?
True
Suppose -4*s - 2*w - 4 = -166, 2*w = -5*s + 204. Let x = 3 + 2. Suppose -x*f + s = -28. Is f a multiple of 7?
True
Let u(q) = -2*q**3 + 7*q**2 - 18*q + 2. Let p(v) = -v**3 + 4*v**2 - 9*v + 1. Let c(k) = -7*p(k) + 3*u(k). Is c(7) a multiple of 9?
False
Let l(k) be the second derivative of k**4/12 - k**3 - k**2/2 - 3*k. Let i(o) = -o + 3. Let t be i(-4). Is l(t) a multiple of 6?
True
Let w be (-28)/(-6) - 4/6. Suppose 1 = -w*l - 7, -3*z + 2*l + 109 = 0. Let b = z - 23. Is 12 a factor of b?
True
Let m = 3 + 19. Let a = 31 - m. Suppose 5 + a = w. Is w a multiple of 14?
True
Suppose 70 + 26 = 4*r. Does 12 divide r?
True
Let c = -12 - -20. Suppose -d - c = -5*d. Is 8 a factor of (3/(-4))/(d/(-32))?
False
Let l = 7 + -11. Let m(o) = -5*o - 1. Let y be m(l). Suppose -96 = -3*v + k, -5*k + y = v - k. Is v a multiple of 11?
False
Let d(q) = 6*q**2 + 2*q - 3. Let z(a) = -a**2 + 1. Let g(x) = d(x) + 5*z(x). Does 6 divide g(-4)?
False
Suppose -7 = -4*p + 1. Suppose -60 = -0*z - p*z. Is z a multiple of 18?
False
Let s be (28/(-8))/(2/(-4)). Let p = -3 + s. Is (-135)/(-6)*p/3 a multiple of 15?
True
Let m be 4/6 + 309/9. Suppose 2*h + 3*h = m. Does 3 divide h?
False
Suppose -m = -0 - 4. Suppose -2*u + 4 + m = 0. Is 4 a factor of u?
True
Let b = 38 + -20. Is b a multiple of 4?
False
Is 9 a factor of 18*(0 + (4 - 3))?
True
Suppose -27 = -5*c - 2*q + 106, 5*q + 105 = 5*c. Is 6 a factor of c?
False
Let w(m) = -m**3 + 14*m**2 + 4*m + 9. Is 8 a factor of w(14)?
False
Suppose 3*g - c = 2*g + 14, -3*g + c + 44 = 0. Suppose -3*w + g = 0, 3*t - w + 21 = 64. Does 16 divide t?
True
Let d(a) = -a**3 + 4*a**2 - a - 2. Let j = 4 - -8. Suppose j = 3*p + p. Does 2 divide d(p)?
True
Suppose 114 + 111 = 3*p. Let r = 139 - p. Let o = 97 - r. Does 11 divide o?
True
Is (-922)/(-7) - (-46)/161 a multiple of 22?
True
Suppose -i = -3*f + 141, -2*f + 3*i - 2*i = -93. Does 12 divide f?
True
Let x(r) = 8*r + 15. Is 16 a factor of x(7)?
False
Suppose -2*a = -6*a + 112. Suppose -o + a = -0*o. Does 11 divide o?
False
Is 3/(5 - 2)*-3 + 21 a multiple of 4?
False
Is (-2)/8 + (-648)/(-32) a multiple of 5?
True
Let m(l) = -2*l**2 - 2*l + 33. Does 3 divide m(0)?
True
Let f(r) = r**2 + 1. Let j be f(0). Is (9/6)/j*32 a multiple of 16?
True
Let t = -55 + 183. Is 32 a factor of t?
True
Let d be 26 + 1 - -1 - 2. Suppose 0 = 3*a - 2*a - 4*b + 17, -4*a + 2*b = d. Let s = a + 29. Does 13 divide s?
False
Suppose 33 + 2 = 5*i. Suppose -3*w = -3*y - i*w + 57, 5*y = -4*w + 87. Suppose 0*h = -3*h - y, -3*f - 2*h = -8. Does 6 divide f?
True
Let y(n) = -1 + 2 + 6*n - n. Let t be y(1). Suppose -12 = w - 2*w - c, -t = -3*c. Does 6 divide w?
False
Let a(y) = y - 13. Let m be a(-11). Is 2 a factor of (4/(-6))/(8/m)?
True
Suppose 0 = -k - 1, -t - 4*k = -2*t + 8. Let z be (t - 0)*9/12. Is 11 a factor of (-1 + 2)/(z/114)?
False
Let k = -3 - -8. Is 5 a factor of k?
True
Let i(l) = 92*l**2 - 2*l + 1. Let b be i(1). Let g = b - 144. Let q = g - -76. Is 10 a factor of q?
False
Let n(w) = -w**3 - 3*w**2 - 3*w - 14. Does 16 divide n(-6)?
True
Let p(a) be the first derivative of a**3/3 + 2*a**2 + 6*a - 2. Let c be p(-5). Let t = 0 + c. Is t a multiple of 5?
False
Let u be 3 - 1/1 - 5. Let s = 4 + u. Is 13 a factor of (27 - 3) + s*2?
True
Suppose -3*i + 25 - 412 = -5*c, 5 = 5*i. Is c a multiple of 13?
True
Let u = -3 + 10. Is 13 a factor of (-4)/(-14) + 89/u?
True
Suppose 0 = 2*t + 4*u - 6, 4*t + u - 3*u = 52. Is t a multiple of 2?
False
Suppose 2*y + 4 = 8. Does 3 divide ((-5)/2)/(y/(-4))?
False
Suppose c = 5*c. Suppose c = -7*y + 4*y - 66. Does 22 divide 1/2*-2*y?
True
Let k be 85/3 + 16/24. Suppose -3*l + k + 43 = 0. Is 8 a factor of l?
True
Let l(m) = 29*m**3 - m**2 + m + 1. Let a be l(-1). Let q = 98 + a. Is q a multiple of 16?
False
Let d be 2/(-14) - (-1122)/14. Suppose d = 5*v - n, -3*n + 15 = 3*v - v. Is 15 a factor of v?
True
Let n be (-6)/8 + 2/(-8). Let y be (0 - (9 - n))/(-1). Let l = 17 - y. Is 7 a factor of l?
True
Suppose -11*q - 434 = -12*q. Is q a multiple of 62?
True
Let n be (0 + -2)/(2 + -4). Let u be ((-6)/(-4) - n)*-4. Is (u/(-6))/((-2)/(-30)) even?
False
Let u = 55 + -37. Let t = 25 - u. Does 7 divide t?
True
Suppose -2*m - 5*t + 3 = 0, -2*m = 3*m + 5*t - 15. Suppose m = -p + 10. Is 5 a factor of p?
False
Let c(v) = -12*v + 43. Is 11 a factor of c(0)?
False
Let q(l) = -l**2 + l. Let t(b) = -7*b**2 + 7*b + 2. Let a(z) = 2*q(z) - t(z). Is 14 a factor of a(-2)?
True
Suppose -t + 2 = 5*q, 3*q + 2 = t - q. Suppose -t*u + 6*u = 96. Is 12 a factor of u?
True
Let a be (-12)/(-8) - (-17)/2. Let f = a - 3. Is f a multiple of 7?
True
Let a(g) = 3*g + 16. Let t be (1/2)/((-1)/(-32)). Is a(t) a multiple of 16?
True
Let o(c) = 2*c + 5. Let p be o(-5). Let v = p + 20. Is v a multiple of 9?
False
Let f = 13 - -70. Suppose -23 + f = 4*l. Suppose u - 6 = -h, -4*u + 4*h = -47 + l. Does 3 divide u?
False
Let r = -6 + -10. Let f = r - -24. Suppose 0*a + f = 2*a. Is a even?
True
Let o = 11 + -6. Suppose -5*c = -4*k - 2*c + 188, -5*k + 240 = -o*c. Does 10 divide k?
False
Suppose -2*t - t = -2*l + 445, 5*l + 3*t - 1165 = 0. Is l a multiple of 23?
True
Let h(y) = -45*y**3 + y**2 - y. Let w be h(1). Let n = -22 - w. Is 23 a factor of n?
True
Suppose 0 = 4*d - 78 - 50. Does 13 divide d?
False
Let v(i) = -2*i**3 + 2*i**2 + i. Let l be v(-3). Suppose 4*c - l = 27. Is 12 a factor of c?
True
Let q be 0/(4*2/4). Suppose q = k + 3*o - 19, 5*k + o + 7 = 60. Is 10 a factor of k?
True
Let n(y) = 2*y**2 - 6*y - 13. Is 9 a factor of n(6)?
False
Let w = 5 - 0. Suppose w*u = 3*b + 179, -u - 52 - 21 = b. Let a = -20 - b. Does 17 divide a?
False
Let c = -267 - -411. Is 16 a factor of c?
True
Let d(f) = f**3 + 13*f**2 - 3*f - 7. Let z be d(-13). Let i(q) = 18*q**2 - 2*q - 2. Let t be i(2). Let u = t - z. Is u a multiple of 17?
True
Suppose -18 = -0*v - 3*v. Let p = 27 + v. Is p a multiple of 11?
True
Let q = 155 + -105. Does 10 divide q?
True
Let o be 2/((-1)/31*-2). Let k = o + -18. Is 4 a factor of k?
False
Let i(m) = -21*m + 2. Does 13 divide i(-2)?
False
Let j = 59 - -31. Suppose -9*v + j = -6*v. Does 10 divide v?
True
Suppose 5*o + 4*f - 189 = 0, -f = 2*f + 12. Suppose 2*w = -h + 4*h + o, 2*w - 43 = 5*h. Is w a multiple of 19?
True
Suppose 0 = -5*l - p + 92 - 28, 2*l - 2*p - 28 = 0. Suppose 0 = -6*i + 7*i - l. Is 6 a factor of i?
False
Suppose 207 = 5*o - 2*o. Is o a multiple of 23?
True
Suppose 107 = 2*s - 5*f - 99, 0 = -s - 4*f + 77. Is s a multiple of 7?
False
Let q = -12 - -22. Is 6 a factor of q?
False
Let x(s) = 6*s**2 + 2*s + 1. Suppose -2*o = -10, 0 = -3*b - b - 2*o + 18. Suppose -2 = b*n - 3*n. Does 16 divide x(n)?
False
Let b(x) = 13*x**2 + 12*x - 19. Let n(f) = 6*f**2 + 6*f - 9. Let d(m) = -4*b(m) + 9*n(m). Suppose -22 = -5*r + 2*l, 4*l = -3*r + l + 9. Does 17 divide d(r)?
True
Suppose 4*o = -0*o - 24. Does 5 divide ((-27)/o)/(3/8)?
False
Let y = -477 + 267. Does 26 divide 2/(-4) + y/(-4)?
True
Suppose -6*m + 2*m + 12 = 0. Let a(y) = 5*y**m - 4*y**3 + 1 - 3 + 6*y**2 + 0*y**3. Is 15 a factor of a(-4)?
True
Suppose 0*t = 5*t + 45. Let c = 47 + t. Is 10 a factor of c?
False
L