 a multiple of 34?
False
Let n(y) = -y**3 - 26*y**2 + 62*y - 11. Is 31 a factor of n(-29)?
False
Suppose 72*a = 76*a - 4832. Is a a multiple of 27?
False
Suppose -2*t = -5*k + 2*t - 22, -2*t = -6. Let s(w) = -w**3 - 2*w**2 - w + 2. Let y be s(k). Suppose y*z = 91 + 1. Does 14 divide z?
False
Is 11 a factor of 19*12*(3 + (-7)/3)?
False
Suppose -6*h = -13*h + 2352. Does 18 divide h?
False
Let m(s) = s**3 + 5*s**2 + 5*s + 9. Let c be m(-4). Suppose -4*n + n - 8 = y, 0 = -n - c*y - 26. Is 14 a factor of n*82/4*-2?
False
Let o(q) = -52*q + 1066. Does 26 divide o(-23)?
True
Suppose -4*n + 180 = -5*u, -5*n + 30 + 200 = -5*u. Let g = 92 - n. Is 14 a factor of g?
True
Let b = 59 - 153. Let t(u) = u**2 - 14*u + 12. Let j be t(7). Let z = j - b. Is 19 a factor of z?
True
Let a be 0*(2 - (2 - -1)). Suppose a = 5*o - 3*p - 170, 2*o = 6*o - 4*p - 128. Does 9 divide o?
False
Let l(i) = -i**3 - 16*i**2 - 90*i + 27. Is 111 a factor of l(-14)?
False
Suppose -2*v = -8, 2*n - v - 4 = v. Suppose -3*t - 5*b + 6 = -n, -2*b + 8 = 2*t. Is 3 a factor of t?
False
Suppose -4*q - 60 = 4*x + 12, -12 = -3*x. Let m = q - -26. Suppose -6*p = -26 - m. Is 5 a factor of p?
True
Let b(g) = 15*g**2 - 2*g - 42. Is b(-5) a multiple of 18?
False
Let t = 64 - 280. Let j = -143 - t. Is j a multiple of 11?
False
Suppose -2*j + 2*a = -a - 7, 5*j - 2*a = 12. Suppose -j*l + 7*l + 4*n - 332 = 0, 4*l - n = 274. Is 17 a factor of l?
True
Let c(x) = -x**3 - 10*x**2 + 26*x + 21. Let z be c(-12). Suppose 2*d = -15 + 191. Let r = d + z. Is r a multiple of 17?
True
Let k be (-2 + 164)*(0 - 5/10). Let u = 124 - k. Is 41 a factor of u?
True
Let z(q) = q**3 + 5*q**2 - 3*q + 2. Let s be z(6). Suppose -3*j - 4*g + 230 = 0, -4*g - 80 + s = 4*j. Is j a multiple of 10?
True
Suppose -4*d = -h + 162, -5*h + 756 = -3*d + d. Is h a multiple of 58?
False
Let j = 561 - -762. Is 11 a factor of j?
False
Suppose -4*l + 408 = 2*s - 6*l, -3*l = 5*s - 1020. Is s a multiple of 27?
False
Let d be -2 - -279 - (0 - 2). Let v be 5/(-3)*(-1 + -2). Suppose -3*q - 2*f = -d, 0 = -0*q - 5*q + v*f + 465. Does 25 divide q?
False
Let j = 0 + 5. Suppose -2*i = -5*r + 49, 0*r + 55 = j*r - 5*i. Is 2 a factor of r?
False
Let x(h) = h**3 + 11*h**2 - 4*h - 8. Let z be x(-11). Let j = -25 + z. Is j a multiple of 9?
False
Let x be 0*3/9*3. Suppose x = -5*d + 7*d. Suppose d = -4*f - f + 45. Is f a multiple of 9?
True
Let s(g) = g**2 + 6*g - 5. Let v be s(-7). Does 4 divide 4/v*(6 - -2)?
True
Let u(x) = -x**3 + 8*x**2 + 9*x + 2. Let v be u(9). Let j(f) = -6*f - 8*f + 2 + v*f - 1. Is j(-1) a multiple of 13?
True
Let i(t) = t**3 - 10*t**2 + 18*t. Let y be i(8). Is ((-120)/y)/(1/(-30)) a multiple of 45?
True
Suppose 4*a + 468 = 3*r, 5*a + 3*r + 0*r + 612 = 0. Let t = -64 - a. Is t a multiple of 4?
True
Suppose -3*l + 342 = -4*r - 205, 5*r = 5*l - 910. Is l a multiple of 15?
False
Suppose -2109 = -z + 3*s, 2105 = z - 7*s + 2*s. Is z a multiple of 47?
True
Is 11 a factor of (2*2 - 10/(-10)) + 1052?
False
Suppose 5*b + p = 16, -3*b + 16 = -b - 2*p. Suppose l - 22 = b*a, -5*l - a - 22 + 111 = 0. Is 6 a factor of l?
True
Let j(s) = -25*s**2 + s - 10. Let x(r) = 50*r**2 - 3*r + 21. Let c(v) = -7*j(v) - 3*x(v). Is c(3) a multiple of 34?
True
Let l(t) = t**3 - t**2 + 3*t - 1. Let g(f) = f + 1. Let z be g(2). Does 9 divide l(z)?
False
Suppose -2*s - 6 = 0, -13*u - 3*s + 1086 = -12*u. Does 15 divide u?
True
Let t = -27 - -69. Suppose v = -t + 61. Does 3 divide v?
False
Let y = -1 - -9. Let r = 25 - 24. Let a = y - r. Does 3 divide a?
False
Let i(q) = 122*q + 558. Is i(0) a multiple of 18?
True
Let g(n) = n - 13. Let i be g(16). Suppose -i*r = -88 - 68. Does 26 divide r?
True
Suppose -9*f - 5*f = -56. Suppose 12*s - 30 = -v + 8*s, -45 = -f*v - s. Is 2 a factor of v?
True
Let j(g) = -g - 4. Let n be j(-6). Suppose 0 = d - 2 - n. Does 32 divide 115 + -5 - 8/d?
False
Is (-904)/(-12)*(93 + -42) a multiple of 17?
True
Let u(l) be the first derivative of -2*l**2 + 6*l + 2. Suppose 2*s = -7 - 3. Does 18 divide u(s)?
False
Let k = 9 + -7. Suppose -1 + 7 = k*t. Suppose 5*q - 44 = -t*w, w + 5*q - 60 = -4*w. Is w a multiple of 4?
True
Is ((-1746)/(-90))/((-2)/(-30)) a multiple of 6?
False
Let j = 51 - 48. Suppose 2*g = 3*f + 193 + 77, -j*f - 138 = -g. Is 12 a factor of g?
True
Let l(v) = -v**2 - 45*v - 150. Does 4 divide l(-30)?
True
Let r = 265 + 85. Suppose -d = 3*k - r - 82, -k + d = -148. Does 29 divide k?
True
Let o = 979 - 259. Suppose 0 = 3*p + 2*p - o. Does 18 divide p?
True
Let d(f) = -42*f**2 + 2*f - 32. Let t(o) = -14*o**2 + o - 11. Let n(m) = -6*d(m) + 17*t(m). Suppose -4*b - 10 = b. Is 24 a factor of n(b)?
False
Let s be 2 - (1 + -2) - (-11 - -10). Is 2 a factor of 5/((-60)/3) - (-33)/s?
True
Suppose l = -4*l - 5. Suppose 3*j = 7*j + 3*b + 39, 3*j = -3*b - 33. Is l*2*(j - -5) even?
True
Let v(q) = 7*q + 11. Let t(i) = -20*i - 32. Let y(o) = -3*t(o) - 8*v(o). Is 8 a factor of y(0)?
True
Let c(j) = -2*j**3 - 32*j**2 - 23*j + 32. Does 12 divide c(-17)?
False
Suppose -20*k + 11*k = 54. Let m(z) = z**3 + 12*z**2 - 6*z + 1. Does 23 divide m(k)?
True
Suppose 2*w - 4038 = -x, 4*w - 15 = -27. Is x a multiple of 11?
False
Suppose -9*v = -4*v - 350. Suppose 2*y + 3*o = v, o + 78 = 3*y - y. Is y a multiple of 10?
False
Let c be 12/(-18) + 33/9. Suppose a = -3*t - 18, c*a = 7*a + t + 61. Let n = a - -23. Does 3 divide n?
False
Let s be -1 + 2 + 0 + -4. Let w = s - -3. Suppose w = 2*b - 25 - 53. Does 13 divide b?
True
Does 60 divide (-4 - -747) + -1 + 2?
False
Let a(o) = o**3 - 16*o**2 - 15*o - 117. Is 21 a factor of a(18)?
False
Suppose 329 = 3*u - 19. Suppose 2*i + 0 - u = 0. Is i a multiple of 18?
False
Let g be (-9)/(-1)*4/6. Suppose 0 = 4*b - 4*y - 12, -b + 3*y = b - g. Suppose 0 = -2*z + 6, z + 3*z = -b*k + 138. Does 14 divide k?
True
Let m(h) = -h**3 + 21*h**2 + 20*h - 86. Is m(12) a multiple of 25?
True
Let z(t) = 13*t - 14 + 4*t**2 + 6*t**2 - 47 + 13. Does 26 divide z(6)?
True
Suppose 0 = -u + 5*y + 3, -4*y + 44 = 5*u - 29. Let i = -10 + u. Suppose -2*r - 3*b + 46 = i*r, 3*b = r - 2. Is r even?
True
Let r be 0/2 - (-880)/2. Suppose 0 = 8*w - 4*w - r. Does 34 divide w?
False
Suppose 0*w + 0*w = -6*w. Suppose -r + 55 = -0*r + 5*k, 5*r + 5*k - 295 = w. Is r a multiple of 15?
True
Let i(u) be the third derivative of -u**4/24 + 14*u**3/3 + 120*u**2. Suppose 0 = 4*j - 20, 2*f = -f - 2*j + 46. Does 14 divide i(f)?
False
Let s(x) = -91*x - 1. Let f be s(1). Let i = 165 + f. Let j = -40 + i. Is 11 a factor of j?
True
Let l(g) = -207*g - 965. Is l(-10) a multiple of 13?
True
Suppose 0 = q - 5*x - 386, -q + 19*x + 388 = 15*x. Does 8 divide q?
False
Let a = 39 + -143. Let c = -25 - a. Is c a multiple of 22?
False
Suppose 0 = -d + 4, 12*m - 14*m + 1928 = -d. Does 7 divide m?
True
Suppose 0 = -3*p + 2*w + 21, -2*p + 16 + 3 = -3*w. Suppose -y + 5*y - 32 = 0. Suppose 5*g + p*b - 325 = 0, 5*b + 12 = -y. Is g a multiple of 11?
False
Let z = 4 - 9. Let b(x) = -x**3 - 6*x**2 - 5*x + 6. Let p be b(z). Is 11 a factor of ((-44)/5)/(p/(-15))?
True
Suppose 10*k + 0*k = 160. Is (-2 - 3/(-6))*k/(-1) a multiple of 12?
True
Let x be (-15)/(-1)*8/(-12). Is 4 a factor of 6/x + (-69)/(-15)?
True
Let n = 196 - 171. Is n a multiple of 3?
False
Let s = -1177 - -1785. Is 32 a factor of s?
True
Let s(l) = -14*l + 14. Is 14 a factor of s(-15)?
True
Suppose 0 = 4*x - 3*f - f + 160, 4*x = -3*f - 132. Let h = x - -26. Is 8 a factor of h/5 - (-11 - -1)?
True
Suppose 0 = 3*z - 2*s - 3105, -s = -z - 157 + 1192. Suppose -4*v = 5*x - z, -3*v - 6*x = -3*x - 777. Suppose -5*i = -55 - v. Is 21 a factor of i?
True
Let v(h) = 97*h**2 + 50*h - 8. Does 13 divide v(5)?
False
Let y = -7 + 9. Suppose 3*j + 2*j + 5*q - 460 = 0, -3*q = -y*j + 174. Is 30 a factor of j?
True
Suppose 0 = 5*u + 2*t - 20030, 25 = -u + 5*t + 4058. Does 60 divide u?
False
Suppose -33*d + 10440 - 1332 = 0. Is d a multiple of 46?
True
Let p be (-11 + 1)*(-10)/25. Suppose p*w - m - 87 = -2*m, -27 = -2*w + 5*m. Is 7 a factor of w?
True
Does 18 divide 1/(32/(-72))*-264?
True
Let p = 10 + -5. Suppose p*u - 10*u = -725. Is 29 a factor of u?
True
Let c be 109/6*3*(-8 + 2). Let h = -196 - c. Is h a multiple of 16?
False
Let b be (-6)/(-5)*(-160)/(-48). Let a be (6/(-9))/(b/(-138)). Let c = -5 + a. Is 6 a factor of c?
True
Let n(t) = -t**3 +