/(-10)). Does 33 divide z(t)?
False
Let t = -17250 + 26825. Is t a multiple of 169?
False
Let w be (63/6)/(1/26). Let d be (-6)/(-4) - w/(-26). Suppose -d*h = -16*h + 1036. Does 37 divide h?
True
Let d = -11 + 13. Let u be 8 - (-8)/(-4)*d. Suppose 0*i + 4*i + 390 = 5*r, -312 = -u*r - 3*i. Is 22 a factor of r?
False
Suppose -1710 = -36*d + 14454. Is d even?
False
Suppose -i + 8 = 2*l, -l + 8 = 3*l - 2*i. Suppose 5*p = -3*k + 85, -4*p + l*p = 5*k - 171. Suppose 38*z - k*z - 132 = 0. Does 2 divide z?
True
Let y(s) = s**2 + 3*s - 2. Let u be y(1). Let c(p) be the second derivative of p**5/10 - p**4/6 + 2*p**3/3 + 4*p. Does 8 divide c(u)?
True
Suppose -42*d - 24*d + 1811968 = -2*d. Is 277 a factor of d?
False
Let d(g) = 21*g - 61. Let s be d(3). Suppose -w + 542 = 2*k, 0 = 6*k - 3*k + s*w - 814. Is k a multiple of 54?
True
Let c(q) = q**3 + 11*q**2 - 9*q + 12. Suppose 15 + 1 = -2*z. Let l be c(z). Is 0 + (-4)/(-14) + l/14 a multiple of 5?
True
Let g = -24 - -28. Suppose -g*w = 6 - 22. Suppose 0 = 3*y - 4*f + 5 - 141, w*y - 198 = -3*f. Is 6 a factor of y?
True
Let z = 152 + 861. Does 7 divide z?
False
Does 12 divide 1800/288*10016/20?
False
Let s(d) = 5 + 15*d**2 - 5*d - 9*d**2 - d + 24*d**2. Does 7 divide s(3)?
False
Is 1674 - (2 + -2 + 9) a multiple of 15?
True
Let d be (-34 + 14)/((-4)/(-14)). Let r = d - -70. Let h(n) = -2*n**2 - n + 326. Is h(r) a multiple of 49?
False
Suppose -11*l = -101371 - 117315 + 68206. Is 240 a factor of l?
True
Suppose 5*u = -4*a + 8*u - 6, 0 = u + 2. Does 16 divide (-14406)/(-45) - a*(-2)/45?
True
Suppose 21*m = 142 + 68. Suppose -m*k + 5*r = -8*k - 55, -2*r = -5*k + 190. Is k a multiple of 5?
True
Suppose -11*v + 5*v = -63732. Does 199 divide v?
False
Let n(k) = -18*k + 1815. Does 49 divide n(36)?
False
Does 91 divide 99931/39*3*(8 - 4)?
False
Let u(m) = -4*m**3 + 34*m**2 + 205*m - 1. Does 53 divide u(-20)?
True
Suppose 57 = 2*z - 39. Suppose 4*k + 43 = -5*b + k, z = -4*b + k. Let r(c) = c**2 + 7*c - 8. Is 9 a factor of r(b)?
True
Let u be 1799*((-145)/35 - -5). Suppose u = 4*r + 550. Suppose a - 140 = j - 24, -2*a - 2*j = -r. Does 11 divide a?
False
Suppose -2*u + 4*r - 210 = 0, -6*u = -3*u + 3*r + 315. Let q(p) = -p**3 + p - 21. Let a be q(0). Let y = a - u. Is y a multiple of 28?
True
Suppose 0 = 12*l + 7*l - 415150. Does 115 divide l?
True
Let h(p) = 84*p**2 - 163*p + 1534. Does 12 divide h(10)?
True
Suppose 22*q + 1787 = -1799. Let g = q + 423. Is 13 a factor of g?
True
Let g(l) = 2019*l**2 + 8*l - 51. Is g(3) a multiple of 12?
True
Let t(a) = 98*a - 120. Suppose 12 = 2*o + 6, 29 = 5*x + 3*o. Is t(x) a multiple of 5?
False
Let z = 44970 + -24033. Does 21 divide z?
True
Suppose 8 = 8*j - 16. Suppose -3*d + 2784 = j*d. Does 29 divide d?
True
Suppose 27 = 25*n + 2. Let d(a) = 361*a**3 + a**2 + 2*a - 4. Is 15 a factor of d(n)?
True
Suppose 16*a = -0*a + 848. Let y be 158/(-4) - 2/(-4). Let j = y + a. Is j a multiple of 6?
False
Let n = -48 + 46. Is ((-3384)/(-15))/(-6)*15/n a multiple of 47?
True
Let m = 55 - 53. Suppose 0 = -s - 4*z + m*z + 2, -3*z = 3. Is 4 a factor of s?
True
Let z = 906 + -465. Suppose -z*h + 440*h = -27. Does 27 divide h?
True
Suppose 6*i = -2*i + 2616. Suppose 5*k = -2*a + 93 + i, -k - 224 = -a. Suppose 55*s - a = 51*s. Does 11 divide s?
True
Let a = -3612 + 3930. Is 17 a factor of a?
False
Let r(c) = -c**2 - 7*c - 20. Let d be r(-3). Does 19 divide 595 - 8*(-4)/d?
False
Let x(z) = -z**3 - 16*z**2 + 32*z + 46. Let k be x(-19). Is 25 a factor of k - (-11)/(33/(-18))?
False
Let b(i) = 114*i + 28. Suppose 0 = -3*j + n + 1 + 4, 4*n = 3*j - 2. Is 16 a factor of b(j)?
True
Suppose -6*x - 82 = -148. Suppose f - 68 - x = 0. Is f a multiple of 10?
False
Suppose 4*u = 5*t + 103107, -9*u + 3*t - 103147 = -13*u. Is 19 a factor of u?
True
Let h(t) = -3 + 0*t - t**3 + t + 6. Let m be ((-18)/(-8))/((-27)/36). Is h(m) even?
False
Let w(k) be the first derivative of -k**4/4 + 26*k**3/3 - 21*k**2 - 19*k + 6. Let s be w(24). Let h = s - 45. Does 10 divide h?
True
Let v(k) = -3*k**2 + 8*k - 6 + 4 - 4*k + 6. Let c be v(-2). Let r = c - -67. Is r a multiple of 15?
False
Let u(r) = -r**3 - 11*r**2 - r - 9. Let z be u(-11). Let i(g) = -18*g - 15*g + 32 - z*g**2 + 7*g + 4*g**2. Is 8 a factor of i(13)?
True
Suppose 0 = 2*b - 2*p - 13146, -2*b - 335 = 2*p - 13509. Is b a multiple of 28?
True
Is (-28536)/(-6) - -8 - -2 a multiple of 17?
False
Is 999/(-2)*(-11 + (-649)/33) a multiple of 12?
False
Let r(p) = -2*p - 1. Let l(x) = -12*x - 4. Let c(m) = l(m) + 2*r(m). Is 3 a factor of c(-12)?
True
Suppose 4 + 4 = 2*g. Suppose 2*f = -3*j + 20, 2*f + 4 = -j + g*j. Let k = f - -41. Is k a multiple of 15?
True
Let l(t) = -2*t - 12. Let b be l(-7). Let a be -1 + b/((-6)/(-15)). Suppose 12*r = a*r + 1320. Is 33 a factor of r?
True
Let n(j) = -79*j**3 + 4*j**2 + 6*j + 6. Let g = -69 - -67. Let a be n(g). Let u = a + -390. Is 12 a factor of u?
True
Let b = 25 + -23. Let k be 3/(-2)*20/12*-2. Suppose -b*d + 0*c + 28 = -c, -2*c = -k*d + 68. Does 5 divide d?
False
Let k = -13687 + 25671. Is k a multiple of 16?
True
Suppose -10851*i + 511680 = -10831*i. Does 78 divide i?
True
Let l = -7791 - -17058. Is 18 a factor of l?
False
Suppose 5*i - 50700 = 5*t, 43879 = 3*i - 4*t + 13466. Is 8 a factor of i?
False
Suppose 2*k = -10, 5*j = -3*k + 5440 + 12605. Is j a multiple of 26?
False
Suppose 2*f + 12 = -f, -3*s + 623 = -2*f. Let t = -195 + s. Is 10 a factor of t?
True
Suppose 4*h = 4*z - 16, 2*h + 4 = z - 3*h. Suppose z*y + 47 = -49. Let m = y + 48. Does 24 divide m?
True
Let x be 74/444 - 10867/6. Let t = -1110 - x. Does 55 divide t?
False
Suppose 10 = 5*f - v + 2*v, -f - 3*v = 12. Suppose f*u - 3 = -6. Is (-4 - u)/((-6)/8) a multiple of 4?
True
Suppose 46*q - 26659 = -11*q + 48638. Is q even?
False
Suppose 0 = 6*m + 158 + 34. Let o = -30 - m. Does 10 divide (o - 54)/((-1)/1*1)?
False
Is 49 a factor of (67/(-4) - 2)/(-42 - (-2345085)/55836)?
False
Let t(d) = 114*d - 29. Let p be t(8). Let q = -619 + p. Is 12 a factor of q?
True
Let y(w) = -w**2 - 7*w + 26. Let c be y(9). Let t = -113 - c. Is 2 a factor of t?
False
Let t = -7 - -14. Suppose -38 - t = -5*h. Suppose -f - h*j + 4*j = -80, 5*j - 270 = -3*f. Is 14 a factor of f?
False
Suppose -402*c - 5*k - 2401 = -403*c, 0 = -4*c - 2*k + 9472. Is 6 a factor of c?
False
Suppose -m + 498 = 3*p, 5*p + 248 = -5*m + 2698. Let o = m + -346. Is 14 a factor of o?
True
Let i be 269 - (4 - 1/(-1)). Is 6 a factor of (i/9)/4*69?
False
Suppose 138*f = 160706 + 151312. Is f a multiple of 18?
False
Let k(z) = 2*z**3 - 8*z**2 - 44*z + 462. Is k(12) a multiple of 41?
False
Suppose 0 = 2*x + 3*n - 40 - 12, -6 = -3*n. Suppose x*s + 312 = 24*s. Is s a multiple of 52?
True
Let c(w) = w**3 - 40*w**2 + 64*w - 224. Is 32 a factor of c(42)?
False
Let w(s) = s**3 + 16*s**2 + 15*s + 4. Let x be w(-15). Suppose -b - 2*r = -110, x*r = b + r - 105. Does 11 divide b?
False
Let l(o) = o**3 - 5*o**2 + 24*o - 18. Is 12 a factor of l(3)?
True
Let h(w) = 7*w**2 + 46*w**2 + w**2. Is 18 a factor of h(1)?
True
Suppose -12*l = -10*l - q - 19, -5*l + 4*q + 46 = 0. Let i(d) = 7*d**2 - 17*d + 10. Is 10 a factor of i(l)?
True
Let c = -6 - -42. Let z = -91 + c. Let m = z + 61. Is m even?
True
Suppose 3*p - 5*c - 25 = 0, 0 = 5*p - 4*c - 8 - 12. Let j be p/((-4 + 9)/(-5)). Suppose j = -d - d + 454. Does 15 divide d?
False
Let v be (14852/4 - 2) + -2 + 0. Suppose -9*l - 973 = -v. Is l a multiple of 16?
True
Let k(d) be the second derivative of d**4/12 - 5*d**3/2 + 12*d**2 + 31*d. Suppose 3*j + 2*p - 40 = 0, 4*j + j - 72 = -2*p. Is k(j) even?
True
Let k(c) = -176*c**3 - c**2 - 3*c + 2. Let v be k(1). Let r = v - -234. Does 14 divide r?
True
Let k(o) = 6*o**2 - 10*o + 21. Let s(v) = 5*v**2 + v - 2. Let a be s(1). Let n be k(a). Suppose -3*j + 4*r - 3*r = -n, 3*r + 87 = 3*j. Does 4 divide j?
True
Let a = -14569 - -14819. Is 50 a factor of a?
True
Suppose -3*n = n - 3*o - 21, -3*o = 9. Suppose -4*p + 514 = 5*q, -n*p + 30 = -q + 129. Does 14 divide q?
False
Let x = -965 - -970. Suppose 5*a - r = 515, x*a - 18*r = -20*r + 515. Is a a multiple of 6?
False
Let t = -1271 - -1800. Suppose 3*b + t = r - 3*r, -5*r + 2*b - 1275 = 0. Let s = 507 + r. Is s a multiple of 34?
False
Let x = 634 - 630. Is 5 a factor of 502 + (-77)/63 + x/18?
False
Let s(g) =