pose 5*p - 27 = -7. Suppose 0 = 2*c - p*m - 58, c + 54 = 2*c + 3*m. Does 13 divide c?
True
Let k(g) = 8*g - 16*g**2 - g**3 + 2 + 2*g**2 - 7. Let h be k(-15). Suppose 0*p - 80 = -4*p - 5*a, 4*a - h = -5*p. Does 8 divide p?
False
Let j(n) = -5*n + 6. Suppose y + 55 = -3*v + 6*y, -v - 13 = -3*y. Let t = 19 + v. Is 18 a factor of j(t)?
True
Let o(g) = g**2 - 21*g + 51. Is o(40) a multiple of 38?
False
Suppose -6*j - 192 + 168 = 0. Let k(i) = 4*i**3 + i**2 - 6*i - 1. Let c(q) = -q**3 - 1. Let p(x) = -3*c(x) - k(x). Is 13 a factor of p(j)?
False
Suppose -2*h = 10 - 144. Suppose 3*x - h = -22. Does 15 divide x?
True
Suppose 0 = -8*j + 2*j - j. Is (j - 1) + (-580)/(-5) a multiple of 23?
True
Suppose -5445 - 2628 = -9*n. Is 23 a factor of n?
True
Let m be (-27)/6*384/18. Let s = 160 + m. Does 16 divide s?
True
Suppose 0 = 3*a + 15*n - 16*n - 1049, 0 = 4*a + 3*n - 1377. Is a a multiple of 44?
False
Let t = -972 - -1594. Is t a multiple of 49?
False
Let r be ((-534)/30 + 5)/(4/(-30)). Suppose -14*m + 11*m = -r. Does 16 divide m?
True
Suppose n - 51 = -4*i - i, -2*i + n + 26 = 0. Suppose 0 = -t + 30 - i. Is 7 a factor of t?
False
Suppose -3*u = -3*c - 4*u + 5246, 2*c + 4*u - 3494 = 0. Is c a multiple of 37?
False
Let q(l) = -l**3 - 5*l**2 - 4*l + 5. Let m be q(-6). Is 11 a factor of (-5)/10 - m/(-2)?
False
Suppose 3*x + 280 + 8 = 0. Is x/(3 - 7) - -2 a multiple of 8?
False
Suppose -z + 2*z - 3 = 0. Let g be z + -2 + -27 - -1. Let a = -2 - g. Does 10 divide a?
False
Let n(w) = 5*w - 12. Let m be n(5). Suppose 0 = 5*p - m - 12. Suppose -24 = -p*g + 36. Does 3 divide g?
True
Let r be (-14)/(-3)*(-18)/(-7). Let z be 1 + -42*(-8)/r. Suppose 5*t + 0*t = 4*h + 290, 0 = t + 5*h - z. Is t a multiple of 18?
True
Suppose 0 = 4*u - 72 - 36. Let r = u - -72. Is 40 a factor of r?
False
Suppose 2*i + 2*l = -3*l - 7, 5 = 5*i + 5*l. Suppose i*d - 5*z - 15 = 0, -22 = -2*d - 5*z + 23. Let t = d + 26. Does 9 divide t?
True
Let w = -74 + 690. Is w a multiple of 88?
True
Let w = 14 + -9. Suppose w*t - 4*t + 719 = 5*p, 0 = -3*t + 3. Is p a multiple of 16?
True
Suppose 0*o + 270 = 9*o. Does 3 divide o?
True
Suppose -6*u + 3086 = -3514. Does 20 divide u?
True
Suppose 5*x + 844 + 246 = 0. Let p = -34 - x. Suppose -3*a + p = a. Is 23 a factor of a?
True
Let d(a) = 2 - 4 - 3*a + 28*a**2 + 3*a. Let k be d(-2). Suppose -16 = -2*q + k. Is 19 a factor of q?
False
Let s(w) = -w. Let c be s(-1). Let q be 54/(c/4 - 0). Suppose 3*b = -2*p - 2*p + q, -3*p - 3*b = -162. Is 18 a factor of p?
True
Let k be (-4 - 2) + 3 + -1. Let d(l) be the second derivative of -l**5/20 - l**4/6 + l**3 + 3*l**2 + 88*l. Is d(k) a multiple of 7?
True
Suppose 2*q + t - 3 = 0, 0*q = -q + 2*t + 4. Suppose -3 = z - q*r, z - 3*r - 2*r + 15 = 0. Suppose -3*c = c + z*n - 129, -3*n - 11 = -c. Is 4 a factor of c?
False
Suppose 0 = -f + 5*f. Suppose p = -f*p - l + 1, 3*l = -12. Is 15 a factor of p/15 - (-89)/3?
True
Suppose 9 + 3 = 6*n. Suppose -7*k - n*p + 548 = -3*k, -4 = 2*p. Does 23 divide k?
True
Suppose 0 = -4*y + 13 + 3, 0 = 4*o - 5*y - 172. Let b = 27 + o. Let g = b + -21. Is 11 a factor of g?
False
Let z be 1/(1 - (-8)/(-12)). Suppose 2*y + 15 - 1 = z*d, -2*y + 10 = 3*d. Suppose -6*a + m = -a - 262, 0 = 2*m + d. Is a a multiple of 7?
False
Let q be ((-6)/5)/((-2)/(-440)). Let b = q + 529. Suppose 208 = 2*l + 5*p + 71, 3*p + b = 5*l. Is l a multiple of 25?
False
Let l(i) = -i**3 + 7*i**2 - 6*i + 8. Let d be l(6). Suppose d = 2*k + 2*k. Does 21 divide ((-136)/(-32))/(k/32)?
False
Suppose 3*h - 4 = -4*m, h + 2*h - 3*m = -3. Let x be (-338)/(-7) - 8/28. Suppose -3*u = 5*b - x, -2*u - 34 = -4*b - h*u. Is b a multiple of 9?
True
Let m be (10/8)/(4/16). Let d(r) = -6*r**2 - 4*r**3 + 3*r - 1 + m*r**3 + 3 - 4. Is 14 a factor of d(6)?
False
Let p(m) = -m**2 - 15*m - 9. Let y be p(-14). Suppose -y*w = -166 + 46. Is w a multiple of 8?
True
Suppose 5*o = -2*m + 13, -5*o = 3*m - o - 16. Let i = 140 + -147. Does 9 divide (i/m + 1)*-24?
True
Let i be 22 + -23 + -1787 + 0. Does 11 divide i/(-27) + 4/(-18)?
True
Suppose 0 = -n - 0*n + 5. Suppose x - 6*x + 25 = 0, -n*y + 2*x = -295. Does 10 divide y?
False
Let d be (-5)/10*-18 + -4. Suppose -t + 18 = d*p, -3*p - 4*t + 27 = 6. Suppose -4*c - 5*f = -232, p*c + 331 = 8*c - 4*f. Is 14 a factor of c?
False
Let s be (8/2 - 3) + 4. Suppose -50 = -s*z + 165. Does 9 divide z?
False
Suppose p = 6 - 1. Let c = 247 + -236. Suppose -p*d = -71 + c. Does 7 divide d?
False
Suppose 0 = 17*k - 0. Suppose -9*s + 4*s + 990 = k. Is s a multiple of 33?
True
Is 86 a factor of 698390/407 - 2/(-37)?
False
Let g(v) = 14*v**2 - v + 17. Let m be g(6). Suppose -2*r - 394 = -4*h, -2*r - 3*r + m = 5*h. Is h a multiple of 20?
True
Suppose -1035 = -4*j - j. Suppose -j = 2*v - 3*b, -300 = 3*v - 2*b + b. Let i = -29 - v. Does 22 divide i?
False
Suppose 0 = -3*p - 3 - 6. Let f be p - (2 - (-4)/2). Let i = 25 + f. Is i a multiple of 8?
False
Let b(p) = -3*p + 18. Let f be b(-11). Suppose -m + 2*m - f = 0. Is 7 a factor of m?
False
Suppose -4*c + 4*i - 47 - 1 = 0, 0 = 2*c - i + 28. Let o = c - -26. Does 8 divide o?
False
Let h = 2339 + -483. Is h a multiple of 32?
True
Suppose -12 - 12 = 4*s. Does 5 divide 4*(105/s)/(-5)?
False
Let q = 27 - -85. Suppose 4*h = -4*y - q, 0*h - y - 112 = 4*h. Let n = h + 46. Is n a multiple of 8?
False
Suppose 0 = -9*y - 30 + 138. Does 6 divide y?
True
Let z be -2 + 3 + 3/1. Suppose z*j + 52 = 2*d, -4*d + 5*d + 5*j - 40 = 0. Is 15 a factor of d?
True
Suppose -109 + 514 = 3*x. Is 6 a factor of x?
False
Let m(f) be the third derivative of -f**5/60 + f**4/6 + f**3/6 - 2*f**2. Let g be m(5). Let w(n) = 2*n**2 - 5*n - 6. Does 15 divide w(g)?
False
Let v be ((-8)/(-10))/((-2)/(-5)). Suppose c - 54 = 83. Suppose c = 4*z + h, 4*z - v*h - 89 = 33. Does 8 divide z?
False
Let c be (-2 + -4)*(-2)/2. Let w be (35/(-21))/((-2)/c). Let l(r) = 9*r + 9. Does 11 divide l(w)?
False
Suppose 5*i = 2*a - 0*a + 31, 3*i - 23 = -a. Let r be (0*3/(-12))/1. Suppose r*b = b - i. Is b a multiple of 5?
False
Suppose 51*p = -7*p + 54462. Is p a multiple of 15?
False
Let j(g) = 8*g**2 + 5*g + 13. Is 13 a factor of j(-12)?
True
Suppose 15*j - 321 = 10*j + 4*r, 4*r = 4. Is j a multiple of 8?
False
Does 10 divide 0 + (-6)/9 - (-2120)/30?
True
Does 30 divide (870/60)/((-2)/(-24))?
False
Suppose 0 = -6*d + 6 - 36. Let c(i) = -i**3 - 7*i**2 - 17*i + 1. Is 11 a factor of c(d)?
False
Is 3 a factor of ((-328)/8)/(0 + -1)?
False
Suppose s = -3*l + 11 + 14, 0 = 5*l + 3*s - 39. Suppose 12*c - l*c - 54 = 0. Suppose -4*x + 2*z + c = 0, x - 2*z = -4*x + 25. Is x a multiple of 3?
False
Is ((-2860)/(-30))/((4/15)/2) a multiple of 55?
True
Let i(t) = 5*t - 3. Let n(d) = -14*d + 8. Let m(l) = -17*i(l) - 6*n(l). Let v = -55 + 42. Is 8 a factor of m(v)?
True
Suppose -4*l = 4*r + r - 264, -r + 4*l + 72 = 0. Let t = r + -47. Does 9 divide t?
True
Suppose -4*l - 52 = -3*q, 0 = -5*q + l + 34 + 30. Is 6 a factor of q?
True
Suppose 2*m = -13*y + 10*y + 1112, 3*m = -15. Is 17 a factor of y?
True
Let w(v) = v**3 - 7*v**2 - 9*v - 9. Let k be 15/(-4)*144/(-60). Does 12 divide w(k)?
True
Suppose 6*q - 129 = 5*q + 4*d, 4*d = 4*q - 504. Is 17 a factor of q?
False
Let b(p) = -p - 1. Let w be b(-2). Suppose h - w = 1. Suppose -1 = -3*l + 4*m, -13 = -3*l - h*m - 0*m. Is l a multiple of 3?
True
Suppose 3*n = -2*n + 375. Let d = n + -24. Is 9 a factor of d?
False
Let c = -7 + 11. Suppose 4*p - 2*s - 37 = 3*s, -p + 23 = -4*s. Suppose 25 = -5*y, -p*v - v = -c*y - 32. Is 3 a factor of v?
True
Let t = 0 + 41. Let i = t - -115. Suppose -4*j + 20 = -i. Does 11 divide j?
True
Let n(a) be the third derivative of a**7/504 - a**6/360 + a**5/40 + a**4/12 - 5*a**2. Let u(l) be the second derivative of n(l). Is u(2) a multiple of 10?
False
Suppose 136*c + 31 = 137*c. Is c a multiple of 7?
False
Suppose 161 - 14 = 3*w. Let p be (-33 - 1) + -10 + 9. Let c = p + w. Does 14 divide c?
True
Let d(c) = 15*c + 260. Is 20 a factor of d(0)?
True
Let u(a) = 42*a**2 - 18*a - 26*a**2 - 17*a**2 - 12. Let r(v) = 7*v - 1. Let l be r(-1). Is u(l) a multiple of 12?
False
Suppose 2*j - 4*w = 14, 5*j + 5*w = w + 105. Is 17 a factor of j?
True
Let s = -4 + 9. Suppose -v + g - s = 0, -v + 9 = 4*g - 1. Let k(l) = 16*l**2 + l + 3. Does 13 divide k(v)?
True
Let j = 61 + -47. Is 7 a factor of