14 a factor of (38 - 15)/(m/6)?
False
Let p be (-5)/20 + (-10)/(-8) + 1. Suppose -p*y - 172 = -2*q, -2*q + 166 = 5*y - y. Is q a multiple of 25?
False
Is 34 a factor of (3 - 2) + (208 - -1)?
False
Let o = -1 - -1. Let l be 6/(-18) + (-86)/(-6). Suppose -l = -o*q - q. Does 14 divide q?
True
Let j = 38 + -81. Let b(i) = 2*i + 14. Let a be b(-15). Let h = a - j. Is h a multiple of 13?
False
Let y(r) = 2*r**3 + 3*r**2 - r - 8. Let h(k) = k**2 + 6*k - 11. Let q be h(-8). Is y(q) a multiple of 26?
True
Let x = 1294 + 538. Is x a multiple of 15?
False
Suppose 0 = -2*o - 5*c + 21, 4*c - 17 = -4*o - c. Let h(v) = 3*v**2 + 1 - 5 - 6*v + 2*v + 1. Is h(o) a multiple of 4?
False
Let w(x) = 2*x**2 - x + 219. Let s be w(0). Suppose 2*u - 4*f = 150, -33 = -3*u - 3*f + s. Is 9 a factor of u?
True
Suppose -25*g + 11*g + 4004 = 0. Does 12 divide g?
False
Suppose -2*f + 0*f = x - 126, -4*x = 3*f - 194. Suppose g = -g + f. Does 23 divide 6 + -4 + (g - -1)?
False
Let v = -481 - -2961. Is v a multiple of 31?
True
Let d(m) = m**2 - 13*m - 11. Let q be d(14). Suppose -25 = q*v - 229. Is v a multiple of 34?
True
Let t be (-4)/(-8) - 125/2. Let l = t - -73. Is l a multiple of 2?
False
Suppose 4*q - 4*u - 353 = -57, 6*q - 2*u - 432 = 0. Is q a multiple of 71?
True
Let g(w) = -w**2 + 50*w + 121. Does 26 divide g(41)?
False
Suppose -2 = 9*h - 10*h. Suppose h*o - 10 + 2 = 0. Suppose o*i = -3*m + 164, -4*i + 3*i = -5. Is 24 a factor of m?
True
Suppose 7*f + 30 = -12. Is 43 a factor of -430*9/(135/f)?
True
Let f be 5/(-10)*548*1/(-2). Suppose -2*w - 3*o = -f, -2*o - 2*o + 20 = 0. Is 10 a factor of w?
False
Suppose -31*x + 29*x = 5*i - 1885, -2*x + 1897 = i. Is 25 a factor of x?
True
Let l be 0 - 4/(16/(-132)). Suppose -3*r + 8*r = -s + 17, -s + 3*r = -l. Suppose 3*u + u + s = 5*b, 0 = -b + 4*u - 1. Is 7 a factor of b?
True
Let f be 4/12*3 + -1. Suppose -5*g = -f*g. Suppose g*p + 76 = 4*p. Does 19 divide p?
True
Let o(r) = r**2 - 5*r - 6. Let k be o(6). Suppose k = 4*p - 8*l + 3*l, 2*l - 33 = -5*p. Is 5 a factor of p?
True
Let o = -80 - 208. Is 2 - 2 - o/8 a multiple of 9?
True
Does 3 divide 2/(-7) + -8054*(-12)/168?
False
Suppose 9*v + 5 - 104 = 0. Let t(p) = -p**2 + 18*p - 35. Does 3 divide t(v)?
True
Suppose 0 = -y + 4*r + 20, 3*y - 4*r = 40 - 12. Suppose 3*t - q + 8 = y*t, 3*q + 16 = 5*t. Suppose 0 = t*i - 10 - 140. Does 19 divide i?
False
Suppose -v + 14 = -34. Suppose -w = w - 3*x - 94, w = x + v. Let y = 76 - w. Does 7 divide y?
False
Let h(a) = 4*a**2 - 15*a + 14. Let b = -17 - -23. Does 19 divide h(b)?
False
Let w(c) = 5*c - 6. Let s be w(2). Suppose 0*l = -4*y - s*l + 296, y - l - 72 = 0. Is 14 a factor of y?
False
Let a = -11 + 13. Suppose 12 = a*t - 16. Let j = 23 + t. Is 35 a factor of j?
False
Let t be ((-1)/2)/(3/36 - 0). Is 15 a factor of ((-3)/t)/(2*(-2)/(-1152))?
False
Let g = -53 - -71. Let v(f) = -f**2 + 21*f - 10. Is v(g) a multiple of 7?
False
Suppose -9 = -2*q + 6*q + 5*z, -2*q = -5*z - 3. Suppose -25 = 4*i + x - 6, -2*i + 5*x = 15. Is (-115)/i + 4 + q a multiple of 13?
True
Let k be 0/2 - -8 - 3. Let j(w) = w**3 - 5*w**2 + 3. Let m be j(k). Suppose -2*p - m*p = -460. Is 20 a factor of p?
False
Let w = -57 - -339. Is w a multiple of 12?
False
Suppose 0 = 4*q - 5*i - 1296, 579 = 3*q - i - 393. Does 36 divide q?
True
Suppose -3*k = 405 - 540. Is 45 a factor of k?
True
Let v(j) = -j**3 + 8*j**2 - 9*j + 2. Let u be v(6). Suppose -6*m - 728 = -u*m. Is m a multiple of 13?
True
Suppose -6 + 63 = -g - 2*q, 3*g = -2*q - 179. Let t = 156 + g. Does 19 divide t?
True
Suppose -9152 = 10*r - 23*r. Does 19 divide r?
False
Let w = -250 - -351. Is 5 a factor of w?
False
Let l = -144 + 278. Is l a multiple of 11?
False
Suppose 0 = -2*b + 7*b - 10. Suppose 0 = 5*u - 4*f - 35, 0 = 5*f - 2 + 27. Suppose -u*n + 20 = 2*n, -5*h + b*n + 327 = 0. Is h a multiple of 16?
False
Let x(c) be the third derivative of c**5/60 - c**4/8 - 5*c**2 + 1. Does 32 divide x(-7)?
False
Let i = -88 + 55. Does 11 divide (i/(-10)*4)/((-3)/(-10))?
True
Let g = -11 - -17. Let o be (34/g)/(1/(-15)). Let b = -13 - o. Is 23 a factor of b?
False
Let v(u) = 0*u**3 + u**2 + 2*u**3 + 5*u - u**3 - 7*u**2. Let s be 2 + -2 - 6/(-1). Is v(s) a multiple of 7?
False
Let s = 1223 - -1153. Is 88 a factor of s?
True
Is 3 a factor of 16/4 + (5 - 8 - -116)?
True
Suppose -355 = -2*j + 1777. Let h be j/(-3) + (-4)/6. Is (-20)/(-30) - h/6 a multiple of 30?
True
Let z(o) be the first derivative of -o**4/4 + 14*o**3/3 - 13*o**2 + 17. Is z(6) a multiple of 12?
True
Suppose -5*s + 1180 = 5*p, -79 = 5*s - 59. Is 4 a factor of p?
True
Let i(j) = 2*j**2 - 13*j + 15. Suppose 4*c - 3*c = -4*x - 2, -1 = -c - 3*x. Is 17 a factor of i(c)?
True
Suppose -18*t = 17*t - 2030. Is t a multiple of 29?
True
Let x(q) = q**3 + q**2 + q + 1. Let j(a) = -a - 3. Let m(v) = -j(v) - 2*x(v). Is 2 a factor of m(-2)?
False
Let a(k) = -3*k**2 - k - 2. Let u be a(2). Let o = -6 - u. Let j = o + 1. Does 2 divide j?
False
Let u(x) be the third derivative of x**5/60 + x**4/8 - x**3/3 + 17*x**2. Does 16 divide u(3)?
True
Suppose -14*t + 9*t - 470 = 0. Let o = t - -190. Is o a multiple of 32?
True
Let w = 144 + 746. Is w a multiple of 10?
True
Let n be 1*((-637)/52 - 1/(-4)). Let r be 24/(-30)*25/(-2). Is n/r*(-1040)/24 a multiple of 13?
True
Let k(x) = 43*x - 46. Is k(3) a multiple of 4?
False
Suppose 0 = 18*j + 220 - 1102. Is 26 a factor of j?
False
Let a = -8 - -8. Suppose a*p = -3*p + 96. Suppose 28 = 2*m - p. Is m a multiple of 15?
True
Let j(l) = -l**3 - 2. Let x be j(-3). Is 2/5 - (-2290)/x a multiple of 23?
True
Suppose 5*h = 10 + 5. Suppose 5 = -5*z, -5*z - 26 = -h*x + 15. Does 20 divide (x/(-1))/(1/(-5))?
True
Suppose -2*y + 3*r = 38, -y - y - 2*r = 58. Let x = 28 - y. Does 14 divide x?
False
Let o(a) be the third derivative of a**4/4 + a**3/6 + a**2. Let w(y) = -y**3 + 5*y**2 + 3*y - 6. Let n be w(5). Is 11 a factor of o(n)?
True
Let o be 664 - (2/((-4)/2))/(-1). Suppose o = 4*a + 5*y, -309 = -2*a + y + 4*y. Does 27 divide a?
True
Let i(r) = -257*r + 155. Is i(-8) a multiple of 33?
True
Suppose -9 = -3*p + 9. Suppose p*l = 10*l - 408. Is l a multiple of 26?
False
Let m be 3*1*(6 + -3). Let x(k) = -k + 20. Let q be x(m). Suppose -4*h - q = -o, 3*h - 5 = -o - 1. Does 3 divide o?
False
Let s(a) = 5*a + 19. Suppose -13*n + 32 = -9*n. Does 23 divide s(n)?
False
Let s(n) = -27*n - 1. Let d(q) = 28*q + 1. Let y(g) = 3*d(g) + 2*s(g). Let l(f) = 45*f + 1. Let a(o) = 5*l(o) - 8*y(o). Is 24 a factor of a(-5)?
True
Let u = -34 - -37. Suppose -400 = -5*z - 4*w, -u*z = -0*z - 5*w - 203. Is z a multiple of 19?
True
Let f(g) = g**3 - 14*g**2 + 16*g - 4. Let n be f(14). Suppose 0 = 2*k + 5*w - 349, k - n = -2*w - 44. Does 15 divide k?
False
Let d(r) be the third derivative of 2/3*r**3 - 1/60*r**5 - 1/4*r**4 - 4*r**2 + 0*r + 0. Does 13 divide d(-3)?
True
Suppose 4*t + 154 + 50 = 0. Let v = t - -71. Is 4 a factor of v?
True
Let p = -31 + -67. Let b = -56 - p. Does 21 divide b?
True
Suppose -48 = 40*d - 43*d. Let i = d - -49. Is 13 a factor of i?
True
Let y(j) = -j**3 + 24*j**2 + 6*j + 31. Is y(19) a multiple of 26?
True
Suppose 4*l - 6*l - 140 = 0. Let r = l + 101. Is 31 a factor of r?
True
Suppose -30*n + 29*n + 320 = 0. Is n a multiple of 8?
True
Let f(m) = -4*m + 8. Let v = 18 - 26. Does 20 divide f(v)?
True
Suppose -s + 3 - 7 = 0. Let a be (3 + -4)*(0 + s). Suppose -8*r = a*z - 3*r - 55, 2*z - 28 = -2*r. Is z a multiple of 6?
False
Let t be (26/6)/((-1)/(-18)). Let d(l) = 2*l**2 + 26*l + 36. Let u be d(-16). Let i = u - t. Is i a multiple of 10?
False
Suppose -5*u + 20 = -70. Suppose 4*z + u = 2*o + 60, -3*o + 57 = 4*z. Let p = z - 2. Does 5 divide p?
True
Suppose -210*p + 12 = -206*p. Suppose -2*i + v - 195 = -4*i, 3*i - p*v = 297. Is i a multiple of 4?
False
Let v be ((-10)/5)/((-1)/(-14)). Let w = 107 - v. Suppose -8*p + 3*p = -w. Is p a multiple of 9?
True
Let i(n) = -30*n - 1. Suppose u + 9 = -2*u. Is i(u) a multiple of 29?
False
Suppose -2*x - 5*x = -14. Suppose u = -x*u + 111. Is u a multiple of 4?
False
Suppose 5*h - 8 = 2. Let i be h - (-4 + 5)*0. Is 7 a factor of (i/(-3)*-63)/2?
True
Suppose 8*i - 3*i = -2*o, 0 = 4*i + 4*o. Does 20 divide (i/(-1))/(-3) + (80 - 1)?
False
Suppose -j = 4*h - 166 - 143, -3*j - h = -982. Is j a multiple of 6?
False
Let 