*3 + 4*p**2 - 32*p - 133. Does 3 divide w(-5)?
False
Let z be (-2)/(-2)*0/(-3). Suppose z = 4*n - 103 + 7. Is n a multiple of 8?
True
Let y be ((-3)/4)/((-9)/(-108)). Is (y + 6/2)/(-1) a multiple of 6?
True
Let c = 23 - 21. Suppose -j = c*s - 43, -j + 103 = 5*s - 0*j. Is -6 + s + 2 + -2 a multiple of 4?
False
Let f(c) = c**3 - 6*c**2 - 7*c + 9. Let v be f(9). Suppose -v = -2*b - b. Is 21 a factor of (b/(-6))/(4/(-8))?
True
Suppose -132 = -5*v - 5*j - 12, 4*j - 20 = 0. Does 2 divide v?
False
Let u(w) = -w - 1. Let j be u(5). Let t be 842/18 + j/(-27). Let g = t - 3. Is g a multiple of 18?
False
Let l(a) = -5 + a**3 + 1 - 2*a + 1 + 2*a**2 - 6*a**2. Suppose 5*y + 5*u = 40, -4*y + 5*u = -0*u - 5. Is 12 a factor of l(y)?
True
Let q(n) = n**2 - 2*n + 16. Let r be q(0). Suppose -240 = -r*u + 13*u. Is 14 a factor of u?
False
Let r(v) = -47*v - 455. Is r(-29) a multiple of 30?
False
Let d(r) = 2*r**3 - 8*r**2 - 28*r + 412. Does 137 divide d(12)?
False
Suppose 5*b - 1061 = 1079. Let v = b + -188. Suppose -8*p + 3*p + v = 0. Is p a multiple of 16?
True
Suppose -4*m + 9*m - 2840 = 0. Suppose -z - 7*z = -m. Is 13 a factor of z?
False
Let f = 888 - 276. Is f a multiple of 18?
True
Let a = -8 - -10. Let o(c) = 5*c - 1. Let x be o(a). Let v = x - 5. Is 3 a factor of v?
False
Suppose -3*k - 6 = 2*c - 0, -4*c + 5*k = -32. Suppose -c*s = 2*s - 60. Suppose 2*j = 46 - s. Is j a multiple of 14?
False
Is -5*80/(-125)*30 a multiple of 3?
True
Let k(b) = 3*b + 60 + b**2 - 52 - 10*b. Let d be k(6). Suppose -3*r - r + 50 = d*y, 0 = 4*r. Is y a multiple of 11?
False
Let z(l) = 17*l**3 - 5*l**2 + l + 3. Let q be z(3). Let t = -293 + q. Does 13 divide t?
False
Suppose -5*v - 3*n = -3, -4*v + 1 = v + n. Suppose -5*w = -v*w - 20. Suppose -w*d + 43 = q, 0*d - 5*d + 101 = 3*q. Is q a multiple of 8?
False
Suppose 9372 = 1163*n - 1151*n. Does 22 divide n?
False
Let k(n) = 11*n - 47*n + 0 + 18*n + 15*n + 9. Suppose -2*j - 5*p - 4 = 2*j, -5*p = -20. Is 9 a factor of k(j)?
True
Let z = 293 + -23. Let f = z + -182. Does 12 divide f?
False
Suppose 8*k - 3*k = 905. Suppose 21 = -4*i + k. Is 31 a factor of i?
False
Suppose 4*i - 21 = -3*m, 3*m + 2 = 2*i + 5. Suppose 2*l - 30 = -i*l. Does 13 divide (65/(-2))/(l/(-12))?
True
Let u be (16 - 13)*28/6. Let k be 2/(-12) - u/(-12). Is (-59)/3*(-4 + k) a multiple of 21?
False
Suppose 0 = 2*q + 42 - 222. Suppose -q = -5*h + 225. Does 9 divide h?
True
Suppose 0 = 4*m - z - 113, -m - 4*m + 120 = 3*z. Is 994/18 - (-3)/m*-2 a multiple of 5?
True
Suppose 11*a - 505 = 595. Is a a multiple of 20?
True
Suppose -3*m + 7*m = 280. Suppose -10*i + m = -5*i. Is 6 a factor of i?
False
Let t be (2/3)/((-20)/330). Let x = -6 - t. Let k(c) = c**2 + 9*c + 2. Is k(x) a multiple of 11?
False
Suppose 14904 = -12*g + 30*g. Does 36 divide g?
True
Let p = 2 - 8. Let z(q) = -2*q**2 - 13*q - 4. Let j be z(p). Suppose -j*h + 98 = -50. Is h a multiple of 23?
False
Let j(p) = -2*p - 16. Let t be j(-8). Suppose 170 = 5*y - 2*c, t = -2*y - 0*y + c + 67. Is y a multiple of 13?
False
Let j(f) = 2*f**3 + f. Let t be j(2). Let w be (t/(-21))/(3/21). Is (-64)/w*(-12)/(-4) a multiple of 10?
False
Suppose -4*n + 12 + 62 = 2*r, 3*r - 96 = -3*n. Suppose j - 2*j = -r. Is j a multiple of 9?
True
Let j(g) = 4*g + 12. Let b be j(15). Does 36 divide (-2)/(-12)*3*b?
True
Suppose -194 = -p + 310. Suppose -w = -2*t - 163, -3*w + 3*t + p = -0*t. Suppose -2*i = 33 - w. Does 9 divide i?
False
Suppose 0 = -5*g - 5*v + 15, 4*g = 3*g + v + 5. Suppose 5*z + g*f = 95, 0*z - 40 = -2*z - 2*f. Is z even?
False
Let k(y) = y + 1. Let n be k(-1). Suppose n = -2*g - 2 - 4. Does 3 divide 18*2*g/(-12)?
True
Suppose -4*j - 3*o = 43 - 1348, o = -5. Does 13 divide j?
False
Suppose -4*k - 112 = -3*l, 0 = 4*l + k + 98 - 260. Does 3 divide l?
False
Let p(z) be the third derivative of -z**4/24 + 12*z**3 + 16*z**2. Is 36 a factor of p(0)?
True
Suppose 1306 = 3*h - 4*t, 14*t - 437 = -h + 17*t. Is h a multiple of 12?
False
Let t(m) = m**2 + 9*m + 6. Let f be t(-6). Let y = 38 + f. Let r = y - 6. Is 5 a factor of r?
True
Let d(g) = -5*g - 4. Suppose -5*i - 18 = 3*m, -4*i + 2*m - 13 = 3*m. Does 11 divide d(i)?
True
Let d = -30 + 22. Is 22*-2*10/d a multiple of 24?
False
Let p(x) = 18*x - 15. Let d be p(7). Let w = 210 - d. Is 19 a factor of w?
False
Suppose 1650 = 3*q - 4*x - 30, -15 = 5*x. Is 50 a factor of q?
False
Let k = -89 + 115. Suppose -4*v - k + 90 = 0. Does 4 divide v?
True
Suppose 0 = 13*d - 31 + 5. Suppose d*r + 4 = 60. Is 4 a factor of r?
True
Let i(l) be the first derivative of l**5/60 + 20*l**3/3 - 2*l**2 - 4. Let f(s) be the second derivative of i(s). Is f(0) a multiple of 10?
True
Let t be (-2)/(-3) - (-14)/(-3). Let z(k) = 10 + 3*k**3 - 68*k - 4*k**3 - 7 + 69*k - 2*k**2. Is z(t) a multiple of 22?
False
Let p(k) = 7 + 5*k**2 + 0 + 6*k + 1. Is p(-2) a multiple of 4?
True
Suppose 4*w + 15 = 3*i - 213, 5*w - 95 = -i. Is 8 a factor of i?
True
Let z be (-1*2)/((-32)/(-112)). Let w = z - -9. Suppose 4*t = r + 11 + 138, -187 = -5*t + w*r. Is t a multiple of 37?
True
Is 17 a factor of (-3*6/(-18) - 6) + 260?
True
Let m = -2 - -54. Let f = 56 + m. Is f a multiple of 25?
False
Let m(f) = -f**3 + 10*f**2 - 2*f - 18. Let z be m(9). Let i = -16 + z. Is 23 a factor of i?
False
Suppose 44*j - 19*j - 25675 = 0. Is 79 a factor of j?
True
Let r = 14 - 9. Let c be r - (-4)/(-2) - 0. Suppose c*k = -4*s + 243, 3*s + 0*s - k = 179. Is s a multiple of 22?
False
Let f be 12/(-2)*(-3)/6. Suppose -f*z + 7*z = 48. Is z a multiple of 6?
True
Let k(t) = 2*t**3 - 27*t**2 - 12*t - 23. Let d be k(14). Suppose 2*s - 359 - 397 = -d*z, 144 = z + 4*s. Is 8 a factor of z?
True
Suppose -i = 2*o + 5, -5*o + 5 = -2*o - i. Suppose -3*s + 143 = -5*w, 0 = -w - o*w + 2. Is 15 a factor of s?
False
Let j(x) = 3*x - 5. Suppose 4*h = 5*h + 5. Let i be j(h). Does 6 divide (i/15)/(2/(-27))?
True
Is 10 a factor of 48/(-20)*-25*39/9?
True
Let y(o) = o - 9. Let j be y(7). Let a be (-10)/(-3) + j/6. Suppose -a*q - 2*q = -360. Is q a multiple of 24?
True
Let o(t) = -2*t + 16. Let i(s) = -s**2 + 7*s - 3. Let r be i(5). Let d be o(r). Suppose 3*a = -v + 41, 2*v + 2*v + d*a = 114. Is v a multiple of 4?
False
Suppose 2*t - 34 = 228. Let u = 218 - t. Is (-1)/((15/u)/(-5)) a multiple of 7?
False
Suppose 9 = 5*h - f + 8, 2*h + 5 = -5*f. Let m = 67 - h. Does 9 divide m?
False
Suppose -5 + 55 = -5*a. Suppose 2 = y - 0. Let j = y - a. Is 6 a factor of j?
True
Let l be 17/3 - 11/(-33). Let m be l/(-4) + (-1539)/(-18). Let p = m - 55. Is 29 a factor of p?
True
Suppose -2*o + 4*r - 652 = -2576, 0 = -5*r. Does 6 divide o?
False
Is 15 a factor of (268/10)/(4/30)?
False
Suppose 8985 = 5*m - c, -196*c = 4*m - 194*c - 7202. Is 31 a factor of m?
True
Let m(v) = -v**3 - 24*v**2 - v - 23. Let b be m(-24). Does 6 divide 141 + 5/(0 + b)?
False
Let l = -4644 - -6935. Is 79 a factor of l?
True
Let o = -78 + 364. Is o a multiple of 11?
True
Let s = 406 - 51. Let n = -246 + s. Does 5 divide n?
False
Let z = 143 - -40. Does 16 divide (-6)/8 - z/(-4)?
False
Suppose -50 = -2*q - 2*n, -5*q = -n + 2*n - 133. Let u(r) = 4*r**2 + 21*r - 13. Let k be u(-6). Suppose 0 = -k*m + j + q, 1 = m - 3*j + 4. Is m a multiple of 3?
True
Suppose -3*q + 227 = 5*v - 152, 113 = q + 5*v. Does 19 divide q?
True
Let j(i) = 30*i**3 - 2*i - 1. Let u be j(-1). Let a(c) = -3*c - 55. Does 13 divide a(u)?
False
Let f = -8 + 249. Does 7 divide f?
False
Let r = -1291 - -1971. Does 69 divide r?
False
Suppose -39*c - 2160 = -44*c. Is 12 a factor of c?
True
Suppose -4*d - 24 = -2*h, d + 10 + 3 = 4*h. Suppose -h*o + f - 11 = 0, -18 = o - 0*o - 3*f. Is 2 + (-15)/(o - -2) a multiple of 12?
False
Let u = 113 + -182. Let x = -36 - u. Is x a multiple of 17?
False
Let y(w) be the first derivative of w**3/3 - 6*w**2 + 15*w - 3. Let q be y(11). Suppose -34 = -c - q*r, 4*c = -3*r + 110 - 39. Is 14 a factor of c?
True
Let u(n) = 2*n**3 - 11*n**2 - 3*n - 19. Is u(8) a multiple of 44?
False
Let v be ((-5)/(15/27))/1. Let d = 12 + v. Suppose 0 = -5*y + d*h + 68, 5*h = 2*y - 6*y + 47. Is y a multiple of 13?
True
Suppose 2563 - 7048 = -13*x. Is 13 a factor of x?
False
Suppose -17*q + 1245 = -863. Does 39 divide q?
False
Let m(j) = -j**3 + 4*j**2 + 6*j - 2. Let b be m(5). Suppose 0 = 4*l + 8, 4*o - b*l - 534 = 0. Is 33 a factor of 