 r(q) be the first derivative of -q**4/4 - 7*q**3/3 - 7*q**2/2 - q + 59. Suppose 0 = i + 5 + 2. Is r(i) a multiple of 12?
True
Suppose 4*t - 36 = 5*t. Suppose 2*b - m + 6*m = 102, -221 = -5*b - 4*m. Let i = b + t. Is 4 a factor of i?
False
Let x(i) = -58*i + 114. Is x(-6) a multiple of 77?
True
Let p(z) = z**3 - 5*z**2 + 6*z - 5. Let t be p(4). Is 14 a factor of 2 + 180 - (t - 5)?
False
Is 12 a factor of 2*(1 - (201/(-6) - -4))?
False
Is (5/4)/(14/(-56))*-11 a multiple of 3?
False
Let g be 6/((-6)/(-3) - 0). Suppose g*h + 7 = -65. Let y = 56 + h. Is 16 a factor of y?
True
Suppose 6*s - 15596 = s - 2*j, -3*s + 2*j + 9364 = 0. Is s a multiple of 20?
True
Let i(o) = 7*o + 163. Does 44 divide i(27)?
True
Let j(f) = -160*f + 8. Does 8 divide j(-3)?
True
Let q(t) = -t + 3. Let k = 24 - 21. Suppose -l = -k*l - 8. Is q(l) even?
False
Suppose -5374 - 2050 = -58*s. Does 12 divide s?
False
Suppose -23*i - 7*i + 18000 = 0. Is 15 a factor of i?
True
Is 14 a factor of (-31174)/(-242) + 2/11?
False
Suppose -7*p + a + 291 = -5*p, 0 = -p - 4*a + 159. Is p even?
False
Suppose 4*w - 14 = -2*j, j = 5*j + 2*w - 16. Suppose -210 = -5*p - 2*k - 3*k, -j*p + 5*k + 142 = 0. Is p a multiple of 10?
False
Let s = 915 - 907. Let h(g) = -1 - 7*g**2 - 4*g**3 - 2*g + g**3 + 4*g**3. Is h(s) a multiple of 15?
False
Let u(c) = c**2 - 8*c + 4. Let f(h) = -h**2 + 9*h - 3. Let m(r) = -3*f(r) - 2*u(r). Suppose -q - 3*q = -2*n - 42, -12 = -4*n. Is m(q) a multiple of 5?
False
Let m = -91 - -91. Suppose -4*u + 4*v + 252 = m, 0 = -3*u + 5*v + 100 + 89. Does 12 divide u?
False
Let a = -40 - -24. Let w be (16/32)/((-1)/(-40)). Let x = w + a. Does 3 divide x?
False
Let l = 47 + 33. Let b be ((-80)/100)/(2/130). Let z = b + l. Is z a multiple of 12?
False
Suppose 0*q + 3888 = 8*q. Does 54 divide q?
True
Let d(o) = 2*o**3 - 10*o**2 + 3*o - 17. Is d(9) a multiple of 14?
True
Let l be 614/14 + (-4)/(-28). Let i = l + -5. Does 13 divide i?
True
Is 85 a factor of (-9)/((-54)/12244) + 10/(-15)?
True
Let m(o) = -o**2 + 13*o - 12. Let z be (2/(1*8))/((-18)/(-504)). Is m(z) a multiple of 30?
True
Let m(b) = b**3 + 14*b**2 + 10*b - 15. Let w be m(-13). Suppose v + w = 94. Is 10 a factor of v?
True
Let d(a) = 7*a**2 + 45*a + 16. Is d(-9) a multiple of 4?
False
Suppose g - 29 = 138. Suppose 285 = 4*p - g. Does 19 divide p?
False
Let g be (-24)/(-9)*(-18)/(-4). Suppose g - 3 = m. Suppose n = m + 19. Does 7 divide n?
True
Suppose -150*l + 920 = -145*l. Is 16 a factor of l?
False
Let p(d) = d**3 + 5*d**2 + 4*d + 5. Let l be p(-4). Suppose 53 = 2*v - u, 3*v - l*u - 45 = 38. Is v a multiple of 26?
True
Let v(x) = 31*x**2 + 3*x + 56. Is 42 a factor of v(7)?
True
Suppose 0 = 4*h - 3*k - 120, 2*h - 30 = h - 3*k. Is 6 a factor of h?
True
Let d(j) = -j**2 + 8*j - 8. Let f be d(6). Let m(b) = b**3 - b**2 + 5*b + 3. Is 20 a factor of m(f)?
False
Let s = 340 - 240. Suppose -z + 73 = -3*q, 2*q = 3*z + 3*q - 199. Let o = s - z. Does 11 divide o?
True
Suppose 3*x - 5*x + 458 = -4*c, 4*x - 2*c - 904 = 0. Is 21 a factor of x?
False
Let v(d) = d**2 - 19*d - 30. Does 20 divide v(25)?
True
Let i(f) = -2*f**3 - f**2 - 3*f - 6. Let o be i(-3). Let p = 19 + o. Is 14 a factor of p?
False
Suppose 3*r + 0*r = -12, 2*w + 3*r = 612. Is w a multiple of 18?
False
Let z(p) = -1 - p**3 + 2*p**3 - 1 + p + 1. Let t(y) = -2*y**3 - 10*y**2 - 2*y + 11. Let s(l) = t(l) + z(l). Does 10 divide s(-10)?
True
Let b = 887 + -412. Is b a multiple of 9?
False
Let s be (-52)/(-20) + 4/10. Suppose s*p = -5*c - 16, -6*c = -4*p - 2*c + 32. Suppose -4*z = -x - 1, 4*x = -0*x - p*z + 72. Does 13 divide x?
False
Suppose -5621 - 99 = -5*t. Does 46 divide t?
False
Let p(q) = -q**2 + 22*q - 12. Let b be (-12)/((4/10)/(2/(-10))). Is 17 a factor of p(b)?
False
Let c(q) = 8*q**2 - 3*q + 5. Is c(-5) a multiple of 12?
False
Let l be (49/(-2))/(-1) + (-1)/(-2). Is 16 a factor of (-4 + 110/l)*80?
True
Suppose -x + 3*y = 4 - 2, -y = -3*x + 26. Let b be 20/(-50) - (-24)/x. Suppose -4*d + 206 = 5*w, w = b*w + 2. Is d a multiple of 6?
True
Let r(a) = 8*a**2 - a + 29. Let w(p) = 3*p**2 + 10. Let n(t) = -4*r(t) + 11*w(t). Let v be n(-5). Is -5 - 2/v - -37 a multiple of 16?
False
Let b be ((-16)/(-12))/((-2)/(-9) + 0). Suppose 0 = 5*l - b*l + 90. Is 30 a factor of l?
True
Let w be (-1)/(-3) + 322/6. Suppose -m = -4*f - 29 - w, -5*f - 242 = -3*m. Suppose -3*b = r - m, r - b + 3*b - 77 = 0. Is r a multiple of 22?
False
Suppose 5*v + 10 = a, -4*a - 3*v + 21 = 96. Let q be (-2)/(-2) - (8 - -1). Let g = q - a. Is g a multiple of 7?
True
Let z(v) = -v**3 + 8*v**2 - v + 8. Let j be z(8). Let n = 2 - j. Suppose 2*s - n*o = -0*o + 52, 2*o = 4*s - 110. Is s a multiple of 12?
False
Let k(g) = g. Let p be k(5). Suppose 3*y - p*y + 380 = 0. Is 8 a factor of y/6 + (-4)/(-12)?
True
Does 29 divide (24003/14 + (-10 - -7))*2?
False
Let d(q) be the first derivative of q**3/3 + 7*q**2/2 + 13*q - 5. Let v be (-6)/((-6)/(-5)) + -1. Is d(v) even?
False
Is 5828/24 + (-2)/(-12) a multiple of 27?
True
Suppose c = -14 + 4. Suppose -b = 22*b + 207. Is -3 - c*b/(-6) a multiple of 6?
True
Suppose -4*c - 4948 = -4*i, -i = i + 4*c - 2468. Is 12 a factor of i?
True
Suppose 11 = 2*t + 3, 0 = y + t - 8. Suppose 2*b = -3*x + y*b + 64, -4*x + 74 = 3*b. Is 13 a factor of x?
False
Let j(t) = 2*t**2 + 7*t**2 - 4*t**2 - 1 + t**3 - 7*t. Let x be j(-6). Suppose 0 = 5*f - x*p - 125, f + 6*p - 31 = 4*p. Is f a multiple of 27?
True
Suppose 4*r + 4 = 28. Suppose 3*x + 3*i - r*i - 15 = 0, 0 = -4*x + 2*i + 16. Is x a multiple of 2?
False
Let k(g) = g - 1. Let r be k(5). Let i be -1 + r + -6 + -5. Let q(u) = 2*u**2 + 13*u + 12. Is q(i) a multiple of 12?
True
Let r be 18*(3 - (-39)/9). Suppose 36 = -3*a + r. Does 9 divide a?
False
Is (-10)/(6/21 - 3/7) a multiple of 10?
True
Let s = 16 + -16. Let r be 1*(s - -1) + 3. Suppose r*x = 91 - 27. Does 12 divide x?
False
Let s(o) = 4*o**2 + 11*o - 21. Is s(3) a multiple of 16?
True
Suppose -1976 = -5*m + 2024. Suppose m = 12*p - 2*p. Is p a multiple of 16?
True
Let w(m) = 54*m - 20. Is w(1) a multiple of 2?
True
Let k be 29/(-1) - (5 - -1). Suppose -2*o = -7*o + 4*z - 135, -5*o - 5*z - 90 = 0. Let b = o - k. Is 12 a factor of b?
True
Suppose -2*x - 5*g - 10 = 3*x, 4*g + 8 = -2*x. Suppose x = -3*v, j - v = -6*v + 46. Is 20 a factor of j?
False
Let a(s) = -s + 6. Let h be a(3). Suppose w = -3*w - 5*r + 128, h*w + 5*r - 101 = 0. Is w a multiple of 8?
False
Suppose -3 - 7 = s. Does 13 divide (2 - (-85)/s)*-10?
True
Let o(z) = 195*z**3 - 2*z - 5*z + z**2 + 4*z + 2 + 0*z. Does 23 divide o(1)?
False
Suppose 3*c - 369 = -4*m - 56, -4*m = -c - 301. Is m a multiple of 27?
False
Let b(s) = -s**3 - 3*s**2 + 2*s - 4. Let h be b(-4). Suppose 3*g + 111 = -h*c + 309, c = -g + 67. Does 35 divide g?
True
Let j(u) = u**3 + 8*u**2 + 3*u + 6. Let m be j(-8). Let i = m - -35. Is i a multiple of 3?
False
Let t(s) = -s**3 + 24*s**2 + 21*s + 23. Is t(22) a multiple of 47?
False
Let s(g) = -g**3 + 18*g**2 + g + 64. Is s(13) a multiple of 12?
False
Let u be (-1 + (-39)/9)/((-2)/6). Is ((-60)/u)/((-15)/160) a multiple of 40?
True
Let k(r) = 25*r - 20. Let s be k(14). Let x be 2/(-3) - s/(-9). Is 2836/x + 2/9 a multiple of 13?
False
Let d = -369 + 1435. Is d a multiple of 41?
True
Is 14/(-280)*-45*2*52 a multiple of 9?
True
Let f be (-15)/2*(-28)/3. Is 18 a factor of (f/(-21))/(4/(-78))?
False
Suppose -16*b = -23*b + 22456. Is 91 a factor of b?
False
Suppose 0 = -0*a + 5*a - 10. Suppose -344*g + 341*g = -120. Suppose -106 + g = -a*s. Is s a multiple of 11?
True
Let l be ((-11)/(-22))/((-1)/274). Is 16 a factor of 2 + (4 - l) + 1?
True
Let r = -1 + 1. Let o(x) = 4*x + 79. Let i(k) = k + 19. Let l(b) = 9*i(b) - 2*o(b). Does 12 divide l(r)?
False
Let o(b) = -34*b**2 + 2*b + 2. Let f be o(-1). Let z = 84 + f. Is z a multiple of 27?
False
Suppose 4*b - 5 = -q, 4*q - 31 + 11 = 5*b. Suppose 1 = 2*z + k - 1, q*z = k - 9. Does 28 divide z/((2/(-55))/2)?
False
Let h = -50 - -55. Suppose h*g + 4*o - 70 = 4*g, -5*g = 5*o - 380. Is g a multiple of 14?
False
Let k = 1632 + -12. Does 15 divide k?
True
Suppose 3*x + l - 310 = 0, -x = -2*l - 83 - 25. Does 5 divide x?
False
Let b(p) = 154*p - 13. Is b(2) a multiple of 14?
False
Let j(d) = -3*d**2 + 10*d - 8. Let m(b) = b**2 - 5*b + 4. Let n(r) = -2*j(r) - 5*m(r). Is n(-6)