 - 846. Does 8 divide z(38)?
True
Suppose 27*t = 1759 + 914. Let h = t - 20. Does 4 divide h?
False
Suppose -26*i = -q - 25*i + 1284, -4*i - 2562 = -2*q. Is q a multiple of 11?
True
Suppose -1027 + 2722 = 3*z. Let m = 446 + z. Suppose 7*l = m - 192. Does 23 divide l?
False
Let s(w) = 208*w. Let x be s(2). Let y be x + (0 - -4 - 5). Suppose -5*f + 520 - 115 = 4*b, 0 = -5*f - 2*b + y. Is 17 a factor of f?
True
Suppose -4135 = 5*a + 400. Let b = -522 - a. Does 35 divide b?
True
Let w(g) = g**2 + g. Let u be w(0). Suppose u = 2*z - i - 4, z - 3*i - 2*i = 20. Suppose z = -4*c + 3*c + 233. Is c a multiple of 40?
False
Suppose -943*t = -941*t - 4842. Is t a multiple of 7?
False
Let i(k) be the second derivative of -k**4/12 - k**2/2 + 15*k. Let y be i(2). Is 8 a factor of (180*2)/y*-1?
True
Let h(q) = 3*q**2 + 7*q - 6. Let x be h(-3). Suppose -3*d - g + 1094 = x, d + g = 377 - 13. Is d a multiple of 73?
True
Let n(i) = -274*i - 39. Let k be n(-1). Let f = 667 - k. Is 11 a factor of f?
False
Let k = 121 + -101. Let s be k/2*(70/7 + -2). Suppose 4*y - 141 = v + 284, -5*v = y - s. Does 19 divide y?
False
Let d = 125 - 66. Let b = d - 52. Does 8 divide (-196)/b*(-4)/2?
True
Is 85 a factor of 18/171 - (-4)/(304/6452)?
True
Let q(n) be the first derivative of 7*n**3/3 + 5*n**2/2 + 5*n + 13. Let y be q(5). Suppose 150 = 2*j - 5*v, 0 = 2*j - v - y + 63. Does 18 divide j?
False
Let u(z) = 102*z + 1479. Is 45 a factor of u(38)?
True
Let q(d) = -24*d - 4. Let v be q(-4). Let u(r) = -2*r**2 - 40*r + 17. Let m be u(-22). Let h = v + m. Does 5 divide h?
False
Is 25 a factor of 6/(132/343453) - (-2 - 14/(-4))?
False
Is 103 a factor of (212121/(-63))/(2 + -3)?
False
Suppose -26*x - 13183 = -4031. Let u = x - -667. Does 15 divide u?
True
Suppose 20*s - 31820 - 35466 = 614. Is 21 a factor of s?
False
Let v(c) = 22*c - 111. Let f(u) = -u. Let g(a) = 4*f(a) - v(a). Does 41 divide g(-20)?
False
Let l(f) = -f**3 - 4*f**2 + 5*f - 14. Suppose -17 = 3*u + o, 5*u - 4*o + 7 = -27. Let b be l(u). Suppose -3*j + b = -14. Is j a multiple of 2?
True
Does 17 divide (2/2 - 7)*85527/(-86)?
True
Let c be 2 + 3*6/9. Suppose c*j = -4*m + 4, 0 = 2*m - 0*j - 4*j + 4. Suppose -4*w + 85 + 379 = m. Is 30 a factor of w?
False
Let w(p) = -2*p**2 + 45*p + 49. Let g(x) = 4*x**2 - 90*x - 97. Let r(f) = 4*g(f) + 7*w(f). Let a be r(19). Is a/(-4) - ((-10)/4 - -2) a multiple of 19?
False
Suppose 55*m - 9730 = 27*m + 477470. Is m a multiple of 30?
True
Let t(b) = 4*b**3 + 6*b**2 + 5*b - 2. Let d be t(-2). Is 29 a factor of 205/25 + -7 - 15836/d?
False
Let h be 27465/8 - (6 + (-188)/32). Is (-4)/(-30) - h/(-15) a multiple of 54?
False
Let y = 354 - 188. Is y/16 + 135/(-360) a multiple of 10?
True
Suppose 9*m = m + 120. Suppose -3*i = -5*z + 13 + m, 3*i = -z + 2. Suppose -2*b + 3*b = 5, -z*b = 5*q - 565. Does 18 divide q?
True
Let b = 359 - 355. Suppose -19 = -3*x - b, z + 4*x - 423 = 0. Does 31 divide z?
True
Let y(f) = -f**3 - 30*f**2 - 65*f - 2132. Is y(-50) a multiple of 61?
True
Let m = -445 - -251. Let l = m + 331. Is 25 a factor of l?
False
Let o(g) = g + 0*g + 66 - 24 - 18. Is 49 a factor of o(25)?
True
Let q be (4 - 2) + (6 - 5). Suppose -4*v + 7 = 23, -2*r + q*v = -24. Suppose -3*u - r = -357. Is 13 a factor of u?
True
Suppose 5*y = -40 + 120. Let w be 8/((y/12)/(-4)). Let i = 4 - w. Does 4 divide i?
True
Suppose -5*r + 0*f = 4*f + 311, f = -2*r - 125. Suppose 24*v = -13*v + 16 - 1015. Let o = v - r. Is 4 a factor of o?
True
Suppose -74*o = -36704 + 6660. Is o a multiple of 2?
True
Suppose 0 = -2*h + 3*y + 3117, 1557 = -109*h + 110*h - 3*y. Is h a multiple of 40?
True
Let p(h) = -20*h**3 - 8*h + 5*h - h**2 + 5*h + 2. Let s be p(-2). Suppose 6*l - s = 26. Does 22 divide l?
False
Let a be (-4)/((-16)/9)*(-20)/(-15). Is 42 a factor of 1*((-104)/a)/(-8)*93?
False
Let x = -223 + 185. Is 10 a factor of ((-6)/((-48)/x))/((-2)/152)?
False
Is -6 + 908461/37 - (0 + -5) a multiple of 72?
True
Does 2 divide 8 - 11/((-22)/160)?
True
Let k = -13051 + 14684. Does 23 divide k?
True
Let q(w) = 2*w**3 - 9*w**2 - 4*w - 2. Let b be q(5). Suppose b*p = d + 1150, -2*p - 41*d = -40*d - 770. Is 12 a factor of p?
True
Let x = 16161 - 8061. Does 122 divide x?
False
Suppose 3*u = t - 15, -9 = -5*u + 2*u. Suppose -17*z - 1715 = -t*z. Is z a multiple of 25?
False
Suppose z - 52 + 54 = 0. Let i be 23 + -27 + (1 - (-1 + z)). Suppose i = -6*k + 247 + 5. Is k a multiple of 6?
True
Let n(v) = -13*v**2 + 3*v - 5. Let t be n(3). Let p = t - -167. Suppose 6 = -3*y + p. Is 8 a factor of y?
True
Let g(l) = 24*l - 170. Let r(u) = 25*u - 172. Let p(h) = -3*g(h) + 2*r(h). Is p(4) a multiple of 13?
True
Let d = 219 - 217. Suppose v - 18 - 153 = -p, d*v + p = 343. Is v a multiple of 51?
False
Does 30 divide ((-1323)/(-84))/((-5)/(-200))?
True
Is 33 a factor of -4 + ((-7)/(630/(-20)) - (-120022)/9)?
True
Let w(l) = l**3 - 17*l**2 - 2*l + 30. Let z be w(17). Is 12 a factor of -2 - (-714)/(-15)*(z + -1)?
False
Let k(v) = -8*v - 64. Let o = 3 + 47. Suppose -6*x - o = 64. Is 5 a factor of k(x)?
False
Let a = 2226 - 2103. Does 5 divide a?
False
Suppose 2*h + 5 - 29 = 0. Is -220*(-1)/1*h/24 a multiple of 16?
False
Suppose -619 = -7*d + 1012. Suppose 2*z = 163 + d. Is 6 a factor of z?
True
Let p be (-12)/((-2)/6 - (-63)/(-54)). Suppose 162 = -p*x + 3330. Does 12 divide x?
True
Let h = -125 - -2023. Does 13 divide (h/7)/(-4 - 290/(-70))?
True
Does 73 divide 21260 + (-3)/9*51?
True
Let x(r) = -r**2 - 181*r - 13. Is 15 a factor of x(-17)?
True
Suppose 15 = -m + 20. Suppose -5*l = -0*l + 2*p - 17, 5*l + m*p = 5. Suppose a + k - 14 = 0, 3*k + 57 = l*a - 45. Does 6 divide a?
True
Suppose -3*a - 132 = -42. Let p = -27 - a. Suppose -87 = -0*v - p*v. Is 4 a factor of v?
False
Does 68 divide 3313772/882 + (-1)/9 - -7?
False
Let y = -122 - -135. Let m = y - -58. Is 43 a factor of m?
False
Suppose -11*u = 54*u - 507447 + 6297. Is 10 a factor of u?
True
Let b = -4804 + 18233. Is b a multiple of 10?
False
Let s = -17356 + 28917. Is s a multiple of 11?
True
Suppose -3 = 4*j + 13, -m + 2884 = -7*j. Is 119 a factor of m?
True
Let r(u) = 699*u**2 - 19*u - 9. Is 19 a factor of r(3)?
False
Let j(f) = 69*f**2 - 208*f + 2035. Is j(12) a multiple of 100?
False
Is ((-333)/6 - 5)/(24/(-2160)) a multiple of 15?
True
Let u(l) be the first derivative of -13*l**2/2 + 385*l + 150. Does 9 divide u(20)?
False
Suppose 4*u - 13130 = 5*j, -9847 = 135*u - 138*u + 4*j. Is 15 a factor of u?
True
Suppose -4 = -4*k, -104*v = -106*v - k + 37311. Is v a multiple of 287?
True
Let d = -22 - -30. Let i(b) = -b**2 + 16*b - 26. Let t be i(14). Is 1 - -46 - t/d*-4 a multiple of 18?
False
Let j = 132 - 132. Suppose -4*t - 4*r + 152 = 0, 2*r - 38 = -j*t - t. Does 37 divide t?
False
Suppose -3*q + o + 13280 = -0*o, 0 = 2*o - 8. Suppose 315 = -9*j + q. Is 20 a factor of j?
False
Let d(x) = -2*x + 14. Let l be d(4). Let n be 160 + 0/(l/(2 + 1)). Let u = 242 - n. Is 11 a factor of u?
False
Suppose 174 + 22 = -4*t. Let b = 53 + t. Let h = b - -27. Is h a multiple of 31?
True
Suppose -4*o - 3*k = -7183, -2*o - 2*k = -3*k - 3579. Let y = o - 1279. Does 12 divide y/5 - (-7)/(35/2)?
False
Let v = -5013 - -5546. Does 7 divide v?
False
Suppose 4*k - 90985 = 3*h, 22*k - h + 45485 = 24*k. Is 99 a factor of k?
False
Suppose 4*a - 4988 = -2*u, -28*u - 2502 = -2*a - 25*u. Is a a multiple of 24?
True
Let p be 3 + (-3*(-1)/3 - -10). Does 31 divide 430/p + 14/49?
True
Suppose 395073 = 37*w + 26*w. Is w a multiple of 15?
False
Let v(s) = s**3 + 14*s**2 + s + 28. Let y be v(-14). Suppose 11 + y = -5*w. Let o(g) = 2*g**2 + g + 8. Does 13 divide o(w)?
False
Suppose -3*t + 5 + 1 = 0. Suppose 5*m = -t*d + 17, -2*m + 7*m = 25. Let g(n) = -18*n - 6. Is 28 a factor of g(d)?
False
Suppose 27*z + 2*p - 23470 = 22*z, 3*z = 4*p + 14056. Is z a multiple of 19?
False
Let n be (-2 - -1) + 676/4. Let x be n/16*(-24)/(-14). Let k = x + 87. Is 15 a factor of k?
True
Suppose 142*d = 145*d - 18. Is ((-112)/24)/7*(-14193)/d a multiple of 36?
False
Let c = 328 + -308. Suppose -5*w - c = 0, 0 = -r - 2*w + 3*w + 60. Is 2 a factor of r?
True
Is 125 a factor of 143760/25 + (96/(-40))/6?
True
Is (-1584)/(-24)*44/6 a multiple of 10?
False
Let v(h) = -7*h + 36. Let f(x) = -8*x + 35. Suppose 4*y + 20 = -0*y. Let c(m) = y*v(m) + 6*f(m). I