 14 divide (2*q/(-8))/((-3)/(-132))?
False
Suppose -5*g = 23 + 42. Let k = g - -15. Is 7 a factor of (-44 + k + -2)*4/(-8)?
False
Suppose l - 5*l = -2*y - 1164, 5*y + 282 = l. Is l a multiple of 4?
True
Let y(i) = -i**3 - 6*i**2 - 10*i - 8. Let k be y(-5). Suppose 5856 = -5*v + k*v. Is 26 a factor of v?
False
Suppose 0 = -7*j + 3*j + 24. Suppose -j*y + 18*y = 900. Suppose -y = -4*i - i. Does 4 divide i?
False
Suppose -31*n + 14*n + 106384 = -9*n. Is 23 a factor of n?
False
Suppose -4*h + 373 + 4139 = 4*x, -4536 = -4*x + 2*h. Is 5 a factor of x?
False
Let n = -35 - -41. Let t be (-96)/(-52) + n/39. Suppose -t*q + 33 = -59. Is q a multiple of 17?
False
Let m = -10182 + 34150. Is 4 a factor of m?
True
Suppose 12*m + 3*g = 8*m + 3189, 5*m + 2*g = 3995. Does 19 divide m?
False
Let g = -1274 - -583. Let z = 1151 + g. Suppose 6*k - z = 404. Does 16 divide k?
True
Suppose 15*z - 6*z - 9846 = 0. Let n = z + -742. Is 36 a factor of n?
False
Let w be 9124/(-8)*7/((-21)/6). Let q = w - 898. Is q a multiple of 14?
False
Suppose 4*r - 9*r - 25880 = -5*a, -4*a - 9*r = -20678. Does 26 divide a?
True
Let a(k) = -k**2 + 7*k + 8. Let b be a(6). Let u be (1 - -5) + -13 + -28. Does 10 divide (-375)/u + -2*(-2)/b?
False
Let l be (-57)/(-27) + 6/(-54). Suppose 7*j = k + l*j, j = -2*k + 22. Is 47 a factor of 2*k*(-2 + (-17)/(-2))?
False
Let u(v) = 4*v**3 - 3*v**2 + 4*v - 2. Let m(t) = t**2 - 17*t - 15. Let k be m(18). Let h be u(k). Suppose -117 = -4*q + h. Is 26 a factor of q?
True
Let w = -248 - -339. Suppose -87*d = -w*d + 1520. Is d a multiple of 19?
True
Let m be 15/10*(-8)/12. Let y = m - -15. Suppose 0 = 2*d + 3*i - 25 - y, -3*d = -3*i - 21. Is d a multiple of 6?
True
Let f be 4/16 - (-2972)/16. Suppose f - 46 = -7*a. Is 6 a factor of ((-30)/a)/((-6)/(-356))?
False
Let z be 6790/60 - -9 - (-2)/(-12). Let n = 28 + z. Is 15 a factor of n?
True
Let y(k) = 4*k**2 - 5*k + 8. Let f be (105/70)/(11/(-14) - -1). Let d be y(f). Suppose 0 = -167*p + d*p - 114. Does 9 divide p?
False
Let c = 298 - 246. Let t = 344 - c. Is t a multiple of 4?
True
Let i = -148 - -152. Let v(d) = 10*d**2 + d + 12. Does 11 divide v(i)?
True
Let x(l) = -151*l + 2295. Is x(-107) a multiple of 135?
False
Suppose -28*t - 24224 = -165764. Is t a multiple of 40?
False
Is 44 a factor of (20/4 - 2) + -10*(-6190)/25?
False
Let v(g) = g**3 - g**2 - g + 2320. Let w be v(0). Suppose -4*o + w + 944 = 0. Does 51 divide o?
True
Let j(p) = -203*p + 346. Does 44 divide j(-10)?
True
Suppose -4*o + 1 = -3*s - 10, -4*o - s + 7 = 0. Suppose -o*b - 2808 = -5*b. Suppose 34*i = 40*i - b. Is i a multiple of 13?
True
Suppose 2*u + u - 3*x - 15 = 0, -5*u - 5*x - 25 = 0. Let i be (-31*(7 - u))/((-5)/5). Let q = i + -130. Is 29 a factor of q?
True
Let g be ((-27)/8)/((-1)/8). Suppose -s + 501 = -g. Does 48 divide s?
True
Suppose -22215 = -5*j - 5*k, -4*j + 2*k + 4418 = -13354. Does 6 divide j?
False
Let b(r) = -r**2 + 9*r + 11. Let a be b(17). Let j = -123 - a. Let h = j + 18. Does 3 divide h?
False
Suppose 3*t + 3*u = 1155, 0 = 3*t - 5*u - 584 - 547. Let y = t + -310. Does 6 divide y?
True
Is 131 a factor of -11 - 0 - (93 + -3589)?
False
Suppose 2*j + 2*c = 22780, 169*j - 45563 = 165*j - c. Is j a multiple of 7?
False
Let l be ((-4)/(-5))/(-1*1/240). Let h = 500 + l. Does 44 divide h?
True
Suppose -3*i = 3*u - 44889, 2*i + 103*u - 108*u = 29954. Is i a multiple of 9?
True
Suppose -70 = -2*v - 2*z, -4*v = 2*z - 105 - 45. Let g be 0 + v + (5 - (2 - -1)). Let x = -31 + g. Does 2 divide x?
False
Let u(k) = -k**3 + 8*k**2 - 5*k + 22. Let f be u(7). Suppose 9*d - 13*d = -f. Is d/6*(28 - -2) a multiple of 27?
False
Let g(s) = -s**3 - 20*s**2 + 20*s - 17. Let w be g(-21). Suppose 6*x + w*v = x + 1170, 3*v = -15. Is x a multiple of 14?
True
Suppose -234*t + 238*t + 228 = 0. Does 3 divide 36/(-84) - -3*t/(-7)?
True
Let p be 6/8 + -1 - (-29)/116. Suppose -29*a + 31*a - 222 = p. Let u = a - 99. Does 6 divide u?
True
Suppose 3*h = -6*m + 1140, -51*m = -53*m + 2*h + 368. Does 178 divide m?
False
Let i = 30002 - 13192. Is 101 a factor of i?
False
Let i(z) = -148*z**2 + z. Let c = 34 + -33. Let n be i(c). Let d = -94 - n. Does 8 divide d?
False
Suppose 5*i - 5*z - 30 = -3*z, i + 2*z = 6. Suppose 12*j - i*j = 1428. Is 34 a factor of j?
True
Is (-36787724)/(-741) - 36/702 a multiple of 103?
True
Let w(b) be the second derivative of -b**5/2 - b**4/12 + b**3/6 + b**2 - 12*b - 2. Let d be w(-1). Let g = d + 72. Is 24 a factor of g?
False
Let l = -303 - -421. Suppose 5*p - 1163 = 3*j, 2*j - 112 = -p + l. Is 49 a factor of p?
False
Let h be (-16)/24 + (-160)/(-24). Let f(r) = r - 1. Let l(x) = -2*x + 9. Let g(a) = 3*f(a) + l(a). Is g(h) a multiple of 2?
True
Let w = 2849 - 1395. Does 10 divide w?
False
Let g(q) = 56*q - 72. Let n = -117 + 130. Is 12 a factor of g(n)?
False
Suppose 0 = 90*m - 322253 + 119344 - 163391. Is m a multiple of 55?
True
Let h = -544 - -514. Is (-2112)/99*h/8 a multiple of 5?
True
Let p = -15 - -10. Does 7 divide p/1*((-444)/10 - 0)?
False
Suppose 34*u - 40 = 32*u. Let g = 24 - u. Suppose g*x = -5*x + 864. Does 8 divide x?
True
Suppose c - 4*c + 402 = 0. Let o = c - 132. Is o even?
True
Suppose -5*v = 2*i - 27781, -2*i + 2*v + 5575 = -22255. Does 134 divide i?
False
Suppose -7 = -0*g - 4*g - r, g - r = 3. Suppose -2*q + 608 = g*q. Suppose 0 = 6*n - 4*n - q. Is n a multiple of 31?
False
Let z(q) = 47*q**2 - 209*q + 34. Is 28 a factor of z(9)?
True
Suppose 0 = 2*m + m. Suppose 0*q + 590 = 5*q - d, 2*d = m. Is 3 a factor of q?
False
Let l(i) = i**2 - 13*i + 15. Let z be l(-10). Let p = z + 163. Suppose 5*w + 0*s - 406 = s, -5*w + p = -3*s. Is 27 a factor of w?
True
Let m = -22 + 2. Is 2 a factor of (5 + -3)*-1 - (4 + m)?
True
Let v(t) = 8*t**2 - 14*t + 12. Let d be v(7). Suppose 2*k + 309 = w - 0*k, -w - k = -d. Is 19 a factor of w?
False
Let t(v) be the first derivative of -2*v**2 - 8*v + 32. Does 4 divide t(-15)?
True
Let z = -31 + 35. Suppose -z = j - 8. Let u = j + 69. Is u a multiple of 24?
False
Suppose -w + 1880 = 4*n, -3*w + 4746 = -3*n - 804. Is w a multiple of 4?
True
Suppose -949*z = -951*z - w + 47323, 3*w - 23674 = -z. Is z a multiple of 24?
False
Let p be (0 - 69 - (2 - 2)) + -2. Let r = p + 55. Is (-24)/r + (-566)/(-4) a multiple of 13?
True
Is (-8*5)/((-60)/1110) a multiple of 5?
True
Suppose -207 = 33*f - 36*f. Suppose 5*b = -2*l + 37, 11 = -3*l - 5*b + f. Let k = l + 48. Does 3 divide k?
True
Let b(r) = -r**3 + 12*r**2 - 11*r - 17. Let p be b(9). Let o(u) = u**2 + p + 35 - 15. Does 23 divide o(0)?
False
Suppose 373*o - 13031353 = 7993911. Does 204 divide o?
False
Let p = -10240 + 17627. Is p a multiple of 2?
False
Let l be -3 + 1 + (-123 - (-7 - -5)). Let z = -28 - l. Let a = -37 + z. Is a a multiple of 29?
True
Let y(x) = -593*x - 67. Let g be y(-13). Is g/26 - (-14)/182 a multiple of 7?
True
Suppose -6474 - 9562 = -5*c - s, 5*c - 4*s = 16056. Is 58 a factor of c?
False
Let x(r) be the second derivative of r**6/120 + r**5/5 - r**4/24 - r**3/3 - 21*r**2/2 - 4*r. Let q(i) be the first derivative of x(i). Does 2 divide q(-12)?
True
Let y be (-1 - -3)*(-83)/(-2). Suppose -k - k = 2*k. Suppose -5*u - 3*x + 2*x + 77 = k, -5*u = 4*x - y. Does 5 divide u?
True
Let n be 141/9 + (-2)/3. Suppose -5*s + 32 = 3*p, 4*p - 2*s - 20 = 14. Let b = n - p. Is 6 a factor of b?
True
Suppose 0 = 5*v - 2*b - 18434, 39*v = 37*v + 4*b + 7348. Is 61 a factor of v?
False
Suppose 0*d + 20 = 4*d. Let i(j) = -71*j - 68. Let u be i(-1). Suppose 64 = 3*c - 4*w, -u*c - d*w + 18 = -37. Is c a multiple of 5?
True
Let c = 92 - 110. Does 10 divide ((-120)/c)/10*165?
True
Let v(r) = -69*r - 22. Suppose i + 62 = 57. Is 25 a factor of v(i)?
False
Let m be (68/2)/((-2)/(-2)). Let y be 8/(-14) + (-36594)/1498. Let i = y + m. Is 2 a factor of i?
False
Is ((-91)/(-13) - 1433)*(-7 + -3) a multiple of 124?
True
Suppose -214*g = -g - 24*g - 68607. Is 11 a factor of g?
True
Is (-23592)/20*(-25)/3 a multiple of 10?
True
Let w(z) = -4571*z - 3807. Is w(-7) a multiple of 6?
False
Let g(s) be the first derivative of -4*s + 3*s - 7*s**2 + 0*s - 2 + 7*s. Is 19 a factor of g(-5)?
True
Suppose -339*b = -334*b - 110. Let o(x) = -2*x**2 + 45*x + 54. Is 19 a factor of o(b)?
True
Let n(w) = -26*w - 25. Let s(k) = 26*k + 26. Let g be (-2 - (-8)/12)*-3. Let f