6*g = -4*g. Suppose 4*a + 6*o - 80 = k*o, -2*a - 5*o + 40 = g. Is a a multiple of 9?
False
Suppose q - 16 = -57. Let b(n) = -2*n**3 + 5*n**2 - 2*n - 1. Let x be b(4). Let s = q - x. Is 7 a factor of s?
False
Let x(q) = -2*q + 1. Let m(o) = 2*o - 1. Let b = 4 - 1. Let j(d) = b*x(d) + 2*m(d). Does 3 divide j(-1)?
True
Let v = 175 + -99. Does 4 divide v?
True
Let o(w) = 6*w + 6. Let n be o(-6). Let i be (1/(-2))/(5/n). Let h = i + 2. Is 3 a factor of h?
False
Let w(r) be the first derivative of -r**2/2 + 11*r - 6. Does 4 divide w(6)?
False
Suppose -1680 = -8*y - 2*y. Does 21 divide y?
True
Let p(y) = -7*y + 2*y**3 + 13*y**2 - 3*y**3 - 6*y**2 + 6. Let g be p(6). Suppose -s + 5*s - 44 = g. Does 4 divide s?
False
Suppose 0 = -2*v - v + 15, 4*v = 3*c - 22. Is c a multiple of 14?
True
Let y be (-92)/(-28) + (-2)/7. Suppose -16 = -y*p + 2*p. Does 12 divide p?
False
Let b(t) = -t**3 + 3*t**2 - t + 3. Let a be b(3). Suppose 5*v + i = 0, 2*v - i + 7 = -a*v. Is 7 a factor of (-22)/((1 - 2) + v)?
False
Let v(o) = o**3 + 12*o**2 - 19*o - 18. Suppose -d - 23 = 2*c, -2*d + 8*c - 3*c = 1. Is 15 a factor of v(d)?
True
Let l be (-8)/(-4) - (3 + -1). Suppose -51 = -2*h - 3*a, -h + l*a + 28 = a. Is h a multiple of 11?
True
Let h = -3 - -5. Suppose h*x = -x + 72. Does 12 divide x?
True
Let z = -22 - -24. Suppose -4*m = z*m - 84. Does 14 divide m?
True
Let j(v) be the second derivative of v**3/3 + v**2 + 4*v. Is j(3) a multiple of 4?
True
Is 1/7 - 498/(-42) a multiple of 12?
True
Suppose -14 = -4*a + 14. Let p = a - 5. Is 25 a factor of 72*1 - 0 - p?
False
Let n be (1/2)/(1/278). Let y = -81 - 9. Let z = n + y. Does 14 divide z?
False
Let b = -124 - -261. Suppose 0*t = -3*s + 2*t + 130, b = 3*s + 5*t. Is s a multiple of 11?
True
Suppose -3*l - 31 = -4*l. Let h = -19 + l. Is 5 a factor of h?
False
Let n(s) = s**3 - 11*s**2 - 10*s + 1. Does 5 divide n(12)?
True
Let g(k) = -3*k**3 - 5 - k + 6 - 2*k**3 + 3*k. Is 2 a factor of g(-1)?
True
Let h(n) = -n**3 - 4*n**2 + 4*n - 5. Is 12 a factor of h(-6)?
False
Suppose 0 = -4*s + 4*z + 492, -498 = -4*s - 2*z - 0*z. Does 18 divide s?
False
Let d be ((-40)/(-3))/((-4)/18). Let u = d + 39. Does 16 divide (-1)/(-1) - u/1?
False
Let p(t) = 3*t - 5. Is 2 a factor of p(4)?
False
Let n be (-47)/(0 + (-2)/(-12)). Is 20 a factor of (-4)/(-6) - n/9?
False
Let o(u) = 5*u - 1. Let t be o(-1). Let y = t - -8. Suppose 80 = 7*m - y*m. Is m a multiple of 8?
True
Suppose 0 = -5*l + 2*w - 6, -3*w + 4*w = -3*l - 8. Suppose -2*u = -6 - 6. Does 2 divide l/u - (-78)/18?
True
Let c(f) = -f**3 - 4*f**2 + 3*f - 1. Let z be c(-5). Suppose z*d = 10*d - 14. Does 14 divide d?
True
Is ((-30)/12)/((-2)/8) a multiple of 10?
True
Suppose c - 67 = 5*h, -5*c + 596 = -5*h + 161. Is c a multiple of 23?
True
Suppose 0 = 5*v - 11 - 14. Is 5 a factor of v/2*4*1?
True
Suppose -5*g + 70 = -0*g. Let a(o) = 13 + 2*o - o + g. Does 16 divide a(0)?
False
Suppose -5*b = -2*z - 3, 0*b = -3*z - 5*b + 8. Suppose 0 = -2*o + 5*o. Does 7 divide (14*z)/(o - -1)?
True
Let g(j) = -j. Let w(b) = b**2 - 10*b - 3. Let v(p) = -6*g(p) + w(p). Does 5 divide v(6)?
False
Let u(o) = 2*o - 6. Let n be u(7). Is 6 a factor of 15/10*n*1?
True
Let a(v) = v**3 - 3*v**2 - 2*v + 2. Let f be 27/6*(-6)/(-9). Let m be (-4 + f - -8) + -3. Is 10 a factor of a(m)?
True
Suppose 0 = 2*p + p - 5*l - 84, 2*p - 52 = 2*l. Is 13 a factor of p?
False
Let d = -37 + 53. Let f = 45 - d. Is 29 a factor of f?
True
Suppose 5*q - 487 + 77 = 0. Does 28 divide q?
False
Suppose -5*s - a = -40 - 67, -2*a = s - 16. Suppose -t - 5*i = -i - 10, t = -i + s. Is 13 a factor of t?
True
Let z(q) = q**3 - 7*q**2 - 3*q - 4. Let r be z(7). Suppose 0*b - 3*b = -5*j, 0 = -j - 2*b. Is 10 a factor of -1 - (r - (j + 2))?
False
Suppose 2*k - 8 = -3*m, 3*m + 2*m = -5*k + 20. Let i(f) = -f**2 - f + 5. Let a be i(m). Suppose a*l - 93 = 3*r - 0*r, r + 38 = 2*l. Is 8 a factor of l?
False
Let h = -28 + 47. Is h a multiple of 6?
False
Let j(f) = -f**3 + f**2 + 3*f + 2. Let n = -10 - -8. Does 3 divide j(n)?
False
Let y(d) = -3*d - 21. Let l(w) = -2*w - 14. Let u(n) = -8*l(n) + 5*y(n). Let h be u(-5). Suppose -h*x + 2*o + 48 = 4*o, -2*x = 5*o - 42. Does 10 divide x?
False
Let v(m) = m**2 - m + 6. Let a be v(0). Does 6 divide (a + 6)/(0 + 2)?
True
Suppose 3*q = q + 10. Suppose 2*w - 3 + q = 2*f, -24 = -w - 4*f. Suppose 29 = w*t - 75. Does 13 divide t?
True
Suppose 2*g + 3*z = 14, 4*z - 5*z = 4*g - 28. Let y be 1/(3/4 + -1). Let j = g + y. Is 2 a factor of j?
False
Let u = -11 - -11. Let f(y) = -2*y + 14. Does 7 divide f(u)?
True
Is 16 a factor of -1*5*(-96)/5?
True
Does 5 divide (-2)/3 - 96/(-9)?
True
Let v(t) = -t**3 + 7*t**2 - 6*t + 2. Let k be v(6). Suppose k*c = -3*c. Suppose c = g - 7. Is g a multiple of 6?
False
Let x(t) be the third derivative of t**7/240 + t**6/720 - t**5/20 - 3*t**2. Let h(v) be the third derivative of x(v). Does 11 divide h(1)?
True
Suppose 0 = 3*m - 8*m - 1025. Let n = -142 - m. Is 21 a factor of n?
True
Let r = 103 - 73. Let h = -11 - -16. Suppose -h*t + r - 5 = 0. Is 2 a factor of t?
False
Is 30 a factor of 5/(-2 - (-52)/24)?
True
Does 7 divide 20 + 1 + 0/2?
True
Let s = -4 + 3. Does 12 divide (-3 + s)*(-12)/4?
True
Let f be (-2)/(-8) + (-6)/24. Suppose f = n + n. Suppose 2 = -d, k + 2*d - 5 = -n*k. Is k a multiple of 4?
False
Let k(p) = -p**3 + p**2 - p + 1. Let n(i) = 3*i**3 + i**2 + 11*i - 1. Let m(f) = 4*k(f) + n(f). Let v be m(6). Let s = v - 5. Does 2 divide s?
True
Let b = 10 + 98. Is b a multiple of 27?
True
Is 56 a factor of ((-12)/(-8))/(24/3952)?
False
Let h(c) = -3*c + 27. Is h(0) a multiple of 4?
False
Let a(d) be the second derivative of -d**3/6 - 7*d**2/2 - 3*d. Let m be a(-12). Suppose -i + 0*i - 53 = -m*x, 4*x - 5*i = 34. Does 4 divide x?
False
Let x be (66/(-9))/(4/(-42)). Suppose -3*b - 3*s + 42 = 0, -4*b + x = 3*s + 18. Does 12 divide b?
False
Let v be 118/6 - 2/(-6). Suppose -4*s = 4*m - v, -m + 1 = 2*s - 3. Suppose m*x = 3*x + 24. Is x a multiple of 8?
True
Suppose -5*z = -31 - 19. Does 13 divide 388/z - (-2)/10?
True
Is 16 a factor of 81 - (-4 + 0 + 1)?
False
Let x = 22 - -14. Is x a multiple of 12?
True
Let x(t) = t + 2. Let p be x(4). Does 8 divide p/(-5)*135/(-6)?
False
Suppose j + 25 = 4*a, 35 = 6*a - a - 5*j. Let i = a - 3. Suppose -4*c + 44 = 4*f, i*f + 26 = 3*c - 1. Does 5 divide c?
True
Let g = -2 - -5. Suppose g*c + 3*q - 5*q = 23, -4 = q. Suppose 0 = -c*y + 15. Is 2 a factor of y?
False
Let a(y) = 5*y + 5. Let x be (-5 - (1 - 2))/1. Let l be -2 - 0 - (x - 2). Does 13 divide a(l)?
False
Let p = -8 + 35. Let f = 35 + p. Suppose f = 5*d - 2*z, 4*d - 5*z = -d + 50. Is d a multiple of 14?
True
Let c(z) = -z**3 - 6*z**2 - 2*z - 7. Let y be c(-6). Let f = y + -5. Suppose f*r = -3*r + 27. Is r a multiple of 4?
False
Suppose 3*a = -0*a - 9. Suppose 63 = 3*p + 4*x, 25 = 3*p - x - 23. Let r = p - a. Does 10 divide r?
True
Let i(t) = t**2 - 4*t. Suppose 0 = -p - 19 + 13. Is i(p) a multiple of 12?
True
Let b = 25 + -15. Let g(k) = -2*k - 4. Let w be g(b). Is 14 a factor of (w/(-30))/(2/35)?
True
Suppose 0*a - 2*a = -2. Let o(f) = 7*f**2 + 11*f**2 - 1 + 6*f**2 + 4*f**2. Is o(a) a multiple of 9?
True
Let u be (48/10)/(3/10). Does 21 divide ((-63)/4)/((-6)/u)?
True
Let h = 79 - 61. Is h a multiple of 18?
True
Let k(b) = b**2 - 5*b + 9. Is k(9) a multiple of 32?
False
Let s(l) = 7*l**2 + 8*l - 4. Let d be 8/(2 + -1 - 0). Let t be s(d). Is 10 a factor of 6/(-27) - t/(-18)?
False
Let m(o) = -o**3 + 8*o**2 - 10*o + 6. Suppose 0 = -2*t + 5*t - 3. Let i be ((-4)/(-10))/(t/15). Is m(i) a multiple of 7?
False
Let c(u) = u**2 + 5*u. Let h be c(-5). Suppose 0 = -h*l + 4*l - 36. Is 9 a factor of l?
True
Let x(i) be the first derivative of -4*i**2 - 2*i - 2. Let y be x(3). Let z = 57 + y. Does 13 divide z?
False
Suppose -4*g + 41 - 5 = 0. Let i(w) = 4*w - 8. Does 13 divide i(g)?
False
Let b be 0/((-3)/(-6)*-2). Suppose 0 = -2*m - b*m. Suppose m = 2*c + 3*c - 70. Is c a multiple of 14?
True
Let m(o) = 2 - o + 0*o + 2*o. Does 3 divide m(4)?
True
Let m be (5/((-10)/(-8)))/2. Let v(p) = 0 + m + 0 - 1 - 12*p. Does 9 divide v(-2)?
False
Let z(s) = -24*s + 2. Suppose -f - 4 = f. Is z(f) a multiple of 25?
True
Let a(s) be the first derivative of s**2/2 + 8*s + 1. Is 8 a factor of a(0)?
True
Let q(b) = -b. Let d be q(-4).