) + 2*r(v). Let s be f(-1). Suppose 77 = y + 3*u + 2*u, 0 = s*y + 5*u - 385. Is y a multiple of 18?
False
Suppose 3*k - 161 = 67. Suppose -5*c - 11 = 9, 4*p - 4*c = k. Is 13 a factor of p?
False
Let q be (5/2)/((-2)/(-52)). Suppose 0 = -5*i + q + 160. Does 15 divide i?
True
Suppose -4*k - 1 = 11. Let v(a) be the second derivative of -a**3/2 + 3*a**2/2 + 2*a. Does 6 divide v(k)?
True
Is 456 - (-24)/(0 - 4) a multiple of 9?
True
Let b = 237 + -124. Let i be 3*b*(-4)/(-12). Let m = i + -77. Is m a multiple of 18?
True
Is 5 a factor of 0 + 4/22 + 489868/638?
False
Let v(l) be the first derivative of -l**3/3 - 5*l**2 + 11*l - 2. Let q be v(-13). Let c = -1 - q. Is c a multiple of 9?
True
Let b(r) = r**3 + 4*r**2 - 4*r + 3. Let p be b(3). Let u = -30 + p. Suppose -2*t - u = -6*t. Is 5 a factor of t?
False
Let s(l) = l**2 + 6*l + 1. Let k be s(-3). Let m = -5 - k. Suppose 63 = 2*q + m*q - f, -2*q - 3*f = -15. Is q a multiple of 7?
False
Suppose 11*u - 2*w + 769 = 12*u, -w + 772 = u. Is u a multiple of 25?
True
Let z be 891/4 - 9/12. Suppose -z = -5*c + 2*c. Does 10 divide c?
False
Let w(a) = -a**2 - a - 4. Let p(d) = d**2 + 4. Let n(k) = 3*p(k) + 2*w(k). Let j be n(3). Let y = 23 - j. Does 13 divide y?
False
Let u(m) = 2*m**2 + 4. Let p(l) = 2*l - 14. Let j be p(8). Is 9 a factor of u(j)?
False
Let k = 14 + -34. Let m be (-4 - -1) + -3 + 2. Is (-605)/k - (-1)/m a multiple of 9?
False
Is 110/935 + (-4)/(-17)*2099 a multiple of 10?
False
Suppose 6*s = 94 + 188. Is s a multiple of 5?
False
Let x be -2*2/(-4) - -3. Suppose x*r = -4, -4*p + r + 200 = -3*r. Is 7 a factor of p?
True
Let q(n) = -5*n - 13. Let g(l) = l**2 - 7*l - 9. Let s be 3/(-1 + -2)*-7. Let a be g(s). Is 16 a factor of q(a)?
True
Let c = 9 + -4. Let y(b) = -b**2 + 17*b. Let n be y(17). Suppose 121 = 2*u + c*g, -111 = -2*u - n*g + 5*g. Is 20 a factor of u?
False
Suppose 5*h + 3*y + 560 = 0, -5*y + 419 = -4*h - 66. Let c be 20/6*((-145)/(-25) + -4). Is 23 a factor of (-7)/(14/c) - h?
False
Suppose 5*n - 7 = 2*x - 44, -28 = -3*x + 2*n. Let h(k) = 3*k**2 + 2*k - 5. Does 27 divide h(x)?
False
Suppose -v + 14*v - 6773 = 0. Does 7 divide v?
False
Let j = 98 + -92. Suppose 4*d - o - 165 = 0, 3*d + j*o = o + 95. Does 15 divide d?
False
Let z(r) = r**2 - 5*r - 1. Let u be z(5). Let m(p) = 192*p**3 - p**2 + p + 1. Let h be m(u). Is 16 a factor of h/(-4) - (-11)/(-44)?
True
Let a be 20/(-30)*(-3)/1. Suppose 3*z - a = 2*z. Suppose z*k = 7*k - 140. Is k a multiple of 13?
False
Let s(f) = -f**2 + 12*f + 713. Is 31 a factor of s(0)?
True
Let h = 51 - -705. Suppose 3*x + x = h. Does 27 divide x?
True
Suppose -4*j + 2*c + 26 = -3*c, c = -3*j + 10. Suppose j*f - 55 = 41. Is f a multiple of 12?
True
Does 8 divide 40/(-6)*3486/(-415)?
True
Suppose 0*s + 96 = -4*m + 2*s, 2*s = -8. Let z = -10 - m. Is 16 a factor of z?
True
Suppose 0 = 4*k - 62 + 582. Let w = 219 + k. Let i = w + -51. Is 32 a factor of i?
False
Let r = 455 + 130. Is r a multiple of 15?
True
Let n = 82 - 64. Is 3 a factor of n?
True
Let g(a) = -8*a**3 - 54*a**2 - 19*a + 26. Is 128 a factor of g(-9)?
False
Let h(x) = 2*x**2 + 8. Suppose 3*z - b + 4*b + 18 = 0, 3*z = 3*b. Does 13 divide h(z)?
True
Suppose -2*j - 20 = -4*j. Does 10 divide j/5*(-39)/(-6)?
False
Suppose 4*f + 4*g = -g - 12, 3*f = -2*g - 2. Suppose -f*b + 128 = 2*z, 0*z - 2*b = -z + 70. Suppose -6 = 4*k - z. Is 7 a factor of k?
False
Let b(l) = -25*l**3 + 244*l**2 - 4*l - 5. Is 9 a factor of b(7)?
True
Is 3 a factor of (-4)/6*54/(-1)?
True
Suppose s = -s - 8. Is 18 a factor of s/7 - (2 + 2070/(-21))?
False
Let z = 1189 + -739. Does 9 divide z?
True
Is 278*11/(-44)*28/(-2) a multiple of 21?
False
Let j(s) = s**3 - s. Suppose -3*f - 6 - 6 = 0, -a + 4*f + 17 = 0. Let w be j(a). Suppose w = -4*g + 239 - 43. Is g a multiple of 25?
False
Let j(w) = -w**3 + 4*w**2 + 4*w + 7. Let p be j(5). Suppose 3*k - 7*k + 398 = 2*g, -p*g = 3*k - 297. Is 10 a factor of k?
False
Is -9 - (-6 - -6) - -1481 a multiple of 37?
False
Suppose 0 = -2*t - t. Suppose 105 = -t*b + 7*b. Is 10 a factor of 4/(3*1/b)?
True
Let s(w) = 18*w - 77. Is s(11) a multiple of 11?
True
Let h(f) = 11. Let k(i) = 5. Let j(c) = 4*h(c) - 9*k(c). Let w(p) = 15*p - 7. Let y(a) = -4*j(a) + w(a). Is y(3) a multiple of 21?
True
Suppose t - 36 = -3*t + 3*g, 4*t - 4 = -5*g. Let a = t - 9. Let x = 9 + a. Is x a multiple of 2?
True
Suppose c - 40 = -3*c. Let r(q) = 6*q**2 - q + 1. Let f(b) = -18*b**2 + 4*b - 4. Let x(j) = c*r(j) + 3*f(j). Is 8 a factor of x(2)?
False
Is 10 a factor of -8 - (-4 + 12 - 935)?
False
Let d(p) = 2*p - 3*p**3 - 6 - 4*p**2 + p**3 + 0*p + 3*p**3. Is d(6) a multiple of 25?
False
Suppose -3*w - 3*t = -807, -1369 = -4*w - w + 3*t. Let f = w - 185. Does 29 divide f?
True
Suppose 0 = 28*i - 8589 - 33551. Is i a multiple of 11?
False
Let k(t) = 1 + 0 + 459*t + 29*t**2 - 458*t. Does 11 divide k(-1)?
False
Suppose 5*i = 2*k + 164, 5*k + 3 = 6*k. Let m = 94 - i. Is 12 a factor of m?
True
Let h(m) = 39*m. Let w be h(1). Suppose 19*o - 951 = 18. Suppose 0 = 2*v - 5*a - w, 5*v - 3*v - a - o = 0. Is 27 a factor of v?
True
Let z(x) = -124*x. Let a be z(-1). Let v be (-9)/12 - a/(-16). Let s = 27 - v. Is s a multiple of 5?
True
Suppose -5*u + 3*n = n + 3, -u = -4*n - 3. Does 19 divide (-9 + 4 - u) + 80?
True
Let f(u) = -u**2 - 8*u. Let l be f(-8). Suppose l = -4*m + 8*m + 20. Is 11 a factor of 1326/30 + 1/m?
True
Let q(v) = -v**3 - 3*v**2 + v - 1. Let n be q(-7). Suppose 0 = k + 26 - n. Suppose -4*i + 58 + k = 0. Is 24 a factor of i?
False
Let i(b) = b**2 - b - 3. Let g be i(-3). Suppose -5*s + g = -11. Is s/(-6)*(8 + -44) a multiple of 12?
True
Does 16 divide 0 + (-9)/(-36) - (-1406)/8?
True
Let h be (-585)/(-81) + (-4)/18. Suppose -h = -2*o + 1. Suppose -o*s = -40 - 36. Is 9 a factor of s?
False
Let i = -3 + 6. Suppose 2*s - 2 = 0, -2*z + i = 3*z - 2*s. Is z + -4*1 - -45 a multiple of 12?
False
Let b(j) = -j + 9. Let u be b(-3). Let c = u - -3. Is c a multiple of 5?
True
Let l = -115 - -171. Suppose -2*r = 4*c + 28 - 84, -3*c = 2*r - l. Is r a multiple of 9?
False
Let p = 2 - -2. Suppose 0 = h - q + 3*q + 84, 336 = -4*h + p*q. Is 6 a factor of ((-5)/(-3))/((-4)/h)?
False
Let f(z) = z**2 + 10*z + 2. Let r be f(-7). Let h = r + 133. Does 38 divide h?
True
Let h = -148 - -104. Let d be h + 0 + (-4 - -3). Does 15 divide (0 + d)/((-27)/18)?
True
Let y(s) be the first derivative of -28*s**2 - 4*s - 3. Let n be y(-4). Suppose -3*l - 2*l = -n. Does 20 divide l?
False
Suppose 4*n - 2*v - 4932 = 0, 5*n - 5*v - 8673 + 2518 = 0. Does 47 divide n?
False
Let i = 32 + -29. Does 26 divide (18/(-8))/(i/(-80))?
False
Let g be (0 - -2)/(4/14). Let a(k) = -3*k**2 + 8*k - 5. Let y be a(g). Is ((-3)/(-4))/((-4)/y) a multiple of 6?
True
Let k = 1477 - 400. Does 45 divide k?
False
Suppose 4*x = -i - x + 14, -10 = -i - 4*x. Let t be 1 + -2 + i + -3. Is 5 a factor of (-18)/9*t/4?
True
Does 88 divide 16/(-112) + ((-2438)/(-14) - -2)?
True
Let y(v) = 4*v**2 + 4*v - 12. Suppose 0 = 5*g - 89 + 59. Is y(g) a multiple of 39?
True
Let r be 6*(-58 + -1) + -1. Let z = -151 - r. Does 16 divide z?
False
Suppose 0 = -5*r - 5*x + 10, -3*x - x = 3*r - 8. Suppose -2*b - 9 + 59 = r. Is b a multiple of 25?
True
Suppose -2 = -3*x + 4*p + 4, 0 = 5*p. Suppose 3*f = -5*u - f + 307, 5*f = -x*u + 116. Is 7 a factor of u?
True
Suppose -66*i - 2128 = -68*i. Is 14 a factor of i?
True
Suppose -7*m = -3*m - 3*o - 4475, 0 = m - 2*o - 1115. Is 52 a factor of m?
False
Is 8 a factor of 6/54 - ((-31855)/45 + -4)?
True
Let a = -77 + 662. Is 13 a factor of a?
True
Suppose 904 = -3*x + 1090. Is 62 a factor of x?
True
Let v(q) = q**3 - 5*q**2 - 44*q + 10. Does 36 divide v(13)?
False
Suppose -c = 5*m - 158 - 214, 2*c - 749 = -5*m. Is 7 a factor of c?
False
Is 59 a factor of ((-2)/(-14))/((4 - 7)/(-21651))?
False
Let s(q) = -q**3 - 9*q**2 - 7*q + 10. Let m be s(-8). Suppose -5*r - 15 = 0, 0 = -j + 5*r + 1 - m. Let w = 61 + j. Is w a multiple of 13?
False
Let g(s) = -57*s + 52. Let a(o) = 14*o - 13. Let k(d) = -9*a(d) - 2*g(d). Let y be k(-6). Let x = y + -25. Does 12 divide x?
True
Suppose -247*o + 27508 = -234*o. Is 23 a factor of o?
True
Let t(a) = -8*a**3 - 2*a + 3. Let r be t(2). Is 5 a factor of (-2171)/r + (-4)/10?
False
Suppose -7*f = 33 - 89. Suppose -5*i - 433 = -n + 308, -n - 4*i 