se 4*k - v = 5*l + 71, -2*l = 5*k - 117. Is 11 a factor of k?
False
Suppose 5*i + 3*m = 699, -3*i + 4*i - m - 135 = 0. Suppose 5*q - 4*w = 162, 4*w + i = 5*q + 8*w. Does 6 divide q?
True
Suppose -8*l = -26*l + 21852. Is 14 a factor of l?
False
Let t(q) = q + 14. Let f(w) = w. Let c be f(-11). Let d be t(c). Suppose 49 + 77 = d*l. Does 14 divide l?
True
Let s(t) be the second derivative of 5*t**3/6 + 14*t**2 + 14*t. Is 19 a factor of s(24)?
False
Suppose 0 = m - 2*a - 13, 5*m = -4*a + 2*a + 29. Let f(b) = b - 4. Let h be f(m). Suppose -5*x - 4*g + 115 = 0, x - 6*x + h*g = -150. Is 7 a factor of x?
False
Let g be (-45)/12 + (-3)/(-4). Let l be (g + (-18)/(-4))*2. Suppose -6*x + 155 = l*c - 2*x, 4*x = 3*c - 115. Does 34 divide c?
False
Suppose 291 = 3*j - 501. Does 7 divide j?
False
Suppose -6293 - 4195 = -23*t. Does 50 divide t?
False
Suppose 180 = 2*y + 34. Suppose b = y - 8. Let m = 107 - b. Is 14 a factor of m?
True
Let g(n) = -n**3 - n**2 + 2*n + 2. Let v be g(0). Suppose 5*b + 4*a - 42 = 0, 4*a - v*a = -4*b + 36. Is b a multiple of 7?
False
Let o = 30 - 21. Suppose 5*a - y = -157, 2*a + 85 = -4*y + o. Let h = a - -47. Is h a multiple of 5?
True
Is 3204/14 - (-1)/7 a multiple of 11?
False
Let s(u) = -118*u - 121. Is s(-4) a multiple of 6?
False
Suppose -42*b + 39*b + 1886 = g, 0 = 5*b + 5*g - 3130. Does 67 divide b?
False
Let j(v) = -4*v + v + 2 - 3503*v**2 + 3512*v**2. Let o = -3 - -5. Is j(o) a multiple of 16?
True
Suppose 2*x - 3 = -5. Let w be 1/((-15)/18 - x). Is ((-15)/4)/(w/(-24)) a multiple of 5?
True
Suppose 3*d = 4*i + 1878, -5*d + d + 2504 = 4*i. Does 52 divide d?
False
Is (-393)/(-4) - 13/((-468)/27) a multiple of 17?
False
Let u be 7/((4 - 1)/(-18)). Let m = u + 16. Let x = 48 + m. Does 11 divide x?
True
Let g = 494 + -260. Does 13 divide g?
True
Is (-3 + 1074/(-1))*2/(-6) a multiple of 16?
False
Let j = -267 + 348. Is 3 a factor of j?
True
Suppose 0 = -y - 2*k + 3*k + 58, 4*y + 5*k = 250. Let i be 8/(-10)*y/(-3). Let n = i + -12. Is 4 a factor of n?
True
Suppose 19*z = 20*z - 5*b - 470, -b + 452 = z. Is 35 a factor of z?
True
Suppose -3*y + 12 = l, 0*l - l - y = -10. Suppose -l = 4*m + 11. Is (34 - 8)/((-2)/m) a multiple of 20?
False
Does 28 divide (42/4)/(-6*(-12)/384)?
True
Suppose 6*x = 5*x + 313. Let c = x + -180. Does 13 divide c?
False
Let l = 37 + 23. Let j = l + -19. Is 4 a factor of j?
False
Let r = 83 - 84. Is -2*((-2 - r)*19 + 3) a multiple of 7?
False
Let x(p) = 4*p**2 - 2. Let h be x(3). Let v be (6/(-15))/((-1)/(-55)). Let i = v + h. Is i a multiple of 3?
True
Suppose 0*z - 24 = -5*y - 2*z, z = 2. Suppose y*g - 296 = 16. Suppose 2*d - 4*j + 5*j = 78, -g = -2*d + 5*j. Does 16 divide d?
False
Suppose -53*b = -48*b - 45. Is 75/(-10)*(-204)/b a multiple of 17?
True
Let x be (((-8)/4)/2)/1. Suppose p + 2*v - 12 = 39, -2*p + 4*v + 62 = 0. Is 14 a factor of (x - p)*(-3)/3?
True
Let i be 44245/30 - (-2)/12. Is i/45 + 2/9 a multiple of 11?
True
Suppose -12 = -5*n + 3. Suppose 0 = -n*m + 6*m - 243. Is 27 a factor of m?
True
Is (-4)/44 + (-1260)/(-66) a multiple of 19?
True
Let u = 44 + 12. Let k be 1*89 - 0/1. Let z = k - u. Is 11 a factor of z?
True
Let j(u) = 2*u**2 + 5*u. Let o be j(-4). Let v = o - 22. Let f = 25 - v. Does 16 divide f?
False
Suppose 22*l = 1778 + 1456. Is 3 a factor of l?
True
Let j be 5*-1 - (8 + -12). Does 14 divide (-3 - j)*(146/(-4) - 0)?
False
Let z(w) = w - 146. Let g be z(0). Let c = -56 - g. Is c a multiple of 30?
True
Suppose -p + 213 = -17. Is 10 a factor of p?
True
Suppose 0 = -5*s + 4*g, 0 = 4*s - 5*s + 3*g. Does 3 divide (3/9)/(3/198) + s?
False
Suppose -6*g + 8 = -4*g. Suppose -g = 4*c - 0. Does 3 divide (c + 0)/((-6)/18)?
True
Let q(m) = -m**3 - 3*m**2. Let t be q(-3). Suppose t*h = 6*h - 192. Does 8 divide h?
True
Let x(f) = 5*f**2 - f - 2. Let l(r) = -5*r**2 + 2. Let i(b) = 2*l(b) + 3*x(b). Is i(4) a multiple of 6?
True
Let x(r) = r**3 + r. Let p(z) = 2*z**3 - 5*z + 5. Let m(y) = p(y) - x(y). Is m(3) a multiple of 3?
False
Let s(g) = g**2 - 17*g - 12. Does 32 divide s(-19)?
True
Let w(q) = q**3 - 2*q**2 - 2*q - 8. Suppose -4*m + 18 = o - 9*m, 2*o - 12 = -2*m. Is w(o) a multiple of 24?
True
Suppose -2*q - 9 = -5*q. Suppose -6*d = -q*d - 162. Suppose -2*o + d = o. Does 6 divide o?
True
Suppose 14*u + 35 = 12*u - 3*w, 3*u - 4*w = -44. Suppose 4*n - 210 = -3*m, -5*n - m + 4*m + 276 = 0. Let h = u + n. Is h a multiple of 19?
True
Suppose -8 = 2*w, 0*q + 113 = q - 2*w. Is q a multiple of 21?
True
Suppose 0 = 2*u - 6 - 2. Suppose h + 72 = u*d, -2*d - 4*h + 44 = 8. Is 9 a factor of d/(-45) - 137/(-5)?
True
Suppose 0 = f + 3, -4*t + 4*f = -3*t - 12. Suppose 0*r + r - 5*q = 40, t = -r - 3*q + 72. Is r a multiple of 11?
False
Let s(d) = -15*d - 265. Does 57 divide s(-27)?
False
Suppose 40*u - 1183 = 33*u. Is 13 a factor of u?
True
Let k(w) = 54*w - 122. Is k(7) a multiple of 21?
False
Let c = 496 - -114. Is 8 a factor of c?
False
Let u be 7*(300/1)/4. Suppose -z - 4*z = -u. Suppose 5*y = 5*j - 105, -3*j = 2*j + y - z. Is 8 a factor of j?
False
Suppose 0 = -4*g - 5*s + 691, 3*g - 519 = -2*s - 2*s. Does 51 divide g?
False
Let d = -24 + 29. Suppose -6*t + d*t = -36. Is 6 a factor of t?
True
Let y = -206 + 548. Suppose 6*a - y = 906. Is a a multiple of 26?
True
Suppose 4*x + 5*u + 49 = 0, -2 = -2*x - x + 4*u. Let l(q) = -28*q - 18. Is l(x) a multiple of 50?
True
Suppose -2*r + 7 = 5*h - 4*r, -5*h - 1 = -4*r. Let q(y) = 5*y**h + y - 3*y**3 + 6 + 3*y**3 - 5*y**2 - 4*y**3. Is 5 a factor of q(5)?
False
Let c(s) = 381*s + 24. Is c(4) a multiple of 43?
True
Suppose -4*w - 1 = u - 0*w, 5*u = -2*w - 5. Let t be 3/1 - (u + -1). Let b(s) = 5*s**2 - s + 7. Does 33 divide b(t)?
False
Let g(x) = 22*x - 10. Let f be g(7). Suppose 0 = 2*y + 4*n - 14, -4*y - 2*n = 3*n - 22. Suppose -y*w = -w - f. Does 18 divide w?
True
Let w(u) = -u**2 - 10*u + 33. Let h be w(-10). Suppose -h*n - 102 = -39*n. Is 3 a factor of n?
False
Let p = -185 - -383. Is 6 a factor of p?
True
Suppose 9 = -3*s, -8*s = 2*k - 5*s - 7511. Does 21 divide k?
False
Is (-4186)/69*(-3)/2 a multiple of 7?
True
Let v be (-2)/(-12) - 44/(-24). Suppose -2028 - 244 = -4*x. Suppose -v*p + 2*z = -228, -3*p - 2*p = -3*z - x. Does 33 divide p?
False
Suppose -3*t + 93 - 15 = r, r + 2*t - 81 = 0. Suppose 2*d - 46 = 2*o, 2*d + r = 6*d - 5*o. Is d a multiple of 14?
True
Is 13 a factor of (4/1)/((-36)/(-441))?
False
Let o(v) = -42*v - 22. Is o(-16) a multiple of 26?
True
Let k = -1156 - -1574. Is 22 a factor of k?
True
Does 121 divide (-90)/18 + 3/6*6302?
True
Let s(z) = 6*z + 142. Let l be s(-16). Let g be (-3 - -1) + (-8)/(-2). Is (-6 - g/(-1)) + l a multiple of 19?
False
Suppose 139*k - 137*k - 156 = 0. Is 35 a factor of k?
False
Let d = -563 + 648. Does 5 divide d?
True
Suppose -338 = -5*s + 182. Suppose s - 44 = 5*c. Does 12 divide c?
True
Let i = -5 - -35. Suppose 4*l - 271 = m, -3*m + 356 = 5*l + i. Suppose -v + 3*v + 97 = 3*c, -3*c + l = 4*v. Is c a multiple of 10?
False
Suppose -8*a + 43956 = 25*a. Does 37 divide a?
True
Suppose 0 = 8*n - 32*n + 5112. Does 40 divide n?
False
Let u(r) = 2*r**2 + 0 - 1 + 2*r**3 - 41*r**3. Suppose 8 = -4*w - x, 7 = -0*w - 3*w - x. Is 20 a factor of u(w)?
True
Let t(p) = p + 11. Let d be t(-7). Suppose -c - 4 = 0, d*c = -3*f + 5*c + 19. Suppose i - 3*q - 55 + 19 = 0, -4*i = f*q - 229. Is 17 a factor of i?
True
Suppose 80 = 4*y - r + 3*r, -2*y = 3*r - 44. Let n = -17 + y. Suppose 3*f = m - 2 + 36, m - 21 = -n*f. Is 11 a factor of f?
True
Let b(y) be the first derivative of y**2 + 22*y - 15. Is 30 a factor of b(19)?
True
Suppose -5*s = -2*h + 3*h + 44, 0 = 4*s + 16. Let y = -20 - h. Does 4 divide y?
True
Let t = 7 + 30. Let y = -18 + 6. Let q = t + y. Does 25 divide q?
True
Let v(w) = -w**3 + 4*w**2 + 7*w + 12. Is v(-5) a multiple of 23?
False
Let p(d) be the third derivative of -29*d**4/24 + d**3/3 - 30*d**2. Is 37 a factor of p(-3)?
False
Suppose -8960 = -22*q + 8*q. Is 10 a factor of q?
True
Suppose -t + 2*t - 2*o = 450, -t + 450 = -5*o. Does 15 divide t?
True
Suppose -2*s - 2*s = j - 117, -2*j = 2*s - 60. Is 6 a factor of s?
False
Let z be 2*(-14)/8*-4. Suppose -19*d = -z*d - 480. Is d a multiple of 24?
True
Let r(m) = 3*m**2 - 33*m + 20. Let u(t) = -8*t**2 + 99*t - 61. Let h(j) = 17*r(j) + 6*u(j). Does 25 divide h(-14)?
Tr