 - 9 = 2*c. Suppose 0 = -c*x - 39 + 1419. Does 16 divide x?
False
Let n = 5566 - 2818. Is n a multiple of 23?
False
Suppose -4*m + 15726 = 120*c - 118*c, 2*m - 7905 = 5*c. Does 116 divide m?
False
Let s(a) = 5*a + 202. Suppose -9*p + 93 = 3. Is 36 a factor of s(p)?
True
Let u(d) be the third derivative of -d**6/120 + d**5/10 + d**4/3 - d**3 - d**2. Let o(j) = -j**2 - 7*j. Let k be o(-6). Is u(k) a multiple of 6?
True
Suppose 3*x = 2*a + 4*x + 5, 0 = -3*x - 15. Let h be -2 + a - 2086/(-2). Suppose 635 = 3*c - 5*v, 0 = -5*c + 5*v - v + h. Is 41 a factor of c?
True
Does 14 divide (-171300)/(-40) - 6/(-4)?
True
Suppose 0 = h - k + 1, -2*k - 4 = -3*k. Suppose -5*i = 3*z - 557, 97 = -h*z + i + 630. Is 12 a factor of z?
False
Let q = 6243 - 1788. Does 54 divide q?
False
Let d be (-1915)/20 + (-12)/(-16). Let r be 4/(-10) + d/25*-8. Is 28 a factor of 5876/r + 60/450?
True
Let t be ((-8)/10)/((-7)/(-210)*-3). Let z(l) = -4*l - t + 14 - 13. Does 5 divide z(-8)?
True
Let p be (36/(-6))/(36/16 + -2). Is 4 a factor of 582/4 + p/(-16)?
False
Suppose 4*z = 39 - 455. Suppose 59*g - 222 = 3*k + 56*g, -2*k - 5*g = 106. Let t = k - z. Does 8 divide t?
False
Suppose 3*t - 178 = -5*b, -3*b + 117 = 2*t - 0*b. Suppose -4*m - t = 5*w, 3*m - 4 = 2*w + 21. Is w/(11/(-142))*1/2 a multiple of 9?
False
Let d(j) = -j**2 - 3*j + 24. Let w be d(-6). Does 17 divide (-12)/9 - w/(-36)*446?
False
Let z be (-2)/(-11) - ((-31014)/33 + 1). Let a be z/(-2)*(-4)/3. Let u = a + -428. Is 18 a factor of u?
True
Suppose -310935 = -127*u + 788186 + 11240. Is u a multiple of 36?
False
Suppose -5*w = -5*r + 16335, 157*r - 4*w - 3264 = 156*r. Is r a multiple of 86?
True
Let l be 3734/(-8) - 1/4. Let b = 691 + l. Does 56 divide b?
True
Suppose 29*k + 4677 - 151562 = 0. Suppose k = 21*x - 1151. Is 25 a factor of x?
False
Suppose -116*g + 472 + 28792 = -11452. Does 27 divide g?
True
Let i = -27959 + 62789. Does 250 divide i?
False
Let a = 659 + -638. Suppose 18*k = a*k - 201. Is k a multiple of 11?
False
Let b = -150 - -72. Suppose 110*p - 106*p + 3*q = -369, 5*q + 359 = -4*p. Let g = b - p. Does 18 divide g?
True
Is -7 + (-3 + -5 + 8043 - -9) a multiple of 19?
True
Suppose p - 8060 = 538*j - 541*j, 2*p = j + 16155. Does 25 divide p?
True
Let l be 1/((1 + 3)/16). Suppose l*y - 2 = -2*k, -2*y + y - k = -2. Is (y - -2) + 1050/21 a multiple of 5?
False
Suppose -4*q = 8, -5*n + 18*q + 10601 = 15*q. Is n a multiple of 42?
False
Let z(m) = m**2 + m + 78. Let h(n) = -n + 12. Let o be h(6). Suppose o*x - 3*x = 0. Does 26 divide z(x)?
True
Let j = -5254 + 5688. Does 31 divide j?
True
Let l(n) = 127*n**2 - 25*n - 6. Let k be l(-3). Let p = 2270 - k. Is 46 a factor of p?
True
Let n = 6309 - 2786. Is 55 a factor of n?
False
Suppose 224*g - 219*g = 400. Let s = 93 - g. Is -11 + s - (-8)/2 a multiple of 3?
True
Let z = -9835 + 32191. Is 36 a factor of z?
True
Let i(l) = -2*l + 6. Let a(r) = 2*r - 8. Let g(u) = -4*a(u) - 6*i(u). Let c = 31 - 9. Is 16 a factor of g(c)?
False
Let c = 267 + 3504. Is c a multiple of 188?
False
Let d = 262 - 122. Let m be -231*1/(-12) - (-6)/8. Suppose -5*x + d + m = 0. Does 5 divide x?
False
Suppose 0 = -9*l + 8*l. Suppose 6*g - 5*g - 3 = l. Suppose -107 = g*a - 4*a + 2*j, 212 = 2*a - 3*j. Is a a multiple of 17?
False
Let l = 38473 - 23363. Is 12 a factor of l?
False
Let q(l) = -l**2 - 17*l - 19. Let x be q(-14). Let n = x + 63. Suppose 2*v - 3*t = n, -6*t + t = -2*v + 90. Is 20 a factor of v?
True
Let c(p) = -p**3 + 6*p + 9. Let d be c(-6). Let t be 9*(-9 + 6)/(-3). Suppose 4*f = b + t - 61, -4*b - 3*f + d = 0. Is 6 a factor of b?
True
Suppose -228618 - 553277 = -52*i - 4079. Does 18 divide i?
True
Suppose -2 = -z, 4*z - 11 = -3*x - 0*z. Suppose -5*l - x + 1436 = 0. Suppose l = 6*y - 391. Is y a multiple of 51?
False
Let y = 52182 - 34689. Does 17 divide y?
True
Let h(t) = -2*t**3 + 85*t**2 - 49*t + 4. Is 98 a factor of h(41)?
True
Is 27741/28 + (6/(-60))/(4/30) a multiple of 5?
True
Let a be (-6)/(-9)*18/(-12). Let f(u) = -54*u - 2. Let w be f(a). Suppose w*h - 58*h = -408. Does 17 divide h?
True
Suppose 3*u + 10100 = -4*o + 44005, 2*o - 16950 = -4*u. Is 49 a factor of o?
True
Let v be ((-488)/(-244))/((-2)/4 - -1). Suppose b = -5*k - 2, 4*b + 3*k - 6 = b. Suppose -z + 5*a = -68, -z - b*a = v*z - 200. Is z a multiple of 7?
False
Suppose -10*j = -75 + 5. Let f(l) = -7*l + 63. Is f(j) a multiple of 5?
False
Let d(n) = 11*n - 6. Let t be d(4). Let h be 1 - ((-494)/(-130) - 2/(-10)). Is ((-12)/h - 6) + t a multiple of 12?
True
Let z(h) = h**2 - 22*h + 115. Let m be z(14). Suppose m*g - 517 - 191 = 0. Is 3 a factor of g?
False
Suppose 19*q = 23 + 129. Let i(d) = d + 4. Let t be i(7). Suppose -p + q = -t. Is p a multiple of 6?
False
Suppose -l - 2*i + 5*i + 11434 = 0, 5*i = 2*l - 22864. Does 4 divide l?
False
Let g(w) = -w**3 - 25*w**2 + 27*w + 27. Let t be g(-26). Does 8 divide (-100 + 4)*(-1 - (5 - t))?
True
Suppose 3*a + 68966 = 313*t - 312*t, 4*t + 3*a = 275879. Is t a multiple of 17?
True
Let f be 5/2*(42/35 - 0). Is 12 a factor of 64/(-20)*80/(-12)*f?
False
Let g(t) be the third derivative of -17*t**6/30 - t**5/60 - t**4/24 - 9*t**2. Let z be g(-1). Suppose -3*h = -h - 2*r - z, 0 = h - 5*r - 50. Does 30 divide h?
True
Suppose -14212 - 9358 = -6*v - 5882. Is v a multiple of 13?
False
Let g(p) = 57*p**3 + 4*p**2 - 5*p + 2. Let z be g(1). Suppose 5*v - 5*m - 560 = 0, 2*m - 418 = z*v - 62*v. Is 5 a factor of v?
False
Let r(x) = -165*x**2 - 7*x + 32. Let s be r(3). Let l = 2194 + s. Is 12 a factor of l?
True
Let y = -832 + 753. Let z(i) = -51*i + 2. Let q be z(-3). Let x = q + y. Is 32 a factor of x?
False
Let g be 1129/2 + 21/(-6) + 3. Suppose 4*z = -z + 3*y - g, -3*z = y + 344. Let k = z + 337. Is 50 a factor of k?
False
Let z(i) = 352*i**2 - 83*i + 865. Does 30 divide z(11)?
False
Suppose -52 = 3*m - 88. Is 40 a factor of (-3)/9 - (-964)/m?
True
Let j(o) = 2*o**2 - 11*o + 10. Let s(z) = -5*z - 5. Let c be s(-4). Does 9 divide j(c)?
False
Suppose h - 3*l = 19326, -109*h + 105*h - 5*l = -77406. Is h a multiple of 24?
True
Let o(h) = -2*h**2 + h + 3. Let v be o(2). Let y = 95 - 161. Let b = v - y. Is b a multiple of 13?
False
Let s(k) be the first derivative of 2/3*k**3 + 12 + 0*k + 6*k**2. Does 16 divide s(-10)?
True
Let g(f) = 3*f**3 + 7*f**2 + 16*f - 16. Does 12 divide g(9)?
False
Let l = -844 - -885. Does 11 divide l?
False
Let g be (-1*6)/(96/(-6960)). Does 36 divide g/4*384/72?
False
Let b(j) = -j. Let w(m) = -m + 1. Let v(f) = 13*f - 17. Let y(d) = v(d) - 4*w(d). Let k(n) = b(n) + y(n). Is 15 a factor of k(6)?
True
Let b = -6851 - -12119. Does 62 divide b?
False
Suppose 1089 = -4*f + 4129. Suppose -f = -5*r + 5*n, -5*r - 6*n + 750 = -n. Is 10 a factor of r?
False
Let c(w) = w**3 - 24*w**2 + 50*w - 6. Let j be c(22). Suppose 28 = k - j. Does 18 divide k?
False
Does 184 divide -20 - (-11 - 1481 - 0)?
True
Let j(q) = -805*q**3 + 5*q**2 - 1. Does 3 divide j(-1)?
False
Suppose 30*r = 28*r + 3*q + 15541, 2*r + 3*q - 15583 = 0. Is r a multiple of 99?
False
Suppose -180826 = -11*x + 10*x - 22*x. Does 3 divide x?
False
Let d be 119/12 + (-3)/(-36). Suppose -5*j = d, 3*h - 128 = -7*j + 8*j. Is 14 a factor of h?
True
Suppose -1373 - 542 = -2*s - k, s - 970 = 2*k. Is 10 a factor of s?
True
Let x(o) = 90*o + 30. Let u be x(9). Let r = -518 + u. Is r a multiple of 14?
True
Let p(a) = -a**2 - 11*a + 41. Suppose -i - 2 = -w - 13, -5*w - 79 = 3*i. Let v be p(w). Is (2 + -1 + 26)/((-1)/v) a multiple of 6?
False
Suppose 0 = 98*d - 9*d - 24*d - 622960. Is 13 a factor of d?
False
Let d(b) = -b**3 - 3*b**2 + 71*b + 2. Let h be d(-10). Let j(r) = -80*r - 70. Is j(h) a multiple of 15?
True
Let c = -550 - -860. Let h = c + -225. Is h a multiple of 17?
True
Suppose 50*t - 3266 = 48*t - 3*y, 5*y + 1607 = t. Is 2 a factor of t?
False
Suppose -5*p - s + 6 = -4*s, -5*p = 5*s - 30. Suppose z - 164 = -p*t - 394, -z - 2 = 0. Is 7 a factor of 4 + (-6)/(24/t)?
False
Let v be (4/12*-2)/((-1)/483). Suppose 4*j + v - 1146 = 0. Let z = 361 - j. Is 31 a factor of z?
True
Suppose -609 = 4*w - 589, 3*k + 3*w - 10203 = 0. Is 13 a factor of k?
True
Let s(t) = -t - 1 + 3*t + 17*t**2 + 8*t**2. Suppose -2*a - 3*d + 4 = 0, 3*a = 3*d - 45 + 51. Is s(a) a multiple of 7?
False
Suppose 0 = -2*m - 6 + 40. Suppose -5*l = -2