uppose -3*q - v = -12, 2*s - 3*q = 27. Is s a multiple of 18?
True
Suppose 5*g - 16 = 3*a, -2*g + 3*a + 8 = -2. Suppose 4*c - g*q - 484 = 0, -2*q + 167 = 2*c - 63. Is 17 a factor of c?
True
Let u(g) = -g**2 + 1. Let n be u(1). Let b be (52/(-6) - -9)/(1/9). Suppose -7*z + b*z + 64 = n. Is z a multiple of 16?
True
Let g = 397 - 17. Is 4 a factor of g?
True
Let n be 2/7 + 325/(-35). Suppose 4*o = 2*m + 86, 4*m + 5*o - 79 = -316. Let c = n - m. Is 22 a factor of c?
True
Let s(w) = -35*w**3 - 2*w**2 - 4*w - 2. Suppose 0 = -5*t - z - 0*z - 6, -2*t = 2*z + 4. Is s(t) a multiple of 13?
False
Suppose -4*r = y - 7*r - 1805, -5*r - 7227 = -4*y. Does 20 divide (-2)/11 + y/22?
False
Suppose 5 = 4*w - 3. Suppose -m = -w*m. Suppose m = -l + 7. Is l a multiple of 5?
False
Let m(r) = r**3 - 16*r**2 + 30*r - 7. Let g be 7*-4*((-1)/2)/1. Is m(g) a multiple of 21?
True
Let p(d) = -4*d**3 + 5*d**2 + 3*d + 2*d + 3*d**3. Let b be p(6). Is (286/(-33))/(2/b) a multiple of 13?
True
Suppose 2*x = 5*t - 2247, 12*t - 17*t + 2244 = x. Is 21 a factor of t?
False
Suppose h + 406 = 3*t - 495, -3*t + 899 = -2*h. Does 43 divide t?
True
Is 7272/42 - 7/49 a multiple of 2?
False
Suppose 2*b = -j + 722, -6*b - 1794 = -11*b + 3*j. Does 43 divide b?
False
Suppose -6 = -3*y, -2*t + y - 6*y = -18. Suppose -5*d + d = 4*o - 44, -2*o - t = 0. Does 2 divide d?
False
Let f = 373 - 315. Is f a multiple of 47?
False
Suppose 4*m + 27 = 3*a, a = -2*a - 3*m + 6. Suppose -a*n = -114 + 14. Let t = 69 - n. Does 14 divide t?
False
Let m(y) = 4*y**3 - 3*y**2 - 8*y + 2. Let p(c) = 4*c**3 - 3*c**2 - 9*c + 3. Let n(w) = 7*m(w) - 6*p(w). Is n(3) a multiple of 14?
False
Let n be (-368)/(-14) + (-4)/14. Let g = 46 - n. Is 20 a factor of g?
True
Suppose -4*x + 5*c - 2295 = -10645, 5*c = 3*x - 6260. Is x a multiple of 22?
True
Let l = 93 + 19. Is 16 a factor of l?
True
Is 36/216 - 7367*(-1)/6 a multiple of 77?
False
Let r be -2 + 2/4*0. Suppose -24 = -520*k + 518*k. Is 6/(r - (-28)/k) a multiple of 6?
True
Let x(l) = 24*l**2 + 2*l - 2. Let v = 37 - 36. Does 3 divide x(v)?
True
Suppose -52 = 3*m + m. Let x = 99 - m. Does 28 divide x?
True
Let p be -1*(1 - (1 + 1)). Let j(u) = -3*u**3 - 5*u**2 - 6. Let l(y) = -5*y**3 - 4*y**2 - 5. Let g(n) = 5*j(n) - 6*l(n). Is g(p) a multiple of 7?
True
Suppose -5*y - 4 = -4*i - 1, -3*y + 15 = 0. Suppose -i*f = -11*f. Suppose f = -3*t + 192 - 9. Is t a multiple of 13?
False
Let v(a) = 4*a**3 - 7*a**2 + 2*a + 2. Let d be v(5). Let q = 597 - d. Does 50 divide q?
False
Suppose -2*u + 88 = l + l, 4*l + 160 = 3*u. Let o = -64 + 46. Let a = o + u. Does 14 divide a?
False
Suppose 27*w + 3728 = 34616. Is 13 a factor of w?
True
Let u = 15 - 13. Let m = 22 - 16. Suppose m = u*b - 26. Is b a multiple of 4?
True
Suppose -6*k = -0*k. Suppose k = q - 7 - 22. Is q a multiple of 24?
False
Let c(d) be the first derivative of d**3/3 - 15*d**2/2 + 8*d + 11. Suppose 0 = 2*y + 3*k + 2*k - 20, y = -2*k + 11. Is 4 a factor of c(y)?
True
Does 14 divide 306 + -2*(-1 + -2) + -4?
True
Let r(h) = h**2 - 9*h + 23. Suppose 5*c - 23 = -0*x + 4*x, c - 4*x + 5 = 0. Does 3 divide r(c)?
True
Let i = 7 - -6. Suppose -42*n + 48*n = 12. Suppose 3 + i = n*w - 4*g, -w + 23 = 3*g. Does 7 divide w?
True
Let s(c) = -c**2 + 7*c + 18. Let q be s(9). Suppose 7*t - 53 - 374 = q. Does 15 divide t?
False
Let g(r) = -r**3 + 18*r**2 - 15*r - 31. Let l be g(17). Does 3 divide (-6)/2*(-33)/l?
True
Let l(f) be the first derivative of -4*f + 8 - 1/2*f**2. Does 3 divide l(-10)?
True
Let c be -2 + 1 + -4 + 3. Let f be (c - -1)/(-2)*0. Suppose f = -i + 10 - 1. Does 9 divide i?
True
Suppose -4*x + n + 1532 = 0, -x + 20*n = 23*n - 396. Does 32 divide x?
True
Let g(c) = -7*c + 72. Is 12 a factor of g(-12)?
True
Is (0 - (1 + 2))*(-4268)/12 a multiple of 32?
False
Let x(s) = s**3 + 6*s**2 - 3*s - 6. Is 4 a factor of x(-6)?
True
Let f be ((-29)/(-4) - -1)/(99/528). Let l = 46 + f. Does 15 divide l?
True
Let g(x) = 14*x**2 - 20*x - 127. Is 54 a factor of g(-6)?
False
Let l = -2 + 1. Let q(o) = 16*o**2 + 11*o + 11. Let y(v) = 5*v**2 + 4*v + 4. Let s(b) = 3*q(b) - 8*y(b). Does 8 divide s(l)?
True
Suppose 866 - 171 = 4*n - 5*p, -2*n = p - 365. Is 11 a factor of n?
False
Is 600/(-105)*133/(-2) a multiple of 19?
True
Let r = 22 - -66. Is 3 a factor of r?
False
Does 11 divide ((-517)/235)/((-2)/4170)?
True
Suppose -5*c + 1068 = 4*d - 4*c, -4*d = -2*c - 1056. Is d a multiple of 14?
True
Let l(n) = -n + 2. Let i be l(-20). Let s = i - 11. Is s a multiple of 3?
False
Let w(c) = c**2 - 4*c + 4. Let j be w(4). Suppose 3*u = -j + 13. Suppose -u = -n + 4*z + 7, -50 = -3*n + 2*z. Is 5 a factor of n?
False
Suppose 0 = -g, g + 4 = 2*j + 3*g. Let m be (4*1)/(j + -4). Let r(w) = 4*w**2 - w. Does 6 divide r(m)?
True
Suppose 4*g = 4*s + 136, 0 = -3*s - g + 3*g - 102. Let k = 56 + s. Is 11 a factor of k?
True
Let d be -77 + 6/(5 - 2). Does 18 divide 4/10 + 5/(d/(-534))?
True
Let z be (-10)/1 + (0 - (6 - 3)). Let b = 111 + z. Is 14 a factor of b?
True
Let b(s) be the second derivative of s**4/12 + 2*s**3/3 - 5*s**2/2 - 5*s. Let f be b(3). Let r = -8 + f. Is r a multiple of 2?
True
Let d(x) = -8*x - 83. Is 7 a factor of d(-27)?
True
Does 35 divide (210/4)/((-768)/(-24064))?
True
Suppose -3*z + 6 = 3*l, 0 = -6*z + 4*z. Is 3 a factor of (-2)/(-4) + ((-25)/l)/(-1)?
False
Let y(d) = -9*d**2 + 27*d - 63. Let n(m) = 13*m**2 - 40*m + 95. Let q(u) = 5*n(u) + 7*y(u). Is q(7) a multiple of 17?
False
Let w = -20 + 82. Suppose 4*q - w = 22. Suppose -269 = -5*x + q. Is x a multiple of 29?
True
Is 82 a factor of 819 - (-1 + (1 - -3) + -4)?
True
Let t = 1305 - 921. Suppose -t = 4*o - 6*o. Does 48 divide o?
True
Is 57 a factor of (40 - 2)*5/(-30)*-261?
True
Let h(m) = 17*m - 64. Suppose -4*g + 3*c + 33 = -g, -g + 36 = 4*c. Does 13 divide h(g)?
True
Let b = -1 + 1. Suppose b = 3*s - 20 - 1. Is s a multiple of 2?
False
Let u(d) = d**2 - 1. Let q be u(-4). Suppose g = -q + 40. Suppose -3*n + 2*n + g = 0. Is 6 a factor of n?
False
Let a(h) = -678*h + 2. Does 40 divide a(-1)?
True
Suppose -60 = -5*o + 3*o. Does 13 divide (-652)/(-5)*75/o?
False
Let l(y) be the second derivative of 29*y**4/3 - 2*y**3/3 - 2*y**2 + 19*y. Is l(-1) a multiple of 9?
False
Suppose 0 = 3*j - 11 + 2. Is 12/(-3)*1 + 6 + j a multiple of 4?
False
Suppose y - 1 = 0, 2*m + 2*m - 119 = 5*y. Let r = m + -7. Does 21 divide r?
False
Does 100 divide 29/116 + 2563/4?
False
Let i(p) = -p**2 + 6*p - 5. Let g(v) = -v**2 + 6*v - 4. Let l(x) = -5*g(x) + 4*i(x). Let n be (-2)/(-11) + (-5460)/(-462). Does 12 divide l(n)?
True
Let x(n) = 6*n**2 + 2*n + 1. Let g be x(-1). Is 16 a factor of (-2)/g*((-316)/1 - 4)?
True
Suppose t - 69 = -0*t. Let r = -45 + t. Suppose 0 = -6*z + 162 + r. Is z a multiple of 4?
False
Let w = -1 + 1. Suppose 207 = 2*u + x, 0 = 2*u - w*x - x - 209. Is u a multiple of 8?
True
Let f be 604*(-18)/(-84) - 3/7. Let t = f + 18. Is 21 a factor of t?
True
Suppose 0 = -5*w + 23 + 27. Let z = w - 6. Suppose 2*i + 32 = z*i. Is i a multiple of 4?
True
Let b = 285 - 89. Is b a multiple of 28?
True
Suppose 10*o - 5*o = 1590. Suppose -2*k + o = 4*k. Is 31 a factor of k?
False
Let u(t) = t**3 + 7*t**2 - 4*t - 12. Let y be u(-7). Suppose 0 = -4*i + 2*d + 58, i + 4*d = -2*i + y. Is i a multiple of 3?
True
Let a(g) = -572*g + 72. Is 86 a factor of a(-3)?
False
Let a(v) = -v. Let p(u) = -3*u**2 + 34*u - 54. Let b(s) = -s**2 + 11*s - 18. Let q(g) = 7*b(g) - 2*p(g). Let o(t) = 3*a(t) - q(t). Does 12 divide o(12)?
False
Suppose i = -3*o - 3, -2*i - 2*o = i - 12. Let s(m) = 4*m**2 + 8*m + 2. Let u be s(i). Suppose -2*x - u = -5*x + 5*p, -4*x + 5*p = -267. Is x a multiple of 26?
False
Suppose -15 = -7*y - 1. Suppose 0 = n + g + y*g - 229, 3*n - 2*g = 720. Is n a multiple of 14?
True
Let j(o) = -24*o + 252. Does 46 divide j(-10)?
False
Let m(z) = -z + 1. Let w be m(1). Let f(c) = -3*c - 18. Let q be f(-7). Suppose -3*r + q*v + 2*v + 84 = w, 0 = 3*r + 3*v - 108. Is r a multiple of 13?
False
Let z be 6/21 - 38/(-14). Suppose z*u + 3*w - 28 = -2*w, 2*u - 4*w = -18. Is (1/(-4))/(u/(-12)) a multiple of 3?
True
Let a(w) be the second derivative of w**6/15 + w**4/12 - w**3 - 8*w. Let d(r) be the second derivative of a(r). Is 31 a factor of d(-2)?
False
Suppose -3 = i + 4*a, a + 27 = 2*i + 3*i. Suppose -i = -k + 2*z, -3*k - z = 2