 6?
False
Let c = -406 - -413. Suppose -c*o + 8190 = 6*o. Does 63 divide o?
True
Suppose -4*f - 5*z + 2 = 0, 7*z - 2*z + 13 = f. Suppose 5*i + f = 6*i, -5*q + 7206 = 2*i. Suppose 0*u + 12*u = q. Is u a multiple of 24?
True
Suppose -2*g = -2*q + 2144, -39*g = -2*q - 36*g + 2141. Does 42 divide q?
False
Suppose 0 = 13*i - 2*i - 11. Is 13 a factor of 564 - (i/(-1))/(8/(-16))?
False
Let t = 6226 + -6170. Is t a multiple of 13?
False
Is 135 a factor of 12/21 + 6054848/1246?
True
Let c = 996 + -584. Suppose 6*r - c - 632 = 0. Suppose -7*s + 3*g = -2*s - r, -5*g - 81 = -2*s. Is s a multiple of 24?
False
Let z be (6248/(-66))/(3/(-9)). Suppose 3*w - z = -n, 19*n + 5*w = 17*n + 570. Is 21 a factor of n?
False
Suppose -512*u + 15132096 = 352*u. Is 6 a factor of u?
True
Let s = -2 + -29. Let n = -29 - s. Suppose -n*i = -5*i + 93. Is i a multiple of 21?
False
Suppose 5*u + 98 = -2*v - 25, -v + 65 = -3*u. Let r be 46/138 - 1/(3/u). Let n = 29 - r. Is 3 a factor of n?
True
Let m(w) be the first derivative of 206*w**4 - w**3 + 5*w**2/2 - 10. Is m(1) a multiple of 35?
False
Let c = -3088 - -5547. Is c a multiple of 11?
False
Let d(h) = -h**3 - 38*h**2 + 79*h - 36. Let f be d(-40). Does 14 divide (435/(-30) + 1*f)*-10?
False
Let y(s) = s**3 - 11*s**2 + 12*s + 34. Let q be y(10). Let i = q - -34. Is 22 a factor of i?
True
Suppose 187*i - 173*i = 434. Let s(x) = 2*x**2 - 67*x + 159. Is s(i) a multiple of 4?
True
Suppose 0*b + 41 = -b - 3*z, 0 = 5*b + 2*z + 166. Let i = -165 - -95. Let v = b - i. Is v a multiple of 17?
False
Let j be (30/12)/((-5)/(-12)). Suppose 5*v + w = j*w + 375, 3*v = -2*w + 200. Suppose -8 - v = -6*h. Is 13 a factor of h?
True
Suppose w + 3 = 3*n, -8*n - 15 = -3*n. Let v = w + 98. Suppose -4*i + v = -94. Is i a multiple of 45?
True
Suppose 2*p = w + 4*w - 2, 2 = -2*p. Suppose w = -4*c + 3*c + 3*h + 528, -4*h = c - 528. Suppose -c = -10*z + 1102. Is 23 a factor of z?
False
Let k(q) = 188*q - 75. Let h(c) = -7*c + 1. Let j(o) = h(o) - k(o). Does 72 divide j(-3)?
False
Let h(d) be the second derivative of 7*d**4/12 + d**3/2 + d**2/2 + 4*d + 632. Let a = 14 + -10. Is h(a) a multiple of 19?
False
Let r = 104 - 89. Is 30 a factor of (75*-2)/(r/(-15))?
True
Let q = 37 - 19. Suppose 4*r + 4*j + 26 - 398 = 0, -2*j = 5*r - 474. Suppose r = o + q. Is o a multiple of 39?
True
Let w = -122 - -116. Let b(t) = -t**3 - 2*t**2 + 8*t - 15. Is b(w) a multiple of 12?
False
Let y = 135 - -115. Suppose 0 = -12*h - y + 958. Is h a multiple of 6?
False
Let b(w) = -7*w**2 + 15*w. Let v(j) = -20*j**2 + 44*j + 1. Let d(r) = 17*b(r) - 6*v(r). Let g be d(10). Suppose -33 = g*c - 113. Does 6 divide c?
False
Let g(b) = -31*b + 21 + 14 + 27*b + 105 - 22. Let s be (0/4)/(-1 - 0). Does 9 divide g(s)?
False
Suppose -b - v + 55 = 3*v, -3*b + 198 = v. Let j = -341 + 484. Let z = j - b. Is z a multiple of 19?
True
Let m = 35806 - 27986. Is m a multiple of 20?
True
Suppose 0 = -t - 2*t + 15. Suppose t*h = -5*c + 35, -6*c + 4*h - 1 = -c. Let q(x) = -x**3 + 8*x**2 - 4*x + 7. Is q(c) a multiple of 20?
True
Is 8 a factor of 295/59 - (-644 - -1)?
True
Suppose 2*p = 8, -2*t - 647 = 4*p - 11543. Suppose 46*a - 30*a = t. Does 13 divide a?
False
Does 21 divide 1*-11 + 0 + (17838 - -107)?
True
Let v(z) = -6*z - 177. Let h be v(-47). Is ((-84)/h - 206/5)*-27 a multiple of 54?
True
Let y(j) = -572*j**3 + 2*j**2 + 3*j + 2. Let r be y(-1). Suppose -h - 3*m + r = -0*h, -4*h + 3*m + 2367 = 0. Is h a multiple of 12?
True
Let d = -103165 - -147397. Is d a multiple of 39?
False
Suppose -32 = -15*n - 107. Is 17 a factor of n/(85/(-7312)) - (-2)/(-17)?
False
Suppose -3*a + 1165 = -3*l + 91, -4*l + 686 = 2*a. Let q be 9/4*((-344)/(-24) + -13). Suppose q*c - 97 = a. Is c a multiple of 11?
False
Let u(l) = l**2 + 4*l - 2*l**2 + 58 - 106 + 59. Let s be u(5). Suppose -459 = -9*t + s*t. Is t a multiple of 39?
False
Is (64/(-20))/4*-45470 - -3 a multiple of 23?
False
Let q(b) = -2*b**3 - 4*b**2 + 6*b + 6. Suppose 0 = -c - c - 5*o + 29, -o = 1. Suppose 2*p - c = 5*u, -2*p - 4*u - 12 = 16. Is q(p) a multiple of 10?
False
Let x(u) = -38*u - 88. Let h be x(13). Let n = h + 1602. Is 17 a factor of n?
True
Suppose -60904 - 15220 = -17*u + 26488. Does 10 divide u?
False
Let w(c) = 1. Let p(g) = 64*g**2 + 3*g + 6. Let x(d) = p(d) - 3*w(d). Let t be x(-1). Let m = t - 40. Does 12 divide m?
True
Let w(d) = 50*d + 3. Let p(n) = -4 + 4 - 1 + 5 + 49*n. Let x(k) = -5*p(k) + 4*w(k). Does 11 divide x(-1)?
False
Let q(k) = 4 + 20 - 17*k + 14*k. Let a be q(8). Is 14 + -7 - (a + 0)/1 even?
False
Let h(o) = -o**3 + 3*o**2 + 5*o - 6. Let d be h(4). Is (-4299)/(-21) - d - (-2)/7 a multiple of 9?
True
Let o(h) = 12*h - 8. Let p be o(1). Suppose p*r - 27 = -3*y + 13, 5*r = 5. Does 6 divide y?
True
Let a(o) = o**3 - 2*o**2 - 5. Let w be a(5). Let p = -1626 - -1670. Let u = w - p. Does 21 divide u?
False
Suppose 0 = -2*z + 3*z + 3*r + 4, r = -z + 2. Suppose 0 = -z*m + 25, 3*m + 1 = c + c. Suppose -2*f + c*f = 432. Does 9 divide f?
True
Suppose -5*k = 5*d - 110, 5*k + d = 3*d + 82. Suppose q + 39 = 4*q - 3*g, k = q + 4*g. Does 7 divide q?
True
Suppose -5*t + 18803 = 3*i, 0 = -5*t - 302*i + 307*i + 18755. Is t a multiple of 40?
False
Let q(g) be the third derivative of g**6/720 + 7*g**5/12 - 13*g**4/12 + 19*g**2. Let f(a) be the second derivative of q(a). Is f(-26) a multiple of 8?
False
Let s be (-6)/(-9) - ((-632)/(-12) - -4). Let j be (-240)/s - (-2)/(-7). Suppose -5*a + j = l - 0*l, -4*l - 4*a + 64 = 0. Is 19 a factor of l?
True
Suppose 3*g = g + 3598. Suppose -10*c = -g - 1801. Does 30 divide c?
True
Suppose 4*h - 28 = -2*d, 2*d + 0*h - 4*h - 20 = 0. Let c = -26 + d. Let o = c - -44. Does 10 divide o?
True
Suppose -58*l - 67896 = -94*l. Does 46 divide l?
True
Suppose 0 = -0*d + 58*d - 98832. Does 24 divide d?
True
Suppose -10*w = -2*w - 6680. Let a = -439 + w. Does 21 divide a?
False
Let w(p) = 525*p - 2827. Is w(23) a multiple of 13?
False
Let g be -2 + (3 - 5)/((-4)/246). Suppose -116 = -2*u + 2*j, 6*u - 4*u = j + g. Does 3 divide u?
True
Suppose 0 = 10*f + 3*f - 39. Suppose -9*v + 5*v - 1602 = -f*a, -4*v = -a + 542. Is 52 a factor of a?
False
Let b = 460 + 2419. Does 3 divide b?
False
Suppose 0 = 5*t - 437 - 598. Let y = t - 146. Let z = y - 16. Is 5 a factor of z?
True
Let q = 323 + -322. Is 25 a factor of -2 + 5 + -3 + q + 374?
True
Let o = 24518 + -9597. Is 105 a factor of o?
False
Does 40 divide 8*8*14/((56/(-105))/(-4))?
True
Let k(m) = 12*m**2 + 154*m + 281. Does 59 divide k(-52)?
True
Suppose -n = -2*n - 282. Let k = -155 - n. Is k a multiple of 4?
False
Suppose -9784 = -37*a + 34*a - 5*m, 9840 = 3*a - 3*m. Does 34 divide a?
False
Let f be ((-108)/(-243))/((-4)/(-18)). Is (74/(-5))/(f/(-50)) a multiple of 9?
False
Does 9 divide (3428 - 1 - (29 + -37 - -15))*1?
True
Let c = 39 - 65. Let y = -22 - c. Suppose 3*k - 4*p - 120 = 0, -y*k + p + 150 = -p. Does 14 divide k?
False
Let u(l) = -47*l + 3416. Does 4 divide u(-45)?
False
Let d(q) = 71*q - 17. Let w = 8 + -11. Let n(x) = -36*x + 9. Let y(s) = w*d(s) - 5*n(s). Is 15 a factor of y(-3)?
True
Let r be 9/5 + (-2)/(-10). Suppose -3*v - r*w + 446 = -1265, 5*v - 2858 = 3*w. Is v a multiple of 36?
False
Let f = 1256 - 1799. Is 32 a factor of (-8)/((-24)/f)*(1 - 2)?
False
Suppose 5*l = 84 - 4. Let j(b) = 56*b**3 + 17*b**2 - 7*b - 4*b - 105 + 77 - 57*b**3. Is 17 a factor of j(l)?
False
Suppose 2*g - 50711 = -5*i, 99*i - 103*i + 5*g + 40582 = 0. Is i a multiple of 161?
True
Let i(d) = 63*d - 199. Suppose -2*m - 2*h - 2 = -6*h, -20 = -5*h. Is 46 a factor of i(m)?
False
Is 259 a factor of (-37463)/(-4) - 18/(-8)?
False
Suppose 0 = -109*n + 114*n. Let p(u) = 2*u**3 - u**2 + 560. Is p(n) a multiple of 14?
True
Suppose 6600*z - 7285 = 6595*z. Does 39 divide z?
False
Suppose 938*y + 7608 = 946*y. Is y a multiple of 5?
False
Let v(k) = 20*k**2 - 74*k - 20. Let i(z) = -13*z**2 + 49*z + 13. Let x(l) = -8*i(l) - 5*v(l). Is 37 a factor of x(8)?
False
Let f = -1 - -2. Suppose 54*c + 2982 = -17*c. Is 34 a factor of (c/(-35))/(f/95)?
False
Suppose 5*d - 1066 + 256 = 3*a, 0 = -3*d - 2*a + 467. Is 2 a factor of d?
False
Let k = 6554 - 3854. Is 30 a factor of k?
True
Suppose -33*t + 32*t - 1245 = -d, 0 = -5*d - 2*t + 6246. Is d a multiple of 13?
True
Suppose 2*l - 4*l = 5*p + 475, -690 = 3*l