4260/280 + (-1)/k?
False
Suppose -20 = 5*f, 5*t + 4*f - 5 = 449. Suppose 3*q + s = 149, 0 = 2*q - 8*s + 6*s - t. Is q a multiple of 18?
False
Let r be (204/84 - 3)*(-14)/4. Suppose 4*j - y - 89 - 41 = 0, r*j = -4*y + 74. Does 15 divide j?
False
Let i(f) = 10393*f - 110. Let v be i(3). Suppose -23*z - 11749 = -v. Is 40 a factor of z?
True
Let q be -6*(56/(-16))/7. Suppose -q*y + p = -591, -4*y - 4*p - 320 = -1108. Is 10 a factor of y?
False
Suppose 5*o = -5*f + 10*o + 41460, 3*f + 2*o - 24866 = 0. Is f a multiple of 10?
True
Suppose -5*q + 2*i + 21440 = 1947, -19499 = -5*q - 4*i. Suppose q = 17*w - 6114. Is w a multiple of 13?
False
Let c be -6 + 3 - (-382)/2. Let x = 303 - c. Is x a multiple of 21?
False
Is 7 a factor of (-28)/(-168) - 6677/(-6)?
True
Let p(o) be the third derivative of -3*o**4/8 - 9*o**3/2 + 15*o**2. Let y be p(-19). Suppose -9*h + y = -81. Does 23 divide h?
False
Suppose -4*g - 14*n + 11*n - 1081 = 0, 5*n = -3*g - 797. Let p = g + 540. Is p a multiple of 30?
False
Let f be ((-41)/(-3))/((-26)/780). Let x = f + 1169. Is x a multiple of 26?
False
Suppose 160165 = -29*i + 6*i + 469285. Does 30 divide i?
True
Does 6 divide 2799 + (-10 - (-12)/6)?
False
Suppose -350*o = -342*o - 9984. Suppose 0 = 3*w - o - 633. Does 33 divide w?
True
Suppose 5*x + 58*o - 53*o - 21340 = 0, -9 = -3*o. Is x a multiple of 11?
False
Let b(i) = -31*i**2 - 629*i - 22. Is 34 a factor of b(-9)?
True
Let q = 209 + -206. Let k(o) = 50*o + 19. Is 5 a factor of k(q)?
False
Suppose 6*a + 1545 - 273 = 0. Let c = a + 476. Is 33 a factor of c?
True
Let k = -36 + 28. Let j(q) = 9*q**2 + 0*q + 2*q + q**3 + 0 - 2 - 4. Is 21 a factor of j(k)?
True
Let l(u) = -8*u**2 + 27*u - 9. Let z(p) = p**2 + p + 1. Let d(o) = l(o) + 6*z(o). Suppose -5*i - 75 = -5*w, -w - i = -8 - 7. Is 42 a factor of d(w)?
True
Is 17 a factor of (54/297 - 106/(-22)) + 7613/1?
False
Suppose 0 = -2*f + 3*n - 4, -3*n - 5 = 4*f + 21. Is (-1 - 89)/f + 0 a multiple of 18?
True
Let s(v) = -v + 26. Let r(z) = 53. Let h(o) = o + 54. Let a(y) = -2*h(y) + 3*r(y). Let w(f) = -2*a(f) + 5*s(f). Is w(18) a multiple of 10?
True
Let h(n) = -3*n**3 + 11*n**2 - 69*n - 6. Is h(-10) a multiple of 59?
False
Let f = 27674 + -19005. Is f a multiple of 25?
False
Suppose 4*o - 2*r - 11894 = 0, -o = 4*r + 738 - 3707. Suppose -1 = -v, -o = -2*u + 7*v - 4*v. Does 24 divide u?
True
Let d(h) = 2*h**2 - 67*h - 883. Is 4 a factor of d(79)?
False
Suppose 309*w - 14817934 = -4340362. Is w a multiple of 19?
False
Let l = 2502 + 25138. Is 159 a factor of l?
False
Let v be 4 - (-1 + -2 + 4) - -11. Suppose 0 = 8*i - 10*i - v. Let r(x) = -6*x - 34. Does 3 divide r(i)?
False
Suppose -q = -6*q - 10. Let f(n) = 84*n**2. Does 28 divide f(q)?
True
Suppose -5*v - 60 = -7*v. Suppose 0 - v = d. Is 8 a factor of (d/45)/((-2)/24)?
True
Suppose 0 = -59*p + 38*p + 29589. Suppose -2578 = -4*s + c + 219, -3*c + p = 2*s. Does 88 divide s?
False
Let u = -186 + 235. Is (-3)/(-21) - (-2492)/u a multiple of 12?
False
Let m(k) = 4*k - 9. Let i be m(5). Suppose b + 24 = -i*b. Is 26 a factor of ((-3900)/(-210))/(b*(-1)/14)?
True
Suppose 0 = -57*c + 41812 + 60788. Is 10 a factor of c?
True
Let z = 3663 + -3640. Is 2 a factor of z?
False
Suppose 3*w + 0*w - j - 41 = 0, 4*w - 52 = 2*j. Let q(c) = w*c + 20*c - 22 - 18 - 24*c. Is 28 a factor of q(24)?
True
Suppose -4*b - 23*s = -20*s - 4605, 4*b = s + 4625. Does 77 divide b?
True
Let m(j) be the third derivative of j**5/12 + j**4/4 + 29*j**3/3 - 159*j**2. Does 26 divide m(-11)?
False
Let j = 603 + -597. Does 5 divide (26325/j)/15 - (-6)/4?
False
Let i(v) = -v**3 + 4*v**2 - 6*v + 6. Let c be i(2). Let x(b) = -4*b + 36. Is 28 a factor of x(c)?
True
Suppose -9 = 2*p - 5*d, p + 6 = -3*p - 2*d. Let b(r) = -2*r**3 - 4*r**2 - 3*r + 2. Let q be b(p). Suppose 4*f = q*f - 232. Does 5 divide f?
False
Let c(n) = 17*n**3 + 5*n**2 - 13*n + 27. Let d be c(3). Is 9 a factor of (3/2)/((-1467)/d - -3)?
False
Let p(g) = -2*g**2 - 32*g. Let h be p(-11). Suppose 0 = -v - 35 + h. Is v a multiple of 24?
False
Let m be (-1)/(-11) - (-3965)/671. Let u(v) = -4 + 7*v - 5*v**2 + v + v**2 + 3*v**2. Is 3 a factor of u(m)?
False
Let k(b) = 13*b - 78. Let h be k(7). Suppose h*c = 1482 - 182. Is 4 a factor of c?
True
Let f = 200 + -198. Suppose 0*a - 78 = -f*a - 4*s, 5*a - 5*s - 135 = 0. Is a a multiple of 2?
False
Suppose 15*m = 13*m + 4. Suppose 3*a - 4115 = -5*g, 0 = -4*g - 5*a + 1281 + 2024. Suppose 0 = 3*k + 5*w - 490, -m*k + 5*w - g = -7*k. Does 15 divide k?
True
Let y(m) = -2*m**2 - m - 18. Let b be y(0). Let o = b + 11. Let h = o + 16. Is h a multiple of 6?
False
Suppose -4*c + 16 = k - 8*c, k - 2*c = 14. Is 636 - (-7)/((-14)/k) a multiple of 21?
True
Suppose 0*v + 6*v = 18. Let g(n) = -4*n - 11. Let y be g(0). Let s = v - y. Does 7 divide s?
True
Let h(m) = m - 8. Let t be h(7). Let b be (-1 - -74) + (1 - 0)/t. Let r = 87 - b. Does 5 divide r?
True
Let s(b) = -300*b + 108. Suppose 48*g + 242 - 2 = 0. Is s(g) a multiple of 14?
False
Suppose -2*u - 3*u + 1185 = 0. Let t = u - 146. Does 13 divide t?
True
Suppose 40 = 58*s - 50*s. Suppose 0 = 3*w - 5*i + 147, -255 = 5*w + 2*i - 7*i. Is w/((-2)/(s + -4))*2 a multiple of 27?
True
Let x(l) = l**3 - 8*l**2 + l - 5. Let h be x(8). Let c(v) = 1 + v**h + 0*v**2 - v**2 - 8*v - 7*v**2 - 4. Is c(9) a multiple of 6?
True
Suppose 45*k = 11*k + 24548. Does 6 divide k?
False
Let a(z) = 7*z - 31. Let k be a(5). Suppose 0 = -8*v + k*v + 24. Suppose -36 = -v*f + 3*f. Does 2 divide f?
True
Does 11 divide (3999 - -1) + (-10)/(100/(-10)) - 6?
False
Let u(f) = -33*f - 32. Let b be u(-5). Let x = 482 + b. Is x a multiple of 15?
True
Suppose 27*o - 43*o = -832. Does 22 divide o/(-2)*(-78 + 74)?
False
Let i = 983 - 803. Does 18 divide i?
True
Suppose 0 = 5*q + 2*q. Let b be (q + 1)*(4 - -4 - 3). Suppose b*t = t + 112. Is 7 a factor of t?
True
Let o(c) = -25*c + 5. Let j be o(1). Let p = j - -20. Suppose p = 3*r + 55 - 94. Does 13 divide r?
True
Let z = 2344 - 1784. Is z a multiple of 28?
True
Let y(c) be the first derivative of c**3/3 + 10*c**2 - 40*c + 3. Let f be y(-22). Is 39 + (f - 0/(-2)) a multiple of 14?
False
Suppose 112351 = 63*d - 7*d - 447425. Is d a multiple of 84?
True
Suppose -4*j = 4*c - 14326 - 2238, 2*j - 8262 = 2*c. Does 44 divide j?
True
Suppose -9*p + 8*p = 12. Does 15 divide 178/6*p/(-4)?
False
Suppose 0 = -130*q + 120*q - 210. Let d(i) = -i**3 - 20*i**2 + 25*i + 102. Does 3 divide d(q)?
True
Suppose -2*o - 3*o = -385. Let d = 1210 + -1209. Let k = o - d. Is k a multiple of 16?
False
Suppose -14*c = -4*c + 3170. Let w = 505 + c. Does 23 divide w?
False
Let w = -6753 + 7662. Does 9 divide w?
True
Let h be 44/55 + 12/10. Suppose 6*t - t = 735. Suppose -h*n - t = -9*n. Does 5 divide n?
False
Let m(b) = b**2 - 20*b - 3. Let v be m(21). Suppose 5*p = 6*i - 3*i + v, -2*i - 2 = 0. Suppose -260 + 65 = -p*l. Does 13 divide l?
True
Suppose 442*k - 2996495 = -19719 - 572296. Is k a multiple of 85?
True
Suppose -q + 2*j = -1152, 4592 = 4*q - 31*j + 27*j. Is 4 a factor of q?
True
Let l(w) = 49*w + 32. Suppose -39*z = -34*z. Is l(z) a multiple of 4?
True
Is 157 a factor of (9 - (-261)/(-27))/(13186/3297 - 4)?
True
Let l(h) = -988*h + 1152. Is 6 a factor of l(-15)?
True
Let l(w) = -w - 15. Let z be l(-17). Suppose -4*f - 6 = -5*g, -3*f + z*g - 8 + 0 = 0. Is 2/(-16)*f*2 - -94 a multiple of 15?
False
Suppose 5*g - 69300 = -5*g - 2*g. Is 25 a factor of g?
True
Let t be (3/(-9))/((-2)/114) - 3. Let k be (-346)/t*2*(3 + -11). Let n = k - 191. Is 31 a factor of n?
True
Let h be 4*(-15 + 4 + -8)/(-4). Let a be 2 - h/(95/(-1050)). Suppose 0 = -6*f - a + 980. Does 11 divide f?
False
Suppose 0 = 20*p - 7*p - 754. Suppose -p = 5*y - 6*y - 5*j, 5*j = 4*y - 232. Is y a multiple of 5?
False
Let v = 161 + -75. Suppose 0*l = -l + 2*w + v, 157 = 2*l + w. Suppose 8*c - l = 6*c. Does 20 divide c?
True
Let y = -2085 + 5352. Is y a multiple of 27?
True
Does 40 divide 20/40 + (3 - (-158508)/8)?
False
Suppose 38*w + 3865 = 11579. Is 6 a factor of w?
False
Let b be ((-3)/2)/(6/(-872)). Let t = -1468 + 1453. Let y = b - t. Does 40 divide y?
False
Suppose 2*h + v + 0 = 9, 3*h - v - 1 = 0. Is 4 - h*(-22)/1 a multiple of 12?
True
Suppose -3*d + 6148 = 1939 - 4311. Is d a multiple of 10?
True
Let a(z) be the second derivative of -