d a multiple of 3?
True
Suppose 32*k + 33*k = 2145. Is k a multiple of 16?
False
Let k(d) = -d**2 + 3*d + 3. Let u be k(-2). Does 40 divide (-1311)/u - (-20)/(-70)?
False
Suppose q = -5*l - 10 - 11, 0 = -5*q - 3*l - 39. Let a = -4 - q. Suppose a*d + 340 = 6*d. Is d a multiple of 22?
False
Let f = -324 + 1044. Is 16 a factor of f?
True
Let o(b) = b**2 - 5*b - 15. Let w be o(-5). Let u = w - -91. Is u a multiple of 9?
True
Let h(j) be the first derivative of -j**3/3 - 9*j**2 - 4*j + 3. Is 15 a factor of h(-14)?
False
Let l(v) = -9*v**3 + v**2 - v + 1. Let x(w) = -2*w**3 - w**2 - w + 1. Let k(a) = l(a) - 5*x(a). Let y = -5 - -1. Is 12 a factor of k(y)?
True
Let r be ((-51)/(-34))/((-2)/((-2080)/6)). Let b = r + -144. Does 18 divide b?
False
Let w(q) = q**3 + 3*q**2 - 1. Let p be w(-2). Suppose -6*c + 105 = -p*c. Let v = c - 20. Does 5 divide v?
True
Let b(u) = 3*u + 30. Let g be b(-13). Let a(o) = -o**3 - 8*o**2 + o - 4. Is a(g) a multiple of 17?
True
Suppose 0 = -s + 6*s. Suppose -5*u + 59 = b - 28, -u - 4*b + 6 = s. Let p = 42 - u. Is 12 a factor of p?
True
Suppose -8*y + 3118 + 3826 = 0. Is 7 a factor of y?
True
Let r be (14/4)/(5/(-10)). Let y = 11 + r. Does 12 divide 38*y/8 + 0?
False
Suppose -6 = 5*s - 31. Suppose s*i - 140 = 480. Is i a multiple of 31?
True
Let m(l) = 19*l**3 - 9*l**2 + 19*l - 4. Is 3 a factor of m(2)?
True
Let w(u) = -u**2 + 7*u + 14. Does 2 divide w(0)?
True
Let u(n) = 34*n - 200. Let c be u(6). Let j be (48/7)/(4/42). Suppose -4*t - 4*m + j = 0, -c*t - m + 17 = -40. Is 3 a factor of t?
False
Let m(r) = -14*r + 6. Let g be m(3). Let w = g + 61. Is 6 a factor of w?
False
Does 7 divide (-6)/8 + 63/4?
False
Let v(w) = w**3 - 4*w**2 + 2*w - 5. Let n be v(4). Suppose 4*b - 33 = -x + b, 5*x = -n*b + 165. Is 9 a factor of x?
False
Let k(r) = -196*r - 287. Is 7 a factor of k(-3)?
True
Let y(h) = h**3 + h**2 - h. Let l(p) = -4*p**3 + 6*p**2 + 13*p + 10. Let j(s) = l(s) + 3*y(s). Let d be j(10). Suppose 2*a - 42 - d = 0. Does 13 divide a?
True
Suppose 9 = m - 9. Let a = 22 - m. Is 17 a factor of (63/2 + a)*2?
False
Suppose 313*m - 322*m = -10935. Does 27 divide m?
True
Let g(r) = -11*r + 1. Let p be g(-1). Suppose -4*q + p + 4 = 0. Suppose 0 = 5*n + 10, 6*y - y = q*n + 108. Does 5 divide y?
True
Suppose 3*w - i + 7 = 0, 2*w + 5*i = -2*w - 3. Let t(s) = s**2 + 10*s - 51. Let a be t(-14). Does 4 divide a + w + -4 - -25?
True
Let m = 29 - -30. Suppose -6*v - 550 = -4*l - 5*v, 4*l - 2*v - 552 = 0. Let n = l - m. Is n a multiple of 12?
False
Let t(j) = -j**3 + 5*j**2 + 6*j + 3. Let w be t(6). Let n(b) = b**3 - 3*b**2 + b - 4. Let c be n(w). Let h = 16 + c. Does 5 divide h?
True
Let p = 22 - -5. Suppose -93 = -5*i + p. Is i a multiple of 3?
True
Let y(z) be the first derivative of 17*z**6/180 + z**5/60 + z**4/24 - 4*z**3/3 - 4. Let v(m) be the third derivative of y(m). Is v(-1) a multiple of 22?
False
Suppose 4*y - 2*q - 159 - 73 = 0, 4*y + 4*q = 220. Is y a multiple of 2?
False
Suppose -11 = -0*n - 2*n - 3*c, -2*n - 9 = -c. Let k(g) = -g**3 + 7*g**2 + 2*g - 1. Let l be k(6). Is 22 a factor of l + n - 1/1?
True
Let d = 470 + -687. Let p = -139 - d. Does 20 divide p?
False
Let g be 16/(-6)*72/(-32). Suppose y - g*y = -960. Is 24 a factor of y?
True
Is -4 + 5 + 139*3 a multiple of 16?
False
Let k = -1200 - -2256. Is k a multiple of 33?
True
Let j(m) = -m**3 + 13*m**2 - 4*m - 9. Suppose 8 = v + 2. Let k be j(v). Let t = k - 152. Does 13 divide t?
False
Suppose r = -r + 2. Suppose -d + r = -2. Suppose -d*y + y = -78. Is y a multiple of 13?
True
Let a = 19 + -15. Suppose -o = a*o - 265. Is 8 a factor of o?
False
Let x = 903 + -821. Does 7 divide x?
False
Let m = -90 + -218. Does 27 divide (-1 - 4)*m/55 - 1?
True
Suppose -x + 49 = -3*z - 2*z, z + 1 = 0. Let c = x - 31. Is c a multiple of 6?
False
Let p be 0/4 - (-32 + 0). Let k = 107 - 54. Let s = k - p. Is s a multiple of 7?
True
Let i = 1147 - 821. Is i a multiple of 30?
False
Let y(r) = 5*r**2 + r + 4. Let w(c) = -c**3 + c**2 + 4*c - 1. Let o be w(-2). Does 14 divide y(o)?
False
Suppose -4*p - 1896 = -4*i, -3*p + 700 = 3*i - 722. Is 57 a factor of i?
False
Does 57 divide (((-425)/3)/5)/(20/(-480))?
False
Let i(c) = -c**2 - 11*c - 4. Let f(d) be the third derivative of d**3/6 - 4*d**2. Let x(n) = 3*f(n) + i(n). Does 23 divide x(-5)?
False
Suppose 0 = 21*k - 26*k + 2730. Is k a multiple of 13?
True
Let m(g) = g**3 + 2*g**2 + 89. Let c be m(0). Let r be (44/5)/(2/10). Let d = c - r. Is 12 a factor of d?
False
Suppose -654 = -4*d + 1054. Does 10 divide d?
False
Let n = 67 + -28. Suppose 2*q - 24 = -70. Let g = n + q. Is g a multiple of 8?
True
Suppose -864 = -3*c - p, -2*p + 883 = 3*c + 19. Suppose c = f + 2*f. Is f a multiple of 32?
True
Let g = -1041 - -1769. Suppose 0 = 9*l - 6*l + j - g, -l + 2*j + 245 = 0. Is l a multiple of 54?
False
Let d(w) = w**3 - 16*w**2 - 14*w - 26. Suppose 6*h = -2*z + 3*h + 22, 18 = 2*z + 4*h. Does 25 divide d(z)?
True
Let p(s) = s**2 + 11*s + 26. Let o be p(-8). Suppose -t = -o*f + 461, t - 918 = -4*f - t. Is f a multiple of 35?
False
Let q(h) = -17*h + 127. Is q(-37) a multiple of 36?
True
Let j be 4 + (371*2 + 1 - -3). Suppose 41*n - 44*n = -j. Is 16 a factor of n?
False
Let y(o) = o**3 + 13*o**2 + 14*o + 27. Let h be y(-12). Does 29 divide -2 + (-26 - h)*-1*7?
False
Suppose -3*l = -5*z - 57, -15*l + 16 = -13*l + 4*z. Let g be (-10)/(-6)*1*6. Suppose 3*h - l = g. Does 8 divide h?
True
Suppose 2*p + 30 = 62. Let o = p + 10. Is o a multiple of 13?
True
Suppose 0 = -4*o - 12, 4*y + y + 5 = -5*o. Suppose y*a - 117 = -k, -2 = 3*k + 1. Does 9 divide a?
False
Let g(v) = 54*v**2 - 8*v. Is 32 a factor of g(-3)?
False
Suppose -5*l + 3*a + 708 = 0, -3*a - 24 = -l + 108. Let m = l - 124. Is m a multiple of 13?
False
Let h(v) = -11*v - 6. Let r be h(-3). Suppose -2*z + r = z. Does 3 divide z?
True
Let f = -3 - 9. Let k = 41 - 22. Let o = f + k. Does 2 divide o?
False
Let v(m) = m**3 + 6*m**2 - 6*m + 1. Let d be v(-6). Suppose -4*x = -119 - d. Is 6 a factor of x?
False
Suppose 0 = -18*l + 9892 + 4148. Is 21 a factor of l?
False
Let z be -6*(-4)/8 - 48. Let r be z*2/8*4. Let y = -25 - r. Is 10 a factor of y?
True
Suppose -4*y = 4*a - a + 16, -2*a = -y + 7. Let m(w) be the first derivative of -27*w**4/2 + w**3/3 - w - 3. Is 14 a factor of m(y)?
False
Let b be 7/(21/12)*4. Suppose 4*x - 16 = -4*l - x, 4*l + 3*x = b. Suppose 260 = l*z - 4*f, 2*z = -3*z - 3*f + 285. Is 23 a factor of z?
False
Let m(b) be the first derivative of 3*b**4/4 - b**3/3 + b**2/2 - 6. Is m(2) a multiple of 7?
False
Let s be -1 + 310 - 5/((-10)/6). Suppose 0*j = -2*j + s. Does 26 divide j?
True
Let d(c) = 78*c - 2. Let o(z) = 2*z - 7. Let q be o(6). Suppose 3*n = -2*n + q. Does 18 divide d(n)?
False
Suppose 10 = -2*d, -4*l - 41 = -5*d + 318. Let n be (l/28)/((-1)/(-14)). Does 8 divide (10/(-6))/(8/n)?
False
Let b = -58 + 31. Is 57*(-83)/b - 4/18 a multiple of 25?
True
Suppose 2*q - 1 = 23. Let t be (-1418)/(-6) - q/36. Suppose 0*c - t = -5*c + 2*j, 0 = 3*c + 4*j - 126. Is 8 a factor of c?
False
Let v = -3765 + 5375. Does 14 divide v?
True
Suppose -17*f - 2*n + 1516 = -14*f, 4*f - 2006 = 5*n. Is f a multiple of 13?
False
Let c = 3318 - 1690. Is c a multiple of 74?
True
Suppose -31*m + 1557 = -675. Is m a multiple of 3?
True
Let i = 7003 - 1851. Is 14 a factor of i?
True
Suppose 2*i = -1 + 11. Suppose -i*q = 3*q - 560. Is 5 a factor of q?
True
Let p = -11 + 14. Suppose -p*i + 18 = -132. Is i a multiple of 5?
True
Let o(x) = -12*x + 22. Let l(s) = -61*s + 111. Let c(r) = 2*l(r) - 11*o(r). Is c(3) even?
True
Let n = -13 + 18. Suppose n*a - 4*a = 155. Suppose -50 = 3*y - a. Does 12 divide y?
False
Suppose 173*t - 185*t + 3900 = 0. Is t a multiple of 13?
True
Let s(n) = n**3 + 8*n**2 + 7*n. Suppose 7 = -2*r - 5*m, -3*r + 0*r = 4*m + 14. Let y be s(r). Let h = y + 7. Is 14 a factor of h?
False
Does 98 divide 1/(-2) + 3810/4?
False
Suppose -r - 6*r - 259 = 0. Let b = r + 137. Is b a multiple of 50?
True
Let l(f) = -98*f - 371. Does 47 divide l(-20)?
False
Let y = 79 + 106. Suppose 1 = -4*l + y. Is l a multiple of 23?
True
Let x be (-1)/(-2) - 594/(-4). Let k = -417 + 449. Let f = x - k. Is f a multiple of 13?
True
Let j(s) be the first derivative of s**4/4 - 2*s**3/3 - s**2 - 5. Let n be j(3). Let b(f) = 3*f