 8 = 0. Suppose -z + b*d = -21, -5*d - 90 = -o*z - 0*d. Is z a multiple of 4?
False
Let o = 7722 + -5405. Is o a multiple of 25?
False
Let h be 114/209 - (-14002)/22. Suppose n - 3*r - 467 = h, 0 = -2*r - 8. Is n a multiple of 39?
True
Let g(f) = 10*f + 22. Let z be g(-3). Is 78 a factor of ((-19010)/z)/((-15)/(-12))?
False
Suppose -f - 7 + 11 = 0. Suppose 0 = 4*p - f*t - 424, 246 = -5*p + t + 780. Does 15 divide p?
False
Let c(l) = -l**3 + 45*l**2 + 24*l + 210. Is 35 a factor of c(40)?
True
Let t(a) = 91*a - 176. Let f = 8 - -8. Is 40 a factor of t(f)?
True
Suppose -4*o + 2*c = 2014, -2*o - 1257 = -5*c - 238. Let f = o - -246. Let a = f + 400. Does 36 divide a?
True
Suppose z - 2*f = 2*z - 2, 4*z - 5*f = -5. Let q be (1 - -4)*(-81)/9. Let b = z - q. Is b a multiple of 20?
False
Let l be 1502 - 6/(-2 + -4). Let t = l + -859. Does 23 divide t?
True
Suppose -3*v = 2*v - 5*c + 930, -2*v - 384 = 2*c. Let o = v + 329. Suppose 0 = -0*a + 2*a - o. Does 10 divide a?
True
Let z(o) = 2*o + 18. Let r be 16/(-6) + 2 - 214/(-6). Suppose 3*m - 17 = -0*p - p, 0 = -3*p - m + r. Does 8 divide z(p)?
True
Suppose 0 = -42*b - 168022 + 1082362. Does 14 divide b?
True
Suppose -6*f = 3*g - 3*f - 63, 69 = 4*g - f. Let l be 8*6/4*(-9)/g. Let b(r) = 2*r**3 + 15*r**2 + 13*r + 7. Is b(l) a multiple of 7?
False
Let h(x) = -4*x**2 + 568*x + 492. Is h(79) a multiple of 10?
True
Suppose 82 - 6 = 4*o. Suppose -r + 4 + 1 = -b, -b + 1 = r. Suppose 4*h + 0*c + r*c - 103 = 0, h - o = -3*c. Is 14 a factor of h?
True
Suppose 17*u - 28*u - 99 = 0. Let x be (-6)/(-9) - (-6)/u. Suppose -29*p + 26*p + 252 = x. Is 14 a factor of p?
True
Does 3 divide 57897/117 - (-2)/13?
True
Let w(x) = 1479*x + 452. Does 25 divide w(6)?
False
Let y be (22/(-6))/((44/(-561))/4). Let l = y + -121. Does 6 divide l?
True
Suppose 0 = 3*p + 2*f - 8, -3*f + 2*f + 6 = 2*p. Suppose p*x + 0*x + 136 = 0. Let i = x - -86. Is 26 a factor of i?
True
Let k = -77385 + 110065. Is k a multiple of 95?
True
Suppose -247*y = -252*y - 16175. Let x = y + 4803. Does 13 divide x?
False
Suppose -16*g - 652 + 3692 = 0. Suppose -5*l + m = -175, 5*l = -0*m - 2*m + g. Does 6 divide l?
True
Let i = -109 + 311. Suppose -6*w = -1318 + i. Is 31 a factor of w?
True
Let x = 1635 - 686. Suppose -3*m - 310 = -x. Is m a multiple of 5?
False
Let p(q) = q**3 + 6*q**2 - 7*q - 9. Let u be p(-7). Let h(o) = -34 - 15*o + 7 - 2*o. Is 21 a factor of h(u)?
True
Let u be (50/(-15))/(-2 - 141/(-72)). Let n = -80 + u. Does 11 divide (132 - 7 - (n - -1)) + 2?
False
Let s be (-18)/(-1)*(-2)/(-1 + -1). Let p = s - -264. Is 35 a factor of p?
False
Let l(n) be the first derivative of n**4/4 - 13*n**3/3 + 19*n**2/2 - 34*n + 76. Is l(12) a multiple of 26?
False
Let u(h) = h**3 + 15*h**2 + 18*h - 16. Let v(t) = 2*t**3 - 8*t**2 + 4*t - 2. Let p be v(3). Does 24 divide u(p)?
True
Suppose 12 = -0*m + 3*m. Suppose 2*q - m*q = 0. Let l = q - -54. Is 18 a factor of l?
True
Let n = -257 + 263. Suppose -j = -n*j + 460. Is 17 a factor of j?
False
Let d = -1631 + 1989. Is 2 a factor of d?
True
Let a = 24 - 42. Is 70 a factor of (-4 - 192/a)*21?
True
Suppose 9 = -3*k, -3*u = u - k - 83. Suppose 5*d - 23*y - 1757 = -u*y, 3*d - y = 1051. Is 14 a factor of d?
False
Let p be 26/(-143) + 1/(33/7035) - -7. Suppose -28 = -2*a - 4*k, k = -a + 6 + 5. Is 3 a factor of (2/a)/(5/p)?
False
Let f be 7*4/16*212. Let r = 388 - f. Is r a multiple of 5?
False
Let y(o) = 33*o**3 - o**2. Let w be y(1). Suppose 41 - 6 = 4*n - 5*r, -2*r = n + 1. Suppose i - w = l + 2*l, 5*i = n*l + 160. Is i a multiple of 16?
True
Let g(i) = 2*i**3 + 5*i**2 - 17. Let x be g(8). Suppose 7*h - x = 17. Does 16 divide h?
True
Let b = -535 + 551. Suppose 10*x + 1248 = b*x. Is x a multiple of 52?
True
Let k(z) = z**2 + 17*z - 15. Let y be k(-8). Let v = y + 403. Is 32 a factor of v?
False
Let s(v) = 6*v - 9. Suppose -l + 3 = 0, -7*b + 4*b = l - 30. Suppose 2*w - 5*w + b = -x, -3*x = w - 13. Is s(w) a multiple of 7?
False
Let i(r) = 64*r**2 + 361*r + 172. Is 178 a factor of i(-21)?
False
Let c(q) be the third derivative of -q**4/24 + 71*q**3/6 - 157*q**2. Let n(u) = u + 2. Let p be n(-2). Does 27 divide c(p)?
False
Let k(q) = 79*q**2 - 3*q + 12. Let y(t) = 2*t - 1. Let f(g) = k(g) + y(g). Is f(4) a multiple of 41?
True
Let g = 3569 + 13369. Is g a multiple of 60?
False
Suppose 15788 = h - 2*g, -h + 25377 - 9577 = 4*g. Does 91 divide h?
False
Let f = 161 - 161. Suppose f = -t + 5, -4*y + 0*t + 727 = 3*t. Does 46 divide y?
False
Let j be (-8912)/(-15) + 140/(-1050). Let x = j - 558. Is 6 a factor of x?
True
Suppose -19 - 11 = -5*j. Let v(m) = -m**3 + 4*m**2 + 15*m - 6. Let x be v(j). Does 7 divide (-284)/(-6) - 4/x?
False
Let l = -119 + 76. Let f = l + 47. Suppose -3*q - f*s + 81 = -s, -127 = -5*q + 3*s. Is 26 a factor of q?
True
Suppose -19 = -8*x + 21. Suppose 3*g = -x*a + 1775, a = -3*g + 238 + 1557. Does 15 divide g?
True
Suppose -7*y + 16185 = -2*y. Suppose -y - 867 = 6*p. Is 2 + p/(-52) + 2/(-13) a multiple of 15?
True
Suppose -69 = 11*p + 52. Let o be 1/(1 - (-10)/p). Suppose -o*r + 59 = -62. Is r a multiple of 10?
False
Let d be 80/9 - 9/(-81). Suppose -m = -d*m + 584. Is m a multiple of 9?
False
Let s be 313/(2 + -1)*1. Suppose 0*l = -3*n - 2*l + 252, -4*n = -5*l - s. Let p = 91 - n. Is p a multiple of 9?
True
Let m(w) = 4*w**3 - 9*w - 7. Let q be m(-3). Is (84/(-22) - (-16)/q)*-87 a multiple of 17?
False
Suppose 261*l - 253*l = 343368. Is l a multiple of 19?
True
Let v(m) = 23*m**2 + 36*m + 12. Does 26 divide v(-6)?
True
Let q(f) be the first derivative of f**3/3 - 2*f**2 + f + 8. Let d be q(4). Is 3 a factor of 1683/54 - (2/12)/d?
False
Let j(w) = -314*w + 4870. Is j(-7) a multiple of 124?
True
Let c(n) = n**2 + n + 53. Let i be c(0). Suppose -3*f + 5*r - i = -461, 2*f + 5*r = 297. Suppose 2*t + 198 = 4*b, 3*b + 0*b + t = f. Does 14 divide b?
False
Let j = 3612 - 801. Suppose 0 = -5*z + j - 296. Is 21 a factor of z?
False
Suppose -5*b - 2*o + 1081 - 264 = 0, -b = -2*o - 173. Suppose 7*a - 499 = -3*w + 2*a, -3*a + b = w. Is w a multiple of 42?
True
Let s be (-4)/(-10)*1265/22. Let c = -27 + s. Is 12 a factor of 6/(c - (-147)/36)?
True
Let i = 2904 + -1544. Suppose 13*z - 70 = i. Suppose -115*b + 420 = -z*b. Is 7 a factor of b?
True
Suppose 0*o = 3*o - 3*l - 6, 5*o = 4*l + 10. Let t be ((-48)/(-36))/(o/354). Suppose 2*x - t = 3*r, 5*x - 2*r - 564 = -r. Does 49 divide x?
False
Let w = 52 + -30. Let p be (w/(-4))/11*(2 + -2). Suppose p = -15*y + 5*y + 190. Is y a multiple of 4?
False
Let k = -7955 - -23665. Is 67 a factor of k?
False
Let z = -477 - -525. Suppose 5*a - 1089 = 3*j + j, 4*j + 4 = 0. Suppose -5*o + a = -z. Is o a multiple of 4?
False
Suppose 2619 = -5*n + 9654. Let a = 1982 - n. Is a a multiple of 25?
True
Let k be (4/(-8) - -1)*0. Suppose 3*i + 0 + 3 = k, -5*f + 5*i + 35 = 0. Does 25 divide (f - -4)/(1/6)?
False
Let q(z) = -z**3 - 7*z**2 + 32*z + 18. Let w be q(-14). Suppose -42*o + 44*o - w = 0. Is o a multiple of 36?
False
Does 18 divide (11 - 102373/(-46))/(3/36)?
True
Let z(n) = 283*n**2 - 2*n + 92. Is 17 a factor of z(6)?
True
Suppose 13*f + 98464 = 580673. Is 49 a factor of f?
True
Let p = 5773 + -8562. Does 21 divide p/(-7) + (810/70 - 11)?
True
Let d be ((-2)/(-6))/(2/24). Suppose -3*h = -k - 12, 0*h = d*k - h - 7. Is (-1)/(-2 + 3) + (k - -10) a multiple of 12?
True
Let r(v) be the second derivative of 17*v**3/2 + 79*v**2/2 + 47*v. Does 13 divide r(19)?
False
Suppose -260 = 4*a - 3*h - 1168, 4*a + 4*h - 936 = 0. Suppose -2*t + 370 = -a. Is t a multiple of 25?
True
Let i be (2740/80)/((-1)/(-4)). Let a = i - 182. Does 8 divide a/4*32/(-3)?
True
Let y = 941 + -203. Let r(g) = g**3 + g + 36. Let l be r(0). Does 6 divide 2*(-2)/(-8) + y/l?
False
Suppose -38*a = -42*a + 5*l + 4249, -5324 = -5*a + 2*l. Does 82 divide a?
True
Suppose -5*j + 7*j - 25136 = 0. Does 90 divide 56/196 - (j/(-14) + -2)?
True
Let o(g) be the first derivative of -21*g**2/2 - 41*g + 64. Is o(-18) a multiple of 33?
False
Let c(h) = -2*h**2 - 18*h - 20. Let m be c(-9). Does 14 divide 4490/40 + ((-35)/m)/(-7)?
True
Suppose -y + 36 = -4*l, -5*y - 84 = -7*y + 2*l. Is (5*(0 + 1))/(2/y) a multiple of 22?
True
Suppose -4*d + 5*x = -60364, -4*d + 12821 + 47555 = -2*x. Does 51 divide d?
True
Let i(l) = l**3 - 22*l**2 - 32*l + 6