 + 2*q**2 - 3*q**2 - q + 29 + q**3. Is z(4) a multiple of 22?
False
Let d(l) = -4*l + 9. Let z(w) = -3*w + 10. Let s(b) = -2*d(b) + 3*z(b). Let h be s(10). Suppose -h*r + 45 = -45. Is 15 a factor of r?
True
Suppose 6 = 2*y - 0. Suppose o - 151 = -m + y*o, 2*o + 586 = 4*m. Does 15 divide m?
False
Let u(p) = -p**3 - 3*p**2 + p - 2. Let k be u(-4). Suppose j + 4*v - 2*v - 2 = 0, 5*j - k = -3*v. Let h(b) = 3*b**2 + 3*b - 3. Is 5 a factor of h(j)?
True
Let o(u) = -u**3 - 11*u**2 + 20*u - 8. Let s be o(-13). Let k = s + -57. Is 6 a factor of k?
False
Let z(u) be the third derivative of u**7/336 - 7*u**5/60 + 12*u**2. Let w(r) be the third derivative of z(r). Is 15 a factor of w(5)?
True
Let i(n) = 5 + 6*n - 5*n + 4*n + n**2. Is 21 a factor of i(6)?
False
Suppose 10 = 5*g, 3*h - 3*g = -0*g. Suppose -h*t = -t - 3. Let f(w) = 3*w**2 - 4*w + 3. Does 9 divide f(t)?
True
Is 29 a factor of -8 - ((-5 - 1) + -128)?
False
Let d(i) = i**3 - 17*i**2 + 18*i - 38. Let c be d(16). Suppose 0 = -4*q - 11 - 17. Is 20 a factor of (q - c)/(2/(-116))?
False
Let y(p) = p**3 - 8*p**2 + 7*p + 8. Let k(h) = -h**2 - 4*h + 5. Let z be k(-4). Suppose 0 = w + 4*w + 4*g - 20, -z*g = -w + 33. Is y(w) a multiple of 32?
True
Let b = -6779 - -11827. Is 24 a factor of b?
False
Suppose 0 = 3*b - 7*b + 4*n - 1736, -5*b + 3*n = 2174. Let o = -196 - b. Is 10 a factor of o?
True
Let t be (-32)/(-14) - 14/49. Suppose -5*u = -2*g - 245, -t*g - 121 = -3*u - 6*g. Does 14 divide u + -6*2/4?
False
Let f = 30 - 22. Let i = -9 + f. Is 12 a factor of 34/i*1*-1?
False
Let g(q) = -q**3 + 8*q**2 - 2*q - 5. Let z be g(8). Let a be (51/(-2))/((-2)/(-8)). Let b = z - a. Is b a multiple of 21?
False
Suppose o + 0*m + 4 = 3*m, 0 = -4*o - m + 49. Let q(s) = -6*s - 4 - o*s + 6*s - 8*s. Does 9 divide q(-2)?
False
Let z(b) be the first derivative of b**5/30 + 7*b**4/24 - b**3/6 - 7*b**2/2 - 2. Let f(m) be the second derivative of z(m). Is 7 a factor of f(-6)?
False
Suppose -n - 8 = -a + 2*n, -2*n = a + 12. Is 11 a factor of (-1)/5 - ((-7620)/(-25))/a?
False
Let w(n) be the first derivative of -n**4/4 - n**3/3 + n**2/2 - n - 5. Let f be w(2). Let i = 18 + f. Is i a multiple of 4?
False
Let q(z) = -z**3 + 3*z**2 + 12*z. Let r be q(-5). Let c = r + -42. Is 21 a factor of c?
False
Let w(f) = 2*f - 18. Let m be w(8). Is 12 a factor of 46 - (-4 + (-4)/m)?
True
Let i(x) = -17*x + 5. Let o be i(-2). Let l be o/(-6*(-4)/16). Suppose s - 261 = -3*d - l, 0 = -4*d + 2*s + 310. Is 13 a factor of d?
True
Is (-9)/(-21) + (-1 - 108492/(-84)) a multiple of 33?
False
Suppose 0 = 378*g - 377*g - 7. Suppose j + 41 - 173 = 0. Suppose 2*x - 84 = g*d - 3*d, -3*x + 3*d = -j. Does 35 divide x?
False
Suppose q + 5 = 2*s - 470, 2*q - 970 = -4*s. Suppose 3*d + 0*i = -i + 190, -4*d + 2*i = -s. Is 5 a factor of d?
False
Suppose -l - 45 = 2*w - 2*l, 3*l = 5*w + 110. Is (-1)/(w/20)*10 a multiple of 8?
True
Let m(r) = -r**2 - 21*r - 32. Let d(s) = -18*s**3 + s**2 - s + 2. Let q be d(1). Is m(q) even?
True
Let n be 39 - -3*(0 + 1). Let a = n + -14. Is a a multiple of 28?
True
Let t be (-153)/27 + (5/3 - 2). Is t*(-100)/15*(-6)/(-4) a multiple of 30?
True
Let t(h) = 23*h**2 - 3*h - 6. Let s be t(-3). Suppose 2*m = -m - 2*r + 310, -2*r + s = 2*m. Is 25 a factor of m?
True
Suppose 7*j = -49 - 7. Is 4/6*(62 + j) a multiple of 6?
True
Let o be (-29 - (-20)/5)/1. Let j = 5 - o. Does 10 divide j?
True
Let b(r) = 29*r - 28. Is 23 a factor of b(14)?
False
Suppose 2*s - 8 = -2*s. Let m be -4 + s*(-3)/2. Is 6 a factor of 2/m - (-172)/14?
True
Suppose 0 = -2*d + 5*a + 21, -a = 3*d - 0*a - 23. Is 10 a factor of 5/(140/d) - 276/(-14)?
True
Suppose -4*u + 152 = -5*n - 26, 3*u = 2*n + 137. Let q = 5 + u. Is q a multiple of 15?
False
Suppose 79*l = 87*l - 248. Does 31 divide l?
True
Suppose 0 = -4*w + 2*p - 628, 0 = 4*w - 6*w - 5*p - 314. Let h = 97 + w. Is (-40)/h - 187/(-3) a multiple of 21?
True
Let d(f) = f**3 - 6*f**2 + 2*f - 7. Let x be d(6). Let s be x/(2 + -4 + 3). Suppose -c + 120 = s*n, 4*c - c - 72 = -3*n. Is n a multiple of 8?
True
Suppose -2*d = -5*c + 10, -3*c = -0*c - 6. Suppose d = 4*g - b - 37 - 229, -128 = -2*g - 2*b. Is g a multiple of 22?
True
Let p = 61 + -59. Let k(l) = 7*l**2 + 3*l - 2. Is k(p) a multiple of 16?
True
Suppose -1329 = -4*y + 1791. Suppose 0 = -8*p - 5*p + y. Is 12 a factor of p?
True
Let b = 4013 - 1868. Is b a multiple of 15?
True
Does 21 divide ((-81)/36)/(6/(-56))?
True
Let k = -303 + 430. Let x(p) = -17*p**2. Let d be x(2). Let l = k + d. Is l a multiple of 29?
False
Suppose -901 = -7*z + 1353. Let s = -211 + z. Is s a multiple of 17?
False
Suppose 0 = -2*p + 2. Let l be p + -2 + -6 + 4. Is -2 - (-15 - (0 + l)) a multiple of 10?
True
Let s(k) = -3*k + 6. Let j be s(6). Let t = j - -16. Let r(o) = 5*o - 5. Is r(t) a multiple of 15?
True
Let c = -48 + 48. Suppose 2*n - 13 - 5 = c. Is n a multiple of 9?
True
Suppose 23*d = 19*d + 4. Is 17 a factor of 36/d - (1 + 1)?
True
Suppose -3385 = 2*h - 7*h + 4*k, -2*k + 2053 = 3*h. Is 6 a factor of h?
False
Does 25 divide ((-19)/1)/(-6 - (-1827)/306)?
False
Suppose -4 = 4*z - 4*r, 4*r = -z + 2*r + 5. Is 11 a factor of (-2 + 12)/(z + (-45)/55)?
True
Suppose -7 = -5*p + 13. Let v(o) = -o**3 + 2*o**2 + 3*o - 2. Let l be v(p). Is l/(-6) + 3/9 even?
True
Let z(s) = s**3 - 6*s**2 + 10*s. Let r be z(4). Suppose -n - 210 = -4*n. Let c = r + n. Is 12 a factor of c?
False
Let v = 1024 + -167. Is v a multiple of 18?
False
Suppose -4*y - 308 = -2*n - 8*y, -20 = -4*y. Does 9 divide n?
True
Let p = -26 + 35. Does 3 divide (2 - -1)/(p/66)?
False
Is 20 a factor of (732/(-48) + 9)/((-1)/48)?
True
Let c(p) = 11*p**2 + 21*p - 6. Let q(x) = -7*x**2 - 14*x + 4. Let r(h) = -5*c(h) - 8*q(h). Let j be r(-8). Suppose 70 = 2*k + j. Is 23 a factor of k?
False
Let d(o) be the third derivative of 1/6*o**3 + 0 + 1/30*o**5 - 7/120*o**6 + 1/12*o**4 + 3*o**2 + 0*o. Does 2 divide d(-1)?
True
Is 3 a factor of -243*(10/(-6))/5?
True
Let f be 2034/10 + 18/(-45). Suppose -4*k = -5*v - 272, -2*v = 4*k - 503 + f. Is 11 a factor of k?
False
Suppose -2*s = 7*w - 10*w - 569, -4*s = -4*w - 1128. Does 13 divide s?
False
Let s be ((-8)/(-2) - 12)*-2. Is (84/s)/(4/32) a multiple of 21?
True
Let c(o) = o + 0 + 31*o**3 + 5 - 13*o**3 - 17*o**3. Is 7 a factor of c(3)?
True
Let a = 80 - 135. Let d = a - -76. Is d a multiple of 6?
False
Let p(g) = 12*g + 26. Let o be p(14). Is 19 a factor of o/10 - (-18)/(-45)?
True
Let l(r) = -r**3 + 2*r**2 + 3*r + 4. Let m be l(3). Let h(j) = 2*j**3 - 3*j**2 + 7*j - 9. Let a be h(m). Let i = a + -51. Is i a multiple of 12?
True
Let i be 116 - (3 + -7 + 0). Suppose -3*c + 6 = -i. Does 16 divide c?
False
Let s be 2 - 308/4 - -2. Let m be (-6)/(-15) - s/5. Let q = 17 + m. Is 12 a factor of q?
False
Let q(b) be the third derivative of b**6/120 + b**5/12 - 7*b**4/24 + b**3/6 - 3*b**2. Let y be q(-5). Let p = y - 20. Is 7 a factor of p?
False
Suppose 0 = 4*y - 844 - 212. Is 12 a factor of y?
True
Let r(k) = 738*k - 2. Let h be r(-2). Let j = 23 - 1. Does 15 divide h/(-22) + (-4)/j?
False
Let p = -144 + 57. Let j = p + 163. Is 20 a factor of j?
False
Suppose 53*q = 69*q - 9200. Does 43 divide q?
False
Let b(j) be the first derivative of -j**4/4 + 14*j**3/3 - j**2/2 - 4*j + 13. Let h be b(14). Is 14 a factor of 10 + (2 - h)/5?
True
Suppose -5*r = 4*p - 1579, -4*r + 0*p + 1296 = -5*p. Is r a multiple of 29?
True
Let t(j) = 37*j - 11. Does 25 divide t(3)?
True
Suppose 4*h - i = i + 1290, i - 655 = -2*h. Let a = h - 221. Does 7 divide a?
False
Suppose 25*x + 398 = 26*x. Is x a multiple of 7?
False
Let c(s) = -s**2 - s + 15. Let o be c(8). Let j = o - -107. Does 13 divide j?
False
Let x = -641 - -787. Is 15 a factor of x?
False
Let w(i) = -3*i + 4. Let g be w(0). Suppose 0 = g*t - 280 - 16. Is 9 a factor of t?
False
Let h(p) = 12*p**2 + 23*p - 66. Is 21 a factor of h(-15)?
True
Suppose x - 4*i + 10 = 0, -3*x + 0*x - 3*i + 30 = 0. Suppose 0 = x*k - 2*k + 16, 0 = -5*u - 4*k - 216. Let a = u - -74. Is a a multiple of 17?
True
Let k(d) = -d**2 - 55*d - 55. Does 13 divide k(-30)?
False
Let r(o) = -o**2 + 17*o - 8. Let s be r(10). Let k = s - -2. Does 8 divide k?
True
Let u be (-14)/10 - 4/(-10). Let m(q) = 43*q**2 - q + 8. Let l(f) = 128*f**2 - 3*f + 21. Let n(r) = 3*l(r) - 8*m(r). Is 21 a factor of n(u)?
Fal