se -f = 5, q - 5*f + 3*f = t. Is 46 a factor of q?
True
Let k = 19222 + -17918. Is k a multiple of 47?
False
Let s(k) be the second derivative of k**4/4 + 7*k**3/6 + 2*k**2 - 14*k. Let v be s(-2). Suppose 4*t - 8*t - 2*j + 52 = 0, -3*t + 53 = -v*j. Does 3 divide t?
True
Is 15 a factor of (-7743)/12*(1 - (-6 - -11))?
False
Let y(t) = -40*t**2 - 1. Let p be y(1). Let m(u) = u**3 + 14*u**2 + 18*u - 62. Let n be m(-9). Let b = n + p. Is b a multiple of 28?
True
Let u(j) = 53*j**2 + 30*j + 235. Does 163 divide u(-13)?
True
Let g = 963 + 351. Does 9 divide g?
True
Suppose 3*c - 2*v + 5 = 20, c + 3 = -2*v. Suppose -366 = -3*j + 5*l - 0*l, -3*j = -c*l - 360. Does 2 divide j?
False
Suppose 29 = -7*z + 8. Does 11 divide z + 8 - -271*1?
False
Let f(w) = w**2 + w - 4. Let a be f(2). Suppose -5366 = -4*n - a*h, 3*n = 29*h - 25*h + 4052. Does 64 divide n?
True
Suppose 0 = -2*u + 3*k - 289, 0 = -2*u + 4*k - 88 - 198. Let j = -51 - u. Is j a multiple of 49?
True
Let x be (-2 - 0) + 3 - -1. Let u be -1 - (-6 - x - -3). Suppose u*p + 63 - 699 = 0. Is p a multiple of 11?
False
Suppose 2*o = 3*u - 125, -3*o - 165 - 40 = -u. Is (-9320)/o*(-21)/(-6) a multiple of 8?
False
Suppose -38*m + 33*m = -10. Does 19 divide 38 - (m - -2) - 5?
False
Let v(l) be the third derivative of -17*l**4/4 + 26*l**3/3 + 4*l**2 + 12. Is 13 a factor of v(-11)?
False
Let d = -413 - -399. Does 42 divide 6/((4/d)/(-2))?
True
Suppose 0 = -h + 4*h + 42. Let u be (-1928)/h + ((-72)/28)/(-9). Suppose 0*p - u = -p. Is p a multiple of 23?
True
Let t(c) = -c**3 - 29*c**2 - 29*c - 74. Let x be t(-28). Is 3 a factor of 305 - (23/x - (-3)/(-2))?
False
Let g(p) = -19 + 2*p + p + 4. Let y be g(6). Suppose -618 = -y*w - 48. Is w a multiple of 19?
True
Let g be 3*(-391)/3 - (-4 - 0). Let q = -183 - g. Is 25 a factor of q?
False
Suppose 3*c = 2*f + 22415, f = 3*c - 9207 - 13204. Is c a multiple of 64?
False
Suppose 4*q = 14 - 2. Let t be (-5)/(3 + (-1 - q)). Suppose 10*i = t*i + 210. Is i a multiple of 10?
False
Let j = -143 - -137. Let g(h) = 5*h**2 + 24*h - 13. Is g(j) even?
False
Suppose 3*s + 5*c = 61875, s + 24*c = 22*c + 20626. Is 34 a factor of s?
False
Let u(h) = -h**2 + 11*h. Let t be u(11). Suppose t = -4*r + 77 + 27. Suppose 6*w = -l + 2*w + 26, -l + r = 3*w. Does 13 divide l?
True
Let j(g) = 10*g**3 + g**2 - 10*g + 9. Let f(k) = 2*k**3 - 2*k + 2. Let l(v) = -11*f(v) + 2*j(v). Is 16 a factor of l(-2)?
True
Suppose 264 = 22*v - 0*v. Suppose -1594 + 334 = -v*g. Does 21 divide g?
True
Let k(q) = 138*q**3 + 4*q**2 - 2*q + 4. Does 156 divide k(4)?
True
Let g = 26114 - -15536. Does 14 divide g?
True
Suppose -5*o = 5*t, -2*o + t - 1 + 16 = 0. Suppose s = -j + 77, 0*s = 5*s - o*j - 435. Does 6 divide s?
False
Let g(k) = 21 + 52 + 85 + 32 + 48*k - 43. Does 23 divide g(6)?
False
Let k(b) be the second derivative of -b**4/12 + 6*b**3 - 291*b**2/2 + 196*b. Is k(17) even?
True
Let a(x) be the second derivative of -x**5/20 + 13*x**4/12 + 2*x**3 + 3*x**2/2 - 36*x. Is a(12) a multiple of 15?
False
Is 35/(-70) + 37076/8 a multiple of 80?
False
Let y = 205 - -451. Let k = -113 + y. Is 13 a factor of k?
False
Let z = -1745 + 5195. Is z a multiple of 6?
True
Let z = -59 + 67. Suppose 3*r + 4 = 2*q - 3*q, -5*r - 2*q = z. Suppose -3*v + 530 = 4*l, 5*l - 4*v - 782 + 135 = r. Does 35 divide l?
False
Let p be (833/21 - 2/3)*-1. Let a = p + 42. Suppose a*x - 4*s - 80 = 65, -5*s = 5*x - 265. Is x a multiple of 10?
False
Suppose -y + 2*a + 226 = 0, -4*y - 186 = 4*a - 1174. Is 19 a factor of y?
False
Let p = -1009 - -1849. Let o = -561 + p. Is 13 a factor of o?
False
Suppose -11*t - 4*t + 499520 = t. Does 17 divide t?
False
Let g(q) = 86*q - 205. Let j(i) = -2*i**2 + 5*i + 73. Let m be j(7). Is 11 a factor of g(m)?
False
Let t(i) = 58*i + 40. Let q(a) = a - 2. Let o(j) = -2*q(j) - t(j). Is 35 a factor of o(-5)?
False
Suppose 9*x + t - 26243 = 6*x, 2*x + 5*t - 17478 = 0. Is 13 a factor of x?
True
Let b be 70/(-20)*10/1. Let g = b + 141. Suppose -c - 6 + g = 0. Is c a multiple of 19?
False
Let a = 11 + -2. Suppose 24*y - 27*y + a = 0. Suppose 0 = -5*w - 5*l + 95, -y*w + 2*w - 4*l + 25 = 0. Does 17 divide w?
True
Suppose -17*a + 59*a = 126. Let w(n) = 33*n**3 - 2*n**2 - 27*n + 66. Is w(a) a multiple of 22?
True
Suppose -86713 - 10007 = -8*t. Is 31 a factor of t?
True
Let a(o) = o**3 - 6*o**2 - 7*o + 4. Let w be a(7). Suppose 2*z + 4*b = 520, 552 + 472 = w*z + 4*b. Is 28 a factor of z?
True
Suppose -12*h - 6 = 6. Is -53*(h - 4) + -1 a multiple of 66?
True
Let v(m) be the first derivative of 47*m**2 - m + 49. Is 34 a factor of v(1)?
False
Let c(f) = 462*f + 34. Is 12 a factor of c(2)?
False
Suppose -23 - 27 = -5*g. Suppose -3*d = -4*m - 2, -3*m + 6*m + 6 = 0. Is 8 a factor of d + 4/((-8)/(-7))*g?
False
Let y(p) = 4*p**2 - 20*p - 14. Let o(d) = d**2 + d. Suppose -68*l + 71*l = -9. Let r(t) = l*o(t) + y(t). Does 15 divide r(26)?
False
Let r = -966 + -1167. Is 10/35 + r/(-7) a multiple of 61?
True
Let q be 1887/(-5) - (-18)/45. Let l = q + 801. Does 8 divide l?
True
Let z(b) = b**2 - 14*b - 3. Let d be z(13). Let o be (-285)/(-25) - (d/10 + 2). Does 12 divide o/11*3*44?
True
Let l = 4493 - 2648. Does 41 divide l?
True
Suppose 0 = r - 2*i - 4049, -4*r + i + 4*i = -16211. Is r a multiple of 33?
True
Let x(a) = a**3 - a**2 - 4*a + 5. Let w be x(-2). Does 23 divide (w*(-1)/(-2))/((-17)/(-17170))?
False
Let w = 14086 - 5726. Is w a multiple of 55?
True
Does 24 divide (-5 + (-444)/48)/(1/(-4296))?
False
Let f = -97 + 101. Is f*7/((-42)/(-2460)) a multiple of 69?
False
Let b be 6558/14 - 6/14. Suppose 0 = a - 4*p - b, 5*p = -2*a - 0*p + 936. Is 42 a factor of a?
False
Let m(s) = s**3 + 78*s**2 - 108*s + 128. Does 100 divide m(-75)?
False
Suppose 243*o - 1639095 = 1820739. Is o a multiple of 339?
True
Let m be ((-3)/(-9))/((20/24)/5). Suppose -m*x + 970 = -7*v + 4*v, 2*x + 4*v - 998 = 0. Is 71 a factor of x?
False
Suppose -2*j = 13*j - 7785. Does 27 divide j?
False
Let a = -12 - -112. Suppose -x + 2*x = a. Is x a multiple of 25?
True
Suppose -5*s + 3*r = -9, -s + 3*r = s. Suppose -5*a - s*g + 1372 = 0, -4*a + 537 + 543 = -2*g. Is a a multiple of 16?
True
Suppose 97*k - 111*k + 143150 = 0. Is k a multiple of 25?
True
Is (-7)/14*34*-832 a multiple of 32?
True
Let d = -26908 - -27448. Is 18 a factor of d?
True
Let r(x) = -2*x - 19 + 31 - 36 + 83*x. Let b be r(16). Suppose 12*m - b = 6*m. Is m a multiple of 23?
False
Suppose 3*f - 2*f - 2*p + 1 = 0, 0 = -5*f + 4*p + 13. Suppose -3*s + 3411 = f*l, 5*l - 2*l - 2040 = -4*s. Is l a multiple of 57?
True
Let u = -392 - -411. Does 22 divide (-1 + u/(-3))*870/(-10)?
True
Suppose 24*f + 5*f - 1727 - 10076 = 0. Is 4 a factor of f?
False
Let r = -3257 - -4676. Suppose -6*b + 2535 + r = 0. Is b a multiple of 16?
False
Let h(l) = 17*l**2 + 431*l + 90. Does 90 divide h(-28)?
True
Suppose 3*b - 25 = 17*g - 16*g, 5*b - g = 45. Does 2 divide ((-86)/b)/((-5)/25)?
False
Let t(a) = 17*a**2 + 8*a - 7. Let b be t(5). Let x be (b/(-22))/(-1) - (-16)/88. Does 13 divide x/(-6)*(-100)/7?
False
Let k(t) = 219*t**2 - 79*t - 259. Does 134 divide k(-3)?
False
Let d be (-510)/(-25)*15/6. Suppose 0 = -f + 3*f - 52. Let t = d - f. Is t a multiple of 20?
False
Suppose 0*g = -5*g + 980. Suppose -3*x + 668 = -g. Suppose -5*i - 3*s + 125 = -161, -5*i - 4*s = -x. Is i a multiple of 9?
False
Let s(l) = -24*l**3 + 6*l**2 + 30*l + 162. Is 9 a factor of s(-6)?
True
Suppose l + 7*n - 1626 = 6*n, 3*l - 4862 = 5*n. Suppose -1218 = -3*g - 3*f, 0 = -0*g + 4*g + 3*f - l. Is g a multiple of 29?
True
Let m be 6/(-21)*(2 - (15 + 1)). Suppose -16 = -m*y - 4*w, 0 = -3*y + w + 17 - 1. Suppose 4*z - y*z = -60. Is z a multiple of 6?
True
Suppose 4*v = 18 + 10. Suppose -v = -4*b + 3*b. Suppose 0 = -b*c + 155 + 55. Does 5 divide c?
True
Let i(z) = -12*z + 105. Let b be i(8). Suppose 3087 - 189 = b*w. Is w a multiple of 6?
False
Suppose -40 = -5*x - 5*g, -9*g = -6*g + 12. Suppose -5369 = -5*t + 3*j, 4*j = -x*t + 9*t + 3233. Is 25 a factor of t?
True
Let a = 6848 + -1892. Is a a multiple of 236?
True
Let o = -261 + 182. Is (5 - 55/10)*0 - o a multiple of 79?
True
Suppose -2*z - 4*i = -8589 - 13169, 4*z = -3*i + 43531. Is z a multiple of 82?
False
Suppose 3*l = -l. Let w be 2 - l/(-8 - -4). Suppose -w*o - 2*r - 214 = -6*o, 3*o + r - 168 = 0. Does 1