 13. Let h be v(-12). Is 14 a factor of (3 - (h - 1))*11?
False
Suppose 0 = 3*g + g + 128. Suppose 5*o - 2*o = -180. Let q = g - o. Is 7 a factor of q?
True
Suppose 4*x - 150 = 4*z + 50, 0 = 5*z + 15. Let r = -35 + x. Does 4 divide r?
True
Let a = -20 - -27. Suppose -a*r = -3*r - 16. Suppose m + 5*v = 2*v + 20, 5*v = r*m - 148. Is 5 a factor of m?
False
Suppose -2599 = -m + 3*n, -17*n + 13*n = 20. Is 17 a factor of m?
True
Let y(d) = -6 - 5*d**2 + 2*d**2 - 16334*d**3 - 5*d + 16335*d**3. Suppose -l = l - 3*p - 7, -10 = -3*l + 5*p. Does 12 divide y(l)?
False
Does 80 divide -2 + 30/14 + (-554367)/(-231)?
True
Suppose 3*r - 2*n - 25 = 0, 4*r + 5*n = -2 - 3. Suppose 124 = r*g - 81. Is g a multiple of 6?
False
Let b be ((-445)/10)/(-1*2/(-4)). Let f = -36 - b. Does 19 divide f?
False
Suppose r + 4 = 2*r. Suppose -n + 2 = -5*n + 5*u, r*u - 10 = -n. Suppose -12 = -n*g + 2. Does 3 divide g?
False
Suppose 0 = 40*t - 41*t + 296. Is 15 a factor of t?
False
Suppose -s + 13*h = 8*h - 967, 4*s - h - 3830 = 0. Is s a multiple of 37?
False
Let n(i) = 2*i**3 - 9*i**2 - 11*i + 9. Let x(z) = z**3 - 1. Let m(a) = n(a) - x(a). Let k be m(10). Suppose -29*p + 30*p - 28 = k. Is p a multiple of 14?
True
Let w(d) = d**2 - 4*d + 5. Let o be w(5). Let q = -9 - 9. Is q/12*o/(-3) a multiple of 2?
False
Let y(s) = s**2 - 7*s + 18. Does 23 divide y(15)?
True
Does 2 divide (0 - -68 - 9)/((-1)/(-2))?
True
Suppose -99 = -2*k + 5*x, 3*k - 52 = 2*k + 5*x. Let l = k - 22. Is l a multiple of 5?
True
Suppose -48 = 3*m - 927. Let x = -85 + m. Does 26 divide x?
True
Let x(v) = 58*v**3 + 11*v**3 - 1 - 3*v**2 + 0 + 5*v**2. Let q be x(1). Let z = q - 33. Is z a multiple of 12?
False
Suppose 0*d + 3*d = 240. Suppose -45*c + 44*c + d = 0. Is c a multiple of 20?
True
Suppose -3*v - 297 = 3*n - 0*v, -2*n = v + 199. Let u = 169 + n. Is u a multiple of 23?
True
Let x(g) = g + 16. Let o be x(-14). Suppose 0 = o*t - 23 - 65. Does 19 divide t?
False
Suppose -d + 3*f = 4*d - 1200, 5*d = -5*f + 1160. Let p = d + -88. Does 21 divide p?
False
Let l be (-60)/2*(-3)/(-2). Suppose 150 = -4*m + 6*m. Let o = m + l. Is 15 a factor of o?
True
Suppose -3*k + 11 = 3*q - 5*k, 4*k + 7 = 3*q. Suppose -q*m - 3*w - 66 = -2*w, 5*m + 68 = -3*w. Let u = m + 27. Is u a multiple of 4?
False
Let g = 0 + 3. Suppose -4*y + 470 = -3*l, -5*y + g*l + 587 = -l. Is 27 a factor of y?
False
Suppose 2*r - 2 + 6 = 2*t, t - 2*r + 2 = 0. Is 50 a factor of -2*(-75)/t*2?
True
Suppose 36*o - 4226 - 20614 = 0. Is o a multiple of 30?
True
Let j(w) = 8*w**2 - 7*w + 42. Does 57 divide j(-10)?
True
Suppose -3*h = -3*v - 8*h + 247, -251 = -3*v - h. Does 12 divide v?
True
Suppose -2*f = 3*l - 1275, -4*l - 172 = -4*f - 1892. Is 3 a factor of l?
False
Is 16 a factor of (6*13)/(-9 - -10)?
False
Is 18 a factor of (-5 + -4)/45 - (-5571)/5?
False
Suppose 3*u = -12, -3*g + 27 - 4 = -2*u. Suppose 3*l + 0*l = -g*d + 29, -d + l = -1. Is 9 a factor of -4 + 12/d + 37?
True
Suppose 75 = 12*p + 27. Is (-4)/18 + ((-370)/(-45) - p) even?
True
Suppose -6*k = -379 - 29. Is k a multiple of 3?
False
Suppose -2*f = -y - 10, 0 = 3*y - 2*f + 41 + 1. Let w = 21 + y. Suppose -5*s = 5*b - 222 - 133, 3*b + w*s - 211 = 0. Is 20 a factor of b?
False
Suppose -20274 = -14*z - 1570. Is 15 a factor of z?
False
Is 2/6 + 1908/108 a multiple of 6?
True
Suppose -u = 4*t - 74 + 346, 2*t + 150 = -4*u. Let b = 94 + t. Let s = -19 + b. Is s a multiple of 3?
False
Let b = -855 + 1079. Does 14 divide b?
True
Let z = 66 + 66. Let r = -72 + z. Is 12 a factor of r?
True
Suppose 371 = b + 56. Is b a multiple of 21?
True
Let r be 5098/17 - 10/(-85). Suppose 5*g = g + r. Is 14 a factor of g?
False
Let s(m) = 122*m**2 + 58*m + 232. Does 10 divide s(-4)?
False
Suppose 65*h - 13229 = 6011. Is h even?
True
Let k = 5125 + -501. Is k a multiple of 118?
False
Is 17 a factor of (-22603)/(-42) + (-35)/(-42)?
False
Let p(b) = -3*b**3 - 2*b**2 + 2*b - 1. Let y be p(1). Let q be 2 + (y - -2) + 4. Does 4 divide (3 - q/(-12))*3?
False
Let n = 32 - 77. Suppose i + 48 = -i. Let u = i - n. Is 17 a factor of u?
False
Suppose 2*a + 9 = -1. Let y be (16/10)/((-2)/a). Suppose -2*v - 48 = -r, 0 = 4*v - y. Does 14 divide r?
False
Suppose -3*u + 56 = -2*r, -u + 5*r = -3*u + 50. Let c be ((-42)/(-4))/(1/u). Does 14 divide 1*7*c/49?
False
Is 63 a factor of 360/2*(-4662)/(-370)?
True
Let u = 269 - 9. Does 23 divide u?
False
Let l(k) = -2*k + 1. Let g be l(4). Let v = 221 - g. Suppose 5*i = i + v. Is i a multiple of 19?
True
Let s(l) = l**2 - 10*l + 6. Let o be s(4). Let n be (-194)/o + (-4)/(-18). Let g = 2 + n. Is g a multiple of 7?
False
Let g(y) be the third derivative of -y**6/24 - y**5/30 - y**4/24 - y**3/3 - 20*y**2. Does 20 divide g(-3)?
False
Suppose 4*r = -3*z + 1958, -17*z + 22*z - r = 3248. Is z a multiple of 26?
True
Suppose 0 = -3*a + 6*a + 4*q - 208, q = -5. Let o = a - 34. Is o a multiple of 19?
False
Let c(o) = -3*o**2 - 67. Let q(s) = -s**2 - 1. Let h = 22 - 23. Let i(b) = h*c(b) + 4*q(b). Does 37 divide i(0)?
False
Suppose 0 = 3*y + 2*f - 139, 5*y - 4*f = f + 215. Let d = y + -32. Is 3 a factor of d?
False
Suppose 3*l - 4*m - m + 682 = 0, -4*l + m = 932. Is l/42 + 5 - (-2654)/14 a multiple of 27?
True
Let s = 9 + -6. Suppose -284 = -3*w + m, -w + 0*m - s*m + 108 = 0. Is w a multiple of 24?
True
Let b = 842 - 340. Is b a multiple of 8?
False
Does 4 divide 446 - (25/(-15) + 2)*-18?
True
Suppose 0*x + 25*x = 23850. Does 49 divide x?
False
Let f = 15 + 681. Is f a multiple of 12?
True
Suppose 0 = 10*v - 7*v - 3*x - 1617, 4*v - 2156 = -2*x. Does 60 divide v?
False
Suppose -h + 0 + 3 = 0. Suppose -h*d + 2*d - 131 = -2*v, 203 = 3*v + 5*d. Is v a multiple of 11?
True
Suppose 7 = 5*d - 3. Let n(a) = d + 4*a - a**2 + 8 + 2 - 5. Is 2 a factor of n(5)?
True
Suppose t = 2*t + n - 6, -23 = -4*t - 3*n. Suppose 3*l = -2*c - t, -l + 4*c = l + 14. Let y(o) = -7*o + 3. Does 8 divide y(l)?
True
Is 4 a factor of ((-35)/(-15))/(5/180)?
True
Suppose 2*a - 3*u = 612, -2*a - 5*u = -0*a - 612. Is 4 a factor of (20/(-60))/((-2)/a)?
False
Suppose 7*n - 3*n = 12. Let y(d) = -d**2 + 4*d - 3. Let h be y(n). Let b = 5 + h. Is b a multiple of 4?
False
Suppose -10 = -4*h + 2*l, -4*h + 4*l - 9 + 29 = 0. Let b be h*((-5)/2 - -3). Suppose -2*v + 86 = -b*v. Is 12 a factor of v?
False
Let p be -6*((-4)/3)/4. Suppose -47 = -5*s - p*c + 47, -3*s = -3*c - 48. Is 9 a factor of (s/(-8))/(4/(-16))?
True
Suppose 4*g + 42*n = 40*n + 12, n = 5*g - 8. Let r = 0 + 0. Suppose r = 4*s + 5*a - 48, -s + 2*s - 9 = -g*a. Is s a multiple of 5?
False
Suppose 0 = -3*o - 3*p + 4101, -4*o = -2*o - 3*p - 2739. Is o a multiple of 36?
True
Is 15/3 - (-260 - 11) a multiple of 6?
True
Is 27 a factor of (-1*166/(-4))/((-37)/(-222))?
False
Let f(j) = j**3 - 13*j**2 - 30*j + 5. Let z be f(15). Let y(w) = -w**3 + 11*w**2. Is 19 a factor of y(z)?
False
Is (-158348)/(-28) + 6/(-42)*2 a multiple of 145?
True
Suppose -3*a - 5*h = 32, 3*h = a - 0*h + 6. Let k be (2/(-5))/(a/45). Suppose k + 18 = 2*l. Is l a multiple of 10?
True
Let o(h) = h + 2. Let p be o(1). Is (-21)/3 + 4 - (-330 + p) a multiple of 18?
True
Let b(f) = -f**3 + 10*f**2 + 12*f - 1. Let p be b(10). Let r = p + -48. Let n = r - 26. Does 13 divide n?
False
Let l(p) be the first derivative of 47*p**2/2 - 9*p + 1. Let h be l(4). Suppose h + 161 = 5*n. Is n a multiple of 16?
False
Let j(g) = 3*g**3 - 6*g**3 + 1 - 31*g**3. Suppose 4*c + 8 = 2*w, -3*w = -3*c - w - 7. Does 19 divide j(c)?
False
Let q(i) be the second derivative of -i**5/120 + i**4/12 + i**3/3 - 3*i. Let k(h) be the second derivative of q(h). Does 2 divide k(0)?
True
Let u = 55 - -198. Is 11 a factor of u?
True
Let h = 5239 + -2502. Does 23 divide h?
True
Suppose -3*w + 3*l = -3, -5*w + 6 + 11 = l. Suppose 3*v = 4*q - w*q + 5, q - 3 = -5*v. Let g(p) = 19*p**3 + p. Does 4 divide g(v)?
True
Suppose 0 = -3*c + 9. Suppose 2*i = -c*d + 1, 0 = -i + 5*d + 2 + 5. Suppose 7*r - 125 = i*r. Does 25 divide r?
True
Let t(g) = 68*g - 418. Does 25 divide t(15)?
False
Let j be -6*(1 - 0)*(-2 - 5). Suppose y + j = 124. Is 4 a factor of y?
False
Let a(j) = 26*j**2 + 10*j + 7. Let k be (-5 - -3)*1*6/4. Does 11 divide a(k)?
False
Let y(w) = w**3 + 10*w**2 + 2*w + 17. Let d be y(-10). Is (32/d)/(3/(-9)) a multiple of 16?
True
Let m be (-8 - 0) + (3 - 5). Let s(b) =