+ (-1911)/(-84) - -10653*(-1)/(-4)?
False
Let i(q) = 11*q + 18*q - 31*q + 2 + q**3 - 3*q**2. Let w be i(4). Suppose -w*s = -13*s + 168. Is 41 a factor of s?
False
Suppose 0 = -24*f + 21*f - 144. Let x = f + 53. Suppose 0 = 3*o + 5*d - 75, -x*d + 30 = -5*o + 195. Is 6 a factor of o?
True
Let n be (-1 - (-9)/6)*(-12)/(-3). Suppose 6*b = 4*b + 2, n*b = 3*d - 2878. Let j = d + -659. Does 43 divide j?
True
Let d be (15/(-6))/(2 - (-18)/(-8)). Suppose -2*c - 3*c = -d. Suppose 2*o - 97 = 2*w - 365, c*w + 5*o = 233. Is w a multiple of 21?
False
Let r(q) = 2*q**2 - q. Let j(w) = 5*w**2 - 12. Let a(b) = j(b) - 2*r(b). Is a(-7) a multiple of 3?
False
Suppose -3*x + 3470 = -1363. Suppose 5*z - 3*a = x, 4*a = 5*z + 3*a - 1617. Does 18 divide z?
True
Let n(i) = -28*i**2 + 18*i**2 + 9*i + 16*i**2 + 10. Let s be n(-2). Suppose s*p = 14*p + 88. Is 14 a factor of p?
False
Let c be (-10)/20 - ((-339)/6 - -2). Suppose c*d - 65999 = 30877. Is d a multiple of 39?
True
Let o(i) = i**2 - 6*i + 17. Let u be o(5). Is u/6 - 520/(-2) a multiple of 6?
False
Suppose -6*r - 3601 = -1063. Let y = 383 - r. Is y a multiple of 40?
False
Let x be (-8)/14 + (-130)/(-7). Does 3 divide 67*(-4)/(-12) + 12/x?
False
Suppose 2*j = -2*g - 2, 3*g + 0 = -5*j - 3. Let h be 42/(-1)*(j + (-12)/14). Suppose 2*b = -3*q + h, -3*q + 2*b = -2*q - 4. Does 3 divide q?
False
Suppose 258331 + 66735 = 107*f. Is f a multiple of 14?
True
Let y(p) = 17 - 8 - 10 - 391*p**2. Let h be y(1). Does 4 divide 6/(-10) - h/20?
False
Suppose -39*z = -40*z + 31. Let x = z + 511. Is 15 a factor of x?
False
Does 17 divide 399/(-6)*(-3 - (5 + 10))?
False
Suppose 28*w = -46*w + 298146. Is w a multiple of 79?
True
Suppose 0 = f + 3, 45 = -4*z + z - 3*f. Let d be 26*(2 - z/(-8)). Suppose 0 = 8*v - 59 - d. Is 9 a factor of v?
True
Suppose 604 = -5*g + g + 4*j, -g - 151 = -3*j. Let k = 284 + g. Is 6 a factor of k?
False
Let i(x) = x**3 + 6*x**2 - 9*x + 26. Does 48 divide i(13)?
True
Let s be -1*(4/(-2) - 3). Suppose f - 1225 = -s*z, 3*z + 5*f - 700 = 35. Suppose 0 = y + y + 5*h - 105, 5*y - 5*h - z = 0. Does 9 divide y?
False
Is 40 a factor of (6 - (-2)/(-5))*10965/6 + 6?
True
Suppose 0 = -34*x - 12274 - 15130. Let p = 1958 + x. Is 29 a factor of p?
False
Suppose 5*d - 5*z = 114185, -24 = z + 3*z. Does 45 divide d?
False
Is 2/(-30) + 43687746/3915 a multiple of 23?
False
Suppose -5*x = 2*t - 9, 2*t + x = -3*t + 11. Suppose -t*w + 193 = 2*g + 13, 2*g = 4*w - 342. Let h = -51 + w. Is 36 a factor of h?
True
Suppose 3*o = y - 8534, 4*y + 11*o - 34185 = 16*o. Is y a multiple of 3?
False
Suppose w - 30*w = 174. Let d(y) = -y**3 + 5*y**2 + 22*y + 6. Is d(w) a multiple of 18?
True
Let y be (-3 + (0 - -98))*15/3. Suppose 17*j - 4300 = -y. Does 9 divide j?
True
Let c be 2 - (2 - (-6)/(-2)). Suppose 0*h - 93 = -c*h. Let u = -26 + h. Does 2 divide u?
False
Let v(b) = 39*b**2 - 45*b - 144. Is v(-8) a multiple of 25?
False
Suppose -4*q + 40 = -p, 0 = -p - q - 3*q. Let i = p + 31. Suppose -b + 5*v + 109 = 0, 0 = -5*v + i - 36. Is b a multiple of 14?
True
Let b be 1/((-4)/(-14)*(-63)/(-72)). Is 17 a factor of b/(-6)*2244/(-8)?
True
Let j(d) = d**3 - 20*d**2 + 39*d - 46. Let x be j(18). Suppose 1557 = 11*c - x*c. Is c a multiple of 14?
False
Let p(g) = -6*g**2 - 21*g - 3. Let j(c) = c**3 - 8*c**2 - 2*c + 12. Let m be j(8). Let t(f) = -f**2 + f. Let q(u) = m*t(u) + p(u). Is 20 a factor of q(-10)?
False
Let h = -47498 + 80317. Does 76 divide h?
False
Let u be (-1)/3 + (-5278)/(-21). Let w = u - 145. Let p = w - 40. Is 21 a factor of p?
False
Let o(b) = 2*b**2 + 9*b + 165. Let s(v) = -3*v**2 - 17*v - 330. Let d(x) = 5*o(x) + 2*s(x). Is d(-14) a multiple of 16?
False
Let z(s) = 6*s**2 - 77*s - 46. Let k(q) = -3*q**2 + 39*q + 24. Let v(o) = 5*k(o) + 2*z(o). Is 41 a factor of v(8)?
True
Let z = 59 + -49. Let g(d) = -6*d - 32*d**2 + 24*d**2 + z*d**2 - 1. Is g(8) a multiple of 14?
False
Let w(f) = 3 - 11 + 14*f - 4. Let r(x) = x**3 + 5*x**2 - 37*x - 99. Let l be r(-8). Does 12 divide w(l)?
False
Suppose 65*u + 105 = 86*u. Suppose -u*k + 2285 = -3*p, -85*p - 2260 = -5*k - 87*p. Does 6 divide k?
False
Let k be -1*(-100)/26 + 6/39. Suppose -a + 4*o = -4*a - 4, -2*o + 8 = k*a. Suppose i + a*p = -6, p - 2*p = 2*i - 2. Does 2 divide i?
True
Suppose 0 = -58*n - 1540 + 73692. Is n a multiple of 18?
False
Let z(m) = 5 + 0 + 20*m + 2. Let u be z(-3). Let t = u - -112. Is t a multiple of 10?
False
Let z(h) = -3*h - 10. Let c be z(-4). Suppose 3*p = 4*o - 5*o + 152, -5*o = c*p - 123. Does 2 divide p?
False
Does 234 divide 54/(-135) - (3 - 1)*56168/(-40)?
True
Is (-19)/((-171)/(-52584))*4/(-4)*3 a multiple of 42?
False
Let d(c) be the third derivative of 3/2*c**3 + 1/60*c**5 + 0*c + 0*c**4 + 28*c**2 + 0. Is d(11) a multiple of 10?
True
Let k be 62/6 - 36/108. Is (51/6)/(5/k) a multiple of 2?
False
Let a(h) = -h**3 - 18*h**2 - 18*h - 16. Let m be a(-17). Suppose -2*j = 1 - m. Suppose j*o - 108 = -4*o. Does 6 divide o?
False
Let t = -136 + 360. Suppose 9*x = 7*x + t. Suppose 4*i - x - 12 = 4*b, -4*i - 2*b + 94 = 0. Does 26 divide i?
True
Let z(n) = 8*n**2 - 57*n + 9. Let i be z(8). Suppose 0 = 4*s - i - 431. Does 7 divide s?
False
Is 91 a factor of (28/7)/(-24) + (-1031459)/(-66)?
False
Suppose -4*a + i + 673 = 0, -a + 10*i - 7*i + 171 = 0. Suppose 19*q = 1200 + a. Is q a multiple of 6?
True
Suppose 2*b - 3*n = 17, 4*b - 1 = -6*n + n. Suppose z + b = 0, 3*z - 4*z - 244 = -2*p. Does 32 divide p?
False
Suppose -26*u - 4271 = 2671. Does 21 divide 4/8 + u/(-6) + -3?
True
Let y be 0 - (2/1 - 2). Suppose -r + 2 = -y. Suppose 0 = -3*k + 6, 152 = 4*j + r*k - 528. Does 18 divide j?
False
Suppose 0 = -6*g - 14 - 130. Is 8/(-3)*162/g a multiple of 18?
True
Let b = 1 + 81. Suppose -150 = -a - 2*g, -496 = -4*a + 3*g + b. Let c = a + -88. Is c a multiple of 13?
False
Suppose 5*q - 155 = 4*r - 22, 2*q - 4*r - 58 = 0. Suppose 2*p - 35 = -3*p. Suppose 2*h - 900 = -5*y + p*h, -5*h - q = 0. Is y a multiple of 35?
True
Let l(w) = 10*w**2 - 74*w - 186. Does 15 divide l(-24)?
True
Let f = -23 - -23. Suppose -271 = i - 2*i. Suppose 3*b + b - i = -o, 5*o - 15 = f. Is 15 a factor of b?
False
Let v(f) = f**3 + 6*f**2 - 19*f - 18. Let r be v(-8). Suppose -r*k + 65 + 289 = 0. Does 28 divide k?
False
Let w(s) = 39*s + 69. Let u = 142 + -132. Is w(u) a multiple of 13?
False
Let q(p) be the first derivative of -2*p**2 + 11/3*p**3 - 4*p + 9. Does 16 divide q(-2)?
True
Suppose 0*n + 14*n - 56 = 0. Is 3 - ((-984)/3)/n a multiple of 7?
False
Is 109406/13 + ((-32)/(-312))/(14/21) a multiple of 52?
False
Suppose -m + 3041 = -3*x, 29*m + 4*x = 25*m + 12212. Does 5 divide m?
True
Suppose 0 = -39*w + 119 - 2. Suppose 0 = -14*c + 10*c - 2*o + 1498, -1128 = -3*c + w*o. Does 13 divide c?
False
Let t = 140 + 4. Let x = t - -69. Suppose y + 19 = x. Is 30 a factor of y?
False
Let x be (-498)/5 + (1 - 8/20). Is (-82)/(11/(x/2)) a multiple of 41?
True
Let d(l) = -38*l - 190. Let z be d(-5). Let y(p) = -p**3 - 2*p + 518. Is y(z) a multiple of 30?
False
Let p(v) = -11*v - 62. Let b be p(-6). Let l be (0 + -3 + 2)*-21. Suppose 3*i = -b*i + l. Does 2 divide i?
False
Is -3*(-6)/(-117) - (-3074)/377 - -10206 even?
True
Suppose -70*l + 148721 = -85309 - 14470. Does 13 divide l?
False
Suppose -c + 11*n = 6*n - 388, n = -5*c + 1940. Let w = -172 + c. Is w a multiple of 12?
True
Let b(p) be the first derivative of 5*p**3/3 + 27*p**2/2 - 5*p + 32. Does 13 divide b(-6)?
True
Suppose -4*v + 1513 = -2*r + 77, v + 2*r - 354 = 0. Suppose -v = 22*t - 2074. Is 9 a factor of t?
False
Suppose -10*u + 938 + 1322 = 0. Let j = -168 + u. Is 7 a factor of j?
False
Let l = 2458 + -1609. Let d = l + -607. Is 3 a factor of d?
False
Suppose 0 = -175*b + 180*b - 20. Is (-2422)/(-4) - b/(16/6) a multiple of 18?
False
Is 110 a factor of 1274844/483 - 8/(-14)?
True
Let c(a) = 3*a - 81. Let y be c(27). Suppose 5*b - 317 = -8*i + 5*i, -4*i + 3*b + 413 = y. Does 16 divide i?
False
Let g = 2131 - 968. Does 54 divide g?
False
Suppose -117245 = -30*q - 275. Is 9 a factor of q?
False
Is 10/145 - (423825/(-145) - 3) a multiple of 19?
True
Suppose 75*a - 68*a - 6300 = 0. Suppose 6*v - 8*v + a = 0. Is v a multiple of 18?
True
Let u(n) = 29*n + 93. Is u(3) a multiple of 20?
True
Let v(k) = k**2 + 9*k - 10. Let w be v(-10). Suppose w = -4*f - 103 + 