
False
Suppose 101*n - 102*n = 5*v - 2870, -4*n = -5*v - 11355. Is n a multiple of 5?
True
Let a(j) = -j**3 + 3*j. Suppose 5*o = -5 - 5. Let l be a(o). Suppose -3*x - 5*z = -609, 4*x - l*z + z = 835. Is 9 a factor of x?
False
Let f(h) = h**2 - 7*h - 28. Let r be f(-3). Is -4 + 8 - (r + -267 + -2) a multiple of 11?
False
Suppose 12 = -9*r + 48. Suppose -6*d = -r*d - 138. Is 3 a factor of d?
True
Suppose -21 = -5*o - 2*b, 0 = -0*o + 2*o + 5*b. Suppose -2*j - j + 156 = o*v, -j - 5*v + 52 = 0. Does 24 divide j?
False
Let i(k) = 25*k - 302. Suppose -13*p = -403 + 117. Is 21 a factor of i(p)?
False
Suppose 0*d - 1 = -3*d - f, d + 13 = -3*f. Suppose -d*i + 6*i = 100. Suppose 0*p + p + r - i = 0, 3*p = 4*r + 75. Is p a multiple of 5?
True
Suppose -29328 = -4*u - 2*k, -23*u + 5*k - 36660 = -28*u. Is 156 a factor of u?
True
Let p = 5406 - 4227. Does 86 divide p?
False
Let n(w) = -21*w - 3. Suppose 0 = 4*s - 5*j - 21, s - j = -0*j + 4. Let m be n(s). Let x(b) = 2*b + 17. Is x(m) a multiple of 8?
False
Suppose -3*d - 7 = 23. Let v be 60/7*(-175)/d. Suppose -348 = -6*x + 2*x + 2*p, 2*x = -5*p + v. Does 14 divide x?
False
Let l(m) = 0*m**2 - 2*m + 2*m**2 - 49 - 26 + 11*m. Is 15 a factor of l(-12)?
True
Suppose 0*m + 8*m = 96. Suppose 0 = 5*h + 5*c - 255, 8*h - m*h - 3*c + 205 = 0. Is h a multiple of 13?
True
Does 275 divide (48/40)/(3 + 185402/(-61810))?
False
Let y(c) be the second derivative of -c**5/20 + 19*c**4/12 - 3*c**3 - 3*c**2/2 - 25*c. Let l be y(18). Is 6 a factor of (-17)/l + (-14)/(-42)?
True
Let f(k) = 2*k + 25. Let g be f(-7). Suppose -5*o = h + g, 0 = 3*h + 3*o - 0*o - 3. Suppose h*a - 4*x = -8*x + 76, -5*a + x + 107 = 0. Is 7 a factor of a?
True
Let z(x) = -x**3 + 11*x**2 + 8*x + 6. Let j be ((-4)/12)/(19/(-513)). Does 40 divide z(j)?
True
Is 4/(-18) + ((-344386)/(-126) - 5 - 12) a multiple of 194?
True
Let r = 15696 - 8292. Is 6 a factor of r?
True
Let b(n) = 6*n + 1482. Does 3 divide b(-41)?
True
Let g = 3 + 1. Suppose 4*w = -j + 20, -3*w + g = -3*j + j. Does 46 divide 2 - 2 - (2 - 554)/j?
True
Is 74 a factor of (-1 - 717592/(-20)) + (-736)/460?
False
Suppose 0 = 4*x - c - 2*c - 54711, 4*c = 12. Is x a multiple of 12?
True
Let s be (-2)/(-1*(-3)/(-1008)). Suppose -3*g + 318 = p, -10*p + 3*g + s = -8*p. Is p a multiple of 15?
True
Let n be (-1)/7 + -7 + (-228)/(-28). Let m be (0 - (4 - 8))/n. Suppose -t = 2*t - 3, m*h - 107 = t. Is 27 a factor of h?
True
Let p = 79 + -119. Let g be (-1)/(2 - (-2)/(p/44)). Suppose 5*u - 5*v - 71 = 399, -g*u + 480 = -3*v. Is u a multiple of 7?
False
Suppose 0 = 2*d + 5*f - 6*f - 12058, 0 = 5*d + 5*f - 30190. Is 116 a factor of d?
True
Suppose 1741473 - 840725 = 72*k - 836180. Is 37 a factor of k?
True
Let k(i) = i**3 - 17*i**2 - 12*i + 8. Let w be 20 + -15 - 1*5. Suppose w = -q - 2*a + 26, q = -q - 2*a + 44. Does 19 divide k(q)?
False
Suppose 46*r + 9294 = 3*c + 49*r, 5*r - 20 = 0. Is 29 a factor of c?
False
Let s(c) = -24*c + 79. Let d be s(-7). Suppose 0 = r + 2*z + 80, -2*z = z + 12. Let u = r + d. Is u a multiple of 26?
False
Let x(y) = y**3 + 10*y**2 + 8*y - 11. Suppose -2*g - 43 = 5*o, -2*g = 2*g - 3*o + 21. Let s be x(g). Is 9 a factor of 665/76 + s/(-8)?
True
Suppose 10 = -5*r - 10. Let f(x) = -6*x - 9. Let g be f(r). Suppose -10*y = -g*y + 180. Does 7 divide y?
False
Let r(b) = 5*b**3 - 3*b**2 - 5*b + 19. Let f be r(5). Suppose 15*p + f = 31*p. Is p a multiple of 3?
False
Let h be (4 + -12)/((0 - -1)/1). Let c be ((-3)/(-2))/((-6)/h). Is (-4)/8 - (-5)/c - -43 a multiple of 10?
False
Let k(m) = m**3 - 8*m**2 - 4*m - 32. Let l be k(13). Let d = -353 + l. Does 8 divide d?
True
Suppose j - 15 = q + 3*q, -5*j + q + 170 = 0. Let x = 40 - j. Suppose -m + 47 = 4*o, -3*m + x*o = -0*o - 209. Is 20 a factor of m?
False
Let t(n) = 105*n - 46. Let p be -1*2*(-3 - -5). Let s(a) = -53*a + 24. Let b(v) = p*t(v) - 9*s(v). Is 23 a factor of b(4)?
False
Let f be (2224 + 4)*1/4. Suppose -3*i = -5*g + f, -4*g = -i - 46 - 128. Let p = i + 327. Is 21 a factor of p?
False
Let y = 26 + -25. Let w = y + -1. Suppose w = g - 4, -5*l - 5*g + 80 + 20 = 0. Does 4 divide l?
True
Let u be 6/4*(-2 - (-16)/6). Let h = u - -32. Is h/5 - (-7)/(35/2) a multiple of 2?
False
Let d(u) = -u**3 - 14*u**2 + 15*u + 3. Let b be d(-15). Let w = b - -32. Let v = -23 + w. Is v a multiple of 3?
True
Suppose -2530 + 10531 = 9*s. Suppose 7*g - s = 154. Is g a multiple of 37?
False
Is (99856/120 - -5) + (-4)/30 a multiple of 32?
False
Suppose 31*o + 30*o - 14*o - 125537 = 0. Is o a multiple of 28?
False
Does 14 divide 1760360/(-700)*(-5)/2?
False
Suppose 8*m + 36*m + 15*m = 1034683. Is 247 a factor of m?
True
Let c(g) = 14*g + 23. Let s = 33 + -26. Let l be c(s). Suppose -5*x + l = 4*q, 9 = x + 4*q - 12. Is 5 a factor of x?
True
Let m(a) = -a**2 - 29*a + 6. Let j be m(-29). Suppose -4*p = -j*q + q - 231, 4*p = q + 251. Is 4 a factor of p?
True
Let b = 1398 - 654. Let v = -219 + b. Is v a multiple of 41?
False
Does 25 divide 917331/45 - -3*((-48)/135)/8?
False
Suppose -1614 = -3*k - 3*c - 264, 0 = 4*k + c - 1806. Is 9 a factor of k?
False
Let k(z) = 4*z**2 + 30*z - 8. Suppose 3*u + 18*v - 16*v = 18, 3*v = 0. Is k(u) a multiple of 34?
False
Let g(j) = 2*j**3 + 25*j**2 - 10*j + 31. Let y be g(-13). Does 78 divide 231 + -3*(-5 - y)/(-3)?
True
Suppose -11*d = -10*d - 40. Suppose t - 47 + d = 0. Let z(r) = -2*r + 22. Does 4 divide z(t)?
True
Let r be (-16)/(-20)*((2 - 0) + 3). Suppose 5*u - 3*h - 23 = 0, -3*h = 3*u - r - 5. Suppose u*m = -4*b + 284, 3*b - 2*b + 259 = 4*m. Does 22 divide m?
True
Suppose 12851 = 4*j + 5*q, 4*j - 12830 = -252*q + 250*q. Is 7 a factor of j?
False
Let v(x) = 3*x**2 - 6*x - 53. Is v(-13) a multiple of 23?
False
Suppose 4453 + 15692 = 60*k - 55*k. Is 79 a factor of k?
True
Let t(o) = -5*o**3 - 3*o**2 - 5*o + 7. Let h(s) = -9*s**3 - 6*s**2 - 11*s + 15. Let f(p) = 4*h(p) - 9*t(p). Does 15 divide f(3)?
True
Suppose 96 = 3*g + 4*z, g - 4*z - 192 = -4*g. Let m be (-512)/g + (-14)/(-63). Is 20 a factor of (-7)/((-4)/18*(-21)/m)?
False
Suppose -3103 = -4*r + 3*y, 2346 = 3*r - 9*y + 13*y. Let o = r - 407. Is 29 a factor of o?
False
Suppose 17*k - 19*k = -488. Let w = 395 - k. Is 8 a factor of w?
False
Suppose 4*i - 124 = -i - 3*p, 2*i = 3*p + 58. Suppose 4*v + i = x, -3*v = -2*x - 7*v + 28. Is 9 a factor of x?
True
Let f be ((-11)/2)/((-21)/6 - -3). Let i be (f - 3)*(-1)/(-2). Suppose o - 3*u = 5*o - 65, i*u - 20 = -2*o. Is o a multiple of 5?
True
Does 11 divide (-1032)/(-15)*(-5)/(-4)?
False
Suppose 11*v + 680 = 15*v. Let c = v - 120. Suppose c + 0 = 3*m - 5*k, -3*m + 66 = 3*k. Is m a multiple of 2?
True
Let q = -42995 + 60786. Is q a multiple of 153?
False
Suppose -97*w + 54914 = -12*w - 28471. Is w a multiple of 20?
False
Suppose 3 = r, 3*s + 0*r = -5*r + 12. Let i(q) = -3*q**3 + 2*q**2 + q. Let h be i(s). Suppose 3*k - 106 - 165 = -h*t, 0 = 4*k - 5*t - 382. Does 33 divide k?
False
Suppose 5*n + 5 + 15 = 0. Let m be (-2)/4*(-38 - n) + -1. Suppose 132 = 4*h + m. Is 6 a factor of h?
False
Let c = -272 - -768. Let x be (c/40)/(1/5). Let d = x - 43. Is d a multiple of 4?
False
Let w(r) be the second derivative of -7*r**4/12 + r**3/6 - r**2 - 15*r. Let g be w(1). Is (g/6)/(1 + (-119)/117) a multiple of 26?
True
Suppose -4*g + 1 = -15. Suppose -g*f = -5*o - 26, 4*o - o = 2*f - 14. Does 17 divide 0/((2 - -2)/f) - -75?
False
Let i = 66 + -62. Suppose 3*v + 1123 = i*d - 2*v, -5*v - 15 = 0. Does 14 divide d?
False
Suppose 5*b - 51*b = -8372. Let u be 29*-4 - (-8 + 8). Let h = b + u. Is 17 a factor of h?
False
Let c = 9763 - 7115. Does 17 divide c?
False
Let g = -344 + 370. Let k = g + 682. Does 14 divide k?
False
Let b = 7740 + -4612. Is 15 a factor of b/48 - (-1)/(-6)?
False
Let b(n) = -15*n + 4. Let v(d) = d**3 - 5*d**2 - 13*d - 4. Let p be v(7). Suppose 5 = -f + p. Is b(f) a multiple of 6?
False
Suppose 0 = 5*s + 110 - 280. Is s*(-18)/(-3) + -2 a multiple of 12?
False
Let k(h) = -h**3 - 114*h**2 + 664*h - 284. Is k(-121) a multiple of 16?
False
Let f(s) = s**2 + 8*s - 221. Let l be f(-25). Let v be 11/3 - 2/3. Suppose i - 10*d - l = -7*d, 0 = i + v*d - 216. Is i a multiple of 14?
True
Let v(o) = -2*o**3 + o**2 - 2*o + 2. Let k be v(-3). Let u be -46*6/(-12) + -2 + 3. Suppose 25*d - u*d = k. Does 11 divide d?
False
Let w = -47 - -49. Let 