l + 146, 0 = 4*l - n - h. Is 19 a factor of l?
False
Is 2 a factor of 16/(-64) + (-153)/(-4)?
True
Let t(o) = o**3 + 3*o**2 - 3*o + 1. Suppose 23*n + 6 = 26*n. Does 7 divide t(n)?
False
Suppose -4*s + 14 = -3*l - 138, -2*s + 5*l = -90. Suppose 5*n - s - 15 = 0. Is 10 a factor of n?
True
Let w(f) = -29*f**2 + f + 1. Let u(g) = 57*g**2 - 2*g - 1. Let c(n) = 3*u(n) + 5*w(n). Is 10 a factor of c(2)?
False
Let w be -27*(1 - (-33)/(-9)). Let q be 0/(-1) + w*1. Is (q/14)/((-3)/(-42)) a multiple of 24?
True
Suppose -g + 5*x + 387 = 0, -2*x + 90 = 2*g - 660. Does 13 divide g?
True
Suppose -14*v + 167 = -785. Is v a multiple of 8?
False
Suppose -4 = -0*d - d - 2*w, 2*d - w + 2 = 0. Let c be 0 + 1*(4 + d). Suppose 0 = -5*x - 5*i + 6*i + 270, -c*x - 3*i = -197. Does 11 divide x?
False
Let k(w) = 11 - 17 - w + 5 + w**2 + 3*w. Does 5 divide k(-6)?
False
Let k(t) = -t**3 + 2*t**2 - 8*t + 14. Does 10 divide k(-6)?
True
Suppose 5*s - 10 = 15. Suppose -14*x + 15*x - s = 0. Suppose x*r - 102 = -0*c - 2*c, 2*r = -5*c + 24. Is r a multiple of 11?
True
Suppose 2*b + 5*j - 43 = 1, -4*j = 2*b - 42. Suppose -224 = -b*k + 13*k. Does 18 divide k?
False
Let c be 1 + 7/(28/(-8)). Let k be (0 + (3 - 12))/c. Suppose -12 = 8*l - k*l. Does 10 divide l?
False
Suppose 1064*h = 1062*h + 2290. Is 74 a factor of h?
False
Let m be (-5 + 1*-2)*(-6 - 18). Let r = m - 143. Is r a multiple of 5?
True
Suppose 2*c + w - 5180 = 0, 2*w - 8 = -4. Is c a multiple of 17?
False
Suppose -7*i + 946 = -944. Is 12 a factor of i?
False
Is 56 a factor of (-1)/2*(7 - 231)?
True
Suppose 15 = 5*j - 100. Suppose -45 = 20*u - j*u. Is 3 a factor of u?
True
Let m(q) = q**2 - 10*q + 9. Let p be m(6). Let h be (-9)/p - (-42)/30. Suppose o = h*n - 51, 4*n - 127 = o - 4*o. Does 17 divide n?
False
Suppose -4*y + 7124 = 3*v, 5*v + y - 4751 = 3*v. Is v a multiple of 18?
True
Suppose -s = 4*z + 56, -3*s + 3*z - 68 = -s. Let k be -1*4 + 0 - (48 - 116). Let i = k + s. Is 12 a factor of i?
True
Let d(i) = -31*i**2 - 5*i + 15 + 12*i + 33*i**2. Is d(-5) a multiple of 15?
True
Let b(c) = c**3 - 3*c**2 - 4*c - 19. Is b(6) a multiple of 42?
False
Suppose f = 4*r - 88, 0 = -r - 4*f + 3*f + 22. Let h = r + 21. Is 12 a factor of h?
False
Is 5 a factor of (52/3)/((-42)/(-756))?
False
Suppose 2*i - 1435 = 5*r, 5*r + 713 = i + r. Is 29 a factor of i?
True
Suppose 2*h - 369 = -2*h - 5*r, 0 = 4*h + r - 349. Let p = 152 - h. Is p a multiple of 22?
True
Let w(u) = 249*u + 330. Is 43 a factor of w(8)?
True
Let o be 56/14 + (1 - 1). Suppose -318 = -o*f - 6. Is f a multiple of 21?
False
Let f = -27 - -96. Suppose 3*d + 3*r = f, -5*d + 3*r = -31 - 76. Does 11 divide d?
True
Suppose 0 = -0*y + 2*y - 2, 0 = -k + 4*y + 187. Let b = -107 + k. Is 14 a factor of b?
True
Let p(x) = 0*x**2 - 10*x**2 + 11*x**2 - 2*x. Let a be p(1). Let w(i) = -60*i**3 - i**2 + 1. Does 20 divide w(a)?
True
Does 12 divide -3 + -1 + 9 + 979?
True
Suppose 13 = 4*n - 119. Does 4 divide n?
False
Let p = -75 - -71. Let k(m) = 17*m + 2. Let z(a) = -a - 1. Let g(c) = -k(c) - 4*z(c). Is 18 a factor of g(p)?
True
Suppose s + 5*r + 8 = 0, -4*s + 2 = s + 4*r. Suppose s*z - 492 = 180. Does 14 divide z?
True
Let i(h) = 3*h**2 - h + 5. Does 9 divide i(-10)?
True
Suppose 17*x - 13*x + 12 = 0, 0 = -5*p - 2*x + 2159. Is 4 a factor of p?
False
Let c(m) = 3*m - 1. Let v be c(3). Let g be v*(-3)/(-18)*-57. Is 13 a factor of 5/((-5)/(-2)) - g?
True
Let m = -77 - -77. Is 16/4 - (m + -14) a multiple of 10?
False
Suppose 0 = 5*j - 2*g - 2760, -5*j + g = -9*j + 2208. Is 12 a factor of j?
True
Suppose -654 = -10*d + 5*d - 2*s, -3*d + 386 = -2*s. Is 10 a factor of d?
True
Suppose 0 = 9*v - 4*v - 400. Let j = v - 48. Is 7 a factor of j?
False
Let k = 854 + -278. Suppose 5*p - 1486 = -k. Suppose 343 = 5*v - p. Is v a multiple of 18?
False
Suppose 13*o + 25 = 18*o. Suppose -3*u + 201 = d, 5*u - 8 = -o*d + 317. Is 17 a factor of u?
True
Let g be 179/5 - (-3)/15. Suppose -3*j + g = -5*j. Does 4 divide (3/(-2))/(3/j)?
False
Suppose 0*l = -5*l - 3*w + 5960, -l + 1205 = -2*w. Does 24 divide l?
False
Suppose 0 = 5*q + 4*f - 32, -3*q + 0*f = -5*f + 3. Suppose 10*c - q*c - 156 = 0. Let k = 54 - c. Is k a multiple of 12?
False
Suppose 4*y - 372 = -4*p, 5*p - 5*y - 457 = -6*y. Does 13 divide p?
True
Let c = 1112 - 1108. Suppose 0 = -3*y - 2*y + 25. Suppose 0 = 5*h - 5*l - 255, y = c*l + 25. Does 8 divide h?
False
Let r(q) = -q + 5. Let y be r(-8). Suppose -16 = -3*l + 11. Let u = y - l. Is u a multiple of 3?
False
Let v = -9 + 685. Is v a multiple of 26?
True
Suppose 0 = -10*w + 3242 - 92. Does 7 divide w?
True
Let u(m) = 3*m**2 - 5*m - 6. Suppose 3*f + 6 = 4*f. Let g be u(f). Suppose -y = x + y - 9, -4*y - g = -4*x. Is x a multiple of 5?
True
Let h(t) = -5*t**3 + 19*t**2 + 55*t + 4. Does 11 divide h(-4)?
False
Let c(g) = -g**2 - 39*g + 68. Is c(-27) a multiple of 14?
True
Is (-66)/(-44)*(-1088)/(-3) a multiple of 8?
True
Let c(s) = 36*s - 6. Let w(f) = -f. Let y(q) = -2*c(q) - 84*w(q). Is y(5) a multiple of 18?
True
Is (-3)/(-2) - 114/12 - -3985 a multiple of 12?
False
Let q be (-9)/2 - 42/28. Let s = 54 + q. Is s a multiple of 13?
False
Suppose 3*w - 6 = 2*p - 2, 4*w - 16 = 0. Suppose 3*g - p*l - 17 = 0, 3*g - 24 = 3*l - 9. Suppose -4*q = g*n - 76, 2*q = 2*n + 7*q - 46. Does 14 divide n?
True
Suppose -4*m + 6 + 4 = -2*t, 5*m = -4*t + 32. Suppose 9*d - 4*d = 4*p + 212, 5*p - 105 = -t*d. Is d a multiple of 5?
True
Let m = -63 + 328. Is 52 a factor of m?
False
Suppose h = 6*h - 25. Suppose 2*s + 495 = h*s. Is 15 a factor of s?
True
Let r(n) = 51*n + 1. Suppose 5*q + 7 = -3. Let m be -1*(-3 + 4 + q). Is r(m) a multiple of 17?
False
Let h be -1 - -3 - (-10)/5. Let d(q) = 9*q + 0*q - 6 - 3*q + 6*q. Is 14 a factor of d(h)?
True
Let c = -117 + 181. Suppose -c = -4*y - 0. Is 4 a factor of y?
True
Let f = 2706 + -1692. Is 77 a factor of f?
False
Let k = -92 - -62. Let a = k - -68. Let b = -15 + a. Is 6 a factor of b?
False
Suppose 81*t - 80*t - 394 = 0. Suppose 0 = -2*m - 3*u + t, -u + 808 = 4*m - 5*u. Does 50 divide m?
True
Let u = -1573 - -2466. Is u a multiple of 47?
True
Suppose 9*x = 175 + 428. Let q = x - -44. Is 10 a factor of q?
False
Does 71 divide (-8)/6 - (3 + 5558/(-6))?
False
Suppose 2*s - 566 = 5*v + 679, 5*v = 15. Is s a multiple of 45?
True
Suppose 1 = 3*w - 11. Let u(q) = 36*q**2 - q + 2. Let h(d) = 37*d**2 - d + 3. Let c(z) = w*u(z) - 3*h(z). Is 12 a factor of c(-1)?
False
Is (1 - 8917)*42/(-168) a multiple of 71?
False
Suppose -r - r + 5*b = -4, -4*r + 8 = 2*b. Suppose 3*x - 4*i + 0*i = 20, -r*x = -i - 15. Suppose x - 29 = -u. Does 21 divide u?
True
Suppose g + 3*r - 128 = 0, 14*r = -g + 13*r + 132. Is 24 a factor of g?
False
Suppose 112298 = 64*i + 3882. Does 22 divide i?
True
Suppose 0 = 3*v + 2*v + y - 67, 15 = -5*y. Let f = 14 - v. Suppose -s - 4*r = -20, -r = 5*s - f*s - 62. Does 6 divide s?
True
Let q(v) = -7*v + 103. Let f be q(14). Let n be 1 + (156 - 1) - 0. Suppose c = -f*c + n. Does 10 divide c?
False
Let u(b) = b**3 - 13*b**2 + 33*b - 15. Let d be u(10). Suppose 0 = 4*v - 20, -2*o = -5*v - 276 - d. Does 15 divide o?
False
Let l(s) = s**3 - s**2 - s + 24. Let k be l(0). Does 6 divide (-1 - (2 - k/9))*-33?
False
Let x = -4 - -7. Suppose -p - 4*i + 2 = p, -2*i + 13 = 5*p. Suppose p*s - 204 = x*y, -3*y + 65 = s - y. Does 14 divide s?
False
Let v(s) = -19*s + 6. Let u(d) = 4*d - 1. Let q(k) = -11*u(k) - 2*v(k). Let a be q(-1). Suppose -a*n - 37 = -j, 0 = j + 4*j + 5*n - 305. Is 17 a factor of j?
False
Let t be (2/(-4))/(2/8). Let m be t - -5 - (-1 - 0). Let r = m + 5. Is 4 a factor of r?
False
Let x = 17 - 27. Let l = 26 - x. Is 12 a factor of l?
True
Let c = -44 - -29. Does 15 divide (-5)/c + 215/3?
False
Suppose 30*x = 35*x - 40. Does 16 divide (-502)/(-7) + x/28?
False
Let z(o) be the second derivative of -o**7/2520 + 7*o**6/360 - 3*o**5/20 - 7*o**4/12 - 5*o. Let y(c) be the third derivative of z(c). Does 2 divide y(12)?
True
Let u(h) be the second derivative of 5*h**3/6 + 13*h**2/2 + 13*h. Is 16 a factor of u(7)?
True
Let i = -2 - -32. Suppose 116 = -26*w + i*w. Is 3 a factor of w?
False
Suppose 0 = 4*a - 13 - 95. Let g be (-202)/8 + a/(-36). Let v = g - -46. Is 8 a factor of v?
False
Let q(f) = -f**2 - 1. Let b be q(2). Is 3 a factor of 22 + (b - 6/(-2))?
False
Suppose 2 = -