
False
Suppose -z + 11 - 9 = -4*t, 8 = 4*t. Let w(u) = -u**3 + 11*u**2 - 6*u - 7. Is w(z) a multiple of 3?
True
Let n = 138 + -138. Let f be 4 - ((-348 - n) + (0 - -1)). Let v = f + -186. Does 33 divide v?
True
Let k(q) = 2*q**3 - 13*q**2 - 77*q + 13. Is 37 a factor of k(17)?
True
Suppose -4*r = 3*f - 301, 2*f - 80 = 2*r - 248. Suppose 5*d = -4*t + 719, 0 = t + 5*d - r - 82. Let z = -126 + t. Is 15 a factor of z?
True
Does 28 divide (4704/(-140))/((-5)/700)?
True
Is 37 a factor of 14/(-6) - 1816376/(-654)?
True
Let w(x) = -36*x**2 + x + 5015. Is w(0) a multiple of 17?
True
Let s = 36 - 30. Suppose 2*r - x - s = 0, -3*x = -2*x - 4. Suppose 5*g - 10 = i + 1, -2*i = -r*g + 7. Is g a multiple of 2?
False
Let o = -109 + 118. Suppose -u = -2*s + 392, -3*s - o*u = -4*u - 575. Is s a multiple of 13?
True
Let x(c) = 84*c + 198. Is x(12) a multiple of 134?
True
Let i = 442 + -496. Is (-19428)/i - (-12)/54 a multiple of 21?
False
Let n(t) = 142*t**2 - 66*t - 379. Is n(-5) a multiple of 9?
True
Suppose -6*s + 21 + 129 = 0. Suppose s = k + 187. Let p = -92 - k. Is p a multiple of 10?
True
Suppose 0 = -x + 8 - 4. Let v be 148 + 1 - ((-15)/(-5) - x). Suppose c - 255 = -5*t, -3*t + 3 = 3*c - v. Does 11 divide t?
False
Suppose 4*r - 5*j + 394 = 0, 6 = 7*j - 4*j. Does 7 divide (19/((-1140)/r))/(2/35)?
True
Suppose 21 = -7*d + 14*d. Suppose -178 = -d*t + 260. Is 23 a factor of t?
False
Let w(b) = -207*b + 6598. Is 56 a factor of w(0)?
False
Let o be -3*(-5 - (-3 - -3)). Suppose 43 = -4*p - 3*n, -39 = 2*p + 4*n - o. Let c = 21 - p. Does 3 divide c?
False
Let h be (0 + 1584/(-28))/(16/(-112)). Suppose -385*w = -h*w + 14355. Is w a multiple of 29?
True
Suppose 4*g - 4 = 4*d, -2 = -d + 4*g - 12. Suppose 5*v + 3 = i, 0 = -4*v - 0*i - d*i + 6. Suppose -5*k + v*k = -120. Is 8 a factor of k?
True
Suppose 1095351 = 73*s + 29*s - 373245. Is s a multiple of 46?
True
Let r = -229 + 244. Suppose -r*l = 231 - 13011. Is l a multiple of 12?
True
Suppose 0 = 2*l + 2*j - 16926, 3*j - 19717 = -2*l - 2792. Is 80 a factor of l?
False
Suppose -6*m = -12*m - 1416. Let a = 456 + m. Is a a multiple of 13?
False
Let u = 15 + -2. Suppose -3*m - 5*t = -4*m - 22, -u = -m - 2*t. Suppose -5*a - m = -6*a. Does 2 divide a?
False
Let v(p) = -5 + 110*p - p**3 - 50*p - 50*p - 17*p**2. Let a be v(-12). Does 10 divide 2/(3 + a/285)?
False
Let g(q) = 2*q**3 + 63*q**2 + 80*q + 28. Is g(-27) a multiple of 3?
False
Suppose 48*i - 77483 + 28331 = 0. Does 43 divide i?
False
Let w = -58 - -62. Suppose 5*u + 399 = t, 0 = w*t + 21*u - 20*u - 1596. Is 19 a factor of t?
True
Suppose 2*v + 1 = 5. Let t(b) be the first derivative of 31*b**4/4 + 2*b - 38. Does 50 divide t(v)?
True
Suppose 43*g - 32744 = 1742 - 4343. Is g a multiple of 3?
False
Let p be 8/(7 - 15) + -6. Let k(n) = -49*n - 72. Is k(p) a multiple of 12?
False
Suppose 742 = 5*y - 16398. Is y a multiple of 5?
False
Let s be 3 + (-2 + (-15)/(-9))*-10041. Suppose s = 13*q - 8*q. Is q a multiple of 12?
False
Suppose -2*t = -3*o - o - 42, 4*o + 76 = 4*t. Suppose 7 = -t*a + 92. Suppose -a*r - 255 = -755. Is r a multiple of 25?
True
Suppose 0 = -3*d - 3*h + 29112, 4*h + 19637 = 5*d - 28937. Is d a multiple of 105?
False
Is 3 a factor of (-310431)/(-132) - (-2)/8?
True
Let m = 27638 + 10027. Is m a multiple of 135?
True
Let s = -236 - -252. Suppose 15*w + 149 = s*w. Is 15 a factor of w?
False
Suppose -3*r = -4*v - 115, 2*r + 90 = -4*v - 0*r. Let y = -22 - v. Suppose y*j - 230 = p, 5*p + 89 - 421 = -4*j. Is j a multiple of 6?
True
Let v(f) = 2*f + 41. Let x be v(-19). Suppose x*g - 514 = -5*a, 0 = -2*g + 7*g - 3*a - 902. Does 24 divide g?
False
Suppose 184*i - 1560996 = -254964. Does 6 divide i?
True
Let t(v) = 167*v**2 - 13*v - 12. Let b be 0 - ((-2 - -1)/1)/(-1). Does 14 divide t(b)?
True
Suppose 4*m = 41 - 5. Suppose m*c - 1390 = 2543. Does 23 divide c?
True
Let b be ((-54124)/(-42))/((-3)/(-18)). Suppose b = 10*i + 2582. Is i a multiple of 52?
False
Suppose -170*s + 157*s = -39. Let i(x) = -10*x + 2. Let c be i(-1). Suppose c = -s*h, -5*w - 3*h = 2*h - 200. Is 9 a factor of w?
False
Let f(r) = r**3 - 10*r**2 + 4*r - 8. Let x be f(12). Let m be 3 + 2/(-4)*-4. Suppose x = 3*s + m*s. Is s a multiple of 4?
False
Let a be 0 - (0 + -1 + 2 + -3). Let c be -3 - -1 - (0 - a). Suppose -5*p + 207 = 3*b - c*b, 203 = 5*p + 2*b. Does 13 divide p?
True
Let u(f) = -f**2 + 3. Let o be u(0). Let b(m) = -5*m**o + 4 + 8*m**3 - 14*m**2 - 2*m**3 - 15*m + 6*m**2. Is 15 a factor of b(10)?
False
Let u = 197 + -200. Is (-3 + (-10)/u)/(1/249) a multiple of 58?
False
Let b(h) = -4*h + 827. Is 5 a factor of b(-79)?
False
Let k(c) = c**2 - 20*c + 103. Let g be k(9). Suppose 5*v + 38 = g*h, h + 5*v - 10*v - 2 = 0. Does 6 divide h?
True
Suppose -2*d + 2*n = -n + 178, 5*n = -10. Let u be d*2/(-5 + 1). Suppose 2*q - u = 48. Is q a multiple of 6?
False
Suppose 368*r = 363*r + 1475. Suppose f - 3*l + 1 - r = 0, 0 = 5*f + 5*l - 1550. Is 18 a factor of f?
True
Let g = -7645 - -15204. Does 70 divide g?
False
Suppose 0 = 56*k - 207*k + 399546. Is k a multiple of 62?
False
Suppose -5*p + 3881 = -5*b - 15699, 0 = 3*p - b - 11760. Is 74 a factor of p?
True
Suppose -2 = -4*i - 18, 2*i = -4*v. Suppose 5*a - v*y - 1324 = 0, 3*a - y - 114 = 680. Is 33 a factor of a?
True
Let z(d) = -142*d + 874. Let a be z(5). Let m = -84 + 332. Let q = m - a. Does 21 divide q?
True
Let r(f) = -f**3 - 4*f**2 + 3*f + 2. Let t = 54 - 59. Let y be r(t). Suppose -3*i + 12 = h, h + y = 5*i - 8. Does 4 divide i?
True
Let k be (5 + (-244)/(-8))/(1/2). Let y = k + -64. Suppose -240 = y*m - 9*m. Does 60 divide m?
True
Suppose 5*t - 5*b - 2700 = 16835, b + 15637 = 4*t. Is 64 a factor of t?
False
Suppose -6*m - 2989 = -8*m + 3*s, -3*m + 4490 = 2*s. Let o = m - 572. Is 66 a factor of o?
True
Suppose -14*i = -15*i - 2, -3*c + 4*i + 1109 = 0. Is 21 a factor of c?
False
Let r(p) = -p**3 + 14*p**2 + 26*p - 58. Let k be r(16). Is 11 a factor of 28/k + (-730)/(-22)?
True
Let d be 2 + 5439/2 + (-6)/(-12). Suppose d + 3834 = 11*v. Is v a multiple of 40?
False
Let c be 1 + (1/1 - -3). Suppose 10678*w + 34 = 10695*w. Suppose c*d + 120 = g, 3*g + 5*d - 480 = -w*g. Does 26 divide g?
False
Let f(b) = b**3 - 27*b**2 + 57*b - 47. Let j(g) = 9*g**2 - 20*g + 4. Let t be j(3). Is 16 a factor of f(t)?
True
Suppose -70 - 10 = -5*d. Suppose -d = 34*b - 38*b. Is 40 a factor of -3 - (-58)/(-3)*(-42)/b?
True
Suppose 0 = -2*n - 187 + 197. Suppose 0 = -y - 3*x + 56, -n*y + 4*x + 190 = x. Does 13 divide y?
False
Suppose 18*n = -17*n - 5320. Is (n/24 - -6)*-1689 a multiple of 8?
False
Let n(g) = -18*g**3 + 2*g**2 + 6*g + 3. Suppose -7 = 2*b + h, -4*b + 3*h + 2*h = -7. Is n(b) a multiple of 18?
False
Suppose -74*g + 132538 = 4074. Is g a multiple of 14?
True
Let i(g) = 1320*g**3 - 2*g**2 + 6*g - 4. Suppose 5*m = b - 3*b + 27, -2*b - m + 7 = 0. Is 55 a factor of i(b)?
True
Suppose t + 3*x = 17, -x - 4 = -7. Suppose -13*n = -t*n - 270. Is n a multiple of 14?
False
Does 198 divide (((-2527470)/161)/5)/(6/(-56))?
True
Let i = 372 + -360. Let r(n) = -n**2 + 12*n + 13. Is 7 a factor of r(i)?
False
Let y be 1 + 1 + 2 - (-24)/8. Suppose 0 = y*w - 81 - 241. Does 32 divide w?
False
Suppose -7*m + 16*m - 5067 = 0. Let t = 127 + m. Is 79 a factor of t?
False
Suppose 4*v = 4, 2*b + 339 = -4*v + 7203. Is 25 a factor of b?
False
Suppose b + 0*b - 59 = 0. Let u = b + -44. Let q = 21 + u. Is 12 a factor of q?
True
Suppose 0 = 228*v - 220*v - 56. Let f(d) = 3*d**3 - 11*d**2 + 8*d + 18. Does 38 divide f(v)?
False
Let m(u) be the second derivative of 389*u**5/20 + u**4/12 - 2*u**3/3 + u**2 - 75*u. Does 10 divide m(1)?
False
Suppose -p - p + 384 = 4*j, 2*j - 192 = p. Let m = -43 + j. Is 5 a factor of m?
False
Let f(d) = d**2 + 25*d - 2298. Does 4 divide f(-85)?
False
Suppose 6 = -0*t + 3*t, 5*t = -h + 1260. Is 34 a factor of h?
False
Suppose 0 = 4*q + 3*k + 12 - 45, 0 = -q - 4*k + 18. Suppose 2*u - 21 = -5*i, i - q = -i. Suppose -3*z + 57 = 2*p - p, u*p + 4*z = 151. Is 9 a factor of p?
True
Let f be 3 - 42/(-4)*1800/70. Suppose 4*w - 5*w + f = 0. Suppose 8*c = 5*c + 3*h + w, -178 = -2*c + 3*h. Is 25 a factor of c?
False
Is 15*37/(-4440) - (-15225)/8 a multiple of 2?
False
Is 11 a factor of 5/(-5)*(-1317 + 46)?
False
Suppose 2*p - b - 20939 = 0, -67*p + 65*p + 3*b = -20929. 