Is 2 a factor of d?
False
Let m(p) = p**3 - 10*p**2 + 7*p + 20. Let r be m(9). Suppose -12 = -3*z + 6. Is (2/r)/(z/18) a multiple of 2?
False
Let i(d) = d + 1. Let v(u) = 2*u + 6. Let n(f) = 3*i(f) - v(f). Let x be n(8). Suppose 3*p = -z - 0*z - 6, -x*p - 30 = -5*z. Is z a multiple of 3?
True
Let n(b) = 3*b**3 - 3*b + 3. Let p be n(1). Suppose 0 = -p*m + 4 + 26. Is m a multiple of 5?
True
Let k = 1851 - 1711. Does 2 divide k?
True
Is 3 a factor of (-2518)/(-4) - (-4 + 70/20)?
True
Let r(c) = 5*c**3 + 87*c**2 - 4*c - 141. Let d(w) = -w**3 - 22*w**2 + w + 35. Let y(m) = 9*d(m) + 2*r(m). Is 44 a factor of y(24)?
False
Suppose 9 + 23 = 8*o. Suppose o*g = 21 + 259. Is g a multiple of 10?
True
Suppose 6*f - 460 = -4*f. Does 9 divide f?
False
Let h(v) = 35*v - 73. Is 2 a factor of h(12)?
False
Let r(o) = 9 - 1 + 9*o + 11*o**2 + 2*o**3 - o**3. Suppose 20*q + 40 = 16*q. Is r(q) a multiple of 6?
True
Let s(g) be the third derivative of 9*g**5/20 + 5*g**4/24 + g**3/2 + 33*g**2. Is 38 a factor of s(-3)?
False
Let c = -1 + 5. Suppose 10*w = -25 + 25. Suppose c*n + y - 168 = 0, n - 42 = -w*n - 5*y. Is 7 a factor of n?
True
Suppose -3*d + 965 = 5*n, 0 = -5*n + 7*n - 3*d - 365. Does 18 divide n?
False
Suppose 4*h - 4*z = 1176, -5*z + 3*z + 867 = 3*h. Suppose -2*v + h = -29. Is v a multiple of 16?
True
Let b be -3 - 0*3/9. Let t = b + 7. Let a(w) = w**2 - 2*w - 3. Is 4 a factor of a(t)?
False
Suppose -4*k - 12 = 0, -4*q - 2*k = 3*k - 1. Suppose -2*b = -2 - q. Suppose -b*l - 21 + 117 = 0. Is 8 a factor of l?
True
Suppose -4*n + 209 = 45. Suppose 0 = -4*r - 1 + n. Is ((-24)/2)/((-15)/r) a multiple of 2?
True
Let k(o) = 7 - 1 - o - 8 + 2*o**2 - 55*o**3. Is k(-1) a multiple of 23?
False
Let l be (2/(-2) + 4)*1. Suppose 0 = 2*p - 6, -3*d + l*p = -0*p - 9. Suppose j = d*j - 140. Does 14 divide j?
True
Let r = 17 + 193. Is r a multiple of 42?
True
Let c = 107 - -301. Is c a multiple of 58?
False
Suppose 4*j + 130 = 2*u, 0 = -4*u + 2*u - 3*j + 102. Is 7 a factor of u/(-2)*10/(-15)?
False
Is 12 a factor of ((-26884)/(-130))/(2/5)?
False
Does 7 divide 16 - (3 + -5)/((-2)/4)?
False
Suppose -m - 4*m = 0. Suppose m = -3*g - 2 + 8. Suppose g*r + 2*r = 264. Does 28 divide r?
False
Suppose -1 = -5*u + 9. Let b be u/3*(-3)/(-2). Is (-99 - 0)*b/(-3) a multiple of 8?
False
Let s be (1843/(-95))/(2/(-10)). Suppose s = -2*l + 291. Is l a multiple of 21?
False
Suppose 2 = -3*h + 2*f, 5 = 3*h + 2*h - 5*f. Does 8 divide (h/(-2) + 6)/(19/76)?
True
Let b = -394 - -429. Is 6 a factor of b?
False
Suppose -5*h = w - 30, -w - w + 2*h = 0. Suppose -w*t - 2*m = -190, -3*t + 4*m = -4*t + 20. Does 10 divide t?
True
Let x(q) = -q**3 - 8*q**2 + q + 8. Let m be x(-8). Suppose m = -10*j + 5*j - 35. Let b(k) = -k**3 - 6*k**2 - 7*k - 7. Does 18 divide b(j)?
False
Let y(q) = -q**3 + 4*q**2 + 3*q - 3. Let x be y(4). Let r(z) = -5*z**3 + 10*z + 6*z**3 - x*z**2 + z. Does 12 divide r(8)?
True
Suppose -4*y - 4*z = -876, 5*z = -y + 249 - 42. Is 3 a factor of y?
True
Let c(b) = b**2 + 9*b - 2. Does 49 divide c(6)?
False
Let h(j) = 45*j**2 + 15*j - 1. Let u(z) = -4*z + 8*z + 23*z**2 + 4*z - 1. Let d(y) = 4*h(y) - 7*u(y). Does 16 divide d(-2)?
False
Let y = 712 + -476. Is y a multiple of 12?
False
Let l = 18 - 4. Let j be (-22)/77 + (-332)/l. Let b = 61 + j. Is 8 a factor of b?
False
Let a = -37 - -40. Is 23 a factor of (1/a)/(7/966)?
True
Let p(y) = 12*y**2 - y - 2. Let q be p(-1). Let b(l) = 3*l - 9. Does 12 divide b(q)?
True
Suppose -3*a = -0 - 12, -3*c = 5*a - 4340. Is c a multiple of 96?
True
Suppose 0 = z + 2*i - 39, -z - 186 = -5*z + 2*i. Does 4 divide ((-81)/z)/((-6)/40)?
True
Let f(z) = 74*z - 529. Does 8 divide f(27)?
False
Let s(a) = -3*a**3 - 94*a**2 + 55*a - 68. Is s(-32) a multiple of 3?
False
Let i = -13 + 21. Suppose s - i = -2*o, -2*s + 2*o + 9 + 13 = 0. Let m = 7 + s. Is m a multiple of 17?
True
Let n = -362 + 785. Does 26 divide n?
False
Suppose 2*v - 130 = 312. Suppose k - 3*q - 73 = -q, -3*k + 4*q = -v. Is 26 a factor of k?
False
Suppose -4*g + 11*z + 8244 = 9*z, 3*z = 0. Does 93 divide g?
False
Suppose 0 = -34*d + 29*d + 35. Suppose -d = 7*y - 49. Is 2 a factor of y?
True
Let m = 169 + 1090. Does 56 divide m?
False
Suppose -2*f + 14 = 8. Suppose -85 = f*z - 685. Is 7 a factor of z?
False
Suppose -w + 0*w + 739 = 0. Is 43 a factor of w?
False
Let c(b) = -2*b**2 - b - 4. Let j be c(-5). Let x = 88 + j. Is x a multiple of 5?
False
Let l(g) = -13*g - 8*g - 9*g. Does 15 divide l(-4)?
True
Let s(n) = n**2 + 29*n + 52. Is 13 a factor of s(-29)?
True
Let i(l) = l**2 + 16*l + 19. Let p be i(-11). Let a = p + 41. Does 9 divide (36/a)/(3/15)?
True
Is 12 a factor of 16/(-2) + 4 + 819 + 1?
True
Let d(j) = 6 + 43*j + 23*j + 3*j. Is 16 a factor of d(2)?
True
Suppose -19*p = -23*p - 8, -v + 337 = -5*p. Is 37 a factor of v?
False
Let q(c) = 63*c + 51. Is q(3) a multiple of 24?
True
Let y be (-1460)/8*4/(-5). Suppose 4*x = -0*x - 4*c + 196, -3*x - 2*c = -y. Let z = -13 + x. Does 12 divide z?
False
Suppose -5*y - 88 = -6*y. Suppose -2*a + 0*a = -y. Is 44 a factor of a?
True
Let x(q) be the first derivative of 3*q - 3 - 9/2*q**2. Is x(-3) a multiple of 12?
False
Suppose -4*o = 2*d - 140, 0 = -2*o - 2*o - 3*d + 140. Is o a multiple of 5?
True
Let h = 369 - 361. Is 8 a factor of h?
True
Suppose 0 = 2*w + i - 115, w = 2*i + 86 - 26. Does 7 divide w?
False
Is 17 a factor of (-6)/(-12)*-12 + 161?
False
Suppose -3*i - y = -7, 0*y = 2*i - 3*y - 23. Suppose -29 = 5*c - i*c + 3*v, 4*v = -5*c - 112. Is 9 a factor of 270/50*c/(-6)?
True
Suppose -20*s + 2*n + 30 = -17*s, 3*n + 15 = 2*s. Is s a multiple of 2?
True
Let n(x) = -60*x - 33. Let y be n(-10). Suppose 2*j - 378 = -s, 3*j - 9*s - y = -7*s. Is 27 a factor of j?
True
Let b(r) = r**3 + r**2 - 12*r - 9. Let v be b(-4). Suppose 9 - 25 = y. Let p = v - y. Is 2 a factor of p?
False
Let x be -3 - 1*(-17 - -4). Let d = 34 - x. Is d a multiple of 14?
False
Let d be (-10)/(-4)*(-12)/(-10). Let m be 6 - d - -30 - -2. Let r = m - 18. Does 17 divide r?
True
Let p be 8/20 - (-44)/(-10). Let b(u) = -17*u + 23. Is b(p) a multiple of 17?
False
Suppose 0*g - 3 = 3*g + m, -2*g = -4*m - 12. Suppose g = -6*s + 5*s + 5. Suppose -s*u - 19 = -219. Is 15 a factor of u?
False
Let x(c) be the third derivative of -c**6/120 + 3*c**5/20 - 5*c**4/12 + 2*c**3 - 4*c**2. Is x(6) a multiple of 2?
True
Is (-198)/12*(-52 - -4) a multiple of 72?
True
Let t(p) = -258*p - 155. Does 28 divide t(-7)?
False
Suppose -600 = -0*u - 4*u. Let j = -7 - -12. Suppose -j*r - u = -10*r. Does 10 divide r?
True
Suppose -2898 = -4*t + g + 841, -5*t + 4685 = g. Is 74 a factor of t?
False
Let p(c) = -9*c - 3. Suppose -5*t - 11 = -1. Let j = t - 0. Does 7 divide p(j)?
False
Suppose -5*p = -2*z - 253, -2*z - p + 41 = 300. Is 20 a factor of ((-21)/1)/(-7) + z/(-1)?
False
Is 8 a factor of 12/(-2) + (3 - (6 - 110))?
False
Let k = -9 + 12. Suppose h + 8 = -k*h. Is 11 - ((-4)/h + -3) a multiple of 6?
True
Let c be (4 + 1)*(2 - 3). Let i(v) = v - 2*v + 5*v + v**3 + 6*v**2. Is 2 a factor of i(c)?
False
Let h be 2110/20 - (-2)/(-4). Let i = h - 812. Does 23 divide (i/(-2))/(-7)*-2?
False
Suppose -11*h + 841 = -72. Let k = h + 18. Does 35 divide k?
False
Let i = -74 - -98. Suppose 4*a + i = 8*a. Is 6 a factor of a?
True
Let l be (-1 + (-12)/(-3))/(-1) + 417. Suppose -l = -4*i + i + 3*a, -5*i = -a - 686. Is 21 a factor of i?
False
Does 4 divide 9 - 1*(11 + -617)?
False
Suppose l = 2*o - 2, -12 = -0*o - 2*o - 4*l. Suppose o*z - h - 2 = -5*h, 2*h = -4*z + 10. Let x(m) = -m**3 + 4*m**2 - m - 2. Is 4 a factor of x(z)?
True
Suppose -r = -14 - 98. Suppose 0 = l - 0*l - r. Let m = l + -68. Does 11 divide m?
True
Suppose 0 = 2*h - h + 3*r + 71, -h = -r + 75. Let a = 179 + h. Is 15 a factor of a?
True
Let l be (-10 + -5)*(-2)/1. Let t be (80/6)/(20/l). Suppose 0*w + 5*w + 3*b - 87 = 0, 5*b = t. Is w a multiple of 15?
True
Let c(j) = 4*j - 24. Let l be c(6). Is (1 - (-3)/(-2))*(-72 - l) a multiple of 3?
True
Suppose -2 = -13*m + 12*m. Let k be 20 + m + (0 - 4). Let p = k + -7. Is p a multiple of 4?
False
Suppose 0 = 23*m - 27*m - 300. Let h = -9 - m. Is h a multiple of 22?
True
Suppose -6*k = 3*z - k - 416, 0 = -3*z + 2*k + 409. Let t = z + -97. Is t a multiple of 20?
True
Let o = 466 - -200. Is 16 a factor of o?
False
Suppose -4*n - 2