ue
Let k = 8 - 4. Suppose 48 = -x + k*x. Is 7 a factor of x?
False
Suppose 33 + 5 = k. Suppose 1 = -c - 2. Is 4 a factor of c/2 - k/(-4)?
True
Let y(o) = o**2 - 13*o - 8. Let s be y(7). Let u(w) = w**2 + 8*w + 4. Let k be u(6). Let v = s + k. Is 14 a factor of v?
False
Suppose -g + 4 = -47. Suppose -3*y + 2*r + 28 = -5*y, 0 = 4*y + 3*r + g. Let l(a) = -a**3 - 8*a**2 + 6*a - 9. Does 9 divide l(y)?
True
Let j(a) = -a**3 - 6*a**2 - 6*a - 1. Let m be j(-4). Let r = -10 - m. Is (-3 - r*25)/2 a multiple of 6?
False
Let g = -6 - -8. Let z = 1 + g. Suppose -z*x + 15 = 3*k, 0*k + 3*k - 3 = -x. Does 3 divide x?
True
Suppose 5*r - 2*d - 2*d - 15 = 0, 3*d = -r + 22. Suppose 0 = -t + 4 + r. Suppose p = t + 3. Is p a multiple of 7?
True
Suppose 0*j + u - 11 = -3*j, j + 3*u = 1. Let y = j - 2. Let b(g) = g**3 - g**2 + g - 1. Does 5 divide b(y)?
True
Let o = -3 - -11. Let l = o - -28. Is 18 a factor of l?
True
Let g be (-970)/(-40) + (-1)/4. Suppose g = 29*d - 28*d. Is d a multiple of 6?
True
Suppose 0 = -2*s + 2, 4*l - 2*s - 27 = -s. Is l a multiple of 5?
False
Let y be (-2)/(8/(-4)) + 1. Suppose 0 = -y*v + 7*v - 30. Is 4 a factor of v?
False
Is 3/(3*(-4)/(-56)) a multiple of 4?
False
Does 3 divide 402/8 + (-3)/12?
False
Is ((-910)/(-21))/((-3)/(-9)) a multiple of 13?
True
Is 20 a factor of (3/(-2))/(1/(-92))?
False
Is 8 a factor of -4 - 12/4*-7?
False
Is 20 a factor of 14*3 + 24/(-12)?
True
Suppose -13*r + 36 = -11*r. Is r a multiple of 10?
False
Suppose 3*r = -0*r - 2*p + 40, 4*r - 56 = -2*p. Is r a multiple of 8?
True
Let z(o) = 13*o + 47. Is z(9) a multiple of 7?
False
Suppose 11*v - 600 = v. Does 7 divide v?
False
Let a = 73 + -17. Is a a multiple of 17?
False
Let b(x) = -33*x - 3. Let j be b(-3). Suppose 5 = 2*f - 3*c - 23, 0 = 5*f - c - j. Let o = 6 + f. Does 17 divide o?
False
Let u(k) = k**2 + k. Let s(b) = -54*b**2 - 2*b + 1. Let i(v) = -s(v) - 3*u(v). Is i(-1) a multiple of 12?
False
Suppose 18*r + 90 = 23*r. Is r a multiple of 18?
True
Let a be (-1 + -1)*12/(-8). Suppose -2*k = a*k + 5*b - 55, 3*k - 2*b - 38 = 0. Is k a multiple of 4?
True
Let s = -1 - -4. Suppose -s - 1 = -x. Does 2 divide x?
True
Let m = 17 - 11. Suppose -m*l = -3*w - l + 27, -4*w = -5*l - 41. Is 4 a factor of w?
False
Let u(m) = m**2 + 5*m - 5. Is u(4) a multiple of 13?
False
Does 13 divide -6*(-50)/8 - (-5)/10?
False
Let h(j) = 13*j**3 + j**2 - 5*j + 7. Is 13 a factor of h(2)?
False
Does 4 divide (-34)/(-3) + (-6)/(-9)?
True
Let h = 223 - 7. Is h a multiple of 23?
False
Suppose -20 = 2*v - 3*f, 0*v - 2*f - 50 = 5*v. Let t(b) = 6*b**3 + b**2. Let u be t(-1). Let c = u - v. Does 3 divide c?
False
Let a(x) be the second derivative of x**5/20 + x**4/2 + 2*x**3/3 + x. Let h be a(-5). Suppose 0 = k - h*k + 104. Is k a multiple of 13?
True
Let f(a) = 76*a**2 - 2*a + 1. Is f(1) a multiple of 37?
False
Let h = 321 + -224. Is h a multiple of 25?
False
Let t = 6 - 1. Suppose 3*p = -p + t*k + 7, -4*p = -2*k - 22. Is p a multiple of 4?
True
Suppose -2*u - 43 = -h, 0*u = -h - 2*u + 47. Does 29 divide h?
False
Is 14 a factor of (-3 - 6/(-3))/((-1)/55)?
False
Suppose 5*p = 3*c - 0*c + 37, -p = 5*c + 15. Suppose 0*l - p*t = -2*l + 53, -151 = -4*l + t. Is l a multiple of 11?
False
Suppose 0 = -m - 4*m + 15. Is 3 a factor of m?
True
Suppose 0 = 5*p + 3 - 13. Suppose -p*f = -f - 12. Does 4 divide f?
True
Let z be -1 - -4 - (-1 + 5). Is -1 + (-2)/z - -47 a multiple of 24?
True
Suppose -297 = -h + 8*c - 4*c, -2*c = 4*h - 1188. Does 11 divide h?
True
Let p be -2*(-1)/(-2)*2. Let m(n) = 6*n**2 - 3*n - 3. Does 9 divide m(p)?
True
Let b(k) = k**3 - k**2 + 34. Let c be b(0). Let l = c + 4. Is 10 a factor of l?
False
Suppose 0 = -4*c + 16 - 4. Let v = c + -1. Suppose -v*f - 3*f + 30 = 0. Is f a multiple of 3?
True
Suppose -104 = -3*q - 5*n, 4*q - 5*n = 7 + 155. Does 17 divide q?
False
Let c = 3 - 7. Let s be ((-24)/(-2))/(c/4). Let l = s + 39. Is 9 a factor of l?
True
Let b(s) = 2*s**2. Suppose 3 = -4*x - 1. Let h be b(x). Suppose r - 135 = -h*r. Is r a multiple of 18?
False
Let q(r) = -r**3 - 7*r**2 - 3*r + 4. Let b be -2*1/2 - 6. Is q(b) a multiple of 10?
False
Let y = 23 - 21. Suppose -5*c = -a + y, -2*a + 4*a - 32 = -4*c. Is a a multiple of 3?
True
Suppose -6*j + 4*j + 478 = 0. Suppose -t + 3 = -2. Suppose 41 = k + t*z, 4*k - j = 3*z + 2*z. Is 19 a factor of k?
False
Let k(i) = -i + 25. Does 3 divide k(9)?
False
Suppose 4*q - 3*q = 0. Suppose 0 = 4*y - 3*l - 0*l - 25, -3*l + 3 = q. Does 7 divide y?
True
Let b = -117 - -194. Suppose -b = -3*a + 37. Does 14 divide a?
False
Let n(i) = i**2 - 4*i - 15. Is n(-9) a multiple of 11?
False
Let s = 10 + -8. Does 14 divide -2 - -1 - s - -17?
True
Let z = 180 - 100. Suppose 4*c - z = -c. Is c a multiple of 6?
False
Let w(j) = j**3 + 5*j**2 - 5*j + 8. Let d be w(-6). Suppose -p + 4*p = 0. Suppose -d*z + 0 + 4 = p. Is z even?
True
Suppose z - 4*z + 60 = 4*n, 4*z - 2*n = 80. Is 10 a factor of z?
True
Let p(y) be the third derivative of y**5/30 - 5*y**4/12 + 4*y**3/3 - y**2. Is 18 a factor of p(7)?
True
Let j(r) = -r + 2. Let s be j(-2). Let p(h) = -5*h**3 + h**2 - h - 4. Let f(y) = -4*y**3 + 2*y**2 - y - 3. Let m(u) = 4*f(u) - 3*p(u). Is m(s) a multiple of 8?
False
Let y be ((-6)/(-12))/(2/(-8)). Let c = 2 - y. Suppose -c*a = -34 + 2. Is a a multiple of 3?
False
Suppose -465 = 3*q - 8*q. Is q a multiple of 14?
False
Let f(q) = -8*q**2 - q + 13. Let r(v) = -7*v**2 + 12. Let g(k) = 6*f(k) - 7*r(k). Is g(8) a multiple of 5?
True
Suppose -1 - 1 = -a. Suppose v - 3 = -3*m, -a*v + 1 = -4*m + 5. Is -3*(v + 8/(-6)) a multiple of 3?
False
Let k(j) = -j**3 + 5*j**2 + j. Let f be k(5). Suppose -g - 43 = -f*b - 0*g, 2*g = -b + 13. Let l = b - 2. Is l a multiple of 4?
False
Let w be (-3 - -2)*-1 - -2. Suppose 2*z - 5 = -d, 4*z + w*d - 15 = -z. Suppose z = 2*b - 5*b + 42. Is 5 a factor of b?
False
Let x = 35 + -25. Let j = x + -5. Suppose -p + 4*y = -9 - 41, 3*p = -j*y + 82. Does 17 divide p?
True
Suppose 4*o + 318 = 5*n, 2*n = 3*n - 2*o - 60. Is 11 a factor of n?
True
Does 26 divide 466*(2/(-4) + 1)?
False
Let q(i) = 2*i**2 + 22*i - 12. Is q(-13) a multiple of 5?
True
Let x(c) = -c**3 - 8*c**2 - 6*c + 7. Let u be x(-7). Does 8 divide u + (-2 - -4) - -21?
False
Let x(f) = f**2 + 3*f + 2. Is 10 a factor of x(-16)?
True
Is 3/(-15) + (-442)/(-10) a multiple of 14?
False
Let f(q) = q. Let u be f(0). Suppose -4*y - w = -225, 2*y + w = -u*y + 113. Suppose 3*b - y = -b. Is 14 a factor of b?
True
Suppose -237 = -4*m + 4*q - 41, 0 = 4*q - 12. Let s = m + -31. Is 7 a factor of s?
True
Suppose 0*n = -5*n + 15. Let t be (n/2)/(4/248). Suppose -2*i = 4*a - 29 - t, 0 = 4*a - 4*i - 116. Does 12 divide a?
False
Is 9 a factor of 2 - -26 - (-14)/7?
False
Let f(b) = b**3 + 9*b**2 + 8*b + 5. Let k be f(-8). Suppose -k*q + 134 + 161 = 0. Suppose 4*o - q - 41 = 0. Is o a multiple of 12?
False
Let n = -60 - -112. Suppose -4*c - n = -4*x, 2*x - c + 0*c - 21 = 0. Suppose -4*b + 3*b = -x. Does 4 divide b?
True
Let h(f) = f**2 + 15*f + 10. Let m be h(-11). Let d = m - -60. Is d a multiple of 12?
False
Let t(h) = -3*h**3 - h**2 - 2*h - 1. Let a be t(-1). Let l(m) = m**2 + 15*m + 24. Let d be l(-16). Suppose 0 = 2*j + 10, -a*c + 57 = j - d. Is 13 a factor of c?
False
Suppose 3*u = t - 0*u - 6, 0 = -2*t - 3*u + 3. Suppose k = -i + t, k - 17 + 2 = 5*i. Is 5 a factor of k?
True
Let b(n) = n**3 + n**2 - 1. Let y(i) = 2*i**3 + 10*i**2 - 2*i - 13. Let s(l) = -b(l) + y(l). Let j be s(-9). Is 4 a factor of (-3)/(-1) + 54/j?
True
Let a = -11 - -19. Suppose -2*u + 4 + a = 0. Let y = u - -6. Is y a multiple of 12?
True
Suppose 10*g - 1008 = g. Is g a multiple of 16?
True
Suppose -5*q - 3*s - 170 = 0, -2*s - s - 139 = 4*q. Let h = q - -71. Is 19 a factor of h?
False
Let c be 4/(-6) + 131/3. Suppose 25 + c = 4*s. Does 17 divide s?
True
Let h be (-20)/(-35) - 8/14. Let s = -2 - -1. Is (-33)/(-3) - s - h a multiple of 12?
True
Suppose 3*c - 3*o - 20 = o, o = 2*c - 5. Let u(d) = -d**3 + 5. Let l be u(c). Suppose 0*b + 2*g - 52 = -4*b, -l*b + 79 = -g. Is 9 a factor of b?
False
Let g(i) = -2 + 0 + 0*i + 0*i + 2*i. Does 10 divide g(6)?
True
Let z(t) = -t**2 + 5. Let c be z(0). Suppose 0 = 5*v - v + 4, -c*j + 3*v = -258. Is 17 a factor of j?
True
Let y be (4 - 6)/(4/422). Let z = y + 301. Is 32 a factor of z?
False
Let g