 - 91, -k*j = 3*q - 303. Is j a multiple of 3?
True
Let w be 3/9*(-12)/(-8)*28. Let n(i) = -i + 18. Let l be n(w). Suppose l*c - 210 = -c. Is 8 a factor of c?
False
Is (-38)/(-3)*((-20)/(-50) - (-17126)/10) a multiple of 9?
False
Let p(v) = 7*v + 17. Let w(a) = -a**2 + 30*a - 76. Let n be w(27). Is p(n) a multiple of 13?
True
Suppose -3*x + g = 2*x - 2301, 2*g - 918 = -2*x. Suppose 24 = 18*s - 12*s. Suppose -5*a + x = -s*q, -2*a + 4*q = -q - 167. Does 24 divide a?
True
Suppose 0 = 24*u - 11180 - 60028. Does 43 divide u?
True
Let z = 8156 + 11106. Is 14 a factor of z?
False
Let u(w) = -w**3 - 7*w**2 + 1. Suppose 0 = p + 3*p + 28. Let x be u(p). Suppose 6 - x = 5*r, 2*r - 98 = -4*g. Is g a multiple of 12?
True
Let x(o) be the first derivative of 1/4*o**4 + 19*o**2 + 1 - 13/3*o**3 - 12*o. Is x(9) even?
True
Let p(i) = -i**3 + 9*i - 4. Let l be p(-4). Suppose 4*o + q + 2*q = 48, 2*o + 4*q = l. Let j(f) = -f**3 + 14*f**2 - 17*f + 13. Is 13 a factor of j(o)?
False
Let u(f) = -19*f - 50 + 127 - 42. Is 8 a factor of u(-6)?
False
Let i be ((-18)/5)/(6/(-220)). Suppose -5*u = -2*u - i. Let l = 16 + u. Is l a multiple of 15?
True
Suppose 9*d = 6*d + 36. Suppose -d = 4*t, -5*t - 32 = -3*v + 13. Suppose -3*g + 17 = -5*c, -4*c = -6*c + v. Does 14 divide g?
True
Let f(u) = 2783*u - 3162. Is 25 a factor of f(4)?
False
Suppose -4*a + 49 = -3*r, -3*r + 1 + 2 = 0. Suppose -2*d - 25 = -5*s + a, 0 = 3*d - 3. Let f(l) = l**3 - l**2 - 5*l + 9. Is f(s) a multiple of 61?
False
Let i be (-1)/((-6)/(-18)) + 8*1. Suppose i*m - 11 - 34 = 0. Suppose -m*q + 17 = -8*q. Is 17 a factor of q?
True
Let h be (-4)/(-10) - 8/(-180)*-9. Suppose h = -8*w + 7*w + 91. Is w a multiple of 13?
True
Suppose 38*k + 29*k - 66*k = 12528. Is k a multiple of 144?
True
Suppose -1225 = -8*z + 3*z. Let m = 146 - z. Let o = 181 + m. Is 26 a factor of o?
False
Let x(s) = 9*s**2 - 60*s + 558. Is 119 a factor of x(32)?
True
Let g be (13 - 0) + 1 + -2. Let y(p) = -p**3 + 14*p**2 - 23*p - 7. Let w be y(g). Suppose 5*f - 3*t = 223, 2*f = -w*t + 78 + 5. Does 18 divide f?
False
Suppose -28 = -6*o + 20. Suppose 3*z = o*t - 13*t + 713, 4*z - 2*t = 994. Does 6 divide z?
True
Let y(x) = 43*x + 2. Let p = 62 + -61. Suppose -v + 4*o - 3*o - p = 0, 0 = 2*o - 4. Does 28 divide y(v)?
False
Let c = -86 + 87. Suppose 4*g - 2*i = -7*i + 9, 4*g + c = 5*i. Is g - (0 - -1) - -17 a multiple of 2?
False
Let t(i) = 6*i**2 + 17*i + 36. Let d be t(8). Suppose -96*a - d = -100*a. Does 14 divide a?
False
Suppose 83*d - 414787 = -91*d + 57101. Is d a multiple of 14?
False
Suppose -f + 781 = -2*x, 3*f + 0*x - 2352 = -3*x. Is f/11 + 1 - 80/440 a multiple of 18?
True
Suppose 3*j = 177 + 231. Let f = 133 + 70. Let r = f - j. Is 19 a factor of r?
False
Let i = 3165 - -26267. Is i a multiple of 95?
False
Let a = -10 + -7. Let b = -14 - a. Suppose -3*r + 9 = 3*j, -b*j - r = 3 - 16. Is j even?
False
Let f = 135 + -131. Suppose -17*t = -f*t - 6019. Is t a multiple of 26?
False
Suppose 139 + 265 = 4*z + 4*w, -w - 214 = -2*z. Suppose 5*m - 4*b - 388 = 0, -4*b - 123 = -3*m + z. Is 5 a factor of m?
True
Is (1/(-5) - (-590)/(-50))*5265/(-30) a multiple of 52?
False
Suppose 3*v + 677 = 4*l, v - 2*l + 86 = -139. Let o = v - -647. Is 30 a factor of o?
True
Suppose -6*r = -11*r + 30, r = -2*u + 14766. Is 123 a factor of u?
True
Let r(z) = -z. Let g(k) = -81*k - 33. Let d(j) = -g(j) + 3*r(j). Is 15 a factor of d(4)?
True
Is 20 a factor of (9 + (-17)/4)/(3/276)?
False
Let z(f) be the third derivative of 25*f**4/12 - 44*f**3/3 - 2*f**2 + 10. Is z(5) a multiple of 18?
True
Let b(d) = -10094*d - 1343. Is b(-4) a multiple of 13?
False
Suppose -3231 = 101*j - 104*j. Suppose 4*d + 693 + j = 5*v, -2*v + 5*d = -725. Is v a multiple of 14?
True
Let h(k) = -18 - 326*k**2 + 311*k**2 - 15 + 4*k - 12*k - k**3. Is 39 a factor of h(-16)?
True
Suppose -30*y = -26*y + 4, 3*u - 5*y - 37613 = 0. Does 42 divide u?
False
Suppose -2*y + 5*y = -4*y. Suppose y = 3*h - 3*i - 870, 412 = 4*h + 2*i - 742. Is h a multiple of 29?
False
Let s be 5/(2 + -7) + -1 + 2. Suppose s*y - 5*y = -5*o + 30, -5*y - 5 = 0. Is (-2 - (-117)/o) + (-6)/15 a multiple of 20?
False
Let o(v) = v**2 + 11*v + 8. Let r(u) = -u**3 + 21*u**2 + 47*u - 19. Let d be r(23). Suppose -2*w - k = 17, 0 = d*w + 4*k - k + 29. Is o(w) a multiple of 5?
False
Let o = 264102 + -185247. Is 21 a factor of o?
True
Suppose 74*n - 79*n + 4745 = 0. Is 2 a factor of n?
False
Let b(c) be the third derivative of c**6/120 - c**5/15 - 13*c**4/24 - 2*c**3/3 + 53*c**2. Let a = -2 + 9. Is b(a) a multiple of 13?
True
Suppose 6*h - 1848 = -5*h. Does 3 divide h + (-14)/(-35) + (-4)/10?
True
Let r(f) = f**3 + 23*f**2 + 23*f - 17. Is 5 a factor of r(-7)?
False
Let u = 123 + -44. Let v = -74 + u. Suppose -v*l + 9 = -21. Is 2 a factor of l?
True
Let a(j) = 90*j - 2341. Is 79 a factor of a(49)?
False
Let h(d) = -49*d - 16. Suppose 0 = -5*j + 2*j - 18. Is h(j) a multiple of 16?
False
Does 39 divide (2 - (-83062)/10) + 0 + 30/(-25)?
True
Suppose 43 - 63 = -5*b. Suppose 4*d - b*i = -1472, 6*i + 1856 = -5*d + 3*i. Let p = 578 + d. Does 16 divide p?
True
Let x be (-10 + 19)*(-3 - -66). Suppose 13*z = 10*z + x. Does 27 divide z?
True
Let q be (-2 + 1)/((-17)/2363). Let v = 45 + q. Does 8 divide v?
True
Suppose 5*s + 8*p = 90766, s + 3*p - 12218 = 5945. Does 34 divide s?
False
Let d(z) = -z - 3. Let j be 18/7 - (-76)/(-133). Let x be d(j). Let q(y) = -25*y - 21. Does 8 divide q(x)?
True
Let x be ((-162)/45)/(2/(-15)). Suppose 5*o - x = 2*o. Suppose 11*m - 24 = o*m. Is 12 a factor of m?
True
Let i(p) be the first derivative of -8*p**2 - 5*p - 5366. Let l = 9 + -15. Is 10 a factor of i(l)?
False
Let m(x) = -x**2 - 12*x + 12. Let l = -1 + 12. Suppose -l - 1 = k. Is m(k) a multiple of 12?
True
Suppose 108 = -3*p + p + 3*m, 162 = -3*p + 4*m. Let b be (p/45)/(3/(-10)). Does 9 divide b/10*(66 - 1)?
False
Is 23 a factor of 413/531*(-3 - 0)*-966?
True
Let t = 63 - 51. Let b(n) = -n**3 + 13*n**2 - 9*n + 2. Let i be b(t). Suppose 4*w + 104 = 4*j - 16, -j = 3*w - i. Is j a multiple of 32?
True
Let j(c) = 2*c + 3*c - 4*c + 0*c + 10. Let y be j(0). Does 21 divide (12*y/14)/(2/49)?
True
Let v = 119 - 39. Suppose 82*a - v*a - 254 = 0. Does 11 divide a?
False
Let x(c) = 3*c**2 + 9*c + 18. Let p be x(-2). Does 10 divide ((-69)/p)/((-15)/600)?
True
Suppose 12*c - 40 + 4 = 0. Suppose 2*y - 134 = -2*r, -c*y + 2*y + 4 = 0. Is 3 a factor of r?
True
Suppose -4*v + 30 = -2*f, -3*v - v + 39 = f. Suppose 0 = -v*n + 6 - 42. Is 23 a factor of ((-10)/4 - n)/((-3)/(-184))?
True
Let y(l) = -5*l**3 + 12*l**2 + 116*l + 353. Is y(-16) a multiple of 9?
False
Let h(s) = 43*s + 924. Is 28 a factor of h(66)?
False
Suppose -121*n - 8604 = -130*n. Let h = 1727 - n. Is h a multiple of 23?
False
Suppose -66 = 2*f - 38. Let k be f*(-3)/6 - 4. Suppose 60 = k*a + a. Does 5 divide a?
True
Let m = 38 + -38. Suppose 0*r - 5*r + 675 = m. Is r a multiple of 32?
False
Let j(d) = -d**3 + 8*d**2 + 12*d + 180. Is j(-16) a multiple of 73?
True
Suppose u + 52 = -u - 3*q, 0 = -4*q. Let t = u + 28. Suppose t*f + 5*h - 91 + 16 = 0, -3*h + 129 = 4*f. Is f a multiple of 4?
False
Suppose 2*g = -2*s + 39102, -2*g - 97734 = 2*s - 7*s. Is s a multiple of 23?
False
Let d(f) = 40*f**2 - 38*f + 42. Is 38 a factor of d(-6)?
True
Suppose 20*m - 13709 = -3189. Is 48 a factor of 6 - (-1 - -5 - m)?
True
Let x(c) = 7*c**2 - 8*c - 3. Let k be (-14)/(-6) + (-52)/39. Let z be (18/(-15))/(k + (-6)/10). Is 7 a factor of x(z)?
True
Let s(h) = -h**2 - 2*h + 11. Suppose 3*l - 4 + 16 = 0, -w = 5*l - 33. Let p = 49 - w. Is 3 a factor of s(p)?
True
Does 12 divide ((-197802)/(-12))/(-9)*(-320)/60?
True
Is (5 - 77)*(((-2561)/4)/13 - -5) a multiple of 54?
True
Suppose 23*o - 161 = 24*o. Does 15 divide 1362/7 + (-69)/o?
True
Let d = -245 - -244. Is 15 a factor of 251 - d - (-3 - -6)?
False
Does 13 divide (-2)/15 - 302528/(-960)?
False
Let k be 35 - -12 - (-2 + 5). Let v = 45 + k. Is 8 a factor of v?
False
Suppose 5*q + 38386 = -192679. Let d = q + 20413. Is d/(-380) + (-2)/(-19) a multiple of 6?
False
Let a(q) be the third derivative of 8*q**2 + 0*q + 1/120*q**6 + 0 + 7/6*q**4 + 23/6*q**3 - 13/30*q**5. Is a(25) a multiple of 21?
False
Let z = -113 + 117. Let r(t) = 33*t**2 - 36*t - 9. Is 6 a factor of r(z)?
False
Let m(x) = 4*x**