2 + 2*y + 26. Let d(q) = 10*q**2 - 3*q - 51. Let k(n) = -6*d(n) - 11*u(n). Let s be k(-6). Let v = s - -234. Is 20 a factor of v?
False
Suppose 3*v = 5*n - 70, 7*n - 4*n + 54 = -3*v. Let h be (-324)/v + 2/(-10). Suppose -h = 4*c - 5*c. Does 7 divide c?
False
Let y(k) = -126*k - 9. Let p be y(-3). Suppose 6*x + p = 9*x. Let q = x - 67. Is q a multiple of 11?
False
Is 3 a factor of 3470/9 - 448/288?
True
Is 40 a factor of (-670 + 645)*(-223 - 0)?
False
Let t = 11831 + 2766. Is 16 a factor of t?
False
Suppose 5*j - 2*w - 5670 = 0, -38*w = j - 36*w - 1134. Does 18 divide j?
True
Suppose -2*b + 82 = -4*b. Let d = b - -37. Is 17 a factor of 1 + -2 - (d + -14)?
True
Suppose -148 = -6*n + 50. Suppose -720 = 29*r - n*r. Is 12 a factor of r?
True
Suppose 9*n + 12 = 13*n. Suppose q = -n*h + 334 + 20, h = 1. Is 20 a factor of q?
False
Suppose 0 = 5*g + 4*s + 23, -3*g + 2*s - 2 - 3 = 0. Is 107/(-5 - 21/g)*10 a multiple of 12?
False
Does 74 divide 37/3*(369 + 297)?
True
Let d = 214 - 210. Suppose -33 = -3*i - 5*x + 52, 0 = -d*i - 3*x + 128. Is i a multiple of 5?
True
Suppose -7*z + 10*z - 5*r = 36, 4*r = z - 5. Suppose 1725 = 5*f + 3*k, z*k = 3*f + 13*k - 1006. Is 18 a factor of f?
True
Let d(g) be the first derivative of g**5/20 - g**4/6 + 4*g**3 - 23*g**2 + 27. Let n(i) be the second derivative of d(i). Is 10 a factor of n(5)?
False
Let i = 13147 - 7758. Is 6 a factor of i?
False
Is 5*(-6)/(-60) - 41436/(-24) a multiple of 12?
False
Let h(z) = -59*z - 54. Let g be h(-10). Suppose g = -9*d + 2156. Does 18 divide d?
True
Let r(n) = -15*n**3 - 26*n**2 - 80*n - 4. Let y(f) = 5*f**3 + 9*f**2 + 27*f + 2. Let s(g) = -2*r(g) - 7*y(g). Is s(-6) a multiple of 30?
False
Suppose 0 = -m - 3 + 8. Suppose -2*t + 3*t - m = 0. Suppose -5*w = -t*d - 1100, -4*d = -9*w + 4*w + 1105. Does 22 divide w?
False
Suppose w = 3*x - 1276, 36*x = 33*x - 3*w + 1284. Is 7 a factor of x?
False
Let l(t) = -t + 2*t + 336*t**2 + 4*t + 3*t + 9 - 17. Does 12 divide l(1)?
True
Let u = 33501 - 17229. Is u a multiple of 37?
False
Suppose 2*z - 17 = -3*a, -5*a - 4*z + 22 = -7*z. Suppose -3 = a*q + 3*o - 90, -16 = -4*o. Does 3 divide q?
True
Let o = 4261 - 1427. Suppose -o = -18*p + 5*p. Is p a multiple of 33?
False
Suppose -43*k - 270 = 2*k. Does 4 divide (16940/25 - 5) + k/(-15)?
False
Let a(j) = -j**3 - 10*j**2 + 42*j + 66. Is 2 a factor of a(-15)?
False
Suppose 14*p + 52*p - 271656 = 0. Does 98 divide p?
True
Let t(v) = v**2 + 11*v + 26. Let u be t(-8). Suppose 4*j + 4*k = 811 + 573, u*k = j - 358. Does 14 divide ((-10)/(-4))/(7/j)?
False
Let t be 8/10*30/12. Let d = -80 + 82. Suppose t*f - d*a - 340 = 3*a, 0 = -f + 4*a + 170. Does 34 divide f?
True
Let h(n) = -4*n**2 - 41*n - 14. Let i be h(-10). Is (6/9 - 0)/(i/(-816)) a multiple of 22?
False
Let j = -7862 + 23987. Does 129 divide j?
True
Suppose 0 = 10*h + 26 + 14. Let t(i) = 6 + i**3 + 0*i**2 - i**2 - 2*i**3 + 11*i. Is 2 a factor of t(h)?
True
Let d(g) = -g**3 + 4*g**2 + 7*g - 9. Let c(q) = 2*q**2 - 15*q - 3. Let u be c(8). Let y be d(u). Does 2 divide ((-480)/100)/(y - (-6)/(-5))?
True
Let a(r) = 66 + 23 + 72 + 2*r. Is a(-18) a multiple of 2?
False
Suppose 1845 = 3*d - 11790. Is d a multiple of 45?
True
Suppose 232404 = 72*w - 38460. Is 6 a factor of w?
True
Is 22 a factor of (12/(-8))/((-43026)/(-43032) + -1)?
True
Let z = -31762 - -50681. Does 63 divide z?
False
Let p be ((-8)/24)/((-2)/42). Suppose p*b - 682 = 5*b. Is b a multiple of 11?
True
Suppose 8622 = 29*q - 28*q - 4*t, 5*t = -2*q + 17257. Is q a multiple of 19?
True
Suppose 2*j - 370 = -3*g, -3*j = -6*g + 8*g - 245. Let r = 43 + g. Does 12 divide r?
False
Let x = -477 - -442. Let u(j) = -5*j**2 + 6*j + 9. Let r be u(8). Let p = x - r. Does 12 divide p?
True
Let k(o) = -1904*o**3 + 2*o**2 + 372*o + 1115. Does 17 divide k(-3)?
True
Suppose -3*o = -3*d - 2169, -4*d - 210 + 918 = o. Let z = -292 + o. Is 24 a factor of z?
False
Suppose 0 = 73*t - 113717 - 148197 - 431878. Is 12 a factor of t?
True
Let z(u) be the first derivative of -18*u**2 - 171*u - 25. Is 45 a factor of z(-21)?
True
Does 73 divide (-20804)/(-3) - -1 - 1498/2247?
True
Suppose 58*j - 160291 = 51873. Is 59 a factor of j?
True
Suppose -8*o - 18630 = 33*o - 42*o. Is 90 a factor of o?
True
Suppose -4*u - 74 = -2*k, 3*u = 4*k - 0*k - 53. Let q = u + 35. Suppose -q*o + 15*o + 12 = 0. Is o a multiple of 11?
False
Suppose -4*m - 14 = -2*r, -r + 5*m + 9 = -4. Suppose 857 - 234 = 3*f + 5*y, r*y - 415 = -2*f. Is f a multiple of 6?
False
Let d(w) = -78*w + 1. Let f be d(-2). Let c = 29 - -11. Suppose -3*r = c - f. Does 10 divide r?
False
Let z(r) = 11*r - 2. Let j(a) = 11*a. Let l(s) = -4*j(s) + 5*z(s). Is 8 a factor of l(17)?
False
Let f be 9/(24/27 - 1). Let i = f - -455. Is i a multiple of 17?
True
Suppose 60*j = 18*j + 166152. Suppose j - 11366 = -13*c. Is c a multiple of 10?
True
Is 13376*(3 - (-11)/((-22)/2)) a multiple of 19?
True
Let s be (-17 - -18) + 45/(-1). Let a be (-376)/11 + (-8)/s. Let r = -21 - a. Is 10 a factor of r?
False
Let o(w) = -18324*w - 108. Is o(-1) a multiple of 44?
True
Is 67 a factor of (-3)/6*-1099*(-24)/84*-75?
False
Let w(s) = s**3 - 11*s**2 + 4*s + 19. Let z be w(10). Let g = -38 - z. Suppose -g*a + 63 = -12. Does 4 divide a?
False
Suppose -2*v + 3*a + 9 = 0, -7*v = -3*v - 2*a - 30. Suppose -v*f = -f - 1488. Does 40 divide f?
False
Suppose 0 = 2*a - 13*a + 6380. Suppose 5*y + a = 1400. Is y a multiple of 14?
False
Let z(w) = -2*w**3 - 2*w**2 - 6*w - 22. Let u = -320 - -317. Does 24 divide z(u)?
False
Let z = 629 + -366. Let r = 443 - z. Is r a multiple of 20?
True
Suppose 0 = -10*m + 26815 - 6655. Suppose 18*b + 6*b - m = 0. Is b a multiple of 14?
True
Let o = 20 - 23. Let t(f) = 11*f + 6. Let x be t(o). Let r = x - -39. Is r a multiple of 12?
True
Suppose 71 - 136 = -a. Is 9 a factor of ((-162)/10)/((-13)/a)?
True
Suppose 267 + 260 = m - 5*h, -h + 1982 = 4*m. Does 100 divide m?
False
Let c = 43 - 22. Let q(n) = n**3 + 6*n**2 - 20*n + 25. Let v be q(-8). Let u = v - c. Is u a multiple of 6?
True
Suppose 4*o = 20, -4*s + 5*s - 4*o = 250. Let m = s + 678. Does 79 divide m?
True
Suppose 2*g = 10 - 2. Suppose -2*o = g*m - 390, -m + 0*m - 4*o + 101 = 0. Suppose 2*d - 61 = 2*x + m, x - 425 = -5*d. Is 16 a factor of d?
False
Does 7 divide ((-49560)/(-118))/((-3)/(-3))?
True
Let m(x) = -871*x - 8375. Does 4 divide m(-14)?
False
Let g = 23 + 200. Let c = g - 156. Does 19 divide c?
False
Suppose 2*p - 7163 = -k, -2*k + 2 = 12. Suppose -5*y + p + 1016 = 0. Is 9 a factor of y?
False
Let w = 35066 + 38420. Is w a multiple of 29?
True
Let n = 102 - 95. Suppose q - 25 = 4*x - n, 14 = -q - 4*x. Suppose -4*v + 174 = -q*v. Is 6 a factor of v?
False
Let g = -205 + 311. Is (-44)/(-48)*g + (-7)/42 a multiple of 7?
False
Let y(a) = -28*a - 14. Let z be ((-82)/8)/(-2 - (-42)/24). Let f = z + -44. Does 10 divide y(f)?
True
Let b = -8349 + 10747. Is 8 a factor of b?
False
Suppose 14*s + 5681 = 15*s + 4*m, -2*m - 10 = 0. Is s a multiple of 79?
False
Suppose o = 59 - 54. Suppose o*d - 3*d = 5*s - 594, -486 = -4*s - 2*d. Is s a multiple of 20?
True
Let x(p) = 8*p**2 - 21*p + 586. Is x(14) a multiple of 6?
True
Let x(w) = 254*w**2 + 234*w + 951. Does 3 divide x(-4)?
False
Suppose y - 5*a - 17 = 0, -12*a + 15*a = 4*y - 17. Suppose 4*o - 484 = -y*m, 484 = 4*o + 4*m - 3*m. Does 23 divide o?
False
Suppose -18 = -5*o + 2*j, -4*o - 2*j = -7*o + 14. Suppose -k - o = -0*k. Is 6 a factor of 81/6 - ((-35)/(-10) + k)?
True
Let z be ((-3)/1 - 0)*962/(-39). Suppose -69*s - 270 = -z*s. Is 8 a factor of s?
False
Is (-8 + 236298/21 - 4/14) + 4 a multiple of 74?
True
Suppose 0 = 4*a - 8621 - 283. Suppose -10*h + 17*h - a = 0. Is 53 a factor of h?
True
Let r(b) = -12 + b**3 - 17*b**2 - 65*b + 106*b - 3*b. Is 20 a factor of r(16)?
True
Let q(p) be the first derivative of -14 - 1/4*p**4 - 7/3*p**3 + 2*p**2 + 4*p. Does 4 divide q(-8)?
True
Let f be -3*20/12*(-3)/(-5). Is 15 a factor of (-1363)/f - (-7 - (-209)/33)?
False
Let f(h) = -h**2 + 0 + 4*h - 1 - 3*h**2 - 2*h**3. Let b be -6 - ((-2)/(-6) - 272/204). Is f(b) a multiple of 13?
False
Does 12 divide (-2)/(21 + -5) - (191023/(-56) - -3)?
True
Let t(w) = -130*w + 86. Let n be t(4). Let v = -94 - n. Does 20 divide v?
True
Let l(p) = -44*p - 9. Suppose 5*j + 40 = 5*m, 2*m - 4 = -0. Is l(j)