t l(v) = v**3 - 16*v**2 - 14*v. Let a be l(12). Is a/(-56) + (-4)/14 a multiple of 11?
False
Let d(x) = 4*x - 47. Let o be d(13). Suppose -296 = 3*m - 5*m. Suppose o*y - 153 = -3*l, 4*l - 2*l + m = 5*y. Is 10 a factor of y?
True
Let j(q) = -q**3 + 8*q**2 + q - 7. Let m be j(8). Is 8 a factor of (2 - 43 - m)/((-27)/36)?
True
Suppose -7 = -11*z - 73. Let l(h) = 5*h**2 + 2*h - 42. Is 21 a factor of l(z)?
True
Let c(v) = v**2 - 2*v - 5. Let r be c(5). Suppose 8 = -85*l + 87*l. Suppose -70 = -l*g - r. Is 15 a factor of g?
True
Let o(y) = -2*y**2 - 12*y - 2. Let n be o(13). Let v = -276 - n. Suppose h - 5*k - 35 = 0, 4*h - 5*k - v = -k. Is h a multiple of 18?
False
Let w = -1688 + 1951. Is 35 a factor of w?
False
Let c(a) be the first derivative of a**3/3 - 7*a**2/2 - 10*a + 4. Does 10 divide c(10)?
True
Let q(l) = 2*l - 12. Let m be q(7). Suppose -5*r = -3*n + 137, -m*n = n - 3*r - 147. Does 6 divide n?
True
Suppose -2*s = -4*g + 2188, g = 4*s + 676 - 115. Is g a multiple of 13?
False
Suppose c - 387 = -5*d, 69 = 31*d - 30*d + 3*c. Does 2 divide d?
True
Is 4 a factor of (-12)/(-18)*-3*-24?
True
Let p(y) be the second derivative of y**3/6 - y**2/2 - 5*y. Let o be p(4). Suppose -b - 32 = -2*w, 23 = w + o*b - 7. Does 9 divide w?
True
Let c(u) = -u**3 + 5*u**2 + 3*u - 10. Let g be c(5). Is 17 a factor of -8 + 3 - (-365)/g?
True
Let m = -42 - -152. Does 22 divide m?
True
Suppose -5*w - 2*p + 725 = -7*p, 2*w + p = 275. Does 28 divide w?
True
Let v be (2/3 - 1)*3. Does 21 divide -1*(v - (60 + -4))?
False
Let z = -615 + 1273. Is 47 a factor of z?
True
Let v be (-80)/(-6)*24/20. Let n be 4/(v/2)*136. Let p = -36 + n. Is 16 a factor of p?
True
Let o(j) = -j**3 - 5*j**2 - 5*j + 4. Let f be o(-4). Suppose 4*l - 12 - 10 = -2*u, 3*u + 3 = 3*l. Is 13 a factor of ((-28)/(-8) + u)*f?
True
Let v(a) = 3*a - 22. Let b(d) be the first derivative of 5*d**2 - 66*d - 11. Let u(p) = 2*b(p) - 7*v(p). Is 7 a factor of u(0)?
False
Let w(h) = 6*h**3 - 28*h**2 + 11*h - 3. Is w(5) a multiple of 34?
True
Suppose -26*i = -577 + 187. Let p(z) = z**2 - 6*z - 6. Let s be p(6). Is 15 a factor of 64/s*i/(-2)?
False
Let k = -40 + 41. Is 19 a factor of -1*(-74 + k) + 3?
True
Let w(k) be the third derivative of k**8/5040 - k**7/1260 + k**6/240 - k**5/12 - 3*k**2. Let p(g) be the third derivative of w(g). Does 23 divide p(-4)?
False
Suppose 5*j - 2000 = -3*v, -9*j = -v - 5*j + 695. Is 7 a factor of v?
False
Let i(f) = 5*f**2 - 2*f - 9. Let z be (0 - (-16)/(-12))*3. Let o be i(z). Let a = -47 + o. Does 16 divide a?
True
Let c(t) = 12*t. Let j be c(-1). Let f = -29 + 68. Let d = f - j. Does 16 divide d?
False
Let s be (-2)/(-4)*(9 + -5). Let u(v) = -v**2 + v + 21. Let b be u(0). Suppose w - b = -2*m, -s*w + m - 3*m + 42 = 0. Is 12 a factor of w?
False
Let i = 347 - 322. Is 9 a factor of i?
False
Let b(z) = z**3 - 4*z**2 + 2*z + 6. Suppose -3*y - 7 - 8 = -3*r, 3*r - y = 13. Let q be b(r). Suppose -7*k + 5*k + q = 0. Is k a multiple of 3?
False
Let j(z) = 9*z - 2*z - 14 - 2*z. Let g be j(-13). Is 4 - 2*g/2 a multiple of 12?
False
Let i(p) = -p**2 + 4*p + 11. Let m be i(-8). Let a = m + 136. Suppose -q + 42 = -a. Does 26 divide q?
False
Let o = 8 - 3. Let j = -470 - -692. Suppose 13 = 5*i + 2*d - j, 0 = -o*d - 25. Is i a multiple of 24?
False
Let o be (-3)/5 + 264/40 + -7. Is (14/(-4)*14)/o a multiple of 7?
True
Suppose 31*d = 87351 - 22995. Does 12 divide d?
True
Let u(r) = 3*r + 3. Suppose 2*s + 4 = 24. Suppose -5*q = 2*n - 35, 5*n - 3*n + s = 0. Is u(q) a multiple of 8?
False
Is 6 a factor of (-2)/10 - (1880/(-25) + 8)?
False
Let l(r) = -19*r + 37. Let x be l(6). Let k = x - -131. Does 3 divide k?
True
Let z(w) = -w**3 - 5*w**2 + 4*w - 5. Suppose 19 = -2*h + 3. Does 31 divide z(h)?
True
Suppose 35 = 5*q - 3*z, 5*z + 4 = -4*q + z. Suppose -435 = -q*x + 941. Is 43 a factor of x?
True
Let m(i) = 2*i + 24. Suppose 0 = k - 1 + 1. Is 6 a factor of m(k)?
True
Suppose -5*m - 19 = 1. Let g(p) = -4*p - 20. Let t be g(-6). Does 2 divide (-1)/((t/5)/m)?
False
Let z(y) = y**3 + 4*y**2 - y**2 - y**2 + 6 - 5 - y. Is z(-2) a multiple of 2?
False
Suppose -8 = -2*i - 2*i. Let p be (3 + -2)/(i/4). Suppose 3*m - 13 = p*m. Does 4 divide m?
False
Let f = -131 + 484. Suppose -31*z = -32*z + f. Does 11 divide (-6)/10 + z/5?
False
Suppose 0 = 26*y + 5128 - 16594. Is 63 a factor of y?
True
Suppose -s - 662 = -4*y, -2*s + 36 + 125 = y. Let c = 246 - y. Is 27 a factor of c?
True
Suppose 0 = -3*w - 3*a, -5*a - 33 + 8 = 0. Suppose 49 = y - 3*k, 5*k + 148 + 117 = w*y. Does 14 divide y?
False
Suppose 10*i - 40 = 14*i. Let o(u) = -8*u + 26. Is 19 a factor of o(i)?
False
Let b(q) = -q**3 + 2*q**2 - q - 58. Is b(-13) a multiple of 51?
False
Let b = -49 + 23. Let u = -36 - b. Is 14 a factor of (-278)/u + 12/60?
True
Let b(r) = -r**3 + 2*r**2 - 3*r + 1. Let q be (8/5 + -2)*-5. Let h be b(q). Let t(a) = -a**3 - 5*a**2 - 5*a + 11. Is t(h) a multiple of 6?
True
Suppose -t + 2*j = 3*t + 26, -t + 5*j - 20 = 0. Let n(m) = -m**3 - 5*m**2 - 7*m - 3. Is 7 a factor of n(t)?
False
Let v(y) = y + 1. Let t be v(-1). Suppose 2*f + 2*f = t. Let k = 5 - f. Is k a multiple of 2?
False
Let p(n) = 16*n**2 + 29*n + 48. Does 7 divide p(-10)?
True
Let l(w) be the third derivative of w**6/120 + 2*w**5/15 + w**4/12 + 13*w**3/6 + 6*w**2. Is l(-6) a multiple of 13?
False
Suppose -8 = 2*o - 4*o, -2*i - 214 = 2*o. Let n = i - -271. Is 28 a factor of n?
False
Let r(g) = 18*g**3 - 2*g**2 + g + 2. Let v be r(-2). Let m be (v/(-16))/(1/(-2)). Let z = m - -33. Does 12 divide z?
False
Let g(q) = q**3 + 4*q**2 + 4. Let y be g(-3). Let w = -85 + y. Let b = w + 117. Is 15 a factor of b?
True
Let t(r) = -4*r. Let y be t(-5). Let u be 67 - ((0 - -2) + -9). Suppose 0 = 3*a + y - u. Is a a multiple of 4?
False
Let w(b) = 7*b**2 - 8*b + 2. Suppose -2 = d - 5. Is w(d) a multiple of 10?
False
Let u = 7 - 4. Suppose -2*y + 0*b = -2*b - 214, -4*y + u*b = -426. Does 21 divide y?
True
Suppose 3*l + 4*u = 1773, -5*l + 7*u = 3*u - 2955. Is l a multiple of 5?
False
Let g(v) = -8*v**2 - 4*v. Let q be g(3). Let r = 116 + q. Is r a multiple of 8?
True
Suppose 5*f = 3*x - 107 - 134, -x + 4*f + 71 = 0. Is 6 a factor of x?
False
Suppose 4*j = -0*j - 24. Let h(f) = f**3 + 7*f**2 + 5*f - 4. Let m be h(j). Suppose 39 = i - m*l, 7*i + 4*l = 2*i + 167. Is 35 a factor of i?
True
Suppose -5*w = -2*p + 197, -4*p + 146 = -4*w - 266. Is 53 a factor of p?
True
Let j = -2555 - -4717. Is 23 a factor of j?
True
Let q(u) be the first derivative of -11*u**2/2 - 30*u - 18. Is q(-6) a multiple of 3?
True
Let j(t) = -2*t**3 - 7*t**2 - 13*t - 3. Does 5 divide j(-6)?
True
Let d = 90 + -85. Suppose 372 = 2*b + d*f, 4*f + 23 - 7 = 0. Is 28 a factor of b?
True
Let k be (11 + -8)*8/3. Does 8 divide 422/k - (-5)/20?
False
Suppose 28*b = 21*b + 273. Is 9 a factor of 3 - (3 + (1 - b))?
False
Let z(n) = 124*n**2 - n - 8. Is z(2) a multiple of 20?
False
Let z(h) = 3 - 3 + h - 3 + h**2 - 2*h. Let c be z(3). Is 10 a factor of (22/1 - 0) + c?
False
Let o(i) = -2*i**2 - 30*i + 3. Let n be o(-15). Suppose -n*y + 8*c + 681 = 5*c, -3*y + 680 = -4*c. Is y a multiple of 38?
True
Suppose 0*c - 230 = -5*c. Let w(f) = f + 12. Let l be w(-8). Suppose -l*b - 4*o + 172 = b, -b + 5*o = -c. Is b a multiple of 12?
True
Let c(w) = -w**3 + 20*w**2 + 43*w + 30. Is c(21) a multiple of 45?
False
Let x = -94 + 135. Let f = x + -9. Suppose 0 = 6*z - 5*z - f. Does 16 divide z?
True
Let c be 1/((-410)/(-415) - 1). Let n = 5 - c. Is n a multiple of 11?
True
Let q be 4/((-8)/(-6)) - 1. Suppose -i + 4 = -10. Let a = i - q. Does 10 divide a?
False
Suppose -4*u = -12, 4*d + 3*u - 724 = -u. Suppose 2*s + 0*i - 180 = -3*i, 4*i = -2*s + d. Let r = s - 51. Does 7 divide r?
True
Is 9/6 + (-20761)/(-26) a multiple of 32?
True
Does 20 divide (77 - 1 - -6)/((-2)/(-20))?
True
Let y(z) = z**3 - 8*z**2 - z + 12. Let l be y(8). Suppose 5*h = 5*a + 130, -l*h + 27 = 2*a - 59. Is h a multiple of 15?
False
Let j = 483 - 8. Does 33 divide j?
False
Let v = -80 + 365. Does 5 divide v?
True
Suppose 2*t = -3*t + 1195. Suppose 8*j - 2*j - 12 = 0. Suppose -5*z - c + 2*c = -t, -j*z - 5*c + 101 = 0. Is 12 a factor of z?
True
Suppose 30 = 2*f - 3*f - m, 0 = m + 2. Is 23 a factor of f/(2/(-8) + 0)?
False
Let n be (-2)/6*0 - 26. Is (90/4)/((-13)/n) a multiple of 4?
F