e of 22?
True
Suppose -2*b + 3*h = 218, -4*h = -3*b + 4*b + 87. Let g = b - -359. Is g a multiple of 8?
True
Let p = -52 - -54. Let m(j) = 2*j + 8. Let q be m(p). Let n = 86 - q. Is n a multiple of 17?
False
Suppose 0*g + 4*g = -w + 27998, -11*g + 5*w = -76948. Is 6 a factor of g?
False
Suppose -14*d + 56 = -7*d. Let g be (-147)/12 + 2/d. Is (56/g - 2)*-6 a multiple of 22?
False
Let s(q) = -2*q - 108. Let k be s(-55). Suppose -265 - 2476 = -4*o - 3*h, -k*h + 2056 = 3*o. Is o a multiple of 57?
False
Let a = -86 + 6776. Is a a multiple of 10?
True
Let t(u) be the first derivative of -u**4/4 - 20*u**3/3 - 10*u**2 - 14*u + 3. Let d be t(-19). Suppose d*s - 3*f = 740, -5*f + 120 = s - 0*s. Does 39 divide s?
False
Suppose 8*i = 5*i + 15, 4*i - 4 = -v. Let h = 62 + v. Suppose 0 = 4*l - h - 66. Does 7 divide l?
True
Let x = -1236 - -2594. Suppose -7*t + 308 = -x. Is t a multiple of 34?
True
Suppose -108 = -9*a + 1296. Let l(u) = -4*u**2 + 9*u + 7. Let t be l(7). Let r = t + a. Is r a multiple of 6?
True
Suppose -2*n + 5*c = -5775 + 91, 5*c = 40. Does 9 divide n?
True
Suppose 0 = -10058*n + 10070*n - 59112. Is 8 a factor of n?
False
Let o(y) = 1889*y - 2179. Does 84 divide o(4)?
False
Let p(w) be the first derivative of w**4/4 + w**3/3 - 2*w**2 - 3*w - 1. Let v be (-2)/((-12)/(-36)*(-3)/2). Does 7 divide p(v)?
False
Let n(z) = 330*z**2 - 527*z - 2618. Is n(-5) a multiple of 13?
False
Let z(s) = 8*s + 54*s**2 + 3*s - 2*s - 61*s**2 - 15 - s**3. Let h be z(-9). Suppose 4*v = -2*f + h, -f + 1 = -0*f. Is 4 a factor of v?
True
Suppose -25*g - 107549 = -220726 - 1168198. Is g a multiple of 11?
False
Let w = -445 + 437. Is 6 a factor of 150*(6 + (w - -5))?
True
Suppose -3*q - w = -1, -2*w - 3*w = -5. Let x be 0 + 0*((-1)/(-3) + q). Suppose 722 = -r + 6*r - 2*j, x = -r + 4*j + 148. Is r a multiple of 18?
True
Suppose m - 2244 = -2*i, 3*m - 3610 = 3*i + 3167. Is m a multiple of 68?
False
Is 11 a factor of (95/(-76)*4)/(10/(-14902))?
False
Suppose -13*x + 32 = 513. Is 11 a factor of 316 + (-5 - x)/(-4)?
True
Suppose g = 3*m - 47, 3*m - g + 2*g - 49 = 0. Is (-18141)/(-18) + m/96 a multiple of 18?
True
Let u be 5/(15/6) + 1. Suppose 419 + 280 = u*d. Is d a multiple of 17?
False
Let j(c) = 8*c - 28. Suppose -4*p = -r + 16, -7*p = -2*p + 5*r + 20. Let t(b) = 4*b - 14. Let o(a) = p*j(a) + 10*t(a). Is o(8) a multiple of 4?
True
Suppose 3*v - 3 - 18 = 0. Suppose -v*i + 560 = 3*i. Let c = i - 26. Is c a multiple of 5?
True
Let y(x) = -x**3 - 112*x**2 + 457*x - 153. Is 40 a factor of y(-116)?
False
Let p be 1018/4 - (-2)/4. Let l = p - 12. Is 27 a factor of l?
True
Let u = -28391 + 40091. Does 11 divide u?
False
Let a(u) = 2*u**3 - 6*u**2 + 2*u + 5. Let f be a(4). Suppose -f = 2*d - d. Let h = d - -78. Is h a multiple of 12?
False
Let c be ((-1)/3)/((-20)/360) + -1. Suppose -9*t + 2*m + 2768 = -c*t, 5*t - 3442 = -2*m. Is 30 a factor of t?
True
Let i(d) = 18*d**3 - 3*d**2 - 91*d + 697. Is i(12) a multiple of 17?
True
Let i(a) be the second derivative of -8*a**3/3 - 8*a**2 - 15*a. Let b be i(-8). Does 2 divide 4/7 + 2064/b?
False
Let m(z) = z + 33. Let t be m(-9). Suppose -t*r - 1355 = -29*r. Is r a multiple of 6?
False
Let v(o) = o**3 + 25*o**2 - 111*o. Is v(-23) a multiple of 157?
True
Suppose -15*j = 24170 - 80405 - 45075. Is 58 a factor of j?
False
Let o be (-22)/33*423/(-6). Let g = -13 + o. Is g a multiple of 17?
True
Let l be 5980/16 + (-3)/(-12). Suppose -149*w + l = -147*w. Suppose -490 = -5*f - 5*c, 2*f - 2*c = -c + w. Is 13 a factor of f?
False
Let o = -19585 + 22289. Is o a multiple of 26?
True
Let c = -8080 + 8470. Is 11 a factor of c?
False
Let y(f) = -107*f - 1506. Does 70 divide y(-45)?
False
Let b be 2/19 + (-240)/114. Is 36 a factor of -174*b/12*(-18 - -32)?
False
Let z be 1240/(-6)*(-10 - -7). Suppose 0 = -11*u + 7*u + z. Let r = u - 61. Is 11 a factor of r?
False
Let g(u) = -u**3 + 44*u**2 + 76*u - 52. Does 7 divide g(45)?
False
Suppose -3*i + 4*i = 129. Let p = 31 + i. Does 16 divide p?
True
Let k(o) = 48*o**2 + 66*o - 540. Does 9 divide k(11)?
True
Let g(r) be the second derivative of 3*r**5/20 - 7*r**4/12 - r**3/2 - 5*r**2 + 38*r. Does 26 divide g(4)?
False
Let k = 31 - -574. Suppose k = 50*m - 45*m. Does 8 divide m?
False
Suppose 3*g + 2 = p, 2*g - 2*p = g - 4. Suppose g = -4*d + 3*z + 92, 4*d + 5*z = -0*z + 60. Does 2 divide d?
True
Let p = 314 + -123. Suppose -x - 208 = -n, p = -4*n - 3*x + 1044. Is n a multiple of 26?
False
Let o(v) = 3*v**2 + 30*v + 7. Let x be o(-11). Suppose -2273 = -x*m + 13687. Is m a multiple of 9?
False
Suppose -44184 = -3*j - 2*l - 9017, -5*j = 3*l - 58612. Is j a multiple of 12?
False
Suppose 5*v + v = -66. Does 6 divide v/22 - (-1093)/2?
True
Suppose 0*x + 3*x = b, 4*x + 4 = 2*b. Suppose -2561 + 11 = -b*r. Is 25 a factor of r?
True
Let w(u) = -82*u - 60. Let i = -13 - -7. Is w(i) a multiple of 48?
True
Let i = -69 - -80. Let s = i - -296. Does 14 divide s?
False
Suppose 3*n + 128225 = 276*y - 272*y, 3*n - 160315 = -5*y. Does 13 divide y?
False
Let z = -118 - -120. Suppose -4*y = -5*m - 1116 + 4380, -5*m = -z*y - 3262. Is m a multiple of 16?
False
Let t be (9/(18/20))/((-2)/(-1)). Suppose 20 = t*z + 10. Suppose -2*h = z*d - 168, 4*d + h - 5*h = 320. Is 14 a factor of d?
False
Let a(s) be the second derivative of -67*s**3/3 + 11*s**2 - 20*s. Does 37 divide a(-3)?
False
Suppose -35*z + 3*z = -32096. Is 142 a factor of z?
False
Let k be 1*0/(-4)*-1. Let c = k - 33. Let x = c - -40. Does 2 divide x?
False
Let u(i) = 392*i**2 - 95*i - 720. Does 27 divide u(-9)?
True
Let p = -63740 - -94020. Is 20 a factor of p?
True
Let w = 221 + -317. Let l be (-42)/(-147) + w/(-7). Suppose l*y - 195 = 477. Does 8 divide y?
True
Let v be (3 - (-110061)/(-28)) + (-3)/(-4). Is (16/6)/((-17)/v) a multiple of 56?
True
Let k(i) be the second derivative of -i**6/20 - 3*i**5/40 - 5*i**4/4 - 17*i. Let w(r) be the third derivative of k(r). Is 15 a factor of w(-4)?
True
Let d(x) = -4*x**3 + 6*x**2 + 5. Let n(y) = 9*y**3 - 11*y**2 - 9. Let f(z) = z**2 + 17*z + 27. Let b be f(-16). Let g(o) = b*d(o) + 6*n(o). Does 11 divide g(1)?
True
Let u(p) = 21*p**2 - 5*p + 20. Let g be u(4). Suppose -g = -2*k + 120. Is 19 a factor of k?
True
Suppose -513450 = 17*j - 24*j - 63*j. Does 9 divide j?
True
Let f(i) = 5*i - 9. Let l be f(0). Is 3 a factor of ((-7)/(-4))/(l/(-576))?
False
Suppose 0 = -3*d - x - 396 - 1651, 4*x + 2059 = -3*d. Does 27 divide ((-14)/(-4))/(d/342 + 2)?
False
Let f(k) = k**3 + 10*k**2 - k + 23. Let i be f(-10). Let t be 1918/6 - (-11)/i. Suppose -3*y - 5*d = 2*y - 415, d - t = -4*y. Is y a multiple of 16?
False
Suppose 4*y + 121 = c - 1001, 0 = -4*y - 20. Does 29 divide c?
True
Let x(a) = -a + 5*a - 2*a**3 - 3*a - a**2 + 8*a + 12. Is 44 a factor of x(-4)?
True
Is 9 a factor of (42/(-252) - 146/(-12)) + 42972?
True
Let s be 40/30*9/2. Suppose -5*z - 3*p = -19, -s*z - 4*p = -9*z - 6. Suppose z*q + q = 336. Is 28 a factor of q?
True
Suppose -5*r - 11*r = -6960. Does 32 divide (-2)/(-10) - (-514953)/r?
True
Let i(x) = -10 - 4*x - 9*x + 13*x - 2*x + 4*x**2. Let f be i(7). Suppose 0 = 4*r + 28 - f. Is 5 a factor of r?
False
Let q(s) = 27 + 23 - 639*s + 646*s. Is 72 a factor of q(35)?
False
Suppose 4*d + 98850 = 3*p, -5*d = -11*p + 15*p - 131738. Is 14 a factor of p?
True
Suppose -18508 = -16*v + 18932. Is v a multiple of 13?
True
Let h = 375 + -370. Suppose 0 = b + h, l = 2*b - 5*b + 225. Is l a multiple of 20?
True
Suppose 7*b + 7 = -7. Let n be 1 + (21606/65 - b/(-5)). Suppose 4*t = 2*y + 444, 0 = -3*t - 3*y + y + n. Is t a multiple of 14?
False
Let f(d) = 25*d**2 + 33*d - 459. Is f(8) a multiple of 2?
False
Let u = 26901 - 25143. Does 16 divide u?
False
Let r = 35143 - 21580. Is 33 a factor of r?
True
Does 13 divide (-16 + 2)*2340/(-90)?
True
Let z(h) = -12*h - 18. Let n be z(-1). Is 129/(-43)*44/n a multiple of 10?
False
Is 9565 + (10*(-1)/(-9))/((-210)/(-945)) a multiple of 60?
False
Let l = -1046 + 2364. Suppose -m - 83 = -3*j + l, -5*j + 2325 = -5*m. Is 13 a factor of j?
True
Suppose 7*v - 12*v + 1570 = 0. Suppose -2*d - 83 = -t - 3*d, -4*t + v = -5*d. Does 9 divide t?
True
Let m(w) = -6*w + 93. Let p = 278 - 288. Is m(p) a multiple of 17?
True
Let h = 1580 - 972. Suppose -h = -m - 108. Does 20 divide m?
True
Suppose 0 = 3*n - 18 + 3. Supp