se 519 = c*g + 3*k, 0 = -3*g - 2*k - 143 + 531. Is 21 a factor of g?
True
Let n(x) = 198*x**2 - 94*x - 61. Does 13 divide n(-9)?
False
Let x(k) = -k**2 - 26*k - 20. Let h be x(-25). Let w be 41/(-13) + 8/52. Does 22 divide 111 - (-4 + (h - 3 - w))?
True
Let a be -5 + 2 - 1 - -47. Let n = 42 - a. Is ((-189)/n)/(9/6) a multiple of 18?
True
Suppose 0 = -269*s + 273*s + p - 67470, 2*p - 33744 = -2*s. Is s a multiple of 10?
False
Suppose c - 8*c = -7. Is 1 - (3/c + -146 - -2) a multiple of 12?
False
Let q = 5421 + -4029. Is q a multiple of 8?
True
Is ((-18)/4)/((-33)/(-43472)*-2) a multiple of 4?
True
Suppose 56*m - 145068 = -28*m. Is m a multiple of 12?
False
Let g(l) = -l**3 - 2*l**2 - l + 5. Let r be g(-6). Let s = r + -104. Let u = s - 38. Is u a multiple of 5?
False
Let w(g) = -2*g**3 + 21*g**2 + 32*g - 282. Let p be w(11). Let u be (-47 - 1)*2/(-4). Let q = u - p. Does 5 divide q?
True
Suppose 5*j - 9 + 41 = 2*l, 5*l = j + 80. Let m be (-2)/l*-4*106 - 3. Is 18 a factor of -5*(-3 - (-44)/20) + m?
True
Let y be (-18 - (4 + -8))*(-3 + 2). Suppose 11*h - y*h = -606. Suppose 11*u - h = 854. Is 24 a factor of u?
True
Suppose 11*x - 136 = -6*x. Suppose 2*q - 302 = -2*n, -8*n = -6*n - x. Does 14 divide q?
False
Let k = 137 + -1. Suppose 0 = 42*c - 3*c - 195. Suppose 3*h + 4*n = -0*n + k, 3*h = -c*n + 131. Does 15 divide h?
False
Suppose -4*i - 93149 = -3*h, i - 53421 = -3*h + 39763. Does 21 divide h?
True
Let q = -23864 + 54367. Is q a multiple of 41?
False
Suppose -2*c = -4, -7*c - 7 = h - 10*c. Let o(a) = -434*a**3 - 3*a**2 + a + 2. Is o(h) a multiple of 36?
True
Suppose 0 = 7*z - z - 162. Suppose t - 2*m = 3*m + z, -5*t = 2*m. Suppose t*b + 7*b = 630. Is b a multiple of 10?
True
Let g(f) = 4*f - 64. Let c be g(17). Is 34545/294 - (6/c - 1) a multiple of 29?
False
Suppose 4*w - 5*m = -8*m + 70, 97 = 5*w - m. Let y(i) = 28*i - 157. Does 6 divide y(w)?
False
Let p(t) = 11*t**2 + 63*t - 1519. Is p(27) a multiple of 34?
False
Does 193 divide 8492/(-3)*((190/(-20) - -10) + -5)?
True
Let p(r) = 10*r**2 + 104*r + 627. Is p(-11) a multiple of 77?
True
Suppose -3*k - 477 = -2*o, 2*k - 727 - 8 = -3*o. Let v = 162 - o. Does 2 divide (-18)/v + 662/18?
False
Suppose 2*a = 2*d + 38172, -5*a = -20*d + 22*d - 95388. Is 11 a factor of a?
False
Suppose -136*u - 56*u + 1121664 = 0. Is u a multiple of 13?
False
Let g(z) = 69*z**3 + 6*z**2 - 22*z + 19. Is g(2) a multiple of 87?
False
Let b(d) = 2*d**2 + 6*d - 8. Let x be b(-19). Let q = x + 396. Does 12 divide q?
True
Suppose -52*g = -31*g - 21. Does 3 divide 36/(-24)*(-40)/g?
True
Suppose -4*r + 36 = 4*g - 0*g, 5*r + 2*g = 36. Suppose 9*y - r = 7*y. Is y a multiple of 3?
True
Let n = -1506 + 5934. Is n a multiple of 36?
True
Let l = 2767 - -320. Is l a multiple of 11?
False
Let p(t) = 1174*t - 1086. Is 28 a factor of p(3)?
True
Let d = -20427 - -29697. Is d a multiple of 165?
False
Let u(p) be the first derivative of 2*p**3/3 - 13*p**2/2 + 34*p - 288. Let o = 34 - 23. Does 25 divide u(o)?
False
Let d = 23609 - 16105. Is d a multiple of 16?
True
Suppose 5*f + 2*n - n = -879, 3*n = 5*f + 863. Does 30 divide (-52570)/f + (-2)/5?
True
Let x(u) = 68*u + 108. Let t be x(-10). Let y = t + 964. Is 21 a factor of y?
False
Suppose 4*f - f + 2*q = 542, 5*f + 4*q = 900. Let y = f - 40. Suppose 5*z + 2*i - 246 = -49, 4*z + 5*i = y. Does 10 divide z?
False
Suppose 0 = 5*w + 5*q - 50, 8*q - 3*q + 70 = 5*w. Let l(f) = -f + 16. Let t be l(w). Suppose -t*o + 5*o = 103. Is o a multiple of 33?
False
Is (-159 - 1)*-53 - 34/17 a multiple of 6?
True
Let f be ((-4544)/(-8) + 1)/((-1)/(-9)). Suppose 44*d = 35*d + f. Is d a multiple of 35?
False
Suppose 8*g - 2000 - 1404 - 4820 = 0. Is g a multiple of 28?
False
Suppose 0 = 5*g + 5 - 10. Let y(u) = -g - 172*u + 173*u + 6. Is y(6) a multiple of 11?
True
Let k = 4 + -8. Let q be (-7475)/3887 + (-1)/13. Is 50 + 1 + 2 - (k - q) a multiple of 5?
True
Suppose -102*n - 18193 - 15778 = 59*n. Let z be (-2252)/(-6) - (-1)/(-3). Let s = n + z. Is s a multiple of 32?
False
Is 12 a factor of 5*(-40)/150 + 14582/6?
False
Suppose -z + 1082 = -4*c, 3*z = 4*c - 6*c + 3316. Suppose 16*q = z + 1202. Does 8 divide q?
True
Suppose -654 = 3*f - 0*f - 3126. Is 7 a factor of f?
False
Suppose 111*c + 57*c - 401352 = 0. Does 16 divide c?
False
Let s(v) = v**3 - 9*v**2 - 11*v + 18. Let q be s(10). Let t be 0*(12/q + -2). Is (-4 - (-1 + t) - -3) + 77 a multiple of 20?
False
Is 4318 + (-216)/12 + 5 a multiple of 11?
False
Let b = -17 - -41. Suppose 8 = 2*t - b. Is (-1)/(t/(-68))*(-48)/(-2) a multiple of 26?
False
Is (-678712)/(-34) - 1 - (-3052)/(-25942) a multiple of 185?
False
Suppose 4*o + w - 24052 = 0, -3*w = -15*o + 19*o - 24044. Is o a multiple of 111?
False
Suppose -4*j - 14 = 3*q, 2*q - j - 2 = 7. Suppose 0 = -4*l - i + 6*i + 303, 0 = -q*l + 3*i + 151. Let w = l - 14. Is w a multiple of 25?
False
Let a = -9312 - -24222. Is 105 a factor of a?
True
Suppose -1791 - 2637 = -9*w. Suppose -4*f + w = -4*x, 6*f - f - 620 = 4*x. Is f a multiple of 16?
True
Let n(z) = -z**3 - 5*z**2 + z - 2. Let j be n(-5). Let g(t) = 2*t - 8. Let i be g(j). Let c(y) = -y**3 - 22*y**2 - 4*y + 4. Is c(i) a multiple of 11?
False
Suppose 0 = 4*k + w + w, -4*w + 20 = -2*k. Is (k - 20/8)*-2 a multiple of 6?
False
Suppose 10*k + 72360 = 5*y + 13*k, -57888 = -4*y + 2*k. Is 25 a factor of y?
False
Suppose -10*p + x + 29455 = -8*p, -14702 = -p + 9*x. Does 6 divide p?
False
Let y(f) = 222*f**2 + 151*f - 1371. Does 10 divide y(9)?
True
Suppose 0 = 39*o - 36*o + 1566. Let h = o - -1189. Is h a multiple of 29?
True
Does 37 divide (-14 - (-38)/2)/(1/851)?
True
Let h = 173 - 164. Suppose h*s - 20801 = -22*s. Is s a multiple of 14?
False
Let r be (-2)/(1*-6) - (-3)/(-9). Suppose v + 34 + 0 = r. Let i = v - -74. Is i a multiple of 15?
False
Let x(g) = 624*g**3 - 16*g**2 + 62*g + 7. Does 26 divide x(3)?
False
Suppose -312*w = -323*w + 40656. Is w a multiple of 16?
True
Suppose 2 = n, 3*g - 2*n = -773 - 209. Let b = g + 846. Is 40 a factor of b?
True
Suppose 0 - 50 = -5*b. Let v(r) = r - 1. Let l be v(b). Suppose 2*d - l*d = -441. Does 6 divide d?
False
Let w(x) = 32*x**2 + 63*x - 1104. Is 21 a factor of w(16)?
False
Suppose 0 = -3*q - 2*g + 11, 0 = -4*q + g - 4*g + 14. Suppose q*x - 44 - 16 = 0. Suppose -z + 3*z - x = 0. Does 3 divide z?
True
Let l(h) = 3*h**2 + 122*h - 20. Let w(v) = 2*v**2 + 19*v - 7. Let k be w(-7). Is 10 a factor of l(k)?
False
Let g(r) be the first derivative of -331*r**4/4 - 2*r**3/3 - 2*r**2 - 2*r + 192. Let h(w) = w**3 - 7*w**2 + 4*w + 11. Let z be h(6). Is g(z) a multiple of 45?
False
Let g(j) = 7*j + 1. Let p be g(-2). Let t(z) = -29*z**2 - 49*z + 199. Let o(s) = 7*s**2 + 12*s - 49. Let l(k) = 25*o(k) + 6*t(k). Does 20 divide l(p)?
True
Suppose -8*n + 15 = -5*n. Suppose 2*w + 3*u = 383, -n*u = -u - 20. Is w a multiple of 21?
False
Does 17 divide (-803822)/(-290) + 4/20?
False
Let d(i) = 5*i + 3*i - 1 + 2*i - 9. Is 2 a factor of d(3)?
True
Let z = -870 - -876. Suppose -t + 62 = g, 2*t - z*t + 3*g = -248. Is 62 a factor of t?
True
Suppose -6315785 = 50*a - 267*a. Is a a multiple of 86?
False
Let s(y) = -7*y**2 - 397*y + 67. Does 39 divide s(-40)?
False
Let y = 138 - 149. Let a(m) = -m**3 - 9*m**2 + 13*m + 5. Does 4 divide a(y)?
True
Let r(a) = 20*a**3 + 2*a**2 - a - 10. Let w be r(3). Suppose 17059 = 12*y - w. Is 73 a factor of y?
False
Let w(c) = 742*c**2 + 9*c - 9. Is 162 a factor of w(-3)?
True
Suppose -3*y = 3*y - 42. Let z(k) = -k**3 + 6*k**2 + 6*k + 4. Let m be z(y). Is ((-39)/9)/(1/m) a multiple of 3?
False
Let z(x) = -30*x + 43. Let l be (27/2)/(-3) - (-49)/(-98). Is z(l) a multiple of 16?
False
Let p(n) = -18*n + 38. Let c be p(-31). Suppose -4*d - 8*s = -4*s - c, 3*s = 3. Is 14 a factor of d?
False
Suppose 7*j = 325 + 998. Suppose -7*k + 440 = -2*k + 4*q, 0 = -2*k + q + j. Is 7 a factor of k?
False
Suppose 0 = -11*m + 2023 + 5149. Let a = m + 98. Is 30 a factor of a?
True
Suppose -4*v + 4*d = -32, 5*d + 23 = -2*v + 4. Let z = 11 + v. Is 6 a factor of 36/z*(4 + 96/18)?
True
Let f be (119/(-17) - 3)*298/4. Let v = f + 1060. Does 3 divide v?
True
Let p = -470 - -519. Suppose -46*h - 1056 = -p*h. Is h a multiple of 8?
True
Suppose 43697 = 47*b - 18578. Is 25 a factor of b?
True
Let q(w) = 27264*w**2 + 337*w + 338. Does 205