 4*x = 5*q - 30, -3*x + q = -10. Suppose -5*v + 8 = x*l - 7, -3*l = 2*v - 10. Is (l/(-56))/(5/660)*-7 a multiple of 7?
False
Let l = 0 + 75. Suppose 78*b - 792 = l*b. Does 6 divide b?
True
Let m(c) = c + 24. Let f be m(-8). Suppose -15*h = -f*h. Does 31 divide (-15 - h)*(2 - (-37)/(-3))?
True
Let q be 1169/(-14) - 2/4. Let m = -14 - q. Is m a multiple of 35?
True
Suppose -15*h + 36354 + 97206 = 0. Is h a multiple of 24?
True
Let h = 6747 - 4659. Is 58 a factor of h?
True
Suppose -4793 = 2*n - 5*m, -n - 3*m + 260 - 2673 = 0. Let a = n - -3856. Is 22 a factor of a?
True
Suppose 0 = 82*s - 87*s + 5320. Does 12 divide (-54*5/35)/((-12)/s)?
True
Suppose 452*l = 450*l + 8, 4*l = 5*r - 50154. Does 20 divide r?
False
Suppose 2*v + 11*v = 1157. Let j = v + -43. Suppose -h - j = -n, -2*h - 146 = -3*n - h. Does 5 divide n?
True
Suppose 42*g = 19956 + 38760. Is g a multiple of 21?
False
Let j = 20301 + -6149. Is 61 a factor of j?
True
Let t(a) = -772*a + 56. Let d be t(-2). Suppose 6*p = 4*v + 5*p - d, 1604 = 4*v - 2*p. Is 9 a factor of v?
False
Let g be (559 - -65)*(-14)/(-8). Let y = g - 735. Is y a multiple of 51?
True
Let i be (-6)/180*-18 - (-24)/10. Suppose -i = y, 4*u + 212 = -y + 849. Is 20 a factor of u?
True
Suppose -3702 = -27*l + 6342. Suppose 0 = -2*j - 3*q + 371, 3*j - l = 5*q + 137. Does 17 divide j?
False
Suppose -5*w + 10 = 39*v - 34*v, 2*w = 2. Let x = 3 + 0. Is 3 a factor of (v - 0)/(x/66*2)?
False
Let k(j) = 8*j - 21. Let v(w) = -7*w + 21. Let o be -1 + -1 - -10 - 4. Let c(t) = o*k(t) + 5*v(t). Does 11 divide c(-9)?
False
Let h be ((-36)/32*-4 + -4)*-4. Is 22/55 - h*770/25 a multiple of 2?
True
Let j(a) be the first derivative of 5*a**2/2 + 8*a - 10. Let x be j(5). Suppose 5*p - x = 7. Is p a multiple of 8?
True
Let n(z) = 40*z + 35. Let t(h) = 81*h + 71. Let u(q) = -5*n(q) + 3*t(q). Is 37 a factor of u(6)?
True
Let p = -7261 + 14094. Does 181 divide p?
False
Suppose -1293 = 4*s + 5*t, -2*t = 5*s - 3*t + 1638. Let k = -99 - s. Does 35 divide (k - 15) + 1*(1 + -4)?
True
Let z = 139 + -45. Let d = -77 + z. Does 6 divide d?
False
Let q = 7617 + -4305. Is 46 a factor of q?
True
Let g = 346 + -758. Let z = 811 + g. Does 48 divide z?
False
Let x(i) = -39*i**2 - 8*i + 25. Let y be x(2). Is -5 - (y - (13 + -8)) a multiple of 21?
True
Does 5 divide 31/(-31)*(-1675 + 0/(-1))?
True
Is 20 a factor of (-2)/(-22) + (-13667023)/(-407)?
True
Suppose -2*g + r + 42215 = 6*r, -3*g = -r - 63297. Does 100 divide g?
True
Let x(t) = -4*t**3 - 90*t**2 - 43*t - 37. Is x(-25) a multiple of 8?
True
Let a be 5/10*(366/(-3) + 0). Let q = -37 - a. Does 12 divide q/2*-6*(1 + -2)?
True
Let m = 20460 - 8832. Is m a multiple of 38?
True
Let b(y) be the third derivative of 19*y**2 + 0*y**3 + 0 - 1/120*y**6 - 2/15*y**5 - 3/8*y**4 + 0*y. Does 24 divide b(-8)?
True
Suppose -386 = -u + 1308. Does 14 divide u?
True
Let l = 1187 + 11433. Is 10 a factor of l?
True
Suppose -2*y + y = 0. Let c(i) = -16*i + 587. Does 83 divide c(y)?
False
Let r = -602 + 153. Let k = r + 629. Is 20 a factor of k?
True
Suppose -1152*v + 203604 = -1058*v. Does 57 divide v?
True
Suppose -401*r - 7081 = -419*r + 120071. Is r a multiple of 6?
False
Suppose -21*m + 19*m = 4364. Let q = 3188 + m. Is 14 a factor of q?
False
Let p(c) = 38 + c**3 - 2*c - 40 - 8*c - 9*c**2. Let u be p(10). Is 14 a factor of (182/(-65))/(u/10)?
True
Suppose 0 = d + 5*f - 362 - 955, -5364 = -4*d + 4*f. Is d a multiple of 2?
False
Suppose -5*s = 3*c + 1465, -21*s + 16*s - 1465 = -5*c. Let u = s - -574. Is 21 a factor of u?
False
Let p be 20/4 - -2*(-175)/(-10). Suppose -44*c = -p*c - 188. Does 3 divide c?
False
Let w be 4*((-6)/(-3))/(-2). Let d(m) be the third derivative of -m**5/30 - 3*m**4/8 + 3*m**3/2 + 7*m**2. Does 2 divide d(w)?
False
Suppose -108*f + 524080 = -191852. Is 20 a factor of f?
False
Let i(s) = 229*s + 2434. Does 204 divide i(74)?
True
Suppose -8*n + 23*n - 22350 = 0. Is 30 a factor of n?
False
Let f = -29 - -30. Suppose -24*s = -21*s - 15. Suppose f = s*g - 209. Is g a multiple of 21?
True
Let u(f) = 440*f**2 - 3*f - 19. Let k be u(-3). Is 45 a factor of k/12 - (-43)/(-258)?
False
Suppose -z + 11665 = 4*v, -4*z + 2*v + 40593 = -5977. Is 47 a factor of z?
False
Let n(v) = -v - 10. Let f be n(-21). Suppose 8*r = f*r - 6. Suppose -4*c + 428 = 3*a - r*c, 3*c = -3*a + 426. Is a a multiple of 53?
False
Does 11 divide (-3)/(-4) + 12/576*366924?
True
Let d = -403 - -406. Does 2 divide d*(-32)/(-24) + 61?
False
Suppose 4*d - 14069 = -3*n, 4*d - 7*d = 2*n - 10553. Is d a multiple of 14?
False
Suppose -11*h + 4221 = -48722 + 4103. Does 40 divide h?
True
Let i be (-1)/3 - (-8)/(168/49). Suppose 2*c - 16 = -2*b, b + 4 = i*c - 0*c. Suppose -c*j + 168 = -160. Is 10 a factor of j?
False
Let t be 8/(-10) - (-962)/65. Let u(r) be the first derivative of r**4/4 - 14*r**3/3 + r**2/2 - r - 1. Does 5 divide u(t)?
False
Let l(c) = c**2 + 5*c + 5. Let i be l(-7). Let z = 4 - i. Is 18 a factor of ((-6)/z + 0)*225?
True
Let t(z) = -223*z - 9. Let s be t(-3). Suppose 4*m = -2*a + 648, -4*m + a = -0*a - s. Suppose m + 68 = 4*r. Does 29 divide r?
True
Let r = -257 - -260. Suppose r*x - 727 = -4*o, -x + 224 = -3*o - 27. Is x a multiple of 15?
False
Suppose o - 1188 = 3*q, 0 = -2*o + 4*q + 431 + 1953. Let i = 2900 - o. Suppose 0*w - 10*w + i = 0. Is w a multiple of 17?
True
Let h be 15 - (2 - (-5 + 4)). Suppose 0 = h*q + 392 - 2984. Is 9 a factor of q?
True
Let k be (5 - (-1 - -6))*-1. Let v = k + 116. Is v a multiple of 5?
False
Suppose 2*m - 25 = 4*b + b, -2*b - 10 = 3*m. Suppose m = 62*v - 57*v + 605. Let t = 239 + v. Is 23 a factor of t?
False
Let b be (-3 - -3)/((-3)/(-3) - 0). Suppose 6*g - 37 + 1 = b. Is (-270)/(-21)*42/g a multiple of 15?
True
Let w be 25/50 - (-133)/2. Let u = -34 + w. Suppose u = 15*n - 12*n. Is n even?
False
Suppose 0 = 4710*d - 4703*d - 178605. Is 27 a factor of d?
True
Let d(y) = 66*y + 180. Let p be d(-19). Let x = p + 1970. Is 14 a factor of x?
True
Let p(b) = b**3 + 5*b**2 - 70*b - 235. Is p(-6) a multiple of 12?
False
Suppose -x + 225 = 3*m, 0 = -x + 4*x - 5*m - 633. Suppose 2*l + 5*f = 164, -94 - x = -4*l - f. Is l a multiple of 20?
False
Let j = -18 + 21. Suppose j*k - 16 = 4*g, -4*g + 4*k = 5 + 11. Is 19 a factor of g - ((-3)/3 + -98)?
True
Let d be (-1 - -8884)/7 - 0. Suppose -628*b = -631*b + d. Does 36 divide b?
False
Suppose -396*u + 3198688 + 22790576 = 41*u. Is 72 a factor of u?
True
Let a(y) be the first derivative of y**3/3 + 7*y**2/2 + 9*y + 5. Let c be a(-8). Let s(k) = 24*k - 51. Does 21 divide s(c)?
True
Let i be (-1)/(-8) + 949/(-104). Let h be (-489)/i - ((-4)/6)/1. Let p = h + -44. Is 9 a factor of p?
False
Suppose -3*p = -4*x + 27, -6*p - 74 = -p + 3*x. Let h be 630/50 + p/5 + 2. Is -1 + (-39)/2*(-64)/h a multiple of 21?
False
Let r = 9966 + -4974. Does 12 divide r?
True
Let r(v) = 10*v + 19. Let s be r(-2). Is 4 a factor of 30 + (-8 - -2) + s?
False
Let w(g) = -71*g - 82. Let c = -9 - -3. Does 30 divide w(c)?
False
Suppose -2*h - 94 = -5*d + 10, 66 = 3*d - 3*h. Suppose -5*y - d = 15. Is 21 a factor of ((-22)/1)/(2/y)?
False
Let w(r) = 722*r + 112 - 362*r - 364*r. Is w(16) a multiple of 8?
True
Is (-31488)/((-24)/4) + 13 a multiple of 39?
False
Suppose 3*w - 5*k - 61 = -517, 279 = -2*w - 5*k. Let p be 2/(-4) + w/(-14). Let g(r) = -r**3 + 11*r**2 + 5*r. Does 25 divide g(p)?
True
Let s(m) be the second derivative of 8*m**3/3 - 14*m**2 + 3*m - 15. Is s(8) a multiple of 20?
True
Suppose -85*r + 279476 = 24*r. Does 39 divide r?
False
Suppose 24 = 4*n + 4*n. Suppose -n*c + 7 = 7. Suppose c = 2*l - 381 + 21. Is 18 a factor of l?
True
Let r(k) = k**2 - 9*k + 22. Let t be r(5). Suppose 4*w = t*j - 130, -70 = -j - 5*w + 2*w. Does 3 divide j?
False
Is (-5902130)/(-585) + 2/(-18) a multiple of 57?
True
Suppose 2*m + 3*s - 22288 = 0, -30*m = -25*m + 5*s - 55720. Is m a multiple of 199?
True
Suppose 106*o = 207446 + 555966. Is 26 a factor of o?
True
Let g = -306 + 318. Suppose 4*q - 3301 = t, -3*t = 17*q - g*q - 4139. Is 26 a factor of q?
False
Does 37 divide (-460)/(-50) + -8 - 556842/(-65)?
False
Let n(f) = -1 + 1 - f**2 + 17*f + 4. Let b = -6362 + 6375. Is 14 a factor of n(b)?
True
Let f = 4 + 0. Let y be (1/(-2))/(6/(-12)). Is (251/(f - 5))/(y/(-1)) a multiple of 21?
False
Let o(h) = -336*h -