) = -7*v**3 + 7*v**2 + 6*v - 4. Let n(d) = -8*q(d) + 5*u(d). Does 15 divide n(b)?
True
Let y(p) = -4*p**3 + 2*p**2 - 2*p + 1. Let o be y(1). Let d be 1/(o/(1*24)). Let b(a) = -a. Is b(d) a multiple of 5?
False
Let y = -3 - -5. Let j = y + -2. Suppose -5*f + j*f = -60. Is 12 a factor of f?
True
Let y(k) = 7*k**3 + 7*k**2 + 5*k - 21. Let d(l) = -3*l + 0*l - 3*l**3 + 10 - l**3 + 0*l - 4*l**2. Let f(n) = -5*d(n) - 3*y(n). Is 13 a factor of f(0)?
True
Let z = 21 + 9. Is 10 a factor of z?
True
Let q be (194/6)/((-10)/(-30)). Let u = 145 - q. Does 16 divide u?
True
Suppose -94 = -4*q + 5*a, 2*a + 50 = 2*q - 2*a. Is q a multiple of 7?
True
Let o = -1 + 1. Suppose o = -4*s + 2*s. Suppose -3*u + 2*u + 16 = s. Is 5 a factor of u?
False
Let u = 285 - -35. Does 10 divide u?
True
Let l be (-2)/10 + 129/(-5). Let d = 38 + l. Is d a multiple of 12?
True
Let v = -10 + -31. Let q = -10 - v. Does 11 divide q?
False
Suppose 3*d = 45 - 138. Let g be ((-3)/(-1))/(6/(-4)). Is 12 a factor of 1/((g/2)/d)?
False
Suppose 8 = 7*t - 6*t. Is 4 a factor of t?
True
Let q be (0 + (-3)/(-6))*22. Let j = q + -7. Suppose -12 = -j*y + y, -4*l = -2*y - 48. Is 14 a factor of l?
True
Is (-1*82/5)/((-46)/115) a multiple of 9?
False
Suppose 3*s + 121 = 4*s + p, 0 = -s + 5*p + 97. Suppose 0 = -5*u - 3*f + 125, 2*f - f + s = 4*u. Is 14 a factor of u?
True
Suppose 2*r = 5*w - 4*w + 59, -5*r = 5*w + 265. Let t = -20 - w. Suppose -c = a - t, -4*a - 12 = -c + 8. Is c a multiple of 16?
True
Suppose 44*w + 18 = 46*w. Is 4 a factor of w?
False
Does 28 divide 385/14*6/5?
False
Suppose -1540 = -5*q - 0*q. Is 12 a factor of q?
False
Let p(o) be the second derivative of 17*o**3/3 + o**2 - 2*o. Let m be p(3). Suppose -3*s = -m + 23. Is s a multiple of 14?
False
Let c(k) = 2*k**2 + 7*k. Is c(5) a multiple of 17?
True
Let q(m) = 4*m**3 + 8*m**2 + 5*m + 3. Let o(f) = -7*f**3 - 15*f**2 - 10*f - 6. Let d(t) = -6*o(t) - 11*q(t). Let w be d(-3). Let n = w - 35. Does 14 divide n?
False
Let i be ((-188)/(-6))/((-4)/(-6)). Let y be (6 + -5)/((-1)/31). Let u = y + i. Is u a multiple of 15?
False
Let x be ((-2)/3)/(1/3). Let p(d) = -d**3 + 7. Let l be p(0). Does 6 divide (-6)/x + l + 0?
False
Let m = 363 + -192. Suppose 3*c - m = -4*d, 247 = 5*c - 5*d - 3. Does 14 divide c?
False
Let w be (-15)/(-6) + (-4)/(-8). Suppose -f - 7 = 2*r - 76, -2*r + w*f = -65. Is r a multiple of 17?
True
Let o = -210 - -309. Does 16 divide o?
False
Let r be 18/3*(-2)/(-6). Suppose 0 = -4*h - r*m + 626, -m = -3*h - 0*m + 467. Suppose 4*q = 2*x + h, 2*x + 74 = 2*q - 0*q. Is q a multiple of 21?
False
Does 21 divide 942/12 + (-4)/8?
False
Is (-6)/(-27) - (-50)/18 even?
False
Let d be (-6)/(-4)*(-20)/(-6). Suppose 2*k + 8 = 5*t - 4, d*k = -3*t + 32. Suppose 0 = -4*v - 5*z + 121, -124 = -k*v + 3*z - 7*z. Is 13 a factor of v?
False
Suppose 4*j - 27 = 2*h - 3*h, -4*h = 4. Let n(i) = 4*i + 20. Is 11 a factor of n(j)?
False
Let y be 10/(-3)*12/(-10). Let x(h) = -2*h + 0*h + 21*h**2 + y*h + 1. Is x(-1) a multiple of 10?
True
Let o = 6 - 11. Let j = -5 - o. Suppose -2*k = 5*l - 199, j = -7*l + 2*l + 3*k + 189. Does 15 divide l?
False
Let t(o) = 17*o**2 - o - 2. Is 9 a factor of t(-1)?
False
Let f(p) = 3*p**2 + 1 + 3*p + 4*p + 5 - p**2. Is 16 a factor of f(-5)?
False
Let z = -38 + 8. Let u = z - -53. Is 10 a factor of u?
False
Suppose 0 = 4*w - 0*w - 32. Let j be (w + -2)/((-4)/30). Let y = 88 + j. Is 12 a factor of y?
False
Let j = 58 - 40. Let r = -15 + j. Is 3 a factor of r?
True
Suppose b - 2*d - 3 = 7, -5*b + 5*d = -30. Is 9 a factor of b + 31 - (-1 - 2)?
True
Let c(o) = -10*o - 11. Suppose -4*f + z = -19, -f + 5*z + 6 = -13. Let y(b) = 5*b + 5. Let w(t) = f*c(t) + 7*y(t). Is 13 a factor of w(-7)?
True
Suppose z + 86 = 5*j, -22 = 2*j + 2*z - 54. Is j a multiple of 6?
False
Suppose 193 = 4*n - 59. Suppose -u + n = 18. Does 14 divide u?
False
Let j(h) = -19*h**2 + 15*h + 6. Let q(n) = 9*n**2 - 7*n - 3. Let y(p) = 6*j(p) + 13*q(p). Does 9 divide y(-3)?
True
Suppose 2*c + 4*w - 2*w = -4, 6 = -2*c - 4*w. Let k = 12 + c. Is 7 a factor of k?
False
Let z(m) = m**3 - 11*m**2 - 10*m + 13. Let q be z(10). Let k = 265 + q. Is k a multiple of 17?
False
Let z be -3 + 1/(3/9). Let n(s) = s**2 - 7*s + 1. Let c be n(6). Let k = z - c. Does 5 divide k?
True
Suppose 4*z + 4 = -3*g, -z - 4*z + 5*g = -30. Is z a multiple of 2?
True
Let n(b) = b + 9. Let j be n(-6). Suppose j*s = -20 + 50. Does 7 divide s?
False
Let k(s) = 23*s - 1. Let y(h) = 3*h. Let f(o) = 3*k(o) - 24*y(o). Is 2 a factor of f(-4)?
False
Let m(q) = q - 5. Let g be m(7). Suppose -3*c = -i + 75, 59 = g*i - 3*c - 79. Is i a multiple of 21?
True
Suppose b + 105 = 4*b - 3*n, -5*b + 155 = -n. Suppose -b = -r - 4*r. Is 3 a factor of r?
True
Let a(u) = u**2 + 2*u - 4. Let j be a(-3). Let s be ((-4)/5)/(4/(-90)). Is j/(-2) + s/4 even?
False
Suppose 4*a - 5*v + 29 = 0, 2*v - 14 = -a - v. Let i(u) = 52*u**2 + u + 1. Does 24 divide i(a)?
False
Let d = 17 + -20. Let l = d - -9. Does 3 divide l?
True
Is 224 - (0 - -1 - (-5 - -8)) a multiple of 21?
False
Suppose -a - 23 = -3*d + 3*a, 4*a + 18 = -2*d. Does 26 divide 40 + d/((-3)/(-6))?
False
Suppose 1 = 2*b - 1. Is (31/3)/(b/3) a multiple of 10?
False
Suppose -2*z + 5*q = z - 320, 3*q - 116 = -z. Suppose -4*k + 153 = 5*s, 4*s = -4*k + 46 + z. Does 21 divide k?
True
Let z(u) = -u. Let f be z(-4). Suppose f*b - 179 = 9. Is 20 a factor of b?
False
Let o(i) = -4 - 1 + 0 - 2*i. Let r be (-6)/(-15) - (-111)/(-15). Is 7 a factor of o(r)?
False
Let c(q) be the second derivative of -q**5/20 - q**4/4 + 5*q**3/6 - 5*q**2/2 - q. Is 10 a factor of c(-5)?
True
Let o(f) = 6*f**2 - 8*f + 3. Is 9 a factor of o(4)?
False
Let p = -160 + 328. Does 12 divide p?
True
Let j = -7 - -6. Is j*(-1)/1 + 7 a multiple of 4?
True
Is 27 a factor of (-4)/(-10) - (-268)/5?
True
Let d be 8*(38/(-8) + 1). Is 4/d + 2992/165 a multiple of 9?
True
Is (-5)/(15/(-9)) - -55 a multiple of 11?
False
Let f(h) = h**3 + 5*h**2 - 8*h + 4. Is f(-4) a multiple of 5?
False
Suppose 0*o + 4*o - 776 = -5*n, 288 = 2*n - 4*o. Is 8 a factor of n?
True
Suppose -u + 3 = -0. Is 14 a factor of (-28)/(6/(u + -6))?
True
Suppose 3*m - 370 = -2*m - 5*s, -4*m + 281 = -s. Is 8 a factor of m?
False
Let n(m) = m**3 - 11*m + 4. Does 22 divide n(6)?
True
Let r = 12 - 9. Let i = r + 26. Does 29 divide i?
True
Does 13 divide 0/1 - -29 - 1?
False
Let l(i) = -i**2 - i - 2. Let m be l(-3). Let x(b) = b**3 + 7*b**2 - 11*b. Is 12 a factor of x(m)?
True
Suppose -3*i = -15, -85 = k + k + 5*i. Let g = -33 - k. Is g a multiple of 11?
True
Let w(n) = n. Let p(f) = f**2 + 1. Suppose -q + 6 = 2*q. Let k be p(q). Does 2 divide w(k)?
False
Suppose -u + 10 = n, 2*n + 3 = 4*u - 7. Suppose -u*s + 85 = 3*y, -2*s = 5*y - 0*s - 129. Does 16 divide y?
False
Let k(o) = o**3 + 7*o**2 + 6*o + 11. Is k(-5) a multiple of 8?
False
Let m(h) = 7*h**2 - 9*h + 11. Let y(c) = -c**2 - 1. Let b = -21 - -15. Let l(x) = b*y(x) - m(x). Is 13 a factor of l(6)?
True
Suppose -3*d = b - 72, -b - d + 62 = -0*b. Does 19 divide b?
True
Let b(d) = -d**2 + 7*d. Let z be b(7). Suppose -3*g + 3 = -2*g. Suppose g*f - 45 = -z*f. Does 15 divide f?
True
Let y(u) = -6*u + 7. Let d be y(-5). Let v = -19 + d. Is v a multiple of 6?
True
Let c(h) = -h**2 + 9*h + 1. Suppose 3*o - 5 - 7 = 0. Is 5 a factor of c(o)?
False
Let n(y) = -y**2 - 4 + 6*y - 6*y - 2*y**3. Does 13 divide n(-3)?
False
Suppose 6 = -3*d - 5*x, 4*d = -5*x - 3 - 0. Let n = d - -2. Is n a multiple of 3?
False
Let k = 72 + -27. Does 15 divide k?
True
Let p = -263 + 443. Is 34 a factor of p?
False
Let q(o) = -o**2 + 13 - 3*o - o - 4*o. Let w be q(-9). Suppose -3*r - 164 = -w*n, -2*r = 2*n + 2 - 70. Is 16 a factor of n?
False
Is 884/6 - ((-70)/15 - -4) a multiple of 27?
False
Let r(n) be the second derivative of -n**4/12 - n**3/6 + n**2/2 + n. Let i be r(-3). Let j = 11 + i. Does 4 divide j?
False
Let c(z) = z**3 - 4*z**2 + z - 4. Let q be c(4). Suppose q = -3*y + y + 10. Suppose -y*k - 2*r = -133, -5*k - 105 = -10*k + 5*r. Is k a multiple of 10?
False
Suppose 0 = 5*a - 649 - 301. Is a a multiple of 10?
True
Suppose 2*y + 10 = 0, -m + 3*y = -6*m + 210. Is 15 a factor of m?
True
Let p be -6*((-130)/4 + 2). Let o = p + -125. Is o a multiple of 26?
False
Suppose -3*r = -4*q + 206, -3*q = 2*r - 66 - 80. Is q a multiple of