34. Does 11 divide r(i)?
False
Is 33 a factor of ((-90)/78 - -1) + ((-472926)/(-78) - 0)?
False
Suppose -4*j + k + 4*k = -13, -5*j + 4*k + 14 = 0. Suppose 134 = j*s - c, -10*c + 335 = 5*s - 6*c. Is s a multiple of 25?
False
Let v(s) = -40*s - 39 - 30*s - 62*s. Is 15 a factor of v(-7)?
True
Suppose j - 7 = 2*b, 0 = -3*j - 4*b + 4 - 3. Suppose -3201 = -j*m - 8*m. Is m a multiple of 26?
False
Suppose 0 = 4*v + i - 9, 2*v + 14*i - 6 = 12*i. Let y(f) = 2*f**3 - 7 + f + 3*f**2 + 1 + 3*f**3. Does 24 divide y(v)?
True
Let n be 414/(-9)*(-1)/2. Let v = 24 - n. Does 18 divide (582/6)/(v + 0)?
False
Let v(r) = r**3 + 6*r**2 - 121*r + 8. Let k be v(8). Let h = k + 370. Is 17 a factor of h?
True
Let s(d) = -4 - 22*d + 24712*d**2 + 2 - 24714*d**2. Is 11 a factor of s(-9)?
False
Suppose -8*u = -2*u - 30. Suppose -t - 17 = u*q, q = t + 2*t - 13. Is (q + 6 - -76) + 0 a multiple of 14?
False
Let i = -710 + 711. Is 1061 + (2 - 6)/(i - -1) a multiple of 42?
False
Suppose -152592 = -78*j + 123528. Is j a multiple of 60?
True
Let k be (4 + -3)/((-13)/(-8294)). Suppose -643*u + 1560 = -k*u. Does 13 divide u?
True
Let d be 1/(-2)*20/(-1). Let m(n) = -n + 2. Let q be m(-2). Suppose -3*l = 4*z - 32, -3*l + d = q*z - 2*z. Does 11 divide z?
True
Let h = 224423 - 153539. Is h a multiple of 44?
True
Let a = -86 + 133. Let f(i) = 5*i**2 - 46*i + 12. Let c be f(10). Let z = c - a. Is 3 a factor of z?
False
Suppose 18 = -5*y + 103. Suppose y*q = 22*q - 25. Suppose -4*u = -5*w + 411 - 30, 4*w - q*u = 303. Does 16 divide w?
False
Let m = -17162 - -36178. Does 199 divide m?
False
Suppose 5*i = -5*t + 20285, -3*t - 5*i = -t - 8099. Suppose 663 = 9*o - t. Is o a multiple of 25?
True
Let n = 34789 + -20843. Is n a multiple of 47?
False
Let h be 57722/10 - (136/(-20) + 6). Suppose 2986 = 19*c - h. Is 18 a factor of c?
False
Let v(d) = 3*d - 1. Let u(r) = -r**3 + 9*r**2 - 7*r + 7. Let q(c) = u(c) + 2*v(c). Let g(x) = x**2 - 9*x - 3. Let o be g(10). Does 14 divide q(o)?
False
Suppose 2*g + 12 = 0, -s + 490 = -4*g - 214. Is s a multiple of 4?
True
Suppose 4*n - 18 = -3*p, -15*n + 16*n + p = 5. Suppose 0 = -2*f + f + 3, 0 = -n*d - 4*f + 348. Is d a multiple of 4?
True
Let i = 7207 + -2836. Does 8 divide i?
False
Let z be 2/5 + 10314/(-135). Let n be (-2 - -2)*-1 - 4. Does 13 divide (-2223)/z - (-1)/n?
False
Let v = 4877 + -2919. Let z = v + -1057. Is z a multiple of 15?
False
Let z be 8*(21/14)/3. Let o(p) = -4*p + 1 + 6*p**2 + p - 13. Is o(z) a multiple of 8?
True
Let q be (-114)/95*3/((-9)/10). Suppose -q*z - 4*d = 20, d = -3*z + 4*d + 15. Suppose 3*w - 2*n - 94 = 0, -2*w - 4*n + 6*n + 64 = z. Is 6 a factor of w?
True
Let r = -16728 - -20332. Does 17 divide r?
True
Is 95 a factor of (3 - (-23)/(-7)) + 581889/49?
True
Let n(p) be the first derivative of 23*p**2/2 + 365*p - 302. Is n(19) a multiple of 11?
False
Let v(b) = b**3 + 7*b**2 - 3*b - 19. Let o be v(-7). Let w be (o - 1)*1 + -135. Let n = 198 + w. Is n a multiple of 16?
True
Let m = 7017 + 5300. Does 113 divide m?
True
Suppose 0 = -2*y - 3*g + 570 + 674, 2*y - 3*g = 1244. Does 2 divide y?
True
Suppose 8*a = 47*a - 82056. Does 7 divide a?
False
Let n = 371 - 389. Is 24 a factor of (-1 - -1)*(-9)/n + 355?
False
Let c be (-4)/5*(-22)/(-4)*-25. Let l = c + -165. Is ((-11)/15 - (-1)/3)*l a multiple of 7?
False
Suppose -n + 5*f = 197, 2*n + 77 = 3*f - 289. Let o = n + 407. Is o a multiple of 10?
True
Let a = -232 - -274. Suppose a*s = 4*s + 18240. Does 15 divide s?
True
Let l be 5/3 + (-24)/9 + 3. Suppose -2*v + 960 = l*a, a + 2*a = 3*v + 1434. Is 43 a factor of a?
False
Let d be -1*(676 + 1)*-6. Suppose 7*u - d = 1538. Is 25 a factor of -2 - (u/(-6) + 8/24)?
False
Let j(a) = -a**3 - 7*a**2 + 8*a + 2. Let s be j(-8). Let y = 1053 - 1043. Suppose -y + 2 = 4*x, -s*t + 330 = -3*x. Is t a multiple of 18?
True
Let n(c) = 6*c**2 - 18*c + 6. Suppose 0 = 437*i - 430*i - 63. Is n(i) a multiple of 20?
False
Let c(b) = -6*b + 6. Let h be c(-9). Suppose 0 = 9*i + 438 - h. Let a = 46 + i. Is a a multiple of 2?
True
Let m(s) be the second derivative of 13*s**3/2 + 5*s**2/2 + 63*s + 2. Is 2 a factor of m(0)?
False
Let v = 36 + -34. Suppose -2*g + 20 = v*g. Suppose -4*x - 2*i = -126, -x = -4*i + g*i - 30. Does 9 divide x?
False
Let s be 4/6 + 54/162. Is (s + 0 - (-3 + 17))*-7 a multiple of 3?
False
Suppose 3*v - 2*r + 468 = -425, 0 = -5*v - 5*r - 1505. Let g = 376 + v. Is g a multiple of 15?
False
Suppose 4*t + 5*v = 161, 2*t - 2*v - 100 = 2*v. Let d = 48 - t. Suppose -5*o - 4*f = f - 235, -3*f - 188 = -d*o. Is o a multiple of 14?
False
Suppose -q + 5*o - 8223 = -3*q, -5*q + 5*o + 20505 = 0. Does 152 divide q?
True
Let j = -38 - -65. Let p be ((-20)/8)/((-2)/(-32)). Does 9 divide (j/(-5))/(8/p)?
True
Let o(r) = -2*r**2 - 57*r + 89. Let h be o(-30). Let x(n) = -593*n - 52. Does 13 divide x(h)?
False
Let t = -3749 - -4474. Does 29 divide t?
True
Let i be 3 + 2 + -1 + 152. Let j = 248 - i. Suppose 3*n - j = 2*z, -3*n + n - 5*z = -93. Is n a multiple of 19?
False
Suppose 6*o + 224640 = 23*o + 10*o. Does 160 divide o?
True
Suppose -383 = 5*t - 2*y, 2 - 3 = y. Suppose 4*h = -5*f + 108 + 713, 0 = 4*f + 12. Let w = t + h. Does 15 divide w?
False
Suppose 0 = -16*f + 11*f - q - 22, 4 = -2*f + 2*q. Is 43 a factor of (-394)/(-6)*(3 + (-4 - f))?
False
Suppose 4*r - 5*o + 6 = -2, 0 = o. Let q = r + 8. Suppose q*u - 280 = -u. Is u a multiple of 40?
True
Does 82 divide 8/(-6)*(-11988)/8?
False
Let l(u) be the third derivative of -u**7/2520 + 29*u**6/720 + u**5/15 - 5*u**4/8 + 3*u**2. Let b(t) be the second derivative of l(t). Is 25 a factor of b(16)?
False
Let f be ((-10)/15)/((-6)/(-9))*-12. Suppose 0 = f*d - 936 - 3780. Is d a multiple of 23?
False
Let z be (11/66 + (-46)/12)*-15. Let i be (1/(5/8))/(22/z). Suppose -j - 215 = -3*p + 4*j, i*j = 3*p - 214. Does 7 divide p?
True
Let l(w) = -w**2 + 20*w - 61. Suppose -25*f + 270 = -7*f. Is 14 a factor of l(f)?
True
Suppose -185*p - 25733 = 73*p - 1702733. Is 65 a factor of p?
True
Suppose 3*d + 240 = 24. Let p = -50 - d. Suppose -3*t = -p - 65. Is t a multiple of 9?
False
Let o = -511 - -720. Suppose 213*v - 2296 = o*v. Does 14 divide v?
True
Let c = -1338 - -5002. Does 12 divide c?
False
Let q = -102 - -47. Let c = -645 - -639. Let p = c - q. Is 6 a factor of p?
False
Let r = 1 - -82. Let f = -82 + r. Is 13 a factor of 52/(-13) - (67*-1 + f)?
False
Let t be -1 + (-1 - -2) - (-4716)/18. Let k = -207 + t. Is 33 a factor of k?
False
Suppose 0 = -5*l + 5*i + 825, 6*i - 9*i = -l + 159. Suppose -6*g = -2*g - p - 371, 2*g - l = 4*p. Does 33 divide g?
False
Suppose x + 5163 = -13*k + 16*k, 3*k - 5*x - 5175 = 0. Suppose -y - 39*f = -36*f - k, 4*f = 5*y - 8524. Is 14 a factor of y?
True
Let r(i) = 197*i + 1. Let h be r(7). Suppose 13*z + h = 17*z. Does 15 divide z?
True
Suppose 15*o = 11*o + 4, 0 = -z - 5*o + 21. Does 9 divide (-901)/(-2) + (-8)/z?
True
Suppose 4*d + 10 + 14 = -2*n, d = 3. Let r = 2 + n. Let i(t) = -3*t + 34. Does 11 divide i(r)?
False
Let y(k) = 2*k**2 + 5*k + 50. Suppose 6*c + 778 = 676. Is y(c) a multiple of 57?
False
Let l be 346/((-2)/(2 + -4)). Suppose -1614 = -7*n + l. Is 20 a factor of n?
True
Let x be (0 - 6/4)/((-2)/(-92)). Let k = x - -85. Suppose -5*h + 505 = -2*p, -h - p + 92 + k = 0. Is h a multiple of 21?
False
Let t = 101 + 1336. Suppose 43*f - t = 4368. Does 26 divide f?
False
Suppose 0 = 18*w + 6*w - 264. Suppose -w*t = -14*t + 2169. Does 5 divide t?
False
Suppose -2*y = f - 13833, 3*y - 12826 = -3*f + 7937. Does 128 divide y?
True
Let g = 13833 - 7336. Does 48 divide g?
False
Suppose 39436 - 4588 = 4*p. Is p a multiple of 8?
True
Suppose 0 = g - 3*z - 9, 4*g - 11 = g + z. Suppose -7395 = -g*b + 5*c, -6*b + 9883 = -2*b + c. Suppose b = 13*i - 559. Does 42 divide i?
False
Suppose 35690 = -2017*d + 2022*d. Does 79 divide d?
False
Let n be (-36)/(-19) - 2 - (-20068)/38. Suppose 2*v + 20 = 7*v, -g - 355 = v. Let m = g + n. Is m a multiple of 22?
False
Suppose -4*a + 282 = -2*d, -d - 4*a = -0*d + 141. Let i(t) = -t**2 + 32*t - 80. Let w be i(37). Let l = d - w. Is 31 a factor of l?
True
Let g be 58*((-7)/(-6))/(4/12). Suppose 156*a + 12 = 160*a. Suppose -g - 112 = -a*v. Is v a multiple of 8?
False
Let c(b) = -3*b**3 - 5*b**2 + 9*b - 5. Let w be c(4). Let r = w + 307. Is r a multiple of 11?
T