= 8. Does 12 divide h?
True
Suppose 3*u - 4*p - 16 = -0*u, -5*u - 2*p = 8. Suppose -2*b - z - 32 - 56 = u, 5*b - 4*z + 246 = 0. Let y = -17 - b. Is 13 a factor of y?
False
Suppose 24*v + 12249 = 33*v. Is 16 a factor of v?
False
Let d = -1622 - -3092. Is 6 a factor of d?
True
Let y(h) = h**3 + 22*h**2 - 60*h - 651. Is 25 a factor of y(-18)?
True
Let m = 14 + 3. Suppose 0 = 5*l + m - 32. Suppose 7*r - l*r = 152. Is 12 a factor of r?
False
Suppose -6897 = -183*a + 15063. Does 30 divide a?
True
Let v(m) = m**3 + 7*m**2 - 3*m + 3. Let b be v(-7). Suppose -b*j + 12*j + 3516 = 0. Is j a multiple of 19?
False
Let r be 12/3 - (-3 - 956)*4. Suppose -28*g + r + 2880 = 0. Does 25 divide g?
False
Let r(n) = 3*n**2 - 5*n - 5. Let z be r(3). Let h(l) = -l + 12. Let b be h(z). Suppose b*v + 41 - 592 = -f, 4*f - 428 = -4*v. Is v a multiple of 31?
False
Let y(r) = -133*r + 6. Let i = 112 + -106. Suppose -4*l - i = -2. Is 33 a factor of y(l)?
False
Let c(v) = v**2 - 65*v - 7841. Does 38 divide c(-82)?
False
Let l(i) = 4*i**2 + 4*i - 13. Let x(h) = -3*h - 10. Let k(d) = -7*d - 19. Let c(j) = -4*k(j) + 10*x(j). Let a be c(-9). Is l(a) a multiple of 17?
False
Suppose -4*u = g - 5*u - 98, 0 = g - 4*u - 113. Is ((-7)/4)/(g/(-372)) even?
False
Let z(h) = -66*h - 14. Let t(l) = -l - 1. Let w(s) = -2*t(s) + 2*z(s). Is w(-10) a multiple of 13?
True
Suppose 0 = b - 8 + 1. Suppose b*v - 3*v = 236. Is 4 a factor of v?
False
Suppose -37*l = -27*l. Suppose 5*b - 341 = 2*p, l = -6*b + 4*b - 2*p + 142. Is 3 a factor of b?
True
Is 11 a factor of (-45)/((-4)/(-2376)*-15)?
True
Suppose 82445 = 4*l - c, -27*l - 2*c = -31*l + 82438. Is 199 a factor of l?
False
Suppose 5*d - 16166 + 4172 = -4*u, -d + 6 = 0. Does 10 divide u?
False
Suppose -363*q + 19940 = -360*q + 2*i, 4*q = -4*i + 26580. Is q a multiple of 125?
False
Let k(o) = 3*o**2 + 8*o - 8*o**2 + 3*o**2 + 10 + 4*o**2. Let c be k(-7). Suppose 0 = 4*g + 4*v - 96 - 88, -c = -g + v. Is g a multiple of 5?
False
Let r(b) = -b**2 - 84*b + 391. Is 9 a factor of r(-44)?
True
Let w(p) = -65*p**2 + 14*p + 23. Let s(b) = -33*b**2 + 6*b + 11. Let z(k) = -5*s(k) + 2*w(k). Is 23 a factor of z(4)?
False
Let j = -1583 + 4472. Suppose -j = -7*y - 2*y. Does 19 divide y?
False
Suppose 718 = -s - 2*a + 204, -4*a + 1572 = -3*s. Let r(j) = j**2 + 11*j + 6. Let o be r(-10). Does 26 divide 2/((20/o)/s)?
True
Let r(k) = -5*k**3 + k**2 + 1. Let m be r(1). Let b be -1 - -2 - (-153)/m. Let n = 96 + b. Is n a multiple of 7?
False
Let h(t) = 33*t**2 - 10*t - 11. Let u be h(-1). Let r = -5 + 9. Suppose -3*b + 4 + u = q, -r*q - 3*b + 189 = 0. Is 12 a factor of q?
False
Suppose 5*d - 12987 + 502 = 2*o, -3*d = o - 7480. Suppose 5*v = -2*t + 2490, -4*v - v + d = t. Is v a multiple of 10?
True
Is 362 a factor of 565190/25 - (-732)/305?
False
Let g(a) = -104*a - 1364. Is g(-23) a multiple of 2?
True
Let k(g) = g**3 + 8*g**2 + 6*g - 4. Let j be k(-7). Suppose -52 = -j*n + 104. Let h = n + -46. Is 3 a factor of h?
True
Let i(x) = -86*x + 74. Let j = -258 - -253. Is 42 a factor of i(j)?
True
Let a be 2/22 + (-6240)/33. Let d = a + 777. Is 22 a factor of d?
False
Let s = 196 + -446. Let k be 60/(735/s + 3). Suppose -3*x = -8*x + k. Does 8 divide x?
True
Suppose 4 = j + 4*k + 5, -2*j = -k - 7. Let d(v) = -v**3 - 8*v**2 + 4*v + 11. Let f be d(-9). Suppose -2*a + 4*n - f = -j*a, a = 5*n + 20. Is a a multiple of 6?
False
Let o(c) be the second derivative of 0 - 6*c + 13/3*c**3 + 4*c**2. Is o(7) a multiple of 38?
True
Suppose 2*x = l + 4*x + 50, -12 = 3*x. Let b(a) = -9*a + 18. Let y be b(8). Does 22 divide (l/4)/(y/792)?
True
Suppose -4*x = 2*p - 9308, 527*x - 531*x - 13972 = -3*p. Does 48 divide p?
True
Suppose 5*b - 7582 = 41*l - 37*l, 0 = 5*b + 2*l - 7594. Is b a multiple of 25?
False
Suppose b - 4 = 0, 0 = -l + 5*l + 4*b - 16. Let i(t) = -t**2 - 2*t + 317. Is i(l) a multiple of 19?
False
Suppose 3*x - 4*x + 4*p = -12299, 0 = -5*x - 4*p + 61543. Does 24 divide x?
False
Is 6 a factor of (((-4)/6)/((-20)/234))/((-919)/(-18380))?
True
Is (-136 + 162)/(1/40) even?
True
Suppose 46*u - 1410787 + 155932 = -59*u. Does 47 divide u?
False
Let x(n) = 3*n - 24. Let p be x(10). Suppose 11*y - p*y - 15 = 0. Suppose -y*l - 4*h - 41 = -192, -5*l - 3*h = -270. Is 19 a factor of l?
True
Let v(s) be the third derivative of -s**4/8 - 5*s**3/3 + 26*s**2. Let p be v(3). Let n(u) = u**3 + 20*u**2 + 19*u + 18. Is 3 a factor of n(p)?
True
Let g(j) = -j**3 + 42*j**2 - 73*j + 10. Is 13 a factor of g(31)?
False
Let n(x) = 3*x**3 + 2*x**2 - 73*x + 284. Does 2 divide n(5)?
True
Let v = 5100 + -3883. Is v a multiple of 7?
False
Let q = -1385 + 1992. Let u = q + -396. Is 14 a factor of u?
False
Is 7 a factor of (-7 - -8) + 8 + 896?
False
Let g = 99 + -87. Suppose -16 = 5*i + 3*s, 4*s = -5*i + 3*s - g. Does 8 divide i*1*(-22)/4?
False
Does 26 divide 39/130 + 2691/30?
False
Suppose 9 = g - 5*o, -g - 12*o + 13*o + 5 = 0. Suppose -g*x - 13 = -809. Is x a multiple of 47?
False
Suppose -4*z = t - 119094, 61*z = 57*z + 3*t + 119070. Does 24 divide z?
False
Let j = 115 - 79. Suppose j = 4*n + l + 1, -n - 4*l - 10 = 0. Is (-1780)/(-50) + -1 + 14/n a multiple of 8?
False
Let n = 435 - 431. Suppose -48 + 618 = 2*g + 4*v, 0 = n*g - 3*v - 1107. Does 9 divide g?
True
Suppose 1004550 = -215*l + 396*l. Is l a multiple of 25?
True
Let w(y) = y. Let r(q) = 49*q**2 + 5*q + 5. Let u(m) = 2*r(m) - 4*w(m). Does 26 divide u(-2)?
True
Let x = -10316 + 15984. Is 15 a factor of x?
False
Suppose -224905 = -4*p - 57*u + 54*u, -2*u = -5*p + 281114. Is p a multiple of 110?
False
Suppose k = 5*a + 467 + 1610, 4*k - 2*a - 8326 = 0. Suppose 0 = 2*w - 2*t + k, -4*t - 1038 = w - 2*t. Is (-10)/(-4) + w/(-32) a multiple of 4?
False
Let j(g) = 62*g**2 - 965*g + 22. Does 40 divide j(22)?
True
Suppose -45 = -6*g + g. Let b(v) = 2*v**3 + 14*v**2 - 134*v - 26. Let x be b(-11). Suppose j - x = -g*j. Is j a multiple of 29?
False
Suppose 0 = 20*d - 27*d + 4270 + 11249. Is d even?
False
Let d = -163 - -156. Let f(h) be the second derivative of -h**5/20 - h**4/2 - h**3/6 + 4*h**2 - h. Is f(d) a multiple of 16?
True
Suppose -m - 1 = 9. Let s = m + 12. Suppose -33 = -x - 3*v, 0*x + 66 = s*x - 3*v. Is x a multiple of 11?
True
Suppose 0*n - 3*n = g, -2*n = 3*g. Suppose 28 = 4*c + 4*t, -3*t + t + 10 = g. Suppose -2*l + 3 = c*w - 5, -5*l = -w + 28. Is w a multiple of 4?
True
Let y(n) = -5*n**3 - 35*n**2 + 19. Let c(a) = -2*a**3 - 16*a**2 + 9. Let o(t) = -7*c(t) + 3*y(t). Suppose -3*u + 5 = -10. Is o(u) a multiple of 44?
True
Let x = 215 - 210. Suppose x*o = -3*v + 120, o + 4 = -2*v + 21. Does 4 divide o?
False
Let n(v) be the third derivative of 2*v**3 + 0 + 10*v**2 + 0*v - 1/60*v**5 - 13/24*v**4. Is 36 a factor of n(-9)?
False
Let f(k) = -23*k**3 + 4*k + 7. Let d(x) = -4 - 5*x + x + x + x + 12*x**3. Let a(g) = 7*d(g) + 4*f(g). Is 13 a factor of a(-2)?
False
Does 18 divide 5570 + -13 + (-66)/(-3)?
False
Let p = -251 - -256. Suppose -5*u + 11*y + 1145 = 8*y, 5*u - 1185 = -p*y. Is 29 a factor of u?
True
Let k = 1378 + -2684. Let a = 2172 + k. Is a a multiple of 13?
False
Suppose 0 = 4*z + 3*y - 26, 3*z - 8*z = 5*y - 35. Let d(t) = t**3 + 2 - 1 + 0*t**3 + 16*t + z*t**2 - 19*t. Does 6 divide d(-4)?
False
Let q(r) = -r - 8. Let y be q(7). Let x(n) = 6*n**3 - n**2 - 2*n. Let d be x(-3). Does 20 divide 2/y + (-3322)/d?
True
Let h(j) = -j**3 - 24*j**2 - 45*j - 32. Let m be h(-22). Does 32 divide 3234/9*(75/m)/(-5)?
False
Let h(i) = 2*i - 18. Let w be h(14). Suppose o + w*o = 748. Is o a multiple of 4?
True
Let o be (8/(-6))/(4*(-6)/468). Suppose z - 4*n - o = 7, 3*n = 12. Is z even?
False
Let o(q) = q**2 + 7*q + 9. Let z be o(-4). Let j(s) be the first derivative of -5*s**2/2 + 6*s + 1. Does 9 divide j(z)?
False
Suppose 0 = -i - 3*q - 12, -3*i = 2*q - 6*q - 16. Suppose i = -s + 4*w - 4 + 13, 0 = -3*s + 4*w + 19. Is s even?
False
Let x be (75/10)/((-2)/(-4)). Let f be (96/x)/8*30/4. Suppose 2*k + 3*k - 4*h = 113, 0 = -2*h + f. Does 25 divide k?
True
Suppose 0 = a + 3*a. Suppose 31*p - 32*p - 58 = a. Let c = p - -102. Is c a multiple of 11?
True
Let r(d) = d**3 + 15*d**2 - 15*d - 1. Let c be r(-16). Let l(y) = y**2 + 14*y + 9. Is 5 a factor of l(c)?
True
Let a(v) = -v**2 - 23*v - 32. Let g(t) = -t**2 - 25*t - 33. Let c(d) = -4*a(d) + 5*g(d). Is 8 a factor of