v - 7, 4*y - 7 = -d*v. Suppose -41 = -3*i + 2*u - 12, 0 = 5*i - v*u - 45. Is 6 a factor of i?
False
Let r = -68 - -71. Suppose -r*o - 114 = -798. Is o a multiple of 38?
True
Let w = 309 + 171. Is 40 a factor of w?
True
Let o = 940 + -470. Is o a multiple of 11?
False
Let q(u) = -u**3 + 15*u**2 + 18*u - 5. Let m(b) = b**3 - 10*b**2 + 8*b + 24. Let d be m(9). Is 34 a factor of q(d)?
False
Let c(l) = -l**2 + 6*l - 3. Let d be c(5). Let h(o) = o - 5*o + d*o**2 + o. Is h(6) a multiple of 15?
False
Let l(i) = i - 2. Let g be l(5). Suppose t - 3*j - 3 = -j, t = g*j. Let n(k) = -k**3 + 9*k**2 + 4*k - 1. Does 14 divide n(t)?
False
Let x(o) = 3*o**2 - 2243*o + 2255*o + 0 + o**3 - 3 - 14*o**2. Let g(s) = -s**2 - 7*s. Let w be g(-5). Does 3 divide x(w)?
False
Let a = -633 - -1179. Does 14 divide a?
True
Let y(r) = -176*r + 408. Is 9 a factor of y(-3)?
True
Suppose 0 = -z + 2 - 0. Suppose z*f - 3 = 5. Suppose 0 = q - f*x - 51, -240 = -4*q - 4*x + 8*x. Is q a multiple of 21?
True
Let f(z) = -4252*z + 6 + 4238*z - 4*z**2 + z**3 + 1. Is f(7) a multiple of 14?
True
Let k(x) = x**3 + 47*x**2 + 132*x + 19. Does 3 divide k(-44)?
False
Suppose -3*t - 1437 + 6367 = 5*q, -3*q = -3*t - 2958. Is 58 a factor of q?
True
Let d(y) be the first derivative of -y**4/4 - y**3 + 2*y + 5. Let n be d(-3). Suppose -n*b - 230 = -4*o, -4*b = -2*o + b + 119. Is o a multiple of 24?
False
Let b(k) = -k**2 - 6*k - 7. Let c be b(-3). Suppose -4*z + 6*z - 3*l = -9, 5*l = -c*z - 17. Is z/30 + 162/10 even?
True
Let c(i) = -55*i + 187. Is 107 a factor of c(-18)?
True
Let v = 12 - 10. Suppose q = -p - 13, -2*p = -q - v*q + 1. Let r = 5 - p. Is r a multiple of 13?
True
Let n(v) = v**3 + 3*v**2 - v + 5. Let a be (-2)/(-10) - 28/(-10). Is n(a) a multiple of 12?
False
Let x(m) = -21*m + 9 + 11 - 14*m. Does 16 divide x(-5)?
False
Is 4 a factor of 1/((-3)/1704*-8)?
False
Let y(u) = -24 - 40 - u + 85. Is y(11) a multiple of 9?
False
Suppose 2*t - 540 = 6*t. Let s be t - (2 + -2)/(-5). Let z = -55 - s. Is 22 a factor of z?
False
Let o be (6/6)/(1/4). Is (-10 - -8)/(o/(-22)) even?
False
Suppose 3 = 3*s, 0*s = -j + 4*s + 3. Suppose 6*y + 5 = -j. Let u = 11 + y. Is u a multiple of 3?
True
Let h = 25 + -17. Suppose i - h = -i. Suppose g + 116 = i*w - 3*g, 2*w - 54 = 3*g. Is w a multiple of 11?
True
Let a be (-2)/(-4)*(19 - 21). Is 12 a factor of (-7 + 38/6)/(a/36)?
True
Suppose 5*a - 4765 = -14*q + 9*q, 0 = -2*q + a + 1900. Does 8 divide q?
False
Suppose 5*c - 13 + 38 = 0, 0 = -5*s + 5*c + 105. Suppose -2*n - i = -5*i - s, n + 3*i - 18 = 0. Is 2 a factor of n?
True
Let i(r) = r**2 - 12*r + 2. Let a be i(12). Suppose 4*v = -0*k + 2*k - 204, a*v + 208 = 2*k. Is k a multiple of 44?
False
Let l(o) = 30*o - 9. Let j be l(-4). Let v = 311 + j. Let x = v - 130. Is 26 a factor of x?
True
Let b be (66/(-44))/((-2)/(-2224)). Does 7 divide b/(-30) + -7 - (-4)/10?
True
Let a = 32 - 27. Let n(c) = 79*c + 6. Let k(m) = -53*m - 4. Let s(h) = a*n(h) + 7*k(h). Is 6 a factor of s(1)?
False
Does 16 divide (-9 + 4)/((-10)/1270)?
False
Suppose -5*t + 3*d = -0*d - 280, -5*d - 152 = -3*t. Is 5 a factor of t?
False
Suppose -2*v + y = -147, 0 = -3*v - 5*y + 239 - 51. Is 51 a factor of v?
False
Suppose -o + v + 2 = 0, -2*v - 10 = -5*o - 3. Suppose 4*s = 0, s = 2*z - 4*s + 10. Let d = o - z. Is d a multiple of 2?
True
Let w(n) = 2*n + 53. Let c = 42 + -42. Is 7 a factor of w(c)?
False
Let d = -28 - -33. Suppose 3*x - d*r = 130, -r = -0*r + 2. Is x a multiple of 4?
True
Let o(v) = 4*v**2 + 6. Let q be o(-4). Is 36/10*q/21 a multiple of 4?
True
Suppose -5*h - u - 31 = -2*u, 3*u = 3. Suppose 5*r - 138 = -5*w + 2*w, -142 = -5*r - 2*w. Let f = r - h. Does 9 divide f?
True
Let v be (-942)/36 - (-1)/6. Let f = v - -30. Let u(k) = 20*k - 10. Does 14 divide u(f)?
True
Suppose 3*y + 2*a - 6978 = 0, 2*y - 2*a - 6966 = -y. Does 83 divide y?
True
Let t be (-1)/(3 + (-30)/9). Suppose 0 = -13*k + 15*k - 18. Is (3 - -180)*t/k a multiple of 11?
False
Let q(m) = -m**3 - m**2 + m + 12. Let l be q(0). Suppose l*x - 135 = 7*x. Does 19 divide x?
False
Let i = -192 + 344. Is i a multiple of 10?
False
Let w be -1 - 0 - (-27)/1. Let i = w + -24. Suppose -4*o - i*y = 2*y - 144, -4*o + 144 = 2*y. Is 9 a factor of o?
True
Suppose 3*k = -5 + 38. Suppose -k = -2*o - 3. Is o a multiple of 4?
True
Let o(f) = 22 + 5*f + 4*f + 2*f**2 - 20. Let g be o(-8). Is 14 a factor of g - (4 + (-4)/2)?
True
Let a(d) = d**2 - 44*d + 548. Is a(0) a multiple of 6?
False
Let t be (12/(-10))/(10/(-25)). Suppose -t*w = -w. Suppose w = -4*h - 2*v + 142, 0 = 2*h + 3*v - 0*v - 69. Does 12 divide h?
True
Suppose -2*v + 2 = 0, 4*k + 0*v - 323 = -3*v. Let g be k/(-32)*(-1 + -1). Suppose m + 48 = 5*m + g*i, -m + 12 = 5*i. Is 2 a factor of m?
True
Suppose 2*h - 994 = -5*g - 69, 0 = -h - 5*g + 475. Suppose -3*b + 2*o + h = b, -4*o = 20. Is b a multiple of 14?
False
Let r(i) be the third derivative of i**4/2 + i**3 + 15*i**2. Does 19 divide r(6)?
False
Let p be (10/3)/(6/9). Let g be 3*(80/6)/p. Suppose -2*a = 3*u + a - 147, 0 = 4*a - g. Is u a multiple of 14?
False
Suppose -5331*j + 5338*j - 28644 = 0. Does 22 divide j?
True
Suppose 0 = f - 4*f + 69. Suppose w - 2*t - f = -t, 2*t = w - 21. Does 11 divide w?
False
Let y be 2/(-12) + 2325/18 - 4. Let a = y - 83. Is 14 a factor of a?
True
Let h(i) = -i**2 + 4*i + 8. Let z(w) be the first derivative of -w**3/3 + 2*w**2 + 8*w - 3. Let x(r) = -5*h(r) + 6*z(r). Is x(5) even?
False
Suppose 396*r - 386*r - 920 = 0. Suppose 0 = 5*j - 2*o - 150, 5*j - 2*j - 111 = -3*o. Let m = r - j. Does 15 divide m?
True
Let z(s) = -3*s**3 - 25*s**2 + 13*s - 24. Let i(j) = -j**3 - 12*j**2 + 7*j - 12. Let p(w) = -5*i(w) + 2*z(w). Is p(9) a multiple of 3?
True
Suppose 3*g - 1688 = -293. Suppose -5*b - 241 = -v, 4*v - g = 4*b + 467. Let l = -143 + v. Is l a multiple of 22?
True
Suppose -4 = -r - 1. Is 5 + -8 + r + 127 a multiple of 32?
False
Suppose 8*t = 23 + 17. Suppose t*m - 8*m + 168 = 0. Is m a multiple of 7?
True
Is 17 a factor of 18468/60 - (-18)/(-10)?
True
Let s = -833 - -1509. Does 6 divide s?
False
Let w be 5/1 + (2 - 2). Suppose 59 = -d + w*d - 5*q, 3*q - 67 = -4*d. Is d a multiple of 7?
False
Suppose 47817 = 57*u - 24*u. Does 21 divide u?
True
Suppose -3*c - 12 = -9*c. Does 9 divide c + (1 - -54) + 3?
False
Suppose -2*l + 3*c + 3098 = 0, -3*c = -5*l + 1581 + 6164. Is l a multiple of 14?
False
Let n = -25 - -25. Suppose n = -s + 2*s. Suppose 4*v - 3*a + s*a = 46, a = 3*v - 32. Does 6 divide v?
False
Suppose 29*i = -21*i + 16950. Is 18 a factor of i?
False
Let r be (-4)/(-7) - (-192)/(-42). Let l = 10 + r. Is 4 a factor of l?
False
Let t = -25 - -28. Suppose 0 = m + 3*m - 5*l - 32, t*l + 24 = 3*m. Does 3 divide m?
False
Let q = -3911 - -7742. Is q a multiple of 41?
False
Suppose -3*x = -6*x. Suppose x = 10*c - 9*c - 105. Does 21 divide c?
True
Let r = -14 + 19. Suppose 14 = r*u + 4. Is 10 a factor of ((-3)/6)/(u/(-212))?
False
Let z(g) be the second derivative of -g**4/12 - 4*g**3/3 - g**2/2 + 2*g. Suppose -28 = 4*j + 4*s, -1 - 1 = j - 4*s. Does 3 divide z(j)?
False
Suppose -2*r = -d - 7106, d - 21370 = -5*r - 3619. Does 67 divide r?
True
Let n = 1 + 1. Suppose f = 6*f + 5, -n*j - f + 421 = 0. Does 14 divide j/5 + (-3)/15?
True
Suppose 0 = 11*k - 3445 - 2484. Does 77 divide k?
True
Suppose -657*o = -685*o + 102368. Is o a multiple of 110?
False
Suppose 3*a = -2*h + 488, 4*h - h = 4*a + 749. Suppose 0 = 3*c - h - 119. Is 15 a factor of c?
False
Suppose 18*t - 19*t + 3 = 0. Suppose 0 = t*k - 5*k + 70. Is 6 a factor of k?
False
Let t = 96 - 104. Let a be (-4)/(-10) + (-432)/(-20). Let x = a - t. Is x a multiple of 15?
True
Suppose 0 = -14*y + 7233 + 1055. Is 38 a factor of y?
False
Suppose -4*i + 3*n + 3780 = 0, 0 = 3*i - 4*n + 517 - 3359. Does 34 divide i?
False
Let o(h) = h**2 - h - 3. Let d(l) = -18*l**3 - l**2 + 1. Let p be d(-1). Suppose 0 = 4*m - 4*q + 2 + p, 2*q - 2 = 0. Does 12 divide o(m)?
False
Let w = 2073 - 829. Does 7 divide w?
False
Let p(g) = -6*g + 10. Let v be p(1). Let q(s) = -s**3 + 2*s**2 + s + 1. Let k be q(2). Suppose -2*d + v*d = -5*z + 77, 3*z = -k*d + 39. Does 10 divide z?
False
Let u = 12 + 2. Suppose b = 4*s - u, -4*b + 0 - 5 = s. Suppose -s*n + 2*p + 80 = 0, 4*p = 5*n - 30 - 106. Is n a multiple of 24?
True
Let d = 435 - 31. Do