(-152)/c + 4/z?
True
Let y be ((-28)/(-3))/(4*(-5)/(-60)). Let s = 36 - y. Does 22 divide 3/(-4) + 286/s?
False
Let h(d) = 13*d + 6*d**2 - 12 + 4*d**2 - 12*d + 4*d**2. Is h(-4) a multiple of 18?
False
Let w(o) = 15*o + 3470. Is 21 a factor of w(-106)?
False
Suppose 0 = 2*i - 4*x - 24, -2*x = -i - 6*x - 18. Suppose 0 = i*j + j - 3*y - 15, 5*y - 10 = 0. Suppose 0 = -j*v + 5*v + 8. Is v a multiple of 4?
True
Let i be 2/(-5) + (-48)/(-20) + -4. Let k be -13*5/i*(-2)/(-1). Suppose k*f - 69*f = -360. Does 15 divide f?
True
Let p(t) = -t**2 + 108*t - 1496. Does 13 divide p(71)?
True
Let l(o) = 3*o**3 - 13*o**2 - 66*o + 322. Is l(15) a multiple of 23?
True
Suppose 152*s - 152724 = 126*s. Does 56 divide s?
False
Suppose -3*y = 5*g - 16291, 49*g = 53*g - 3*y - 12995. Is g a multiple of 99?
False
Let m(u) = u**3 - 8*u**2 - 11*u + 6. Suppose 6*t + t - 70 = 0. Let v be m(t). Let o = v - 66. Does 15 divide o?
True
Suppose -39*d + 551531 = -77274 + 60965. Is 14 a factor of d?
True
Suppose a + 95749 = 4*r, -119765 = -11*r + 6*r - 10*a. Is r a multiple of 37?
True
Let a(u) = 13*u - 85. Let h = -231 + 254. Is 12 a factor of a(h)?
False
Let p = 74482 - 37388. Is p a multiple of 62?
False
Suppose y + 3 = 2*v, 9 = 3*v - 0*v. Suppose 5*u - 2*m - 11 = -2, 0 = u + 5*m - 18. Suppose x - y*b = u*x - 3, -5*b = -x + 21. Is x a multiple of 4?
False
Suppose -22*l + 17*l = -200. Is 18 a factor of (-1 - -316)*(7 - 264/l)?
True
Let o(s) = -13*s - 22. Let g be o(-6). Suppose 0 = -4*n + 11*n - g. Is 4 a factor of n?
True
Let t = -252 - -258. Suppose -20*j + 210 = -t*j. Does 3 divide j?
True
Let f(y) = 3*y**2 + y - 422. Let r be f(35). Let a = r + -1960. Is 17 a factor of a?
False
Let q = 30783 - 18288. Is 47 a factor of q?
False
Suppose -2*z = -63*c + 67*c, 5*c - 4*z = 0. Suppose 3*v - 466 = -18*m + 20*m, 5*v - m - 772 = c. Is v a multiple of 22?
True
Let m be -35*((-40)/35)/8. Suppose m*n + 2*h = 392, 3*n - 4*h + 32 - 262 = 0. Is 6 a factor of n?
True
Suppose 2*f + 222 = 276. Does 30 divide 1/(-3) - (-2 + (-6975)/f)?
False
Let z = 2989 + -1220. Is z a multiple of 28?
False
Let x = -718 - -732. Does 16 divide ((x - 15) + 621/5)*10?
True
Let u = -101 - -101. Suppose -316*l + 315*l + 304 = u. Is l a multiple of 19?
True
Suppose -2*u = 2*l + 14 + 6, 5*u - 15 = 0. Let q(o) be the first derivative of -3*o**2 + 14*o + 40. Is 23 a factor of q(l)?
True
Let n(c) = 902*c + 413. Is 13 a factor of n(11)?
True
Let i = -39 + 36. Let n be (-516)/18*1/2*i. Suppose -143 = -l - n. Is 10 a factor of l?
True
Let f = -32 - -37. Suppose 2*q - f*q + 15 = 0. Suppose 2*n + 3*j - 43 = 0, -q*n - j + 101 = -n. Is 4 a factor of n?
False
Let q be (214/(-2))/((-1)/7). Suppose 11*z - 4229 = 6936. Suppose z + q = 12*m. Is m a multiple of 21?
True
Suppose b + 4*b = 15. Suppose -b*l + 5*o = -l - 284, 3*l - 476 = -5*o. Is 15 a factor of l?
False
Suppose -5*c = -19*c + 2450. Let i = 211 - c. Is i a multiple of 9?
True
Suppose -295 = -4*m + 3857. Let f = 1761 - m. Is f a multiple of 13?
False
Does 21 divide (-4)/3 - ((-4910)/6 + -6)?
False
Let o = 504 - 543. Does 25 divide (-20)/(-6)*(o/(-6) - -1)?
True
Let r = 12427 - -17141. Is 168 a factor of r?
True
Let l be 10/(-6) + 2750/165. Suppose l*f = 19*f - 976. Is f a multiple of 32?
False
Does 5 divide (-18 - -25 - -710)*(-85)/(-3)?
True
Suppose 3*d = -2*w + 5*d + 8, w - 3*d = 6. Suppose -5*n + 850 = w*m, -5*n + 4*n + 1424 = 5*m. Is m a multiple of 57?
True
Suppose x - 677 - 1648 = 315. Does 80 divide x?
True
Let d be (36 - 0)*((-26)/8 - -4). Suppose 11*k - d = 28. Suppose k*l = 121 + 29. Does 2 divide l?
True
Let i = -107 + 91. Is 72/(4/(-3)*2/i) a multiple of 20?
False
Suppose l - 20874 - 63450 = -5*m, m - l - 16872 = 0. Does 24 divide m?
False
Let b(z) = 31*z - 58. Let a be b(2). Is 288 - 0*a/16 a multiple of 6?
True
Let i = -14549 - -19067. Is i a multiple of 39?
False
Suppose 12*r - 32061 = 173187. Is 8 a factor of r?
True
Let f be 1*(-1 + -1 - -6). Suppose 4*o = w + 321, f*o - 5*w - 326 = -1. Does 23 divide o?
False
Let y = -1163 - -648. Let l = y + 1010. Is l a multiple of 9?
True
Let z = 20407 - 12278. Is z a multiple of 46?
False
Suppose 1 = s + 2*v - 5, 0 = -5*s - v + 12. Let g(m) = -16*m**3 + 10*m**3 - 13*m**s + 5*m + 9*m + 5 + 7*m**3. Is 4 a factor of g(12)?
False
Suppose 385*r - 13160 = 380*r. Does 56 divide r?
True
Let a be 6 + (-187)/34 + 3/(-2). Let z(r) = 286*r**2 + 9*r + 9. Is 18 a factor of z(a)?
False
Let v = 218 - 248. Is 26 a factor of 24/(-180) - 6244/v?
True
Let i(f) = f**3 - 4*f**2 + 218 - 3*f**3 + 7*f - 208 - 4*f**3. Does 17 divide i(-4)?
False
Let q = 2774 + 313. Does 17 divide q?
False
Suppose 2*b - 69*b = -40*b - 458460. Is 7 a factor of b?
False
Let z(g) = -103*g - 143. Let o(x) = -5*x - 12. Let p be o(-1). Does 17 divide z(p)?
True
Suppose 3*a - 207 = a - i, 4*a = 5*i + 379. Suppose -3*h - a + 116 = 0. Suppose -3*t = 4*n - 148, -2*n + h*n = -t + 41. Is 8 a factor of t?
True
Suppose 3*w - 3120 = 29829 - 1656. Is 171 a factor of w?
True
Suppose 1029336 = 35*z + 20*z + 113*z. Is z a multiple of 8?
False
Is (-10)/6 + -37264*40/(-240) a multiple of 2?
False
Let v = 197430 - 140055. Is 25 a factor of v?
True
Let l be 1/1 + 2*(-2 + -15). Does 29 divide (-20)/((-898)/(-604) - l/(-22))?
False
Let t(j) = j**3 - 6*j**2 - 8*j - 244. Does 2 divide t(12)?
True
Let m = -27 + 28. Let f be ((m + -1)/3)/(-1 + 2). Suppose f = 7*x - 4*x - 831. Is x a multiple of 40?
False
Let l(o) = -2*o**3 + 31*o**2 + 16*o + 69. Is l(-15) a multiple of 7?
False
Let m(b) = -b**3 - 14*b**2 + 6*b + 2. Let r be m(-10). Let q = -322 - r. Suppose 5*y - 4*h = 397 - q, 114 = 2*y - 4*h. Does 20 divide y?
False
Let b = 17426 + -10880. Is 20 a factor of b?
False
Suppose 29*g - 4530 = 35*g. Let a be -2*(g/2 + 1 - 1). Suppose 0 = -12*l + a + 865. Is 25 a factor of l?
False
Let r = 403 - 592. Is (r/36)/((-3)/288) a multiple of 7?
True
Let u be -5 + ((-280)/(-5))/7. Suppose -4*n = 3*c - 1163, 4*n - 289 = u*n + c. Does 10 divide n?
True
Let r = -2370 - -3909. Is r a multiple of 9?
True
Suppose 3*x = 2 - 2. Let m(l) = l**2 + 9*l + 12 - l**3 + 6*l**2 + x*l**2. Is 20 a factor of m(8)?
True
Suppose -28*u + 31*u = -36. Is 11 a factor of (-1424)/u - 4/(-12)?
False
Suppose -2*d - 4 = 2. Let a be -4 - ((-12)/d - 2). Does 6 divide 215/4 + a/(-24)?
True
Suppose 0 = -5*t + 28935 + 2849 - 4434. Is t a multiple of 187?
False
Suppose 3*p - 63 = -5*m - 9, 0 = 3*p - 4*m - 27. Suppose 0 = -p*o + 4655 - 1275. Is 26 a factor of o?
True
Let h(x) = -20*x**3 + 4*x**2 + 6*x - 10. Let s be h(2). Let k = s + 512. Is k a multiple of 5?
True
Let b be (-6)/4*(-4)/3. Suppose b*w - 13 = -5. Suppose 0 = 5*y - 2*n - 279, w*y + 0*y + 3*n - 214 = 0. Is 23 a factor of y?
False
Let s be 19599/21 + (-14)/49. Suppose 26*k - 27*k = -s. Does 14 divide k?
False
Suppose 77*u - 268*u = -167507. Does 15 divide u?
False
Let g(r) = 2*r**3 - 2*r**2 + 2*r - 1. Let j(h) = -5*h + 27. Let y be j(5). Suppose 5*a + 8*k - 3*k - 15 = 0, 0 = y*a - 5*k + 1. Is g(a) a multiple of 3?
False
Let p be 709 + (-1)/(-1) - -2. Let h = -332 + p. Suppose 5*d - 4*q + 3*q - h = 0, 55 = d + 4*q. Is 12 a factor of d?
False
Let s = -5823 + 7515. Does 15 divide s?
False
Let m(g) = 2*g**2 + 15*g - 3. Let l be m(-8). Suppose l*i + 137 = -243. Let r = 176 + i. Is 20 a factor of r?
True
Suppose -611104 = -380*r + 172*r. Is r a multiple of 13?
True
Let h(c) = 13*c**2 + 7*c - 5. Let j be h(-5). Let r = j + -106. Let f = 299 - r. Is f a multiple of 8?
True
Suppose 64*j - 628317 + 60294 = 140649. Does 18 divide j?
False
Does 66 divide (-2)/(-6) + 511*(-8675)/(-525)?
False
Suppose 0 = 4*y - 2*y + 4. Let h be ((0 - -94) + -3)*(y - 0). Does 9 divide 4 + (1 - (h + -2))?
True
Suppose 772*u + 420 = 778*u. Does 2 divide u?
True
Let n(a) = -329*a**3 + 5*a**2 + 7*a + 2. Is 2 a factor of n(-1)?
False
Let o = -3651 + 5631. Is 11 a factor of o?
True
Suppose 0 = -2*h + u + 4475, 0 = 4*h + 4*u - 6851 - 2129. Is h a multiple of 7?
True
Suppose -60 = -3*x + 51. Suppose 2*h + 18 = f, 2*h = 3*f - 25 - x. Does 3 divide 3/(-12) + f/(-8) - -12?
True
Suppose 11*c + 5408 - 1008 = 0. Let t = 511 + c. Is t a multiple of 111?
True
Is (-1)/2*(12 + 1/((-3)/18906)) a multiple of 80?
False
Let l(h) = 83*h**2 - 31*h - 424. Is 39 a factor of l(-9)?
False
Let x(m) be the first derivative of -m**4