 multiple of 35?
False
Let g(x) = -11*x**2 + 8*x + 39. Let o be g(-7). Let s = 680 + o. Is 13 a factor of s?
False
Let g be (-476)/168 - (-1)/(-6). Does 23 divide g/(24/20) - (-437)/2?
False
Let x(r) = -7 - 14 + 17*r**2 + 6 + 3*r + 0 + 26*r**3 - 27*r**3. Suppose -39 = -w - l - 17, -4*w + 4*l + 48 = 0. Is 12 a factor of x(w)?
True
Suppose -83*d - 11872 = -97*d. Let b = d + -524. Does 12 divide b?
True
Suppose 0 = -105*b + 57610 + 60620. Is b a multiple of 9?
False
Let l(d) = d**3 + d**2 - 2*d + 47. Let j be l(0). Let m = j - -363. Does 13 divide m?
False
Is 14 a factor of (497850/125 - (-1)/10*2) + -5?
False
Let b be -2*55/30 + (-1)/3. Let k be 2/b*0/5. Suppose k = -2*q + 99 + 73. Is 7 a factor of q?
False
Is 1/(-1)*(186548/(-18) - 394/1773) a multiple of 10?
False
Let n = 70 - 68. Suppose n*o + o - 90 = 0. Suppose -o*x + 29*x = -25. Is x a multiple of 10?
False
Does 20 divide -149*(54/180 + 1/5)*-40?
True
Suppose 102*h - 66599 = 257842 + 14199. Is h a multiple of 204?
False
Suppose -143*a = -145*a + 4370. Is a a multiple of 23?
True
Let u(q) = -q**2 - 56*q - 38. Let w be u(-24). Let j = w + -436. Is 14 a factor of j?
True
Let g(v) = 12*v + 235. Let q be g(-26). Let r = 896 + q. Does 21 divide r?
True
Suppose -22*g = -8*g - 28. Suppose 9*h - 378 = g*h. Does 8 divide (-12)/h + (-724)/(-18)?
True
Does 324 divide 196724/10 - (-168)/(-420)?
False
Let f = -57 - -98. Let u = f - 39. Suppose 0 = h + w - 32 - 27, 0 = u*h - w - 106. Does 11 divide h?
True
Let h = -4860 - -8602. Does 17 divide (-1)/5 - h/(-10)?
True
Suppose -12*w + 2916 = -348. Let h = w + -235. Does 10 divide h?
False
Let f = 22437 - -4887. Is 14 a factor of f?
False
Is 7 a factor of (-2)/19 - 1385552/(-2128)?
True
Let x = 1153 - 615. Suppose 70 = -4*n + x. Is n a multiple of 13?
True
Suppose 0 = 3853*n - 3845*n - 17072. Does 9 divide n?
False
Let c = 51 + 47. Let u = 93 - c. Let w(v) = -23*v - 8. Is 26 a factor of w(u)?
False
Suppose -555 = -20*l + 15*l. Let h = l + -139. Let u = h + 49. Is u a multiple of 5?
False
Let b = -30 + 35. Suppose 5*q = 5*i - 46 - 29, i + 45 = -b*q. Let l = q + 38. Does 8 divide l?
False
Let y be (-4 - 20/(-3))*2223/6. Is (3/(-12))/((-13)/y) a multiple of 11?
False
Let a(w) = w**3 - 39*w**2 - 275*w + 125. Does 5 divide a(49)?
True
Suppose 5*c = -2*f + 25761, -5*c - 16 = 19. Is 14 a factor of f?
False
Let t(w) = 138*w. Let o be t(1). Let l = o - 92. Is l a multiple of 23?
True
Let u(y) = -y**2 + 225*y - 5020. Is 24 a factor of u(27)?
False
Suppose 0 = -9*d + 9. Suppose 0 = 9*m - d - 17. Suppose 112 = 3*g + m*y, -5*g + 2*y + 2*y = -216. Does 7 divide g?
False
Let h be 18/12 + (-421)/2. Let k be (-38)/h + (-2)/11. Suppose k = 4*z + 20, -q + 5 = 3*z - 23. Does 8 divide q?
False
Let t(i) = i**2 + 2*i - 18. Let w = 72 + -56. Suppose -z + w = z. Does 14 divide t(z)?
False
Let y be (99/44)/((-2)/8). Is (y/6)/(-6 + 612/104) a multiple of 11?
False
Let w = -3610 - -6562. Is 14 a factor of w?
False
Suppose 0 = -48*f + 51*f - 1383. Let d = -95 + f. Is d a multiple of 66?
False
Let h(l) = 27 + 8501*l**2 - 7*l - 8499*l**2 - 5*l. Is h(19) a multiple of 8?
False
Let c(a) = 747*a**3 - a**2 + 5*a - 3. Let w(i) = 8*i - 39. Let f be w(5). Does 21 divide c(f)?
False
Let k(q) = -34*q + 156. Let g be k(-27). Suppose 0 = 28*d - 3314 + g. Is 16 a factor of d?
True
Suppose -u + k + 334 = 0, 2*u - 45*k = -48*k + 663. Is 9 a factor of u?
True
Suppose 0 = 5*h - 2*k - 15, 6*h = 10*h - 3*k - 5. Suppose 0 = 3*o - 3, -h*u - o = -677 + 36. Is 4 a factor of u?
True
Suppose 5*q = 3*h - 473, 2*h - 4*h + 3*q = -317. Let c = -19 - -61. Suppose c = -w + h. Is w a multiple of 31?
True
Suppose 5*t + 0*t = -4*q + 27985, 5*q = 3*t + 35009. Does 125 divide q?
True
Let a = 154 + 1379. Is 26 a factor of a?
False
Let p(v) be the third derivative of 30*v**2 - 1/6*v**4 + 0*v + 2*v**3 + 0. Is p(-11) a multiple of 4?
True
Suppose 5*o = -v - 3229, -1114 + 4340 = -5*o - 4*v. Let d = o - -1356. Is d a multiple of 35?
False
Let h(d) = -d**3 - 7*d**2 - 5*d + 5. Let b be h(-6). Let g be 6 - 1 - (26 - 22). Is b/2*g*-16 a multiple of 3?
False
Suppose -5*b + 315492 = 4*u, 4*b - 4*u - 290929 = -38485. Does 29 divide b?
True
Suppose -4*j = 5*n - 441, 3*j - 292 = -4*n + 60. Let m = 90 - n. Is ((-254)/8)/(m/(-20)) a multiple of 7?
False
Suppose 4*k = -2*i + 26, k = 2*i - 3 + 2. Let t(u) = 17*u**3 + u**2 - 2*u + 13. Does 19 divide t(i)?
True
Let z = -259 - -226. Is 27 a factor of (11/z)/(1/(-243))?
True
Let p = 24 - -92. Let d(s) = s - 9. Let n be d(13). Is 26 a factor of -3 + -4 + n - p/(-4)?
True
Let j(b) = -21*b - 97. Let g be j(-5). Suppose g*u - 433 = 927. Is 85 a factor of u?
True
Let f(d) = -d**2 - 13*d + 30. Let q = 60 + -54. Let m be f(q). Let z = 96 + m. Does 7 divide z?
False
Let y be -3 - -4 - (-1 - (-2 - -571)). Suppose -5*d - 581 = -4*b, 7*b - 3*d - y = 3*b. Is b a multiple of 4?
False
Let q(b) = 7 - b + 9*b + 5*b**2 + 3*b. Suppose -4*d - 23 = -g, -4*g - 19 = 5*d + 36. Does 22 divide q(d)?
False
Is 6 a factor of 20/(500/(-2925))*(152/(-6) + -2)?
True
Let n(b) = 84*b**3 + b**2 - 2*b + 1. Let t be n(1). Let m be ((-24)/(-14))/(24/t). Let f = 51 + m. Is f a multiple of 19?
True
Let r = -6392 + 17634. Does 14 divide r?
True
Does 7 divide ((-66)/(-8))/(39 - (-290465)/(-7448))?
True
Let r = 75444 + -52551. Is r a multiple of 39?
True
Suppose 3198083 = 231*k - 4297405. Does 12 divide k?
True
Suppose -13 = -4*x + 3. Suppose -6*w + x*j = -w + 4, -j + 1 = w. Suppose -b + t + 38 = w, -5*t - 5 = -0*t. Is b a multiple of 37?
True
Suppose -120 = -5*h - 2*z, 6*h - 4*h - 3*z - 67 = 0. Suppose 32*l = h*l + 936. Is l a multiple of 13?
True
Let h = 17158 - 14767. Does 23 divide h?
False
Let p = 216 - 214. Suppose -p*r - 2*n = -5*r + 868, -4*r + 1150 = n. Is 28 a factor of r?
False
Suppose 0 = -61*j + 38364 + 29956. Does 11 divide j?
False
Suppose -10259 - 4871 = -17*w. Suppose j - w = -9*j. Let v = -58 + j. Is 13 a factor of v?
False
Let t(p) = -4*p - 30. Let l be t(-9). Suppose -310 + 4 = l*m. Let z = m + 135. Does 14 divide z?
True
Suppose 2*k = 3*k - 495. Suppose 0 = -2*q + 6, -12 = -14*w + 18*q - 22*q. Suppose -k = -5*u - w*u. Is u a multiple of 10?
False
Let m(b) = -5*b**3 - 4*b**2 - 15*b + 14. Let v(g) = 11*g**3 + 8*g**2 + 32*g - 29. Let w(n) = -13*m(n) - 6*v(n). Is w(4) a multiple of 4?
True
Suppose -4*d - 166 = -486. Suppose -o + 185 = -d. Is 25 a factor of o?
False
Suppose 5*n = 22*z - 26*z + 97614, -6*n = 5*z - 122019. Is 231 a factor of z?
False
Let c = 106 + 681. Let j = 1518 - c. Does 17 divide j?
True
Let h = 92 + -154. Let i = 62 + h. Is i + (127 - (4 - 3)) a multiple of 42?
True
Suppose -4*y + 32 - 4 = -4*o, -5*y = -4*o - 33. Suppose -y*v + 3*g - 72 = -741, 4*v = -2*g + 544. Is v a multiple of 46?
False
Let j = 6 + 10. Let r be j/(((-30)/(-57))/5). Suppose 0*i + 2*i - r = 0. Is i a multiple of 19?
True
Let n be (8/(-5))/((-79)/790). Suppose -n*d = -8*d - 384. Is d a multiple of 12?
True
Let f be 3/(1/(-6)*-2*9). Suppose 0 = -2*d - 3*i - 8, -5*d + 2 - 31 = 3*i. Is 29 a factor of (-4 - f)*(-14)/(-5)*d?
False
Let c = 6 + -2. Suppose c*v + b = -4, -v - 1 = -5*b + b. Let x = v - -29. Is x a multiple of 7?
True
Suppose -2*s = -4*j + 50012, 4*s - 4 = 12. Is 205 a factor of j?
True
Let q = -243 + 248. Suppose -q*c + 278 = -1972. Is 30 a factor of c?
True
Let x(a) = -2*a**2 + 20*a - 66. Let g be x(6). Is 75 a factor of 162/((-15)/g*9/5)?
False
Let a = 180 - 178. Suppose a*v - 91 = -2*u + 31, 31 = v - 5*u. Does 7 divide v?
True
Does 10 divide (794*10/(-24))/(106/(-636))?
False
Let r = 5625 + -1075. Does 50 divide r?
True
Let n(y) = -18*y + 47. Let d be n(-7). Let a = -69 + d. Does 5 divide a?
False
Suppose -v = -3*v - 2, 157 = 5*w + 3*v. Suppose -20 = -4*n + w. Is n a multiple of 3?
False
Let t(y) = y**3 + 12*y**2 + 7. Suppose 0 = v + 5, v + 77 = -4*q - 4*v. Let r be t(q). Let x = -42 - r. Is x a multiple of 40?
True
Suppose 4*g - 4*i = 80, -29*g + 2*i = -24*g - 106. Suppose 7303 = g*b + 1715. Is 8 a factor of b?
False
Is 44 a factor of (-462)/(-70)*-5*-400?
True
Let n(u) = 359*u + 8. Let d(s) = 120*s + 3. Let k(w) = -17*d(w) + 6*n(w). Suppose -4 = -3*v - v. Is k(v) a multiple of 14?
False
Suppose -14 = -3*v + 4. Suppose -3*s = -v*s + 12. Suppose 11*x = s*x + 525. Is 13 a factor of x?
False
Suppose -37*h = -49*h - 186