7)/(1/(-1)). Let x = v + -3. Does 10 divide x/(-8)*46 + -3?
True
Suppose 0 = -17*v + 19*v - 1352. Is v a multiple of 26?
True
Let b(j) = 2*j**2 + 14*j - 7. Let u be b(-18). Let p = -201 + u. Is 25 a factor of p?
False
Let r(g) = g**3 + 5*g - 6. Let p be r(1). Let v(k) = -k**2 + 28 + k - k**3 - 3*k + 2*k**2. Is v(p) a multiple of 4?
True
Let k be -1*(-10 + -4) + -1. Let b(f) = 7*f - 4. Does 29 divide b(k)?
True
Suppose 3*p + 12 = 0, -p + 4*p = -2*b + 132. Let k(w) = w**3 + 12*w**2 + 6*w - 4. Let a be k(-11). Let d = b - a. Is 7 a factor of d?
True
Let g = 238 + 543. Is 11 a factor of g?
True
Let a be (-564)/10*(-120)/36. Suppose -2*b + 94 + a = 0. Does 33 divide b?
False
Suppose d = 7*d - 12. Let l(u) = 5*u. Let x be l(11). Suppose -3*g - 63 = -3*t, t + g = -d*t + x. Is 6 a factor of t?
False
Suppose 0 = 2*v + 2, -2*w - 5*v = -w + 19. Let a = -68 - -43. Let l = w - a. Is l a multiple of 5?
False
Suppose -1002 = -3*t + 3*p, -2*t + 829 - 158 = p. Is 9 a factor of t?
False
Suppose 5*c + 3*j = 1937, -2*c = 4*j - 241 - 531. Is 4 a factor of c?
True
Suppose -4 + 24 = 5*v. Suppose 20 = m - g, v*m + m + 4*g - 64 = 0. Does 16 divide m?
True
Suppose 0 = 12*x - 9*x + 159. Let j = -82 - x. Let l = j - -34. Is 2 a factor of l?
False
Let u be (-2539)/(-7) - (-4)/14. Suppose 11 = 5*b - 4, -u = -2*l + b. Does 26 divide l?
False
Let w = -17 + 61. Let q be (-1)/4 + 143/w. Suppose 0*l - q*l + 87 = 0. Is 9 a factor of l?
False
Suppose 0 = -4*g - 3*s + 921, -28*g = -31*g + 2*s + 695. Does 33 divide g?
True
Let n(m) = -763*m - 131. Is n(-2) a multiple of 45?
True
Let j be (-7)/(-35) - (-81)/(-5). Let x = j - -19. Suppose -x*w - c = -86, 4*w - c = -3*c + 118. Is 9 a factor of w?
True
Let z = 1466 + -638. Is 23 a factor of z?
True
Let n be (-36)/(-198) + 0 + 2/(-11). Suppose 2*b = 5*w + 6, -w + 0*w = 2*b - 6. Suppose -2*a + b*p = -117, 2*a + 0*a + 4*p - 124 = n. Is a a multiple of 14?
False
Let x = -10 - -20. Let w(t) = 12*t - 7*t**2 + t**3 - 4*t**2 + 3 + 2*t. Does 15 divide w(x)?
False
Let t be (3 - 11/3)*33. Let a = t + 51. Suppose w = -4, -4*d + a + 63 = -2*w. Is d a multiple of 21?
True
Suppose n - 14 = -4. Let r = n - 10. Suppose r*i - 2*i = -24. Is i a multiple of 4?
True
Let g(x) = 3*x + 7. Let y = 25 - -7. Suppose c = 5*c - r - y, 0 = -3*c - 4*r + 5. Is g(c) a multiple of 8?
False
Let k(n) = n**2 + 3*n - 14. Let f be k(-6). Suppose -f*j + 720 = 2*j. Is 20 a factor of j?
True
Let y = 15 - 13. Let a be -3 - (8/4 + y). Is ((-2)/3)/(a/21) even?
True
Let r(l) be the second derivative of -l**5/2 - l**4/6 - l**3/6 - 2*l**2 - 13*l. Is 14 a factor of r(-2)?
True
Let k = 26 - 8. Suppose 5*r - 6 = -q - 18, r + k = q. Does 11 divide q?
False
Let t(x) = -3*x - 6. Let p be t(-2). Suppose f - 6*f + 300 = p. Does 10 divide f?
True
Let z(j) be the third derivative of j**5/20 + j**4/12 - 7*j**2 + j. Let g(h) = -h**3 + 5*h**2 - 4*h + 2. Let n be g(4). Does 8 divide z(n)?
True
Suppose -3*p - 28 = p. Let h = -1 - p. Is 5 a factor of 33/h - 3/6?
True
Let f(s) = s**2 + 9*s + 6. Let z(w) = w**3 - 11. Let v be z(0). Is 6 a factor of f(v)?
False
Suppose 2*r = r + 5*c + 475, 4*c = r - 470. Does 12 divide r?
False
Let c(a) = 27*a**2 + 14*a - 8. Is c(4) a multiple of 12?
True
Let o = -424 - -750. Does 28 divide o?
False
Let f be (-245)/28 + 5 + 2/(-8). Let x(c) = -3*c**3 - 3*c**2 - 5*c + 7. Is 19 a factor of x(f)?
True
Let w be (-6)/21 - 1936/(-14). Suppose -5*x + 112 = -w. Does 8 divide 22*5/x*5?
False
Let f(a) = -5*a + 1. Let b(o) = -o**2 - 12*o - 6. Let t be b(-6). Let w be t/4*(-4)/6. Is 13 a factor of f(w)?
True
Is (48/72)/(4/1662) a multiple of 26?
False
Suppose 60*y = 56*y + 3624. Suppose d + 0*d = -3*l + 542, 5*l = -3*d + y. Is l a multiple of 27?
False
Let y(m) be the first derivative of -m**3/3 - 8*m**2 + 7*m + 27. Is 8 a factor of y(-12)?
False
Suppose -20 = -4*j, -o - 6*j + 152 = -j. Does 8 divide o?
False
Let a = -350 + 1106. Is a a multiple of 29?
False
Suppose 2*f = f - 5*h + 61, 0 = f - 5*h - 71. Suppose 3*s + f = 9*s. Is 2 a factor of s?
False
Let z(f) = -3*f**2 + 3*f + 3 + f - 2*f**2 + 6*f. Let m(w) = -6*w**2 + 11*w + 2. Let i(j) = 4*m(j) - 5*z(j). Is i(-6) a multiple of 14?
False
Suppose 7*a = 2386 - 132. Is 23 a factor of a?
True
Let l = 63 - 60. Suppose -5*g = z - 107, -z - 2*z + 321 = -l*g. Is z a multiple of 9?
False
Suppose -3*h = y - 2*h - 247, -2*y + 500 = 4*h. Is y a multiple of 5?
False
Let o be (-2)/(-11) - 844/44. Let r = o + 33. Suppose -b + r + 29 = 0. Does 12 divide b?
False
Let c = 467 + -448. Is 18 a factor of c?
False
Is 24 a factor of -9 + 60824/40 + (-6)/(-15)?
True
Suppose 4*t - 3*d = -71, d - 23 = t - 5. Is 3 a factor of t*(3 + -4) - 2?
True
Suppose 4*b - 1172 = -2*d, -6*b - 4*d + 869 = -3*b. Is 7 a factor of b?
False
Let k(n) = 219*n - 5. Does 32 divide k(2)?
False
Let m be 17/(-34) - 179/(-2). Let w = -85 + m. Does 4 divide w?
True
Let v be (2 + 212/6)*3. Let n be (-41 + 25)*-1*2. Does 13 divide 457/7 - n/v?
True
Let i = -1011 - -2074. Does 11 divide i?
False
Let b = -87 + 80. Suppose -8 = -j + 5*f, 0*j + 24 = -3*j - f. Does 3 divide b*(0 + 4/j)?
False
Suppose -4*g + 243 = -225. Suppose -115*m + g*m = 176. Is m a multiple of 11?
True
Suppose 0 = 5*p - 10, 3608 = 4*r + 2*p + 2*p. Is 20 a factor of (8/(-6))/((-5)/r)?
True
Suppose 14 = 5*v - 11, 0 = x + v - 10. Suppose 2*d - 200 = -3*z, x*z - 2*d = 2*d + 348. Is z a multiple of 34?
True
Let w(f) = -6*f**2 - 70*f - 81. Let q(d) = -d**2 - 14*d - 16. Let y(t) = -11*q(t) + 2*w(t). Does 18 divide y(7)?
False
Suppose -7*k - 15 = 6. Does 4 divide (-2 + k)/(-5)*28?
True
Let v = 3622 + -1582. Is v a multiple of 73?
False
Suppose -4*j + g + 435 = 0, -j - 546 = -6*j + 2*g. Let r = -63 + j. Is 5 a factor of r?
True
Let b(h) = -h**2 - 8*h - 1. Let s be b(-6). Let d = -5 + s. Let o(x) = -x**3 + 7*x**2 - 2*x + 4. Does 28 divide o(d)?
True
Let w(v) = v - 2. Let k be w(4). Suppose k*j = 5*a - a - 20, j + 4*a = -16. Let m = 10 - j. Is 11 a factor of m?
True
Suppose 9*k = 4*k + 25. Suppose -5*y + 266 = -2*c + 1378, 5*y = -2*c + 1132. Suppose -a - a = k*i - c, -2*i + 228 = 2*a. Is 34 a factor of i?
False
Suppose -5 = -3*i - 5*x, -2*x + 0*x = -2*i + 14. Suppose 0 = -i*s + p + 18, 3*s = -0*s + 2*p + 8. Suppose -v - 156 = -s*v. Does 26 divide v?
True
Let j(c) = -c**2 + 4*c + 4. Let n be j(4). Suppose -4*i + 248 = n*t, 0*t + 2*t = -2. Is i a multiple of 7?
True
Let p(f) = 10*f**2 - 22*f + 53. Is 5 a factor of p(14)?
True
Suppose 0 = -4*w - 3*y + 2512 - 178, 1749 = 3*w + 3*y. Is 9 a factor of w?
True
Suppose -4537 = -7*c - 568. Does 26 divide c?
False
Suppose -4*l = -15 - 5. Suppose q = -5*j + 3*j + 131, l*q = -4*j + 259. Suppose 4*p - p - j = 0. Is 11 a factor of p?
True
Suppose -5*b - k + 213 = 0, 5*b + 5*k - 3*k = 211. Suppose 2 = i - b. Is 45 a factor of i?
True
Let h(s) = s**3 - s**2 + 1. Let j(r) = 4*r**3 - 4*r**2 + 4*r + 5. Let n(g) = 5*h(g) - j(g). Let f be n(3). Suppose 0 = -2*p + 2 + f. Is p a multiple of 2?
True
Let o be 1/9 - (-800)/90. Let s be 1023/o + 4/12. Let r = -58 + s. Is r a multiple of 14?
True
Suppose 121*d = -18*d + 164298. Is d a multiple of 6?
True
Let l(h) = 11*h**2 - 3*h. Let g be l(-5). Suppose -g + 62 = -4*k. Let f = 108 - k. Is f a multiple of 17?
True
Let g(d) = 161*d**3 + 2*d**2 - d + 2. Let y(p) = -161*p**3 - 2*p**2 + 2*p - 3. Let b(a) = -3*g(a) - 2*y(a). Is b(-1) a multiple of 16?
True
Let c(v) = v**3 - 20*v**2 + 45*v - 57. Is 19 a factor of c(18)?
False
Let m(h) = h**2 - 10*h + 9. Let x be m(9). Suppose x = -3*q + 2*y + 185, 7*q + 3*y - 224 = 3*q. Let f = q + -29. Is f a multiple of 15?
True
Let d(o) = -2*o**2 + 4*o + 2. Let j(h) = -h**2 + h. Let l(m) = -d(m) + j(m). Let z be l(4). Suppose -z*t - 21 = -3*t. Is t a multiple of 9?
False
Let t(i) = -32*i**2 - 4. Let k be t(-2). Is 29 a factor of (-50)/(-20)*8/(-10) - k?
False
Does 44 divide 76/(-1064) + (-10473)/(-14)?
True
Suppose 7*p = -386 + 1261. Is 25 a factor of p?
True
Suppose -26 = 5*j - 6. Is ((-90)/j)/(1/2) a multiple of 9?
True
Suppose 4*n + 1 + 19 = 0. Let w = 4 + n. Is -2*w/((-8)/(-108)) a multiple of 9?
True
Let z = -495 - -575. Suppose -3*j - 7 = -2*o, -3*j - 10 - 7 = -4*o. Suppose 3*w - q - 3*q = 20, -o*w = 5*q - z. Is w a multiple of 6?
True
Let p = -105 - -130. Is 5 a factor of p?
True
Let z = 1580 + -37. Is z a multipl