- 66 = -2*k - 3*a. Is k a multiple of 6?
False
Let c = -40 - -42. Suppose 295 + 15 = c*k. Is 18 a factor of k?
False
Suppose 4*d = -4*k + 2216, -2*d + 2298 = 3*k + 631. Is k a multiple of 9?
False
Suppose -1016 = -5*j - 286. Let c = j - 36. Let d = c - 25. Is 13 a factor of d?
False
Suppose 5*f - 766 - 214 = 0. Let m = 340 - f. Suppose -2*t + 65 + 7 = -3*n, 3*n - m = -4*t. Is 12 a factor of t?
True
Let n be (-16)/6*6/(-4). Let g be n/8 + (-7)/(-2). Suppose 8*x = g*x + 196. Is 11 a factor of x?
False
Let d(u) = 15*u**3 + u**2 - u - 1. Let z be d(-1). Let s = z - -27. Let g = s - 9. Does 4 divide g?
True
Let c = -69 - -76. Suppose c*f - 641 = 1144. Is 15 a factor of f?
True
Let l = 5265 - 2952. Is 20 a factor of l?
False
Let y = 155 - -391. Is 39 a factor of y?
True
Let v be (-1 - -6) + 2 + -1. Let x = v - 4. Suppose -x*q + 0*q + 92 = 0. Is q a multiple of 16?
False
Let c(s) = -s**2 + 11*s - 10. Let t be c(9). Suppose o = 4*v - t, -2*v = 4*o - 0*v - 22. Suppose -o*l + 55 + 29 = 0. Is 11 a factor of l?
False
Suppose 2*l = -5*c + 550, 0 = -2*l - 2*c - c + 542. Is 6 a factor of l?
False
Let x be (-11)/(3 + (-80)/26). Let g = 232 - x. Does 14 divide g?
False
Let h = -7 - 88. Let t = 200 + h. Is t a multiple of 43?
False
Let d(u) = -u - 8. Let b be d(-11). Suppose 2*a + 3*a = h + 395, -3*h = b*a - 219. Let s = a - 46. Is 11 a factor of s?
False
Suppose -6*p = 53*p - 51684. Is p a multiple of 6?
True
Let a(l) = 3*l**2 - 80*l + 9. Is 62 a factor of a(34)?
False
Let x(y) = -y**3 - 9*y**2 - y - 4. Let i be x(-9). Suppose 0 = 5*z + i*t + 70, -4*z - t - 65 = -24. Is 4 a factor of 496/36 + (-2)/z?
False
Let x(o) = 2*o + 1. Suppose -1 + 4 = 3*t. Let f be x(t). Suppose -j - 3*d + 28 = 0, -f*j - 5*d + 84 = -d. Is j a multiple of 28?
True
Suppose 0 = -d + v, -d = -0*d + 2*v - 6. Suppose 3*y - 4*w - 236 = -d*y, 2*w = -2*y + 98. Is 12 a factor of y?
True
Suppose -3*r + 2*a + 970 = 0, -5*a + 1609 - 354 = 4*r. Is 12 a factor of r?
False
Suppose -4*j - 5 = -2*o + 7, 0 = 3*o + j + 3. Suppose -17 = -w + 4*x + 19, w + 5*x = o. Is 5 a factor of w?
True
Let r(q) = -17*q + 10*q + 2*q**2 + 8*q - 4*q**3 - 1 - 2. Does 36 divide r(-3)?
False
Suppose 2*w = -2*k + 50 + 22, -2*w + k + 72 = 0. Is w a multiple of 10?
False
Suppose -v = -4*n + 22, -3*n - 3*v = -0 - 24. Let i(z) = z**3 + 8*z**2 - 11*z - 10. Let r be i(-10). Is (r/8)/((-1)/n) a multiple of 15?
True
Suppose -5*x + 133 = -7. Suppose -2*c + 0*c + 4*q + 24 = 0, -2*c + 5*q = -x. Suppose 17 + c = h. Is 21 a factor of h?
True
Let w(z) be the third derivative of -3*z**2 - 1/24*z**4 + 0*z + 5/3*z**3 + 0. Does 2 divide w(6)?
True
Suppose 0 = -0*m - 5*m + 5. Let u(g) = -6*g + 1. Let n be u(-1). Does 19 divide m*3 + n + 47?
True
Suppose -6*o + 4*o = -14. Let l(y) = y**3 - 7*y**2 + y - 5. Let a be l(o). Suppose -a*c = -3*s + 58, -s + 26 = s + 5*c. Is 6 a factor of s?
True
Let p = 3471 + -1845. Does 9 divide p?
False
Let q(p) = -2*p**3 - 12*p**2 + 130. Is 15 a factor of q(-10)?
True
Suppose 0 = -2*v + m + 51, 2*v - 4*m + 36 = 4*v. Suppose 2*z + v = 196. Let c = z + -30. Is c a multiple of 8?
True
Suppose 0 = 4313*p - 4308*p - 23790. Is p a multiple of 22?
False
Let q(w) = -w**3 + 6*w**2 + 8*w + 1. Let p be q(7). Suppose -p*l = -9*l + 154. Is 21 a factor of l?
False
Suppose -4*w - 4*s = -8356, 4*w - 138*s + 135*s = 8363. Is w a multiple of 55?
True
Is 31 a factor of -196*(-9 + -12*2/(-8))?
False
Suppose 0 = 2*y + y. Suppose 3 = 3*w - 2*i - 15, y = -5*w - 2*i + 30. Is w a multiple of 6?
True
Is 4 a factor of 110 - (10 - 13)*(-1 + 2)?
False
Let i(t) = t + 19. Let u be i(-15). Suppose -n = -3*w - 144, u*w - 544 = 2*n - 6*n. Suppose -4*k + n = 46. Does 23 divide k?
True
Let r be 4*2*(-2)/(-4). Suppose -3*u + 26 = -5*d, 0 = 4*u + 3*d + 1 + 3. Suppose -r*y + 32 = 4*x, 3*x = u*y + 6 - 22. Does 3 divide y?
False
Let m(h) = 58*h + 39. Let g(k) = 29*k + 20. Let n(t) = -5*g(t) + 2*m(t). Is 8 a factor of n(-8)?
False
Suppose -x = -3*s - 107, -5*s = -0*s + x + 173. Let k = 84 + s. Is k a multiple of 9?
False
Let l = -79 + 34. Does 14 divide l/18*132/(-15)?
False
Does 3 divide (-4608)/(-160) + (-18)/10?
True
Let i(b) be the first derivative of -5*b**2/2 + 18*b - 20. Is i(-10) a multiple of 34?
True
Suppose -s - 12 = s. Let f(k) = 10*k - 9. Let z(r) = 3*r - 1. Let h(j) = -2*f(j) + 6*z(j). Is h(s) a multiple of 24?
True
Suppose 2*w - 239148 = -71*w. Is w a multiple of 114?
False
Let j(x) be the second derivative of 1/20*x**5 + 8*x - 2*x**3 + 2*x**2 - 1/2*x**4 + 0. Does 9 divide j(8)?
True
Suppose -44*a + 61*a = 595. Is 5 a factor of a?
True
Does 2 divide 6560/14 + 52/(-91)?
True
Suppose 4*o - 6*o + k = -188, 4*o - 372 = k. Suppose -o = -5*q + 138. Is q a multiple of 23?
True
Let l(m) = m**2 - 12*m + 9. Let w = -23 + 35. Does 2 divide l(w)?
False
Let f be (-4)/(-34) - (-1624)/68. Let h(l) = 4*l + 48. Is 24 a factor of h(f)?
True
Let v = -211 - -64. Let l be (190/8)/((-7)/28). Let i = l - v. Is i a multiple of 13?
True
Let x(k) = 3*k + 11 - 3*k - 9*k - 4. Let b be x(-6). Suppose -3*h = -5*c - 2*h + b, 28 = 2*c - 4*h. Is 12 a factor of c?
True
Suppose 4*c + 4*q = -0*q - 32, 3*c + 5*q = -14. Let h = 176 - c. Let p = h + -128. Does 10 divide p?
False
Let t = -33 + 38. Suppose 5*f + 184 = 2*s, f = -t*s + 2*f + 506. Does 34 divide s?
True
Let i(u) = -11*u + 4. Let s be i(-8). Let t = s - 56. Does 12 divide t?
True
Suppose -10140 = -6590*j + 6584*j. Is j a multiple of 10?
True
Suppose -4*l + 1259 = 4*u - 6649, -u + 5*l = -1983. Does 32 divide u?
False
Let x(m) = m**2 + 4*m - 16. Let n be x(-10). Let i = n - 33. Is 4 a factor of i?
False
Let y be 131/7 - (-4)/14. Let q = y + -25. Let x(i) = i**2 - 4. Is 15 a factor of x(q)?
False
Let b(i) = 9*i**2 - i - 4. Let m(v) = -26*v**2 + 3*v + 12. Let l(d) = -17*b(d) - 6*m(d). Is l(-4) a multiple of 8?
True
Suppose 15 - 5 = 5*w. Suppose 50 = w*o - 68. Is o a multiple of 32?
False
Suppose 6*b - 7206 = -6. Is b a multiple of 40?
True
Let h(z) = -z**3 + 16*z**2 + 15*z + 24. Let j be h(17). Let x = 14 + j. Suppose -k - 117 = -2*q - 18, 4*q = x*k + 200. Is q a multiple of 10?
False
Let g(y) = y**3 - 4*y**2 + 9*y - 134. Is g(12) a multiple of 17?
False
Let z = -236 - -353. Let h = z + -60. Is 19 a factor of h?
True
Let f(y) = -7*y**3 - 3*y + 2. Let u be f(2). Let i = u - -73. Is i a multiple of 13?
True
Let y(z) = -29*z - 57. Does 12 divide y(-7)?
False
Let o be 4/(-10) - (-129)/(-15). Let m = 18 + o. Let i(x) = 7*x + 15. Is i(m) a multiple of 36?
False
Suppose 1 = t, 5*v + 0*t = -5*t + 35. Suppose -v*r + 7 = -89. Does 6 divide r?
False
Let h be (4 - 2)*(-2)/4. Let z be h/((-20)/16 - -1). Let w = 2 + z. Does 4 divide w?
False
Suppose -i + 678 = -5*k, 0*k - 120 = k + 5*i. Suppose -34*d + 100 = -39*d. Does 14 divide (k/(-25))/((-6)/d)?
False
Let z = -1083 - -1576. Is z a multiple of 32?
False
Let q = 2 + 1. Suppose -4*j + 0*u = q*u - 3, 3*j + 3*u = 3. Suppose l + j*k = k + 75, 2*k = 3*l - 222. Does 15 divide l?
False
Suppose -5*d - b = 105, b = 3*d - 4*b + 63. Is -9*(d/9 - 3) a multiple of 28?
False
Let w be -3 + ((-16)/(-4) - 1). Suppose 5*g + 5*o = 250, 0 = -w*o + 3*o - 3. Is 13 a factor of g?
False
Let t = -1231 - -2383. Is 70 a factor of t?
False
Let x be -1 + 0 - (-43 - 4). Suppose c - 10 = -x. Is 16 a factor of 0 + (2 - 5) - c?
False
Does 27 divide (-3)/15 + (-7)/(35/(-3001))?
False
Let v(m) = 92*m + 2. Let x be v(1). Suppose -2*f - x + 250 = 2*i, 0 = -2*i + 2*f + 148. Suppose -h + 2*u - i = -3*h, 3*u = 3*h - 138. Is 21 a factor of h?
True
Suppose -p + 33 = -3*p + 5*x, 3*p - 13 = -5*x. Let i be 8/6*(-222)/p. Suppose 0 = 6*o - 322 - i. Is o a multiple of 20?
False
Let c(n) = -13*n**2 + 81*n + 30. Does 24 divide c(6)?
True
Suppose 64 = -3*w + 7*w + i, -i = 3*w - 48. Let l = w + 26. Does 7 divide (l/(-15))/(1/(-5))?
True
Does 2 divide ((270/(-8))/3)/(3/(-36))?
False
Let m = -25 + 22. Is 5 a factor of 5/((4 - 7)/m)?
True
Let x(d) = -10*d - 52. Let o be x(6). Let h = -82 - o. Does 7 divide h?
False
Let z(q) = -4*q**2 + 2*q. Let c(f) = 7*f**2 - 4*f + 1. Let t(m) = 6*c(m) + 11*z(m). Let x be t(-5). Let y = x - -91. Is y a multiple of 10?
False
Suppose 93*g - 123*g + 20160 = 0. Is g a multiple of 12?
True
Suppose -76*h + 19890 = -59*h. Is 5 a factor of h?
True
Suppose -h = -20 + 5. Let r be 14/(2*3/h). Is (-4)/(-6) - r/(