 be (2 + -1)*3 + -1. Let g(x) be the first derivative of 19*x**2/2 - 3*x + 6. Is 15 a factor of g(n)?
False
Suppose -7*w - 625 = -12*w. Is 14 a factor of w?
False
Let r be (-8)/(-6) + (-2)/(-3). Let y be 18 + (3 - r - 3). Suppose -3*f = -4*f + y. Does 13 divide f?
False
Suppose 4*q - 7*q + 6 = -3*k, -3*q = -4*k - 3. Suppose -q*a = -0*r - 3*r + 16, 0 = -a + 1. Is r a multiple of 4?
False
Suppose 5 = 4*k - 3, -3*x + k = -4. Suppose -a - 320 = 3*a. Is 16 a factor of (0 + a)*x/(-5)?
True
Suppose -4*v + 3*x = -791, 4*x = -0*x - 20. Is v a multiple of 17?
False
Suppose 0 = 5*p - 180 + 75. Is 13 a factor of (-6)/p - (-368)/14?
True
Suppose 2*b - 41 = -1. Suppose -n + 4 = -g - 24, b = 4*n. Let o = -13 - g. Is 5 a factor of o?
True
Let t = -30 - -56. Suppose 4*w = 5*w - t. Does 26 divide w?
True
Let t(v) = -4*v - 10. Let c(x) = 1. Let d(u) = -2*c(u) - t(u). Is d(6) a multiple of 16?
True
Suppose -a = -2*x, 3*x - 6*x = -5*a. Suppose 58 = 2*k - 3*y - 2*y, 4*y = a. Is 7 a factor of k?
False
Let z(s) = s**3 - 4*s**2 - 2*s + 10. Let l(y) = -y**3 + 3*y**2 + y - 9. Let t(a) = 7*l(a) + 6*z(a). Is t(-3) a multiple of 12?
True
Is 26 a factor of (130*(-5)/40)/(1/(-8))?
True
Let i = -37 + 10. Let c = 51 + i. Does 8 divide c?
True
Suppose -6*z = 2*z - 200. Is z a multiple of 11?
False
Let p(n) = 14*n**3 - 12*n**2 + 14*n + 6. Let c(d) = 5*d**3 - 4*d**2 + 5*d + 2. Let u(y) = -11*c(y) + 4*p(y). Is u(6) a multiple of 16?
True
Suppose 3*x = -x + 8. Suppose -x*z + 10 = 3*z. Suppose 4*d - 3*v = -10 + 37, 0 = -z*d - v + 1. Is d even?
False
Let r = 131 + -79. Is 31 a factor of r?
False
Let t(a) = 65*a**3 - a**2 + 2*a - 1. Is t(1) a multiple of 13?
True
Let o(r) = -r**2 - 3*r + 2. Let s be o(-3). Suppose 6 + 4 = s*x. Is 3 a factor of x?
False
Let i = -12 + 17. Suppose -i*l + 8*l = 33. Is l a multiple of 9?
False
Let t = -890 + 1291. Does 22 divide t?
False
Is 12*(-3 + 38/8) a multiple of 17?
False
Suppose -2*b + 10 = z + b, 2*z = -4*b + 28. Let s = 34 - z. Is 11 a factor of s?
False
Does 6 divide -21*(2 + (-6 - -3))?
False
Suppose 3*d - d - 118 = 0. Is d a multiple of 15?
False
Suppose 0 = -5*i + 3*y - 7 + 19, 2*i - 8 = 2*y. Let v = i + 0. Suppose -3*t - t + 104 = v. Is t a multiple of 13?
True
Suppose n - 2*v + 124 = 5*n, -5*v = -4*n + 110. Suppose 0 = q + 4*q - n. Suppose -o + q*o - 65 = 0. Is o a multiple of 13?
True
Let l = 25 + -17. Let t(v) = v**2 - 2*v - 17. Does 31 divide t(l)?
True
Suppose 2*w - 2*q + 42 = 0, -3*w = w - 2*q + 82. Is ((-6)/3)/(2/w) a multiple of 13?
False
Suppose 4*c + w + 0*w = 157, -4*c + 2*w = -142. Does 4 divide c?
False
Suppose -q = -2*g - 0*g, 3*g = 3*q + 3. Let p(v) = -19*v + 2. Does 20 divide p(q)?
True
Suppose -q + 138 = -92. Is q a multiple of 16?
False
Let d(q) = q**2 + 6*q + 2. Let j be d(-6). Suppose 0 = -j*c - 2*c + 20. Is c even?
False
Suppose -3*a = 5*w - 197, w - 127 = -2*w - 4*a. Is w a multiple of 15?
False
Suppose 0 = -4*f - 2*j + 42, -f + 5*f - 5*j - 7 = 0. Suppose -c + f = -2. Is 5 a factor of c?
True
Let h be 3/2*12/9. Let u be h*-1 + -28 + 3. Let n = 6 - u. Is 13 a factor of n?
False
Let h(o) = 3*o + 4*o + 0 + 1. Let x = 41 + -38. Is h(x) a multiple of 11?
True
Let v(z) = z**2 + 2*z + 2. Let g be v(-4). Let c = 2 + g. Does 3 divide c?
True
Let m be 3 + -1 + 0/1. Suppose m*q - 2*u + 11 = -5*u, 2*u + 10 = 0. Suppose q*y - 12 = 10. Is y a multiple of 11?
True
Suppose -71 = -2*r + 5*f + 204, -3*r = -f - 406. Does 45 divide r?
True
Suppose -5488 = 7*x - 21*x. Is 14 a factor of x?
True
Let a(w) = w**3 - 2*w**2 + 3*w - 1. Let d be a(2). Suppose -d*i = -3*q - 153 - 7, 4*q = -2*i + 64. Does 14 divide i?
False
Let k(i) = i**2 + 10*i + 5. Let a be k(-6). Suppose 0 = x + 2*x - 81. Let g = x + a. Does 4 divide g?
True
Let b be (0/(-4) - -2) + 3. Suppose b*t - 46 - 74 = 0. Is t a multiple of 8?
True
Let o = 60 + -32. Is 7 a factor of o?
True
Let f(q) = q**2 - 6*q - 14. Is 13 a factor of f(10)?
True
Let i = -7 + 5. Let v(w) = -w**3 + w - 2. Let o be v(i). Suppose -o*f + 16 + 28 = 0. Does 6 divide f?
False
Let x(l) = l**3 + l**2 - l + 1. Let h = 1 + 4. Let y(u) = -6*u**3 - 8*u**2 + 8*u - 3. Let p(d) = h*x(d) + y(d). Is p(-4) a multiple of 6?
True
Suppose -6*w - 9 = -3*w, 0 = -x - w + 118. Does 11 divide x?
True
Suppose 2*t + 0*c + 3*c = 25, 0 = 2*t - 2*c - 20. Suppose 5*g - 14 = -5*h + t, 2*g = 4*h + 10. Let y(b) = -b + 5. Does 4 divide y(h)?
False
Suppose -2 = 3*m - 14. Suppose 9*y - m*y + u = 65, -5*u + 45 = 5*y. Suppose 10 + y = 4*b. Is 6 a factor of b?
True
Let q = -15 - -9. Is 17 a factor of (-1)/6 - 307/q?
True
Suppose -5*l = -2*j + 15, -3*l - 4 - 5 = -3*j. Let o = j + 5. Let s(u) = u**2 - 2*u - 6. Is s(o) a multiple of 9?
True
Let k = 4 - 2. Suppose k*t = 8 + 2. Suppose 4*p = 2*f - 36, -f + t*p - 11 = -2*f. Is 5 a factor of f?
False
Let i(j) = 2*j - 4. Let b be i(4). Let u(n) = -n**3 + 4*n**2 + 5*n - 3. Does 11 divide u(b)?
False
Let q(v) = 4 - 2*v + 4*v - 5*v. Let o be 13/(-2) - 1/(-2). Does 10 divide q(o)?
False
Suppose n + 13 + 12 = 0. Is 15 a factor of (n - -2)/(1 + -2)?
False
Suppose -3*q - 41 = -z, z - 3*q - 33 = -2*q. Let m = 91 - z. Let x = m - 44. Is x a multiple of 18?
True
Let x(l) = -l - 1. Let m(i) = -i. Let g(c) = -m(c) - 2*x(c). Let f be 2 - 0/(-2) - -1. Is g(f) a multiple of 11?
True
Let f = -5 - -6. Let r(v) = 7 + 0 + 9*v + v**2 + f - 2*v**2. Is r(9) a multiple of 5?
False
Suppose -76 = -3*v - 16. Let r = v - 9. Is 3 a factor of r?
False
Suppose -4*q - 2 = -10. Suppose 5*f - q*f + 5*i = 71, 3*i + 111 = 3*f. Is 16 a factor of f?
True
Let t(f) = 0*f**3 + f**3 - 5*f + 9*f + 8*f + 13*f**2 + 11. Does 11 divide t(-12)?
True
Let x be 2/(-7) + 1650/42. Suppose 3*u - y - 28 = 0, 2*u + 4*y - 3 = x. Let n = 35 - u. Is 12 a factor of n?
True
Let c(r) = 32*r - 1. Let w(q) = -q. Let h(a) = c(a) + 4*w(a). Is h(1) a multiple of 9?
True
Let l(u) = -u**2 - 2*u + 1. Let j be (-5)/1 - (-5 - -3). Let m be l(j). Is 10 a factor of m + 1/(1/16)?
False
Suppose -4*t - 21 = 139. Let i be ((-24)/(-3))/((-3)/30). Let f = t - i. Is 20 a factor of f?
True
Let w = 8 + -30. Let i = w + 52. Is i a multiple of 10?
True
Let z(b) = b - 4. Let s be z(4). Suppose -5*h + 36 + 144 = s. Suppose h = 2*x - x. Is 18 a factor of x?
True
Let p be (4/(-8))/((-2)/12). Let y(j) be the second derivative of 3*j**5/20 - j**4/3 + j**3/3 - 2*j. Is y(p) a multiple of 17?
True
Is 507/18 + (-4)/24 a multiple of 7?
True
Suppose -z - 119 = -4*r, -2*r - z = -24 - 43. Is r a multiple of 15?
False
Suppose -2 = -2*z + z. Let l be (0 + 2)/(4/226). Suppose -6*o + z*o + l = -d, 4*d + 47 = o. Is o a multiple of 16?
False
Suppose g + 0*g - 11 = 0. Let u = 41 - g. Is 15 a factor of u?
True
Let l(t) = -10*t - 1. Suppose 0*x = -5*x - 15. Is l(x) a multiple of 11?
False
Let d(y) = 15*y. Suppose g + 7 = 2, 0 = 5*i + 4*g + 25. Let u be d(i). Let w = u + 40. Does 15 divide w?
False
Let t = -4 + 4. Suppose t = -4*v - 0*v + 100. Does 25 divide v?
True
Suppose -4*s + 472 = -4*v, -s - 4*v + 98 + 0 = 0. Is s a multiple of 19?
True
Let i(w) = -w + 30. Let t be i(0). Let g = t - 17. Suppose -5*j + 32 = -g. Is 9 a factor of j?
True
Let t(p) = p**2 + p - 12. Does 4 divide t(7)?
True
Suppose 0 = 3*p - p - 10. Suppose 4*a + 24 = p*a. Is 12 a factor of a?
True
Let f(d) = 7*d**2 - d + 1. Let i be f(1). Let z(c) = -c**2 + 9*c - 5. Is 6 a factor of z(i)?
False
Suppose 4*y - 9 = -1. Is 3 a factor of y/9 + (-70)/(-9)?
False
Let z be 3 - 0/(-3 - -5). Suppose -2 + 32 = z*b. Is b a multiple of 8?
False
Let v be 1*(2 + -1 + 0). Suppose m - v = 0, -4*m + 0*m + 54 = 5*r. Is r a multiple of 7?
False
Let k(t) = t**3 + 6*t**2 - 3*t - 7. Does 19 divide k(-5)?
False
Let q = -9 + 34. Is q a multiple of 25?
True
Let a = -1 - 1. Suppose -2*i - 5*k = i - 19, 10 = 5*i + 4*k. Is (1/a)/(i/208) a multiple of 22?
False
Let p(m) = 2*m**2 - 5*m - 4. Let c = 11 + -7. Is p(c) a multiple of 6?
False
Let s = -126 - -198. Is 24 a factor of s?
True
Let a(y) be the third derivative of y**5/60 + y**4/2 + 2*y**3 - 2*y**2. Does 6 divide a(-12)?
True
Let m be -3*7/(84/(-8)). Does 7 divide (5 - m)*(-70)/(-6)?
True
Let v = 0 + -1. Let i be (-1)/(v/16*1). Suppose -5*p - i + 96 = 0. Does 12 divide p?
False
Let v(i) = -i**3 + 6*i**2 + 2. Let c be v(6). Suppose 0 = -2*x + 3*s + 43, -5*x = -s + c*s - 82. Is x a multiple of 5?
False
Let a(l) = l