h) = 10*h**2 + 9*h + 15. Does 31 divide z(l)?
False
Let f(a) = 8*a - 2. Let q be (2/6)/(-1 - (-35)/30). Let w be f(q). Is -123*(w/(-7) + 8/6) a multiple of 7?
False
Let o(t) = -69*t - 378. Is 37 a factor of o(-34)?
False
Suppose 5*i - 5816 = -2*l, 2320 = 2*i - 15*l + 19*l. Is i a multiple of 22?
False
Let g(q) = q**3 + 20*q**2 + 3. Let z be g(-20). Let a be 3 + (z/6*22 - 0). Is (-28)/(-6)*-36*(-4)/a a multiple of 16?
True
Suppose 0 = -3*k - 15, 0*r - 4*k = 4*r - 11760. Suppose 0 = -9*f - 614 + r. Is f a multiple of 20?
False
Let m(f) be the second derivative of -17*f**4/12 - 5*f**3/6 + 4*f**2 + 44*f. Let h be m(3). Let o = 58 - h. Is 14 a factor of o?
False
Let b be 2 - 5*14/15*-237. Suppose 0 = 7*g - b - 2385. Is g a multiple of 15?
False
Let o be (0 - (-13)/6) + (-62)/372. Let a(q) = -7*q**2 - 1. Let y be a(o). Let i = y + 43. Is i a multiple of 10?
False
Let c be 1 - (77/(-33) + (-3)/(-9)). Suppose -c*x + 655 = 5*n, -4*x + 5*n - 88 = -903. Is 35 a factor of x?
True
Suppose -2*w - u - 2*u = -13, -5 = 5*w - 5*u. Suppose -q + 0*q = 5*k + 164, 4*k = -w*q - 136. Is k/48 - (-26)/3 a multiple of 2?
True
Suppose 4*i - 2 = a, 2*a - 4*i = -0*i. Suppose 0 = -2*y + a*w + 368, 4*y + 2*w = 350 + 392. Is 37 a factor of y?
True
Let o(k) = -2*k**3 - 2*k**2 + k + 47. Let q be o(0). Suppose q*y - 26559 = -4375. Does 59 divide y?
True
Let u = 1383 - 1351. Let l = -3 - -6. Suppose -2*m - u = -l*m. Does 12 divide m?
False
Suppose r + 4*z = 16, r + 3 = -5*z + 24. Let g be 2/(-3)*6/r + 4. Suppose -g*h = -2*c - 285, 2*h + 5*c - 114 = c. Does 19 divide h?
True
Let j(w) = w**3 - w**2 + w - 540. Let x be j(0). Let a = -145 - x. Suppose -2*g - 5*z = -a, 478 = 2*g + z + 63. Does 14 divide g?
True
Let w be (864/168)/((-2)/(-777)). Suppose -170*f + w = -164*f. Is f a multiple of 9?
True
Suppose 0 = 112*q - 174058 + 13450. Is 6 a factor of q?
True
Suppose 0 = -p - 5*t + 3*t - 4, -7*t = -p + 32. Suppose 3*o = -5*r + o + 190, 5*o - 205 = -5*r. Does 31 divide ((-1488)/r)/(p/(-6))?
True
Let u(i) = 7*i - 30. Let d be u(6). Let r(j) = -3*j + 38. Let z be r(d). Let s(l) = 120*l + 15. Is s(z) a multiple of 17?
True
Let m(k) = -2060*k + 67. Let g be m(-4). Suppose 7*l - g = -2*l. Is l a multiple of 13?
True
Let r(y) = -y**3 - 20*y**2 - 14*y - 19. Let u(x) = x**2 - 15*x + 17. Let q be u(12). Let a be r(q). Let o = a - -199. Does 17 divide o?
True
Let v(u) be the third derivative of -u**6/120 + 3*u**5/10 + 3*u**4/8 + 5*u**3/2 - 2*u**2 + 10*u. Is 29 a factor of v(18)?
False
Suppose 4065 = 1466*w - 1463*w. Is 13 a factor of w + -35 - (2 - (9 + -1))?
True
Let z be 36/(-15)*(-40)/6. Let v = -6 + z. Suppose 50 = -8*n + v*n. Is n a multiple of 21?
False
Let p(v) = 1222*v + 23. Let j be p(-2). Let q = -1728 - j. Is q a multiple of 63?
True
Is 64 a factor of 4 + (2/25*5 - 34493/(-5))?
False
Let o(l) = l**2 - 14*l - 35. Suppose 3*w - 51 = 5*p - 9*p, 3*w + 2*p = 57. Does 28 divide o(w)?
True
Let g = -25009 - -38612. Is 41 a factor of g?
False
Let h be 2/1*(-14)/14. Let j(w) = w**2 + 6*w + 11. Let g be j(h). Suppose 0 = -2*f + g*b + 58, -f - 3*b + 6 + 5 = 0. Does 12 divide f?
False
Let v = -401 + 220. Let p = 422 + v. Is p a multiple of 28?
False
Let f be 27/6*40/6. Let s = f + -32. Is ((-36)/21)/(s/7) a multiple of 3?
True
Suppose -8*k - 3*k = 66. Is 9 a factor of (k - -16)/(6/12)?
False
Let t = -11 - -15. Suppose -4*p = -16, -z + t*z = -p - 482. Is 9 a factor of (z/4)/(6/(-12))?
True
Does 137 divide 0 + 11109 + 1140/(-95)?
True
Let j(m) = 8*m**2 - 17*m - 883. Is 24 a factor of j(37)?
False
Let d(f) = -f**3 + 106*f**2 - 199*f + 1533. Is d(104) a multiple of 4?
False
Suppose -5*o + 3*j + 5215 = 0, 732 = -5*o - 2*j + 5922. Does 104 divide o?
True
Suppose -m + 94285 = 23*w - 20*w, 4*w - 2*m - 125730 = 0. Does 70 divide w?
True
Suppose 0 = j - 2*a - 10, -4*j + 5*a = j - 50. Suppose 0 = 5*q - 0 - 25. Suppose -4*s = -3*s + c - 89, -q*c = j. Does 13 divide s?
True
Suppose -115*z + 841116 = z. Is 4 a factor of z?
False
Suppose 4*j - 9416 = -4*d - 0*j, 6 = 3*j. Suppose -6*u = -9*u + d. Suppose 0 = -8*c + 816 + u. Is 25 a factor of c?
True
Let k(t) = -t**3 + t**2 + 5*t + 11. Let z be k(7). Is 20 a factor of 159*z/(-168) + 2/7?
False
Suppose -o + 3595 = 5*f, 0 = -16*o + 11*o + f + 18105. Does 13 divide o?
False
Let f be (-22)/(-66)*(1 + 0 + -1). Let j be 12/4 - (f - 1). Suppose 5*d - 526 = 3*p + p, 4 = j*p. Is d a multiple of 9?
False
Let w = -303 - -242. Let i = -295 - -178. Let c = w - i. Is 8 a factor of c?
True
Let h(a) = -13*a - 124. Let j be h(-10). Suppose 4*z + 11*y = j*y + 396, -3*z - y = -297. Is 61 a factor of z?
False
Let h be (-6)/4*(10 - 12). Suppose 2*k + h = 13. Suppose -604 + 139 = -k*q. Is q a multiple of 12?
False
Let g(k) = -2*k + k + 9*k**2 + 37 - 4. Is g(-7) a multiple of 13?
True
Let m = 482 - 325. Suppose 725 = m*z - 152*z. Does 3 divide z?
False
Let w(f) = -22*f - 42. Let u be w(-2). Suppose 0 = -u*o - 6, -3*y = 2*o - 726 - 348. Is y a multiple of 30?
True
Let w = 24 + -17. Let c be -3 + 30/w + 32/(-112). Is 2 a factor of ((-3)/(-9))/(c/42)?
True
Let s(g) = -9*g + 255. Let p be 1050/(-98) - (4/(-14))/(-1). Is s(p) a multiple of 21?
False
Let a = 5162 - -562. Is 17 a factor of a?
False
Let z = -1932 - -3444. Suppose -5*n + y = -1015 - 896, -4*n + 5*y + z = 0. Is n a multiple of 5?
False
Let u(c) = -c**3 - 9*c**2 + 22*c + 9. Let d be u(-11). Suppose -5*q = g - 1177, 3*g + 953 = -5*q + d*q. Does 21 divide q?
False
Suppose -2*i + i + 12 = 0. Suppose 20*w = 11*w + 549. Let j = w - i. Is 11 a factor of j?
False
Suppose j = 4*p + 3844, j - 1434 - 2474 = -4*p. Is j a multiple of 56?
False
Suppose -5*i = -i. Suppose -2*j + j + 29 = 4*u, i = 4*j - 2*u - 188. Let d = -21 + j. Does 8 divide d?
True
Suppose 864 = 3*d + 5*d. Let s = d + -97. Suppose -s*t = -4*t - 420. Is t a multiple of 11?
False
Let v be ((-30)/9)/(-5)*(-42)/(-4). Suppose 42 = v*h - h. Let q(l) = l**3 - 4*l**2 - 6*l - 2. Is 9 a factor of q(h)?
False
Let s be (-5)/4 + 531/12. Let z = s - 41. Suppose -z = -x + 2. Does 2 divide x?
True
Let y = -2558 + 2682. Let c = -200 - -306. Let r = y - c. Is 10 a factor of r?
False
Suppose -2*c + 33734 = 2*j, 0*c = -c + 3*j + 16891. Is c a multiple of 18?
False
Does 64 divide (-3)/(-2) - 4/8 - -27007?
True
Let c(w) = -w**2 - 18*w - 1. Let p = 537 + 295. Let m be p/(-80) + 3/(-5). Is c(m) a multiple of 10?
False
Let g = -121 - -126. Suppose g*h - 484 = -3*i, -5*i + 717 = -5*h - 23. Does 9 divide i?
True
Let x = 215 - -793. Is 7 a factor of x?
True
Suppose -2*u - 2393 = -3025. Is 2 a factor of u?
True
Let h = 120513 + -71192. Is h a multiple of 31?
True
Let k(m) = -4 - 3 + m**2 + 7*m**2 + 0 + 2*m + m**3. Suppose 3*w + 2*l + 38 = -w, -30 = 5*w - l. Does 14 divide k(w)?
True
Suppose -124*q = -84*q - 223680. Is q a multiple of 10?
False
Suppose -2*f + 117 = f + 3*r, 4*f - 5*r = 192. Let j(s) = f*s**2 + 5*s - 4*s - s**2. Does 34 divide j(2)?
True
Let y be 32/1 - 72/18. Let d = 186 - 122. Let p = d - y. Is 18 a factor of p?
True
Suppose 24*y - 30 = 22*y. Suppose -3*g = y, 3*g + 22 + 344 = -b. Let a = b - -543. Is 24 a factor of a?
True
Let h(x) = -10*x + 42. Let i(k) = k - 10. Let n be i(2). Does 17 divide h(n)?
False
Suppose p = -4*p - 16*p + 6594. Does 22 divide p?
False
Let o(x) = x**3 - 16*x**2 - 32*x - 37. Let w be o(13). Let v = -653 - w. Is 7 a factor of v?
False
Suppose -97*q - 6254 = -39428. Is q a multiple of 57?
True
Let m = -123 - -83. Is (0 - m)/(36/396) a multiple of 55?
True
Suppose 5*z - 3*a - 4609 = 10229, 2*z = -3*a + 5952. Does 18 divide z?
True
Let v be 6*(1/3)/(10/(-110)). Let i = -27 - v. Is 4 a factor of 1*(-1)/((i - -3)/22)?
False
Suppose 30504 = 3*g - 5*f, -4*g + f + 40602 = 6*f. Is g a multiple of 32?
False
Suppose 4*x = -2*x - 2*x. Suppose -3*r + 12 = -5*s - 509, 2*r + 5*s - 314 = x. Is r a multiple of 4?
False
Suppose 0 = -r + 3*f - 10 + 12, -5*r + 3*f = 26. Let v(s) = 5*s**2 - 6*s - 17. Is v(r) a multiple of 18?
True
Does 15 divide (0 - -9) + (-256350)/(-150)?
False
Let j(i) = -4*i - 30. Let a(f) = -f**2 - 14*f + 32. Let g be a(-13). Suppose -5*n - 3*y + 22 - 137 = 0, -g = 3*n - 3*y. Does 4 divide j(n)?
False
Let t(f) = -2*f**2 - 29*f + 17. Let v be t(-15). Suppose 0 = -2*d - v*d + 84. Let o(p) = 2*p**3 - 41*p**2 - 18*p - 23. Is o(d) a multiple of 20?
True
Let w = 