*x**3/6 + 15*x**2/2 + 2*x. Suppose 13 = -2*c + 3, -3*c - 55 = 4*m. Does 15 divide r(m)?
True
Let i = -24 - -27. Let w(x) = 15*x - 9. Is w(i) a multiple of 6?
True
Suppose 11*c + 544 = 7*c. Let m = -80 - c. Does 10 divide m?
False
Let z(p) be the third derivative of -5*p**4/6 + 5*p**3/2 + 15*p**2. Is 31 a factor of z(-7)?
True
Suppose 0 = -5*v - u - 4, -3*u = -4*v - 4*u - 4. Is v + 3 + 116 + 1 a multiple of 20?
True
Let l be (-34)/(-153) + (-443)/9. Is 17 a factor of (-1 - -18)/((-7)/l)?
True
Let u = 11 + -8. Suppose -3*j - 2*v - 13 = 15, 2*j = -u*v - 17. Is -1*j/1*1 a multiple of 5?
True
Let y = 9 - -2. Let p(n) = n**3 - 10*n**2 - 12*n + 13. Let q be p(y). Suppose -4 = -q*s + 3*u + 80, -4*s + 150 = 3*u. Does 13 divide s?
True
Is (-3058)/(-17) + (-52)/(-442) a multiple of 4?
True
Let u = 405 + -27. Is 6 a factor of u?
True
Let s be -2*1/2*(1 + 2). Is 270*(s - 17/(-5)) a multiple of 27?
True
Let z be (1 + 0)/(-1) - 7. Suppose 1501*u - 1508*u = 63. Is u/6 + (-68)/z a multiple of 3?
False
Let z(j) = -j**3 + 9*j**2 - 7*j - 6. Let f be z(8). Suppose w + 25 = f. Let i = w + 38. Is i a multiple of 15?
True
Suppose -3*n = 5*a - 474 - 9803, -4111 = -2*a - n. Is 54 a factor of a?
False
Let r = -23 + 96. Let u be (-3 - -3 - 0) + r. Let f = -44 + u. Does 29 divide f?
True
Suppose -x + 554 = -q, 6*x - 3*q - 1112 = 4*x. Does 25 divide x?
True
Let k(z) = z**3 + 3*z**2 - 5*z - 12. Let d be k(-4). Let n be -12 - d - 20/(-2). Suppose -12*x + 66 = -n*x. Is 7 a factor of x?
False
Suppose -3 - 2 = -5*y. Is ((-334)/y)/(-4 + (6 - 4)) a multiple of 11?
False
Does 30 divide (2 + 5)*(-180)/(-63)*54?
True
Suppose 3*h + 3 = -0*h + 5*a, 3*a = 2*h + 1. Suppose 5*q - n - 312 = h, 0 = -4*q - n + 260. Suppose -2*x + q = -0*x. Does 8 divide x?
True
Let u(x) = x**2 + 7*x - 10. Let a(g) = g. Let f(p) = -6*a(p) - u(p). Is f(-12) a multiple of 4?
False
Let r be 3 + 0 - (-1 - 0). Suppose 0 = -5*s - 5*h + 240, r*s = h - 65 + 232. Is s a multiple of 18?
False
Let x be (2/(-10))/((-2)/50). Suppose x*r - 192 = r. Is 5 a factor of r?
False
Let q(u) = 57*u**2 + u. Let d be 0 + 1 - 4/2. Let f be q(d). Suppose -5*j - 2*w = -77, 3*j - 5*w - f + 16 = 0. Is j a multiple of 14?
False
Suppose 2*k - 2*w - 2403 = -553, -6*w - 6 = 0. Is 21 a factor of k?
True
Let d(y) = -y + 7. Let r be d(5). Suppose 3*a + 4*w = -w + 384, r*a - 256 = 2*w. Suppose -a = -4*p - 0*p. Is p a multiple of 7?
False
Suppose 247 = 7*p - 159. Suppose -m - 729 = -4*t, -4*m = t - p - 120. Is t a multiple of 13?
True
Let s be 29/(-116) + ((-138)/8)/3. Is 3*8/s + 76 a multiple of 6?
True
Suppose 2*a + 8*d = 4*d - 20, 5*a + 4*d = -20. Suppose -2*b - 2*g + g + 157 = a, -3*g - 145 = -2*b. Is b a multiple of 12?
False
Let m(d) = 1144*d**2 - 33*d - 75. Is 30 a factor of m(-2)?
False
Let l be 221/5 - 3/15. Let j = l + 28. Is 18 a factor of j?
True
Let y = 294 + -209. Suppose y = t - 4*n, -5*n + 23 = t - 35. Does 24 divide t?
False
Let j be 2/(3 - (-1988)/(-331) - -3). Let m = 471 + j. Does 14 divide m?
True
Does 15 divide (-54)/(-4)*(-330)/(-9)?
True
Suppose -3*l = 3*s - 53 - 316, 4*s = 3*l + 499. Does 7 divide s?
False
Suppose 60 - 576 = -6*x. Let r = 167 - x. Is r a multiple of 9?
True
Is 54 a factor of (62/4 - 2)*952/17?
True
Let d(j) = -3*j + 5*j + 8*j**2 + 5*j**2. Does 37 divide d(-3)?
True
Suppose 13122 = 17*i + 10*i. Does 9 divide i?
True
Suppose -3*s = 10 - 118. Let n = 18 - s. Does 10 divide (0 - 51)/(n/12)?
False
Let v = -15 - -6. Let l = -4 - v. Is 2 a factor of l?
False
Let c = 56 + -52. Suppose 0 = 2*m - 5*j - 95 + 5, c*m + 3*j = 180. Does 15 divide m?
True
Suppose -8 = -3*n + 5*n. Let i(v) = v**3 + 5*v**2 - 8*v - 12. Is i(n) a multiple of 8?
False
Let c(w) be the first derivative of -w**5/120 + 11*w**4/12 - w**3 - 2. Let j(y) be the third derivative of c(y). Does 16 divide j(0)?
False
Let b(l) = -l**2 + 5*l + 4. Let q be b(5). Suppose 0 = -2*k - 0*k - 5*x + 9, -q*k = 3*x - 11. Suppose -3 = k*d + 5*m - 0, 3*m = 2*d - 37. Is d even?
False
Suppose 23*c - 13*c = 900. Does 6 divide c?
True
Let k(n) = -7*n**2 - 64*n - 4. Is k(-8) a multiple of 2?
True
Suppose -3*r + 2007 = w - 1653, -4885 = -4*r - 3*w. Does 4 divide r?
False
Suppose 2185 = 3*f + 2*f. Does 11 divide f?
False
Let b(r) = 3*r**2 - 18. Let n be b(8). Let c(y) = -28*y - 4. Let k be c(-4). Let q = n - k. Is q a multiple of 27?
False
Let p be (-2)/(-7) - (-256)/(-14). Let h = -14 - p. Suppose -n = h*z + n - 70, -3*z = -4*n - 58. Is 6 a factor of z?
True
Let t(d) = 24*d**3 - 3*d**2 + d + 1. Is t(3) a multiple of 38?
False
Let l(j) = 14*j**2 + 114*j + 1093. Is l(-10) a multiple of 41?
True
Suppose 14 = 3*o - 28. Is 20 a factor of 1*10*(o - 8)?
True
Suppose -32*l + 14869 + 24587 = 0. Is 45 a factor of l?
False
Let z(c) = 7*c - 3*c + 39*c**2 - 3*c + 59*c**2 - 1. Let x be z(-1). Suppose 2*w - 6*w = -x. Does 12 divide w?
True
Let o = -225 - -429. Is 20 a factor of o?
False
Suppose i - 12 = 2*i. Is i/(-21) + 339/7 a multiple of 23?
False
Let b = -607 - -688. Is b even?
False
Suppose -1796 = -3*f + 2*k, -53 = -f - 4*k + 555. Does 50 divide f?
True
Is 6/27 + (-150600)/(-270) a multiple of 31?
True
Does 12 divide -62*986/(-18) - (-10)/(-45)?
True
Suppose 3 = -2*p - y - 0, y + 3 = 5*p. Suppose 2*f + c - 15 + 0 = 0, p = 4*f + 3*c - 25. Let d(t) = t**3 - 11*t**2 + 13*t - 8. Does 10 divide d(f)?
False
Suppose -4*g = u - 101, 5*u = 3*g - 0*g - 70. Let f = g - 21. Does 2 divide f?
True
Let q be (23 + -2)/(2/24). Let u be ((-4)/22)/(21/(-231)). Suppose -q = -2*x - u*x. Does 20 divide x?
False
Let s(v) = -22 - 5*v**2 + 72*v**3 - 71*v**3 + 4*v + 6*v. Is 7 a factor of s(5)?
True
Let w = 24 - 19. Suppose w*c - 3*o - 10 = o, 0 = -3*o - 15. Does 4 divide c*(-1)/((-2)/(-20))?
True
Suppose 25537 = -24*k + 105121. Is 12 a factor of k?
False
Is 68 a factor of (-5 - (-3 - (-280)/12))*-102?
True
Does 19 divide 56/(-7) - (-307 + -5)?
True
Suppose -r = -4*r + 144. Suppose -o = o - r. Is 11 a factor of o?
False
Suppose -l + h = -118, -2*l + 226 = 6*h - 3*h. Let r = l + -65. Suppose -2*a + 131 - r = 0. Is 18 a factor of a?
False
Suppose -77*u + 31177 = 685. Is u a multiple of 12?
True
Let h(q) = -q**3 - 3*q**2 + 9*q - 53. Does 24 divide h(-11)?
True
Suppose -28*z + 23*z - 250 = 0. Let k = z + 88. Does 22 divide k?
False
Does 29 divide (0/4 + -32)*58/(-8)?
True
Let v = 22 + -18. Suppose 481 = 3*j + h, j - v*j + 4*h = -476. Does 20 divide j?
True
Suppose -4*q + 183 = -109. Suppose 3*r = -19 + q. Suppose 19 + r = 3*n + 5*z, 25 = 5*z. Is n a multiple of 4?
True
Suppose 34*n = -n + 24640. Is 28 a factor of n?
False
Suppose -7*f + 2967 = -2668. Suppose 13*w - 586 = f. Is 15 a factor of w?
False
Suppose -5*x + 21 = 2*u, 7 = -u + 4*x - 2. Suppose -u*o - 12 = -24. Suppose -4*n = -3*f - 201, -o*n + f - 59 = -5*n. Is n a multiple of 27?
True
Let p(b) = 6 + 50*b - 109*b + 79*b. Does 19 divide p(6)?
False
Suppose -2*d + 12 = -12. Suppose -3*b + y + 3 = -1, 3*b = 3*y + d. Let r = b - -10. Is r a multiple of 9?
False
Suppose -2*v = 3*v + 20. Let x(y) = 2*y + 2*y + 8 - 7*y - 5*y. Does 20 divide x(v)?
True
Is 17 a factor of (-18344)/(-14) + ((-140)/49)/10?
False
Let r(a) = 31*a - 416. Is 8 a factor of r(16)?
True
Suppose -5*m - 25 = -d, -3*d - m + 5*m = -119. Is (18/d)/(1/140) a multiple of 17?
False
Suppose 4*s = 433 + 319. Suppose -28 = 2*l + s. Let g = l - -164. Does 35 divide g?
False
Does 46 divide (-56)/(-35)*230*10/8?
True
Let y(x) = -x**3 - 17*x**2 - 31*x + 67. Is 72 a factor of y(-18)?
False
Suppose -5*k + 348 = -k. Suppose 4*z = f + 2*f - 339, -3*f = -z - k. Let x = -40 - z. Is 22 a factor of x?
True
Let o be 1*7/(7/(-6)). Let y = 1015 + -718. Does 22 divide (-2)/4 - y/o?
False
Let b(u) = 287*u + 9. Is 40 a factor of b(2)?
False
Let b(v) = v**3 - 17*v**2 + 22*v - 11. Let w = -10 - -26. Does 10 divide b(w)?
False
Let r be (-15 - 0)/(-5) + -5. Is 42 a factor of (52/12 + r)*72?
True
Let z be 6/15*(11 - 1). Suppose j + j - 304 = -o, z*o + 324 = 2*j. Does 30 divide j?
False
Let p = -17 + 20. Suppose -189 = -3*j + v - 4*v, -p*v = 5*j - 305. Is j a multiple of 15?
False
Let a be 93 - ((-4)/(-2))/2. Is 29 a factor of a + (-4 - -2) + 1*-3?
True
Suppose 4*h - 9*h = 0. Suppose h*u - d + 470 = 5*u, 2*u + d - 188 = 0. Suppose -u = -2*a - 4*r + 2, -5*r - 195 = -5*a. Is a a multiple of 14?
True
Let p be (156/(-30))/(4