 17. Does 61 divide p(8)?
False
Suppose 6*r = 4*r - 28. Let t = r + 20. Suppose -36 = -7*c + t*c. Is c a multiple of 9?
True
Suppose -2*j - 24*j + 37934 = 0. Does 42 divide j?
False
Let k = 780 - 444. Is 24 a factor of k?
True
Does 26 divide (-52)/754 - (-27146)/29?
True
Let t(r) = 92*r - 3. Let m be t(-1). Does 16 divide (-1 + m)*(-6)/24*4?
True
Let r(p) = p + 3 + 14*p**2 + 0*p**2 - 4 + 0*p**2. Let l be 4/5*(-10)/(-4). Does 19 divide r(l)?
True
Let t = -123 + 284. Suppose u + t = 2*o, 7 = -3*u - 8. Does 26 divide o?
True
Suppose u + 3*u - 192 = 3*m, 0 = 2*m. Suppose k = 71 + u. Is k a multiple of 17?
True
Let d(k) = 6*k**2 - k - 12 + 12. Let n be d(1). Suppose -3*f + 110 + 123 = 4*z, 0 = n*z - 10. Is f a multiple of 25?
True
Suppose -3*j - 15 = 2*p - 47, 4 = p. Is 7 a factor of j/36 + (-2246)/(-18)?
False
Let c = 26 + -18. Let n be 18/c - (-9)/12. Suppose -x + 54 = 4*s - n*x, 0 = -s - x + 18. Is 4 a factor of s?
False
Suppose 5*q - 13 - 7 = -l, -4*q + 2*l + 16 = 0. Suppose v = -5*h + 76, q*h = v + v - 96. Does 14 divide v?
True
Suppose -5*g + 3*g + 8 = 0. Suppose -x = -g*p + 389, 3*p - 2*p - 111 = 3*x. Is 8 a factor of p?
True
Let k be 4/3*(-8 - -2). Let p(j) = -5*j**2 - 9*j - 4. Let g(v) = -4*v**2 - 8*v - 3. Let x(f) = -4*g(f) + 3*p(f). Is 12 a factor of x(k)?
True
Let q(d) = -13*d**2 + 5*d + 2. Suppose 0 = -3*s + 6*s - 12. Let c be q(s). Is c/(-3) + (1 - 0) a multiple of 13?
False
Suppose 15*a = 10*a + 4*l + 13605, 4*a - 10920 = -4*l. Is 25 a factor of a?
True
Suppose 5*s - 3*w = 75, -4*s - 2*w - w = -87. Is 39 a factor of (5 - s)*(3 - -10)/(-1)?
False
Let b(t) = -t**2 - 70*t - 121. Is b(-47) a multiple of 15?
True
Suppose 0 = 2*x - z - z + 26, 3*x + 7 = -5*z. Let t(a) = 9*a + 0 - 4*a + 2*a**2 + 11 + 8*a. Does 25 divide t(x)?
False
Let q be (-4)/6 + (-2576)/42. Let k = 128 + q. Is k a multiple of 33?
True
Suppose 125 = 8*d - 3*d. Let z = d - 23. Suppose 2*k - z*s = -18 + 78, -k + 6 = 5*s. Is k a multiple of 26?
True
Suppose -5*o + 20 = 5*l - 0*l, 3*o = -4*l + 12. Suppose y + 91 = -4*n, l = 3*n + n - 5*y + 121. Is 5 a factor of (6/9)/((-2)/n)?
False
Let q(y) = -y**2 + 11*y - 10. Let a be q(6). Let l = 48 - a. Is 22 a factor of 2 + (l - (-3)/3)?
False
Suppose -2*i - 127 = 5*a, -2*i - 2*a - 3 = 109. Let s(c) = -72*c**2 + c. Let z be s(1). Let u = i - z. Is u a multiple of 20?
True
Let f(u) be the third derivative of 49*u**4/24 + u**3/3 + 395*u**2. Let q be 2/6 - (-4)/6. Is f(q) a multiple of 17?
True
Let x = 27 + -23. Suppose 0 = 2*c, -f + 6 - 1 = -5*c. Suppose x*l - 60 = -5*q + q, -4*q - f*l = -55. Is 10 a factor of q?
True
Suppose -8*j + 11*j = 12. Suppose -t - 4*u - 568 = -j*t, -2*u = 4*t - 728. Is 13 a factor of t?
False
Let z(j) = 78*j**3 + j**2 - 4*j + 4. Let o be z(2). Suppose -20*y = -136 - o. Is y a multiple of 9?
False
Let v = -551 + 875. Let l = v + -225. Does 36 divide l?
False
Let x be (-40)/(-25) + (-2)/(-5). Let m(w) = -6 + 2 - 5*w - w**x + 4*w**2. Does 23 divide m(5)?
True
Let a = 62 - -35. Is a a multiple of 6?
False
Let n(v) = 10*v + 3. Let a be n(-6). Let c = -23 + a. Let g = c + 136. Is g a multiple of 28?
True
Let y = -1118 - -1622. Is 44 a factor of y?
False
Suppose -15*u + 5312 = u. Does 22 divide u?
False
Suppose 8 - 14 = -2*t. Suppose 6*g + 155 = 4*p + g, -2*p + t*g + 75 = 0. Let m = -17 + p. Is 13 a factor of m?
False
Let x(j) = 2*j - 24. Does 4 divide x(35)?
False
Suppose 10*i = 15*i + 30. Does 12 divide (-12)/4*(2 - (-296)/i)?
False
Suppose 0 = -5*x + 20, 3*x + 412 = -0*b + 4*b. Is b a multiple of 12?
False
Let b(p) = -p**3 - 20*p**2 - 21*p - 23. Let m be b(-19). Let i(u) = 3*u + 27. Does 18 divide i(m)?
True
Let d(o) = 3*o - 16. Let y be d(7). Let x(s) = s**2 - 3*s - 5. Let i be x(y). Suppose -25 = 5*z, -i*z + z = -3*w + 113. Is 7 a factor of w?
False
Suppose 8*n + 7560 = 22*n. Does 15 divide n?
True
Suppose d - 3*d + 58 = 0. Let f = 51 - d. Does 15 divide f/(-77) - (-214)/14?
True
Let b(y) = -14*y + 4. Let r be b(-5). Suppose 0 = 3*c + r - 263. Is c a multiple of 9?
True
Let u = -7 + 7. Suppose 2*o + 0*o = -2*i + 4, -i - 2*o + 6 = u. Is (1/i)/(2/(-36)) a multiple of 3?
True
Let l(x) = -10*x**3 - 8*x + 4 + 12*x - 1. Is l(-2) a multiple of 14?
False
Suppose -1613 + 367 = -b + w, 0 = 2*b - 3*w - 2495. Is 25 a factor of b?
False
Let q = -83 - -85. Let m = -98 + 37. Let x = q - m. Is 21 a factor of x?
True
Suppose -l + 78 + 122 = 0. Is l a multiple of 11?
False
Suppose 0 = -2*z + 3*l + 243, -3*z + 200 = -3*l - 163. Is (8/(-6))/((-8)/z) a multiple of 4?
True
Let s(g) be the first derivative of 6 + 0*g + 2/3*g**3 + 9/2*g**2. Is 9 a factor of s(-6)?
True
Suppose 4*g + 13 = 285. Suppose -22 = -5*o + y, -4*o + 3*y + 18 = -o. Suppose o*v = r - g, 4*r = 3*v - 4*v + 255. Is 12 a factor of r?
False
Suppose -41 = -4*h + 55. Suppose -h = -2*j + 90. Suppose -2*k - k = -j. Does 5 divide k?
False
Let d(n) = -n**3 - 9*n**2 + 34*n + 10. Is d(-12) a multiple of 34?
True
Let d = -102 + 28. Let g = d + 132. Is g a multiple of 12?
False
Suppose 1400 = -56*i + 66*i. Is 35 a factor of i?
True
Suppose 0 = d - 2*x - 127, 0*x + 269 = 2*d + x. Suppose -d - 224 = -7*n. Does 6 divide n?
False
Let a be (-5)/(-25) + (-2418)/(-10). Let z = -95 + a. Is z a multiple of 49?
True
Let l = -456 - -1481. Is 3 a factor of l?
False
Does 23 divide ((-69)/4)/(90/(-1680))?
True
Let p(r) = -6*r**2 - 55*r - 86. Let c(i) = -i**2 - 11*i - 17. Let g(t) = -11*c(t) + 2*p(t). Suppose -z = 4*z - 55. Is g(z) a multiple of 8?
False
Let i be 23 + 9/(-3) - -3. Let s be (-4)/(-1) - (-9 + 5). Let x = i - s. Does 15 divide x?
True
Let b(t) = 3*t**2 - 16*t - 65. Is 7 a factor of b(-11)?
False
Let l(y) = 20*y - 2*y**3 - 4*y - 9 - y - 9*y - 7*y**2. Is 17 a factor of l(-6)?
False
Suppose 0*x + 10 = 2*x. Suppose -x*f + 2*f + 12 = 0. Suppose n + 3*o - 9 = 0, -25 - 4 = -f*n - 5*o. Is 2 a factor of n?
True
Let p be (-5 - -3) + 3 + 1. Suppose 4*c = -c - 4*a - 26, -p*a = 2*c + 10. Does 2 divide 111/18 + 1/c?
True
Let o = -24 + 27. Suppose 2*h - 180 = 4*q, 185 = o*h - h + q. Suppose -h = -7*v + 5*v. Is 11 a factor of v?
False
Let u(f) = -f**3 - 25*f**2 - 2*f + 163. Is 3 a factor of u(-25)?
True
Let g = 457 + -203. Suppose -5*z = -3*t + 51 - g, 0 = -4*z - 5*t + 155. Is z a multiple of 10?
True
Suppose 3*g + b - 1895 = 0, -g + 4*b = 9*b - 655. Is 70 a factor of g?
True
Let k(i) = 2*i**2 + 10*i - 2. Let w be k(-10). Let n be 6 - (-1 + (-2)/(-1)). Suppose -4*h + w = n*m, -m - h + 9 = -11. Does 6 divide m?
True
Let a(g) = -g + 11. Suppose 4*b = -4*w, -w - 8 = -5*b + 16. Let i be a(b). Suppose -3*c = -3*k - i*c + 1, 5*k + 2*c = 25. Is 2 a factor of k?
False
Suppose 0 = -4*i - 3*i + 119. Let p(y) = y**2 - 5*y - 3. Let n be p(6). Suppose -3*h - 51 = -n*x, 0*h - 5*h = -x + i. Is 17 a factor of x?
True
Suppose 4*k = 20, 3*k - 17 = a - 0. Does 10 divide a/14 + 2358/42?
False
Let o = 1068 + -422. Is 5 a factor of o?
False
Let w = 790 - 183. Does 13 divide w?
False
Does 15 divide (1137/(-15) - 1)*(-100)/15?
False
Suppose -2*i + 3*i = -5*k + 43, k - 113 = -2*i. Suppose f - i = -0*f. Is 20 a factor of f?
False
Suppose -2*c + 169 - 497 = 0. Let z be -2*(c/(-8) + 4). Let l = -25 - z. Is l a multiple of 8?
True
Let o(s) = s**3 + 2*s**2 + s. Suppose -a = -5*t - 2 + 11, t = 2*a. Let g be o(t). Is ((-9)/g)/((-2)/44) a multiple of 2?
False
Let j be -4*3/9*39. Let s = j - -101. Is s a multiple of 9?
False
Suppose 0 = 3*g - 3*z - 225, -3*g - 301 = -7*g + 3*z. Is 11 a factor of g?
False
Suppose t + k = 34, 5*t + k - 78 - 88 = 0. Suppose -187 = -2*f + t. Is 22 a factor of f?
True
Let v = -3 + -13. Let w = 31 + v. Is w/(2/(32/6)) a multiple of 10?
True
Let b(r) = r**3 - r**2 + 1. Let q(s) = -174*s**3 + 5*s**2 - s - 7. Let w(v) = 5*b(v) + q(v). Is w(-1) a multiple of 21?
True
Does 35 divide 11325/45*6 - (5 - 0)?
True
Suppose -2*c + 6 = -n + 5*n, -5*n - 4*c = -3. Suppose 0 = 4*q - n*q - 20. Suppose -4*w + q = -2*w. Is w a multiple of 9?
False
Let j(d) be the second derivative of -229*d**5/20 + d**4/4 + d**3/3 - 6*d. Is j(-1) a multiple of 46?
True
Let k be 0 + (-4)/(1/1). Suppose 0 = 14*j - 1 - 55. Does 11 divide j*(1 - 12/k)?
False
Let f(m) = m**3 + 4*m**2 - 8*m + 12. Does 36 divide f(4)?
True
Let h(q) = 2 - 4 - 3*q + 4. Let n be h(-14). Suppose 0*r - 2*r + n = 0. Is 11 a factor of r?
True
Let x be 0/(0 + (-4)