e of 16?
True
Let q = 495 + -260. Is q a multiple of 11?
False
Let v(o) = -2*o**3 - 2*o**2 + 2*o. Let l be v(-2). Suppose 240 = 3*m + 4*p, -l*m = -2*m + p - 160. Is 10 a factor of m?
True
Let d(h) = 8 + 0*h + 0*h**2 + 2*h**2 + 0*h - 4*h. Let z be d(6). Suppose 209 = 5*r - z. Does 14 divide r?
False
Let q(s) = -2*s + 0 - 3 + 7*s. Is 22 a factor of q(8)?
False
Suppose 5*p + 598 = 4*x, 2*x + p = 287 + 19. Does 76 divide x?
True
Let t be 4 - -10*2/4. Let r(i) = -i**3 + 9*i**2 - 4*i + 4. Let c be r(t). Let w = c + 80. Is w a multiple of 12?
True
Let w(k) = 11*k + 17. Let b(i) = 7*i + 11. Let j(o) = 8*b(o) - 5*w(o). Let f be (-2)/(12/21 - 15/14). Does 7 divide j(f)?
True
Let v(q) = -2*q + 73. Let g = 19 + -19. Is v(g) a multiple of 29?
False
Let m(s) = 3*s**3 - 6*s**2 + 3*s + 2. Let g be m(4). Suppose 0*b - g = -b. Suppose -6*d + d = -b. Is d a multiple of 11?
True
Let f(g) = g**3 - 10*g**2 - 11*g + 9. Let t be f(11). Suppose 8*l = t*l - 8. Does 6 divide l?
False
Suppose -55*j = -54*j - 2. Suppose 5*u - j*w + 0*w = 810, 0 = -5*u + w + 810. Is u a multiple of 27?
True
Suppose -8 = 5*o - 7*o. Suppose -4*g + f = -o*f - 44, 0 = -g - 3*f + 11. Is g a multiple of 2?
False
Suppose 4035 = 3*r - 3*i, -3*r + 29*i + 4034 = 27*i. Is 12 a factor of r?
True
Let x(r) = 7*r**2 + 28*r - 79. Let a(u) = 10*u**2 + 42*u - 118. Let f(v) = -5*a(v) + 7*x(v). Does 22 divide f(-15)?
True
Let z(k) = 118 - 152*k**3 + k - 118. Let n be z(1). Is ((n + 0)*-2)/2 a multiple of 34?
False
Suppose 0 = -0*c + 3*c. Suppose -2*m + j - 12 = c, j = 4*m + 16 + 4. Does 15 divide 42*m/24*-3?
False
Let b be ((-1)/4)/((-1)/44). Let d(k) = k**3 - 11*k**2 - k - 3. Let a be d(b). Is 7 a factor of (-368)/a - 4/14?
False
Suppose -4*t = -3*y - 643, 2*t - y - 4*y = 339. Is t a multiple of 15?
False
Let w(v) = 2*v + 6. Let b be w(-9). Let r(s) = s**3 + 14*s**2 + 11*s - 3. Is 36 a factor of r(b)?
False
Suppose -38*l + 73073 = 19607. Is l a multiple of 64?
False
Let n = 40 - 44. Is 18 a factor of -302*(0 - (-3 - n))?
False
Let f = -19 + 35. Suppose 128 = -f*q + 416. Is q a multiple of 6?
True
Suppose 5*y = -41 - 29. Suppose -4*w - 108 = 2*w. Is y/(-63) + (-1292)/w a multiple of 24?
True
Let g = -42 - -44. Is 42 a factor of 10/g + -8 + (0 - -102)?
False
Suppose d = 4*x - 412, -5*x + 379 + 136 = -4*d. Let t = x - 83. Does 2 divide t?
True
Let o(x) = 6*x + 7. Let b be o(4). Let k = 47 - b. Does 8 divide k?
True
Let l = -225 + 265. Does 4 divide l?
True
Let u = -22 - -24. Let i be u/4*0*1. Suppose -x + 19 + 31 = i. Is 13 a factor of x?
False
Let z be (2 + 172)*6/18. Does 14 divide ((-2 - z) + 4)/(-1)?
True
Suppose -6*o + 9*o - 1380 = 0. Is 23 a factor of o?
True
Let f = 16 + -8. Suppose -2*o + l + 4 = -f, -4*l = -o - 8. Is o a multiple of 5?
False
Let y = -39 + 151. Suppose -3*u = -4*u + y. Does 14 divide u?
True
Suppose 5*c + 5*l - 13 = c, -7 = -c - 5*l. Let y be c/((-8)/2)*0. Suppose 7*o - 4*o = 5*u + 52, -o + u + 20 = y. Does 12 divide o?
True
Suppose 676 = -0*v + 5*v - 4*h, 0 = 5*v + 3*h - 683. Suppose v = 5*o - 359. Suppose o + 33 = 4*c. Is c a multiple of 22?
False
Suppose l = -331 + 97. Let z = -165 - l. Suppose 0 = p + 3*p + 5*w - 92, -3*p + z = w. Is p a multiple of 10?
False
Let r = 2467 + -1611. Does 8 divide r?
True
Let r be (-112)/12 + (-3)/(-9). Let k = -6 - r. Suppose 16 = k*y - 26. Is 7 a factor of y?
True
Suppose 5928 = -8*b + 44928. Is 15 a factor of b?
True
Suppose 0 = -2*s + 4 - 24. Let z = s - -10. Suppose -m = -z - 26. Is m a multiple of 10?
False
Suppose -4*w = -c - 16, -4*w - 5*c - 6 + 22 = 0. Suppose 0 = 4*m - 2*h - 76, 9*m - h = w*m + 89. Is 4 a factor of m?
False
Does 11 divide (-10)/14*(-237 - -20)?
False
Suppose y = -2*s + 212, 3*y + 717 = 5*s + 198. Does 9 divide s?
False
Let j = -123 + 213. Let d = 3 + -1. Suppose s + d*s = j. Does 8 divide s?
False
Suppose -t - 4*j = -3*t + 572, -3*j + 271 = t. Does 14 divide t?
True
Let n be 2*9/6 + -50. Let f = n - -183. Does 34 divide f?
True
Suppose 144 = 3*i + 2*o, -o + 3 = -0. Suppose 4*h - 92 = 3*g, 2*g + 68 = 5*h + 2. Let w = i + g. Does 5 divide w?
False
Let i = -6 - -6. Suppose i = -3*l + 2*l - 6. Is 13 a factor of (-74)/(-6) + (-4)/l?
True
Let k be (-19)/(-4) - 5/(-4). Is 5 - k - (-3)/(-6)*-74 a multiple of 18?
True
Let o = -1990 + 4110. Is 20 a factor of o?
True
Let l = 664 + 140. Is l a multiple of 12?
True
Suppose -47 = m + 35. Let z = -181 + 150. Let w = z - m. Does 18 divide w?
False
Suppose 2*f + 260 = x, 0*x + 515 = 2*x - 5*f. Is x a multiple of 30?
True
Suppose -5*t = 20, -25 = d - 0*d + 3*t. Let u(m) = -36*m**3 - 2*m + 1. Let x be u(1). Let y = d - x. Is y a multiple of 8?
True
Suppose t = -2*t. Let l = 3 + t. Suppose 2*y + l*y = 310. Is 31 a factor of y?
True
Let b = 243 + -173. Does 35 divide b?
True
Let t(x) = -3*x**3 - 8*x**2 - 7*x - 7. Let n(f) = 4*f**3 + 8*f**2 + 6*f + 6. Let p(v) = 2*n(v) + 3*t(v). Is 2 a factor of p(-7)?
False
Let i = 297 + -172. Suppose -2*y - 23 = -3*s - i, s - y + 35 = 0. Let n = -20 - s. Does 9 divide n?
False
Let q = -190 + 202. Let i(c) be the first derivative of -c**2/2 + 15*c + 1. Is 3 a factor of i(q)?
True
Let c = -4057 + 6122. Is c a multiple of 49?
False
Suppose 0 = 3*w + 5*s + 19 + 51, 0 = -w - s - 26. Let l = w - -8. Let m = l - -32. Is 5 a factor of m?
True
Let c = -35 - -68. Is 6/c - (-1580)/22 a multiple of 24?
True
Suppose 25*b - 29*b - 2*z = -6042, -5*z = -4*b + 6063. Does 28 divide b?
True
Suppose -4*z + 8 = -0*w - 3*w, 2*w = 8. Let c(x) = x**3 - x**2 - 4*x - 2. Let v be c(z). Suppose 5*b + 3*r = -r + v, b - 5*r - 33 = 0. Does 10 divide b?
False
Suppose -3*t + 5*t = -10, 4*a - 2*t = 658. Is 19 a factor of a?
False
Let h = 14 - -1184. Is h a multiple of 14?
False
Let l = -4 + 7. Suppose 0 = -l*y + 2*y + 22. Is 10 a factor of y?
False
Suppose 1128 = -77*q + 83*q. Does 47 divide q?
True
Suppose 0 = -r + s + s - 104, 0 = 2*r - s + 220. Is 39 a factor of (1 - r) + (-28)/(-4 + -3)?
True
Suppose -b - 4*h = 1 + 3, 0 = 5*b + 3*h + 105. Does 3 divide ((-16)/b)/(2/18)?
True
Let h = 145 + -90. Suppose -d = -i + 2*d - 34, 5*i - 5*d = -160. Let j = i + h. Does 12 divide j?
True
Suppose -83*u + 81*u + 9240 = 0. Does 77 divide u?
True
Let v be 6/54*123*(5 + 1). Let q = v - 48. Is 17 a factor of q?
True
Suppose 0 = c + 5*y - 19, 74 = 3*c - 0*c - 2*y. Is 12 a factor of c?
True
Let i(n) = -6*n + 36. Is 2 a factor of i(0)?
True
Suppose 2*o - 16 = 3*f + 2*f, 0 = -4*o + 2*f + 16. Suppose -o*w - 3*h + 2*h = -34, -2*w = -4*h - 18. Suppose w*i = 9*i + 36. Is i a multiple of 6?
True
Let d = 41 - -487. Is 24 a factor of d?
True
Let n(j) = -j**2 - 18*j - 18. Let l be n(-17). Is 2*l - (-9 - 20) a multiple of 14?
False
Suppose 3*z + 18 = 3*n - 5*n, z = 3*n + 5. Let i(a) = -a**3 - 5*a - 6. Is 6 a factor of i(n)?
True
Suppose 16*b = 5*b + 1683. Is 16 a factor of b?
False
Let b(n) = n**3 - 4*n**2 - 10*n + 58. Does 9 divide b(13)?
True
Suppose 40 - 14 = 2*m. Suppose -v = 5*k + 2 - m, -3*v = 3*k - 9. Suppose -k*r = -2*z + 50, -2*z - 70 = -6*z - 2*r. Is z a multiple of 3?
False
Let l(d) = -3*d**3 - 18*d**2 + 6*d - 30. Is l(-9) a multiple of 5?
True
Suppose -8 = r - 5*r - 4*p, 0 = -4*r + p + 18. Suppose -1 = y, -4*a + 3*a - r*y = -41. Is a a multiple of 14?
False
Suppose 0*y - 3*y + 12 = 5*l, y + 5*l - 4 = 0. Let c be (-312)/(-9) + 2/(-3). Is 9 a factor of (c - 2)*3/y?
False
Let m(x) = 45*x - 21. Does 40 divide m(7)?
False
Let y = 529 - 154. Is y a multiple of 10?
False
Let u(w) = -w**3 + 11*w**2 - 11*w + 13. Let q be u(10). Let l = q + 0. Suppose -g - m = 4*m + l, -19 = -3*g - m. Does 5 divide g?
False
Let u(w) = -2*w**2 - 19*w - 21. Let v(k) = k**2 + 10*k + 11. Let l(i) = 4*u(i) + 9*v(i). Does 15 divide l(-14)?
True
Let u be (-1 - -2)/((-4)/(-8)). Suppose -2*y + 11 = d - 7*y, u*d - 2*y = 54. Does 2 divide d?
False
Let x be 248/40 + 1/(-5). Let c = x + -6. Suppose 4*u + c*u + 5*s = 101, 3*s = 4*u - 93. Is 13 a factor of u?
False
Let q(h) = -2*h**2 - 9*h - 2. Suppose -2*s - 8 = -0*s. Let v be q(s). Is 15 a factor of v*8 - (6 + -5)?
True
Let h(g) = g**2 - 7*g + 9. Let k be h(-4). Let p = k + -24. Does 5 divide p?
False
Suppose 0 = -3*y + 3 + 6, -3*m + 5*y + 258 = 0. Let v = 153 - m. Is 17 a factor of v?
False
Let x be (-1089)/(-11) - (-2)/((-4)/6). Suppose 0 = -2*t + 3*t - x. Is 6 a factor of t?
True
Let o(p) = 