) = -j + 13 + 9 - 4*r - 5. Does 2 divide p(-9)?
False
Suppose -3*j = -2*r + 2 - 10, 0 = 2*j - 8. Suppose 0 = -6*t - r*t + 6344. Does 69 divide t?
False
Let v(c) be the second derivative of 3*c**5/20 - 29*c**4/12 + 8*c**3/3 + 7*c**2 - 7*c - 13. Does 80 divide v(11)?
False
Let g(j) = -j**3 + j**2 - 4*j + 2. Let u be g(4). Is 25 a factor of 31/u + (-2)/((-12)/1083)?
False
Let k be (-4 - -10 - 10) + 7104/3. Suppose 3*p - 2*q = 1790, 4*p + 0*q - k = -3*q. Is 27 a factor of p?
True
Let n = -43 - 45. Is 56 a factor of -20*(n/55 + -1*4)?
True
Suppose 21095*c + 57970 = 21112*c. Is c even?
True
Suppose 3*p = -4*t + 5, -p = -0*p + 2*t + 1. Let r(d) = -3*d + 15. Let k be r(p). Let l(n) = 3*n**2 + 11. Does 17 divide l(k)?
True
Let l be -1*(-1 + 0)/1. Let z(i) = -23*i**3 - i + 1. Let p be z(l). Let m = 45 + p. Does 6 divide m?
False
Let j be (-6)/8 - 4221/(-28). Let c = -114 + j. Is c a multiple of 14?
False
Let w(u) be the third derivative of u**6/120 - u**5/15 - u**4/8 + 2*u**3 + 9*u**2. Let m be w(4). Suppose m = q - 3*q + 96. Does 22 divide q?
False
Let s(v) = 37*v + 23. Let m(y) = -9*y - 233. Let d be m(-26). Is 10 a factor of s(d)?
True
Suppose -c + 10 = -6*c - 5*b, 4*c = -b - 8. Let y(k) = -385*k + 6. Does 15 divide y(c)?
False
Let t(k) = -28*k**3 - 803*k**2 + 20*k + 67. Is 36 a factor of t(-29)?
True
Let y = -2939 + 3071. Is 6 a factor of y?
True
Suppose -4 = -0*l - 4*l. Is 8 a factor of 30/4*l/(-10)*-248?
False
Let m(r) = -6*r**2 - 11 + 11*r**2 - 778*r**3 - 9*r + 250*r**3 - 3*r**2. Is m(-1) a multiple of 11?
True
Let n(m) = 141*m - 17. Let g be n(-11). Let t = g - -855. Let z = -488 - t. Does 20 divide z?
False
Suppose -297*o - 5528664 + 29294601 = 236*o. Is o a multiple of 235?
False
Let c be 20/(-110) + (-708)/(-22). Let k = c + 96. Is k a multiple of 8?
True
Suppose -7*m = 11595 - 65775. Does 16 divide m?
False
Let x = -5 + 7. Let w = 269 + -269. Suppose w = x*p - p + 5, c + 4*p = 161. Is c a multiple of 31?
False
Is 5 a factor of ((-20926)/7)/(2/(-7))?
False
Let i = 1802 - 1010. Suppose 438*s - 435*s - i = 0. Does 66 divide s?
True
Let p(v) = -152*v - 2875. Is 15 a factor of p(-90)?
False
Let g = 17 + -54. Let t = 39 + g. Suppose -15 = m - t*m. Is m a multiple of 5?
True
Suppose -3*b + 4*b = 2*k + 629, -k = b + 307. Let n = k - -657. Does 15 divide n?
True
Let u(p) = -p**3 + 37*p**2 - 7*p - 146. Let i be u(36). Suppose -2*y + 478 = -386. Suppose -i = -19*w + y. Is 4 a factor of w?
False
Suppose 11*d - 15*d + 1080 = 5*s, 0 = -2*d - s + 534. Is d a multiple of 4?
False
Suppose -5*o + 199 = x, -5*x - 363 + 1438 = 5*o. Suppose -5*r + 3*i = -4, 3*r - 2*i + 3*i = 8. Suppose r*d - 5*d + x = 0. Is 36 a factor of d?
False
Suppose -27 = -4*h + 1. Let o(f) = -8*f - h*f**2 + 3*f**3 + 2*f**2 - 9 - 4*f**3. Does 3 divide o(-4)?
False
Let v = -576 + 390. Let f = -9 - v. Suppose -5*q + 138 + f = 0. Is 22 a factor of q?
False
Let c be ((-435)/(-2))/(24/32). Suppose 2*t + c = 5*n - 3*t, 0 = 5*n - 2*t - 284. Is 8 a factor of n?
True
Let h be (480/(-144))/(5/(-36)). Suppose h*n + 837 - 4173 = 0. Is n a multiple of 82?
False
Let m = 155 + -219. Let v = 69 + m. Suppose 3*k = 4*w - 171, -82 = -w - v*k - 22. Is 16 a factor of w?
False
Does 11 divide (-7)/21*1*3*-3659?
False
Suppose -11*b = 2*b - 26. Is 26 a factor of b + -3 - (15 + -276)?
True
Suppose -576332 = -170*x + 206178. Is 9 a factor of x?
False
Let l = 372 + 1968. Is l a multiple of 26?
True
Let x = 189 - 30. Suppose -179 = 4*w - 5*y + x, 2*w + 5*y = -154. Is 21 a factor of w/(-4)*-7*(-18)/21?
False
Let k = 43 - 49. Let b be -1 + (-7)/(14/k). Suppose o + o = -b*h + 288, 4*h + 3*o - 572 = 0. Is h a multiple of 21?
False
Let y(m) = 587*m**2 + 23*m - 41. Is y(3) a multiple of 6?
False
Let u be 7875/10*36/6. Suppose -u = 45*i - 60*i. Is 22 a factor of i?
False
Is (-15790)/50*(-146 + 41) a multiple of 57?
False
Let i be (-8)/2 - (-4)/(3 + -1). Let s be i/((-6)/21)*18/21. Suppose 3*l - 140 = -2*q, -3*q = -0 + s. Is 7 a factor of l?
False
Let k be (-173)/(-5) + (-4)/(-10). Let s(u) = u**2 - 4*u + 10. Let v be s(-7). Is 3 a factor of v/7 - 15/k?
True
Suppose 0 = -223*t + 890541 + 313659. Is 15 a factor of t?
True
Suppose 75*y = 142*y - 976927. Is y a multiple of 144?
False
Let r be 2/2 + (24 - 23). Let m(j) = 121*j**3 + 4*j**2 - 6*j + 7. Is m(r) a multiple of 11?
True
Let d(r) = -4*r - 7. Let k be d(-8). Let z = 29 - k. Suppose -3*v - z*t + 542 = 0, t = -v - 0*t + 181. Is 14 a factor of v?
True
Let p(g) = 8*g - 78. Let s be p(11). Let j(v) = -v**3 + 12*v**2 + 2*v + 30. Does 69 divide j(s)?
False
Let a be ((-93)/124)/(2/(-4000)). Let w = -837 + a. Does 17 divide w?
True
Let s = 6854 + -2612. Is 14 a factor of s?
True
Let h = -251 + 1226. Suppose 8*g + h = 2*n + 7*g, -2*n - 5*g = -1005. Does 14 divide n?
True
Suppose 5*n - 3376 - 24782 = -4*o, -5*n = -30. Is o a multiple of 52?
False
Suppose 0 = 33*q + 89 - 452. Let s(p) = 4*p**2 - 21*p - 30. Does 17 divide s(q)?
False
Is (14214/(-115))/((39/90)/(-13)) a multiple of 9?
True
Suppose -11*z + 5*z + 12 = 0. Suppose s + 8 = -3*l + 316, 652 = z*s - 3*l. Is 20 a factor of s/12*(-9)/(-3)?
True
Does 48 divide 14/(4232/(-472) + 9)?
False
Let c(s) = -3*s**2 + 32*s - 6. Let g(p) = p**2 - 11*p + 2. Let d(y) = -3*c(y) - 8*g(y). Let k be d(6). Does 24 divide (((-192)/k)/(-2))/((-14)/70)?
True
Let t(r) = -r**3 + 32*r**2 - 84*r - 20. Let k be t(29). Suppose -5*b = -4*u + 377, -u + k = b - 34. Is u a multiple of 5?
False
Suppose -11 = -2*t + m - 3, 3*m - 3 = -3*t. Suppose 5*o = 10*a - 12*a + 451, -5*a + 1205 = -t*o. Is 14 a factor of a?
True
Suppose n + 3*s + 45591 = 3*n, s + 68376 = 3*n. Is 179 a factor of n?
False
Let i = 107 + -108. Is (i + -1)/(-4)*102 a multiple of 16?
False
Suppose -23*i - 29547 = -86*i. Is 2 a factor of i?
False
Let b(k) = k**3 + 3*k**2 + 4*k + 4. Let w be b(-2). Suppose -14*r + 670 + 338 = w. Is 12 a factor of r?
True
Suppose 45562 = d - 10*c, -13*d + 4*c = -14*d + 45436. Does 232 divide d?
True
Let x(u) = u**2 - 17*u - 14. Let b be x(18). Suppose -2*d = 0, -2*j + b*d + 7 = 43. Is (-22)/j + -1 - (-102)/27 a multiple of 4?
True
Suppose -7*y - 238 = 413. Let m = 110 + y. Suppose 0*l + w + 19 = l, 0 = l + w - m. Is l a multiple of 6?
True
Let c(z) = 19*z**2 - 88*z - 11. Let h be c(9). Suppose -220 + h = w. Does 48 divide w?
False
Let j = -11637 - -20090. Does 107 divide j?
True
Let k = 10410 - 1050. Is k a multiple of 26?
True
Let d = 27 + -29. Let l be -9*(-3 - d) - 4. Is 17 a factor of 85/10*l*2?
True
Let z = -1077 + 3313. Is 33 a factor of z?
False
Let z(c) = 4*c**3 + 12*c**2 - 78*c - 2. Is z(5) even?
True
Let t(l) = 4*l**2 - 2*l**2 + 8*l - 3*l**2 + 0*l**2 + 2. Let j be t(8). Is 15 a factor of (20 - -1) + (-7)/14*j?
False
Suppose 0 = 10*u + 119 - 839. Let o = u - 69. Suppose o*s = -2*w - 23 + 158, 200 = 4*s - 4*w. Does 3 divide s?
False
Suppose 3*k + 398 = -3*v - 2*k, 3*v + 3*k + 402 = 0. Let h = v - -140. Let a(t) = 17*t**2 + 7. Does 31 divide a(h)?
True
Let i be 2/17 + 699/(-51)*-14. Suppose -2*l + 266 = -4*t - i, 4*l - 976 = -4*t. Is 10 a factor of l?
False
Suppose -l - 90 = l. Let d be 6450/l*12/(-10). Suppose -2*t + 448 = 2*w + 120, -t = -w + d. Does 28 divide w?
True
Let x be (-5 - (-2365)/20) + (-1)/4. Let u = x - 101. Is u a multiple of 12?
True
Suppose 4*z = -2*r + 8482, z = -4*r + 640 + 1498. Suppose -10*f = 288 - z. Is f a multiple of 8?
False
Suppose -351*t = -344*t - 21. Suppose 0 = 4*k + q - 215, -3*q = t*k + 42 - 192. Is 2 a factor of k?
False
Suppose x - 78717 = 120*s - 124*s, 3*x = -9. Does 123 divide s?
True
Let s = 0 + 3. Suppose 0 = -4*v + s*v + 127. Suppose 3*x + 2*k + 3*k - 172 = 0, -3*x + v = -4*k. Is 12 a factor of x?
False
Suppose 17*v + 4*v - 1533 = 0. Suppose 0 = -3*x + 4*d + 274, -3*x + v + 202 = -5*d. Is 5 a factor of x?
True
Suppose -4*b + 35 = 5*u, b + 2 = -u + 2*b. Suppose 0 = 2*q + c - 1587, -2*q + 6*c - u*c + 1567 = 0. Is 13 a factor of q?
False
Suppose -7*k - 524 = 148. Let f be (-11)/((-198)/4) - (-934)/9. Let y = k + f. Is y even?
True
Let o(b) = -b**2 + 2*b + 4. Let s be o(0). Suppose -67 = -s*w - 3*u + 4*u, 4*w - 5*u = 47. Suppose -13*g - 715 = -w*g. Does 29 divide g?
False
Suppose 0 = 10*w - 24*w + 7392. Let z = w - -567. Does 15 divide z?
True
Suppose 4*z + 155*b = 157*b + 3834, 962 = z - 4*b. Does 8 divide z?
False
S