(q) be the first derivative of 2*q + 1/4*q**4 - 1 - 5/2*q**2 + q**3. Is 3 a factor of g(-4)?
True
Let p(h) = -5*h**3 - 2*h**2 - h + 1. Let u be p(-1). Suppose 0 - 35 = -u*j. Does 7 divide j?
True
Let a = -5 - -9. Let v be a*(-2 - (-15)/(-6)). Is 15/20 + v/(-8) a multiple of 3?
True
Suppose 0*w + 3*w + 5*g = 401, w + 3*g = 135. Is w a multiple of 22?
True
Suppose -3*g = 5*u - 4*g - 367, 71 = u - g. Suppose -96 - u = -5*w. Is 10 a factor of w?
False
Suppose -4 + 1 = -y. Suppose 5*z = -y*t + 4*z + 6, 0 = -t + 2*z + 9. Suppose 0 = -0*g + t*g - 78. Is g a multiple of 13?
True
Suppose -5*o + 72 = o. Does 7 divide o?
False
Suppose -2 = -k + 3. Suppose -g + 27 = 3*n, 0 = 5*g - 0*n + k*n - 85. Let a = 25 - g. Is 10 a factor of a?
False
Suppose 0 = -6*p + 3*p - 21. Does 23 divide (0 - p)*(-21)/(-3)?
False
Let w(m) be the third derivative of -m**4/3 - 2*m**3/3 - m**2. Suppose -5 = 4*n - 2*j - 3*j, 2*n - j = -7. Is w(n) a multiple of 12?
True
Let k = 527 - 340. Does 17 divide k?
True
Suppose 12 + 13 = -5*y, 3*s = y + 140. Suppose -50 = -5*a + s. Is a a multiple of 6?
False
Does 18 divide (-2)/4*432/(-6)?
True
Let a(s) = 5*s**3 - 2*s**2 - s - 2. Let v be a(3). Let w = v - 80. Does 8 divide w?
True
Is 19 a factor of 56/3 + (-2)/(-6)?
True
Let d be (-1)/(-4) + 30/(-24). Is 17 a factor of (d + -1)/(4/(-58))?
False
Let o = 4 + -1. Let m(v) = o - 7*v - 1 + 2. Is 16 a factor of m(-4)?
True
Suppose 12 = 3*l, -5*o + 6*l = l + 35. Let z = o + 42. Suppose 0 = -4*j + z + 17. Does 4 divide j?
False
Suppose -3*q + 4*w - 28 = -7*q, -2*w - 10 = -4*q. Suppose q*l - 65 - 3 = 2*r, 46 = 2*l + 5*r. Does 7 divide l?
False
Is ((-154)/(-44))/((-1)/(-26)) a multiple of 13?
True
Let x = 97 - 27. Let j be (-2)/((-4)/(-98)) - 0. Let s = x + j. Is s a multiple of 16?
False
Suppose -3*t + 270 = 3*x, -84 = -x - 0*x + t. Suppose 4*h - x = h. Suppose 2*a - 83 = -h. Is 11 a factor of a?
False
Let a(c) = -c - 3. Suppose -n - 3 = 2. Let k(l) = l + 1. Let d(p) = n*k(p) - 2*a(p). Does 8 divide d(-4)?
False
Let y(k) = 3*k - 3. Let g be y(4). Let m(f) = -9*f - 23. Let v(r) = -13*r - 34. Let q(x) = 7*m(x) - 5*v(x). Does 9 divide q(g)?
True
Let f be 16 - ((-1 - 2) + 3). Let o = -24 + f. Is 123/6 - 4/o a multiple of 7?
True
Let b(n) = n + 10. Let i be b(-6). Suppose 0 = -i*p + 4 + 48. Is p a multiple of 12?
False
Let k = 3 - 28. Let d = k + 48. Suppose -d - 5 = -2*h. Is h a multiple of 7?
True
Let a(v) = -v**3 + 8*v**2 + 6*v - 2. Is a(8) a multiple of 14?
False
Let m(a) = 6*a**3 - a**2 - 2. Is 7 a factor of m(2)?
True
Let p = 135 - 76. Is p a multiple of 16?
False
Suppose 2 = -2*j - 0. Let h be 2/((2/(-49))/j). Suppose -15 = -2*v + h. Does 13 divide v?
False
Let b be 0 + -2 + 3 + 2. Is 28 a factor of (-16)/2*(b + -13)?
False
Let p = 44 + 19. Is 17 a factor of p?
False
Let g be (-10)/(-3)*(-30)/(-25). Suppose g*f + 6 = -2. Is 0 + (f - (-30)/3) a multiple of 5?
False
Suppose 3*w = -y + 33, 2*w = 2*y - 0*w - 58. Is 10 a factor of y?
True
Let w(z) = -z**3 - 7*z**2 - 6*z - 3. Let b be w(-7). Let t = b + -26. Does 6 divide t?
False
Suppose v - 6*v + 100 = 0. Does 2 divide (1 - 2) + v/4?
True
Suppose 3*g + 22 = 7, 4*p - 81 = 5*g. Let f be (21/(-14))/((-1)/p). Suppose 3*h - 2*h - f = 0. Is 20 a factor of h?
False
Let a be (-2 + 24)/((-2)/2). Let n = -13 - a. Is 2 a factor of n?
False
Suppose 0 = -4*o + 147 + 53. Is o a multiple of 25?
True
Let r(b) = 27*b + 4. Does 28 divide r(4)?
True
Suppose -6*y + 8*y + 6 = 0. Let t(z) = -8*z + 2. Is 13 a factor of t(y)?
True
Let r(x) = x**3 - 4*x**2 + x - 5. Let v be r(4). Does 25 divide (30/4)/(v/(-10))?
True
Let l(p) = 0 + 6*p - p + 4. Let h(j) = -14*j - 13. Let n(z) = -4*h(z) - 11*l(z). Is 8 a factor of n(0)?
True
Is 1/(-2) - (-1032)/16 a multiple of 32?
True
Suppose 3*k + 3*f = 4*k - 195, -5*k - 2*f = -1060. Is k a multiple of 30?
True
Suppose -120 = -6*d - 0*d. Is 5 a factor of d?
True
Is (-12)/90*-3 - (-526)/10 a multiple of 7?
False
Let r be 9/(-3)*(-1)/1. Let v = -43 + 61. Suppose 6*i - v = r*i. Does 6 divide i?
True
Let j(i) = -4*i - 2. Suppose 0*w = w + 10. Let h be 72/w + 6/30. Is j(h) a multiple of 13?
True
Let f = 0 - -2. Suppose -4*j - 3*t + 9 = -f*t, -2*t = -3*j + 4. Suppose -j*v - 20 = -3*v. Is v a multiple of 10?
True
Let i = 84 + -64. Is 4 a factor of i?
True
Let h(f) = -f**3 + 11*f**2 + 16*f - 1. Let c be h(12). Let n = 80 - c. Is n a multiple of 6?
False
Is 15 a factor of 85/4*(24 - 20)?
False
Does 19 divide 10/(-35) - 802/(-14)?
True
Suppose 0 = 3*k - 2*w - 491, 4*k + k - 831 = -3*w. Let i = -68 + k. Does 18 divide i?
False
Let o(h) = h**3 + 8*h**2 - 9*h - 4. Let x = -20 - -11. Let p be o(x). Does 7 divide (-1 - -12)/(-3 - p)?
False
Suppose 2*d - 15 = -77. Suppose -u + 2*z + 65 = -3*z, 0 = 5*u - 4*z - 241. Let l = d + u. Is l a multiple of 7?
True
Does 11 divide 12/(-4) - 1/(1/(-69))?
True
Let y(w) = 5*w**2 - w**2 + 5 - w**2 + 6*w. Let b = -3 - 1. Is y(b) a multiple of 17?
False
Let a(w) = 2*w**3 - w**2 + 3*w. Let r(y) = -3*y**3 + y**2 - 5*y. Let g(b) = -5*a(b) - 3*r(b). Is 7 a factor of g(-2)?
False
Suppose a = 8 - 3. Let i(n) = -n**2 + 8*n**2 + a*n**2. Is i(-1) a multiple of 12?
True
Let i(k) = -k**3 + 11*k**2 + 5*k - 1. Does 10 divide i(11)?
False
Let w(c) = 2*c - 9. Let x be w(6). Suppose -3 = x*v, -v - 21 = 2*q - 7*q. Suppose 0*t = q*t - 16. Does 2 divide t?
True
Let p be (-1)/(-2) - (-28)/(-8). Let q = p - -21. Is q a multiple of 18?
True
Let f = 164 - -334. Suppose -13 = 5*w - f. Let g = -65 + w. Is g a multiple of 16?
True
Suppose 0*d - 8 = -d. Is 4 a factor of d?
True
Let h be 0/3 + 0 + 10. Let c = 17 - h. Is c a multiple of 4?
False
Suppose 3*j - 128 + 8 = 0. Does 20 divide j?
True
Let u(f) = f**2 - 5*f + 3. Let b be u(5). Suppose b*g - 26 - 34 = 0. Is g a multiple of 20?
True
Suppose -2*c + 265 - 69 = -2*b, 5*c = -4*b + 472. Is c a multiple of 32?
True
Let o = -10 + 16. Let j(x) = 2*x**2 - 7*x. Is j(o) a multiple of 12?
False
Is 7 a factor of -14*9/12*-6?
True
Suppose -3*f = 12 + 3. Is (-2)/f - 43/(-5) a multiple of 9?
True
Let j = -7 - -2. Is 10 a factor of (-6)/(-30) + (-84)/j?
False
Let s be 0 + 2 - (0 + -46). Let k(i) = -i**2 - 12*i - 7. Let t be k(-9). Is 10 a factor of s/5 + 8/t?
True
Suppose 0*u - 462 = -11*u. Is u a multiple of 11?
False
Let i be (-3)/(4/2 + -3). Suppose 2*p - 220 = -i*p. Does 11 divide p?
True
Let d(v) = -v**2 - 1 + v**3 - 2*v**2 - 5*v - 2*v**2. Let t be d(6). Suppose -3*k + 5 + 21 = -t*s, 5*k + 2*s = 64. Is 6 a factor of k?
True
Let o be 0/(-1)*5/10. Let a = o + 9. Does 3 divide a?
True
Suppose 5 = -v - 6. Let y = v + 20. Is 3 a factor of y?
True
Suppose -24 = -l - 10. Suppose 6*x - 9*x = -a - l, -2*x + 16 = -2*a. Is 3 a factor of 3/1 + (-5 - a)?
True
Suppose 23*m - 15*m - 1248 = 0. Is 26 a factor of m?
True
Suppose 4*x = 120 + 56. Suppose -8*f - x = -10*f. Is 11 a factor of f?
True
Is 15 a factor of (0 + 6)/((-4)/(-10))?
True
Let w(h) = 39*h**2 - 2*h. Is w(2) a multiple of 22?
False
Suppose 0*l = 2*l - 26. Is l a multiple of 12?
False
Let v be (-63)/(-2) + 3/6. Suppose 2*d - 5*j = -v, 5*d - d = 4*j - 40. Is 332/12 + (-2)/d a multiple of 14?
True
Suppose 0*y = 3*y. Suppose 2*r + r + 4*n - 85 = y, 3*r = 5*n + 103. Is r a multiple of 12?
False
Let i = -16 - -32. Let h = i - -4. Is h a multiple of 11?
False
Suppose 0 = -7*b + 11*b - 16. Suppose 0*h + 288 = b*h. Does 15 divide h?
False
Let o be 321/18 - (-4)/24. Suppose 2*b = 2*h + 110, 2*b + o = -5*h + 149. Does 29 divide b?
True
Suppose -j - 19 = -2*j. Suppose -2*r + j + 29 = 0. Does 5 divide r?
False
Suppose 0 = -2*v - 3*v + 150. Suppose -4*c = c - v. Is c a multiple of 5?
False
Suppose 195 = -4*k + 5*k. Suppose -7*d = -2*d - k. Is d a multiple of 15?
False
Suppose 4*g = -0*g. Suppose 8*p - 11*p + 51 = g. Does 7 divide p?
False
Suppose 3*o = o + 10. Let p(c) = c**3 - c**2 + c - 9. Let x be p(5). Suppose -4*z - o*k = -32, 5*z - 3*k - x = -19. Is z a multiple of 13?
True
Suppose -4*x = -3*x. Let g = 2 + x. Suppose 36 = i + g*i. Is i a multiple of 5?
False
Suppose -9*u + 166 + 113 = 0. Is u a multiple of 3?
False
Let p(n) = n**3 + 2*n**2 - 8*n + 6. Let a be p(5). Suppose q - 4*q + a = 0. Is q a multiple of 13?
False
Let i(x) = 24*x**2. Does 24 divide i(-2)?
True
Let k(l) = 34*l. Let s be k(3). Suppose 2*w - 4*w = -2*y - 48, -y + s = 5*w. Does 11 divide w?
Fal