se -4*g - 524 = -n*z - 2036, 3*z - 1512 = -4*g. Does 54 divide g?
True
Suppose 11*r - 4*q = 59556, 21636 = 5*r - r + 2*q. Does 33 divide r?
True
Let j(t) = -t + 6. Let y be j(5). Is 47 a factor of (y - -572) + 26/(-26)?
False
Let a = -370 - -361. Does 3 divide (-3)/a*(-2898)/(-14)?
True
Let p be 1/2*1944/(-6). Is (-2)/8 - p/8 a multiple of 20?
True
Is (28/(-3))/((-80)/14040) a multiple of 14?
True
Suppose -12 = -b + 4*x - 1, 0 = -3*b - 2*x + 5. Suppose -b*o = -8 + 8. Suppose d + 4*l = -o*l + 80, -2*l + 70 = d. Is 15 a factor of d?
True
Suppose 3*n - 2017 = 5*l, 2837 = 4*n + l + 140. Suppose -2*v - 4*o = o - n, -2*v - 3*o = -678. Is 38 a factor of v?
True
Let u(p) = 52*p**2 - 51*p + 365. Is u(20) a multiple of 17?
True
Let x(p) = -17*p**2 - 2*p**3 + 0 - p**3 + 60*p - 2 + 8*p**3 - 65*p. Is 29 a factor of x(5)?
False
Is 10922/14 - ((-7)/35)/((-56)/40) a multiple of 8?
False
Is 12 a factor of -13131*128/(-144) + (-1)/((-1)/4)?
True
Let r = -414 - -421. Suppose r*f - 5*f + d - 213 = 0, f + d = 107. Is f a multiple of 53?
True
Let z = -10568 + 10973. Is 3 a factor of z?
True
Let u = -4156 + 18044. Does 31 divide u?
True
Let r = 182 - 162. Is 57 a factor of (111 - -3)/(8/r)?
True
Let c be (1/(-1))/(1 + 0). Let q be (c/((-9)/(-6)))/((-3)/(-9)). Let d(p) = -21*p**3 + 2*p**2 + 8*p + 2. Is d(q) a multiple of 18?
True
Is (12 - (-1119)/9)*6 a multiple of 6?
False
Let l(h) = -842*h - 584. Is l(-4) a multiple of 12?
True
Suppose 2*v - 6*v = s + 5153, 0 = -2*v - 3*s - 2569. Let t = 1850 + v. Is t a multiple of 9?
False
Suppose 10290 = -138*v + 145*v. Does 30 divide v?
True
Let x = 16046 + -2596. Does 27 divide x/15 - 4 - (-30)/(-18)?
True
Suppose 5*u = m - 19180, 3*m = 23*u - 21*u + 57436. Is m a multiple of 55?
True
Let h(u) = 9*u**3 - 7*u**2 + 17*u + 13. Let z(o) = 7*o**3 - 8*o**2 + 18*o + 14. Let s(l) = 3*h(l) - 4*z(l). Is s(7) even?
True
Suppose -85*q = -88*q - 4*c + 14168, q = 3*c + 4714. Is 50 a factor of q?
False
Suppose -3*p = -2861 - 55. Let t = p + -332. Is t a multiple of 16?
True
Suppose -4 = -x - 3. Let n(v) = 16 + 4*v - x - 9 + 16. Does 11 divide n(0)?
True
Let p(u) = -12*u**3 - 16*u**2 + 29*u + 236. Is 6 a factor of p(-8)?
True
Let a = -107 - -114. Suppose -a*z = 5*m - 2*z - 230, 5*m + 3*z = 228. Is 8 a factor of m?
False
Suppose 0 = 4*i + 2 - 14. Suppose 5*n + 5*s = 775, i*n + 4*s - 466 = 2*s. Suppose -5*v + 14 + n = 0. Is 9 a factor of v?
False
Let f be (-13)/((-39)/18) + -4. Let p be ((-26)/f)/(-6 + 5 - -2). Does 46 divide p*((-33)/5 - (-10)/(-25))?
False
Let a(j) = 19618*j + 62. Is 10 a factor of a(1)?
True
Let y(o) = -487*o + 7521. Is 67 a factor of y(-40)?
True
Let m be -1 - (0 + -3)*1. Suppose 4*n - 20 = -4*r, -3*r + 0*r = -2*n - 5. Suppose -3*u + m*b + 111 = 0, -u - n*b = 4*u - 185. Does 23 divide u?
False
Suppose 74*v - 76*v = 3*c - 9696, 2*c - 5*v = 6464. Does 59 divide c?
False
Suppose 13*v - 16*v = 201. Let q = -63 - v. Is (q/(-5))/(-3 - 644/(-215)) a multiple of 21?
False
Is 8 a factor of (3/9 - -1)*3162?
True
Suppose 96 + 75 = 3*c + 3*k, -2*c - 4*k = -108. Let r = 30 - c. Is 10 a factor of r/(-2 - -3 - 2)?
True
Let g(q) = -47*q + 204. Suppose -2*n - 16 = -2*y - 2, 3 = -y. Is g(n) a multiple of 24?
False
Is 50 a factor of (-1835197)/(-455) + 4/(-10)?
False
Suppose -664 = -4*t - 4*k, 5*k - 335 = t - 3*t. Suppose -161*h - 72 = -t*h. Is 9 a factor of h?
True
Let v be (4/9)/((-7)/(-63)). Suppose 13*y = v*y + 54. Let k(w) = 2*w**3 - 9*w**2 + 2*w. Is 20 a factor of k(y)?
True
Does 22 divide 318/12*(56/40 - (-1493)/5)?
False
Suppose -4690 = -5*u + 3*j, 6*j - 8*j = j. Is 14 a factor of u?
True
Suppose 31264 = 62*n - 86598. Does 10 divide n?
False
Suppose i = -5*k + 5387, -4302 = -0*k - 4*k + 3*i. Let n = -661 + k. Is 26 a factor of n?
True
Suppose 36818 + 55344 = 33*p - 73597. Does 13 divide p?
False
Suppose -48*v - 98*v + 275940 = 0. Is 47 a factor of v?
False
Let b(o) = 10 - 8 - 2 + 3*o. Let h be b(1). Suppose 2*g + h*g = 2*n + 73, -46 = -2*g + 5*n. Is g a multiple of 6?
False
Suppose 0 = -445*k + 456*k - 66. Let b be 1 - (0 - (61 - 2)). Let h = b - k. Is 27 a factor of h?
True
Is 5 a factor of 7323/6*(495/11 + -23)?
False
Let z(k) = 4*k**3 - 3*k**2 + 8*k - 2. Let s(f) = -8*f**3 + 7*f**2 - 17*f + 6. Let t(c) = -4*s(c) - 9*z(c). Is t(-3) a multiple of 32?
False
Let l(u) = -2*u**2 + 48. Let f = 16 + -7. Let n = f + -9. Does 8 divide l(n)?
True
Let n = 589 + 562. Does 9 divide n?
False
Suppose -1 + 5 = 2*u. Let v(i) = -i**2 + 0*i**3 + 2 + i**3 + 2*i - 1 - u. Is v(5) a multiple of 11?
False
Suppose y - 128 = -5*q + 2*y, 0 = -q + y + 28. Is 15/q - (-1794)/10 a multiple of 6?
True
Suppose -4*w = -2*a + 6090, -86*a + 15300 = -81*a + 5*w. Does 24 divide a?
False
Let n be -2*(-1)/12 - 26636/(-24). Let k = -992 + n. Is k a multiple of 6?
False
Suppose -p + 8 + 23 = 0. Suppose p = a - 5*w, 2*a = a + 4*w + 29. Is 4 a factor of a?
False
Suppose -7*g - 15 = -8*g. Let j(u) = u**2 - 15*u + 3. Let c be j(g). Is c/15 - 378/(-10) a multiple of 12?
False
Let v be ((-4)/(-6))/((-1)/(-3)). Let m(s) be the first derivative of 109*s**2/2 - 4580. Is m(v) a multiple of 46?
False
Suppose -23*r - 8840 = -61*r + 38774. Is r even?
False
Let w(i) = -i**2 + 38*i + 38. Let k = 465 + -429. Is 5 a factor of w(k)?
True
Let h(g) be the third derivative of -g**5/60 - 5*g**4/24 + 5*g**3 - 18*g**2. Let o be h(-8). Suppose -o*k + k + 71 = 3*z, 0 = z - 3*k - 19. Does 3 divide z?
False
Is (3/3 - 2)*6 + 5006 a multiple of 40?
True
Let y = -55 - -391. Let z(q) = -q**3 - 14*q**2 - 8*q + 65. Let h be z(-13). Suppose -3*n + y = -h*n. Does 16 divide n?
True
Suppose 4*r - 292 = 3*s, -8 = -2*s - 0*s. Suppose -6*v - 5*u + 226 = -2*v, 2*u = 3*v - 181. Let c = r - v. Does 8 divide c?
False
Is 32/(480/45)*1421 a multiple of 88?
False
Let f(j) = 2*j + 1. Let l(r) = 94*r + 4. Let q(b) = 6*f(b) - 2*l(b). Does 16 divide q(-2)?
False
Suppose -750*x + 72 = -744*x. Suppose -1895 = -x*r + 2125. Does 5 divide r?
True
Let l be (-194)/22 + 232/(-1276). Let n(t) = 4*t**2 - 2 + 21 - 5*t**2 + 0*t**2 - 16*t. Is 16 a factor of n(l)?
False
Let p = -131 - -264. Suppose o - p = -3*r, 4*o + 4*r - 2*r = 512. Is 51 a factor of o?
False
Let k = 87 - 84. Let r(t) = 44*t**2 + 2. Let o be r(-2). Suppose 4*a - 237 = -k*x, -3*a + 2*x - o = -6*a. Does 15 divide a?
True
Let l(i) = -i**3 - 3*i**2 + i + 11871. Is 40 a factor of l(0)?
False
Suppose 2*t + 100 = 2*d, 5*d + 2*t = 3*t + 270. Suppose d - 679 = -k. Is k a multiple of 78?
True
Suppose 508 = -4*g + 4*c, 4*c = -5*g + 5*c - 623. Suppose 4*w - 99 = 3*l + 642, 5*w - 918 = l. Let k = w + g. Does 16 divide k?
False
Let h be -3 - 130/15*-6. Suppose p - 2*x = 11 - h, -4*x - 64 = 3*p. Let i = 58 - p. Does 7 divide i?
False
Let a(c) = c**2 - 116*c**3 - 8*c**2 + 114*c**3 - 38 + 24*c. Does 13 divide a(-9)?
True
Is 956/5 - (-9)/(-45) a multiple of 3?
False
Let o = -14 - -18. Let i = -105 + 107. Suppose -k = i*r - 33, 3*k + o*r = 2*k + 23. Does 9 divide k?
False
Let t(d) = 7*d**2 - 2*d - 33. Let i be t(-12). Let a = i + -705. Is 42 a factor of a?
True
Let c = 12 - 7. Suppose 4*r - 176 = -2*k, c*k - 5*r - 126 = 239. Suppose -n + o + 139 = 0, 2*o - k = -2*n + 220. Is 18 a factor of n?
True
Let m(z) = 2*z**2 - 43*z - 283. Let y be m(43). Suppose y = -36*d + 38*d. Is 27 a factor of d?
True
Suppose 8 = h + 3. Suppose -4*u = -2*y + 8, -2*y + y - h*u = 3. Suppose 3*i - y*n = 195, 12 = i - 3*n - 60. Does 12 divide i?
False
Suppose 8*z - 19 = -75. Let l = 12 + z. Suppose 4*y - 603 = f, 3*y + f = l*f + 449. Is 28 a factor of y?
False
Let r = -32253 - -35814. Is 36 a factor of r?
False
Let k = 156 + 1261. Is 59 a factor of k?
False
Suppose 15*a + 0*a - 50880 = 7*a. Does 40 divide a?
True
Let r(v) = 37 - v**2 + 65 - 4*v - 5*v + v + 3*v**2. Is 22 a factor of r(14)?
False
Let j = -5700 - -5874. Does 33 divide j?
False
Let c be 2/11 - (-196)/11. Let d(v) = v**3 - 2*v**2 - v + 4. Let l be d(3). Let p = c + l. Is 7 a factor of p?
True
Is 6*((4 - (-30)/(-9)) + (-30705)/(-18)) a multiple of 27?
False
Let u(g) = g + 16. Let c be u(-9). Let i(q) = -2*q**2 + 23*q - 4. Let w be i(7). Suppose c*l - 53 - w = 0. Is 4 a factor of l?
True
Suppose 0 = -3*m + 25*m + 44. Let i(p) = 10*p**2 - 3*p + 4. Is i(m) a multiple of 5?
True
Let x be ((-3)/9)/(1/1005)*-5. Suppose -4885 = -10*f + x. Is f a multiple o