?
False
Let t(h) = 4 + 4*h + 24 + 101 - 13. Let b be t(0). Suppose 5*l + 445 = 5*f, 0 = -3*f + 5*l + b + 147. Does 12 divide f?
False
Let l = 42467 + -29942. Does 33 divide l?
False
Let r = -90 - -92. Suppose -h = r - 31. Is 18 a factor of h?
False
Let x(t) = 17*t**2 - 12*t - 10. Let c(u) = -u**2. Let w(j) = 4*c(j) + x(j). Is 33 a factor of w(8)?
True
Let m(g) = 157*g - 208. Let b be m(22). Is 14 a factor of (-47)/(-188) + b/8?
True
Suppose 31399 = 3*m + a, -124*m = -128*m + a + 41856. Is m a multiple of 23?
True
Suppose -4*r - 2*u = -7*r + 659, -4*u - 233 = -r. Suppose -19*y + 2535 = r. Does 8 divide y?
False
Let c = -174 - -161. Let u(b) = 3*b**2 + 33*b + 27. Is u(c) a multiple of 12?
False
Let h(s) = -s**3 - 13*s**2 - 30*s - 35. Let l be h(-10). Does 16 divide (599 - l/(-7)) + (-4)/2?
True
Suppose -g = -2*g - 1. Let i(r) be the first derivative of -26*r**4 - r**2/2 - 1912. Does 35 divide i(g)?
True
Suppose 1 = -x - 2*t, 2*x = -x - 5*t + 2. Suppose -63 = -x*f + 9. Suppose -f*l = -22 - 66. Does 11 divide l?
True
Suppose -2084 - 31600 = -21*m. Suppose -164 = 4*o - m. Is o a multiple of 40?
True
Let j be (5 + -1)/(4/6). Suppose 5*h - 5 = -0*y - 5*y, h + 7 = y. Is (-82)/h - j/(-9) a multiple of 4?
True
Let l(p) = 22*p**2 + 61*p - 26. Is 55 a factor of l(8)?
True
Does 14 divide (-5)/10*8054/(-2 + (-24)/(-16))?
False
Let z(o) be the second derivative of 5*o**4/3 + o**3 + o**2 - 3*o. Is 10 a factor of z(-2)?
True
Let u(r) = -147*r - 1725. Is 94 a factor of u(-31)?
False
Suppose f = -0*f - 4*m + 14, 0 = -5*f - 5*m + 70. Suppose 100 = 2*q + 3*q. Let d = q + f. Does 17 divide d?
True
Let a(r) = 2*r + 47. Let x be a(-21). Suppose -180 = x*f - 10*f. Suppose 2*p - i - f - 25 = 0, -3*p + i + 90 = 0. Does 29 divide p?
True
Suppose 2*b = 3*g + 44725, 84*b = 85*b - 2*g - 22365. Is b a multiple of 19?
False
Let q = -34345 + 53268. Does 79 divide q?
False
Suppose 89*v = -65*v + 76273 + 129471. Does 17 divide v?
False
Let m(c) = -2*c - 8. Let l be m(-7). Suppose l*h - 2*h - 8 = 0. Suppose -h*x + x + 138 = 0. Is x a multiple of 45?
False
Let n(m) = 57*m + 321. Let t(f) = 7*f + 40. Let o(r) = -4*n(r) + 33*t(r). Let h be o(-6). Suppose 15*k - h*k + 504 = 0. Is k a multiple of 21?
True
Is -9*12/16*48/(-8)*76 a multiple of 114?
True
Let i(u) = 10*u + 55. Let f be i(-5). Let n = f - -55. Is 12 a factor of n?
True
Let n be 94/18 + 22/(-99). Suppose -4*p + n = -7. Is 22 a factor of (p - 5) + 136/2?
True
Does 357 divide (-2 - (-7)/((-154)/(-33)))*-72114?
True
Is 42 a factor of -21*4/10*(9 + -3484)/5?
True
Is 116 a factor of (-16)/(-154) + (-12)/(-66) + (-10579998)/(-1463)?
False
Suppose q + 12734 - 319014 = -18*q. Is q a multiple of 174?
False
Let n be 6*2*5/(-15). Let x be ((-36)/n - 3) + -3. Suppose -x*p = 3*y - 4*p - 93, -2*y + 5*p = -49. Is 16 a factor of y?
True
Let o be (-166)/(-18) + (-20)/90 + -4. Is 4 a factor of ((-20)/22)/o - (-1590)/33?
True
Does 2 divide (11 + (-1144)/(-48))*6?
False
Let z be ((-16)/6 - -2) + (-2000)/(-120). Does 41 divide (-6)/24 - (-2596)/z?
False
Let v = -1333 - -1340. Does 4 divide v?
False
Let j(l) = l - 1. Let y(k) = -2*k - 7. Let z(b) = -2*j(b) + y(b). Let x be z(-4). Suppose 0 = -6*n + 193 + x. Does 10 divide n?
False
Let u be (-4)/(-3)*-3*(-2)/(-4). Is -4*(-1 - (-11)/u) a multiple of 3?
False
Suppose -16*p = -5*p + 1023. Let c = 123 + p. Is 8 a factor of 434/9 + c/(-135)?
True
Let b(h) = h**2 - 14*h - 37. Let a be b(17). Let z be 23/92 + a/8. Suppose -5*p + z*p = -288. Does 48 divide p?
True
Let w = -15715 - -28239. Is w a multiple of 21?
False
Let q(s) = -2*s**2 - 26*s - 54. Let o be q(-10). Let x be (-1 + -1)/((-6)/804). Suppose -o*v = -236 - x. Does 12 divide v?
True
Let t(s) = 3 + 13 + 23 + s. Does 13 divide t(0)?
True
Let w = 4912 - 492. Is w a multiple of 5?
True
Let j(a) = 173*a**2 + 34*a + 111. Is j(-3) a multiple of 27?
True
Suppose -k - 14105 = -45533. Does 194 divide k?
True
Let r(z) = -z**3 - 10*z**2 - 21*z - 18. Let n be r(-10). Suppose 0*m - 96 = 2*o - 3*m, -4*m - 178 = 3*o. Let w = n + o. Is w a multiple of 29?
False
Suppose -9 = 2*b - 49. Suppose -h = -b + 20. Suppose h = 24*j - 25*j + 125. Is 20 a factor of j?
False
Suppose -131*t + 4137763 - 1286941 = 0. Does 24 divide t?
False
Suppose 12*a - 3900 = -144. Let y = 236 - 63. Suppose 6*b = y + a. Is b a multiple of 14?
False
Suppose -3*v = 5*y - 3325, 2*v = -0*v - 10. Suppose -6*b + 10*b = 2*k - y, 5*k + b - 1648 = 0. Is 30 a factor of k?
True
Let u = 6 + 5. Let z(r) = -2*r**3 + 24*r**2 - 22*r + 21. Let b(i) = i**3 - 12*i**2 + 11*i - 11. Let h(w) = -9*b(w) - 4*z(w). Does 3 divide h(u)?
True
Let o(p) = 3*p**3 + 9*p**2 - 28*p + 145. Is o(9) a multiple of 53?
True
Is 5 - ((-118)/3)/((-36)/306774*-23) a multiple of 197?
True
Let j(l) = 15*l**2 - l + 6. Let c be j(2). Suppose 4*m - 4*x - 588 = 0, -2*m - 4*x + 236 = -c. Is m a multiple of 4?
True
Let v(f) = -f**3 + 5*f**2 - 2*f - 1. Let k be v(3). Let a = -11 + k. Suppose a = -2*c + 4*c - 74. Is c a multiple of 4?
False
Suppose 4*i + 38*x = 39*x + 5472, -2746 = -2*i - 2*x. Is 69 a factor of i?
False
Let a(i) = -170*i - 3638. Does 18 divide a(-25)?
True
Let c(r) = 112*r**2 + 435*r + 8345. Does 16 divide c(-19)?
True
Let z(j) = -34*j**2 - 4*j + 2. Let g(s) = 121*s - 57*s + 35*s**2 - 2 - 59*s. Let i(a) = -5*g(a) - 6*z(a). Is i(2) a multiple of 14?
True
Let z = -7 + 8. Let j(c) = c**2 + 3*c - 2. Let r be j(z). Suppose 3*y + 8 = r*d + 42, -5*y + 78 = 2*d. Is y a multiple of 4?
False
Suppose -5*u + 18222 + 37353 = 0. Is 65 a factor of u?
True
Suppose -1944503 = -119*y - 157361. Is 29 a factor of y?
False
Let r = 19705 - 807. Is r a multiple of 14?
False
Let s be 110 + (-5)/10*8. Let n = -46 + s. Is 10 a factor of n?
True
Suppose -77*k - 22*k + 1014918 = 19*k. Is k a multiple of 42?
False
Let j(y) = 54*y**2 + 59*y - 1190. Is 73 a factor of j(16)?
True
Let x = -2316 - -4115. Suppose 0 = 3*s + 5*n - 3290, -5*s - 3*n + 7261 = x. Is 11 a factor of s?
False
Suppose -3*v + w + 40 = 0, 2*v + 0*v - w - 26 = 0. Is v/(-133) - 690/(-57) a multiple of 2?
True
Suppose 114*k - 111*k = -6. Let v(w) = 2*w**3 - 3*w**3 + 2*w**2 - 3*w**3 + 8 - 1 + 4*w. Does 24 divide v(k)?
False
Suppose o = -2*o + 30. Let c(k) = -633 - 591 + 8*k + 1239. Does 11 divide c(o)?
False
Let t(p) = 23*p**2 + 7*p + 8. Let s be t(-2). Let v = s - 82. Let y(h) = -h**3 + 5*h**2 - h + 1. Is y(v) a multiple of 2?
False
Let p be 27 + (3 - -1)/(-2). Let a be (-15)/p + (-23)/(-5). Is 8 a factor of (a - 5)*(-2 - 16)?
False
Suppose -25 - 212 = -3*l. Let o = l - 63. Let j = o + 4. Does 5 divide j?
True
Suppose 0 = -3*q + q + 22. Suppose -13*o + q*o + 4 = 0. Suppose -y - 46 = p - 2*p, -y - 87 = -o*p. Is 8 a factor of p?
False
Let s = 23317 - 7450. Is 43 a factor of s?
True
Let v(h) = 33*h**2 + 50*h - 176. Is v(13) a multiple of 56?
False
Let t = -155 + 157. Does 32 divide (-66)/99*(t - (-772)/(-2))?
True
Let n = -2499 - -6269. Is n a multiple of 130?
True
Let u = -860 - -785. Suppose 3*z - 300 = -0*z. Let t = z - u. Is 17 a factor of t?
False
Let b be (1 - 24/(-9))*24. Suppose -b = 4*h + 5*d - d, -2 = d. Is 19 a factor of ((-164)/h + -7)/((-3)/(-160))?
False
Let m = 8839 - 5104. Is m a multiple of 45?
True
Suppose 0 = -50*g + 54*g - 16. Is 15 a factor of -360*(6/g - 2)?
True
Let x be (-4)/(-3 + -1) - -2. Let a be ((-1)/x)/(2/(-156)). Does 13 divide (-5)/(3 + (-80)/a)?
True
Let l(k) = k**3 - 3*k**2 - 14. Let o be l(0). Is 2 a factor of 36 - (-6 - (3 + o))?
False
Let u(k) be the second derivative of -k**5/20 - 2*k**4/3 - 2*k**3 + 6*k**2 - 4*k - 22. Suppose 0 = 4*w + 4*a + 12, 3*a + 0*a = w + 15. Does 12 divide u(w)?
True
Let y(v) = v**2 + 6*v - 39. Let a be y(14). Let j = 331 - a. Does 15 divide j?
True
Let b(q) = 10*q - 55. Let f be b(9). Does 19 divide -2 + (-32)/(-14) - (-3980)/f?
True
Let i(y) = -3*y - 18. Suppose 0 = -4*o + 3*n - 17, 5*o - 4*n + 18 = -2. Let u be i(o). Suppose u*q - 5*q = 7. Is q a multiple of 3?
False
Is (8/4)/(241738/16114 - 15) a multiple of 2?
False
Let w(n) = 166*n**2 - 3*n + 2. Suppose 151 = 6*k - k + 2*h, 0 = 2*k - 4*h - 70. Let q = 32 - k. Is w(q) a multiple of 15?
True
Let x be (36/(-5))/((4/(-2))/(-6560)). Is 6 a factor of (x/(-410))/((-6)/(-40))?
True
Suppose -o - 1061 = -4*s, -1071 = -6*s + 2*s + 3*o. Suppose -4*p + 47 = 19. Suppose p*g = 4*g + s. D