7*f**2 + f + 16. Let c be (-1 - -15)*3/(-6). Is u(c) a multiple of 10?
False
Suppose 0 = 29*w - 39*w + 3560. Is 20 a factor of w?
False
Let u = -45 + 153. Suppose -d - 7 = -3*a, -4*d = -9*d + 25. Suppose -u = -a*y + y. Is 20 a factor of y?
False
Let c be (8/(-6))/(16/(-36)). Suppose 2*x - c*a - 81 = x, 2*a - 320 = -5*x. Is 22 a factor of x?
True
Suppose 2*h - 3*h = 4*d + 19, -95 = 5*h - 3*d. Let z = -4 - -2. Is 16 a factor of 6/z*1 - h?
True
Let j(c) = c**3 + 20*c**2 - 1. Let p be j(-20). Let g(w) = -25*w**3 - w**2 + w + 3. Does 12 divide g(p)?
False
Let g = 6764 + -4614. Does 25 divide g?
True
Suppose 0 = 2*d + 5*h - h - 64, 4*h = -d + 22. Is (40/(-15))/((-4)/d) a multiple of 4?
True
Suppose -3*b = q + 31, -4*q = -3*b - 7 - 19. Is 11 a factor of (-115)/b + (-3)/6?
True
Let q be 4/8 + (-2)/4. Let b(u) = -u**3 - u + 13. Does 13 divide b(q)?
True
Suppose -120 = -g - 2*g. Suppose 30 = f + b, g = f - 0*b - b. Let i = f + -13. Does 22 divide i?
True
Let z = 501 + -405. Is z a multiple of 3?
True
Let x = 730 - 82. Is x a multiple of 27?
True
Let j = 22 - 13. Let o = 20 - j. Let d = 23 - o. Does 11 divide d?
False
Let y(n) = -3*n**3 - 3*n**2 + 6*n. Does 90 divide y(-5)?
True
Suppose 0 = 3*i + 2*g + 22 - 2, 2*i + 14 = -2*g. Let o be -3 - i/(2/2). Is (12/o - 1) + 66 a multiple of 18?
False
Suppose 3*s + 12 = 0, -t + 100 = 3*s - 2*s. Is 8 a factor of t?
True
Suppose -66 + 31 = 5*l. Let n(k) = -k**2 - 12*k + 5. Is n(l) a multiple of 6?
False
Let f(w) = 1 + 0*w**2 + 4*w**2 + 17*w + 1 - 14*w. Let x be f(-2). Suppose 10*r - x*r = -16. Is r a multiple of 5?
False
Suppose -s = -2*f - 5*s, -5*f + 14 = -4*s. Let i(h) = h**3 + 0*h - 4*h + 4*h**2 + 2*h - f. Is 6 a factor of i(-3)?
False
Suppose 222 = -31*z + 873. Is z a multiple of 13?
False
Let x(b) = b**2 - 4*b - 17. Let t be x(7). Suppose 535 + 24 = 5*c + 2*d, -t*d = -4*c + 464. Is 21 a factor of c?
False
Let o(v) = -9*v + 2. Let j(t) = -5*t + 1. Let d(k) = 5*j(k) - 3*o(k). Let b be d(2). Suppose 4*c = b*i - 67, 3*i + 0*i + 2*c = 61. Does 19 divide i?
False
Is -4*7/(70/(-1755)) a multiple of 9?
True
Let y(u) = -u + 33. Suppose 0*l - 4*n = -l - 8, 4*n = 3*l + 32. Does 15 divide y(l)?
True
Suppose 12 - 6 = 2*y. Suppose 0 = -y*s + 2*s + 137. Is 24 a factor of s?
False
Let g = 22 - 7. Let p be (0 + g)*8/3. Suppose 0 = -o + 44 + p. Does 12 divide o?
True
Suppose 1728 = -6*s + 12*s. Is s a multiple of 12?
True
Suppose -1233 = -31*z + 7881. Is z a multiple of 4?
False
Suppose -45486 = -39*f + f. Is f a multiple of 9?
True
Let m(c) = -84*c - 14. Let j be m(-5). Suppose -3*d = 2*n - 206, -4*n = 2*d + d - j. Is 25 a factor of n?
True
Is 9 a factor of (89 - -15) + (-12)/(-3)?
True
Let x be ((-5)/2)/(7/14). Is 6 a factor of ((-4)/x)/((-5)/(-425))?
False
Suppose -10*f = -277 - 33. Does 13 divide f?
False
Let i(c) = -13*c - 19. Let j(m) = m - 20. Let x be j(12). Is i(x) a multiple of 17?
True
Let u(i) = -i + 8. Let x be u(3). Suppose -3*l + x*n = -92, l - 25 - 29 = -3*n. Does 39 divide l?
True
Let x(d) = 2*d**2 - d - 10. Let h be x(10). Suppose b + q = 3*q + 58, 3*b - 4*q - h = 0. Let t = b + -31. Does 11 divide t?
True
Let a be (-36)/(-8)*656/(-12). Is 3/(-4) + a/(-8) a multiple of 8?
False
Suppose 3*o = 5*g - 16 + 29, 4*o = -g + 25. Is o a multiple of 4?
False
Suppose 3*b + 3*w - 7*w - 1821 = 0, -b - 5*w = -588. Let t be 2/(-4) - b/(-18). Suppose 10 = -m + t. Does 16 divide m?
False
Let h(j) = -7*j**3 - 11*j**2 - 12*j + 16. Is h(-6) a multiple of 72?
False
Suppose 0 = -5*u + 11 + 9. Suppose -g = -u*s - 4*g + 47, -4*s + 3*g = -17. Does 3 divide s?
False
Let x(a) = 2*a - 8. Let i(p) = p. Let h(n) = -2*i(n) + 2*x(n). Let g be h(8). Suppose -5*t - 2*z + 102 = 0, 3*t + z + g*z - 61 = 0. Does 4 divide t?
True
Suppose -8*f - y = -4*f - 1325, -4*f = -2*y - 1310. Does 8 divide f?
False
Let k be (56/3)/(-4)*(-144)/(-56). Let y(d) = -14*d - 14. Is 17 a factor of y(k)?
False
Let c be -3 - (-7 + 2 - 3). Suppose -c*s = -3*s + 432. Let u = -125 - s. Is u a multiple of 19?
False
Let b(r) = -11*r**3 - 14*r**2 - 7*r + 11. Is 42 a factor of b(-5)?
False
Let l = 20 + -18. Suppose 0 = 5*k - 20, 191 = j + l*j + 2*k. Suppose -1 - j = -t. Does 22 divide t?
False
Suppose -y + 4 = -z + y, 0 = 2*y - 4. Suppose -5*v + a + 74 = -101, z = 4*v + a - 140. Does 3 divide v?
False
Let p(d) = 25*d - 5. Is 13 a factor of p(18)?
False
Suppose 16 = 5*v + 6. Suppose 10 - 38 = -v*l. Does 12 divide 4085/133 + 4/l?
False
Let v(s) = s**2 + 8. Let b be v(0). Let c be (-48)/(-64) + 34/b. Suppose 244 - 89 = c*h. Is 7 a factor of h?
False
Let y(c) be the third derivative of c**5/20 + c**4/12 - c**3 + 2*c**2. Is y(3) a multiple of 6?
False
Let r = -298 - -418. Suppose 0*a - 5*a = -r. Is 3 a factor of a?
True
Suppose -8*y = 5*s - 12*y - 1693, -3*s + y + 1020 = 0. Is s a multiple of 6?
False
Let s be 35 + (-5)/((-25)/10). Let x = -30 + s. Is 2/x + 4382/98 a multiple of 9?
True
Let d(r) = -281*r - 1. Is 51 a factor of d(-2)?
True
Let m(p) = -8*p + 8. Let r be (-12 - (-3)/1) + 3 + 0. Is m(r) a multiple of 8?
True
Let q(o) = 57*o**2 + 162*o - 164*o + 0 + 1. Is 8 a factor of q(1)?
True
Is 4 a factor of 1/5 - (-2004)/30?
False
Let x(m) = m**3 - 13*m**2 + 1. Let i be x(13). Let l = 13 - i. Is 24 a factor of ((-230)/30)/((-1)/l)?
False
Let m(a) = -2*a**2 + a - 26. Let s be m(0). Let r = s + 56. Is r a multiple of 15?
True
Let j = 337 + -217. Suppose -2*q = q - j. Suppose -4*f - 4*y = -2*f - 44, 4*y = f - q. Is f a multiple of 7?
True
Let h(p) = -44*p + 31. Is 31 a factor of h(-4)?
False
Suppose -3*w = 1 + 14. Is 3 a factor of 4 - (-3 + w/5)?
False
Let k(j) = -j**3 + 3*j**2 + 5*j - 1. Let u be k(3). Let s = 11 + u. Does 5 divide s?
True
Suppose 7*i - 8 = 6*i. Suppose y - 25 - i = 0. Is 11 a factor of y?
True
Let l be (6/(-10))/((3/(-5))/3). Suppose -44 = -2*c + l*g, 4*c + 3*g = -c + 89. Is c a multiple of 15?
False
Is (-2 - (-21095)/15) + 3/(-9) a multiple of 50?
False
Suppose -4*x = -7*x + 9. Suppose 0*t - x*t = -12. Suppose -3*b = 3*i - 7*b - 7, t*i + 2*b = 46. Does 2 divide i?
False
Let a(h) = h + 4. Let z be -6 + (-5)/(5/(-2)). Let v be a(z). Suppose v = -3*b + 100 - 10. Is 10 a factor of b?
True
Let m(y) = -15*y**3 - 2*y**2 + 3*y + 2. Let n be m(-2). Let r be 43/9 + (312/(-54) - -6). Suppose -n = -r*w - w. Is 18 a factor of w?
True
Suppose -b + 17 = -n, 20 = -3*n + 2*b - 34. Is (0 - -54)*(n/(-3))/4 a multiple of 9?
True
Suppose p + 5*j - 504 = 0, 5*p = -7*j + 2*j + 2600. Is p a multiple of 15?
False
Let x(y) = -2*y + 12. Let m be x(7). Let b(l) = -13*l**3 - 2*l**2 + 2*l + 3. Does 19 divide b(m)?
True
Suppose -15 = 2*w - 5*a - 44, -4*w = -5*a - 43. Suppose 2*h - 42 = g, -h - 2*g = -w*g - 21. Is 20 a factor of h?
False
Suppose -2*d - 12 = -4*o, -2 = -9*o + 4*o - 4*d. Suppose -52 + 0 = -o*z. Let a = 56 - z. Is a a multiple of 13?
False
Let a(m) = -3*m - 56. Let x be a(-24). Let f = x + 15. Is 21 a factor of f?
False
Let o = -433 + 240. Let h = o + 275. Does 6 divide h?
False
Is 35 a factor of 3/(((-27)/327)/(-3) - 0)?
False
Suppose 17 = 3*i + 2. Suppose -4*j - i*k = -71 - 26, -2*j + 2*k + 26 = 0. Is 4 a factor of j?
False
Suppose -2*z + 345 = 3*z. Let s = 115 - z. Is 21 a factor of s?
False
Suppose 1 = -2*s - 3. Let g(r) = 4*r**2 + r + 1. Is g(s) a multiple of 3?
True
Let a(v) = 121*v**2 + 28*v + 48. Does 13 divide a(-3)?
True
Suppose -4*v + 7*p - 6*p = -787, 985 = 5*v - p. Is 103 a factor of v?
False
Let h(o) = -59*o + 24. Let k be h(-5). Suppose -4*j + 3*j - 321 = -5*v, -5*v - j = -k. Is 16 a factor of v?
True
Let i(y) = 9*y - 4. Let p be i(1). Suppose d - 4*l - l - 36 = 0, p*l = -2*d + 12. Suppose x + 3*x = d, -3*m + 51 = -3*x. Is m a multiple of 11?
False
Let y(u) = 17*u + 4*u**3 - 3 + 25*u**2 - 18*u - 11*u**2 - 3*u**3. Is y(-14) a multiple of 10?
False
Let d(q) be the second derivative of q**5/20 + 3*q**4/4 + q**3/6 - 4*q**2 - 3*q. Let i be d(-6). Let z = i + -52. Is 14 a factor of z?
True
Suppose 4 = d + 3*g, d - 2*g - 4 = g. Suppose -4*w = -5*a - 3*w + 1040, -5*w = d*a - 832. Is 36 a factor of a?
False
Let v = -47 - -27. Let r(o) = o**3 + 20*o**2 + o + 48. Is r(v) a multiple of 14?
True
Suppose 0*s + 5*s = 5*k, -2*s = 4*k - 24. Suppose 482 = k*p + 6. Is 13 a factor of p?
False
Suppose 2*q - 8 = -c, -5*c - 11 = -q - 9*c. Suppose 3*d - 57 = -q. Is 3 a factor of d?
Tru