2119 + -8340. Does 27 divide j?
False
Suppose 5544 = -129*t + 151*t. Is 8 a factor of t?
False
Suppose -2*f - 2 = -2*q, 5*q = -2*f + 20 + 6. Suppose 5*w + 15 = 0, -5*w - 532 - 587 = -q*g. Suppose -11*y - g = -14*y. Is y a multiple of 23?
True
Let f(p) = -p**3 + 11*p**2 + 5*p + 13. Let z be f(9). Let v = z - 61. Is v a multiple of 15?
False
Suppose t = -2*v + 15 + 8, 15 = -3*t. Suppose v*g - 1750 = 4*g. Is 9 a factor of g?
False
Suppose -147*u + 500 = -149*u. Let t = 272 + u. Does 3 divide t?
False
Let o(u) = 2*u**2 - 5*u + 6. Suppose -3*n = 4*p - 25, 2*p + 3*p - 3*n = 11. Let x be o(p). Suppose 0 = b - 32 + x. Is 2 a factor of b?
True
Is 14 a factor of 1448 + ((-10)/(-20))/((-1)/(-12))?
False
Let d(g) = -2*g**3 - 5*g**2 - 19*g + 97. Does 4 divide d(-8)?
False
Let w = 16167 - -11373. Is w a multiple of 45?
True
Does 219 divide 1 - 6/8 - 1930646/(-232)?
True
Suppose 0 = 5*z - 3*w - 17666, -5*z + 16688 = w - 990. Does 18 divide z?
False
Suppose 3*z + f = 4*z - 17960, -3*z + 53862 = 3*f. Is 81 a factor of z?
False
Let u = 23464 - 15764. Is 20 a factor of u?
True
Let n(y) = y. Let m(v) = 103*v - 4. Let d(l) = -m(l) - 2*n(l). Let c be d(-3). Is 23 a factor of ((-35)/5 - c)/(2/(-1))?
False
Let g(b) = b**2 + 5*b + 8. Let w be g(-5). Let f be (298/3)/(w/60*5). Let l = f - 79. Does 10 divide l?
True
Suppose 368*x = 644*x - 392472. Is 6 a factor of x?
True
Let n = 198 + -169. Suppose 27*b = n*b - 4*t - 1032, 2051 = 4*b + 5*t. Does 9 divide b?
False
Let v(x) = -100*x**2 - 14*x - 1. Let h be v(2). Is (87/(-9))/(11/h) a multiple of 10?
False
Does 12 divide (560/98 - 6)*-17521?
False
Let p = 7071 + -4902. Is 66 a factor of p?
False
Let q(j) = 2*j**3 - 45*j**2 - 10*j + 46. Suppose -4*u - 6 - 17 = -g, 2*u = g - 23. Does 12 divide q(g)?
False
Let a be 7/((-21)/12) + (-24)/6. Let i(v) = -v**3 - 7*v**2 + 8*v - 20. Let p be i(a). Does 4 divide p/(-7)*1309/34?
False
Suppose -5*n + 7 = -3. Suppose 3*q - 5*c = 55, -n*q - 2*q + 50 = -2*c. Suppose q*j = 7*j + 519. Does 24 divide j?
False
Let y(q) = q**3 + 21*q**2 - 778*q - 54. Is 2 a factor of y(25)?
True
Suppose k = -2*f + 3*k + 2, -2*f + 2 = 5*k. Is (-6 + (-9 - -71))*9*f a multiple of 63?
True
Let g = 240 - 63. Let j = -108 - g. Let f = j - -493. Does 33 divide f?
False
Suppose 334 = r - 4*c, 2*r - 3*c = 658 - 10. Suppose -2*n = 2*h - r, 4*n + 2*h - 6*h - 628 = 0. Is 23 a factor of n?
False
Does 68 divide (-651064)/(-56) - -2 - -3*(-2)/42?
True
Let z = -31 - -34. Suppose -z*s - 2*s = -25. Suppose 0 = -w - x + 108, -2*x - 560 = -s*w + 3*x. Is 15 a factor of w?
False
Let i(a) = -a**3 + 7*a**2 - 8*a - 5. Let l be i(4). Suppose -3*x = l*x - 210. Is x a multiple of 2?
False
Let j = -2385 + 5466. Is j a multiple of 10?
False
Let q = -1483 - -2666. Suppose 0 = -h - 5*o + q, -3*h - 3*o - 327 = -3840. Is h a multiple of 47?
False
Suppose -s + 2111 + 224 = -2*x, s - 2338 = 3*x. Does 137 divide s?
True
Is -9 - 224/28*(-24231)/12 a multiple of 43?
False
Let a(g) = -1037*g + 658. Is a(-22) a multiple of 18?
True
Let o(m) = 3 - 88276*m + 32*m**3 - 2*m**2 + 88278*m - 59*m**3 - 64*m**3. Suppose -4*k = -2*k + 2. Is 31 a factor of o(k)?
False
Let z(s) = -s**3 - s**2 - 2*s + 21. Does 29 divide z(-10)?
False
Let a be (-3)/(-15) + 1/((-15)/(-27)). Suppose -a*b = -5*j - 211, -11*j + 6*j = 2*b - 201. Is b a multiple of 103?
True
Suppose -q - 2*g = -7*g + 111, -3*g - 3 = 0. Suppose -25*n + 4505 = 18*n - 4224. Let s = q + n. Is 7 a factor of s?
False
Suppose -6*s + 14 = -8*s. Let f(j) = -j**3 - 8*j**2 - 5*j + 12. Let y be f(s). Is (-156)/(-6*y/(-16)) a multiple of 52?
True
Let v(y) = y**3 - 50*y**2 + 62*y - 67. Let j = -142 - -191. Is v(j) a multiple of 10?
True
Let o = -62 - -62. Suppose o = 5*m - f - 75682, 3*m + 19870 = f + 65280. Does 23 divide (-2)/(-5) - m/(-110)?
True
Let v(x) = -11*x**2 - 62*x + 20. Let c be v(-17). Let s = -1465 - c. Is s a multiple of 20?
True
Let n be 3/2*(4256/(-12))/19. Let v = 178 + n. Is v a multiple of 6?
True
Suppose r + 2*w + 3 = 7, 5*r - 48 = -3*w. Let a = 3456 - 3447. Suppose -r*s = -a*s - 327. Is 36 a factor of s?
False
Is (238/(-170))/((-4)/5 + 1) + 1124 a multiple of 9?
False
Let h(c) = -1992*c + 360. Is h(-3) a multiple of 22?
True
Suppose 76*s = 54*s + 17512. Is s a multiple of 48?
False
Let p(d) = d**3 + 8*d**2 + 9*d - 17. Let k be p(-6). Let s(r) = 461*r**3 - 2*r + 3. Does 7 divide s(k)?
True
Suppose 144*q - 32*q = -364816 + 1475632. Does 29 divide q?
True
Suppose 845 - 830 = 5*p. Is 32 a factor of (11 - 683)*(p/9 - 1)?
True
Let f be 36/44 - (-2)/11 - 3. Let w be (4 - (2 + 2))/f. Is 6 a factor of w - -37 - 68/17?
False
Let y(r) = r**3 + 113*r**2 - 900*r - 436. Does 20 divide y(-120)?
False
Let f(x) = 7*x - 48. Let u be f(8). Suppose u*i = 11*i - 366. Is 14 a factor of i?
False
Let n(s) be the first derivative of s**3/3 + 7*s**2/2 - 16*s - 18. Let v be n(-9). Suppose -x = -v*u + 2*x + 15, -5*x + 27 = u. Is 3 a factor of u?
True
Let j(v) = -7*v**2 - 20*v - 25. Let m(n) = 2*n**2 + 5*n + 6. Let f(c) = 2*j(c) + 9*m(c). Let o be (-2 + 7/5)/((-10)/(-50)). Is 25 a factor of f(o)?
True
Let a = 572 + -347. Suppose 219*q = a*q - 276. Is q a multiple of 23?
True
Let c(u) = -u**2 + 7*u - 4. Let j = 16 - 10. Let z be c(j). Is 18 a factor of (-2695)/(-33) - z/(-6)?
False
Let a = -1661 + 1183. Let p = a + 523. Does 4 divide p?
False
Let y(h) = -2*h**2 + 57*h - 49. Suppose -2*d = 5*p + 54 - 138, -p = 3*d - 22. Is y(p) a multiple of 36?
False
Let j(m) = m**3 - 9*m**2 + 9*m. Let i be j(8). Suppose 4*p - i*p = -5*l + 172, 0 = -l - 5*p + 17. Does 32 divide l?
True
Let l(r) = r**3 - 7*r**2 - 8*r - 21. Let d(u) = -12*u - 26. Let c be d(-3). Is l(c) a multiple of 39?
False
Suppose 38*v + 1593 = 2*v + 6237. Is 43 a factor of v?
True
Suppose 11*x = 17*x - 12. Is (-9)/((-6)/x)*(-1 + 163) a multiple of 28?
False
Let m = 258 - 300. Let s = 263 + m. Is 8 a factor of s?
False
Suppose 19*r + 13278 = 37332. Suppose 0 = -3*o - 4*m + 946, 2*o - r = -2*o - 3*m. Is o a multiple of 17?
False
Suppose -5*s = 5*h + 16 - 6, 4*s = 4*h - 24. Does 17 divide -5 - (-378 - 3) - s?
False
Suppose -77458 + 17783 = -31*f. Does 11 divide f?
True
Suppose 33 = 19*l - 8*l. Suppose -j - 2*q - 16 = -l*j, 2*j + 3*q = -9. Is 1/(-2)*(-17 - j) a multiple of 10?
True
Let h = -772 + 901. Suppose 4216 + h = 11*a. Does 13 divide a?
False
Let u(j) = -2*j**2 - 9*j + 7. Let z be u(-5). Suppose -z*k + 638 = -2*p, 2*k - 5*p - 955 = -k. Suppose 0 = 7*x - k + 5. Is 15 a factor of x?
True
Let k(f) be the second derivative of 1/10*f**5 - 4/3*f**3 + 0 + 5*f**2 - 5/12*f**4 - 2*f. Does 19 divide k(5)?
True
Let p = 2974 + 7529. Is p a multiple of 27?
True
Let y(i) = -2*i**2 + 39*i + 2344. Is y(0) a multiple of 39?
False
Let b(n) = -n**3 - 27*n**2 + 4*n + 48. Suppose 10*x + 756 = -17*x. Does 48 divide b(x)?
True
Does 23 divide (-82*((-217)/56 + 4))/((-2)/368)?
True
Suppose -969956 = -115*i + 825309. Is 103 a factor of i?
False
Let w = -214 - -222. Suppose 59 - 419 = -w*m. Is 9 a factor of m?
True
Suppose -m + 12483 = 6223. Does 10 divide m?
True
Let j = 6217 + 15443. Is 12 a factor of j?
True
Let j = -6663 - -8522. Is 3 a factor of j?
False
Suppose 2*v - 11 = -n, -5*n = 2*v + v - 34. Suppose 5*u + n = 3*l - 1, 0 = -4*l + u + 8. Suppose l*d = -2*r + 14, -5*d + 25 = 5*r - r. Is r a multiple of 2?
True
Let l = 31698 + -22554. Is l a multiple of 72?
True
Let g be (2912/(-40))/((-5)/250). Suppose 19*q - g = -4*f + 23*q, 904 = f - 4*q. Is f a multiple of 76?
True
Suppose -5 - 83 = 11*z. Does 18 divide (-9)/(-5)*30/z*-4?
False
Suppose 3*y + 2*c - 4851 - 11526 = 0, 5*c = -4*y + 21836. Is y a multiple of 53?
True
Suppose -u = 4*n - 2*u - 34, 0 = -n - 4*u + 17. Let z be (n/(-6) - -2) + (-35715)/6. Is 12 a factor of 2/7 - (z/42 + -4)?
False
Let j(u) = 2*u**2 + 6*u + 4. Let m be j(-6). Let h be -1*(24/10)/((-12)/m). Is 4 a factor of (-8)/(h/20*-1)?
True
Suppose -4*u - 7 = -5*b, 5*u + 1 = 11. Suppose b*j - 3*m - 4 = 2, 3 = m. Suppose -13 - 142 = -j*y. Is 11 a factor of y?
False
Is 1 + ((-954)/(-8))/(217/72 + -3) a multiple of 31?
True
Let v = -187 + 189. Is 29 a factor of (-9 - -13)*(114 + 4/v)?
True
Let z(m) = -157*m**2 + 3*m + 8029. Is 14 a factor of z(0)?
False
Suppose 0 = -2*z + 5*z - 126. Suppose -22 - z = -2*g. Let i = g - -23. Does 12 divide i?
False
Suppose -77*l + 1546512 = 4