 derivative of -q**5/20 - 2*q**4/3 - 4*q**3/3 + 11*q**2/2 + 34*q. Is k(-7) a multiple of 5?
False
Suppose 0 = 2*m - 5*m + 1425. Does 49 divide m?
False
Let q be 3*(0 - ((-24)/(-9) + -3)). Does 9 divide (-90)/(-2)*(q + 0)?
True
Suppose -9*y = 3*y - 3708. Is 26 a factor of y?
False
Let l(p) = 0*p**2 + 6*p**2 - 5*p**2 - 15. Suppose -11 = a - 2*a - 2*v, 0 = -3*a - 5*v + 31. Is l(a) a multiple of 9?
False
Let y be 132/36 + 1/3. Let v be (-1870)/(-33) + y/(-6). Suppose 0 = 2*m + 5*a - 2*a - 147, -m + 2*a + v = 0. Does 17 divide m?
False
Suppose -4*z = 3*n - 9, 0 = -4*z - 0*z + 2*n + 14. Suppose 5*t = 2*t - z*f + 24, f - 36 = -5*t. Is 5 a factor of t?
False
Let t(r) = -r**3 + 9*r**2 - 7*r + 14. Suppose 4*w = -0*w + 32. Is t(w) a multiple of 9?
False
Let g be ((7 - 1) + -2)*-10. Let f(n) = n**2 + 82. Let x be f(0). Let d = g + x. Is d a multiple of 21?
True
Let t = 698 - -1094. Does 14 divide t?
True
Does 30 divide 2*(-14)/7 + 184?
True
Let q(m) = 324*m**2 + 87*m - 174. Does 12 divide q(2)?
True
Let w(t) = -2*t**2 + 57*t - 217. Does 16 divide w(19)?
True
Let u be (5 + -4)/((-2)/(-22)). Suppose -u = -a - 0*a - 4*q, 3*a = -4*q + 57. Is a a multiple of 3?
False
Is -8 + (-666)/(-84) + (-65298)/(-28) a multiple of 19?
False
Let t = 77 - -63. Does 35 divide t?
True
Suppose j = 5*r + 247, -5*r - 143 = -2*r + 2*j. Let m = r + 109. Is 6 a factor of m?
True
Suppose a - 3*a = 3*n - 89, 3*n = -a + 85. Let z = 27 - n. Suppose 2*o + z*o - 32 = 0. Is o a multiple of 8?
True
Let x be 16/9 + 6/27. Suppose 2*k - 2 - x = 0. Suppose -d + 5*j + 38 = 0, 0 = k*d - 0*d - 5*j - 66. Is d a multiple of 17?
False
Let o be (1 - 0)/((-3)/(-27)). Let l = o - 1. Suppose -520 = -l*b - 0*b. Is 13 a factor of b?
True
Suppose -2*k + 2411 = 2*k - f, 0 = -4*k - 2*f + 2402. Is k a multiple of 15?
False
Let g(m) = -20*m**2 - 3*m + 8. Let y(f) = f**2 - f + 1. Let p(o) = -g(o) + 5*y(o). Let s(v) be the first derivative of p(v). Is 14 a factor of s(1)?
False
Suppose 3*r - w + 2*w = 185, r = -4*w + 80. Suppose 5*k + 66 = 3*k. Let d = k + r. Does 9 divide d?
True
Suppose -6 = -8*h + 6*h. Suppose h*k - 224 = -k. Does 7 divide k?
True
Does 45 divide -2 + 1135 - (-128)/(-16)?
True
Let o(b) = b**3 - 5*b**2 - 6*b - 1. Let u be o(6). Let r be u - (0 + 1 + -5). Is 7*(108/28 - r) a multiple of 2?
True
Suppose -4*o = 3*p - 1507, 0*o = 3*p + o - 1504. Is p a multiple of 7?
False
Let f be ((-2)/4)/(1/2). Let x be (-4)/6*(f - 287). Suppose 10*q - x = 6*q. Does 24 divide q?
True
Let b(j) = 3*j**2 + 7*j + 7. Does 71 divide b(-14)?
True
Is (1/2)/((-1)/6) - -647 a multiple of 28?
True
Suppose -c = -26*c + 14175. Does 63 divide c?
True
Let f = 494 + -464. Is 10 a factor of f?
True
Suppose t - 5*n - 19 = 340, 0 = -5*t - 4*n + 1679. Does 19 divide t?
False
Let p(a) = 3*a**2 + a - 5. Let w = 25 + -28. Is 3 a factor of p(w)?
False
Let l(m) = m**3 - 28*m**2 + m - 1 + 1 + 25*m**2. Let p(n) = 2*n - 1. Let y be p(2). Is 3 a factor of l(y)?
True
Let r = -94 + 136. Suppose 0*w + r = -3*w - 2*u, 2*w + 27 = -u. Does 7 divide (-21)/2*w/9?
True
Let d be (0 + -15)*(-64)/48. Let r be d/11 - 2/(-11). Suppose -2*y - y = 2*i - 76, -37 = -i - r*y. Is i a multiple of 31?
False
Let q(h) = h - 8. Suppose 0 = -4*o + 3*o - 13. Let t be q(o). Let u = 37 + t. Does 3 divide u?
False
Suppose -1197*r + 29139 = -1164*r. Is r a multiple of 3?
False
Let z = 8 - 7. Suppose -q = -71 - z. Suppose -7*h + q = -h. Is 4 a factor of h?
True
Let j(y) = y**3 - y**2 - y + 3. Let l be j(0). Suppose -8 = -c + 4*i, l*i = c - 2*c + 43. Is c a multiple of 4?
True
Is 32 a factor of 2 + 329/11 - 20/(-220)?
True
Suppose 5*v - 8 + 20 = 2*c, 0 = -3*v. Let t = -2 + c. Suppose -32 - 38 = -4*p + 2*j, 0 = 3*p - t*j - 60. Does 16 divide p?
True
Let t = 6 - 3. Suppose 0 = t*q - 9, 3*s + q - 462 = -0*q. Is -1 - s/(-3) - 4 a multiple of 23?
True
Suppose -w + 297 = 2*w. Is w a multiple of 3?
True
Suppose 4*i - 3*i - 33 = -5*w, 0 = -i + 5*w + 63. Does 24 divide i?
True
Let c(x) = 4*x**3 + 4 - 2*x**3 + 9*x**2 - 3*x**3 + x**2 + 11*x. Let d be c(11). Is 37 a factor of (-10)/d*1554/(-35)?
True
Is (-1 - -2)/(17/32215) a multiple of 41?
False
Let d = -26 - -45. Suppose 3*h = d*h - 480. Is 15 a factor of h?
True
Suppose -4*o - 4344 = -4*y, 0 = 3*o - 14 + 26. Is y a multiple of 15?
False
Is 23 a factor of (-249)/(-3) - (5 + 1)?
False
Suppose -4*r + s = -s - 26, r + 2*s - 4 = 0. Suppose -r*p + 4*k = -2*p - 220, 3*p + 3*k - 171 = 0. Does 8 divide p?
True
Let k = 491 + -111. Suppose -7*i + k = 3*i. Is 13 a factor of i?
False
Let b(u) = 6*u**3 - 2*u**2 + 2*u - 1. Let g be b(1). Let s(t) be the second derivative of -t**5/20 + t**4/2 - t**3/3 - 5*t**2/2 - t + 24. Is 5 a factor of s(g)?
True
Let n(y) = y**2 + 3*y + 2. Let k be n(-4). Let t(v) = -4 - 3*v**2 - 2*v + 5 - 2*v**2 + k*v**2. Does 11 divide t(-3)?
False
Let b = 317 - 277. Does 8 divide b?
True
Let b(o) = 12*o**2 - 13*o - 157. Is 99 a factor of b(-7)?
False
Let s(i) = i**3 + 22*i**2 - 12*i - 23. Is s(-19) a multiple of 28?
True
Let n be (-5)/(10/6) + 2*294. Suppose 2*p = -2*v - 2*v + 230, 5*v = -5*p + n. Is p a multiple of 17?
True
Let z = 102 + -102. Suppose 2*v - 3*v + 385 = z. Is v a multiple of 56?
False
Let s(b) = 24*b + 51. Is 2 a factor of s(1)?
False
Let y be 54 - (-2 - (2 + (-1)/1)). Let o = y - 44. Is 10 a factor of o?
False
Let a = 171 - 110. Suppose -3*o + a = -164. Is o a multiple of 25?
True
Suppose 0*n + 3*n - v = -5, 0 = -2*v - 8. Does 17 divide -4*(-1 + -67 + (n - -3))?
True
Let m(v) = v**2 - 2*v. Let a(s) = -6*s + 1. Let p be a(-1). Suppose 5*h + k - 23 = p, -2*k + 10 = 0. Does 7 divide m(h)?
False
Let a be 0 - (-1 - 2) - -2. Suppose 0 = -4*z + 5*l + 256 - 13, 2*l - 312 = -a*z. Is 5 a factor of z?
False
Let s(b) = b**3 + 14*b**2 + 11*b - 9. Is s(6) a multiple of 34?
False
Let k(v) be the third derivative of v**6/120 + v**5/30 - v**4/24 + 2*v**3/3 - v**2. Let a be k(0). Suppose -95 = a*u - 527. Is u a multiple of 27?
True
Suppose 4*d = 3*x + 175, -d + 3*x = -2 - 44. Is d a multiple of 21?
False
Let t(d) = d**3 + 3*d**2 + 2*d - 2. Let z be t(-2). Let q be 1 - (3 + -1)/z. Suppose 0 = -3*j + 15, 2*j + 26 = -0*b + q*b. Is b a multiple of 4?
False
Let l(o) = o**2 - o + 2. Let p be l(2). Is p/10 - 148/(-5) a multiple of 6?
True
Let y(x) = x - 7. Let k be y(-3). Is (-56)/(-35) + (-4)/k even?
True
Let k(w) = w**3 - 8*w**2 + 9*w - 7. Suppose p + 12 + 6 = -5*a, -4*p + a = -33. Is k(p) a multiple of 7?
True
Suppose -21*c + 808 = 178. Does 5 divide c?
True
Suppose -i - 8*i = -7326. Is i a multiple of 37?
True
Suppose 68*p - 73*p = -500. Does 7 divide p?
False
Let z(w) = 2*w**2 + 9*w + 1. Let q be z(-4). Is 3 a factor of (q/(-3) - -3) + 8?
True
Let a(q) = -q**3 - q**2 - 2*q. Let u be a(0). Suppose u = 3*f - 4*f + 50. Is f a multiple of 6?
False
Suppose y - 3 = w, -3*w + 1 = -y - 0. Suppose 3*a - y*l - 25 = 0, a - 2*l - 11 = -3*l. Does 8 divide a?
False
Let h(q) = -2*q**2 + q**2 + 0*q - 2*q + 6. Let a be h(-3). Is 12 a factor of (a/4)/(2/64)?
True
Let x(d) = -3*d + 4. Let c be x(2). Let t(k) = -25*k. Let p be t(c). Suppose -2*h + 56 = 4*i, -4*i + p = -2*h + h. Is i a multiple of 8?
False
Let d(q) = q**2 - 8*q - 9. Let a be d(10). Let l = a + 6. Let v = -13 + l. Is v a multiple of 4?
True
Let y be 13/4 - (-17)/(-68). Suppose 2*k - y*x = -6*x + 36, -x = 4*k - 92. Is k a multiple of 12?
True
Let f = 9036 + -5352. Does 27 divide -3 - f/(-21) - 6/14?
False
Let f be (-28)/(-42)*(-267)/(-2). Suppose 0 = -3*g + 15, -2*h = -0*h + 5*g - f. Is 32 a factor of h?
True
Let l = 5 - 1. Let n(g) = g + 3*g - 4*g - 1 - 6 + 8*g. Is n(l) a multiple of 25?
True
Let a = 511 - 113. Is 3 a factor of a?
False
Let i(z) = z**2 + 29*z - 12. Let t(c) = 3*c**2 + 59*c - 23. Let q(s) = 5*i(s) - 2*t(s). Is 9 a factor of q(26)?
False
Let v(l) = 140*l + 2. Let o be v(1). Let y = o + -101. Let n = 99 - y. Is n a multiple of 20?
False
Let t(o) = -o + 8. Let p be t(14). Let m = 150 + p. Does 12 divide m?
True
Suppose r = -5*v - 3*r, 5*r = 3*v. Suppose 136 = 2*u - v. Does 17 divide u?
True
Suppose -12*i + 1050 = -6*i. Does 6 divide i?
False
Let r = 2177 - -236. Is 21 a factor of r?
False
Suppose 2*q + 3*j = -9, 3*j = -5*q + 5*j + 25. Suppose -4*a - q*r + 98 = -129, -2*a = -2*r - 110. Is a a multiple of 14?
True
Let b be (-2)/7 + 74/14. Let r(n) = 20*n - 5. Let c 