 17. Let j = -95 + d. Suppose 25*q = j*q + 170. Does 5 divide q?
True
Suppose -75155 = -59*v + 110813. Is 16 a factor of v?
True
Suppose 3*n = -5*s - 222, -3*n - 16 = -2*s - 109. Let a = 590 - 536. Let c = a + s. Does 3 divide c?
True
Let k = -3976 + 26446. Does 14 divide k?
True
Suppose 38 = b + 4*v, -v = -4*b + 197 - 28. Let q = -1702 + 1746. Suppose -b*g = -q*g + 216. Is 27 a factor of g?
True
Let a(s) = s**3 + 2*s**2 - 2*s + 23. Let h be a(0). Is 27 a factor of (1/2)/(h/1702)?
False
Suppose -3*d - 2*x + 9937 = 0, -74*d + 2*x = -69*d - 16583. Is 15 a factor of d?
True
Let k = -5098 - -7930. Is k a multiple of 11?
False
Let n(f) = f**3 + 9*f - 50*f**2 - 16 + 88*f**2 - 48*f**2. Let m be n(13). Suppose -a + p = -180, -5*a - 4*p + 256 = -m. Does 11 divide a?
True
Suppose 45712 = -104*o + 176752. Is o a multiple of 35?
True
Suppose -119*z - 18628 = -70631. Is 20 a factor of z?
False
Let q(r) = -r**2 - r - 8. Let h be q(-10). Let z = h + 226. Let w = -47 + z. Is 9 a factor of w?
True
Let i(n) = -n + 1. Let u(b) = -31*b + 115. Let h(r) = -6*i(r) - u(r). Is 3 a factor of h(6)?
False
Let a(y) = 22*y**2 + 6*y - 10. Suppose 86*z - 83*z - 15 = 0. Does 28 divide a(z)?
False
Let l(c) be the third derivative of -31*c**4/12 - 47*c**3/2 - 2*c**2 + 3*c. Is 30 a factor of l(-9)?
False
Let a be (1032/16)/((-2)/(-4)). Suppose -1819 = -109*b + 92*b. Let r = a - b. Is 5 a factor of r?
False
Let t = -67 + 82. Suppose -14*n - 2 = -t*n. Let p(r) = 4*r**3 + 3*r**2 - 3. Does 6 divide p(n)?
False
Suppose 4*b + 42 = -3*r + 14, 2*b + 14 = -r. Is 14 a factor of (-15414)/b*1/6?
False
Suppose -r = 5*c + 229, -50*r + 98 = -2*c - 52*r. Let y(f) = 78*f + 1. Let g be y(-1). Let q = c - g. Does 16 divide q?
True
Let b(s) = 2*s**3 - 39*s**2 - 4*s + 33. Let f(h) = -186*h - 1 - 15 - h**3 + 19*h**2 + 188*h. Let t(a) = 3*b(a) + 7*f(a). Is 19 a factor of t(16)?
True
Suppose -2*u + 16 = -3*s + 31, -5*u = -3*s + 24. Suppose -2*q = -3*l - 4*q + 2098, s*l = -3*q + 2103. Is 24 a factor of l?
True
Suppose 5*y - 2*y = 483. Let d = -115 + y. Suppose -48 - d = -2*u. Does 18 divide u?
False
Let v(m) = 23*m + 48. Let d(t) = -8*t - 17. Let x(i) = 11*d(i) + 4*v(i). Suppose -a - 2 + 5 = 3*h, 3 = -3*h - 3*a. Is 4 a factor of x(h)?
False
Suppose 11*d - 13559 = -4*w + 12*d, d + 3392 = w. Is 3 a factor of w?
False
Let r = 44 - -142. Let c be 1/((-2)/r*(-1)/2). Suppose m + t = 4*m - c, 186 = 3*m + 5*t. Is 18 a factor of m?
False
Let d = -82 + 170. Let x(h) = d*h - 21 - 177*h + 88*h + 8*h**2. Is 45 a factor of x(-5)?
False
Suppose -16*t + 3949 + 61554 + 10017 = 0. Does 20 divide t?
True
Let b(z) = 21*z - 126. Let f be b(6). Suppose 0 = -4*n - t + 3817, f = 3*n + 7*t - 6*t - 2863. Does 32 divide n?
False
Suppose -6*a = -4 - 14. Suppose -y = a*x - 75, -8*y + 3*y + 431 = x. Is 6 a factor of y?
False
Suppose -402*h + 312 = -399*h. Let u = h - 52. Is 13 a factor of u?
True
Let g = -202 + 208. Let q(c) = 102*c - 164. Does 10 divide q(g)?
False
Let f = 7193 + 30499. Is 18 a factor of f?
True
Let y be 9/(-6)*(-4)/3. Suppose 2*x + y - 10 = 0. Suppose -5*c - 182 = -2*p, -4*p - x*c + 334 = c. Is p a multiple of 10?
False
Let o = -128 + 65. Let a = -58 - o. Does 5 divide a?
True
Let s = 5749 - 5013. Is s a multiple of 22?
False
Suppose 2*m - 18 = 4*f, 0 = 5*m - 4*m + f. Let s(c) = -c**2 - 2*c + 9. Let u be s(m). Does 13 divide ((-18)/(-5))/(u/780*-4)?
True
Let l(t) = t**2 + 16*t + 60. Let d = -31 - -16. Is l(d) a multiple of 9?
True
Let c = 284 + -279. Suppose -x + 6225 = 8*j - 3*j, c*j - 4*x - 6225 = 0. Is 24 a factor of j?
False
Suppose 3*v - 2*w - 4 = 0, 5*v + 2*w = -2*w - 30. Let a = v + 6. Suppose -a*x + 73 = -551. Is x a multiple of 12?
True
Let p = 10229 - 7632. Is 11 a factor of p?
False
Let r(c) = 4*c**3 - c**2 + 2*c + 4307. Is r(0) a multiple of 59?
True
Suppose -3*b - 124*h + 127*h + 60546 = 0, -3*h = 2*b - 40329. Is b a multiple of 15?
True
Let i(w) = 5921*w - 168. Does 85 divide i(3)?
True
Suppose -5*j = -b + 10, -5*b + b + 2*j = -22. Suppose b*u + 1 = 11. Suppose -3*r + 139 = -5*q, -u*r = 2*r - 3*q - 189. Is r a multiple of 13?
False
Is (-1 + 191)*(15 + (-60)/12) a multiple of 20?
True
Suppose -53 = 5*j - h, -3*h + 9 = -j - 2*h. Let r(u) = -51164 + 25584 - 14*u + 25601 - u**2. Is 18 a factor of r(j)?
True
Let z(b) = 32*b + 7. Let l be z(6). Let o = 435 - 501. Let v = o + l. Is 25 a factor of v?
False
Suppose -42*z + 206812 = 107*z. Does 9 divide z?
False
Suppose 0 = -4*a - v + 33, 3*v - 10 = v. Suppose i = -5, 2*x + 9*i - 228 = a*i. Is 4 a factor of x?
False
Suppose 0 = 33*q - 5*q - 1848. Does 2 divide 5 + -13 + -4 + q?
True
Let u = 10338 - 5741. Is 51 a factor of u?
False
Let i = -11 + 6. Let k = -140 - -141. Does 15 divide (1 + k)*(i + 1 + 34)?
True
Suppose 6*u - 1765 = 743. Suppose -x = -f - 3*x + u, -f + x = -403. Is 12 a factor of f?
True
Let a(m) = -11*m + 1189. Let d(t) = -57*t + 5944. Let g(r) = 11*a(r) - 2*d(r). Is g(0) a multiple of 12?
False
Suppose 24*z = 5*z + 19. Is 26 a factor of (5 + (-127 - -6))/(0 - z)?
False
Let z = -2526 - -2915. Does 4 divide z?
False
Let j = 522 + -1290. Suppose -4 = -0*w + 2*w. Is (0 - 9/w)/((-72)/j) a multiple of 12?
True
Let p = 2063 - 348. Does 49 divide p?
True
Suppose 12018 = 2*o + 3*p, -183*o - 3*p + 18039 = -180*o. Does 27 divide o?
True
Let s = 153 + -147. Suppose -3*c - 2341 = -s*a + 2*a, 594 = a + c. Is a a multiple of 8?
False
Does 3 divide ((-28)/12 + 2 - (-16)/12) + 772?
False
Suppose -186*u + 187*u + 2*b = 7932, 3*u + 3*b = 23778. Is u a multiple of 20?
True
Let j(g) = -g**2 + 41*g - 136. Let n be j(37). Suppose 0 = n*s - 8*s - 1584. Does 66 divide s?
True
Suppose 3*i - 5*z = -i - 17, 3*i = 4*z - 14. Suppose i*f - 2 = -3*w + 9, 0 = 5*f + 10. Suppose -10 = -w*q + 5, q = -4*o + 143. Is o a multiple of 7?
True
Suppose 4*y = 2*w + 1 + 25, -3*w - 27 = -3*y. Suppose -254 = -y*x + 14. Does 7 divide x?
False
Let w be 4290/(-70) - (0 + (-6)/21). Let x(c) = c**2 - 12*c + 7. Let u be x(5). Let n = u - w. Does 32 divide n?
False
Let k = 1 - 10. Let y be (-3)/(k/21) - 2. Suppose y*t - 440 = 5*j, 334 = 2*t + 2*t + 2*j. Does 12 divide t?
False
Let x = -486 + 475. Let m = 216 + x. Is m a multiple of 11?
False
Suppose -4*u + 45 = 4*a + 1, 4*u + 2*a = 34. Let c(r) = -u - 13*r + 20 - 10*r + 16*r. Does 35 divide c(-14)?
False
Let n(l) = -l**3 + 18*l**2 - 4*l + 58. Let j be 22 - (0 + -5 + 10). Is n(j) a multiple of 5?
False
Suppose n - 218 = -4*u, 5*u - 850 = 19*n - 23*n. Let y = n - 71. Is 14 a factor of y?
False
Suppose -4918 = -8*g + 21*g - 23989. Does 12 divide g?
False
Suppose 101*u - 27*u + 4171392 = 176*u. Is u a multiple of 41?
False
Let w = 151 - 154. Is 12/((-405)/140 - w) a multiple of 3?
False
Suppose 0 = -19*d - 20*d + 38*d. Suppose -h + 3*r + 347 = 0, d*h + 3*h - 1021 = 4*r. Is 67 a factor of h?
True
Let m be -1 - (16 - 2/1). Is (((-16310)/m)/14)/(1/3) a multiple of 27?
False
Let f(o) = -o**2 - 9*o - 16. Let b be f(-3). Suppose b*c = 13*c - 4994. Is c a multiple of 26?
False
Suppose -35245 = -4*h + 3*o, 4*h = -363*o + 360*o + 35275. Does 106 divide h?
False
Suppose 23*j - 61174 = 24317. Is 53 a factor of j?
False
Is 2 a factor of (-4)/(-6) - (-48)/144 - -64?
False
Let u be 1/1*4/(-4). Let t(y) = 110 + 109 - 14*y - 221. Is t(u) a multiple of 5?
False
Suppose 18*i - 11*i = 210. Is 106 a factor of ((-40)/i)/((-2558)/(-2562) + -1)?
False
Let j be (-4)/(-2 - (2 + -3)). Let p(l) = -4*l**3 - 9*l**2 - 19*l + 15. Let g be p(-4). Suppose -n + g = -2*o, -442 = -2*n - o - j*o. Is n a multiple of 15?
False
Let t = -34 - -94. Suppose 0 = k + u - 0*u - t, 4*u + 224 = 4*k. Let w = -30 + k. Does 7 divide w?
True
Suppose 2*u - 2482 = -2*b, -9*b - 1237 = -u - 14*b. Does 31 divide u?
False
Suppose 4*u + 361 = 3*q, -2*q - u + 125 = -q. Suppose -y = -4*r + 1, -3*r - 1 = -y - r. Suppose -y*b = -312 - q. Is 33 a factor of b?
False
Let s be (-16)/10*-2*15/12. Let k be s/(-5 + 4) + 61. Suppose 0 = 2*b - 3 - k. Does 6 divide b?
True
Let b(q) = -q**3 - 4*q**2 + 5*q + 4. Let g be b(-5). Let w = -1441 + 1416. Let s = g - w. Is s a multiple of 18?
False
Let p(q) = q. Let b(w) = -8*w + 10. Let u(i) = b(i) + p(i). Let s be u(-4). Let z = 48 - s. Is 4 a factor of z?
False
Let k = 5156 - 2721. Is k a multiple of 10?
False
Let q = 4325 - 2883. Is q a multiple of 6?
False
Suppose -103 + 