 3. Let z be v(3). Suppose 3*j - 3*g = 2*g + 36, 0 = -3*j + 3*g + z. Suppose 0 = 3*o - 31 - j. Is o a multiple of 16?
True
Let q = 47 + -29. Suppose -20*h = -q*h - 80. Is 8 a factor of h?
True
Let u(p) = p**2 + 7*p - 11. Let c(d) = -d**2 - d - 10. Let i be c(0). Does 8 divide u(i)?
False
Let m be ((-5)/(-10))/(2/(-4)). Let r(t) = -23*t + 1. Let w be r(m). Does 6 divide (66/8)/(9/w)?
False
Suppose 4*t = 5*l - 71 - 312, -3*l + 3*t + 231 = 0. Is l a multiple of 33?
False
Let c(q) = 3*q**2 - 2*q - 9. Is 3 a factor of c(3)?
True
Suppose -5*g = -32 - 398. Does 24 divide g?
False
Let n = -26 - -83. Is 19 a factor of n?
True
Let m = -40 - -60. Does 8 divide m?
False
Let i be (-5)/(-20) + 3/4. Let v be i - 6/(0 - 3). Suppose 2*w + v*g = 0, -5*w + 5*g = 2*g - 21. Does 2 divide w?
False
Is 10 a factor of (6 - 5 - (-3)/1)*4?
False
Let k(x) = x**3 - 2*x**2 - 2*x - 1. Let b be k(3). Suppose 0 = 6*u - b*u - 8. Suppose -4*m + u = -14. Does 4 divide m?
True
Let u be 208/36 - 4/(-18). Is 8 a factor of (-2 + u)*(2 - 0)?
True
Let p be (-4)/(-6)*(-9)/6. Let q = 9 + p. Is 15 a factor of q/(-6)*180/(-8)?
True
Let w(u) = -u + 45. Suppose 5*h = -2*z + 20, 2*z + h + 2 = 6. Let x be w(z). Let a = x + -31. Is a a multiple of 12?
False
Let v be 1 + -3*(3 - 2). Let i be (-64)/v - (-3 - -2). Suppose -5*p = -i - 2. Does 2 divide p?
False
Suppose 0 = 2*b + 2*b - 1240. Suppose h + r = 78, 2*h + b = 6*h + 5*r. Is 29 a factor of h?
False
Suppose 2*a = -0*a - 58. Let l = 40 + a. Does 6 divide l?
False
Suppose 2*r = 3*y + 76 + 174, r = 5. Suppose l + 2*h - 3*h + 36 = 0, 4 = -h. Let u = l - y. Is u a multiple of 20?
True
Let g be (1*-3)/((-2)/(-4)). Let j(x) = 2*x**3 + 19*x**2 + 13*x + 9. Let m be j(-9). Is 6 a factor of g/m*-3*-18?
True
Suppose -5 = 5*b + 8*m - 3*m, -3*m - 7 = -b. Suppose 1 = -0*l + l - 5*t, l - b = 2*t. Suppose -2*z = -l - 19. Is z a multiple of 5?
True
Let g(v) = -v**3 - 16*v**2 + 13*v - 17. Is 17 a factor of g(-17)?
True
Suppose 6*q + 21 = q + 4*t, 0 = 4*q - 5*t + 15. Let s(j) = j**2 + 7. Let k(l) = l**2 + l + 1. Let v(r) = 2*k(r) - s(r). Does 10 divide v(q)?
True
Let v = -197 + 353. Is 12 a factor of v?
True
Suppose -j - 11 = -12. Let v = 26 - j. Is v a multiple of 16?
False
Suppose v - 2*p - 56 = 0, 228 = 5*v + 4*p - 108. Is 2 a factor of (-12)/(-20) + v/10?
False
Is 22 a factor of 18/(-45) + (-1986)/(-15)?
True
Let p = -8 + 11. Suppose -4*g + 53 = 2*q + p*q, -5*q - 5*g + 55 = 0. Does 9 divide q?
True
Let p = 1 + 1. Suppose p*o = o. Suppose 2*l + o*l = 26. Is l a multiple of 7?
False
Suppose r = -0*t + 2*t + 9, 0 = 4*r - t - 43. Suppose -9 = -3*w, -r = -2*d - w + 36. Is d a multiple of 11?
True
Suppose -x + 44 + 1 = 0. Is x a multiple of 5?
True
Is 14 a factor of 2/(-6) + (-86)/(-6)?
True
Suppose -s + 4*j = -77 - 49, -2*s + j + 266 = 0. Suppose -3*o + s = -4. Is o a multiple of 23?
True
Let s = -43 + 199. Does 20 divide s?
False
Let h be -2 + 2/(-1) + -20. Let s be (-496)/h - 2/3. Suppose 4*u + 8 = 4*t, 5*t - 3*u = -0*t + s. Does 6 divide t?
False
Let r = 3 + 2. Suppose 0*b - b - 30 = 4*s, r*b + 25 = 5*s. Does 11 divide (-1 + 15)/(b/(-25))?
False
Let d(z) be the second derivative of -39*z**5/20 + z**4/12 + z**3/3 + z**2/2 - 3*z. Let n be (-4)/16 - 9/12. Is 14 a factor of d(n)?
False
Let k be 3/(-2)*4/(-3). Does 6 divide k - (-4)/3*3?
True
Let i(l) be the first derivative of l**2/2 - l - 2. Let b(o) = -5*o + 6. Let k(u) = -b(u) - i(u). Is k(9) a multiple of 13?
False
Let u be (56/6)/((-14)/63). Does 16 divide 7/(u/(-8))*27?
False
Let h(y) = y**3 + 7*y**2 + 3*y - 5. Let u(m) = -m + 9. Let x be u(4). Suppose -2*j + x*j + 12 = 0. Is h(j) a multiple of 17?
False
Suppose -2*y = 9 + 217. Let i = y - -213. Is i a multiple of 22?
False
Let n(v) = -6*v + 1. Suppose 4*j = -5*r + 15, 0 = -r - 3*r + 2*j + 12. Let z be n(r). Does 12 divide (-2 - z) + 4 + -3?
False
Let o = -10 - -17. Let s = o + -144. Let b = s - -194. Is 21 a factor of b?
False
Let l = 43 + -31. Is l a multiple of 4?
True
Suppose 0*l + 319 = 11*l. Is l a multiple of 5?
False
Let n = 49 - 27. Is n a multiple of 3?
False
Let o(m) = m**3 + 11 - 1 + 14*m**2 - 5*m**2 + 10*m. Let h be o(-8). Let a = h - -8. Does 2 divide a?
True
Suppose -2*h + 5*h + 5*g = 228, -4*h + 304 = -3*g. Is h a multiple of 14?
False
Suppose s - 2*j - 104 = 0, 3*s + 0*s = -5*j + 268. Does 9 divide s?
False
Let d = 2 - 3. Let a be (-58)/2 + (-18)/6. Does 7 divide a*((-9)/6 - d)?
False
Let v = 2 - 4. Let x = 4 + v. Does 8 divide (2 + -1)/(x/34)?
False
Suppose 2*j = -17 + 83. Let y = -7 + -2. Is 11 a factor of (j/y)/((-1)/3)?
True
Let v(d) = -13*d - 9. Let b be v(-6). Suppose b = p + 17. Is 14 a factor of p?
False
Let l(d) be the second derivative of d**4/12 + d**3 + d**2/2 + d. Let j be l(-7). Is j/(-28) - 352/(-7) a multiple of 20?
False
Suppose 0*h = -5*h + 20. Suppose 0 = -h*n + 2*n - 4. Let j = 24 + n. Does 7 divide j?
False
Suppose 2*y - 48 - 5 = -c, -y = 2*c - 97. Does 2 divide c?
False
Let x = 22 - -48. Is x a multiple of 22?
False
Let g = 22 - 142. Let y = g - -172. Is 26 a factor of y?
True
Let w be (6/4)/((-1)/(-2)). Suppose 3 = 2*x - 7. Suppose -v - 75 = -x*g, -g + w = g + 5*v. Is 14 a factor of g?
True
Suppose 3*v = 4*v. Let b(i) = 2*i**2 + 7*i + 3. Let x(j) = -3*j**2 - 11*j - 4. Let u(f) = 8*b(f) + 5*x(f). Is u(v) a multiple of 4?
True
Does 21 divide 24/(-10)*(-8 - 7)?
False
Let q = 19 + -17. Suppose q*c = 5*t - 136, -60 = -0*t - 2*t - 2*c. Is t a multiple of 14?
True
Let b(p) = -p + 1. Let v be b(-2). Suppose -6*s = 2*m - 2*s - 76, -v*m + 118 = 2*s. Let o = m - 0. Does 20 divide o?
True
Suppose -4*o - v + 4*v + 92 = 0, -5*v = -2*o + 60. Suppose f = 2*f - o. Is 4 a factor of f?
True
Let o = 408 + -249. Is 17 a factor of o/9 - 4/6?
True
Let u be (1/2)/(3/12). Let d(x) be the second derivative of 2*x**3 - 3*x**2/2 + 2*x. Does 9 divide d(u)?
False
Suppose 5*b - 5*r + 220 = -0*b, -2*r = 2*b + 96. Let l = b - -82. Does 10 divide l?
False
Is (-30)/12*(-2 - (-164)/(-5)) a multiple of 13?
False
Let s(r) = -r**3 - r**2 + 9. Suppose 2*q - 4 = 0, n + 10 = 4*q + 2. Is s(n) even?
False
Suppose 0 = l - 3*u - 29, 5*l - 117 = -0*u + u. Let b = l - 11. Suppose 3*y - b = -3. Is y a multiple of 3?
True
Let p = 16 + -8. Suppose 2*q = p - 2. Suppose 5*i = q*i + 44. Is 8 a factor of i?
False
Suppose 2 = 5*a - 23. Let o(i) = -a - 3*i + 5. Is o(-3) a multiple of 9?
True
Suppose 3*i + 19 = m, -i - m - 2*m = 3. Let o = 8 + i. Suppose o*u + 4 = 3*u. Does 4 divide u?
True
Let x(t) = 3*t**2 - 3*t - 2. Let r be x(3). Let j = r + -4. Is 6 a factor of j?
True
Suppose -2*c - u = -4*u - 7, 4*c = u + 19. Suppose 0 = 5*h + 5*q - q - 95, c*q = 2*h - 5. Is 15 a factor of h?
True
Let g(r) = -r**3 - 12*r**2 - 28*r + 14. Does 17 divide g(-11)?
False
Let y be (-6 + 0 + -1)/(-1). Suppose 0*o - 3*i + y = -o, -3*i = 4*o + 73. Let q = 30 + o. Is 6 a factor of q?
False
Let y(x) = 16*x**3 + 25*x**2 + 6*x + 26. Let o(j) = 3*j**3 + 5*j**2 + j + 5. Let g(f) = -11*o(f) + 2*y(f). Let v be g(-5). Is (-52)/v - 6/4 a multiple of 5?
True
Let q(w) = 3*w + 1. Let m be q(3). Let p be 24/(-10) + 4/m. Is 4 a factor of p/1 - 0 - -10?
True
Let k be 2*(0 - (-10)/4). Suppose 2*u + u + 38 = -k*c, -2*u = 3*c + 24. Is 3 a factor of 1/3 + (-28)/u?
False
Let d(a) = -a**2 + 7*a - 4. Let f be d(6). Suppose 4*j = -f*k, -4*k - 3*j - 25 + 0 = 0. Let s = 14 + k. Is s a multiple of 4?
True
Is 6 a factor of ((-2)/1 - 1) + 66/3?
False
Is (-1)/(846/3480 - (-3)/(-12)) a multiple of 29?
True
Suppose -3*w + 154 = -203. Does 17 divide w?
True
Let j(u) = -u**2 - 9*u + 13. Let t be j(-11). Let g = 7 - t. Is g a multiple of 9?
False
Let o(k) = k**2 + 4*k + 5. Let y be o(-5). Suppose 2*l + 12 = 3*g, 5*l = -4*g + y + 6. Is 11 a factor of 66/(-9)*(-6)/g?
True
Suppose 5*t = -3*d + t + 33, 2*d + 3*t = 22. Does 11 divide d?
True
Let m(p) = p**3 + 7*p**2 - 9*p - 2. Let d be m(-8). Suppose -280 = -d*i + 2*i. Is 18 a factor of i?
False
Let b = 2 + 2. Suppose b*x - 172 - 4 = 0. Is x a multiple of 11?
True
Let x(z) = -z**3 - 2. Let y be x(-2). Suppose 3*r + 54 = y*r. Is 6 a factor of r?
True
Let i(s) be the second derivative of -1/12*s**4 + 0 - 5/3*s**3 - 5*s**2 - s. Does 5 divide i(-8)?
False
Suppose -5*f - 4*b = 8, 4*f - 2 = b - 0*b. Suppose f*u = -u + 12. Is 12 a factor of u?
True
Let b(h) = -75*h**3 + 2*h**2 - 1. Is