= -3*z - f + 5*f. Does 3 divide z?
False
Let s(m) = m + 134. Is s(-6) a multiple of 32?
True
Suppose 3*l - 2*l + 5 = 0. Does 30 divide 4752/80 + (-3)/l?
True
Suppose 14*t - 31728 = 1228. Is 11 a factor of t?
True
Let m be 3 + 2/(-4)*-4. Let p(t) = m*t - 6*t**2 + 2*t**2 - 4*t + 5*t**2 + 3. Is p(6) a multiple of 15?
True
Is 8 a factor of (-2 + (-4)/(-8))/(15/(-940))?
False
Let n = 2 - 5. Let p be (4 - -1) + 3/n. Suppose p*z + m - 20 = -m, -5 = -z - 5*m. Is 2 a factor of z?
False
Suppose -11676 + 144376 = 50*v. Is v a multiple of 73?
False
Suppose 36 = 2*h + 2*c, 0 = -4*c + 2*c + 2. Suppose -h*r + 19*r = 152. Is r a multiple of 19?
True
Suppose -208 = -4*s - 532. Let i = -47 - s. Suppose -29 = -3*q + 2*m, 0 = 2*q - 6*q - 2*m + i. Is 3 a factor of q?
True
Let j be 2/(-3)*(-18)/(-4). Is 31 a factor of 154 + 1*(j + 4)?
True
Suppose 0*i = 2*i + 5*o - 1012, -i + 513 = -o. Is 8 a factor of i?
False
Suppose 28*s - 717 = 53127. Is 44 a factor of s?
False
Suppose h = -45 + 136. Does 2 divide h?
False
Suppose -2*k = -5*j - 285, -2*k = -5*j + 2*k - 285. Let q = 15 - j. Is 24 a factor of q?
True
Let o(n) be the second derivative of n**5/20 + n**4/3 + n**2 + 3*n. Let f be o(-4). Does 14 divide (58 + 10)*1/f?
False
Let t = -30 - -34. Suppose u = -3*l + 139, 4*l - 3*u + t*u - 184 = 0. Is l a multiple of 45?
True
Is 7 a factor of (-5)/(-5)*(2 + -2 + 109)?
False
Let u(v) = 2*v**2 - 6*v + 7. Let k be u(1). Suppose 0*q - 90 = -q. Suppose 5*c = -3*d + q, 0*d + k*c = -2*d + 60. Is d a multiple of 7?
False
Suppose -5*a + 3*a + 1394 = 0. Is 17 a factor of a?
True
Let u = 517 + -113. Is u a multiple of 54?
False
Let d(g) = 4*g + 28. Is 2 a factor of d(47)?
True
Suppose q + 1 = 2*o - 2*q, -8 = -5*o + 2*q. Suppose -5*x = -o*x + 4*b - 99, -b + 165 = 5*x. Is 6 a factor of x?
False
Let j(r) = r**2 - 9*r + 50. Is 13 a factor of j(11)?
False
Let s(j) = 26*j + 118. Does 5 divide s(0)?
False
Let z be (-129)/(-12) + 2/8. Let i = z + -5. Let t(y) = y**3 - 5*y**2 + 6*y + 3. Does 25 divide t(i)?
True
Is 786 + -1*6/(-2) + -2 a multiple of 14?
False
Suppose 0 = -2*i - 6. Let c(f) be the first derivative of -f**2/2 + f - 159. Is c(i) even?
True
Let m be ((-4)/10)/((-4)/100). Suppose -m*w = -w + 36. Is 3 a factor of 876/54 + w/18?
False
Does 57 divide 70*(-2)/(-20) + (-4439)/(-1)?
True
Does 31 divide 5/((-1)/(-82 - (-3 - -4)))?
False
Suppose 5*n + p - 4093 = 0, 0 = 8*p - 4*p + 8. Is 10 a factor of n?
False
Suppose 148 = -12*l + 16*l. Let p = l + 19. Is p a multiple of 8?
True
Let i = 2203 + -1287. Does 7 divide i?
False
Let o(m) = 24*m**2 - 2*m - 1. Suppose -3 = 2*z + c, -c - 1 = -2*z + 2*c. Is o(z) a multiple of 2?
False
Let l = -28 + 50. Suppose -20*v - 354 = -l*v. Is v a multiple of 33?
False
Suppose 0 = -3*h + u - 346, -2*h = -2*u + 240 - 12. Let p = h - -177. Is 4 a factor of p?
False
Let s be 403/(-9) - 2/9. Is (-9)/s + (-734)/(-5) a multiple of 27?
False
Let m(f) = f**2 - 3*f - 10. Let t be m(7). Let z(w) = -w + 39. Is z(t) a multiple of 7?
True
Let i be (-2)/(-16) - 1755/(-104). Let m = -1 - i. Is (-351)/m*8/6 a multiple of 17?
False
Let s(w) = -5*w + 7. Let t be s(3). Let q(k) = -k**3 - 7*k**2 + 8*k + 8. Does 3 divide q(t)?
False
Let w = 267 - 19. Is 31 a factor of w?
True
Suppose 3*o = -8*o + 5434. Is 19 a factor of o?
True
Suppose -b - 3*g + 807 + 8 = 0, -5*b + g + 4139 = 0. Is 48 a factor of b?
False
Suppose 17 - 29 = -3*n. Suppose c + n = 13. Is c a multiple of 2?
False
Let t(q) = -3*q. Let y be t(-2). Let z be (9/6)/((-3)/(-16)). Suppose z*c - 16 = y*c. Is 8 a factor of c?
True
Let x(g) = g**2 - 12*g + 7. Let f be x(11). Let b be 27 - (0 + 4)/f. Suppose 6*q = 8*q - b. Is q a multiple of 14?
True
Let i = 10 - 6. Let q be (-115)/(-23)*(-1 + 2/(-10)). Is 13 a factor of (-3)/(q/i) + 13?
False
Suppose -5*t + 282 = 4*r - 361, t = -5*r + 830. Let b = r + -69. Does 11 divide b?
False
Let f(o) = -34*o - 2*o - o**2 + 3*o**2 + 20. Does 25 divide f(20)?
True
Suppose 645 = 3*w - z + 2*z, -5*w + 1075 = z. Is w a multiple of 34?
False
Suppose -2*v - 18 = -8. Let z = v + 8. Is z a multiple of 3?
True
Let l(d) = 18*d - 16. Suppose 15*j + 12 = 16*j. Let k be l(j). Suppose k = 8*i - 3*i. Is i a multiple of 10?
True
Let r = 1543 - 601. Is r a multiple of 12?
False
Suppose -2*l + 3*v + 4 = 0, -2*l = 5*v + 3 - 7. Suppose l*d - 4*d + 8 = 0. Suppose 35 = d*b - 13. Does 12 divide b?
True
Suppose -669 = -14*x + 269. Does 67 divide x?
True
Suppose 2*i + s - 1 = 7*i, -4*s = -3*i + 13. Does 41 divide ((-2431)/(-68))/(7/(-8) - i)?
False
Let i be 2*(-38)/(-16) + (-6)/(-24). Suppose 0 = -i*z + 631 - 161. Is z a multiple of 6?
False
Suppose -2*a - 26 = 2*w, -4*w + 7 = -3*a + 3. Let y = -2 - a. Does 5 divide y?
False
Suppose -18883 = -7*t - 4001. Does 25 divide t?
False
Let t(z) be the third derivative of 23*z**4/12 - 7*z**2. Is t(1) a multiple of 10?
False
Suppose g + 448 - 496 = 0. Is g a multiple of 12?
True
Let k be 3*1*(5 + -2). Let l(f) = 2*f + 4. Let w(x) = -x - 1. Let y(m) = l(m) + w(m). Does 12 divide y(k)?
True
Suppose -4*s + 22 = 6. Let y(c) = 1 + 2 - 2 - s - 11*c. Is 15 a factor of y(-7)?
False
Is 13 a factor of 19/(760/13536) + (-6)/15?
True
Let l(d) = 8*d - 8. Let r be l(1). Suppose 6*a - 3*a + 4*n - 118 = r, 0 = -3*n + 3. Is a a multiple of 30?
False
Let d = -1150 + 1770. Does 5 divide d?
True
Let b(k) be the third derivative of -11*k**6/120 + k**5/60 - k**4/12 + 7*k**3/6 + 6*k**2. Does 29 divide b(-3)?
True
Suppose 0 = -x - 3*u + 40, -4*u + 3*u = 0. Does 39 divide x?
False
Suppose 4*p = -2*a + 1890, a - 281 = 2*p + 680. Is a a multiple of 47?
False
Let i be 210 + -1*(1 + 1). Suppose 0 = -2*h + i - 32. Does 11 divide h?
True
Let u be 3 - 11/((-55)/20). Suppose 0 = u*m - 2140 + 124. Is m a multiple of 18?
True
Let y = -22 + 16. Let g be 0 + 0 + -4 + 6. Is 13 a factor of -141*4/y - g?
False
Suppose -30 = -u - 2*u. Let j = u + -6. Suppose 0*s + 2*a + j = s, -s = -5*a + 8. Is 4 a factor of s?
True
Let d(n) = n**3 + 14*n**2 + n - 12. Does 34 divide d(-11)?
True
Let o = -6 - -6. Let g be (o - -1) + 1/(-1). Suppose 2*c + m + 2*m - 72 = g, 0 = -c + 2*m + 22. Is 15 a factor of c?
True
Let k(x) be the second derivative of 0 - 6*x + 11/2*x**2 - 1/6*x**3. Is 11 a factor of k(0)?
True
Suppose 4*k - 27 = -15. Suppose f - k*f = -264. Is f a multiple of 22?
True
Suppose 0 + 4 = 4*q. Suppose -h = 4*f - q - 6, 0 = -f - 4. Is 23 a factor of h?
True
Is (-5 + -15)*6/(-15) a multiple of 7?
False
Let n(h) = h**2 + 13*h + 12. Let p(w) = -2*w**3 + 2*w**2 - w - 4. Let u be p(2). Does 8 divide n(u)?
False
Suppose 96 + 174 = 4*b - 5*z, 2*z + 66 = b. Is 14 a factor of b?
True
Suppose -g - 2 = x, -g = 4*x + g. Suppose -3*v + 146 = -x*v. Does 34 divide v?
False
Let l = 33 - -871. Is 8 a factor of l?
True
Suppose -52 = -u - u. Let x = 38 - u. Does 12 divide (27/x)/((-3)/(-16))?
True
Let w(o) = -7 - 11 - 5*o**3 + 4*o**3 + 6*o**2 + 11*o. Is 8 a factor of w(7)?
False
Suppose 6 + 3 = 3*x. Let k be 1 + -2 + -3 + 4. Let c = x - k. Is c even?
False
Let x(f) = -2*f**3 - 2*f**2 - 10*f - 14. Let o = 53 - 57. Is 26 a factor of x(o)?
False
Suppose -34*j = -13*j - 20580. Does 49 divide j?
True
Let d(x) be the second derivative of -x**4/12 + 5*x**3/2 + 14*x**2 - 12*x. Is d(12) a multiple of 15?
False
Let g be (3 - 21/9) + (-205)/(-3). Suppose -296 = -4*m + o, -o = m - 0*o - g. Does 19 divide m?
False
Let k(a) = 3*a**2 + 7*a + 6. Does 39 divide k(9)?
True
Let w(o) = 7*o**2 + 9*o - 1. Let n(r) = -6*r**2 - 7*r + 2. Let g(i) = -3*n(i) - 2*w(i). Suppose 11 = -4*v - 2*l - 5, -v - 7 = 2*l. Is 10 a factor of g(v)?
False
Suppose 3*g + 3*o + 6 - 45 = 0, -g = -3*o + 7. Let u be 108/14 - g/(-28). Is 114/4*u/12 a multiple of 9?
False
Let q = 173 + 115. Suppose -8*i = -5*i - q. Is i a multiple of 32?
True
Let n be 4/(-7) - (-15)/(-35). Does 5 divide 1*8 + (-2)/n?
True
Let f(r) = -4*r**2 - 11*r - 2. Let w(l) = -l**2 + l - 1. Let q(u) = f(u) - 3*w(u). Does 9 divide q(-8)?
False
Suppose 0 = 5*j + 25, -8*a = -4*a - 3*j - 8447. Does 68 divide a?
True
Suppose -5*o + 2162 = -4*g, 10*g + 6 = 8*g. Is 33 a factor of o?
False
Suppose 4*s - 20 = 0, 3*b + 4*s - 3596 = -1344. Is 7 a factor of ((-2)/(-3))/(16/b)?
False
Suppose 9*j = 6102 - 1143. Is j a multiple of 17?
False
Let q = -2 - -7. Suppose -u - u - 148 = -5*k, 3*u = 2*k - 68. Suppose k = d - q. Is d a