 + 31*v + 69. Let r be t(-29). Suppose c + r*c = 804. Is 2 a factor of c?
False
Let r(q) be the second derivative of -q**5/20 + 11*q**4/12 + 23*q**3/6 + 16*q**2 - 172*q. Is r(12) a multiple of 34?
False
Let f(u) = 1113*u**2 - 214*u - 1424. Is 14 a factor of f(-6)?
True
Suppose 4*u - 4*t - 1320 = 0, -6*t - 333 = -u - 4*t. Suppose 0 = 2*i - u - 63. Does 27 divide i?
False
Let l be (-8 - (-3 - 21)) + -7. Suppose -l*h - 2551 = -13405. Is h a multiple of 83?
False
Let g = -14892 - -40596. Does 216 divide g?
True
Let f be ((-24)/15)/((-5)/(-250)). Let v = f + 82. Suppose 3*b + 90 = c + 2*b, -v*c = b - 177. Does 23 divide c?
False
Suppose 4*l = 5*q - 99637, 165*q - 163*q - 39853 = l. Does 155 divide q?
False
Suppose -4*i + 213302 = 3*u - 96807, 0 = 2*i + 5*u - 155037. Is 61 a factor of i?
True
Let v = 8233 - 7253. Does 39 divide v?
False
Let r(b) = 3*b. Let i be r(-2). Let q be 16/(-12) + (-86)/i. Let d = 41 - q. Does 7 divide d?
True
Suppose -5*o = 5*y + 5, 2*o + 7 = -y - 2*o. Is -55*1/y*4/(-10) even?
True
Let s = -88 - -67. Let n be (2*-3)/(-1 - s/15). Does 10 divide ((-95)/n*-10)/(1/(-3))?
True
Let d be ((-1900)/(-12) - -1)*(1 - -2). Let g = -465 + d. Does 3 divide g?
False
Let x(h) = -h**3 - h**2 + 7*h + 14. Let s be x(-2). Suppose s*l - 3*c - 635 = 0, -5*l - c = 3*c - 786. Is l a multiple of 79?
True
Let r(z) = -26969*z**3 - 2*z**2 + z. Let h be r(1). Is (2/5)/((-29)/h) a multiple of 25?
False
Let o = 356 - 350. Let x = o - -1558. Is x a multiple of 34?
True
Let f = -69 - -74. Let x(h) = -39*h**2 - 2*h - 15. Let q be x(f). Is 10 a factor of 1*-5 - q/8?
True
Let l(o) = o + 40. Let i be l(-16). Let s = 29 - i. Suppose -4*n + 3*n + 32 = -3*f, -s*n = 2*f - 143. Is 4 a factor of n?
False
Let h = 12073 + 7167. Is h a multiple of 127?
False
Let p(g) = -2*g**3 - 11*g**2 + 6*g + 3. Suppose 0 = -j + 2*q - 5, -48*j - 31 = -44*j + 3*q. Is 9 a factor of p(j)?
True
Suppose 4*p - 5*d = -4*d + 27384, -5*p = -d - 34230. Is p a multiple of 179?
False
Let g(z) = 72169*z - 650. Is 15 a factor of g(1)?
False
Let m(i) = 58*i**2 - 107*i + 1194. Does 11 divide m(13)?
False
Let z = -16 - -16. Is 22 - (3 - (3 - z)) a multiple of 15?
False
Is (-198)/24 + 18/72 - (-7026 - -1) a multiple of 3?
True
Let s(c) = 6*c**3 + 17*c**2 - 46*c - 37. Does 15 divide s(6)?
False
Let j be 3/2*(-4)/3. Let n = -2033 - -2035. Let w = n - j. Is w even?
True
Let s be (-384)/5*((-126)/12 + 3). Let q = s - 65. Does 73 divide q?
True
Suppose x - 2*g = 2*g + 1, 5*x - 3*g - 22 = 0. Let r be x/6*168/(-8)*-6. Suppose -5*a + 85 = -5*i, -5*a - 3*i + 4*i = -r. Is 17 a factor of a?
False
Let a(w) = 86*w - 36. Is a(6) even?
True
Let q = -2417 + 3039. Is 39 a factor of q?
False
Suppose 114329 + 421131 = 82*p. Is p a multiple of 10?
True
Let u be 2/(-3) + 1232/48. Suppose 61*h - u = 56*h. Suppose 12*q - 510 = -3*s + 7*q, 850 = h*s + 4*q. Does 11 divide s?
False
Let h(j) = 3*j**2 + j + 9. Let o be ((8/14)/2)/((-4)/(-196)). Does 13 divide h(o)?
True
Suppose -5*j - 5 = 0, 2*g + 4*j = -g + 11. Let c(k) = k**3 - 4*k**2 + 2*k - 6. Let b be c(g). Is 7 a factor of (-58)/b*(-10)/(0 + 1)?
False
Let u = 16156 + 1774. Is 22 a factor of u?
True
Suppose 5*t + 4 = 14. Suppose 0 = -8*p - 3 + 35. Suppose t*n = p*f + 108, 5*n - 3*f - 17 = 232. Is n a multiple of 23?
False
Let k = -16900 - -30306. Does 11 divide k?
False
Suppose -753 = c - 4*t - 2649, 9534 = 5*c - 2*t. Is 12 a factor of c?
True
Suppose 3577 - 665 = 6*u + 26*u. Does 13 divide u?
True
Let z(k) = -45*k - 50. Let i be z(-20). Suppose 8 = -4*s, -x + 8*s = 4*s - i. Does 48 divide x?
False
Let j = 77 + -77. Suppose j*p + 4*p = b, -5*b = -2*p. Does 39 divide -1 - -1*(1 + 273 + b)?
True
Suppose -133463 = -125*f - 280499 + 6359036. Is f a multiple of 16?
True
Let r(a) = -433*a - 691. Is r(-6) a multiple of 13?
False
Suppose 0 = 15*n - 340123 - 607262. Is 227 a factor of n?
False
Suppose -19 = 2*r - 107. Let c = r + -38. Is (-208)/6*c/(-4) a multiple of 13?
True
Let v be (32/48)/(2/(-36)). Let d be (23/2)/((-2)/v). Let f = d - -1. Is 27 a factor of f?
False
Let k(p) = -p**2 + 13*p - 8. Let x be k(12). Suppose -q - 2*d - 11 = 3*d, 24 = 3*q - x*d. Suppose q*w = 12, z - 2*w - 11 = 3*w. Is z a multiple of 5?
False
Let y = 613 - -3558. Is 4 a factor of y?
False
Suppose -2*w - 212 = -250. Suppose -h + 201 - w = 0. Is 26 a factor of h?
True
Let r = 5815 - -2702. Does 51 divide r?
True
Does 7 divide (-35*457*(-4)/(-10))/(-2)?
True
Suppose l + 2464 = n, -1293 - 1175 = -n - 3*l. Is 29 a factor of n?
True
Suppose 35969 = 3*d - 5*m, 3*d = -235*m + 230*m + 35959. Is d a multiple of 148?
True
Let d(t) be the third derivative of 0*t + 0 - 5/6*t**3 - 8*t**2 + 1/24*t**4. Does 5 divide d(10)?
True
Let p = 4332 + 81. Is 35 a factor of p?
False
Let x(f) = f**3 - 21*f**2 + 18*f + 22. Let c be x(20). Does 11 divide c/63 + (2 - 3198/(-21))?
True
Let o = 58 + -51. Suppose -141 + 57 = -o*v. Let t = v + 3. Is 3 a factor of t?
True
Suppose -3 - 1 = -2*s, -3*v - 2 = -4*s. Suppose v*g - 2 = -22. Does 4 divide 18/g*-22 - (-4)/10?
True
Let s be (-4)/14 + (-128)/(-7). Let r(h) = h**3 - 20*h**2 + 39*h - 24. Is r(s) a multiple of 15?
True
Let v(f) = 202*f**3 - 6*f**2 + 58*f - 262. Does 24 divide v(5)?
True
Suppose 44*i + 1940 = 34*i. Let a = 418 + i. Does 7 divide a?
True
Let x = 667 - 651. Suppose x*j = -23*j + 1170. Is j a multiple of 15?
True
Let z = -573 - -480. Let m = z + 309. Does 12 divide m?
True
Let b = 27401 + -7166. Is 57 a factor of b?
True
Suppose -2*p + 69601 = 5*c, 3*c - 235*p + 239*p - 41741 = 0. Does 9 divide c?
True
Let u be -2 - (-5 + 3) - -1*11. Suppose u - 157 = -2*h. Let b = -37 + h. Is b a multiple of 4?
True
Suppose 2*v = -21*v + 15824. Suppose -7*t + v = 107. Is 83 a factor of t?
True
Is 10 a factor of ((-841188)/(-21))/4 + (13 - (-1104)/(-84))?
False
Suppose 5*r + 16 = r. Let u be r + (-3 - (-1 - -4)). Does 32 divide (52/(-6) + -2)*(u - 2)?
True
Let x(l) = -l**3 + 5*l**2 + 9*l - 9. Let u be x(6). Let c = -424 - -973. Suppose u*m + 0*m = c. Does 12 divide m?
False
Let w(s) = -s**2 - 2*s - 8. Let c be w(0). Let l be (0/(-14))/(c/2). Suppose h - 3*k - 16 = -k, l = -5*h - 3*k + 28. Is 4 a factor of h?
True
Let y(o) = o**3 - o**2 + o - 2. Suppose 6*a - 4*x = 2*a + 28, -13 = a + 3*x. Let l be y(a). Suppose -l*n + 434 = b + 31, -n = -b - 97. Is 10 a factor of n?
True
Let d = -2453 - -3214. Is d even?
False
Suppose -4*g + 7 = -5*f, -5*f + 18 = 5*g - 2*f. Let v be (-1263)/(-21) + g/(-21). Let j = 90 - v. Does 6 divide j?
True
Let k = 1035 + -705. Suppose 8*v = -k + 1234. Is 44 a factor of v?
False
Suppose -64*r = -60*r - 80. Does 6 divide (r/8)/(2/72 - 0)?
True
Let u(m) = 3*m + 62. Let a be u(-13). Suppose 3*h + 2*h + 25 = 0, 5*h = -p - a. Does 16 divide ((-8)/(-6))/p + (-4624)/(-48)?
False
Suppose 13*k - 188 = 1242. Let d = k + 140. Is d a multiple of 25?
True
Suppose -66654 = -24*w + 66402. Is 154 a factor of w?
True
Does 41 divide (-15 + 3222/27)*-9*(-34)/3?
False
Suppose -4*t = 31952 - 36992. Does 28 divide t?
True
Let h be 108/(-24)*8/(-18). Suppose 5*d + 4*m - 1273 = 0, -520 = 15*d - 17*d + h*m. Is d a multiple of 5?
False
Let p be 425080/70 + 8/(-14). Suppose -42*u = -19*u - p. Is u a multiple of 6?
True
Suppose 107*f = 102*f + 1125. Suppose f = 10*r - 285. Does 2 divide r?
False
Let r be (795/(-45))/(1/15 - 0). Let z = 715 + r. Is 45 a factor of z?
True
Let t be 2/4*(6 + 4). Suppose -h + 4*d = -18, t*h - 5*d - 30 = -0*h. Suppose -8 + 440 = h*p. Is 41 a factor of p?
False
Suppose -2*o + 5*t + 140 = 0, -4*o + 3*t + 83 + 169 = 0. Is o*4/(-24)*-3 a multiple of 4?
False
Suppose -a - 16 + 8 = -4*f, -2 = -f. Suppose 0 = 31*p - a*p - 24986. Is 13 a factor of p?
True
Let p(n) = n**3 + 61*n**2 - 46*n - 392. Is p(-55) a multiple of 92?
False
Suppose 5*y = 20, -3*y + 115 = -x + 441. Is x a multiple of 4?
False
Is (-269811)/(-21) + (154/(-49) - -3) a multiple of 38?
False
Suppose 5*j = -50 + 110. Suppose -j*p - 2604 = -40*p. Is p a multiple of 8?
False
Let r(j) = -j**3 + 10*j**2 - 3*j + 33. Let s be r(10). Let x(m) = 13*m**3 - m**2 - 10*m + 12. Is 12 a factor of x(s)?
True
Let z(x) = -5209*x - 3. Is z(-3) a multiple of 56?
True
Suppose -2*p = -5*p + 6, -2*y + 3*p + 1104 = 0. Let n = y - 353. Does 16 divide n?
False
Suppose 0 = -10*a + 7758 + 8882. Suppose 33*x = 25*x + a. Is 8 a factor