or of 1/6*(13 + d)*110?
False
Let w be 4 + (-2)/(-5 - -7). Suppose 19 - 171 = -w*h - n, -2*n - 137 = -3*h. Does 7 divide h?
True
Suppose -243 - 60 = -l. Suppose 0 = -4*z + 4*r + 300, 5*z - l = r + 60. Does 12 divide z?
True
Let x(u) = -u**3 - 2. Let i be x(0). Let h be (9/12)/(i/(-424)). Suppose -2*d + h = -51. Is 21 a factor of d?
True
Suppose -2*d + f - 9 = -6*d, -3*f - 9 = 0. Suppose d*g + 48 = -b + 2, 2*g + 29 = b. Is ((-18)/(-15))/((-9)/g) even?
True
Let j(a) = -108*a - 3. Let z = 59 - 60. Does 35 divide j(z)?
True
Suppose -p = -50 + 54. Is 2*-1 - (p - -4) - -157 a multiple of 31?
True
Let h(y) = -y**3 + 5*y**2 + 5*y + 4. Let o be h(6). Does 7 divide ((-3)/((-3)/47))/(-1 - o)?
False
Suppose 3*i - 3 + 9 = 0. Let k be i + 2*(-3 + 43). Is 17 a factor of 1 + -1 - (4 - k)?
False
Let k = -555 + 595. Is 10 a factor of k?
True
Suppose 4*v = 4*u + 5368, -4*v + 3*u = -0*u - 5364. Is v a multiple of 12?
False
Suppose 6*z - 22 = 38. Suppose p + p = z. Suppose -54 = p*l - 154. Does 20 divide l?
True
Is -6*(-7)/((-28)/(-90)) a multiple of 3?
True
Suppose -3*x + 3*k = 2*k - 1078, -x + 4*k + 352 = 0. Does 2 divide x?
True
Let q be ((-34)/4)/(7/(-14)). Suppose -3*v - q = 13. Does 10 divide (-160)/(-6)*(-15)/v?
True
Let m(a) = 2*a**2 + 18*a + 9. Does 70 divide m(-12)?
False
Let q be (8 + -9)*2/2. Is (-91 + -2)*q/3 a multiple of 8?
False
Let n(s) = -225*s - 3. Is 17 a factor of n(-5)?
True
Let r(l) be the second derivative of -13*l**5/10 - l**3/6 - l. Let g = 175 + -176. Is 6 a factor of r(g)?
False
Let h(w) = -w + 3*w**2 - 2*w + 5*w - 12. Does 27 divide h(6)?
True
Suppose -2*a + 906 = -760. Does 17 divide a?
True
Suppose 0*q - 32 = -2*q. Let i be (-2)/(-9) - q/72. Suppose 5*k + a = 406, 2*k + 2*k - 5*a - 319 = i. Is 18 a factor of k?
False
Let p = -1451 + 2151. Does 28 divide p?
True
Suppose -19*p = -13*p - 60. Is 7 a factor of p?
False
Let s(c) = -c**2 - 20*c + 30. Does 35 divide s(-12)?
False
Let u(l) = -2*l**3 - 5*l**2 - 2*l + 1. Let n = 38 - 41. Does 4 divide u(n)?
True
Let f(z) = -z - 5. Let g be f(-5). Suppose -c + 0*x = 3*x - 7, 3*c + x - 13 = g. Suppose -3*s + j = -98, c*s - 117 = -j + 9. Does 8 divide s?
True
Let c = 7 - 1. Suppose -c = -s - p, 0 = s - p + 2. Suppose -3*o = 3*k - 15, s*k = 7*k + 3*o - 33. Does 4 divide k?
False
Suppose -8 - 4 = -3*t. Let b = -1 + t. Suppose -w + 5*p + 50 = w, 0 = -2*w + b*p + 54. Is 14 a factor of w?
False
Let y(p) = -p**3 - 4*p**2 + 8*p + 5. Let r be y(-5). Let h(i) be the first derivative of i**4/4 + 3*i**3 - 13*i**2/2 - 9*i + 48. Does 7 divide h(r)?
True
Is 230 + 5 + (-28)/4 a multiple of 33?
False
Let d(g) = 9*g - 4. Suppose 0 = -5*p - 70. Let s be (-32)/p - 4/14. Is 14 a factor of d(s)?
True
Let o be 3/(-12) + (-183)/(-12). Suppose -4*l - l + o = 0. Suppose 2*z + 23 = l*z. Is 7 a factor of z?
False
Suppose 0 = -5*v + 35 + 340. Suppose -k - 3*k + 484 = 0. Let u = k - v. Is u a multiple of 18?
False
Let q = 31 + 51. Suppose 0 = 5*y - 3*b, 7 = 11*y - 7*y - b. Let o = q + y. Is o a multiple of 17?
True
Suppose -3*w = 2*w - 50. Suppose r + 3*r + o = -2, -4*r - w = 5*o. Suppose -2*m - 2*d + 8 = r, d - 18 = -2*m + 4*d. Does 6 divide m?
True
Let b = 2239 + -1458. Is b a multiple of 71?
True
Let o = -7 - -9. Let r be 3 - -1 - 0/o. Suppose 0 = 2*z - r*g, 4*z - 9 = 4*g + g. Is z a multiple of 6?
True
Let z(h) = -h**3 + 18*h**2 + 11*h - 7. Let a be z(18). Let t = a + -63. Is t a multiple of 16?
True
Suppose -23*l + 17*l + 162 = 0. Does 3 divide (-33)/l*-3 + (-2)/(-6)?
False
Suppose 69*z + 470 = 73*z + n, 4*z = n + 474. Let y(u) = 28*u + 6. Let d be y(6). Let f = d - z. Does 14 divide f?
True
Suppose 651*a - 653*a + 4432 = 0. Is a a multiple of 95?
False
Let n(r) = r**2 - 8*r + 10. Let z be n(6). Does 12 divide z/(-3) + (-300)/(-9)?
False
Suppose 0*i + 5*i - 4*p = 334, 0 = i + p - 65. Is i a multiple of 21?
False
Suppose -13 = -3*g - 1. Suppose w - g*w = 12. Is (107 - 5)*w/(-8) a multiple of 11?
False
Let j(l) = -65*l + 28. Is j(-7) a multiple of 21?
True
Let l be -4 - (-8)/(-6)*-3. Suppose l = o + 2*o - 60. Is 7 a factor of o?
False
Let t(a) = -a**3 + 7*a**2 + 14*a + 14. Let r be t(11). Let y = -206 - r. Does 15 divide y?
False
Suppose 3*l - 8*l = -40. Suppose 312 = 3*q + 3*w, -3*q = -4*w + l*w - 317. Is q a multiple of 52?
False
Suppose 0 = 8*a - 202 - 22. Is a a multiple of 28?
True
Let o(k) = k**2. Let a(l) = -4*l**2 + 7*l + 12. Let y(d) = a(d) + 5*o(d). Let h be y(-8). Let b = h - -64. Is b a multiple of 28?
True
Suppose 5*m - 20 = -5. Suppose 2*h + 16 = f, 10 = f + m*h - 6. Does 16 divide f?
True
Let p(j) = j**3 + 3*j**2 - j - 17. Let q(x) = 2*x**3 + 4*x**2 - x - 18. Let c(m) = -3*p(m) + 2*q(m). Is 5 a factor of c(0)?
True
Let l = -61 - -61. Suppose 3*o + 31 - 55 = l. Is 3 a factor of o?
False
Suppose -2*i = 3*x - 7*x - 46, 4*x - 5*i = -61. Let d(s) = -6*s - 20. Does 7 divide d(x)?
False
Let k be (93/(-21) - -4)*-21. Is 14 a factor of k/(5*(-2)/(-150))?
False
Let y = 0 + 0. Let k = -14 + 20. Is 4 a factor of y + (3 - k*-1)?
False
Let g = -147 + 260. Let w = 23 + -101. Let o = g + w. Does 7 divide o?
True
Let b(m) be the first derivative of -m**5/20 + 7*m**4/12 - m**3/2 - m**2 - 4*m - 6. Let p(o) be the first derivative of b(o). Is 17 a factor of p(3)?
False
Is ((-53584)/476)/(2/(-7)) a multiple of 23?
False
Let m(d) = 29*d**3 - d + 1. Suppose 0 = -q + 4 - 2. Let w be (-1 - q)*1 - -4. Is 9 a factor of m(w)?
False
Let p = 622 + -562. Does 15 divide p?
True
Let x(y) = 272*y + 88. Is x(4) a multiple of 49?
True
Suppose -4 = -m + 2*v + 4, -5*m - 8 = 2*v. Suppose c + 4*c + 165 = m. Let l = c + 51. Is l a multiple of 7?
False
Let a(t) = 12*t**2 + 7*t - 20. Does 33 divide a(-4)?
False
Suppose -4*j - 3*u - 3720 = 0, -2*u + 2803 = -3*j - u. Let r be j/(-12) - (-2)/8. Does 9 divide 1/(6/3)*r?
False
Suppose 85 = -h + 5*q + 293, 3*h - 4*q = 624. Is 18 a factor of h?
False
Let b = -75 + 77. Suppose -3*y + y - 48 = -b*f, 3*f + 5*y - 88 = 0. Is f a multiple of 13?
True
Let h(a) be the second derivative of -a**4/12 + a**3/2 + 42*a**2 + 7*a. Does 21 divide h(0)?
True
Suppose 4*o = 5*b - 3690, 6*b - 3700 = b + 2*o. Does 7 divide b?
True
Let f(t) = t**3 + 18*t**2 + 22*t - 50. Is 29 a factor of f(-12)?
False
Let a = -2518 - -4975. Is a a multiple of 63?
True
Let r(d) = 136*d**2 - 9*d + 8. Does 7 divide r(3)?
False
Let i(t) = 5*t**2 + 3*t - 8. Is i(2) a multiple of 9?
True
Let k(m) = m**3 + 7*m**2 - 3*m + 3. Does 24 divide k(5)?
True
Let t be (-5)/((-5)/202) + -4. Is 10 a factor of t/4*4/3?
False
Let m be ((-3)/1)/((-12)/16). Suppose -5*f + 4*o = -157 - 7, -m*f = o - 148. Suppose -2*z = -0*z - f. Does 18 divide z?
True
Suppose -9*l + 424 = -143. Suppose -2*h + 4*i - 19 = -3*h, -4*i = 5*h - l. Suppose -h*p + 9*p + 136 = 0. Does 27 divide p?
False
Let l(o) = o + 12. Let j be l(19). Suppose -j*m = -34*m + 345. Is m a multiple of 4?
False
Suppose 5*t + 3*t - 1600 = 0. Is 20 a factor of t?
True
Let v(i) be the second derivative of -17*i**3/3 - 3*i**2 + 6*i. Is v(-6) a multiple of 21?
False
Suppose 0 = 165*v - 169*v + 492. Does 12 divide v?
False
Let z = -88 - -139. Does 17 divide z?
True
Let u = -511 - -865. Is 43 a factor of u?
False
Let i(m) = m**3 - 5*m**2 + 3*m + 1. Let h be i(3). Is (32/5)/(h/(-140)) a multiple of 29?
False
Let d = 111 - 110. Let h(g) = -22*g**2 + g. Let o be h(-1). Does 4 divide o/(-3) + d/3?
True
Suppose -13 = -3*u - 7. Suppose 9*l + u*i = 4*l + 2088, 5*l = 4*i + 2094. Suppose -y = -h - 103, h + l = 3*y + y. Is 27 a factor of y?
False
Let q(c) = c**2 - 6*c + 13. Let o be q(9). Suppose -6*k - o = -10*k. Is k a multiple of 8?
False
Suppose -3*t + 10 = 2*t. Suppose -t*f = -87 - 3. Is 9 a factor of f?
True
Suppose -6 = -4*n - 2*i, i - 5*i + 4 = 4*n. Suppose -32 = -5*m - n. Is 2 a factor of m?
True
Let z(g) = 91*g**2 + 7*g + 1. Is z(-2) a multiple of 27?
True
Suppose 0*r - 4*r + 80 = 0. Suppose -y = -6*y + r. Suppose -m + 330 = y*m. Is m a multiple of 22?
True
Let x(v) = -v**2 + 29*v + 26. Let l be x(23). Suppose -163*n = -l*n + 96. Does 32 divide n?
True
Suppose x + i + 16 = 2*x, -3*x - 5*i = -40. Suppose 17*c = x*c + 16. Is 8 a factor of c?
True
Let f(d) = -5*d + 315. Is 25 a factor of f(53)?
True
Suppose -820*y + 833*y - 5408 = 0. Is 32 a factor of y?
True
Suppose 0 = -2*u + 486 + 162. Is 36 a factor of u?
True
Let 