049 - 4363. Is 13 a factor of t?
False
Let d be (-1 - -5) + -4 + 0. Suppose -a + 97 - 7 = d. Does 10 divide a?
True
Suppose 2*i - 5886 - 10376 = -a, -3*i + 24380 = -5*a. Does 35 divide i?
False
Suppose -3*b + 1 = d, 0 = -4*d - b + 5*b - 76. Let s(k) = -k**3 - 13*k**2 - 23*k - 18. Is 8 a factor of s(d)?
False
Let v(p) = 2*p**2 - 5*p - 3. Let y be v(-4). Suppose 42*u = -7*u + 6811. Let g = u - y. Is g a multiple of 10?
True
Let c(y) = y**3 - 8*y**2 - 12*y + 21. Let d be c(9). Let f = 11 + d. Suppose -3*k + 2 = -1, 135 = m - f*k. Is m a multiple of 11?
False
Let f(u) = 48 - 2*u - 5 - 20 - 2. Is f(7) a multiple of 7?
True
Suppose s - 718 + 27 = -m, -s - 3*m = -689. Suppose -3*p + 503 = x, -4*p + 23*x + s = 19*x. Does 21 divide p?
False
Let o be (-1)/(-8) + (-56040)/(-192). Suppose 13*s = 18*s - 2*k - 293, 0 = -5*s + 3*k + o. Is 4 a factor of s?
False
Suppose -18*x + 21*x - 6078 = -4*b, -2*b = -4*x - 3072. Does 75 divide b?
False
Let l(p) = 6*p**2 + 144*p - 169. Is l(13) a multiple of 2?
False
Let b(c) = c**3 - 7*c - 4. Let y be b(-4). Let h = y - -42. Suppose 0 = h*j - 5*j + 225. Is j a multiple of 12?
False
Suppose -18*m + 453486 = 147486. Is 50 a factor of m?
True
Let a(z) = 148*z + 52. Suppose -59*m - 12 = -62*m - y, 0 = m - 3*y - 14. Is a(m) a multiple of 24?
True
Suppose -3*d + 0 + 0 = 0. Suppose d = -4*f + 2*o + 18, 0*f + 2*f + 9 = -5*o. Suppose -7*k - 5*n + 105 = -3*k, 73 = f*k - 2*n. Does 2 divide k?
False
Suppose 6955 = 4*t - z, 7*t - z - 8694 = 2*t. Does 59 divide t - (-1)/((-9)/72)?
False
Let m be (-182)/(-49) - (-6)/21. Suppose -1077 = -m*r + 223. Does 50 divide r?
False
Let z = -173 - -165. Is 4 a factor of z/(-18) + (-63484)/(-531)?
True
Let g be -25*(1/5)/(5/(-25)). Suppose l - 12 = -3*h, -4*l = 5*h - 9 - 4. Suppose h*x = g + 125. Does 5 divide x?
True
Is (-22)/44 + (-1 - (-19494)/4) a multiple of 29?
True
Let r be 0*((-56)/(-16))/(-7). Suppose 8*b - 1101 + 93 = r. Is 9 a factor of b?
True
Let q = -169 + -2. Let t = 383 + q. Let s = 366 - t. Does 52 divide s?
False
Let q(y) be the second derivative of -y**5/20 + 13*y**4/12 - y**3/6 + 21*y**2/2 + 31*y. Let v be q(13). Does 9 divide -1*(2/v*0 - 59)?
False
Suppose -6964 + 19550 = 29*w. Suppose -c + 6 + w = 0. Is 11 a factor of c?
True
Let l(o) = 42*o + 23. Let i be l(-4). Let c = i + 359. Is c a multiple of 7?
False
Let v(a) be the second derivative of -a**5/20 + 5*a**4/6 + 2*a**3 - 9*a**2/2 + 28*a. Let t be v(11). Let c(m) = 23*m**2 + 4*m. Is 20 a factor of c(t)?
True
Let b = -6139 + 24029. Is b a multiple of 10?
True
Let t = -9182 + 16438. Suppose 2174 = -11*u + t. Is u a multiple of 42?
True
Let r(i) = -i**3 - 17*i**2 - 20*i - 40. Let v be 28/6 + (-10)/15 - -3. Suppose 4*p + 61 = -v. Is 25 a factor of r(p)?
True
Suppose 596 = 3*a + 82*l - 81*l, 2 = -2*l. Is a a multiple of 15?
False
Let i = 9103 - 2704. Suppose -5*f - 4*j = -j - i, 4*f - 5109 = j. Does 71 divide f?
True
Let p = 21 + -14. Suppose -p*z - 391 = -8*z. Suppose -z + 31 = -4*l. Is 10 a factor of l?
True
Let i = -676 - -677. Does 19 divide i*9/(63/1379)?
False
Let s(w) = 24*w - 95. Let a be s(34). Let y = a + -371. Does 50 divide y?
True
Suppose -16*x = -2*x + 126. Let l be x/(-15) + 4 + (-172)/(-5). Suppose v + 19 = l. Is v a multiple of 10?
True
Let j be 87/(-58)*(-4)/3. Is (46/8)/((-5)/(-560)*j) a multiple of 10?
False
Is -2 - -10 - (-19 + -3457) a multiple of 26?
True
Let f = -510 - -4618. Does 32 divide f?
False
Let a = 3 - 10. Let z(s) = -s**2 + 38*s - 6. Let h(y) = -6*y**2 + 205*y - 30. Let u(p) = 2*h(p) - 11*z(p). Is u(a) even?
False
Let s = 2916 + 4322. Does 109 divide s?
False
Suppose 527 = 43*q - 806. Is q a multiple of 26?
False
Suppose 0 = 19*p - 24*p + 20. Suppose -p*t + 4*w - 24 = 0, 2*t = 5*t + 2*w - 2. Is 9 a factor of 12*3*(-1 - t)?
True
Let f = 90 + -99. Let p(q) = -q**3 - 6*q**2 + 13*q - 23. Does 21 divide p(f)?
False
Suppose -n = r - 3515, 229*r - 226*r - 10505 = 5*n. Does 55 divide r?
False
Suppose -30*o + 44579 = -139921. Does 48 divide o?
False
Let m(r) = 5*r - 67. Let q be m(13). Let s be (5 - 3)*q/(-8)*2. Is (1 + -1)/s - -60 a multiple of 6?
True
Suppose 7*n = 758 + 621. Let a = n - 43. Is 51 a factor of a?
False
Let w = -147 - -217. Does 45 divide w/(-10) + 0 + 1662?
False
Suppose 48455 = 2*m - 5*n, 149827 = 5*m + n + 28622. Is m a multiple of 20?
True
Let t(m) = m**3 + 6*m**2 - 10*m. Let u(d) = 2*d**2 + 2*d - 10. Let z be u(3). Suppose c = 3*c + z. Is 21 a factor of t(c)?
True
Let o(s) be the third derivative of s**4/24 + 67*s**3/6 - 4*s**2. Let c be o(0). Let w = c + -33. Does 34 divide w?
True
Suppose 4*y + 17 = -0*y + 5*b, -4*b = 5*y - 30. Let k be (74/(-6) + y)/(4/(-24)). Suppose -3*d + 5*f = -31, k + 11 = 5*d - 3*f. Is d a multiple of 17?
True
Let x(a) = -a**3 + 17*a**2 + 48*a + 19. Let c be x(20). Let j = 401 + c. Suppose 20*m = 17*m + j. Is 10 a factor of m?
True
Let d(q) = -183*q**3 + 4*q**2 - 29*q - 248. Is 13 a factor of d(-6)?
True
Let v(m) = -18*m + 525. Let p be v(34). Let t(g) = g**3 + 6*g**2 - g - 7. Let r be t(-6). Let a = r - p. Is 14 a factor of a?
False
Suppose 448 - 59 = -5*d + l, 0 = -2*d + 5*l - 151. Let c = 1878 + d. Suppose 15*f + 0 = c. Is 10 a factor of f?
True
Let q(y) = -y**3 + 3*y**2 + 13*y - 10. Let a be q(5). Suppose -15 + 100 = a*i. Suppose -h + 718 = 4*w, -w + 2*h + i + 167 = 0. Is 30 a factor of w?
True
Let y be (5 - 85/15)/(4/42). Let n(b) = -b**3 - 8*b**2 - 2*b - 21. Let v be n(y). Does 15 divide 16/v + 422/7?
True
Let n be (4 - -75) + (-1 - (2 - 1)). Suppose 4*f - 3*f = n. Suppose -28 - f = -5*u. Does 21 divide u?
True
Let i = 6316 + 9470. Does 10 divide i?
False
Let l = -67 - -67. Suppose 3*p = 3*t - l*t + 30, -4*t - 20 = 0. Does 10 divide 1152/15 + p/25?
False
Let g(h) be the second derivative of 1/6*h**4 - 8/3*h**3 + 0 - 4*h - 1/2*h**2. Does 11 divide g(12)?
False
Suppose -5*x + 15 = -0*x - 3*n, -3*n = 0. Is 8 a factor of (11 - -1125)/(3/x - -1)?
True
Suppose -3*h = -s + 49 - 212, -3*s + 200 = 4*h. Suppose -2*c - v + h = 0, 3*c - 2*v = 2*c + 14. Does 8 divide c?
True
Let z(g) = 109*g**2 - 3*g - 3. Let h be z(-1). Suppose -108*u + 37 = -h*u. Let o = 63 + u. Is o a multiple of 13?
True
Let t(n) = -n**2 - 77*n. Does 60 divide t(-32)?
True
Let m be (-30)/20*16/30*5. Let q be (m/(-8) - 1)/(1/(-12)). Suppose 0 = -q*l + 4*l + 94. Is l a multiple of 20?
False
Let d = 259 + -268. Is 10 a factor of (-10 - -2)*-62 + (d - -13)?
True
Let i = 188 - 188. Suppose i = 3*u + 2*h - 313, 0*h = -u - 4*h + 91. Is u a multiple of 8?
False
Let b be (-16)/(-5)*5/(-2). Is 6 a factor of 11055/60 - (-2)/b?
False
Suppose 5*d - 59196 = -2*h, -251*d - 35516 = -254*d - 2*h. Is d a multiple of 64?
True
Let d be (-440)/40 + 8/1. Let g(v) = -v**3 + v**2 + v - 1. Let r(a) = 4*a**3 - 6*a**2 - 4*a + 11. Let i(s) = 5*g(s) + r(s). Does 2 divide i(d)?
False
Suppose -2*d - 4*m = -2052, -3*d + 905*m + 3060 = 902*m. Is d a multiple of 146?
True
Does 7 divide 136*(201/(-134) + 1*2)?
False
Let r(m) = 41*m - 2165. Does 5 divide r(78)?
False
Is -8 + (11 + -9 - -2859) a multiple of 9?
True
Let m(a) be the third derivative of -a**4/2 - a**3/6 - 40*a**2. Is m(-1) a multiple of 11?
True
Suppose 5*b - 48891 = -34*c + 35*c, 3*c = -3*b + 29331. Does 5 divide b?
False
Let p(s) = 35*s + 100. Suppose 45*v = 149 + 1111. Does 30 divide p(v)?
True
Let x = -10881 - -21093. Is 92 a factor of x?
True
Let g = 2387 + -777. Let d = 3293 - g. Is 17 a factor of d?
True
Let q(v) = v**2 - 10*v + 3. Let x be q(10). Suppose -3*a = -5*w + 144, 0 = -w + x*a - 6 + 30. Does 2 divide (-5 + (-110)/(-25))/((-2)/w)?
False
Suppose -5*f - 5*c + 2375 = 0, 14*c = -3*f + 9*c + 1415. Suppose 8*w - 1688 = -f. Suppose w = 5*s + d - 469, -3*s + 372 = -3*d. Is 18 a factor of s?
False
Suppose 5 + 9 = 2*k. Suppose -v - 751 = -4*n, -4*n = -k*n + 4*v + 547. Is n a multiple of 21?
True
Let v = -2121 - -3375. Does 22 divide v?
True
Let w be 28072/290*-1*(-5 + 0). Let d = w + -86. Is 20 a factor of d?
False
Let v(s) = -2*s**2 - 20*s - 29. Let i be v(-8). Suppose -304 = -2*w + w - i*p, 312 = w + 5*p. Is w a multiple of 12?
False
Suppose 76*x + 95200 = 116*x. Does 49 divide x?
False
Is (-267 + 2)*(1*2)/((-5)/41) a multiple of 82?
True
Suppose 4*f + 0*d = d + 36, 2*f - 4*d = 4. Suppose 4*n = f*t - 13*t + 1733, -t - 859 = -2*n. Is 42 a factor of n?
Fal