 4. Is 32 a factor of v(-6)?
True
Suppose -7*p - 14027 = -2*q - 10*p, 35070 = 5*q + 5*p. Does 19 divide q?
False
Suppose 1440 = 5*o - 2*r + 7*r, -4*r + 282 = o. Let w = o - 197. Suppose -3*n + 6*n = w. Is 5 a factor of n?
False
Suppose -19*y + 0*y = -4655. Let l(c) = 40*c + 5. Let m be l(5). Suppose -y + m = -b. Is b a multiple of 4?
True
Let t = -641 - -140. Let r = 304 - t. Suppose 0*o = 5*o + 2*q - 1347, 3*o - r = 2*q. Is o a multiple of 23?
False
Let y(p) = 526*p**2 + p + 2. Let a be y(1). Suppose -3*t + 53 + 374 = 4*w, -5*w + a = -t. Does 13 divide w?
False
Is ((-56)/6)/((-134)/29748) even?
True
Suppose 8*g - 9*g + 12608 = 4*u, -u = 3*g - 37802. Suppose 14*m + g = 29*m. Does 20 divide m?
True
Suppose -13*c + 8*c = 60. Let y = 19 + c. Suppose -4*w = -2*b - 630, y*w - 775 = 2*w + 5*b. Is 40 a factor of w?
True
Let n be (-72)/(-36) - 522/(-2). Let w = n - 89. Is 6 a factor of w?
True
Let b = -3776 - -6101. Does 17 divide b?
False
Suppose -30*d + 25*d - 65 = 0. Let q(a) = a**3 + 12*a**2 - 10*a + 32. Let p be q(d). Does 18 divide p*219/(-15) + (-2)/10?
False
Does 111 divide -22 + 6 + 5794 - (0 - -6)?
True
Let p be 0 + (-1 - 1) + -6. Let f be 3672/39 - -5 - (-6)/(-39). Is 35 a factor of -2 + f - p/(-2)?
False
Suppose 0 = -d + 26*d - 16200. Suppose -33*v = -35*v + d. Is v a multiple of 36?
True
Let c(i) = -i**3 + 10*i**2 + 2*i - 16. Let p be c(10). Suppose 2*h - 5*k - 332 = 0, p*k + 21 = -h + 200. Is 9 a factor of h?
True
Suppose 24*k + 4*y = 20*k + 96260, 5*y - 24073 = -k. Is 42 a factor of k?
False
Suppose -4*h + 328 = -2*p, -489 = 5*p + 5*h + 286. Let c = p + 208. Is c a multiple of 25?
True
Suppose -4*m + 3220 = -1424. Is 43 a factor of m?
True
Let m(l) = -121*l**3 + 5*l**2 + 3*l - 7. Let n(u) = -9*u**2 - 5 + 5*u**2 + 1 + 7*u**2 - 61*u**3 + 2*u. Let o(h) = -3*m(h) + 5*n(h). Does 15 divide o(1)?
True
Is 10 a factor of -1 + 1101 + (12/39)/((-23)/(-299))?
False
Let w be 6/8 + (12865/20)/1. Suppose -3*y + w = 4*t, -2*t + 236 = y - 6*t. Is 11 a factor of y?
True
Suppose 5*g - 2*a - 7220 = 0, g - 3*a = 5*g - 5799. Suppose 5*r + 25 = 0, -g = -n + 2*r - 3*r. Suppose -894 = -5*b - 3*h, -h + 549 = -5*b + n. Does 12 divide b?
True
Suppose 5*o = -4*p, -3*p - 2*o = -7*p. Suppose -22*k + 23*k - 276 = p. Let j = k - 144. Is 12 a factor of j?
True
Suppose 0 = -3*l - 11*o + 8*o - 771, -l = 2*o + 256. Let x = l - -590. Is 15 a factor of x?
False
Let n(j) = j**3 + 13*j**2 - 2*j - 22. Let l be n(-13). Suppose -2*f + 307 = 5*r, 0*f + l*f = -3*r + 173. Does 7 divide r?
True
Let y(b) = -b - 1. Let p = -1 + -4. Let o(m) = -m**2 + 13*m + 14. Let a(w) = p*y(w) - o(w). Is a(11) a multiple of 4?
True
Let u be 4 - (-8 + 4)/4. Suppose -u*s - 4*l + 1060 = 170, -s + 5*l = -178. Suppose s = 3*k + 25. Does 11 divide k?
False
Let a be (4/(4/3))/(-1) + 8. Suppose n + 5 = -2*z + 2*n, -a = 3*z - n. Suppose -6*h + 380 = -2*h + 3*v, z = 4*h - 2*v - 400. Is h a multiple of 14?
True
Is 24/(-28) + (-2248848)/(-392) a multiple of 55?
False
Let l(a) = -87*a**3 + 2*a**2 + 6*a + 6. Let f be l(-3). Suppose 5*x - 2*g = f, 2*g - g = -3*x + 1413. Is x a multiple of 5?
False
Suppose -4*f = -5*t - 11097, 0 = -5*t - 12 + 27. Does 23 divide f?
False
Suppose -3*n - 5*y = -382 - 270, -5*n + y + 1068 = 0. Suppose -1232 - 128 = -4*d. Let m = d - n. Is m a multiple of 7?
True
Let q(o) = -58 - 91*o - 60 + 85. Is 20 a factor of q(-2)?
False
Let z(f) = -623*f - 807. Does 96 divide z(-9)?
True
Suppose 4*i + 3*w = -4 + 1, 4*w = i + 15. Let f be (-9)/i - (3 + (-1 - 5)). Let y(q) = 47*q - 44. Is 17 a factor of y(f)?
True
Let a(m) = 180*m - 59*m + 40 - 45*m - 61*m. Does 35 divide a(23)?
True
Is 12 a factor of (-76 - 2012)*(-4)/((-24)/(-22))?
True
Let b = 33 + -30. Let q(g) = g - 1. Let j be q(b). Does 8 divide 315/20 - j/(-8)?
True
Let r(m) be the second derivative of -m**5/30 + 5*m**4/6 - 23*m**3/6 - 4*m. Let b(c) be the second derivative of r(c). Is b(-7) a multiple of 10?
False
Let a(u) be the second derivative of 4*u**3/3 + 23*u**2 + 137*u. Is 17 a factor of a(7)?
True
Let y = 9135 + -2352. Does 3 divide y?
True
Is 15 a factor of 6/(-12) + -2*7/28*-2909?
False
Let f(j) = 6*j**2 + 9*j - 1. Suppose w - s = 4 + 3, -3*w + 5*s + 25 = 0. Let l be f(w). Suppose -3*x - 20 + l = 0. Does 28 divide x?
False
Suppose -5215 = -12*c + 5*c. Does 8 divide c?
False
Let a be (152/14)/((-2)/7). Let f(k) = -5*k - 45. Does 2 divide f(a)?
False
Let z = 333 + -573. Let d = z - -438. Does 14 divide d?
False
Let n(f) = 2*f - 30. Suppose v - 31 = -2*v + 4*g, 4*v = 2*g + 48. Let b be n(v). Is b + (-5 - -23) - 2 a multiple of 4?
True
Let k be 214/6 + (-3)/((-36)/(-8)). Suppose k*m - 44*m + 171 = 0. Is 4 a factor of m?
False
Let y = -56 - -71. Let u(w) = w + 5. Let x be u(-6). Is (x - 3/y)/((-1)/90) a multiple of 36?
True
Suppose 5*r - 4*r = 35. Let q = r - 32. Suppose -2*s - 17 = -q*s. Is s a multiple of 17?
True
Let l(w) = w**2 + 2*w + 1. Let h be l(3). Let x(b) = 27*b - b**2 + 16*b - 29*b - h - 1. Does 2 divide x(12)?
False
Let r(c) = 2*c - 11. Let s be r(8). Let a(i) = -4*i - 7*i + i + s*i - 32. Is 3 a factor of a(-10)?
True
Let z(v) = -1714*v + 1533. Does 22 divide z(-13)?
False
Suppose 3*v + 18 = 5*a, 51*v = -4*a + 55*v + 8. Suppose m = -3*m. Suppose -2*i + a*i - 620 = m. Is 31 a factor of i?
True
Let v(q) = -5*q - 8. Suppose -5*a - 6 - 25 = 4*h, -5*h = 2*a + 26. Let j be v(a). Suppose 0*w + j*w = 175. Is 5 a factor of w?
True
Let w be 6/(-3) + (-1 - -7). Let u be (0/(-78))/(1 + 0). Suppose -2*c + 187 = -4*k + 587, u = -c + w. Is 17 a factor of k?
True
Suppose 3*l - 1287 = -6*l. Suppose -599 = -3*w - l. Let c = 305 - w. Is 7 a factor of c?
False
Suppose 51*z - 1774839 - 867461 = z. Does 37 divide z?
False
Suppose -5*f - u = -2*u - 167, 2*f - 62 = 2*u. Suppose 3*y - 365 = f. Is 19 a factor of y?
True
Suppose 14*w + 15 = 17*w. Suppose -5*u + 957 = w*n - 543, -3*n + 2*u = -900. Is 25 a factor of n?
True
Suppose 71874 + 399154 = 12*b + 99148. Is 30 a factor of b?
True
Suppose -12*r + 9*r = -156. Suppose 259 = -5*h - 2*h. Let k = r - h. Is k a multiple of 11?
False
Suppose -5*r + 4*m = 2*m + 15, -2*r = 5*m - 23. Let v be (1/r)/((-9)/711). Suppose -3*w + 0*j + 131 = -5*j, 2*w = -5*j + v. Is 4 a factor of w?
False
Suppose 16*y - 6*y - 90 = 0. Does 54 divide y*3*(3 - (-11 + 6))?
True
Let x(y) = -67*y + 9. Let q(t) = -23*t + 3. Let d(g) = -11*q(g) + 4*x(g). Is d(-10) a multiple of 9?
True
Suppose 46*w = 47*w - 280. Let b = 8 + w. Is 13 a factor of b?
False
Suppose -11*k + 46520 = 9*k. Let s = -1342 + k. Does 82 divide s?
True
Suppose -92*u + 488118 + 1387558 - 257304 = 0. Is 49 a factor of u?
True
Let y(h) = -4 - 7*h - 3*h**2 - 94*h**3 + 190*h**3 - 95*h**3 + 4*h**2. Let s = 1 + 3. Does 24 divide y(s)?
True
Let v be (-3 - (2 + -4))*6034. Let j be v/(-18) - 4/18. Let d = j + -180. Is 25 a factor of d?
False
Let a = 8951 + -2600. Is 33 a factor of a?
False
Suppose 671 = 4*a + 1791. Let z be (-2)/(-12) - (-33)/18 - a. Does 17 divide 3 + z/3 + 5?
True
Let a = 1992 - 281. Does 59 divide a?
True
Let y(d) = -289*d - 56. Let l be y(7). Is 11 a factor of ((-15)/9)/(-5)*l/(-7)?
True
Let a(y) = -y**3 + 121*y**2 - 124*y + 136. Does 13 divide a(118)?
False
Let b = 26851 - -4629. Is 20 a factor of b?
True
Let z(j) = 479*j - 847. Does 24 divide z(18)?
False
Let p(d) = -912*d - 75. Let r be p(-4). Suppose -3*f + 270 = -r. Is f a multiple of 61?
True
Let w(q) be the second derivative of -1/12*q**4 + 8/3*q**3 + 0 + 7/2*q**2 + 35*q. Is 11 a factor of w(15)?
True
Let t = -9 + 13. Suppose 2*w + t*w - 24 = 0. Suppose 3*a = -w*k + 112, -a + 3*k - 172 = -6*a. Is a a multiple of 16?
True
Let x = 12436 + -12296. Is x a multiple of 140?
True
Let o = -5323 + 6404. Does 23 divide o?
True
Suppose 0 = 5*j - 3*j - 156. Let t be 381 + (-1)/(-4 - (-55)/15). Let l = t - j. Does 17 divide l?
True
Suppose -605 = -5*x + 5*b, 4*b + 365 = -14*x + 17*x. Let l = x + -55. Does 2 divide l?
True
Let b be 35/(-7)*28/10. Let c be 1/(2/(-8)) + 43. Let r = c + b. Does 25 divide r?
True
Let a(t) = -37*t + 1220 - 1227 + 291*t. Is a(2) a multiple of 25?
False
Let q(n) = 3984*n - 48. Does 66 divide q(2)?
True
Let y(q) = 2*q**3 + 7*q - 13. Let u be y(2). Suppose -1104 = -u*n + 4880. Does 44 divide n?
True
Let g(k) = 6*k**2 + 33*k + 66. Let s be g(-14). Suppose -577 = y + 4*t, 552 = -5*