 r - 2. Is 5 a factor of t?
False
Let z(s) be the second derivative of -s**3 - 5/6*s**4 - 1/10*s**5 + 0 - 13/2*s**2 + 34*s. Is 17 a factor of z(-5)?
True
Suppose 20*j - 16996 = 6*j. Let g = j - 773. Suppose 3*h - g = 5*y + 140, 2*y - 553 = -3*h. Is h a multiple of 13?
False
Let l(k) = -105*k**2 + 5*k - 2. Let i be l(1). Let t be 5 + -2 - 1 - 170. Let q = i - t. Is 22 a factor of q?
True
Suppose -4*a + 9*a - 415 = 0. Let p(k) = -k**3 + 6*k**2 - 3*k + 2. Let o be p(-7). Suppose -79*w - o = -a*w. Is 33 a factor of w?
True
Suppose -4*o = 6*o - 20. Let m(q) = -2*q + 0*q**2 + q - 8*q - 14 + q**o. Does 14 divide m(-7)?
True
Suppose 2*t - t - 14 = 0. Let w(n) = -14*n - t - 6 + 5*n. Does 10 divide w(-10)?
True
Let j(k) = 24 + 190*k + 188*k - 562*k + 185*k. Let m be (-42)/5 - 4/(-10). Is 3 a factor of j(m)?
False
Let p be 378/216 + ((-2)/(-8) - 0). Let s(q) = 6*q**2 - q - 3. Let z be s(p). Let u = 43 - z. Does 6 divide u?
True
Suppose -9*l + 12*l = -9. Suppose 104 = 3*d - 2*f, 0*f + 3*f - 6 = 0. Is 15 a factor of (l/d*-33)/(1/20)?
False
Let n(b) be the first derivative of 4*b - 19/2*b**2 - 4. Does 7 divide n(-2)?
True
Let g(o) = -4*o - 24. Suppose -5*a = -4*a + 6. Let z be g(a). Suppose -h = -5*v - 51, z = -4*h + 6*h + 3*v - 89. Does 23 divide h?
True
Let h = 3304 + 13248. Is 8 a factor of h?
True
Suppose -10 = -5*y, 2*m - 3*m = 4*y + 23. Let p = m - -82. Let u = p + 1. Does 7 divide u?
False
Suppose -2*k + 2 = -22. Suppose -4*u = -20, 5*j + 6*u = 2*u + 75. Suppose -k*b = -j*b - 55. Is 21 a factor of b?
False
Let d(v) = 14*v**3 + 2*v - 2. Let o be d(1). Suppose -8*t + o = -18. Suppose -4*h + 3*i = -207, -t*h - i + 2*i = -205. Does 17 divide h?
True
Suppose -3*p + 5*o + 3230 = -1622, -2*o = -3*p + 4837. Let f = 2841 - p. Is f a multiple of 56?
True
Suppose -62 = 3*q - 236. Let s be (q/8)/(1/(-4)). Is 12/8*s*(-8)/6 a multiple of 29?
True
Let a be ((-3794)/21)/(2/(-3)). Let u = a + -41. Is 8 a factor of u?
False
Let i be (-6)/27 - (6 + (-140)/63). Is 6/10 - ((-8324)/10 - i) a multiple of 7?
False
Let q(h) = -40*h + 14. Let g(b) = -b**2 - 6*b + 8. Let t be g(-5). Suppose -3*c + t*c = -50. Is 17 a factor of q(c)?
False
Let o(l) = -l**2 + 44*l + 2063. Is 9 a factor of o(70)?
True
Let f be ((-14)/4)/(1/2). Let z be (273/9 - -1)*69/(-46). Let p = f - z. Does 10 divide p?
True
Let x = -483 - -453. Is (-5)/(x/(-12)) + 173 a multiple of 4?
False
Let y(l) = 2*l**2. Let q(x) = x**3 + 20*x**2 - 11*x - 22. Let j(r) = q(r) - 4*y(r). Is j(-10) a multiple of 6?
True
Let u(i) = -i**2 + 5*i - 4. Let b be u(1). Suppose 8*h - 690 - 1150 = b. Is 20 a factor of h?
False
Suppose -2*n = 5*p + 246 - 64, -4*n - 364 = -3*p. Let q = 445 + n. Does 86 divide q?
False
Does 23 divide 1629*(23 - (-1593)/243)?
False
Suppose 62 - 65 = -k. Is -1 - -354 - (k - (1 - 3)) a multiple of 29?
True
Let h = 41432 - 15525. Is 213 a factor of h?
False
Let v = -8410 + 24505. Does 28 divide v?
False
Let g = 123967 - 85308. Suppose -42*l + g = 12577. Does 27 divide l?
True
Let n be (175/(-21) + 8)/((-4)/492). Let c = -27 + 47. Let v = n - c. Does 15 divide v?
False
Suppose 54*g = 462003 + 809697. Is 6 a factor of g?
True
Suppose 3*n - 852 - 22186 = y, 7688 = n + 4*y. Is 40 a factor of n?
True
Let k(b) = -b**3 - 12*b**2 + 6*b + 20. Let x(d) = d**2 - d - 1. Let c(a) = -k(a) - 3*x(a). Does 12 divide c(-6)?
False
Let p(b) = 134*b**2 + 166*b + 1265. Is 57 a factor of p(-7)?
True
Let r be ((-1)/3)/(8 + 169/(-21)). Does 24 divide 0*r/21 - -250?
False
Let v = -13616 - -25376. Is v a multiple of 210?
True
Let k be (0 + 0)*((-20)/8 + 3). Suppose k = -2*g + 3*o - 0*o + 210, 0 = -4*g + 4*o + 428. Is g a multiple of 4?
False
Suppose -s + 29 = -u, -4*s + 78 = 3*u - 24. Let w be (-8)/(-20) + -1 - (-2332)/220. Suppose a + w = s. Does 8 divide a?
False
Is 11 a factor of 2102*((-4)/12 - 12/(-9))?
False
Suppose -2*m + 18 = -4*t, -2*t + 5*m = -3*t - 21. Let c(b) = -27*b - 60. Does 9 divide c(t)?
False
Suppose 29*o + 42*o + 21*o = 148028. Does 7 divide o?
False
Let z = -15500 + 42940. Is z a multiple of 70?
True
Suppose 5*s + 4268 = 4*o, 0 = 10*o - 13*o - 4*s + 3232. Suppose -3*t + 1515 = 4*l, 5*l = -2*t - 62 + o. Is t a multiple of 51?
False
Let j be 63/42*(-4)/(-6). Let n be (9/15 - j)*-5. Does 4 divide n/(2/9) + -1?
True
Let y = 80 + -44. Suppose -3*s - w = w - y, s + 4*w = 2. Let p(x) = 16*x + 2. Is 13 a factor of p(s)?
False
Let v = -1172 + 2168. Is v a multiple of 12?
True
Does 48 divide 1296/(-8)*4/6*-48?
True
Let k(x) = -236*x + 7494. Does 122 divide k(16)?
False
Let x(w) = -w**3 + 22*w**2 + w - 6. Let d be x(22). Suppose 8*m - 4*m + d = 0. Let g(l) = -5*l**3 - 4*l**2 - 4*l - 1. Is g(m) a multiple of 31?
False
Suppose -3*b - 4*x = 215, -4*b + 2*b + 4*x = 130. Let z = 434 - 283. Let v = b + z. Is v a multiple of 8?
False
Let p(h) = 11*h**2 + 2*h + 17. Let g be p(5). Suppose -4*w - 42 = -6*w + 2*l, 3*l + 85 = 4*w. Suppose g = 5*m + w. Is m a multiple of 12?
False
Suppose -127*k = -3*h - 130*k + 12615, 3*h - 5*k = 12575. Is h a multiple of 140?
True
Let q be (-80)/(-6)*15/(-36)*9. Let y = 423 - q. Does 44 divide y?
False
Let q be 2/(-6) + (-39)/(-9). Suppose 4*f - 11*p + 12*p - 8 = 0, q*p = f - 2. Is 19 a factor of (f - 5) + (-10 - -89)?
True
Let c = 119 + -268. Let b = 347 - c. Does 24 divide b?
False
Let r = 143 + -137. Let t be (-228)/(-171)*r/4*-3. Is 286/t*-6*2/4 a multiple of 11?
True
Let d = -41 + 41. Suppose 5*w - 2*b + 925 = -4*b, -b = d. Let p = -32 - w. Is 10 a factor of p?
False
Let f(p) = 9*p - 74. Suppose x = 5*v - 8, -2*x + 6 - 2 = -5*v. Is f(x) a multiple of 4?
False
Let n(w) = -w**3 + 11*w**2 + 2*w + 1. Let v(u) = -u**2 + u + 1. Let z(h) = -n(h) + 3*v(h). Let m be z(14). Let r = 165 - m. Is r a multiple of 13?
False
Let r be (-1 + -2)/(-1*(-3)/(-10)). Let n be 1 - -3 - 2*125/r. Is 3 a factor of (-5 + 2)/3*(n + 4)?
False
Let v(h) = -h**3 - 5*h**2 - h - 7. Let t(m) = m**3 - 8*m**2 - 9*m + 66. Let i be t(8). Is v(i) a multiple of 4?
False
Let t(b) = 3*b**2 + 59 - 1377*b - b**2 + 1426*b. Is 6 a factor of t(-25)?
True
Let p(t) = t**3 + 12*t**2 + 8*t + 52. Let w be p(-9). Suppose w = 3*f + o, -5*o + 75 = 3*f - 140. Does 3 divide f?
True
Let j = -1629 - -2355. Let a = -258 + j. Is 13 a factor of a?
True
Suppose -1560*w - 4*y - 24520 = -1561*w, y = -9. Does 23 divide w?
False
Let u = 4651 + 1600. Does 18 divide u?
False
Let u = -37 + 49. Let b be 2/(-12) - (-50)/u. Let r(w) = w**3 - 5*w**2 + 5*w + 7. Is 11 a factor of r(b)?
True
Suppose 0 = 2*y - j - 1, 17*y - 14*y - j = 3. Suppose 5*l = c - 51, -3*l - l = -y*c + 114. Does 9 divide c?
False
Suppose 12 - 7 = h. Suppose 5*i = -h*f + 445, i - 6*i + f = -421. Suppose -4*x + 9*x - i = 0. Is 11 a factor of x?
False
Suppose 3*x + 214 = -g - 330, 3*x + 560 = -5*g. Let h = 236 + x. Is 7 a factor of h?
True
Does 16 divide 768/(-288)*(0 - 228)?
True
Let s(v) = -182*v + 160. Is s(-141) a multiple of 173?
False
Suppose -273*n + 663324 = 30*n + 28*n. Does 12 divide n?
True
Suppose 732*d + 2*q + 118857 = 737*d, d = 3*q + 23748. Is 15 a factor of d?
True
Let g(h) = -165*h - 22682. Does 4 divide g(-147)?
False
Let n(u) be the third derivative of -11*u**2 + 2*u**3 - 4/15*u**5 + 0*u + 0 + 13/24*u**4 - 1/120*u**6. Does 20 divide n(-17)?
True
Suppose 0 = 3*q, 4*s - 5*q - 268 = -3*q. Let n be (-17)/(-1) + -1 - -2. Suppose s = p + n. Is 11 a factor of p?
False
Let u be 2/4*((-9 - -24) + -13). Does 28 divide 447/2 - u - 21/(-42)?
False
Let x(d) = -393*d + 126. Is 9 a factor of x(-3)?
True
Let y(d) = 10 - d + 3 - 7 + 10. Suppose -8 = -3*r + 16. Is y(r) a multiple of 2?
True
Let g(b) = 1612*b + 3014. Is 226 a factor of g(5)?
True
Let s be (-1)/(-2*5/170). Suppose 608 = 25*a - s*a. Is a a multiple of 13?
False
Let m(l) = l**3 + 9*l**2 - 9*l + 20. Let r be m(-10). Suppose -3*q + 8 = 53. Is 31 a factor of 316/r + (-6)/q?
False
Let m = 37 - -43. Let r = -93 + m. Is 18 a factor of 7008/78 + (4/r)/(-2)?
True
Suppose -5*g + 4*j + 264 = 3*j, 4*g - 192 = -4*j. Suppose -6*v - g = 2. Is 6 a factor of (v - -5)/(-1)*(0 + 9)?
True
Let h(n) = -n**2 - 29*n - 53. Suppose -s - 5*g = -2*g + 20, 0 = -5*g + 5. Does 5 divide h(s)?
True
Suppose 4114*v - 4092*v = 116358. Is v a multiple of 43?
True
Let p(m) = 99*m**2 + 2*m + 2. Suppose -7*k - 10 + 3 = 0. Let o be p(k). Suppose 3*g + 2*w = -3*w + 311, -g +