 -2*q + 92, -4*q - 7*f + 4*f = -236. Let y = q - -13. Let o = -43 + y. Is 13 a factor of o?
True
Let s(m) = -3*m - 2. Let t be s(-4). Suppose 75 + 9 = 12*u. Let q = t - u. Is q a multiple of 3?
True
Let k(g) = 95*g**2 - 33*g - 111. Does 14 divide k(-10)?
False
Suppose -2*z = 2*r + 568, 5*z + 4*r + 126 + 1291 = 0. Is 31 a factor of -17 - -15 - (z - 0)?
True
Let u(w) = 6*w + 43. Let j = -30 + 24. Let z(s) = 3*s + 21. Let q(k) = j*u(k) + 13*z(k). Is 12 a factor of q(7)?
True
Is (-4*2/12)/(38/114)*-12198 a multiple of 214?
True
Let p = -622 + 2755. Is 79 a factor of p?
True
Suppose 22*b - 3*j = 19*b + 1929, 3*j = -b + 635. Let y = b + -353. Does 16 divide y?
True
Is 62 a factor of (17*16/816)/((-1)/(-61431))?
False
Suppose 4*r = 66231 - 8605 + 147914. Does 57 divide r?
False
Suppose l - 4*o = 50, 0 = l - 9*o + 4*o - 53. Suppose l*b + 196 = 45*b. Does 4 divide b?
True
Let n = -719 - -1055. Let y = n - 80. Does 16 divide y?
True
Suppose 3*s + 4*m - 2 - 4 = 0, 5*s = -4*m + 2. Let c be (13/2)/(-1*(-1)/s). Let j = 83 + c. Is 9 a factor of j?
False
Suppose -5*x + 2*x + 762 = 4*o, 0 = 4*x + 8. Let m be (-3 - -6)/((-12)/(-24)). Suppose -m*w = -0*w - o. Is 4 a factor of w?
True
Let v = 16569 - -3581. Does 28 divide v?
False
Let u = -619 + 617. Let k(q) = 360*q**2 + q + 1. Is k(u) a multiple of 60?
False
Let p(h) = -4*h + 23. Let v = 131 + -120. Suppose 11 = -8*t + v*t - g, 5*g = 4*t. Is 2 a factor of p(t)?
False
Is (-247800)/(-80) - (21/6 + -2) a multiple of 13?
False
Suppose 4*n = 5*v + 461, -6*v + 208 = 2*n - 4*v. Suppose -5*f = 3*g + 228, -5*g - 212 = -f + 168. Let u = g + n. Is u a multiple of 8?
False
Suppose -5*y + 3508 = -1607. Is 16 a factor of y?
False
Let j = -1 + 3. Suppose -2*m - j*m = -8. Suppose -m*l = -2 - 46. Is 4 a factor of l?
True
Suppose 27 = -7*c - 2*c. Does 32 divide 27/(-81) + (-481)/c?
True
Let u(r) = r**3 + 3*r**2 + 3*r + 2. Let t be u(-2). Let p = 10 - 7. Suppose -p*n + 171 = -t*n. Does 19 divide n?
True
Let k(l) = l**3 - 7*l**2 + 7*l + 12. Let q be k(6). Let f = 16 - q. Is 14 a factor of (70/21)/(f/(-42))?
True
Suppose 11*n + 13 + 9 = 0. Let m(c) = c**2 - 2*c. Let f be m(n). Suppose -f*j + 65 = -7*j. Is j a multiple of 14?
False
Let y(k) = -1009*k - 6619. Is y(-11) a multiple of 16?
True
Suppose 82*v - 125*v + 61*v = 783360. Is v a multiple of 320?
True
Let g = -649 + 180. Let p = 594 + g. Does 3 divide p?
False
Let f = -70 - -45. Let w = f + 247. Is 21 a factor of w?
False
Let b = -250 - -253. Suppose -b*f + 2985 = -3*k, 5*k - 3009 = -8*f + 5*f. Is f a multiple of 18?
False
Let v be 1441 - (6 - (1 - -10)). Suppose 6*q - q + z = v, -2*z = -3*q + 865. Does 10 divide q?
False
Suppose c = -3*f - 4, 0 = -3*c + 4*f + 26 + 1. Suppose 71 = 3*a - c*p, -p - 27 = 6*a - 7*a. Does 5 divide a?
False
Let r(w) = -3*w**3 - 14*w**2 + 6. Let n be -1 + -3 + (-2 - -36). Suppose 0 = -16*y + 11*y - n. Does 30 divide r(y)?
True
Suppose -9897 = -3*q - m, 9*q - 2*m = 19*q - 32994. Is q a multiple of 6?
True
Let m = -28081 + 45930. Is m a multiple of 13?
True
Suppose 3*y + 5*k = 2*y + 29, 0 = 4*k - 4. Suppose -922 + 3082 = y*f. Is 9 a factor of f?
True
Suppose -47*s + 185046 = 4*d - 49*s, -3*s - 9 = 0. Is 81 a factor of d?
False
Suppose -13884*y = -13877*y - 41300. Does 118 divide y?
True
Let r = 1647 - 1062. Is r a multiple of 65?
True
Let v be 9/18*-1*-186. Suppose -98*a + 3640 = -v*a. Does 20 divide a?
False
Let u(t) = 9*t - 12. Let g be u(-1). Is (-4 - g/4)*(-140)/(-5) a multiple of 5?
True
Let s(m) = -m**3 - 26*m**2 + 56*m + 24. Let v be s(-28). Suppose v = -r + 5*r + 5*d, -r + d = -6. Is r a multiple of 2?
True
Let f be 16/(-7) + (-10)/(-35). Does 7 divide f*(-1123)/6 - 27/81?
False
Does 4 divide 14766/8 + (-14 - (-228)/16)?
False
Let a(k) = 26414*k**2 - 161*k - 161. Does 44 divide a(-1)?
False
Let k = 11290 + -5102. Does 28 divide k?
True
Suppose -666 - 21906 = -11*x. Is x a multiple of 36?
True
Let s be ((-2)/2)/((-2)/1634). Suppose 1228 - 213 = -2*d - r, r - 3 = 0. Let b = s + d. Is 44 a factor of b?
True
Let r(t) be the third derivative of 5*t**4/3 - 5*t**3/3 - 19*t**2. Let h be r(6). Suppose h = 3*m - v, 5*v + 72 = 2*m - m. Does 15 divide m?
False
Suppose -v = 4*a - a + 1, -5*v + 4*a = -14. Suppose d = -v*d + d. Is ((-145)/58)/(d + (-2)/60) a multiple of 15?
True
Let q = 5756 - 2490. Does 46 divide q?
True
Let y(p) = 410*p**2 - 87*p - 246. Is y(-3) a multiple of 19?
True
Let l(z) = -17*z - 155. Let r be l(-25). Suppose -r*i = -267*i - 1089. Is 4 a factor of i?
False
Suppose 0 = -3*s + 6*s - 333. Suppose 4*h + 27 = -n, 5*n + 0*h = 4*h - s. Let k(z) = -z**3 - 22*z**2 + 22*z + 5. Is k(n) a multiple of 14?
True
Let v(l) = -l**2 - 4*l + 6. Let w be v(2). Let o be 3/(-2)*w + 4. Does 4 divide -2*((-2 - o) + 1)?
True
Let l(c) = 187*c**2 - 8*c + 21. Let d be l(3). Suppose 6*w + d = 10*w. Is w a multiple of 60?
True
Let u(q) = 883*q + 985. Is 135 a factor of u(5)?
True
Suppose -74*z + 343 + 653 + 262 = 0. Is 17 a factor of z?
True
Suppose 4*z - 25885 = 10*z - 11*z. Is 31 a factor of z?
True
Let x(c) = -2*c**2 - 255*c + 289. Is x(-69) a multiple of 37?
True
Suppose 2*c = -5*o - 172 - 1069, 5*o - 25 = 0. Let a = c - -1484. Is a a multiple of 23?
True
Let c = -500 - -510. Suppose -c*a = -5*a + 3*o - 1413, 0 = -5*a + o + 1429. Is 28 a factor of a?
False
Suppose -7*q = -6*q - 6. Suppose 18*c - 15*c = -q. Let x(h) = -77*h + 11. Is x(c) a multiple of 24?
False
Let r be 38/9 - (170/(-45) - -4). Suppose -4*k - k + r*j = -825, 5*j - 330 = -2*k. Does 19 divide k?
False
Let p(r) = -r**2 - 13*r - 25. Let w be p(-6). Is 15 a factor of 1 - 5 - -3 - w*-46?
False
Let k = 1808 + -658. Does 16 divide k/6 - (-10)/30?
True
Let j = 72528 - 34620. Is 54 a factor of j?
True
Let f(j) = 3*j**3 - 22*j**2 - 8*j - 16. Suppose -9*a + 17 + 55 = 0. Is f(a) a multiple of 2?
True
Let c(r) = -r**3 + 4*r**2 + 3*r - 8. Let f(d) = -d**2 + 10*d - 17. Let z be f(7). Let y be c(z). Is 6 a factor of 31/3*(-1 + y)?
False
Does 17 divide 3*210 - -15*22/(-330)?
True
Let b(n) = n + 5. Let y be b(-5). Let j be (20/35)/(2/161). Suppose p = -3*k + 65, 2*k + 2*p = -y*k + j. Is k a multiple of 8?
False
Let n(t) = t - 5. Let c be n(8). Suppose m + 3*r + 0*r = 57, -5*m = c*r - 285. Let l = m - -2. Is 18 a factor of l?
False
Let c be 553/70 - 1/(-10). Suppose c*k - 610 = 974. Suppose -g - 3*x + 16 = -k, 0 = 3*x - 12. Is 36 a factor of g?
False
Let n = -10 - -12. Suppose 3*d + 4*f - 395 = 0, -2*d - 3*f + 261 = n*f. Is d a multiple of 10?
False
Let v = 4213 + -2323. Is 46 a factor of v?
False
Let d be (57/4)/(12/64). Suppose 3*v = 44 + d. Is 8 a factor of v?
True
Suppose 0 = -6*t + 428 - 44. Let u = t + -58. Suppose -u*b = -2*b - 800. Is b a multiple of 25?
True
Suppose 5*b - 2150 = -5*n, 77*n - 74*n + 4*b = 1295. Is 17 a factor of n?
True
Suppose 5*t - 77 = -3*p, -t + 2*p = -2*t + 21. Let n(o) = -2*o**3 + 9*o + 13. Let y be n(-2). Suppose 0 = t*g - y*g - 76. Is g a multiple of 19?
True
Suppose -161656 = 183947*u - 183955*u. Is u a multiple of 121?
True
Let h(p) = -6*p - 3. Let f be h(-10). Let r(u) = -u**3 - 11*u**2 + 13. Let g be r(-11). Suppose -m - g = -f. Is 11 a factor of m?
True
Suppose 14*m + 300 = 44*m. Suppose -m*k = 4*k - 3752. Does 16 divide k?
False
Does 22 divide (-3 - (-9 + 2))/1*7263/108?
False
Suppose 16*t - 33 = 31. Suppose 11*p - 881 = 8*p - 4*j, 1143 = t*p - j. Does 23 divide p?
False
Suppose o = -4, -3152*w + 4*o = -3151*w - 26664. Is w a multiple of 14?
False
Let k = 5644 + -2794. Is 25 a factor of k?
True
Suppose 27*d + 3*y - 1827 = 26*d, -2*d + 2*y = -3622. Is 15 a factor of d?
True
Let u be (-5)/(-3) - (8/3)/(-8). Suppose -6*l + 2*l - 12 = u*g, -3*g + l = -17. Is g - (-36)/(-8) - (-723)/6 a multiple of 40?
True
Suppose -2*q = -v - 12327, 60*q + v + 18488 = 63*q. Is 33 a factor of q?
False
Let s(i) = -45*i**2 + 20*i - 40. Let f(h) = -11*h**2 + 5*h - 10. Let p be (4/(-4) + -2)*-2. Let g(c) = p*s(c) - 25*f(c). Is 14 a factor of g(4)?
True
Let k = 11293 + -5488. Is 135 a factor of k?
True
Let j(f) = f**2 + 14*f - 10. Let m be j(-7). Let h = m + 259. Suppose -2*q + 6*q = h. Is 15 a factor of q?
False
Let t(n) = n**3 - 8*n**2 - 10*n + 19. Let h be t(9). Suppose h*c + 5*c - 30 = 0. Let a(s) = 5*s - 4. Is a(c) a multiple of 4?
False
Let o(z) = -z**3 - 8*z**2 - 8*z - 3. Let q be o(-7). Let