. Suppose -4*w - 33 - v = 0. Is 4 a factor of y(w)?
False
Does 4 divide (2/3)/(2/60)?
True
Let s = 49 - 39. Is 5 a factor of s?
True
Let n(w) = -7*w + 6. Let b be n(-8). Suppose -3*r = -6*r + 4*x + 18, -b = -5*r - 4*x. Is 4 a factor of r?
False
Let x = -219 + 131. Does 7 divide (-2)/(-11) - 688/x?
False
Is 56/4 - (2 - -1) a multiple of 7?
False
Let l(m) = 8*m - 10. Is 10 a factor of l(5)?
True
Let a = 335 + -185. Is 15 a factor of a?
True
Let t(n) = -5*n**3 + 6*n**2 - 5*n - 6. Does 33 divide t(-3)?
True
Let w(n) = 2*n**2 + n - 6. Let t be w(6). Is 15 a factor of (-4)/18 + 1096/t?
True
Let z(d) = 9*d - 2. Let l be z(-4). Let g = -10 - l. Let k = g + -10. Is k a multiple of 18?
True
Let f = 68 + -48. Does 12 divide 334/8 - (-5)/f?
False
Is ((-9)/((-36)/176))/1 a multiple of 2?
True
Suppose 2*w + 17 = -1. Does 11 divide (198/w)/(1/(-2))?
True
Let t be (-15)/5 - (3 - 19). Let a(s) = -s**2 + 7*s - 7. Let i be a(5). Suppose 61 = i*r + t. Is 16 a factor of r?
True
Let w(n) = n**2 - 7*n - 5. Let h(t) = 12*t + 12. Let c(y) = -2*y - 2. Let x(b) = -34*c(b) - 6*h(b). Let u be x(-3). Does 3 divide w(u)?
True
Let c = -63 - -123. Suppose -c = -4*w - w. Suppose 4*n + 4*d = 48, d = -2*n + w + 12. Is n a multiple of 12?
True
Suppose -5*t + 9 = -6. Suppose 29 + 16 = t*i. Is 15 a factor of i?
True
Let p(x) = x**2 - 4. Suppose 3*t - 8*t = 4*n + 11, -15 = 3*n - 3*t. Is p(n) a multiple of 6?
True
Let s(c) = -c**2 - 8*c - 7. Let a be s(-5). Does 6 divide (-237)/(-21) - a/28?
False
Let n be -3 + (-5)/((-10)/124). Suppose -73 = -4*h + n. Is h a multiple of 11?
True
Let g(l) = 3*l**2 + 5*l + 3. Let w be g(-3). Is (-4)/(-10) + 174/w a multiple of 5?
False
Let u = 3 + 0. Suppose -3*h = -5*w + 252, 6*h - u*h = 3*w - 156. Is 16 a factor of w?
True
Let f be (14/(-6))/(2/24). Let x = -29 + -18. Let u = f - x. Is u a multiple of 12?
False
Suppose 5*q = q. Suppose -b - 2*b - 125 = -5*z, z + b - 33 = q. Is z a multiple of 14?
True
Suppose -15*u + 17*u - 126 = 0. Is u a multiple of 27?
False
Suppose 2*w = 75 + 347. Does 12 divide w?
False
Let g(x) = -x**3 + 6*x**2 + 2*x - 2. Is 3 a factor of g(6)?
False
Let v(n) = n**2 - n + 6. Let q be v(0). Suppose 0 - q = -3*t. Suppose -x + 4*k = 2*x - 64, -t = -k. Is 12 a factor of x?
True
Let l be (5/(-10))/(2/(-4)). Let u be (-2*(3 + -2))/l. Is 4 a factor of u/(-4) + (-77)/(-14)?
False
Suppose -3*l = d + 4, d + l + 4*l + 10 = 0. Suppose -d*q - 3*u = 7, 5*q = q + 3*u + 16. Does 11 divide (q + 10)*(8 + -7)?
True
Let i(m) = m**2 + 3. Suppose 0 = 5*z - 17 - 8. Suppose -2*c = -b - 2*b - 5, 5*c + z*b - 25 = 0. Is i(c) a multiple of 13?
False
Let x be (3 - 3)/(2 + -1). Suppose -2*p = 8 - x, -2*c + 16 = -3*p. Suppose -2*t + 70 = -2*m, -c*t + 172 = 3*t - 4*m. Does 16 divide t?
True
Let m = 26 - -9. Let u = 57 - m. Is u a multiple of 10?
False
Let h = 3 - 2. Let u = h + -3. Let t(j) = -2*j**3 + j**2 - j - 2. Is 10 a factor of t(u)?
True
Is -2 - (1*-15 - -1) a multiple of 6?
True
Suppose 2*q - 22 = -0*b - 4*b, 3*q - 36 = -5*b. Is 8 a factor of q?
False
Let r be (-1)/(3/6) + 2. Suppose -g - 1 + 0 = r. Is -13*g/(3/6) a multiple of 11?
False
Suppose -5*r - 1 = -31. Is 25 a factor of ((-488)/(-12))/(4/r)?
False
Let m be (-3 - -2)*(-15 + 3). Suppose -4*w - m = -104. Does 8 divide w?
False
Let t(s) = 28*s**2 + 4*s + 6. Does 10 divide t(-2)?
True
Let o(z) = -z**2 - 14*z + 15. Let s = -2 + 5. Suppose 15 + 18 = -s*d. Is o(d) a multiple of 16?
True
Suppose 2*i + 2 = -2. Is 14 a factor of ((-196)/35)/(i/5)?
True
Is (2 - -125) + -1 - 0 a multiple of 14?
True
Suppose -2*g = -4*x + 20, 4*x - 3 = g + 19. Suppose -x*n = -5*n - 4. Suppose 81 = n*a - 55. Does 13 divide a?
False
Let b = 23 - 28. Let c(m) = 6*m**2 + 4*m - 2 + m**3 + 2. Is 3 a factor of c(b)?
False
Let a(t) be the third derivative of -t**6/120 - t**4/24 + 43*t**3/6 - t**2. Let c be a(0). Let x = c + -25. Is 12 a factor of x?
False
Let q(o) be the third derivative of -o**6/40 - o**5/30 + o**4/12 + 5*o**2. Is q(-2) a multiple of 5?
False
Is 5 a factor of (-2 - -5) + -5 + 1 + 70?
False
Let q = 150 + -93. Does 19 divide q?
True
Suppose -3*b + 16 + 23 = 0. Is 4 a factor of b?
False
Suppose -6*w = -w - 75. Is 3 a factor of w?
True
Let h be 2/(-11) + 12/66. Let g(d) = d + 5. Let x be g(h). Suppose 0 = z - 17 + x. Is 4 a factor of z?
True
Let h = -821 + 500. Let f be h/(-6) + (-2)/(-4). Suppose l = -2*l + f. Is l a multiple of 8?
False
Suppose -2*w + 2*s + 210 = 0, -2*w + 6*w + 5*s - 402 = 0. Is w a multiple of 26?
False
Suppose 0 = -3*z + b + 4*b - 38, 0 = 5*z + 5*b + 10. Let w be z/9 + 51/9. Let a = -2 + w. Is 3 a factor of a?
True
Let w(v) = 4*v**3 - 2*v**2 + 3*v + 1. Let k be w(3). Suppose -2*i + 10 = 0, -c + 6*c + i - k = 0. Does 12 divide c?
False
Suppose 7*x - 8*x + 45 = 0. Does 7 divide x?
False
Let t be (-90)/(-8) + (-7)/28. Let a(l) = l**3 - 12*l**2 + 17*l - 6. Is 10 a factor of a(t)?
True
Suppose -2*a - 2*b = -42, -3*a = -0*a - 2*b - 48. Suppose 22*t + 27 = 19*t. Let d = a + t. Does 6 divide d?
False
Let g(u) = -u**2 + 8*u + 3. Let d be g(8). Suppose -4*w = 2*o - 126, -d*w + w - 5*o = -51. Is 13 a factor of w?
False
Suppose 3*t + 1 = 2*t. Suppose 2*c - 20 + 8 = 0. Let x = t + c. Is x a multiple of 4?
False
Let q(c) = -6*c**2 - 12*c + c**3 + 0*c**2 - 19 - 7*c**2. Is 9 a factor of q(14)?
True
Let i be (20 - 0) + 0/1. Suppose o = 6*o - i. Suppose 65 = 5*q - o*k, 20 - 5 = 3*k. Is 5 a factor of q?
False
Is 27 a factor of (26 + 1)/((-4)/(-20)) - 0?
True
Let x = 3 + -5. Let d be (90/(-3))/1 - x. Does 10 divide -2 + (-4)/(-2) - d?
False
Suppose 0 = -c - i - 3*i + 156, 5*c + 2*i = 744. Suppose -5*r + c = 8. Does 7 divide r?
True
Let l = -67 + 247. Is 16 a factor of l?
False
Suppose 0 = -5*o + 5*k + 190, 3*k - 62 = -2*o - 2*k. Let g be (16/(-3))/(-2)*-9. Let v = o + g. Does 12 divide v?
True
Suppose 0 = -2*o - m - 2, 0*o + 2 = -4*o - m. Suppose -3*d + 6 = -o*d. Suppose 0 = -n + d*s + 23, -4*n + 3*s + 73 = -39. Is n a multiple of 13?
False
Let k = -50 + 65. Is 4 a factor of k?
False
Let h(g) = g**2 + 11*g. Let z be h(-11). Suppose -3*r + 5*r - 48 = z. Is r a multiple of 8?
True
Let n = -1 - -5. Suppose 0 = n*l + l - 30. Is l a multiple of 6?
True
Let a(r) = 9*r. Is 24 a factor of a(8)?
True
Let g(h) = -h**2 - 8*h - 5. Let c be g(-7). Suppose -4*v + 15 = -73. Is (-2)/c + 1 + v a multiple of 11?
True
Let v = 413 + -260. Let g = v - 102. Is 17 a factor of g?
True
Suppose -3*o + o - 4 = 0, -4*o = -3*m + 458. Is 15 a factor of m?
True
Suppose -3*n - 45 = s, -3*n - 141 = 3*s - 0*n. Let k = 90 + s. Is 7 a factor of k?
True
Let y(u) = -4*u**2 - 8*u - 11. Let p(m) = m**2 - 1. Let q(w) = -3*p(w) - y(w). Does 17 divide q(-12)?
False
Suppose 0 = -2*d + 4*d - 4. Let x be d/2*(-16 + 2). Let w = x - -23. Is 9 a factor of w?
True
Suppose 0 = 21*b - 1378 - 2003. Is 23 a factor of b?
True
Let q(n) = n**2 - 5*n + 1. Let j be q(5). Let z(h) = -2*h**2 - h - 2*h + 4*h + 25*h**3. Is z(j) a multiple of 11?
False
Let z(j) = 3*j**2 + j. Suppose -2*u + 2 = -0*u. Let r be z(u). Is (0 - 11/r)*-12 a multiple of 19?
False
Let b(w) = w**2 - 4*w - 10. Suppose 3*i - 115 = 20. Suppose 2*k - 11 = -3*h, 5*h - k - i = k. Is b(h) a multiple of 11?
True
Let y(u) = -11*u - 1 + 7*u + 6*u**3 + 6*u. Is y(2) a multiple of 17?
True
Let v be 9 - 2/(4/(-6)). Suppose -4*y - v = 0, -4*z + 2*y + 42 = -2*z. Does 5 divide z?
False
Does 11 divide (320/4)/2 + -4?
False
Let z be 4/6 + (-4)/6. Suppose z = -4*x - 0*x + 20. Let d(k) = k**3 - 3*k**2 - 7*k. Is 9 a factor of d(x)?
False
Let k(s) = 17*s - 4. Let i be k(6). Suppose -17 = 3*q - i. Is 8 a factor of q?
False
Does 11 divide ((-22)/55)/((-2)/260)?
False
Let t(q) = q**2 - 18*q + 17. Does 4 divide t(19)?
True
Suppose 0 = -2*z + 4*i + 104, -6*z + 4*z + 2*i + 108 = 0. Does 11 divide z?
False
Let a(u) = u**2 + u + 8. Does 4 divide a(0)?
True
Let z(u) = -u. Let x be z(7). Let s = 14 - x. Is 7 a factor of s?
True
Let o(x) = -x + 15. Let j be o(9). Let g be 21/j + (-3)/6. Let w = 19 - g. Does 16 divide w?
True
Suppose 0*k - 2*k = i - 9, -5*i = -5*k + 30. Suppose 0 = 2*j + 1 - k. Is 4 a factor of (-12)/(-3) + 2 - j?
True
Suppose 8 = -5*d + 3*d. Let n(p) = -p**3 - 3*p**2 - 6*p. Does 20 divide n(d)?
True
Let g be (-1)/(-1) - (-101 + 0). Suppose 0 = 2*q - 5*q + g. Does 14 divide q?
False
Let m be 4/1 - 2 - -234. Suppose 