ivide v?
True
Let u(l) = -2*l**2 - 18*l + 14. Is 10 a factor of u(-8)?
True
Suppose -a + 2 = -2. Suppose -3*b + 44 + 2 = a*o, 5*b = -5*o + 55. Is o a multiple of 13?
True
Let o(q) = 3*q**2 + 22*q + 12. Let a(h) = h**2 + 7*h + 4. Let z(n) = -7*a(n) + 2*o(n). Let y be z(-5). Does 7 divide 99/15 + y/(-10)?
True
Let n(s) = s**3 + 2*s**2 - 4*s - 1. Let r be n(-3). Suppose 2*d - 212 = -w - 2*w, 3*d = 3. Does 11 divide w/6 - r/3?
True
Suppose -5*v = 5*f + 20, v + 14 = -v - 5*f. Let z(u) = 10*u**2 + 2*u. Let p be z(v). Does 3 divide 404/p - 4/18?
False
Suppose 0 = 2*d + 33 - 207. Let x = d + -59. Does 12 divide x?
False
Is 2 a factor of (86/6)/(1/3)?
False
Suppose -3*y + 2*y + 4 = 0, -f + 14 = 3*y. Suppose -f*k - 3*k + 235 = 0. Does 12 divide k?
False
Let v be -2 - (-2 - -1*2). Does 7 divide ((-7)/v)/((-1)/(-2))?
True
Let d(k) = -k**2 + 7*k - 4. Let y be d(5). Suppose 51 - y = 3*c. Is 5 a factor of c?
True
Suppose -2*r - 8 = 2*r + 3*m, -3*m = 12. Suppose 0 = 5*z - 2*k - 3 - 62, -2*z = -3*k - 37. Let d = z - r. Is 4 a factor of d?
False
Let p(w) = w**3 + 7*w**2 - 2*w + 12. Does 4 divide p(-6)?
True
Let o = 0 - -2. Suppose o*m = -4, 4*x - 94 = -0*m - m. Does 8 divide x?
True
Let n = 16 + -26. Let r be 12/(-5) + (-4)/n. Does 10 divide (-17)/((-3)/(-6)*r)?
False
Suppose 5*l = -2*t + 847, 2*l + 3*t - 38 = 303. Is 13 a factor of l?
True
Let a(s) = -59*s**2 - 1. Let v be a(1). Let w = v - -86. Does 11 divide w?
False
Suppose 3*t + 29 - 119 = 0. Is 2 a factor of t?
True
Let p = 1 + 1. Suppose -8 = p*b - 2*s, -b + 8 = -0*b + 2*s. Suppose -2*n = -2*t + 28, b*n + 66 = 4*t - 2*n. Is 9 a factor of t?
False
Suppose -2*v - 132 = -4*v. Suppose -2*i + v = i. Does 11 divide i?
True
Let n(l) = l**3 + 4*l**2 + 3. Let p be n(-4). Suppose 4*b + p*c - 245 = 0, -b + 63 = -2*c + c. Is b a multiple of 14?
False
Let v = 83 + -75. Is 4 a factor of v?
True
Let a(q) = 8*q**2 + 5*q + 6. Does 21 divide a(-3)?
True
Suppose v - 2*s = 45, 2*s - s - 135 = -4*v. Suppose -5*k + v = 10. Suppose j + b - 36 = 6*b, k*j - 151 = -4*b. Is 13 a factor of j?
False
Suppose 0 = -2*d + 5*n + 257, 5*n - 3*n = -d + 106. Does 17 divide d?
False
Suppose -2*i = -0*i + 3*o, 4*i - o = 14. Suppose 0*s - d + 3 = s, 0 = i*d. Suppose -s*k + k - 3*x = -53, x = -5. Does 17 divide k?
True
Let k(m) be the third derivative of -m**4/24 + m**3/3 + m**2. Let s be k(4). Is (-35 - -1)/(s*1) a multiple of 17?
True
Let m(g) = -g**3 + 2*g**2 + 5*g - 1. Suppose 3*y = s - 11, s - 7 = -0*y + 2*y. Let x be m(y). Is 11 a factor of -2 + (-1 - x/(-3))?
True
Let j(g) = -g**3 - 9*g**2 - 11. Let d be j(-9). Let s(b) = -b**3 - 10*b**2 + 9*b + 12. Does 15 divide s(d)?
False
Let w = -50 + 86. Is w a multiple of 36?
True
Let x = -39 + 66. Is 27 a factor of x?
True
Let d be 2/((-11)/10 - -1). Let i be (-6)/(-4) - 207/(-6). Let u = d + i. Is 7 a factor of u?
False
Let s(n) = 2*n**2 - 1. Suppose -2*x - 1 + 2 = 5*j, j - 3 = x. Is 7 a factor of s(x)?
True
Let w = 18 - 10. Suppose w = a + a. Suppose -a + 18 = r. Is r a multiple of 9?
False
Let p(s) = -s**2 - 4*s - 1. Let w be p(-3). Let t(y) = 4*y**w + 6*y - 2 + 5 + 1. Does 17 divide t(-4)?
False
Suppose s = 5*s - 24. Suppose 5*q - 2*j = 20, -3*q + s*j - 2*j + 26 = 0. Suppose 2 + 8 = q*o. Is 3 a factor of o?
False
Suppose 2*p = 5*i + 11, -i + 16 = -2*p - p. Let q = 21 + p. Does 7 divide q?
True
Let w(o) = o**3 + 6*o**2 + o. Suppose -5 = x + 1. Let s be w(x). Let c = 4 - s. Is 5 a factor of c?
True
Let u be -4*(20/(-8) - -1). Let g(h) = -h**3 + 8*h**2 - 6*h + 4. Is g(u) a multiple of 20?
True
Let s be (-14)/(-35) + 1364/(-10). Let d = s + 208. Is 24 a factor of d?
True
Suppose 4*x + 0 - 8 = 0. Suppose 4*h - x*m = 32, -1 + 31 = 3*h - 3*m. Does 3 divide h?
True
Suppose 0 = -3*c - 1 + 7. Suppose -5*w = -4*v + 37, -3*v - c*w - 6 = w. Is (v/(-2))/((-6)/136) a multiple of 17?
True
Is 8 a factor of (2 - 1) + (-8)/(-1)?
False
Suppose -69 = -3*s + 66. Is 45 a factor of s?
True
Let l = 244 - 112. Let r = l - 79. Is r a multiple of 16?
False
Let o(f) = -f**3 + 5*f**2 - 4*f. Let z be o(4). Suppose 2*m - 12 = -m, -3*b - m + 52 = z. Suppose b = -4*u + 44. Is u a multiple of 7?
True
Suppose -12 = -4*n + 4. Does 2 divide 14/n*28/49?
True
Let q be ((-4)/(-2))/((-4)/(-136)). Suppose -a + 5*a = q. Is 6 a factor of a?
False
Is (4/1)/(2/130) a multiple of 13?
True
Suppose x + 0*b = 3*b + 14, -4*x = b - 4. Let d = 0 + x. Suppose -21 = -u - d*u. Is u a multiple of 4?
False
Suppose -k + 3*k = 84. Is k a multiple of 14?
True
Let c(p) = -6*p**3 + p**2 + 4*p + 3. Suppose -2*g = -5*q - 7, g + 1 - 7 = 5*q. Suppose -4*s = g + 7. Does 13 divide c(s)?
False
Suppose 3*k + 2*k = -45. Let t = 0 - k. Does 3 divide t?
True
Let d = -13 + 14. Let a(i) = 77*i - 1. Is 19 a factor of a(d)?
True
Suppose -n + 12 = -1. Suppose -n = -d + 43. Is 14 a factor of d?
True
Suppose 6*l - 4*l - 10 = 0. Suppose -3*v + 309 = l*r - r, 387 = 5*r + 4*v. Is 23 a factor of r?
False
Suppose 0*t = 3*t - u - 27, 2*t - 5*u - 31 = 0. Let j = 12 - t. Is (-238)/(-4) + (-2)/j a multiple of 19?
False
Let w(c) = c**2 - 2*c + 22. Does 6 divide w(0)?
False
Let l = -97 + 151. Is 24 a factor of l?
False
Suppose -3*t = -3*y + 42, 0*t - 1 = -t - 4*y. Let v = t + 25. Is v a multiple of 11?
False
Let g(q) = q**2 - 5*q - 2. Let c be g(4). Let o(p) = p**2 + 7*p + 9. Let h be o(c). Suppose -h*f = 65 - 173. Is f a multiple of 13?
False
Let i = -9 + 16. Let f = -2 + i. Suppose -3*g + 3 = f*p, 0*g + 4*p + 6 = -g. Is g a multiple of 3?
True
Suppose -2*w = 6, -5*h + 8*h - 5*w - 204 = 0. Is h a multiple of 9?
True
Suppose -h + 4*h = -12. Does 19 divide (-150)/h - (-5)/10?
True
Suppose 6 - 21 = -3*c. Suppose 17 = 3*h - c*q, 3*q + 51 = 4*h + 2*q. Is 14 a factor of h?
True
Suppose 4*f + 485 - 1861 = -q, q = 3*f - 1039. Is f a multiple of 14?
False
Let s = 7 + 2. Is 11 a factor of 6/27 + 214/s?
False
Suppose 2*o + 4*c - 58 = -o, 2*c + 4 = 0. Is o a multiple of 15?
False
Let s = -345 - -734. Is 39 a factor of s?
False
Let n(g) = -g**3 + 5*g**2 + 5*g + 3. Let k = -18 + 28. Let j be k*(-3)/(-6)*1. Is n(j) a multiple of 14?
True
Let n = 24 + -14. Let f = n - -20. Is f a multiple of 10?
True
Let i = 21 + -3. Suppose -22 - i = -5*h. Is 8 a factor of h?
True
Let t(k) = -19*k + 12. Is t(-4) a multiple of 11?
True
Let f be 2*(1 - 3/(-2)). Suppose -f*a + 5*c = -25, c - 7 = -2*a - 0. Is a a multiple of 2?
True
Let q = 805 - 499. Suppose -26 - q = -4*l. Is 21 a factor of l?
False
Let i(l) = 23*l**2 - 4*l - 7. Is i(-2) a multiple of 16?
False
Let p be ((-2)/(-5))/(2/20). Suppose -p*j = 17 - 53. Is (132/j)/(2/3) a multiple of 11?
True
Let i be (-4 + -22)/(-1*2). Let v = i - 9. Is v a multiple of 3?
False
Suppose -w = -2*w + 4. Suppose -199 = -4*l + 5*t, -t + w*t = -l + 37. Is l a multiple of 23?
True
Let c(j) = -j**3 - 11*j**2 - 12*j - 2. Let y be c(-10). Suppose -f + y = f. Suppose 5*z - 46 = f. Is z a multiple of 11?
True
Let q = 121 + -81. Does 10 divide q?
True
Let g be 1 + (-2)/((-6)/1173). Is g/10 - (-2)/(-10) a multiple of 26?
False
Let z(a) = 1 + 3*a**3 - 2 - 4*a**3 - 4*a + 8*a**2. Suppose -3 - 9 = -4*w. Is 15 a factor of z(w)?
False
Is 4 a factor of 69/9*(3 + 3)?
False
Let d(c) be the second derivative of c**5/20 + c**4/12 - 2*c**3/3 + c. Let x be d(3). Suppose -5*f - 4*v + 2 = -x, 0 = 5*f + 3*v - 27. Does 3 divide f?
True
Suppose 11*d = 15*d - 432. Does 12 divide d?
True
Suppose -2*h = 2*h - 208. Is 13 a factor of h?
True
Let j be (-4)/34 - 5680/272. Let i = 41 + j. Is i a multiple of 10?
True
Suppose -2*j + j = -2. Suppose -16 = -3*r + 4*g, 0 = j*r + 3*g - 23 - 16. Is 12 a factor of r?
True
Let b = 0 - 0. Suppose b = k - 0*k + 4. Let r = k - -10. Does 5 divide r?
False
Let s(p) = p**3 - 10*p**2 + 7*p - 8. Let r be s(7). Let b = r - -151. Does 9 divide b?
True
Let b = 6 - 3. Let a(d) = d**3 - 4*d**2 + 3*d. Let k be a(b). Suppose k = 3*y + y - 40. Does 10 divide y?
True
Suppose 3*d - 3*u - 81 = 0, 0*d + 3*d - 2*u = 86. Suppose -3*j + d - 8 = 0. Is j a multiple of 5?
False
Suppose 10 - 278 = 4*v. Let z(q) = -2*q**2 + q + 2. Let u be z(5). Let b = u - v. Does 13 divide b?
False
Suppose 0 = 5*a - 4*a + 14. Is (12/a)/(2/(-14)) a multiple of 3?
True
Suppose 2*n - 18 = -n. Let z(m) = -m**2 + 8*m - 7. Let g be z(n). Let p = 8 - g. Is p even?
False
Let k(n) = n**3 + 7*n**2 + 6*n + 2. Let d be