 4*b - 44 + 104. Let i = 24 + b. Suppose i*d + d = 540. Does 8 divide d?
False
Suppose -256*q - 431408 + 1398320 = 0. Is 38 a factor of q?
False
Let o(p) = 3*p**3 - 10*p**2 + 11*p + 78. Is o(9) a multiple of 7?
True
Suppose -67410 = 459*k - 494*k. Is k a multiple of 18?
True
Let a(u) be the first derivative of 11/3*u**3 - 9*u + 3/2*u**2 + 28 + 1/4*u**4. Does 24 divide a(-8)?
False
Let h be ((-198)/(-21) + 6)*14/4. Is 35 a factor of (144/h)/(8/348)?
False
Let h = 6882 - 392. Is 9 a factor of h?
False
Suppose 0 = -16*p + 45 + 3. Suppose 4*t + 52 = p*g, g = -0*g - 3*t. Suppose g + 4 = 2*h. Is h even?
True
Suppose -8 = -3*u + 5*u. Let x be u/(-3) + (-5140)/(-15). Suppose 4 = y, 2*w + 2*y - x = -0*y. Does 42 divide w?
True
Let p(i) = 4*i**2 - 10*i + 8. Let s(b) = b**2 - b. Let a(d) = p(d) - 5*s(d). Let f be a(4). Is 34 a factor of (-945)/f + (-1)/(-4)?
True
Suppose 14*v + 20487 = -6*v + 232607. Is v a multiple of 55?
False
Let r be -2 - (-74 + (6 - (-6)/(-2))). Suppose -3*v + 231 = -r. Let s = v + -54. Is s a multiple of 12?
False
Suppose 0 = l + 703 - 721. Suppose 0 = 4*m + 5*i - 406 + l, 0 = -5*i + 20. Does 4 divide m?
True
Let w(l) = 17*l**2 - 4*l + 66. Does 59 divide w(14)?
False
Suppose 3*x + 4*i = 3*i + 67, -5*x + 3*i + 107 = 0. Is 10 a factor of (-27 + x)/(1/(-34))?
True
Let p be (-15)/6 + 1/(-2) + 7. Let m = p + 238. Is m a multiple of 15?
False
Let o(a) = -4*a**2 + a - 2. Let u be o(1). Is ((380/6)/u)/(6/(-63)) a multiple of 16?
False
Let a be 5682 - 24 - (-1 - -1). Suppose -a - 2350 = -13*j. Is 11 a factor of j?
True
Suppose 6*d + 84 = -210. Let b = d + 57. Let v = 6 + b. Is 7 a factor of v?
True
Let i = 460 + -457. Suppose 1156 + 313 = 5*p - 3*y, 5*y = i*p - 891. Is 33 a factor of p?
False
Let c(z) = -58*z**2 - 2*z + 10. Let s be c(-3). Let y = -378 - s. Does 44 divide y?
False
Let f = 83 - 97. Let c be 220/f - (-20)/(-70). Is c/(-6) + -3 + 535/3 a multiple of 14?
False
Suppose 32*g - 41 = 215. Is 1/((-7)/(-186))*(g + -1) a multiple of 43?
False
Let l be (3/5)/3 + (-745)/(-25). Suppose 26*w - l*w + 252 = 0. Is w a multiple of 2?
False
Let l = -144 - -265. Suppose -l = -10*g - 1751. Let f = 307 + g. Does 18 divide f?
True
Suppose -2*v = -2*t - 40910, -310*t - 40925 = -2*v - 311*t. Is v a multiple of 30?
True
Let q = 6809 - 6557. Is q a multiple of 42?
True
Suppose -64*l - 29220 = -69*l. Suppose 14*v - l = 8*v. Is v a multiple of 47?
False
Let p(v) = -1147*v + 1. Let y be p(-1). Let r = y + -558. Suppose 5*c + 5*x - 560 = -0*x, 5*c - x - r = 0. Is c a multiple of 29?
False
Is ((-17)/(-4))/((2/40)/((-21912)/(-440))) a multiple of 17?
True
Let k(q) = q**3 + 5*q**2 - q - 12. Let g be k(-4). Let x = 5 + g. Suppose 200 = x*r - 9*r. Is r a multiple of 10?
True
Suppose -130*k = -1130989 + 47735 + 217194. Does 30 divide k?
False
Is 200 a factor of ((-99)/99)/(1/(-3000))?
True
Suppose -2*o = 2*n - 3*n - 2494, -4998 = -4*o - 3*n. Is 12 a factor of o?
True
Let r(m) = 15*m**3 - 5*m**2 + 7*m - 3. Let v be r(1). Suppose -v*t = -8*t - 1572. Does 29 divide t?
False
Is (108/(-12) - 1) + 1288 a multiple of 8?
False
Suppose -14*u - 20132 = -96068. Does 40 divide u?
False
Let z(p) = p**2 - 2*p - 3. Let t be z(3). Suppose -5*u + t*u - 47 = 3*g, 5*g - u + 97 = 0. Let c(n) = n**3 + 22*n**2 + 55*n + 12. Does 15 divide c(g)?
False
Let x(z) = -z**3 + 3*z**2 + z - 7. Let k be x(3). Let d be (4148/(-36) - 4) + k/(-18). Is -6 + 7 - (d - 0) a multiple of 10?
True
Let i be (-2)/(-11) + -7 + 14856/88. Does 9 divide i - -26 - (-3 - (0 + -2))?
True
Let z = 50812 + -28042. Does 230 divide z?
True
Let a = -227 + 422. Suppose -a = 20*l - 2115. Is 16 a factor of l?
True
Suppose 4*z + 0*z + 16 = 2*q, 0 = 3*q + 2*z. Is 8 a factor of 1566/6 + q + -2 + 3?
True
Suppose 0 = j + 4*s - 30, 4*s + 90 = 4*j + 5*s. Let a = j + 56. Is a a multiple of 3?
True
Suppose 13*c - 1358 = 11*c. Suppose 277 = -2*i + c. Is 13 a factor of i?
False
Is 34 a factor of 1 + 312442/91 - (18/(-14))/(-3)?
True
Does 49 divide (136269/(-36))/((-105)/(-40) - 3)?
True
Suppose 4*w = -3*t + 32064, 4*t - 23*w + 25*w - 42772 = 0. Does 30 divide t?
False
Suppose 0 = 2*q - 7*q + 160. Suppose 800 = 3*f + 4*y, 84*f - 1052 = 80*f + 2*y. Does 9 divide (f/q)/(3/12)?
False
Suppose -5*s + 40 = 2*k, 5*s - 30 = -4*k + 30. Let b(i) = 28 + 12 - 20 + 8*i - 36 - 45. Is b(k) a multiple of 13?
False
Suppose -2*x + 2*a = -6530, -32*x + 2*a = -28*x - 13052. Does 16 divide x?
False
Let h(d) = -46*d**3 - 13*d**2 - 9*d - 5. Let b(w) = 15*w**3 + 5*w**2 + 3*w + 2. Let x(t) = -11*b(t) - 4*h(t). Is x(2) a multiple of 16?
True
Suppose 4*d = 17*d - 36*d + 196282. Is d a multiple of 79?
False
Suppose 47927 = -112*a + 275175. Is 4 a factor of a?
False
Suppose -7*h - 1 = l - 4*h, 4*l - 2*h = -18. Let c be (-24 + l)*(3/(-6) - -1). Let v = c - -195. Is 38 a factor of v?
False
Let c = -3916 + 2362. Let g = -844 - c. Does 16 divide g?
False
Let d(f) = -20*f + 44. Let s(c) = -2*c**2 + 12*c - 17. Let i be s(6). Does 50 divide d(i)?
False
Let d = 1521 - -1271. Is 44 a factor of d?
False
Suppose 8*p + 44 = 19*p. Suppose 7*c - p = 5*c, h = 3*c + 133. Is h a multiple of 22?
False
Let a = -6522 + 14778. Is 24 a factor of a?
True
Suppose -891 = -3*v + i, -4*v - 3*i + 594 = -2*v. Let g = -224 + v. Is g a multiple of 6?
False
Let m = -6557 + 6620. Does 63 divide m?
True
Suppose -428 = 3*v - 446. Is 41 a factor of 28/v*1476/14?
True
Let s(j) = j**3 + 9*j**2 + 5*j - 15. Let v be s(-8). Let m(b) = -4*b + 18. Let k be m(v). Does 28 divide 60/k*42/(-5)?
True
Let y = 419 - 406. Suppose y*u - 20660 = -7*u. Is 27 a factor of u?
False
Suppose 9*d - 14124 + 2201 = 13052. Does 3 divide d?
True
Is (13 + -11)/((-12)/(-194904)) a multiple of 9?
False
Let q(y) = -3*y**3 - 2*y**2 - 6*y - 30. Is q(-5) a multiple of 5?
True
Let z = -43 + 41. Let x(y) = 15*y**2 - 3*y - 5. Let u be x(z). Let g = 109 - u. Does 8 divide g?
True
Let m = -18104 - -33529. Does 213 divide m?
False
Let u = 7 + -21. Let s(i) = i - 1. Let d(j) = 11*j - 22. Let w(h) = -d(h) + 4*s(h). Is 29 a factor of w(u)?
True
Suppose -v - 67 = -r + 2*v, -4*v = r - 60. Let w be (r/10)/(6/45). Suppose -10*f - w = -558. Is f a multiple of 9?
False
Let t(v) = -2*v. Let r(x) = 42*x + 131. Let l(d) = r(d) + 6*t(d). Is l(22) a multiple of 42?
False
Let f(j) = -j**3 + 3*j**2 - 8*j + 12. Let m be f(3). Is 13 a factor of (-1303)/(-2) - (m - 319/(-22))?
False
Let d(k) = -3*k**2 + 6*k - 1. Let a be d(2). Let h = a - 30. Let o = -14 - h. Is o a multiple of 12?
False
Suppose -5*d + 1582 = y + 538, -3*y + d + 3212 = 0. Let o = y - 342. Does 24 divide o?
False
Let k be 3/(-9)*(2 - 2). Suppose 4*b + 2*j - 4*j = k, 3*b - j = 2. Does 4 divide (-16)/(((-5)/30)/(b/4))?
True
Is 78 a factor of 486/1215 + 226786/10?
False
Let s(a) = -a**3 + 15*a**2 + 13*a - 195. Let h be s(15). Suppose 3*d - 7*d - 3*n + 3708 = h, -2*d = 5*n - 1854. Is 9 a factor of d?
True
Let a(g) = -g**2 - 1. Let v be 0/2 + (-14 - -15). Let i be a(v). Let b = i - -168. Is b a multiple of 41?
False
Suppose -2*n = j + n, 4*j - 5*n = 0. Suppose 16*k - 18*k + 62 = j. Let h = 44 - k. Is 4 a factor of h?
False
Let p(s) = 23*s + 57. Let r be p(0). Suppose -2*i + 156 = i. Let v = i + r. Is v a multiple of 14?
False
Let s(d) = -6*d - 201. Let n be s(-33). Is 5 - (-280 + -3) - (-9)/n a multiple of 5?
True
Let c(u) = 3*u - 12. Let j be c(9). Let p be -4 + 2 - j*16. Let i = 480 + p. Is 21 a factor of i?
False
Let d = 14150 - 8350. Is d a multiple of 25?
True
Let b(v) = 30*v**2 + 16 - 8*v + 32*v**2 - 60*v**2. Let t be b(4). Is 23 a factor of (t/4 + -7)/(3/(-92))?
True
Let w(b) = b**3 + 5*b**2 + 2*b - 9. Let l be w(-7). Suppose 0 = 103*m - 148*m + 11610. Let q = m + l. Does 11 divide q?
False
Suppose 5*b = a - 0*a + 74206, 5*a = -2*b + 29677. Does 12 divide b?
False
Let h = -41 - -43. Suppose z - 4*m - 25 = 0, 4*z - h*m = 2*m + 40. Does 23 divide 352/z - 22/55?
False
Let c(i) = 105*i**2 + 308*i + 2410. Is c(-8) a multiple of 101?
True
Let b(x) = -19*x**3 - 202*x**2 - 9*x + 19. Does 19 divide b(-14)?
False
Let j = 3650 - 2752. Does 37 divide j?
False
Let y(v) = 2*v**3 + 15*v**2 - 16*v - 84. Does 21 divide y(13)?
False
Suppose -4*t - 35 = 2*d + t, 0 = -d + 3*t - 34. Let l = 27 + d. Suppose -1194 + l = -8*r. Is r a multiple of 10?
False
Let r = 27 - 22. Suppose -5*l - r*x - 445 = 0, 2*l 