w?
True
Let q(c) = 5*c - 95. Let k be q(19). Suppose -3*f + 419 - 77 = k. Is f a multiple of 15?
False
Is 17 a factor of (-3 - (-112614)/8) + (-801)/(-356)?
True
Let f(l) = -2*l**3 + l**2 - 4*l - 4. Let v be f(-1). Does 11 divide 100/(-36) + v + (-3067)/(-9)?
True
Let a(q) = -7*q - 115. Let d be a(-21). Is 4 a factor of (80/d - 606/(-4)) + -3?
False
Let a(w) be the third derivative of -w**6/120 - w**5/60 + w**4/24 + 275*w**3/6 - 29*w**2. Let v be a(0). Let m = -1 + v. Does 27 divide m?
False
Suppose 35 - 13 = 11*g. Suppose -2*i = p - 41, 0 = g*i - p + 3 - 50. Is i even?
True
Let l be (7/(-21))/(2/(-6))*0. Suppose x + 150 = 4*y - 255, l = y + 5*x - 96. Is 6 a factor of y?
False
Suppose -12*z + 308 = -5968. Is 64 a factor of z?
False
Is -1777*((9/(-3) - -10) + -10 + -4) a multiple of 117?
False
Let z(m) = -m + 2. Let s(j) = 6*j**2 - 2*j - 3. Let b(y) = s(y) - 5*z(y). Does 33 divide b(-5)?
False
Suppose 0 = -374*z + 364*z + 390. Suppose -645 = -3*q + 3*r, -z*q = -36*q + 3*r - 615. Is q a multiple of 42?
True
Let i(c) be the third derivative of c**6/120 - 11*c**5/60 + 4*c**4/3 - 2*c**3/3 + 88*c**2. Is i(6) a multiple of 4?
True
Suppose 4*b - 7786 = -2*h, 10*b - 5*b = 20. Is h a multiple of 10?
False
Let h(g) = 3*g + 17. Let b be h(-7). Let u be (-10)/(4 + 12/b). Let t = u + 24. Does 14 divide t?
True
Suppose 4*p + 83 = 99. Suppose -p*j + 5*m = -594, -9*m + 11*m - 4 = 0. Is 11 a factor of j?
False
Suppose 8*d = -g + 3*d - 45, -5*d = 4*g + 120. Let p(n) = n**3 + 27*n**2 + 42*n - 20. Is 9 a factor of p(g)?
True
Is (-1 + -11 + 10)*-1*(7783 + -1) a multiple of 89?
False
Let v(t) be the third derivative of 0 + 0*t - 1/120*t**6 + 5/2*t**3 - 1/6*t**5 + 7/12*t**4 + 9*t**2. Is v(-12) a multiple of 45?
True
Suppose 0*f + 18*f + 198 = 0. Let b(j) = -24*j + 9. Does 13 divide b(f)?
True
Suppose -3*r + 1628 = -1804. Suppose -8*j = -520 - r. Is j a multiple of 13?
True
Suppose 0 = -17*m + 22*m - 7140. Suppose -8*p + 15*p - m = 0. Suppose -3*t + 2*l = -p, -3*t + 0*t + 195 = -5*l. Is 14 a factor of t?
True
Let b(f) = f**2 - 3*f. Let t be b(6). Let q be ((-56)/84)/((-4)/t). Is 37 a factor of q - 2 - (1 + -156)?
False
Suppose 3590*i - 3664*i + 3506046 = 0. Is i a multiple of 17?
True
Suppose 0 = -2*z + 4*z - 3*m - 832, -3*z = -3*m - 1248. Let t = z - 361. Is t a multiple of 11?
True
Let u(q) be the second derivative of -q**4/12 - 7*q**3/6 + 3*q**2 + q. Let z = -568 - -562. Is u(z) even?
True
Let m be ((20/(-3))/(-5))/(1/3). Suppose -2*p + 5*p - 976 = m*t, 0 = 4*t + 16. Does 8 divide p?
True
Let i(y) = 5*y**3 - 2*y**2 - 6*y + 1. Let v = 475 - 470. Is i(v) a multiple of 26?
True
Let y be (-16)/20*-5 - -7700. Let m = y + -5220. Does 24 divide 1*(-12)/28 + m/14?
False
Let h be 3/15 + (-152)/(-40). Suppose h*z = -0*q + q - 613, 0 = 5*q + 2*z - 2977. Is 14 a factor of q?
False
Suppose -4*j = 4*w - 124520, 0 = -w + 2*j - 0*j + 31121. Is 14 a factor of w?
False
Let w(v) = -24*v - 41. Let x be w(13). Let s = 473 + x. Is 5 a factor of s?
True
Let r(w) = -w**3 + 11*w**2 + 13*w + 8. Let n be r(12). Let x be 5*(72/n)/6. Suppose -x*m + 336 = 4*z, -5*m - z = 4*z - 560. Does 43 divide m?
False
Let i be ((-21)/(-6) + -3)/(1/22). Let l be 20/i + 4/22. Suppose -n - 116 = -3*g, 0 = -g - l*n - 2*n + 56. Does 10 divide g?
True
Suppose -u = 5*t - 25206, 12334 - 2242 = 2*t - 2*u. Is t a multiple of 4?
False
Is 7/((-13)/(-28080)*5) a multiple of 72?
True
Suppose -c + 8 = r, -3*r = -2*c + 33 + 8. Is 14 a factor of 16*c - 8/(-4)?
True
Let b = 8161 + -7360. Is 67 a factor of b?
False
Suppose 2*k - 177 - 16 = -5*c, 4*c = -3*k + 286. Suppose -k = -9*d + 1553. Is d a multiple of 11?
False
Suppose 0 = -25*n + 22 + 53. Suppose -3*b + 300 - 93 = 3*h, 201 = 3*b - n*h. Is 13 a factor of b?
False
Suppose 184*g - 28569 = 141*g + 28621. Does 26 divide g?
False
Let l = -2884 - -9092. Is l a multiple of 8?
True
Let z(s) be the third derivative of -s**6/120 + 13*s**5/60 + 7*s**4/24 - s**3/6 + 358*s**2. Suppose -3*n + 52 = n. Is 15 a factor of z(n)?
True
Suppose 589*f - 596*f - 9429 = 0. Is 7 a factor of f/(-5) + (-50)/125?
False
Let w(i) = -5*i**2 + 76*i - 21. Let f be w(17). Does 46 divide ((-21)/(63/f))/(2/12)?
False
Does 7 divide (8 + 0)/(-8 + (-5712)/(-712))?
False
Let l = 35419 + -23386. Is l a multiple of 9?
True
Is 6 a factor of 18/(-4)*59408/6*(-43)/86?
True
Let t(s) = 41*s + 10. Let d be t(-6). Let a = -56 - d. Is a a multiple of 20?
True
Let a(x) = 2*x + 1. Let k be a(7). Is 7 a factor of 942/k + (-3)/(-15)?
True
Suppose 255*d = 276*d - 53655. Is 8 a factor of d?
False
Let a(h) = h**2 + 3*h + 12. Let j(g) = -g. Let v(c) = a(c) + 2*j(c). Suppose 78*b = 80*b - 8. Does 6 divide v(b)?
False
Let d(f) = 24*f - 1. Let y(r) = 11*r. Let w(a) = 3*d(a) - 5*y(a). Is 9 a factor of w(3)?
False
Suppose 0 = 8*r - 12*r - 56. Let y(g) = g + 19. Let a be y(r). Is 9 a factor of (0 + 36)*(a + (-1 - 1))?
True
Let b be (-4)/6*(7 - (-8685)/(-18)). Let t = b + -132. Is 14 a factor of t?
False
Let i be (-175)/(-70) + 1/2. Suppose -20 = -2*h - 2*h + 3*o, -i*h + 4 = -5*o. Does 3 divide h?
False
Let o = -59 + 9. Let k = o + 1. Let r = -43 - k. Does 4 divide r?
False
Let o(d) = 25*d + 338. Let g(r) = -14*r - 169. Let w(l) = 5*g(l) + 3*o(l). Is 30 a factor of w(-13)?
False
Suppose 34600 = -168*z + 173*z. Is 40 a factor of z?
True
Let i be 103*-1 + 4/12*-3. Let j = i + 229. Suppose 3*c + j = z, c - 349 = -3*z - 3*c. Is z a multiple of 7?
True
Let f = -16 + 20. Suppose q + f = u, 0*q - 2*q - 5 = -u. Suppose 4*s - 5*s = -u*i + 631, -s = 1. Is i a multiple of 21?
True
Suppose -320*c - 173228 = -351*c. Is 22 a factor of c?
True
Let k be 2*-1 + (213 - 43). Suppose 3*j - 4*s = k, -j = -10*s + 12*s - 66. Is j a multiple of 8?
False
Let m(r) = -r**3 + 4*r**2 - 3*r + 13. Let u be m(0). Suppose -u*d + 653 = -777. Does 10 divide d?
True
Let d = -1024 - -1810. Suppose 183 = -4*k + 5*k + 4*r, -2*r = -4*k + d. Is k a multiple of 15?
True
Suppose 3*t = -21*o + 22*o - 1668, -o = 3*t - 1668. Is 3 a factor of o?
True
Let o = -66 + 65. Let v be 0*(2 + o + -2). Suppose l = -3*r - 3*l + 403, -2*r - 3*l + 270 = v. Is r a multiple of 43?
True
Suppose -g - 4*g = 5. Let a be (9 - g)/(8/32). Does 13 divide -52*2*(-25)/a?
True
Let s = 15273 + -11213. Is s a multiple of 10?
True
Let w(t) = 32*t + 16. Let r be w(4). Suppose -a = 3*m + m - 27, -4*m = 4*a - r. Suppose 0 = 3*k - 2*c - a, -2*c - 2*c = -2*k + 18. Is 12 a factor of k?
False
Suppose -15*l - 3333 = 3117. Let s = l + 1270. Is 10 a factor of s?
True
Let z = 3903 + -962. Is 2 a factor of z?
False
Suppose 8*a + 38 + 26 = 0. Let r be 8 - -10*4/a. Suppose -7*y = p - r*y - 40, 0 = -5*p + 3*y + 108. Is 8 a factor of p?
True
Let t be -19 - -48 - (-2 + 1). Suppose -t = -2*h + 34. Suppose v = -4, 3*x - 7*x + h = 3*v. Is 2 a factor of x?
False
Let x = 2053 + -1255. Suppose -608 + x = l. Is l a multiple of 19?
True
Suppose -4*a - 30495 = -4*v + 34409, -a = 2. Suppose -6*f = -18*f + v. Is 13 a factor of f?
True
Let m = -114 - -117. Let b(q) = 8*q**2 - q. Let j be b(1). Suppose m*x + 3*f - 9 = 0, 4*f + j = -13. Is 8 a factor of x?
True
Let y(p) = 118*p + 48. Let j be y(5). Suppose 2008 = 9*g - j. Does 37 divide g?
False
Suppose -2*w + 1 = -8*n + 13*n, 5*n + 8 = w. Let x be 32/(-12)*(-145 - -1). Suppose 0 = w*s + s - x. Is 8 a factor of s?
True
Suppose -5*o = -3*o + 34. Let s = 56 - 29. Let v = o + s. Is v a multiple of 3?
False
Let j(s) = 2*s**3 + 9*s**2 + 27*s - 14. Let u(f) = 3*f**3 + 8*f**2 + 30*f - 14. Let t(i) = -6*j(i) + 5*u(i). Is t(7) a multiple of 11?
False
Suppose 4*t = 4*g + 4228, 0 = 3*t - 6*t + 4*g + 3173. Let m = t + -605. Does 25 divide m?
True
Let p = 387 + -386. Does 49 divide p/(-3) - 56576/(-51)?
False
Let w(x) = x**3 - 6*x**2 - 8*x - 11. Suppose -26 = -5*h + 14. Let p be w(h). Let f = 102 - p. Is f a multiple of 5?
False
Let a(j) = -8*j - 10. Suppose 2*r - 10 = -3*r. Suppose -r*h + h - 5*u = 9, 5*h - u = -19. Is a(h) a multiple of 22?
True
Let b = -3361 - -16186. Is 135 a factor of b?
True
Let a = 33 + -23. Let h be (-7 + a)/((-2)/(-150)). Suppose -2*t - c + 99 = 0, -t = -6*t + 5*c + h. Is t a multiple of 8?
True
Let c(i) = -i + 2. Let r(v) = -v**2 + 14*v - 15. Let k be r(12). Suppose -5*q - 20 = 0, 0 = -2*d + 4*q + k + 3. Is c(d) even?
True
Does 5 divide (-1)/(1 - -5 - 3 - 4)*1335?
True
S