2*a**2 + 48*a - 41. Is 17 a factor of p(f)?
True
Let a = 27 - 28. Let s(m) = -9*m**3. Is 3 a factor of s(a)?
True
Suppose 2*w + 2 = 4*x, 4*w + 3*x - 18 = 11. Suppose w*h + 18 = g + 2*h, 42 = 5*g - 3*h. Does 19 divide 3*-6*g/(-4)?
False
Let u be 3 - ((1 - -2) + 2). Let f be ((-48)/9 + u)*-9. Suppose 5*h + j = 3*h + f, -82 = -2*h + 3*j. Is h a multiple of 10?
False
Let z be (-3)/((-12)/20) - 3. Suppose 4*y - 252 = -z*m, -4*y + 252 = 2*m + m. Is 9 a factor of y?
True
Let a = -57 + 102. Let y = a + 2. Let b = 132 - y. Is b a multiple of 31?
False
Suppose 52*k - 17226 = 30*k. Does 31 divide k?
False
Suppose 111 = -19*j + 263. Suppose 4*w = 15 + 25. Suppose -w*v + 9*v + j = 0. Does 4 divide v?
True
Suppose -o = -3*z + 3 - 19, -4*o - 55 = 5*z. Let w(p) = -p**2 + 1. Let g(k) = -4*k**2 + 7*k + 13. Let s(t) = g(t) - 5*w(t). Is s(z) a multiple of 8?
True
Let d = -266 + 420. Is d a multiple of 16?
False
Let i be 184/64 - 2/(-16). Suppose 5*y + 2 + i = 0, 185 = 5*x - 5*y. Is 8 a factor of x?
False
Let u(f) be the third derivative of f**6/360 + 7*f**5/120 - f**4/6 - 2*f**3 + 2*f**2. Let v(m) be the first derivative of u(m). Does 28 divide v(5)?
True
Suppose 3*a + 6 = l + 3, 2*a = -3*l + 20. Suppose l*o - 1110 = -150. Is o a multiple of 12?
False
Suppose -2*q = 3*q - 55. Suppose 54 = 5*n - q. Suppose 17*s = n*s + 196. Is 12 a factor of s?
False
Let n be ((-10)/(-6) + -1)*6. Let z be ((-45)/6)/(3/n). Is 12 a factor of z/(-8)*(23 - 3)?
False
Let g be 2 - (4 - 1 - 109). Suppose -g = -3*b - 36. Let a = -1 + b. Is a a multiple of 11?
False
Let q(y) = -y - 4. Let b(h) = 2*h + 9. Let c(o) = -2*b(o) - 5*q(o). Let j be c(2). Suppose 7*g - 4*g - 2*w - 118 = 0, j*g - 5*w = 162. Is 19 a factor of g?
True
Is 11 a factor of -3 - 2/(-2)*80?
True
Suppose -3*k + 5*k = h + 3525, -5*h + 8835 = 5*k. Is 49 a factor of k?
True
Let c(z) = 11*z**3 + z - 15. Let r be c(5). Is r/20 + 1/4*-1 a multiple of 11?
False
Suppose z = -0*z + 33. Suppose 5*b - 15 = 0, 3*a = 3*b + 12 + z. Suppose 0*x = -2*x + a. Does 9 divide x?
True
Suppose 10 - 30 = -4*v. Suppose 0*p - 629 = -v*p - f, p - 137 = -3*f. Is p a multiple of 25?
True
Let g(q) = -5 - 4*q - 7 + q**2 - 3 + 8*q. Does 15 divide g(8)?
False
Suppose -41*u + 10*u + 3038 = 0. Is 19 a factor of u?
False
Suppose -2*t + 9*t - 1120 = 0. Suppose -t = -2*c - 2*c. Does 8 divide c?
True
Suppose -4*x = -2*u + 5*u - 82, 0 = -x - u + 20. Let i(j) = j**2 - 6*j - 4. Let n be i(7). Is 7 a factor of x/n + 4/(-12)?
True
Let u be 3/(0 - (-2)/(-6)). Does 11 divide -1*(340/u + 6/(-27))?
False
Does 4 divide (-14)/((-700)/870) - (-6)/10?
False
Let t(y) = 12*y - 56. Let g be ((-276)/48)/(1/(-4)). Is 44 a factor of t(g)?
True
Is 9 a factor of 5*510 + (-29)/(493/(-68))?
False
Let i be (-1)/(-2)*(-1 + -41). Let m = i - -24. Suppose -2*f + 4 = -0, 0 = -m*s + 2*f + 20. Is s a multiple of 4?
True
Let c be 39 + 1*-1*2. Suppose -3*n + 4*p + 14 = 0, 2*p - 4*p = 4*n - 4. Suppose -n*d + c = -33. Is 9 a factor of d?
False
Let r = -4 + 6. Let d(f) = 6*f**3 - 4*f**2 + 6*f - 2. Does 7 divide d(r)?
True
Let i(b) = -b**2 + 16*b + 12. Let c(z) = -8*z - 6. Let t(k) = -7*c(k) - 3*i(k). Does 50 divide t(-6)?
False
Suppose 10 = -a - a, 2*z - 5*a = 623. Is 21 a factor of z?
False
Let o(n) = 13*n - 247. Is o(37) a multiple of 46?
False
Let u = 1247 + -813. Is 6 a factor of u?
False
Is -6 + 318/((-18)/(-6)) a multiple of 5?
True
Suppose 3*h = -3*m + 5*m - 18, 5*m + 5 = -5*h. Let l = -13 - -17. Suppose 3 = f + l*w - m, 0 = 4*f - 2*w - 78. Is 18 a factor of f?
True
Let j(l) = l**3 - 28*l**2 + 271*l + 7. Is 12 a factor of j(14)?
False
Let p be (32/(-48))/((2/9)/(-1)). Suppose 58 + 254 = 2*v + p*z, 5*v - 5*z - 730 = 0. Does 15 divide v?
True
Is 18 a factor of -1887*((-280)/(-60) - 5/1)?
False
Suppose 5*u - 167 = 3*d + 1998, -1745 = -4*u + 5*d. Is 14 a factor of u?
False
Let h = -591 + 951. Is 5 a factor of h?
True
Let r = -253 - -370. Is r a multiple of 3?
True
Let r(g) = g**2 + 8*g. Suppose 2*s = -s - 3, 0 = t - 2*s - 7. Is r(t) a multiple of 5?
True
Let j(z) = 9*z**2 - 2*z - 29. Let u be j(6). Suppose -4*f + 445 = x, 2*f - u + 48 = -3*x. Is f a multiple of 22?
True
Suppose -5*p = 4*r + 2, -4*r - 4*p = -5*p - 10. Suppose 0 = r*b + 3*b - 2*n - 304, -n = b - 65. Is 10 a factor of b?
False
Suppose -29*u = -33*u + 3256. Suppose -3*v + u - 88 = 0. Is v a multiple of 22?
True
Let v(y) = -2*y + 28. Let n be v(14). Is (-1 - -3) + (n - 0) even?
True
Let p(s) = 2*s**2 + 2*s - 2. Let a be p(1). Suppose 4*n + a*j + 402 = 0, -3*n = -5*j + 268 + 53. Let v = -70 - n. Is 16 a factor of v?
True
Suppose -752 = -g - 8*j + 11*j, -4*j + 2256 = 3*g. Is g a multiple of 47?
True
Suppose -44763 = -32*f - 11*f. Is f a multiple of 27?
False
Let o = -1992 + 3393. Is o a multiple of 50?
False
Suppose -903 = -6*b + 483. Is b a multiple of 33?
True
Suppose -b + 4*x - 17 = -0*x, 0 = -5*b + 3*x. Suppose 0 = -w + b*w - 278. Is 33 a factor of w?
False
Let m(q) = q - 6. Let o be m(6). Suppose o*j = 3*j + 60. Let s = j - -38. Does 6 divide s?
True
Let g be 1 - 4/(-2)*1. Suppose -2*m - 229 = -m - 2*b, 2*m - g*b = -456. Let r = -148 - m. Is 29 a factor of r?
False
Suppose 6*r = 7*r + 1. Let w be 84/(-2)*r/2. Suppose 5*a - w - 39 = 0. Does 12 divide a?
True
Let g be 4 + -1 + -2*1. Let m be 793/39*g*3. Let d = -27 + m. Is 17 a factor of d?
True
Suppose -114 = -3*c + 186. Let o = 162 - c. Is 13 a factor of o?
False
Let p(s) = s**2 - 9*s + 12. Let i be p(9). Is 0 + (-3)/(-9) + 224/i a multiple of 6?
False
Let m(b) = 2*b**2 + 22*b - 174. Is 39 a factor of m(-32)?
True
Suppose 3 = 2*f + 5*b, b + 2 + 7 = 2*f. Suppose 5*m + 3 = -3*z + 1, -f*z + 8 = -4*m. Is ((-60)/(-1) - m)/1 a multiple of 24?
False
Let o(d) = 46*d**2 - 12*d - 64. Does 80 divide o(-4)?
True
Let q(a) = 30*a**2 - 18*a + 66. Is q(3) a multiple of 16?
False
Let h(b) = -26 + b**2 - 122*b + 121*b - 11. Is h(-11) a multiple of 20?
False
Let p(h) = 5*h - 7 - 13*h + 12*h. Let u be p(3). Suppose 3*w = -u + 53. Does 8 divide w?
True
Does 3 divide (-4)/(-10) + (3608/5)/11?
True
Let n = -961 - -1611. Is 50 a factor of n?
True
Let z(s) = 36*s**2 - 44*s + 16. Is 72 a factor of z(5)?
False
Let m = 285 - 202. Let c be 4/32*4*6. Suppose c*d - m = -29. Is 9 a factor of d?
True
Suppose 87*m = 86*m + 483. Does 64 divide m?
False
Let o(j) = j**2 + 9*j + 2. Let c be (-8)/24*(-1 - -4). Let d be -2 + -12 + c + 0. Does 23 divide o(d)?
True
Let i be 466/6 - 8/(-6). Suppose -3*r + 61 = n, -4*r + 2*n = n - i. Suppose 0 = -19*l + r*l - 4. Does 4 divide l?
True
Let d = 313 - 173. Does 19 divide d?
False
Let r = -2374 - -4044. Is r a multiple of 9?
False
Let j be (5 - 4)*(2 + 3). Suppose -3*w + j*m = -0*m - 26, 58 = 4*w + 5*m. Does 3 divide w?
True
Suppose -424 + 7156 = 12*z. Is z a multiple of 17?
True
Suppose 5*l + t + 55 = 0, -2*l - 9 - 13 = 3*t. Let h(j) = 3*j - 1. Let u(q) = 1. Let c(a) = -h(a) + 6*u(a). Does 18 divide c(l)?
False
Let x = -19 + 45. Let r = -12 + x. Does 3 divide r?
False
Let j = -725 - -1040. Is 3/(j/78 - 4) + -1 a multiple of 5?
False
Is (-4290)/(-12)*(-24)/(-4) a multiple of 65?
True
Let t = 2 + -6. Let j be (-2)/t - 63/(-2). Suppose 2*z = j + 24. Is z a multiple of 7?
True
Suppose 123 = -5*s - 82. Let k = s + 91. Does 18 divide k?
False
Suppose -152 - 145 = -3*x. Let y = 118 - x. Is y a multiple of 2?
False
Let y(r) = 8*r**2 + 4*r - 2 - 4 + 5. Let k be y(3). Let l = -17 + k. Is 22 a factor of l?
True
Let s(y) = -y**3 + 10*y**2 - 5*y - 33. Is s(6) a multiple of 9?
True
Is 49725/(-78)*(-2)/3 a multiple of 50?
False
Let w be (2/24*-4)/(1/39). Let c(d) = -d**2 - 19*d - 4. Is c(w) a multiple of 16?
False
Suppose 2*m + 2*k - 6*k = 218, -2*m - 5*k + 191 = 0. Does 25 divide m?
False
Suppose -3*n + 4*n - 375 = 0. Suppose -3*x = 4*j - 494, -2*x = -5*j + 15 - n. Does 34 divide x?
True
Let b = 41 + -36. Suppose b*p - 145 = 5*m, 7*p + 3*m - 123 = 3*p. Is 22 a factor of p?
False
Let s(m) = 79*m**2 + 9. Is s(-3) a multiple of 15?
True
Let x = -3 + 5. Suppose 0 = 5*h - x*t - 113, -h + 4*t - 3 = -40. Suppose -b + 19 = -h. Does 10 divide b?
True
Let h be 1/(((-2)/(-6 + 4))/(-53)). Let a = -23 - h. Is a a multiple of 11?
False
Let q(l) = -2*l. Let t be q(0). Suppose -2*s + 5*s = t. Suppose s*z - 7 = -z. Does 7 divide z?
True
Let d be (-28)/126 - 5692/(-18). Let v = -121 + d. Is 41 a factor