 + 17. Is h(10) a multiple of 54?
True
Let b be (-22)/8 - 7/28. Let k(m) = 2*m**2 + 4*m + 6. Let x be k(b). Is x/20 - 327/(-5) a multiple of 6?
True
Is (-1694012)/(-56) - (-39)/(-182) a multiple of 110?
True
Let u(r) = 2*r**2 - 26*r - 13. Let h(k) be the third derivative of k**5/30 - 9*k**4/8 - 2*k**3 + 4*k**2. Let g(n) = -3*h(n) + 4*u(n). Is g(13) a multiple of 7?
False
Let o(m) be the first derivative of -12*m**2 - 16*m - 11. Let y be o(-13). Suppose y = 3*p + 80. Does 8 divide p?
True
Is 13 a factor of -6 + (22810/20 - (-3)/(-2))?
False
Let s be (-2)/(2 + 27/(-12)). Let n(f) = -61*f - 22. Let v be n(-3). Is 674/s - (v/(-28) - -5) a multiple of 17?
True
Suppose 0 = -2*n + 15*y - 13*y + 92922, -2*y - 139375 = -3*n. Is n a multiple of 41?
True
Let b(z) = -11042*z + 417. Does 91 divide b(-2)?
False
Let n(w) = -2*w**3 - 19*w**2 - w + 36. Let y(c) = 2*c**3 + 20*c**2 - c - 37. Let h(j) = -5*n(j) - 6*y(j). Does 25 divide h(-14)?
False
Let p be (1/4*0 + 1)*22. Let f(k) = 7*k + 53. Is 9 a factor of f(p)?
True
Let u(v) = 1791*v - 1083. Is u(5) a multiple of 48?
True
Suppose -23*n + 886 = -1391. Is 5 a factor of 4818/n + 8/6?
True
Suppose 0 = -2*v + t - 8, -6*v + 5*t = -4*v. Let r(g) = -8*g - 22. Let s be r(v). Does 33 divide 1788/s - 1/3?
True
Suppose -5*x = 31*t - 33*t + 16607, 0 = t - x - 8311. Is 22 a factor of t?
True
Let f be (-105)/(-14)*((-16)/(-6) + -2). Suppose -f*y = 7*n - 5*n - 3190, 0 = y + 2*n - 630. Is 40 a factor of y?
True
Suppose -15*b - 168 = -36*b. Let h(p) be the first derivative of p**4/4 - 5*p**3/3 - 4*p**2 + 7*p + 2. Is 24 a factor of h(b)?
False
Suppose -m + 8208 - 2376 = -3*h, 4*m + 4*h = 23312. Does 67 divide m?
True
Is 22 a factor of (-15)/(255/(-178772))*1?
True
Let u(j) be the first derivative of -j**3/3 - 45*j**2/2 - 114*j + 154. Does 19 divide u(-28)?
False
Let m(q) = q**3 - 33*q**2 - 43*q + 391. Is 230 a factor of m(41)?
False
Let f = 306 - 302. Does 37 divide ((-7696)/(-24))/13*42/f?
True
Suppose -126 = 5*y + 9*y. Is 17 a factor of ((-138)/8 + 7/28)*y?
True
Does 157 divide (-12)/9*-4830 + -3 + 0?
True
Suppose 3*a - 53185 = -4*y, 11*y - 10*y = -12*a + 212635. Does 25 divide a?
False
Let n = 30271 - 26953. Is n a multiple of 37?
False
Suppose 5*f = 6*f + 5*x + 451, 2*f = -2*x - 894. Let j = -227 - f. Is 73 a factor of j?
True
Suppose 18 = 446*d - 437*d. Suppose -d*b + 7*n = 2*n - 517, n = 5*b - 1281. Is b a multiple of 32?
True
Let j = -157 + 150. Suppose 0 = 2*z - 4*c - 16, -2*z + 3*c + 3 = -5*z. Does 13 divide 56/2 + z + (j - -3)?
True
Let s(j) = 209*j - 431*j + 212*j - 22. Does 9 divide s(-8)?
False
Let r = 11875 + -224. Is r a multiple of 61?
True
Let j = 16739 - 6514. Is j a multiple of 25?
True
Suppose 0 = -5*i - 5 + 25. Suppose -i*z - 4*b = -5*z + 63, -2*b + 33 = z. Does 2 divide z?
False
Let h = -1547 - -3113. Suppose 5*l - 3*o = -2*o + h, 3*l = -4*o + 935. Is l a multiple of 12?
False
Let w = -48 - -66. Does 9 divide -2 + 9 - (-350 - w)?
False
Let r = 24702 - 18609. Is 9 a factor of r?
True
Suppose -4*s + j + 1341 = 2*j, -5*j = 2*s - 675. Let c = s - -25. Does 40 divide c?
True
Suppose -928*d = -923*d - 600. Is 20 a factor of 9/(-6)*d/(3/(-3))?
True
Suppose 0 = 3*l + 26*v - 30*v - 758, 5*l + 4*v - 1242 = 0. Is l a multiple of 25?
True
Let h(s) = -3*s**3 - 4*s**3 - 18*s**2 - 3 + 17*s**2 - 2*s. Let i be h(3). Let u = i + 309. Is u a multiple of 17?
True
Let p(l) = l**2 - 74*l + 880. Is 20 a factor of p(14)?
True
Let x(l) = -l**2 - 6*l + 47. Let j be x(13). Let a = j + 212. Does 4 divide a?
True
Is 212 a factor of 24/(-3)*(-1002 - (1 + 9))?
False
Is 157 a factor of 10 + -8 + 605199/15 + 10/25?
True
Let k(r) = -16*r + 16. Let m be k(1). Suppose 5*p + 162 = 3*i, p = -4*i - m*i + 193. Is 7 a factor of i?
True
Let n(z) = -34*z**3 - 4*z**2 - 6*z - 7. Let f be n(-2). Let a = 375 - f. Is a even?
True
Suppose 9432 = -2*i - 4*d + 40400, 0 = i + d - 15477. Does 13 divide i?
True
Suppose -5594014 - 31302242 = -432*f. Is f a multiple of 34?
True
Suppose -4*d = 10*d + 10808. Let s = -488 - d. Suppose 12*i - s = 8*i. Is i a multiple of 8?
False
Let j = 6993 + 3873. Is 109 a factor of j?
False
Let k(z) = 12*z + 31*z**2 + z**3 - 84 + 22*z + 2*z + 18*z + 0*z**3. Does 8 divide k(-29)?
True
Let n(u) = -350*u - 5. Is n(-8) a multiple of 65?
True
Let r(q) be the first derivative of 23*q**4/4 - q**3 + 3*q**2/2 + 75. Does 8 divide r(1)?
False
Let x be ((-2)/3)/((-8)/276). Suppose -5*w = -3*g - 310, -5*g + x + 2 = 0. Suppose -w = -n - 5*h, -n + 6*n - 2*h = 352. Is 5 a factor of n?
True
Suppose 0 = -124*b + 4481783 + 390921. Does 6 divide b?
False
Suppose 0 = 14*x - 51 - 5. Suppose 5*p + 722 = 2*k - 79, x*k - p - 1629 = 0. Is k a multiple of 102?
True
Suppose -5*o = -58*v + 61*v - 101941, 0 = -o - 2*v + 20398. Does 49 divide o?
True
Suppose 49*v - 99*v + 54*v - 37152 = 0. Does 36 divide v?
True
Suppose 10*y = 3*y + 35. Let u(p) = -12*p - 24. Let m be u(-2). Is 3 a factor of y - 258/(-3) - m?
False
Suppose -675*l + 2*i - 21118 = -680*l, -4*l = -2*i - 16898. Is 24 a factor of l?
True
Suppose -7*s + 2*s - 102 = 2*v, -46 = 3*s + 5*v. Let z = 83 - s. Suppose 7*n - z = 4*n. Is n a multiple of 13?
False
Let o(f) = -f - 1. Let k(l) = -2*l - 84. Let t(x) = -k(x) - 4*o(x). Let n(d) = 2*d**3 - 85*d**2 + 42*d. Let z be n(42). Is t(z) a multiple of 22?
True
Suppose 0 = -12*l + 2 - 14. Does 13 divide 366 - (6 - 1/l)?
False
Suppose -20532 = -14*m - 5440. Is m a multiple of 27?
False
Let u(q) = -23387*q - 354. Is u(-1) a multiple of 31?
True
Suppose -5*k + 67895 = 5*x, -k - 27146 = 24*x - 26*x. Is x a multiple of 75?
True
Suppose -3*k = 3*m - 144, 0 = -3*m + k + 77 + 55. Let o = 6 + m. Let t = o + 123. Is t a multiple of 29?
True
Let c = -2064 + 1432. Let x = -299 - c. Suppose 7*p + 11 = x. Is p a multiple of 7?
False
Let d = 71 - -64. Let j = 26 + d. Is j a multiple of 23?
True
Suppose 205131 - 5151 = 9*c. Does 101 divide c?
True
Let d be -5 + (-3 - 27/(-9)). Does 31 divide (-24)/(-4)*d/(-10) + 133?
False
Let f = -4 - -7. Let m(j) be the second derivative of 5*j**3 + 8*j**2 + 303*j. Does 13 divide m(f)?
False
Let r(o) = -28*o - 159. Let b be r(-17). Let n = b + -75. Does 22 divide n?
True
Let u(g) = -13*g + 275. Let b be u(0). Suppose -b + 77 = -11*x. Does 3 divide x?
True
Let d be ((-14)/4)/7 + 75/6. Let l be 0 + 4 + d/4. Suppose 0 = -l*f + 2*f + 145. Is f a multiple of 16?
False
Suppose -5*z + 35 = -2*q, -5*z - 2*q + 65 = 2*q. Let f be (21/z - 4)*(-7 + -2). Suppose f*a - 11*a - 288 = 0. Is 24 a factor of a?
True
Let v(n) be the second derivative of -n**5/20 - 5*n**4/12 - 5*n**3/6 - 3*n**2/2 + 19*n - 1. Let y(r) = -r**2 - 5*r. Let m be y(-6). Does 18 divide v(m)?
False
Let b(j) = 6*j**2 - 5*j - 33. Let s(n) = 10*n**2 + 16*n + 1. Let r be s(-2). Is 51 a factor of b(r)?
True
Suppose 2 = 2*a, -3*p + 45 = -2*a + 2. Let x(f) = f**3 - 16*f**2 + 16*f + 29. Does 11 divide x(p)?
True
Let b be 8 + ((-2)/6)/((-2)/(-18)). Suppose -5*l - 2*d = -120, 4*d = l - b*l + 108. Does 22 divide l?
True
Suppose 0 = -2*y - 202 + 196, 2*o - 5*y - 15673 = 0. Does 51 divide o?
False
Suppose -3*c + 802 = -0*j - j, -5*c = -2*j - 1336. Suppose v + 3*u = 2*v + 149, -2*v - 4*u = c. Is (7/(v/(-48)))/((-9)/(-240)) a multiple of 16?
True
Let u(v) = v**2 - 11. Suppose 12*l + 2 = 13*l. Suppose -3*d = -2*x + x + 2, 20 = -2*x - l*d. Is u(x) a multiple of 38?
True
Suppose 0 = -12*m + 312 + 660. Suppose f - 3*a = -f - 149, 0 = -2*f - 4*a - 170. Let n = m + f. Is 2 a factor of n?
True
Suppose -35 - 217 = 12*i. Let h = 29 + i. Suppose -h*l + 11*l - 165 = 0. Is l a multiple of 8?
False
Let s(d) = 10*d - 38. Let q be s(4). Let h be 0*q/(-5 + 3). Suppose o - 3*g - 220 = h, -5*o - 2*g + 1218 - 186 = 0. Does 26 divide o?
True
Let c(v) = v**3 - 3*v. Let j be c(0). Suppose -2*p = -j*p - 6. Suppose 0 = -4*x + 2*r + r + 132, -p*x + 112 = r. Is x a multiple of 17?
False
Suppose 2*j - 3*v - 657 + 4 = 0, 1642 = 5*j + 2*v. Let p = j - 226. Does 57 divide p?
False
Suppose -5*c + 177 = 2*l, -2*c - 3*l + 2*l = -71. Suppose -n - 3*g = -0*n - c, -2*g + 32 = n. Let b = n - -99. Is 14 a factor of b?
False
Suppose f + 5*n - 140 - 150 = 0, 1534 = 5*f - 3*n. Suppose -2*i - f - 15 = -2*g, 165 = g - 2*i. Is g a multiple of 21?
False
Let p = 492 + -487. Suppose 4*y + 35 + 35 = 2*z, 3*y = p*z - 147. Is z a multiple of