 - 2) - -3 a multiple of 14?
False
Suppose -4 + 40 = 3*r. Suppose -p + r = -4. Does 9 divide p?
False
Suppose -3*w + 659 = 269. Suppose w = 4*l + 18. Does 14 divide l?
True
Is 21*(-2 + 0 - -4) a multiple of 6?
True
Let x(w) = -5*w**2 - w - w**3 + 6*w - w**3 + 4 + 3*w**3. Is x(4) a multiple of 4?
True
Suppose 7*x - 4*x = -24. Let g be (6/(-4))/(x/80). Suppose -g = -3*y, -3*h - y + 4*y = -39. Is 5 a factor of h?
False
Let v be (4/3)/(1/3). Suppose -v*q - 4 = 0, q - 26 + 71 = 4*l. Does 6 divide l?
False
Suppose 9*f - 5*f = 464. Does 29 divide f?
True
Is 2/((-12)/(-63))*6 a multiple of 21?
True
Suppose 0 = 5*v + 5*i - 790, -3*v + 2*i + 0*i = -449. Is 28 a factor of v?
False
Let w(s) = 7*s + s**2 + 0*s**2 + s**2 + 4 - s**2. Is w(-7) a multiple of 2?
True
Let x be (-2)/(-2*(-3)/(-183)). Is 14 a factor of 1/(-2) + x/2?
False
Let b(j) = -j**2 - 9*j + 9. Let k(i) = 4*i - 8. Let t be k(6). Suppose t = -3*a + a. Is b(a) a multiple of 7?
False
Let r(c) = 3 + 11*c - 1 - 3. Suppose 2*n = n + 1. Is 7 a factor of r(n)?
False
Let c = 129 - 29. Does 20 divide c?
True
Suppose 5*w - 10 = 0, -c - 4*w = -11 - 22. Let r(i) = -11*i**3 - 2*i - 1. Let a be r(-1). Let h = c - a. Does 13 divide h?
True
Suppose 8*s - 1344 = 392. Is 27 a factor of s?
False
Suppose 84 = -l + 6*l + a, 0 = -a - 1. Let o = l + 0. Does 11 divide o?
False
Let i be -3*(-1 - (-1 + 1)). Suppose -4*s + 14 = n, -4*s = -i*n + 5*n - 16. Let p(w) = 6*w**2 - w - 1. Is 7 a factor of p(n)?
True
Suppose 3*u - u = -18. Let q = u - -43. Is 17 a factor of q?
True
Let i be 2 - (-1 + (8 - 1)). Let p(n) = 3*n + 4. Let j(t) = t. Let b(m) = -3*j(m) - p(m). Is b(i) a multiple of 9?
False
Suppose 9*a - 3615 = -1077. Is 27 a factor of a?
False
Let s(w) = -6*w**2 - w - 2. Let q be s(-2). Is 10/4*q/(-3) a multiple of 10?
True
Let p(v) = 2*v**2 - 8*v + 10. Let r be p(4). Let h = 39 - r. Is 17 a factor of h?
False
Let d(g) = 5*g**3 - 2*g**2 + g - 3. Let l be d(-3). Is 11 a factor of (-2)/4 + l/(-6)?
False
Let g be 39*3/(-9)*-2. Suppose 4 = -5*m - g. Let w(k) = k**3 + 8*k**2 + 8*k - 4. Is 10 a factor of w(m)?
True
Does 19 divide (-1134)/(-15) + 4/10?
True
Let u(c) be the first derivative of c**6/360 + c**5/30 + c**4/12 + c**3/3 + 1. Let k(f) be the third derivative of u(f). Is 7 a factor of k(-6)?
True
Let r = -5 + 8. Let z be 9/(-3)*1*r. Does 17 divide (-448)/z - (-10)/45?
False
Suppose -n - 30 = 4*n. Let w = n + 5. Let s = 4 + w. Is s a multiple of 2?
False
Suppose -3*q + 12 = -5*q. Let d be (-1)/(-4) - (-446)/8. Does 14 divide d/2 + 6/q?
False
Let n be (0 + 0 - -6) + -1. Suppose -a + n*m + 9 = 0, a + 3*m - 101 = -4*a. Is 7 a factor of a?
False
Suppose -4*u + 3*o = 51, -3*u - 5*o + o - 57 = 0. Let g be (u/20)/(1/160). Is 6 a factor of g/(-25)*10/3?
False
Suppose 0 = i - 62. Let o = i + -32. Is o a multiple of 15?
True
Let j(y) = -y + 3. Let t be 2/10 + 16/(-5). Does 2 divide j(t)?
True
Let d(o) be the first derivative of o**4/4 - 2*o**3 + 7*o**2/2 - 6*o + 1. Let t be d(5). Suppose -t*k = k - 75. Is k a multiple of 8?
False
Let s(i) = i**3 - 8*i**2 + 5*i + 17. Is s(7) a multiple of 3?
True
Let y(u) = -6*u. Let x be y(-1). Let d(q) = -q**3 + 5*q**2 + q + 5. Let s be d(5). Suppose -v + s = -x. Does 8 divide v?
True
Let s = -1 + 4. Suppose -h - 32 = -s*h. Suppose 4*y - 4*j = 7*y - 10, -y = -5*j - h. Is y a multiple of 3?
True
Suppose 3*d + 48 = 5*d. Does 4 divide d?
True
Let s be 98 - (1 - -1)*-1. Does 24 divide (6/5)/(5/s)?
True
Let f(r) = -r**2 - 4*r. Let v be f(-3). Suppose 3*y - 6 = 0, -v*y + 5 = z + y. Is 6 a factor of 10 - (0 + (z - -1))?
True
Let j(f) = -f**3 - 4*f**2 - 3*f + 4. Let q be j(-4). Suppose -q = -4*s + 60. Is 14 a factor of s?
False
Let b = 5 + -5. Suppose b*n = -2*n + 32. Suppose 3*o = o + n. Is o a multiple of 5?
False
Let o(t) = t**3 - 11*t**2 - 12*t + 4. Let d be o(12). Suppose 2*x - 7*x = -4*l - 41, 0 = -d*x + 3*l + 33. Is 3 a factor of x?
True
Suppose 44 = 2*u + u - 2*i, 4*i - 10 = -u. Does 7 divide u?
True
Is 216/(-10)*(-40)/16 a multiple of 3?
True
Let x(z) = z + 43. Is x(-23) a multiple of 20?
True
Suppose h + 3*h + 2*j = 28, -4*j - 4 = -4*h. Suppose -4*p + h = 4*q - 15, 3*p = 3*q + 27. Is p a multiple of 3?
False
Suppose 3*k - 23 = -a, 108 = 5*a + 2*k - 20. Is 9 a factor of a + 1 + (-3 - -1)?
False
Let b be (6/(-1))/((-6)/21). Suppose -4*i - 1 = -b. Suppose -i*s - 20 = 0, -p - 3*s = -s - 8. Does 9 divide p?
False
Suppose -2*v + 2*r + 330 = 0, 2*v = 7*v + r - 795. Suppose d = 6*d - v. Is d a multiple of 16?
True
Suppose 7 = -c - 5*x - 2, -39 = -5*c - 4*x. Does 9 divide c?
False
Suppose -4*c = -3*c + 2*q + 10, q = -5. Suppose c = 3*m - 4*m + 4. Suppose 2*p + 26 = m*p. Is 5 a factor of p?
False
Let k(c) = c**2 + 2. Let d(j) = -j**2 - 6*j - 1. Let a be d(-4). Suppose a*y = 2*y. Does 2 divide k(y)?
True
Is (-2 + 57)*2/(-10)*-5 a multiple of 11?
True
Let i(h) = -10*h + 1. Let a be i(-2). Suppose a = 4*k - 127. Does 14 divide k?
False
Suppose -22*h + 21*h = -52. Is h a multiple of 24?
False
Let j(k) = k**3 + k**2 - k - 9. Let g be j(0). Let v = -4 - g. Does 5 divide v?
True
Suppose 0 = -h - 4*h + 4*q + 24, 4*h + 5*q = 11. Suppose h = -j, -3*p - 5*j = -4*p + 23. Suppose -p*s - t = s - 21, -t = -s + 4. Is 2 a factor of s?
False
Suppose 4*w = z - 6*z + 27, -2*z - 10 = -w. Suppose -k = 1 - w. Is 2 a factor of k?
False
Let g(h) = -h**3 + h**2 - 1. Let t be g(-1). Let n be t*9/3 - -4. Is 7 a factor of n*6/(-15)*-5?
True
Suppose -w - q + 5 = 0, -2*w - q = -3*q - 2. Suppose w*c - 202 = -79. Does 17 divide c?
False
Let f be (-35)/(-5)*(-12)/(-14). Let s be (0*2/f)/(-2). Suppose s = 2*g - 3*x - 33, -3*g + 26 = g + 2*x. Is 9 a factor of g?
True
Let x be (6/4)/(1/2). Let n be ((-27)/(-4))/((-1)/(-4)). Suppose 4*o = -x*v + n, 3*v - 8*v + 53 = 4*o. Is v a multiple of 13?
True
Let a(t) = 4*t**3 - t + 1. Let s be a(1). Suppose 7*x = s*x + 72. Suppose -2*p + x = -40. Is 16 a factor of p?
True
Let m = -395 - -668. Suppose 0 = 2*a + 2*g - 2 - 152, 0 = -4*a + 3*g + m. Suppose 0*h = 4*h - a. Does 7 divide h?
False
Let y = 5 - 3. Suppose -y*s + 72 = -3*k, -3*s - 5*k = -0*k - 70. Suppose -3*c - 6*g = -g - 48, 3*g + s = c. Does 9 divide c?
False
Suppose 8*z = 5*k + 5*z - 88, k - 4 = 4*z. Does 17 divide k?
False
Let f be (3/(-6))/(2/64). Let b = 23 + f. Suppose 18 + b = 5*a. Is a a multiple of 3?
False
Let g(b) = -2*b**2 + 12*b + 7. Is 7 a factor of g(6)?
True
Let v(k) = 4*k**3 - 8*k**2 - 6*k - 9. Let h(q) = q**3 - 1. Let d(r) = -5*h(r) + v(r). Is 9 a factor of d(-8)?
False
Suppose 0*y = 3*v - 2*y - 348, 2*v = y + 233. Is v a multiple of 21?
False
Suppose 3*r + 2*c + 10 = -r, 5*c + 15 = 0. Let h(u) be the first derivative of -5*u**2/2 + u + 1. Does 3 divide h(r)?
True
Is 2/((-4)/(-127)) - 9/(-6) a multiple of 11?
False
Suppose -5*m - 118 = -298. Does 12 divide m?
True
Let i = -2 + 5. Suppose -b + 2*b = i. Is 3 a factor of b?
True
Let l = -96 + 168. Is l a multiple of 24?
True
Suppose 5*f - 280 = -0*f. Does 10 divide f?
False
Let z(w) = -w**2 + 3*w - 3. Let a be z(5). Let i = 20 + a. Does 3 divide i?
False
Suppose 4*i - 387 = 25. Let o = 171 - i. Let f = -43 + o. Does 20 divide f?
False
Suppose 0 = k - 3*k + 4. Suppose 2*m + k*d - 535 = -3*m, -2*m = 2*d - 220. Suppose 6*t - t + 5*u = m, -4*u = -4. Is t a multiple of 10?
True
Let p = 17 - -118. Let q = -81 + p. Is 27 a factor of q?
True
Let s be ((-46)/(-2))/(2/2). Let d = -8 + s. Does 15 divide d?
True
Suppose g + 2 = -s, -4 - 8 = -4*s. Let c(x) = -2*x + 3. Is 13 a factor of c(g)?
True
Let k = 9 - 14. Let b(h) = -5*h - 11. Is 7 a factor of b(k)?
True
Suppose -3*v + 3 = q, 0 = 4*q + 2*v - 31 - 31. Is q a multiple of 5?
False
Let q(f) be the second derivative of 19*f**5/20 + f**3/3 - f**2/2 - f. Is q(1) a multiple of 11?
False
Let w(y) = -93*y. Let s be w(-2). Suppose -d = 3*l - 42, 5*d + 4*l - s = l. Is 3 a factor of d/(-8)*4/(-6)?
True
Let i(v) = -11*v + 3. Let h(a) = -a + 1. Let q(x) = 6*h(x) - i(x). Is q(4) a multiple of 13?
False
Suppose c - 3*c = -4*k, 5*c = 3*k + 14. Let a(i) = -2*i - 1. Let d be a(-2). Suppose 0*n = d*v + 5*n - 13, -c*n - 28 = -4*v. Does 5 divide v?
False
Suppose -3*i + 2*y + 1 = -29, 5*y = 4*i - 40. Suppose i = h + 1. Does 7 divide h?
False
Let h = 10 + -4. Let q = h + -5. Let x(y) = 18*y**3 - 1. Does 13 divide x(q)?
False
Suppose k = -2*q, -6*q = k 