s j a multiple of 74?
False
Suppose -5*n - 71934 = -6*w, 15*n - 14*n = -2*w + 23962. Is w a multiple of 56?
True
Let k(u) = 4 - 6*u - 2 + 10*u - 5*u - 4*u**2. Let d be k(-2). Is 3 a factor of (-54)/d*(-10)/(-3)?
True
Let o be ((-2)/4)/((-2)/(-404)*-1). Let i = o + -59. Does 21 divide i?
True
Let t(g) = 14*g**2 + 45*g + 49. Is t(32) a multiple of 33?
False
Let f = -10 - -38. Suppose -f*h = -36*h + 832. Is h a multiple of 2?
True
Let u(k) = k**3 - 13*k**2 - 12*k + 31. Let j be u(14). Suppose -j*q + 64*q = 0. Suppose 2*o - 3*l = -q*o + 380, -2*l = o - 204. Is 34 a factor of o?
False
Suppose -9*o - 2*m = -10*o + 3780, -2*o + m + 7545 = 0. Is o a multiple of 58?
True
Let m = -69 + -39. Let d = m - -73. Does 2 divide (14 - 15)/(d/(-18) - 2)?
True
Suppose 2*h + 5 = -5*i, 4*h + 3*i + 7 = 4. Suppose -4*w - 2*w + 4290 = h. Is 13 a factor of w?
True
Let g = 15296 + 8674. Is g a multiple of 102?
True
Suppose 12 - 5939 - 2043 = -2*n. Is n a multiple of 53?
False
Suppose 87 = 4*m - 3*k, 3*k + 12 = 7*k. Suppose 5300 = m*r - 484. Does 27 divide r?
False
Suppose -53*g = 11*g - 377856. Does 16 divide g?
True
Suppose t + 1406 = j, -4*t + 2800 = -7*j + 9*j. Is 16 a factor of j?
False
Suppose 2*d - 11464 = 21*h - 18*h, 0 = -2*d + 5*h + 11468. Does 12 divide d?
False
Let q(b) = -6*b - 2*b**2 + 12*b + 4*b + 4*b**2 + 8. Let f = -397 - -387. Is 9 a factor of q(f)?
True
Is (-7284)/(-3) + -15 + 12 + -5 a multiple of 121?
True
Let w(z) = 7*z**2 - 68*z + 49. Let b be w(35). Does 18 divide b/14 - (-2 - (1 + 1))?
True
Let g(h) be the first derivative of h**4/4 + 6*h**3 + 9*h**2/2 + 18*h - 69. Does 21 divide g(-14)?
False
Let c be 7/(-14) - (-1890)/12. Let o = -216 - -114. Let f = c + o. Is f a multiple of 17?
False
Let k(q) = -q**3 + 63*q + 6237. Is k(0) a multiple of 21?
True
Suppose 5*d + 3*k - 93 = 179, -4*d = -2*k - 222. Let o be -1 + 5 - (0/1)/(-1). Suppose 3*s - 10 - 5 = 0, a - d = o*s. Does 26 divide a?
False
Suppose 2*w = 6, -5*w = m + m - 21. Suppose 5*k + 8 = h, 3*h + 0*k - 6 = -3*k. Is 13 a factor of m + 417/h + 7 + -9?
False
Let b = -2113 - -2964. Is 29 a factor of 28 + -29 - b*-1?
False
Let c = -914 - -2337. Is c a multiple of 84?
False
Suppose -3*j + 45807 = -3*y, -171*y = 2*j - 169*y - 30550. Is j a multiple of 23?
True
Is 22 a factor of (-1 - 646)*(-24 + 14 + 5)?
False
Let l = -133 - -135. Suppose k + x + 26 = l*k, 4*x - 144 = -4*k. Is 5 a factor of k?
False
Let i = -498 + 948. Let z be 8/6*(-3)/(-2). Suppose i = 7*y + z*y. Is y a multiple of 41?
False
Let k be 130/18 - 1 - (-106)/(-477). Suppose 5*u + 10 = 0, u - k + 188 = 2*j. Is j a multiple of 6?
True
Let j(n) = -13*n**2 + 8. Let u be j(-4). Let m = u + 490. Is m a multiple of 5?
True
Suppose 0 = -3*m + 24 - 9, -4*g - 4*m = -684. Let u be (-1 - 1384)*(-2)/(7 - -3). Let f = u - g. Is 17 a factor of f?
False
Suppose -52*j + 477347 = 51467. Is j a multiple of 13?
True
Suppose 5*w - 30 = -2*b, b - 3*b + 6 = -w. Suppose 2*k = -s + k + 2, 0 = 2*s - b*k + 10. Suppose m = -0*y - y + 54, s = 2*m - 5*y - 129. Is 5 a factor of m?
False
Suppose 5*n - 5 = 5*w - 70, -w - n + 5 = 0. Suppose 0 = 4*l - c - 576, -42*l + 45*l - 432 = 2*c. Suppose -w*v + l = -8*v. Does 12 divide v?
True
Let f(l) be the second derivative of -l**5/20 + 5*l**4/4 - 8*l**3/3 + 21*l**2/2 - 15*l. Let x be f(14). Let i(g) = -4*g - 3. Is 25 a factor of i(x)?
True
Suppose x + 2 = -2*p, 4*p + 2*x + 2 = x. Suppose -2*k + 8 = -0*k, p = -2*w - 4*k + 1464. Is 16 a factor of w?
False
Let p = 192 + -102. Suppose p = 6*i + 6. Is 14 a factor of i?
True
Is 4 a factor of (-2790)/(-12)*(32/(-24) - -4)?
True
Suppose 0*m - 40547 = -3*c - 4*m, -7*c = 5*m - 94588. Is c a multiple of 21?
False
Let j(q) = 42*q**2 + 8*q - 7. Suppose -3*l = -4*a - 9, -2 = a + 4*l + 5. Is j(a) a multiple of 14?
False
Let x(g) = 18*g + 58. Let d be x(7). Let s = d + 13. Does 9 divide s?
False
Let q be (-2 - (-8)/2)/((-28)/(-294)). Let p = -14 + q. Suppose -2*c = -4*r - p*c + 212, 5*r - 4*c - 224 = 0. Is 12 a factor of r?
True
Let x = 11 - 7. Suppose x*o + 12512 = 27*o. Is o a multiple of 40?
False
Suppose -631 = 10*n - 6191. Let g = n - -200. Does 36 divide g?
True
Suppose -32 = 4*b - 12*b. Let m be 10/b + (-2)/12*3. Suppose m*n = 36 + 12. Is 8 a factor of n?
True
Let y = -468 - -471. Does 18 divide y*(-10351)/(-99) + 4/3?
False
Suppose 0 = -5*z + 3*z + 3*u + 4302, -2*u = 0. Is z a multiple of 16?
False
Let x be -2*((-100)/(-8) + -7). Let w(f) = -f**2 - 19*f - 18. Does 16 divide w(x)?
False
Let i(z) = -2*z - 15. Let r be i(2). Let w(d) = -148*d + 20. Let u be w(r). Suppose u = -2*t + 14*t. Does 32 divide t?
False
Let n(c) = -c**2 - 8*c - 8. Let w be n(-6). Does 15 divide (-1*w)/(1/(15*-10))?
True
Let o(v) = 5705*v**2 + 347*v - 701. Is o(2) a multiple of 7?
True
Let q = -191 + 399. Let o = -164 + q. Is 7 a factor of o?
False
Suppose -13*q + 38 = -1. Let d be (-2 - q)/(-3 + 4). Let v(a) = -7*a + 21. Does 6 divide v(d)?
False
Let n(j) be the second derivative of -j**3/6 + 8*j**2 - j. Let p be 3/4 - (-7979)/(-404). Is 20 a factor of n(p)?
False
Suppose -3*s + 0*h + 173 = 5*h, 3*s - 181 = -h. Let k be 44 + 2 + -2 + 1. Let m = s - k. Is m a multiple of 4?
True
Let s be (-21*(-6)/(-8))/((-30)/240). Suppose s = 2*u - 2*z, -3*u + 0*z + z = -183. Is u a multiple of 10?
True
Suppose -2*n + l = 2187, -3*n - l - 1089 = -2*n. Let u = -522 - n. Suppose -2*g + 564 = 4*h, -g = 4*h - 2*g - u. Is 29 a factor of h?
False
Does 97 divide (255/20)/(2229/8880 - 2/8)?
False
Suppose -2*z - 6*g = -4*g - 16118, 0 = -2*z - 4*g + 16122. Is z a multiple of 5?
False
Let u(z) be the first derivative of -26 - 5/2*z**2 - z. Does 7 divide u(-3)?
True
Let v(w) = -77*w - 29. Let g be v(-6). Suppose -448*o = -g*o - 12345. Is o a multiple of 70?
False
Suppose 4*d + 2*d = 0. Suppose f - v - 63 = 0, d = f - v + 2*v - 61. Does 4 divide f?
False
Let k = -392 - -540. Suppose k*t - 4374 = 142*t. Is t a multiple of 17?
False
Let v be (-4)/18 + 10790/117. Let x = v + -61. Suppose 30*d = x*d - 44. Is d a multiple of 11?
True
Let x(s) = -s - 1. Let z be x(-3). Let j be 4 + (z - -3) + -4. Suppose -l + j*i + 12 = l, 0 = -5*l + i + 76. Is l a multiple of 8?
True
Let w(y) = -2*y**2 + 314*y - 1079. Is w(130) a multiple of 6?
False
Suppose 5*i - 2*o - 14 = 0, 3*i - 4 = 2*i + o. Suppose 19*f = -i*f + 1512. Is f a multiple of 39?
False
Let q(m) = -8*m**3 + m**2 + 12*m. Let u(c) = -15*c**3 + 3*c**2 + 24*c - 1. Let g(o) = 7*q(o) - 4*u(o). Is 22 a factor of g(4)?
True
Suppose 0 = 4*u + 24*u + 280. Does 10 divide (-1704)/u + 28/(-70)?
True
Let c = 131 + -461. Let h be (-1)/(2 + -4) - c/4. Let g = -33 + h. Is 25 a factor of g?
True
Is -5 + 3 - (-7 - 5012/1) a multiple of 29?
True
Let y = -297 + 123. Let l = y + 183. Is 6 a factor of l?
False
Let m(w) = w**3 + 6*w**2 - 6*w + 11. Let g be m(-7). Suppose g*v = -4*s + 932, -s + 21 + 215 = -2*v. Is 9 a factor of s?
True
Let i be (-1 - -5) + (12/1 - 1). Let k(l) = -l**2 + 18*l + 34. Is k(i) a multiple of 7?
False
Let v = 835 - 849. Let o(r) = -43*r - 159. Does 22 divide o(v)?
False
Let c(i) = 5*i - 41. Let t be c(8). Let v(j) = 111*j**2 + j + 1. Does 3 divide v(t)?
True
Let w be 273*(200/12)/(-10). Let c = -299 - w. Is 7 a factor of c?
False
Suppose -5*s = -72 - 198. Suppose s = 8*h - 2*h. Suppose -h*x + 312 = -x. Does 13 divide x?
True
Let s(f) = f**3 + 32*f**2 - 22*f + 22. Is s(-31) a multiple of 16?
False
Suppose 4*a - 5*s = -9*s + 15008, 0 = s. Is 134 a factor of a?
True
Let s = 29152 + -13023. Is s a multiple of 33?
False
Suppose 7*x - 1227 = 3*l + 4*x, 3*x = -4*l - 1636. Let t = -105 - l. Is t a multiple of 16?
True
Let k(p) = 7*p. Suppose 0 = 10*h - h. Let v be k(h). Suppose 8*c - 13*c + 660 = v. Is c a multiple of 26?
False
Suppose -3*t + 0*r + 16 = -4*r, -5*t = -3*r - 12. Let b(m) = 3*m**3 + 140 - 12*m + 10*m - 3*m**3 + m**3. Is b(t) a multiple of 20?
True
Suppose 7*b = -10*b - 1547. Let q = -62 - b. Is 8 a factor of q?
False
Let c(h) = h**3 + 3*h**2 - 8*h + 2. Let s be (4/8)/1 + (-3)/(-2). Let r be ((-3)/(-9))/(s/(-24)). Is c(r) a multiple of 6?
True
Suppose 3*t + q + 4*q - 44 = 0, 4*t + 4*q = 56. Suppose 6*r = 5 + t. Suppose 375 - 9 = r*m. Is 15 a factor of m?
False
Suppose -2*n + 20 = 3*n + d, 0 = 4*n - 3*d - 35. Is 1231/n + 4*6/(-120) a multiple of 41?
True
Suppose 241 = p + 2*q, -4*q - 9