ppose -3*w = 2 - 5, j = 5*g + 2*w - 142. Does 17 divide g?
False
Let l(q) = -q**2 - 7*q - 6. Let y(m) be the first derivative of m**3/3 - 3*m**2 + 4*m + 1. Let k be y(4). Is l(k) a multiple of 6?
True
Let n be 5/(20/6)*-16. Let k = n - -48. Is 6 a factor of k?
True
Let b = 44 + 11. Is b a multiple of 11?
True
Let b = 7 + -5. Let c = 1 + b. Suppose 128 = c*l + l. Is 23 a factor of l?
False
Let t(k) be the second derivative of k**7/840 - k**6/90 - 7*k**4/24 - k**3/2 - 4*k. Let o(r) be the second derivative of t(r). Does 8 divide o(5)?
False
Let r = -2 + 4. Suppose -3*c - 19 = -t, -2*t - 3*c = c + r. Is t - 2/4*2 a multiple of 6?
True
Let b(o) = 7*o - 18. Is b(10) a multiple of 9?
False
Suppose -n - 2*n + 298 = b, n - 82 = 4*b. Does 14 divide n?
True
Suppose g + 19 = 4*z, -5*g - 8 = 2*z - 1. Suppose -z*i - 1 = -2*i - d, 4*i + 2*d = 2. Suppose i = q - 2*q + 6. Is q a multiple of 3?
True
Suppose 9 = 4*c + 1. Suppose c*g = 4*g - 14. Does 2 divide g?
False
Let k = 77 - 53. Is 17 a factor of k?
False
Let x = 4 + -19. Let i = x - -21. Let p(f) = 6*f - 9. Is 11 a factor of p(i)?
False
Let c(l) = l**3 - 12*l**2 + 13*l + 26. Is c(11) a multiple of 8?
True
Let x(f) = -2*f**3 - f**2 - 4*f + 1. Suppose 0 = y - 2*z + 1, -2 = -y - z - 6. Let p be x(y). Let g = p - 39. Is g a multiple of 11?
False
Suppose -3*b + 6 + 36 = 0. Does 7 divide b?
True
Let j(h) = 2*h**2 - 15*h + 7. Let c be j(11). Is c + (2 - (-4 - -3)) a multiple of 34?
False
Let d(i) = 34*i + 5. Is 35 a factor of d(5)?
True
Suppose q - 5*o = 6*q - 5, 0 = -2*o + 2. Let d(v) = 5*v**2 - 2*v**2 + q - 2*v + 2. Is 5 a factor of d(2)?
True
Does 2 divide (-6 + 12)/((-2)/(-1))?
False
Suppose 12*b - 17*b = -445. Is 23 a factor of b?
False
Suppose 2*o + 2 = 6. Suppose -5*f = o*k + k - 34, -44 = -5*k - 2*f. Is 5 a factor of k?
False
Let f(b) = b**3 - 3*b**2 - 6*b - 7. Let p = -1 + 6. Let j be f(p). Let o = -8 + j. Is 5 a factor of o?
True
Let o(w) = 1. Let d(m) = -m - 14. Let y(n) = -d(n) - 3*o(n). Let p be y(-8). Suppose -22 = p*k - 79. Is k a multiple of 17?
False
Let v(c) = -27*c**2 - 6*c + 11. Let g(x) = -13*x**2 - 3*x + 5. Let y(r) = -5*g(r) + 2*v(r). Let t be y(2). Let u = -27 + t. Is 10 a factor of u?
True
Let w(n) = -n**3 + 2*n**2 + 4*n + 1. Let h be w(3). Suppose -114 = -7*x + h*x. Is x a multiple of 9?
False
Let g = 9 - 15. Let s be 1 + -1 + 2 + g. Let f = s - -7. Is f even?
False
Let m = -124 - -190. Is 22 a factor of m?
True
Suppose -4*h + 5*o + 119 = 25, -5*o - 31 = -h. Is 7 a factor of 56/h*15/2?
False
Let f(t) be the second derivative of -t**6/120 - t**4/12 - t**2 + 2*t. Let r(y) be the first derivative of f(y). Does 9 divide r(-2)?
False
Suppose 4*n = 11 + 1. Is n a multiple of 3?
True
Let u(d) be the third derivative of -d**4/6 + 2*d**3/3 - d**2. Is u(-4) a multiple of 10?
True
Suppose -5*l + r = -22, -3*r + 2 = 2*l - 0. Suppose 0 = 3*i + l*x - 78 + 2, 3*i - 2*x = 88. Is 14 a factor of i?
True
Suppose -x - 2*x = -66. Suppose -2*f + 4 = -x. Let q = 21 - f. Does 4 divide q?
True
Let y(s) = 4*s**3 - 12*s**2 - 13*s + 2. Let u(n) = -3*n**3 + 11*n**2 + 12*n - 2. Let v(w) = -5*u(w) - 4*y(w). Is 7 a factor of v(-6)?
True
Let u(w) = 6*w - 4*w - 3 + 2*w - 9. Is 6 a factor of u(6)?
True
Suppose -82 = 4*u - 0*y - 2*y, -2*y + 2 = 0. Is 3 a factor of (48/(-40))/(3/u)?
False
Let m = 63 - 204. Is (m/9)/(2/(-6)) a multiple of 11?
False
Let t be -11 - (-1 + 3/(-3)). Is (-21)/(-9)*(3 - t) a multiple of 14?
True
Is (330/25 + 0)*1*5 a multiple of 10?
False
Let f be -3 + 4 - 0 - -3. Suppose 2*i + 0*i + 16 = -2*n, -31 = 3*n - f*i. Is -3*(-1 - n)/(-2) a multiple of 6?
True
Let h be (4 - 2)*29/2. Let y = -12 + h. Suppose 2*r = n - y, 4*r - 2*r = -n + 17. Is n a multiple of 12?
False
Suppose 0 = 8*a - 98 - 798. Is 11 a factor of a?
False
Suppose 10 = -3*m + 2*j + 246, 410 = 5*m + 5*j. Is m a multiple of 16?
True
Let p(k) = -k - 1. Let l(a) = -5*a + 13. Let s(b) = l(b) + 6*p(b). Is 17 a factor of s(-5)?
False
Let n(c) = -3*c**3 - 6*c**2 - 7*c + 10. Let m be n(5). Is 13 a factor of m/(-14) - (-4)/(-14)?
True
Let m = -8 + 10. Suppose 3*r - 210 = -5*s, m*s + 3*r - 2*r = 84. Is s a multiple of 21?
True
Suppose b = -3*k + 62, 4*b = 5*b + k - 64. Suppose 5*c - b = -z, c + 5*z = z - 6. Is c a multiple of 14?
True
Let s = 3 + -2. Let x = -275 - -149. Is 19 a factor of s/(x/(-62) - 2)?
False
Let r = 2 + 0. Suppose -2*f = c - 54, r*f + 42 = -0*c + c. Is c a multiple of 14?
False
Let l(n) = -n**3 + 8*n**2 - 3*n + 10. Suppose 0 = f + 4*i - 7, -2*f + 0*f = 2*i - 14. Does 19 divide l(f)?
True
Suppose -3*f = -5*f + 6, -v = -2*f - 110. Is 29 a factor of v?
True
Let n(k) = k**2 + k + 10. Does 5 divide n(0)?
True
Let i = -34 - -14. Let v be (-6)/10 + (-12)/i. Suppose -a - a + 60 = v. Is 10 a factor of a?
True
Suppose 5*k + 13 = -4*q, 3*q + 2*k = -2*q + 5. Suppose -5*o + 99 = -3*v, -q*o - 81 - 18 = 3*v. Let x = -3 - v. Is x a multiple of 11?
False
Is -10 - -10 - -6*24 a multiple of 24?
True
Let b = -23 + 16. Let f = -5 - b. Suppose f*o + 25 = 3*o. Does 13 divide o?
False
Suppose 0*q + 4*q = w + 444, 0 = -5*q + 2*w + 558. Suppose -5*h + q = 5*v, -4*h = v - 98 + 22. Is h a multiple of 9?
True
Let a(i) = 9*i - 15. Does 21 divide a(7)?
False
Suppose -58 - 110 = -4*s. Is 11 a factor of s?
False
Let a be (-1)/(-2) + (-10)/(-4). Suppose -a*w = w + 176. Let c = -27 - w. Is 13 a factor of c?
False
Let r(w) = -w**3 + 5*w**2 + 8*w - 8. Let b be r(6). Suppose 12 = 2*s + v + 1, -3*s + b*v = 0. Suppose 2*c + 3 - 27 = -s*n, n - 5 = -c. Is 6 a factor of n?
False
Let x be 2/3 + 3/9. Suppose -2*s + 5*t = 29, 3 = -4*s + 4*t - 5*t. Is (x/s)/((-1)/4) a multiple of 2?
True
Suppose 3*i + 0*i - 12 = 0. Suppose 0 = i*q - 5*a + 44, -4*q - a = 2*a + 12. Does 20 divide 8/q*(-28 + -2)?
True
Let h = 3 - -47. Is h a multiple of 10?
True
Let b(t) = -t**3 + 9*t**2 + 10*t + 8. Suppose 0 = 8*g - 2*g - 60. Is b(g) a multiple of 5?
False
Suppose 3*n - 2*n = -c + 99, 5*n = -c + 99. Is 33 a factor of c?
True
Suppose i + 3 = 5*n - 14, 2*n - 14 = i. Let o be 32/i*1*-3. Let l = 2 + o. Does 5 divide l?
True
Suppose f + 3*f + 3*q = 60, 0 = -5*f - q + 75. Is f a multiple of 3?
True
Let d(h) = h**2 + 8*h - 7. Let y be d(-8). Let l(k) = -5*k - 10. Let f be l(y). Does 15 divide f*-1*(-6)/10?
True
Suppose 4*w + 6 = 7*w. Suppose 4*a = 4*s + s - 248, -236 = -5*s - w*a. Does 16 divide s?
True
Suppose 3*u - 4*u + 45 = 0. Is 10/(-15)*u/(-6) a multiple of 3?
False
Let n be (-2)/(-4) - 15/(-6). Suppose 3*z + p - 173 = 0, 0*p = n*z - p - 163. Does 14 divide z?
True
Suppose b = 5*b. Suppose -3*f - 3*v - 59 = -5*f, -3*f - 3*v + 51 = b. Is f a multiple of 15?
False
Let j be 5/2 - (-5)/(-10). Suppose -j*o = -2*w, 5*o - 4 - 1 = 0. Is 10 a factor of 25 + w - (-5 - -3)?
False
Suppose -l + 2 - 4 = 5*d, -56 = -4*l - 4*d. Does 3 divide l?
True
Suppose -8 = -0*n - 2*n. Suppose n*t = 3*t + 1, 4*v - t = 303. Does 24 divide v?
False
Suppose 5*v + 2 - 12 = 0. Let i be 105/6 + v/(-4). Let w = 29 - i. Is w a multiple of 12?
True
Let i be 3 - (-3 + 0 + 1). Suppose 5*q + i*f = 160, 5*q + 2*f - 190 = -39. Is 8 a factor of q?
False
Let s = 5 - -3. Is s a multiple of 3?
False
Suppose 6 = -3*n - 3, -2*n - 110 = -4*r. Suppose 2*f - 2*h - r = 0, -3*h + 4*h = -4*f + 72. Does 17 divide f?
True
Suppose 0*g + 5*g = 10. Let v be (-2)/(2/(-3)) - 3. Suppose -d - 2 - 3 = 0, -2*o - g*d - 4 = v. Does 2 divide o?
False
Let n(a) = -7*a + 9. Is n(-13) a multiple of 18?
False
Let f = 138 + -117. Is f a multiple of 7?
True
Let n = -136 + 282. Is n a multiple of 21?
False
Suppose 10*h = 7*h - 15. Is 28 a factor of (2 + -16)*(3 + h)?
True
Let o(t) = -4*t - 34. Does 14 divide o(-12)?
True
Let q(u) = 36*u**2. Let k(n) = -n**2 - n + 1. Let m be k(1). Let y be q(m). Suppose 0 = -g + y - 7. Is 16 a factor of g?
False
Let r = -6 - 4. Is 152/5 + 4/r a multiple of 15?
True
Let g = 224 - 132. Is 14 a factor of g?
False
Suppose 0 = 4*d - 155 - 157. Does 31 divide d?
False
Let n(h) = h**3 - 6*h**2 + 2*h - 9. Let x be n(8). Suppose -31 = 4*t - x. Is 20 a factor of t?
False
Let i = -23 + 84. Let b = -28 + i. Does 13 divide b?
False
Is ((0 + 0)/3)/(-1) - -170 a multiple of 11?
False
Let u(d) = d**3 - 4*d**2 + 3. Let s = 24 + -17. Suppose -2*r - 25 = -s*r. Is u(r) a multiple of 13?
False
Suppose 5*l + 2*z - 110 = 0, 3*l + 3 - 38 = 5*z. Suppose 5*