15/m) a multiple of 8?
False
Let m be (-4 - -5)/((-1)/(-8)). Is 7 a factor of (-2)/(-8) - (-110)/m?
True
Let o = 3 + -2. Suppose -3*u - 2*u - 4*c - 398 = 0, 314 = -4*u - c. Is 6 a factor of u/(-10) - o/(-5)?
False
Let c(m) = -m**3 + m**2 + m + 1. Let x be c(-3). Suppose o - x = -o + v, 58 = 4*o + 3*v. Does 16 divide o?
True
Let f = 211 + -151. Does 6 divide f?
True
Let c be -4*(-3)/(-12)*-5. Suppose -5 = -c*g + 115. Does 12 divide g?
True
Let p(v) = 3*v**2 + 11*v - 6. Does 12 divide p(-6)?
True
Suppose -2 = -7*n + 12. Does 12 divide (40 + -17)/(1/n)?
False
Let k = 32 - -26. Is 29 a factor of k?
True
Let h(g) = g + 1. Let m(l) = -15. Let i(y) = 3*h(y) - m(y). Let r(z) = -2*z - 12. Let o(f) = -5*i(f) - 8*r(f). Is o(6) a multiple of 6?
True
Let v = -76 - -44. Let d be (v/(-20))/(6/15). Suppose -t - d*t = -90. Is 13 a factor of t?
False
Let l = -39 - -75. Let w = -26 + l. Is w a multiple of 9?
False
Let j be (-261)/(-3)*2/(-6). Let u = j + 55. Is 13 a factor of u?
True
Let b be 28/(-16) - (-1)/(-4). Let a(w) = 5*w**2 - 2*w - 4. Is 10 a factor of a(b)?
True
Let y(r) = r**3 + 9*r**2 - r - 12. Let p be y(-9). Let w = p + 11. Is 8 a factor of w?
True
Suppose 3*h = 4*n + 757, 3*h + n + 0*n = 737. Is h a multiple of 43?
False
Let p(j) = -2*j - 2. Let s be p(8). Let z = 209 + s. Is (-24)/84 - z/(-7) a multiple of 12?
False
Let h(l) = -21 + 2*l + 17 - 20*l. Does 7 divide h(-2)?
False
Let g(x) = -x**2 + 2*x + 3. Let y be g(-2). Let a(j) = -3*j + 7. Is a(y) a multiple of 11?
True
Let o(r) = -7*r + 5. Let k be o(6). Suppose 3*s + 3*y + 246 = 0, -102 = s + 4*y + y. Let m = k - s. Is 17 a factor of m?
False
Let q = 36 + 140. Does 16 divide q?
True
Suppose -2*l + 6*l = 0. Suppose l = d - 0*d + 3*c - 14, 4*c - 52 = -3*d. Does 10 divide d?
True
Suppose d - 6 = -2. Is d even?
True
Let g(r) = -r**3 + 2*r**2 + r - 2. Let n be g(2). Let h(o) = -o**3 - 3*o**2 + 3*o - 1. Let k be h(-4). Is 19 a factor of (-1)/(k/(-57) - n)?
True
Let y(b) = b**3 - b**2 - b. Let w be y(2). Suppose 5 - 35 = w*j. Is (-265)/j + (-2)/(-6) a multiple of 9?
True
Suppose 30 + 24 = 3*a. Is 15 a factor of a?
False
Let g = -7 + -1. Is 8 a factor of (-3 + 3 + -3)*g?
True
Let f = 6 - 6. Suppose -3*k + 3 = 0, f = -w + 2*k + 3*k + 20. Is w a multiple of 13?
False
Let v be (2/3)/((-2)/(-234)). Suppose l + 2*l = -h + 51, -5*l - 4*h + v = 0. Suppose 3*y - y + 4*x - l = 0, 0 = -2*y + 2*x + 18. Is 4 a factor of y?
False
Let w = -23 + 46. Is w a multiple of 4?
False
Does 39 divide (3/3 - -144)*8/10?
False
Let i(c) be the third derivative of -c**4/8 + c**3 - c**2. Is i(-10) a multiple of 14?
False
Does 34 divide 35/14*1616/20?
False
Suppose -2*y + 1 + 73 = 0. Is y a multiple of 13?
False
Suppose r = -4*r + 25. Suppose 0*s + 2*d = -r*s + 258, 5*s = 2*d + 242. Is 14 a factor of s?
False
Let h = 63 + -114. Is 17 a factor of h/(-6)*8/2?
True
Let f(t) = 6*t**2 - 6*t + 3. Let p(g) = -7*g**2 + 7*g - 4. Let w(z) = 6*f(z) + 5*p(z). Let h be w(3). Suppose 6*k = h*k + 52. Does 9 divide k?
False
Suppose 0*r - r + 40 = 0. Is r a multiple of 19?
False
Suppose -3*k + 660 = q + 2*q, 3*q - 652 = 5*k. Is 11 a factor of q?
False
Let m(h) = 18*h - 66. Is 42 a factor of m(13)?
True
Suppose 0 = 3*m + 4*g - 186, g - 103 = -3*m + 83. Is m a multiple of 3?
False
Let i(g) = -22*g. Let q be i(1). Let x = q - -52. Is 23 a factor of x?
False
Suppose 0 = -5*h - 3*x + 252, 4*h + 2*x = -3*x + 212. Suppose -5*w - 3*y - h = -281, 3*w - 4*y - 134 = 0. Is w a multiple of 23?
True
Let b(t) = -t**2 + 10*t - 4. Let s(l) = l**2 - 8*l + 8. Let p be s(8). Is b(p) a multiple of 12?
True
Let g be (-9 + 10)*(0 - 0). Suppose -c + g*a + 9 = -a, 3*c - 35 = 5*a. Suppose -c*o + 0*o = -5*k + 230, -2*o = 0. Is 17 a factor of k?
False
Let v be (36/(-10))/((-3)/(-20)). Let s = 44 + v. Is 10 a factor of s?
True
Is 18 a factor of 178/4 - (-14)/28?
False
Let l = 64 - 66. Let h(f) = -10*f + 0*f - 3 + 1. Is 6 a factor of h(l)?
True
Suppose 12 = -r + 2*t - 4, 5*r + 5*t + 35 = 0. Is 21 a factor of (-228)/r - (-1)/5?
False
Let r(y) = -3*y - 2. Let f be r(-2). Suppose -204 = 3*o - 3*n, -208 = -o + f*o - 5*n. Let k = o + 102. Is k a multiple of 11?
False
Let o(g) = -g**2 - 24*g + 13. Is o(-8) a multiple of 15?
False
Let d be (29 - 2) + (4 - 2). Suppose -5*q - 4 + d = 0. Is 5 a factor of q?
True
Let b be (-4)/(-10) + (-36)/(-10). Suppose -95 - 45 = -b*q. Is 19 a factor of q?
False
Suppose -14 = -4*t + 118. Let o = -23 + t. Is 10 a factor of o?
True
Suppose 3*d + 545 = 4*l, 5*d - 143 - 547 = -5*l. Is l a multiple of 12?
False
Suppose -5*a + 4*t = -144, 7*t - 5*t - 168 = -5*a. Is a a multiple of 8?
True
Suppose 5*p - 3*c - c = 10, 0 = -c. Let a be p/3*639/6. Suppose -2*m = 11 - a. Is 10 a factor of m?
True
Suppose 0 = -8*p + 4*p. Suppose -3*h + 45 = a - p*h, -4*a = 4*h - 156. Does 12 divide a?
True
Let g = 402 + -255. Is g a multiple of 12?
False
Suppose 3 = -r - 3. Let c = r - -20. Is c a multiple of 7?
True
Let j(p) = -8*p - 3. Suppose 2*c = 5*c + 18. Let u be j(c). Suppose 0 = -3*i + u - 18. Is i a multiple of 9?
True
Suppose -3*o + 5*s = 6 - 269, -2*o - 5*s = -217. Does 16 divide o?
True
Let s be (0 - -6)*1/3. Suppose 3*p - 3*l = 12, s*l - 16 = -5*p + 5*l. Let y(w) = 3*w**2 - 2*w + 2. Is 5 a factor of y(p)?
True
Suppose 0 = 4*a - 4 - 4. Suppose s = -a*s + 12. Suppose -n = s*x - 99, 0 = -x - 3*n + 4 + 7. Does 13 divide x?
True
Let x(n) = n**3 + 14*n**2 - 2*n - 21. Let r be x(-14). Let u = r - 5. Is u even?
True
Suppose 50 = -0*s + 5*s. Is 10 a factor of s?
True
Let n be (1 - 30/9)*-3. Let a = n + -3. Suppose -3*s + 20 = -a*b, -4*s + 2*b + 3*b = -27. Is s a multiple of 4?
True
Suppose 0 = -2*r + 5*r - 12, -5*m = 4*r - 786. Is 16 a factor of m?
False
Suppose -3*r + 71 = 2. Is 15 a factor of r?
False
Suppose v - 5*v = -20. Suppose -v*d + 23 = -22. Suppose 15 + d = 2*s. Does 5 divide s?
False
Let a(y) = 10*y - 11. Is a(7) a multiple of 15?
False
Suppose 4*c - 11 = 21. Does 4 divide c?
True
Let q(f) = f**3 + 7*f**2 + 6*f - 8. Let t be q(-6). Let p(n) = -n**3 - 7*n**2 - 9*n - 8. Let d be p(-6). Let x = d - t. Is 9 a factor of x?
True
Suppose -323 = 4*n - 5*q, 2*q - 379 = 5*n + 4*q. Let t = -55 - n. Is 11 a factor of t?
True
Let y = 18 + -38. Let n = y - -31. Is 4 a factor of n?
False
Suppose 2*c = -2*d - 0*d + 42, -5*c = -5*d + 75. Is 3 a factor of d?
True
Let o = -8 - -6. Let x(j) = -16*j + 2. Is 15 a factor of x(o)?
False
Suppose 5*r = -4*x + 250, 0 = -3*r + 2*r - 5*x + 71. Does 11 divide (-3)/((-6)/r) + -1?
True
Suppose -4*k = -3*k - 2. Suppose -52 = k*c - 4*c. Does 10 divide c?
False
Is 22 a factor of ((-1320)/(-18))/10*(21 + 0)?
True
Suppose 3*r - 3*j - 5 = r, -3*r + j + 11 = 0. Suppose 3*w = -l + 26, 0 = -4*w - 3*l + 37 - r. Is 7 a factor of w?
False
Suppose 0*d = -2*d - 6, -2*g + 5*d = -19. Suppose 3*z = -g*z + 140. Is z a multiple of 14?
True
Is 48/36 + (-442)/(-6) a multiple of 25?
True
Suppose -2*z + 0*j - j = -155, -239 = -3*z + 5*j. Let u be (-75)/12 - 1/(-4). Is z/(-8)*16/u a multiple of 13?
True
Let r = 231 - 156. Is r a multiple of 15?
True
Let b = -40 + 145. Is 21 a factor of b?
True
Suppose 0*x = -3*x - 6. Let n be (-1 + 6)*(x - -3). Is 2 a factor of (0 - -3)/(3/n)?
False
Let j = -8 - -17. Suppose w + 4*z + 9 = 0, -4*w + 2*z - j = -3*w. Does 3 divide (12/10)/(w/(-60))?
False
Suppose 430 = 5*o + 35. Is 23 a factor of o?
False
Let g(p) = 5*p + 2. Suppose k + 10 = -4*k. Let y be g(k). Is (y/(-10))/(2/30) a multiple of 12?
True
Suppose -6 = -4*r + 5*i, r - 3*r - i + 10 = 0. Suppose r = -4*g - 0. Is 6 a factor of 49/3 - g/(-3)?
False
Suppose -2*k - 2 = -0*k. Let m be (k - -1)/(-1 + -1). Suppose 6*u - 3*u - 39 = m. Does 12 divide u?
False
Let r(c) = -2*c - 3. Let p be r(-4). Suppose -p*o - 4*f + 162 = 31, 0 = 2*o - 4*f - 30. Is 23 a factor of o?
True
Let f(i) = -i**3 - 9*i**2 + 10*i + 2. Let v be f(-10). Let h = -2 + v. Suppose 0*y - 2*y + 28 = h. Is 5 a factor of y?
False
Let u = -4 + 8. Suppose 3*c = 5*b + 63, -c - 35 = 3*b - 0*b. Is (-10)/3*b/u a multiple of 4?
False
Let p(l) = l**3 - 2*l**2 - 8*l - 7. Does 7 divide p(5)?
True
Let i be (-5)/(50/42)*-5. Suppose -2*g - k = -32, 3*g + 3*k = 72 - i. Is 13 a factor of g?
False
Let a(g) = -2*g**3 - 2*g**2 + 4*g - 4. Let r be a(-5). Suppose 0*z = -4*z + r. Let v = z + -8. Is v a multiple of 18?
True
Let v = 108 + -