5) a multiple of 10?
False
Let w(n) = n**3 - 7*n**2 + 6*n - 5. Let d be w(6). Let b(s) = -4*s**2 + s + 1. Let y be b(2). Let h = d - y. Is h a multiple of 8?
True
Let l(a) = a + 2. Let o be l(6). Suppose 3*q = -c + o, 5*q = c - 6*c + 30. Is 2 a factor of c?
False
Let a = 146 - 66. Does 22 divide a?
False
Let l be 4/4 - (-1 - 1). Suppose 0 = l*a + 13 + 17. Does 4 divide (-36)/a - (-2)/5?
True
Suppose -4 + 88 = -4*h. Suppose 0 = -6*a + a + 185. Let k = h + a. Is 14 a factor of k?
False
Let b = -6 - -11. Suppose 0 = b*l - l. Suppose -5*u + 169 + 46 = l. Does 11 divide u?
False
Suppose 0 = -x + 3*x - 24. Suppose x = -h + 5*h. Does 3 divide h?
True
Suppose -2*z - 2 = 22. Let q be (z/(-8))/((-2)/8). Is 5 a factor of ((-4)/(-3))/(q/(-63))?
False
Let n(x) = x**3 - 11*x**2 + 9*x + 8. Let m be n(10). Let h = m - -7. Suppose -35 = -h*r - v, -2*r - v = -3*v - 14. Is r a multiple of 3?
False
Let i = 94 - 67. Does 3 divide i?
True
Suppose 0*d + 2*d + 6 = 0. Is (d/2)/(3/(-64)) a multiple of 9?
False
Let f(y) = -y**3 + 10*y**2 - 4*y - 9. Let z be f(9). Suppose 4*n - 84 - z = 0. Is 7 a factor of n?
False
Let v be (18/5)/((-4)/(-10)). Suppose 4*d = -5*z + 7, v = -2*d + 4*d - 3*z. Is ((-3)/(-4))/(d/96) a multiple of 12?
True
Let t(p) = -p**2 + 7*p - 3. Let x be t(6). Suppose 16 = r + 2*i - x*i, 5*r - 3*i = 88. Let a = -6 + r. Does 8 divide a?
False
Let s be 80/(3 + -5) - 0. Let y = -23 - s. Is 9 a factor of y?
False
Does 7 divide (98/(-21))/((-4)/30)?
True
Suppose 5*o = 15, 3*o + 102 = r + 2*r. Does 37 divide r?
True
Let i = -16 + 22. Suppose y - 4*j = i*y - 266, -4*j - 4 = 0. Does 18 divide y?
True
Let w(o) be the second derivative of 5*o**4/24 + 7*o**3/6 + 3*o**2/2 - o. Let i(r) be the first derivative of w(r). Is i(6) a multiple of 16?
False
Is (802/4)/(17/34) a multiple of 23?
False
Suppose 2*t - t - 4 = -i, -3*t + 28 = -5*i. Suppose 4*g = -t + 62. Is 9 a factor of g?
False
Let h(m) = m**2 + m. Let v(j) = j**3 - 2*j**2 - 5*j - 3. Let s(b) = 6*h(b) + v(b). Is s(-3) a multiple of 2?
False
Suppose 3*s + 2*m - 6 = 46, 88 = 4*s - 2*m. Let f = s - 11. Is f a multiple of 2?
False
Suppose -4*f + 3*f - 2 = 0, -5*f = -o + 235. Does 45 divide o?
True
Let d = -33 + 72. Does 13 divide d?
True
Suppose -s + k + 4 = -2, -k - 10 = -3*s. Suppose -s*l - l - 5 = -t, 4*t = 3*l + 29. Is 4 a factor of t?
True
Suppose 2*z = 4*z - 3*i + 7, z - 2*i = -6. Suppose -100 = -4*j - z*f, 2*j - 58 = -2*f + 4*f. Is 10 a factor of j?
False
Suppose -7*q + 5*q = -288. Suppose 2*w + w = q. Does 23 divide w?
False
Let k(d) = 2*d + 411. Is 20 a factor of k(0)?
False
Let u(i) = 5*i**2 + 2*i + 2. Let v be u(-3). Let l = v - 22. Is l a multiple of 11?
False
Suppose 5*i - 5 = 0, -2*o = -i - 10 - 5. Suppose 0 = 7*x - o*x + 44. Is 11 a factor of x?
True
Let a be 1/2 + (-18)/4. Let i be a/(-3)*9/(-2). Does 3 divide (i/5)/(10/(-25))?
True
Suppose 91 = -5*v - 49. Let k = 107 + v. Does 10 divide k?
False
Suppose 2*o - 422 = 2*h, -3 + 13 = 5*h. Is o a multiple of 43?
False
Suppose 10*s = 3*s + 1596. Does 52 divide s?
False
Is 14 a factor of 9/(36/136) + 3?
False
Let h(a) = -2*a**2 + 10*a - 14. Let j be h(11). Let v = j + 211. Is v a multiple of 18?
False
Suppose -f = -57 - 39. Does 27 divide f?
False
Let a be 14/3 - (-1)/3. Suppose 10*c - a*c - 25 = 0. Is c even?
False
Let r = 27 + 23. Is 22 a factor of r?
False
Let n = -49 + 70. Does 5 divide n?
False
Let r = 2 + 2. Suppose -138 = -r*d + 38. Does 22 divide d?
True
Let n(r) = r + 11. Let a be n(-7). Let d be 191/7 - a/14. Suppose -d = -3*m - 6. Does 7 divide m?
True
Suppose 815 + 49 = 6*z. Does 48 divide z?
True
Suppose 5*p = 7*p - 6. Suppose 2*v + 4*c + 6 = -p*v, -3*c - 18 = -3*v. Suppose -y = v*y - 78. Is y a multiple of 13?
True
Let y = -112 - -333. Does 16 divide y?
False
Let n(g) = g + 7. Let i be n(-5). Suppose 42 = -b + i*b - 4*s, s = 0. Is b a multiple of 21?
True
Suppose 3*q - 4*l - 83 = -6*l, 106 = 4*q + 5*l. Let b(c) = c**3 - 8*c**2 + 13*c - 10. Let p be b(5). Let s = p + q. Does 9 divide s?
True
Suppose -5*a + 155 = -0*a. Does 8 divide a?
False
Suppose 5*g + 39 = 2*g. Let o = g - 9. Let h = o - -32. Is h a multiple of 6?
False
Let l(b) = -b**3 + 11*b**2 - 11*b + 17. Is 6 a factor of l(9)?
False
Let d(v) = -v**3 - 4*v**2 + 9*v + 6. Let u be 2/(-11) - (-128)/(-22). Is 6 a factor of d(u)?
True
Let r(k) = 7*k**3 - 3*k**2 + 8*k - 1. Let p(s) = 8*s**3 - 3*s**2 + 9*s - 1. Let v(q) = 6*p(q) - 7*r(q). Let o be v(2). Is 10 a factor of 2*(o + 11/2)?
False
Let t be ((-20)/(-12) + -1)*-6. Is (28/(t/(-2)))/2 a multiple of 4?
False
Suppose -55*j + 51*j + 360 = 0. Is 23 a factor of j?
False
Let z(q) = q**3 + 10*q**2 - 11*q - 6. Let p(u) = u**3 - 7*u**2 - u - 4. Let h be p(7). Let b be z(h). Let j = 21 + b. Is 15 a factor of j?
True
Does 5 divide (-6)/14 + (-888)/(-14)?
False
Is 2 a factor of (-1)/(-4) + (-105)/(-12) + -3?
True
Suppose 290 = -3*n + 8*n. Does 20 divide n?
False
Let c(d) = 63*d + 1. Does 16 divide c(1)?
True
Let s(v) = -3*v + 2. Let m be s(-2). Let x = m - -9. Does 17 divide x?
True
Suppose 29 = 3*z - 4*f, -46 = -2*z - f - 3*f. Does 11 divide 24/(((-18)/z)/(-3))?
False
Let a = 0 + 2. Suppose -n + a*n - 67 = 0. Let h = n - 45. Does 10 divide h?
False
Suppose 12*d - 4*d - 112 = 0. Is 14 a factor of d?
True
Suppose -6*g = -2*g - 28. Let t = 11 - g. Does 4 divide t?
True
Suppose -5*y + 167 = 7. Is 17 a factor of y?
False
Let m be (-4 + (-12)/(-4))*33. Let z = m - -85. Is 9 a factor of z?
False
Suppose 5*l - r = 3*l + 883, -2*l + 3*r + 877 = 0. Let h = l + -254. Suppose t = 5*c - 2*t - h, t = -c + 41. Is 20 a factor of c?
False
Suppose 8*i + 31 = -5*y + 4*i, -4*y - 3*i = 24. Let o(z) = -z**3 - 3*z**2 - 3*z - 4. Is 2 a factor of o(y)?
False
Let c(y) = 2*y**2 + 4*y - 17. Does 4 divide c(7)?
False
Let v(m) = 5*m**2 - m. Suppose -3*w - 1 - 5 = 0. Let b = w - -3. Is 2 a factor of v(b)?
True
Suppose 2*v + 36 = -4*s, 109 = -3*v - 0*s + 5*s. Let t = v - -51. Does 23 divide t?
True
Let t = -8 + 6. Let r(m) = -4*m**3 - m**2 - m. Does 16 divide r(t)?
False
Let o(w) = w + 1. Let r be o(7). Suppose n + r = 3*u, -6 = 4*n - 3*u + 4*u. Is 13 a factor of (n/4 + 0)*-44?
False
Let p be 6/(-9)*3 + 3. Let y = 25 - p. Does 7 divide y?
False
Does 25 divide 3/1*(15 - 2)?
False
Let l be 0/(0 - (4 + -2)). Suppose l = 2*x - 4 - 2. Suppose 0 = -2*w + x + 21. Is w a multiple of 6?
True
Let g = 2 - 6. Let c be 0 - ((-3 - g) + 2). Is -22*(c + 4/2) a multiple of 11?
True
Let m(k) = -k**2 + 18*k + 55. Is 12 a factor of m(17)?
True
Let z(o) = -2*o**2 + 2*o - 2. Let p be z(2). Let u be 4 + p + 7/1. Suppose 0 = 3*h - 3*n - 27, 5*h - 2*n + u*n - 69 = 0. Is h a multiple of 6?
True
Suppose -v + 28 = j - 26, -3*j + 3*v = -156. Does 32 divide j?
False
Suppose -z = 3*z - 400. Is z a multiple of 20?
True
Let z(h) = -4*h**3 + 4*h**2 - h - 2. Let s(u) = 5*u**3 - 3*u**2 + 2*u + 2. Let v(w) = 3*s(w) + 4*z(w). Is v(6) a multiple of 23?
True
Suppose 5*d - 2*d + 3 = 0. Let o = -1 - d. Suppose -3*w + 2*t + 70 = w, t + 5 = o. Is 15 a factor of w?
True
Let z be (-90)/(-21) + 4/(-14). Suppose -27 + 227 = z*r - 4*f, -3*r - 2*f = -135. Is 17 a factor of r?
False
Let m = 7 + -2. Suppose f - 15 = -m. Does 10 divide f?
True
Let n(h) = -51*h - 2. Is 20 a factor of n(-1)?
False
Let n = 303 - 179. Does 51 divide n?
False
Let h(f) = f + 2. Let n be h(3). Suppose 25 - n = 2*q. Does 10 divide q?
True
Suppose -5*i + 123 = 2*u + u, 3*i - 75 = -3*u. Does 5 divide i?
False
Let i(u) = u**2 + 7*u + 2. Let g(o) be the second derivative of -5*o**4/12 - 29*o**3/6 - 4*o**2 + 2*o. Let r(x) = 2*g(x) + 9*i(x). Is r(3) a multiple of 3?
False
Is 22 a factor of 12/2*629/34?
False
Suppose 2*r + 0*k + k = 315, 4*r - 4*k - 660 = 0. Is r a multiple of 11?
False
Let i = 28 + -26. Suppose i*b - 3*b + 17 = 0. Is b a multiple of 17?
True
Let w = 0 - -5. Suppose -w*d + 165 = -75. Is d a multiple of 12?
True
Let w = -13 + 8. Let c = w - -8. Does 3 divide c?
True
Let a(z) = 24*z**2 - z + 4. Let u(f) = 48*f**2 - 3*f + 9. Let w(x) = 7*a(x) - 3*u(x). Let c be (-18)/22 + (-2)/11. Does 10 divide w(c)?
False
Suppose -6*k + 0*k = -372. Is k a multiple of 31?
True
Let z be (-483)/(-2) + (-1)/(-2). Suppose -6*h = 14 - z. Is h a multiple of 25?
False
Let b(j) = j**3 - 10*j**2 + j + 6. Is 5 a factor of b(10)?
False
Suppose -g - 54 = -4*g. Suppose 90 