 + 26 = -4*g - 4*q. Let v be j(g). Is (-2)/v*22*-10 a multiple of 22?
True
Suppose 0 = 6*l + 4 - 34. Suppose -2*s - 3*s = l*k - 890, 0 = 3*s - 3*k - 504. Does 20 divide s?
False
Let b be 4/(16/(-388)) - -2. Let i = -77 - b. Is 12 a factor of i?
False
Let y(x) = -2*x - 18. Let d be y(-9). Suppose d = -5*v - 1 - 4, -61 = -5*n + v. Is n a multiple of 7?
False
Suppose -2*c = -13*c + 16368. Is 16 a factor of c?
True
Suppose 2*t - 6*t = 0. Suppose -2*q + b = 5*b - 72, t = -5*q + 2*b + 144. Suppose -3*v + 0*v = -q. Is v a multiple of 8?
False
Let m = 275 - 80. Is 29 a factor of m?
False
Is (-1019130)/(-245) - (1 + 18/(-14)) a multiple of 80?
True
Let t(b) = 2*b**3 - b**2 + 5*b - 84. Is t(7) a multiple of 12?
True
Suppose s + 4*r = 69, -5*s + 4*r = 9*r - 330. Does 5 divide s?
True
Is (-1 - (-1 - 2))/((-32)/(-8304)) a multiple of 20?
False
Suppose -20 = -4*w, w + 1042 = 4*v - 5905. Is 11 a factor of v?
True
Suppose -13*a - 1243 + 9082 = 0. Does 8 divide a?
False
Let j(n) = -2*n + 5. Let u = -33 - -39. Let p be j(u). Is -3 - p/1 - -72 a multiple of 19?
True
Suppose 3*c - 6*c = -12. Let d(k) be the second derivative of -k**4/12 + 5*k**3/6 + k**2 - 72*k. Does 3 divide d(c)?
True
Is 6 a factor of (-5696)/96*(-11 + 2)?
True
Let j(f) = 5*f**2 - 4*f + 2. Let t be j(1). Suppose -t*z + 128 = -2*z. Is 16 a factor of z?
True
Suppose -5*m = -2*m - 48. Let t = m - 26. Does 16 divide 48/t*(-80)/6?
True
Suppose -21*y = -2053 + 373. Is 8 a factor of y?
True
Is (-153006)/(-238) - (144/(-68) + 2) a multiple of 33?
False
Suppose 0 = 2*w + 5*i - 13, -3*i = -3 - 0. Suppose -v - f + 23 = 4, -3*v - w*f + 52 = 0. Does 14 divide v?
False
Suppose -2*h + 32 = 4*o, 3*h - 3*o = -0*o + 12. Suppose 2*n = p + 140, 5*n - 337 = 4*p - h*p. Is 23 a factor of n?
True
Let r = 784 - 419. Suppose -4*g - 3*z = g - 405, 5*g - 5*z - r = 0. Is 26 a factor of g?
True
Let c = -9 - -15. Suppose -y = -c*y + 15. Does 5 divide ((-20)/8)/(y/(-6))?
True
Let g = 79 - 12. Let n = -73 - -77. Suppose -3*m + g = -n*s + 5*s, 1 = s. Is m a multiple of 11?
True
Suppose -16*w + 5724 + 244 = 0. Is w a multiple of 16?
False
Suppose g + 3*m + 711 = 5*g, 5*g - 3*m - 888 = 0. Is g even?
False
Suppose 28 = 2*a + 4*i, -3*a + i + 22 = -3*i. Suppose 14 = z - a. Does 8 divide z?
True
Let u(d) = -88*d - 116. Is 42 a factor of u(-8)?
True
Suppose 0 = n - 4*n - 2*l + 946, 5*n - 5*l - 1535 = 0. Is 38 a factor of n?
False
Suppose -60*s + 61*s = 3450. Is s a multiple of 21?
False
Let j = -18 + 20. Let c be ((-13)/(-1))/(j - 3). Let k = 23 + c. Is k a multiple of 7?
False
Suppose 3*n = 5*g - 854 - 203, 2*g - 419 = 5*n. Is 3 a factor of g?
False
Let b(u) = u**2 + 2*u + 5. Let j be b(5). Suppose 5*y + 3*i - 69 = 0, -8*i = -4*y - 3*i + 70. Suppose -y = -5*w, 2*l - w = j + 47. Is l a multiple of 9?
True
Suppose -4*p + 874 + 3806 = 0. Is p a multiple of 15?
True
Let l(c) = -c**2 - 19*c. Let v be l(-19). Let f(z) = 2*z**2 - 2*z - 1. Let k be f(2). Suppose v = -k*h - h + 132. Does 18 divide h?
False
Suppose -5827 = -3*l - 4*i, l - 1945 = 8*i - 12*i. Is l a multiple of 11?
False
Suppose 0 = 25*y - 3*y - 11110. Is y a multiple of 3?
False
Let b = -116 + 197. Suppose 2*w - 63 = b. Suppose 0*o + 3*o - w = 0. Does 13 divide o?
False
Let t(s) = 3*s**3 - 76*s**2 - 38*s + 54. Does 13 divide t(26)?
False
Let u = -476 + 575. Is 11 a factor of u?
True
Let j(z) = -2*z**2 - z + 115. Let x be j(0). Let h = x - 52. Is h a multiple of 21?
True
Suppose 87 = 2*n - 113. Suppose n = 5*a + 280. Let f = 94 + a. Does 29 divide f?
True
Let d be -4 + (-12 - (1 + -3)). Does 12 divide -96*(d/(-4) + -4)?
True
Does 15 divide ((-50)/8)/(3*1/(-360))?
True
Let s = -32 - -36. Suppose 0 = w + s*n - 21, -5*n - 3 = 3*w - 4*w. Is w a multiple of 2?
False
Suppose -62*p + 2791 = -21265. Is p a multiple of 5?
False
Let k(y) = 3 + 9*y - 17*y + 9*y + 3*y. Is 13 a factor of k(8)?
False
Suppose 0 = -33*f + 2099 + 2059. Is 9 a factor of f?
True
Let l(i) = -i**3 + 11*i**2 - 3*i - 7. Let c be l(7). Let u = c + -120. Does 8 divide u?
True
Let h = -50 - -29. Let z be (-6)/4*28/h. Suppose 47 = z*r - 23. Is 9 a factor of r?
False
Let d = 400 + -274. Is d a multiple of 21?
True
Let a(l) = l**2 - 66*l + 69*l + 1 - 2. Let k be a(-8). Suppose 4*v - 90 = 2*o, v + 0*v + 5*o - k = 0. Does 8 divide v?
True
Suppose 11*y = 1048 + 11415. Is y a multiple of 12?
False
Let k(t) = 117*t**2 - t. Let v be k(1). Suppose 2*s + 4*g = 6*s - 288, -4*s - g + 298 = 0. Let b = v - s. Is b a multiple of 14?
True
Let b(v) = 1 + 12 - 4 - 421*v. Let c be b(5). Is (-1)/5 - c/80 a multiple of 7?
False
Suppose -5*c = -0*c + 4*o - 1127, -3*c = -4*o - 657. Does 43 divide c?
False
Let j = -205 - -345. Let z be (-16)/10*j/(-7). Suppose -19 = -l + 3*p - p, -3*l + p + z = 0. Does 4 divide l?
False
Let p = 89 + 266. Suppose -p = -8*f + 445. Is 9 a factor of f?
False
Suppose -134*d = -149*d + 58560. Does 16 divide d?
True
Suppose -3*w + 141 = 3*j, -w - j = 4*j - 39. Let d = w + 4. Is d a multiple of 10?
False
Suppose -5*n = 19*z - 24*z + 15765, -2*z - n + 6294 = 0. Is z a multiple of 118?
False
Suppose 2*w - 10 = 2*z, -14 = -2*w + 10*z - 12*z. Let d(a) = 18*a + 12. Is d(w) a multiple of 40?
True
Let h(i) = -i**2 + i + 1. Let c be h(0). Suppose 0 = 14*o - 11*o. Suppose -r - c + 7 = o. Is 2 a factor of r?
True
Let b be ((-1)/(-5)*5)/((-2)/(-172)). Let s = 329 - b. Is 39 a factor of s?
False
Let j(k) = k**3 - 3*k**2 - 7*k + 4. Let v be j(5). Suppose -p = -t + 30, -3*p + v = 3*t - 47. Let s = 39 - t. Is s a multiple of 8?
False
Is (7 - 1)/(26/299) a multiple of 23?
True
Let w = -43 - -90. Let u be ((-7)/28*-102)/((-3)/4). Let o = u + w. Is o a multiple of 3?
False
Is (3 + -9 + 1719)*(-1)/(-3) a multiple of 44?
False
Let i(b) be the first derivative of -b**3/3 + 8*b**2 - 13*b + 3. Let z be i(13). Suppose -u + 27 = j, 2*j = -0*u - u + z. Is 7 a factor of u?
True
Let a(r) = -r**3 - 4*r**2 - r - 4. Let t be a(-4). Suppose 6 = -t*l + 3*l. Suppose -2*o - l*o = -32. Is o a multiple of 4?
True
Let u(x) = -x**3 - 3*x**2 + 3*x + 34. Is 29 a factor of u(-9)?
True
Let h(n) = 6*n + 26. Let i be h(-11). Let o = i - -49. Does 9 divide o?
True
Let f(d) = d**3 + 5*d**2 + 5*d + 9. Let x be f(-4). Suppose -n = -x*g + 232, 3*g + 6*n - 132 = 3*n. Is g a multiple of 7?
False
Let u = 44 - -207. Is u even?
False
Suppose -g - 11 = 77. Let o = 153 + g. Is o a multiple of 23?
False
Let l(m) = m - 18. Suppose 0 = 3*i + 4*q - 18, 5*i - 17 - 13 = 2*q. Let u be l(i). Let o(w) = w**3 + 11*w**2 - 15*w - 18. Is 4 a factor of o(u)?
False
Let n be (-2804)/(-8) - (-2)/4. Let f = -138 + n. Does 37 divide f?
False
Let x be -8 + 122 + (0 - 0). Suppose 5*w + x = 4*h, h + h - 54 = w. Is 17 a factor of h?
False
Suppose -6*t - x + 7696 = -t, -5*t = -5*x - 7720. Is t a multiple of 22?
True
Let x(l) = -3*l - 14. Let v(h) = h**2 + 6*h - 11. Let r be v(-6). Is x(r) a multiple of 11?
False
Suppose 8470 = 29*v + 41*v. Is v a multiple of 4?
False
Let g(l) = 2*l**3 - l**2 - 2*l - 1. Let p be g(2). Let v = p + -2. Let b(h) = -h**2 + 7*h - 4. Does 6 divide b(v)?
True
Suppose -3*t = 3*c - 1734, 5*t - 7*c + 5*c - 2911 = 0. Is t a multiple of 48?
False
Suppose -7*l + 3*i + 262 = -2*l, 0 = -4*l + 3*i + 212. Suppose y + 2*o = l, -26 = -2*y + o + 69. Does 12 divide y?
True
Suppose 2*a + 162 = -7*a. Let o be ((0 + 0)/(-2))/2. Is (0 - o) + a/(-6) even?
False
Suppose -21*s + 1480 = -13*s. Does 37 divide s?
True
Let k(d) = 1003*d**2 + 7*d - 7. Is 35 a factor of k(1)?
False
Let h = 1443 + -443. Does 10 divide h?
True
Suppose -3*d + f + 235 = 0, -2*d + 0*f - 2*f = -170. Is 10 a factor of d?
True
Does 49 divide (160/25 + -6)/(3/735)?
True
Let j = 231 - 71. Is 13 a factor of j?
False
Suppose 5*l + 4*b = 982, l + 5*b = 111 + 98. Suppose 0 = 6*o - 1538 + l. Is o a multiple of 14?
True
Let u(d) = d**2 + 8*d + 7. Suppose 3*q - 4 = -28. Let g be u(q). Suppose 174 = g*s - 5*s. Does 23 divide s?
False
Does 19 divide (-3)/(4 - (-98)/(-24))?
False
Let t be 32/6 + 1/(-3). Suppose -3*j + 35 - 5 = 5*x, t*j = 3*x + 16. Suppose p - j*p = -16. Is 4 a factor of p?
True
Let f(m) = 16*m**2 - m. Let x be (10/15)/((-2)/3). Does 2 divide f(x)?
False
Suppose 17 = -4*x + 169. Suppose 0 = 6*g - 5*g - x. Suppose 0 = -r + p + g, -5*r + 155 = -p - 47. Is r a multiple of 18?
False
Suppose 2*n - 6*l + l = -21, -4*n - 1