
Suppose -119 = -2*v - 35. Suppose -1632 = 40*s - v*s. Is 12 a factor of s?
True
Let y = -6279 + 6228. Let j = 314 - 214. Let l = y + j. Is 6 a factor of l?
False
Suppose -2812 = -40*y + 36*y. Let v = y - 383. Is 20 a factor of v?
True
Let k(u) = -33*u**2 + 4*u - 20. Let c be k(-5). Let z = c + 1523. Is 47 a factor of z?
True
Suppose 1192711 = -211*z + 9869031. Does 20 divide z?
True
Suppose -5*i + 28827 = -x + 3104, 4*i - 2*x - 20582 = 0. Does 11 divide (-16)/(-72) + i/18?
True
Suppose 5*a - o - 20859 = 0, -a + 38*o = 40*o - 4174. Is 28 a factor of a?
True
Let p(b) be the second derivative of 11*b**4/12 + 11*b**3/6 - 6*b**2 + 20*b. Let i be p(-6). Suppose 6*g - i = -0*g. Is g a multiple of 13?
False
Suppose 3*g + 184 = 4*w - 3*w, 66 = -g + 5*w. Let v = 80 + g. Suppose 0 = 4*r - 33 - v. Does 13 divide r?
True
Suppose -4*g = 4*b - 1632, -195 = -2*g + 5*b + 600. Let a = g + 4. Does 66 divide a?
False
Let c(j) = 500*j + 2993. Does 7 divide c(-4)?
False
Let p be 1442/(-3)*69/(-23). Let d = p - 868. Is 14 a factor of d?
True
Suppose -16*i + 204 = -1828. Suppose 13*b - c + 125 = 15*b, -2*b + i = 3*c. Is b a multiple of 31?
True
Does 6 divide 128/(-2496) - 92200/(-78)?
True
Let h(a) = 33*a**3 + 32 + 2*a**3 - 5*a + 4*a**2 - 29 + 0*a. Is 5 a factor of h(1)?
False
Let m = -5 + 62. Let q(z) = 4*z + 177. Let j be q(-43). Suppose -9 + 4 = -5*d, j*w - 3*d - m = 0. Is w a multiple of 5?
False
Does 6 divide (0 + 913 + 1)*(-21)/(-6)?
False
Let r = -168 + 172. Suppose 0 = -5*a - r*a + 2187. Does 9 divide a?
True
Suppose -84*z + 647919 = -27*z. Is z a multiple of 9?
True
Suppose -d = n - 2929 - 5278, 2*d - 16390 = 6*n. Does 116 divide d?
False
Let p(g) = -28*g - 39. Is 73 a factor of p(-4)?
True
Suppose 115*b + 21*b - 130842 - 268862 = 0. Is b a multiple of 226?
False
Let a(i) = 227*i + 180. Is a(1) a multiple of 11?
True
Suppose -48 = -74*h + 70*h. Is (-1)/((-15)/20) - (-8720)/h a multiple of 14?
True
Let a be 160/26 - -7*2/(-91). Is 16 a factor of (163/a)/((-9)/(-54))?
False
Suppose -72 = -502*o + 498*o. Suppose t = 3*w + 253, -14*t = -o*t - 4*w + 964. Is 61 a factor of t?
True
Let t = -152 + 52. Let m = 34 - t. Does 25 divide m?
False
Suppose -159313 = 54*k - 837445. Does 23 divide k?
True
Let u(i) = 6*i + 54. Let c be u(-8). Suppose -c*p + 330 = 5*p. Is 3 a factor of p?
True
Let w(z) = 7*z + 36. Let k(c) = -c. Let g(a) = 6*k(a) + w(a). Let t(i) = -10*i - 139. Let n be t(-13). Is g(n) a multiple of 3?
True
Let k(t) = t**3 - 5*t**2 + t. Let r be k(3). Let f be (-1 + 7)/(((-57)/361)/(-3)). Let a = f - r. Is 19 a factor of a?
False
Suppose -12*a + a = -6996. Suppose 420 = 2*o - f, -3*o + a = f - 4*f. Let d = o - 123. Is d a multiple of 11?
False
Let q(x) = -x**2 + 4*x + 6. Let k(d) = -d**3 - 2*d**2 - 3. Let j be k(-3). Let n be q(j). Does 3 divide 2/n + 258/18?
False
Suppose 0 = -2*b - 12, -107*p = -105*p + 5*b - 12208. Is 2 a factor of p?
False
Let p(s) = -106*s + 4. Let c(d) = -d - 5. Let m be c(-3). Let l be p(m). Suppose -92 - 16 = -k + 5*v, -l = -2*k - 4*v. Is k a multiple of 18?
True
Let m = 20435 - 19031. Is m a multiple of 13?
True
Suppose s = 5*b + 350, 5*b = 2*s + 8*b - 713. Let g = 237 - s. Let i = g + 139. Does 3 divide i?
True
Suppose 10*r - 4*r = 30. Suppose -5*o - 1154 = -2*a, r*o + 2870 = -2*a + 7*a. Does 22 divide a?
True
Let j = -4636 + 6739. Suppose 7*t - j = -5*b + 8*t, 4*b = -4*t + 1668. Does 12 divide b?
True
Suppose 22*v - 760956 - 415158 = 255844. Does 31 divide v?
False
Suppose -2*t = 53*d - 54*d - 133429, -5*t = 4*d - 333540. Is t a multiple of 66?
False
Suppose 2 = -3*m + 2. Suppose -5*o + 2*o - 4*h + 72 = 0, m = -4*o - h + 96. Suppose 26 = 4*x + 2*f, 0*f = -x + 3*f + o. Is x a multiple of 3?
True
Let m(x) = 4*x**2 - 95*x - 17. Let w be m(24). Does 3 divide (w - 1104/(-40)) + 6/(-10)?
False
Suppose 9*q - 37*q = 0. Suppose -2034 = -3*p + 3*r, -5*r + 2694 = 4*p - q*p. Is 54 a factor of p?
False
Let q(s) = 272*s**2 - s - 273*s**2 - s**3 + 2 - 2. Let r be q(0). Suppose p - 2*z = -r*p + 28, p + 3*z = 53. Is p a multiple of 12?
False
Is (3112/(-20))/((-6)/(-25))*-3 a multiple of 8?
False
Let b(l) = -7*l + 19. Let i be b(1). Suppose r - 119 = i. Is r a multiple of 22?
False
Suppose -3*p = 2*i - 20628, -3*p = -81*i + 80*i + 10332. Is i a multiple of 20?
True
Let v be ((-19)/7 - -3)*7. Let s be 138/42 - v/7. Suppose -6*g + 1242 = s*g. Is g a multiple of 18?
False
Suppose -38*n - l = -40*n + 22550, -n + 11274 = -l. Is n a multiple of 48?
False
Let o be (-30)/(-6) + (-2)/(-1). Let b = o + 51. Suppose 32 + b = 3*z. Is 30 a factor of z?
True
Does 46 divide ((-23)/2)/(60/(-76080))?
True
Let u(v) be the second derivative of -v**5/10 - 5*v**4/12 + 13*v**3/6 - v**2 + 17*v. Let p(c) = c**3 - 10*c**2 - 13*c + 16. Let f be p(11). Does 21 divide u(f)?
False
Let u(p) = -p**3 + p**2 - p + 4. Let w be u(0). Suppose -5*x + 10 = -z, -w*z + 0*x = -3*x + 6. Suppose z = 5*n - 78 - 222. Is 10 a factor of n?
True
Let w(p) = -p**3 - 16*p**2 - 11*p - 25. Let n(a) = 2*a**3 + 18*a**2 + 12*a + 27. Let b(d) = 4*n(d) + 5*w(d). Is b(5) a multiple of 5?
False
Let t be (-4)/22 - 101/(-11). Let f be 4/6 - 474/t. Let x = f + 70. Does 6 divide x?
True
Suppose -n + 13 - 29 = -4*j, -3*j - 2*n + 1 = 0. Suppose j*z = 3168 - 1152. Suppose 0 = 3*r + 4*r - z. Is r a multiple of 9?
False
Let s(d) = -5*d + 36. Suppose -3*q = 3*c - 24, 20 = -5*c - 5. Suppose 0 = -q*z + 6*z. Is 6 a factor of s(z)?
True
Suppose -2*w = 15*w + 11968. Let t = w + 1368. Is 62 a factor of t?
False
Suppose -509 = b + 5*y, 4*y - 2116 + 56 = 4*b. Let t = b + 671. Is t even?
False
Let j = 4479 - 3981. Is 14 a factor of j?
False
Let o(q) = q**3 + 18*q**2 + 18*q + 14. Let l be o(-17). Let a be l + 0 + (-1 - -50) + -3. Does 10 divide a/(-15) + 4/(-30) - -113?
True
Suppose -2*f = 4, -x + 2*f = -2 - 9. Suppose x*c - 2*c = -10. Is 11 a factor of 51 - 2/1*c?
True
Let c = 737 - 734. Suppose 4*y - c*y = -4*j + 2157, -3*y = j - 553. Is 27 a factor of j?
False
Let s be (2/6)/(-4 - (-218)/54). Let x be 2 - s/(-6)*122. Suppose 5*g - 2*u = 3*u + x, 0 = 3*g - 2*u - 114. Is 40 a factor of g?
True
Suppose 5*n - o = 9705, -42*n - 3874 = -44*n + 2*o. Does 40 divide n?
False
Suppose 21 = 3*z + 12. Let c be z + 2 + -8 + -10. Let d = c - -48. Is 10 a factor of d?
False
Suppose -251*j + 30235 + 5468 = -44366. Is 11 a factor of j?
True
Is ((-1 - 0)*41)/(99568/6224 - 16) a multiple of 16?
False
Let y(z) = z**3 + 13*z**2 - 14*z - 32. Let o be y(-10). Let t = o - 223. Is t a multiple of 37?
True
Suppose 3*w - 11 = 4. Suppose -w*y + 17 = -4*o, -2*y - y = 3*o - 21. Suppose o*a - 3*z - 90 = 0, -3*a + a + 94 = -4*z. Does 13 divide a?
True
Let v(d) = d**2 - 10*d + 62. Let m(q) = 2*q - 16. Let z = 101 - 87. Let x be m(z). Is v(x) a multiple of 4?
False
Suppose 8642 = -118*n + 19*n + 96158. Is n a multiple of 15?
False
Suppose -3*z + n = 2*n + 1017, 0 = 4*z + n + 1357. Let r = -331 - z. Is 2 a factor of r?
False
Suppose 10*c = 3*f + 8*c - 686, 5*f + c = 1165. Let o = f - 22. Is o a multiple of 35?
True
Suppose -3*p = -190406 - 14875. Is p a multiple of 199?
False
Is -8 + 7 - (261168/120)/(1/(-5)) a multiple of 50?
False
Let c be -39*(3 - 48/18) + -2. Is -162*(-6)/c*20/(-12) a multiple of 18?
True
Let b = -12429 - -15710. Is b a multiple of 21?
False
Let i(q) = 32*q - 68. Let r be i(-6). Let n = 219 - r. Is n a multiple of 33?
False
Let k(s) = -s**2 - s + 4. Let z be k(6). Let b be 60*((-70)/(-28))/(10/4). Let f = b + z. Is 5 a factor of f?
False
Let g = -3488 + 10322. Does 16 divide g?
False
Suppose -35*f + 286272 = 7*f. Is f a multiple of 12?
True
Suppose 3*z + 4*s - 13960 = -5311, -z + 2883 = 2*s. Is 31 a factor of z?
True
Suppose 0 = -5*a + 2*u + 9326 + 7647, a - 2*u = 3401. Suppose 0 = -807*p + 794*p + a. Does 12 divide p?
False
Suppose 54*p - 87898 + 15065 = -119*p. Does 200 divide p?
False
Let p(c) = 16*c + 11 + 7*c + 16 - 19. Is 3 a factor of p(5)?
True
Let r(j) = -2*j**2 + 38*j + 19. Let l be r(19). Suppose 12 = l*p - 83. Suppose -p*i + 2*y = -938, -5*y = -3*i - 0*y + 559. Is i a multiple of 11?
False
Let n = -12 - 33. Let d = n - -48. Suppose g - 54 = -5*p, -d*p - 136 = -3*g - 28. Is 20 a factor of g?
False
Suppose -3*h + 13 - 7 = 0. Let r(s) = 191*s + 16. Is 33 a factor of r(h)?
False
Let o be -4 + 3 - ((-4)/(-2) + 247). Is 14 a facto