 2*v**3 + 8*v - 3*v**2 + 3. Is p(-5) a multiple of 7?
False
Let v(h) = -h**3 - 6*h**2 + 2*h + 4. Let y be v(-6). Let p = 28 + y. Does 10 divide p?
True
Suppose 25 = 6*q - q + 2*c, 4*c - 5 = -q. Suppose -m - 8 = -q*m. Suppose -v - s = s - 11, m*v = 5*s + 67. Is 12 a factor of v?
False
Let q(n) = n - 4. Let k be q(7). Suppose -3*d + 3*r + 75 = 0, k*d - 7*d = -5*r - 103. Suppose 6*a - d = 4*a. Is 5 a factor of a?
False
Let i be (1 - 7)/(-3) - -1. Let g(w) = w + 1. Let k(x) = 6*x + 1. Let j(u) = 2*g(u) + k(u). Does 12 divide j(i)?
False
Let s(x) = 7*x. Let i(y) = y**2 - 5*y - 2. Let r be i(4). Let b be s(r). Let j = b - -65. Is j a multiple of 23?
True
Let w(b) = 31*b**2 + 5*b + 7. Let t(i) = i + 2. Let h be t(-4). Let x(v) = 15*v**2 + 2*v + 3. Let g(c) = h*w(c) + 5*x(c). Does 10 divide g(-1)?
False
Suppose 3*l - o - 22 = -5, -28 = -4*l + 4*o. Is 5 a factor of l?
True
Let y = 198 + -123. Is 25 a factor of y?
True
Suppose 0 = 5*a - 2*b - 35, 3*a - 5*b = 21 - 0. Let n = -4 + a. Suppose -2*p + 34 = -4*q, n*q + 47 - 15 = 2*p. Is p a multiple of 13?
True
Let n = -3 + 13. Let a be 56/6*(-15)/n. Let v = 34 + a. Is 10 a factor of v?
True
Suppose 25 = 6*p - 5*p. Does 5 divide p?
True
Let d be 6/4 + 82/4. Let c = -1 - -2. Does 10 divide d*(-3)/(-6) - c?
True
Let t(w) = 5*w**2 - w + 1. Let g(y) = -y - 5. Let q be g(-6). Does 3 divide t(q)?
False
Let a = 207 - 133. Is 25 a factor of a?
False
Let s(m) = 2*m**3 + 2*m**2 - 3*m - 13. Let u(n) = -n**3 - n**2 + n + 6. Let h(g) = 2*s(g) + 5*u(g). Let o be h(-3). Is (30/o)/(2/5) even?
False
Let m(l) = -l + 3. Let v be m(2). Let y be (-24)/(-4) + 1/v. Is -4*(2 - y/2) a multiple of 6?
True
Let c = -5 - -4. Let n = -23 + c. Let w = -12 - n. Is w a multiple of 5?
False
Let b = -12 + 3. Let o(x) = -x**2 - 11*x - 10. Does 8 divide o(b)?
True
Is 26 a factor of 1*-26*(1 + -3 + 1)?
True
Let n be (-2632)/(-10) + (-2)/10. Suppose 4*p - n = -3*f, -5*p + 2*f = -p - 278. Does 17 divide p?
True
Let d(q) = q**2 - 4*q - 7. Let a be d(6). Suppose a*v - 10*v + 65 = 0. Is 12 a factor of v?
False
Let j = -103 + 67. Is 3 a factor of (-100)/j + 2/9?
True
Let f(t) = -t**3 - 10*t**2 - 2*t + 3. Is 11 a factor of f(-10)?
False
Suppose 4*m - 8*m = -4*j + 28, j = 4*m + 22. Suppose -5*l + 0 = p - j, 0 = 5*p + 2*l - 33. Let n = p - -4. Is 10 a factor of n?
False
Suppose -y - y - 20 = 0. Is y/(0 + -2)*1 even?
False
Let c = 103 + -66. Does 12 divide c?
False
Let h = 1 + 1. Suppose 47 = h*r + 5. Does 15 divide r?
False
Let j(x) = -3*x - 7. Does 3 divide j(-8)?
False
Suppose -3*s + 5*s = 0. Suppose 2*y + s*y = -24. Is 19 a factor of 171/(-6)*16/y?
True
Suppose 5*m - 277 = f, -4*f + 68 = 2*m - m. Is 14 a factor of m?
True
Let l = -2 + 10. Is 8 a factor of l?
True
Let d be 3/(-2)*624/(-18). Is 17 a factor of (-3)/(12/(-8)) + d?
False
Is 1554/12 - 2/(-4) a multiple of 13?
True
Suppose -2*q + 5*q = 0, -4*q - 4 = -4*k. Let n be 2 - (-2 + 1 + k). Suppose 6 = n*y - 10. Is y a multiple of 3?
False
Suppose 0*f = -3*f + 15. Let p be 7/(-1) - (-2 - -1). Is f/5 - (p - 1) a multiple of 3?
False
Let z(h) = -4*h + 5. Is 12 a factor of z(-10)?
False
Let i(q) = 11*q - 36. Does 48 divide i(12)?
True
Suppose -d + 3 = -x, -4*d + 2 = -5*x - 10. Suppose -2*i - d*v = 2*v + 2, 4*i - 5*v = 26. Is 36/21 + i/14 a multiple of 2?
True
Let i = 52 + -6. Is 23 a factor of i?
True
Let x = 12 - 7. Suppose 20 = -0*w + 2*w - 2*v, -x*w + 74 = 3*v. Does 5 divide w?
False
Suppose 3*y + 0*y + n = 673, 2*n + 679 = 3*y. Suppose 0 = 3*s - 4*t - 131, s - 6*s + y = -5*t. Is 13 a factor of s?
False
Suppose -w + 5*d + 230 = 0, 0*d - 212 = -w - 4*d. Is 18 a factor of w?
False
Suppose -x = 4*u + 3*x - 116, x - 55 = -2*u. Let t = 70 - u. Is t a multiple of 22?
True
Let p = 17 - -15. Is p a multiple of 18?
False
Let p be (5 + -15)*1/2. Let y(i) = -2 + 6 + 7*i**2 - 3 + 5*i + i**3. Does 8 divide y(p)?
False
Let h(z) = 10*z**2 - 9*z - 13. Is h(5) a multiple of 35?
False
Let y be (-188)/(-12) - (-2)/6. Let t = 44 + y. Is t a multiple of 12?
True
Let f(p) = p**2 + 4*p - 9. Let j(q) = -q**2 - 9*q - 7. Let o be j(-9). Let n be f(o). Suppose v + 4*z + n = -2, 4*v - 9 = -3*z. Does 6 divide v?
True
Let d = -7 - -11. Let g be (-4 - -6)/(d/42). Suppose 0 = -2*v - 2*q - q + g, 0 = -5*v - q + 59. Does 7 divide v?
False
Suppose 14 = 2*t - 0*t - 4*p, 4*t - 88 = -4*p. Is 3 a factor of t?
False
Let g = 78 - -158. Does 52 divide g?
False
Suppose 0 = -4*p + 4*n - 8, p + 3*n = n + 10. Let m(j) = p*j**2 + 1 + 2*j + 3*j - j**2. Is 4 a factor of m(-6)?
False
Suppose 10*z - 582 = 38. Does 31 divide z?
True
Let b(g) = -24*g - 2. Does 18 divide b(-2)?
False
Suppose -5*s + 0*s + 35 = -w, 3*s - 28 = 2*w. Let d(y) = 20*y - 5. Let p be d(s). Suppose b = 6*b - p. Does 11 divide b?
False
Suppose -2*w + 18 = -5*w. Let i = 28 + w. Is 11 a factor of i?
True
Suppose -a + 2*a - 6 = 0. Suppose 0 = 3*p - 5*p + a. Suppose -2*t + p*t = 3. Is t a multiple of 3?
True
Is (288/14)/((-12)/(-224)*4) a multiple of 32?
True
Let u(o) = 6*o**2 + 4*o + 6. Let w be (-24)/30*(-1 - -6). Let g be u(w). Let m = -51 + g. Is m a multiple of 11?
False
Let d(j) = -j**3 - 12*j**2 - 12*j + 9. Is d(-11) a multiple of 10?
True
Suppose 2*z = z + 39. Let m = 65 - z. Does 26 divide m?
True
Suppose 5*u - 2*u = 12, 5*v = 3*u + 848. Is 38 a factor of v?
False
Suppose -3*z + 19 = 5*b, -3*b + 19 - 7 = 2*z. Suppose c + 240 = 4*n + 5*c, 2*n = b*c + 100. Is 20 a factor of n?
False
Suppose 3*y = -2*y + 10. Let g(v) = 7*v**2 + 1. Let s be g(y). Is 20 a factor of 1/1 - (1 - s)?
False
Suppose -36 = -3*a - 2*x - 8, a - 5*x + 2 = 0. Is 8 a factor of a?
True
Let a be (-3)/(2*(-6)/40). Is 6/10 + 44/a a multiple of 5?
True
Suppose 4*v + 3*g + 8 = -12, 4*v + 4 = g. Is -4 + 7 + (-38)/v a multiple of 11?
True
Suppose 0*l - r - 208 = -2*l, -2*r + 424 = 4*l. Let q = l - 65. Is 20 a factor of q?
True
Is 25 a factor of (-45)/3*(-15)/9?
True
Suppose 7*l - l = 162. Is l a multiple of 9?
True
Does 8 divide 0 - 6/9*-12?
True
Let t(b) = 370*b - 2. Is t(1) a multiple of 11?
False
Is (-2)/(-2)*(-27)/(-9) even?
False
Suppose -p + 4*c + 53 - 152 = 0, 5*p + 495 = -5*c. Let h = -57 - p. Is h a multiple of 14?
True
Suppose -5*m = 4*h + h - 190, 0 = -2*m - 4*h + 72. Is 10 a factor of m?
True
Let o = 0 + 3. Let y = o + 0. Let b = 36 - y. Is 9 a factor of b?
False
Suppose 0 = 4*m - g - 268, m - 4*g - 72 = -5*g. Is m a multiple of 34?
True
Let p be 1*18/10*5. Let b(l) = l - 1 + l + p*l**2 - 2. Is 14 a factor of b(2)?
False
Suppose 0 - 153 = -3*v. Is v a multiple of 17?
True
Suppose -p - 2*c - 1 = 9, 3*c = 2*p - 15. Suppose 3*f + 12 = 4*f + 5*y, -2*f + y + 2 = p. Suppose m = f*m - 5. Is m a multiple of 5?
True
Suppose -3*m = f + 13, 5*m + 5*f = 2 - 7. Let y be (10/m)/((-4)/12). Suppose 0 = -y*i + 3*i + 26. Is 13 a factor of i?
True
Suppose 4*x = 33 - 1. Let z = x - 4. Suppose 0 = 2*i + z*b - 36, i - 3*b - 34 = -b. Does 9 divide i?
False
Suppose -2*d = -5*x - 230, -3*x + 366 = 6*d - 3*d. Is d a multiple of 8?
True
Suppose 3*b + 5*d = -15, -5*d - 9 = -2*d. Let q(l) = -l**2 + 2*l - 3 - l**3 + b*l**3 - 1. Does 13 divide q(-4)?
False
Is 7 a factor of 4*3/(-21)*(-2331)/18?
False
Let h(k) = 4*k - 8. Let q = -2 + 10. Is 9 a factor of h(q)?
False
Is 2 a factor of 2/(60/52 - 1)?
False
Let c(s) = -s**3 + 10*s**2 - 9*s - 4. Let x be c(9). Let o(f) = f**2 + 3*f. Let u be o(x). Suppose 8 = 5*k - u*k. Is k a multiple of 5?
False
Let a(w) = -w**3 + w**2 + w + 1. Let c be 2 - (-2 - (2 - 2)). Let d be -4 + c/(-6)*-3. Is 11 a factor of a(d)?
True
Let n = 15 + 1. Is n a multiple of 4?
True
Let n(i) = i**2 - 1. Let m be n(-2). Suppose m*t - 2*t = 14. Does 7 divide t?
True
Suppose 23*w - 1785 = 8*w. Is 11 a factor of w?
False
Let p(u) = u**3 - 5*u**2 + u - 2. Is 5 a factor of p(6)?
True
Let k(g) = 7*g + 12. Does 32 divide k(3)?
False
Suppose 0 = y - 7 - 1. Does 8 divide 2/y + (-189)/(-12)?
True
Let l = -25 - 27. Let y = l + 88. Suppose c + 0*c - y = 0. Is c a multiple of 12?
True
Let p(s) be the third derivative of 25*s**4/24 + s**3/6 - 2*s**2. Does 17 divide p(2)?
True
Does 10 divide 759/22 - 1/2?
False
Let q(t) = -18*t**3 - 1. Suppose x = 1 + 1. Let m be (-5)/(-10)*(0 - x). Is q(m) a multiple of 17?
True
Let c = 202 + -118. Does 21 divide c?
True
Suppose 0*t - 4*t = 16. Let l(a) be the third derivative of a**6/120 + a**5/15