ple of 9?
False
Let g = 7 - 4. Suppose -g*j + 12*j = 1872. Does 4 divide j?
True
Suppose 5*i = -p + 9, 5*i = 4*p + 23 + 16. Is 41 a factor of (-22635)/(-30)*(2/p - -1)?
False
Let s(v) = -46*v + 162. Let y be s(5). Does 13 divide 135 - (2/(-3) - y/12)?
True
Let a = 28504 - 15680. Is a a multiple of 8?
True
Let m(d) = 5*d - d - 6*d + 194 + 3*d + 5*d. Does 21 divide m(-17)?
False
Let i be ((-2)/9*-6)/((-8)/(-684)). Suppose -2*b + 3*b = -i. Let d = 216 + b. Does 18 divide d?
False
Let w be (((-184)/(-6))/2)/((-6)/(-18)). Suppose 6*j - w = -22. Suppose y = -2*o + 154, j*y + o - 293 = 2*y. Does 9 divide y?
True
Suppose 278*y = 274*y + 24080. Is 20 a factor of y?
True
Let u = 912 - 883. Suppose -u*n + 21300 = -9*n. Is n a multiple of 15?
True
Suppose -2*n = 4*w - 102910 - 95190, 48 = 8*n. Is 19 a factor of w?
False
Let t(l) = -4*l**2 + l + 3*l**2 + 2*l + 0 - 1. Let f be t(3). Let s(p) = -79*p**3 - 4*p**2 - 4*p - 2. Is s(f) a multiple of 11?
True
Suppose 1174*g + 564572 = 1203*g. Does 50 divide g?
False
Suppose 25*t - 570 = 6*t. Is (255/(-225) - (-4)/t) + 613 a multiple of 34?
True
Let z be (76/1)/((-4)/(-6)). Let v = 167 - z. Let o = v + -33. Is o a multiple of 10?
True
Let g(k) = k - 4*k - 8*k + 5 - k + k**2. Let s be g(12). Let c(w) = 6*w - 2. Does 5 divide c(s)?
False
Suppose -2*n = -b + 10, 3*b = -2*n - 2*n. Suppose -3*y + 284 = 2*j, -b*y - 2*j + 356 = -5*j. Let l = y - 72. Does 5 divide l?
True
Let p(l) = -2*l**3 - 3*l**2 + 11*l + 12. Let k be p(-7). Let z = k - 261. Is 13 a factor of z?
False
Suppose 35715 - 113965 = -178*c + 23032. Is c a multiple of 61?
False
Let f = 34771 + -29434. Does 65 divide f?
False
Suppose 2*c = 2*p - 152, -5*c = -4*p + 244 + 57. Suppose -p*g = -81*g + 404. Is g a multiple of 13?
False
Suppose 2*i - i - 3*k + 4 = 0, -3*k + 8 = -5*i. Let r(s) = 189*s**2. Let d be r(i). Let h = 276 - d. Does 29 divide h?
True
Suppose 5*m - k - 45793 = 0, m - 9149 = 46*k - 41*k. Does 3 divide m?
True
Suppose -8256 = -5*h + h. Suppose 2*i - 3*i + 2*d + 9 = 0, d = -5*i + 1. Does 43 divide (i - (-2)/(-6))/(8/h)?
True
Suppose 3*u - 6 = 0, 2*u - 1 = -0*i + i. Let j(v) = -663 + 698 - 4*v**2 + i*v**2 - 7*v. Is j(-8) a multiple of 4?
False
Let a(h) = 4*h + 18*h**3 + 55*h - 19*h**3 + h**2 + 4*h**2 + 9. Is a(-7) a multiple of 8?
True
Let d = 569 + -566. Suppose 0 = -v - d*h + 689, 4*v - 3*h = -h + 2770. Does 10 divide v?
False
Let f(d) = 3*d**2 - 6*d. Let a be f(3). Is 40 a factor of (a - 21)/(12/(-680))?
True
Suppose -z - 2*o = 3*z + 20, 0 = -3*z + 5*o - 15. Let a(s) = 18*s**2 + 21*s + 14. Is a(z) a multiple of 25?
False
Let q(h) = 93*h**2 - 358*h + 15. Is 11 a factor of q(9)?
False
Let p be (-2)/(-10) - (1 - (-4)/(-5)). Suppose 14*g = 16*g - 5*v - 159, 3*g + 2*v - 248 = p. Does 5 divide g?
False
Let g = 132 - 128. Suppose 4*b = b + 12, 2*z = 3*b + g. Does 2 divide z?
True
Suppose 188*f - 49*f = -116*f + 704820. Is 65 a factor of f?
False
Suppose 7*c + 3*h - 8 = 3*c, -c = h - 2. Suppose 0 = -c*m + 5*u + 818, -3*m + 338 = -u - 902. Does 6 divide m?
True
Suppose 2*g + 6 = -4*v, -4*g - g - 15 = -4*v. Suppose -l + 5*h - 68 = v, -3*h - 84 = 3*l - 2*l. Let k = -59 - l. Is k a multiple of 19?
True
Is 5 a factor of ((-81116)/21 + 24/36)/(4/(-10))?
True
Let c = -100 - -105. Suppose -990 = -c*m - 290. Is 28 a factor of m?
True
Let i be (1 + 20)/((-1)/(-4)). Let v = -78 + i. Suppose 0 = v*y - 88 - 188. Is 40 a factor of y?
False
Is 1972836/90 - 8*3/60 a multiple of 20?
True
Suppose 3*p + 4*h + 207 = 0, 2*p + 169 = -2*h + 33. Let q = 65 + p. Suppose -12*g + 7*g + 365 = q. Does 17 divide g?
False
Suppose -2*r = s + 2*r - 84, 5*r + 48 = s. Let a be ((-6)/(2 - -4))/(1/(-14)). Let k = s - a. Does 9 divide k?
True
Let o(b) = 18*b**2 + 48*b + 324. Is 157 a factor of o(-17)?
True
Let a = -1534 - -4612. Does 54 divide a?
True
Let o be (5 + -13)*3/(-6). Suppose -o*g = 4*j - 1541 - 791, -2*j + 580 = g. Does 18 divide g?
False
Suppose 14*d - 18*d - 7*m = -106388, -132985 = -5*d + m. Does 161 divide d?
False
Let f be (-1)/(-7) - (-128)/(-14). Let t be (-3)/f*90/6. Let z(v) = 2*v**3 - 3*v**2 - 5*v - 3. Is 15 a factor of z(t)?
False
Let p = 10567 - 5226. Does 73 divide p?
False
Let y = 371 + -220. Suppose 0 = 2*n - 4*c - 2, n + 18*c - 23*c + 2 = 0. Suppose 0 = 4*l - 6*l + n*b + 89, 4*l + 3*b = y. Does 10 divide l?
True
Let j(h) be the second derivative of 73*h**4/12 + h**3/6 + h**2/2 - 37*h. Does 31 divide j(-1)?
False
Let l = -60 - -75. Suppose 0 = -z + l*z. Does 14 divide 112/6*(15/4 + z)?
True
Suppose 10 = 8*o - 14. Suppose -481 = -o*c - f, 2*c - 2*f = -f + 319. Does 10 divide c?
True
Let o(i) = 2*i**3 + 21*i**2 + 6*i + 8. Does 13 divide o(-9)?
False
Is (150/4)/((-1640)/(-96) + -17) a multiple of 10?
True
Suppose 8*u + 111 = 839. Let g = 51 + u. Is 12 a factor of g?
False
Does 129 divide -111*(27995/(-33))/5?
False
Let d(r) = r**3 - 27*r**2 - 30*r + 25. Let c(b) = b**2 + b + 1. Let l(p) = -6*c(p) - d(p). Let m = 1689 + -1667. Is 2 a factor of l(m)?
False
Let s(c) = 4*c**2 - 2*c + 1. Let v be s(1). Let m = 18 + -18. Suppose -v*q + 7*q - 132 = m. Is 22 a factor of q?
False
Let v(g) = -41*g - 1471 + 717 + 659. Is v(-15) a multiple of 40?
True
Let s(z) = -87*z - 60. Is s(-17) a multiple of 3?
True
Suppose -4*w - 16*b + 7464 = -12*b, 5*w = 2*b + 9358. Is w a multiple of 85?
True
Let z = 5023 - 1812. Is 22 a factor of z?
False
Suppose -7*j + 15916 = -16970. Is 97 a factor of j?
False
Let i = -395 - -327. Is 35 a factor of (-1 - 3) + (1 - i)?
False
Let g = -29 + 30. Let h = 23 - 23. Is 38 a factor of ((3 + h)*-1 - -185)*g?
False
Let z = -17263 + 29299. Does 50 divide z?
False
Let b(z) = -z**2 - z - 1. Let n(a) = a**3 - 17*a**2 + 7*a + 20. Let m(r) = -4*b(r) + n(r). Let c be m(12). Suppose 4*f - 60 = c. Does 6 divide f?
True
Let o be (-6)/6*(-1 + -1). Suppose d + 2*m + o*m = 166, -3*m - 761 = -5*d. Is d a multiple of 42?
False
Suppose 2 = 53*g - 52*g. Suppose -3*y = 2*y + 4*b - 965, -g*y = -3*b - 409. Is y a multiple of 23?
False
Let p(z) = -z**3 + 5*z**2 + 4*z + 7. Let i be p(6). Let d be (-9)/15 - 483/i. Suppose 0 = 5*v - 2*v - d. Is 17 a factor of v?
False
Suppose -3*f + 21*f = 666. Suppose 13*d - f*d = -17136. Is d a multiple of 61?
False
Does 10 divide 23/345 + (-308392)/(-120)?
True
Suppose -6*f - 5*f + 55 = 0. Let p(d) = -7*d + 18. Let c(k) = -11*k + 27. Let t(b) = f*c(b) - 7*p(b). Is 6 a factor of t(-6)?
False
Suppose -152*m = -120*m - 1734560. Does 227 divide m?
False
Let s be (240/(-64))/(9/(-12)). Suppose -i + s*n = -3*i + 788, 3*n = 5*i - 1970. Is i a multiple of 25?
False
Suppose 3*s - 3 = -4*k - 11, 5*k - 1 = -s. Let h be s/14 + (-4101)/(-21). Let d = h - 132. Is 21 a factor of d?
True
Let k = -118 - -120. Suppose 0 = -d - 5*x + 46 - 438, 0 = d - k*x + 357. Let i = -220 - d. Is 49 a factor of i?
True
Suppose -3*m + 1 = q, 2*m + 2*q + 6 = -0*q. Suppose -5*l = m*l + 56. Does 21 divide 2 - (l/5)/((-14)/(-1085))?
True
Let j(h) be the first derivative of h**3/3 + 7*h**2/2 - h - 1. Let f be j(-8). Is 17 a factor of f/(14/150)*(0 - -1)?
False
Let a = -3089 + 3971. Is 49 a factor of a?
True
Let p(g) = 61*g + 57*g + 16 - 79*g. Let j be p(-4). Is 16 a factor of (j/30)/(-2 - 141/(-72))?
True
Suppose 8*r = 13*r - 10. Suppose -25 = -r*j - 3*z, 0*z + 15 = 2*j + 5*z. Does 12 divide (72/j)/((-3)/(-20))?
True
Suppose -10 = 3*w + 3*r + 2*r, 5*w - 3*r = -62. Let a(o) = -o**3 - 10*o**2 - 17*o - 8. Is a(w) a multiple of 4?
False
Let k(g) = -6*g**2 + 12*g**3 + 2 + 1285*g - 2561*g + 1282*g. Is 29 a factor of k(3)?
True
Let d = 428 - 426. Suppose 3*v - x = 1678, -d*x - 2798 = -5*v - 0*x. Is v a multiple of 13?
False
Suppose -2*w - 3*b = -17506 - 19724, 0 = -w + 3*b + 18606. Is w a multiple of 9?
True
Suppose 825 = -5*u - 3*w, -2*w - 272 = 5*u + 558. Let p = u - -212. Does 4 divide p?
True
Let k(y) = 2339*y - 720. Is 34 a factor of k(4)?
True
Let a(y) = 4*y**3 - 13*y**2 + 99*y + 78. Is a(14) a multiple of 62?
False
Let u = -14 - -14. Suppose -3*j + 204 = -2*j + a, -4*j + 5*a + 825 = u. Suppose -5*i + c + 490 = -2*c, -j = -2*i + 3*c. Does 29 divide i?
False
Let o(y) = 45*y - 267. Let b be o(6). Suppose 4*s = b*g - 4505, s = -2*s + 3. Is 11 a factor of g?
False
Let r(u) = u**3 - u**2 + u + 210. Let o = 88 - 76. Suppose -11*t + o*t = 0. Does 30 divide r(t)?
True
Is 3749/(6 + (-11)/4*2)