es 19 divide z(s)?
True
Is 14 a factor of -7 + 6/(-4)*-42?
True
Suppose 7*n - 14*n + 35 = 0. Is (-2)/(-7)*(n + 576) a multiple of 14?
False
Let w be ((-15)/6)/(-5)*4. Let d be (-1 - 0) + 2 + w. Suppose 0 = -3*a + 33 + d. Is a a multiple of 2?
True
Suppose 24*x - 29*x = -235. Is 2 a factor of x?
False
Let x(a) = 2*a**2 - 3*a - 117. Does 19 divide x(-16)?
False
Let p = 10955 + -4709. Is p a multiple of 18?
True
Let v be 37*(0 + -1)*1. Let u = v + 39. Suppose u*l + 26 = 4*l. Does 6 divide l?
False
Suppose 6*g - 2*g = -308. Is 3 a factor of 14/g - (-488)/22?
False
Suppose 19*b = 16*b + 795. Is 13 a factor of b?
False
Let q(t) = t**3 - 11*t**2 + 11*t + 11. Let z be q(10). Suppose 0 = 16*h - z*h + 120. Is 13 a factor of h?
False
Suppose 0 = 24*x - 23*x - 3, 939 = 2*h + 5*x. Does 22 divide h?
True
Let r = -168 - 120. Let w = r - -458. Does 16 divide w?
False
Let w(h) = 5*h - 10. Let u be 36/10 + (-21)/35. Suppose -5*k + 18 = u. Is 5 a factor of w(k)?
True
Suppose 0 = -4*y + 7*y + 678. Let a = 3 - 6. Does 19 divide a/(-9) - y/6?
True
Let g(z) = z**3 + 91*z**2 + 127*z + 655. Does 15 divide g(-89)?
False
Is 3 + -1 + (273 - (-7 + 6)) a multiple of 10?
False
Suppose 2*g - 4550 = -2*f, -f + 4*f = 6*g + 6798. Does 26 divide f?
False
Suppose 3*v + 188 = 5*v - 4*n, 3*n + 187 = 2*v. Suppose -2*p = -v - 18. Is p a multiple of 11?
True
Let u(f) = 26*f**3 + 73 - f - 40 - 37 + 2*f**2. Does 35 divide u(2)?
True
Let c(w) be the first derivative of -w**4/4 + 5*w**3 + 3*w**2/2 + 15*w + 6. Is c(15) a multiple of 10?
True
Let r(s) = 37*s + 45. Does 12 divide r(3)?
True
Let q be 1/4 + 55/(-44). Let r = 1 - q. Suppose 129 = 3*a + 3*n, 196 = r*a + 2*a - 4*n. Does 17 divide a?
False
Let v(g) = -g**3 + 2*g + 80. Suppose 3*k - 4 = -19, 0 = 3*u - 4*k - 20. Does 4 divide v(u)?
True
Let h(s) = 27*s**2 + 57*s + 30. Is 48 a factor of h(-10)?
True
Suppose 8 = 2*p - p. Let m be -3*(p/(-6))/2. Suppose 0 = -0*h - m*h + 26. Does 13 divide h?
True
Let l = 3 + -5. Let q be (-9)/12*2*l. Suppose -4*k - i = -2*k - 80, -q*k + 138 = -3*i. Is k a multiple of 21?
True
Let w(l) = 14*l**2 + 3*l - 4. Suppose 0 = -5*m - 5*m + 10. Is w(m) a multiple of 4?
False
Let l = 17 - -91. Let a = -75 + l. Let w = a - 28. Is 2 a factor of w?
False
Is ((-1)/((-5)/(-397)))/(27/(-270)) a multiple of 13?
False
Suppose -666*k = -674*k + 4800. Does 24 divide k?
True
Let v(m) = -m**2 + 7*m + 45. Let a be v(-4). Let u(i) be the first derivative of 5*i**2/2 - 1. Does 2 divide u(a)?
False
Suppose 4*p + 18 = 5*w - 31, 17 = 2*w + p. Let d = -6 + w. Suppose -58 = -d*l + 8. Is l a multiple of 6?
False
Let w(h) = 3*h + 8. Let k be w(-6). Let o = k - -33. Is o even?
False
Let i(j) = 4*j**3 - j**2 + j - 1. Let m be i(1). Suppose -m*l + 5*v = -118, 0*v - 20 = 4*v. Suppose 4*p - 59 = -l. Is p even?
False
Let v(i) = i**3 + 16*i**2 + 16*i + 16. Let f be v(-15). Let g be f*(-3 + 1)/2. Does 21 divide (-3)/((-4)/(-84)*g)?
True
Suppose 0 = -2*b + w + 3139, -2116 = -b + 4*w - 536. Is 28 a factor of b?
True
Suppose -2*l + 838 = 3*l + c, 4*c + 848 = 5*l. Is 4 a factor of l?
True
Is ((-2)/3*-33)/((-2)/(-14)) a multiple of 11?
True
Suppose -2*b - 33 = 3*o, 5*b - 4*o - 5 = -30. Let n(y) = y**2 - 11*y + 2. Is n(b) a multiple of 11?
False
Suppose 7*a - 925 = 12*a. Let b = a - -316. Is 21 a factor of b?
False
Does 21 divide (-594)/(-396) - (-1)/((-2)/(-5217))?
False
Does 19 divide ((-400)/(-10))/(-8) + 2855?
True
Suppose -40*c + 154*c = 1026. Is 2 a factor of c?
False
Let v(b) be the second derivative of -b**3/3 - b**2 + 5*b. Let p be v(2). Is 1572/36 - 2/p a multiple of 11?
True
Let w = 89 + -5. Suppose -25*o + 21*o = -w. Does 15 divide o?
False
Let b be (3/(-2))/((11/6)/11). Is (b/12)/3 + 3610/40 a multiple of 15?
True
Suppose 6*z - 3*n - 2640 = z, -3*n = 0. Suppose -5*v - l + z = 0, -2*v - 3*l + 224 = 18. Suppose 4*h + 18 = v. Is h a multiple of 22?
True
Let f = -66 + 506. Is f a multiple of 22?
True
Is (2 + -1)/((25/(-690))/(-5)) a multiple of 23?
True
Let k = 3246 + 1042. Is k a multiple of 64?
True
Is 2 - ((-21800)/175 - 8/(-14)) a multiple of 2?
True
Let r = -148 - -266. Let m = 200 - r. Does 10 divide m?
False
Let n = 1716 - 881. Does 14 divide n?
False
Is (-24)/16*(-190)/5 a multiple of 6?
False
Suppose 5*v = -5*h - 7399 + 26079, 3726 = v - h. Does 41 divide v?
True
Suppose 2 + 2 = 2*v. Suppose 0 = -v*l - 5*c, 0 = -0*c + c + 2. Suppose l*p - 29 = 141. Does 17 divide p?
True
Suppose -54*x - 5145 = -75*x. Does 2 divide x?
False
Suppose 163*n - 1472 = 147*n. Is 2 a factor of n?
True
Suppose 8*l - 18 = 7*l + 4*r, 2*l - r = 8. Suppose 0 = 5*p + l*s - 904, 0 = -5*p + 4*s - s + 894. Is p a multiple of 18?
True
Suppose 215 = 15*s - 325. Suppose -24 = 3*x + 2*z, 0*z + 4*z = 4*x + 52. Let i = x + s. Does 13 divide i?
True
Suppose 49*i - 46*i + 45 = 0. Does 7 divide ((-5)/(i/(-84)))/(4/(-10))?
True
Suppose 5*z = -4*t + 944, 15*z - 18*z + 2*t + 584 = 0. Is 4 a factor of z?
True
Is 22 a factor of -3 - (1 + -506) - -4?
True
Let f(g) = 5*g**2 + 7*g - 9. Let k(q) = 2*q**2 + 3*q - 5. Let v(j) = 3*f(j) - 7*k(j). Does 8 divide v(3)?
False
Suppose 3*t = -o + 5, -3 = -2*t + 4*o + 5. Suppose t*v + 4 - 52 = 0. Is 12 a factor of v?
True
Let t be -1*(-1 + -1) - 0. Let b(i) = i**3 - 6 + 17*i - 16*i**2 + 2*i**t + 0*i**2. Is b(13) a multiple of 23?
True
Suppose -3*p = -2*m + 3*m - 374, 4*p = -2*m + 744. Is m a multiple of 8?
True
Let y(b) = -29*b**2 + 7*b - 5. Let g(k) = -276*k**2 + 66*k - 48. Let d(i) = 5*g(i) - 48*y(i). Does 26 divide d(4)?
False
Let p(x) = x**3 - 11*x**2 - 20*x + 18. Let t be p(13). Suppose t = 5*c + 5*v - 329, -c - 5*v = -89. Is 21 a factor of c?
True
Suppose -4*u + 0*u = -8. Suppose -u*d = 1 - 13. Suppose 3*v = d*v - 210. Is 18 a factor of v?
False
Let d(r) = 200*r - 124. Is d(3) a multiple of 10?
False
Let p(s) = 44*s**2 - 2*s + 2. Let f be p(2). Let d = 14 + f. Suppose -x - x = -d. Is 20 a factor of x?
False
Let v(s) = s**2 - 15*s + 6. Let y(r) = r**2 + 3*r + 17. Let w be y(0). Is 8 a factor of v(w)?
True
Let t be (-2)/((1/3)/(4/(-12))). Suppose -133 = -3*r + t*r. Is r a multiple of 19?
True
Let y be (-48)/(-64) + 18/8. Suppose 4*v = 4*q - 352, 2 = y*q - 4*q. Let b = 135 + v. Is 24 a factor of b?
False
Let y = 1039 - 479. Does 16 divide y?
True
Let g(s) = -7*s**3 + 8*s**2 + 7. Let b(l) = -8*l**3 + 8*l**2 + 8. Let i(f) = -6*b(f) + 7*g(f). Does 13 divide i(6)?
False
Suppose -5*a - 2*w + 313 + 44 = 0, 3*a + 2*w - 215 = 0. Is a a multiple of 8?
False
Let c(j) = 235*j - 106. Does 20 divide c(5)?
False
Let x = 76 + -85. Is 0/(1/(-1)) + (-5 - x) a multiple of 3?
False
Let a be (-4380)/(-50) + (-3)/5. Suppose 0*x + a = 3*n - 5*x, 5*n - 3*x - 161 = 0. Does 8 divide n?
False
Let r(a) = -2*a - 9. Let w be r(-6). Suppose w*k - 40 = -k. Is k a multiple of 10?
True
Does 68 divide (-5)/((-25)/(-10)) - (1 + -683)?
True
Let v be (-38)/(-57) + (-1 - (-11)/(-3)). Is 4 a factor of (v - -1) + (20 - -3)?
True
Suppose 891 = 4*g - 101. Does 8 divide g?
True
Let x(v) = -v**2 - 15*v + 16. Let f be -16 + (-6)/(-4)*2. Is x(f) a multiple of 14?
True
Suppose -s = -a + 220, 5*a = 7*a + 5*s - 412. Does 15 divide a?
False
Let c = -291 - -341. Does 10 divide c?
True
Suppose -31*a + 30319 = -38935. Does 11 divide a?
False
Let p(i) = i**3 - 6*i**2 + 7*i + 3. Let n be p(7). Does 27 divide n + 1 + (-8)/(-4)?
False
Let h be -8*(-2 + (-135)/6). Suppose h = 19*r - 15*r. Suppose -13 = w - r. Does 12 divide w?
True
Let b = -289 - -449. Does 5 divide b?
True
Suppose -i = -q, 3*q + 6*i - 1 = 8*i. Is 17 a factor of 1 + (-1 - (q - 5)) - -14?
False
Let q = 19 - 11. Let p = q + 19. Suppose 0 = -3*f + f + r + p, 5*r = -f + 19. Is f a multiple of 7?
True
Let i = 15 + -22. Let s(w) = -10*w - 30. Is 20 a factor of s(i)?
True
Let k(z) = -z**3 + 2*z**2 + z + 600. Does 25 divide k(0)?
True
Suppose 99 = -8*a - a. Let u(n) = -n + 11. Is 2 a factor of u(a)?
True
Let g be -3 - (-2 - 4) - 5. Is 4 a factor of (-1)/g - (-7)/2?
True
Does 57 divide (-9 + 9)/(-9) - -168?
False
Suppose h + 2*h - 2*r = 124, h - 4*r - 48 = 0. Is h a multiple of 4?
True
Suppose 11 - 3 = t. Suppose -2*f = -t, 3*f = 5*h - 0*h + 2. Suppose 315 = h*u + u. Does 21 divide u?
True
Suppose -2*j - 5*h + 1245 = 0, -14*h - 621 = -j - 15*h. Is 39 a factor of j?
False
Let d = -798 - -842. Is 2 a factor of d?
True
Suppose 0*p = -p +