of 15?
False
Let y(u) = -u**3 - 4*u**2 - 5*u - 6. Let z be y(-5). Let t be (-1)/(92/z + -2). Let r = 20 + t. Does 6 divide r?
False
Suppose -5*n = 5*f + 15, -3*n - f = 3*f + 4. Is ((-6)/n)/(6/288)*1 a multiple of 36?
True
Let l be (12/(-7))/((-14)/686). Let t = -27 + l. Does 13 divide t?
False
Let s = -586 + 649. Is s a multiple of 63?
True
Let q(t) = -t**3 - 3*t**2 + 9*t + 3. Let n = -1 - -5. Let p(i) = i**3 + 3*i**2 - 8*i - 2. Let c(y) = n*q(y) + 5*p(y). Is c(2) a multiple of 8?
False
Let j(c) = -c**2 - 9*c + 9. Let l(m) = -5*m**2 - 19*m + 19. Let t(v) = v**2. Let z(w) = -l(w) - 4*t(w). Let f(n) = -5*j(n) - 3*z(n). Does 17 divide f(8)?
False
Is ((-30)/(-20))/(6/52) even?
False
Suppose 0 = -5*t - 4*c + 19260, -4*t + 3*c = -0*c - 15408. Is t a multiple of 107?
True
Is 0 - (-10)/(-12) - 112853/(-78) a multiple of 70?
False
Let q = -625 - -882. Suppose 5*y = -4*n + q, 0 = -2*y - 3*y + 5. Is 8 a factor of n?
False
Let a(k) = -k**2 + 14*k - 15. Let m be a(15). Let p = m + 50. Does 14 divide p?
False
Let t = 37 + -27. Let m be 2/(-1) + -6 + t. Is 488/10 - m/(-10) a multiple of 19?
False
Suppose 3*x = -4*c + 808, -113 = -c + x + 96. Does 5 divide c?
True
Let b(j) = 11*j**2 - j - 3. Let k(o) = 2*o - o - 1 - 3*o + o. Let i(t) = b(t) - 4*k(t). Does 13 divide i(-2)?
True
Let z = -83 + 83. Suppose z = -5*c - 13 + 338. Is 16 a factor of c?
False
Let r(z) = -13*z + 170. Is r(5) a multiple of 6?
False
Suppose -18*z + 3840 = -2*z. Does 24 divide z?
True
Let d(n) = -2*n - 16 + 5*n + 4 - 2*n. Let m be d(-12). Is 12 a factor of -1*(-12)/(-8)*m?
True
Let k(o) be the second derivative of -1/2*o**2 + 0 - 1/2*o**3 - 6*o + 1/4*o**4. Does 13 divide k(-3)?
False
Let q = -2543 + 3628. Does 8 divide q?
False
Let s = 14 - 42. Let l = s + 11. Let k = l + 35. Does 6 divide k?
True
Suppose -245*p + 568 = -244*p. Is 8 a factor of p?
True
Suppose -2*g - 30 = -8*g. Suppose -t + f - 433 = -g*t, -4*t + 3*f = -413. Is t a multiple of 20?
False
Let u(j) = j + 11. Let b be u(0). Let h(t) = 4*t - 1. Is 4 a factor of h(b)?
False
Let r(u) = u + 12. Let x be r(-11). Let n be 4 - (x - (6 + -4)). Suppose -5*o - 103 - 42 = -n*q, -67 = -2*q - o. Is q a multiple of 32?
True
Let f = 22 - 25. Is 11 a factor of -3 + -3*47/f?
True
Suppose 4*l + 912 = 2*t, 2*t - 12*l - 915 = -9*l. Is t a multiple of 21?
True
Let d(a) be the first derivative of a**4/4 + 16*a**3/3 - 5*a**2 + 15*a - 33. Is 9 a factor of d(-16)?
False
Is 3/(9/3228) - 20/(-5) a multiple of 54?
True
Suppose -5*g - i - 329 = 0, 3*g - i = -2*i - 197. Let j = g + 77. Is 2 a factor of j?
False
Suppose 2 = -0*v + 2*v, 0 = c - 3*v - 27. Suppose 2*a = 2*z + c, 3*a + z + 2*z - 45 = 0. Is a a multiple of 4?
False
Suppose -w + 3 - 1 = 0. Let h = 3 - w. Let c(q) = 50*q**2 - q. Is c(h) a multiple of 27?
False
Let m = 33 + -26. Suppose -m*y + 210 = -126. Does 6 divide y?
True
Let r(i) = -i**3 + 13*i**2 + 14*i + 9. Suppose 0 = 4*w - 9*w + 70. Let m be r(w). Let x(g) = 5*g - 5. Does 21 divide x(m)?
False
Let d = 619 + -349. Does 30 divide d?
True
Let h(b) = -3*b**2 + 8*b + 13. Let g be h(7). Does 36 divide -1*(g + 4 + -4)?
False
Let h = -6 + 8. Suppose h*v + 5*w = -305, 2*w + 25 = -3*w. Is (v/(-25))/(4/10) a multiple of 14?
True
Is 224/(-3)*-6 + 4 + -2 a multiple of 9?
True
Suppose 9*r + 60 = 6*r. Let u = 29 - 60. Let j = r - u. Does 5 divide j?
False
Let j = 414 + 586. Does 8 divide j?
True
Let b(u) = u**3 - 2*u**2 - 9*u + 10. Let v be b(4). Suppose 2*j = v*j - 184. Is 4 a factor of j?
False
Let d = 64 - 113. Is 11 a factor of ((-154)/d)/(3/21)?
True
Suppose -2*p + 1 = -37. Suppose -2*g = -97 + p. Does 7 divide g?
False
Let t(n) = 79*n**3 + 2*n**2 - n - 6. Does 34 divide t(3)?
True
Let o = 22 - 22. Let f be 44 - -1*o/(-2). Suppose -4*b + 140 = -f. Does 23 divide b?
True
Suppose 2*i = -n + 5, -6*i + 14 = -i + 4*n. Let u(p) be the third derivative of 7*p**4/12 + 5*p**3/6 + 7*p**2. Is u(i) a multiple of 26?
False
Let w(o) = o**2 + 16*o + 1107. Is w(0) a multiple of 36?
False
Let l = 3578 - 1982. Is 19 a factor of l?
True
Let p(h) = 6*h**2 - 8*h - 82. Is p(12) a multiple of 7?
True
Suppose -j + 3*y + 1356 = 0, -j = -23*y + 24*y - 1336. Does 19 divide j?
False
Let d be 44 - -6*10/(-15). Suppose -5*c + 208 = -i, 3*i = -2*c + 130 - d. Does 21 divide c?
True
Suppose -21*h + 8004 = 2*h. Is 15 a factor of h?
False
Let l be (120/18)/((-2)/(-6)). Let v = 22 - l. Is ((-48)/28)/(v/(-63)) a multiple of 7?
False
Is 28 a factor of 4/(-22) - 2834000/(-2200)?
True
Let l = -1 + -2. Let b be 2/l + (-138)/(-18). Suppose 3*p = 58 - b. Is 9 a factor of p?
False
Let g = -89 + 116. Suppose -123 = -5*o + g. Does 3 divide o?
True
Does 2 divide 94 + 75 + (-10)/(-2)?
True
Let s = -402 - -626. Does 13 divide s?
False
Let u be (2/(-1))/(11/44). Let o be ((-2)/4)/(3/36). Does 6 divide o/u + 822/24?
False
Let s = -40 + 60. Let w(x) = -x**2 + 21*x - 9. Is 2 a factor of w(s)?
False
Suppose 269 = -4*m - a, -2*a = -4*m - a - 267. Is 17 a factor of 3/(-9)*(1 + -4) - m?
True
Let s(r) = -r - 13. Let u be s(-8). Let q be (-3)/12*(u - 3). Suppose 0 = 2*n - 5*y - 31, q*n = n - 2*y + 29. Is 23 a factor of n?
True
Suppose -400 = -g - 0*q + 5*q, -3*q = 9. Suppose -2*s - g = -3*s. Suppose -2*b - 3*b = -s. Is b a multiple of 26?
False
Let f(v) = 5*v**2 - 2*v**3 + 10*v - 4*v + 2*v**2 - 3*v**2 + 9. Suppose -4*p + p - 9 = 0. Does 27 divide f(p)?
True
Suppose 26 = -3*u + 5*v, 0*u + 5*u + 54 = 3*v. Does 18 divide u/30 + (-816)/(-15)?
True
Let u = 485 - 341. Suppose 14*p = 12*p + u. Does 18 divide p?
True
Suppose -202*y - 105 = -205*y. Is y a multiple of 3?
False
Let d(j) = 21*j**3 - j + 1. Let l(a) = a**3 + a**2 - a - 1. Let g(f) = d(f) - 3*l(f). Is 20 a factor of g(2)?
True
Let o(q) be the second derivative of -41*q**3/6 + q**2/2 + q. Let m be o(-2). Suppose 3*s + 17 = m. Does 13 divide s?
False
Let x = 15 + -13. Suppose -3*s + 0*s + 3*f + 12 = 0, -5*s - x*f = -55. Let h = 24 - s. Does 9 divide h?
False
Let v(n) = -n**3 + 14*n**2 - 3. Is v(-7) a multiple of 38?
True
Let x = 4 + 0. Suppose 0 = -n + x, 4*n = -2*t + 4*t - 174. Suppose -139 - t = -6*w. Is 13 a factor of w?
True
Let a(g) = 38*g**2 + 19*g - 57. Is a(3) a multiple of 18?
True
Let o(h) = 4*h**3 - 13*h**2 + 11*h + 19. Is o(7) a multiple of 3?
True
Is ((-2)/4)/((-95)/23940) a multiple of 9?
True
Suppose p = -2*p + 3. Suppose l = -p + 5. Suppose 0 = -l*i + 203 + 1. Does 17 divide i?
True
Let a = 6358 - 3286. Is 24 a factor of a?
True
Suppose 2*c - 3102 = 5*n - 46, -3*c - n = -4601. Is 21 a factor of c?
True
Let r be (-4)/5 - (-72)/15. Suppose -475 = -5*h + 5*m, r*h - 6*m - 383 = -m. Is h a multiple of 6?
False
Suppose -10 = -2*m - 4*n, -3*n + 25 = 3*m + 2*m. Suppose o + 93 = 4*o - m*k, 0 = 3*o + 4*k - 120. Is o a multiple of 12?
True
Suppose -3*p = -n - 10, 4*p + 4*n - 16 = 2*p. Suppose u - 68 = -4*q + 5*u, -p*q = 3*u - 33. Does 4 divide q?
True
Let u(t) = 136*t + 183. Does 6 divide u(3)?
False
Suppose 10*g = g + 1287. Let o = 64 + g. Is 23 a factor of o?
True
Let j(u) = -23*u + 1. Let x be j(1). Let d = x - -18. Let a = d + 15. Is a a multiple of 11?
True
Let b(k) = 18*k**2 + 5*k - 5*k + 18 + 2*k. Is 29 a factor of b(-3)?
True
Suppose 0 = 6*m - 804 - 156. Is 10 a factor of m?
True
Suppose -2*k - k = -552. Suppose -2*a + 2*g = -k, a = -3*a - 2*g + 338. Does 29 divide a?
True
Let w be (18/(-30))/(1/(-5)). Suppose w = 2*q - q. Suppose 0 = -2*z + z - 1, q*z - 46 = -j. Does 11 divide j?
False
Let k = -20 - -18. Let l be -1*k*75/6. Let z = l - 16. Is 9 a factor of z?
True
Suppose -57*s + 58*s - 4 = 0. Suppose -s*i - 5*c = -86, -3*i = 5*c - 47 - 15. Does 19 divide i?
False
Let r be (-2)/(-9) - 184/18. Let j be r/35 - 2524/(-14). Suppose z = -4*z + j. Does 18 divide z?
True
Suppose -2*t + 6*t = -4*x - 212, 4*x - 4*t + 196 = 0. Let b(w) = -w**3 + 6*w**2 + 2*w + 10. Let p be b(7). Let o = p - x. Is 23 a factor of o?
False
Let u(p) be the second derivative of 0 + 1/12*p**4 + 1/20*p**5 + 0*p**3 + p**2 + 5*p. Does 14 divide u(2)?
True
Let m be 13 + (-3 - -6) - -2. Let y be m/6 - (-1 + -1). Suppose -f = -10 - y. Is f a multiple of 5?
True
Suppose 4*x + 5*t - 10623 = 0, 4*x - 2*x + 2*t - 5310 = 0. Is x a multiple of 52?
True
Suppose -7*b - 176 = -3*b. Is 26 a factor of 2/(-11) - 3440/b?
True
Suppose 7 = -4*c - 9. Let v be 168/44 + c/(-22). Suppose v*z -