 - 6*c**s + 13*c**2 + 38*c**2 + 8*c. Is h(-2) a multiple of 22?
False
Let g = 2610 + -2345. Does 20 divide g?
False
Suppose -11*a = -12*a - 8. Let j(d) = -d**3 - 6*d**2 + 9*d + 4. Is 6 a factor of j(a)?
True
Is (-945)/(-54)*(-3 - (-2823)/5) a multiple of 65?
False
Let l(d) be the third derivative of 11*d**9/6720 - d**8/20160 + d**6/720 - d**5/10 - 12*d**2. Let y(m) be the third derivative of l(m). Does 17 divide y(1)?
False
Does 316 divide -6 + 15192 + 2 - 2*(-42)/12?
False
Let r(k) = 2*k**3 - 16*k**2 + 9*k + 50. Suppose -8*p = 3*p - 121. Does 17 divide r(p)?
False
Does 5 divide (98/147)/(0 + (-6)/(-9063))?
False
Let u(q) = 193*q**3 + q**2 + q - 3. Let v be u(1). Suppose -2*z + v = 6*z. Is z a multiple of 14?
False
Let c be ((-273)/(-28))/(-13) + (-503)/(-4). Let i = -120 + c. Let v(s) = 21*s - 7. Is 9 a factor of v(i)?
False
Let a(v) = v**2 + 32*v - 38. Let q be a(-34). Suppose -28*g - 1096 = -q*g. Is g a multiple of 11?
False
Suppose -3*f - 4*f = 49. Does 20 divide 1 + 1312/6 - f/21?
True
Suppose 737 = 7*r - 8*r + 5*i, -r - 3*i = 745. Let y = 2692 + r. Is y a multiple of 78?
True
Let r = 171 + -80. Let f = -87 + r. Suppose 123 = f*j + 2*p - 1001, -4*j + 1126 = 3*p. Is j a multiple of 28?
True
Let j(s) be the second derivative of s**4/12 - s**3/6 + 135*s**2/2 + 10*s. Suppose -14*v = 10*v - 4*v. Is 15 a factor of j(v)?
True
Let l(s) = 274*s**2 - 52*s + 30. Is 29 a factor of l(-14)?
True
Suppose 5*u - n - 6984 = 2940, -u + n = -1988. Does 62 divide u?
True
Is 21 a factor of (1668/18 - 2/(-6))/((-210)/(-14840))?
False
Let q be 5 + 6 + 101 - 3. Suppose -h = -5*c + 597, 2*c + 5*h - q = c. Does 17 divide c?
True
Let b = -67 - -65. Let g = b + 1. Let k(a) = -68*a - 3. Does 13 divide k(g)?
True
Suppose 6986 = -39*b + 9998 + 18516. Is b a multiple of 14?
False
Suppose 0 = 5*b - 21*q + 23*q - 2643, 0 = -2*q - 2. Is 4 a factor of b?
False
Suppose 157 = 3*s - 86. Suppose -s = l - 4*l. Suppose 0 = 28*w - l*w - 15. Is 15 a factor of w?
True
Let t(m) = m**2 + 11*m + 7. Let q be t(-19). Let s = -49 + q. Is 22 a factor of s?
True
Let w(m) = -88*m**3 - 2*m**2 + 2. Does 4 divide w(-1)?
True
Let p = 141 - 82. Suppose 61*d = p*d + 148. Does 7 divide d?
False
Is (-210 + 93)/((-9)/858) a multiple of 39?
True
Let c(k) = 7*k**3 + 12*k**2 + 15*k + 28. Let b be c(-12). Is 60 a factor of b/(-28) - 4/(-14)?
False
Let c = 326 + -324. Suppose -r + c*r - 5*t - 113 = 0, -500 = -4*r - 4*t. Does 3 divide r?
True
Suppose 5*w - p - 99050 = 0, -7*p + 5*p - 59437 = -3*w. Does 30 divide w/30 + (-15)/50?
True
Suppose 51 = 16*b - 13. Suppose -5*k = g - 132, 5*k - 24 = -b*g + 429. Does 6 divide g?
False
Let v = -16030 - -27403. Is v a multiple of 94?
False
Suppose 4 - 13 = -3*o. Let t be (-22 - -26) + (5 - 4). Suppose -5*p - 3*d + t*d = -634, o*p - 372 = 4*d. Is 16 a factor of p?
True
Let f(a) = -a**2 - 16*a - 16. Let x be f(-15). Let k be (36/(-12))/(1/x). Does 19 divide 0/(-1) + 201/k?
False
Suppose 4 = -3*c - 4*m + 42, 5*c - 52 = -m. Let q be (-8 - -16)/(4/c). Suppose 4 = 2*i - q. Does 4 divide i?
True
Suppose -7*t - 2*p - 45806 = -11*t, 3*p = 4*t - 45805. Is 14 a factor of t?
True
Suppose z - 134935 = -4*x, -10*x - 12*z + 10*z = -337340. Does 45 divide x?
False
Suppose 13*y + 32*y - 89685 = 0. Does 7 divide y?
False
Suppose -62*v + 354150 = -12*v. Does 106 divide v?
False
Suppose 0 = 43*a - 15*a. Suppose -g + 0 + 147 = a. Is 21 a factor of g?
True
Let d(n) = -10*n**2 + 16. Let m(v) = 9*v**2 + v - 15. Let b(y) = 3*d(y) + 4*m(y). Let r be b(6). Suppose 4*l - r = z, 0*l + 298 = 5*l + 2*z. Does 8 divide l?
False
Let p(b) be the third derivative of 41*b**4/24 + 5*b**3/2 - 3*b**2. Let i be p(5). Suppose 7*y + o = 4*y + i, -o + 292 = 4*y. Is 12 a factor of y?
True
Suppose -1672*r = -1701*r + 399823. Is r a multiple of 13?
False
Let c(l) = l**2 + 2*l - 12. Let i be c(-5). Suppose -i*o = -113 + 65. Let y(d) = 9*d + 48. Is y(o) a multiple of 42?
False
Let v(t) = 2*t**3 - 63*t**2 - 31*t - 25. Let i be v(32). Does 14 divide -1*27*(i - 15 - 6)?
True
Let m be 4/14*1 + (-3648)/(-21). Let c = m - 116. Let x = c - 28. Is 5 a factor of x?
True
Suppose h - 460 = -4*h. Let p be 41 + 2 + 10 - 6. Let c = h - p. Is c a multiple of 18?
False
Suppose 0 = -75*j + 451262 + 122488. Is 17 a factor of j?
True
Suppose 150*h - 314602 = 157298. Is h a multiple of 8?
False
Let w(v) = 1032*v + 6627. Is w(24) a multiple of 295?
False
Let r(h) = -9*h**2 - 31*h - 184. Let y(z) = 5*z**2 + 15*z + 93. Let p(n) = 6*r(n) + 11*y(n). Does 12 divide p(-11)?
False
Let q(s) be the second derivative of s**5/10 + 19*s**4/6 - s**3 + 5*s**2 + 32*s. Is q(-17) a multiple of 33?
False
Suppose -16856 = 3*m - 6*m - 2*k, 5*m - 4*k = 28086. Does 53 divide m?
True
Let d = -366 + 218. Let n be 60/14 - (-5 + d/(-28)). Suppose -382 + 66 = -n*k. Is 16 a factor of k?
False
Let k(v) = -v + 2. Let h be k(-2). Let b be 100/16 - 1/h. Suppose -b*g = -0*g - 144. Does 8 divide g?
True
Let n(x) = 2*x**3 + 49*x**2 + 25*x + 52. Suppose -139*m + 48 = -141*m. Is 7 a factor of n(m)?
True
Let u(z) = -z**2 + 2*z. Let n be u(0). Suppose n = 4*k - 0*k - 32. Suppose 4*a = 148 - k. Is 7 a factor of a?
True
Let v = 1715 - 1112. Let n = v - 189. Is n a multiple of 23?
True
Let o = 52 - -229. Does 71 divide (o - -1)*(-28)/(-12)?
False
Suppose 2*u + 3331 - 23387 = -2*o, 3*u = 2*o - 20031. Is 120 a factor of o?
False
Suppose 2*o - 3*o = 0. Let n(v) = v**2 - 139. Let d be n(o). Let q = 262 + d. Is q a multiple of 28?
False
Let c(k) = 0 - 2 + 9*k**2 + 0*k + k + 26*k**2. Let x be c(2). Let w = x - 22. Is 22 a factor of w?
False
Let g(w) = w**2 + 43*w + 16. Let m be g(-8). Let h = 693 + m. Is h a multiple of 39?
True
Suppose 2*w - 1283 = 869. Let n be (-4)/(-10) - w/(-10). Suppose 2*d = 6*d - n. Is 11 a factor of d?
False
Suppose -33 - 21 = -18*a. Suppose 0 = -5*h, 2*s - 920 = -a*s + h. Suppose -9*y + s = -y. Does 9 divide y?
False
Suppose 27*f - 375817 = 3317. Suppose 3*z + 11*z = f. Is 59 a factor of z?
True
Suppose -115770 = 60*n - 94*n. Is 36 a factor of n?
False
Suppose 11*t + 20 = -57. Let h = -42 - t. Does 16 divide (4 + 590/h)*(-112)/6?
True
Let d(v) = -2375*v**3 - v**2 - 17*v - 15. Is 108 a factor of d(-1)?
True
Suppose -3*p = 142 + 11. Suppose -3*w - 8 = 5*t - 366, -3*t = 2*w - 237. Let g = p + w. Is g a multiple of 12?
True
Suppose -3*c - 71 = 4*x + 64, x + c = -34. Is 54 a factor of (5 + -1385)*x/44?
False
Suppose 96*j - 997764 = 23*j. Does 201 divide j?
True
Suppose 13*t - 2*t = 0. Suppose t = 52*o - 45*o - 8533. Is o a multiple of 53?
True
Is 7 a factor of (66/14)/((-56)/(-40376))?
False
Suppose 80 = 4*b - 3*g, -38 = 3*b + 4*g - 123. Suppose -h + b*p + 24 = 20*p, 0 = -4*h - 3*p + 81. Does 2 divide h?
False
Is 170 a factor of 748/(-11)*5/(-1)*1*29?
True
Is ((-1188)/(-14))/((-102)/(-12376)) a multiple of 117?
True
Let d be (-27)/18 + 1*(-134)/(-4). Suppose 0 = 144*s - 140*s - d. Suppose s*g - 27 = 69. Is g a multiple of 12?
True
Let r(p) = 58*p - 47. Let w be r(9). Suppose 4*a - w - 109 = 0. Does 25 divide (-4)/(-6) + a/6?
True
Let w be (1/(-5))/((-61)/(-305)). Does 3 divide ((-184)/w)/4 - -6?
False
Suppose 6 = -2*i + 2*u, 4*i + 2 = -4*u + 14. Suppose 2*k - 50 - 72 = i. Let d = 79 - k. Is d a multiple of 18?
True
Suppose -4*x + 10*x - 4044 = 0. Suppose -4*b = -2*q + x, 0*b + 343 = q + 4*b. Does 12 divide q?
False
Let i = 4538 + 2362. Is i a multiple of 69?
True
Let z(h) = 7*h - 16. Let m be z(2). Does 73 divide (9/m)/(1*(-3)/292)?
True
Suppose 13*j - 11*j - 284 = 0. Let z = 243 - j. Suppose 5*o - 96 = 4*a + z, -2*o + 65 = 3*a. Is o a multiple of 28?
False
Suppose 26*v = 6973 + 515. Is 6 a factor of v?
True
Suppose -2292 = -438*n + 426*n. Is 5 a factor of n?
False
Let o(j) = -j**3 - 12*j**2 - 12*j + 10. Let w be o(-11). Let n = -21 + w. Suppose -3*c + 4*b = -149, -3*c + n*b - 2*b = -137. Is c a multiple of 19?
False
Let k = 3408 + 101. Is 66 a factor of k?
False
Let a be 1/(-2) - 3/(36/(-42)). Suppose -2*u - 165 = -j, -u - 164 - 336 = -a*j. Is 26 a factor of j?
False
Let b = 70472 - 2470. Is b a multiple of 22?
True
Let g(c) = -2*c. Suppose -9*d = -4*d - 10. Let f be 21/d*10/(-15). Is g(f) even?
True
Let m(r) = 84*r**2 + 5*r + 81. Does 57 divide m(-9)?
True
Suppose 37*p - 309621 = -4001. Is 21 a factor of p?
False
Let x(y) = 22*y**3 - 7*y - 4*y**3 - 15*y**