 = a - 2*v - 28. Is j(a) a multiple of 16?
True
Let d(j) = -j - 1. Let h = -3 + -3. Let c be d(h). Suppose -c*k + 116 = -49. Is 13 a factor of k?
False
Let p(v) = -92*v - 6. Does 21 divide p(-2)?
False
Is 15 a factor of (-4)/26 - 1211/(-13)?
False
Let w(j) = j**3 + 15*j**2 - 16*j - 12. Is w(-15) a multiple of 38?
True
Is (80/32)/((-1)/(-2)) a multiple of 3?
False
Suppose 3*d - 11 = -5. Let v(a) = 6 - 2 - 2*a + 2*a**2 - d*a + 2*a. Is 10 a factor of v(3)?
False
Let g be -5 - (1 - (0 - 0)). Let w = g + 6. Suppose 3*u - 15 - 9 = w. Is 4 a factor of u?
True
Let f(r) be the second derivative of r**3/3 - r**2/2 - 2*r. Let z be f(10). Let u = z - 9. Is 5 a factor of u?
True
Let j(l) = l**2 + 12*l - 25. Is 13 a factor of j(4)?
True
Is 10 a factor of ((-12)/(-10))/(-3) - (-452)/5?
True
Let d = 312 + -32. Is d a multiple of 56?
True
Let j(b) = b**2 + 2*b + 236. Let l be j(0). Suppose 0*r - 319 = -4*r - z, -3*r - 4*z = -l. Does 20 divide r?
True
Suppose 0 = 2*p - 3*q + 82, -p - q + 2*q = 42. Let r = -20 - p. Is 12 a factor of r?
True
Let f(y) = -y**3 - 4*y**2 - 4*y - 1. Let p be f(-3). Let s(u) = 6*u**2 - u - 1. Is 12 a factor of s(p)?
False
Let v = -7 - -22. Does 3 divide v?
True
Let a(c) = c**2 + 10*c + 2. Let x be a(-10). Let p be ((x + -3)*8)/(-2). Suppose p*l = t - 24, -t - 5*l = t - 9. Is 11 a factor of t?
False
Is (-4)/((-24)/279) + 12/(-8) a multiple of 5?
True
Let f = 111 + -41. Does 6 divide f?
False
Suppose 871 = 7*p - 578. Is 23 a factor of p?
True
Let y(a) = -24*a**2 + 13*a + 9. Let s(l) = 6*l**2 - 3*l - 2. Let d(c) = 9*s(c) + 2*y(c). Is d(-1) a multiple of 2?
False
Let f(h) = h - 3. Let i be f(-3). Let k = i - -16. Is k a multiple of 10?
True
Suppose -1 = -2*z - 101. Let q = z - -101. Is q a multiple of 25?
False
Let a be 0/(((-1)/(-1))/(-1)). Let j be 2*(-4)/4 - -41. Suppose a = -4*t - j + 183. Is t a multiple of 12?
True
Suppose -3*p + 49 = -y - 200, 0 = -3*y + 9. Is 18 a factor of p?
False
Let b be 12/30 - (-22)/(-5). Let m be 107/(-3) + b/(-6). Is ((-12)/7)/(2/m) a multiple of 15?
True
Let w(k) = -k**2 - 8*k. Suppose 5*q - 5*n = -65, 0 = q - 5*q + n - 37. Let d be w(q). Suppose d = 5*v + 11 - 221. Does 17 divide v?
False
Suppose 0*n + 5*n - 20 = 0. Suppose -n*l + 26 - 6 = 0. Does 5 divide l?
True
Suppose -7*m = -q - 3*m + 23, 2*m = -5*q + 27. Suppose 0 = 4*n + 4*k - 28, n + 4*k + k = q. Does 27 divide 8/28 - (-376)/n?
True
Let c(g) = 15*g**2 + 3*g - 39. Let s(z) = 7*z**2 + z - 19. Let b(t) = -6*c(t) + 13*s(t). Is 14 a factor of b(9)?
False
Suppose -3*t + 4*p + 7 = 20, -3*p = 4*t - 16. Let h be 2/4*(t + 5). Suppose -2*q + 11 + 33 = h*n, q - 14 = -n. Is n a multiple of 8?
True
Let c(j) = 3*j + 0*j + 2*j**2 + j**2. Suppose 0 = -3*q - 2*q - 10. Does 3 divide c(q)?
True
Is 4/(-14) - 2070/(-42) a multiple of 32?
False
Let x = -97 + 88. Let p(v) be the first derivative of -v**4/4 - 3*v**3 - 3*v**2/2 - 13*v - 1. Is p(x) a multiple of 14?
True
Let c be -1 + 0 + 1 + 0. Suppose 0 = i - c*i - 4. Does 10 divide (-3)/((8/(-18))/i)?
False
Suppose -5*q - 7 = 2*f, 2*q + 2 = -0*q - f. Let o be q/(-3*1)*-2. Does 9 divide -9*(-2 - o - 1)?
True
Let d(a) = -10*a. Let x = 6 + -4. Let q be d(x). Let l = q + 32. Is l a multiple of 6?
True
Let c = -49 + 104. Is 11 a factor of c?
True
Let j(c) = 9*c**3 - c**2 + 2*c - 3. Is j(2) a multiple of 23?
True
Suppose 3*j + 4*z - 99 = 0, -4*j + 4*z + z = -132. Does 5 divide j?
False
Let b = 40 + -25. Is b*9*(-2)/(-15) a multiple of 9?
True
Let u = 13 + -18. Is 3 a factor of (6/u)/(4/(-30))?
True
Let f be 3/2*(-16)/(-12). Let k(j) = 2*j**3 + 3 - 6*j**2 - 6 + 2*j + f*j**2. Is k(3) a multiple of 21?
True
Let a(v) = v**2 - 2*v - 1. Let y be a(-2). Let u = y - 11. Let x = u + 22. Does 13 divide x?
False
Let u = 12 - 7. Suppose 50 + 5 = u*w. Is 5 a factor of w?
False
Let f(j) = -5*j + 4. Let p be f(-4). Suppose p = t - 9. Does 11 divide t?
True
Suppose 5*i = 9*i - 164. Does 9 divide i?
False
Let w be 7 + -2 + (1 - 4). Suppose -4 = 4*s, -i + 2*s = -10 + w. Does 2 divide i?
True
Let f(j) = -j**3 + 10*j**2 - 9*j + 2. Does 37 divide f(6)?
False
Is (-4)/(2 - (-72)/(-34)) a multiple of 34?
True
Let z be 2/(-3) + (-8)/(-3). Suppose z*b = -b + 177. Suppose b + 1 = 5*o. Is 12 a factor of o?
True
Is 11 a factor of 11/(-2*2/(-4))?
True
Suppose 3*m = 352 - 16. Suppose m + 44 = 3*d. Is d a multiple of 13?
True
Let a = -92 - -205. Is 23 a factor of a?
False
Let h = -4 + 2. Let u(f) = -f**3 - f**2 - 2*f - 1. Is u(h) a multiple of 7?
True
Suppose 3*j - 68 - 130 = 0. Is j a multiple of 12?
False
Let q = -8 + 5. Let p be (-10)/(-4) + q/6. Suppose 4*g = p*c + 36, 5*g - 5 = 2*c + 41. Is g a multiple of 10?
True
Let j = 3 + 1. Let x = 145 + -101. Suppose x = -2*d + j*d + 2*r, -41 = -2*d - r. Does 9 divide d?
False
Let g = 261 + -156. Is 21 a factor of g?
True
Let i(z) = 4*z**2 + 2*z - 1. Let b be i(1). Suppose -k + b = -n, 0 = 2*n + n - 6. Is 3 a factor of k?
False
Let c(g) = -25*g - 9. Let k(v) = 26*v + 10. Let z(s) = 7*c(s) + 6*k(s). Is 21 a factor of z(-2)?
False
Let f = 88 - 63. Is 10 a factor of f?
False
Suppose 2*h - 39 = 91. Suppose 3*r = 5*m + 283, -h - 418 = -5*r - 3*m. Is r a multiple of 24?
True
Let i(x) = -4*x**3 - 1 + 4*x**3 + 2*x + 3*x**2 - 2*x**3 + 3*x**3. Let y be i(-2). Is ((-2)/(-8) + y)*-28 a multiple of 9?
False
Let h = -41 + 116. Suppose h = -2*w + 7*w. Is 13 a factor of w?
False
Let b be (41 + 1)*(-8)/(-24). Suppose 5*l - 6*l + b = 0. Is l a multiple of 7?
True
Suppose 7*d - 9 = g + 4*d, 23 = 5*g + 2*d. Let y be 5*1*2/2. Suppose -g*x + y*q = x - 122, q = x - 30. Is 28 a factor of x?
True
Suppose -3*d = i + 14, -d - 3 - 2 = 0. Let m be (-3)/9 - i/(-3). Suppose m*o + 85 = 5*o. Is 16 a factor of o?
False
Let d = 6 - -1. Does 2 divide d?
False
Let m be 0 - (-1 + (-3 - -2)). Let y = m - 2. Suppose 3*q + y*p - 72 = -3*p, -8 = 4*p. Does 13 divide q?
True
Suppose -2*b - b + 192 = 0. Does 11 divide b?
False
Let j be 3/(((-30)/(-8))/(-5)). Is (-6)/(-4)*(j - -10) a multiple of 5?
False
Let x(d) = -d**3 + 9*d**2 + d - 1. Does 7 divide x(9)?
False
Let o be 136/(12/3) - 3. Suppose -o - 5 = -4*p. Does 9 divide p?
True
Let h be 4*6/4*-1. Let v(q) = -3*q - 6. Is v(h) a multiple of 6?
True
Suppose 2*a - 98 = -3*b - b, -108 = -2*a + b. Is 8 a factor of a?
False
Suppose -5*s - 9 = o, 25 = -5*s - 0*s - 5*o. Does 8 divide ((-12)/(-36))/(s/(-48))?
True
Let h(t) be the first derivative of t**4/12 + t**3/6 + 9*t**2 + 2*t - 3. Let v(f) be the first derivative of h(f). Does 10 divide v(0)?
False
Let a = -350 + 234. Does 10 divide (a/(-8))/(1/4)?
False
Suppose -7*c - 24 = -10*c. Suppose 5*n - 4*n = 5*t - c, -5*n + t = -80. Is 17 a factor of n?
True
Suppose -12 = -4*u + 308. Suppose 5*g - u = 5*i, 2*g + 3*i - 14 = -i. Is g a multiple of 11?
False
Let j be (-3 + 2 - -1) + 7. Let s = -2 + j. Suppose -s*l - 1 + 51 = 0. Is 10 a factor of l?
True
Suppose -10 = -5*m + 5. Let s(y) = 7*y**2 - 4*y - 1. Is 10 a factor of s(m)?
True
Let h = -4 + 14. Let p(b) = 3*b - 20. Is p(h) a multiple of 10?
True
Let f be 2/(-4)*5*2. Let s(j) = -j**3 - 5*j**2 - 2*j - 6. Let v be s(f). Does 2 divide (v/(-6))/((-12)/54)?
False
Let l(h) = h**2 - 8*h + 5. Let w be l(6). Does 6 divide (-2)/w + 80/14?
True
Let a = -158 + 243. Suppose 2*m - 65 = -4*k - m, 3*k - 5*m - a = 0. Is 7 a factor of k?
False
Suppose -4*k - 224 = -2*v, 0 = k - 0 - 2. Is v a multiple of 9?
False
Suppose 104 + 516 = 5*k. Is 31 a factor of k?
True
Suppose 1 + 2 = n, -5*u + n = 73. Let p = 24 + u. Is p a multiple of 5?
True
Let q = 3 + -5. Let l = q + 6. Suppose l*o - 13 = 3. Is 4 a factor of o?
True
Let g(x) = -x**2 - 7*x. Let y be g(-7). Does 8 divide 1*-2*(-4 - y)?
True
Let p be (-19)/38*(0/(-2))/2. Let f be (7 - (0 + -1)) + -2. Suppose p = -f*m + m + 20. Is m a multiple of 2?
True
Is ((-222)/(-4))/(21/28) a multiple of 13?
False
Suppose -14*r - 43 + 1569 = 0. Is 8 a factor of r?
False
Let r(l) = 16*l**2 - 3*l + 21. Is r(3) a multiple of 26?
True
Let g(z) = 31*z**2 + 4*z - 3. Is g(1) a multiple of 8?
True
Suppose j - 4*h = 115, -4*j + 210 = -2*j - 4*h. Does 19 divide j?
True
Let n = -35 + 41. Let h(t) = t**2 + 2*t + 2. Let o be h(-2). Suppose -o*f + n = -2. Does 2 divide f?
True
Suppose -3*m - 6*b + 74 = -11*b, -2*m = -2*b - 52. Does 7 divide m?
True
Let t = -1 + -4. Let s = 8 + t. Suppose 2*i - 29 = 2*p - 3, 