 h. Suppose 0 = -3*r + 2*r - 3*g - 6, v*g = -2*r + 4. Is r even?
True
Suppose -6 = -t - t, 4*j - 47 = -t. Let g(u) = -5*u - j + 11 + 10 - u. Is g(-7) a multiple of 16?
False
Suppose 19 = 5*d + f, -3*f + 3 + 2 = 2*d. Suppose -9*n + d*n = -295. Suppose 61*s - 12 = n*s. Is 3 a factor of s?
True
Suppose -2 = -4*x + 6*x. Let s be (-42)/x - 2*2. Suppose 2 = 4*p - s. Does 6 divide p?
False
Let i(d) be the third derivative of d**6/120 - d**5/5 - 7*d**4/24 + 7*d**3 - 34*d**2. Does 16 divide i(15)?
False
Suppose 0 = 44*p - 7188 - 120500. Let v = p - 1368. Is v a multiple of 26?
True
Let w(q) be the first derivative of q**4/4 - 2*q**3 - 4*q**2 + 12*q + 19. Let n be w(7). Suppose -n*x = -9 - 101. Is x a multiple of 11?
True
Suppose 5*d = 4*n - 22, 2*n + 9*d = 4*d - 4. Suppose n*l - 15 = 0, 5*r = -2*l + 14 + 206. Is 3 a factor of r?
True
Is 9 a factor of -4 + ((-13236)/(-10))/(-6 + (-1599)/(-260))?
True
Let d be 1 + 108 + (-24 - -20). Suppose 3*f = -5*i + d, f - 13*i - 24 = -11*i. Does 6 divide f?
True
Let i(m) = -6*m - 10 + 1 - 1 + 8*m - 6*m**3 + 4*m**2 - 6*m. Is i(-3) a multiple of 2?
True
Suppose 3*c - 34 + 4 = 0. Suppose 0*v = -5*v + c. Suppose 3*p - 325 = -v*p + 5*q, p - 55 = -q. Does 15 divide p?
True
Let y(k) = -41*k**3. Let d be y(-1). Let u = 46 - d. Suppose b + 3*b = 3*g - 49, 0 = 3*g - u*b - 47. Is g a multiple of 4?
False
Suppose 15*o - 63 = 6*o. Let k = -2 + o. Suppose 0*y - 215 = -k*y. Is y a multiple of 4?
False
Suppose 13*y = -38*y + 710889 + 106131. Is 14 a factor of y?
False
Let g be (0/(-4))/(1 + 0). Let o be (-1204)/(-84) - (g - 4/6). Suppose -4*j + 1 + o = 0, -r = -5*j + 3. Does 3 divide r?
False
Let c = -16974 + 32956. Does 122 divide c?
True
Let v(k) = -196*k - 468. Does 17 divide v(-10)?
False
Let z = 5947 + -5433. Is z a multiple of 14?
False
Let q(f) = 3 - 636*f**3 + 65*f - 3 - 64*f. Let d be q(1). Does 15 divide (-24)/(-96) + d/(-4)?
False
Suppose 5*t = -4*b + 1463, 3*t - 723 = 5*b + 177. Let f = -133 + t. Suppose 0*c = -c + y + f, -484 = -3*c + 5*y. Is c a multiple of 19?
False
Let s = 20613 - 18297. Is s a multiple of 4?
True
Suppose 23*x - 20500 = 300994. Is x a multiple of 107?
False
Let h(w) = -12*w + 15. Let l be h(0). Suppose l*a = 11*a + 1660. Does 5 divide a?
True
Suppose -41*l = -48*l + 28. Suppose -l*j = -3*d - 2067, -3*j - 2550 = -8*j - 3*d. Is 14 a factor of j?
False
Suppose -5*l + i = 44, 8 = -2*l + l + i. Let m = l - -9. Suppose m*k - k = -72. Is k a multiple of 8?
True
Suppose 2*j - 242 = -305*v + 304*v, 4*j + 28 = 0. Does 16 divide v?
True
Let o = -42 + 58. Let g = 37 + o. Let z = g - 22. Is 3 a factor of z?
False
Let z = -4432 - -15223. Is 9 a factor of z?
True
Let n(z) = 2*z**2 - 208*z + 1898. Does 11 divide n(10)?
False
Suppose 113*i - 118*i + 715 = 0. Suppose -6*k + i = -289. Is k even?
True
Let d = 19 - 35. Let l be (-1)/(2*2/d). Suppose l*a - 1080 = -5*a. Is 15 a factor of a?
True
Let s = -23822 + 36343. Does 125 divide s?
False
Let r be ((-1)/(9/12))/((-10)/27000). Suppose 411*p = 419*p - r. Does 25 divide p?
True
Let s = -313 - -318. Suppose 5*l = -s*n + 775, -3*n + 3*l = -0*l - 453. Is 31 a factor of n?
False
Let x(t) = 7*t**2 - 35*t - 2411. Is 177 a factor of x(43)?
True
Suppose 5*x = -4*q - 57, -8*q + 7*q + 15 = -2*x. Let g(a) = -a**3 - 8*a**2 - 2*a - 11. Does 3 divide g(x)?
False
Let r = 19738 + -16216. Does 60 divide r?
False
Let p(l) = 402*l**2 - 275*l + 1628. Is 34 a factor of p(6)?
True
Let j = 352 + -164. Suppose 8*n = 4*n + j. Is n a multiple of 4?
False
Let w(k) = 432*k - 6. Let z(j) = 2*j**2 + 29*j + 40. Let h be z(-13). Is w(h) a multiple of 19?
False
Let x be (-9)/4*-4*1. Let p = 13 - 13. Suppose p = 4*v + a - 457, 7*v - x*v - 5*a = -251. Is v a multiple of 13?
False
Let b(r) = -r**2 - 32*r - 31. Let i(y) = -y**2 - 67*y - 62. Let t(h) = 5*b(h) - 3*i(h). Is 4 a factor of t(15)?
True
Suppose -2*z + 2*c - 10 = 0, 5*z + 14 = 4*z + 4*c. Does 8 divide 10 - -71 - 8/z?
False
Let o = 1976 + -1071. Let t = o - 485. Does 7 divide t?
True
Suppose -v + f + 31929 = 0, -51*f = -v - 54*f + 31893. Is 14 a factor of v?
True
Let y(u) = -u**3 - 25*u**2 - 3*u + 2860. Is 20 a factor of y(0)?
True
Suppose -2*l - 39526 = -5*o, 2*o + 25*l - 22*l - 15799 = 0. Does 76 divide o?
True
Is (-12)/(-2) - 3/3*-372 a multiple of 9?
True
Let s = -24 - -55. Let h = s + 513. Is h a multiple of 11?
False
Suppose 0 = 110*l - 2534642 + 460042. Is l a multiple of 138?
False
Suppose -a - 66 = -243. Let c = -141 + a. Does 9 divide c?
True
Let g = 7624 + -7568. Does 13 divide g?
False
Suppose -274*k = -395*k + 1402390. Is k a multiple of 109?
False
Let k = -330 - -1126. Suppose 795*l = k*l - 1852. Does 21 divide l?
False
Suppose -4*o - 4*t + 186836 = 0, 5*o - 190755 = 5*t + 42760. Is o/264 + 1/12 a multiple of 3?
True
Suppose -28 = -4*y - 3*m, -m = -3*y - 5*m + 28. Suppose n - y = -11. Is 38 a factor of n/((-70)/592) - 1/5?
False
Let k(v) = 17*v**2 + 36*v - 41. Is 22 a factor of k(25)?
True
Let i be (-4)/2*1 + (-253)/(-1). Suppose -i = -3*d - 4*c, -5*c = d - 4*d + 260. Is 3 a factor of d?
False
Suppose 22*s - 2986 = 2118. Is s/(-10)*(27/(-6) - -2) a multiple of 11?
False
Suppose 6*o - 2*o = r - 12, 5*r + 28 = -2*o. Let f be o/3*27/(-6). Suppose -4*m = f*m - 910. Is m a multiple of 24?
False
Is 6 a factor of 26/533 - 4*787192/(-656)?
True
Is 16 a factor of 13240*(-2 - 168/(-30) - 3)?
False
Suppose 6*b - 12663 = 4*x + 28971, -4*x = -2*b + 13894. Is 9 a factor of b?
False
Let n(h) = 3*h**2 + 17*h - 9. Let p be n(-17). Let m = p - 310. Does 13 divide m?
False
Let n(h) = h**3 + 20*h**2 - 31*h - 10. Let l be (-4 + 3)*-1 - 22. Let t be n(l). Suppose -2*k + t = 3*k. Is 8 a factor of k?
True
Suppose -9*r - 98 + 656 = 0. Let v be 93/r*(-3)/((-9)/4). Is 28 a factor of 155 + -3 + (-4 - -2) - v?
False
Suppose 7*q = -353 + 17. Let z = -48 - q. Suppose 5*j - 20 = 0, z = -w - 3*j + 51 + 61. Is 25 a factor of w?
True
Suppose 5*k = 222 + 188. Let d(f) = -f**2 + 26*f - 46. Let i be d(7). Suppose k*v = i*v - 285. Does 13 divide v?
False
Is 1096/2*(8 - 504/96) a multiple of 7?
False
Suppose 4*s + 13 - 37 = 0. Suppose -s*c + 8 = -2*c. Suppose c*j + 5 = -3*j, 2*j = 3*n - 785. Is n a multiple of 48?
False
Let l(p) = -8*p - 8. Let f be l(-4). Let s = -21 + f. Suppose -z - 4*z = -s*v + 145, -4*v + 3*z = -175. Is v a multiple of 10?
True
Is 18 a factor of ((-144)/40)/(2/(-1040))?
True
Suppose -47*j + 5419 = -9*j - 62905. Is 5 a factor of j?
False
Let y be ((-544)/(-20))/(2/75). Suppose -3*b - 2*w - 610 = -w, -5*b = w + y. Is 4/((-4)/(b - -1)) a multiple of 11?
False
Suppose -2*x + 7 = -25. Let g be ((-60)/x)/(1/(-4)). Does 3 divide (10/3)/(2/g)?
False
Suppose -157 = -3*v - 5*u, 4*u = -2*v + 148 - 42. Is 2 a factor of (-171)/(-36) - 4 - v/(-4)?
False
Suppose 4*x + 6 = 5*i - 3*i, x - 5*i = 3. Suppose -l = z - 1, l + 38 = 3*z - 3*l. Is 11 a factor of 56/z*(1 + (-19)/x)?
False
Let f(n) = -n**3 + 4*n**2 + 3*n + 11. Let s be f(5). Let p(i) = 128*i - 2. Let g be p(s). Is 18 a factor of (g/15)/((-3)/(-45))?
True
Suppose 5*y + 14*u - 12*u - 10 = 0, 0 = y + u - 5. Suppose -5*k + p = -6108, y = -0*k + 4*k + 2*p - 4878. Does 37 divide k?
True
Let m(u) = 0 - 8 + 5 - 2*u + 5*u**2 - 1. Suppose -3*a - 3*b + 7*b + 12 = 0, 0 = -2*b. Does 19 divide m(a)?
False
Suppose -55*s = 2*l - 52*s - 8849, 4*l - 17748 = 4*s. Does 8 divide l?
True
Suppose 56 = -2*m + 4*m + 4*y, 0 = 2*m + 5*y - 57. Is 5 a factor of (-54)/(-351) - (-11072)/m?
False
Suppose -54*a = -24*a + 13170. Let p = a + 558. Does 7 divide p?
True
Suppose 0 = 3*u - 15, 22*s - 20*s - 5*u - 13161 = 0. Is s a multiple of 4?
False
Let z = 1495 + -973. Let g = z + -354. Does 22 divide g?
False
Suppose 5*u - 3*g - 2873 = 0, -10*g = 3*u - 5*g - 1751. Suppose 330 - 1566 = 3*y. Let q = u + y. Is 48 a factor of q?
False
Let a(w) = 12*w**2 + 2*w - 2. Let p be a(1). Suppose -5*k - p - 8 = 0. Is (-2 - k/(-10))/((-3)/90) a multiple of 12?
True
Suppose -5*y + 4*c + 11322 = 7*c, 5 = -5*c. Does 16 divide y?
False
Suppose f + 2*i = -f - 36, 0 = -5*f - 2*i - 75. Let c(g) = -g**3 - 14*g**2 - 19*g - 21. Is c(f) a multiple of 7?
False
Let v(k) = -k**3 - 77*k**2 + 484*k + 350. Is v(-83) a multiple of 28?
True
Let v(i) = -33*i - 192. Let k(t) = 16*t + 96. Let r(j) = -9*k(j) - 5*v(j). Is 12 a factor of r(4)?
True
Let a(w) = -w**3 + 3*w**2 + 3. L