 h a multiple of 25?
False
Let x(v) = 4*v**2 + 51*v - 83. Is 25 a factor of x(22)?
True
Is (4*-1)/(460/(-1596085)) a multiple of 19?
False
Let w(v) = -114*v**3 + 231*v + 1127. Is 13 a factor of w(-5)?
True
Does 9 divide 7*2/(-7)*(5 - (-23221)/(-11))?
True
Let k(l) = 6 + 19*l**2 - 18*l**2 - 29*l - 13. Let m be k(14). Let g = -109 - m. Is g a multiple of 8?
False
Suppose 5*w + 4*h = 154393, 68*w = 75*w - 5*h - 216235. Is 55 a factor of w?
False
Let h be (30 + (-6 - -13))*1. Is (h - 34) + (-57)/(-2)*2 a multiple of 11?
False
Suppose 2*o - 285*y - 45777 = -286*y, -4*o - 5*y = -91533. Is 40 a factor of o?
False
Suppose -4*i + 75 = 239. Let x be (i - 2)/(0 + (-3)/(-3)). Let s = x - -151. Does 27 divide s?
True
Let y be (27/(-6) - -4)/((-1)/(-4)). Let z be (-4)/(-16)*y - 18/4. Let t = 73 + z. Is t a multiple of 10?
False
Let p(i) = -23*i**3 + 24*i**2 + 3*i - 36. Is 125 a factor of p(-10)?
False
Let k(o) = o**2 + 11*o - 3*o - 43 + 40. Let l be k(-7). Is 3 a factor of (-56)/l*40/16?
False
Let i be (-1 - 4/(-2))*4. Suppose 3*l - i*l = 0. Suppose a - 2*a + 207 = -4*t, 3*a + 5*t - 604 = l. Is 17 a factor of a?
False
Let q = 2560 + -721. Does 3 divide q?
True
Suppose 13*z + 6*z - 28*z = -17325. Is z even?
False
Suppose 1595*m - 1598*m + 39357 = 5*n, -15746 = -2*n + 2*m. Is 82 a factor of n?
True
Suppose -77 = -2*u + 127. Let g be ((-13)/39)/((-3)/(-153)). Let t = g + u. Is 5 a factor of t?
True
Suppose -249*m - 433918 = -275*m + 273126. Is m a multiple of 16?
False
Suppose -102368 - 69600 = -113*d + 76745. Does 6 divide d?
False
Suppose -106 = 2*m - 110. Suppose -5*w + 820 = -s + 5*s, -m*w = 3*s - 615. Does 26 divide s?
False
Suppose 18*s - 8337 - 5343 = 0. Is s a multiple of 190?
True
Does 63 divide -2193*(-33)/(17 + -6)?
False
Suppose 6*z + 5300 + 4420 = 33*z. Is 24 a factor of z?
True
Let z(u) = u**3 + 9*u**2 - 2*u - 5. Let y be z(-8). Suppose 4*t - q - 60 = -0*q, 5*t = -5*q + y. Suppose 3*d = -2*j - 2*j + 57, 0 = 3*d + t. Is 9 a factor of j?
True
Suppose -k + 19 = -4*x + 8*x, -k - 5*x + 23 = 0. Let j(w) = 2*w**2 - 2*w + 6. Let c be j(k). Suppose 3*v - c = 6. Does 4 divide v?
True
Let l(x) = 3*x + 9. Let z be l(-3). Suppose -5*f = 2*c + 23, z = -2*c + 3*f + 14 + 3. Let b(d) = 241*d**3 - 2*d**2 + 2*d - 2. Is b(c) a multiple of 44?
False
Suppose 39*y - 8010 = 21*y. Suppose -t + 279 = 4*j, -4*j - y = -2*t + 161. Is t a multiple of 12?
False
Suppose 2116 = 7*f - 4821. Is 14 a factor of (-2)/(-8)*(37 + f)?
False
Let a(k) = 807*k**2 + 29*k - 67. Does 11 divide a(2)?
False
Let i(v) = -5*v - 5. Let h be i(3). Let k = 12 - h. Is 12 a factor of -1 + 4/4 + k?
False
Does 55 divide 20244/16 + 45/(-180)?
True
Is 5 - -1 - 2320394/(-269) a multiple of 27?
False
Suppose -3*w = -11*w - 3408. Let m be (-4 - (2 - w/(-4)))*2. Suppose 3*k = m + 21. Is k a multiple of 10?
False
Let h(m) be the first derivative of m**3/3 + 2*m**2 + 31*m + 88. Is h(14) a multiple of 6?
False
Let x = 2149 - -25. Is x a multiple of 12?
False
Let l(b) = 3*b**3 + b**2 - 12*b - 4. Let y be l(-4). Is 12 a factor of (-5 + 8)*5/((-15)/y)?
True
Let g = 15346 + -10331. Is 4 a factor of g?
False
Is 213 a factor of 47380/(-60)*-15 + -13?
False
Let i(n) = 10*n**2 - 2*n - 101. Let p be i(10). Suppose -12*k + 921 = -p. Is 10 a factor of k?
True
Let l(g) = 2*g**2 + 23*g + 90. Let z(v) = -3*v**2 - 24*v - 89. Let a(p) = -7*l(p) - 6*z(p). Is a(-8) a multiple of 74?
True
Suppose 5*d + 31 + 144 = 0. Suppose -40*i + 50*i - 890 = 0. Let y = i + d. Is y a multiple of 10?
False
Suppose 65917 = 133*r - 54714. Does 3 divide r?
False
Let v(m) = -200*m - 9. Let b(i) = -67*i - 3. Let l(k) = 17*b(k) - 6*v(k). Let s be l(-1). Let c = 102 + s. Is c a multiple of 11?
True
Suppose 3*u + 2*k = 19999, -2*u + 0*k + 13319 = 15*k. Is u a multiple of 22?
False
Let t be (0 + -2)/((-32)/(-80)). Let c(g) = -5*g**3 + g**2 + 19*g - 9. Does 21 divide c(t)?
True
Let q(u) = u**3 + 10*u**2 + 2*u + 5. Let z = -29 - -24. Let r be q(z). Suppose -2*m + 3*c = -r, -5*m + 6*c = 3*c - 282. Does 9 divide m?
True
Suppose -4 = -2*r - 5*c + 2*c, r = 5*c + 28. Let s be (r/3)/(4/6). Suppose -5 = -s*g + 3, -5*d + 748 = -g. Is d a multiple of 23?
False
Let a(t) be the first derivative of t**4/4 + 5*t**3 + t**2/2 + 18*t + 25. Let p be a(-15). Is 23 a factor of (p - 85/(-10))*12?
True
Let g = -2665 - -5353. Is g a multiple of 32?
True
Does 16 divide 22/(21 + -10)*(5 + 1569)?
False
Suppose 16*r - 32848 = 8192. Does 15 divide r?
True
Let r(z) = -z**2 - z + 2. Let f be r(2). Does 34 divide (48/60)/(f/(-1870))?
True
Let c(o) = 4*o**2 + 2*o + 1. Let h be c(-1). Let x(j) = j**2 + 13*j - 10. Let y(l) = l**2 + 27*l - 21. Let d(f) = 9*x(f) - 4*y(f). Does 11 divide d(h)?
True
Let w(q) = -207*q + 99. Is w(-19) a multiple of 42?
True
Let c = -160 + 763. Suppose -997 = -10*u + c. Does 53 divide u?
False
Suppose 724 = 2*s + 702. Suppose 449 = 3*b + s. Is 2 a factor of b?
True
Let b(s) = 2*s + 16. Let j be b(-6). Suppose -3*o = j*m + 16, -4*m + 8 = -4*o - 32. Is (12*o/10)/(7/(-105)) a multiple of 12?
True
Let s be (-2)/(-11) - (-4980)/(-165). Let p = s + 30. Suppose -4*n = -5*t - 0*t - 138, n + 2*t - 28 = p. Is n a multiple of 5?
False
Let a = 148 - 143. Let l(u) = 45*u + 61. Is 13 a factor of l(a)?
True
Suppose 50 + 40 = 3*m. Let g = -1224 + 1116. Is g/m*70/(-8)*10 a multiple of 35?
True
Suppose 18*s + 9*s = -27. Let b(k) be the second derivative of k**4/3 - k**3/6 + k**2/2 + k. Does 3 divide b(s)?
True
Let l = 41 + -35. Is 36 a factor of ((-2904)/(-28))/(l/28)?
False
Suppose 0 = 4*y - 3*x - 14, 3*y = -2*y - 2*x + 6. Suppose y*i = 4*i - 6. Suppose b = -3*w + 150, -b - 4*w + i*w = -146. Is 18 a factor of b?
True
Let q = 36450 - 20730. Does 282 divide q?
False
Is 77 a factor of 364*(-10 - (-434)/28)?
True
Suppose -5*p = 0, 5*l - 30 = 4*p - 10. Let q be (-10)/6*(l + -8 + -11). Is ((-5)/(q/(-74)))/(1/5) a multiple of 12?
False
Let d(s) = -s**2 - 9*s - 12. Let m be d(-5). Let w = 104 - m. Suppose b = 3*i + w - 18, 0 = -b + 4*i + 83. Is 9 a factor of b?
True
Let v be ((-22)/(-33))/((-2)/(-9)). Suppose s - 21 = -m - 3*s, v*s = -15. Suppose 0 = -2*n - 3*q + m, 2*q - 62 = -n - 3*n. Does 13 divide n?
True
Suppose 0 = 7*b - 169 - 251. Suppose b = -5*x + 705. Is x a multiple of 4?
False
Let j(v) = v**3 + 77*v**2 - 424*v - 158. Does 2 divide j(-82)?
True
Suppose 39530 = -51*c - 23*c + 2507504. Is c a multiple of 19?
False
Let d(x) = -4*x**2 - 511*x + 213. Is 11 a factor of d(-53)?
True
Let v = 2714 + -1567. Let q = 708 + v. Does 12 divide q?
False
Let j = 20609 + -9382. Is j a multiple of 103?
True
Let v(o) = -136*o**2 - 6*o - 1. Let i be v(-1). Let z = 159 + i. Does 4 divide z?
True
Let w(c) = -10 + 5*c**2 - 17 + 3*c - 4*c**2 - 2*c. Is 35 a factor of w(16)?
True
Suppose -3*k + 11*q - 6*q + 1738 = 0, 2*k - 1117 = -5*q. Is 16 a factor of k?
False
Suppose -11*u + 6930 = 1892. Let v = 700 - u. Is 22 a factor of v?
True
Let r = -244 - -569. Let a be ((-74676)/(-52))/7 - (-2)/(-13). Let i = r - a. Is 15 a factor of i?
True
Let b(m) = 8*m**2 - 11*m - 4*m**2 - 55918 + 55918. Let d = -17 + 26. Is 42 a factor of b(d)?
False
Suppose -58*l - 204 = -52*l. Let o = 62 + l. Is o a multiple of 4?
True
Let c(v) = 8*v**2 + 107*v + 56. Let f(m) = -5*m**2 - 54*m - 28. Let q(o) = 3*c(o) + 5*f(o). Does 14 divide q(16)?
True
Let f(i) = 566*i - 6944. Is f(13) a multiple of 3?
True
Let u(o) = -2*o + 8. Let x be u(-2). Let c = 52 + -20. Let b = c - x. Is b a multiple of 4?
True
Let u be 359/(-2) - (-154)/44. Let k = 1040 + u. Does 11 divide k?
False
Let u(t) = 5*t**2 + 57*t + 166. Does 16 divide u(-26)?
True
Let f = -221 - -244. Suppose -17*s = -f*s + 1776. Is 38 a factor of s?
False
Let k be ((-48)/15)/((-6)/30). Suppose 7392 = -0*m + k*m. Is 16 a factor of m?
False
Let o be (1 + -3)/((-3)/(-171)). Let q = o + 142. Is q a multiple of 14?
True
Let q = -37 - -49. Let h be -1*2*(-6)/q - -49. Suppose 0*b + x - 120 = -3*b, 3*x + h = b. Is 5 a factor of b?
False
Let x be (-1 - -3)/(4/136). Let d = -36 + x. Let s = d - -10. Does 14 divide s?
True
Let v(i) = 38*i + 1. Let d be v(1). Let w = d + -33. Let f(q) = 2*q**2 - 11*q + 21. Is f(w) a multiple of 18?
False
Let n(o) be the third derivative of 5*o**5/6 - o**4/8 + o**3/6 - 67*o**2. Is 34 a factor of n(3)?
True
Let o(h) be the third derivative of -h**4/8 - h**3/6 