ivide n?
False
Let l = 311 + -214. Does 9 divide l?
False
Let l(g) = -g**3 - 18*g**2 - 19*g - 1. Is l(-17) a multiple of 3?
True
Suppose 4*g + 0*g = 0. Suppose q = 2*r + 10, 3*r - 3 - 12 = g. Is 11 a factor of q?
False
Let x be (-348)/(-18)*3/(-2). Let b = -18 - x. Is b a multiple of 2?
False
Let t(s) = -3*s - 3*s**3 + 0*s**3 + 2 - 2*s**2 - s**3 + 5*s**3. Does 11 divide t(4)?
True
Let j(y) = -y**2 + 6*y + 8. Let t be j(6). Let u = -6 + t. Suppose -u*r = -r - 12. Does 6 divide r?
True
Let b = 138 + -59. Does 34 divide b?
False
Let g = -7 - -11. Suppose 0 = g*s - 42 - 78. Is 10 a factor of s?
True
Suppose 2*u = -0*k - k + 8, 3*k = 5*u - 31. Does 2 divide (2 - 0)/(3 + k)?
True
Let z = 5 + 55. Is 15 a factor of z?
True
Let c be (-40)/(-1 + (1 - 1)). Suppose -c = -f - f. Does 9 divide f?
False
Let v(p) = -p**3 - 5*p**2 - 6*p + 1. Let o(q) = -q**3 + 11*q**2 - 12*q + 15. Let h be o(10). Is 9 a factor of v(h)?
False
Let i be 1*(-2 - (0 + -4)). Suppose 4*b - 2*q = 14, -i*b - 5*q = -q - 2. Suppose 45 = 2*k - b. Is k a multiple of 17?
False
Suppose -162 + 0 = -2*c. Is 22 a factor of c?
False
Let v be -2*(0 - (2 + -1)). Let x = 2 + v. Is x/(-6) + (-104)/(-3) a multiple of 11?
False
Let u(n) = 5*n - 6. Let h be u(4). Let d = h + 0. Is 14 a factor of d?
True
Let y = 706 - 288. Is y a multiple of 11?
True
Let v(p) = 3*p - 5. Suppose k - 2 - 2 = 0. Is 5 a factor of v(k)?
False
Suppose -580 = -5*v - 5*d, -320 = -3*v + 2*d + 2*d. Is v a multiple of 7?
True
Let j(o) = -33*o - 22. Is 22 a factor of j(-8)?
True
Let f(n) = 15*n - 3. Let y be f(4). Suppose 0 = -s + 2*s - y. Is s a multiple of 19?
True
Let i = 3 - -13. Is 7 a factor of i?
False
Does 29 divide (-469)/4*-2 + (-2)/4?
False
Suppose -4*o = -3*g - 301, -o - g + 0*g = -70. Is 18 a factor of o?
False
Suppose -z = -a - 4*a + 6, -2*z + a + 33 = 0. Let o = 0 - 1. Let t = o + z. Is 18 a factor of t?
True
Let d(w) = -2*w**2 - 4*w - 2. Let f be d(-2). Let a be ((-10)/8)/(f/(-8)). Is 3/(a + 2)*-18 a multiple of 9?
True
Let g = -123 + 150. Suppose -h + 3*u = -160, 3*u + 5 = -2*u. Suppose 34 + g = 2*k + m, -m = 5*k - h. Is 16 a factor of k?
True
Let n(c) = -28*c**3. Is n(-1) a multiple of 6?
False
Suppose -3*c = -8 - 7. Suppose -c*k = -5*n + 60, 3*k + 3 = n - 5. Does 7 divide n?
True
Suppose 0 = -5*x - i + 16, -5*i + 2 = -x - 0. Suppose -x*s - 5*c = -26, 0 = -3*s + c - 0*c + 38. Is 12 a factor of s?
True
Let j = -33 - -102. Is j a multiple of 9?
False
Let h = 42 - 25. Suppose 0 = 3*i + 15, 2*i - 85 - h = -4*k. Does 14 divide k?
True
Let w(p) = p**2 + 8*p + 10. Let d be w(-7). Suppose -d*h + 7*h = 4. Is (-1)/((-3)/81*h) a multiple of 10?
False
Let j = 4 + 0. Suppose 0*k + 17 = 2*k + 5*s, -k = -2*s - j. Let i(h) = 2*h - 8. Does 4 divide i(k)?
True
Suppose -10 = -q - q. Suppose -5 = -2*z - q*y, 0*y + y + 43 = 4*z. Is 4 a factor of z?
False
Let j = 55 - -81. Is j a multiple of 23?
False
Suppose 0 = -u + 5, -2*o = o + u - 20. Suppose 0*d = -4*d + g - 15, -o*d - 6 = 3*g. Let m(k) = 4*k**2 + 3. Is m(d) a multiple of 13?
True
Suppose 2*d = l - 4*l - 1, 3*l = -5*d + 2. Let z(i) = 5*i**2 + 2*i + 2. Does 2 divide z(l)?
False
Suppose 3 = -m - 2. Does 8 divide -1 + 27 - (-2 - m)?
False
Suppose -112 = -5*l + 123. Is l a multiple of 10?
False
Suppose y - 42 - 134 = 0. Suppose 2*i + y = 6*i. Does 11 divide i?
True
Suppose 379 = 3*l + 5*x + 84, 0 = 3*l - 4*x - 250. Is l a multiple of 18?
True
Suppose n - 2*n - 6 = -4*h, n - 5*h + 9 = 0. Suppose 25 = -x + n*x. Suppose -x*l + 18 = -2. Is l a multiple of 4?
True
Let p(g) = -g**2 - g + 1. Let f(u) = -6*u**2 - 6*u + 6. Let m(q) = -2*f(q) + 11*p(q). Suppose a - 7 = -3. Does 12 divide m(a)?
False
Suppose -2*a - 5*d = -9, -4*a + 5*d = -0*a - 63. Is 2 a factor of (-22)/(-3) - (-8)/a?
True
Is 9 a factor of 3*3/12*-2*-6?
True
Is (-1900)/(-12) + 28/(-12) + 2 a multiple of 27?
False
Suppose 4*z + 11 - 47 = 0. Is z a multiple of 9?
True
Suppose 6*x - 5*s + 110 = 3*x, 2*x + 90 = -5*s. Let z = x - -102. Is z a multiple of 21?
False
Suppose -5*y + 21 - 6 = 0. Suppose 4*r - 9 = o, -3*r = y*o - 1 + 13. Does 9 divide 10 + 2 + (r - 4)?
True
Let c(x) = x**2 + 4*x + 2. Does 2 divide c(-5)?
False
Suppose 115 = 9*n - 1775. Does 21 divide n?
True
Suppose 0 = -h - 6 + 38. Is 12 a factor of h?
False
Suppose 61 = 3*q - 95. Does 13 divide q?
True
Let k(a) = a**2 + 1. Let q be (-2 - -2 - -2) + 2. Let r be (-4 + 2)*6/q. Does 5 divide k(r)?
True
Let k = -204 + 360. Suppose 0 = -0*p + 4*p - k. Is p a multiple of 25?
False
Suppose -29*d = -28*d - 187. Does 11 divide d?
True
Suppose 3*h - 5*k - 28 = 0, 2*h - 4*h + 18 = -3*k. Suppose 0 = -4*o - x + h, -8 = -o - 3*x + 6*x. Is 8 a factor of 48/4 + 0/o?
False
Suppose -4*z - 82 = -266. Is 23 a factor of z?
True
Suppose 5*a + 3*x - x = 0, 5*a = -5*x. Suppose -3*f - 2*d = -a*f + 16, 2*d = -4*f - 22. Let t = f + 9. Is 3 a factor of t?
True
Is 8 a factor of 27 + 20/(-4) + -1 + 3?
True
Let s = 10 + 0. Suppose -2*q = -2 - s. Is q a multiple of 6?
True
Let v = 4 + -3. Suppose 3*x - 29 = 22. Suppose -3*q + v = -x. Does 3 divide q?
True
Let b(u) = -u**2 + 15*u. Does 14 divide b(8)?
True
Let x(b) = -12*b**3 + 3*b**2 - 2. Let u be x(-2). Suppose 3*p = u + 11. Is p a multiple of 20?
False
Suppose 0 = -2*c + 5*c + 2*l, 3*l + 7 = -c. Suppose -w + 5*v = 4, -2*v - c = -3*w - 1. Suppose -5*o = 5, -6 - w = -n - 2*o. Is 4 a factor of n?
False
Let f = -17 + 57. Does 5 divide f?
True
Suppose -3*u + 25 + 11 = 0. Is 12 a factor of u?
True
Suppose 6 = -2*z + 5*z. Let w be 1/(-2 + (1 - 0)). Is (-1*z - w) + 18 a multiple of 17?
True
Suppose v = -2*v - 4*z + 322, -v = 2*z - 104. Is 15 a factor of 32/(-24)*v/(-4)?
False
Let v be 4044/78 + 4/26. Suppose -3*o + v = -o. Is 21 a factor of o?
False
Let s(j) be the third derivative of j**5/60 + 5*j**4/24 + 5*j**3/3 - 4*j**2. Is 12 a factor of s(-7)?
True
Suppose -3*m + 5 = -8*m, 0 = -4*i + 3*m + 195. Is 48 a factor of i?
True
Let i be (10 - -1) + (14 - 13). Suppose i - 3 = n. Does 3 divide n?
True
Let h(i) = 3*i**2 + 2*i + 1. Let w be h(-1). Suppose w*v - 134 = -0*v. Suppose -v = -3*a - 28. Does 6 divide a?
False
Let k = 197 + -104. Is 25 a factor of k?
False
Let s = -4 - -6. Let w be 15/3 - 4/s. Suppose 4*f = -5*o + 48, 5*f + w*o = -o + 60. Does 6 divide f?
True
Let m = 181 + -105. Let n = m + -45. Is n a multiple of 31?
True
Let t = 5 + 1. Suppose 3*g - t*g = -6, 5*g - 70 = -3*w. Does 20 divide w?
True
Is 20 a factor of 6/(-3)*(-58 - (0 - 5))?
False
Is 6 a factor of (6 - 66/9)/((-2)/18)?
True
Let h = -10 - -17. Let i be 2 - -1 - 1 - -3. Suppose i*z - 13 = h. Is z a multiple of 3?
False
Let x(f) = f + 1. Let n be x(2). Suppose n*m = m + 4. Is 22 a factor of (15 - (2 - m))*4?
False
Let p(x) = 2*x**2 - 4*x - 6. Is 14 a factor of p(-8)?
True
Let d be (-3)/4 + (-193)/4. Is 20 a factor of d/(-4 + -3 + 6)?
False
Suppose 10 = -2*y, -22 = 3*g + 4*y - 2*y. Let k = g - -4. Is 15 a factor of (k/3)/(-3) - -40?
False
Let p = -113 - -136. Does 4 divide p?
False
Suppose 0 = -5*f - 3*o - 4 + 7, -3*o + 3 = -2*f. Suppose 2*y + 0*x - x - 16 = f, 0 = -3*y + 5*x + 17. Is y a multiple of 6?
False
Let d = 147 + 56. Is 29 a factor of d?
True
Is (6/2)/((-9)/(-462)) a multiple of 14?
True
Let q = 21 + -32. Let l(x) = -8*x**2 - 6*x - 18. Let s(m) = -3*m**2 - 2*m - 6. Let d(y) = q*s(y) + 4*l(y). Is d(6) a multiple of 9?
True
Suppose 0 = -4*q - 2 + 6, 2*z - q = 87. Does 4 divide z/4 - (2 - 1)?
False
Let p be -3*1/(-6)*6. Suppose 4 = -2*z + 8. Suppose p*v - 20 = i, z*i = v - 0*i - 15. Is v even?
False
Suppose 77 = 4*q - x, 3*q - 3*x + 2*x - 58 = 0. Is q a multiple of 3?
False
Let p be 0 + -1 + (-2 - -1). Let w be 0 + (0 - p) - -1. Suppose 0 = -5*s - 6*y + 2*y + 26, -3*s + 21 = -w*y. Is 3 a factor of s?
True
Let a(m) = m**2 - 12. Is 17 a factor of a(-8)?
False
Let b be (-1)/(2/3)*-28. Let f = 63 - b. Is 15 a factor of f?
False
Let o = 1 - -8. Let r be ((-30)/o)/((-2)/24). Let h = -21 + r. Is 9 a factor of h?
False
Suppose 0 = -8*m - 1 + 17. Suppose 8*r - 4*r + 9 = 3*c, 3*r = 2*c - 6. Suppose -c*o + 91 = z, -2*o + m*z = -5*o + 92. Is 15 a factor of o?
True
Suppose 56 = 3*i - 160. Suppose -h - 3*h = -i. Is 18 a factor of h?
True
Suppose -244 = -8*o + 44. Is 36 a factor of o?
True
Is 12 a factor of (-4170)/(-50) - (-6)/10?
True
Let b be (4 - 1)/(-3) + 9. Let t = b + -4. Suppose k - t 