 o(-5). Let d be 4/h + 67/(-6). Let p = 28 + d. Is 17 a factor of p?
True
Let u be 6/(-4)*(-5 - 8/(-24)). Let y = 5 + -2. Suppose y*a = 70 - u. Is 10 a factor of a?
False
Let f be 4/(-6)*6/1. Let m(o) be the first derivative of o**3/3 + o**2/2 + 5*o - 60. Is m(f) a multiple of 7?
False
Let x = -5424 - -8007. Does 50 divide x?
False
Suppose k = -3 + 19. Let q = k - 24. Is ((-12)/q)/((-2)/(-76)) a multiple of 19?
True
Suppose 3*w + w - 1048 = 0. Let n = w + -106. Is ((-12)/9)/((-8)/n) a multiple of 13?
True
Suppose -2*g + 150 + 48 = 0. Does 2 divide g?
False
Let i(b) = -b**2 - 11*b + 2. Let p be i(-11). Suppose 4*d = 18 - p. Suppose 5*z = -3*t + 83, 4*t - 66 = -d*z + 2*t. Is 8 a factor of z?
True
Let h(w) = w**3 - 12*w**2 - 1. Let q be h(12). Let d(y) = 66*y - 1. Let j be d(q). Let r = 131 + j. Is r a multiple of 12?
False
Let s(x) = -x**3 - x**2 + x + 2. Let y be s(0). Let d(q) be the first derivative of 10*q**3/3 - q**2 + 4*q - 4. Does 10 divide d(y)?
True
Let u = 293 + -202. Does 7 divide u?
True
Let x = 56 + -23. Let v = 68 - x. Is 15 a factor of v?
False
Let r = -505 - -847. Is 18 a factor of r?
True
Let p(u) = 10*u**2 + 12*u - 1. Is 7 a factor of p(-6)?
True
Let q = -251 + 377. Let l(z) = 4*z**2 + 4. Let m be l(4). Let h = q - m. Is 16 a factor of h?
False
Suppose 9 = 8*f - 9*f. Let b be (66/f)/(6/9). Let i = b - -68. Is i a multiple of 19?
True
Let v(r) = r**3 + 8*r**2 + 12*r. Let q be v(-6). Suppose q = t + 32 - 80. Does 10 divide t?
False
Let x = 372 - 309. Is 12 a factor of x?
False
Suppose 5*o = -2*o + 546. Is o a multiple of 13?
True
Let x be -2*(-4)/4 - (0 - -2). Suppose -d + 32 + 35 = x. Is d a multiple of 20?
False
Suppose -52*w + 40*w + 35640 = 0. Is 27 a factor of w?
True
Let y = -81 - -83. Suppose -108 - 156 = -2*m + 4*c, y*m = 3*c + 260. Is 31 a factor of m?
True
Let h be (-44)/22 + 3*1 - -2. Let q = 0 - 0. Suppose 5*a + h*x - 130 = q, 6*x = 3*x. Is 13 a factor of a?
True
Let y = 680 - 316. Is y a multiple of 52?
True
Let w be (-3)/((-5)/2 - -1). Suppose 0 = -w*p + 6*p - 4. Is 15 a factor of (1/2)/(p/64)?
False
Let r(s) = s**2 - 7*s - 2. Let w be r(5). Is (w + -16)/(1 + -2) a multiple of 13?
False
Let u = -2575 + 5431. Is u a multiple of 34?
True
Let x = 1895 + 299. Does 23 divide x?
False
Does 12 divide (-358)/(-3) - (-32)/48?
True
Let d be (7 + -9)/((-2)/3). Suppose 3 = 4*u - d*u. Is 3 a factor of u?
True
Let x(p) be the first derivative of p**3 - 7*p**2/2 - 9*p + 11. Is 6 a factor of x(4)?
False
Let j(h) = -h + 12. Let d be j(0). Suppose -a - 33 = -5*f, 2*f - d = 2*a - a. Suppose 6*r = f*r - 3. Is 2 a factor of r?
False
Suppose -2*w + 3*z = -9, 4*w + 4*z - 8*z - 12 = 0. Let g = w + 9. Is 11 a factor of 102/g + (-1)/3?
True
Let t be (-2 + 2)*3/(-3). Does 13 divide t + (-2 - (-82 - 3))?
False
Let t(x) = 2*x**2 - 16*x + 11. Let z(k) = -k**2 - 1. Let i(p) = -t(p) - 5*z(p). Let h be (-6)/4*28/6. Is i(h) a multiple of 29?
True
Let y(s) = -1. Let f(o) = 7*o + 10. Let d be (6/(-4))/((-48)/(-64)). Let u(a) = d*f(a) - 10*y(a). Is 24 a factor of u(-4)?
False
Let d(v) = 17*v**2 - 59*v - 242. Let h(f) = -12*f**2 + 39*f + 161. Let z(c) = 5*d(c) + 7*h(c). Is 11 a factor of z(31)?
False
Suppose -5*g + 30 = -15. Suppose -5*y = g - 839. Is y a multiple of 21?
False
Let f(q) = -4*q**3 - 2*q - 2. Let m be f(-1). Suppose m*c - n = 3*n + 312, -c = -3*n - 70. Is c a multiple of 9?
False
Let s = 187 + -65. Is s a multiple of 2?
True
Let u = 92 + -41. Suppose -294 - u = -3*w. Is 23 a factor of w?
True
Let x(n) = 9*n**2 - n - 21. Let r be 6/(-15) - (-68)/20. Let y(s) = 5*s**2 - 11. Let q(z) = r*x(z) - 5*y(z). Does 23 divide q(7)?
True
Suppose 2*p = 3*s + 54 - 20, -4*p + 3*s = -56. Let n = -6 + p. Suppose n*i - 60 = 35. Does 14 divide i?
False
Let c(r) = -2*r**3 + 4*r**2 + 39*r - 13. Is c(-8) a multiple of 55?
False
Let y be (-4 - -3) + 4 + -1. Let u = y - -12. Does 2 divide u?
True
Suppose 2411 = 38*y - 363. Is 3 a factor of y?
False
Suppose 2*z - 5 - 5 = -5*y, 3*y = -4*z - 8. Let v = y - 11. Is 10 a factor of (4/(-10))/(v/525)?
True
Suppose -2*y - 17 = 31. Suppose -5*n + 225 = -75. Let o = y + n. Does 18 divide o?
True
Let l(u) = -u**3 + 5*u**2 + u - 2. Let z be l(5). Suppose 3*o = -f + 8*o + 30, 0 = 2*f - z*o - 32. Suppose 0 = 2*y - y - f. Is 7 a factor of y?
False
Suppose 0 = -3*l + 9 + 6. Suppose 56 = 3*b + l*x, 0*b - 2*b + 48 = -2*x. Is b a multiple of 22?
True
Let b be 2/(-2 - -1) + 1502. Suppose -b = -4*m - m. Suppose 7*s - 2*s - m = 0. Does 13 divide s?
False
Suppose 0*w - 4*d = 4*w + 16, 4*w + 3*d + 12 = 0. Suppose g = -g + 30. Suppose -3*m + 2*m + g = w. Is 6 a factor of m?
False
Let a(m) = 9*m**2 - 117*m - 7. Is 7 a factor of a(14)?
True
Let d(q) = 3*q**2 + 9*q - 83. Does 14 divide d(-13)?
False
Let r be ((-21)/(-4))/(-1 + (-255)/(-252)). Suppose 3*t = -0*t + r. Is 36 a factor of t?
False
Let z be (-10)/(-4)*16/10. Suppose 6*x - z*x = 126. Suppose 2*m - x = 51. Does 19 divide m?
True
Let m be 1*8 - (4 - 2). Let x = m + -6. Suppose -4*n + 23 + 37 = x. Is 15 a factor of n?
True
Let r = 41 + -43. Does 3 divide 1778/98 + r/14?
True
Suppose 4797 = 30*t + 297. Does 10 divide t?
True
Suppose -3*w + 4*w - 162 = -q, 0 = -3*w - 5*q + 496. Is w a multiple of 7?
False
Let p = -18 - -20. Suppose p*j - 4*m + 32 = -0*j, m = -3*j - 13. Is j/(-21) + 75/7 a multiple of 9?
False
Let o be (-5 - 22/(-2)) + -17. Let s(n) = -11*n - 2. Let d be s(2). Let i = o - d. Does 7 divide i?
False
Suppose p - 256 = 5*l - 971, 0 = 2*p. Suppose t - l = 22. Is t a multiple of 11?
True
Let l be -12 + 14 + (1 - -41). Suppose -2*j + j - l = 3*p, -5*j - 2*p = 233. Let k = 80 + j. Does 11 divide k?
True
Is -1104*(52/3)/(-13) a multiple of 46?
True
Suppose 4*z - 2000 = -5*s, 0 = -3*s - 4*z + 1509 - 309. Is s a multiple of 20?
True
Let a(v) = -53*v + 883. Is a(0) a multiple of 58?
False
Suppose 3*t - 40 = -t. Let j = t + -17. Let d(l) = -l**3 - 7*l**2 + 7. Is 6 a factor of d(j)?
False
Suppose 2*h + 0*h + 30 = 0. Does 12 divide 12*(-15)/6*54/h?
True
Suppose -m - 3*m = 8. Let b = m + 5. Suppose 3*v - 2*v + 35 = f, b*v = f - 31. Is 6 a factor of f?
False
Let r = -53 - -75. Let g = -15 + r. Let i = g - 3. Does 2 divide i?
True
Suppose 4*d + 47 = 3*t, -t = -1 + 4. Suppose 0 = -4*h + 5*a - 114, 2*h - 6*a + 60 = -2*a. Let o = d - h. Is o a multiple of 4?
True
Let z(t) = 4*t**2 - 51*t + 21. Does 57 divide z(23)?
False
Let f = -4464 - -7176. Is f a multiple of 24?
True
Let t be 2/4*(4 + 12). Suppose 4*a + 3*n - 2 = -6, -2*a - 3*n - t = 0. Suppose a*p = -52 + 164. Is p a multiple of 13?
False
Does 36 divide ((-192)/(-256))/(3/752)?
False
Let z(r) = -34*r + 5. Is 61 a factor of z(-16)?
True
Let t be -4 - ((-72)/(-3))/3. Let l = t + 31. Suppose -5*g - 13 = 2*m, 0 = m + 5*g + l - 0. Does 2 divide m?
True
Let d(x) = -4*x - 51. Is d(-43) a multiple of 35?
False
Let m(g) = 12*g + 13*g - 24 - 29*g. Let p be m(-13). Suppose p*w = 29*w - 64. Is w a multiple of 8?
True
Let z = 922 - 694. Is 12 a factor of z?
True
Let g(i) = -5*i - 10. Let x be g(-4). Let r = 6 + x. Let y = r + -11. Is 3 a factor of y?
False
Suppose -4*g - 54 = -z, 0 = -5*z - 0*z - 4*g + 198. Is z a multiple of 7?
True
Suppose 2*w - 21 - 133 = 0. Suppose -w + 253 = 11*s. Does 4 divide s?
True
Let u(l) = -5*l + 7. Let g(d) = -d**3 - 8*d**2 + 9*d - 2. Let f be g(-9). Is 17 a factor of u(f)?
True
Let j(m) = 23*m**2 + 1. Let v be j(1). Suppose 124 - v = 4*t. Is 18 a factor of ((-60)/t)/((-4)/30)?
True
Let n(f) = -5*f**3 - 16*f**2 - 57*f + 5. Does 11 divide n(-4)?
True
Suppose -4*o = -2*x - 2*x + 68, x = -5*o + 47. Let g = 203 + x. Is g/(-6)*(-4)/6 a multiple of 10?
False
Let g(h) = h**2 - 5*h + 6. Let c be g(5). Suppose c = z + 1. Suppose s = -z*b + 624, -2*b = s - 6*s - 255. Is 35 a factor of b?
False
Suppose 0 = 2*i - k - 400 - 1737, 2*k - 10 = 0. Does 7 divide i?
True
Let y(b) = 73 - 7*b - 16*b**2 - 55 - b**3 - 9*b. Does 11 divide y(-15)?
True
Let l(s) be the first derivative of -s**3/3 - 23*s**2/2 - 24*s - 23. Does 6 divide l(-17)?
True
Let h be 2/(2*(-1)/2). Is h/(-3)*30/4 a multiple of 2?
False
Let s = -15 - -23. Suppose 0 = -9*f + 7*f + s. Is f a multiple of 3?
False
Suppose 0 = -v - 3*v - 8, 2*o - 20 = 4*v. Let t(r) = 28*r + 2. Is 34 a factor of t(o)?
True
Let d(x) be the second derivative of 0*x**3 + 8*x + 3/2*x**2 + 1/20*x**