4 - 16. Let v = 0 + i. Does 15 divide m(v)?
True
Let s = -1173 + 2126. Is 24 a factor of s?
False
Let j(g) = -11*g - 7. Is 16 a factor of j(-21)?
True
Let d(r) be the first derivative of r**4/4 + 4*r**3 - 5*r**2/2 - 15*r + 44. Is d(-12) a multiple of 45?
True
Is 7 a factor of (-8)/92 + 61184/46?
True
Is 9 a factor of (-3)/9*(-615)/5*1?
False
Let z(d) = 791*d**2 - 5*d - 4. Is 36 a factor of z(-1)?
True
Suppose 0 = 6*u + u - 28. Does 15 divide (1 + 3)*(8 - u)?
False
Suppose -4*y - p + 4 = -4, -4*y = 3*p - 8. Suppose y*b = -b - 81. Let x = b + 45. Is x a multiple of 18?
True
Is 64 a factor of (-1)/(1/(-1)*3/1668)?
False
Let l(t) = 0 + 11*t**2 - 1 + 2 - 4*t - 12*t**2. Let z be l(3). Does 16 divide -6*(z/8 - 3)?
False
Let h = -378 + 697. Suppose y = -2*a - h, -922 = 3*y + 4*a - 5*a. Does 25 divide 6/(-4) - y/6?
True
Suppose 27*d - 30*d = 5*k - 3979, 4015 = 3*d - 4*k. Is 96 a factor of d?
False
Suppose 222 = -13*r + 4382. Is r a multiple of 38?
False
Let d = 13 - 13. Let z(y) be the first derivative of y**3/3 - y**2/2 + 12*y + 22. Is z(d) a multiple of 4?
True
Suppose -90 - 202 = -4*u. Suppose 77*s = u*s + 368. Is 8 a factor of s?
False
Let r(v) = 9*v + 3 - v**2 + 1 - 1 + 0. Let y be r(6). Suppose y - 115 = -m. Is m a multiple of 11?
False
Let m(x) = x**2 + x + 3. Suppose 2 = -2*c + 18. Is 25 a factor of m(c)?
True
Let w = -181 - -319. Is w a multiple of 5?
False
Is (8/(-10))/(((-3)/110)/3) a multiple of 4?
True
Let r be 21*(14/(-49) + (-26)/(-42)). Is 37 a factor of (5 + -2 - r) + 115?
True
Suppose -6*u = -11*u. Let c(m) = -m**2 - 12*m - 3. Let w be c(-12). Is 29 + (w - (0 - u)) a multiple of 13?
True
Let q = -66 + 63. Does 2 divide (-32 + 0)*(q - 10/(-4))?
True
Let u(w) = -632*w + 59. Is 7 a factor of u(-2)?
True
Let j(q) = 2*q - 7*q + 40 - 33. Does 22 divide j(-3)?
True
Let z = -3 + 119. Is 29 a factor of z?
True
Suppose 3*r - 50 + 14 = 0. Suppose 0 = 2*d - 0 - r. Does 14 divide -70*5/((-75)/d)?
True
Suppose i - 35 = -3*g, -5*g + 0*i + 65 = 3*i. Let c(d) = -8*d**2 + 3*d**3 + 7*d - 1 - 2*d**2 - 2*d**3 - 4. Does 12 divide c(g)?
False
Suppose -t + 7 + 161 = -3*n, 636 = 4*t - 3*n. Does 7 divide t?
False
Suppose n = 2, 0 = -p + 5*n + 783 - 90. Is 37 a factor of p?
True
Let l = -356 - -569. Is l a multiple of 37?
False
Suppose -5*r + 3*h + 8 = 0, 4 = 3*r - 0*h - 2*h. Suppose s = -3*m + 3 + 4, -r*m = 5*s - 24. Suppose 6*g - 3*g = -2*j + 31, 2*g = 3*j - m. Does 3 divide g?
False
Let n(a) be the first derivative of 1/4*a**4 + 8*a - 2*a**3 + 11 + 5/2*a**2. Does 19 divide n(6)?
True
Let v(k) be the third derivative of k**5/60 + 5*k**3/6 - 15*k**2. Let c be v(-6). Suppose 2*t - 28 = -4*y - 2*t, 3*y - 2*t = c. Is y a multiple of 4?
False
Suppose -3*y - 16 - 2 = 0. Let p(r) = -r**2 - 7*r - 11. Let w be p(y). Does 14 divide 4/(w*8/(-140))?
True
Let u(w) = 11*w**2 - 17*w + 7. Is u(5) a multiple of 15?
False
Suppose 5*d - 5600 = -5*q, 16*q = 13*q - 4*d + 3359. Is 19 a factor of q?
True
Suppose 2*y - 3 - 5 = 0. Suppose -y*o - 3 = -211. Is 17 a factor of o?
False
Does 18 divide 12/3*(-10182)/(-24)?
False
Let l(m) = 2*m**2 + 4*m. Let o be l(-6). Let p = -18 + o. Suppose -g - g = -p. Does 10 divide g?
False
Suppose -5*l = 11*l - 34800. Is 15 a factor of l?
True
Let z(h) = 4*h**2 + 5 + 5*h**2 - h**3 - 7. Let c be z(9). Is 16 a factor of (14/21)/(c/(-192))?
True
Suppose -4*i - i = -1615. Suppose -i - 769 = -6*h. Suppose 2*u - 9*u + h = 0. Is u a multiple of 26?
True
Let y(z) = 3*z**2 + 52. Let x be y(0). Let v = 80 + 5. Let q = v - x. Is q a multiple of 15?
False
Let q(j) = -j**3 + 8*j**2 + j - 8. Let k be (-118)/(-4) - 5/10. Suppose 0 = -5*y - 2*t + k, -5*y = -y + 5*t - 13. Does 12 divide q(y)?
True
Is 15 a factor of 1198/5 + -1 + (-14)/(-10)?
True
Let r be (-14)/(-35) + 896/10. Let u be ((-25)/(-2))/(9/r). Suppose 0 = 5*z - u + 5. Is 23 a factor of z?
False
Let w be (4/12)/((-2)/(-84)). Let a = w - 12. Suppose -3*j + a*h + 160 = 0, 0 = -j + 2*h + 37 + 15. Does 27 divide j?
True
Suppose 0 = -4*c - 459 + 1587. Is 12 a factor of c?
False
Suppose 3*m + 3*w - 8*w = 1140, 1866 = 5*m + 3*w. Suppose -m = -3*p - 2*p. Does 15 divide p?
True
Suppose -y = n - 389, n - 4*y - 69 = 295. Is 12 a factor of n?
True
Let h(u) = u**3 + 10*u**2 - 4*u - 14. Let x(a) = -62*a**2 + 12*a**2 + 85 - 15 + 0*a**3 - 6*a**3 + 21*a. Let t(r) = -11*h(r) - 2*x(r). Is 11 a factor of t(10)?
False
Let b(u) = -38*u**3 + 6*u**2 + 3*u - 15. Is b(-3) a multiple of 41?
False
Suppose -2*z = 5*j - 145, 13*z - 3*j = 10*z + 228. Is 9 a factor of z?
False
Suppose -47 = -2*q + q. Suppose -5*b - 4*d = -0*d + 79, b = -2*d - 17. Let s = q + b. Is s a multiple of 12?
False
Let i be (8/6)/((-11)/((-165)/(-10))). Let t be (-6)/(-8)*(2 - -10). Does 20 divide i/6 - (-381)/t?
False
Suppose -4*y - 4*b + 28 = 0, y + 2*b + 5 = 13. Suppose -165 = -n + y*n. Let k = n - -50. Is 11 a factor of k?
False
Does 108 divide 12/20 + (-13885)/(-25)?
False
Is 7 a factor of 4/(-18) - 1881/(-81)?
False
Suppose -123 = -j - 33. Suppose a + 0*a - 2 = 0. Suppose -a*m + j = 3*m. Is 5 a factor of m?
False
Let k = 173 + -159. Suppose t = k*t - 3783. Is t a multiple of 16?
False
Let r(y) = y**3 - 4*y**2 - 6*y. Let o be r(5). Let p = 19 - o. Is p a multiple of 12?
True
Suppose 950 = -5*q - 215. Let w = q - -338. Is w a multiple of 21?
True
Does 11 divide 4425/8 + 16/(-128)?
False
Let k = 843 + -508. Is 61 a factor of k?
False
Let k = -504 - -804. Does 2 divide k?
True
Suppose -2*c - 2*c + 20 = 0. Suppose -4*x + 16 = 0, -c*s = x - 2*x + 4. Suppose 2*v - 30 - 72 = s. Is v a multiple of 17?
True
Suppose -z + 15 + 43 = 0. Suppose -2*o - 4*r = -178, r - z = -5*o + 369. Is o a multiple of 28?
False
Let r(k) = 42*k**2 + 15*k + 14. Is r(-5) a multiple of 14?
False
Suppose -w + 181 - 25 = 0. Is 13 a factor of w?
True
Suppose g + 1 + 0 = 0. Suppose -2*s = 3*s. Is 3 a factor of (s + -3)/(g/3)?
True
Let g(w) = 2*w**2 - 9*w + 8. Let c(z) = 2*z + 1. Let h(v) = 3*c(v) + g(v). Is h(8) a multiple of 5?
True
Let n(v) = 5*v + 6*v + 19 + 5*v - 4*v + v**2. Is n(-16) a multiple of 12?
False
Let g be (-12022)/14 + 10/(-35). Let x be -1 - g/((-1)/1). Is 9 a factor of x/(-16) - 1/(-4)?
True
Let v(w) = 28*w**2 + 12*w - 8. Does 4 divide v(3)?
True
Let a be 11/(44/(-120)) + -3. Let n = a - -35. Is (-12)/(-6)*81/n a multiple of 20?
False
Let l = -124 - -208. Is l a multiple of 21?
True
Suppose 4*t = -0*n - 2*n + 24, -5*t + 34 = 3*n. Suppose 5*x + 240 = n*x. Let w = 113 - x. Does 18 divide w?
False
Let h = 103 + 161. Is h a multiple of 24?
True
Is 6 a factor of (-28719)/(-54) + (-7)/(-6)?
False
Let f(l) = l**2 - 7*l + 2. Let n be f(7). Suppose -n*o + 117 = -5*o. Let s = -21 - o. Is 7 a factor of s?
False
Let r = 0 - -4. Suppose -r*d + 174 = -234. Is d a multiple of 13?
False
Let s(k) = -k**3 - 8*k**2 - 9*k - 11. Let i be s(-7). Suppose i*l - 55 = 44. Is 16 a factor of l?
False
Let t(w) = -w**3 - 7*w**2 - 7*w. Let y be t(-6). Suppose p + 1 - 10 = 0. Let r = p + y. Does 6 divide r?
False
Suppose -5*j = -25, -4 = 4*y - 3*j - j. Suppose -5*c = -y*b - 7 - 16, 5*b + 25 = 5*c. Does 3 divide c?
True
Suppose -23*r + 4959 = 6*r. Does 19 divide r?
True
Suppose 811 = y - 0*y + 3*o, -5*y = -o - 4103. Is ((-3)/12)/((-5)/y) a multiple of 12?
False
Let s(x) = x**2 - 15*x - 32. Does 27 divide s(-5)?
False
Let p(s) = -14*s + 2. Let q be p(3). Does 5 divide (-252)/(-10) - 32/q?
False
Let r = 30 - 26. Suppose 4*k - 6 = 2*k. Suppose q + 2*d = k, -d = 3*q + r*d - 12. Is 4 a factor of q?
False
Let a be 8/6*(-12)/(-8). Suppose 36 = 3*b + 2*n - 41, -a*b + 5*n + 45 = 0. Does 3 divide b?
False
Let o = -157 + 275. Let w = o + -78. Is w a multiple of 10?
True
Let k = 13 + -11. Suppose 0 = k*f, -2*i + f + 76 + 8 = 0. Does 20 divide i?
False
Let g = -30 + 55. Suppose 9 = -3*r + w + 52, 0 = -5*w + g. Is 16 a factor of r?
True
Let g = -22 - -29. Let w be -2 + (g + 4 - 4). Suppose -2*f = w*a - 31, 3*a - 4*a = -5. Does 3 divide f?
True
Let j(g) = 24*g**2 - 8*g. Let v be j(5). Does 28 divide ((-432)/(-360))/(6/v + 0)?
True
Let w(g) = 24*g**2 - 3*g - 10. Is 9 a factor of w(3)?
False
Suppose 0 = -5*h + 1288 + 837. Is 17 a factor of h?
True
Let x be 14 + (-2 - 3) + 3. Let z(n) = -x - 25*n**2 + 16*n**2 + 10*n**2 - 8*n. Is 24 a factor of z(16)?
False
Let y = 870 - 540. Suppose -5*h + y = -390. Does 12 divide h?
True