s 39 a factor of (-54 + -6)*(j/3)/(-1)?
False
Let w be -1*1*3/6*-22. Suppose -5*d + w + 9 = 0. Suppose 5*p = 5, 5*p = 5*s - 6 - d. Does 3 divide s?
True
Suppose 0 = -2*t + 5*o + 6, 12 = 4*t + 5*o - 0*o. Suppose t*p - 3*k + 4*k + 460 = 0, 3*k = 2*p + 314. Let m = -68 - p. Is m a multiple of 13?
False
Let s be ((-32985)/(-20))/(-9) + 4/16. Let k = s - -434. Is k a multiple of 40?
False
Let o = 6899 + 29694. Is o a multiple of 37?
True
Suppose 878430 = -210*d + 420*d. Is 47 a factor of d?
True
Let q(x) = 6*x + 28. Suppose -4*s = -s + 12. Let i be q(s). Suppose 0 = -b + i*r + 100, b + r - 112 = -r. Does 15 divide b?
False
Let p = -552 + 1750. Does 10 divide p?
False
Suppose -7*q + 986 - 20 = 0. Let n be q/4 - 9/(-18). Let s = 7 + n. Is s a multiple of 11?
False
Suppose -83*n - 154 = -85*n. Suppose z + 10 + 3 = 4*j, 5*z - 11 = j. Let o = n - z. Is 9 a factor of o?
False
Let g = 292 + -287. Suppose x - g*p = 77, 0 = -3*x - 0*x - p + 199. Does 3 divide x?
False
Suppose 3*z - 5*x = 31, -5*z + 2*x = -10*z. Suppose -4 = -z*v + 6. Suppose 0 = -v*h - 81 + 656. Is h a multiple of 12?
False
Let b(w) = 41*w + 13. Let i(h) = 20*h + 7. Let g(p) = 2*b(p) - 5*i(p). Let x(t) = -t**3 - 15*t**2 + t + 9. Let d be x(-15). Does 33 divide g(d)?
True
Suppose 0 = 3*z - 2*x + 926, 2*z + 0*x = -3*x - 613. Let h = z - -448. Let l = h + -84. Is 21 a factor of l?
False
Suppose -713048 = -189*u + 3157672. Is 20 a factor of u?
True
Let n(u) = 3*u**2 - 7*u + 27. Let r(m) = -m**2 + m. Let g(h) = n(h) + 4*r(h). Let q be g(11). Let d = -63 - q. Is 16 a factor of d?
True
Suppose -15*u - 116*u = 22*u - 2876706. Is 13 a factor of u?
False
Suppose 0 = 3*f - 13930 + 1870. Suppose -f = -5*w - 0*w. Does 16 divide w?
False
Let m(y) = -2*y**3 + 4*y**2 - 2*y + 5. Let f be m(4). Let o = 37 + f. Let a = -6 - o. Is a a multiple of 4?
True
Let o be (3 + -2)*15/(-5). Let l be o - (4/(-2))/1. Does 23 divide -1 - 0 - (-71 - l)?
True
Suppose -21*m = 4*m - 14400. Is 8 a factor of (m/(-45))/(2/(-40))?
True
Is 26 a factor of ((-15213)/(-44))/(-69*1/(-60) - 1)?
False
Let s(o) = -2*o**2 + 30*o + 19. Suppose 5*f - 43 = 27. Let g be s(f). Suppose 0 = -2*m + g + 127. Is 29 a factor of m?
True
Suppose -51*i = 30*i - 3*i - 2557620. Is i a multiple of 20?
False
Let m = -3061 - -6419. Is 46 a factor of m?
True
Let x = 482 + 311. Is x a multiple of 30?
False
Suppose -75004 = -34*z + 36142. Is 3 a factor of z?
False
Let s(d) be the first derivative of -d**4/4 + 2*d**3 + 3*d**2/2 - 16*d + 2. Is s(5) a multiple of 24?
True
Does 13 divide (-1)/(-3) + 113792/84?
False
Suppose -3*h + 18 = 4*j, 15*h - j + 7 = 17*h. Suppose -w = 3*u - 12, 9*u - 5*u = h*w - 34. Is w a multiple of 3?
True
Suppose -14 = -7*d + 7. Is 19 a factor of 56/d + 9/27?
True
Let z = -7494 - -11225. Does 6 divide z?
False
Let n = -735 + 19092. Is 61 a factor of n?
False
Let c(k) = 10*k**2 - 111*k - 622. Does 16 divide c(-26)?
True
Suppose 0 = w - 5, 7*v - 9*w = -6*w + 34089. Is 12 a factor of v?
True
Let b(c) = 7*c + 348. Let f be b(0). Suppose -4*h - f = -d, -5*h + 0*h + 696 = 2*d. Does 53 divide d?
False
Let b be (-20306)/(-11) + 9 + -2. Suppose -14173 = -22*u - b. Is u a multiple of 70?
True
Suppose -57528 = -1982*w + 1964*w. Is w a multiple of 94?
True
Let v be 84/(-15)*(-2 + -18). Suppose 27 - v = -r. Let i = r - 48. Is i a multiple of 18?
False
Let j(o) = -o**2 - 6*o - 3. Let r be j(-5). Let s(y) = -4 - 91*y + 0 + 3 + r. Is s(-1) a multiple of 9?
False
Let h = 137 - 134. Suppose 135 + 159 = h*x. Does 22 divide x?
False
Suppose -84810 = -61*p + 32615. Is 35 a factor of p?
True
Let t be ((-204)/(-15))/((-28)/(-70)). Is 15 a factor of 2*t*17/((-204)/(-135))?
True
Let q(j) = 13*j**2 + 8*j - 6. Let d(k) = k - 1. Let i(b) = 6*d(b) - q(b). Let s be i(9). Does 10 divide s/(-36) - (-2)/8?
True
Let m(w) = -6*w**2 - 3*w + 1. Let g be m(1). Let q be (4/g)/1*-4. Suppose 0 = -z - a - q*a + 6, -5*a + 8 = z. Does 2 divide z?
False
Suppose -10*q + 13*q = 3*n - 1176, 0 = -q + 3. Is n a multiple of 5?
True
Suppose 500444 = -y + 123*y. Does 11 divide y?
False
Suppose 17*w = 65*w - 34848. Does 35 divide w?
False
Suppose 8725 + 9923 = 7*o. Let i = o - 1611. Is 81 a factor of i?
True
Suppose -4*u - 5*t + 3533 = 0, -11*u + 16*u + 3*t - 4413 = 0. Let z = u + -296. Is z a multiple of 24?
False
Let y be 7/((-204)/(-30) - 7). Is 1223/5 + 21/y a multiple of 4?
True
Let v(h) = -h**3 + 13*h**2 + 16*h - 7. Let u be v(14). Is 4/(-6) + 0 - (-3017)/u a multiple of 24?
False
Let u = -18 + 11. Let v = -2376 + 2397. Does 6 divide ((-270)/v)/(1/u)?
True
Suppose -2*y = -5*q + 28682, 4*q - 13*y - 22942 = -15*y. Does 7 divide q?
False
Let y be (-2)/6 + (-8)/3. Suppose 281*m - 319*m = -22078. Is m/49 + y/(-21) a multiple of 8?
False
Let v(s) = -990*s + 390. Is v(-1) a multiple of 5?
True
Let l(v) = 5*v**2 + 159*v - 120. Does 16 divide l(-40)?
True
Suppose -5*p = -5*f - 2465, p + f - 659 + 162 = 0. Suppose 25*v + p = 34*v. Is v a multiple of 3?
False
Suppose -4*z + 104 - 88 = 0. Suppose -z*a + 1850 = 110. Is 29 a factor of a?
True
Let s(k) = 4*k + 986. Is 4 a factor of s(38)?
False
Let o = 51 + -43. Suppose 2*i - 4 = -3*b, 5*i + b - o = i. Is (410/8)/(i/8) a multiple of 42?
False
Suppose 4*j - 2*d + 5 = 3, -4*j + 3*d + 3 = 0. Is 64 a factor of j + (1 - (-5 - -5)) - -706?
True
Suppose 2*n = 78*i - 76*i + 71852, -i = 5*n - 179630. Is n a multiple of 11?
True
Suppose 5 = 3*f - 52. Suppose 0 = -5*k - f - 16. Let p(c) = -c + 11. Is 18 a factor of p(k)?
True
Let z be ((-2)/(-6))/((-1)/39). Suppose 0 = -2*u + 2*w - 14, -3*w = 5*u + 11 + 48. Let t = u - z. Is 2 a factor of t?
False
Suppose -2879 = 6*u + 3853. Let w be ((-44)/(-6))/((-44)/u). Let p = w - -16. Does 18 divide p?
False
Let u(a) = 20286*a**2 - 149*a - 151. Is 11 a factor of u(-1)?
True
Let r be -8 - (1*-2 - (-8 - -6)). Let d be r/20 - (-110)/25. Suppose -d*j + 5*j - 84 = 0. Does 12 divide j?
True
Let n(v) = v**3 - 17*v**2 - 11*v + 20. Let h be n(16). Let p be (-1)/3 + (3 - h/(-6)). Let z = -2 - p. Is 16 a factor of z?
True
Let k(b) = -b**3 + 43*b**2 + 368*b - 1. Does 103 divide k(-15)?
False
Is 1*(-6)/4 - 23868/(-104) a multiple of 6?
True
Suppose 246*v - 247*v + 204 = 0. Let t = -21 + 25. Suppose -400 = -5*l + 3*o, -t*l + 129 = -5*o - v. Is 7 a factor of l?
True
Suppose -5*d + 9*s = 14*s - 147065, -4*s - 29458 = -d. Is 83 a factor of d?
False
Suppose -11*v = -27*v + 36752. Is 7 a factor of v?
False
Let v(l) = l**3 + 10*l**2 - 10*l + 26. Let q(y) = y**2 - 21*y + 11. Let f be q(20). Does 19 divide v(f)?
False
Let h = 27 + -22. Suppose 2*k + 4*y = 684, 244 = h*k - 5*y - 1421. Is 12 a factor of k?
True
Let q(c) = 222*c - 54. Let g be q(15). Suppose 23*p - 11*p = g. Is p a multiple of 13?
True
Suppose l + 4 = 5, 2*l = 4*u + 122. Let w = 35 + u. Is 16 a factor of 63 - (0 + (-5)/w)?
True
Let d = -25540 + 55612. Is 68 a factor of d?
False
Let f(y) = 8*y + 335. Let a(w) = 3*w + 167. Let n(j) = 5*a(j) - 2*f(j). Is n(39) a multiple of 7?
True
Let p(x) = 85*x + 387. Let u be p(-7). Does 58 divide (-3231)/4*u/156?
False
Suppose 3*u - 32 = -2. Suppose 2*c - 8 = 0, 0*o - 2*o + u = c. Suppose -5*x + o*q + 325 = 0, -27 = -2*x - 5*q + 103. Is 18 a factor of x?
False
Let g be (-306)/(-45) - 4/5. Is 5 a factor of (g - 65/(-10))/((-1)/(-2))?
True
Suppose -2*z = -10, -5*p + 2 + 8 = 5*z. Let y be 211/((-1)/6*p). Let d = y + -220. Is 11 a factor of d?
False
Let w(x) = 10*x**2 - 20*x - 30. Is 23 a factor of w(-4)?
False
Let h = 42 - 60. Let r be (2/(-3))/(3/h). Suppose r*s - 399 = s. Is s a multiple of 24?
False
Let x(p) = 3*p**2 - 4*p + 1. Let f be x(2). Suppose -3*n - 1310 - 411 = -f*a, -3*n = -2*a + 692. Is 31 a factor of a?
False
Let i(c) = 345*c + 1794. Is i(20) a multiple of 21?
True
Let c(x) = -x**2 + 7*x + 1. Let q be c(6). Suppose q*a - 6*a = 302. Suppose a = 3*g + 2. Does 10 divide g?
True
Let k(g) = 6*g**2 + 21*g - 874. Does 38 divide k(20)?
False
Let s(b) = -336*b + 10180. Does 17 divide s(27)?
False
Suppose 2*w = 2*k + 184, 554 = 5*w - 4*k + 97. Let g = 142 - 69. Let t = w - g. Is t a multiple of 4?
True
Suppose -56*c = -23*c - 99. Suppose 3*u = 6, -u + 628 = c*h - 5*u. Does 74 divide h?
False
Let n(z) be the first derivative of 9*z**2/2 - 42*z - 4. Let w(q) = 5*q - 21. Let g(r) = -4*n(r) + 7*w(r). Does 3 divide g(14)?
False
Suppose -2*d +