l = -125 + c. Does 58 divide l?
True
Suppose 8863 = 3*x - 4*w, -4*x - 2*w = -6*w - 11820. Suppose 0 = 2*h - 6, -7*h = -4*a - 6*h + x. Is 10 a factor of a?
True
Let m(q) = -106*q**3 + 21*q**2 + 23*q + 22. Does 50 divide m(-4)?
True
Let t(k) be the second derivative of k**5/20 - k**4/2 + k**2 - 11*k. Let d be t(6). Is 34*4/(d - -2) a multiple of 15?
False
Let a(i) = -4*i - 11. Let s be a(-3). Let l(v) = 5*v**3 - 2*v**2 + v. Let y be l(s). Suppose -12 = -x + y*u, x + 2*u = -3*x + 30. Is x a multiple of 3?
False
Suppose -2*b = 5*c - 113720, -351*b + 347*b - c = -227476. Is b a multiple of 26?
False
Suppose 0 = 14*t - 16*t - 4*x + 706, -5*x = 2*t - 710. Suppose 0 = l - 2*l + 4. Suppose 5*o = m - 98, -3*m - l*o + t = -2*o. Does 13 divide m?
False
Let t be 78/(8 - 5)*8. Let u = t + -182. Is u a multiple of 15?
False
Let n be (-3)/12 - (-1658)/8. Let b = n - 191. Does 16 divide b?
True
Let g = -11 + 3. Let l be 100/g*4/(-5). Does 15 divide 76 + (l/(-2))/5?
True
Let c be (15135/55 - -5) + (-4)/22. Is 3 - 5 - c/(-7) a multiple of 2?
True
Let v = 3601 - 1315. Is 7 a factor of (v/24 + -6)/(2/8)?
True
Suppose 10*v + 6 = 12*v. Suppose -2*d = -v*d + 2, -2*a = 4*d - 18. Suppose -100 = -4*c - 5*l, -a*c + 179 = 3*l + 54. Is 7 a factor of c?
False
Let f = 293 + -288. Suppose -5*p - 5*q = -1130, -f*p + 4*q = -p - 896. Is p a multiple of 16?
False
Let q = -5404 - -11786. Is q a multiple of 18?
False
Let m(o) = -13142*o**3 + 26*o**2 + 30*o + 4. Is m(-1) a multiple of 37?
False
Let v = -4854 + 7214. Is 2 a factor of v?
True
Let r(x) = -530*x + 765. Does 15 divide r(-6)?
True
Suppose -2*m = -v - 7333, 0 = -234*m + 235*m - 5*v - 3653. Is 21 a factor of m?
False
Suppose 28*z - 175515 = 13*z + 537285. Is 24 a factor of z?
True
Let p be (2 - ((-16)/4 + -244)) + -3. Let d = -102 + p. Does 29 divide d?
True
Suppose -3*s - 3 - 12 = 0. Let u(m) = 2 - 6*m + 4*m + 2*m + 3*m + 9 + 5*m**2. Is 11 a factor of u(s)?
True
Let f = -981 - -1683. Is f a multiple of 9?
True
Let m = 1682 - -1853. Is 35 a factor of m?
True
Let d(n) = 3*n**2 - 18*n + 8. Let t be d(12). Let i(y) = -y - 14. Let p be i(-14). Suppose -4*r + 4*x + 224 = -2*r, -2*r - x + t = p. Does 14 divide r?
True
Let f be ((13 - -12) + -9)*(-6)/(-8). Suppose -145 = -g + 4*d, 3*g - 395 = 14*d - f*d. Is g a multiple of 12?
False
Let c(q) = -q**2 - 12*q - 10. Let a be c(-8). Let k be a/(1 - 21/27). Is 26*1/3 - (-33)/k even?
False
Let g(c) be the third derivative of c**5/60 - 3*c**4/8 - 7*c**3/6 + 21*c**2 - c. Does 6 divide g(17)?
False
Suppose 60873 = 13*k + 18051. Is k a multiple of 61?
True
Let n = -219 + 219. Suppose -22*v + 12*v + 1900 = n. Is 3 a factor of v?
False
Let z(h) = 67*h**2 + 12*h - 212. Is z(10) a multiple of 97?
False
Let p(s) = 76*s - 15. Let u be p(5). Suppose -c + 66 = 2*j - 17, 0 = -4*c + 3*j + u. Suppose 1 = -n - 4, 4*n - c = -q. Is 35 a factor of q?
False
Let q(v) = -13*v + 104. Let l = -397 - -402. Is 13 a factor of q(l)?
True
Suppose -353 = 4*s + 2067. Let t = 385 - s. Is 45 a factor of t?
True
Does 29 divide 11314/(2 + -1) - ((5 - 8) + 7)?
True
Let i(u) = 5*u**2 - 322*u + 256. Is 17 a factor of i(91)?
True
Is 211758/12 - (28/8)/7 a multiple of 6?
True
Let v(l) = 4*l - 19. Let p be v(23). Let f = 1522 + -872. Suppose p*n = 78*n - f. Is n a multiple of 13?
True
Suppose -2*r = -5*x + 2, -4*x - 3*r - 1 - 2 = 0. Suppose 3*p - 5 - 4 = x. Suppose 2*t = -3*l + 94, 4*l - 148 = -0*t + p*t. Is l a multiple of 14?
False
Let j(y) = -102 - 747*y - 805*y + 1616*y. Is 74 a factor of j(12)?
True
Suppose t + 2*t = 6*t. Suppose 343 = 3*r - 4*m, t = -4*r + 3*r + 5*m + 96. Is r a multiple of 11?
True
Suppose -11*j - 9*j = -2*j. Let r(y) = y**2 + y + 26. Is r(j) a multiple of 13?
True
Does 18 divide (9 - 11) + 272610/19 + (-46)/(-437)?
True
Suppose 53 = -3*o - 5*s + 98, 0 = 3*o + 4*s - 45. Let d(v) = 3*v**2 - 8*v. Let t be d(6). Is t/(-1 + o/9) a multiple of 17?
False
Suppose -4*u + 20 = 3*d, u + 4 = -2*d + 14. Suppose -2*h + 560 = 2*n, 17*h - 13*h - d*n = 1096. Does 25 divide h?
False
Let d = -26747 - -31189. Does 39 divide d?
False
Let r = -339 + 474. Let w be (-110)/1 + (8 - 6). Let k = w + r. Does 18 divide k?
False
Let y(r) = 62*r**3 - 9*r**2 + 37*r - 70. Is 10 a factor of y(5)?
True
Let i(g) = 70*g + 1944. Is 64 a factor of i(60)?
True
Let u = 3145 - 1236. Is u a multiple of 4?
False
Let w be (9 - 7) + 2*1. Let a(u) = 2*u - 11. Let t be a(w). Is 6/(((-5)/(-10))/(t/(-3))) a multiple of 12?
True
Let w = 9907 - 2900. Is 14 a factor of w?
False
Let c(m) = 22*m**2 - 33*m - 120. Does 52 divide c(-4)?
True
Suppose 5*q = 4*q + 5*f + 8, -3*q + 5*f + 24 = 0. Suppose -2409 = -16*d + 5143. Suppose q*x = 488 + d. Is 12 a factor of x?
True
Let i(q) be the first derivative of -16*q**2 + 2*q + 66. Does 6 divide i(-2)?
True
Let q(j) be the second derivative of -9*j**3/2 - 13*j**2/2 + 40*j. Does 17 divide q(-3)?
True
Let v(i) = i**2 + 4*i + 5. Let n be v(0). Suppose -n*j + 375 = -15. Does 13 divide j?
True
Let m(o) = o**3 - 4*o**2 - 11*o - 21. Let l(g) = g + 22. Let c be l(-11). Let d be m(c). Suppose -5*h + h = 5*r - d, 3*r = -3*h + 528. Is h a multiple of 35?
True
Suppose -w + 11 + 13 = 0. Let p be (5 - 9) + 4 - (5 + -5). Suppose p*r - w = -r. Is r a multiple of 10?
False
Let d(c) = 3*c**3 - 453*c**2 + 122*c - 728. Is 18 a factor of d(151)?
True
Let u = 308 + -176. Let x = u - 97. Does 2 divide x?
False
Suppose -6336 = -4*d + 4*c, 299 = 3*d + c - 4433. Is 2 a factor of d?
False
Let b(p) = -27*p + 987. Is b(-44) a multiple of 5?
True
Let h = -794 + 1154. Suppose -17*x = -12*x - h. Does 9 divide x?
True
Let p(o) = 4250*o + 731. Is 20 a factor of p(4)?
False
Let y = 17 - 13. Suppose 5*p = y*p - 206. Let n = -97 - p. Is n a multiple of 20?
False
Let z(s) = 4*s**2 - 15*s - 8. Suppose -9 = -4*p + 3*o, 5*p + 6*o - 10*o = 10. Is 14 a factor of z(p)?
False
Let i(y) be the third derivative of -y**5/30 - 7*y**4/24 + 4*y**3 + 23*y**2. Let x(t) = t**2 + 4*t - 12. Let o(q) = -6*i(q) - 13*x(q). Is 18 a factor of o(-6)?
True
Suppose -6*d - 120 = 24. Let g(r) = r + 29. Let a be g(d). Suppose -3*k + 3*w + 17 = -7, -a*w - 31 = -4*k. Does 3 divide k?
True
Suppose 0 = 34*m - 27*m - 14. Suppose -92 = -2*v - a - m*a, -2*v = -4*a - 106. Is 28 a factor of v?
False
Let m(z) be the first derivative of -z**4/4 + 13*z**3/3 - 9*z**2 + 43*z - 81. Is m(11) a multiple of 15?
False
Let a = 121 + -103. Suppose -2*f - 8416 = -a*f. Does 20 divide f?
False
Let s be 4/((-2)/(-24)*2). Suppose s = 2*x - 10*x. Does 11 divide 402/3 - (-1 - x)?
True
Suppose 6*r + 662 = h + 5*r, -4*h + 2656 = 4*r. Let i = h + -567. Does 24 divide i?
True
Does 14 divide -20 - (-1808)/88 - 21548/(-22)?
True
Let k(y) = 219*y**2 + 38*y - 175. Does 9 divide k(5)?
True
Let j(v) = 510*v**2 - 30*v + 36. Is 77 a factor of j(-5)?
True
Let k(p) = 23*p - 14. Let z be k(-2). Let w be (12/(-1))/(z/30). Is 35 a factor of (-64)/16 - -236*w/4?
True
Let a(m) = -m**3 + m**2 + 2*m + 2. Let s be a(0). Let n = 1 + 4. Suppose n*b - 264 + 47 = w, -38 = -b + s*w. Is 7 a factor of b?
False
Let y = -106 - -121. Let b = y + -10. Is b a multiple of 2?
False
Suppose -304920 = -135*t + 120*t. Is t a multiple of 132?
True
Suppose -m + 80 = -5*n, -n = 3*m + 42 - 250. Suppose -17*b = 335 - 3191. Suppose w - q = 6*w - b, -2*w = -q - m. Is 17 a factor of w?
True
Suppose -5*c - 26 = 14. Let p = c + 30. Let g = p - 5. Is g a multiple of 4?
False
Let q(s) = -11*s - 161 + 144 + 226 + 146. Is 17 a factor of q(-13)?
False
Let r = 221 + -218. Suppose -9*o + 268 = t - 7*o, 0 = r*t - 5*o - 826. Does 34 divide t?
True
Let t(v) = 9*v**2 + v - 3. Let z be t(1). Suppose -36 = -z*g - 15. Is -13*(-3 - 0)/g a multiple of 9?
False
Suppose -5*p - 5*n = -4*n + 379, -4*p - 306 = -2*n. Let x = -28 - p. Is 8 a factor of x?
True
Suppose -16*v = 17*v + 13*v - 110492. Is v a multiple of 3?
False
Let q = 946 + -409. Suppose 6*s + 218 = 2918. Suppose -7*c + q = -s. Is 47 a factor of c?
True
Is ((-19)/(513/102231))/(2/(-18)) a multiple of 128?
False
Let u(t) = 2 - 2 + t**3 - 2 + 1. Let w be u(0). Does 23 divide (-3 - w)/(6/(-795))?
False
Let j(c) be the first derivative of -32*c**2 - 4*c + 22. Let m(o) = o. Let g be m(-1). Does 5 divide j(g)?
True
Let m be 6/8 + (-7078992)/(-64). Is m/135 - 1/3 a multiple of 13?
True
Is 42/(0 + -14) + 3567 a multiple o