 3*g = -163 - k, -3*g = w - 241. Is w a multiple of 17?
True
Let q(o) = 7*o**3 - 3*o**2 + 16*o + 27. Let n(c) = -28*c**3 + 13*c**2 - 65*c - 106. Let v(p) = -2*n(p) - 9*q(p). Does 57 divide v(-2)?
True
Suppose 0 = -6*r - 619 + 10993. Suppose -5*x + 2052 = 3*k - r, -3*x + 2261 = -2*k. Is 43 a factor of x?
False
Is 26 a factor of (27378/(-78))/((-6)/204)?
True
Let k(u) = -11 + 10*u + 5 + 8 + 2*u**3 - 11*u**2. Let j(h) = h**3 + 8*h**2 + 12*h + 7. Let m be j(-6). Does 22 divide k(m)?
False
Let a(c) = -13*c - 14. Let d(i) = -13*i - 12. Let g(x) = -5*a(x) + 4*d(x). Suppose -2*y - l + 16 = -3*l, -5*y + l = -36. Is g(y) a multiple of 26?
False
Suppose 0 = -2*b + 10, 2*i = -52*b + 55*b + 181. Suppose 6*o + 296 = 2*o. Let x = i - o. Is 43 a factor of x?
True
Let p(d) = -12*d + 38. Let w be p(0). Suppose w - 192 = -7*u. Does 12 divide u?
False
Let d(u) = -256*u**2 + 23*u - 1. Let z be d(2). Let b = -353 - z. Is 12 a factor of b?
False
Suppose -5*x + 5*a = -1525, -5*x = -a - a - 1510. Suppose -x - 470 = 7*v. Let w = -62 - v. Is w a multiple of 4?
True
Let f(p) = 5*p**2 + 47*p + 126. Does 21 divide f(42)?
True
Suppose -797*k + 799*k - 4532 = 0. Is 92 a factor of k?
False
Let g(y) = 4*y**3 - 3*y**2 + 39*y - 31. Does 11 divide g(6)?
False
Suppose -3*g + 3*m = 48, m = -6*g + 2*g - 64. Let u = g + 20. Let r(i) = i**2 + i + 16. Does 5 divide r(u)?
False
Let c be (-15)/(105/(-1204)) - -2. Let z(t) = 10*t - 2. Let h be z(-4). Let l = c + h. Is 16 a factor of l?
False
Suppose -30 = -10*d + 20. Let z(m) = -2*m + m**2 + 3*m**2 - 3*m - 10. Is z(d) a multiple of 26?
False
Let n = -223 - -271. Let a = 154 - n. Is 3 a factor of a?
False
Let y = -98 + 100. Let r(l) = -l + 9. Let w be r(4). Suppose -w*d = -y*d - 273. Does 17 divide d?
False
Suppose -f = -3*i + 216, -4*i - 244 = 3*f - 2*f. Let a = f + 231. Is 2 a factor of a?
False
Is 13 a factor of (-493660)/15*45/(-60) - -4?
True
Let l(x) = 2. Let j(k) = -6*k**2 + 15*k - 3. Let y(c) = -j(c) - 4*l(c). Is y(-5) a multiple of 11?
True
Let g(t) = -215*t + 559. Is g(-6) a multiple of 47?
False
Does 96 divide (379/(-9))/((-49)/441)?
False
Is 24 a factor of (64524/(-190))/(3/(-10))?
False
Suppose -6*k - 64 = -190. Suppose -4*p + k = -p. Suppose -332 = -4*z - p*q + 3*q, 0 = -5*z + q + 415. Does 19 divide z?
False
Let q be (-1 - 11/(-7))/(18/63). Suppose x + 22 = f, -x + 1 = -q*x. Let g = 48 - f. Is 6 a factor of g?
False
Suppose 0 = -408*v + 409*v - 7475. Does 59 divide v?
False
Let h(s) = -s - 5. Let b be h(-12). Suppose 2*g - 13 = -5*q, -3*g = 2*q - b - 7. Suppose 36 = -g*l + 8*l. Is l even?
False
Let q(f) = 239*f**2 + 1. Let w(j) = j**2 + 31*j + 109. Let v be w(-27). Does 24 divide q(v)?
True
Let b = -363 + 391. Suppose b*j - 3838 - 2350 = 0. Is j a multiple of 13?
True
Let v(a) be the second derivative of 0 + 17*a + 0*a**3 + 13/12*a**4 - 1/2*a**2. Is 4 a factor of v(1)?
True
Suppose -3*f = -5*y + 4*y + 144, y - 141 = 2*f. Suppose 0*v = 7*v + 560. Let s = y + v. Does 5 divide s?
True
Let z(q) = q**2 + 14*q + 12. Let r be (24/(-16))/(2/24). Let t be z(r). Suppose 0 = -3*n - 15, -g + t = -5*n - 0*n. Does 19 divide g?
False
Suppose 3325 = 5*x - 0*x. Suppose -43*j + 713 = -3716. Suppose x = 8*p - j. Is p a multiple of 16?
True
Let g(o) = -o**3 + 10*o**2 + 5*o - 4. Let p be g(12). Let l = p + 342. Is l a multiple of 9?
False
Let o = 217 + -199. Suppose -u + 171 = o*u. Is u even?
False
Is ((-6)/(-81) - 8976104/9585)*(-10)/4 a multiple of 64?
False
Let r = -3214 - -4257. Is 21 a factor of r?
False
Let q be 3/7*(3 + 4). Is 15 a factor of (9 - (-2631)/(-9))*q*-1?
False
Suppose 5*u + 5*h - 39040 = 0, -4 = -5*h + 11. Is 15 a factor of u?
False
Suppose 6 - 8 = n. Let d(c) = c**2 + 2*c + 3. Let r be d(n). Suppose -75 = -r*k + 6. Is 9 a factor of k?
True
Let a = 15892 + -13236. Is 60 a factor of a?
False
Suppose -8541 = -62*s - 1535. Is 12 a factor of s?
False
Let v(p) = p + 20. Let z be v(-12). Suppose -4*q - t = z, -2*q + t - 4 = -4*t. Is (19 - 2/q)*(-88)/(-20) a multiple of 9?
False
Is 64 a factor of (-38)/(-342)*54 + 3*3104?
False
Let v(g) = 2501*g - 1122. Does 89 divide v(6)?
True
Let q be 0/6 - 276/4. Let s be (q/(-12))/(1/4). Suppose -s - 37 = -5*w. Is 12 a factor of w?
True
Suppose 2*m - 6*m + 2*c - 90 = 0, -4*c + 12 = 0. Let z = 44 + m. Suppose -z + 115 = 4*i. Is i a multiple of 12?
False
Let b(d) = d**2 + 16*d - 36. Let m be 6/21 + 524/28. Let v be b(m). Suppose -k + v = 4*k - 3*o, k - 4*o - 136 = 0. Is 17 a factor of k?
False
Suppose 0 = -c + 3*c - 2*z - 10, 5*c - 4*z - 20 = 0. Suppose c = a - 37 - 75. Does 8 divide a?
True
Let c(m) = -61*m**3 - m**2 - 2*m - 4. Suppose 2*f + 3*s = 2, -31*f - 5*s = -28*f - 4. Is 11 a factor of c(f)?
True
Suppose 10*u = 2*n + 212536, -u + n + 1747 + 19509 = 0. Is u a multiple of 196?
False
Is ((-13 - -17) + 3)/1 + 14906 a multiple of 5?
False
Suppose -4*j + 8 = -0*g - 3*g, -2*g - 5 = -3*j. Let z be (-35)/g - (-2 + 14/8). Suppose -336 = q - z*q. Is 5 a factor of q?
False
Let w = 6268 - -1672. Is 17 a factor of w?
False
Suppose 2*x - 5*q = 64, q + 1 + 1 = 0. Suppose -22*k + x*k = 15. Suppose 4*w + 4*s = -w + 354, -2*w = -k*s - 137. Is w a multiple of 8?
False
Suppose -4*a = -5*q - 71, 27 = -4*q + 4*a - 33. Let b(r) = -19 + 8*r - 2*r + 2*r + 5*r - 17*r. Is b(q) a multiple of 25?
True
Let j(c) = -27*c**3 + c**2 - 46*c - 397. Does 114 divide j(-7)?
False
Suppose 9 = 3*s, g + 3*g - 516 = -4*s. Suppose -3*x = -0*x - g. Does 8 divide (-6)/21 - (-516)/x?
False
Let p(s) = s + 2. Let y be p(-4). Let m = 70 - 45. Does 22 divide m/15*(y + 41)?
False
Suppose 26*f - 18*f - 24 = 0. Let a(d) = -d**3 + d**2 + 3*d + 10. Let l be a(-4). Suppose -4*n = j + j - l, f*j = 2*n + 141. Does 9 divide j?
True
Suppose -4*t - t + 20 = 0. Suppose 0 = -2*y + 2*b - 330, -3*y - 489 = -t*b - b. Let r = -67 - y. Is 17 a factor of r?
False
Let g(b) = 51*b**2 - 44*b - 1047. Is g(-17) a multiple of 152?
True
Is -8 + 7 - -30867 - 1/((-1)/(-2)) a multiple of 133?
False
Suppose 3*o - 1455 = 4*q, 0 = 3*o - 2*q - 1414 - 47. Suppose 2*s + 4*h - 251 = 63, 3*s - 3*h - o = 0. Does 7 divide s?
True
Let d = -1765 + 921. Let k be ((-3 - -18) + -16)/(2/(-14)). Is 42 a factor of d/(-16) + k/(-4) + 2?
False
Let u(z) = -33*z**2 + 8*z - 4. Let s be u(-7). Let d = 20 + -30. Does 16 divide s/(-15) - d/50?
True
Suppose i + 4*m - 19 = 12, 4*i - 5*m = 40. Is -7 + i - (-1236 + 1) a multiple of 60?
False
Let i(q) = -2*q**3 - 43*q**2 - 8*q - 11. Let a(k) = k**3 + 22*k**2 + 4*k + 5. Let t(y) = -7*a(y) - 4*i(y). Is t(-17) a multiple of 10?
True
Let s be 1 + (4/(-8)*0 - 1). Suppose s = -7*z + 99 + 279. Does 8 divide ((-38)/4)/((-9)/z)?
False
Let p be -1*18*3*(-15)/(-18). Let z be (-525)/p + 1/3. Let w(i) = -2*i + 28. Is w(z) even?
True
Let t(o) = -61*o + 464. Does 13 divide t(3)?
False
Let a(j) = 70*j - 67. Let n be a(6). Suppose 0 = -2*q - n + 1217. Is q a multiple of 54?
True
Suppose 3*q = -3*m + 2721, -4*q + 2717 = -m + 4*m. Suppose -3*t + 909 = 3*s, 0 = -3*s - 9*t + 5*t + m. Is 43 a factor of s?
True
Let y be (4/(-10))/(7/35) + 366. Let z be 1 + (9/(-2))/(3/y). Let a = z + 795. Is 23 a factor of a?
False
Suppose -k + 4*l = -23, 0 = -4*k - k + 2*l + 25. Let u(z) = -12*z + 3*z**3 - 2*z**3 + 9 - 2*z**k - 10*z**2 + 0*z**2. Is 18 a factor of u(-9)?
True
Let y be ((3 - 0) + -1)/(-1). Let l be 942/8 - y - 6/(-24). Suppose t - 47 = 5*v - 185, -4*v + 4*t = -l. Is v a multiple of 9?
True
Let y be (-2)/(-7)*(9 + 5). Suppose -5*i = r - 17, 2*i - y*i + 3*r = -17. Suppose 5*v = 5*c - 195, -i*c + 3*v + 186 = 5*v. Is 22 a factor of c?
True
Let y(c) = 3*c**3 + c. Let l be y(1). Suppose -3*f - g = -0*f - 571, -4*g = -l*f + 756. Suppose -4*k - 2*h = -434, -2*k = 5*h - f - 23. Is k a multiple of 34?
False
Let z(p) = -2*p**2 - 2*p - 15. Let d(o) = o**3 - 9*o**2 - 10*o. Let s be d(10). Let m be z(s). Let i(f) = -f**3 - 15*f**2 - 12*f. Is i(m) a multiple of 31?
False
Suppose y + 5*k = -2*y - 31, 0 = 2*k + 4. Let g be 6/(-4) + y/((-56)/76). Suppose 0 = -x + g*x - 175. Is 6 a factor of x?
False
Let h(i) = -i**3 - 12*i**2 + 2. Let v be h(-12). Let w(j) = -7*j - 2*j**v + 28 + 8 - 13 + 3*j**2. Does 11 divide w(-10)?
False
Let n be (-6 + 1)*-1*2. Suppose r + 4*v = -11, -4*v = 3*r - r + n. Suppose 2*d + 12 = s - r, 0 = s + d - 16. Is 15 a factor of s?
True
Suppose 0 = 5*m - 5*q - 3380,