 + 2*-2. Let k = 51 + q. Suppose -7*x = -k - 133. Is 6 a factor of x?
False
Let c(n) = n**3 - 7*n**2 - n + 10. Let j be c(7). Let y(k) = 6*k + 4*k**2 - j + 0*k - 2*k**2. Does 19 divide y(-6)?
False
Let a = 15082 - 10121. Does 110 divide a?
False
Suppose -3*q - 8 - 4 = 0. Does 2 divide (-3 - -12 - q)/1?
False
Suppose 0 = 10*g + 10*g - 1620. Does 11 divide g?
False
Let i(p) = -5*p**2 - 8*p - 10. Let s(g) = -g**2. Let q(n) = -i(n) + 4*s(n). Is q(-7) a multiple of 2?
False
Suppose 0 = -2*d + 4, 0 = 4*p - 3*d - 10 - 0. Let n be 23/(30/(-8) + p). Is n/5 + (-28)/70 a multiple of 9?
True
Suppose -227 - 205 = -4*c. Suppose 3*n = l + c, 5*n - 229 = 2*l - 49. Let d = n + -32. Does 3 divide d?
False
Let o(f) = -f**2 + 27*f - 22. Suppose -2*d + d + 3*i + 36 = 0, -2*d = -4*i - 64. Is 50 a factor of o(d)?
True
Let m(j) = -j + 161. Does 14 divide m(-37)?
False
Suppose -11*f = -14*f + 786. Does 54 divide f?
False
Let g(w) = w**3 + 8*w**2 + 4*w + 8. Let f be g(-7). Suppose t = -2*x + f, 2*x - 32 = -0*t - 4*t. Does 4 divide x?
False
Let v = 104 + 381. Is 11 a factor of v?
False
Let v(y) = -61*y + 21. Suppose -t = -2*a, 2*a + 3*t = -3*a - 22. Is 5 a factor of v(a)?
False
Let l(o) be the first derivative of o**4/4 + 4*o**3/3 - o**2 - 6*o - 5. Let t be l(-4). Suppose 2*q = -q - t*x + 21, -q = 2*x - 11. Does 2 divide q?
False
Suppose 3554 = 11*j + 419. Does 13 divide j?
False
Let g(y) = -18*y - 30. Let l = 33 + -42. Is 33 a factor of g(l)?
True
Let q(i) = -7*i + 14. Let y be q(2). Suppose r = y, -3*z = -0*z - 2*r - 228. Does 28 divide z?
False
Suppose -2*k = 5*s + 175, 5*s + 170 = -4*k - 165. Does 35 divide (-16)/k + 1539/5?
False
Suppose -2*y + 510 + 50 = 0. Does 40 divide y?
True
Suppose 44*z - 56688 - 72 = 0. Is z a multiple of 27?
False
Suppose 0*a + 5*a = 15. Suppose -r = a*r - 16. Suppose -4*h + 60 = -r*v, 0 = -2*h + 4*h + 4*v - 54. Is 19 a factor of h?
True
Suppose -3*g + 3 = -4*l + 1, -3*g - 5*l + 38 = 0. Suppose 7*z - g*z = 16. Suppose -z = -2*x + 24. Is x a multiple of 5?
True
Let k(p) = 892*p**2 - 14*p + 13. Is 66 a factor of k(1)?
False
Let j(l) be the second derivative of -l**5/20 - l**4/6 - l**3/2 - 3*l**2/2 - l - 28. Let s be -2*(6/4 + 0). Is 15 a factor of j(s)?
True
Let o be 47/(-3 + (-10)/(-4)). Is 16 a factor of 4/(3 + -7) + 3 - o?
True
Let b(d) = 44*d**3 + 3*d**2 - 12*d + 21. Is b(2) a multiple of 19?
True
Let u(t) = 24*t**2 - 1. Let a(w) = 73*w**2 - 2. Let c(s) = 3*a(s) - 8*u(s). Is c(-2) a multiple of 11?
True
Suppose 5*l + 3825 = 10*l. Suppose -5*z = 5*m - l, 2*z + z + 3 = 0. Is m a multiple of 11?
True
Let h be (12/(-9) + 2)*6. Suppose 5*z - h*s = 116, 0*s - 4*s = -3*z + 68. Is 12 a factor of z?
True
Suppose -2*a + 30 = a + 3*b, -4 = 2*a - 4*b. Suppose -o + 20 = -a*o. Is 11 a factor of 1*(-13 + 0)*o?
False
Suppose -3*k + 4775 = -85. Is k a multiple of 36?
True
Let f(x) = 37*x + 449. Let t be f(-12). Let y = 136 + -54. Suppose t*k - 143 - y = 0. Is 19 a factor of k?
False
Let b(p) = -15*p**2 - 14*p + 24. Let c(x) = -7*x**2 - 7*x + 12. Let i(v) = 6*b(v) - 13*c(v). Is 16 a factor of i(-12)?
True
Let j(n) = n**3 - 9*n**2 + 13*n + 4. Let h be ((-30)/25)/(-2)*(14 - -1). Is j(h) a multiple of 11?
True
Suppose -5180 = 2*v - 9*v. Is v a multiple of 20?
True
Let v = 1088 + -638. Is 68 a factor of v?
False
Does 10 divide -2 + (-108)/(-63) + 3420/14?
False
Let n(s) = -s**3 + 17*s**2 + 17*s + 23. Let f be n(18). Suppose -4*x + 122 = f*y, x + 4*y = -2*x + 92. Does 26 divide x?
False
Let u = -5 - -18. Let a = -32 + 36. Suppose a*d = -i + 2 - u, 27 = 3*i - 3*d. Does 2 divide i?
False
Is 32 a factor of ((-19)/2)/((-7)/70)?
False
Suppose -73*b + 67*b + 234 = 0. Does 13 divide b?
True
Let d(a) = -a + 9. Let v be d(6). Suppose 0 = 2*u - v*u. Let r = u + 6. Is 6 a factor of r?
True
Let g(x) = 5*x**2 + x + 65. Is g(10) a multiple of 11?
False
Let l(p) = 251*p**2 - 65*p + 126. Is l(2) a multiple of 20?
True
Let n be (-6)/(-33) - 20/110. Suppose -3*a = -n*a - 573. Does 43 divide a?
False
Let z(r) = 6*r**2 - 33*r + 38. Is z(22) a multiple of 8?
True
Suppose 2*x + 334 = 1398. Is 14 a factor of x?
True
Let p be 85/25 + (-3)/(-5). Suppose p*o - 4*g = 51 - 7, -5*o + 2*g = -64. Is o a multiple of 7?
True
Suppose -3 = -6*h + 15. Suppose 5*n = a + h*n - 156, -3*a + 456 = -2*n. Does 25 divide a?
True
Suppose 0 = 30*w - 102062 + 10472. Is w a multiple of 43?
True
Let y(c) = -11*c - 145. Does 53 divide y(-18)?
True
Let a(z) = -6*z**3 - 46*z**2 - 14*z - 22. Let b(t) = 2*t**3 + 15*t**2 + 5*t + 7. Let w(y) = -4*a(y) - 11*b(y). Is w(-9) a multiple of 5?
False
Suppose 9 = 5*g - 261. Is 3 a factor of g?
True
Suppose 0 = -3*a + 6. Let b(k) = 3*k**2 - 3 - 3*k**2 + k**a. Does 2 divide b(3)?
True
Let q be (357/14)/((-3)/(-8)). Let l = q - 23. Is l a multiple of 7?
False
Let v = 886 + -293. Is 16 a factor of v?
False
Suppose 0 = -78*b + 32*b + 12512. Is 10 a factor of b?
False
Let z = 24 - 25. Let m be (1/(-3))/(z/(-3)). Is ((-207)/(-6))/(m/(-2)) a multiple of 10?
False
Let d(o) = 5*o**2 + 17*o. Let a be d(-7). Suppose a = -4*s + 806. Is s a multiple of 34?
True
Suppose -2*w - 270 = 3*w. Does 17 divide (-2 - -3)*-3 - w?
True
Suppose -4*r = 3*s - 6*r - 826, 3*s - r = 827. Suppose -s = p - 5*p. Does 23 divide p?
True
Is 10 a factor of -16 + 277 + (-2*1 - -4)?
False
Suppose 2*p = 5*u + 8, p = -0*p - 2*u + 13. Let r(g) = -g**2 + 12*g + 4. Let v(j) = -j**2 + 12*j + 3. Let l(h) = -3*r(h) + 4*v(h). Is l(p) a multiple of 8?
False
Let h(p) = -p**2 - 99*p - 334. Does 22 divide h(-67)?
False
Let v(f) = -1 + 13*f - 2 - f**2 - 1 + 1. Let r be v(10). Suppose 3*a = 90 + r. Is 6 a factor of a?
False
Suppose -17 = 4*w + 5*l, -4*w - 6*l + 2*l - 12 = 0. Suppose -3*q - 2*z = -428, -2*q + 300 = 3*z + w*z. Is q a multiple of 15?
False
Let r be 2/4 + (-5 - (-14)/(-4)). Let x = 74 + r. Is x a multiple of 11?
True
Let o(f) = -5 + f**2 - 21 + 33 + 43. Is o(0) a multiple of 19?
False
Suppose -4*g + 1 = -15. Let r = 8 - -17. Let l = r - g. Is l a multiple of 17?
False
Is 17 a factor of 4/(-24)*-21974 - 1/3?
False
Suppose -5*l - 20 = -2*k, -2*k + 5*k - 4*l - 30 = 0. Suppose 17*h = k*h + 245. Does 5 divide h?
True
Suppose -5*h = -2*z - 746, -3*h + 3*z + 636 - 183 = 0. Does 35 divide h?
False
Let i be (-4 + 68/4)*1. Suppose -i*r = -17*r + 16. Suppose 2*q - 16 = -r. Is q a multiple of 4?
False
Let a(i) = 2*i**2 + 20*i - 45. Let k be a(-16). Is 19 a factor of k + ((-48)/84)/((-2)/14)?
False
Let b be 8/36 - 24410/9. Let d be (-8)/52 + b/(-52). Is (-2)/((-8)/d)*5 a multiple of 13?
True
Suppose 13*x - 440 = 15*x. Let u = x + 145. Is -2 - u*(-10)/(-15) a multiple of 6?
True
Suppose -217*y = -208*y - 756. Is y a multiple of 28?
True
Suppose -2*p - 28 - 90 = -3*j, -5*p + 104 = 3*j. Suppose 5*f - 5*o + o = -103, 0 = 5*o + 15. Let z = j - f. Is z a multiple of 16?
False
Suppose -8953 = -21*o + 9086. Is o a multiple of 4?
False
Let q = -2938 + 5562. Does 32 divide q?
True
Let d(z) = z**2 - 7*z + 4. Let x be d(7). Suppose -3*i + 72 = s - 2*s, 96 = x*i - s. Suppose 0 = w - i - 12. Is 12 a factor of w?
True
Let u(t) = 7*t**2 + 10*t - 17. Let h be u(5). Let g = h - 116. Is 23 a factor of g?
True
Suppose -5*k - 4*q - 40 = q, 2*k + 4*q = -16. Let m = 20 + k. Does 7 divide m?
False
Let m(x) = -x**3 + 4*x**2 + 24*x - 13. Is 6 a factor of m(7)?
False
Let v(o) = -78*o - 2. Let z be v(-2). Suppose z = 3*g - 173. Is 5/(-20) + g/4 a multiple of 27?
True
Let x(g) = 26*g + 24. Let c be x(7). Suppose -56 + c = 6*r. Is 2 a factor of r?
False
Let a = -8 + 15. Suppose -a*w - 100 = -12*w. Is 368/w - (-4)/(-10) a multiple of 9?
True
Let o(z) = z + 5. Let x be o(5). Suppose -x*n = -5*n - 980. Let i = -122 + n. Is 11 a factor of i?
False
Suppose 5*l - l = 5*y + 32, y = l - 8. Suppose 3*o = l*o - 15. Suppose -o*w = 6, 2*f - 152 - 2 = w. Is f a multiple of 23?
False
Suppose -6*o = -3*o - 72. Let i be 3074/16 - 3/o. Suppose -8*f + i = -4*f. Is f a multiple of 24?
True
Does 20 divide (-14)/((-5)/(-5))*(-312)/7?
False
Does 96 divide 759/2 + ((-750)/(-20))/15?
False
Suppose -k + 2*f + 17 = -3*f, 34 = 2*k - 2*f. Let r = k - 12. Suppose r*n = -n + 96. Is n a multiple of 5?
False
Let q = -211 + 209. Suppose 3*p = 128 + 160. Let t = p - q. Is 14 a factor of t?
True
Let f be 58/7 + 10/(-35). Suppose 53 = -3*c + f. Let w = c + 23. Is 8 a factor of w?
True
Le