 = -554 - -1227. Let b = -155 + y. Is 7 a factor of b?
True
Suppose 2*u = 3*i + 1336 + 765, u = -i + 1048. Suppose 9*l = u + 769. Is 49 a factor of l?
False
Let s = 244 - 307. Let h be 605/7 - 15/35. Let v = h + s. Does 23 divide v?
True
Let v be 7/(28/2288) - (2 + 3). Suppose -3*t - v = -2*k, 2*t - 582 = 2*k - 4*k. Is 16 a factor of k?
True
Suppose 42*m - 50*m - 160 = 0. Let j(g) = g**3 + 20*g**2 - 18*g - 12. Is j(m) a multiple of 36?
False
Let a(d) = 7276*d**2 + 23*d + 1. Does 39 divide a(-1)?
True
Let m = -70901 - -113733. Suppose -34*l + m - 14000 = 0. Does 53 divide l?
True
Let w = 85986 + -48754. Is 26 a factor of w?
True
Suppose -528 + 1644 = 12*p. Let m = -47 + p. Does 16 divide m?
False
Let y(o) = 1206*o + 4184. Is 91 a factor of y(8)?
True
Let b(s) = 119*s**2 + 21*s + 82. Is b(-6) a multiple of 16?
True
Let u(z) = 549*z + 3014. Is u(4) a multiple of 10?
True
Let m = 31 + -31. Suppose m = 4*w - 5*w + 89. Suppose -3 - w = -2*h. Is h a multiple of 31?
False
Suppose -16214 = -y - 4*z, -147*z + 32384 = 2*y - 150*z. Is 13 a factor of y?
True
Let a(i) = -98*i + 90. Let r be 7 - (-2 + 14) - 0/(-1). Is 5 a factor of a(r)?
True
Suppose 4*j = 6*j - 3*c - 8, 0 = c. Suppose n + 2746 = j*b, 2*b = 5*n - 483 + 1865. Does 49 divide b?
True
Let x(n) = -n**3 + 32*n**2 - 34*n + 87. Let k be x(31). Is 631*(13/11 - k/(-33)) a multiple of 14?
False
Let w(d) = 2*d. Let s be w(-6). Let l be (-14)/8 + 3/s. Let y = 2 - l. Does 4 divide y?
True
Is (-255)/170*45892/(-6) a multiple of 77?
True
Let m = 36221 - 1921. Is m a multiple of 175?
True
Let n = 464 + -77. Suppose -4*s + 1743 - n = 0. Does 19 divide s?
False
Let n(h) = 4*h**2 + 13*h - 5. Let a be n(-6). Let w = a - 57. Suppose 2*r - 85 = 5*j, 2*j + 2*j = w*r - 176. Is r a multiple of 5?
True
Suppose 0 = -i + 2*b + 42, 0*b + 2*b = -2*i + 72. Suppose 8*x - i = 7*x. Is 3 a factor of x?
False
Let v = 283 - 388. Let t = v - -115. Is t a multiple of 10?
True
Suppose 2*v = 10*v - 23768. Suppose -v - 5909 = -12*y. Suppose z = 5*h + 197, 4*z + 4*h = 8*z - y. Does 8 divide z?
False
Let o be (0 + (-2)/(-6))*3*3. Suppose -6 + 9 = -o*h. Does 17 divide (-2)/h - (-5)/((-10)/(-292))?
False
Let a be -2 - (-2 - 0) - 28. Is (-8)/(-28) + (-8448)/a a multiple of 24?
False
Let y(i) = 158*i**2 - 16*i - 124. Is 95 a factor of y(-5)?
False
Let t be (-56)/(-12) - 1/(-3). Suppose 0 = -3*y - 9, 228 = x + t*y - 0*y. Is x a multiple of 27?
True
Suppose 426 = 2*x + 14. Let t = x + -122. Is 3 a factor of t?
True
Does 43 divide 15814/8 + (-60)/(-48)?
True
Is (3 + -2 + -36)*649602/(-2390) a multiple of 6?
False
Let y be (0 - -1) + (-15 - -16). Suppose -115 = -y*z - 3*z. Does 11 divide (0 - z/(-3))/((-7)/(-63))?
False
Let r(n) be the third derivative of 25/12*n**4 + 0*n + 6 - 2*n**2 + 4/3*n**3 - 1/60*n**5. Is 28 a factor of r(7)?
False
Suppose -23 = -b - 23. Suppose b = -9*q - 13 + 40. Suppose q*k - 56 = -3*x + 1, 2*k = 3*x + 53. Is k a multiple of 9?
False
Suppose 2*p = -g + 618, 3*p + 4*g - 221 = 696. Is 4 a factor of p?
False
Does 2 divide (-2497)/(-8) - (-41)/(-328)?
True
Let o = -84 + 194. Suppose 35*r - 33*r - o = 0. Does 43 divide r?
False
Let o = -6972 - -38588. Is 16 a factor of o?
True
Let n = -2736 + 5784. Does 14 divide n?
False
Let m(n) = n**2 - 6*n - 4 + 3*n**3 - 9*n**2 - 6*n**2. Is m(7) a multiple of 7?
False
Suppose 5*n - 406 = 3*n. Let t = n - 126. Suppose -5*z = -k - 175, k - t = -2*z - 14. Is 17 a factor of z?
True
Let h = 26959 + -18904. Is 15 a factor of h?
True
Suppose b + 3*b = 3*q + 2, -11 = 3*q + 5*b. Let j be q/3*(-210)/(-4). Is 5 a factor of (-297)/(-5) - 0 - 21/j?
True
Suppose 0 = -130*x + 113*x - 5712. Let q = x + 525. Is q a multiple of 3?
True
Let n(b) = -b**3 - b**2 + 5*b + 7. Let c be n(-5). Let v be 3/(-21) + 3938/77. Let y = v + c. Is 45 a factor of y?
False
Does 197 divide (781/(-22))/((-6345)/(-1270) - 5)?
False
Suppose 8*y = 13*y - 640. Let j = 43 - y. Let k = j + 104. Does 3 divide k?
False
Let d(i) be the first derivative of 7*i**2/2 + 96*i + 12. Is 4 a factor of d(9)?
False
Let l(i) = i**2 - 23*i + 52. Let j be l(21). Suppose j*n + 3268 = 14*n. Does 43 divide n?
True
Let v(b) = 2*b + 36. Let s be v(-21). Does 48 divide (s - -246)*(-7)/(35/(-4))?
True
Let j = -6434 + 7478. Is j a multiple of 18?
True
Let t = -50 - -55. Let w(o) = -20*o - 28. Let k be w(t). Let d = k + 189. Is d a multiple of 29?
False
Let u = -10886 - -18778. Is 45 a factor of u?
False
Let d(s) = -3*s**3 + 91*s**2 + 2*s - 379. Does 64 divide d(26)?
False
Let t be (-3 + 2)/((-4)/4). Let w be t + (2/4)/(3/(-18)). Does 36 divide (w - -4) + (102 - -1) - -3?
True
Let j = 110 - 90. Let o be 5*(-2)/j*(-8 - -4). Suppose 3*c - 85 = -o*c. Is 3 a factor of c?
False
Suppose -3*v = -7 + 1. Let t be (42/(-15) - 3)/(v/(-10)). Suppose -t = -11*i + 81. Is i even?
True
Suppose 3919 = 8*p - 465. Let c = p + -8. Is c a multiple of 13?
False
Let o = -1452 - -5040. Is o a multiple of 92?
True
Let z(i) = i + 15. Let n be z(14). Let c = n + -8. Let f(g) = -g**3 + 22*g**2 - 20*g + 39. Is 10 a factor of f(c)?
True
Let x(y) = -105*y**3 - 16*y**2 - 59*y + 5. Is 45 a factor of x(-4)?
True
Let y be (-10)/35 + 46/14. Suppose 4*z - 19 = -y. Does 13 divide -5*(1168/(-20))/z?
False
Let z(c) = -2*c**3 + 8*c**2 + 3*c + 5. Let a(r) = -2*r**3 + 8*r**2 + 2*r + 4. Let y(u) = -3*a(u) + 2*z(u). Let p be (-2)/(((-14)/5)/7). Does 24 divide y(p)?
True
Suppose -36*t + 154 = -26. Suppose -q - 511 = 5*g - 2487, 0 = -t*g - 3*q + 1968. Is g a multiple of 33?
True
Suppose 0 = 548*z - 543*z. Let u(k) = k**3 + 4*k + 108. Is 11 a factor of u(z)?
False
Let b = 18621 + -12618. Is 23 a factor of b?
True
Let p = 2615 + -1504. Is 37 a factor of p?
False
Suppose -3 + 10 = -7*v. Let w(i) = 1. Let z(k) = 6*k**3 + 4*k**2 + 6. Let r(b) = v*z(b) + 6*w(b). Is 14 a factor of r(-3)?
True
Let a = -702 + 702. Let t = 467 + a. Is 38 a factor of t?
False
Suppose -17075 = -20*s - 5235. Suppose 1110 = 2*m + s. Does 38 divide m?
False
Let o(q) = 21*q + 36 - 34 + 7*q. Let c(v) = -v**2 - 2*v + 2. Let n be c(-2). Is o(n) a multiple of 16?
False
Suppose 9*u - 35 + 449 = 0. Let z = 46 + u. Suppose 0 = -3*x - z*x + 5*s + 456, -5*x + 741 = -2*s. Is x a multiple of 42?
False
Suppose -71*q + 75*q = 5*z - 159663, 3*z = q + 95788. Is z a multiple of 36?
False
Let m be (1/(-1))/1*-7. Suppose -5*j - 5*v = -50, -3 = 3*j - 5*v + m. Is 14 a factor of -18*(-6)/(12/j)?
False
Let q(w) = w**3 - 4*w**2 - 4*w - 13. Let z be q(5). Is 7 a factor of (-346)/z - (261/12)/(-29)?
False
Let n(s) = s - 24. Let z be n(24). Suppose -3*o + 297 = -0*o. Is 11 a factor of (-2 + z)*o/(-18)?
True
Suppose 2*u = -8, -3*c + 3*u - 971 = -7997. Is c a multiple of 146?
False
Let k = -117 + 81. Let y = 168 + k. Let m = 288 - y. Is 12 a factor of m?
True
Let h(m) = -m**3 - 15*m**2 + 36*m + 31. Let z be h(-17). Let j(o) = -34*o + 20. Let l(b) = 11*b - 7. Let n(u) = 5*j(u) + 14*l(u). Does 5 divide n(z)?
True
Suppose -2*j = 2*o - 1556, -4*o + 2929 + 213 = -11*j. Is o a multiple of 2?
True
Let n(q) = 5*q**2 - 7*q + 14. Let a(m) = -1. Let s(b) = 2*a(b) - n(b). Let g be s(3). Does 20 divide (-2 + -5)*g/14?
True
Let g(i) = 2*i**3 + 21*i**2 - 46*i + 49. Is 91 a factor of g(14)?
True
Suppose 76291 = 44*c + 8443. Is c a multiple of 210?
False
Let z(l) = 34*l - 3. Let r(g) = -3*g - 37. Let k be r(-14). Let c be z(k). Does 52 divide (-12)/(-4) + c + 2?
False
Is (-3400)/(-56) + ((-48)/28)/(-6) a multiple of 43?
False
Suppose -2144 = -94*k + 110*k. Let w = 139 + k. Does 5 divide w?
True
Suppose 0 = -2*p + 2*a - 206, -p + 24 = -2*a + 127. Let t = -105 + 36. Let m = t - p. Is 10 a factor of m?
False
Suppose 419*j - 139448 = 1904434. Is j a multiple of 17?
False
Let z be ((-6)/4)/(18*21/(-1008)). Let a = -2 - -5. Suppose -3*s = -a*i + i + 39, -4*i + z*s + 84 = 0. Is i a multiple of 3?
True
Suppose 579*b - 609*b = -15210. Does 59 divide b?
False
Let s = 618 - 298. Is s a multiple of 80?
True
Let y = -8 + -2. Let o(v) = v**3 + 9*v**2 - 9*v + 10. Let k be o(y). Is k/5 - (-126)/3 a multiple of 3?
True
Let y = -1377 + 5297. Does 70 divide y?
True
Suppose -3*o + 18603 = -2*d, 8*d - 12395 = -2*o + 7*d. Is 106 a factor of o?
False
Suppose 394 = -12*v + 1018. Let l = v - -62. Suppose 2*c = 3*u - c - l, u - 38 = 2*c. Does 8 divide u?
False
Suppose -5*l + 107 = 2*s, -s - 4*s + 