5. Let i = -67 - x. Does 13 divide i?
False
Let f = -37 - -40. Suppose -b + 36 = 4*b + 4*z, f*b + 4*z - 28 = 0. Suppose 0 = 5*j + 2*w - 55, 5*w + b = -j - 8. Is j a multiple of 2?
False
Let k be 11/33*(-11 + -1). Let r be (-78)/k*((-70)/21)/(-5). Suppose r*y = 1366 - 170. Is y a multiple of 40?
False
Let v = 1266 - 884. Let z = v + -153. Suppose 5*n - z = 301. Does 13 divide n?
False
Let u = 7 + -4. Suppose 3*g - 2*i - 699 = 0, 8*i - u*i = 5*g - 1160. Suppose 2*w + 0*f = -f + g, -3*w + 4*f + 347 = 0. Is 12 a factor of w?
False
Let y(f) = 2*f**2 - 34*f + 34. Let n be -16*3*3/(-9). Let m be y(n). Suppose 0 = -d + m*t + 30, -3*t - 10 = -8*t. Does 5 divide d?
False
Let a be ((-32)/6)/(4/(-6)). Let z(g) = g**3 - 7*g**2 - 6*g - 11. Let c be z(a). Suppose -5*l - 9 = -2*u, 63 = 5*u - u + c*l. Is 12 a factor of u?
True
Is (-10419)/(-2) + (14/(-84)*15 - -2) a multiple of 4?
False
Suppose 3*a + x - 16 = 0, 26 + 6 = 3*a + 5*x. Suppose -v + 60 = a*v. Does 3 divide v?
True
Suppose b - 57 = -r, -2*b - r + 20 = -94. Let u = -46 + b. Let x = 5 + u. Is x even?
True
Let d(z) = -z**3 - 141*z**2 + 75*z + 6. Does 69 divide d(-142)?
False
Suppose y = -8*x + 11*x + 21, 0 = 4*y + x - 58. Is 8274/15 - (-6)/y a multiple of 35?
False
Let o be ((-38)/(-19))/(4/18) + 2. Suppose o*r = 4*r + 1764. Does 7 divide r?
True
Let k be ((-4)/6)/(-2) + (-216)/(-81). Suppose q - 5*y = -24, y = k*q + 6*y + 32. Is 21 a factor of (-502)/(-4) - 7/q?
True
Let c(l) = -l + 6. Let x be c(4). Let q(n) = -n - 20*n**2 + 7*n**3 + 8*n**3 + 2 - 4*n**3 + 18*n**x. Is q(2) a multiple of 12?
False
Suppose -4*h + 3*o + 9 + 2 = 0, -4*h - o = -23. Suppose 7 = h*k - 8, -208 = -u - 4*k. Is u a multiple of 15?
False
Suppose -4*i - 8*n = -3*n + 29, 28 = -3*i - 5*n. Let u(l) = -263*l + 1. Does 8 divide u(i)?
True
Suppose 782 = 3*k - 2*n + 7*n, -2*n = -5*k + 1262. Suppose -4*p = -6*p + k. Is p a multiple of 33?
False
Let d(p) = 2*p - 155. Let j be d(-12). Let w = 528 + j. Is w a multiple of 19?
False
Suppose 26 = y + 33. Let x be y/1*1/(28/(-8)). Suppose -2*u - x*n = -242, 0 = 5*u - 0*u - 5*n - 615. Does 19 divide u?
False
Let w be ((-28)/(-10))/((192/280)/12). Let r be (1/1)/(-1) - -82. Let g = r - w. Is g a multiple of 7?
False
Let j(v) = -840*v**3 + 8*v**2 - 23*v - 114. Does 27 divide j(-3)?
True
Let p be (-3 + 54/21)*-7. Suppose 0 = p*r - 5*r + 74. Suppose 233 = 5*w - r. Is w a multiple of 9?
True
Let o be -3*4/((-16)/12). Suppose 93 = -o*m + 21. Is 25 a factor of m/3*(-675)/18?
True
Let t(d) = 33*d**3 + 10*d**2 - 27*d + 27. Is t(4) a multiple of 13?
False
Let k be 400/(-10)*8/(-10). Suppose -3*f + 4*p = -706, -k*f + 27*f - 2*p = -1168. Is 59 a factor of f?
False
Suppose 0 = -55*z + 299788 + 64477. Does 188 divide z?
False
Let s(a) be the third derivative of -a**6/60 + 17*a**5/30 - 13*a**4/24 + 23*a**3/6 + 197*a**2. Is s(15) a multiple of 26?
True
Let u(v) = -157*v + 6. Let b(q) = -157*q + 7. Let t(k) = 7*b(k) - 6*u(k). Is t(-3) a multiple of 21?
False
Let i(x) = 23*x + 4792. Is 54 a factor of i(133)?
False
Let v(g) = -g - 10. Let s be v(-7). Let j(z) = 2*z**2 - 12*z - 4. Does 25 divide j(s)?
True
Let o be 6 + 0 + (7 - 7). Suppose 4*l - 14 = -o. Suppose t + 63 = l*t. Is t a multiple of 7?
True
Let a = -109 - -74. Is 28 a factor of (-2 + 224/a)*-10?
True
Suppose -4*i - 5*t + 1 = -0, t + 3 = -4*i. Let b(f) = 2*f**2 + 2*f - 1. Let v be b(1). Is 17 a factor of ((-259)/v)/i + 5/(-15)?
False
Suppose -3*r + 236 = 230. Is (2 - 5)*r/6*-391 a multiple of 4?
False
Let z(a) = a**3 - 100*a**2 + 186*a + 1627. Does 6 divide z(98)?
False
Let c(f) = 3 + 3*f - 3 + 19. Let i be c(-11). Does 10 divide 429/21 - 8/i?
False
Let t(q) = -4*q**3 - 262*q**2 + 48*q + 56. Is 57 a factor of t(-67)?
False
Suppose -18*v - 103*v - 31*v = -560880. Does 15 divide v?
True
Let w be (-2 - 0)*-1 - 4. Let i(k) = -2*k - 2 + 37*k**2 + 33*k**2 + k**3 + 33*k**2 - 4*k**3 - 99*k**2. Is i(w) a multiple of 7?
True
Let i be ((-5)/(-2))/5 - 165/(-30). Let q(m) = -3*m - 1. Let k be q(i). Does 22 divide 20*(4/(-1) - k/2)?
True
Suppose 0 = 52*t - 21*t + 45*t - 19684. Does 7 divide t?
True
Suppose -18*n + 4 = -16*n. Let h(r) = 41*r**3 + r**2 - 3*r + 4. Does 10 divide h(n)?
True
Suppose -2*p = -177 + 181. Is 12 a factor of -7 + 14490/49 + p/(-7)?
False
Suppose 0 = 20*j - 12*j - 64. Suppose 2002 = j*m - 302. Is m a multiple of 18?
True
Let i(q) = -47*q - 216. Let g be i(-18). Suppose -210 - g = -6*v. Is v a multiple of 10?
True
Suppose -1666*j + 1665*j - 2*o + 17100 = 0, 4*j - o = 68391. Is 225 a factor of j?
False
Let q be (-1 - -12 - 3) + -5. Suppose 2*b = -q*m + 2*m - 8, 5*m + 40 = b. Is 9 a factor of (m/5)/(19/(-950))?
False
Suppose -21*d + 8*d - 10*d + 43355 = 0. Is d a multiple of 6?
False
Suppose 59*t = 183857 + 71849. Does 11 divide t?
True
Let j(b) = b**3 + 9*b**2 - 24*b + 23. Let f(h) = h + 7. Suppose -3*q + 2*k = -2*k + 58, 3*q + 3*k + 51 = 0. Let w be f(q). Is j(w) a multiple of 3?
True
Is 317/6340 + 61799/20 a multiple of 6?
True
Suppose -3*b + b = 5*w - 1317, 4*b - 2*w - 2646 = 0. Suppose b + 587 = 6*y. Is y a multiple of 8?
True
Let o = 33900 + -22398. Is 6 a factor of o?
True
Suppose -29880 = -59*l + 57*l - 2*o, -12 = 3*o. Is 8 a factor of l?
True
Suppose 0 = 1030*n - 1032*n - 3*t + 14055, -4*n - t + 28085 = 0. Is n a multiple of 23?
False
Let t be (2 + -2)/((-2)/(8/(-12))). Suppose 4*j = -t*i + i + 18, -10 = 3*i - j. Is i/(-3)*3267/22 a multiple of 11?
True
Let b(a) = a**3 - 9*a**2 - 19*a - 18. Let r be b(11). Let k be (-4)/(-8) - (-19)/2. Suppose -r*i + 50 = -k*i. Is i a multiple of 10?
True
Suppose 0*z + 11*z - 2046 = 0. Let j = z + -28. Suppose y - j + 45 = 0. Is 18 a factor of y?
False
Suppose 31*u - 30018 - 44078 = 13634. Does 10 divide u?
True
Let f(w) = -2*w**3 - 3*w**2 - w - 1. Let z be f(-2). Suppose k = -z*v + 23, -k - 2*k + 52 = -2*v. Is k a multiple of 18?
True
Suppose 8*o - 4*o = 24712. Suppose -27*y + 2732 = -o. Is 10 a factor of y?
True
Suppose -p - 4*t - 12 = -2*p, 5*p - 4*t - 12 = 0. Let c = 18 + -15. Suppose -4*w + 8 = p, 3*g + c*w - 159 + 27 = 0. Is 7 a factor of g?
True
Let b = -55 + 114. Suppose 217 = 4*o - b. Let h = o - 27. Is 6 a factor of h?
True
Let l = -304 - -292. Is 64 a factor of (-696)/(-2)*((-102)/l - 8)?
False
Is 38 a factor of (-40)/60 - (3 - (-3 + 3004/6))?
True
Suppose 10 = -8*w + 10*w. Let h(t) = -2*t**2 + 0*t**2 - 3*t**2 + t**3 + 5 - 2*t + t**2. Does 4 divide h(w)?
True
Let z be (-116)/(-20) + -5 + (-52)/(-10). Is (-1052)/z*(-69)/46 a multiple of 15?
False
Let w(n) = -26241*n - 838. Does 7 divide w(-1)?
True
Suppose 5*t = -4*x + 8542, 46*x = 44*x - t + 4274. Is x a multiple of 14?
False
Suppose 2*x - 8*x + 54 = 0. Suppose 0*g - 3 = -4*j + g, 3*g + x = 0. Suppose j = 5*r + t - 127, 0*t = -3*r - 3*t + 69. Does 5 divide r?
False
Let m be 6 + -2 + (-66)/(-11). Let c = m - -134. Is 16 a factor of c?
True
Let f = 6551 - -10662. Does 23 divide f?
False
Let k = 434 - 441. Let g(w) = w**3 + 13*w**2 - 4*w + 9. Is g(k) a multiple of 44?
False
Let w(k) = -91*k**3 - 7*k**2 + 6*k + 2. Let l be w(1). Let f(r) = 5*r**2 - 6. Let p be f(6). Let d = p - l. Is d a multiple of 13?
False
Let l(a) = 14*a**2 - 6*a - 18*a**2 + 17*a**2 - a**3 - 19. Let j be l(12). Let i = j + -17. Is 12 a factor of i?
True
Suppose 0*t + 543 = -6*t + 7629. Does 6 divide t?
False
Let o = 9564 - 8401. Is o a multiple of 114?
False
Suppose 2*j + j = 150. Suppose 4*c + 4*c - 16 = 0. Suppose -82 = -c*o + j. Is o a multiple of 27?
False
Let u(k) = 2*k**3 + 60*k**2 + 221*k - 2. Is 54 a factor of u(-25)?
False
Suppose b = -42*b - 14792. Let d = b - -408. Does 16 divide d?
True
Let g(d) = d**3 - 6*d**2 + 7*d - 12. Let o be g(6). Let v = o + -37. Let w(q) = q**2 - 12*q - 11. Does 21 divide w(v)?
False
Suppose -4*m = 4*o - 688, 2*m = 2*o + 3*m - 339. Let f = o - -256. Does 19 divide f?
False
Let j be (9*(-3)/(-45))/(2/10). Suppose 0 = -2*s - 6*l + 2*l + 316, -j*s + 464 = l. Does 14 divide s?
True
Let x = 107 + -113. Let g be -4*(-4 + (-21)/x). Suppose 4*m + 5*q - 37 = g*q, -m - 5*q = -22. Is m even?
False
Let m(a) = -a**3 + 6*a**2 + 73*a. Let g be -11*(-4 + 15/3). Is 38 a factor of m(g)?
True
Let y be 12/5 + -4*(-3)/(-30). Let p(a) = 126*a**3 + 2*a**2 + 3*a + 4. Does 9 divide p(y)?
True
Let b = 377 - 373. Suppose v - 10 = -b*v, -4*a = -2*v - 640. Is a a mul