s 22 a factor of g?
True
Let u(s) = -3*s**3 - s**2 - 6*s + 23. Is u(-7) a multiple of 75?
False
Suppose 0 = 9*z - 15 - 3. Suppose -i = -2*d + 3*i + 82, 2*i - 58 = -z*d. Does 10 divide d?
False
Is 60 a factor of -2*30/(-8)*(-1210)/(-15)?
False
Let i(s) = 22*s**2 - 43*s - 13. Does 9 divide i(6)?
False
Suppose -5*d + 4*w + 860 = 0, 2*d - 6*d + 662 = 2*w. Does 14 divide d?
True
Let l(a) = -a + 7. Let j(w) = -w**3 + w**2 + 2*w - 1. Let i be j(-2). Let d = i - 10. Does 4 divide l(d)?
False
Let v be -1 - (2 + -5)/3*73. Suppose -11*z + 13*z = v. Is 12 a factor of z?
True
Let m = 1374 - -2066. Does 16 divide m?
True
Suppose 4 = -4*s - 16. Let z(p) be the third derivative of -p**4/12 - p**3/2 - 3*p**2. Does 7 divide z(s)?
True
Suppose 0 = 3*j + 27 + 15. Let b(n) = n**2 + 6*n - 4. Is b(j) a multiple of 27?
True
Let b(n) = -55*n + 10. Is b(-2) a multiple of 12?
True
Suppose -m + 2301 = 12*m. Is m a multiple of 11?
False
Suppose -5*b - 5*d - 695 = -7*b, -5*b = -d - 1795. Is b a multiple of 70?
False
Suppose -5*h + w + 1545 = -3*w, 5*w = -3*h + 927. Is 29 a factor of h?
False
Suppose -3*l + 2*s = 2*l - 220, -3*s = 3*l - 153. Is 9 a factor of l?
False
Let k(j) = 2*j**2 - 13*j + 9. Let l be k(8). Suppose -6 + l = 3*p. Let f(a) = -a**3 + 10*a**2 - 3*a - 10. Is 18 a factor of f(p)?
False
Let j(t) be the second derivative of 19*t**4/12 + t**3/3 - 8*t. Let c be j(2). Suppose c = a + 16. Does 16 divide a?
True
Let h(y) = -y**3 - 6*y**2 - 3*y + 12. Let c be h(-6). Suppose 3*g - c = 4*m, -3*m = -5*g - 0*g + 50. Is g a multiple of 2?
True
Let x = -172 + 296. Let h = x - -68. Is h a multiple of 48?
True
Let x = 1039 + -605. Is x a multiple of 19?
False
Does 24 divide 38646/54 - (-4)/3?
False
Suppose 0 = -27*t + 15567 + 52959. Does 50 divide t?
False
Let c = -1037 + 2517. Is c a multiple of 20?
True
Suppose 17 = 2*s - 3*g, 4*s - 2*g - 29 = 3*g. Is 15 a factor of ((-20)/(-12) - s) + (-237)/(-9)?
False
Let l = 21 - 11. Suppose -v = -4*i - l, -2*v + 20 = 8*i - 3*i. Does 10 divide v?
True
Suppose -7*i = -27*i + 9800. Is i a multiple of 14?
True
Let m(s) = 14*s**3 + s**2 + 2*s - 16. Is 26 a factor of m(3)?
False
Let p(d) = d**2 + 37*d - 178. Is 7 a factor of p(-42)?
False
Suppose -169 = -7*w + 370. Is w a multiple of 11?
True
Let j(r) = -2*r**2 + 2*r - 18. Let k be j(5). Let n(p) = -20*p + 4. Let f be n(-4). Let x = f + k. Does 13 divide x?
True
Suppose -3*o = -4*z + 2, -3*o - 7 = -3*z + 4*z. Let h = 5 + o. Suppose -d = -h*d + 80. Is 20 a factor of d?
True
Let h(r) = -5*r + 6*r - 5 + 17 + 8. Is 2 a factor of h(-12)?
True
Let m = 116 + -122. Let t(o) = -33*o - 18. Is 15 a factor of t(m)?
True
Suppose 0 = -4*w + 20, 0 = 4*h - w - 2*w - 1365. Suppose -h = -5*u - 3*z, 0*u + 365 = 5*u - z. Does 12 divide u?
True
Let d = 1029 - 825. Is d a multiple of 17?
True
Let h(o) = 2*o**3 - 17*o**2 - 2*o + 9. Let s(d) = -d**3 + 11*d**2 + d - 6. Let g(b) = -5*h(b) - 8*s(b). Is g(-3) a multiple of 8?
True
Let q = 35 + -22. Suppose -56*t + 29*t = -27. Let s = q + t. Is 7 a factor of s?
True
Let i be (-10)/40 + (-409)/(-4). Suppose -i = -4*b + 38. Let w = b + -19. Is w a multiple of 4?
True
Let b = 2308 - 1108. Does 50 divide b?
True
Let c(k) = k**2 - 3*k - 15. Let y be c(8). Suppose 19*z - y*z = -138. Does 2 divide z?
False
Let t = -15 + 9. Let u(n) = -n. Let s(k) = 17*k - 2. Let f(b) = t*u(b) - s(b). Is f(-5) a multiple of 19?
True
Is (-18)/((-684)/(-95)) - (-5022)/4 a multiple of 29?
False
Is 7 a factor of 75 + 0*(-4)/(-20)?
False
Let d(r) = -156*r + 147. Is 32 a factor of d(-6)?
False
Suppose -6 = 2*w + 3*b, 0 = 3*w + 3*b + 2*b + 11. Let x = w - -69. Is x a multiple of 12?
True
Suppose -34*b + 27441 = -4927. Is 17 a factor of b?
True
Let x be 3/((-18)/(-102))*(32 - 1). Let v = x + -287. Does 20 divide v?
True
Let j = 6032 + -3621. Does 96 divide j?
False
Let z be (-8)/(-1) - (-10 - -14). Does 4 divide 6/4 - (-90)/z?
True
Let y(o) = o**3 + 10*o**2 + 12. Let h be y(-10). Let n be (-180)/(-42) + 2/(-7). Suppose 0 = t + n*g + 3, 0 = 3*g - 0 + h. Is 5 a factor of t?
False
Suppose 0 = -b + 2*a + 235, 12*b - 228 = 11*b - 5*a. Is 47 a factor of b?
False
Let i = -17 - -11. Let m = i + 12. Suppose m*v + 15 = 129. Is v a multiple of 10?
False
Let w(i) = -15*i - 2. Let a(o) = -1. Let l(z) = 2*a(z) - w(z). Let g be l(2). Let u = 43 - g. Is u a multiple of 9?
False
Let f = -5 + 161. Is f a multiple of 47?
False
Does 5 divide (-3)/3 - (-2)/(-1)*-134?
False
Let d(i) = -i**3 + 7*i**2 - 8*i + 9. Let w be d(6). Let r be (0 - w - 5) + 6. Suppose -2*x = 2*s + x - 1, s = 2*x + r. Is s a multiple of 2?
True
Let m be 3 - (-3)/(12/16). Let r be 8/2 - 3/(-3). Let q = r + m. Does 2 divide q?
True
Let b be 0 - 705/(-1 + -4). Suppose -b - 278 = -4*n - 3*t, 3*n = -3*t + 318. Does 13 divide n?
False
Suppose -3*h = 12, -3*h = -2*y + 2*h + 1080. Is y a multiple of 53?
True
Suppose 7*s + 1782 = 18*s. Is s a multiple of 14?
False
Let g(x) = -10*x - 5. Is g(-39) a multiple of 19?
False
Suppose 6*g - 458 = -500. Let v = -92 - -33. Let i = g - v. Does 26 divide i?
True
Let j be (0 - -4)/((-2)/(-3)). Let s be (-4 + 95/25)*-335. Suppose 5*x = 3*z + 101, j*x - 3*x - 5*z - s = 0. Is x a multiple of 4?
False
Suppose 0*r = -5*m - 2*r + 2485, 4*m = -4*r + 1988. Suppose -m - 253 = -3*b. Suppose -18*y - b = -23*y. Is y a multiple of 12?
False
Let s(n) = -2*n + 39. Let p be s(17). Let k be -3 + 5 - (p - 3). Suppose 15*d - 10*d - 70 = k. Does 4 divide d?
False
Suppose 16*x + 1967 - 6431 = 0. Is x a multiple of 31?
True
Let s(p) = p + 1. Let i be s(2). Suppose 0 = -i*y + 9*y - 708. Does 17 divide y?
False
Let d be (-6)/((-4)/((-24)/(-9))). Suppose 0 = i - 3*v - 92, 4*i + d*v - 312 = 2*v. Suppose -100 - i = -2*h. Does 14 divide h?
False
Let h(z) = 14*z**3 + 9*z**2. Let c(p) = 5*p**3 + 3*p**2. Let w(j) = -7*c(j) + 2*h(j). Is 30 a factor of w(-2)?
False
Suppose -2 = -6*n - 2. Is 2 + 20 + (0 - n) a multiple of 11?
True
Suppose 5254*m - 5262*m = -6288. Is m a multiple of 6?
True
Is 23 a factor of (-25)/(-5)*343/5?
False
Let i be (-121)/22*4/2. Let s = 54 + i. Suppose -3*c - 48 = -h, 2*h - 56 = 3*c + s. Is 33 a factor of h?
False
Suppose 0*m = 4*m + 200. Suppose v + 5 = -3*c, -4*v + 4 = -5*c + 24. Let q = c - m. Is q a multiple of 10?
True
Let w(s) = -3*s + 13. Let t be w(10). Let q = -4 - t. Suppose 0*f = -f + q. Does 10 divide f?
False
Let q(n) = -n - 6. Let d be q(-10). Suppose -d*j + 494 = 66. Let b = j - 56. Is b a multiple of 17?
True
Suppose -2475 = -5*j - 5*v, 52*v + 2455 = 5*j + 53*v. Does 35 divide j?
True
Let s = -1457 + 2250. Is 8 a factor of s?
False
Let o(n) = -n**3 - 26*n**2 - n - 14. Let p(a) = -a**3 + 18*a**2 - 18*a - 9. Let v be p(17). Is o(v) a multiple of 2?
True
Let a(q) be the third derivative of q**6/120 + q**5/10 - q**4/6 - q**3/3 - 7*q**2. Is a(-4) a multiple of 23?
True
Let h(c) = 4*c - 22. Let y(q) = 2*q - 11. Let b(r) = 3*h(r) - 5*y(r). Let k be b(10). Suppose 2*f = -f + k. Is f a multiple of 2?
False
Suppose 4*f - 5*k = 568, 2*f + 5*k + 421 = 5*f. Is f a multiple of 3?
True
Suppose 0 = 2*a + y - 20 - 14, 0 = -4*y. Suppose -379 = -a*l + 250. Is l a multiple of 8?
False
Let q(m) = m**2 - 3*m + 5. Let u be q(5). Let h be (-26)/(-5) + 12/u. Is 4/(-2) + 324/h a multiple of 13?
True
Let w(m) = -387*m + 135. Does 17 divide w(-4)?
True
Let f(i) = -8*i + 37. Let n(p) = -8*p + 38. Let q(w) = -5*f(w) + 4*n(w). Is q(11) a multiple of 8?
False
Let f be (-170)/(-15) + 4/6. Is 16 a factor of f/28 + 999/21?
True
Let u(z) = z**3 + 21*z**2 + 10*z - 129. Is u(-14) a multiple of 68?
False
Let q(w) = -w**2 + 10*w - 12. Suppose 0 = 3*v - 21 - 0. Is q(v) a multiple of 2?
False
Let s = -310 + 312. Let o be (-5 - 1/1)*-3. Suppose -o = u - s*u. Does 18 divide u?
True
Suppose 64 = -10*r + 8*r. Let b = -2 - r. Is 5 a factor of b?
True
Suppose 4*q - 5*b + 587 = 6*q, 5*q = -5*b + 1445. Does 30 divide q?
False
Suppose 4*m - 11917 = 2771. Is 12 a factor of m?
True
Is 14 a factor of 2890/2 + -17 + 9?
False
Let q(k) = -k**3 - 27*k**2 + 54*k + 34. Is q(-29) a multiple of 52?
False
Let a(y) = 2*y - 10. Let u(c) = -2*c + 10. Let z(i) = 3*a(i) + 4*u(i). Is 28 a factor of z(-9)?
True
Let g(p) = 304*p - 86. Is 9 a factor of g(3)?
False
Suppose -20*q + 5575 = -18*q - 5*n, -5*q = n - 13951. Is q a multiple of 62?
True
Let p be (-6)/((3 - 0/(-4))/(-2)). 