 Is k(-6) a multiple of 173?
False
Suppose 45*l - 3431935 = 23*l - 163*l. Does 23 divide l?
False
Suppose -8*w + 3513 = -7*w + k, 4*w + k = 14037. Is w a multiple of 5?
False
Suppose 0 = 2*p + 387 - 1923. Suppose -49*x + 52*x = -p. Let g = -141 - x. Is 17 a factor of g?
False
Let j(m) = 283*m**2 - 31*m + 127. Is j(5) a multiple of 81?
True
Let f(n) be the second derivative of 175/12*n**4 + 1/3*n**3 + 22*n + 0 - n**2. Does 25 divide f(1)?
True
Is 3 a factor of 13 + -16 + 0 + 1 - (-5496 - -1)?
True
Let n = -49 - -53. Suppose 8 = 5*m + 18, -n*i + 132 = -2*m. Is (1/((-12)/i))/((-3)/18) a multiple of 2?
True
Let y = -21436 + 26016. Is 28 a factor of y?
False
Suppose -10*p - 185 + 1935 = 0. Suppose 171*u - p*u = -364. Does 9 divide u?
False
Let g(n) = -79*n - 6. Let z be g(-11). Let j = 1373 - z. Is j a multiple of 70?
False
Let l(b) = -10*b**3 + 10*b**2 + 4*b + 89. Let d(i) = -3*i**3 + 3*i**2 + i + 30. Let q(f) = 7*d(f) - 2*l(f). Is q(0) a multiple of 8?
True
Suppose -11007 = -4*d + l, 3*l + 4723 + 9034 = 5*d. Is 50 a factor of d?
False
Suppose -3 = -2*p - p, 5 = -f + 5*p. Suppose -2*w - 197 + 339 = f. Does 12 divide w?
False
Suppose -47*s + 52*s - 9600 = 0. Suppose -26*k + s = -21*k. Is 8 a factor of k?
True
Suppose 3*b + 67*t - 2368 = 66*t, -5*b + 3936 = -t. Is 5 a factor of b?
False
Suppose -2*i = -3*g - 26, 3*i - 27 = 4*g + 9. Let r(a) = 11*a**2 + 0*a**2 + 3*a**3 - 13 - 4*a**2 - 7*a - 2*a**3. Does 8 divide r(g)?
False
Let m = -104 + 159. Let b(x) = -9*x - m - x + 60. Does 5 divide b(-3)?
True
Suppose 0 = 9*t - 0*t - 27. Suppose 187 = -5*w + 5*q + 852, 0 = t*q. Does 21 divide w?
False
Let r(m) = m**3 + m**2 + m + 200. Suppose 467 + 115 = -6*g. Let b = g + 97. Is 17 a factor of r(b)?
False
Suppose 20*s = 18*s - 4*x + 50744, 2*x + 8 = 0. Does 188 divide s?
True
Let p(g) = -22*g + 12 - 2*g**3 + 13*g**2 + 3*g**3 - 26*g**2. Let w be p(15). Let m = w + -60. Is m a multiple of 36?
True
Let p = -511 + 516. Let c(t) = 2*t**3 - 2*t**2 + 3*t + 22. Does 5 divide c(p)?
False
Let z(d) = -9*d. Let o(t) be the third derivative of t**5/60 - 13*t**4/24 - 2*t**3 - 15*t**2. Let a be o(13). Is z(a) a multiple of 9?
True
Let h be -8*(-1)/(-3)*3. Let d(z) = -64*z - 10. Let v be d(h). Suppose 3*n + w = v, 2*n - 3*w = -0*n + 320. Is 19 a factor of n?
False
Let g(c) = 1886*c - 1651. Is 5 a factor of g(5)?
False
Suppose -p - 5*l - 2 = -20, 2*p - 4*l + 6 = 0. Let u(i) = -i**3 + 12*i**2 - i. Let z be u(12). Is 3 - (8/(z/p))/2 a multiple of 4?
True
Suppose 4*k - 2*h + 1560 = 0, 2*k - 5*h + 315 + 457 = 0. Let j = k + 1151. Is j a multiple of 37?
False
Suppose -4*j - 4*j - 1996 + 25804 = 0. Is 6 a factor of j?
True
Suppose 3*q - 4*t + 14 = 0, 4*q - 21 = -3*t + 2. Suppose -2*b - 724 = -q*p, 8 = -4*b - 0*b. Does 49 divide p?
False
Let z be 2*1/(-2) + -251. Let u be -3 - (1 + 423) - (-1)/(-1). Let f = z - u. Does 42 divide f?
False
Let f = 739 - -4367. Is 23 a factor of f?
True
Let c(z) = 253*z**2 + 1. Let r be c(1). Suppose -256*k + 140 = -r*k. Is 10 a factor of k?
True
Let g be ((-4)/(-2))/(-2 + 3). Suppose 2*m + 3*l - 116 = 0, 46 = -2*m + g*l + 182. Is m a multiple of 32?
True
Does 5 divide (-6271)/(-3) + (-7)/21?
True
Suppose 68*a = 69*a. Let i be (3 - -1) + -2 - a/(-1). Suppose -14 + i = 3*m, 3*m = -4*t + 360. Is t a multiple of 12?
False
Suppose 0 = 4*a - 4*x - 680, -4*a + 862 = a - x. Suppose 162 = 175*q - a*q. Is 2 a factor of q?
False
Let n(w) = -5*w + 10. Let l be n(8). Let q = l + 25. Is 23 a factor of (336/(-20) - -3)*q?
True
Suppose 40*p - 35*p = 0. Let f be p - 2/(-6) - (-8)/3. Suppose 0 = 2*w + x + 3*x - 100, 3*w - f*x - 150 = 0. Is w a multiple of 15?
False
Let w(k) = 2*k**3 - 6*k - 2. Let l be w(3). Suppose s = z - 3*s, 5*s - l = -3*z. Suppose 5*f = -3*t + 122, 3*t - z = 4. Does 11 divide f?
True
Let d(l) = 24*l**2 - 63*l - 747. Does 21 divide d(-14)?
False
Suppose 2*k = 4*d - 35396, 48*k - 8 = 47*k. Does 11 divide d?
False
Let j = -136 + 84. Let b be 2/(((-40)/(-404))/(-5)). Let n = j - b. Is n a multiple of 14?
False
Let p = -7503 - -28503. Does 30 divide p?
True
Let b be 25*5*4/20. Suppose -b*t + 23*t = -10. Suppose 0 = j + t*d - 3, -3*j = -4*d + d - 81. Does 8 divide j?
False
Let g(s) = -s**2 + 13*s + 16. Let z be g(9). Suppose z + 80 = -6*c. Let p = c - -112. Is 12 a factor of p?
False
Let x(t) = -8*t**3 + 9*t + 29. Is 24 a factor of x(-6)?
False
Let u be 12*32/(-10) + 3/(-5). Let c be (-2)/(-17) + (-752)/34. Let f = c - u. Is f a multiple of 17?
True
Let k be 1294/7 - (22 + -13)/(-63). Suppose -3*a + 2*f - 295 = f, 0 = -2*a - 2*f - 210. Let j = a + k. Is j a multiple of 11?
False
Suppose -73*a + 1196160 = -43*a. Is 112 a factor of a?
True
Let a = -315 - -326. Suppose a*j - 7714 = -1202. Is 37 a factor of j?
True
Let n be 96/36*4/((-32)/(-462)). Let m be (-24150)/n - 4/22. Let l = -93 - m. Is 8 a factor of l?
True
Suppose 78*k - 1008257 = -66*k + 479839. Is 98 a factor of k?
False
Let u(p) = 1648*p + 2355. Does 76 divide u(6)?
False
Suppose 5*i + 3*p = 8*p + 25, -4*i + 5 = p. Suppose 0 = k + k - 5*o - 129, 0 = i*k + 2*o - 164. Does 7 divide k?
True
Is (-3960)/2200*((1 - 5)/2 - 4693) a multiple of 9?
True
Let m be (-2)/4 - 6/((-60)/(-175)). Let d(o) = -o**2 - 17*o + 23. Let y be d(m). Suppose 3*x - 5*f - 529 = 0, 2*f = f - y. Does 25 divide x?
False
Let k be 9/(-21) + (-1 - 511/(-49)). Is ((-6)/(-6) - k)*(-94 - -4) a multiple of 16?
True
Let m(d) be the third derivative of 41*d**5/20 - d**4/6 + d**3 - d**2 + 11. Does 21 divide m(-3)?
False
Does 36 divide (-234)/((-72)/(-256)*(-4)/15)?
False
Let r = -51 + 46. Let c be 4 + (-7 + 3 - r). Suppose 0 = -c*b + a + 540, b + 2*a + 0*a = 108. Is b a multiple of 18?
True
Suppose 2*p + 138 = -b + 426, -4*p = -5*b - 548. Suppose 149*u - p*u = 2933. Is u a multiple of 26?
False
Let r(n) = n**3 - 28*n**2 + 135*n - 26. Is r(24) a multiple of 13?
True
Let g = -100 + 102. Let v(i) = 125*i**3 - 8*i + 6. Is v(g) a multiple of 15?
True
Suppose -4*z = 493 - 2333. Let s = -368 + z. Is 15 a factor of s?
False
Let q be ((-20)/6)/((-18)/(-27)). Let a(z) = -200*z + 21. Let s be a(q). Suppose 5*g - s = -y, -5*g + 5*y + 1029 = 4*y. Is g a multiple of 41?
True
Suppose 5*y - 3*f - 160 = 0, -4*y = -4*f - 103 - 25. Suppose h + 2*n = 9, 2*h - 5*n - 4 - y = 0. Is 6 a factor of h?
False
Suppose 2*v = -g - 13, 3*g + 7 = -g + v. Let r be -133*1 + g + 7. Let w = r + 250. Is 11 a factor of w?
True
Does 18 divide 11/(-11) - 2*-9757?
False
Suppose 14*q + 4 = 16*q. Suppose -p = -2*l - 359, 0*p + 704 = q*p + 3*l. Is p a multiple of 40?
False
Let m = 9906 + -6125. Is m a multiple of 8?
False
Let f = -130 + 124. Let p(r) = 25*r + 61. Let b be p(f). Let y = 125 + b. Is y a multiple of 6?
True
Suppose 0 = 15*u - 0*u - 1440. Suppose u*o - 9216 = 88*o. Is 64 a factor of o?
True
Let i be -6 - -2 - (18 - 22). Let o = 13 - 22. Is (143 - i) + (-8 - o) a multiple of 18?
True
Let n(s) = 191*s + 2595. Does 125 divide n(-5)?
False
Let r = -3898 + 6613. Does 4 divide r?
False
Let n = -1885 - -2878. Let j = -31 + n. Is 36 a factor of j?
False
Suppose -1816 = 2*o + 3*g - g, -4540 = 5*o - 2*g. Is 26 a factor of 2/(16/2470) - (-681)/o?
False
Let k be -8 + (-5 - (-6 - 3)). Is k - -1*4*750/5 a multiple of 39?
False
Let i(d) = -9*d - 21. Suppose 4 - 12 = -2*w. Suppose -w*f = 5*l - 3, 4*f - 4*l - 7 = -31. Is 6 a factor of i(f)?
True
Suppose -5*f + 101540 = 4*k, -3*k = 3*f - 47018 - 13909. Does 16 divide f?
True
Let v = -5830 + 7173. Is v a multiple of 55?
False
Let o = 32999 - 19262. Is 19 a factor of o?
True
Suppose -25*o - 2*o - 297 = 0. Let l(a) = -14 - 3*a - 2*a + 43. Is l(o) a multiple of 7?
True
Suppose g = -5*r - 12, -4*g = -3*g + 3*r + 14. Is (-1)/((-4)/135) + g/(-68) a multiple of 23?
False
Let f(s) = -1335*s + 10828. Is f(5) a multiple of 34?
False
Let g(c) = -c**3 - 2*c**2 + c - 4. Let n be g(-3). Suppose n*v - 351 - 272 = 5*s, s + v = -119. Let x = 191 + s. Is x a multiple of 17?
True
Let n(i) be the second derivative of -i**5/20 + i**4/3 + 7*i**3/3 + 13*i**2 - 69*i. Is n(-6) a multiple of 30?
False
Suppose 5*q + 229*y = 228*y + 37951, y = 3*q - 22769. Does 33 divide q?
True
Let l(t) = t**3 + 18*t**2 - 63*t + 261. Does 5 divide l(-21)?
False
Let j = 9574 - 7429. Is 13 a factor of j?
True
Let g(b) = -2*b**3 - 7*b**2 - 6*b + 15. Let p be g(-10). Suppose -6*x -