8 + 46. Suppose b*x + 185 = 21*x. Is 13 a factor of x?
False
Let d be (9 - 5)/8*(-1 + 7). Suppose -d*v = 2*u - 515, -3*v - 2*u = 3*u - 518. Is 14 a factor of v?
False
Suppose 0*u - 3*u + 15 = 0. Suppose -c + 4*g = -u, 2*g + 20 = 2*c + 4*g. Let y(a) = 4*a - 8. Does 7 divide y(c)?
True
Let w(x) = -17*x + 6. Let h be w(-6). Let u = -64 + h. Does 18 divide u?
False
Let o = -7 - -12. Let g(q) = q**3 - 5*q**2 - q - 7. Let n be g(o). Is 13 a factor of (-176)/n*(-3)/(-2)?
False
Suppose g - 4*g = -12. Suppose -g*b = -2 - 34. Does 9 divide b?
True
Let w be 3/6 - 36/(-8). Suppose 3*f - 50 = w*f. Let x = -21 - f. Is x a multiple of 3?
False
Let b = 1330 + -757. Does 69 divide b?
False
Is (4 + -5 + 6)*30 a multiple of 15?
True
Suppose -2*c - c + 97 = 4*a, 0 = -2*c - 5*a + 60. Does 20 divide 4/(-14) - (-2 - 640/c)?
True
Suppose 2*b - 326 = 3*s + 344, -1685 = -5*b + 5*s. Does 9 divide b?
False
Does 9 divide (40/60)/((-6)/(-7749))?
False
Let a(r) be the third derivative of -r**5/60 + 7*r**4/24 - 4*r**3/3 - 2*r**2. Let f be a(4). Let i(j) = j**3 - 4*j**2 + 5. Is i(f) a multiple of 4?
False
Let z = 256 + 171. Does 36 divide z?
False
Let r = -63 + 406. Is r a multiple of 28?
False
Suppose -3*k = i, 0 = 2*k - 4*k + 4*i + 14. Let o be 1*(k + 3 + -2). Let f = o - -7. Does 9 divide f?
True
Suppose -156 = -5*j + 8*j. Is (-1105)/j + 1/(-4) a multiple of 7?
True
Let l(h) = -3*h**2 + 10*h. Let o be l(5). Does 18 divide ((13 - -2) + 2)*(o - -44)?
False
Suppose -5*t + 4*c = -1, t + 3*c = -3 - 12. Is 25 a factor of 151 + 3 + t - 1?
True
Let p(q) be the first derivative of q**4/4 + 10*q**3/3 + 3*q**2 + 22. Is 15 a factor of p(-9)?
False
Let v(d) = 89*d**2 + 46*d - 232. Is 58 a factor of v(6)?
True
Let l be ((-5)/4)/(3/(-12)). Suppose a - l = -2. Suppose -32 = -a*m - m. Is 5 a factor of m?
False
Suppose 0 = -0*p - 2*p + 10. Suppose -9*d = -p*d. Suppose -5*h - 4*t = -279, 0 = 3*h - 2*t - d*t - 163. Is 11 a factor of h?
True
Let u = 81 + -76. Suppose -37 = -4*c + 19. Suppose c + u = w. Is 4 a factor of w?
False
Let u(b) = -7*b**2 + 5*b**2 - 55*b + 0*b**2 - 5 - 43. Is 15 a factor of u(-22)?
False
Suppose -1140 = -103*l + 91*l. Does 19 divide l?
True
Let k be (-24)/(-4) + 3*-1. Let z be (3/k - 3)*-2. Is 9 a factor of 24/10*60/z?
True
Suppose 0*j = 3*v + 2*j + 100, 5*j + 106 = -3*v. Let z = 21 - v. Does 10 divide z?
False
Let i = 136 - -8. Suppose o - 4 = -t - 0*o, -5*t + 56 = -4*o. Suppose -2*y + t*y = i. Is y a multiple of 10?
False
Let a = -10 - -10. Suppose -l + a*l + 3*b = 13, b = 5*l + 79. Does 23 divide (-30)/(54/l - -3)?
False
Suppose -3*v + 457 = 4*a, 4*a + 180 - 625 = v. Suppose a = 4*y - j, 4*j + 112 = 5*y - 39. Does 9 divide y?
True
Let j = -71 + 146. Let z be 1/((-3)/9*-1). Suppose j = z*l - 69. Does 24 divide l?
True
Suppose 3*p + h = -p + 133, 0 = -5*p + 2*h + 176. Suppose -u + 0*u + p = 0. Is u a multiple of 12?
False
Let r be 2*6/(-12) + (-1 - 82). Let y = -76 - r. Is 2 a factor of y?
True
Suppose 0 = -3*n - 11 + 29. Suppose g - n*g + 1260 = 0. Is g a multiple of 22?
False
Let u(q) = -6*q**2 - 5*q. Let c(g) = 25*g**2 + 21*g. Let a(b) = -4*c(b) - 18*u(b). Is 34 a factor of a(-4)?
False
Suppose 5*o + 7*c - 4105 = 12*c, 5*c + 5 = 0. Is o a multiple of 12?
False
Suppose -5*y - 1750 = -5*l, -2*y + 80 = 72. Does 6 divide l?
True
Let c(l) = -l**3 - 9*l**2 - 8*l - 7. Let g be c(-8). Is 11 a factor of (-104)/(g + 3) - 3?
False
Let n(x) = 809*x**2 - 14*x - 13. Is n(-1) a multiple of 10?
True
Suppose 578 + 626 = 7*g. Is g a multiple of 4?
True
Let y(l) = -18*l - 23*l + 0*l**2 - 5 + 2*l**2 + 33*l. Does 13 divide y(-7)?
False
Let k(p) = -2*p**2 + 43*p - 42. Let a(w) = 2*w + 10. Let g be a(4). Does 8 divide k(g)?
False
Let m(f) be the first derivative of 3*f**3 + 12*f - 7/2*f**2 - 1/4*f**4 + 3. Is 35 a factor of m(6)?
False
Let u(j) = 66*j - 264. Is u(6) a multiple of 11?
True
Suppose 0*r - 3*r + 42 = 2*u, 2*r + 32 = 2*u. Let q = 38 - u. Suppose -i - 3*w + 36 = 0, q = -i + 4*w + 91. Is i a multiple of 17?
True
Let r be (-26)/(-8) - 3/12. Suppose -2*n - r*k = -k - 18, -2*n = k - 13. Suppose q = -n*s + 12, q + 5*s = -q + 21. Is 8 a factor of q?
True
Suppose 4*p = 3*p - 48. Let a = p - -185. Let y = a - 92. Is y a multiple of 15?
True
Let m(n) = -3 - n**3 - 4*n + 1 + 7*n**2 - 3*n + 0. Suppose -28 = -0*t - 4*t - 2*k, 0 = 3*t + 2*k - 23. Is m(t) a multiple of 13?
True
Let h(f) = 68*f**2 + f. Let b be h(1). Suppose -13 = 4*k - b. Suppose 0 = 2*u - u - k. Is 5 a factor of u?
False
Let v(g) = 14*g + 1. Let u(f) = -5*f - 15. Let c(j) = j. Let d(w) = -6*c(w) - u(w). Let t be d(13). Does 15 divide v(t)?
False
Suppose 4*i - 5*b - 271 = 0, 6*i - 3*b - 135 = 4*i. Let p = -56 + i. Is 4 a factor of p?
False
Suppose 2*f = 2*y + 4*f - 82, -4*f - 20 = 0. Suppose y = k - 49. Is k/2 + 5/10 a multiple of 10?
False
Let n be 2/4 - 7/(-14). Let t(u) = 2*u**3 + u**2 + u - 1. Let g be t(n). Suppose 0 = -g*v + 11 + 10. Is 6 a factor of v?
False
Suppose -47*q = -40*q - 2464. Does 32 divide q?
True
Let k be -11 - (-2)/(-1)*-1. Is 8 a factor of ((-12)/k)/((-6)/(-72))?
True
Suppose 3*g = -s - 2*s - 6, s = -2*g - 6. Let d(k) = 4*k + 6*k**2 + 4 + k**s - 1. Is 18 a factor of d(-3)?
True
Suppose 0 = 6*n - 14*n. Suppose 48 = -n*y + 3*y. Does 8 divide y?
True
Suppose 12 = 2*g - 2*s, 3*g + s = -2*g + 60. Let j = -11 + g. Suppose 3*h - h = j, -4*h - 70 = -p. Does 15 divide p?
False
Let b(n) = -n**3 - 32*n**2 - 8*n - 28. Let j be b(-32). Let m be 5*-2*1/(-2). Suppose -u - j = -m*u. Is 25 a factor of u?
False
Let p be 1178/8 - 1/4. Suppose 39 - p = 4*j. Is ((-16)/12)/(3/j) a multiple of 4?
True
Let o(i) = -i + 11. Let a be o(11). Suppose -5*v + 450 = 3*d + 2*d, a = -d + v + 82. Is 10 a factor of d?
False
Does 14 divide 870/116*56/5?
True
Is 17 a factor of 5/(-3)*11781/(-165)?
True
Let q(b) = b - 2. Let r be q(5). Suppose -r*o = -u - 469, -o - u + 311 = o. Is o a multiple of 52?
True
Let v = 38 - 41. Let r(c) = -11*c**3 + c**2 - 5*c + 1. Let x(b) = 6*b**3 - b**2 + 3*b - 1. Let k(w) = 4*r(w) + 7*x(w). Is k(v) a multiple of 20?
False
Let u be (5 - (0 - -2)) + -5. Is 17 a factor of (-8)/(0 - (u + 48/20))?
False
Suppose 4*w - 4*h = 16, h + h = 4. Suppose 3*c + 24 = 2*d - w, 0 = -3*d - 4*c + 28. Is d a multiple of 4?
True
Let c(s) = 2*s**3 - 12*s**2 + 3*s + 6. Let w be c(6). Suppose -w*n + 15*n + 567 = 0. Is 9 a factor of n?
True
Suppose d + 37 = -5*x, 2*d + 2*x + 31 + 3 = 0. Is (-3)/(-2) - 54/d a multiple of 2?
True
Let i(j) = 4*j**3 + 2*j**2 - 5*j - 7. Let m be i(3). Suppose 0 = -l - 2*o + m, 3*l = 4*l - 4*o - 86. Is 13 a factor of l?
False
Let z(q) = 5*q**3 + 7*q**2 + 2*q + 15. Does 35 divide z(4)?
True
Suppose 0*d - 2*d - 3*n + 8 = 0, d - 4*n = -7. Let i be -4*11 - d - -3. Is 17 a factor of (i/(-4) + -2)*2?
True
Suppose 0 = 3*d + 3, 1 = 3*w - 3*d - 2. Suppose w = 5*k - 30. Suppose -m + 5 + k = 0. Does 3 divide m?
False
Suppose -13*a = -17*a + 32. Suppose a*r - 355 = 341. Is 6 a factor of r?
False
Suppose -3*o = 3*y - 12, -4*y + 14 = 2*o - 0*o. Suppose 41 = s + 4*s + v, -y*v = -2*s + 13. Is s a multiple of 4?
True
Suppose 8 = 5*y - 7. Suppose 0 = 4*p - 4*u + 24, -38 = 5*p - 0*p + y*u. Let z(q) = -q**3 - 5*q**2 + 6*q. Is 27 a factor of z(p)?
False
Let o be (4/14)/(2/14). Let w be o/((-8)/12) - -5. Suppose 5 = a + w*r, 2*a = 4*r + 10 - 0. Is 3 a factor of a?
False
Let g = 371 - 204. Is g a multiple of 26?
False
Let g be (-30)/40 + (-162)/8. Is (-624)/g + (-2)/(-7) a multiple of 6?
True
Let q(j) = j**3 + 5*j**2 + 4*j + 4. Let r = 5 + -3. Suppose -r*i = -6*n + n - 9, 3*n - i + 6 = 0. Is q(n) a multiple of 5?
True
Suppose -t + 3*t = -5*x + 209, 5*t + 4*x = 531. Suppose -2*i + t = -17. Does 13 divide i?
False
Let t be (-118)/(-10) + 7/35. Suppose a = -3*a + t. Let b(v) = 4*v**2 - 5*v - 1. Is 10 a factor of b(a)?
True
Let p(n) = 73*n + 65. Is p(5) a multiple of 29?
False
Suppose 0 = 2*d, -2*d = 29*n - 24*n - 2760. Is n a multiple of 28?
False
Suppose i - 6 = -1. Let l(j) = j + 17. Is 5 a factor of l(i)?
False
Let c(x) = x - 7. Let r be c(13). Suppose 0 = -12*d + r*d + 744. Does 20 divide d?
False
Let d(t) = -t**3 + 20*t**2 + 4*t + 25. Does 21 divide d(20)?
True
Let f(x) = -47*x - 177. Does 4 divide f(-5)?
False
Let q = 8 + 3. Suppose w = 5 + q. Is 7 a factor of w?
False
Suppose 0 = -9*j + 8*j + 27. Is 3 a factor of j?
True