e 1 + -2 + -3 + 2. Is 20 a factor of (-7 - -6 - 79)*c?
True
Let d(h) = 541*h**3 + h - 1. Let c(w) = 7*w + 29. Let b be c(-4). Let v be d(b). Let f = v + -332. Does 49 divide f?
False
Suppose 13*f - 13344 = 19*f. Let z be f/(-10) + (-2)/5. Let m = -6 + z. Is 27 a factor of m?
True
Is 786/(-20)*25/30*-156 a multiple of 71?
False
Let s(h) = -84*h - 2967. Is s(-63) a multiple of 2?
False
Let y(j) = 41*j**2 + 16*j + 43. Is 6 a factor of y(-7)?
False
Suppose 0 = 66*m - 685338 + 67504 - 505750. Is m a multiple of 64?
True
Let s(u) = 3*u + 25. Let d be s(-10). Let v = 131 - d. Is 34 a factor of v?
True
Suppose 5*t - 18620 = -3*k - 2*k, -5*k = 3*t - 11172. Is 51 a factor of t?
False
Suppose -125*s + 220196 = 11*s - 742820. Does 73 divide s?
True
Suppose -11*i + 126*i + 116*i = 357126. Does 61 divide i?
False
Suppose 2*k - 145 - 5 = 0. Suppose 3*y = -3*c + k, -2*c - y = -4*y - 70. Let j = -24 + c. Does 5 divide j?
True
Let b = -153 - -1114. Let k = b + -393. Is k a multiple of 15?
False
Suppose 12067 = 227*m - 137164 - 64603. Is m a multiple of 49?
False
Let u(l) = l**3 - 11*l**2 - 3*l + 38. Let k be u(11). Suppose 3*d - k*d = -496. Does 8 divide d?
True
Suppose -3*k - 2*h + 1876 = 0, 0 = -4*k + 4*h - 0*h + 2508. Let p = 958 - k. Is 83 a factor of p?
True
Suppose -4*d + 206 + 1995 = -j, -1093 = -2*d + 3*j. Suppose -13*m + d = -12*m. Is m a multiple of 19?
True
Let r = -410 + 503. Let m = r + 53. Is 16 a factor of m?
False
Let u be -189 - (0/(-2) + -2). Suppose 0 = 4*o + 4*r + 1296, 3*o + 972 = -11*r + 5*r. Let c = u - o. Does 34 divide c?
False
Suppose -2*x + 12*f = 17*f - 28978, 5*f = 2*x - 29038. Does 8 divide x?
True
Suppose 0 = -2*g + 4*o + 18, 2*g = -4*o + 33 + 1. Suppose 612 = 3*c - 3*m, -3*c + 17*m - g*m + 616 = 0. Is c a multiple of 10?
True
Let h = 1008 - 719. Suppose 0 = -2*u + 6, -934 = -4*i - u + h. Does 28 divide i?
False
Let j(h) = h**3 - 2*h**2 + 33*h + 2332. Is j(0) a multiple of 158?
False
Suppose 76*t = -174409 + 707929. Is t a multiple of 60?
True
Let i be 32/(16/4) + 0. Suppose -3*o - 4*r = -i, 2*r = 1 + 3. Suppose -4*x - 5*w + 551 = 0, o*x + 4*x - 566 = -2*w. Does 18 divide x?
True
Let t(j) = -114*j - 2317. Does 56 divide t(-68)?
False
Let r = 79583 + -46354. Is 43 a factor of r?
False
Let a = 79 - 70. Let l(w) = 13 - a - 8*w + 12 + 2 + w**2. Is l(-8) a multiple of 14?
False
Let x = -104 + 523. Suppose -s - t = -413, -t + 5*t = -s + x. Is s a multiple of 29?
False
Suppose 5*a + 7760 = 4*v, 51*v - 3*a - 17460 = 42*v. Is v a multiple of 2?
True
Let s be -8 + 7 - (1 + 58)*5. Let f = s - -608. Is 13 a factor of f?
True
Let p(v) = 3*v - 19. Let a be p(7). Suppose 2*u - 2*r + 166 = 0, 24 = -u + a*r - 62. Is u/8*108/(-15) a multiple of 12?
True
Suppose 2404 = 4*i - 2*j, 5*i - 204 = -j + 2794. Suppose 23*p - 3*p = i. Is p a multiple of 3?
True
Is (-1)/(-13)*-2 + 22698830/1001 a multiple of 249?
False
Let t = -6406 + 17816. Suppose 84*f - t = 70*f. Is 6 a factor of f?
False
Let q be 501/((-9)/(-24) - 0). Suppose -q = -23*s + 19*s. Suppose 17 = -3*x + 5*t + s, -5*x - t = -575. Is x a multiple of 19?
True
Let p(m) be the first derivative of -m**3/3 + 9*m**2 + 49*m + 87. Is 11 a factor of p(19)?
False
Let w(z) = z**3 - 11*z**2 - 26*z + 6. Is w(16) a multiple of 15?
True
Suppose -2*j + 5*j = 3*c + 135, -2*c = -5*j + 102. Let l = 331 + c. Does 48 divide l?
False
Let g = 34852 - 19145. Is 110 a factor of g?
False
Let c(b) = -197*b**3 + 11*b**2 + 11*b - 29. Is 9 a factor of c(-3)?
False
Let v(s) be the first derivative of 2*s**3 + 20*s + 9/2*s**2 - 9. Is 24 a factor of v(-5)?
False
Let l(h) = -3*h + 50 + 5*h + 12*h + 23. Let n = -2591 + 2596. Is l(n) a multiple of 11?
True
Let i be -14*(4 + 90/(-21)). Suppose i*b + 4*j = j + 10, -5*b = 2*j - 16. Suppose 21 = q + b. Is q a multiple of 17?
True
Let n(k) = -k**2 + 5*k - 2. Let c be n(4). Let x be ((-8)/c)/(-2) - -1. Suppose 44 = x*w - 76. Is 8 a factor of w?
True
Suppose 55*w - 58*w = -4*p + 32736, w = 3*p - 24552. Is 31 a factor of p?
True
Let g = 493 + 1503. Suppose 0*c - g = -5*o - c, o + 4*c - 384 = 0. Is 43 a factor of o?
False
Let p(d) be the first derivative of -d**4/4 + d**2 + 43*d + 3. Suppose 0*y + 11*y = -10*y. Is 18 a factor of p(y)?
False
Let v(t) = 32*t + 14. Let s be v(15). Suppose 0 = 4*u - 594 - s. Does 17 divide u?
True
Suppose -6*q + 62224 = 4*q + 6*q. Is 142 a factor of q?
False
Suppose 0 = 3*c + 4 + 2. Let p be ((-16)/12)/(4/6)*-60. Does 35 divide ((-21)/c)/(12/p)?
True
Let k(h) = -20 + 0*h**2 + h**2 + h**2 - 56*h + 71. Is k(30) a multiple of 57?
True
Let i(b) = -1739*b - 19. Does 3 divide i(-1)?
False
Let t be (-15)/(15/4) + 80*5. Let v = t - 152. Suppose 5*s - v = -5*z + 316, -254 = -2*z + 4*s. Is 39 a factor of z?
True
Suppose 0 = 12*z - 195 + 3. Suppose -4*c + 20 - z = 0. Is 6 a factor of 6/15*(-810)/((-3)/c)?
True
Is (-8442)/15*2/(-4)*15 a multiple of 52?
False
Suppose -610 = -2*w - 655*k + 653*k, 2*k - 1208 = -4*w. Does 15 divide w?
False
Let a(n) = n + 11. Let o be a(-9). Suppose 4*b - 3335 = 3*j, -o*b - b + 2*j = -2500. Suppose 6*g - 11*g + b = 0. Is g a multiple of 7?
False
Let v(b) = -10456*b + 33. Let p be v(-1). Suppose -39*o + p = -236. Does 5 divide o?
True
Suppose -93 - 115 = -16*i. Suppose 0 = -i*a - 273 + 3289. Is 8 a factor of a?
True
Suppose -4*w = -307 - 957. Let u = w + -106. Suppose -u = 17*k - 22*k. Is 6 a factor of k?
True
Suppose 114675 = -4*r + 37*r. Does 23 divide r?
False
Let z be 16/(-20) - 58/(-10). Suppose -1593 = -5*a + 2*t, 4*a - a = z*t + 952. Is 11 a factor of a?
True
Let s(a) = 7*a**2 + 15*a - 11. Let w be s(-5). Suppose -w*r + 94*r = 340. Does 13 divide r?
False
Let l = -2141 - -5725. Is l a multiple of 33?
False
Suppose 5*k + 122 = -14*x + 15*x, 5*k = 2*x - 239. Let u = 714 - x. Is 27 a factor of u?
False
Let v be -3 - (-8)/12*6. Let f(i) = 385*i**3 + 2*i**2 - i. Let h be f(v). Let c = h + -276. Does 22 divide c?
True
Let o be 4332/(-54) - (-2)/9. Let r = o - -233. Let c = -66 + r. Does 11 divide c?
False
Let l = 52154 + -36215. Does 161 divide l?
True
Suppose -82*l - 76811 = -414077. Does 101 divide l?
False
Let o(p) = -12*p - 15. Let v be o(11). Let t = 288 + v. Suppose -5*x - 3*q + 370 = q, -t = -2*x - 3*q. Is 5 a factor of x?
False
Suppose 0 = 5*h + 25, 9*o - h = 7*o + 1249. Let s = o + -358. Is s a multiple of 11?
True
Suppose 0*x - 67 = 5*n + 3*x, 5*n - 5*x = -75. Let r = 19 + n. Suppose r*a = 4*a + 31. Is a a multiple of 4?
False
Let z = -16989 - -28559. Is 84 a factor of z?
False
Let v be 513/(-285)*(-5)/3. Does 3 divide 4 + (0 - 6) - (v - 116)?
True
Suppose -4236*b + 496908 = -4150*b. Is 24 a factor of b?
False
Suppose -4*h - 191 = -1131. Let q = h + 192. Is 8 a factor of q?
False
Let v(j) = 6*j + 5. Let x be v(-1). Let g be 56/x*(12/(-16) + -1). Let a = g - 82. Is 2 a factor of a?
True
Suppose 0 = 5*w + 10*z - 74300, -157*z = -w - 158*z + 14856. Does 94 divide w?
True
Suppose -2*q = 4*l + 32, -3*q + q = -4*l - 16. Is (-4)/(-2) + l + 306/3 a multiple of 7?
True
Let t be 2/12 - 44/264. Suppose t = v - 5*y - 191, -5*v - 5*y + 732 = -373. Does 12 divide v?
True
Let b(a) = 34*a**2 - 3*a - 69. Is b(11) a multiple of 4?
True
Let w = -320 - -310. Does 17 divide (-32)/(-80) - 3056/w?
True
Let m = -434 + 481. Suppose m*j = 51*j - 1768. Does 11 divide j?
False
Let a(x) = -2*x + 37. Let q be a(23). Let j = q + 13. Suppose j*b + 65 = 449. Is 16 a factor of b?
True
Suppose 0*z = -3*i - z + 4333, 0 = 2*i - 5*z - 2866. Suppose -18*d = i - 9867. Is d a multiple of 36?
True
Suppose 9*b = 49 - 31. Suppose -302 = -i + b*n, 5*n = -5*i + 1385 + 200. Does 13 divide i?
True
Let c = 2829 - -3219. Is c a multiple of 48?
True
Suppose 423 - 1296 = -9*x. Let i = 99 - x. Suppose -4*b + i*n = -112, -n = -2*b + 3*n + 44. Does 30 divide b?
True
Suppose 4*x - 464 = -c + 52, -4*c = -2*x + 258. Is 3 a factor of x?
True
Let x = -18056 - -18323. Does 10 divide x?
False
Suppose 0 = -2*k - d + 11276, 3*d = -19*k + 16*k + 16908. Does 6 divide k?
True
Let x(g) = 5*g**2 - 22*g + 44. Let w be x(3). Let p = w - -67. Is 3 a factor of p?
True
Let u = -107 + -103. Let b = -122 - u. Is b a multiple of 8?
True
Let j = 135 + -117. Let g = 82 + j. Does 11 divide g?
False
Let j be ((-1328)/8)/((-1)/(-2)). Let c = -13086 - j. Is c/(-91) - (-2)/(-13) a multiple of 20?
True
Let f = -