7*w + 5. Let l(b) = -5*b**2 - 8*b - 5. Let u(v) = h*d(v) + 3*l(v). Does 4 divide u(-5)?
False
Let p be ((-18)/(-24))/((-2)/(-144)). Let f = 2 + p. Is 25 a factor of f?
False
Let y = -18 + 25. Let u(t) = 3*t + 6. Is u(y) a multiple of 12?
False
Suppose 5*j - 44 - 181 = 0. Is j a multiple of 15?
True
Let i(r) = -45*r**3 + 2*r**2 + r. Suppose 1 + 1 = -2*f. Is i(f) a multiple of 23?
True
Does 8 divide (72/(-14))/((-2)/7)*1?
False
Let n = -6 + 9. Is n/2*92/6 a multiple of 11?
False
Is (-36)/(-42)*12*42/9 a multiple of 24?
True
Let w(a) = -a**2 - 12*a + 23. Does 3 divide w(-13)?
False
Let h(m) = -4*m - 1 - 2 + 1. Suppose 5*z = -25 + 5. Is 14 a factor of h(z)?
True
Suppose -2*f = 0, 5*a - f = f + 300. Does 12 divide a?
True
Let h be 3 - (-1 + -3 + 2). Suppose -q + 58 = 5*x, 0 = h*x - x + 4*q - 40. Is 12 a factor of x?
True
Let p = 123 - 77. Let x = 71 - p. Does 5 divide x?
True
Let w(f) = f**2 - 6*f - 7. Let t be w(7). Is (-3 - 8)*(t - 1) a multiple of 3?
False
Does 13 divide (2/6)/((-1)/(-39))?
True
Let y be (0/(-2))/(1/1). Is -2*(y + (-10)/4) a multiple of 2?
False
Suppose -2919 - 623 = -14*h. Is h a multiple of 40?
False
Let w(j) = 8*j**2 + j + 1. Let p be w(-1). Let y = -4 + p. Suppose y*s - 148 = -20. Is 14 a factor of s?
False
Let m(x) = 16*x - 1. Let d be m(4). Let i be 299/(-9) - (-6)/27. Let w = d + i. Is w a multiple of 14?
False
Let g = -82 + 120. Let x be ((1 + 7)/(-2))/(-2). Suppose -46 = -x*b + g. Is b a multiple of 12?
False
Suppose -5*g - 2*h + 18 = 0, 0*g - 2*h - 18 = -4*g. Suppose -4*m + 54 = g*b + 2, 2*m + 4*b - 36 = 0. Is 8 a factor of m?
True
Let c = -41 - -63. Does 11 divide c?
True
Suppose 4*j = 3*j - 8. Let x be (1/2)/((-1)/j). Suppose k + x*k = 65. Is k a multiple of 13?
True
Suppose 0 = -3*w - 4*n + 81, 0*w + 5*n = -2*w + 61. Is 13 a factor of (-21)/(-14) + w/2?
True
Let j(u) = 3*u**3 + 4*u**2 + 4*u + 3. Let s be j(-3). Does 3 divide 9/s - (-43)/6?
False
Let p(t) = -t**3 - 6*t**2 - 5*t. Let w be p(-5). Let m be (1 - w)/(2/10). Suppose -m*j = -j - 80. Is j a multiple of 10?
True
Suppose -z + 0*z + 3*x = -19, 0 = z + 3*x - 31. Suppose 0 = -2*w - 2*i + 14, 3*w = -0*w - 4*i + z. Is (0 - 6/(-3)) + w a multiple of 2?
False
Let d be (4/(-10))/((-1)/230). Let w = -55 + d. Let f = 61 - w. Is f a multiple of 12?
True
Let b be 4*4/(16/5). Suppose -2*z + y + 14 + b = 0, y - 31 = -3*z. Is 5 a factor of z?
True
Suppose 312 = -s - 2*s. Does 26 divide (-1)/(((-14)/s)/(-7))?
True
Suppose 2*h = 44 + 36. Is h a multiple of 10?
True
Let u = 7 + -8. Is 3 a factor of u*6*(-5 + 4)?
True
Suppose -2*i = -i - 86. Suppose 2*p = i + 434. Does 9 divide (1/(-2))/((-5)/p)?
False
Suppose 5*g + 4*h - 20 = 0, -5*h + 6*h + 8 = 2*g. Suppose 0*o - g*o = 4*x + 148, 5*o = 5*x - 235. Is 6 a factor of (o/(-8))/((-3)/(-8))?
False
Suppose 2*n - 48 = 2*j - 16, 5*n = -5*j + 90. Is n a multiple of 17?
True
Let v(n) = n**2 - 2*n - 5. Is 7 a factor of v(-3)?
False
Suppose -11 + 1 = -5*n. Let o = n - -22. Is 10 a factor of o?
False
Let o(s) = -s**2 + 2*s - 3. Let u be o(3). Let q = u + 22. Is q a multiple of 6?
False
Is 16 a factor of 4/1 + (-60)/(-1)?
True
Suppose -5*z - 10 = -3*z. Let n = 4 - z. Is 3 a factor of n?
True
Let b(a) = -14*a + 2. Is b(-2) a multiple of 16?
False
Let j be 4 - 2 - -23 - 2. Let n(s) = -s**3 + s**2 + 45. Let q be n(0). Suppose q = 4*b - j. Is b a multiple of 14?
False
Let x(a) = a + 2*a**2 - a**2 + a**2. Let z be x(-1). Let j = z + 7. Is 5 a factor of j?
False
Let o = 15 - 2. Suppose 58 = w + o. Is 13 a factor of w?
False
Let s(n) be the second derivative of 4*n**3/3 - 6*n**2 - 4*n. Does 9 divide s(5)?
False
Let w(y) = -2*y - 1. Suppose -5*i + 30 = -5. Let s be w(i). Is s/6*12/(-10) even?
False
Let r = 9 + -5. Suppose 48 = n + 3*y, 2*n - r*y - 24 - 52 = 0. Is 26 a factor of n?
False
Suppose -3*y = y - 2*d - 70, -3*d + 15 = 0. Is y a multiple of 5?
True
Let v be (0 + -1)/((-3)/(-9)). Let d(h) = -5*h + h + 0*h. Is 12 a factor of d(v)?
True
Suppose 2*x = -2*x + 3*g + 253, x = 5*g + 76. Let q = -17 + x. Is q a multiple of 22?
True
Let l(s) = -13*s + 2. Let v be l(6). Let t = 124 + v. Is 24 a factor of t?
True
Suppose 8*u = 5*u + 309. Is u a multiple of 25?
False
Let i(j) = -j**2 - 8*j + 3. Let y be i(-9). Is (-107)/(-3) - 2/y a multiple of 12?
True
Let p(a) = 3*a - 4*a + a - 2*a + 4*a**2. Let y be p(-3). Suppose -f + y = f. Is 6 a factor of f?
False
Suppose -3*n - 8 = -2. Let w be -5*(n + 1) + 0. Suppose -2 = z, 3*v - w*z + 54 = 5*v. Is 13 a factor of v?
False
Suppose 954 + 86 = 13*h. Does 4 divide h?
True
Suppose -2*j = -4*j. Let w(d) = 4 + j*d - d + 4. Is w(0) a multiple of 4?
True
Does 36 divide (594/4 - (-3)/(-6)) + -4?
True
Let k(h) = h + 11. Let r be k(-9). Suppose r*a = 4*a - 104. Let d = a - 16. Is d a multiple of 21?
False
Let r(m) = -4*m**2 - 14*m - 11. Let u(t) = t**3 + 5*t**2 + 2*t + 7. Let w be u(-5). Let f(v) = -v**2 - v. Let p(h) = w*f(h) + r(h). Is 13 a factor of p(-8)?
True
Let g be (23 - 3)*(-8)/(-10). Suppose 3*m - g = -m. Suppose m*r - 121 = 67. Does 13 divide r?
False
Suppose -16 = -5*o + h - 57, -3*o - 4*h = 20. Let a(j) = -j**3 - 6*j**2 + 9*j - 1. Does 15 divide a(o)?
False
Let m be (-3)/(((-4)/38)/2). Suppose -4*x - m = -197. Suppose 0*k + x = k. Does 15 divide k?
False
Let u(l) = 14*l - 4. Let v be u(-5). Suppose -4*i - 165 - 23 = 0. Let s = i - v. Is s a multiple of 9?
True
Let i(g) = -g**3 + 13*g**2 - 16*g + 11. Let k be i(11). Let j = k + -50. Is j a multiple of 13?
False
Let p = -17 + 30. Suppose 3*z + p = -17. Is (-7 + 0)/(5/z) a multiple of 14?
True
Let f = 15 - 4. Is f a multiple of 11?
True
Let c(d) = 2*d**2 - 12*d - 10. Let v be c(10). Let j = v - 43. Suppose 3*a - j = -3*g + 3, g + 2*a = 7. Does 6 divide g?
False
Let d(h) = h**2 + 2*h - 3. Let m = -4 - 2. Is d(m) a multiple of 13?
False
Suppose 3*u + 5*k - 93 = 0, -3*k - 6 = -k. Is u a multiple of 9?
True
Let t = 8 - 5. Suppose -t*y + 2*k = -13, -y + 1 = -2*k - 2. Is 5 a factor of y?
True
Let m(d) = -d**3 + 12*d**2 - 9*d - 16. Let z(p) = -p**2 + 10*p - 14. Let a be z(5). Does 5 divide m(a)?
False
Let x(y) = -61*y + 1. Let o be 16/12*3/2. Let r be (-1 + o - 3)/2. Does 25 divide x(r)?
False
Suppose 5*g = 47 + 28. Suppose -9 = -q + g. Is q a multiple of 12?
True
Let b = 1 - -4. Suppose 162 = 5*d + 4*r, 2*d + b*r = -2*d + 135. Is 15 a factor of d?
True
Let q be (-1)/(-3) + (-44)/(-3). Let a be (-70)/q - 4/(-6). Let x(f) = -10*f + 2. Is 21 a factor of x(a)?
True
Let z = 27 - 9. Let u = z + -14. Is 3 a factor of u?
False
Let i be (-6)/(-24) + 22/8. Let r(a) = 2*a. Is 3 a factor of r(i)?
True
Suppose 5*z - 106 = 3*z. Is z a multiple of 2?
False
Let t(w) = -w - 5. Let d be t(-7). Suppose -2*g + 5*m = -95, -d*m = -2*g - m + 83. Is 14 a factor of g?
False
Is 11 a factor of (-759)/(-15) - 8/(-20)?
False
Let t(m) = m**3 + 7*m**2 + 6. Let b be t(-7). Suppose -y = -q + b, 4*y = 5*q - 15 - 16. Is 7 a factor of q?
True
Suppose 13*t - 3024 = 4*t. Does 31 divide t?
False
Let a(l) = 45*l + 4. Is 14 a factor of a(7)?
False
Let w(a) = 10*a**3 - a**2. Let g be w(-1). Is -3*3/(-9) - g a multiple of 12?
True
Suppose 22 = 2*y + 3*s, 2*y = y - 2*s + 9. Suppose 4*d = y + 43. Does 15 divide d?
True
Let t = 3 + 2. Is t a multiple of 5?
True
Suppose 7 = 9*f - 8*f. Suppose 3*r - f*r + 144 = 0. Is 12 a factor of r?
True
Let n be 3/1 - 6 - -3. Is 11 - (6/(-2) - n) a multiple of 7?
True
Suppose -1 + 3 = -z, 0 = -4*m - z + 474. Is m a multiple of 27?
False
Suppose -3*v = -5*r + 157, -6*r + 3*r + 93 = -3*v. Does 13 divide r?
False
Suppose 0 = 3*l + 2*u - 777, 6*u - 2*u = 0. Is l a multiple of 10?
False
Let o(a) = -4*a**3 - 1. Let w be o(-1). Suppose 0 = -w*b + 13 + 14. Is 6 a factor of b?
False
Suppose 17 = -3*r + 74. Suppose 5*v - 56 - r = 0. Does 15 divide v?
True
Let z(r) = -r**3 - 2*r**2 - r - 1. Let x be z(-3). Suppose 3*w = -4*h + x, -2*w + w + 5*h + 10 = 0. Suppose -q = -w*q + 40. Is 10 a factor of q?
True
Let p(f) = 4*f**2 - 4*f - 11. Is p(-4) a multiple of 44?
False
Let b(c) be the third derivative of -c**6/360 + c**5/120 + 2*c**4 - c**3/6 + 4*c**2. Let x(a) be the first derivative of b(a). Is x(0) a multiple of 24?
True
Let s(o) = -o**3 - 3*o**2 + 4*o + 4. Let t be s(-4). Suppose 0*x + x - t*n = -17, 20 = 4*n. Let c(p) = p**2 + p + 1. Is 12 a factor of c(x)?
False
Let o(c) = -19*c**3 + 