3*k + 259. Let m be q(0). Let n = -199 + m. Does 2 divide n?
True
Let w = 453 - 458. Is ((-30)/(-21))/w - 1390/(-14) a multiple of 45?
False
Suppose 0 = y - 85*x + 80*x - 4529, -5*x = 5*y - 22705. Is 18 a factor of y?
False
Suppose 0 = g + 4*g + 290. Let d = g - -67. Suppose d*q + 27 = 10*q. Is q a multiple of 3?
True
Is 92 a factor of (11 - 223)/(11 + (-27841)/2530)?
True
Is 304550/90 - 5/(-45) a multiple of 94?
True
Suppose 97 = 12*f - 527. Suppose 48*a - 932 = f*a. Does 13 divide a*((-4)/6)/((-8)/(-12))?
False
Let q be 97/2 - (-10)/(-20). Is 32 a factor of (3627/124)/(2/q)?
False
Let z = -20 + 21. Let i be ((-2012)/(-12) + 5)/(z/(-6)). Is i/(-7) + 1*-4 a multiple of 16?
True
Let d(h) = h**2 + 15*h - 4. Let l(n) = n**2 + 14*n - 3. Let k(b) = 2*d(b) - 3*l(b). Let q = 208 + -213. Does 18 divide k(q)?
True
Suppose 0 = 2*a - 0 - 10. Suppose a*g + o + 37 + 173 = 0, 5*o = 0. Let y = g + 142. Does 20 divide y?
True
Let m(u) = -u**2 + 7*u - 6. Let p = -3 + 11. Let z be m(p). Does 2 divide (8 + -6)/((-4)/z)?
False
Let g be (-81)/(-4) + (-7)/28. Let p = g + -18. Suppose -2 = p*z, -29 = -2*y - 3*z - 2. Does 15 divide y?
True
Let z be (-476)/(-357) - (-2606)/(-6). Let x = z + 2201. Does 68 divide x?
True
Let h = 23487 - 7539. Is 18 a factor of h?
True
Let x be (6/(-15))/((-2)/40) - 2. Let w be 132/(-72) + (-1)/x. Does 23 divide w + (64 - ((-6)/3 + 4))?
False
Suppose 0 = 4*b + o - 383, -490 + 205 = -3*b - 3*o. Is 40 a factor of 106/(((-1)/39)/((-16)/b))?
False
Let c(s) = -3*s**3 - 7*s**2 + 23*s + 34. Is c(-8) a multiple of 13?
False
Suppose 3*y - k + 294 = 0, -6*k = -y - 9*k - 108. Suppose 0 = 4*z + 5*m - 3*m - 760, -5*z - 4*m = -956. Let p = y + z. Is 16 a factor of p?
False
Suppose 5*n - z = -25, -6*z - 20 = -2*z. Let m be (-1)/(-5) - n/(-15)*-7. Suppose m*o + 5*j = 193, 4*o + 3*j + j - 260 = 0. Does 33 divide o?
True
Let u be -2*((-305)/(-10) - (0 - -1)). Let g = -56 - u. Let d(x) = 25*x - 9. Is 11 a factor of d(g)?
True
Suppose -5*v + q = 1811, -2*v + 1085 = -5*v - q. Is (v/7)/(((-2)/(-7))/(-2)) a multiple of 53?
False
Let q(f) = -f**3 + 4*f**2 + 6*f - 14. Is q(-8) a multiple of 2?
True
Let d = -219 + 224. Suppose 156 = 5*u - m + d*m, 4*u - m - 108 = 0. Is 14 a factor of u?
True
Let a = -1 + 4. Suppose -a*p - 10 - 8 = 0. Is 2 a factor of (-232)/(-16) - 3/p?
False
Suppose 2*p + 17 = 47. Suppose 2*u = -3*u + p. Suppose 4 = u*m + 19, -2*m = 4*v - 522. Is 32 a factor of v?
False
Let r be -5*(-8)/20*1. Suppose -2 = 3*o + r*z, 7*o = 3*o + 2*z + 16. Is 2 a factor of ((-3)/9)/(o/(-36))?
True
Let f be 0*(4 - 5/1) + 1828. Suppose 25*s - 5553 = -f. Is 15 a factor of s?
False
Let v(c) = c**3 + 2*c + 124. Let u(s) = s. Let t(d) = 2*u(d) - v(d). Let o be t(0). Let j = o - -214. Does 30 divide j?
True
Let v = 10 + -7. Suppose -3*q - 56 = -4*h, 0 = v*q + 5*h + 38 - 0. Is 3 a factor of ((-16)/(-2))/((-4)/q)?
False
Let r = 106 - 90. Let q = 13 - r. Does 17 divide 157 + (q - (-2 - -1))?
False
Suppose 11*r = 33 - 0. Suppose 3*b - 7*b + r*f + 19 = 0, 5*f + 5 = 0. Suppose -3*l = -5*j + 8 - 322, 0 = -3*l - b*j + 332. Does 18 divide l?
True
Let h(y) = -79*y**3 - 13*y**2 - 15*y + 16. Let w(s) = -20*s**3 - 3*s**2 - 4*s + 4. Let o(r) = 6*h(r) - 26*w(r). Does 12 divide o(3)?
False
Let h = 106 - 139. Let y = h + 99. Is y a multiple of 11?
True
Suppose l - 5*h = 2304, -l - h + 1285 = -1043. Suppose 292*w = 285*w + l. Is 26 a factor of w?
False
Suppose 0 = -0*g + 5*g - 1045. Let q = 5217 - 4909. Let l = q - g. Is 29 a factor of l?
False
Suppose -5*p + 10 = 0, 5*p + 1162 = u + p. Let z = -780 + u. Is (24/(-15))/((-12)/z) a multiple of 14?
False
Let b be (1/(-4))/(1/(-8)). Suppose -b*n = 2*r + 3*r - 1105, -5*r + 1085 = -2*n. Is 3 a factor of r?
True
Let m = 8580 - 4137. Does 16 divide m?
False
Let w(v) = -128*v**2 + 25*v - 80. Let x be w(4). Is 49 a factor of 36/(-63)*(x/8 + -2)?
False
Let o(a) = 12*a**2 + 11*a**2 - 16*a**2 - 12*a - 56 + 15. Does 8 divide o(-6)?
False
Let c(k) = -20*k - 3. Let y be (30/(-25))/((-4)/(-10)*1). Let n be c(y). Suppose -13*d + 12*d = -n. Is d a multiple of 6?
False
Suppose -363 = -g - 146. Let t = -118 + g. Suppose -t + 26 = -3*d - s, s - 23 = -d. Is 5 a factor of d?
True
Suppose x = 3*j - 8*j - 21, x - 4*j - 24 = 0. Let a = -1 - x. Let r = 31 - a. Does 18 divide r?
True
Let k be 5*2*(1 + (-2)/4). Let j(l) = -7*l + 21. Let t(z) = 7*z - 22. Let x(h) = k*t(h) + 6*j(h). Is 8 a factor of x(-8)?
True
Let v(m) = -21*m**3 - 3*m**2 + 3*m + 445. Is v(-11) a multiple of 7?
True
Suppose 2*u + 1 = 13, q - 304 = 2*u. Does 11 divide q?
False
Is (-1148)/(-3)*24/(-196)*-7 a multiple of 4?
True
Let p be (-36)/(-20)*15/9. Suppose -3*v = -4*v + 4*m + 346, 3*m = -p*v + 1053. Is 25 a factor of v?
True
Let l = 1748 + 6715. Is 61 a factor of l?
False
Let o(h) = 13 - 3*h**2 + 46 + 5 + h**2 - 12. Does 4 divide o(0)?
True
Let j(t) = -3*t**3 - 2*t**2 + t + 2. Let k be j(-1). Suppose -2*n = 2*d - 198, n = -3 + k. Does 10 divide d?
True
Let f(g) = -g**2 - 48*g + 35. Let x be f(-20). Suppose -5*t + x = 3*j, 5*j - 2*t - 1002 = -0*t. Is 15 a factor of j?
False
Let m(g) = 3*g**2 + 14*g + 23. Let o(u) = -4*u**2 - 16*u - 25. Let c(y) = -6*m(y) - 5*o(y). Does 2 divide c(-3)?
False
Let l(j) = -j**3 + 10*j**2 + 11*j + 2. Let b be l(11). Suppose -2*k + 790 = 3*f, 0 = -3*f + f - b*k + 524. Is 58 a factor of f?
False
Suppose 3*g = -4*y + 69, -28 = -3*y + g + 40. Let l = 46 + 5. Let d = l - y. Does 10 divide d?
True
Let u = -3861 - -6259. Suppose 3*a - 3*h = -2*h + 1789, 4*a + 5*h - u = 0. Is 19 a factor of a?
False
Let s(a) = -20*a**2 + 4*a + 2 - 7*a - a + 21*a**2. Let h be (9*(-6)/9)/(-1). Is s(h) a multiple of 7?
True
Let i be (31 - 4) + 2 - -3. Let p = i + -39. Let m = p + 42. Does 14 divide m?
False
Suppose 5*k = 50*k - 413632 + 38062. Is 26 a factor of k?
True
Let q(x) = -7 + 3 - 2*x + 5 + 2*x**2 - x**3. Let t be q(1). Suppose 2*s + c - 181 = t, -4*s = 3*c + 2*c - 347. Is s a multiple of 33?
False
Suppose 10*g + 6941 + 22163 = 18*g. Is g a multiple of 17?
True
Let v(f) = 87*f**2 + 20*f - 36. Let i = 417 + -415. Is 32 a factor of v(i)?
True
Let c(s) be the third derivative of -5*s**4/24 + 37*s**3/2 + 11*s**2 - 5. Does 17 divide c(-16)?
False
Let p(x) = x**3 + 36*x**2 - 8*x - 186. Is 6 a factor of p(-30)?
True
Let r = -131 + 173. Is r/2*1*64/6 a multiple of 44?
False
Suppose -273 = -20*o + 13*o. Suppose -35*b - 1120 = -o*b. Does 5 divide b?
True
Let a(o) = 2*o**3 - 2*o**2 - 4*o + 1. Let u be (-5)/(2*(-5)/10). Suppose 12 = 4*z, u*j + 0*z - 12 = z. Is 5 a factor of a(j)?
True
Suppose -38*n - 181440 = -36*n - 8*n. Is n a multiple of 70?
True
Let c be (2/3)/((-6)/(-18)). Suppose -c*u - 4*f + 17 = f, -5*f - 67 = -2*u. Suppose -u = -10*q + 9*q. Is q a multiple of 8?
False
Suppose 2*a = 2*y - 4050, 2*y + 4*a = -0*y + 4068. Let k = y + -895. Is k a multiple of 16?
False
Is 8 a factor of (11/6)/((-316)/(-60672))?
True
Let m = -1973 - -2247. Is m a multiple of 71?
False
Let i = -9206 - -16463. Does 8 divide i?
False
Let z = -4698 + 12076. Is z a multiple of 34?
True
Suppose -h + 7302 = -z, 5*h - 14401 = 2*z + 22127. Is 7 a factor of h?
True
Does 7 divide 5 - (-136)/6*(-87657)/(-122)?
False
Let v(u) = u**2 + 3*u - 5. Let n be v(-5). Let r(g) be the second derivative of g**4/12 - g**3 + 21*g**2/2 + 4*g. Is 8 a factor of r(n)?
True
Suppose 12*c = -0*c. Suppose c = -5*f + 2*m + 448, -420 = 2*f - 7*f - 5*m. Let t = 184 - f. Is 4 a factor of t?
True
Let d = -8261 - -9178. Is d a multiple of 19?
False
Let x(g) = -55*g**2 - 3 + 65*g**2 - 9. Is x(-6) a multiple of 12?
True
Let h = 43 + 13. Let u = h + -57. Let w(l) = -55*l + 2. Is w(u) a multiple of 7?
False
Suppose 0 = p - g - 47531, 4*p - 108398 = -4*g + 81718. Is 70 a factor of p?
True
Let i = 72 + -130. Let d = i + 44. Let k(o) = o**3 + 13*o**2 - 17*o + 6. Does 14 divide k(d)?
False
Is (114/12)/((-8)/(-2) - 4823/1206) a multiple of 19?
True
Let v(c) = -2*c**3 + 91*c**2 - 36*c + 114. Is 114 a factor of v(43)?
False
Is 9107/(-273)*-26*-6*2/(-8) a multiple of 7?
False
Suppose -21691 = -33*d - 8524. Suppose 0 = 4*o - 3*w - d, o - 4*w - 101 = -2*w. Is 10 a factor of o?
False
Is (-12)/((-3788)/2832 + (-28)/(-21)) a multiple of 6?
True
Let u(l) = 74*l**2 - 258 + 242 - 23*l**2 - 2*l. Does 26 divide u(-3)?
False
Let t(y) = y**3 - 30*y**2 - 66*y + 51. Does 13 d