pose 25*h = 19*h + 3462. Is 15 a factor of h?
False
Let c be 6*1 - (-4)/(-2). Let d be -1 - 1*2*(-12 - -10). Suppose 3*l + 42 = d*p, -p + 14 = l - c*l. Is p a multiple of 7?
True
Let a(n) = 11*n**3 - 3*n**2 - 3*n + 4. Does 36 divide a(4)?
True
Let w be (90 - (-6)/(-3)) + -1 + 3. Suppose -w = -4*s + 86. Is s a multiple of 5?
False
Let q = 58 + -28. Let i(y) = -y**2 - 6*y - 3. Let b be i(-5). Suppose -m = b*m - q. Is m a multiple of 5?
True
Let w = -109 - -64. Let k = 3 - w. Does 6 divide k?
True
Suppose -5*b + 3*h + 628 = -160, 0 = -5*b + 4*h + 784. Is 16 a factor of b?
True
Suppose 0 = -2*d + 2*v - 20, v + 48 = -4*d + 3*v. Let b(m) = m**2 + 2*m - 8. Let o be b(d). Suppose 4*u + 0*u - o = 0. Is 12 a factor of u?
False
Suppose 8*n - 1584 = 848. Does 38 divide n?
True
Let t(u) = -u**3 + 31*u**2 - 22*u - 6. Is t(30) a multiple of 39?
True
Suppose 5*k - 4546 = m, -16 = -6*m + 2*m. Does 7 divide k?
True
Let m be 2 + 60/(-27) - (-6592)/18. Suppose 78 = -4*c + m. Is 18 a factor of c?
True
Let j(h) = -h**3 - 9*h**2 - 11*h - 8. Let u = 0 + -8. Does 8 divide j(u)?
True
Let z(n) = -4*n + 6. Let v be z(-2). Is (-34)/(1 - (v/(-5))/(-2)) a multiple of 21?
False
Let q = 49 + -51. Is -2 - 2/(q/67) a multiple of 16?
False
Suppose 0 = -2*d + 4, d = -q + 3*q - 1078. Is q a multiple of 6?
True
Suppose 4*v - 9 = t, 4*v + 4*t = 3 + 1. Suppose 0 = 4*l + 4*h, 3*l + 2*l - 6 = -v*h. Let d = 22 + l. Is 8 a factor of d?
True
Suppose 0 = 4*t + m - 2095, 5*t - 1449 - 1170 = -m. Does 56 divide t?
False
Suppose 0 = -3*i - 2*i - 25, 4*x + 2*i = 26. Let w be (-2 + x)*1 - 3. Suppose 0 = w*g + h - 106, 0 = -4*g - 2*h - 27 + 135. Is 13 a factor of g?
True
Does 9 divide 3 - -2 - (-31909)/17?
False
Let q = -206 + 384. Let z = 298 - q. Does 15 divide z?
True
Let l be (-4560)/(-20) - 3/(0 + 1). Suppose -5*i = -3*p - 2*p + 550, l = 2*p - i. Is p a multiple of 20?
False
Let k = -19 - -20. Suppose 2*o + 1 = -k. Does 12 divide (60 + 0)/(o/(-1))?
True
Let k(d) = d**3 + 16*d**2 - 7*d - 30. Is k(-7) a multiple of 23?
True
Let x be ((-2)/(-5))/((-2)/(-220)*2). Let w(a) = a**2 - 22*a + 16. Does 8 divide w(x)?
True
Let m(w) = w - 2. Let z(n) = -n**3 - n + 6. Let s be z(0). Let g be m(s). Suppose 2*i + 134 = 5*p, 5*p = p + g*i + 100. Is 11 a factor of p?
False
Let c = 1 - 6. Let y = 10 + c. Suppose y*h + 26 = 151. Is 9 a factor of h?
False
Let q(o) = 4*o. Let p(n) = 3*n + 1. Let w(k) = 3*p(k) - 2*q(k). Does 4 divide w(9)?
True
Let t(a) = -345*a - 37. Is 4 a factor of t(-1)?
True
Suppose 0 = 4*f - 3*n + 21, n + 5 = -2*f - 8. Let w(j) = -13*j - 58. Does 10 divide w(f)?
True
Does 39 divide 10556/36 + 1 + 55/(-45)?
False
Let a(p) = p**3 - p**2 - p + 1. Let w be a(-2). Let y = 11 + w. Suppose 4*f = 3*b - 139, y*f + 229 = 5*b - 2*f. Is 23 a factor of b?
False
Does 29 divide 116*2*(6 + (-4)/2)?
True
Let j(g) be the third derivative of -g**5/60 - 11*g**4/24 - 2*g**3 - 13*g**2. Is 15 a factor of j(-7)?
False
Suppose 545 = 4*q - 487. Suppose -14*w + 846 - q = 0. Does 11 divide w?
False
Suppose 0 = -5*c + 2*u + 249, 0*c - 2*c - 4*u + 90 = 0. Let f = c + 6. Does 11 divide f?
True
Suppose 0 = -5*l + l - 12, -3*o = -2*l - 51. Suppose 2*k = k + o. Is 5 a factor of k?
True
Let w be (-4)/(-8) + 15/6. Does 24 divide 12*(w/6)/((-3)/(-48))?
True
Suppose 4*j - 959 = 4*m - 175, -2*j + 5*m = -398. Let i = j - 134. Is i a multiple of 15?
True
Is 52 a factor of 4354/6*(-150)/(-50)?
False
Let z(s) = -s**2 - 12*s + 3*s**2 - 3*s**2 + 14. Suppose -4*q = 2*c + 56, q + 0*q + 4*c + 28 = 0. Is z(q) a multiple of 7?
True
Suppose 55 = -3*p - 2*o, -3*p - 2*o = -6*p - 59. Let f = p + 27. Does 4 divide f?
True
Is ((-3)/45*-6)/((-5)/(-8750)) a multiple of 14?
True
Let w(j) = 2*j**2 + 5*j + 2. Let b be w(-5). Let r = -20 + b. Suppose 2*d + 205 = r*d. Is d a multiple of 13?
False
Let f = -24 - -35. Suppose f*m - 152 = 156. Is 6 a factor of m?
False
Let s(a) = -3*a - 4. Let w be s(-2). Suppose 3*i + 12 = 3*u - 2*i, 4*i - 30 = -w*u. Is 9 a factor of u?
True
Suppose 0*d = -4*w - d + 12, -3*d = -2*w + 20. Let f = -799 - -859. Suppose -a - f = -5*m, w*m - 6*a + a = 48. Is m a multiple of 6?
True
Let o(n) = n + 10. Let u be o(-8). Suppose -2 = -u*g, -3*p + 308 + 88 = 3*g. Is 32 a factor of p?
False
Let f(w) = -11 + 4*w**2 + 4 + w**3 + 0*w**2 - 3*w. Is f(-4) a multiple of 3?
False
Let d be (-1)/2 - 105/14. Let y = d + 14. Does 11 divide 20 - (-5 - y/(-2))?
True
Let a be (-2)/(-3)*(-9)/(-2). Suppose a*p + n - 127 = 0, -5*p + n = 58 - 259. Is 3 a factor of p?
False
Suppose 4*l - 19 + 3 = 0. Suppose -l*d + 72 = 4*t, 4*t + t = -4*d + 88. Is 8 a factor of t?
True
Let m(v) = 5*v**2 - 2*v + 8. Let o(n) be the third derivative of n**5/30 - n**4/24 + n**3/2 + 4*n**2. Let b(a) = -4*m(a) + 11*o(a). Does 15 divide b(-4)?
True
Let b be -3 + 3 + 11 - 12/3. Let v(p) be the third derivative of p**4/12 - 5*p**3/6 - p**2. Is v(b) a multiple of 9?
True
Suppose -16*y + 816 = -14*y. Is y a multiple of 51?
True
Suppose 44 = -4*b + 4*o, -3*b - 21 = 5*o - 4*o. Let r = 108 + -110. Is 15 a factor of (b + 9)/(r/(-106))?
False
Suppose 5*t = 116 - 16. Suppose -82 = -4*x - 2*n, -2*n = -2*x - t + 64. Is 2 a factor of x?
False
Suppose -3*m + 2*m - 9 = 0. Let a(w) = w**3 + 13*w**2 + 7*w - 4. Let p be a(m). Let x = -177 + p. Is x a multiple of 22?
False
Let p be 12/18 - (-1)/(-3)*-91. Let b = p - -5. Is 4 a factor of b?
True
Let l(q) be the third derivative of -q**6/120 - 2*q**5/15 - 5*q**4/8 + q**3 - 23*q**2. Does 31 divide l(-7)?
True
Let r(t) = -7*t - 10. Let j be r(-2). Let c(l) = l - 38. Let i be c(0). Is 6 a factor of j/(-2)*i/4?
False
Let v = 3 - -1. Let h be (-52)/65*(-1 - v). Does 12 divide -4 + h*(-26)/(-4)?
False
Suppose -3*c - 71 = 25. Suppose -18*k - 897 = 21*k. Let o = k - c. Does 3 divide o?
True
Let a(y) = 292*y**2 + 8*y - 20. Is a(2) a multiple of 25?
False
Let t be ((-35)/(-14))/((-2)/(-20)). Suppose 0 = -2*h - 5*x + 38, x + t = h + 2*x. Does 19 divide h?
False
Let c(v) = v**3 - 8*v**2 + 9*v - 28. Is 14 a factor of c(8)?
False
Let l(i) = i**2 - 11*i - 10. Let h(r) be the second derivative of -r**3/6 + 4*r**2 + 8*r. Let x be h(-5). Is l(x) a multiple of 4?
True
Suppose -1392 - 1728 = -4*g. Is g a multiple of 15?
True
Suppose 412 = -g - 3*g. Suppose r - 203 + 7 = 0. Let q = r + g. Is q a multiple of 31?
True
Suppose 4*n = -6*n + 110. Let c(r) = -r + 32. Is 2 a factor of c(n)?
False
Let b(u) = -2*u**2 + 4*u - 4. Let h be b(2). Let m(r) = -31*r + 6. Let i be m(h). Suppose 2*a + i = 7*a. Does 6 divide a?
False
Let i be 10/(-4)*6/(-3). Suppose i*b - 20 = -5*d, d + 2*d = 12. Suppose b*m - 5*m + 140 = 0. Is 7 a factor of m?
True
Let o = 864 + -163. Does 12 divide o?
False
Let o be 25*(1 - -1)/(-2). Let m(a) = -a**2 - 13*a + 68. Let c be m(-15). Let x = o + c. Is 6 a factor of x?
False
Suppose 4*f = -0*f - 5*q + 15, 0 = 3*f - 5*q + 15. Suppose -2*r - 8 = f, 2*x = 5*x - 4*r - 202. Does 11 divide x?
False
Let c be 4/14 + (-10)/35. Let h = 111 - c. Suppose -l = -2*y - 30, -l - y + h = 3*l. Does 12 divide l?
False
Suppose -3*v + 19 = 4. Let s(p) = -5*p**3 + p**2 + 1. Let q be s(-3). Suppose -v*r + q = 25. Does 5 divide r?
False
Let z(s) = -20*s + 1. Let r be (-1 - -1)*(0 - 1). Suppose -g - 3 = r, -p + 4*g = g - 7. Does 11 divide z(p)?
False
Let a(z) = -2*z**3 - 5*z**2 + 6*z + 28. Does 10 divide a(-7)?
False
Suppose 11*s - 18924 = -65*s. Does 9 divide s?
False
Let a be 0 + (-22)/(2 - 0). Let v(r) = 116*r + 2*r**3 + 11*r**2 - r**3 - 118*r - 3 - 3. Does 10 divide v(a)?
False
Let k(q) = 3*q + 24. Suppose 52 = 5*b - 2*l + 6, 4*l = 4*b - 44. Is k(b) a multiple of 12?
True
Let a = -934 + 1382. Is a a multiple of 16?
True
Let o(z) = 23*z**2 + 6*z + 19. Let y be o(-5). Suppose -5*c + c = -y. Is c a multiple of 35?
False
Let t = -214 + 69. Let g = t - -247. Is g a multiple of 9?
False
Let z = -13 - -13. Suppose z*v + 16 = -4*v. Does 17 divide 19 + v/(2/(-1))?
False
Let w be 5/3 + 2/6. Suppose w*l + 0*l + 5*a - 108 = 0, 4*l = -5*a + 236. Does 8 divide l?
True
Suppose 2*k + 6*m - m = 1220, -2*m - 2392 = -4*k. Is k a multiple of 12?
True
Let u be 1/(-2)*(4 - 10). Suppose -u*k + 343 = x, x = -3*x - 20. Is k a multiple of 27?
False
Is 21 a factor of (3/((-6)/(-7)))/((-1)/(-882))?
True
Let j(v) = -5*v - 19 + 4*v - 3*v. Let g be j(-13). Let h = -13 + g. Does 10 divide h?
True
Suppos