-282. Is b a multiple of 2?
False
Let l(z) be the first derivative of -z**4/4 - z**3/3 + 5*z**2/2 + 4*z - 6. Let a be l(-3). Suppose 12*w = a*w + 65. Is 4 a factor of w?
False
Let c(k) = -k**3 - 4*k**2 - 6*k + 9. Let w(t) = -2*t**3 - 6*t**2 - 9*t + 14. Let b(i) = 8*c(i) - 5*w(i). Is 6 a factor of b(3)?
False
Suppose h = -h - 2*w - 12, -18 = h + 4*w. Let o(j) = j - 13. Let n(p) = -6*p + 64. Let y(f) = h*n(f) - 11*o(f). Does 7 divide y(6)?
True
Let m = 39 + -34. Suppose 2*g - 55 - 421 = -m*d, 0 = -g + 2*d + 238. Is g a multiple of 17?
True
Let x(q) = q**2 + 1. Let u(w) = -11*w**2 + 7*w. Let g(d) = -u(d) - 5*x(d). Let c(a) = a**2 + a - 1. Let o(t) = -4*c(t) + g(t). Is 13 a factor of o(8)?
True
Suppose -19*j + 20*j = -3*f + 174, 186 = 3*f - 3*j. Is 14 a factor of f?
False
Let p(a) = -8*a**2 - 4*a + 3*a - 3*a**2 - a**3 - 11 + 0*a. Let m be p(-11). Suppose m = 2*f - 14 + 2. Does 4 divide f?
False
Let b = -7 - 62. Let u = b + 85. Is 3 a factor of u?
False
Suppose 0 = 4*d - 0*d - 5*l - 24, d - 4*l - 6 = 0. Let f(u) = -10*u - 4. Let p(k) = 10*k + 3. Let h(r) = -5*f(r) - 4*p(r). Is 12 a factor of h(d)?
False
Suppose 0 = -i + 3*a + 127 + 99, 5*a + 10 = 0. Suppose -15*t = -20*t + i. Is 11 a factor of t?
True
Let d(p) = 8*p - 1. Let v(i) = -i**2 - 8*i - 2. Let t be v(-7). Let w be -2 + (t - (2 + 0)). Is 7 a factor of d(w)?
True
Let j = 674 + -10. Does 59 divide j?
False
Let w(h) = h**3 + 6*h**2 - 6*h - 3. Let t(a) = 4*a + 1. Let m(r) = r - 1. Let i(q) = -5*m(q) + t(q). Let z be i(12). Is 20 a factor of w(z)?
False
Let n(f) = 4301*f**3 + f**2 - 1. Is n(1) a multiple of 43?
False
Let x(w) = -19*w - 10. Let k be x(-6). Suppose t = 2*t - 2*a + k, -3*t + 3*a - 315 = 0. Let u = t + 169. Is u a multiple of 21?
True
Suppose 5*p = 3*p - 12. Does 22 divide 2224/24 - 2/p?
False
Let n(w) = w**2 + 4. Let m be n(0). Let x(o) = o**2 - 4*o + o**2 + 3*o**2 - m*o**2. Does 5 divide x(6)?
False
Let o(x) be the third derivative of x**5/10 - 5*x**4/24 - 7*x**3/6 + x**2. Let v be o(6). Let q = -116 + v. Is 21 a factor of q?
True
Suppose -4*i - 5*i + 2430 = 0. Is i a multiple of 18?
True
Does 7 divide (-99)/((-17)/((-1054)/(-6)))?
False
Let l(y) = -3*y**2 + 5*y + 9. Let a(q) = -3*q**2 + 5*q + 8. Let f be 6/3 - (3 - 4). Let z(m) = f*a(m) - 4*l(m). Is 12 a factor of z(5)?
False
Does 52 divide 0 - -2827*(-6 - -7)?
False
Suppose 3*i - 151 - 934 = 5*x, -i + x + 361 = 0. Suppose 52 = m - 3*g, -4*g = 5*m + g - i. Suppose -2*w + c = -24, c = 2*w - 7*w + m. Does 13 divide w?
True
Suppose -4*w + 8 = 0, 3*j + w - 6 = 2. Suppose -u = -j*u + 64. Is 41 a factor of u?
False
Let w(d) = 2*d**3 - 2*d**2 - 17*d + 11. Let k be w(5). Let a = 24 + k. Does 50 divide a?
True
Let y = 158 - 85. Let z = y + -61. Is z a multiple of 6?
True
Let b(f) = -329*f + 927. Does 95 divide b(-7)?
True
Suppose 31*w = 34*w - 372. Suppose -4*z = -8*z + w. Is 6 a factor of z?
False
Suppose 11*o - 9*o - 3519 = z, 3*z + 3525 = 2*o. Is 6 a factor of o?
True
Suppose 5*t - 89 = i, 5*i + 77 = 4*i + 2*t. Let r = i - -251. Is r a multiple of 26?
True
Suppose -244 = 8*t - 12*t. Does 3 divide t?
False
Suppose 2*v = 3*q + 503, -29*v - 746 = -32*v - 4*q. Is v a multiple of 25?
True
Let n = 7 + -5. Suppose n*g = 4*w + 52 + 56, 4*w = -4*g - 132. Let v = 42 + w. Does 11 divide v?
False
Is (15/6)/((-185)/(-245606)) a multiple of 18?
False
Does 4 divide ((-293)/4)/((-10)/40)?
False
Is 47 a factor of 44*14 - 20/(-16)*-4?
True
Suppose 4*x = 3*t + 4241, 439 + 626 = x + 4*t. Is x a multiple of 5?
False
Let w = -266 + 125. Does 23 divide (2/(-9)*w)/(2/6)?
False
Suppose -27 = -5*b + 338. Suppose -2*k + b - 25 = 0. Is 20 a factor of k?
False
Suppose -2*q - 50 = -2*y + 2*q, -q = 4*y - 64. Suppose -31 - y = -2*j. Is j a multiple of 8?
True
Let h = -839 + 1507. Does 13 divide h?
False
Suppose 180 = p + 5*r, 343 = 5*p + r - 629. Is 15 a factor of p?
True
Let h(k) = -k**2 - 9*k + 13. Let n be h(-10). Suppose 0*q - n*o = 2*q - 18, -o = 3*q - 13. Let i(m) = 3*m - 2. Does 2 divide i(q)?
False
Let y(s) = -s**2 - 7*s + 10. Let u be y(-7). Suppose u = 4*p - 10. Suppose -p*v + 2*x + 63 = -15, 5*v + 2*x = 82. Does 3 divide v?
False
Is 4/((-56)/(-1806)) - 10/2 a multiple of 62?
True
Let i(d) = 67*d - 241. Is 7 a factor of i(6)?
True
Is ((-1)/8 - (-42)/(-112))*-74 a multiple of 7?
False
Let g be (25/(-10) + -3)/(2/4). Let k(p) = 2*p**2 + 10*p + 24. Does 12 divide k(g)?
True
Let h = -2 + 5. Suppose h*b + i = -3, 5 = -5*b + i + i. Is 19 a factor of (0 + b)/(1/(-41))?
False
Let f = 43 + 117. Let g = 302 - f. Is 45 a factor of g?
False
Suppose -6*n + 32 = -2344. Is n a multiple of 26?
False
Let t(j) = -j**2 + 2*j - 4. Let q be t(3). Let b(g) = -g**3 - 3*g**2 + 6*g - 2. Let i be b(q). Suppose -2*p = 14 - i. Is p a multiple of 23?
True
Let l(f) = -78*f + 37. Does 37 divide l(-4)?
False
Let u = 149 - 248. Let v be (-4)/8*4 - u. Suppose -2*y + 57 + v = 0. Is 11 a factor of y?
True
Let s be -2 + 5 + 1 + 18. Let n = s - -2. Is n a multiple of 12?
True
Let b be (-4)/10 + 1312/80. Suppose b*j - 210 = 11*j. Is 5 a factor of j?
False
Suppose 7*b + 3*y + 5 = 2*b, b - 2*y - 12 = 0. Suppose 0 = 10*v + b*v - 708. Is v a multiple of 20?
False
Let b = -60 + 145. Suppose -9 = 3*l, 0*o + 3*l - b = 2*o. Let r = o - -83. Is r a multiple of 18?
True
Suppose 4*b - 4*d = 16, 0*d = 3*d. Let z(j) = -2*j + j**2 + b + 0*j + 4*j + 14. Does 15 divide z(0)?
False
Let r(a) = a**2 - 8*a + 10. Let f be r(7). Suppose -f*b + b = -4. Suppose m + b*m = 48. Is m a multiple of 7?
False
Suppose -4*v - k = -7, -1 = k - 0. Suppose v*w + 262 = 2*o, -o - 4*w = -12 - 99. Does 23 divide o?
False
Let v(x) = -3*x**2 + 19*x - 41. Let u(o) = -o**2 + 10*o - 20. Let q(g) = -5*u(g) + 2*v(g). Is q(-8) a multiple of 15?
False
Let w(h) be the second derivative of h**4/4 - 4*h**3/3 - 29*h**2/2 - 4*h - 2. Is w(-3) a multiple of 6?
False
Suppose -u = -q + 18, -4*q + 19 = 5*u - 98. Let w = 63 - q. Is w a multiple of 18?
False
Suppose -2*l + 3 = 1. Let w be -6 + 5 - (37 - l). Let p = -19 - w. Is 5 a factor of p?
False
Let t = -20 + 96. Is t a multiple of 19?
True
Suppose -4*n + 317 = y, -4*y = -5*n - 1115 - 195. Is y a multiple of 9?
False
Let r(q) = -7*q - 15. Let f(o) = -13*o - 29. Let w(s) = -6*f(s) + 11*r(s). Does 6 divide w(-3)?
True
Is 104/9 + 92/207 a multiple of 2?
True
Suppose -3*v + 4*b = -7504, 18*v - 5*b = 13*v + 12500. Is 13 a factor of v?
True
Let f(a) = -4*a**3 - 7*a**2 + 4*a + 12. Is f(-5) a multiple of 27?
False
Let a(q) = -q**3 + 9*q**2 - 8*q + 12. Let p be a(8). Let o = 15 - 24. Is 11 a factor of (o/p)/((-2)/64)?
False
Suppose 3*g - 3*z + 9 = 0, 0*z = 2*g + 4*z - 12. Is 32 + (-4 - (g - 4)) a multiple of 22?
False
Let v(y) = 7*y**2 - 16*y - 4. Is v(4) even?
True
Let i = -38 - -26. Let u be (1/(-2))/(1/i). Suppose u*s - 3 = 141. Does 12 divide s?
True
Let o(s) = 15*s**2 - 13. Is o(4) a multiple of 19?
False
Let g(r) = -25*r**3 + 2*r**2 + 6*r + 5. Is 18 a factor of g(-2)?
False
Suppose -8*b - 33 = 3*b. Is 55 a factor of 10 + 209 + (-3)/b?
True
Suppose -9*j + 4*j = -140. Suppose -5*f + 399 = 4*w + 106, -3*w = -2*f + 131. Let i = j + f. Does 24 divide i?
False
Let n(h) = 115*h - 460. Is n(5) a multiple of 3?
False
Suppose -q - 2*f + 17 = 0, 29 = 3*q - q - f. Let s(x) = -x**2 - 10*x + 17. Let m be s(-12). Let p = q + m. Is p a multiple of 3?
False
Let s = 13 - 14. Let g be (-3 - 9/(-3))*s. Suppose g = -0*f + 4*f + 5*x - 225, -4*f + x + 195 = 0. Is f a multiple of 13?
False
Let u(f) = -f**3 + 4*f**2 + 5*f + 2. Suppose -8 = 5*x - 33. Let y be u(x). Does 19 divide y/(-5) + (-582)/(-30)?
True
Let n(d) = d - 6. Let y be n(11). Suppose y*p - 15 = -0*p. Is p/(-15) + (-1926)/(-30) a multiple of 16?
True
Let n be (3 - -9)*(-1390)/(-30). Let r be (6/4)/(5/10). Suppose d = -r*d + n. Does 28 divide d?
False
Suppose 5*d - 26 = -3*r + 21, 4*r + 3*d - 48 = 0. Let m = r + -18. Is 12/m*(2 - 35) a multiple of 22?
True
Suppose 2*w + 21 = 3*u + 124, -5 = u. Suppose 5*f - w = 196. Is 8 a factor of f?
True
Let v(n) = n**3 - n**2 + 32. Let p be 0/(-3) - (0 - 2). Suppose -p*f + 0*f = 0. Does 13 divide v(f)?
False
Let m = 1381 - 981. Is 5 a factor of m?
True
Suppose 30*s - 79881 = 17409. Does 47 divide s?
True
Let j(i) = -i**2 + i + 1. Let l(s) = -12*s**2 - 10*s + 1. Let z(o) = -3*j(o) + l(o). Let d be z(-5). Let y = d + 272. Is y