*d, -2*d = 4*a - 206. Let g = 69 - a. Is 2 a factor of (-4)/g + (-526)/(-18)?
False
Let n(a) = 9*a**2 + 12*a**2 + 58 - 52*a**2 + 15*a**2 + 15*a**2 + 6*a. Does 7 divide n(0)?
False
Suppose 2*v = -5*k + 2205 + 2069, 0 = -5*k + v + 4283. Does 6 divide k?
False
Suppose 698 = 3*p + 5*d, 4*p + 4*d + 1151 = 9*p. Suppose p*t = 230*t + 108. Is t a multiple of 3?
True
Let j = 1011 + -1009. Suppose 0*f = 2*f + 6, -j*f = -l + 265. Does 49 divide l?
False
Suppose 3*l = 4*r + 7152 + 15068, 14819 = 2*l + 3*r. Is l a multiple of 22?
False
Let x = 184 + -279. Let i = -57 - x. Suppose 4*t = 5*l - 230, -5*l - 5*t + i + 147 = 0. Is 14 a factor of l?
True
Suppose 209683 + 953429 + 130323 = 67*d. Is 13 a factor of d?
True
Let p(j) = 157*j + 1928. Does 41 divide p(64)?
False
Is (-4170)/(-18)*57 + (0 - (-5)/(-1)) a multiple of 48?
True
Suppose -9 = -2*r + 1. Suppose -4*s + 38 = -r*b + 2*b, s = -2*b - 29. Let d(t) = -t**3 - 14*t**2 - 5*t - 35. Does 5 divide d(b)?
True
Suppose -38*u = -8*u. Suppose -5*c + 4*c = 4*a - 44, u = 5*a - 20. Does 7 divide c?
True
Suppose a + 5*z - 555 = 2*a, -2*z = -a - 567. Suppose 7*p + 4535 = 782 - 2393. Let j = a - p. Does 50 divide j?
False
Let p be (0 - 642/(-4))*920/345. Suppose -3*k + 39 = 2*a - 359, -4*a - p = -3*k. Is k a multiple of 34?
True
Let u(d) = 12*d**3 + 5*d**2 - 26*d + 85. Is 17 a factor of u(8)?
True
Suppose -4*t = 16, -t + 28 = 2*c - 6*t. Let n = -2 + c. Suppose 3*x - 145 = -n*x. Is 19 a factor of x?
False
Does 40 divide (-5 - -3) + 10*-223*(-6 + 1)?
False
Suppose 0 = 4*f + 6*j - 9*j + 47, -5*j + 57 = -4*f. Is (-36)/144 - (24610/f)/5 a multiple of 24?
False
Let s(q) be the second derivative of -37*q**3/6 - 4*q**2 + 5*q. Let o be s(-5). Let l = -95 + o. Is l a multiple of 41?
True
Let a(r) = r**3 + 19*r**2 + 5*r - 4. Let g be (-3)/1 - (0 + 4 + -1). Is a(g) a multiple of 40?
False
Let b(t) = -t**3 + 3*t**2 + t + 11. Let n be b(4). Is ((-1)/2)/(n/276) a multiple of 16?
False
Suppose 342 + 1310 = -4*d + 4*h, 0 = -5*d + 4*h - 2066. Let l = d - -430. Is 4 a factor of l?
True
Let p(h) = -h**3 + 4*h**2 + 75*h - 34. Suppose 2*r + s - 19 = 0, 3*r + 18*s - 25 = 13*s. Is 44 a factor of p(r)?
False
Let j be 22/5*(8 - 3). Suppose j = 2*k - 4. Is k a multiple of 6?
False
Suppose -4*j + 21 = 3*c + 10, -2*j + 16 = -2*c. Let z(w) = -21*w + 56. Does 3 divide z(c)?
False
Let u = -7477 - -14840. Is u a multiple of 37?
True
Let l = 3238 + -2088. Suppose -10*v + 2*u = -6*v - l, 260 = v + 5*u. Does 57 divide v?
True
Suppose -17*g = -6646 - 33185. Is g a multiple of 71?
True
Let a(u) be the third derivative of -u**6/40 + u**5/15 + u**4/12 - u**3/3 + 16*u**2. Let j be a(2). Is (-616)/j + 12/36 a multiple of 18?
False
Let d(s) = 3119*s - 426. Is d(3) a multiple of 171?
False
Suppose -8 = -3*a - 71. Let q(p) be the first derivative of p**4/4 + 7*p**3 - 3*p**2/2 - 11*p - 974. Is q(a) a multiple of 52?
True
Suppose -33*s + 1701 = -30*s. Let m = s - 218. Does 20 divide m?
False
Let x be (-141*3)/(5 - (-69)/(-12)). Suppose v - 125 = 2*q, 2*q + 93 + x = 5*v. Suppose 16 - v = -5*p - 4*m, 0 = 3*p + m - 73. Does 6 divide p?
False
Suppose 833987 + 2842477 = 396*z. Is 196 a factor of z?
False
Suppose 0 = 11*y - 14*y - 2*g + 241, -g = 4*y - 313. Is y a multiple of 7?
True
Suppose 9*k - 5*m - 205 = 4*k, 4*m - 58 = -2*k. Suppose 0 = -64*t + k*t + 10530. Does 39 divide t?
True
Suppose -403 = -l + 158. Let x be l/21 + 2/7. Suppose 2*d = -d + x. Is d a multiple of 7?
False
Is (116/87)/(2/(-576)*-3) a multiple of 8?
True
Suppose 3*q + 41 - 44 = 0, -y - 3*q = -3. Suppose -27*c + 2230 - 718 = y. Is c a multiple of 22?
False
Let k(a) = 2*a - 18. Let l be (-9 - -22) + (0 - 2). Let h be k(l). Suppose -h*i + 4 = -0*i, i = 3*q - 209. Is 7 a factor of q?
True
Is 6 a factor of 15480 - ((-34)/153 + 94/72*4)?
False
Suppose 3*s = -4*m + 4, -2*s = -s + 4*m + 4. Let b(c) = -c + 12 - 2*c + s*c. Does 3 divide b(6)?
True
Let h = 249 + -331. Let b = 109 - h. Is 66 a factor of b?
False
Suppose 5*q = -2*b + 1775, -8*q + 709 = -6*q + b. Let d = -302 + q. Does 11 divide d?
True
Suppose 2*b - 4 = -0. Let c be ((-324)/126)/(b/(-826)). Suppose 13*s - 17 = c. Does 16 divide s?
False
Is 70/(-4)*((-395)/10)/((-40)/(-1472)) a multiple of 14?
True
Let j(a) = a**3 + 25*a**2 + 24*a + 11. Let o be j(-24). Let g(q) = -q**3 + 24*q**2 + 2*q + 46. Is 13 a factor of g(o)?
False
Let k be 12/(-6) + 3/((-6)/(-14)). Suppose 0 = -k*f - 29 - 251. Let d = f + 59. Is 3 a factor of d?
True
Let t(x) = -103*x + 8089. Is t(23) a multiple of 157?
False
Let k(g) = -g**2 + 16. Let s be k(5). Let l = -1 - s. Is -1*0/(-3) - (-912)/l a multiple of 24?
False
Suppose -5*y + 42 = 27. Suppose -5*t - y*v + 145 = 0, 0 = -5*t + 2*v + 154 + 16. Is 29 a factor of t?
False
Suppose f - 2*x = 19, 4*f - 62 = 4*x + 14. Suppose f - 1 = 2*n. Suppose 4*l = n*l - 195. Is 39 a factor of l?
True
Let c(t) = -t**3 + 10*t**2 + 10*t + 32. Let v be c(11). Suppose 6528 = -9*m + v*m. Is 46 a factor of m?
False
Let j(y) = y + 8. Let w be j(2). Suppose 10*s - 8*s - w = 0. Suppose 5*u + 2*f - 76 = 0, -u + 2*f + s = -f. Does 7 divide u?
True
Does 9 divide 1*-574*(38/361 + 350/(-76))?
True
Let l be (0/2)/(30 + -31). Suppose l = -4*f - 0*f, -3*f = 2*u - 528. Is u a multiple of 37?
False
Suppose 1 - 1047 = 2*m. Let i = 341 + m. Let a = i + 274. Does 23 divide a?
True
Suppose 44*d + 5301867 = 453*d. Is d a multiple of 87?
True
Suppose -7 = -16*j + 25. Suppose j*y = 5*a + 767, -5*a - 1016 - 939 = -5*y. Does 22 divide y?
True
Is 11 a factor of -10 - -6*307211/38?
False
Suppose 34*i - 32*i - 11854 = -2*h, 3*i = -5*h + 29637. Is 114 a factor of h?
True
Suppose 6*o + 5530 = o. Let i be 6*(o/(-6))/7. Suppose -3*c - 4*p + 103 = -i, -4*c + p = -348. Is c a multiple of 15?
False
Let b be (-1)/(-4) - 22/(-8). Suppose -i + 0 = -b. Suppose 4*s + u - 292 = 0, -i*u - 16 = 2*s - 152. Is 37 a factor of s?
True
Suppose -1574*k + 1567*k + 21434 = 0. Is 35 a factor of k?
False
Suppose -m + 3 = -2*m, 2*h - 67 = -3*m. Let j = 112 - 217. Let d = h - j. Does 13 divide d?
True
Let q(m) = m**2 - 26*m + 50. Let b be q(2). Let i(d) = 88*d - 81. Is 2 a factor of i(b)?
False
Let p(q) = -7*q**3 - q**2 - 3*q + 40. Let t(c) = -7*c**3 - c**2 - 5*c + 41. Let z(a) = 4*p(a) - 5*t(a). Does 17 divide z(4)?
False
Let l = -153 + 264. Suppose -4*r + 0*k - 5*k + 133 = 0, 28 = r - 4*k. Suppose -l*v = -113*v + r. Is 3 a factor of v?
False
Let s(r) = 2*r**3 - 20*r**2 - 12*r + 28. Let g(q) = -q**3 + 20*q**2 + 13*q - 28. Let f(t) = 3*g(t) + 2*s(t). Let d be f(-19). Does 11 divide 2 + d + 0/4?
False
Suppose -4*q = -5*p + 31960, -2*p + 3274 = -q - 9513. Is 41 a factor of p?
True
Let v(u) be the first derivative of 2*u**3/3 - 25*u**2/2 + 31*u + 113. Is 19 a factor of v(12)?
True
Let b(l) = -2*l**3 - 6*l**2 - l - 15. Let u(t) = -3*t**3 - 5*t**2 - t - 16. Let r(s) = -4*b(s) + 3*u(s). Suppose -11 = -3*c + 16. Does 3 divide r(c)?
True
Let p = -52 + 87. Suppose -s = 4*n - 58, 2*s + 5*n - p = 72. Is 7 a factor of (2 - 1)*(s + 0 + -1)?
False
Let f = 123 - 123. Suppose y - 4*d + 95 = f, -d - 12 = -4*d. Let a = y + 147. Does 17 divide a?
True
Suppose 3*k - 4*f = 831 + 4645, 2*k + 6*f - 3642 = 0. Is k a multiple of 48?
True
Suppose -51 = -3*b + 3*m, b - 2*m - 2*m = 20. Let s(n) = -n**2 + 38*n - 100. Is s(b) a multiple of 28?
True
Suppose -a - 322 = -3*a + z, 0 = -4*a - z + 638. Suppose -5*u + a = -2*u - 2*h, 5*h = -4*u + 175. Is u a multiple of 25?
True
Let c = 11 + 61. Let z = -129 + 159. Let w = c - z. Is w a multiple of 14?
True
Suppose 3*z = 13*z - 20. Suppose 5*w = -2*d + 312 + 953, w - z*d = 253. Is w a multiple of 23?
True
Let o = 5 - 2. Let u(r) be the third derivative of 5*r**4/3 + r**3 + 822*r**2. Is 35 a factor of u(o)?
False
Let n(h) = -5*h**2 + h**3 + 8*h**2 - 4*h - 2*h - 5*h - 1. Let v be n(-5). Suppose -v*i = 4*l - 76, 2*i + 4*l - 31 = 9. Is i a multiple of 3?
True
Suppose -5*u + 3*d + 39538 = 0, u + 2*d + 1171 = 9063. Does 38 divide u?
True
Suppose -21 = -4*b - 5*l, 2*b + 5*l - 11 = 12. Is (b + 100)*1 - (-90)/(-30) a multiple of 8?
True
Suppose 76*r - 80*r + 88 = 0. Is 3 - r/(-4)*(8 + 38) a multiple of 16?
True
Suppose -4*c + 5*j = -42 - 237, j = -3*c + 195. Let l be c/15 - (-2 - (-24)/10). Suppose l*a + 5*s - 621 = 0, 5*a - a - 651 = 5*s. Does 35 divide a?
False
Let n(x) = -3*x**3 - 4*x - 2.